Zum Inhalt springen

Quantenmechanik/ Zeitentwicklung

Aus Wikibooks

Vorbemerkung. Die Dynamik der Zeitentwicklung in diesem Abschnitt modelliert isolierte, ungestörte Systeme. Nach einer Reaktion mit der Umwelt, etwa mit einem Detektor, welche die Theorie nur statistisch vorhersagen kann, hört die Beschreibung mit einem vorgegebenen Zustand auf -- sei er veränderlich (im Schrödinger-Bild) oder festgenagelt (im Heisenberg-Bild).

Zeitentwicklung von Erwartungswerten

[Bearbeiten]

Jede Lösung der Schrödinger-Gleichung

definiert als Funktionen der Zeit die Erwartungswerte von Operatoren F.

Operatoren H und F sind hermitesch, also etwa in Dirac-Schreibweise: Das ist der partiellen Integration mit stark abfallenden Funktionen zu verdanken. Multiplikatoren in den Operatoren sind reell bei Termen mit geradzahliger Ortsableitung und imaginär bei denen mit ungeradzahliger Ableitung.

Gleich wird gezeigt: Die Erwartungswerte von Ort und Impuls erfüllen die Gleichung von klassischen Teilchenbahnen. Ein Indiz dafür, dass die Wellenmechanik im Grenzfall in die klassische Mechanik übergeht. Aber kein Beweis, warum die quantenmechanisch erlaubten Superpositionen, Verschränkungen, Schrödinger- Katzen etc. makroskopisch nie auftauchen. Der Einfluss der Umgebung wird in der Theorie der Dekohärenz dafür verantwortlich gemacht. Allerdings zeigt diese nur, dass örtlich weit gestreute Zustände in fluktuierenden Umgebungen unstabil sind -- streng im Rahmen der Schrödinger-Gleichung. Der Kollaps auf einen ganz bestimmten Zustand sprengt diesen Rahmen der unitären Zeitentwicklung. Die Standard-Theorie bleibt eine Erklärung schuldig.

1. Kontinuitätsgleichung
Diese ist leicht hinzuschreiben für Paare von Lösungen derselben Schrödinger-Gleichung. Ein reelles Potenzial wird vorausgesetzt. Als Spezialfall folgt die Erhaltung der Wahrscheinlichkeit.

mit Addition/Subtraction eines Terms
Es folgt eine Kontinuitätsgleichung, Zeitableitung der Dichte = Divergenz:

2. Zeitableitung Orts-Operator

(mögliche Definition des Impuls-Operators)
Mit

entfallen die Terme mit V und es verbleibt

Die eckige Klammer ist wie oben von der Form und es wird angenommen, dass alle Funktionen in allen Richtungen schnell abfallen. In den Termen mit Index ergibt das Integral über schon Null. Für Index i kann partiell integriert werden

Wird der zweite Term partiell integriert, kommt als Integrand Insgesamt folgt wie behauptet

3. Zeitableitung Impuls-Operator
(Satz von Ehrenfest)

Die erste eckige Klammer hat die Form

und hat als Divergenz ein verschwindendes Integral, nach allen Voraussetzungen. Die zweite eckige Klammer schrumpft zu und damit folgt die Formel von Ehrenfest, also das Gesetz von Newton für Erwartungswerte.:

Der Unterschied zur klassischen Mechanik ist, dass der Erwartungswert des Potenzial-Gradienten, und nicht der Gradient am Erwartungswert der Position, zu nehmen ist.

4. Zeitableitung allgemeiner Operator F

Mit und wegen der Hermitizität von Operator H wird

In ersten Term kommt heraus, im letzten Die zweiten Ableitungen in H werden mit partieller Integration von auf herübergeschaufelt. Damit folgt also die Behauptung.

Wenn ein Operator F nicht explizit von der Zeit abhängt und wenn er mit dem Operator H vertauscht, dann sind seine Erwartungswerte konstant. Vertauschbarkeit mit dem Hamilton-Operator bedeutet: die Werte des Operators sind Erhaltungsgrößen oder Konstanten der Bewegung.

