Kvanttimekaniikka II A/S. Jani Tuorila Fysiikan laitos Oulun yliopisto

Koko: px
Aloita esitys sivulta:

Download "Kvanttimekaniikka II A/S. Jani Tuorila Fysiikan laitos Oulun yliopisto"

Transkriptio

1 Kvanttimekaniikka II A/S Jani Tuorila Fysiikan laitos Oulun yliopisto 17 huhtikuuta 015

2 Sisältö 1 Tilavektori 1 11 Hilbertin avaruus Lineaarinen vektoriavaruus 3 11 Sisätulo 4 1 Hilbertin avaruuden lineaariset operaattorit 5 11 Matriisien muunnokset 7 1 Ominaisvektorit ja ominaisarvot 7 13 Hermiittiset muunnokset 9 13 Kahden tilan muodostama systeemi Häirityn systeemin ominaistilat 1 13 Heikon ja vahvan häiriön rajat Rabi-oskillaatiot Yleistys ääretönulotteiseen Hilbertin avaruuteen Numeroituva kanta Ylinumeroituva kanta Ominaisarvoyhtälöt ylinumeroituvassa kannassa Jatkuva ja diskreetti spektri Harmonisen värähtelijän käsittely algebrallisesti Luomis- ja hävittämisoperaattorit Normitetut ominaisvektorit Operaattoreiden matriisiesitykset Aaltofunktiot 18 Kulmaliikemäärä ja spin 19 1 Spin-kulmaliikemäärä 0 11 Spin Elektroni magneettikentässä Kulmaliikemäärien yhdistäminen 3 1 Clebsch-Gordan kertoimet 4 3 Ajasta riippumaton häiriöteoria 6 31 Degeneroitumaton häiriölasku Ensimmäisen kertaluvun teoria 6 31 Toisen kertaluvun lasku 7 3 Degeneroitunut häiriölasku 7 31 Kaksinkertainen degeneraatio 7 3 Korkeamman kertaluvun degeneraatio 9 33 Vedyn hienorakenne Suhteellisuusteoreettinen korjaus Spin-rata -kytkentä Zeeman-efekti Heikon kentän Zeeman-efekti 3 34 Vahvan kentän Zeeman-efekti 3 35 Hyperhienorakenne 33 i

3 4 Variaatioperiaate Heliumin perustila Varjostus 36 4 Vetymolekyyli-ioni 36 5 Ajasta riippuvat potentiaalit Adiabaattinen approksimaatio 39 5 Landau-Zener transitiot Ajasta riippuva häiriöteoria Harmooninen häiriö Säteilyn emissio ja absorptio Absorptio, stimuloitu emissio ja spontaani emissio Epäkoherentit häiriöt Spontaani emissio ja Einsteinin A ja B -kertoimet Viritystilan elinikä Valintasäännöt 47 6 Sironta Klassinen sirontateoria 49 6 Kvanttisironta Osa-aaltokehitelmä Vaihe-siirrot Sironnan yleinen formulointi 54 7 Jälkipuhe EPR-paradoksi 57 7 Bellin epäyhtälö Kloonaamattomuusteoreema Schrödingerin kissa Kvantti-Zeno -efekti Quantum teleportation 60 ii

4 Aikatauluja (015) Luennot: Ti: , FY1103 Ke: , FY1103 Harjoitukset: Pe: , FY1103 Harjoitustehtäviä ratkaisemalla voit korottaa kurssin arvosanaasi, maksimissaan yhdellä arvosanapisteellä Tärkein hyöty harjoitusten tekemisestä on kuitenkin kurssin sisällön syvällisempi oppiminen Johdanto Tämä kurssi on suoraa jatkoa kurssille Kvanttimekaniikka I (jatkossa KMI) Tarkoituksena on jatkaa kvanttimekaanisen ajattelutavan omaksumista Kurssin aluksi paneudutaan tarkemmin aaltofunktioita yleisempään tilavektoriesitykseen, jonka avulla käydään läpi erityisesti kulmaliikemäärän muodollista teoriaa Seuraavaksi opiskellaan häiriöteoriaa, joka on tärkeä työkalu erityisesti tarkasteltaessa kvanttimekaanisen systeemin (heikkoja) vuorovaikutuksia ympäristön kanssa Lopuksi tutustutaan sirontateoriaan Kirjallisuutta: Griffiths: Introduction to Quantum Mechanics, (Pearson Prentice Hall, 005), kurssimoniste perustuu pääasiassa tähän kirjaan Saarela: Kvanttimekaniikka II (luentomoniste, 01), myös tämä on toiminut runkona kurssia laadittaessa Shankar: Principles of Quantum Mechanics, (1994), erittäin perusteellinen esitys tilavektoriesitykselle Dirac: Quantum Mechanics, (1958), klassikko Cohen-Tannoudji, Diu ja Laloë: Quantum Mechanics, (1977), aikaisemmin kurssilla käytetty mutta ehkä hieman raskas Powell & Crasemann: Quantum Mechanics (Addison- Wesley, 1965), aiemmin kurssilla käytetty Feynman: Lectures on Physics III (Addison-Wesley) 1 Tilavektori KMI-kurssilla postuloimme kvanttimekaniikan teorian seuraavasti 1 : 1 Fysikaalisen systeemin jokaista mahdollista tilaa kuvaa kompleksiarvoinen aaltofunktio Ψ(x, t) Suure Ψ(x, t) antaa todennäköisyystiheyden hiukkasen löytymiselle paikasta x ajan hetkellä t Jokaista klassisen fysiikan dynaamista suuretta Q(x, p) vastaa kvanttimekaniikassa (hermiittinen) operaattori, joka saadaan korvaamalla p i d/dx 3 Mitattaessa tilassa Ψ(x, t) olevan hiukkasen dynaamista suuretta Q(x, p) saadaan varmuudella tulokseksi jokin suuretta vastaavan hermiittisen operaattorin ˆQ ominaisarvoista Mittauksen jälkeen systeemi romahtaa mittaustulosta vastaavaan operaattorin ˆQ ominaistilaan 4 Aaltofunktion aikakehityksen määrää Schrödingerin yhtälö ĤΨ(x, t) = Ψ(x, t) m x + V (x)ψ(x, t) Ψ(x, t) = i (1) t Kohdat 1-3 määräävät miten systeemiä tulee kuvata annetulla ajanhetkellä, kohta 4 taas kertoo miten systeemi muuttuu ajassa Fysikaalisia tiloja ovat ne Schrödingerin yhtälön ratkaisut Ψ, jotka ovat normalisoituvia: Ψ dx < () Totesimme myös, että kaikkien tällaisten neliöllisesti integroituvien funktioiden joukko (L ) muodostaa vektoriavaruuden Yhdessä sisätulon ( ) f g = f(x) g(x)dx, missä f, g L, (3) kanssa L muodostaa sisätuloavaruuden, ns Hilbertin avaruuden 1 Palauta mieleen allaolevan tiivistelmän yksityiskohdat KMI -kurssin monisteesta 1

5 Yllä oleva kvanttimekaniikan postulointi on erityinen, mutta ei kaikkein yleisintä muotoa Esimerkiksi, KMI-kurssissa osoitettiin, että aaltofunktio voidaan aina kirjoittaa liikemääräoperaattorin ominaistilojen superpositiona: Ψ(x, t) = 1 π e ipx/ Φ(p, t)dp, (4) missä Φ(p, t) on liikemääräavaruuden aaltofunktio Funktio Φ(p, t) kuvastaa täydellisesti samaa fysikaalista tilaa kuin Ψ(x, t), ja siten voisimme kirjoittaa kvanttimekaniikan postulaatit paikkaavaruuden sijaan liikemääräavaruudessa Jatkossa tulemme huomaamaan, että aaltofunktiot Ψ ja Φ ovat yleisemmän tilavektorin Ψ(t) esityksiä (representations) paikka- ja liikemääräoperaattorin ominaiskannoissa Jotta tämä yhteys tulisi täysin selväksi, on meidän ensin tutustuttava lähemmin lineaaristen sisätuloavaruuksien (Hilbertin avaruuksien) ja niiden operaattorien matemaattiseen teoriaan Palautetaan kuitenkin ensin mieliin KMI:stä tuttu analogia tilavektorin ja kaksiulotteisen avaruuden vektorin välillä A y A y A x A Kuva 1: Vektori A ja sen esitys eri koordinaatistoissa Esimerkki: Tarkastellaan kaksiulotteisen avaruuden vektoria A = (A x, A y ) Vektorin koordinaattien A x ja A y arvot riippuvat koordinaatiston valinnasta (esim mihin origo kiinnitetään, mihin suuntaan x- akseli osoittaa jne) Vektori on kuitenkin olemassa, riippumatta koordinaatiston olemassaolosta Tämä sama pätee myös Hilbertin avaruuden vektoreille Fysikaaliset tilat ovat olemassa riippumatta koordinaatiston valinnasta Kohtaamamme aaltofunktiot y, x A y ' A A x ' x, ovat yleisemmän tilavektorin Ψ(t) (palataan tähän merkintään kohta) esityksiä valituissa koordinaatistoissa Esimerkiksi, funktio Ψ(x, t) kertoo tilan Ψ koordinaatit paikkaoperaattorin ominaisfunktioiden määräämässä kannassa: Ψ(x, t) = x Ψ(t) (5) Tätä kutsutaan paikkaesitykseksi tai Schrödingerin esitykseksi Vastaavasti liikemääräavaruuden aaltofunktio Φ(p, t) on tilan Ψ(t) koordinaatit liikemääräoperaattorin ominaisfunktioiden määräämässä kannassa: Φ(p, t) = p Ψ(t) (6) Diskreetin spektrin tapauksessa tila Ψ(t) energian ominaisfunktioiden kannassa on c n (t) = n Ψ(t) (7) Nämä kaikki kuvaavat samaa tilaa Ψ(t) eri koordinaatistoissa Dirac, joka ensimmäisenä kirjoitti kvanttimekaniikan moderniin abstraktiin muotoonsa, tulkitsi sisätulon α β kahden vektorin, bra ( α ) ja ket ( β ), välisenä operaationa Selkeästi jälkimmäinen on vektori Edellinen kuvaa ket-vektorin kompleksiluvuksi Se voidaan tulkita ns duaaliavaruuden vektoriksi, jotka ovat siis kuvauksia ket-vektoreilta kompleksiluvuille Diracin bracket-merkinnät ovat erittäin käytännollisiä kvanttimekaniikassa, koska ne mahdollistavat yksinkertaiset ja tehokkaat merkinnät Tilavektorien avulla kvanttimekaniikan postulaatit voidaan kirjoittaa muotoon: 1 Fysikaalisen systeemin jokaista mahdollista tilaa kuvaa Hilbertin avaruuden vektori Ψ(t) Jokaista klassisen fysiikan dynaamista suuretta Q(x, p) vastaa kvanttimekaniikassa (hermiittinen) operaattori, joka saadaan korvaamalla ˆQ(ˆx, ˆp) = Q(x ˆx, p ˆp) Nimitys tulee kulmasulkeista (eng bracket) joihin vektorit on kääritty

6 3 Mitattaessa tilassa Ψ(t) olevan hiukkasen dynaamista suuretta Q(x, p) saadaan varmuudella tulokseksi jokin suuretta vastaavan hermiittisen operaattorin ˆQ ominaisarvoista q todennäköisyydellä P (q) q Ψ(t) Mittauksen jälkeen systeemi romahtaa tilasta Ψ(t) tilaan q 4 Aaltofunktion aikakehityksen määrää Schrödingerin yhtälö Ĥ Ψ(t) = i Ψ(t), (8) t missä Ĥ(ˆx, ˆp) = H(x ˆx, p ˆp) on systeemin Hamiltonin operaattori Tarkastellaan seuraavassa yleisiä Hilbertin avaruuden ja sen operaattorien matemaattisia ominaisuuksia 11 Hilbertin avaruus Hilbertin avaruus muodostuu lineaarisesta vektoriavaruudesta, jossa on määritelty sisätulo Lineaarinen vektoriavaruus Vektorit ovat matemaattisia suureita x, y,, jotka toteuttavat tavanomaiset lineaarisen vektoriavaruuden aksioomat 1 z = x + y x + y x + y = y + x 3 ( x + y ) + z = x + ( y + z ) 4 x + 0 = x 5 x + ( x ) = 0 6 a ( x + y ) = a x + a y a on kompleksiluku Lineaarinen riippuvuus: Vektorit x 1,, x N ovat lineaarisesti riippuvia, 3 Lisäksi täytyy olettaa, että Cauchyn jonot suppenevat (sisätuloavaruus on täydellinen) Täydellisyys tarkasteluja ei yleensä kvanttimekaniikassa tehdä vaan lähes poikkeuksetta voidaan olettaa, että tilavektorit kuuluvat Hilbertin avaruuteen mikäli on olemassa kompleksiluvut c 1,, c N, joista kaikki eivät ole nollia siten, että c 1 x 1 + c x + + c N x N = 0 Kantavektorijärjestelmä: Jos on olemassa N lineaarisesti riippumatonta vektoria 1,,, N siten, että jokainen N-ulotteisen avaruuden vektori x voidaan esittää muodossa x = N x i i (9) i=1 sanotaan, että vektorit i muodostavat kannan, joka virittää N-ulotteisen vektoriavaruuden R N Kompleksiluvut x i ovat vektorin x komponentteja eli koordinaatteja Tässä koordinaattiesityksessä vektorit usein esitetään pystyvektoreina (pylväsmatriisina) 4 : x 1 x x = x 3 x N Koordinaatit helpottavat usein laskutoimituksia; esimerkiksi kahden vektorin summa saadaan laskemalla yhteen vastinkomponentit: x + y = x 1 x x 3 x N + y 1 y y 3 y N x 1 + y 1 x + y = x 3 + y 3 x N + y N Komponenttien lukuarvot riippuvat luonnollisesti kannan valinnasta Tämän seurauksena saman kvanttimekaanisen ongelman vaikeusaste voi muuttuu kannan vaihdoksella Sen vuoksi käytännön ongelmien ratkaisemisessa onkin erinomaisen hyödyllistä oppia valitsemaan kanta oikein 5 4 Yhtäsuuruus tarkoittaa oikeammin siis: Voidaan esittää kannassa i kuten 5 Yksiselitteistä määritelmää oikealle kannalle ei voi antaa vaan se riippuu ongelman asettelusta ja yksityiskohdista 3

