Schrödinger-Bild

Modell für zeitabhängige Probleme in der Quantenmechanik

Das Schrödinger-Bild der Quantenmechanik ist ein Formalismus für den Umgang mit zeitabhängigen Problemen. Im Schrödinger-Bild wird die zeitliche Entwicklung der Zustände des Systems von den Zustandsvektoren getragen, die Operatoren ändern sich (abgesehen von eventuellen expliziten Zeitabhängigkeiten) nicht. Das Schrödinger-Bild unterscheidet sich damit vom Heisenberg-Bild der Quantenmechanik, in dem die Zustände zeitlich konstant sind und die Zeitentwicklung von den Operatoren getragen wird, sowie vom Wechselwirkungsbild, in dem sich sowohl Zustände als auch Operatoren mit der Zeit ändern. Das Schrödinger-Bild eignet sich vor allem zur Beschreibung von Problemen, in denen der Hamilton-Operator des Systems nicht explizit von der Zeit abhängt. Die Zeitentwicklung von Zuständen wird durch die Schrödingergleichung beschrieben:

wobei den Hamilton-Operator des Systems beschreibt. Die meisten Operatoren, z. B. der Ortsoperator oder der Impulsoperator tragen keine Zeitabhängigkeit (weder implizit noch explizit). Ist der Hamilton-Operator des Systems auch zeitunabhängig, so ist die Lösung der Schrödingergleichung zu einem Anfangszustand gegeben durch

Grundlagen

Bearbeiten

Die möglichen Zustände eines quantenmechanischen Systems sind Vektoren   in einem Hilbert-Raum  . Für jede messbare Eigenschaft des Systems gibt es nun einen hermiteschen Operator  . Der Erwartungswert der zugehörigen Messgröße bei wiederholter Messung an Systemen im selben Zustand   ist dann gegeben durch das Skalarprodukt  .

Sollen sich die Eigenschaften des Systems mit der Zeit verändern, so muss entweder der Zustand  , der Operator   oder beide eine Zeitabhängigkeit tragen. Je nach Modell kann man die Zeitentwicklung vollständig den Operatoren zuweisen (dann befindet man sich im Heisenberg-Bild) oder den Zuständen (dann befindet man sich im Schrödinger-Bild) oder gemischt beiden (dann befindet man sich im Wechselwirkungsbild). Alle diese Modelle sind äquivalent und liefern dieselben physikalischen Vorhersagen.

Zeitabhängigkeiten von Operatoren und Zuständen

Bearbeiten

Das Schrödinger-Bild ist vor allem dazu geeignet, Systeme zu beschreiben, in denen sich die äußeren Rahmenbedingungen (also zum Beispiel von außen angelegte elektromagnetische Felder, oder die geometrischen Abmessungen des Systems) nicht ändern. In diesem Fall tragen die Messgrößen bzw. ihre zugeordneten Operatoren keine explizite Zeitabhängigkeit, es gilt also für alle Observablen  :

 

Die Zeitabhängigkeit liegt stattdessen vollständig bei den Zuständen, deren Zeitentwicklung durch die Schrödinger-Gleichung

 

gegeben ist. Sind die Rahmenbedingungen des Systems nicht statisch, so können auch die Messgrößen eine explizite Zeitabhängigkeit tragen. Die Entwicklung des Zustands des Systems ist dann zwar weiterhin durch die Schrödingergleichung gegeben, allerdings trägt dann der Hamiltonoperator   des Systems in der Regel eine explizite Zeitabhängigkeit, die das Lösen der Schrödingergleichung verkompliziert.

Zeitentwicklungsoperator

Bearbeiten

Die Zeitentwicklung von Zuständen kann man auch als Wirkung eines zeitabhängigen, unitären Operators   auffassen. Dieser Operator bildet den anfänglichen Zustand   des Systems zum Zeitpunkt   auf die Lösung   der Schrödingergleichung zu einem anderen Zeitpunkt   ab:

 

Der Zeitentwicklungsoperator eines quantenmechanischen Systems spielt damit die analoge Rolle zum Fluss eines dynamischen Systems. Für die zugehörigen Bras   folgt daraus:

 

Wobei   den zu   adjungierten Operator bezeichnet.

Eigenschaften

Bearbeiten
  • Unitarität

Der Zeitentwicklungsoperator ist ein Unitärer Operator, die Norm eines quantenmechanischen Zustands ändert sich also in der zeitlichen Entwicklung nicht:

 

Wie für alle unitären Operatoren gilt damit für  , dass der zu   adjungierte Operator sein Inverses ist:

 
  • Identität

Ist t = t0, dann wirkt U wie der Einheitsoperator, da dann ja gilt:

 
  • Gruppeneigenschaft:

Seien drei Zeiten  ,   und   gegeben. Dann erfüllt der Zeitentwicklungsoperator die Bedingung:

 

Denn für beliebige Anfangszustände   muss ja gelten:

 

Differentialgleichung für den Zeitentwicklungsoperator

Bearbeiten

Für beliebige Anfangszustände   ist

 

eine Lösung der Schrödingergleichung, damit gilt also für beliebiges, festes  , dass

 

Da dies für beliebiges   gilt, muss schon die folgende Operator-Gleichung gelten:

 

Ist der Hamiltonian   nicht explizit zeitabhängig, so kann man diese Differentialgleichung für den Operator   durch einen einfachen Exponentialansatz lösen:

 

Die Exponentialfunktion eines Operators ist dabei für beschränkte Operatoren   über die zugehörige Potenzreihe

 

erklärt. Für unbeschränkte selbstadjungierte Operatoren, bei denen der Begriff der Konvergenz einer Potenzreihe nicht definiert ist, benötigt man zur Definition der Exponentialfunktion eines Operators Hilfsmittel wie die Spektralzerlegung des Operators.

Eigenzustände des Hamilton-Operators

Bearbeiten

Besonders einfach ist die Wirkung des Zeitentwicklungsoperators   auf Eigenvektoren des Hamiltonians  . Ist   ein Eigenvektor von   zum Eigenwert   so gilt:

 

Was man leicht überprüft, indem man den Zeitentwicklungsoperator als Potenzreihe ausschreibt. Die Eigenzustände des Hamilton-Operators ändern sich damit im zeitlichen Verlauf nur um einen Phasenfaktor. Schreibt man einen anderen Zustand   als Linearkombination von Eigenvektoren   des Hamiltonians mit Entwicklungskoeffizienten  , ist:

 

Dann gilt für die Zeitentwicklung von   aufgrund der Linearität des Zeitentwicklungsoperators

 

Damit ist die Lösung der zeitabhängigen Schrödingergleichung zurückgeführt auf das Problem der Entwicklung von Zuständen   nach den Eigenzuständen des Hamiltonians.

Zeitabhängiger Fall

Bearbeiten

Ist der Hamiltonian nicht zeitunabhängig, so verkompliziert sich die Bestimmung des Zeitentwicklungsoperators. Im allgemeinen Fall ist der Zeitentwicklungsoperator gegeben durch die Dyson-Reihe

 

wobei   den Zeitordnungsoperator bezeichnet. Nimmt man an, dass die Hamilton-Operatoren zwar zeitabhängig sind, aber zumindest miteinander kommutieren, also für beliebige  ,  die Bedingung

 

erfüllen, so wirkt der Zeitordnungsoperator als Identität und der Ausdruck vereinfacht sich zu

 

Literatur

Bearbeiten