Der Virialsatz

[Bearbeiten]

Lemma zu Operator-Funktionen.
Seien A,B nicht-vertauschbare Operatoren, doch es gelte [B,[A,B]]=0. Sei f() ein Polynom oder eine Taylor-Reihe mit reellen oder komplexen Koeffizienten. Dann kann man die Kommutatoren [A,f(B)] so berechnen:

die Ableitung von f bezeichnet.

Zum Beweis beschränkt man sich auf Monome und zeigt:

Induktionsanfang:

Induktion: Es gelte

Die letzte Klammer ist und damit folgt insgesamt

Berechnen wir die Zeitentwicklung des Operators

Zunächst rechnet man eindimensionale Teile:

weil x und V(x) kommutieren,
mit dem Lemma

Damit jetzt dreidimensional weiter:

Hier bezeichnet T die kinetische Energie. Die Zeitabhängigkeit steckt in
Ist stationär, ist die Zeitableitung von Null. Daraus folgt der

Virialsatz für stationäre Zustände:

Zeitentwicklungsoperator

[Bearbeiten]

Unter Ausnutzung des Zeitentwicklungsoperators ergibt sich die allgemeine Lösung der Schrödingergleichung:

eingesetzt wird daraus die zur Schrödingergleichung äquivalente Operatorgleichung:

Die Entwicklung des Zeitentwicklungsoperators um bei einer infinitesimalen Änderung der Zeit ergibt:

Die Terme höherer Ordnung können vernachlässigt werden. kann nun als Produkt dieser infinitesimalen unitären Operatoren dargestellt werden, das heißt Operatoren der Form "Eins plus i mal Hermitesch":

Daraus folgt dann die Unitarität des Zeitentwicklungsoperators.

Schrödinger-Bild

[Bearbeiten]

Das Schrödinger-Bild zeichnet sich dadurch aus, dass in ihm quantenmechanische Zustände zeitabhängig sind, während die Operatoren nur explizit von der Zeit abhängen können. Ist der Zustand eines Quantensystems zu einem Zeitpunkt bekannt, so ergibt sich die dynamische Entwicklung des Systems eindeutig durch Lösen der Schrödinger-Gleichung:

Es gilt also: Sei gegeben. Nun ergibt sich die Wahrscheinlichkeit X zu finden:

Wenden wir nun den Zeitentwicklungsoperator auf den Zustand an:

Damit ergibt sich für unsere Wahrscheinlichkeit:

Energie-Zeit-Unschärfe, Drift von Zustand und Observablen

[Bearbeiten]

Ausgehend von der Zeitentwicklung, hängt die Energie-Streuung eines Zustands zusammen mit der Zeitspanne, in der seine Messwerte stark genug korreliert bleiben. Gegeben sei ein Zustand und Operatoren Definiert wurde die Streuung oder Standardabweichung von Erwartungswerten:

Die allgemeine Operator-Unschärferelation lautet dann

Der Zustand soll sich nach einer Schrödinger-Gleichung ungestört entwickeln. Es folgt für Operator-Erwartungswerte

hermitesch,

im einfachen Fall wo weder B noch H explizit von der Zeit abhängen sollen. Man setze A=H und die Energie-Unschärfe oder Energie-Streuung des Zustands.

Nun definiert man ein charakteristisches Zeitintervall durch:

ist die Zeit, in der sich die Observable B im Zustand um eine Standardabweichung ändern kann. Damit folgt leicht von B unabhängig:

Ein Argument ohne Operatoren: Die zeitliche Korrelation C(t) des Zustands kann definiert werden als

Für einen Energie-Eigenzustand hat sie den konstanten Betrag 1, aber

Man nimmt nun an, dass um den Energie-Erwartungswert herum die Koeffizienten innerhalb der Streubreite dominieren. Der Phasenfaktor wird ausgeklammert. Es bleibt eine Reihe Allgemeine Argumente der Fourier-Analyse besagen dann, dass für Zeiten der Betrag der Korrelation C(t) stark abfällt. Also ergibt

