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 <math>|\psi\rangle = \mathrm{const.}</math>, sondern den Observablen <math>A = A(t)</math>. 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.

Grundlagen

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

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 physikalische Wirklichkeit. Transformationen, die dies leisten, heißen unitäre Transformationen <math>U</math> mit <math>U U^\dagger = 1</math>.

Definition

Im Schrödinger-Bild der Quantenmechanik gehorchen Zustände der Schrödingergleichung

<math>\mathrm i \hbar \partial_t |\psi_\mathrm S (t)\rangle = H_\mathrm S|\psi_\mathrm S(t)\rangle</math>

mit dem Hamiltonoperator <math>H_\mathrm S</math>. Die formale Lösung der Schrödingergleichung lautet

<math>|\psi_\mathrm S(t) \rangle = \mathcal T \exp\left(-\frac{\mathrm i}{\hbar} \int_{t_0}^t H_\mathrm S \mathrm dt' \right)|\psi_\mathrm S(t_0)\rangle</math>

mit einem frei wählbaren Zeitpunkt <math>t_0</math>, wobei

<math>\mathcal T \exp\left(-\frac{\mathrm i}{\hbar} \int_{t_0}^t H_\mathrm S \mathrm dt' \right) = U(t,t_0)</math>

der unitäre Zeitentwicklungsoperator ist. Für den Erwartungswert eines Operators <math>A</math> gilt also

<math>\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</math>.

Da messbare Größen wie die Erwartungswerte von Observablen in allen Bildern den gleichen Wert haben müssen, definiert man nun:

<math>|\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)</math>

Werden verschiedene Bilder der Quantenmechanik gleichzeitig verwendet, werden die Größen im Heisenberg-Bild in der Literatur oft (wie auch hier) mit einem Index <math>\mathrm H</math> versehen.

Eigenschaften

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

Kommutatoren von Operatoren bleiben forminvariant:

<math>\begin{align}

\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{align}</math>

Definiert man also <math>[A_\mathrm S, B_\mathrm S] = C_\mathrm S</math>, so ist <math>[A_\mathrm H(t),B_\mathrm H(t)] = C_\mathrm H(t)</math>.

Bewegungsgleichungen

Die Bewegungsgleichungen für Zustände im Heisenberg-Bild sind trivial:

<math>\partial_t |\psi_\mathrm H \rangle= 0 </math>

Diese Eigenschaft folgt aus der Definition des Heisenberg-Bildes.

Die Operatoren folgen der heisenbergschen Bewegungsgleichung

<math>\frac{\mathrm dA_\mathrm H}{\mathrm dt} = \frac{1}{\mathrm i \hbar} [A_\mathrm H,H_\mathrm H] + (\partial_t A_\mathrm S)_\mathrm H</math>.

Herleitung

Die heisenbergsche Bewegungsgleichung ist äquivalent zur Schrödingergleichung im Schrödinger-Bild und kann direkt aus dieser hergeleitet werden (zur Vereinfachung der Notation werden die Argumente des Zeitentwicklungsoperators unterdrückt):

<math>\frac{\mathrm dA_\mathrm H}{\mathrm dt} = \frac{\mathrm dU^\dagger}{\mathrm dt} A_\mathrm S U + U^\dagger \frac{\mathrm dA_\mathrm S}{\mathrm dt} U + U^\dagger A_\mathrm S \frac{\mathrm dU}{\mathrm dt}</math>.

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 <math>\mathrm dU/\mathrm dt = \tfrac{1}{\mathrm i\hbar} H_\mathrm S U</math>. Da der Hamiltonoperator selbstadjungiert ist (<math>H^\dagger = H</math>), ergibt sich nach Einsetzen

<math>\frac{\mathrm dA_\mathrm H}{\mathrm dt} =- \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</math>.

Aus der Forminvarianz des Kommutators und der Definition der Operatoren im Heisenberg-Bild folgt die Heisenberg-Gleichung.

Erhaltungsgrößen, abgeschlossene Systeme

Ein nicht explizit zeitabhängiger Operator, der im Heisenberg-Bild mit dem Hamiltonoperator kommutiert, korrespondiert zu einer Erhaltungsgröße, denn dann gilt:

<math>\frac{\mathrm dA_\mathrm H}{\mathrm dt} = \frac{1}{\mathrm i\hbar} [A_\mathrm H, H_\mathrm H] = 0</math>.

Entsprechend ändern sich auch seine Eigenwerte mit der Zeit nicht und da die Zustände im Heisenberg-Bild generell nicht zeitabhängig sind, ändert sich auch sein Erwartungswert nicht.

Insbesondere gilt für den Hamiltonoperator

<math>\frac{\mathrm dH_\mathrm H}{\mathrm dt} = \partial_t H_\mathrm H</math>,

der Hamiltonoperator hängt also, wenn überhaupt, nur explizit von der Zeit ab. Für abgeschlossene Systeme ist <math>\partial_t H_\mathrm H = 0</math> und somit die Energie eine Erhaltungsgröße. In diesem Fall vereinfacht sich der Zeitentwicklungsoperator zu

<math>U = \exp\left(-\frac{\mathrm i}{\hbar} H_\mathrm S(t-t_0)\right)</math>

und kommutiert zu jeder Zeit mit dem Hamiltonoperator. Somit ist

<math>H_\mathrm H = U^\dagger H_\mathrm S U = U^\dagger U H_\mathrm S = H_\mathrm S</math>.

Ehrenfest-Theorem

{{#if: Ehrenfest-Theorem|{{#ifexist:Ehrenfest-Theorem|

|{{#if: |{{#ifexist:{{{2}}}|

→ Haupt{{#if:|seite|artikel}}: [[{{{2}}}{{#if: ||{{{titel2}}}}}]]{{#if: |{{#ifexist:{{{3}}}| und [[{{{3}}}{{#if: ||{{{titel3}}}}}]]|}}|}}

|{{#if: |{{#ifexist:{{{3}}}|

→ Haupt{{#if:|seite|artikel}}: [[{{{3}}}{{#if: ||{{{titel3}}}}}]]

|}}|}}|}}|}}|}}|Einbindungsfehler: Die Vorlage Hauptartikel benötigt immer mindestens ein Argument.}}

