Ehrenfest-Theorem

Das Ehrenfest-Theorem, benannt nach dem österreichischen Physiker Paul Ehrenfest, stellt innerhalb der Physik einen Zusammenhang zwischen der klassischen Mechanik und der Quantenmechanik her. Es besagt, dass unter bestimmten Bedingungen die klassischen Bewegungsgleichungen für die Mittelwerte der Quantenmechanik gelten; die klassische Mechanik also in gewissem Maße in der Quantenmechanik enthalten ist (Korrespondenzprinzip).

Mathematisch drückt sich das in seiner allgemeinsten Form so aus, dass die vollständige Zeitableitung des Erwartungswertes eines quantenmechanischen Operators mit dem Kommutator dieses Operators und des Hamiltonoperators $ H $ wie folgt in Zusammenhang steht:

$ {\frac {d}{dt}}\langle O\rangle ={\frac {i}{\hbar }}\langle [H,O]\rangle +\left\langle {\frac {\partial O}{\partial t}}\right\rangle $

Dabei stellt O einen quantenmechanischen Operator und $ \langle O\rangle $ dessen Erwartungswert dar.

Klassisches Analogon

Im Hamilton-Formalismus der klassischen Mechanik gilt für die Zeitentwicklung einer Phasenraumfunktion:

$ {\frac {d}{dt}}f(p,q,t)=-\{H,f\}+{\frac {\partial f}{\partial t}} $

mit der Poisson-Klammer $ \{H,f\}=\nabla _{q}H\nabla _{p}f-\nabla _{p}H\nabla _{q}f $. Bei der Quantisierung wird die Poisson-Klammer durch den mit $ {\tfrac {1}{i\hbar }} $ multiplizierten Kommutator ersetzt. Das quantenmechanische Analogon einer Phasenraumfunktion ist ein Operator (Observable). Somit ist das Ehrenfest-Theorem das direkte Analogon zu der obigen klassischen Aussage.

Herleitung

Folgende Herleitung verwendet das Schrödinger-Bild. Für eine alternative Betrachtung im Heisenberg-Bild siehe "Bewegungsgleichung für Erwartungswerte" unter Heisenbergsche Bewegungsgleichung.

Es sei das betrachtete System im Quantenzustand $ \Psi $. Man erhält somit für die Zeitableitung des Erwartungswertes eines Operators O:

$ {\begin{aligned}{\frac {d}{dt}}\langle O\rangle &={\frac {d}{dt}}\int \Psi ^{*}O\Psi dV=\int \left[\left({\frac {\partial \Psi ^{*}}{\partial t}}\right)O\Psi +\Psi ^{*}\left({\frac {\partial O}{\partial t}}\right)\Psi +\Psi ^{*}O\left({\frac {\partial \Psi }{\partial t}}\right)\right]dV\\&=\int \left[\left({\frac {\partial \Psi ^{*}}{\partial t}}\right)O\Psi +\Psi ^{*}O\left({\frac {\partial \Psi }{\partial t}}\right)\right]dV+\left\langle {\frac {\partial O}{\partial t}}\right\rangle \end{aligned}} $

Man betrachtet nun die Schrödingergleichung

$ {\frac {\partial \Psi }{\partial t}}=-{\frac {i}{\hbar }}H\Psi $

Konjugiert man diese Gleichung und beachtet, dass der Hamilton-Operator $ H $ selbstadjungiert ist, so folgt

$ {\frac {\partial \Psi ^{*}}{\partial t}}={\frac {i}{\hbar }}\Psi ^{*}H $.

Einsetzen dieser Relationen liefert nun:

$ {\frac {d}{dt}}\langle O\rangle ={\frac {i}{\hbar }}\int [\Psi ^{*}HO\Psi -\Psi ^{*}OH\Psi ]dV+\left\langle {\frac {\partial O}{\partial t}}\right\rangle ={\frac {i}{\hbar }}\langle [H,O]\rangle +\left\langle {\frac {\partial O}{\partial t}}\right\rangle $

Anwendung

Orts- und Impulsoperatoren

Für den Spezialfall des Impulsoperators (dieser ist nicht explizit zeitabhängig, das heißt $ {\frac {\partial p}{\partial t}}=0 $) gilt nach dem Ehrenfest-Theorem:

$ {\frac {d}{dt}}\langle p\rangle ={\frac {i}{\hbar }}\langle [H,p]\rangle ={\frac {i}{\hbar }}\langle [{\frac {p^{2}}{2m}}+V(x),p]\rangle ={\frac {i}{\hbar }}\langle [V(x),p]\rangle $

Nun wird der Kommutator $ [V,p] $ in der Ortsdarstellung ausgewertet, also mit $ p=-i\hbar \nabla $, $ V=V(x) $ und $ \Psi =\Psi (x) $:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): [V,-i\hbar\nabla]\Psi=-i\hbar V\nabla\Psi-(-i\hbar\nabla(V\Psi))=-i\hbar V\nabla\Psi+i\hbar(\nabla V)\Psi+i\hbar V(\nabla\Psi)=i\hbar(\nabla V)\Psi\quad\Rightarrow\quad[V,p]=i\hbar(\nabla V)

