Twierdzenie Ehrenfesta
| Ten artykuł od 2010-03 wymaga uzupełnienia źródeł podanych informacji. Informacje nieweryfikowalne mogą zostać zakwestionowane i usunięte. Aby uczynić artykuł weryfikowalnym, należy podać przypisy do materiałów opublikowanych w wiarygodnych źródłach. |
Twierdzenie Ehrenfesta – podaje w jaki sposób zmieniają się w czasie wartości oczekiwane operatora położenia i pędu cząstki w mechanice kwantowej. Okazuje się, że zmiany te zachodzą w sposób analogiczny do mechaniki klasycznej.
Twierdzenie to zostało sformułowane i udowodnione przez Paula Ehrenfesta.
Dowód [edytuj]
Wyznaczamy szybkość zmian w czasie wartości oczekiwanej operatora położenia i pędu cząstki, w dowolnym stanie kwantowym
.
Pracujemy w obrazie Schrödingera, więc skorzystamy z równania na szybkość zmian wartości oczekiwanej operatora.
Jeżeli operator
nie zależy jawnie od czasu, to
Operator położenia
Reasumując:
Dwa ostatnie wzory stanowią treść twierdzenia Ehrenfesta. Wartości oczekiwane obliczamy bądź dla odpowiednio dużego zespołu cząstek bądź odpowiednio długich czasów.
Twierdzenie Ehrenfesta jest liczbową ilustracją zasady korespondencji Bohra (dla
układ kwantowy podlega równaniom ruchu mechaniki klasycznej).
Twierdzenie Ehrenfesta pokazuje w jaki sposób z praw mechaniki kwantowej otrzymać prawa mechaniki klasycznej.
Najlepszym przykładem poprawności twierdzenia Ehrenfesta jest Paczka Trojańska, kiedy trajektoria wartości oczekiwanej operatorów pędu i położenia w przestrzeni fazowej jest kołem, a zlokalizowany gaussowski pakiet falowy również porusza sie po okręgu.
Uogólnione twierdzenie Ehrenfesta [edytuj]
W mechanice kwantowej funkcjonuje też uogólnione twierdzenie Ehrenfesta, łączące szybkość zmian w czasie wartości oczekiwanej dowolnego operatora z komutatorem hamiltonianu układu. Głosi ono, że
gdzie
jest pewnym operatorem kwantowomechanicznym, a
jego wartością oczekiwaną. Uogólnione twierdzenie Ehrenfesta powiązane jest z twierdzeniem Liouville'a.