die Zeitspanne, in der ein nichtstationärer Zustand seine Form beibehält.

Mögliche Deutung dieser Energie-Zeit-Unschärfe: Für jedes Paar von Zustand und Observablen ist die Streuung des Energie-Erwartungswerts, mal Zeitdauer eines gültigen Observablen-Erwartungswerts, mindestens Alle Observablen des veränderlichen Zustands haben diese charakteristische Verfallszeit. Ist der Zustand nicht stationär, also kein Energie-Eigenzustand, kann dennoch seine Energie umso genauer bestimmt werden, je länger die Korrelationen dauern, je beständiger alle messbaren Größen ihre Werte beibehalten. Wenn zum Beispiel der Zustand durch spontante Emission oder radioaktiv zerfällt, bedeutet eine kurze Lebensdauer eine weite Streuung der beteiligten Energien. Etwa, unscharfe Spetrallinie, große Zerfallsbreite oder Massen-Unschärfe eines Elementarteilchens.

Nicht gerechtfertigt scheint die Behauptung, ein Prozess könne für kurze Zeit die Energieerhaltung verletzen, nach dem Motto Gratis-Energie-mal-Zeit gleich Planck-Quantum. Nur rein rechnerisch erscheinen in Störungs-Algorithmen virtuelle (nicht zu beobachtende) Zwischenzustände mit allen möglichen Energie-Eigenwerten.

Operator-Exponentialfunktion

[Bearbeiten]

Zur Integration einer Schrödinger-Gleichung kann man die Approximation in kleinen Schritten probieren. Das Zeitintervall [0,t] sei in n Stücke geteilt. Im Teilstück k geht es nach folgendem Schema vorwärts:

Der Zeitentwicklungs-Operator als Grenzwert dieser Folge ist eine Operator-Exponentialfunktion:

Das Rechnen mit Funktionen auf einer Algebra von Operatoren oder Matrizen erbt viel vom Rechnen mit Zahlen.

Wenn ein Operator F eine Spektraldarstellung hat, gibt es ein vollständiges Orthonormalsystem aus Eigenvektoren, als (unendliche) Folge oder vielleicht als kontinuierliche Familie von uneigentlichen Vektoren. Dann ist klar, wie eine Funktion wie oder irgendeine andere Operatorfunktion G(F) von F ausgerechnet wird. Man wende die Funktion auf die Eigenwerte an. Ein beliebiger Vektor u wird in der Eigenbasis entwickelt, die Operator-Funktionsbilder der Eigenwerte werden mit den Koeffizienten von u malgenommen, der Ergebnis-Vektor wird daraus aufaddiert.

Wenn H ein hermitescher Operator ist, dann ist ein unitärer Operator, und umgekehrt. Die Familie ist eine Halbgruppe und sie ist kommutativ.

Zum Nachrechnen darf man konventionelle Differenzialrechnung anwenden:

Ausgewertet bei ergibt dies also ist H hermitesch.

Allgemein hat eine Differenzialgleichung mit dem linearen, beschränkten Operator A auf dem Vektorraum der die Lösung

Bei einer Ähnlichkeitstransformation operiert A linear auf anderen Operatoren B:

und es gibt die Operator-Differenzialgleichung

Hier ist ein linearer Operator auf einem Raum der Operatoren. Folglich ergibt B(t), als Exponentialreihe in eine Kommutator-Reihe:

Speziell t=1:

Dyson-Reihe der Zeitentwicklung

[Bearbeiten]

Im allgemeinen Fall ist H nicht konstant und die formale Integration zum Zeitentwicklungs-Operator etwas komplizierter. Gegeben ist die Differenzialgleichung:
Das hermitesche sei nun eine zeitabhängige Operator-Funktion. Die Operatoren zu verschiedenen Zeiten kommutieren nicht. Mit Anfangswert bei der Zeit ist folgende Integralgleichung eine anders verpackte Version derselben Differenzialgleichung:

Für setzt man nun genau diesen Ausdruck noch einmal ein und startet so eine Iteration, oder soll man sie Rekursion nennen?