Die zeitliche Ableitung des Impuls-Erwartungswerts in der Ortsdarstellung ist also:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \frac{d}{dt} \langle p \rangle = \frac{i}{\hbar} \langle i\hbar \nabla V(x) \rangle = - \langle \nabla V(x) \rangle

Da auch der Ortsoperator nicht explizit zeitabhängig ist, folgt mit dem Ehrenfest-Theorem für dessen Zeitentwicklung:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \frac{d}{dt}\langle x\rangle=\frac{i}{\hbar}\langle[H,x]\rangle=\frac{i}{\hbar}\langle[\frac{p^{2}}{2m}+V(x),x]\rangle=\frac{i}{\hbar}\frac{1}{2m}\langle[p^{2},x]\rangle=\frac{i}{\hbar}\frac{1}{2m}\langle p\underbrace{[p,x]}_{-i\hbar}+\underbrace{[p,x]}_{-i\hbar}p\rangle=\frac{1}{m}\langle p\rangle

Dabei wurden die einfache Kommutatorrelation Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): [p^2,x]=p[p,x]+[p,x]p sowie die kanonischen Vertauschungsrelationen zwischen Impuls- und Ortsoperator verwendet.

Aus den beiden hergeleiteten Beziehungen

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): m\frac{d}{dt}\langle x\rangle=\langle p\rangle\ ,\quad\frac{d}{dt}\langle p\rangle=-\langle\nabla V(x)\rangle

folgt:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): m\frac{d^2}{dt^2}\langle x\rangle = -\langle\nabla V(x)\rangle = \langle F(x)\rangle

Hier wurde die Kraft $ F(x) $ als negativer Gradient des Potentials eingesetzt. Die Erwartungswerte der Orts- und Impulsoperatoren genügen also aus der Newtonschen Mechanik gewohnten Gleichungen, wobei wir allerdings statt des zu erwartenden Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): F(\langle x \rangle) den Ausdruck Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \langle F(x)\rangle vorfinden. Das leitet zur sogenannten klassischen Näherung über.

Klassische Näherung

Der Erwartungswert der Kraft Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): F(x) lässt sich in eine Taylorreihe um den Erwartungswert von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): x entwickeln:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \begin{align} \left\langle F(x)\right\rangle & =\left\langle F(\langle x\rangle)+F^{\prime}(\langle x\rangle)(x-\langle x\rangle)+\frac{1}{2}F^{\prime\prime}(\langle x\rangle)(x-\langle x\rangle)^{2}+\mathcal{O}(x^{3})\right\rangle \\ & =F(\langle x\rangle)+F^{\prime}(\langle x\rangle)\underbrace{\left\langle (x-\langle x\rangle)\right\rangle }_{=0}+\frac{1}{2}F^{\prime\prime}(\langle x\rangle)\underbrace{\left\langle (x-\langle x\rangle)^{2}\right\rangle }_{=(\Delta x)^{2}}+\left\langle \mathcal{O}(x^{3})\right\rangle \\ & =F(\langle x\rangle)+\frac{1}{2}F^{\prime\prime}(\langle x\rangle)(\Delta x)^{2}+\left\langle \mathcal{O}(x^{3})\right\rangle \end{align}

Berücksichtigt man nur den ersten Summanden, so erhält man

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \langle F(x)\rangle\approx F(\langle x \rangle) \qquad (*)

und somit

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): m\frac{d^2}{dt^2}\langle x\rangle = F(\langle x\rangle) .

In Worten bedeutet dies, dass sich der Erwartungswert der Position auf einer klassischen Bahn bewegt, d.h. der klassischen Bewegungsgleichung folgt. Das Ehrenfest-Theorem führt somit direkt auf eine Analogie der Quantenmechanik zur klassischen Mechanik - hier in Form des zweiten Newton'schen Axioms

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): m\frac{d^2}{dt^2}x=F(x) .

Die Annahme (*) und damit auch die klassische Bewegungsgleichung für quantenmechanische Erwartungswerte gelten allerdings nur dann exakt, falls die Kraft F(x) eine lineare Funktion der Position x ist. Dies gilt für die einfachen Fälle des harmonischen Oszillators oder des freien Teilchens (dann verschwinden alle Ortsableitungen der Kraft vom Grad größer gleich 2). Außerdem kann man sagen, dass (*) gilt, wenn die Breite der Aufenthaltswahrscheinlichkeit klein ist gegenüber der typischen Längenskala auf der die Kraft F(x) variiert.

Die Bewegungsgleichung für Erwartungswerte lautet mit der nächsten nichtverschwindenden Korrektur zur klassischen Bewegungsgleichung:

$ m{\frac {d^{2}}{dt^{2}}}\langle x\rangle =F(\langle x\rangle )+{\frac {1}{2}}F^{\prime \prime }(\langle x\rangle )(\Delta x)^{2} $

Siehe auch

• Liouville-Gleichung, Satz von Liouville (Physik)

Literatur

• Leslie E. Ballentine: Quantum Mechanics: A Modern Development 1. Auflage. World Scientific Publishing, Singapore 1998, ISBN 981-02-4105-4
• P. Ehrenfest: Bemerkung über die angenäherte Gültigkeit der klassischen Mechanik innerhalb der Quantenmechanik Zeitschrift für Physik A Ausgabe 45, Nummern 7-8 / Juli, 1927, Seiten 455-457.