![\frac{d}{dt}\langle \Omega \rangle = \langle \alpha_{s}(t) \vert \frac{\partial}{\partial t} \Omega \vert \beta_{s}(t) \rangle + \frac{1}{i \hbar} \langle \alpha_{s}(t) \vert \left[ \Omega, \mathcal{H} \right] \vert \beta_{s}(t) \rangle](http://upload.wikimedia.org/math/9/1/0/9106f6af8a8899f26275bf56307bcb89.png)
![\frac{d}{dt}\langle \Omega \rangle = \langle \psi \vert \frac{\partial}{\partial t} \Omega \vert \psi \rangle + \frac{1}{i \hbar} \langle \psi \vert \left[ \Omega, \mathcal{H} \right] \vert \psi \rangle](http://upload.wikimedia.org/math/7/2/6/726e574bbbcebf9b6ee51eee6b35be2b.png)
![\frac{d}{dt}\langle \Omega \rangle = \frac{1}{i \hbar} \langle \psi \vert \left[ \Omega, \mathcal{H} \right] \vert \psi \rangle](http://upload.wikimedia.org/math/c/b/0/cb0f41a31ac5d36f8a6f54ca5e799d2c.png)

![\frac{d}{dt}\langle \overrightarrow{p}_{op} \rangle = \langle \psi \vert \left[\overrightarrow{p}_{op}, \mathcal{H}\right] \vert \psi \rangle](http://upload.wikimedia.org/math/c/a/7/ca725dcb59cb3f5310bb06e2c93c3664.png)
![\left[\Omega, \mathcal{H}\right]=\left[\overrightarrow{p}_{op}, \mathcal{H}\right]=\left[-i \hbar \nabla,-\frac{\hbar^{2}}{2 m}\nabla^{2} + U(\overrightarrow{r}) \right] =\left[ -i\hbar \nabla,-\frac{\hbar^{2}}{2 m}\nabla^{2} \right] + \left[ -i\hbar \nabla, U(\overrightarrow{r}) \right]](http://upload.wikimedia.org/math/7/8/1/7817a488b4d0ecebbfdfa4387c61a3e9.png)
![\left[ -i\hbar \nabla,-\frac{\hbar^{2}}{2 m}\nabla^{2} \right]=0](http://upload.wikimedia.org/math/6/2/5/625ae3838e9ef576417732eed003a850.png)
![\left[ -i\hbar \nabla, U(\overrightarrow{r}) \right]f(\overrightarrow{r})= -i \hbar\nabla U f - U(-i\hbar\nabla f)=-i \hbar f \nabla U - i\hbar U \nabla f + i\hbar U \nabla f = (-i \hbar \nabla U) f](http://upload.wikimedia.org/math/f/9/b/f9b18a96bee9c3c80f5a273bbbf92abc.png)
![\left[ -i\hbar \nabla, U(\overrightarrow{r}) \right] =-i \hbar \nabla U(\overrightarrow{r})](http://upload.wikimedia.org/math/6/8/e/68ecbf55009e64cf3e77b8172413a6de.png)


![\frac{d}{dt}\langle \overrightarrow{r}_{op} \rangle = \frac{1}{i\hbar} \langle \psi \vert \left[\overrightarrow{r}_{op}, \mathcal{H}\right] \vert \psi \rangle](http://upload.wikimedia.org/math/6/1/3/613bb49e58dd9895ad473c13e9bab51d.png)
![\left[\overrightarrow{r}_{op}, \mathcal{H}\right] = \left[\overrightarrow{r}_{op}, -\frac{\hbar^{2}}{2 m}\nabla^{2} + U(\overrightarrow{r})\right] =-\frac{\hbar^{2}}{2m}\left[\overrightarrow{r}_{op}, \nabla^{2}\right] +\underbrace{\left[\overrightarrow{r}_{op},U(\overrightarrow{r})\right]}_{=0}](http://upload.wikimedia.org/math/4/7/0/4703c107ae54d49dc3cc1d06cd1bb73a.png)
![\left[\overrightarrow{r}_{op}, \nabla^{2}\right] = \left[ x_{1} \overrightarrow{e_{1}} + x_{2} \overrightarrow{e_{2}} +x_{3} \overrightarrow{e_{3}}, \frac{\partial^{2}}{\partial x_{1}^{2}} + \frac{\partial^{2}}{\partial x_{2}^{2}} + \frac{\partial^{2}}{\partial x_{3}^{2}}\right] = -2\nabla](http://upload.wikimedia.org/math/9/2/0/920f702fa63f21f40bd52137d3530c67.png)
![\left[ x, \frac{\partial^{2}}{\partial x^{2}} \right]f(x) = \left( x\frac{\partial^{2}}{\partial x^{2}} - \frac{\partial^{2}}{\partial x^{2}} x \right)f(x)=\ldots=-2\frac{\partial}{\partial x}f](http://upload.wikimedia.org/math/7/8/2/78285f70ae700f53d18d82f171276ae3.png)
![\left[\overrightarrow{r}_{op}, \mathcal{H}\right]= \frac{\hbar^{2}}{m}\nabla](http://upload.wikimedia.org/math/7/6/d/76ddb1419b43f7d7b0c3e2413333dea0.png)




![\frac{d}{dt}\langle A\rangle = \frac{1}{i\hbar}\langle [A,H] \rangle + \left\langle \frac{\partial A}{\partial t}\right\rangle](http://upload.wikimedia.org/math/5/2/2/522045c7de6b34559bfe2f35fdd25f8e.png)