Mit der Abkürzung bleiben in einer unendlichen Reihe nur noch die Operatoren und der Anfangswert von  :

Die Reihe über Operatorprodukte in der eckigen Klammer entwickelt den unitären Zeitentwicklungs-Operator Von der Frage nach Konvergenz einmal abgesehen, sind in jedem Term die G-Faktoren nach absteigender Zeit geordnet.

Im typischen Term von der Ordnung n:

kommen als Operator-Argumente alle Mengen von n Zeiten zwischen und vor. Aber sie sind geordnet in einem Simplex ('Tetraeder' der Dimension n). Ein künstlerischer Trick ist nun dieser: Man dehnt den Integrationsbereich auf den ganzen Hyperwürfel aus, n mal das Intervall, Und man sagt dem Integranden, er solle sich gefälligst nach absteigender Zeit ordnen. Man definiert das zeitgeordnete Produkt von n Operatoren

wo diejenige Permutation ist, für die die Zeitpunkte absteigend geordnet sind.
Werden alle Permutationen der Zeiten, das T-Produkt und das Vielfachintegral über benutzt, dann zählt man den Integranden n! mal. Diese Redundanz wird wegdividiert und der Term der Ordnung n lautet so:

Wegen der Ähnlichkeit dieses Konstrukts mit dem Glied einer Reihenentwicklung der Exponentialfunktion hat man die ganze Dyson-Reihe auch das T-exp-Integral einer Operatorfunktion getauft. Suggestive Schreibweise:

Die Zeitentwicklung mit einem konstanten Hamilton-Operators ist im Vergleich dazu einfach

Wenn eine Operator- oder Matrixfamilie sich statt über die Zeitachse über einen anderen Typ von Pfad entwickelt, wird in ganz ähnicher Manier ein Pfadintegral 'P-exp' definiert, das die Operatorfolge in infinitesimalen Schritten aufmultipliziert. Während normale Integrale additive Sachen in kleinen Portionen summieren, erzeugen P-exp-Integrale das geordnete Produkt von multiplikativen, nicht unbedingt vertauschbaren Dingen, ebenfalls im Grenzfall der Schrittweite gegen Null.

Heisenberg-Bild und Heisenberg-Gleichung

[Bearbeiten]

Man erhält das Heisenberg-Bild aus dem Schrödinger-Bild durch eine unitäre Transformation mit dem Zeitentwicklungsoperator

Für eine Observable A ergibt sich als definierende Transformation:

Der Hamilton-Operator darf explizit von der Zeit abhängen und erfüllt

vertauscht

nicht unbedingt mit . Daher auch die Definition


Nun gilt die Äquivalenz

Die Zeitableitung der Zustände ist Null im Heisenbergbild:

Herleitung für die Zeitentwicklung der Heisenberg-Operatoren:

Mit und folgt:

(mit )

Mit folgt daraus die Bewegungsgleichung, auch Heisenberg-Gleichung genannt, also das Quantenpostulat der Zeitentwicklung im Heisenberg-Bild:

  • Die Zustände sind konstant, zeitliche Änderungen betreffen die Operatoren.

Kanonisch konjugierte Variablen

[Bearbeiten]

Heisenberg konstruierte seine Version der Mechanik so, dass die Operatoren (alias Matrizen) die gleichen Bewegungsgleichungen erfüllen wie normale zahlenwertige Funktionen der klassischen Mechanik. Was sind diese klassischen Variablen, und wie werden daraus die Heisenberg-Operatoren?
Newtons Gleichung für Massenpunkte hat zweite Zeitableitungen, nämlich die Beschleunigungen. Hamilton ging zu einer viel eleganteren Version über mit doppelt soviel Variablen, aber nur ersten Zeitableitungen. Jeder mechanische Freiheitsgrad hat ein kanonisches Paar von Variablen (q,p) für Ort und Impuls. Die Mannigfaltigkeit mit Koordinaten ist der Phasenraum des mechanischen Systems. Auf dem Phasenraum existiert eine Hamiltonfunktion Diese definiert die Hamiltonschen Bewegungsgleichung für Bahnkurven so:

