1 A kvantummechanika posztulátumai

Hasonló dokumentumok
1.1. Vektorok és operátorok mátrix formában

Az impulzusnyomatékok általános elmélete

Az egydimenziós harmonikus oszcillátor

A spin. November 28, 2006

January 16, ψ( r, t) ψ( r, t) = 1 (1) ( ψ ( r,

Kvantummechanika gyakorlat Beadandó feladatsor Határid : 4. heti gyakorlatok eleje

SCHRÖDINGER-EGYENLET SCHRÖDINGER-EGYENLET

Kvantummechanikai alapok I.

Feladatok a Gazdasági matematika II. tárgy gyakorlataihoz

A Relativisztikus kvantummechanika alapjai

17. előadás: Vektorok a térben

Kvadratikus alakok és euklideszi terek (előadásvázlat, október 5.) Maróti Miklós, Kátai-Urbán Kamilla

Miért fontos számunkra az előző gyakorlaton tárgyalt lineáris algebrai ismeretek

Fizikai mennyiségek, állapotok

Lineáris leképezések (előadásvázlat, szeptember 28.) Maróti Miklós, Kátai-Urbán Kamilla

Vektorterek. =a gyakorlatokon megoldásra ajánlott

A kvantummechanika általános formalizmusa

Vektorok, mátrixok, lineáris egyenletrendszerek

1.9. B - SPLINEOK B - SPLINEOK EGZISZTENCIÁJA. numerikus analízis ii. 34. [ a, b] - n legfeljebb n darab gyöke lehet. = r (m 1) n = r m + n 1

Matematika A2 vizsga mgeoldása június 4.

Összeállította: dr. Leitold Adrien egyetemi docens

Differenciálegyenlet rendszerek

Lin.Alg.Zh.1 feladatok

A Hamilton-Jacobi-egyenlet

Lin.Alg.Zh.1 feladatok

Lagrange és Hamilton mechanika

1. Házi feladat. Határidő: I. Legyen f : R R, f(x) = x 2, valamint. d : R + 0 R+ 0

1. Generátorrendszer. Házi feladat (fizikából tudjuk) Ha v és w nem párhuzamos síkvektorok, akkor generátorrendszert alkotnak a sík vektorainak

Funkcionálanalízis. n=1. n=1. x n y n. n=1

Dekoherencia Markovi Dinamika Diósi Lajos. Elméleti Fizikai Iskola Tihany, augusztus szeptember 3.

Azonos és egymással nem kölcsönható részecskékből álló kvantumos rendszer makrókanónikus sokaságban.

Boros Zoltán február

Bevezetés az algebrába 2 Differencia- és differenciálegyenlet-rendszerek

Kevert állapoti anholonómiák vizsgálata

3. Lineáris differenciálegyenletek

Sajátértékek és sajátvektorok. mf1n1a06- mf1n2a06 Csabai István

Valószínűségi változók. Várható érték és szórás

Saj at ert ek-probl em ak febru ar 26.

Atomok és molekulák elektronszerkezete

Két 1/2-es spinből álló rendszer teljes spinje (spinek összeadása)

Lineáris algebra. =0 iє{1,,n}

A KroneckerCapelli-tételb l következik, hogy egy Bx = 0 homogén lineáris egyenletrendszernek

Matematika szigorlat június 17. Neptun kód:

"Flat" rendszerek. definíciók, példák, alkalmazások

VIK A2 Matematika - BOSCH, Hatvan, 3. Gyakorlati anyag. Mátrix rangja

3. előadás Stabilitás

Felügyelt önálló tanulás - Analízis III.

Klasszikus és kvantum fizika

Összeállította: dr. Leitold Adrien egyetemi docens

Keresztmetszet másodrendű nyomatékainak meghatározása

9. Előadás. (9. előadás) Lineáris egyr.(3.), Sajátérték április / 35

Modellek és Algoritmusok - 2.ZH Elmélet

LINEÁRIS ALGEBRA. matematika alapszak. Euklideszi terek. SZTE Bolyai Intézet, őszi félév. Euklideszi terek LINEÁRIS ALGEBRA 1 / 40

Matematika (mesterképzés)

Konvex optimalizálás feladatok

Markov-láncok stacionárius eloszlása

KOVÁCS BÉLA, MATEMATIKA I.

Tartalom. Állapottér reprezentációk tulajdonságai stabilitás irányíthatóság megfigyelhetőség minimalitás

T obbv altoz os f uggv enyek integr alja. 3. r esz aprilis 19.

Wigner tétele kvantummechanikai szimmetriákról

2015/16/1 Kvantummechanika B 2.ZH

Kvantummechanika. - dióhéjban - Kasza Gábor július 5. - Berze TÖK

MATE-INFO UBB verseny, március 25. MATEMATIKA írásbeli vizsga

7. gyakorlat megoldásai

AZ ELEKTRON MÁGNESES MOMENTUMA. H mágneses erœtérben az m mágneses dipólmomentummal jellemzett testre M = m H forgatónyomaték hat.

1. Bázistranszformáció

Kvantummechanika gyakorlo feladatok 1 - Megoldások. 1. feladat: Az eltolás operátorának megtalálásával teljesen analóg módon fejtsük Taylor-sorba

Diszkrét matematika II., 8. előadás. Vektorterek

valós számot tartalmaz, mert az ilyen részhalmazon nem azonosság.

GROVER-algoritmus. Sinkovicz Péter. ELTE, MSc II dec.15.

Bevezetés a modern fizika fejezeteibe. 4. (b) Kvantummechanika. Utolsó módosítás: november 9. Dr. Márkus Ferenc BME Fizika Tanszék

Bevezetés az állapottér-elméletbe Dinamikus rendszerek állapottér reprezentációi

1. Homogén lineáris egyenletrendszer megoldástere

3. Fuzzy aritmetika. Gépi intelligencia I. Fodor János NIMGI1MIEM BMF NIK IMRI

Vektorterek. Több esetben találkozhattunk olyan struktúrával, ahol az. szabadvektorok esetében, vagy a függvények körében, vagy a. vektortér fogalma.

Explicit hibabecslés Maxwell-egyenletek numerikus megoldásához

0-49 pont: elégtelen, pont: elégséges, pont: közepes, pont: jó, pont: jeles

Vektorok. Wettl Ferenc október 20. Wettl Ferenc Vektorok október / 36

Összefonódottság detektálása tanúoperátorokkal

A kémiai kötés eredete; viriál tétel 1

Vektorterek. Wettl Ferenc február 17. Wettl Ferenc Vektorterek február / 27

Bevezetés az állapottér elméletbe: Állapottér reprezentációk

Néhány mozgás kvantummechanikai tárgyalása

Kvantummechanika feladatgyűjtemény

Ó Ó Ó Ü Í Ü Ü Ü Ü Ü Ü Á Ő Ü Ü Ü Ü Ó Ó Á Ü Ö

Ü ű Í Ü ű Ő Ó Í Í Í Ö Í Ü Ó Í Í ű ű Í ű ű Í Í Í Í Í ű ű ű Á ű

ö ó Á ü ű ö ó ö ö ű ö ű ö ő ő ó ö ű ö ő í ő ó ő ó ö ó í í ó ő í í ő ö ő ő ó ő ö ű í ű í ö í ö í ű ö ö ú ö ú ö ő ó ő ö ő ő í ű ö ó ö í ó í í ő ó ü ő ő

ő ő Ó

Ö ö Á ü ü ö ű ö ö ü ö Ö

í ü Ó ö í í í ó ó í í ü í ó ü ö ó ó ö ó ó ö í ö ö ó ó í ó í í ö ö ö í ú ö ó í ó ö ó ö ó í í ú ű ú

ü ó ó ó ó ó ó ü ó í ü ü ó ó ü ó ó ü ó ü ü í í ü ü í í ó ü ü Ö ü Ö ü ü ó

Ö ó ó ó í ó Ö ü ó ü ü Ö ó í í ú ü ó ó ó ó ó í í ú í Ö ú í ó ó ó í ó

Matematika A1a Analízis

Ü ü ü ú Ö ü ü Ö Ö Ö Ö Ő Ó ü Á Á Ö Ö Ö Ő ü Í ú ű Í ú ú

ú ú ő ő ő ú ü ő ő ü ú ő ő

á é é á ó á é ö Ű í É Á ó í á ü á ó

Á ó ű ú ó ö ü ű ű ó ó ö ü ó ö ó Ö ü ó ü ű ó ö ó ó ú ó ú ó ó ó ó ó ó ó Ö ö ó ó ó ó ö ó Ű ö ó ó ü Ó ű Í ó ó ó ó ó ó Ó ü ó ó ó ó ó ó ú ó ö

ű ő ő ű Ü ő ő ő ű ű ő ú ő ú Á Á ő Á ő ő ő ű ő ű ú

Í ü ű Ö ö ö ü ö ö ü ü ö ö ű ű ö Í ű Á ö Á ö

Átírás:

A kvantummechanika posztulátumai October 29, 2006 A kvantummechanika posztulátumai Célunk felépíteni a kvantummechanikát posztulátumok segítségével úgy ahogy az elemi hullámmechanika során eljártunk. Arra törekszünk, hogy ez minnél kevesebb posztulátummal ellentmondásmentesen sikerüljön.. I. Posztulátum A kvantumfizikai rendszerünk állapotát egy végtelen dimenziós lineáris vektortér (Hilbert tér) -beli ket vektor írja le ( ψ ). Megjegyzések:. A klasszikus mechanikával ellentétben a kvantummechanikában nem jellemezhetünk egy állapotot a térkoordináták és az impulzusvektorok eggyüttesével. 2. Egy állapotot csak a vektor iránya és nem a nagysága jellemez. Például, ha λ C akkor a ψ és a λ ψ állapotok ugyanazok. 3. Ha a és b a kvantummechanikai rendszer két megengedett állapota, akkor az a + b is egy megengedett állapot (szuperpozició elve). 4. Az állapotok vektortere egy absztrakt tér! (Nem a valóságos konfigurációs tér és nem az impulzusok tere.) 5. A kvantummechanikai rendszer állapotának a megváltozása a rendszert leíró ket vektor irányának a megváltozásával történik. Newtoni mozgásegyenlet a ket vektor változására vonatkozó egyenlet. 6. Normált állapotról beszélünk, hogyha ψ ψ =..2 II. Posztulátum Minden fizikai mennyiséghez megfigyelhető operátorokat rendelünk. Ezen operátorok a ket vektorokra hatnak, megváltoztatva őket.

. Az operátorok lineárisak kell legyenek (a szuperpozició elvéből következőleg), hermitikusak (hogy valós legyen a sajátértékük) és sajátvektoraik egy bázist alkotnak a Hilbert téren ( a megfigyelhetőség feltétele, erre szükségünk lesz a IV. Posztulátumnál). 2. A hozzárendelés módját a III. Posztulátum adja meg. Két fontos operátor amit gyakran használunk: () a koordinátákat jellemző és (2) az impulzuskomponenseket jellemző operátorok. Ezek sajátvektorai egyegy speciális reprezentációt határoznak meg a Hilbert téren..2. A Koordináta-operátorok és a koordináta-reprezentáció A koordináta-reprezentációban a bázisvektorok a koordináta-operátorok sajátvektorai. Tekintsük először az D esetet: x intervallumon. ˆX x = x x, a spektrum folytonos a x x = δ(x x) () Pˆ x = x dx x = Î (2) a reprezentációnk alapegyenletei. Felírható, hogy: x ˆX x = x x x = x δ(x x ). Legyen ψ egy állapot (vektor) ψ koordinátái a koordináta reprezentációban: x ψ = ψ(x), ami meghatározza az adott állapot koordinátatérbeli hullámfüggvényét. Tekintsük most a 3D esetet: x ˆX; y Ŷ ; z Ẑ; ˆX x = x x ; Ŷ y = y y ; Ẑ z = z z ; ahol az x, y, z sajátértékek folytonosan vátoznak a (, ) intervallumon. A sajátvektorok által generált terek ǫ x, ǫ y és ǫ z : x ǫ x ; y ǫ y ; z ǫ z ; Tekintsük az ǫ = ǫ x ǫ y ǫ z teret, amelynek elemei az x y z = xyz = r vektorok. Az { r } vektorok összessége egy bázist alkot az ǫ-on. A reprezentáció alapegyenletei: r r = δ( r r ) = δ(x x)δ(y y)δ(z z) (3) ˆP r = r d r r = Î (4) ahol d r = dxdydz. Azonnal belátható, hogy: r ˆX r = x ˆX x y y z z = x δ(x x )δ(y y )δ(z z ). Ha ψ egy állapotvektor, ennek koordinátái: r ψ = ψ( r ) = ψ(x, y, z), ami nem más mint az adott állapot koordinátatérbeli hullámfüggvénye. 2

.2.2 Az impulzus-operátor és az impulzus reprezentáció Az impulzus-reprezentációban a bázisvektorok az impulzus operátor sajátvektorai. A impulzus komponenseihez rendelt operátorok: p x pˆ x ; p y ˆp y ; p z ˆp z ; Ezen operátorok sajátértékegyenlete: pˆ x p x = p x p x ; p x ǫ px ; ˆp y p y = p y p y ; p y ǫ py ; ˆp z p z = p z p z ; p z ǫ pz ; Az állapotvektorok teljes tere ǫ = ǫ px ǫ py ǫ pz és ezen egy bázist képeznek a p x p y p z = p x p y p z = p vektorok. ( p tehát egy bázist ad az ǫ-on). A bázisunk (reprezentációnk) alapegyenletei: p p = δ( p p ) = δ(p x p x)δ(p y p y)δ(p z p z) (5) ˆP p = p d p p = Î (6) ahol d p = dp x dp y dp z. Egy adott ψ állapot koordinátái ebben a reprezentációban: p ψ = φ( p ) = φ(p x, p y, p z ), ami megadja az adott állapotot leíró impulzustérbeli hullámfüggvényt. Egy tetszőleges ψ állapotban a φ( p ) és ψ( r ) hullámfüggvények közötti kapcsolatot a következőképpen adhatjuk meg: = φ( p ) = p ψ = p ˆP r ψ = (7) p r r ψ d r = r p r ψ d r (8) Ahol r p az impulzusvektor sajátvektorainak a koordináta-reprezentációbeli hullámfüggvényét jelőli: Ezek alapján: r p = φ( p ) = p ψ =.2.3 III. Posztulátum: (2π h) exp( ī p r ) (9) 3/2 h (2π h) 3/2 exp( ī h p r )ψ( r )d r (0) Az x és a p x mennyiségekhez olyan operátorokat rendelünk, melyeknek mátrixelemei a koordinátareprezentációban: x ˆX x = xδ(x x ) () x pˆ x x = i hδ (x x ) (2) 3

ahol: δ (x x ) = d dx [δ(x x )] (3) A többi fizikai mennyiséghez is operátorokat rendelünk, úgy, hogy ha w = w( r, p ), akkor ŵ = w( ˆ r, ˆ p ). Néhány megjegyzést teszünk, amelyek a következőkben fontosak lesznek:. Ezt az operátor-hozzárendelési eljárást a kanonikus kvantálásnak nevezzük. 2. Felírhatjuk, hogy: x pˆ x x = i hδ (x x ) = i h d dx δ(x x ) (4) x pˆ x x = i hδ (x x) = i h d dx δ(x x) (5) Mivel x pˆ x x = x pˆ x x, következik, hogy: (6) i h d dx δ(x x ) = [ i h d dx δ(x x)] = i h d dx δ(x x) (7) d dx [δ(x x )] = d dx [δ(x x)] = d dx δ(x x ) (8) Mert δ(x x ) = δ(x x). Tehát: d dx [δ(x x )] = d dx [δ(x x )] (9) 3. Tétel: Az ˆx és pˆ x operátorokra koordináta reprezentációban igaz, hogy: x ˆX ψ = x ψ(x) = x x ψ (20) x pˆ x ψ = i h d d ψ(x) = i h x ψ dx dx (2) Hasonlóan felírhatjuk ˆ r és ˆ p -re: r ˆ r ψ = r ψ( r ) = r r ψ (22) r ˆ p ψ = i h d d r ψ( r ) = i h d d r r ψ (23) Következmény: [ˆx, pˆ x ] = i h ; [ŷ, ˆp y ] = i h ; [ẑ, ˆp z ] = i h Ezen következmény bizonyítása ugyanúgy történik, mint a hullámmechanika keretében. 4

A tétel bizonyítása: = = i h x ˆx ψ = x ˆxÎ ψ = x ˆx x x ψ dx = (24) = xδ(x x )ψ(x )dx = xψ(x) = x x ψ x pˆ x ψ = x pˆ x Î ψ = i hδ (x x )ψ(x )dx = i h dδ(x x ) dx ψ(x )dx = i h x pˆ x x x ψ dx = (25) dδ(x x ) ψ(x )dx = dx δ(x x ) dψ(x ) dx dx = = i h d d ψ(x) = i h dx dx x ψ Itt felhasználtuk a 2. pontban bizonyított állítást, valamint azt a tényt, hogy a hullámfüggvény a végtelenben nullához kell tartson vagy legalább korlátos kell legyen. 4. A w( r, p ) w( ˆ r, ˆ p ) hozzárendelés nem mindig egyértelmű. Pédául legyen w = xp x egy fizikai mennyiség. A klasszikus mechanikában xp x = p x x, de a kvantummechanikában ˆx pˆ x pˆ xˆx. A kvantummechanikában választott megoldás az, hogy w = xp x -hez egy szimmetrikus formát rendelünk: w = xp x 2 + p xx 2 ˆx ˆ ŵ = p x 2 + pˆ xˆx 2 (26) 5. Meglátjuk, hogy a kvantummechanikában sok olyan mennyiség van, amelyeknek nincs klasszikus megfelelője. Egy azonnali példa erre a spin. Felvetődik akkor a kérdés, hogy milyen operátorokat rendelünk ezekhez a mennyiségekhez? Meglátjuk, hogy ilyen esetekre nincs egy jól bevállt recept, és ilyenkor szükség van intuicióra és kvázi-klasszikus meggondolásokra..2.4 IV. Posztulátum (mérési posztulátum) Tekintsünk egy kvantummechanikai részecskét amely a Ψ állapotban van. Legyen Ω egy mérhető fizikai mennyiség amelyhez a kvantummechanikában rendelt operátor ˆΩ. Ennek az operátornak a sajátérték-egyenlete: ˆΩ ω = ω ω (27) A mérési posztulátum alapján, az Ω fizikai mennyiség mérése során az ˆΩ operátor egy sajátértékét kapjuk. Két esetet tárgyalunk:. Ha Ψ normált és a mért ω sajátérték nem elfajult, akkor annak a valószínűsége, hogy az ω sajátértéket mérjük: 5

P(ω) = ω Ψ 2. (28) A mérés után a rendszer állapota az ω tiszta állapotra változik: Ψ ω. Ha Ψ nem normált állapot, akkor: P(ω) = ω Ψ 2. (29) 2. Ha a mért ω sajátérték elfajult, akkor annak a valószínűsége, hogy az ω sajátértéket mérjük i P(ω) = ω i Ψ 2, (30) ahol ω i az ω sajátértékhez tartozó sajátvektorokat jelőli. Ilyen esetben a mérés után a kvantummechanikai rendszer a χ = i λ i ω i, (3) (λ i C) kevert állapotba kerül, ahol λ i értékei ismeretlenek. Néhány fontos megjegyzés a mérési posztulátummal kapcsolatosan:. A kvantummechanika mérési posztulátumának értelmében a mérési eredmény egy véletlenszerű (valószínűségi) változó. 2. Ha a kvantummechanikai rendszer Ψ állapota sajátállapota az ˆΩ operátornak, ˆΩ Ψ = ω Ψ Ψ, akkor a Ψ állapotban az Ω fizikai mennyiség mérésének az erdeménye garantáltan ω Ψ lesz. 3. Az Ω fizikai mennyiség mérési eredményeink átlagértéke (várható értéke) egy Ψ kvantummechanikai állapotban (minden mérés után visszaállítva a kezdeti Ψ állapotot): Ω = Ψ ˆΩ Ψ (32) Ezen kijelentésnek a bizonyítása azonnali: Ω = i P(ω i )ω i = ω i Ψ 2 ω i = i = Ψ ( i ω i ω i ω i ) Ψ i Ψ ω i ω i Ψ ω i = (33) = Ψ ˆΩ Ψ (34) 6

4. Két A és B fizikai mennyiséget kompatibilisnek nevezünk ha ezekre mért értékek nem változnak sokszori és tetszőleges sorrendbe történő egymásutáni mérésekre. A mérési posztulátum értelmében azonnal következik, hogy az A és B fizikai mennyiség akkor kompatibilis, ha a hozzájuk rendelt  és ˆB operátotoknak létezik egy közös és teljes sajátvektor rendszere. A hullámmechanika keretében igazoltuk, hogy ennek a szükséges és elégséges feltétele az, hogy a két operátor kommutáljon, vagyis, hogy: [Â, ˆB] =  ˆB ˆB = 0. A bizonyítás ugyanúgy történik ahogy a hullámmechanika esetén végeztük. Javasoljuk, hogy gyakorlatként az érdekelt olvasó végezze el az általános formalizmus keretében is. 5. Több A, A 2,..., A n fizikai mennyiség kompatibilis, ha páronként kompatibilisek. 6. Azt mondjuk, hogy két A és B fizikai mennyiség komplementáris ha nem kompatibilis, vagyis ha [Â, ˆB] 0. Ilyen esteben egy tetszőleges kvantummechanikai állapotban a két fizikai mennyiség általában nem mérhető egymás után egzaktul. 7. Két A és B fizikai mennyiség inkompatibilis, ha [Â, ˆB] = λ C. Ilyen estetben egy teszőleges kvantummechanikai állapotban a két fizikai mennyiség sohasem mérhető egymás után egzaktul. Azonnal következik, hogy ha két fizikai mennyiség inkompatibilis, akkor komplementáris is! 8. Ha két A és B komplementáris fizikai mennyiségre igaz, hogy: [Â, ˆB] = iĉ. (35) akkor egy tetszőleges Ψ kvantummechanikai állapotban: A Ψ B Ψ 2 C Ψ (36) (A fenti egyenletben A Ψ = A 2 Ψ A 2 Ψ, és hasonló jelőlés érvényes a B-re is.). A fenti egyenlet a határozatlansági összefüggés általános alakja. Ennek a speciális esete az x és p x inkompatibilis fizikai mennyiségekre ([ˆx, pˆ x ] = i h) a jólismert Heisenberg-féle határozatlansági reláció: x p x (37) 2 h. (Hasonló összefüggés érvenyes az y és z tengely irányú komponensekre is.) Egy kvantummechanikai rendszer esetén ismert még a E t 2 h (38) határozatlansági összefüggés is. Egy ellentmondásmentes értelmezése a fenti határozatlansági összefüggésnek a következő (Mandelstam-Tamm féle 7

értelmezés). Legyen egy mérhető A fizikai mennyiség, amelyre kiszámítható A és A az adott kvantummechanikai állapotban. Bevezethető a következő idő-intervallum jellegű mennyiség: τ = A, (39) d A aminek szemléletes és azonnali jelentése az időmérés bizonytalansága, ha az időt az A mennyiségen keresztül mérjük. A τ mennyiségre, illetve a rendszer E energiájára az adott kvantummechanikai állapotban szintén érvényes a (36) egyenlet, tehát: E τ (40) 2 h Az általános határozatlansági relációt bizonyítottuk az elemi hullámmechanika tanulmányozása során. A bizonyítás teljesen hasonló formában történik az általános formalizmus keretében is. Gyakorlatként javasoljuk ennek a bizonyításnak a megismétlését. 9. Ha az A, A 2,...A n kompatibilis mennyiségek mérésével a rendszer mindig egy jól meghatározott, ugynevezett tiszta állapotba kerül, és ez a kijelentés nem igaz a fenti halmaz egy részhalmazára sem, akkor azt mondjuk, hogy az A, A 2,...A n mennyiségek egy teljes megfigyelhető mennyiség rendszert alkotnak..2.5 V. Posztulátum: az evolúció posztulátuma A kvantummechanikai rendszer evolúciójának a meghatározása azt jelenti, hogy ismerve a kvantummechnikai rendszer állapotát egy t 0 időpillanatban meghatározzuk a rendszer állapotát egy későbbi időpillanatban. Az V. posztulátum értelmében, ha a kvantummechanikai rendszer állapota a t 0 időpillanatban ψ(t 0 ), egy későbbi időpillanatban a rendszer megkapható egy Û(t, t 0 ) unitér transzformáció (Û U ˆ+ = U ˆ +Û = Î) segítségével: ψ(t) = Û(t, t 0) ψ(t 0 ) (4) Û(t 0, t 0 ) = Î (42) Az Û operátort evoluciós operátornak nevezzük. Ezen posztulátumnak néhány azonnali fontos következménye van:. Ha ψ(t 0 ) ψ(t 0 ) = akkor ψ(t) ψ(t) =, vagyis az evolúciós operátor megőrzi a hullámfüggvény normáját. Bizonyítás: ψ(t) = Û(t, t 0) ψ(t 0 ) (43) ψ(t) = ψ(t 0 ) U ˆ+ (t, t 0 ) (44) 8

ψ(t) ψ(t) = ψ(t 0 ) ˆ U +Û(t, t 0) ψ(t 0 ) = = ψ(t 0 ) Î ψ(t 0) = ψ(t 0 ) ψ(t 0 ) 2. Ha van 3 időpillanat, úgy, hogy t 0 < t < t akkor: Û(t, t 0 ) = Û(t, t )Û(t, t 0 ) (45) Bizonyítás: ψ(t) = Û(t, t ) ψ(t ) (46) ψ(t ) = Û(t, t 0 ) ψ(t 0 ) ψ(t) = Û(t, t 0) ψ(t 0 ) ψ(t) = Û(t, t)û(t, t 0 ) ψ(t 0 ) ψ(t) = Û(t, t 0) ψ(t 0 ) Û(t, t 0) = Û(t, t)û(t, t 0 ) 3. Az elemi evolúciós operátor: Û(t, t ) = Î ī Ĥ (47) h Ahol Ĥ egy hermitikus operátor, amelyről egyelőre csak az a fontos hogy energia dimenziója van. (Az energia dimenzió onnan következik, hogy a nevezőben h található, aminek energia idő dimenziója van). 4. Û(t, t 0 ) meghatározható egy differenciálegyenletből. Ez azonnal belátható végigkövetve az alábbi egyenleteket: Û(t, t 0 ) = Û(t, t )Û(t, t 0) (48) Û(t, t 0 ) = (Î ī h Ĥ)Û(t, t 0) Û(t, t 0 ) Û(t, t 0) = ī h ĤÛ(t, t 0) i hû(t, t 0) Û(t, t 0) Tehát a 0 határesetben: = ĤÛ(t, t 0) i h d Û(t, t 0) = ĤÛ(t, t 0) (49) 5. ψ(t) evolúciós egyenlete is felírható mint egy időben elsőfokú differenciálegyenlet: ψ(t) = Û(t, t 0) ψ(t 0 ) (50) d ψ(t) = d Û(t, t 0) ψ(t 0 ) i h d ψ(t) = ĤÛ(t, t 0) ψ(t 0 ) i h d ψ(t) = Ĥ ψ(t) 9

6. Ĥ: a rendszer Hamilton operátora (a Hamilton függvényhez rendelt operátor). Ezt a koreszpondencia-elv alapján igazoljuk. Bizonyítás: Legyen a rendszerünket leíró Hamilton függvény időtől független, és legyen Q egy fizikai mennyiség, ˆQ meg a hozzá rendelt operátor (amiről tételezzük újból fel, hogy időtől független). Számítsk ki a Q -t egy adott ψ(t) állapotban. de: d Q Q = ψ(t) ˆQ ψ(t) (5) = d ( ψ(t) ) ˆQ ψ(t) + ψ(t) ˆQ d ( ψ(t) ) d ī ψ(t) = (52) hĥ ψ(t) d ψ(t) = ψ(t) ī hĥ mivel Ĥ hermitikus. Vagyis: d Q A végeredmény: = ψ(t) ī hĥ ˆQ ψ(t) ī + ψ(t) ˆQ (53) hĥ ψ(t) d ψ ˆQ ψ d Q Ezen egyenlet a klasszikus mechanika dq = ī ψ(t) [Ĥ, ˆQ] ψ(t) h = ī h. ψ [Ĥ, ˆQ] ψ (54) = {H, Q} (55) Poisson zárójelekkel felírt egyenletének a megfelelője, ahol H a rendszer Hamilton függvénye. A koreszpondencia elv értelmében tehát Ĥ a kvantummechanikai rendszer Hamilton operátora. 7. Ha a rendszer konzervatív (Ĥ időtől független), akkor: Û(t, t 0 ) = exp[ ī (t t0)ĥ] (56) h A bizonyítás során a függvényekre ismert integrálási eljárásokat formálisan kiterjesztjük az operátorokra is (erről egy kicsit bővebben beszélünk a következő pontban): i h d Û(t, t 0) = ĤÛ(t, t 0) (57) 0

t dû(t, t 0) t 0 Û(t, t 0 ) = t t 0 i hĥ lnû(t, t 0) = ī hĥ(t t 0) Û(t, t 0 ) = exp[ ī (t t0)ĥ] h 8. Ha a kvantummechanikai rendszer konzervatív és ψ(t 0 ) a Ĥ-nak a sajátvektora, akkor ahol E a rendszer energiája. Bizonyítás: ψ(t) = exp[ ī h E(t t 0)] ψ(t 0 ), (58) Û(t, t 0 ) = exp[ ī (t t0)ĥ] (59) h ψ(t) = Û(t, t 0) ψ(t 0 ) = exp[ ī h (t t 0)Ĥ] ψ(t 0) = = [Î ī h (t t 0)Ĥ + 2 ( ī h )2 (t t 0 ) 2 Ĥ 2 +...] ψ(t 0 ) = = [ ψ(t 0 ) ī h (t t 0)Ĥ ψ(t 0) + 2 ( ī h )2 (t t 0 ) 2 Ĥ 2 ψ(t 0 ) +...] = = ψ(t 0 ) ī h (t t 0)E ψ(t 0 ) + 2 ( ī h )2 (t t 0 ) 2 E 2 ψ(t 0 ) +...] = = exp[ ī h E(t t 0)] ψ(t 0 ) (60) Itt találkozunk egy olyan esettel ahol egy olyan operátorunk van, amely f(â) alakú (f egy adott függvény). Értelmezzük most egy kissé rigurozusabban az ilyen típusú operátorokat. Egy azonnali lehetőség erre, hogy felhasználjuk az f(x) függvény Taylor sorát: Értelmezés szerint: f(x) = a 0 + a x + a 2 x 2 +... + a i x i +... (6) f(â) = a 0 + a  + a 2  2 +... + a i  i +... (62) Egy másik, a fentivel ekvivalens értelmezés az  operátor sajátvektoraival adható. Legyen: Â Ψ α = α Ψ α. (63) Ilyen esetben: f(â) Ψ α = f(α) Ψ α. (64) Mivel tetszőleges Ψ állapot sorbafejthető a Ψ α vektorok szerint, és  egy lineáris operátor, a fenti értelmezés ekvivalens a Taylor sor alapján adottal.