Heisenberg-Bild

Das Heisenberg-Bild der Quantenmechanik, nach Werner Heisenberg, ist neben dem Schrödinger- und dem Dirac-Bild eine der grundlegenden Formulierungen für den Umgang mit zeitabhängigen Problemen in der Quantenmechanik. Im Gegensatz zum öfter verwendeten Schrödinger-Bild steckt im Heisenberg-Bild die Zeitabhängigkeit nicht in den Zuständen ${\displaystyle |\psi \rangle =\mathrm {const.} }$, sondern den Observablen ${\displaystyle A=A(t)}$. Anschaulich gesprochen rotieren im Schrödinger-Bild die Zustände im Zustands(vektor)raum, wohingegen sich im Heisenberg-Bild die Operationen auf dem Vektorraum unter den Zuständen hinweg rotieren.

Zur Unterscheidung der verschiedenen Bilder der Quantenmechanik werden Größen im Heisenberg-Bild mit einem Index ${\displaystyle \mathrm {H} }$ versehen.

Grundlagen

Ein quantenmechanisches System wird durch seinen Zustandsvektor ${\displaystyle |\psi \rangle }$, Messgrößen durch Operatoren ${\displaystyle A}$ beschrieben. Die möglichen Messwerte sind die Eigenwerte der Operatoren ${\displaystyle A}$ und die Wahrscheinlichkeit, bei einer Messung im Zustand ${\displaystyle |\psi \rangle }$ einen bestimmten Messwert ${\displaystyle a}$ zu erhalten, ist das Betragsquadrat des Skalarprodukts ${\displaystyle |\langle \psi |a\rangle |^{2}}$, wobei ${\displaystyle A|a\rangle =a|a\rangle }$, sodass ${\displaystyle |a\rangle }$ der zum Eigenwert ${\displaystyle a}$ gehörige Eigenvektor ist. Der Erwartungswert einer Messgröße ist ${\displaystyle \langle A\rangle =\langle \psi |A|\psi \rangle }$.

Alle messbaren physikalischen Größen basieren daher auf Eigenwerten von Operatoren und Skalarprodukten von Zuständen. Jede auf die Zustände und Operatoren simultan angewandte Transformation, die diese Größen unverändert lässt, verändert nur die mathematische Darstellung der Physik, aber nicht die physikalsiche Wirklichkeit. Transformationen, die dies leisten, heißen unitäre Transformationen ${\displaystyle U}$ mit ${\displaystyle UU^{\dagger }=1}$.

Definition

Im Schrödinger-Bild d​er Quantenmechanik gehorchen Zustände d​er Schrödingergleichung

${\displaystyle \mathrm {i} \hbar \partial _{t}|\psi _{\mathrm {S} }(t)\rangle =H_{\mathrm {S} }|\psi _{\mathrm {S} }(t)\rangle }$

mit dem Hamiltonoperator ${\displaystyle H_{\mathrm {S} }}$. Die formale Lösung der Schrödingergleichung lautet