Die Hamiltonfunktion ist physikalisch die totale Energie des Systems, kinetische plus potenzielle, ausgedrückt als Funktion der kanonischen Koordinaten.
Mit der Einteilchen-Energie zum Beispiel

Eine beliebige Funktion hat folgende zeitliche Entwicklung, wenn sie von der Strömung auf Bahnkurven mitgerissen wird:

Der Klammerausdruck mit Index P heißt die Poisson-Klammer. Mathematisch ist diese neue Phasenraum-Funktion eine symplektische Bilinearform der Gradienten zweier Phasenraum-Funktionen.

Der Hamilton-Operator hat algebraisch den selben Ausdruck wie die klassische Hamilton-Funktion. Nur dass die kanonischen Variablen zu Operatoren geworden sind an Stelle von vertauschbaren Zahlen. Die Quantenmechanik im Heisenberg-Bild ersetzt die Poisson-Klammer durch die Kommutator-Klammer!

  • Dieses Rezept ist als kanonische Quantisierung bekannt:

Die Poisson-Klammer der kanonischen Koordinaten selbst ist offenbar Das kanonische Rezept macht daraus die Formel für Operatoren. Hurra, es stimmt! In der Ortsdarstellung für ein Teilchen

Man kann die kanonische Quantisierung auch definieren als Heisenberg-Gleichung plus kanonische Kommutatoren für konjugierte Paare.

Die kanonischen Bewegungsgleichungen nach Hamilton

ergeben auch die richtigen Operator-Gleichungen im Heisenberg-Bild

weil die Operatoren im Schrödinger-Bild keine eingebaute Abhängigkeit von der Zeit haben.

Angenommen, H sei ein Polynom oder eine Taylorreihe in den Variablen typisch etwa eine Summe aus potenzieller und kinetischer Energie Dann können die Kommutatoren mit der Operator-Formel berechnet werden, wie sie beim Virialsatz erklärt wurde. Man benutzt die kanonischen Kommutatoren

auch die Bilinearität des Kommutators und Rechenregeln der Sorte [A,BCD]=A[B,C]D falls A mit B und D vertauscht.

Vergleich mit den Heisenberg-Gleichungen liefert:

Fazit: Im Heisenberg-Bild folgen die kanonischen Operatoren auch den Hamiltonschen Bewegungsgleichungen, wenn sie die kanonischen Kommutator-Relationen und die Heisenberg-Gleichung erfüllen.

Es gibt mehrere äquivalente Ansätze zur Quantisierung klassischer Systeme:

  • kanonischer Formalismus (Heisenberg)
  • lineare Wellengleichungen (Schrödinger)
  • Funktionalintegral (Feynmansches Pfadintegral, wird später behandelt)

Der abstrakteste Weg ist der von Heisenberg. Historisch der älteste, aber noch der Sieger bei mathematischer Eleganz. Anekdote: Der Doktorand Heisenberg erfand dafür die Matrixrechnung ganz neu. Born machte ihn darauf aufmerksam, dass seine Dinger Matrizen heißen und schon lange die Mathematik bevölkern.

Dirac-/ Wechselwirkungs-Bild

[Bearbeiten]

Das Wechselwirkungs- oder Dirac-Bild findet Anklang, wenn der Hamilton-Operator aus zwei Teilen besteht, einem zeitunabhängigen und einem Stör-Operator, der zeitlich variiert. Der Plan besteht darin, die Zustandsvektoren unitär mit der Zeitentwicklung des konstanten Teils zu transformieren und darauf aufzusetzen, um die Wirkung des zeitabhängigen Operators leichter auszurechnen.
Definiere In diesem Vektor ist die Entwicklung unter dem ersten Teil neutralisiert, wegtransformiert. In Schrödinger-Bild gelte

Man definiert den Stör-Operator im Dirac-Bild als

und hat damit
Also

Für den Zustand im Dirac-Bild gilt also die Schrödinger-Gleichung allein mit dem zeitvariablen Operator