7 Rajoitetaan yksinkertaisuuden vuoksi seuraavassa tarkastelu äärelliseen kantaan, ja yleistetään käsittely ääretönulotteisiin vektoriavaruuksiin myöhemmin 11 Sisätulo Kaksiulotteisen reaaliavaruuden vektoreille A = A x î + A y ĵ ja B = B x î + B y ĵ sisätulo (pistetulo) määritellään seuraavasti: Pistetulolla on ominaisuudet A B = A x B x + A y B y (10) 1 A B = B A A (ab + bc) = aa B + ba C 3 A A 0 4 A A = 0 A = 0, missä a, b ovat reaalisia vakioita Yleistetään tämä sisätulon käsite abstraktiin (kompleksiseen) lineaariseen vektoriavaruuteen Sisätulo: Jokaiseen lineaarisen vektoriavaruuden vektoripariin x ja y liittyy kompleksiluku (x, y) x y siten, että 1 x y = y x x (a y + b z ) x ay + x bz a x y + b x z 3 x x 0 4 x x = 0 x = 0 Vektoriavaruus jossa on sisätulo on sisätuloavaruus (Hilbertin avaruus) Vektorin pituus: Koska x x 0 voidaan määritellä normi: x x x, (11) joka yleistää vektorin pituuden käsitteen Vektoria, jonka pituus x = 1 sanotaan yksikkövektoriksi tai normalisoiduksi Ortogonaalisuus: Vektorit x ja y ovat ortogonaalisia, mikäli niiden skalaaritulo on nolla x y = 0 Tämä yleistää kohtisuoruuden käsitteen Ortonormalisuus: Jos vektorit x ja y ovat sekä ortogonaalisia että normalisoituja, niin sanotaan että ne ovat ortonormaaleja On aina mahdollista (Gram-Schmidtin teoreema), ja lähes aina myös käytännöllistä, valita kantavektorit siten, että ne ovat keskenään ortonormaaleja: { 1, jos i = j i j = i j = δ 0, jos i j ij (1) Tällöin kantavektorijärjestelmää kutsutaan ortonormaaliksi Nämä ovat sisätulon määritelmästä seuraavia yleisiä ominaisuuksia Mutta: miten sisätulo lasketaan, jos voidaan olettaa, että kanta on valittu? Sisätulon aksioomista seuraa, että mielivaltaisessa kannassa x y = x i y j i j (13) i j Tarvitsee siis tietää vain kantavektorien sisätulot Gram-Schmidtin teoreeman nojalla voimme olettaa, että kantamme on ortonormaali Siten x y = i x i y i (14) Näemme, että kahden vektorin x ja y sisätulo x y saadaan laskemalla matriisitulo vektorin x hermiten transpoosin 6 ja vektorin y välillä: x y = Erityisesti, x 1 x x N x x = i y 1 y y N = (x 1x x N) x i x i = i y 1 y y N (15) x i (16) Lisäksi vektorin x komponentit ortonormaalissa kannassa saadaan laskemalla N j x = x i j i = c j x = i=1 N i x i (17) i=1 6 Hermiten transpoosi = transpoosi + kompleksikojugaatti, merkitään 4

8 Duaaliavaruus: Aikaisemmin totesimme, että jokainen Hilbertin avaruuden vektori voidaan esittää pystyvektorina, kun kanta on valittu Tämän voi kääntää myös toisinpäin: Jokaista pystyvektoria vastaa jokin yksikäsitteinen abstraktin Hilbertin avaruuden vektori Osoittautuu, että voimme tehdä tämän saman myös vaakavektoreille Jokaista vaakavektoria vastaa vektori abstraktissa Hilbertin avaruudessa, jota kutsumme tila-avaruutemme duaaliavaruudeksi Erityisesti, jokaista vektoria x vastaa duaaliavaruuden vektori x, joka saadaan laskemalla vektorin x pystyvektoriesityksen hermiten transpoosi Käyttämällä duaaliavaruuden käsitettä voidaan sisätulot ajatella duaaliavaruuden ja tila-avaruuden vektorien tuloina: bra ket {}}{{}}{ x y = x y (18) Johtuen sisätulon merkintätavasta (bracket), Dirac alkoi kutsua duaaliavaruuden vektoreita bra - vektoreiksi ja tila-avaruuden vektoreita ket - vektoreiksi Duaaliavaruuden käsitte on tärkeä sisätuloavaruuksien matemaattisessa teoriassa, mutta sen omaksuminen ei ole kvanttimekaniikan kannalta välttämätöntä Tärkeintä on muistaa miten sisätulot lasketaan, kun kanta on tiedossa (kaava (14)) 1 Hilbertin avaruuden lineaariset operaattorit Kvanttimekaniikan teoriassa mitattavia dynaamisia suureita vastaavat (hermiittiset) operaattorit Hilbertin avaruudessa operaattorilla ˆT tarkoitetaan kuvausta vektorilta x vektorille y : y = ˆT x ˆT x (19) Kvanttimekaniikassa esiintyvät operaattorit ovat lineaarisia: ˆT (a x + b y ) = a( ˆT x ) + b( ˆT y ) (0) Kun kanta { j } on valittu, oleellista on selvittää miten kantavektorit muuntuvat kuvauksessa: ˆT j = i T ij i (1) Tällöin ˆT x = j ( ) ( x j ˆT j = T ij x j ) i () Toisin sanoen, operaatio ˆT kuvaa vektorin, jonka komponentit ovat x i vektoriksi, jonka komponentit ovat x i = T ij x j (3) j Elementtejä T ij on kaikkiaan N kappaletta ja ne määrittelevät yksikäsitteisesti kuvauksen ˆT (ko kannassa), samaan tapaan kuin N kappaletta komponentteja x i määräävät vektorin x Jos kanta on ortonormaali, niin i j T ij = i ˆT j (4) Nämä kompleksiluvut on käytännöllistä kirjoittaa matriisimuotoon 7 : T 11 T 1 T 1N T 1 T T N ˆT = (5) T N1 T N T NN Ylläolevan johdosta kompleksilukuja T ij kutsutaan matriisielementeiksi Kun (ortonormaali) kanta on kiinnitetty, voidaan lineaariset operaatiot siis kirjoittaa matriisimuodossa: y 1 T 11 T 1 T 1N x 1 y = T 1 T T N x y N x N T N1 T N T NN (6) Lineearisten kuvausten teoria palautuu siten matriisilaskennaksi Erityisesti, jos ˆT ja Ŝ ovat lineaarisia kuvauksia, saadaan Û = Ŝ + ˆT, missä U ij = S ij + T ij Û = Ŝ ˆT, missä U ij = k S ikt kj 7 Jälleen kerran: yhtäsuuruus tarkoittaa että operaattorin esitys valitussa kannassa voidaan kirjoittaa muotoon 5

9 Toisin sanoen, kahden operaattorin summa voidaan esittää niitä vastaavien matriisien summana, ja tulo niitä vastaavien matriisien tulona Samaan tapaan kuin vektoreille, operaattorit voidaan nyt esittää kompaktisti käyttäen Diracin merkintöjä: Lause 1 Operaattori ˆT = N m,n=1 T mn m n (7) on matriisi, jonka matriisielementit ovat kompleksilukuja T mn Todistus Muodostetaan operaattorin T matriisielementti i ˆT j = N m,n=1 T mn i m }{{} δ im n j }{{} δ nj = T ij (8) Huomaa, että on syytä olla erityisen huolellinen ket- ja bra-vektorien järjestyksen kanssa; Kun ketvektoria x kerrotaan vasemmalta bra-vektorilla y saadaan kompleksiluku y x (sisätulo) Kun vektorien järjestys tulossa vaihdetaan, saadaan operaattori x y Diracin merkinnöillä vältetään suurten matriisien kirjoittaminen, joka tehostaa laskutoimitusten tekemistä Esimerkiksi: Lasketaan operaattorien ˆT ja Ŝ tulo ˆT Ŝ = T mn m n S kl k l m,n k,l = T mn S kl m l n k k,l,m,n = k,l,m T mk S kl m l }{{} δ nk Tuloksena on operaattori, jonka matriisielementit ovat ( ˆT Ŝ) ij = k T ik S kj täsmälleen samoin kuin matriisien kertolaskussa Projektio-operaattorit: Jos operaattorin ˆT määritelmässä summaus yli m:n tai n:n on rajoitettu siten, että m ja n eivät saa kaikkia arvoja 1:stä N:ään, saadaan projektiooperaattori Esimerkiksi Siten ˆT = ˆT x = C 1 i ˆT = C 1 { T1 = C T ij = 0 muulloin 0 C 0 0 x i i = C i =δ i {}}{ x i 1 i = Cx 1 (9) Yksikköoperaattori: Käytännössä tarvitaan usein yksikköoperaattorin koordinaattiesitystä 8 I = N m=1 j I i = m m m j m }{{} δ jm m i }{{} δ im = δ ij Matriisien kertolasku: Tavallisesta matriisilaskennasta tuttu sääntö on Ĉ = ˆT Ŝ, C N mn = T mk S kn (30) k=1 Käyttämällä edellä esitettyä yksikköoperaattoria saamme C mn = m Ĉ n = m ˆT Ŝ n = m ˆT IŜ n 8 Tarkista itse, että tämä todella on yksikköoperaattori! 6

10 = m ˆT N k k Ŝ n = k = k k=1 m ˆT k k Ŝ n A mk B kn Olemme näin pukeneet operaattorit tavallisen vektori- ja matriisilaskennan muotoon, joka parhaiten soveltuu kvanttimekaniikan esittämiseen 11 Matriisien muunnokset Olkoon T matriisi 9, jonka elementit ovat i T j = T ij Transponoitu matriisi (merkitään T T tai T ): T T ij = T ji eli i T T j = j T i (31) Kompleksikonjugaatti: (T ) ij = T ij eli i T j = i T j (3) Hermitén transpoosi (konjugaatti): T ij = (T T ) ij = T ji Käänteismatriisi T 1 : eli i T j = j T i T 1 T = T T 1 = I (33) Käänteismatriisi on olemassa jos ja vain jos matriisin determinantti on eri suuri kuin nolla, det T 0 Jos det T = 0, sanotaan että matriisi T on singulaarinen Matriisien perustyypit: Symmetrinen: T T = T eli i T T j = i T j Antisymmetrinen: T T = T 9 Tästä eteenpäin jätän hatun merkitsemättä operaattorin päältä, jos asiayhteydestä selviää että kyseessä on operaattori Hermiittinen: T = T eli i T j = j T i = i T j Reaalinen: T = T Unitaarinen: T = T 1 eli T T = T T = I Tulon konjugointi: (T S) = S T i (T S) j = j T S i = i S T j On syytä myös muistaa, että yleisesti ottaen matriisien tulo ei kommutoi (T S ST ) Kahden neliömatriisin tulon kommutointia voidaan luonnehtia kommutaattorilla: [T, S] = T S ST (34) Kommutaattoreilla on tärkeä osa kvanttimekaniikan teoriassa, niin kuin KMI-kurssista muistamme Matriisifunktiot: Olkoon T ei-singulaarinen matriisi ja f(x) funktio, jonka Taylorin sarja on f(x) = a 0 + a 1 x + a x + (35) Voimme määritellä matriisifunktion f(t ) = a 0 I + a 1 T + a T + (36) Esimerkki: e T = I + T + T! + Huomaa: Jos [T, S] 0, niin e T e S e T +S Jos sarjakehitelmiin otetaan mukaan vain termit neliöllisiä termejä myöten, niin e T e S = e T +S+ 1 [T,S] 1 Ominaisvektorit ja ominaisarvot Vektoreita λ, jotka säilyvät muuttumattomina lineaarisessa muunnoksessa T (skalaarilla kertomista lukuunottamatta) kutsutaan muunnoksen T ominaisvektoreiksi, ja vastaavia kompleksilukukertoimia kutsutaan muunnoksen ominaisarvoiksi 10 : T λ = λ λ (37) 10 Huomaa, että vaikka nollavektori toteuttaa ominaisarvoyhtälön kaikilla T ja λ, sitä ei kuitenkaan lasketa ominaisvektoriksi 7

11 Yllä olevaa yhtälöä kutsutaan lineaarisen kuvauksen T ominaisarvoyhtälöksi Muodollisesti ominaisarvoyhtälö voidaan kirjoittaa muotoon: (T λi) λ = 0 (38) Mielivaltaisessa kannassa i saadaan N (T ik λδ ik )λ k = 0, i = 1,, N (39) k=1 Toisin sanoen, kun kanta on valittu palautuu ominaisarvoyhtälön ratkaiseminen homogeenisen lineaarisen yhtälöryhmän ratkaisemiseksi Yhtälöryhmällä on ei-triviaali ratkaisu, kun sen kerroinmatriisin determinantti on nolla: det(t λi) = (T 11 λ) T 1 T 1N T 1 (T λ) T N = 0 T N1 T N (T NN λ) Tämän yhtälön ratkaisuna saadaan N kappaletta ominaisarvoja λ Matriisin kaikkien ominaisarvojen joukkoa sanotaan spektriksi Jos kahdella tai useammalla lineaarisesti riippumattomalla ominaisvektorilla on sama ominaisarvo, sanotaan että spektri on degeneroitunut Ominaisvektorit saadaan sijoittamalla ominaisarvot ominaisarvoyhtälöön ja laskemalla käsin Jos matriisin ominaisvektorit virittävät avaruuden, voidaan niitä käyttää kantana Ominaisvektoriensa virittämässä kannassa kuvaus T on diagonaalinen: T = λ λ λ N (40) Lisäksi (normalisoidut) ominaisvektorit ovat muotoa: , 0,, 1 (41) Matriisi, joka kannanvaihdoksella saadaan diagonaaliseen muotoon on diagonalisoituva Voidaan osoittaa että (vanhassa kannassa) diagonalisointi voidaan toteuttaa muunnosmatriisilla, jonka käänteismatriisin S 1 pystyrivit muodostuvat diagonalisoitavan matriisin ominaisvektoreista: i S 1 j = i λ j (4) Voidaan myös osoittaa, että jokainen normaali matriisi N ([N, N] = 0) on diagonalisoituva Kvanttimekaniikan kannalta tärkeää on se, että erityisesti hermiittiset ja unitaariset matriisit ovat tämän nojalla diagonalisoituvia Kannan muutos ja unitaarinen matriisi Niin vektorien kuin matriisien komponenttien arvot riippuvat valitusta kannasta Tarkastellaan seuraavassa miten nämä komponentit muuttuvat, kun vaihdamme kannasta toiseen Vanhat kantavektorit e i ovat, kuten kaikki muutkin vektorit, lineaarikombinaatioita uusista, f i : e j = N S ij f i, (j = 1,, N), (43) i=1 missä S ij ovat kompleksilukuja Kannanvaihto itsessään on siis lineaarinen kuvaus Mielivaltaisen vektorin x e = x e i e i 11 komponentit muuntuvat kuten N x f i = S ij x e i, (44) j=1 joka matriisimuodossa voidaan kirjoittaa x f = S x e Tarkastellaan sitten miten lineaarinen kuvaus T muuntuu kannanvaihdossa Vanhassa kannassa y e = T e x e (45) Uudessa kannassa yhtälö voidaan kirjoittaa muotoon 1 y f = S e y e = S e (T e x e }{{} ) = S e T e (S e ) 1 x f (S e ) 1 x f (46) 11 Yläindeksi kertoo, että vektori on esitetty kannassa e i 1 Huomaa, että S 1 on aina olemassa; jos ei olisi, niin { f i } ei olisi kanta 8

12 Siten, uudessa kannassa selvästi 13 T f = S e T e (S e ) 1 (47) Yleisesti ottaen, matriisit T 1 ja T ovat similaariset, jos T = ST 1 S 1 jollain (ei-singulaarisella) matriisilla S Erityisesti, lineaarisen kuvauksen esitykset eri kannoissa ovat similaariset Lause Ortonormaaleista kantavektoreista e 1, e,, e N voidaan matriisitransformaatiolla U siirtyä uusiin ortonormaaleihin kantavektoreihin f 1, f,, f N silloin ja vain silloin, kun muunnosmatriisi U on unitaarinen Silloin tapaus: Jos U on unitaarinen ja f i = U e i, niin silloin f i f j = δ ij Todistus: f i = f i = (U e i ) = e i U f i f j = e i U U e j = e i e j = δ ij mot Vain silloin tapaus: Jos kantavektorit ovat ortonormaaleja, niin silloin U on unitaarinen Todistus: f i f j = f i e k e k f j k e k f i = e k U e i = U ki f i e k = U ki e k f j = e k U e j = U kj f i f j = k U ki U kj = k = ( U U ) ij = δ ij (Ũ) ik U kj Koska työskentelemme aina ortonormaaleissa kannoissa, tarkastelemme pääsääntöisesti vain unitaarisia similariteettimuunnoksia Unitaarisilla muunnoksilla on viisi tärkeää ominaisuutta: 13 Yläindeksit tarkoittavat, että ko suureet on ajateltava matriiseina, ja merkitsevät missä kannassa ko suure tulee kirjoittaa 1: Sisätulon säilyminen: x f y f = x e U U y e = x e y e : Matriisin determinantin säilyminen: det T f = det(u e T e (U e ) 1 ) = det(u e ) det(t e ) det((u e ) 1 ) = det(t e ) 3: Ominaisarvoyhtälön T e λ e = λ λ e säilyminen: U e T e λ e = =T f = λ f {}}{{}}{ U e T e (U e ) 1 U e λ e = λ λ f 4: Ominaisarvot muotoa λ = e iφ, missä φ on reaalinen: U λ = λ λ Siten 5: Jäljen 14 säilyminen: λ U U λ = λ λ λ λ = 1 λ = e iφ Tr(T f ) = Tr(U e T e (U e ) 1 ) = Tr(T e ), missä on käytetty jäljen syklisyyttä Tr(T 1 T ) = Tr(T T 1 ) Vaikka matriisielementit muuntuvat muunnoksissa, voidaan annetusta matriisista laskea kaksi suuretta, determinantti ja jälki, jotka pysyvät muunnoksessa muuttumattomina 13 Hermiittiset muunnokset Hermiittiset muunnokset ovat tärkeitä kvanttimekaniikassa, joten tarkastellaan niitä lähemmin Aikaisemmin määrittelimme matriisin hermiten transpoosin sen transpoosin kompleksikonjugaattina: T = (T T ) Yleisemmin lineaariselle 14 Lineaarisen kuvauksen jälki (trace) määritellään kuten: Tr(T ) = i T ii 9

13 kuvaukselle hermiten konjugaatti määritellään seuraavasti: T α β ( T α ) β = α T β (48) Sanallisesti: hermiten transpoosi on sellainen kuvaus T, jolla vektorin T α sisätulo vektorin β kanssa antaa saman tuloksen kuin vektorien α ja T β sisätulo Hermiittiset muunnokset toteuttavat ehdon T = T Toisin sanoen, laskettaessa sisätuloa ei ole väliä kumpaan tulon vektoriin (hermiittisellä) muunnoksella operoidaan Listataan vielä lopuksi muutama hermiittisten kuvausten tärkeä ominaisuus: 1 Hermiittisen muunnoksen ominaisarvot ovat reaalisia todistus: Olkoon α kuvauksen T ominaisarvo: T α = α α Siten Toisaalta, koska T = T, niin α T α = α α α (49) α T α = T α α = α α α (50) Hermiittisen kuvauksen ominaisvektorit ovat ortogonaalisia todistus: Olkoon T α = α α ja T β = β β, missä α β Nyt Siten α β = 0 15 α T β = β α β = α α β (51) 3 Hermiittisen kuvauksen ominaisvektorit virittävät avaruuden todistus: Tämä todettiin jo aikaisemmin diagonalisoituvuuden käsitteen yhteydessä 4 Kaksi hermiittistä kuvausta voidaan diagonalisoida samalla unitaarisella muunnoksella jos ja vain jos kuvaukset kommutoivat 1 todistus: Oletamme ensin, että Ā = UAU on diagonaalinen, jolloin matriisielementit ovat 15 Tässä todistus tehtiin degeneroitumattomille tiloille, mutta tulos pätee yleisemmin myös degeneroituneille ominaisarvoille (todistus sivuutetaan) Ā ij = a i δ ij Lisäksi oletamme, että AB BA = 0 Osoitetaan sitten, että B = UBU 1 on diagonaalinen Olettamuksesta seuraa, että myös U(AB BA)U 1 = 0 eli UAU 1 UBU 1 UBU 1 UAU 1 = 0 Ā B BĀ = 0 Lasketaan matriisielementti ij ja käytetään hyväksi Ā:n diagonaalisuutta i Ā k k B j = i B k k Ā j k k λ i i B j = λ j i B j (λ i λ j ) i B j = 0 Jos degeneraatiota ei ole, niin λ i λ j, kun i j Kun i = j, niin silloin i B j = 0 (5) i B i = b i, (53) missä α i on vakio Matriisi B on siis diagonaalinen i B j = α i δ ij mot (54) Toiseksi oletamme, että B ja Ā ovat diagonaalisia Ā ij = a i δ ij B ij = b i δ ij Osoitetaan, että AB BA = 0 Lasketaan kommutaattorin matriisielementti j ( Ā B BĀ) i = (a j b j b j a j )δ ij = 0 10

14 Koska kaikki matriisielementit ovat nollia, niin 0 = Ā B BĀ = UAU 1 UBU 1 UBU 1 UAU 1 = U(AB BA)U 1 AB BA = 0 mot Degeneroituneessa tapauksessa kun degeneraatio on f-kertainen, on mahdollista löytää f kpl keskenään ortogonaalista vektoria a l, jotka kuuluvat samaan A:n ominaisarvoon a Ominaisvektorit eivät ole yksikäsitteisesti määriteltyjä Ominaisvektorijoukkoon a l, l = 1,,, f voidaan soveltaa mielivaltainen unitaarinen muunnos a l = U a l ja uudet vektorit ovat yhtä hyviä ortonormaalisia ominaisvektoreita Yksikäsitteisyyteen päästää usein käyttämällä hyväksi A:n kanssa kommutoivan matriisin B ja matriisin A yhteisiä ominaisvektoreita Mikäli tämäkään ei riitä yksikäsitteisyyteen, on käytettävä kolmannen kommutoivan matriisin C ominaisvektoreita jne A a = a a BA a = ab a = AB a A Ba = a Ba, joten myös Ba = ā on A:n ominaisarvoon a liittyvä ominaisvektori Sivuutetaan tässä tämän todistus 13 Kahden tilan muodostama systeemi Tarkastellaan yllä esiteltyä kvanttimekaniikan muodollista esitystä mahdollisimman yksinkertaisessa tapauksessa: systeemissä, joka muodostuu kahdesta stationaarisesta tilasta Joissain tapauksissa systeemin voi katsoa muodostuvan kahdesta melkein degeneroituneesta tilasta sekä muista, energiassa kaukana olevista, tiloista Näin tapahtuu esimerkiksi H + -ionin sidoksessa, jossa elektroni voi olla sidottu kummalle tahansa protoneista On syytä kuitenkin korostaa, että yksinkertaisuudestaan huolimatta kaksitilamalli on äärimmäisen käytännöllinen esimerkiksi spin- 1 hiukkasten, ydinmagneettisen resonanssin (NMR), spektriviivojen, ja yleisemminkin aineen ja säteilyn vuorovaikutuksen ymmärtämisessä Eräs moderni kaksitilasysteemin sovelluskohde on kvanttilaskenta, jossa digitaalisten tietokoneiden rakennuspalikat, bitit, on korvattu kvanttibiteillä eli kubiteilla 16 ; kvanttimekaanisilla kaksitasosysteemeillä, jotka digitaalisten tilojen 0 ja 1 sijaan voivat olla missä tahansa kantatilojen 0 ja 1 lineaarisessa (kompleksisessa) superpositiossa Voidaan osoittaa, että kubiteista rakennetut kvanttitietokoneet mahdollistavat tietyt, klassisilla tietokoneilla vaikeat, laskennalliset ongelmat (esim suurten kokonaislukujen tekijöihin jako, tietokantahaku, jne) Tarkastellaan siis kahdesta Hamiltonin operaattorin H 0 ominaistilasta, 0 ja 1, muodostuvaa systeemiä: H 0 0 = E 0 0, (55) H 0 1 = E 1 1 (56) Ominaistilojen muodostamassa kannassa Hamiltonin operaattori voidaan kirjoittaa muotoon H 0 = E E (57) = E ( ) 1 E ω σ z, (58) missä olemme ottaneet käyttöön atomifysiikassa tunnetun merkinnän transitioenergialle: ω 0 = E 1 E 0 17 Toisella rivillä on siirretty energian nollataso kohtaan (E 0 +E 1 )/, ts mitataan energiat E 0 ja E 1 suhteessa keskiarvoon Paulin spin-matriisit määritellään kuten σ x = ( ) ( 0 i, σ y = i 0 ) ( 1 0, σ z = 0 1 (59) Yleisesti voidaan osoittaa, että mikä tahansa hermiittinen -matriisi voidaan esittää Paulin spinmatriisien ja yksikkömatriisin lineaarikombinaationa (harjoitus) 16 qubit = quantum bit 17 Atomifysiikassa spektrit mitataan yleensä kulmataajuusyksiköissä Sen vuoksi tapana on kirjoittaa myös energiat skaalattuna vakiolla ) 11

15 Vuorovaikutukset ympäröivän maailman (esim sähkö/magneettikenttä) aiheuttavat muutoksia systeemin Hamiltoniin Yleisyyden kärsimättä voidaan olettaa, että tällaiset häiriöt ovat muotoa 18 ( ) 0 g H 1 = = Re(g)σ g 0 x + Im(g)σ y (60) Häiriön seurauksena tilat 0 ja 1 eivät enää ole systeemin Hamiltonin operaattorin H = H 0 + H 1 ominaistiloja 131 Häirityn systeemin ominaistilat Häirityn systeemin ominaisarvot saadaan ratkaisemalla karakteristinen yhtälö: det(h ω I) = (ω 0 ω)/ g g (ω 0 + ω)/ = 0 (61) Siten energian uudet ominaisarvot ovat E ± = ω ± = ± ω0 + 4 g (6) Laskutoimitusten helpottamiseksi voidaan Hamiltonin operaattori kirjoittaa nyt muotoon H = ω0 + 4 g ( ) cos θσ z +sin θ(cos φσ x +sin φσ y, (63) missä ω 0 cos θ = (64) ω g sin θ = Ominaistiloja g ω g, 0 θ π (65) g = g e iφ, 0 φ π (66) ± = α ± 0 + β ± 1 ratkaistaessa voidaan ominaisarvoyhtälön H ± = ω ± ± lisäksi vaatia, että tilat ovat ortonormaaleja: + + = = α ± + β ± = 1, + = 0 (67) 18 Häiriön mahdollinen diagonaaliosa voidaan sisällyttää ω 0 :aan Kirjoittamalla Hamiltonin operaattori kulmien θ ja φ avulla, kuten yllä, saadaan ortonormaaleiksi ominaistiloiksi: = cos θ 0 sin θ e iφ 1 (68) + = sin θ eiφ 0 + cos θ 1 (69) Nähdään siis että tilat 0 ja 1 eivät ole häirityn systeemin ominaistiloja Oletetaan jatkossa, yleisyyden kärsimättä, että g = g jolloin φ = 0 13 Heikon ja vahvan häiriön rajat Oletetaan ensin, että häiriö on pieni verrattuna transition suuruuteen, eli ollaan pienen kytkennän rajalla missä g ω 0 Tällöin ja ω ± = ± ω 0 + 4g ±(ω 0 + g + ) (70) ω 0 0 g ω 0 1 (71) + g ω , (7) sillä cos θ 1 θ g/ω 0 Toisin sanoen poikkeamat häiriöttömistä ominaistiloista ovat pieniä kun g 0 Lisäksi häiriö pienentää perustilan energiaa ja kasvattaa viritystilan energiaa Siten kytketyn systeemin perustila on aina enemmän sidottu kuin kytkemättömän Vastaavasti, jos oletetaan suuri kytkentä, g ω 0, saadaan ja ω ± = ± ω0 + 4g ±(g + ω 0 4g + ) (73) 1 ) (( 0 1 (74) + 1 ) ( 0 + 1, (75) sillä cos θ 0 θ π/ 1

16 133 Rabi-oskillaatiot Korostaaksemme häiriön aiheuttamaa muutosta Hamiltonin ominaistiloihin, tarkastellaan ajan hetkellä t = 0 tilassa 141 Numeroituva kanta Oletetaan ensin, että kanta on numeroituva eli { i i N} Tällöin aikaisemmin esitetyt tulokset yleistyvät suoraviivaisesti Erityisesti: ψ(0) = 0 = cos θ + sin θ + olevan kaksitilasysteemin aikakehitystä Häiriöttömässä tapauksessa (g = 0) 0 on Hamiltonin operaattorin ominaistila, eli stationaarinen tila, ja siten ψ(t) = e iω0t/ 0 Kun kytkentä g > 0, on alkutila kahden stationaarisen tilan ja + superpositio, ja siten aikakehitys on muotoa ψ(t) = e iω t/ cos θ + e iω+t/ sin θ + (76) Tästä johtuen todennäköisyysamplitudi löytää systeemi tilasta 1 ei ole enää nolla: Siten todennäköisyys P 1 (t) että systeemi löytyy tilasta 1 on P 1 (t) = 1 ψ(t) (77) = 1 [ ( )] ω+ ω sin θ 1 cos t (78) = g ( (ω 0 /) + g sin (ω 0 /) + g t ) (79) Tätä kutsutaan Rabin kaavaksi, ja sen kuvaamia populaation oskillaatioita Rabin oskillaatioksi 14 Yleistys ääretönulotteiseen Hilbertin avaruuteen Tarkastellaan tilannetta missä Hilbertin avaruuden ulottuvuuksien lukumäärä N Kantatiloja voi nyt olla joko numeroituva (esim energian ominaistilat äärettömässä potentiaalikuopassa tai harmoonisen värähtelijän potentiaalissa) ylinumeroituva (esim paikkaoperaattorin ominaistilat ja äärellisten potentiaalien sirontatilat) määrä Tarkastellaan näitä kahta tapausta erikseen i j = δ ij (80) Î = i i (81) ψ = ˆT = φ ψ = i=1 i ψ i ψ i i (8) i=1 i=1 T ij i j (83) i,j=1 φ i ψ i (84) i=1 1 ψ(t) = e iω t/ cos θ 1 + e iω+t/ sin θ Näin ollen äärettömässä, numeroituvassa kannassa tilat voidaan esittää äärettömänä pystyvektori- 1 + = 1 ( sin θ e iω t/ + e ) iω+t/ na ja lineaariset kuvaukset (operaattorit) - matriiseina Lisäksi kvanttimekaniikassa postuloidaan, että äärettömän spektrin omaavan hermiittisen operaattorin ominaistilat muodostavat täydellisen kannan Ylinumeroituva kanta Tarkastellaan sitten tilannetta, jossa kantatilat muodostavat ylinumeroituvan joukon Tällaisia ovat esimerkiksi paikkaoperaattorin ominaistilat: ˆx x = x x, (85) missä x R Numeroituvan tapauksen tapaan postuloidaan, että nämä muodostavat kannan KMIkurssista muistetaan, että sisätulo täytyy nyt määritellä Diracin delta-funktion avulla: x x = δ(x x ) (86) Ylinumeroituvuudesta seuraa myös, että summaukset on muutettava integroinneiksi: Î = x x dx (87) 19 Postulointi tarvitaan, koska yleisessä tapauksessa tätä ei voida todistaa, kts KMI 13

17 ψ = ˆT = φ ψ = x ψ x dx ψ(x) x dx(88) x ˆT x x x dxdx (89) T (x, x ) x x dxdx (90) φ (x)ψ(x)dx (91) Nähdään, että ylinumeroituvassa kannassa tilavektorien komponentit korvataan jatkuvilla funktioila ψ(x) ja lineaariset kuvaukset integraalimuunnoksen ytimillä (kernel) T (x, x ) Todennäköisyystiheys sille, että kappale löytyy paikasta x saadaan edelleen laskemalla ψ(x) (9) On syytä korostaa, että yllä oleva ei ole pelkästään paikkaoperaattorin ominaiskannalle rajoitettu vaan voidaan yleistää mille tahansa jatkuvan spektrin omaavan hermiittisen operaattorin ominaiskannalle Osoitetaan seuraavassa, että paikkaoperaattorin ominaiskannassa esitettynä Hamiltonin operaattorin ominaisarvoyhtälö palautuu Schrödingerin yhtälöksi 143 Ominaisarvoyhtälöt ylinumeroituvassa kannassa Ylinumeroituvassa kannassa mielivaltaiseen hermiittiseen operaattoriin liittyvä ominaisarvoyhtälö on integraaliyhtälö Esimerkki: Liikemäärä operaattorin ominaisarvoyhtälö ˆp p = p p (93) voidaan kirjoittaa paikkaoperaattorin ominaiskannassa muodossa x ˆp p = = i x ˆp x x p dx (94) [ ] d dx δ(x x ) x p dx (95) = i d x p = p x p, (96) dx missä on käytetty osittaisintegrointia ja postulaattia 0 x ˆp x = i d dx δ(x x ) (97) Funktio ψ p (x) x p on liikemäärän ominaistilan esitys paikkaoperaattorin ominaiskannassa Kun valitaan normalisaatio kuten KMI-kurssissa, p p = δ(p p ), saadaan ψ p (x) = 1 π e ipx/ (98) Nähdään myös, että yleisen tilavektorin komponentit liikemääräoperaattorin ominaiskannassa saaadaan Fourier-muunnoksella: p ψ = 1 π e ipx/ ψ(x)dx (99) Lisäksi voidaan osoittaa suoraviivaisella laskulla, että [ˆx, ˆp] = i Esimerkki: Hamiltonin operaattorin ominaisarvoyhtälö H ψ = E ψ (100) voidaan kirjoittaa käyttämällä esitystä paikkaoperaattorin ominaiskannassa kuten: x H ψ = E x ψ = Eψ(x) dx x H x x ψ = dx H(x, x ) ψ(x ) Saamme integraaliyhtälön dx H(x, x ) ψ(x ) = Eψ(x) Tämä on Schrödingerin yhtälön yleisin muoto, jossa on ns ei-lokaalinen eli kahdesta koordinaatista riippuva Hamiltonin operaattori H(x, x ) Esimerkiksi atomien Hartree-Fock yhtälöt 1 ovat tätä yleistettyä muotoa 0 Vertaa KMI-kurssi 1 Yleisesti käytetty approksimaatio monen kappaleen Schrödingerin yhtälölle, kts esim Kondensoidun materian fysiikka 14

18 Lokaalisesta eli yhdestä koordinaatista riipuvasta tapauksesta esimerkkinä on hiukkanen potentiaalikentässä, V (x, x ) = V (x)δ(x x ) Hamiltonin operaattori on silloin muotoa H(x, x ) = [ m d ] dx + V (x ) δ(x x ) (101) ja kaksinkertaisen osittaisintegroinnin jälkeen Schrödingerin yhtälö saa tutun muotonsa dx H(x, x ) ψ(x ) = [ m d dx + V (x) ] ψ(x) = Eψ(x) 144 Jatkuva ja diskreetti spektri Yleisimmässä tapauksessa hermiittisellä operaattorilla on sekä jatkuva että diskreetti osa Esimerkkejä tällaisista operaattoreista ovat äärellisen potentiaalikuopan ja Coulombin vuorovaikutuksen Hamiltonin operaattorit Muodollisesti teoria on samanlainen kuin diskreettien ominaisarvojen tapauksessa, paitsi jatkuvan spektrin osan aaltofunktiot on normitettava δ- funktioon Seuraavassa käytämme indeksiä n viittaamaan diskreettiin osaan ja indeksiä t viittaamaan jatkuvaan osaan normitus: A n = α n n A t = α t t n n = δ nn t t = δ(t t ) n t = 0 Aaltofunktiot ovat jälleen projektioita paikkaavaruuteen φ n (x) = x n φ t (x) = x t Yksikköoperaattori tulee sisältämään sekä jatkuvan että diskreetin osan I = n n + dt t t (10) n Tästä saamme closure-ominaisuuden δ(x x ) = x n n x + dt x t t x n = φ n (x) φ n(x ) + dt φ t (x) φ t (x ) n Tässäkin tapauksessa Hilbert-avaruuden mielivaltainen vektori ψ voidaan kehittää ominaisvektoreiden mukaan ψ = C n n + C(t) t dt eli n x ψ ψ(x) = C n φ n (x) + C(t) φ t (x) dt n Kehitelmän kertoimille saadaan lausekkeet C n = n ψ = n x x ψ dx = φ (x) ψ(x) dx n C(t) = t ψ = φ (x) ψ(x) dx t 15 Harmonisen värähtelijän käsittely algebrallisesti Sovelletaan edellä esiteltyä tilavektorin käsitettä KMI -kurssista tuttuun harmoonisen värähtelijän ongelmaan Pyrimme määräämään yksiulotteisen värähtelijän Hamiltonin operaattorin Ĥ = 1 [ ] ˆp + (mωˆx) (103) m ominaisarvot E ja ja niitä vastaavat ominaistilat ψ Tilavektorit toteutettavat ominaisarvoyhtälön Ĥ ψ = E ψ (104) 15

19 Muistetaan KMI-kurssista, että operaattorit ˆp ja ˆx toteuttavat kommutaatiorelaation [ˆx, ˆp] = i (105) 151 Luomis- ja hävittämisoperaattorit Yritetään jakaa harmoonisen värähtelijän Hamiltoni tekijöihinsä: H = [ ] 1 p + (mωx) m = 1 m ( ip + mωx)(ip + mωx) iω [x, p] Ottamalla käyttöön merkinnät a = a = 1 mω (ip + mωx) (106) 1 mω ( ip + mωx), (107) voidaan harmoonisen värähtelijän Hamiltonin operaattori kirjoittaa kompaktiin muotoon ( H = ω a a + 1 ) (108) Voidaan osoittaa (harjoitus), että uudet operaattorit a ja a toteuttavat seuraavat ominaisuudet: 1 [a, a ] = 1 H = ω (a a + aa ) 3 [a, a a] = a 4 [a, a a] = a Osoitetaan seuraavassa, että juuri määriteltyjä operaattoreita voidaan käyttää yleisemminkin harmoonisen värähtelijän kuvaamiseen 3 Jätetään hatut operaattorien päältä jatkossa kirjoittamatta 3 Itse asiassa, ne mahdollistavat esimerkiksi värähtelijän ominaisarvo-ongelman ratkaisun ilman KMI-kurssista tuttua Frobeniuksen menetelmää Lause 3 Olkoon ψ harmoonisen värähtelijän Hamiltonin operaattorin ominaisenergiaa E vastaava ominaistila (H ψ = E ψ ) Tällöin a ψ on ominaisarvoon E + ω liittyvä ominaistila Todistus: H ( a ψ ) = ω ( a a + 1 ) a ψ (109) = ωa ( aa + 1 ) ψ (110) = a (H + ω) ψ (111) = (E + ω)a ψ (11) Toisin sanoen operaattorilla a saadaan ominaisvektorista ψ ominaisvektori a ψ, joka kuuluu ominaisarvoon E + ω Samalla tavalla saadaan operaattorilla a ominaisvektori a ψ, joka kuuluu ominaisarvoon E ω Tämän vuoksi operaattoria a kutsutaan nosto-operaattoriksi ja operaattoria a laskuoperaattoriksi Käyttämällä nosto- tai laskuoperaattoreita perätysten voidaan siis luoda kaikki harmoonisen värähtelijän ominaistilat; kunhan yksi on tiedossa! Käyttämällä laskuoperaattoria useamman kerran perätysten saavutaan jossain vaiheessa tilanteeseen, jossa energia E < 0 Koska harmooniselle värähtelijälle V min = 0, tämä ei ole sallittua 4 On siis oltava olemassa matalimman energian tila ψ 0, jolle a ψ 0 = 0 (113) Jos kerrotaan yhtälö puolittain a :llä 0 = a a ψ 0 ( H = ω 1 ) ψ 0 ( E0 = ω 1 ) ψ 0 = 0 E 0 = ω Täten olemme saaneet alimman omainaistilan 4 Kts KMI H ψ 0 = ω ψ 0 (114) 16

20 Muut ominaistilat saadaan laskettua lauseen 3 perusteella H(a ) n ψ 0 = E n (a ) n ψ 0 ( E n = ω n + 1 ) n = 0, 1,, Olemme näin laskeneet värähtelijän ominaistilat puhtaasti algebrallisesti Yhteys KMI-kurssissa saatuihin Hermitén polynomeihin tarkastellaan myöhemmin 15 Normitetut ominaisvektorit Ominaisvektorit ψ n n muodostavat ortonormaalin kannan 5 n n = δ n,n, (115) jossa Hamiltonin operaattori H esitys on diagonaalinen matriisi Tilat voidaan numeroida kvanttiluvun n = 0, 1, avulla Lauseen 3 perusteella ominaisvektoreille pätee { a n = c n n + 1, (116) a n = d n n 1 missä kertoimet c n ja d n ovat toistaiseksi tuntemattomia normituskertomia Toisin sanoen, a n a n = n aa n = n + 1 (117) = c n c n = n + 1 (118) an an = n a a n = n (119) = d n d n = n (10) Täten kaikki normitetut ominaisvektorit voidaan laskea rekursiivisesti lähtien alimmasta ominaisvektorista 0 n = 1 n! (a ) n Operaattoreiden matriisiesitykset Koska olemme käyttäneet kantavektoreina Hamiltonin operaattorin ominaisvektoreita n ψ n, on 5 Koska ne ovat hermiittisen operaattorin ominaistiloja operaattorin H matriisi diagonaalinen tässä esityksessä ja diagonaalilla ovat ominaisarvot, H = ω Toinen diagonaalinen operaattori on lukumääräoperaattori N a a, jonka ominaisarvo ilmoittaa, kuinka monta oskillaatiokvanttia energian ominaistilassa n on Edellä osoitettiin, että a a = H 1/, joten se on diagonaalinen energian ominaistilojen muodostamassa kannassa, N n = a a n = ( H ω 1 Matriisiesitys on siten diagonaalinen ) n = n n n a a n = nδ n n (11) ja diagonaalilla on oskillaatiokvanttien lukumäärä Operaattoreiden a ja a matriisielementeille saadaan normituskertoimia käyttäen lausekkeet n a n = n δ n n 1 n = 0, 1,, n a n = n + 1 δ n n a = a = Paikka- ja liikemääräoperaattoreiden matriisit saadaan edellisistä lineaarikombinaationa, x = mω (a + a ) mω p = i (a a), 17

21 joten x = mω mω p = i Aaltofunktiot Alimman tilan aaltofunktio saadaan esittämällä yhtälö a ψ 0 = 0 paikkaoperaattorin ominaiskannassa: x a ψ 0 = dx x a x x ψ 0 = 0 (1) ja käyttämällä operaattorin a esitystä x a x = δ(x x 1 ) ( d mω dx + mωx) Yhtälöstä (1) saadaan differentiaaliyhtälö, d dx ψ 0(x) = mω xψ 0(x), jonka normitettu ratkaisu on x ψ 0 = ψ 0 (x) = ( ) 1/4 mω e mω x (13) π Tämä saatiin KMI-kurssissa käyttämällä Frobeniuksen menetelmää Schrödingerin yhtälöön Operoimalla perustilaan nosto-operaattorilla, voidaan osoittaa yhtenevyys myös eri menetelmillä laskettujen viritystilojen suhteen Siten myös KMI-kurssissa lasketut tilojen perusominaisuudet ovat voimassa 18

22 Kulmaliikemäärä ja spin Kulmaliikemäärän muodollinen teoria perustuu infinitesimaalisiin kolmiulotteisen avaruuden kiertoihin, jotka kvanttimekaniikassa esitetään yleensä ryhmäteorian avulla Tässä kurssissa keskitymme pelkästään kulmaliikemäärän esitykseen Hilbertavaruudessa, ja jätämme ryhmiin perustuvan esitysteorian Kvantimekaniikan jatkokurssiin Tarkoituksena on esittää kulmaliikemäärän yleinen teoria, joka sisältää sekä rataettä spin-kulmaliikemäärät Tämän vuoksi merkitään seuraavassa kulmaliikemäärää symboolilla J 6 KMIkurssissa osoitettiin ratakulmaliikemäärälle L = r p kommutaatiorelaatiot: [L x, L y ] = i L z ; [L y, L z ] = i L x ; [L z, L x ] = i L y (14) Kommutaatiorelaatioista seurasi erityisesti myös se, että ratakulmaliikemäärän komponenteilla ei ole yhtäaikaisia ominaistiloja, esim σ L x σ L y 4 L z (15) Määritellään yleinen kulmaliikemääräoperaattori sellaisena kolmiulotteisen avaruuden vektorioperaattorina J = (Ĵx, Ĵy, Ĵz), joka toteuttaa ns kulmaliikemäärän kommutaatioehdot: [J x, J y ] = i J z ; [J y, J z ] = i J x ; [J z, J x ] = i J y (16) Erityisesti nähdään siis, että ratakulmaliikemääräoperaattori L toteuttaa nämä ehdot 7 Suoraviivaisella laskulla saadaan, että [J, J x ] = [J, J y ] = [J, J z ] = 0 (17) Siten voidaan löytää operaattorien J ja (esim) L z yhteiset ominaistilat f 8 : J f = λ f ; J z f = m f (18) 6 Tavallisesti ratakulmaliikemäärä on L ja spin on S 7 On syytä korostaa, että tässä vaiheessa emme tiedä operaattorista J mitään muuta kuin sen että sen komponentit noudattavat esitettyjä kommutaatiosääntöjä 8 Mitataan kulmaliikemäärä -yksiköissä Ratkaistaan seuraavassa nämä tilat algebrallisesti 9 Vastaavaan tapaan kuin harmooniselle värähtelijälle, määritellään kulmaliikemäärän (J z ) nostolaskemisoperaattorit Saadaan, että J ± = J x ± ij y (19) [J z, J ± ] = ± J ± ; [J, J ± ] = 0 (130) Voidaan suoraviivaisesti osoittaa, että jos f on operaattorien J ja J z yhteinen ominaistila, niin J (J ± f ) = J ± (J f ) = λ (J ± f ) (131) Toisin sanoen tila J ± f on operaattorin J samaan ominaisarvoon λ liittyvä ominaistila Vastaavasti J z (J ± f ) = J ± (J z ± ) f = (m±1)(j ± f ) (13) Toisin sanoen, J + nostaa kulmaliikemäärän J z ominaisarvoa määrän, ja vastaavasti J laskee sitä määrän Siten jokaista operaattorin J ominaisarvoa λ kohti saadaan joukko -välein olevia operaattorin J z ominaisarvoja Koska 0 0 J {}}{ {}}{ = J x + J y + J z 0, (133) niin täytyy olla λ m (134) Klassisesti tämä on seurausta siitä, että kulmaliikemäärän komponentit eivät voi olla sen pituutta suurempia Yllä olevan perusteella operaattorin J z ominaisarvoilla m on oltava maksimiarvo (merk j), jolle pätee: J z f = j f ; J f = λ f ; J + f = 0 (135) Koska (osoita!) niin J = J ± J + J z J z, (136) J f = (J J + +J z + J z ) f = j(j +1) f (137) 9 Tämä tehtiin ratakulmaliikemäärälle KMI-kurssissa käyttäen Frobeniuksen menetelmää 19

23 Siten λ = j(j + 1), (138) eli operaattorin J ominaisarvo on lausuttu operaattorin J z suurimman ominaisarvon avulla Vastaavaan tapaan voidaan osoittaa, että samaan operaattorin J ominaisarvoon λ kuuluvilla operaattorin J z ominaisarvoilla on minimi, m = j Operaattorien J ja J z yhteiset ominaistilat voidaan siis erotella kahdella indeksillä (jm): J jm = j(j+1) jm ; J z jm = m jm, (139) missä 30 j = 0, 1, 1, 3, ; m = j, j + 1,, j 1, j (140) Annetulla luvun j arvolla on siis j + 1 mahdollista luvun m arvoa On syytä myös huomata, että liikemäärän z-komponentin arvo j < j(j + 1), eli kulmaliikemäärä ei voi koskaan osoittaa täysin koordinaattiakselin suuntaan! 31 Lisäksi voidaan osoittaa (harjoitus), että J ± jm = j(j + 1) m(m ± 1) j(m ± 1) = (j m)(j ± m + 1) j(m ± 1) Ratakulmaliikemäärä KMI-kurssissa määrittelimme ratakulmaliikemäärän (pallokoordinaatistossa) seuraavasti 3 : ( L = i ˆθ 1 sin θ φ ˆφ ) (141) θ Lisäksi osoitimme, että tällä määrittelyllä ratakulmaliikemäärä toteuttaa yllä esitellyt kulmaliikemäärän yleiset kommutaatiosäännöt Erityisesti operaattorien L ja L z yhteiset ominaistilat lm voidaan kirjoittaa paikkaesityksessä kuten: r lm Y m l (θ, φ), (14) 30 Huomaa, että j = j + N missä N on kokonaisluku, joten j = N/ 31 Tämä on seurausta kommutaatiorelaatioista ja erityisesti niistä seuraavista epätarkkuusrelaatioista 3 Tarkalleen ottaen olemme kirjoittaneet ratakulmaliikemääräoperaattorin esityksen paikkaoperaattorin ominaiskannassa missä Y m l ja ovat palloharmoonisia funktioita, L Yl m (θ, φ) = l(l + 1) Yl m (θ, φ); (143) L z Yl m (θ, φ) = m Yl m (θ, φ) (144) l = 0, 1,, ; m = l, l + 1,, l 1, l (145) On syytä huomata, että ratakulmaliikemäärä hyväksyy vain kokonaislukuarvoisia kvanttiluvun l arvoja Puolikaslukuiset ratkaisut ovat kuitenkin fysikaalisia ja tulevat merkityksellisiksi spin-kulmaliikemäärän teoriassa 1 Spin-kulmaliikemäärä Ratakulmaliikemäärä ei riitä selittämään atomien spektriviivojen hienorakennetta magneettikentässä: Magneettikenttä purkaa ratakulmaliikemäärän z-komponenttiin liittyvän degeneraation (Zeeman-efekti, tarkastellaan myöhemmin) Spektrissä on parillinen määrä viivoja vaikka kvanttilukuja m on (l + 1) kappaletta Sternin-Gerlachin kokeessa (myöhemmin) magneettikenttä jakaa neutraalien (hopea) atomien suihkun kahteen yhtä suureen osaan, jotka poikkeavat suihkun alkuperäisestä etenemissuunnasta saman verran mutta vastakkaisiin suuntiin Poikkeama vastaa magneettista momenttia, joka on Bohrin magnetonin µ 0 suuruinen Klassisesti poikkeamaa ei tulisi havaita Uhlenbeck ja Goudsmit esittivät ns spin-hypoteesin: Elektronilla on sisäinen kulmaliikemäärä s = Tästä seuraa magneettinen momentti µ s = e mc = µ 0 Kuten KMI-kurssissa keskusteltiin, spin-kulmaliikemäärä voidaan samaistaa jossain määrin klassiseen pyörähdyskulmaliikemäärään On kuitenkin syytä muistaa, että klassinen pyörähdyskulmaliikemäärä voidaan aina kirjoittaa systeemin 0

24 osien ratakulmaliikemäärien avulla, kun taas esim elektronin spiniä ei 33 Koetulosten selittäminen vaatii siis sisäisen kulmaliikemäärän S olemassaolon Jotta S olisi kulmaliikemäärä, sen komponenttien täytyy toteuttaa yleiset kulmaliikemäärän kommutointiehdot: [S x, S y ] = i S z ; [S y, S z ] = i S x ; [S z, S y ] = i S y (146) Tästä seuraa, että operaattorien S ja S z yhteiset ominaistilat sm toteuttavat yhtälöt S sm = s(s+1) sm ; S z sm = m sm, (147) sekä S ± sm = s(s + 1) m(m ± 1) s(m±1), (148) missä S ± = S x ± is y Ominaistilat eivät nyt ole palloharmoonisia funktioita Itse asiassa, on syytä korostaa, että spinillä ei ole klassista vastinetta eikä sitä voi esittää paikkaoperaattorin ominaiskannassa (koska se on hiukkasen sisäinen ominaisuus) Lisäksi ei ole syytä rajoittaa kvanttiluvun s arvoja kokonaislukuihin: s = 0, 1, 1, 3, ; m = s, s + 1,, s 1, s (149) Osoittautuu, että elektronien lisäksi kaikilla alkeishiukkasilla on oma, muuttumaton spinin arvonsa; π-mesonien spin on 0; elektronien 1 ; fotonien 1; -hiukkasten 3 ; gravitonien jne Erityisesti spin vaikuttaa ratkaisevasti alkeishiukkasten tilastolliseen käyttäytymiseen (kts KMI): bosonit (spin kokonaisluku) noudattavat Bose-Einstein -statistiikkaa ja fermionit (spin puolikasluku) Fermi-Dirac -statistiikkaa Toisin kuin ratakulmaliikemäärä, spin ei muutu vaikka hiukkasta häiritään Tämä tekee spinin matemaattisesta käsittelystä helppoa verrattuna ratakulmaliikemäärään 11 Spin- 1 Tavallinen aine rakentuu hiukkasista, joiden spin s = 1 (elektronit, protonit, neutronit) Sen vuoksi 33 Koska elektroni on alkeishiukkanen tarkastelemme tässä spin- 1 hiukkasia yleisellä tasolla Käsittely yleistyy suoraviivaisesti korkeamman spinin omaaville hiukkasille Kun s = 1, on operaattoreilla S ja S z vain kaksi (yhteistä) ominaistilaa Merkitään niitä seuraavasti: = 1 1 ; = 1 1, (150) missä tilaa sanotaan spin-ylös ja tilaa spinalas tilaksi Nämä ovat (kahden) hermiittisen operaatorin ominaistilat, ja siten määräävät kannan - ulotteiselle Hilbertin avaruudelle Erityisesti, Myöskin, = ( 1 0 ) ; = ( 0 1 ) (151) S z = ; S z =, (15) joten voimme kirjoittaa Vastaavasti S z = σ z (153) S + = ; S = ; S + = S = 0, (154) ja siten S + = ( ) ( 0 0 ; S = 1 0 Vastaavaan tapaan voidaan osoittaa, että ) (155) S x = σ x; S y = σ y (156) Näin ollen spin-kulmaliikemäärä voidaan kirjoittaa muotoon S = (σ x, σ y, σ z ) (157) Spin- 1 hiukkasen yleinen spin-tila voidaan kirjoittaa muotoon χ = a + b, (158) jota usein kutsutaan spinoriksi Siten, jos mitataan spinin z-komponentti, saadaan tuloksena / todennäköisyydellä a ja / todennäköisyydellä b Mutta mitä jos mitataankin S x? 1

Tilat ja observaabelit

Tilat ja observaabelit Tilat ja observaabelit Maksimaalinen informaatio systeemistä tietyllä ajanhetkellä sisältyy tilaan ψ (ket). Tila = vektori Hilbertin avaruudessa sisätulo ψ ψ C ψ c 1 ψ 1 + c 2 ψ 2 = c 1 ψ ψ 1 + c 2 ψ ψ

Lisätiedot

5 Ominaisarvot ja ominaisvektorit

5 Ominaisarvot ja ominaisvektorit 5 Ominaisarvot ja ominaisvektorit Olkoon A = [a jk ] n n matriisi. Tarkastellaan vektoriyhtälöä Ax = λx, (1) missä λ on luku. Sellaista λ:n arvoa, jolla yhtälöllä on ratkaisu x 0, kutsutaan matriisin A

Lisätiedot

Ch7 Kvanttimekaniikan alkeita. Tässä luvussa esitellään NMR:n kannalta keskeiset kvanttimekaniikan tulokset.

Ch7 Kvanttimekaniikan alkeita. Tässä luvussa esitellään NMR:n kannalta keskeiset kvanttimekaniikan tulokset. Ch7 Kvanttimekaniikan alkeita Tässä luvussa esitellään NMR:n kannalta keskeiset kvanttimekaniikan tulokset. Spinnittömät hiukkaset Hiukkasta kuvaa aineaaltokenttä eli aaltofunktio. Aaltofunktio riippuu

Lisätiedot

1 Ominaisarvot ja ominaisvektorit

1 Ominaisarvot ja ominaisvektorit 1 Ominaisarvot ja ominaisvektorit Olkoon A = [a jk ] n n matriisi. Tarkastellaan vektoriyhtälöä Ax = λx, (1) 1 missä λ on luku. Sellaista λ:n arvoa, jolla yhtälöllä on ratkaisu x 0, kutsutaan matriisin

Lisätiedot

KVANTTIMEKANIIKKA II A. Mikko Saarela

KVANTTIMEKANIIKKA II A. Mikko Saarela KVANTTIMEKANIIKKA II 76333A Mikko Saarela kevät 0 i Sisältö Matriisimekaniikkaa 3. Lineaariset vektoriavaruudet..................... 3.. Diracin merkinnät...................... 3.. Ortonormaalit kantajärjestelmät..............

Lisätiedot

1. Tarkastellaan kaksiulotteisessa Hilbert avaruudessa Hamiltonin operaattoria

1. Tarkastellaan kaksiulotteisessa Hilbert avaruudessa Hamiltonin operaattoria Kvanttimekaniikka I, tentti 6.. 015 4 tehtävää, 4 tuntia 1. Tarkastellaan kaksiulotteisessa Hilbert avaruudessa Hamiltonin operaattoria ( { ( ( } E iδ H =, E, δ R, kannassa B = 1 =, =. iδ E 0 1 (a (p.

Lisätiedot

Määritelmä Olkoon T i L (V i, W i ), 1 i m. Yksikäsitteisen lineaarikuvauksen h L (V 1 V 2 V m, W 1 W 2 W m )

Määritelmä Olkoon T i L (V i, W i ), 1 i m. Yksikäsitteisen lineaarikuvauksen h L (V 1 V 2 V m, W 1 W 2 W m ) Määritelmä 519 Olkoon T i L V i, W i, 1 i m Yksikäsitteisen lineaarikuvauksen h L V 1 V 2 V m, W 1 W 2 W m h v 1 v 2 v m T 1 v 1 T 2 v 2 T m v m 514 sanotaan olevan kuvausten T 1,, T m indusoima ja sitä

Lisätiedot

J 2 = J 2 x + J 2 y + J 2 z.

J 2 = J 2 x + J 2 y + J 2 z. FYSA5 Kvanttimekaniikka I, Osa B.. tentti: 4 tehtävää, 4 tuntia. Tarkastellaan pyörimismääräoperaattoria J, jonka komponentit toteuttavat kommutaatiorelaatiot [J x, J y ] = i hj z, [J y, J z ] = i hj x,

Lisätiedot

Sisätuloavaruudet. 4. lokakuuta 2006

Sisätuloavaruudet. 4. lokakuuta 2006 Sisätuloavaruudet 4. lokakuuta 2006 Tässä esityksessä vektoriavaruudet V ja W ovat kompleksisia ja äärellisulotteisia. Käydään ensin lyhyesti läpi määritelmiä ja perustuloksia. Merkitään L(V, W ) :llä

Lisätiedot

Matriisiteoria Harjoitus 1, kevät Olkoon. cos α sin α A(α) = . sin α cos α. Osoita, että A(α + β) = A(α)A(β). Mikä matriisi A(α)A( α) on?

Matriisiteoria Harjoitus 1, kevät Olkoon. cos α sin α A(α) = . sin α cos α. Osoita, että A(α + β) = A(α)A(β). Mikä matriisi A(α)A( α) on? Harjoitus 1, kevät 007 1. Olkoon [ ] cos α sin α A(α) =. sin α cos α Osoita, että A(α + β) = A(α)A(β). Mikä matriisi A(α)A( α) on?. Olkoon a x y A = 0 b z, 0 0 c missä a, b, c 0. Määrää käänteismatriisi

Lisätiedot

Osoita, että täsmälleen yksi vektoriavaruuden ehto ei ole voimassa.

Osoita, että täsmälleen yksi vektoriavaruuden ehto ei ole voimassa. LINEAARIALGEBRA Harjoituksia 2016 1. Olkoon V = R 2 varustettuna tavallisella yhteenlaskulla. Määritellään reaaliluvulla kertominen seuraavasti: λ (x 1, x 2 ) = (λx 1, 0) (x 1, x 2 ) R 2 ja λ R. Osoita,

Lisätiedot

Neliömatriisi A on ortogonaalinen (eli ortogonaalimatriisi), jos sen alkiot ovat reaalisia ja

Neliömatriisi A on ortogonaalinen (eli ortogonaalimatriisi), jos sen alkiot ovat reaalisia ja 7 NELIÖMATRIISIN DIAGONALISOINTI. Ortogonaaliset matriisit Neliömatriisi A on ortogonaalinen (eli ortogonaalimatriisi), jos sen alkiot ovat reaalisia ja A - = A T () Muistutus: Kokoa n olevien vektorien

Lisätiedot

1 Sisätulo- ja normiavaruudet

1 Sisätulo- ja normiavaruudet 1 Sisätulo- ja normiavaruudet 1.1 Sisätuloavaruus Määritelmä 1. Olkoon V reaalinen vektoriavaruus. Kuvaus : V V R on reaalinen sisätulo eli pistetulo, jos (a) v w = w v (symmetrisyys); (b) v + u w = v

Lisätiedot

Ortogonaalisen kannan etsiminen

Ortogonaalisen kannan etsiminen Ortogonaalisen kannan etsiminen Lause 94 (Gramin-Schmidtin menetelmä) Oletetaan, että B = ( v 1,..., v n ) on sisätuloavaruuden V kanta. Merkitään V k = span( v 1,..., v k ) ja w 1 = v 1 w 2 = v 2 v 2,

Lisätiedot

802320A LINEAARIALGEBRA OSA II

802320A LINEAARIALGEBRA OSA II 802320A LINEAARIALGEBRA OSA II Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO SYKSY 2016 LINEAARIALGEBRA 1 / 64 Sisätuloavaruus Määritelmä 1 Olkoon V reaalinen vektoriavaruus. Kuvaus on reaalinen

Lisätiedot

1. (a) (2p.) Systeemin infinitesimaalista siirtoa matkan ɛ verran esittää operaattori

1. (a) (2p.) Systeemin infinitesimaalista siirtoa matkan ɛ verran esittää operaattori FYSA5 Kvanttimekaniikka I, Osa B 7.. tentti: 4 tehtävää, 4 tuntia. a) p.) Systeemin infinitesimaalista siirtoa matkan ɛ verran esittää operaattori T ɛ) = iɛ h P. Osoita tämän avulla, että äärellistä siirtoa

Lisätiedot

5 OMINAISARVOT JA OMINAISVEKTORIT

5 OMINAISARVOT JA OMINAISVEKTORIT 5 OMINAISARVOT JA OMINAISVEKTORIT Ominaisarvo-ongelma Käsitellään neliömatriiseja: olkoon A n n-matriisi. Luku on matriisin A ominaisarvo (eigenvalue), jos on olemassa vektori x siten, että Ax = x () Yhtälön

Lisätiedot

Lineaarialgebra ja matriisilaskenta II. LM2, Kesä /141

Lineaarialgebra ja matriisilaskenta II. LM2, Kesä /141 Lineaarialgebra ja matriisilaskenta II LM2, Kesä 2012 1/141 Kertausta: avaruuden R n vektorit Määritelmä Oletetaan, että n {1, 2, 3,...}. Avaruuden R n alkiot ovat jonoja, joissa on n kappaletta reaalilukuja.

Lisätiedot

Numeeriset menetelmät TIEA381. Luento 8. Kirsi Valjus. Jyväskylän yliopisto. Luento 8 () Numeeriset menetelmät / 35

Numeeriset menetelmät TIEA381. Luento 8. Kirsi Valjus. Jyväskylän yliopisto. Luento 8 () Numeeriset menetelmät / 35 Numeeriset menetelmät TIEA381 Luento 8 Kirsi Valjus Jyväskylän yliopisto Luento 8 () Numeeriset menetelmät 11.4.2013 1 / 35 Luennon 8 sisältö Interpolointi ja approksimointi Funktion approksimointi Tasainen

Lisätiedot

1 Lineaariavaruus eli Vektoriavaruus

1 Lineaariavaruus eli Vektoriavaruus 1 Lineaariavaruus eli Vektoriavaruus 1.1 Määritelmä ja esimerkkejä Olkoon K kunta, jonka nolla-alkio on 0 ja ykkösalkio on 1 sekä V epätyhjä joukko. Oletetaan, että joukossa V on määritelty laskutoimitus

Lisätiedot

6 MATRIISIN DIAGONALISOINTI

6 MATRIISIN DIAGONALISOINTI 6 MATRIISIN DIAGONALISOINTI Ortogonaaliset matriisit Neliömatriisi A on ortogonaalinen (eli ortogonaalimatriisi), jos sen alkiot ovat reaalisia ja A - = A T Muistutus: vektorien a ja b pistetulo (skalaaritulo,

Lisätiedot

Matriisilaskenta, LH4, 2004, ratkaisut 1. Hae seuraavien R 4 :n aliavaruuksien dimensiot, jotka sisältävät vain

Matriisilaskenta, LH4, 2004, ratkaisut 1. Hae seuraavien R 4 :n aliavaruuksien dimensiot, jotka sisältävät vain Matriisilaskenta LH4 24 ratkaisut 1 Hae seuraavien R 4 :n aliavaruuksien dimensiot jotka sisältävät vain a) Kaikki muotoa (a b c d) olevat vektorit joilla d a + b b) Kaikki muotoa (a b c d) olevat vektorit

Lisätiedot

Aikariippuva Schrödingerin yhtälö

Aikariippuva Schrödingerin yhtälö Aineaaltodynamiikka Aineaaltokenttien riippuvuus ajasta aikariippuva Schrödingerin yhtälö Stationääriset ja ei-stationääriset tilat Aaltopaketit Kvanttimekaniikan postulaatit Aikariippuva Schrödingerin

Lisätiedot

Lineaarikuvauksen R n R m matriisi

Lineaarikuvauksen R n R m matriisi Lineaarikuvauksen R n R m matriisi Lauseessa 21 osoitettiin, että jokaista m n -matriisia A vastaa lineaarikuvaus L A : R n R m, jolla L A ( v) = A v kaikilla v R n. Osoitetaan seuraavaksi käänteinen tulos:

Lisätiedot

Ominaisarvo-hajoitelma ja diagonalisointi

Ominaisarvo-hajoitelma ja diagonalisointi Ominaisarvo-hajoitelma ja a 1 Lause 1: Jos reaalisella n n matriisilla A on n eri suurta reaalista ominaisarvoa λ 1,λ 2,...,λ n, λ i λ j, kun i j, niin vastaavat ominaisvektorit x 1, x 2,..., x n muodostavat

Lisätiedot

Ominaisarvo ja ominaisvektori

Ominaisarvo ja ominaisvektori Ominaisarvo ja ominaisvektori Määritelmä Oletetaan, että A on n n -neliömatriisi. Reaaliluku λ on matriisin ominaisarvo, jos on olemassa sellainen vektori v R n, että v 0 ja A v = λ v. Vektoria v, joka

Lisätiedot

Kvanttifysiikan perusteet, harjoitus 5

Kvanttifysiikan perusteet, harjoitus 5 Kvanttifysiikan perusteet, harjoitus 5 February 4, 07 Tehtävä Oletetaan energian ominaisfunktiot φ n ortonormitetuiksi, dxφ nφ m = δ nm, jossa δ nm on Kroneckerin delta. Määritetään ensin superpositiotilan

Lisätiedot

(1.1) Ae j = a k,j e k.

(1.1) Ae j = a k,j e k. Lineaarikuvauksen determinantti ja jälki 1. Lineaarikuvauksen matriisi. Palautetaan mieleen, mikä lineaarikuvauksen matriisi annetun kannan suhteen on. Olkoot V äärellisulotteinen vektoriavaruus, n = dim

Lisätiedot

802320A LINEAARIALGEBRA OSA I

802320A LINEAARIALGEBRA OSA I 802320A LINEAARIALGEBRA OSA I Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO SYKSY 2016 LINEAARIALGEBRA 1 / 72 Määritelmä ja esimerkkejä Olkoon K kunta, jonka nolla-alkio on 0 ja ykkösalkio on 1 sekä

Lisätiedot

Lineaarikombinaatio, lineaarinen riippuvuus/riippumattomuus

Lineaarikombinaatio, lineaarinen riippuvuus/riippumattomuus Lineaarikombinaatio, lineaarinen riippuvuus/riippumattomuus 1 / 51 Lineaarikombinaatio Johdattelua seuraavaan asiaan (ei tarkkoja määritelmiä): Millaisen kuvan muodostaa joukko {λv λ R, v R 3 }? Millaisen

Lisätiedot

Kertausta: avaruuden R n vektoreiden pistetulo

Kertausta: avaruuden R n vektoreiden pistetulo Kertausta: avaruuden R n vektoreiden pistetulo Määritelmä Vektoreiden v R n ja w R n pistetulo on v w = v 1 w 1 + v 2 w 2 + + v n w n. Huom. Pistetulo v w on reaaliluku! LM2, Kesä 2012 227/310 Kertausta:

Lisätiedot

1. Normi ja sisätulo

1. Normi ja sisätulo Kurssimateriaalia K3/P3-kursille syksyllä 3 83 Heikki Apiola Sisältää otteita Timo Eirolan L3-kurssin lineaarialgebramonisteesta, jonka lähdekoodin Timo on ystävällisesti antanut käyttööni Normi ja sisätulo

Lisätiedot

TILASTOLLISEN KVANTTIMEKANIIKAN PERUSTEITA (AH 5.1-5.3) Mikrotilat (kertausta Kvanttimekaniikan kurssilta)

TILASTOLLISEN KVANTTIMEKANIIKAN PERUSTEITA (AH 5.1-5.3) Mikrotilat (kertausta Kvanttimekaniikan kurssilta) TILASTOLLISEN KVANTTIMEKANIIKAN PERUSTEITA (AH 5.1-5.3) Mikrotilat (kertausta Kvanttimekaniikan kurssilta) Kvanttimekaniikassa yhden hiukkasen systeemin täydellisen kuvauksen antaa tilavektori, joka on

Lisätiedot

Kannan vektorit siis virittävät aliavaruuden, ja lisäksi kanta on vapaa. Lauseesta 7.6 saadaan seuraava hyvin käyttökelpoinen tulos:

Kannan vektorit siis virittävät aliavaruuden, ja lisäksi kanta on vapaa. Lauseesta 7.6 saadaan seuraava hyvin käyttökelpoinen tulos: 8 Kanta Tässä luvussa tarkastellaan aliavaruuden virittäjävektoreita, jotka muodostavat lineaarisesti riippumattoman jonon. Merkintöjen helpottamiseksi oletetaan luvussa koko ajan, että W on vektoreiden

Lisätiedot

MS-C1340 Lineaarialgebra ja

MS-C1340 Lineaarialgebra ja MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt Vektoriavaruudet Riikka Kangaslampi kevät 2017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Idea Lineaarisen systeemin ratkaiseminen Olkoon

Lisätiedot

1.1. Määritelmiä ja nimityksiä

1.1. Määritelmiä ja nimityksiä 1.1. Määritelmiä ja nimityksiä Luku joko reaali- tai kompleksiluku. R = {reaaliluvut}, C = {kompleksiluvut} R n = {(x 1, x 2,..., x n ) x 1, x 2,..., x n R} C n = {(x 1, x 2,..., x n ) x 1, x 2,..., x

Lisätiedot

3 Lineaariset yhtälöryhmät ja Gaussin eliminointimenetelmä

3 Lineaariset yhtälöryhmät ja Gaussin eliminointimenetelmä 3 Lineaariset yhtälöryhmät ja Gaussin eliminointimenetelmä Lineaarinen m:n yhtälön yhtälöryhmä, jossa on n tuntematonta x 1,, x n on joukko yhtälöitä, jotka ovat muotoa a 11 x 1 + + a 1n x n = b 1 a 21

Lisätiedot

Numeeriset menetelmät TIEA381. Luento 5. Kirsi Valjus. Jyväskylän yliopisto. Luento 5 () Numeeriset menetelmät / 28

Numeeriset menetelmät TIEA381. Luento 5. Kirsi Valjus. Jyväskylän yliopisto. Luento 5 () Numeeriset menetelmät / 28 Numeeriset menetelmät TIEA381 Luento 5 Kirsi Valjus Jyväskylän yliopisto Luento 5 () Numeeriset menetelmät 3.4.2013 1 / 28 Luennon 5 sisältö Luku 4: Ominaisarvotehtävistä Potenssiinkorotusmenetelmä QR-menetelmä

Lisätiedot

Avaruuden R n aliavaruus

Avaruuden R n aliavaruus Avaruuden R n aliavaruus 1 / 41 Aliavaruus Esimerkki 1 Kuva: Suora on suljettu yhteenlaskun ja skalaarilla kertomisen suhteen. 2 / 41 Esimerkki 2 Kuva: Suora ei ole suljettu yhteenlaskun ja skalaarilla

Lisätiedot

Vapaus. Määritelmä. jos c 1 v 1 + c 2 v c k v k = 0 joillakin c 1,..., c k R, niin c 1 = 0, c 2 = 0,..., c k = 0.

Vapaus. Määritelmä. jos c 1 v 1 + c 2 v c k v k = 0 joillakin c 1,..., c k R, niin c 1 = 0, c 2 = 0,..., c k = 0. Vapaus Määritelmä Oletetaan, että v 1, v 2,..., v k R n, missä n {1, 2,... }. Vektorijono ( v 1, v 2,..., v k ) on vapaa eli lineaarisesti riippumaton, jos seuraava ehto pätee: jos c 1 v 1 + c 2 v 2 +

Lisätiedot

Värähdysliikkeet. q + f (q, q, t) = 0. q + f (q, q) = F (t) missä nopeusriippuvuus kuvaa vaimenemista ja F (t) on ulkoinen pakkovoima.

Värähdysliikkeet. q + f (q, q, t) = 0. q + f (q, q) = F (t) missä nopeusriippuvuus kuvaa vaimenemista ja F (t) on ulkoinen pakkovoima. Torstai 18.9.2014 1/17 Värähdysliikkeet Värähdysliikkeet ovat tyypillisiä fysiikassa: Häiriö oskillaatio Jaksollinen liike oskillaatio Yleisesti värähdysliikettä voidaan kuvata yhtälöllä q + f (q, q, t)

Lisätiedot

3 Lineaariset yhtälöryhmät ja Gaussin eliminointimenetelmä

3 Lineaariset yhtälöryhmät ja Gaussin eliminointimenetelmä 1 3 Lineaariset yhtälöryhmät ja Gaussin eliminointimenetelmä Lineaarinen m:n yhtälön yhtälöryhmä, jossa on n tuntematonta x 1,, x n on joukko yhtälöitä, jotka ovat muotoa a 11 x 1 + + a 1n x n = b 1 a

Lisätiedot

BM20A0700, Matematiikka KoTiB2

BM20A0700, Matematiikka KoTiB2 BM20A0700, Matematiikka KoTiB2 Luennot: Matti Alatalo, Harjoitukset: Oppikirja: Kreyszig, E.: Advanced Engineering Mathematics, 8th Edition, John Wiley & Sons, 1999, luku 7. 1 Kurssin sisältö Matriiseihin

Lisätiedot

Ominaisvektoreiden lineaarinen riippumattomuus

Ominaisvektoreiden lineaarinen riippumattomuus Ominaisvektoreiden lineaarinen riippumattomuus Lause 17 Oletetaan, että A on n n -matriisi. Oletetaan, että λ 1,..., λ m ovat matriisin A eri ominaisarvoja, ja oletetaan, että v 1,..., v m ovat jotkin

Lisätiedot

Insinöörimatematiikka D

Insinöörimatematiikka D Insinöörimatematiikka D M. Hirvensalo mikhirve@utu.fi V. Junnila viljun@utu.fi Matematiikan ja tilastotieteen laitos Turun yliopisto 2015 M. Hirvensalo mikhirve@utu.fi V. Junnila viljun@utu.fi Luentokalvot

Lisätiedot

MS-A0004/MS-A0006 Matriisilaskenta Laskuharjoitus 6 / vko 42

MS-A0004/MS-A0006 Matriisilaskenta Laskuharjoitus 6 / vko 42 MS-A0004/MS-A0006 Matriisilaskenta Laskuharjoitus 6 / vko 42 Tehtävät 1-4 lasketaan alkuviikon harjoituksissa ryhmissä, ja ryhmien ratkaisut esitetään harjoitustilaisuudessa (merkitty kirjaimella L = Lasketaan).

Lisätiedot

Kertausta: avaruuden R n vektoreiden pistetulo

Kertausta: avaruuden R n vektoreiden pistetulo Kertausta: avaruuden R n vektoreiden pistetulo Määritelmä Vektoreiden v R n ja w R n pistetulo on v w = v 1 w 1 + v 2 w 2 + + v n w n. Huom. Pistetulo v w on reaaliluku! LM2, Kesä 2014 164/246 Kertausta:

Lisätiedot

Kvanttidynamiikka Tarkastellaan ensin hieman bra/ket-merkintää ja vertaillaan sitä muihin merkintätapoihin.

Kvanttidynamiikka Tarkastellaan ensin hieman bra/ket-merkintää ja vertaillaan sitä muihin merkintätapoihin. Kvanttidynamiikka 30.10.2010 0.1 Bra- ja Ket-merkinnöistä Tarkastellaan ensin hieman bra/ket-merkintää ja vertaillaan sitä muihin merkintätapoihin. Oletetaan, että ket ψ ja bra φ ovat alkioita, jotka liittyvät

Lisätiedot

Kanta ja Kannan-vaihto

Kanta ja Kannan-vaihto ja Kannan-vaihto 1 Olkoon L vektoriavaruus. Äärellinen joukko L:n vektoreita V = { v 1, v 2,..., v n } on kanta, jos (1) Jokainen L:n vektori voidaan lausua v-vektoreiden lineaarikombinaationa. (Ts. Span(V

Lisätiedot

MS-A0004/A0006 Matriisilaskenta

MS-A0004/A0006 Matriisilaskenta 4. MS-A4/A6 Matriisilaskenta 4. Nuutti Hyvönen, c Riikka Kangaslampi Matematiikan ja systeemianalyysin laitos Aalto-yliopisto..25 Tarkastellaan neliömatriiseja. Kun matriisilla kerrotaan vektoria, vektorin

Lisätiedot

Paulin spinorit ja spinorioperaattorit

Paulin spinorit ja spinorioperaattorit Paulin spinorit ja spinorioperaattorit Spinoreita on useita erilaisia. Esimerkiksi Paulin, Dirackin ja Weyelin spinorit. Yhteisenä piirteenä eri spinoreilla on se, että kukin liittyy tavallisesti johonkin

Lisätiedot

Vektorien pistetulo on aina reaaliluku. Esimerkiksi vektorien v = (3, 2, 0) ja w = (1, 2, 3) pistetulo on

Vektorien pistetulo on aina reaaliluku. Esimerkiksi vektorien v = (3, 2, 0) ja w = (1, 2, 3) pistetulo on 13 Pistetulo Avaruuksissa R 2 ja R 3 on totuttu puhumaan vektorien pituuksista ja vektoreiden välisistä kulmista. Kuten tavallista, näiden käsitteiden yleistäminen korkeampiulotteisiin avaruuksiin ei onnistu

Lisätiedot

Matemaattinen Analyysi / kertaus

Matemaattinen Analyysi / kertaus Matemaattinen Analyysi / kertaus Ensimmäinen välikoe o { 2x + 3y 4z = 2 5x 2y + 5z = 7 ( ) x 2 3 4 y = 5 2 5 z ) ( 3 + y 2 ( 2 x 5 ( 2 7 ) ) ( 4 + z 5 ) = ( 2 7 ) yhteys determinanttiin Yhtälöryhmän ratkaiseminen

Lisätiedot

Päättelyn voisi aloittaa myös edellisen loppupuolelta ja näyttää kuten alkupuolella, että välttämättä dim W < R 1 R 1

Päättelyn voisi aloittaa myös edellisen loppupuolelta ja näyttää kuten alkupuolella, että välttämättä dim W < R 1 R 1 Lineaarialgebran kertaustehtävien b ratkaisuista. Määritä jokin kanta sille reaalikertoimisten polynomien lineaariavaruuden P aliavaruudelle, jonka virittää polynomijoukko {x, x+, x x }. Ratkaisu. Olkoon

Lisätiedot

Insinöörimatematiikka D, laskuharjoituksien esimerkkiratkaisut

Insinöörimatematiikka D, laskuharjoituksien esimerkkiratkaisut Insinöörimatematiikka D, 29.3.2016 4. laskuharjoituksien esimerkkiratkaisut 1. Olkoon u (4,0,4,2) ja v ( 1,1,3,5) vektoreita vektoriavaruudessa R 4. Annetun sisätulon (x,y) indusoima normi on x (x,x) ja

Lisätiedot

Kvanttimekaniikan tulkinta

Kvanttimekaniikan tulkinta Kvanttimekaniikan tulkinta 20.1.2011 1 Klassisen ja kvanttimekaniikan tilastolliset formuloinnit 1.1 Klassinen mekaniikka Klassisen mekaniikan systeemin tilaa kuvaavat kappaleiden koordinaatit ja liikemäärät

Lisätiedot

Demo: Kahden elektronin spintilojen muodostaminen

Demo: Kahden elektronin spintilojen muodostaminen Demo: Kahden elektronin spintilojen muodostaminen Tämän demonstraation tarkoituksena on havainnollistaa kvanttimekaniikan operaattoriformalismin soveltamista kahden elektronin systeemin spintilojen muodostamiseen.

Lisätiedot

1 Aaltofunktio, todennäköisyystulkinta ja normitus

1 Aaltofunktio, todennäköisyystulkinta ja normitus KEMA5 syksy 16 Kertausta keskeisistä asioista 1 Aaltofunktio, todennäköisyystulkinta ja normitus Kvanttimekaniikassa tarkasteltavaa systeemiä kuvaa aaltofunktio ψ. Aaltofunktio on puhtaan matemaattinen

Lisätiedot

Jatko-opintoseminaari Kevyttä johdattelua kvanttimekaniikkaan: Tila-avaruus. Petteri Laakkonen

Jatko-opintoseminaari Kevyttä johdattelua kvanttimekaniikkaan: Tila-avaruus. Petteri Laakkonen Jatko-opintoseminaari 21-211 Kevyttä johdattelua kvanttimekaniikkaan: Tila-avaruus Petteri Laakkonen 23.9.21 Tämä teksti on tiivistelmä kirjan [1] luvun 2 tekstistä. Pyrkimyksenä on esittää perustellusti

Lisätiedot

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt Vektoriavaruudet Riikka Kangaslampi Matematiikan ja systeemianalyysin laitos Aalto-yliopisto 2015 1 / 17 R. Kangaslampi Vektoriavaruudet Vektoriavaruus

Lisätiedot

Matematiikka B2 - Avoin yliopisto

Matematiikka B2 - Avoin yliopisto 6. elokuuta 2012 Opetusjärjestelyt Luennot 9:15-11:30 Harjoitukset 12:30-15:00 Tentti Kurssin sisältö (1/2) Matriisit Laskutoimitukset Lineaariset yhtälöryhmät Gaussin eliminointi Lineaarinen riippumattomuus

Lisätiedot

Luento 8: Epälineaarinen optimointi

Luento 8: Epälineaarinen optimointi Luento 8: Epälineaarinen optimointi Vektoriavaruus R n R n on kaikkien n-jonojen x := (x,..., x n ) joukko. Siis R n := Määritellään nollavektori 0 = (0,..., 0). Reaalisten m n-matriisien joukkoa merkitään

Lisätiedot

Useita oskillaattoreita yleinen tarkastelu

Useita oskillaattoreita yleinen tarkastelu Useita oskillaattoreita yleinen tarkastelu Useita riippumattomia vapausasteita q i, i =,..., n ja potentiaali vastaavasti U(q, q 2,..., q n). Tasapainoasema {q 0, q0 2,..., q0 n} q 0 Käytetään merkintää

Lisätiedot

MS-A0003/A Matriisilaskenta Laskuharjoitus 6

MS-A0003/A Matriisilaskenta Laskuharjoitus 6 MS-A3/A - Matriisilaskenta Laskuharjoitus 6 Ratkaisuehdotelmia. Diagonalisointi on hajotelma A SΛS, jossa diagonaalimatriisi Λ sisältää matriisin A ominaisarvot ja matriisin S sarakkeet ovat näitä ominaisarvoja

Lisätiedot

Matriisilaskenta Luento 12: Vektoriavaruuden kannan olemassaolo

Matriisilaskenta Luento 12: Vektoriavaruuden kannan olemassaolo Matriisilaskenta Luento 12: Vektoriavaruuden kannan olemassaolo Antti Rasila 2016 Vektoriavaruuden kannan olemassaolo Jos {v 1, v 2,..., v k } on äärellisulotteisen vektoriavaruuden V lineaarisesti riippumaton

Lisätiedot

Yhtälöryhmä matriisimuodossa. MS-A0004/A0006 Matriisilaskenta. Tarkastellaan esimerkkinä lineaarista yhtälöparia. 2x1 x 2 = 1 x 1 + x 2 = 5.

Yhtälöryhmä matriisimuodossa. MS-A0004/A0006 Matriisilaskenta. Tarkastellaan esimerkkinä lineaarista yhtälöparia. 2x1 x 2 = 1 x 1 + x 2 = 5. 2. MS-A4/A6 Matriisilaskenta 2. Nuutti Hyvönen, c Riikka Kangaslampi Matematiikan ja systeemianalyysin laitos Aalto-yliopisto 5.9.25 Tarkastellaan esimerkkinä lineaarista yhtälöparia { 2x x 2 = x + x 2

Lisätiedot

Similaarisuus. Määritelmä. Huom.

Similaarisuus. Määritelmä. Huom. Similaarisuus Määritelmä Neliömatriisi A M n n on similaarinen neliömatriisin B M n n kanssa, jos on olemassa kääntyvä matriisi P M n n, jolle pätee Tällöin merkitään A B. Huom. Havaitaan, että P 1 AP

Lisätiedot

Lineaariavaruudet. Span. Sisätulo. Normi. Matriisinormit. Matriisinormit. aiheita. Aiheet. Reaalinen lineaariavaruus. Span. Sisätulo.

Lineaariavaruudet. Span. Sisätulo. Normi. Matriisinormit. Matriisinormit. aiheita. Aiheet. Reaalinen lineaariavaruus. Span. Sisätulo. Lineaariavaruudet aiheita 1 määritelmä Nelikko (L, R, +, ) on reaalinen (eli reaalinen vektoriavaruus), jos yhteenlasku L L L, ( u, v) a + b ja reaaliluvulla kertominen R L L, (λ, u) λ u toteuttavat seuraavat

Lisätiedot

Insinöörimatematiikka D

Insinöörimatematiikka D Insinöörimatematiikka D M. Hirvensalo mikhirve@utu.fi V. Junnila viljun@utu.fi Matematiikan ja tilastotieteen laitos Turun yliopisto 2015 M. Hirvensalo mikhirve@utu.fi V. Junnila viljun@utu.fi Luentokalvot

Lisätiedot

Aineaaltodynamiikkaa

Aineaaltodynamiikkaa Aineaaltodynamiikkaa Aineaaltokenttien riippuvuus ajasta aikariippuva Schrödingerin yhtälö Stationääriset ja ei-stationääriset tilat Aaltopaketit Kvanttimekaniikan postulaatit = kuinka hiukkasen fysikaaliset

Lisätiedot

Luento 8: Epälineaarinen optimointi

Luento 8: Epälineaarinen optimointi Luento 8: Epälineaarinen optimointi Vektoriavaruus R n R n on kaikkien n-jonojen x := (x,..., x n ) joukko. Siis R n := Määritellään nollavektori = (,..., ). Reaalisten m n-matriisien joukkoa merkitään

Lisätiedot

Ominaisarvot ja ominaisvektorit 140 / 170

Ominaisarvot ja ominaisvektorit 140 / 170 Ominaisarvot ja ominaisvektorit 140 / 170 Seuraavissa luvuissa matriisit ja vektori ajatellaan kompleksisiksi, ts. kertojakuntana oletetaan olevan aina kompleksilukujoukko C Huomaa, että reaalilukujoukko

Lisätiedot

9.2 Lineaarikuvaus Olkoon A kuvaus (funktio) vektoriavaruudesta V vektoriavaruuteen U: jos nyt

9.2 Lineaarikuvaus Olkoon A kuvaus (funktio) vektoriavaruudesta V vektoriavaruuteen U: jos nyt 9 Lineaarikuvaukset, matriisit 9 Vektoriavaruudet Aiemmin olemmme puhuneet tason (R 2 ja kotiavaruuden (R 3 vektoreista Nämä (kuten mös pelkkä R ovat esimerkkejä reaalisista vektoriavaruuksista Yleisesti

Lisätiedot

Determinantti 1 / 30

Determinantti 1 / 30 1 / 30 on reaaliluku, joka on määritelty neliömatriiseille Determinantin avulla voidaan esimerkiksi selvittää, onko matriisi kääntyvä a voidaan käyttää käänteismatriisin määräämisessä ja siten lineaarisen

Lisätiedot

Ominaisarvoon 4 liittyvät ominaisvektorit ovat yhtälön Ax = 4x eli yhtälöryhmän x 1 + 2x 2 + x 3 = 4x 1 3x 2 + x 3 = 4x 2 5x 2 x 3 = 4x 3.

Ominaisarvoon 4 liittyvät ominaisvektorit ovat yhtälön Ax = 4x eli yhtälöryhmän x 1 + 2x 2 + x 3 = 4x 1 3x 2 + x 3 = 4x 2 5x 2 x 3 = 4x 3. Matematiikan ja tilastotieteen laitos Lineaarialgebra ja matriisilaskenta II Ylimääräinen harjoitus 6 Ratkaisut A:n karakteristinen funktio p A on λ p A (λ) det(a λi ) 0 λ ( λ) 0 5 λ λ 5 λ ( λ) (( λ) (

Lisätiedot

2.8. Kannanvaihto R n :ssä

2.8. Kannanvaihto R n :ssä 28 Kannanvaihto R n :ssä Seuraavassa kantavektoreiden { x, x 2,, x n } järjestystä ei saa vaihtaa Vektorit ovat pystyvektoreita ( x x 2 x n ) on vektoreiden x, x 2,, x n muodostama matriisi, missä vektorit

Lisätiedot

MS-C1340 Lineaarialgebra ja

MS-C1340 Lineaarialgebra ja MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt Matriisinormi, häiriöalttius Riikka Kangaslampi Kevät 2017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Matriisinormi Matriisinormi Matriiseille

Lisätiedot

Kvanttifysiikan perusteet 2017

Kvanttifysiikan perusteet 2017 Kvanttifysiikan perusteet 7 Harjoitus 3: ratkaisut Tehtävä Tarkastellaan äärettömän syvässä laatikossa (väli [, L) olevaa hiukkasta. Kirjoita energiatiloja E n vastaavat aaltofunktiot muodossa ψ n (x,

Lisätiedot

6. OMINAISARVOT JA DIAGONALISOINTI

6. OMINAISARVOT JA DIAGONALISOINTI 0 6 OMINAISARVOT JA DIAGONALISOINTI 6 Ominaisarvot ja ominaisvektorit Olkoon V äärellisulotteinen vektoriavaruus, dim(v ) = n ja L : V V lineaarikuvaus Määritelmä 6 Skalaari λ R on L:n ominaisarvo, jos

Lisätiedot

Lineaarialgebra ja matriisilaskenta I

Lineaarialgebra ja matriisilaskenta I Lineaarialgebra ja matriisilaskenta I 13.6.2013 HY / Avoin yliopisto Jokke Häsä, 1/12 Käytännön asioita Kesäkuun tentti: ke 19.6. klo 17-20, päärakennuksen sali 1. Anna palautetta kurssisivulle ilmestyvällä

Lisätiedot

MS-C1340 Lineaarialgebra ja

MS-C1340 Lineaarialgebra ja MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt Ominaisarvoteoriaa Riikka Kangaslampi Kevät 2017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Ominaisarvot Kertaus: ominaisarvot Määritelmä

Lisätiedot

Ortogonaaliprojektio äärellisulotteiselle aliavaruudelle

Ortogonaaliprojektio äärellisulotteiselle aliavaruudelle Ortogonaaliprojektio äärellisulotteiselle aliavaruudelle Olkoon X sisätuloavaruus ja Y X äärellisulotteinen aliavaruus. Tällöin on olemassa lineaarisesti riippumattomat vektorit y 1, y 2,..., yn, jotka

Lisätiedot

i=1 Näistä on helppo näyttää ominaisuudet (1)-(4). Ellei toisin mainita, käytetään R n :ssä

i=1 Näistä on helppo näyttää ominaisuudet (1)-(4). Ellei toisin mainita, käytetään R n :ssä Kurssimateriaalia K3/P3-kursille syksyllä 003. 8.0.003 Heikki Apiola Sisältää otteita Timo Eirolan L3-kurssin lineaarialgebramonisteesta, jonka lähdekoodin Timo on ystävällisesti antanut käyttööni.. Normi

Lisätiedot

Matematiikka B2 - TUDI

Matematiikka B2 - TUDI Matematiikka B2 - TUDI Miika Tolonen 3. syyskuuta 2012 Miika Tolonen Matematiikka B2 - TUDI 1 Kurssin sisältö (1/2) Matriisit Laskutoimitukset Lineaariset yhtälöryhmät Gaussin eliminointi Lineaarinen riippumattomuus

Lisätiedot

3.1 Lineaarikuvaukset. MS-A0004/A0006 Matriisilaskenta. 3.1 Lineaarikuvaukset. 3.1 Lineaarikuvaukset

3.1 Lineaarikuvaukset. MS-A0004/A0006 Matriisilaskenta. 3.1 Lineaarikuvaukset. 3.1 Lineaarikuvaukset 31 MS-A0004/A0006 Matriisilaskenta 3 Nuutti Hyvönen, c Riikka Kangaslampi Matematiikan ja systeemianalyysin laitos Aalto-yliopisto 2292015 Lineaariset yhtälöt ovat vektoreille luonnollisia yhtälöitä, joita

Lisätiedot

HY / Avoin yliopisto Lineaarialgebra ja matriisilaskenta II, kesä 2015 Harjoitus 1 Ratkaisut palautettava viimeistään maanantaina klo

HY / Avoin yliopisto Lineaarialgebra ja matriisilaskenta II, kesä 2015 Harjoitus 1 Ratkaisut palautettava viimeistään maanantaina klo HY / Avoin yliopisto Lineaarialgebra ja matriisilaskenta II, kesä 2015 Harjoitus 1 Ratkaisut palautettava viimeistään maanantaina 10.8.2015 klo 16.15. Tehtäväsarja I Tutustu lukuun 15, jossa vektoriavaruuden

Lisätiedot

S Fysiikka III (EST) Tentti ja välikoeuusinta

S Fysiikka III (EST) Tentti ja välikoeuusinta S-437 Fysiikka III (EST) Tentti ja välikoeuusinta 65007 Välikoeuusinnassa vastataan vain kolmeen tehtävään Kokeesta saatu pistemäärä kerrotaan tekijällä 5/3 Merkitse paperiin uusitko jommankumman välikokeen,

Lisätiedot

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt

MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt MS-C1340 Lineaarialgebra ja differentiaaliyhtälöt Ominaisarvoteoriaa Riikka Kangaslampi Matematiikan ja systeemianalyysin laitos Aalto-yliopisto 2015 1 / 22 R. Kangaslampi matriisiteoriaa Kertaus: ominaisarvot

Lisätiedot

Lineaarikuvausten. Lineaarikuvaus. Lineaarikuvauksia. Ydin. Matriisin ydin. aiheita. Aiheet. Lineaarikuvaus. Lineaarikuvauksen matriisi

Lineaarikuvausten. Lineaarikuvaus. Lineaarikuvauksia. Ydin. Matriisin ydin. aiheita. Aiheet. Lineaarikuvaus. Lineaarikuvauksen matriisi Lineaarikuvaukset aiheita ten ten 1 Matematiikassa sana lineaarinen liitetään kahden lineaariavaruuden väliseen kuvaukseen. ten Määritelmä Olkoon (L, +, ) ja (M, ˆ+, ˆ ) reaalisia lineaariavaruuksia, ja

Lisätiedot

Talousmatematiikan perusteet: Luento 8. Vektoreista ja matriiseista Vektorien peruslaskutoimitukset Lineaarinen riippumattomuus Vektorien sisätulo

Talousmatematiikan perusteet: Luento 8. Vektoreista ja matriiseista Vektorien peruslaskutoimitukset Lineaarinen riippumattomuus Vektorien sisätulo Talousmatematiikan perusteet: Luento 8 Vektoreista ja matriiseista Vektorien peruslaskutoimitukset Lineaarinen riippumattomuus Vektorien sisätulo Motivointi Esim. Herkkumatikka maksaa 50 /kg. Paljonko

Lisätiedot

802320A LINEAARIALGEBRA OSA III

802320A LINEAARIALGEBRA OSA III 802320A LINEAARIALGEBRA OSA III Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO SYKSY 2016 LINEAARIALGEBRA 1 / 56 Määritelmä Määritelmä 1 Olkoot V ja W lineaariavaruuksia kunnan K yli. Kuvaus L : V

Lisätiedot

6 Vektoriavaruus R n. 6.1 Lineaarikombinaatio

6 Vektoriavaruus R n. 6.1 Lineaarikombinaatio 6 Vektoriavaruus R n 6.1 Lineaarikombinaatio Määritelmä 19. Vektori x œ R n on vektorien v 1,...,v k œ R n lineaarikombinaatio, jos on olemassa sellaiset 1,..., k œ R, että x = i v i. i=1 Esimerkki 30.

Lisätiedot

1 Avaruuksien ja lineaarikuvausten suora summa

1 Avaruuksien ja lineaarikuvausten suora summa MAT-33500 Differentiaaliyhtälöt, kevät 2006 Luennot 27.-28.2.2006 Samuli Siltanen 1 Avaruuksien ja lineaarikuvausten suora summa Tämä asialöytyy myös Hirschin ja Smalen kirjasta, luku 3, pykälä 1F. Olkoon

Lisätiedot

Matikkapaja keskiviikkoisin klo Lineaarialgebra (muut ko) p. 1/81

Matikkapaja keskiviikkoisin klo Lineaarialgebra (muut ko) p. 1/81 Matikkapaja keskiviikkoisin klo 14-16 Lineaarialgebra (muut ko) p. 1/81 Lineaarialgebra (muut ko) p. 2/81 Operaatiot Vektoreille u = (u 1,u 2 ) ja v = (v 1,v 2 ) Yhteenlasku: u+v = (u 1 +v 1,u 2 +v 2 )

Lisätiedot

Matriisi-vektori-kertolasku, lineaariset yhtälöryhmät

Matriisi-vektori-kertolasku, lineaariset yhtälöryhmät Matematiikan peruskurssi K3/P3, syksy 25 Kenrick Bingham 825 Toisen välikokeen alueen ydinasioita Alla on lueteltu joitakin koealueen ydinkäsitteitä, joiden on hyvä olla ensiksi selvillä kokeeseen valmistauduttaessa

Lisätiedot

Insinöörimatematiikka D

Insinöörimatematiikka D Insinöörimatematiikka D M Hirvensalo mikhirve@utufi V Junnila viljun@utufi Matematiikan ja tilastotieteen laitos Turun yliopisto 2015 M Hirvensalo mikhirve@utufi V Junnila viljun@utufi Luentokalvot 5 1

Lisätiedot

Määritelmä 1. Olkoot V ja W lineaariavaruuksia kunnan K yli. Kuvaus L : V. Termejä: Lineaarikuvaus, Lineaarinen kuvaus.

Määritelmä 1. Olkoot V ja W lineaariavaruuksia kunnan K yli. Kuvaus L : V. Termejä: Lineaarikuvaus, Lineaarinen kuvaus. 1 Lineaarikuvaus 1.1 Määritelmä Määritelmä 1. Olkoot V ja W lineaariavaruuksia kunnan K yli. Kuvaus L : V W on lineaarinen, jos (a) L(v + w) = L(v) + L(w); (b) L(λv) = λl(v) aina, kun v, w V ja λ K. Termejä:

Lisätiedot

Ennakkotehtävän ratkaisu

Ennakkotehtävän ratkaisu Ennakkotehtävän ratkaisu Ratkaisu [ ] [ ] 1 3 4 3 A = ja B =. 1 4 1 1 [ ] [ ] 4 3 12 12 1 0 a) BA = =. 1 + 1 3 + 4 0 1 [ ] [ ] [ ] 1 0 x1 x1 b) (BA)x = =. 0 1 x 2 x [ ] [ ] [ 2 ] [ ] 4 3 1 4 9 5 c) Bb

Lisätiedot

Nyt n = 1. Tästä ratkaistaan kuopan leveys L ja saadaan sijoittamalla elektronin massa ja vakiot

Nyt n = 1. Tästä ratkaistaan kuopan leveys L ja saadaan sijoittamalla elektronin massa ja vakiot S-1146 Fysiikka V (ES) Tentti 165005 1 välikokeen alue 1 a) Rubiinilaserin emittoiman valon aallonpituus on 694, nm Olettaen että fotonin emissioon tällä aallonpituudella liittyy äärettömän potentiaalikuopan

Lisätiedot

Matriisilaskenta Luento 16: Matriisin ominaisarvot ja ominaisvektorit

Matriisilaskenta Luento 16: Matriisin ominaisarvot ja ominaisvektorit Matriisilaskenta Luento 16: Matriisin ominaisarvot ja ominaisvektorit Antti Rasila 2016 Ominaisarvot ja ominaisvektorit 1/5 Määritelmä Skalaari λ C on matriisin A C n n ominaisarvo ja vektori v C n sitä

Lisätiedot