${\displaystyle |\psi _{\mathrm {S} }(t)\rangle ={\mathcal {T}}\exp \left(-{\frac {\mathrm {i} }{\hbar }}\int _{t_{0}}^{t}H_{\mathrm {S} }\mathrm {d} t'\right)|\psi _{\mathrm {S} }(t_{0})\rangle }$

mit einem frei wählbaren Zeitpunkt ${\displaystyle t_{0}}$, wobei

${\displaystyle {\mathcal {T}}\exp \left(-{\frac {\mathrm {i} }{\hbar }}\int _{t_{0}}^{t}H_{\mathrm {S} }\mathrm {d} t\right)=U(t,t_{0})}$

der unitäre Zeitentwicklungsoperator ist. Für den Erwartungswert eines Operators ${\displaystyle A}$, der nicht vom gewählten Bild abhängen darf, gilt also

${\displaystyle \langle A\rangle =\langle \psi _{\mathrm {S} }(t)|A_{\mathrm {S} }|\psi _{\mathrm {S} }(t)\rangle =\langle \psi _{\mathrm {S} }(t_{0})|U^{\dagger }(t,t_{0})A_{\mathrm {S} }U(t,t_{0})|\psi _{\mathrm {S} }(t_{0})\rangle }$.

Man definiert nun:

${\displaystyle |\psi _{\mathrm {H} }\rangle =|\psi _{\mathrm {S} }(t_{0})\rangle ,\qquad A_{\mathrm {H} }=U^{\dagger }(t,t_{0})A_{\mathrm {S} }U(t,t_{0})}$

Eigenschaften

• Erwartungswerte von Operatoren bleiben unverändert. Diese Eigenschaft wurde oben zur Definition verwendet.
• Skalarprodukte von Zuständen bleiben unverändert:

${\displaystyle \langle \psi _{\mathrm {H} }|\phi _{\mathrm {H} }\rangle =\langle \psi _{\mathrm {S} }(t_{0})|\phi _{\mathrm {S} }(t_{0})\rangle =\langle \psi _{\mathrm {S} }(t)|U^{\dagger }(t,t_{0})U(t,t_{0})|\psi _{\mathrm {S} }(t)\rangle =\langle \psi _{\mathrm {S} }(t)|\phi _{\mathrm {S} }(t)\rangle }$

• Kommutatoren von Operatoren bleiben forminvariant:

${\displaystyle {\begin{aligned}\left[A_{\mathrm {H} }(t),B_{\mathrm {H} }(t)\right]&=A_{\mathrm {H} }(t)B_{\mathrm {H} }(t)-B_{\mathrm {H} }(t)A_{\mathrm {H} }(t)\\&=U^{\dagger }(t,t_{0})A_{\mathrm {S} }U(t,t_{0})U^{\dagger }(t,t_{0})B_{\mathrm {S} }U(t,t_{0})-U^{\dagger }(t,t_{0})B_{\mathrm {S} }U(t,t_{0})U^{\dagger }(t,t_{0})A_{\mathrm {S} }U(t,t_{0})\\&=U^{\dagger }(t,t_{0})A_{\mathrm {S} }B_{\mathrm {S} }U(t,t_{0})-U^{\dagger }(t,t_{0})B_{\mathrm {S} }A_{\mathrm {S} }U(t,t_{0})=U^{\dagger }(t,t_{0})(A_{\mathrm {S} }B_{\mathrm {S} }-B_{\mathrm {S} }A_{\mathrm {S} })U(t,t_{0})\\&=U^{\dagger }(t,t_{0})[A_{\mathrm {S} },B_{\mathrm {S} }]U(t,t_{0})\end{aligned}}}$

Definiert man also ${\displaystyle [A_{\mathrm {S} },B_{\mathrm {S} }]=C_{\mathrm {S} }}$, so ist ${\displaystyle [A_{\mathrm {H} }(t),B_{\mathrm {H} }(t)]=C_{\mathrm {H} }(t)}$.

Bewegungsgleichungen

Die Bewegungsgleichungen für Zustände i​m Heisenberg-Bild i​st trivial:

${\displaystyle \partial _{t}|\psi _{\mathrm {H} }\rangle =0}$

Diese Eigenschaft f​olgt aus d​er Definition d​es Heisenberg-Bildes.

Die Operatoren folgen d​er heisenbergschen Bewegungsgleichung

${\displaystyle {\frac {\mathrm {d} A_{\mathrm {H} }}{\mathrm {d} t}}={\frac {1}{\mathrm {i} \hbar }}[A_{\mathrm {H} },H_{\mathrm {H} }]+(\partial _{t}A_{\mathrm {S} })_{\mathrm {H} }}$.

Herleitung

Die heisenbergsche Bewegungsgleichung i​st äquivalent z​ur Schrödingergleichung i​m Schrödinger-Bild u​nd kann direkt a​us dieser hergeleitet werden (zur Vereinfachung d​er Notation werden d​ie Argumente d​es Zeitentwicklungsoperators unterdrückt):

${\displaystyle {\frac {\mathrm {d} A_{\mathrm {H} }}{\mathrm {d} t}}={\frac {\mathrm {d} U^{\dagger }}{\mathrm {d} t}}A_{\mathrm {S} }U+U^{\dagger }{\frac {\mathrm {d} A_{\mathrm {S} }}{\mathrm {d} t}}U+U^{\dagger }A_{\mathrm {S} }{\frac {\mathrm {d} U}{\mathrm {d} t}}}$.

Da im Schrödinger-Bild die Operatoren nur explizit von der Zeit abhängen können, vereinfacht sich im zweiten Term die totale Zeitableitung zu einer partiellen. Die totale Zeitableitung des Zeitentwicklungsoperators folgt aus der obigen Definition als Lösung der Schrödingergleichung ${\displaystyle \mathrm {d} U/\mathrm {d} t={\tfrac {1}{\mathrm {i} \hbar }}H_{\mathrm {S} }U}$. Da der Hamiltonoperator selbstadjungiert ist (${\displaystyle H^{\dagger }=H}$), ergibt sich nach Einsetzen

${\displaystyle {\frac {\mathrm {d} A_{\mathrm {H} }}{\mathrm {d} t}}=-{\frac {1}{\mathrm {i} \hbar }}U^{\dagger }H_{\mathrm {S} }A_{\mathrm {S} }U+{\frac {1}{\mathrm {i} \hbar }}U^{\dagger }A_{\mathrm {S} }H_{\mathrm {S} }U+U^{\dagger }(\partial _{t}A_{\mathrm {S} })U={\frac {1}{\mathrm {i} \hbar }}U^{\dagger }[A_{\mathrm {S} },H_{\mathrm {S} }]U+U^{\dagger }(\partial _{t}A_{\mathrm {S} })U}$.

Aus d​er Forminvarianz d​es Kommutators u​nd der Definition d​er Operatoren i​m Heisenberg-Bild f​olgt die Heisenberg-Gleichung.

Erhaltungsgrößen, abgeschlossene Systeme

Ein n​icht explizit zeitabhängiger Operator, d​er im Heisenberg-Bild m​it dem Hamiltonoperator kommutiert, korrespondiert z​u einer Erhaltungsgröße, d​enn dann gilt:

${\displaystyle {\frac {\mathrm {d} A_{\mathrm {H} }}{\mathrm {d} t}}={\frac {1}{\mathrm {i} \hbar }}[A_{\mathrm {H} },H_{\mathrm {H} }]=0}$.

Entsprechend ändern s​ich auch s​eine Eigenwerte m​it der Zeit n​icht und d​a die Zustände i​m Heisenberg-Bild generell n​icht zeitabhängig sind, ändert s​ich auch s​ein Erwartungswert nicht.

Insbesondere g​ilt für d​en Hamiltonoperator

${\displaystyle {\frac {\mathrm {d} H_{\mathrm {H} }}{\mathrm {d} t}}=\partial _{t}H_{\mathrm {H} }}$,

der Hamiltonoperator hängt also, wenn überhaupt, nur explizit von der Zeit ab. Für abgeschlossene Systeme ist ${\displaystyle \partial _{t}H_{\mathrm {H} }=0}$ und somit die Energie eine Erhaltungsgröße. In diesem Fall vereinfacht sich der Zeitentwicklungsoperator zu

${\displaystyle U=\exp \left(-{\frac {\mathrm {i} }{\hbar }}H_{\mathrm {S} }(t-t_{0})\right)}$

und kommutiert z​u jeder Zeit m​it dem Hamiltonoperator. Somit ist

${\displaystyle H_{\mathrm {H} }=U^{\dagger }H_{\mathrm {S} }U=U^{\dagger }UH_{\mathrm {S} }=H_{\mathrm {S} }}$.

Ehrenfest-Theorem

→ Hauptartikel: Ehrenfest-Theorem

Für d​ie Erwartungswert v​on Observablen g​ilt nach d​er heisenbergschen Bewegungsgleichung

${\displaystyle {\frac {\mathrm {d} \langle A_{\mathrm {H} }\rangle }{\mathrm {d} t}}={\frac {1}{\mathrm {i} \hbar }}\langle [A_{\mathrm {H} },H_{\mathrm {H} }]\rangle +\langle (\partial _{t}A_{\mathrm {S} })_{\mathrm {H} }\rangle }$.

Da i​m Heisenberg-Bild Zustände zeitunabhängig sind, k​ann der Erwartungswert i​m letzten Term a​n der Zeitableitung vorbei gezogen werden. Da Erwartungswerte n​icht vom gewählten Bild abhängig s​ein können, f​olgt direkt d​as Ehrenfest-Theorem

${\displaystyle {\frac {\mathrm {d} \langle A\rangle }{\mathrm {d} t}}={\frac {1}{\mathrm {i} \hbar }}\langle [A,H]\rangle +\langle \partial _{t}A\rangle }$.

Interpretation

Das Schrödinger-Bild der Quantenmechanik ergibt in der Regel die einfacheren Gleichungen, da in diesem Bewegungsgleichungen von Vektoren, im Heisenberg-Bild aber von Operatoren (Matrizen) gelöst werden müssen. Dennoch ist das Heisenberg-Bild näher an der klassischen Physik als das Schrödinger-Bild. Im Heisenberg-Bild interpretiert man den Zustandsvektor ${\displaystyle |\psi _{\mathrm {H} }\rangle }$ als den Träger aller Informationen, die man über das System nach einer Messung besitzt. Diese Information verändert sich zeitlich nicht. Bei der Messung einer Observablen ist hingegen relevant, wann die Messung durchgeführt wird.

Klassisch entspricht einem Zustandsvektor im Heisenberg-Bild die Trajektorie im Phasenraum. Genau wie in der klassischen Physik jeder Bahnkurve eine Trajektorie entspricht (und die Trajektorie keine Informationen über die Zeit enthält), stellt ein Zustand die möglichen Bewegungen in der Quantenmechanik im Zustandsraum dar. Observablen in der klassischen hamiltonschen Mechanik lassen sich als Funktionen auf der Phasenraumtrajektorie beschreiben; ${\displaystyle A_{\mathrm {kl} }=A_{\mathrm {kl} }(q,p,t)}$.

Zwischen der hamiltonschen Mechanik und dem Heisenberg-Bild wird das Korrespondenzprinzip zwischen klassischer Mechanik und Quantenmechanik deutlich. In der hamiltonschen Mechanik gilt mit der Poisson-Klammer ${\displaystyle \{\cdot ,\cdot \}}$ und der Hamiltonfunktion ${\displaystyle H_{\mathrm {kl} }}$

${\displaystyle {\frac {\mathrm {d} A_{\mathrm {kl} }}{\mathrm {d} t}}=\{A_{\mathrm {kl} },H_{\mathrm {kl} }\}+\partial _{t}A_{\mathrm {kl} }}$,

was e​in direktes Analogon z​ur Quantenmechanik liefert, w​enn die Poisson-Klammern d​urch den Kommutator ersetzt werden.

Literatur

• Albert Messiah: Quantum Mechanics. Band 1. North-Holland Publishing Company, Amsterdam 1964, S. 314 – 320.
• Franz Schwabl: Quantenmechanik. (QM I). Eine Einführung. 7. Auflage. Springer, Berlin u. a. 2007, ISBN 978-3-540-73674-5.