Für den Erwartungswert von Observablen gilt nach der heisenbergschen Bewegungsgleichung

<math>\left\langle\frac{\mathrm d A_\mathrm H}{\mathrm dt}\right\rangle = \frac{1}{\mathrm i\hbar} \langle [A_\mathrm H, H_\mathrm H]\rangle + \langle (\partial_t A_\mathrm S)_\mathrm H\rangle</math>.

Da im Heisenberg-Bild Zustände zeitunabhängig sind, kann der Erwartungswert sowohl auf der linken Seite als auch im letzten Term auf der rechten Seite an der Zeitableitung vorbei gezogen werden. Da Erwartungswerte nicht vom gewählten Bild abhängig sein können, folgt direkt das Ehrenfest-Theorem

<math>\frac{\mathrm d\langle A\rangle}{\mathrm dt} = \frac{1}{\mathrm i \hbar} \langle[A,H]\rangle + \langle \partial_t A\rangle</math>.

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 <math>|\psi_\mathrm H\rangle </math> als den Träger aller Informationen, die man über das System besitzt. Diese Information verändert sich durch die unitäre Zeitentwicklung des Systems 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; <math>A_\mathrm{kl} = A_\mathrm{kl}(q,p,t)</math>.

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 <math>\{\cdot,\cdot\}</math> und der Hamiltonfunktion <math>H_\mathrm{kl}</math>

<math>\frac{\mathrm dA_\mathrm{kl}}{\mathrm dt} = \{A_\mathrm{kl},H_\mathrm{kl}\} + \partial_t A_\mathrm{kl}</math>,

was ein direktes Analogon zur Quantenmechanik liefert, wenn die Poisson-Klammern durch den Kommutator ersetzt werden.

Literatur

{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}