Ehrenfest tétel
Az Ehrenfest-tétel , amelyet Paul Ehrenfest fizikusról neveztek el, összekapcsolja az operátor- kvantum átlagos értékének az időszármazékát, hogy átváltson az operátorra a Hamilton- rendszerrel. Ez a tétel különösen a levelezés elvét ellenőrző összes rendszert érinti .
H^{\ displaystyle {\ hat {H}}}![{\ hat {H}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6bb06de5217295d7fbdbf68fb9c5309a513fc99e)
Tétel
Ehrenfest tétele kimondja, hogy az operátor átlagértékének az időszármazékát (ahol az operátor, amely az érintett megfigyelhető időderiváltját adja vissza) az alábbiak adják meg:
NÁL NÉL^{\ displaystyle {\ hat {A}}}![\ hat {A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f595a6c73d1183d6a1b2ac21fe47ac28c1483821)
d⟨NÁL NÉL^⟩dt=⟨∂NÁL NÉL^∂t⟩+1énℏ⟨[NÁL NÉL^,H^]⟩{\ displaystyle {\ frac {\ mathrm {d} \ langle {\ hat {A}} \ rangle} {\ mathrm {d} t}} = \ langle {\ frac {\ részleges {\ hat {A}}} {\ részleges t}} \ rangle + {\ frac {1} {i \ hbar}} \ left \ langle [{\ hat {A}}, {\ hat {H}}] \ right \ rangle}
hol van bármelyik kvantoperátor és annak átlagértéke.
NÁL NÉL^{\ displaystyle {\ hat {A}}}
⟨NÁL NÉL^⟩{\ displaystyle \ langle {\ hat {A}} \ rangle}![{\ displaystyle \ langle {\ hat {A}} \ rangle}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6df319f75e73e8fab1223c941dabba4da1060c06)
Az operátor, és nem a hullámfüggvény időbeli függése jellemző Heisenberg kvantummechanikai ábrázolására . Analóg összefüggést találunk a klasszikus mechanikában: a fázistérben definiált függvény időbeli deriváltja , amely kommutátor helyett Poisson zárójeleket foglal magában :
f(q,o,t){\ displaystyle f (q, p, t)}![{\ displaystyle f (q, p, t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75b090747ce41310dd07ad47d5e1ec934a7e6984)
dfdt=∂f∂t+{f,H}{\ displaystyle {\ frac {\ mathrm {d} f} {\ mathrm {d} t}} = {\ frac {\ részleges f} {\ részleges t}} + \ bal \ {f, H \ jobb \} }![{\ displaystyle {\ frac {\ mathrm {d} f} {\ mathrm {d} t}} = {\ frac {\ részleges f} {\ részleges t}} + \ bal \ {f, H \ jobb \} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6975bc7e45d928b58fa13273e9257d94337adbb2)
(a bizonyítás közvetlenül Hamilton kánoni egyenleteiből következik )
Általánosságban elmondható, hogy a klasszikus analógokkal rendelkező kvantumrendszerek esetében ez a kommutátorok és Poisson zárójelek közötti inverzió empirikus törvényként elfogadható. (lásd a levelezés elvét ).
A tétel igazolása
Legyen A fizikai mennyiség, amelyet az autoadjoint operátor képvisel . Átlagos értékét a következőképpen határozzuk meg:
NÁL NÉL^{\ displaystyle {\ hat {A}}}![\ hat {A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f595a6c73d1183d6a1b2ac21fe47ac28c1483821)
⟨NÁL NÉL^⟩=⟨ψ(t)|NÁL NÉL^|ψ(t)⟩{\ displaystyle \ langle {\ hat {A}} \ rangle = \ left \ langle \ psi (t) \ right | {\ hat {A}} \ left | \ psi (t) \ right \ rangle}![{\ displaystyle \ langle {\ hat {A}} \ rangle = \ left \ langle \ psi (t) \ right | {\ hat {A}} \ left | \ psi (t) \ right \ rangle}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c7547212784099f34c4a5ca210645397f3f6835)
Ezt az egyenlőséget vezetjük le az idő tekintetében:
d⟨NÁL NÉL^⟩dt=d⟨ψ(t)|dt|NÁL NÉL^|ψ(t)⟩+⟨ψ(t)|∂NÁL NÉL^∂t|ψ(t)⟩+⟨ψ(t)|NÁL NÉL^|d|ψ(t)⟩dt{\ displaystyle {\ frac {\ mathrm {d} \ langle {\ hat {A}} \ rangle} {\ mathrm {d} t}} = {\ frac {\ mathrm {d} \ left \ langle \ psi ( t) \ jobb |} {\ mathrm {d} t}} | {\ hat {A}} \ bal | \ psi (t) \ jobb \ rangle + \ bal \ langle \ psi (t) \ jobb | {\ frac {\ részleges {\ hat {A}}} {\ részleges t}} \ bal | \ psi (t) \ jobb \ rangle + \ bal \ langle \ psi (t) \ jobb | {\ kalap {A}} | {\ frac {\ mathrm {d} \ bal | \ psi (t) \ jobb \ rangle} {\ mathrm {d} t}}}![{\ displaystyle {\ frac {\ mathrm {d} \ langle {\ hat {A}} \ rangle} {\ mathrm {d} t}} = {\ frac {\ mathrm {d} \ left \ langle \ psi ( t) \ jobb |} {\ mathrm {d} t}} | {\ hat {A}} \ bal | \ psi (t) \ jobb \ rangle + \ bal \ langle \ psi (t) \ jobb | {\ frac {\ részleges {\ hat {A}}} {\ részleges t}} \ bal | \ psi (t) \ jobb \ rangle + \ bal \ langle \ psi (t) \ jobb | {\ kalap {A}} | {\ frac {\ mathrm {d} \ bal | \ psi (t) \ jobb \ rangle} {\ mathrm {d} t}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/503a2fc2633bf76e398d137666724627af16d004)
A Schrödinger-egyenletet és annak konjugátumát használjuk:
+énℏd|ψ(t)⟩dt=H^|ψ(t)⟩{\ displaystyle + i \ hbar {\ frac {\ mathrm {d} \ bal | \ psi (t) \ jobb \ rangle} {\ mathrm {d} t}} = {\ hat {H}} \ bal | \ psi (t) \ jobb \ rangle}![{\ displaystyle + i \ hbar {\ frac {\ mathrm {d} \ bal | \ psi (t) \ jobb \ rangle} {\ mathrm {d} t}} = {\ hat {H}} \ bal | \ psi (t) \ jobb \ rangle}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0c8f3b557524c3993ac36b4b307a35173f6737a)
és
-énℏd⟨ψ(t)|dt=⟨ψ(t)|H^{\ displaystyle -i \ hbar {\ frac {\ mathrm {d} \ left \ langle \ psi (t) \ right |} {\ mathrm {d} t}} = \ left \ langle \ psi (t) \ right | {\ hat {H}}}![{\ displaystyle -i \ hbar {\ frac {\ mathrm {d} \ left \ langle \ psi (t) \ right |} {\ mathrm {d} t}} = \ left \ langle \ psi (t) \ right | {\ hat {H}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf04d19d2cc8bdb576a62ec72d75e795a898af17)
Az előző egyenlet cseréjével megkapjuk:
d⟨NÁL NÉL^⟩dt=⟨∂NÁL NÉL^∂t⟩+1énℏ⟨ψ(t)|NÁL NÉL^H^|ψ(t)⟩-1énℏ⟨ψ(t)|H^NÁL NÉL^|ψ(t)⟩{\ displaystyle {\ frac {\ mathrm {d} \ langle {\ hat {A}} \ rangle} {\ mathrm {d} t}} = \ langle {\ frac {\ részleges {\ hat {A}}} {\ részleges t}} \ rangle + {\ frac {1} {i \ hbar}} \ left \ langle \ psi (t) \ right | {\ hat {A}} {\ hat {H}} \ left | \ psi (t) \ right \ rangle - {\ frac {1} {i \ hbar}} \ left \ langle \ psi (t) \ right | {\ hat {H}} {\ hat {A}} \ bal | \ psi (t) \ jobb \ rangle}![{\ displaystyle {\ frac {\ mathrm {d} \ langle {\ hat {A}} \ rangle} {\ mathrm {d} t}} = \ langle {\ frac {\ részleges {\ hat {A}}} {\ részleges t}} \ rangle + {\ frac {1} {i \ hbar}} \ left \ langle \ psi (t) \ right | {\ hat {A}} {\ hat {H}} \ left | \ psi (t) \ right \ rangle - {\ frac {1} {i \ hbar}} \ left \ langle \ psi (t) \ right | {\ hat {H}} {\ hat {A}} \ bal | \ psi (t) \ jobb \ rangle}](https://wikimedia.org/api/rest_v1/media/math/render/svg/394cbf368d8825a0b18af4400e8323533207c3b0)
Azzal végre megkapjuk
[NÁL NÉL^,H^]=NÁL NÉL^H^-H^NÁL NÉL^{\ displaystyle [{\ hat {A}}, {\ hat {H}}] = {\ hat {A}} {\ hat {H}} - {\ hat {H}} {\ hat {A}} }![{\ displaystyle [{\ hat {A}}, {\ hat {H}}] = {\ hat {A}} {\ hat {H}} - {\ hat {H}} {\ hat {A}} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8db09ac787a6123af4e884762a8d2439b8b3234)
d⟨NÁL NÉL^⟩dt=⟨∂NÁL NÉL^∂t⟩+1énℏ⟨[NÁL NÉL^,H^]⟩{\ displaystyle {\ frac {\ mathrm {d} \ langle {\ hat {A}} \ rangle} {\ mathrm {d} t}} = \ langle {\ frac {\ részleges {\ hat {A}}} {\ részleges t}} \ rangle + {\ frac {1} {i \ hbar}} \ left \ langle [{\ hat {A}}, {\ hat {H}}] \ right \ rangle}
Ehrenfest kapcsolatok
A klasszikus analógokkal rendelkező kvantumrendszerek esetében Ehrenfest tétel és a momentum operátorokra alkalmazott tétele a következőket adja:
ddt⟨x^⟩=1m⟨o^⟩{\ displaystyle {\ frac {\ mathrm {d}} {\ mathrm {d} t}} \ langle {\ hat {x}} \ rangle = {\ frac {1} {m}} \ langle {\ hat { p}} \ rangle}
ddt⟨o^⟩=⟨F⟩{\ displaystyle {\ frac {\ mathrm {d}} {\ mathrm {d} t}} \ langle {\ hat {p}} \ rangle = \ langle F \ rangle}
|
Itt ismerjük fel Hamilton átlagos mennyiségekre alkalmazott kanonikus egyenleteit . Elég megkülönböztetni az elsőt az idő szempontjából, hogy megtaláljuk Newton második törvényét .
E kapcsolatok bemutatása
Egy tetszőleges potenciálmezőben lévő részecske esetében a figyelembe vett Hamilton-függvény a következő formát ölti:
H^(x,o,t)=o^22m+V^(x,t){\ displaystyle {\ hat {H}} (x, p, t) = {\ frac {{\ hat {p}} ^ {2}} {2m}} + {\ kalap {V}} (x, t )}![{\ displaystyle {\ hat {H}} (x, p, t) = {\ frac {{\ hat {p}} ^ {2}} {2m}} + {\ kalap {V}} (x, t )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81fd26e3765d6be0a9a0a06c302c8eaac9eb5484)
Impulzus operátor
Feltételezzük, hogy meg akarjuk ismerni az átlagos lendület változását . Ehrenfest tételével megvan
⟨o^⟩{\ displaystyle \ langle {\ hat {p}} \ rangle}![{\ displaystyle \ langle {\ hat {p}} \ rangle}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2c0ce3272bbfff07e5329ad09bfba278a53f0ae)
ddt⟨o^⟩=⟨∂o^∂t⟩+1énℏ⟨[o^,H^]⟩{\ displaystyle {\ frac {\ mathrm {d}} {\ mathrm {d} t}} \ langle {\ hat {p}} \ rangle = \ langle {\ frac {\ részleges {\ hat {p}}} {\ részleges t}} \ rangle + {\ frac {1} {i \ hbar}} \ langle [{\ hat {p}}, {\ hat {H}}] \ rangle}![{\ displaystyle {\ frac {\ mathrm {d}} {\ mathrm {d} t}} \ langle {\ hat {p}} \ rangle = \ langle {\ frac {\ részleges {\ hat {p}}} {\ részleges t}} \ rangle + {\ frac {1} {i \ hbar}} \ langle [{\ hat {p}}, {\ hat {H}}] \ rangle}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77fe55f5c8bc26ad93a267f55ce3993879f8f43e)
„Helyzet” ábrázolásba helyezzük magunkat: az impulzus-operátort ezután felírják . Mivel az operátor triviálisan ingázik önmagával, és mivel az impulzus nem az idő kifejezett funkciója, az Ehrenfest reláció a következőkre redukálódik:
o^=-énℏ∇{\ displaystyle {\ hat {p}} = - i \ hbar \ nabla}![{\ displaystyle {\ hat {p}} = - i \ hbar \ nabla}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f2860c6fdb094379687b40a4057ce5cd86694ad)
ddt⟨o^⟩=1énℏ⟨[o^,V^(x,t)]⟩{\ displaystyle {\ frac {\ mathrm {d}} {\ mathrm {d} t}} \ langle {\ hat {p}} \ rangle = {\ frac {1} {i \ hbar}} \ langle [{ \ hat {p}}, {\ hat {V}} (x, t)] \ rangle}![{\ displaystyle {\ frac {\ mathrm {d}} {\ mathrm {d} t}} \ langle {\ hat {p}} \ rangle = {\ frac {1} {i \ hbar}} \ langle [{ \ hat {p}}, {\ hat {V}} (x, t)] \ rangle}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9d0dabbad477611ad434656406457df11adbc5e)
van
ddt⟨o^⟩=⟨-∇V^(x,t)⟩=⟨F⟩,{\ displaystyle {\ frac {\ mathrm {d}} {\ mathrm {d} t}} \ langle {\ hat {p}} \ rangle = \ langle - \ nabla {\ hat {V}} (x, t ) \ rangle = \ langle F \ rangle,}![{\ displaystyle {\ frac {\ mathrm {d}} {\ mathrm {d} t}} \ langle {\ hat {p}} \ rangle = \ langle - \ nabla {\ hat {V}} (x, t ) \ rangle = \ langle F \ rangle,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/582d2691305af4cf929aa4d9c986813e3b4a4eaa)
(alkalmazhatunk egy tesztfunkcióra , hogy meggyőződjünk róla)
1énℏ⟨[o^,V^]⟩{\ displaystyle {\ frac {1} {i \ hbar}} \ langle [{\ hat {p}}, {\ hat {V}}] \ rangle}
|ψ⟩{\ displaystyle \ left | \ psi \ right \ rangle}![{\ displaystyle \ left | \ psi \ right \ rangle}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7dd7ffe659cacdb8396271a10f73352da16f6c96)
Kezelői pozíció
Ugyanezt a számítást hajtják végre a pozíció operátor esetében , még mindig „pozíció” ábrázolásban. Mivel a potenciál csak a pozíciótól és az időtől függ, változik a pozíció operátorral, és az Ehrenfest reláció a következőkre csökken:
x^{\ displaystyle {\ hat {x}}}![{\ displaystyle {\ hat {x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18d95a7845e4e16ffb7e18ab37a208d0ab18e0e0)
ddt⟨x^⟩=⟨∂x^∂t⟩+1énℏ⟨[x^,H^]⟩=1énℏ⟨[x^,o^22m]⟩{\ displaystyle {\ frac {\ mathrm {d}} {\ mathrm {d} t}} \ langle {\ hat {x}} \ rangle = \ langle {\ frac {\ részleges {\ hat {x}}} {\ részleges t}} \ rangle + {\ frac {1} {i \ hbar}} \ langle [{\ hat {x}}, {\ hat {H}}] \ rangle = {\ frac {1} { i \ hbar}} \ langle [{\ hat {x}}, {\ frac {{\ hat {p}} ^ {2}} {2m}}] \ rangle}![{\ displaystyle {\ frac {\ mathrm {d}} {\ mathrm {d} t}} \ langle {\ hat {x}} \ rangle = \ langle {\ frac {\ részleges {\ hat {x}}} {\ részleges t}} \ rangle + {\ frac {1} {i \ hbar}} \ langle [{\ hat {x}}, {\ hat {H}}] \ rangle = {\ frac {1} { i \ hbar}} \ langle [{\ hat {x}}, {\ frac {{\ hat {p}} ^ {2}} {2m}}] \ rangle}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8fb9432480961cc0d33802beb570af73fd16adb4)
A kapcsolási kapcsolat használatával
[x^,o^2]=o^[x^,o^]+[x^,o^]o^=2énℏo^{\ displaystyle [{\ hat {x}}, {\ hat {p}} ^ {2}] = {\ hat {p}} [{\ hat {x}}, {\ hat {p}}] + [{\ hat {x}}, {\ hat {p}}] {\ hat {p}} = 2i \ hbar {\ hat {p}}}![{\ displaystyle [{\ hat {x}}, {\ hat {p}} ^ {2}] = {\ hat {p}} [{\ hat {x}}, {\ hat {p}}] + [{\ hat {x}}, {\ hat {p}}] {\ hat {p}} = 2i \ hbar {\ hat {p}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d473c1fe508379509b1ca14bc1bbf98a346dc3d)
azt kapjuk :
ddt⟨x^⟩=1m⟨o^⟩{\ displaystyle {\ frac {\ mathrm {d}} {\ mathrm {d} t}} \ langle {\ hat {x}} \ rangle = {\ frac {1} {m}} \ langle {\ hat { p}} \ rangle}
Lásd is
Bibliográfia
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">