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 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/“:): H wie folgt in Zusammenhang steht:

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{\mathrm d}{\mathrm dt}\langle O\rangle = \frac{1}{\mathrm i\hbar }\langle [O,H] \rangle + \left\langle \frac{\partial O}{\partial t}\right\rangle

Dabei stellt $ O $ einen quantenmechanischen Operator und 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 O \rangle dessen Erwartungswert dar.

Klassisches Analogon

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

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{\mathrm d}{\mathrm dt}f(p,q,t) = \{f,H\} + \frac{\partial f}{\partial t}

mit der Poisson-Klammer 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,H\} = \nabla_q f \nabla_p H - \nabla_p f \nabla_q H . Bei der Quantisierung wird die Poisson-Klammer durch den mit 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/“:): \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 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/“:): |\psi\rangle . Man erhält somit für die Zeitableitung des Erwartungswertes eines Operators O:

$ {\begin{aligned}{\frac {\mathrm {d} }{\mathrm {d} t}}\langle O\rangle &={\frac {\mathrm {d} }{\mathrm {d} t}}\langle \psi |O|\psi \rangle ={\frac {\mathrm {d} \langle \psi |}{\mathrm {d} t}}O|\psi \rangle +\langle \psi |{\frac {\mathrm {d} O}{\mathrm {d} t}}|\psi \rangle +\langle \psi |O{\frac {\mathrm {d} |\psi \rangle }{\mathrm {d} t}}\\&={\frac {\mathrm {d} \langle \psi |}{\mathrm {d} t}}O|\psi \rangle +\langle \psi |O{\frac {\mathrm {d} |\psi \rangle }{\mathrm {d} t}}+\left\langle {\frac {\mathrm {d} O}{\mathrm {d} t}}\right\rangle \end{aligned}} $.

Da im Schrödingerbild die Operatoren und Zustände nur explizit von der Zeit abhängen können, vereinfachen sich die totalen Zeitableitungen zu partiellen (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/“:): \mathrm d/\mathrm dt = \partial/\partial t ). Man betrachtet nun die Schrödingergleichung

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{\partial |\psi\rangle}{\partial t} = \frac{1}{\mathrm i\hbar}H|\psi\rangle

Konjugiert man diese Gleichung und beachtet, dass der Hamilton-Operator 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/“:): H selbstadjungiert ist, so 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/“:): \frac{\partial \langle\psi|}{\partial t} = -\frac{1}{\mathrm i\hbar}\langle\psi|H .

Einsetzen dieser Relationen liefert nun:

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{\mathrm d}{\mathrm dt}\langle O\rangle = \frac{1}{\mathrm i\hbar}\langle \psi|OH|\psi\rangle - \frac{1}{\mathrm i\hbar} \langle \psi|HO|\psi\rangle + \left\langle\frac{\partial O}{\partial t}\right\rangle = \frac{1}{\mathrm i\hbar}\langle[O,H]\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:

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[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 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,p] in der Ortsdarstellung ausgewertet, also mit 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=-i\hbar\nabla , 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=V(x) und 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/“:): \Psi=\Psi(x) :

$ [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 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) als negativer Gradient des Potentials eingesetzt. Die Bewegungsgleichungen für den Erwartungswert des Orts- und Impulsoperators sind also nahezu identisch zu denen der klassischen Mechanik, wobei jedoch die Kraft am Erwartungswert des Ortes $ F(\langle x\rangle ) $ durch den 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/“:): \langle F(x)\rangle ersetzt ist. Wenn die Kraft keine lineare Funktion des Ortes ist, kann der Erwartungswert nicht in das Argument absorbiert werden und klassische und quantenmechanische Bewegungsgleichungen weichen voneinander ab.

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

$ 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:

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)+\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, S. 455–457.