Der Formalismus der Dyson-Reihe kann hier angewendet werden, so dass

als Ausgangspunkt für Störungsrechnungen dient.

Ein allgemeiner Operator A, der nicht explizit von der Zeit abhängt, hat im Dirac-Bild folgende Form und Bewegungsgleichung:

Sowohl die Zustände wie die Operatoren sind zeitveränderlich im Dirac-Bild. Im Vergleich dazu sind im Heisenberg-Bild die Zustände eingefroren und im Schrödinger-Bild sind es die meisten Operatoren.

Greensche Funktion der freien Welle

[Bearbeiten]

Letzter Abschnitt zur Zeitentwicklung; es geht zurück zum Schrödinger-Bild. Die Greenschen Funktionen sind eine allgemein verbreitete Technik bei Differenzialgleichungen und sollen am Beispiel vorgeführt werden. Die extreme Anfangsbedingungung einer Deltafunktion fûhrt zu einer Greenschen Funktion der Wellengleichung.

Die Anfangswertaufgabe der Schrödinger-Gleichung -- finde die Wellenfunktion wenn gegeben ist -- hat eine eindeutige Lösung, weil die Gleichung linear-homogen und von erster Ordnung in der Zeitableitung ist. Gewünscht wird dazu ein Integralkern, der beliebige Wellenfunktionen von linear fortsetzt:

Formal kann K gebaut werden aus einem vollständigen Orthonormalsysten der Eigenfunktionen zum Hamilton-Operator H, also der stationären Lösungen:

Statt der Anfangszeit 0 kann auch eine allgemeine Startzeit da stehen. Der Ausdruck in den großen Klammern ist der gesuchte Integralkern er ist eine Distribution mit den Eigenschaften

Aus einem Integralkern für Anfangswerte lassen sich in diesem Fall auch Greensche Funktionen oder Propagatoren gewinnen. Sei D ein linearer Operator, im Schrödinger-Fall dann ist eine Green-Funktion G ein Integralkern in z.B 3+1 Dimensionen, der inhomogene Gleichungen löst:

Die Distribution G hat die definierende Eigenschaft

Behauptung: Für den Schrödinger-Operator hat eine retardierte Green-Funktion die Form

Hier ist die Stufenfunktion

Eine retardierte Funktion G bewirkt, dass die inhomogene Quelle nur Auswirkungen in der Zukunft hat.
Ausrechnung. Der Operator hat die Form wo H nicht von der Zeit abhängen soll. Die Zeitableitung von ist die Deltafunktion. Es folgt mit abgekürzter Notation:

Wegen der Definition von K verschwindet (DK). K als Faktor der zeitlichen Deltafunktion schrumpft zum Anfangswert Daher
Es gibt im Allgemeinen einen Haufen Greensche Funktionen zum selben Operator D, retardierte, avancierte,... weil schon die homogene Gleichung einen großen Vektorraum von Lösungen hat.

Berechnung: Integralkern für die potenzialfreie Schrödinger-Gleichung.
Wegen der Translationsinvarianz wird gelten:
Man berechnet die Zeitentwicklung einer Deltafunktion vom Punkt ausgehend. Besser, die Anfangsbedingung ist ein als Gausskurve regularisiertes Delta; der Grenzübergang erfolgt erst am Ende der Rechnerei:

als Distribution

Fourier-Transformation:

Integral-Rechenregel:

Quadratische Ergänzung:

Mit diesen Regeln wird erst einmal hergestellt, Ergebnis:

Dann muss die Zeitentwicklung des Wellenterms in der Entwicklung von f(x) eingesetzt werden, um f(x,t) zu bekommen.

Hier wurde gesetzt und obige Regeln wurden benutzt. Im Grenzfall bekommt man offenbar die Funktion f(x) zurück.
Im Grenzfall kommt der gesuchte "Propagator" heraus:

Für a=t=0 ist das Ding nicht als Funktion definiert, sondern als Distribution. Zeitentwicklung der freien Welle: