Schrödinger-Bild

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Schrödingerbild)
Zur Navigation springen Zur Suche springen

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

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 | Quelltext 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 | Quelltext 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.

  • 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 | Quelltext 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 | Quelltext 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 | Quelltext 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