Theoretische Quantenmechanik
Institut fu
r Theoretische Physik, Universitat Heidelberg
Inhaltsverzeichnis
Literatur
1 Grundlagen der QM
1.1 Einstimmung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Polarisation des Lichts . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1 Klassische versus quantenmechanische Beschreibung des Lichts . .
1.2.2 Einfache Polarisationsexperimente . . . . . . . . . . . . . . . . . .
1.3 Zustand und Vektorraum . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4 Skalarprodukt, Norm, Dualer Vektorraum . . . . . . . . . . . . . . . . . .
1.5 Lineare Operatoren & Observablen . . . . . . . . . . . . . . . . . . . . . .
1.5.1 Die Algebra der Linearen Operatoren . . . . . . . . . . . . . . . .
1.5.2 Adjungierter Operator und Hermitizitat . . . . . . . . . . . . . . .
1.6 Messungen & Projektion . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.7 Kompatible & inkompatible Observablen . . . . . . . . . . . . . . . . . . .
1.8 Erwartungswert, Varianz, Unscharfe . . . . . . . . . . . . . . . . . . . . .
1.9 Hilbertraum, Ortsdarstellung, Wellenfunktion . . . . . . . . . . . . . . . .
1.9.1 Unendlich-dimensionale Zustandsraume . . . . . . . . . . . . . . .
1.9.2 Der quantenmechanische Ortsraum . . . . . . . . . . . . . . . . . .
1.9.3 Der Begriff der Wellenfunktion . . . . . . . . . . . . . . . . . . . .
1.10 Impulsoperator & kanonische Kommutatorrelationen . . . . . . . . . . . .
1.10.1 Aktive Translationen . . . . . . . . . . . . . . . . . . . . . . . . . .
1.10.2 Translationen als Lie-Gruppe . . . . . . . . . . . . . . . . . . . . .
1.10.3 Der Impuls als Generator der Translationen . . . . . . . . . . . . .
1.10.4 Kanonische Kommutatorrelationen und Kanonische Quantisierung
1.10.5 Darstellung von p im Ortsraum . . . . . . . . . . . . . . . . . . . .
1.11 Wellenfunktionen im Impulsraum . . . . . . . . . . . . . . . . . . . . . . .
1.11.1 Wellenfunktion der Impulseigenzustande . . . . . . . . . . . . . . .
1.11.2 Zusammenhang von (x) (p) f
ur beliebiges | i . . . . . . .
1.11.3 Beispiel: Gausche Wellenfunktion . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2
2
3
3
4
6
9
11
12
14
16
19
20
23
23
24
25
26
26
27
28
29
30
31
31
32
33
2 Quantendynamik
2.1 Zeitentwicklungsoperator und Schrodingergleichung . . . . . . .
2.2 Schr
odingergleichung f
ur Wellenfunktionen und Propagator . .
2.3 Wahrscheinlichkeitsstrom & Kontinuitatsgleichung . . . . . . .
2.4 Zeitentwicklung im Heisenberg-Bild . . . . . . . . . . . . . . . .
2.4.1 Heisenbergbild und Bewegungsgleichung f
ur Operatoren
2.4.2 Teilchen im Potential und Ehrenfest-Theorem . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
35
35
39
43
45
45
47
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
INHALTSVERZEICHNIS
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
49
50
51
54
56
58
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
60
60
60
62
64
66
70
72
72
75
78
78
79
83
83
85
4 Weiterf
uhrende Fragen und Anwendungen
4.1 Kopplung an das elektromagnetische Feld . . . . . . . . . . . . .
4.1.1 Schr
odingergleichung, Pauli-Gleichung . . . . . . . . . . .
4.1.2 Eichprinzip und kovariante Ableitung . . . . . . . . . . .
4.2 Station
are St
orungstheorie . . . . . . . . . . . . . . . . . . . . . .
4.2.1 Rayleigh-Schr
odinger-Storungstheorie (nicht entartet) . .
4.2.2 Entartete St
orungstheorie . . . . . . . . . . . . . . . . . .
4.2.3 Ritzsches Variationsverfahren . . . . . . . . . . . . . . . .
4.3 Relativistische Korrekturen beim Wasserstoffatom - Feinstruktur
4.4 Zeitabh
angige St
orungstheorie . . . . . . . . . . . . . . . . . . . .
4.4.1 Wechselwirkungsbild . . . . . . . . . . . . . . . . . . . . .
4.4.2 Uberg
ange erster Ordnung und Goldene Regel . . . . . .
4.5 Mess- und Interpretationsproblem . . . . . . . . . . . . . . . . .
4.5.1 Dichtematrix, reiner und gemischter Zustand . . . . . . .
4.5.2 Dichtematrix gekoppelter Systeme . . . . . . . . . . . . .
4.5.3 Das Messproblem und einige Losungsansatze . . . . . . .
4.6 Pfadintegralformulierung und Streutheorie . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
90
90
90
92
96
96
98
100
100
102
102
104
106
106
109
111
115
2.5
ii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Literatur
Bei diesem Vorlesungsskript handelt es sich um eine Zusammenfassung meiner Aufzeichnungen
im Rahmen der Kursvorlesung PTP4, Theoretische Quantenmechanik, gehalten im Sommersemester 2011 an der Universit
at Heidelberg. Der hier dargestellte Stoff wurde in 24 Vorlesungen
zu je 90 Minuten durchgenommen. Das Vorlesungsskript erhebt nicht den Anspruch einer literarischen Anforderungen gen
ugenden, originaren geschweige denn umfassenden Darstellung der
Quantenmechanik, sondern soll knapp die wesentlichen Inhalte der Vorlesung zusammenfassen.
Beim Erstellen der Vorlesung habe ich mich folgender Quellen bedient, ohne dies im Skript im
einzelnen kenntlich zu machen:
P.A.M. Dirac: The Principles of Quantum Mechanics, Oxford Science Publications 1967
J. J. Sakurai: Modern Quantum Mechanics, Benjamin Cummings 1985
F. Schwabl: Quantenmechanik, Springer 2005
R. Fitzpatrick: Quantum Mechanics (http://farside.ph.utexas.edu/teaching/qm/389.pdf)
Empfohlene Literatur zum Studium der Quantemechanik umfasst dar
uberhinaus beispielsweise
R. Shankar: Principles of Quantum Mechanics, Springer, 1994
A. Messiah: Quantenmechanik 1, 2, De Gruyter 1991
M Kreuzer: Quantum Theory (http://hep.itp.tuwien.ac.at/ kreuzer/QT.html)
sowie weitere, im Verlauf des Skripts im einzelnen genannte Quellen.
An dieser Stelle gilt mein Dank David Breyel, der das Ger
ust dieses Skripts geteXt hat, sowie
den Obertutoren Christoph Mayrhofer und Oliver Lauscher und den Horern der Vorlesung f
ur
wertvolle Kommentare und Anmerkungen.
Kapitel 1
Einstimmung
Physik. Ihr liegt das Konzept der Punktteilchentrajektorie zu Grunde. Ausgehend von einer genauen Kenntnis der Anfangsbedingungen - d.h. der verallgemeinerten Koordinaten (~q, p~)|t=t0 erlaubt sie eine vollst
andige Beschreibung der Trajektorie zu allen Zeiten unter Einfluss einer
Kraft.
Die Beschreibung der mikrokopischen Physik (als solche bezeichnen wir die Physik auf (sub-)
theoretisch-philosophische Uberlegungen
(nach Dirac, Chapter 1):
1 Eine
konzise Ubersicht
u
ber einige der wichtigsten Experimente findet sich beispielsweise in Schwabl, Kapitel
1.1.
so k
ame die Erkl
arung des Groen durch das Kleine nie zum Ende. Daraus folgt
(1.1)
ist.
F
ur kleine Systeme ist zu erwarten, dass diese sich nur dann deterministisch ver
halten, wenn sie sich selbst u
berlassen sind. Die unvermeidbare Storung bei einer
Beobachtung/ Messung f
uhrt zu nicht-deterministischen Elementen.
1.2
Als Beispiel f
ur das fundamental Neue an der quantenmechanischen Beschreibung betrachten
wir die Theorie des Lichts. Anhand einfacher Polarisationsexperimente werden wir heuristischinduktiv die wesentlichen Grundz
uge der neuen Theorie kennenlernen. Unsere Vorgehensweise
wird vom Versuch geleitet sein, die Resultate dieser Experimente mit dem angesprochenen Teilchencharakter des Lichts in Einklang zu bringen. Dies f
uhrt uns unweigerlich zu den Begriffen des
Zustands, der Superposition, sowie einer probabilistischen Interpretation der Theorie. Diese Eigenschaften werden wir daraufhin in mathematische Form gieen und zu allgemeinen Postulaten
erheben.
1.2.1
Im klassischen Bild stellt Licht eine transversale, elektromagnetische Welle dar. Betrachten
wir eine transversale Lichtwelle in z- Richtung:
Ex (~r, t)
Ey (~r, t)
,
Ez = 0,
(1.2)
(1.3)
i(kzt)
Ex (~r, t) = Re(Ex e
2
, = 2
k=
~ = ~ez E.
~
B
),
wobei
(1.4)
(1.5)
(1.6)
Hierbei stellt x eine Phase dar. Die Energiedichte der Welle berechnet sich zu
1 ~ 2
~ 2 )(~r, t).
(|E| + |B|
8
Die Polarisation dieser Welle ist nun u
ber das Verhaltnis von Ex und Ey definiert, z.B.
(~r, t) =
(1.7)
f
ur Ex und Ey ).
Quantenmechanisch verh
alt sich Licht in bestimmten Situationen, als best
unde es aus Teilchen
(= Photonen).
Als Photon bezeichnet man das minimale Energiequant, welches das Licht transportiert.
F
ur Licht der Frequenz ist die Energie eines Photons
E = h = ~,
wobei ~ =
h
.
2
(1.8)
Photonen haben korpuskularen (=Teilchen-)Charakter. Sie sind unzerteilbar, d.h. sie stellen
jene im Argument von Dirac in Kapitel 1.1 beschriebene kleinste Einheit des Lichts (im
absoluten Sinne) dar.
Der Teilchencharakter wird experimentell manifest bei kleinsten Intensitaten: Der Detektor
registriert einzelne, diskrete Klicks bei Absorption einzelner Photonen. Insbesondere gilt
der Zusammenhang
Lichtintensitat I Anzahl der Photonen.
1.2.2
(1.9)
Einfache Polarisationsexperimente
Experiment 1
Betrachte den Durchgang einer Lichtwelle mit allgemeiner Polarisation (Ex , Ey ) durch einen Polarisationsfilter, der nur transversal in x-Richtung polarisiertes Licht durchlasst.
Klassisches Bild
Nach Durchgang durch den Polarisator ist die Welle transversal polarisiert in x-Richtung. Das
Verh
altnis der Intensit
aten ergibt sich als
~ out |2
~ x |2
Iout
|E
|E
=
=
.
~ in |2
~ x |2 + |E
~ y |2
Iin
|E
|E
(1.10)
Quantenmechanisches Bild
Der Polarisationsfilter l
asst nur einzelne Photonen als Ganzes durch. Ein Photon kann also
entweder den Polarisator als Ganzes passieren, oder es wird als Ganzes absorbiert. Das Verhaltnis
der Intesit
aten muss interpretiert werden als
# der auslaufenden Photonen
|E~x |2
Iout
=
=
=: Px
Iin
# der einlaufenden Photonen
|E~x |2 + |E~y |2
(1.11)
Px ist zun
achst eine relative H
aufigkeit f
ur das Ensemble von Photonen. Da nur einzelne Photonen als Ganzes durchgelassen werden konnen, sind wir gezwungen, Px zu interpretieren als die
Wahrscheinlichkeit, dass ein Photon der Lichtwelle mit Polarisation (Ex , Ey ) den z-Polarisator
passiert. Diese probabilistische Interpretation ist die unmittelbare Konsequenz aus der Notwendigkeit, die Zerlegung einer Lichtwelle in x- und y-polarisierte Anteile mit dem Teilchencharakter
des Lichts zu vereinbaren.
~ N , wobei N f
Einem einzelnen Photon ordnen wir den Zustandsvektor E
ur normiert steht, zu:
Ey
Ex
N
~ in
~ex + q
~ey ,
E
=q
~ x |2 + |E
~ y |2
~ x |2 + |E
~ y |2
|E
|E
Ax , Ay C,
~ N = Ax~ex + Ay ~ey ,
E
in
|Ax |2 + |Ay |2 = 1.
(1.12)
(1.13)
Px = |Ax |2 .
(1.14)
Falls das Photon durch den Polarisator durchgelassen wird, ist es danach x-polarisiert. Dem
auslaufenden, x-polarisierten Photon ordnen wir den Vektor
Ex
N
~ out
~ex
E
=p
|Ex |2
zu.
(1.15)
Hier sehen wir bereits ein allgemeine Eigenschaft von Messungen: Abgesehen von der Normierung
andert sich der Zustandsvektor durch die Messung von
Ex
Ex
Ex
1 0
.
(1.16)
=
Ey
Ey
0
0 0
| {z }
x
=:P
Ex
Ex
x ist der entsprechende
ist die Projektion des Vektors
auf die Richtung ~ex . P
0
Ey
2 = P
x.
Projektionsoperator mit der Eigenschaft P
x
Experiment 2
In diesem Experiment folgt auf den uns bereits bekannten x-Polarisator ein x0 -Polarisator. Dabei
sei (x0 , y 0 ) gegen
uber (x, y) um einen Winkel gedreht. Wir zerlegen die (~ex0 , ~ey0 )-Basis bez
uglich
der (~ex , ~ey )-Basis als
~ex0 = cos()~ex + sin()~ey
(1.17)
(1.18)
Beachte dabei, dass cos() = ~ex ~ex0 und sin() = ~ex ~ey0 aus den Skalarprodukten der Einheitsvektoren hervorgehen.
Klassisches Bild
Im Wellenbild k
onnen wir deshalb schreiben
(1.19)
~ 2 = Ex cos()~ex0 .
E
(1.20)
sin()
cos()
(1.21)
Quantenmechanisches Bild
Nach Durchgang durch den x-Polarisator ordnen wir dem Photon den normierten Zustandsvektor
~ 1N = pEx ~ex
E
|Ex |2
| {z }
(1.22)
Ax
(1.23)
~ 1N ~ey0
und Ay0 = E
(1.24)
Das Photon kann insofern aufgefasst werden als in der Superposition von Ax0 ~ex0 und Ay0 ~ey0 .
Umgekehrt: Ax0 ~ex0 und Ay0 ~ey0 k
onnen addiert werden - wie f
ur Vektoren u
blich.
Die Aussage, dass sich das Photon in der Superposition von Ax0 ~ex0 und Ay0 ~ey0 befindet, ist
so zu deuten, dass sich das Photon mit einer gewissen Wahrscheinlichkeit so verhalt wie ein x0 polarisiertes Photon und mit einer anderen Wahrscheinlichkeit so wie ein y 0 -polarisiertes Photon.
Das heit, die Wahrscheinlichkeit, dass das sich in diesem Superpositionszustand befindliche
Photon durch den x0 -Polarisator durchgelassen wird, ist demnach
Px0 = |Ax0 |2 .
(1.25)
~ N = Ax~ex =
Wichtig ist hierbei, dass jedes einzelne Photon nach dem x-Polarisator im Zustand E
1
Ax0 ~ex0 + Ay0 ~ey0 ist. Das bedeutet, dass die Zustande einzelner Photonen Superpositionen sein
k
onnen.
1.3
In der Quantenmechanik werden alle physikalisch relevanten Eigenschaften eines Systems durch
seinen Zustand beschrieben. Als Beispiel hierf
ur haben wir den Polarisationszustand des Photons
kennengelernt. Wir f
uhren folgende Dirac-Notation ein:
Zustand | i.
(1.26)
(1.27)
| i
(1.28)
| i
V V V
(Vektoraddition) und
CV
so dass gilt:
| i, | i V ist | i + | i V ,
| i, | i V ist | i + | i = | i + | i (abelsch),
(Skalarmultiplikation)
(1.29)
| i, | i, | i V ist (| i + | i) + | i = | i + (| i + | i) (assoziativ),
|0 i V : | i V : | i + |0 i = | i (0-Vektor),
| i V ( | i V ) : | i + ( | i) = |0 i (Inverses),
c C und | i V ist c | i V ,
| i V ist 1 | i = | i,
c, d C und | i V ist (c d) | i = c (d | i) (assoziativ)
Mittels dieser Eigenschaften ist es nun leicht zu zeigen, dass 0 | i = |0 i. Den Beweis f
uhren wir
in den Ubungen
aus.
Fassen wir also unsere bisher gewonnenen Erkenntnisse zusammen:
Postulat 1 (vorl
aufige Fassung)
Der quantenmechanische Zustand ist ein Vektor (genauer: ein Strahl) in einem komplexen Vektorraum.
Hierzu wollen wir noch folgende Anmerkungen machen:
Eine tiefere Begr
undung, warum der Vektorraum u
ber C, nicht u
ber R zu betrachten ist,
wird sp
ater noch gegeben, Wir sehen jedoch schon an dieser Stelle, dass in der Quantenmechanik der K
orper der komplexen Zahlen direkte physikalische Signifikanz hat.
Der Zustand |0 i entspricht dem Vakuum (d.h. dem physikalischen Zustand ohne Teilchen oder sonstige Anregungen).
Der Zustandsraum in der Quantenmechanik ist genauer ein Hilbertraum. Auch hierauf
werden wir sp
ater zur
uckkommen.
Das Superpositionsprinzip besagt demnach:
P
Sei {|i i}, i = 1, . . . , k eine Menge von Zustanden. Dann ist | i =
ci |i i ebenfalls ein physii
Eine Basis ist also die kleinste Menge an Vektoren |i i, so dass jeder Vektor eindeutig durch
Superposition erreicht werden kann.
In den Ubungen
werden wir mit Hilfe dieser Definitionen folgendes Lemma beweisen:
Lemma 1.1. In einer linear abh
angigen Menge kann einer der Vektoren als Linearkombination
der anderen ausgedr
uckt werden.
Kommen wir nun auf unsere Frage zur
uck, warum der Zustand Element eines komplexen VRs
ist. Betrachten wir dazu erneut die Polarisation des Photons und wahlen eine Basis:
~ex = |x i, ~ey = |y i.
(1.30)
aber
ur c 6= 0.
|E i
= c |E i f
(1.31)
1.4
Erinnern wir uns an Gleichung (1.20), an der wir sehen, dass uns das Skalarprodukt die Koeffizienten in einer Superposition angibt. In der Tat stellt sich das Skalarprodukt in physikalischen
Anwendungen als sehr n
utzlich heraus, weshalb wir es zunachst mathematisch etwas genauer
beleuchten wollen.
Definition 1.5. Sei V ein komplexer VR. Dann ist ein Skalarpordukt eine positiv-definite, hermitesche, sesquilineare Abbildung:
| i, | i 7 (| i, | i) C
| i, | i.
(1.32)
D.h. es gilt
| i, | i, | i , ci C : (| i, c1 | i + c2 | i = c1 (| i, | i) + c2 (| i, | i),
(| i, | i) = (| i, | i) ,
(| i, | i) 0,
(| i, | i) = 0 | i = 0.
Insbesondere folgt damit
(c1 | i + c2 | i, | i) = c1 (| i, | i) + c2 (| i, | i).
Definition 1.6. Ein komplexer Vektorraum mit Skalarprodukt heit unit
ar.
(1.33)
10
In den Ubungen
werden wir als wichtige Konsequenz aus der obigen Definition beweisen, dass
die Schwarzsche Ungleichung gilt,
(1.34)
k
X
ci |i i) =
i=1
k
P
ci |i i. Dann folgt:
i=1
k
X
(1.35)
i=1
(| i,| i)
woraus wiederum cj = (|jji,|j i) folgt. (|j i, |j i) bezeichnet die Lange des Vektors |j i. Dies
f
uhrt uns zum Begriff der Norm:
Definition 1.8. Eine Norm ist eine Abbildung
|| || : V R
(1.36)
so dass
| i V : || | i|| 0
&
|| | i|| = 0 | i = |0 i,
(1.37)
| i
||| i||
auf eins
Definition 1.9. Eine Orthonormalbasis (ONB) ist eine Orthogonalbasis, deren Elemente normiert sind.
F
ur eine solche ONB |ei i gilt
| i =
X
i
(1.38)
11
a, b
Offensichtlich ist f1 + f2 ebenfalls eine lineare Funktion (, C). Daraus folgt sofort, dass
die Funktionen f : V C einen VR bilden:
Definition 1.11. Der zu V duale Vektorraum V ist der Vektorraum der linearen Funktionen
f : V C.
Falls der VR ein Skalarprodukt besitzt, stellt dieses eine Abbildung zwischen Elementen aus V
und V her:
Sei | i V . Dann definiere
f| i : V C : f| i (| i) = (| i, | i).
(1.39)
f| i V | i.
(1.40)
Beachte dabei, dass aus (1.33) und (1.39) folgt, dass fc| i = c f| i . Wir f
uhren die folgende,
wichtige Notation ein,
f| i h | ,
(1.41)
(1.42)
1.5
f
ur c C.
(1.43)
Bis jetzt haben wir den Zustand eines Systems dargestellt durch einen ket-Vektor | i V ,
wobei V ein unit
arer VR ist, dessen Skalarprodukt es erleichtert, die Entwicklung eines Zustands
insbesondere in eine Orthonormalbasis okonomisch zu bestimmen. Wir wenden uns nun der Frage
zu, was die physikalischen Eigenschaften von | i sind. Die Quantenmechanik gibt Auskunft u
ber
das Ergebnis von Messungen. Die Messgr
oen heien Observable - z.B. Ort, Impuls, Drehimpuls
etc.
12
1
|R i = (|x i + i |y i),
2
(1.44)
Ein Vergleich mit dem klassischen Wellenvektor, wie in Kapitel 1.2.1 beschrieben, zeigt:
|R i Photon eines rechtszirkul
ar polarisierten Strahls,
|L i Photon eines linkszirkul
ar polarisierten Strahls.
Als Beispiel einer Observablen betrachten wir den Drehimpuls. Experimentell findet man:
Ein einzelnes Photon im Zustand |R i (|L i) gibt Drehimpuls in z-Richtung Lz = ~ (Lz = ~)
an die Photoplatten ab. Das Spektrum der m
oglichen Messwerte von Lz scheint also die Werte
{~, ~} zu umfassen.
1
1
1
1
und |L i = 2
. Wir machen folgende BeobachIn Vektornotation ist |R i = 2
i
i
0 i
tung: Wenn wir die Matrix Sz = ~
betrachten, finden wir
i 0
Sz |R i = +~ |R i und Sz |L i = ~ |L i.
(1.45)
1.5.1
so dass
| i + b | i) = aA | i + bA | i.
A(a
(1.46)
Beachte, dass ein linearer Operator A : V V ebenfalls auf dem dualen VR V wirkt:
A : V V ,
h | h | A,
(1.47)
| i.
h | A | i = h | (A | i) = (h | A)
(1.48)
Ein linearer Operator ist spezifiziert durch seine Wirkung auf einer Basis:
N
P
Sei {|ei i, i = 1, . . . , N } eine ONB. Dann ist |fi i = A |ei i =
Aki |ek i, wobei die Matrixelek=1
13
Aki ek i = h ej | A |ei i.
(1.49)
(1.50)
Aji = hej |
Dies f
uhrt uns zur Identifikation
Als wichtiges Beispiel sehen wir, dass | i, | i V A = | ih | ein linearer Operator ist:
A | i = (| ih |) | i = | i(h|i) = | ih|i
Von groer Bedeutung ist insbesondere Darstellung des Identitatsoperators
1, . . . , N } eine Orthonormalbasis:
| i V : | i =
N
X
i |ei i =
i=1
1=
N
X
|ei ih ei |
N
X
i=1
(Vollst
andigkeitsrelation)
N
X
(1.51)
1. Sei {|ei i, i =
|ei ihei |i
(1.52)
i=1
falls
{|ei i, i = 1, . . . , N }
ONB ist .
i=1
(1.53)
Insbesondere gilt damit nat
urlich | i = 1 =
N
P
i=1
Oftmals werden wir obige Darstellung des Identitatsoperators an diversen Stellen einf
ugen, um
abstrakte Zusammenh
ange in einer bestimmten Basis auszudr
ucken. So f
uhrt uns etwa die Manipulation
N
N
N
X
X
X
(1.54)
j,k=1
k=1
(1.55)
zur Matrixdarstellung eines linearen Operators,
A =
N
X
Ajk |ej ih ek | .
(1.56)
j,k=1
Beleuchten wir nun die mathematische Struktur, welche das Konzept des Operators beschreibt,
etwas genauer:
Die Addition linearer Operatoren f
uhrt wieder zu einem linearen Operator, und die Addition erf
ullt die Eigenschaften
=B
+ A,
A + B
+ C)
= (A + B)
+ C,
A + (B
A +
0 = A wobei
0 | i = |0 i
| i,
14
=
A + (A)
0.
Ferner kann ein Operator mit einer Zahl c
wiederum einen Vektorraum.
Die Hintereinanderausf
uhrung zweier linearer Operatoren ergibt wieder einen linearen Operator, gegeben durch das Produkt der Operatoren mit den Eigenschaften
B
C)
= (AB)
C (Assoziativitat),
A(
(1.57)
B]
= AB
B
A als Kommutator von A und B.
1.5.2
(1.58)
(1.59)
dual
d.h. h | A A | i.
(1.60)
Alternativ k
onnen wir wegen
(| i, A | i) = (A | i, | i) = (| i, A | i)
(1.61)
h | A | i = h | A | i .
(1.62)
auch schreiben
In Matrixschreibweise bedeutet dies
X
A =
Ajk |ej ih ek | ,
j,k
A =
(A )jk |ej ih ek | ,
(A )jk = Akj .
(1.63)
j,k
Beweis:
(A )jk = h ej | A |ek i = h ek | A |ej i = Akj .
In den Ubungen
werden wir folgende Identitat zeigen:
(1.64)
15
Lemma 1.3.
=B
A .
(AB)
(1.65)
| i, | i.
(1.66)
F
ur endlich-dimensionale VR impliziert dies, dass A = A , d.h. der Operator ist selbstadjungiert.
Selbstadjungiertheit, A = A erfordert zusatzlich zu Hermitizitat, dass auch der Definitionsbereich von A und A u
bereinstimmen muss. Dies ist auf endlich-dimensionalen Vektorraumen
immer der Fall, stellt f
ur unendlich-dimensionale VR aber eine nicht-triviale Einschrankung dar.
Im Folgenden wollen wir die Bedeutung selbstadjungierter Operatoren anhand ihrer guten Eigenschaften bzgl. Diagonalisierung darlegen.
Definition 1.17. Ein linearer Operator A auf einem N-dimensionalen komplexen Vektorraum
hat einen vom Nullvektor verschiedenen Eigenvektor | i mit Eigenwert , wenn
A | i = | i,
d.h.
(A 1) | i = 0.
(1.67)
L
osungen zu dieser Gleichung existieren, wenn det(A 1) = 0. Dies ist ein Polynom in vom
Grade N, welches nach dem Fundamentalsatz der Algebra N Nullstellen hat, wobei nicht alle
verschieden sein m
ussen.
Die wichtige Eigenschaft von hermiteschen Operatoren ist zusammengefasst in
Lemma 1.4. Die Eigenwerte eines hermiteschen Operators sind reell. Die Eigenvektoren geh
orig
zu unterschiedlichen Eigenwerten sind orthogonal.
Beweis: Sei A | i = | i und normiere h|i = 1.
= (h | A | i) = h | A | i =
Seien A | i = | i und A | i = | i f
ur 6= :
h|i = (h|i) = (h | A | i)
= h | A | i = h|i
(1.68)
(1.69)
k
P
16
d(i ) = N . Dann gilt (siehe Literatur zur linearen Algebra), dass je-
i=1
der Eigenwert i seiner Vielfachheit d(i ) entsprechend viele linear unabhangige Eigenvektoren
besitzt.
(n )
(n )
(1.70)
A i i i = i i i i, ni = 1, . . . , d(i ).
(n)
Wir bilden nun die ONB des Unterraums, der von den i i aufgespannt wird.
A =
Insbesondere gilt
N
X
i |i ih i |
(1.71)
i=1
Begr
undung:
A ist durch seine Wirkung auf eine Basis eindeutig bestimmt. Wahle die normierte
(n)
Eigenbasis i i:
X
A |i i =
j |j ihj |i i = i |i i.
(1.72)
j
0
i
i
0
Die m
oglichen Messergebnisse (+~, ~) sind Eigenwerte von Sz . Messergebnisse m
ussen immer
reell sein. Nach Lemma 1.4 ist dies f
ur Sz = Sz garantiert. Es stellt sich heraus, dass es sinnvoll
ist, diesen Sachverhalt zu einem allgemeinen Postulat zu erheben:
Postulat 2
Eine quantenmechanische Observable ist eine Messgroe. Jeder Observablen ordnen wir einen
selbstadjungierten Operator A auf dem VR der Zustande zu. Eigenwerte von A stellen alle in
der Quantenmechanik m
oglichen Messwerte dar.
Beachte, dass wir hier, wie in der Literatur u
blich, fordern, dass die Observable einem selbstadjungierten, und nicht nur einem hermiteschen Operator, entspreche. Inwieweit diese Bedingung
in bestimmten Situationen aufgeweicht werden sollte, kann hier nicht weiter erortert werden.
1.6
Betrachten wir einen normierten Zustand | i und eine Observable A mit normierter Eigenbasis
{|i i},
X
X
| i =
ci |i i, ci = hi |i,
|ci |2 = 1.
(1.73)
i
17
(Bornsche Regel).
(1.74)
nehmen, sollte derselbe Wert mit Wahrscheinlichkeit 1 gemessen werden. Daraus folgt, dass das
System nach der Messung des Eigenwertes i im Eigenzustand |i i sein muss. Dies ist im Ein
klang mit der Beobachtung im Polarisationsexperiment. Wir verallgemeinern diese Uberlegungen
zu
Postulat 3.a
Sei A eine Observable mit nicht-degenerierten Eigenwerten P
i und normierter Eigenbasis {|i i}.
cj |j i ergibt i mit WahrscheinDie Messung der Observablen am normierten Zustand | i =
j
lichkeit
P (i ) = |ci |2 = |hi |i|2 .
(1.75)
|i ih i | i = ci |i i |i i =
| {z }
P i
j = |j ih j | erf
Der Operator P
ullt die Eigenschaften
2 = P
j , denn |j i h j | |j ih j | = |j ih j |,
P
j
| {z }
=1
|i ihi |i
.
ci
(1.76)
18
= P
j , denn
P
j
j |y i = hx|j ihj |yi = (hy|j ihj |xi) = h y| P
j |x i .
h x| P
(1.77)
Einen Operator mit diesen Eigenschaften nennt man Projektionsoperator. Ein Projektionsoperator hat die Eigenwerte 0 oder 1, denn
P | i = | i P 2 | i = 2 | i = P | i = | i.
(1.78)
Die Wahrscheinlichkeit, den nicht-degenerierten Eigenwert i zu messen, kann man nun mithilfe
des Projektionsoperators Pi schreiben als
i | i = ||P
i | i||2 ,
P (i ) = h | P
(1.79)
und nach Messung des nicht-degenerierten Eigenwertes i kollabiert der Zustandsvektor gema
| i
P i | i
= |i i.
i | i||
||P
(1.80)
(1.81)
Es stellt sich die Frage, in welchem Zustand | i nach der Messung von i ist. Dazu bedenken
wir die folgenden beiden Punkte:
(a)
| i sollte im Eigenraum liegen, der von i i aufgespannt wird.
(a)
Die Messung von i zeichnet keinen der i i aus.
(a)
Wir definieren den Projektor, der auf den von den i i aufgespannten Unterraum projiziert,
P i =
d(i )
X (a)
(a)
i ih i .
(1.82)
a=1
19
Postulat 3.b
i der in (1.82) definierte ProSei A eine Observable mit (degenerierten) Eigenwerten i und P
jektionsoperator auf den Eigenraum zu Eigenwert i . Die Wahrscheinlichkeit, den Wert i bei
Messung an einem normierten Zustand | i zu messen, ist
i | i.
P (i ) = h | P
(1.83)
1.7
P i | i
.
i | i||
||P
(1.84)
Eine entscheidende Rolle spielt das Konzept der gleichzeitigen Messung mehrerer Observablen.
Wegen des Zusammenhangs zwischen Messergebnis und Eigenbasis ist folgendes Lemma von
Bedeutung:
B
Observablen mit [A,
B]
= 0. Dann sind A und B
gleichzeitig diagonaLemma 1.6. Seien A,
lisierbar, d.h. sie haben dieselben Eigenvektoren.
Wir nehmen zunachst keine Entartung an. Dann gilt:
Beweis: Sei {|ai i} eine Eigenbasis von A.
|ai i = B
A |ai i = ai B
|ai i.
AB
(1.85)
|ai i der (eindeutige) Eigenvektor von A mit Eigenwert ai ist. Das wiederum
Daraus folgt, dass B
|ai i = bi |ai i f
bedeutet, dass B
ur ein bestimmtes bi .
|ai i im zu ai gehorigen Eigenraum. Wir konnen dann B
|ai , bi i = bi |ai , bi i.
B
(1.86)
F
ur den nicht-degenerierten Fall gilt dann:
Messung von A am Zustand |ai , bi i ergibt ai mit P (ai ) = 1, und
am Zustand |ai , bi i ergibt bi mit P (bi ) = 1.
Messung von B
P
Beginnen wir mit einem Zustand | i. Dieser lasst sich darstellen als | i = i ci |ai , bi i. Wir
messen nun die Observable A und erhalten das Ergebnis ai mit Wahrscheinlichkeit |ci |2 . Nach
der Messung ist das System im Zustand |ai , bi i. D.h. nach der Messung von A hat das System
20
Eigenvektor zu B,
a(ni ) i = b(ni ) a(ni ) i mit ni = 1, . . . , d(ai ).
(1.88)
B
i
i
i
(n )
Wir nehmen der Einfachheit halber an, dass alle bi i verschieden sind. Das bedeutet, dass
die Entartung aufhebt. In diesem Fall konnen wir die Basis schreiben als {ai , b(ni ) i} mit
B
i
ni = 1, . . . , d(ai ).
Unser Ausgangszustand sei gegeben durch
X (n )
(n )
ci i ai , bi i i.
| i =
(1.89)
i,ni
kollabiert zu
| i |1 i =
d(ai )
1 X ni
c |ai , bni i i,
N n =1 i
i
d(ai )
N =(
(ni ) 2 1/2
|ci
| )
(1.90)
ni =1
(k)
|ci |2
|N |2 .
Der Zustand
(1.91)
1.8
Betrachte eine Observable mit Eigenwert i und projiziere das System in Zustand | i. Die
Messung von A liefert i mit P (i ) = |hi |i|2 . Wiederhole das Experiment n mal - jedes
Mal beginnend im Zustand | i. Die statistische Verteilung der Messergebnisse i mit relativer
H
aufigkeit von i ist gegeben durch
X
ni
H(i ) = ,
ni = n.
(1.92)
n
i
Im Limes n gilt
ni
n
P (i ).
21
i P (i )
(1.93)
i |hi |i|2
(1.94)
i h|i ihi |i
(1.95)
X
= h | (
i |i ih i |) | i.
(1.96)
X
i
X
i
(1.97)
Ein Ma f
ur die Streuung (= Breite der Verteilung) der Zufallsgroen {i } ist die Varianz
X
X
2 =
(A)2| i := hA2 i| i hAi
P (i )2i (
P (i )i )2 ,
(1.98)
| i
A2
B]i|
|h[A,
2
(1.99)
Diese Aussage l
asst sich wie folgt interpretieren: Prapariere ein Ensemble im Zustand | i und
bestimme A durch Messung von A im Zustand | i sowie
im Zustand | i.
bestimme B durch unabh
angige Messung von B
(A)(B)
B]i|
|h[A,
2
(1.100)
Beachte:
Die obige Unsch
arfe stellt die intrinsische, statistische Unscharfe bei unabhangiger Messung
dar. Die Messungen von A und B
beeinflussen einander hier nicht - A und B
von A und B
werden unabh
angig an jeweils unterschiedlichen Reprasentanten des Ensembles im Zustand
| i gemessen und die statischen Schwankungen erf
ullen obige Ungleichung.
Zus
atzlich hierzu entsteht typischerweise eine weitere Quelle der Unscharfe, wenn man
gleichzeitig f
sowohl A als auch B
ur dieselben Reprasentanten des Ensembles misst, denn
diese Messungen beeinflussen einander. Die Unscharfe aufgrund einer solchen gemeinsamen
22
(1.102)
2
) | i = (A) .
= h | (A hAi
2
(1.103)
(1.104)
Nun sch
atzen wir |hA |B i| weiter ab. Es gilt:
p
|hA |B i| = (RehA |B i)2 + (ImhA |B i)2 .
(1.105)
Wir m
ussen nun also Real- und Imaginarteil finden. Wir schreiben zunachst
B
hBi)
| i = h | AB
| i hAih
Bi
hA |B i = h | (A hAi)(
(1.106)
Wir arbeiten weiter mit der folgenden Idee: Ist C hermitesch, so gilt hCi R. Ist C anti so gilt, dass hCi
rein imaginar ist. Damit ist in unserem Fall hAih
Bi
R.
hermitesch (C = C)
Aber: (AB) = B A ist weder hermitesch noch anti-hermitesch. Wir schreiben daher:
= 1 (AB
B
A)
+ 1 (AB
+B
A).
AB
2
2
(1.107)
B]
[A,
| {z }
Kommutator, anti-hermitesch
1
2
B}
{A,
| {z }
(1.108)
Anti-Kommutator, hermitesch
Es folgt unmittelbar
1
B}
| i hAih
Bi,
h | {A,
2
1
B]
| i,
ImhA |B i = h | [A,
2i
RehA |B i =
was uns zu
|hA |B i|
1
|h[A, B]i|
2
AB
1
|h[A, B]i|
2
(1.109)
(1.110)
(1.111)
f
uhrt.
2 Weitere Details k
onnen z.B. in M.G. Raymer Uncertainty principle for joint measurement of noncommuting
variables, Am. J. Phys 62 (11), November 1994, gefunden werden.
1.9
1.9.1
23
Bisher haben wir uns mit endlich-dimensionalen VR beschaftigt. Das Spektrum der Observablen
hatte immer endlich viele Werte
A |a0 i = a0 |a0 i,
(1.112)
(1.113)
00
h | i = 0 f
ur 6=
und
Z
X
ha0 |a00 i =
a0 a00 = 1 d 0 h 0 | 00 i = 1
Idee:
a0
(1.114)
(1.115)
a0
h 0 | 00 i = ( 0 00 )
(1.116)
Vollst
andigkeit
X
|a0 ih a0 | = 1
d 0 | 0 ih 0 | = 1
(1.117)
a0
Entwicklung in Basis
| i =
|a iha |i | i =
d 0 | 0 ih 0 |i
(1.118)
a0
Normierung
X
|ha0 |i|2 = 1
d 0 |h 0 |i|2 = 1
(1.119)
a0
Skalarprodukt
h|i =
Z
X
h|a0 iha0 |i h|i = d 0 h| 0 ih 0 |i
(1.120)
a0
Matrixelemente
h a00 | A |a0 i = a0 a0 a00 h 00 | | 0 i = 0 ( 0 00 )
(1.121)
> 0n0 :
24
n n0 .
(1.122)
Notwendige Bedingung ist, dass der Abstand zwischen den Folgeelementen immer kleiner wird
im Sinne der Cauchy-Folge:
> 0n0 :
n, m n0 .
(1.123)
Eine Cauchy-Folge konvergiert, aber der Limes muss nicht unbedingt im VR liegen.
Definition 1.21. Ein normierter VR V heit vollst
andig, wenn jede Cauchy-Folge gegen ein
Element |x i V konvergiert.
Definition 1.22. Ein normierter, vollst
andiger VR heit Banach-Raum.
Definition 1.23. Ein Banach-Raum, dessen Norm durch ein Skalarprodukt induziert ist, heit
Hilbertraum.
Wir weisen darauf hin, dass ein endlich-dimensionaler, unitarer VR immer ein Hilbertraum ist.
F
ur -dimensionale, unit
arte VR muss dies nicht gelten. In der Quantenmechanik fordern wir,
dass der VR vollst
andig ist. Andernfalls konnte eine Folge von Operationen an einem Zustand
aus dem Zustandsraum f
uhren, was physikalisch unsinnig ist.
Postulat 1 (endg
ultig)
Der quantenmechanische Zustandsraum ist ein Hilbertraum.
1.9.2
dx0 |x0 i
hx0 |i
| {z }
(1.124)
Koeffizienten
Betrachten wir eine idealisierte Messung: Der Detektor klickt nur bei Lokalisierung bei x0 . Dies
f
uhrt zum Kollaps auf Eigenfunktion
| i |x0 i.
(1.125)
0
Realistischer ist der Fall, dass der Detektor klickt bei einer Messung im Intervall [x /2, x0 +
/2]. Bei dieser Messung kollabiert
Z
| i =
x0 Z
+/2
x0 /2
(1.126)
25
Die Wahrscheinlichkeit, dass sich das Teilchen im Intervall [x0 dx, x0 + dx] aufhalt ist dann
P = |hx0 |i|2 dx (dx
infinitesimal).
(1.127)
Insbesondere betr
agt die Wahrscheinlichkeit das Teilchen irgendwo im Raum zu finden
Z
(1.128)
Dies stimmt u
berein mit der Wahrscheinlichkeit, den Zustand | i zu messen, wenn der Zustand
| i pr
apartiert wurde:
Z
1 = h|i =
(1.129)
1.9.3
R C.
(1.130)
(1.131)
(1.132)
Wir k
onnen damit gegen
uberstellen:
Label i der ONB {|ei i} Label x0 der ONB {|x0 i}.
(1.133)
Der gesamte bisherige Formalismus kann mithilfe der Wellenfunktion umgeschrieben werden
Zustand: | i (x)
R
R
Skalarprodukt: h|i = dx0 h|x0 ihx0 |i = dx0 (x0 ) (x0 )
R
R
Norm: h|i = dx0 (x0 ) (x0 ) = dx0 | (x0 )|2
R
Matrixelement: h | A | i = dx0 dx00 (x0 )h x0 | A |x00 i (x00 ).
Insbesondere gilt f
uRr Observable der Form A = f (
x) wegen h x0 | f (
x) |x00 i = f (x00 )(x0
00
0
0
0
x ) h | A | i = dx f (x ) (x ).
26
R
| (x)|2 < .
bildet einen
F
ur einen Beweis dieses nichttrivialen Theorems verweisen wir auf die Methoden der Fuktionalanalysis.
Beispiel: Wir wollen die Wellenfunktion zum Ortseigenket |x0 i finden. Es gilt:
| i : hx0 |i = (x0 )
Auf der anderen Seite gilt aber auch
Z
Z
0
0
hx |i = dxhx |xihx|i = dxx0 (x) (x).
(1.134)
(1.135)
1.10
1.10.1
Aktive Translationen
R
Unser Ziel ist es die Wirkung des Impulsoperators auf einen gegebenen Zustand | i = dx |x i (x)
zu finden. Aus der klassischen Mechanik wissen wir, dass der Impuls der Generator von Ortstranslationen ist. Wir suchen deshalb zun
achst eine Darstellung des Translationsoperators T auf | i.
Wir unterscheiden:
passive Transformationen, bei den das physikalische System gleich bleibt, wahrend die
Koordinaten transformiert werden versus
aktive Transformationen, bei denen das physikalische System transformiert wird.
Wir betrachten aktive Translationen und definieren den Translationsoperator
T(x) : Zustand bei x 7 Zustand bei x + x
T(x) |x i = |x + x i
Berechnen wir also die Wellenfunktion zu |x + x i:
(1.136)
(1.137)
27
|x + x i = T(x) |x i
Z
= T (x)
dx0 |x0 ihx0 |xi
(1.138)
(1.139)
Z
=
(1.140)
(1.141)
|x + x i =
x (x0 x)
T(x)(x) = (x x)
(1.142)
bedeutet.
1.10.2
(1.143)
T(x)T (x) = 1,
28
T (x) = [T(x)]1 .
d.h.
(1.144)
T(dx) = 1 iKdx
+ O(dx2 ).
(1.145)
gilt, erf
Wenn K = K
ullt T(dx) alle obigen Eigenschaften:
T(dx)
unitar
hermitesch.
(1.146)
= K
generiert die Gruppe der Translationen in obigem Sinne.
Der Operator K
Wir merken an dieser Stelle an, dass eine Translation um ein endliches x aus Abfolge infinitesimaler Translationen zusammengesetzt werden kann:
T(x) = lim
1 iK
x
N
N
,
(1.147)
was bedeutet:
T(x) = exp(iKx)
(T 1 = T K = K)
(1.148)
(1.149)
x
T(x) |x0 i = x
|x0 + x i = (x0 + x) |x0 + x i,
T(x)
x |x0 i = x0 T(x) |x0 i = x0 |x0 + x i.
(1.150)
(1.151)
Wir u
bertragen unser Ergebnis auf den Fall infinitesimaler Translationen (x dx):
(
xT(dx) T(dx)
x) |x0 i = dx |x0 i + O(dx2 )
[
x, T(dx)] = dx1 = dx.
(1.152)
Da T = 1 iKdx
infinitesimal ist, folgt
= i.
[
x, K]
1.10.3
(1.153)
mit [
= i der Generator der
Wir haben gerade etabliert, dass der hermitesche Operator K
x, K]
Translationen in der Quantenmechanik ist. Wie schon angedeutet ist klassisch aber der Impuls
der Generator der Translationen, im folgenden Sinne:
Betrachte den klassischen Phasenraum (q, p) mit der Poissonklammer {, } :
{A(q, p), B(q, p)} =
A B
A B
.
q p
p q
(1.154)
29
(1.155)
F (q, p) = 1 + dq
F (q, p) = F + F
q
(1.156)
mit F = {F, Q} f
ur Q = p.
- dem Generator
Dies legt eine Identifikation der Observablen p mit dem hermiteschen Operator K
der Translationen nahe. Beachten wir allerdings:
Ein Beweis dieses Zusammenhangs in der QM ist nicht moglich. Vielmehr gehen wir auch
hier wieder heuristisch vor: Wir versuchen, die Strukturen aus der Klassischen Mechanik
so gut wie m
oglich auf die QM zu u
muss
bertragen. Die Sinnhaftigkeit dieser Ubertragung
sich dann ex post zeigen.
Eine genauere Begr
undung f
ur die Identifikation von p mit dem Generator der Translationen
hierf
ur bedarf einer Definition der Translation angewendet auf Operatoren (bisher hat unser
Translationsoperator nur auf Zustande gewirkt!). Wir kommen spater mit der Einf
uhrung
des Heisenbergbildes darauf zur
uck (siehe Diskussion um Gl. (2.102)).
tragen unterschiedliche Einheiten:
p und K
(xdx) = (1idxK)(x),
=
[K]
1
,
[Lange]
[Impuls] =
[Wirkung]
Js
=
(1.157)
[Lange]
m
Es bedarf einer fundamentalen Naturkonstanten mit Einheiten einer Wirkung zur Umrechnung:
p = ~K,
[~] = Wirkung
(1.158)
(1.159)
Als Anwendung der allgemeinen Unscharferelation (1.99) finden wir damit, dass Ort und Impuls
nicht gleichzeitig scharf messbar sein konnen:
(x)2 (p)2
~2
4
Heisenbergsche Unscharferelation.
(1.160)
3 Dass F (q, p) 7 F
(p, q) = F (q +q, p) das korrekte Transformationsverhalten unter aktiven Transformationen
ist wird offensichtlich, wenn man z.B. q selbst betrachtet: q q + q. Dies ist zu unterscheiden vom besprochenen
Verhalten der Wellenfunktion unter einer aktiven Translation, (x) (xx), welche nat
urlich keine klassische
Entsprechung hat.
1.10.4
30
Betrachte (xi ) mit z.B i = 1, 2, 3 und xi die Koordinaten des 3-dimensionalen euklidischen
Raumes. Um die Relation (1.159) zu verallgemeinern bedenken wir:
Der Ortsoperator in xi -Richtung und der Translationsoperator in xj -Richtung sind unabh
angig voneinander f
ur i 6= j. Deshalb gilt
[
xi , pj ] = i~ij .
(1.161)
(1.162)
[
xi , x
j ] = 0,
[
xi , pj ] = i~ij ,
[
pi , pj ] = 0.
(1.163)
Beachte, dass diese, wie oben hergeleitet, direkt aus der wohl motivierten Identifizierung von p
mit dem Generator der Translationen folgen.
Die Kommutatorrelationen erinnern uns an die klassischen Poissonbracket-Relationen der kanonischen Phasenraumkoordinaten (qi , pj ),
{qi , pj } = ij .
(1.164)
Wir stellen fest, dass die quantenmechanischen Kommutatorrelationen aus den klassischen PoissonBracket-Relationen durch die Ersetzung
[, ]QM {, }P.B. i~
folgen (bzw. durch Ersetzung {, }P.B.
sierung:
1
i~ [, ]).
(1.165)
[, ] = i~{, }P.B. .
(1.166)
In den Ubungen
werden wir sehen, dass die Ersetzung klassischer Funktionen auf dem Phasenraum durch nicht-kommutierenden Operatoren den Zusammenhang [, ] = i~{, }P.B. erzwingt.
Diese Erkenntnis kann auch als eine alternative Herleitung der Relationen (1.163) dienen. Abschlieend wollen wir den Ursprung des Faktors i~ noch verstehen:
{f, g}P.B. ist reell, falls f, g reell, aber [f, g] ist antihermitesch, falls f, g hermitesch. Deshalb
ben
otigt man einen Faktor i.
{, }
q p ,
1.10.5
31
x : infinitesimal.
(1.167)
(1.168)
hx0 |i + . . .
x0
(1.169)
oder gleichbedeutend
(x0 ) + . . .
(Taylor-Entwicklung).
(1.170)
x0
Z
R
0
Damit erhalten wir (1 ~i x p) | i = dx0 |x0 ihx0 |i x dx0 |x0 i x
0 hx |i und folgern
|
{z
}
(x0 x) = (x0 ) x
| i
Z
p | i =
(1.171)
p(x) = i~
(x).
x
(1.172)
Insbesondere gilt
Z
h | p | i =
1.11
Wellenfunktionen im Impulsraum
1.11.1
(1.173)
Wie f
ur den Ortsraum betrachten wir eine Basis aus Eigenzustanden von p (zunachst eindimensional),
p |p i = p |p i,
hp0 |pi = (p p0 ).
(1.174)
Z
| i =
32
Z
dp |p ihp|i =
dp |p i
(p)
| {z }
(1.175)
Wellenfunktion im Impulsraum
Wir suchen jetzt den Zusammenhang zwischen |x i und |p i. Insbesondere mochten wir p (x) =
hx|pi berechnen. Dies entspricht der Wellenfunktion des Impulseigenzustands |p i in der Ortsdarstellung. Aus (1.171) gewinnen wir durch Multiplikation beider Seiten mit h x|, dass
| i :
h x| p | i = i~x hx|i.
(1.176)
(1.177)
F
ur | i = |p i folgt daraus sofort
(1.178)
Beachte den Unterschied zwischen der reellen Zahl p und dem Operator p in dieser Gleichung.
Wir erhalten damit eine DGL f
ur hx|pi :
i
p hx|pi
~
mit L
osung hx|pi = N exp( ~i px) (N ist eine Normierungskonstante).
x hx|pi =
(1.179)
Wir halten fest: Der Eigenzustand |p i mit festem Impuls p ist eine ebene Welle im Ortsraum.
Bestimmen wir nun noch die Normierung. Wir wahlen sie dergestalt, dass die Normierung
hx0 |x00 i = (x0 x00 ) gilt. Nun berechnen wir
Z
hx0 |x00 i = dp0 hx0 |p0 ihp0 |x00 i
(1.180)
Z
i
(1.181)
= dp0 |N |2 exp( p(x0 x00 )).
~
R
Verwenden wir dk eikx = 2(x), so erhalten wir hx0 |x00 i = 2~|N |2 (x0 x00 ). Damit hx0 |x00 i =
1
(x0 x00 ) muss |N |2 = 2~
. So kommen wir zu dem wichtigen Ergebnis
hx|pi p (x) =
1.11.2
i
1
e ~ px .
2~
(1.182)
Wir suchen nun die Transformation, welche einem Basiswechsel vom Ortsraum in den Impulsraum
entspricht. Durch Einf
ugen der 1 k
onnen wir schreiben
Z
(x) = hx|i = dphx|pihp|i.
(1.183)
Mithilfe des soeben berechneten Zusammenhangs (1.182) und hp|i = (p) wird daraus
Z
i
1
(x) =
dp e ~ px (p).
(1.184)
2~
33
(1.185)
ablesen. Damit stellen wir fest, dass die Wellenfunktionen im Orts- und Impulsraum durch eine
Fouriertransformation ineinander u
uhrt werden,
bergef
(x)
Fouriertransformation
(p).
(1.186)
Kommentare
Dieser magische Zusammenhang folgt allein aus den kanonischen Kommutatorrelationen:
Die Relation [
x, p] = i~ wird erf
ullt von p = i~x , und daraus folgt unmittelbar hx|pi
i
uhrt. Dieser Zusammenhang wird
e ~ px , was wiederum sofort auf die Fouriertransformation f
B]
= i c, wobei c eine Konstante ist.
deshalb allgemeiner auftreten, wann immer [A,
Was ist nun die physikalische Bedeutung von ~? Die Wellenfunktion eines Impulseigenzustands l
asst sich, wie wir gesehen haben, schreiben als
p (x) =
i
1
1
e ~ px =
eikx ,
2~
2~
mit
k=
p
~
(1.187)
~
Diese Beziehung ist nichts anderes als die DeBroglie-Relation f
ur Materiewellen,
Teilchen mit Impuls p Ebene Welle mit Wellenzahl k =
p = ~k.
(1.188)
(1.189)
(1.190)
x
|p i = +i~p |p i.
(1.191)
Obige Relationen f
ur ein-dimensionale Systems konnen sofort auf
|~x i = ~x |~x i,
~x
und
d3 x |~x ih ~x| = 1
R3 verallgemeinert werden,
p~ |~
p i = p~ |~
pi
~ x |~x i.
und p~ |~x i = i~
(1.192)
(1.193)
p
~~
x
~
d3 pei
d3 xei
(2~) 2
Z
1
(2~) 2
1
3
(2~) 2
ei
p
~~
x
~
(~
p)
p
~~
x
~
(~x)
(1.194)
(1.195)
(1.196)
1.11.3
34
(1.197)
In den Ubungen
werden wir folgende Erwartungswerte berechnen:
h
xi = 0,
h
x2 i = (x)2 =
1
2a ,
h
pi = ~k,
h
p2 i =
a~2
2
+ ~2 k 2 .
~2
.
4
(1.198)
Dies bedeutet, dass (x) minimale Unscharfe hat (xp ~2 ). Man kann zeigen, dass dies die
einzige Wellenfunktion ist, welche die Unscharfeungleichung saturiert.
Wir beobachten ferner, z.B. durch expliziten Vergleich der Wellenfunktionen im Orts- und Impulsraum, den Zusammenhang
Lokalisierung im Ortsraum-Raum
Delokalisierung im Impulsraum
(1.199)
x 0
(1.200)
Anders ausgedr
uckt:
| i stark lokalisiert im x-Raum
(p)
signifikant u
ber weiten Impuls-/Wellenzahlbereich
(1.201)
D.h. ein im Ortsraum stark lokalisierter Zustand entspricht im Impulsraum einem Wellenpaket, welches Beitr
age von vielen verschiedenen Wellenzahlen bzw. Impulswerten erhalt. Dieser
Zusammenhang ist uns nat
urlich aus der Theorie der Fouriertransformationen wohlvertraut.
Kapitel 2
Quantendynamik
2.1
Gegeben sei ein Zustand | i zur Zeit t0 , geschrieben im folgenden als |, t0 i. Wir wollen nun
analysieren, in welchem Zustand sich das System zur Zeit t befindet. Wir parametrisieren dazu
die Zeitabh
angigkeit, indem wir den Zustand zur Zeit t als |, t0 ; t i schreiben. Insbesondere gilt
in dieser Notation
(2.1)
lim |, t0 ; t i = | i.
tt0
Beachte: Anders als der Ort fungiert die Zeit in der Quantenmechanik nur als reeller Parameter, von dem Zust
ande abh
angen, und nicht als Observable im u
blichen Sinne von Postulat
2 der Quantenmechanik.1 Insofern ist die Formulierung der Quantenmechanik, die wir gerade
kennenlernen, nicht kovariant. In der relativistischen Version der Theorie, der Quantenfeldtheorie, stellt auch der Ort keinen Operator, sondern nur noch einen Parameter der Quantenfelder dar.
(t, t0 ) beschrieben,
Der Ubergang
|, t0 i |, t0 ; t i wird durch den Zeitentwicklungsoperator U
(t, t0 ) |, t0 i.
|, t0 ; t i = U
(2.2)
Dies ist
ahnlich zur Wirkung des Translationsoperators T(x) auf Zustande, allerdings mit dem
konzeptionellen Unterschied, dass t, wie angedeutet, nur einen Parameter des Zustands darstellt,
der Ort x
hingegen eine Observable ist und x somit Ortseigenwert des Zustands |x i. Ahnlich
wie
f
ur T(x) konstatieren wir folgende wichtige Eigenschaften:
(t, t0 ) U
(t, t0 ) = 1, damit die die Normierung des Zustands erhalten bleibt:
Unitarit
at: U
h, t0 |, t0 i = 1
h, t0 ; t|, t0 ; ti = 1,
(2.3)
(t2 , t0 ) = U
(t2 , t1 )U
(t1 , t0 ), wobei t0 t1 t2 ,
Verkn
upfungsgesetz: U
1 Ein Zeitoperator t sollte kanonisch konjugiert sein zum Hamilton-Operator im Sinne von [H, t] = i~. W.
Pauli hat bewiesen, dass ein solcher Operator nicht selbst-adjungiert sein kann, denn dies w
urde der Existenz eines minimalen Energie-Eigenwertes widersprechen. Allerdings kann ein Operator t definiert werden, der
schw
achere Eigenschaften erf
ullen (insbesondere Hermitizit
at). Eine Diskussion, inwieweit dies ausreicht, um
einen Zeitoperator sinnvoll zu definieren, findet sich z.B. in V. S. Olkhovsky, Time as a Quantum Observable, Canonically Conjugated to Energy, and Foundations of Self-Consistent Time Analysis of Quantum Processes, Advances in Mathematical Physics, vol. 2009, Article ID 859710, 83 pages, 2009. doi:10.1155/2009/859710,
http://www.hindawi.com/journals/amp/2009/859710/cta/
35
KAPITEL 2. QUANTENDYNAMIK
36
(t0 + dt, t0 ) = 1 = U
(t0 , t0 ).
Stetigkeit: limdt0 U
(t0 + dt, t0 ) zu erster Ordnung in dt,
F
ur infinitesimales dt entwickeln wir U
(t0 + dt, t0 ) = 1 i dt.
U
(2.4)
generiert also die Zeittranslation um dt.
Dies erf
ullt alle obigen Eigenschaften, falls = .
Wie im Kontext von T und dem Impuls erraten wir heuristisch eine sinnvolle Interpretation von ,
indem wir uns an der klassischen Dynamik orientieren: Klassisch generiert die Hamiltonfunktion
die Zeittranslation. Wir identifizieren deshalb
H
(2.5)
= 1 , [H] = Wirkung . Daraus folgt, dass wieder eine KonEine Einheitenbetrachtung zeigt []
Zeit
Zeit
stante mit Einheit einer Wirkung zur Umrechnung einzuf
ugen ist:
= 1H
(2.6)
~
= H m
= p und
ussen a priori nicht die selben sein.
Bemerkung: Die Konstanten in K
~
~
Dass dies, wie die Notation andeutet, so ist, ergibt sich spater aus den quantenmechanischen
Bewegungslgeichungen.
(t, t0 ) betrachten wir die Evolution
Zur Herleitung der bestimmenden Gleichung f
ur U
t0
(t,t0 )
U
(t+dt,t)
U
t + dt,
(2.7)
was
(t + dt, t0 ) = U
(t + dt, t) U
(t, t0 ) = (1 i Hdt) U
(t, t0 )
U
~
entspricht. Wir f
uhren eine Taylorentwicklung durch,
(t + dt, t0 ) = U
(t, t0 ) + dt U
(t, t0 ),
U
t
(2.8)
(2.9)
die uns zu
i~
(t, t0 )
U (t, t0 ) = H U
t
(2.10)
i~
|, t0 ; t i = H |, t0 ; t i.
t
(2.11)
KAPITEL 2. QUANTENDYNAMIK
37
(2.12)
(t,t0 )1]
i~[U
Zt
(t0 , t0 )
dt0 H(t0 )U
(2.13)
t0
f
uhrt.
Nun k
onnen wir die linke Seite in die rechte einsetzen und dies iterativ wiederholen. So findet
man die Dyson-Reihe
tZ
n1
n Z t
Zt1
X
i
(t, t0 ) = 1 +
dt1 dt2 . . .
dtn H(t1 ) . . . H(tn ).
U
~
n=1
t0
t0
(2.14)
t0
In den Ubungen
werden wir beweisen, dass das in (2.14) gegebene U
Schr
odingergleichung
(t, t0 ) = H(t)U
(t, t0 )
i~t U
(t0 , t0 ) = 1
U
mit
(2.15)
erf
ullt.
Im Spezialfall [H(ti ), H(tj )] = 0 ti , tj vereinfacht sich (2.14) zu
(t, t0 ) = e
U
~i
Rt
t0
dt0 H(t0 )
(2.16)
Bermerkungen:
Die Sch
odingergleichung (SG) ist eine lineare Differentialgleichung (DGL) erster Ordnung in t. Zu ihrer L
osung benotigt man als Anfangswert also nur den Zustand zur Zeit
t = t0 , |, t0 i. (Vgl. dagegen das Newtonsche Gesetz: m
x = F x(t0 ) und x(t
0 ) sind
erforderlich.)
Die Zeitentwicklung des Zustands | i unter der SG ist v
ollig deterministisch. Der probabilistische Charakter der Quantenmechanik kommt erst durch den Messprozess zustande.
Das ungest
ort Teilchen propagiert deterministisch.
Im folgenden betrachten wir H = konst. in der Zeit. Von besonderem Interesse sind die EnergieEigenzust
ande:
H] = 0 mit normierter Eigenbasis {|a0 i}, die auch Eigenbasis von
Sei A ein Operator so dass [A,
H ist:
H |a0 i = Ea0 |a0 i,
A |a0 i = a0 |a0 i.
(2.17)
KAPITEL 2. QUANTENDYNAMIK
38
Sei
|, t0 i = |a0 i
(2.18)
Das bedeutet, dass sich die Energie-Eigenzustande nur um eine gesamte Phase andern.
Insbesondere gilt f
ur den Erwartungswert bzgl. eines beliebigen Operators B:
|a0 i h a0 | e ~i Ea0 (tt0 ) Be
~i Ea0 (tt0 ) |a0 i = h a0 | B
|a0 i
h a0 | B
(2.19)
(2.20)
a0
(2.21)
a0
i
(2.22)
a0
i
mit ca0 (t) = e ~ Ea0 (tt0 ) ca0 (t0 ). Dies ist ein nicht-station
arer Zustand.
Wir fomulieren folgende allgemeine L
osungsstrategie:
Entwickle |, t0 i in Eigenbasis von H:,
|, t0 i =
(2.23)
a0
ca0 (t) |a0 i mit ca0 (t) = e ~ Ea0 (tt0 ) ca0 (t0 ).
a0
Als Check k
onnen wir r
uckw
arts rechnen und erhalten, wie erwartet,
X
i
|, t0 ; t i =
ca0 (t0 )e ~ Ea0 (tt0 ) |a0 i
(2.24)
a0
(2.25)
a0
(2.26)
a0
i
= e ~ H(tt0 ) |, t0 i
(t, t0 ) |, t0 i.
=U
(2.27)
(2.28)
KAPITEL 2. QUANTENDYNAMIK
2.2
39
Schro
dingergleichung fu
r Wellenfunktionen und Propagator
Wir k
onnen die Schr
odingergleichung (SG)
i~t |, t0 ; t i = H |, t0 ; t i
(2.29)
in eine Gleichung f
ur ,t0 (~x, t) = hx|, t0 ; ti umschreiben. Im einfachsten Fall eines zeitunabh
angigen Hamiltonoperators nimmt H die Form an
H=
p2
).
+ V (~x
2m
(2.30)
p2
) der Operator der potentiellen Energie.
der Operator der kinetischen Energie und V (~x
Hier ist 2m
Nun werten wir die Schr
odingergleichung in der Form h ~x| i~t |, t0 ; t i = h ~x| H |, t0 ; t i aus
mithilfe von
h ~x| p~ |, t0 ; t i =
p2
h ~x|
|, t0 ; t i =
2m
) |, t0 ; t i =
h ~x| V (~x
=
i~t h~x|, t0 ; ti =
~ x|, t0 ; ti,
i~h~
2
~
h~x|, t0 ; ti.
2m
V (~x)h~x|, t0 ; ti.
~2
+ V (~x))h~x|, t0 ; ti.
(
2m
(2.31)
(2.32)
(2.33)
(2.34)
i~t (~x, t) = (
~2
+ V (~x))(~x, t).
2m
(2.35)
(2.36)
Dies ist der tiefere Grund, warum der Hilbertraum der Zustande ein komplexer Vektorraum zu
sein hat - andernfalls w
are keine zeitinvariante Bewegungsgleichung erster Ordnung in t moglich.
Auch im Wellenfunktionsbild ist die SG wiederum besonders einfach f
ur Energieeigenzust
ande:
i
Sei |a, t0 i :
H |a, t0 i = Ea |a, t0 i und damit |a, t0 ; t i = e ~ Ea (tt0 ) |a, t0 i. Wir erhalten:
i
(2.37)
~2
+ V (~x) (~x, t) = E(~x, t)
2m
E. Schrodinger, 1926.
(2.38)
KAPITEL 2. QUANTENDYNAMIK
40
Die allgemeine L
osung zur zeitabh
angigen SG i~t (~x, t) = H(~x, t) lasst sich wie folgt schreiben:
Finde eine Energie-Eigenbasis von Wellenfunktionen:
Z
Hn (~x) = En n (~x),
d3 x m (~x) n (~x) = mn
(2.39)
(2.40)
Es folgt sofort
(~x, t)
cn e ~ En (tt0 ) n (~x)
(2.41)
d3 y
(2.42)
Z
(~x, t) =
d3 y G(~x, t; ~y , t0 ) (~y , t0 ),
wo
G(~x, t; ~y , t0 ) =
(2.43)
(2.44)
H=
p2
~2 d2
=
.
2m
2m dx2
(2.45)
2
~ d
Wir suchen zun
achst die Energie-Eigenzustande, definiert als 2m
osungsdx2 u(x) = Eu(x). Der L
raum dieser Gleichung ist aufgespannt von den Funktionen
uk (x)
Ek
1
eikx
2
2
~ 2
k .
2m
sowie
1
uk (x) = eikx
2
mit Energieeigenwerten
(2.46)
Wir haben also zweifach entartete Energie-Eigenwerte aufgrund der Z2 -Symmetrie x x von
H. Wir wollen nun die volle SG i~t (~x, t) = H(~x, t) losen mit Anfangszustand (x, 0) =
1
a 4
exp( 12 ax2 ) und folgen unserem Losungsschema:
(2.47)
KAPITEL 2. QUANTENDYNAMIK
41
(2.48)
Explizite L
osung: Mithilfe des allgemeinen Integrals
Z
eax
ibx
r
=
2
b
exp
a
4a
(2.49)
berechnen wir
c(k) =
1
a
14
k2
e 2a ,
(~x, t) =
a 14
1
q
1+
e 2 (x
1
a
1+i~at/m
).
(2.50)
i~a
m t
~2
4
~2
t2 .
4m2 (x)2t=0
(2.51)
(p)2 2
t .
(2.52)
m2
Wir sehen, dass das Wellenpaket eines freien Teilchens mit der Zeit zerfliet, d.h. das Teilchen
ist trotz anf
anglicher Lokalisierung zu spateren Zeiten delokalisiert. Je starker das Teilchen unspr
unglich lokalisiert ist, desto schneller fliet das Wellenpaket mit der Zeit auseinander. Der
Grund daf
ur ist, dass eine starke Lokalisierung eine hohe Impulsbreite verursacht. Das Zerflieen entsteht nun durch die unterschiedlichen Geschwindigkeiten der Impulskomponenten. Dieses
Zerflieen des Wellenpakets ist ein quantenmechnaisches Phanomen ohne klassisches Analogon.
(x)2t = (x)2t=0 +
Abschlieend stellen wir noch einige wichtige, aber etwas formalere Betrachtungen zum Konzept
des Propagators G(~x, t; ~y , t0 ) an, definiert als Kern des Integraloperators
Z
(~x, t) = d3 y G(~x, t; ~y , t0 ) (~y , t0 ).
(2.53)
G(~x, t; ~y , t0 ) ist das Analogon des Zeitentwicklungsoperators in der Ortsbasis: Ausgehend von
(t, t0 ) |, t0 i
|, t0 ; t i = U
(2.54)
finden wir
Z
(t, t0 ) d3 y |~y ih~y |, t0 i
h~x|, t0 ; ti = h ~x| U
Z
(t, t0 ) |~y i (~y , t0 ).
= (~x, t) =
d3 y h ~x| U
|
{z
}
G(~
x,t;~
y ,t0 )
(2.55)
(2.56)
KAPITEL 2. QUANTENDYNAMIK
42
(t, t0 ) |~y i =
h ~x| U
X
(t, t0 ) |n ihn|~y i
h ~x| U
(2.57)
(2.58)
(2.59)
Beachte hierbei, dass limtt0 G(~x, t; ~y , t0 ) = (3) (~x ~y ), d.h. der Propagator divergiert bei t =
t0 , ~x = ~y . Von theoretischem Interesse ist insbesondere die Groe
Z
G(t t0 ) =
Z
=
d3 yG(~y , t; ~y , t0 )
d3 y
(2.60)
h y| e ~ En (tt0 ) |n ihn|yi
(2.61)
Z
=
d3 y
hn|yihy|nie ~ En (tt0 )
(2.62)
Z
X
i
=
h n| d3 y |y ih y| nie ~ En (tt0 )
{z
}
|
n
(2.63)
=1
~i En (tt0 )
(2.64)
G(t t0 ) erh
alt Information u
ber das Energiespektrum und wird in der Quantenfeldtheorie eine
wichtige Rolle spielen.
KAPITEL 2. QUANTENDYNAMIK
2.3
43
Betrachte die Gr
oe (~x, t) = (~x, t) (~x, t). Die physikalische Interpration von (~x, t) ist die
einer Wahrscheinlichkeitsdichte, denn die Wahrscheinlichkeit daf
ur, das Teilchen mit Wellenfunktion (~x, t) zur Zeit t im Volumen V zu finden, ist
Z
P (Teilchen ist zur Zeit t im Volumen V) = d3 ~x(~x, t).
(2.65)
V
Die Anderung
von (~x, t) mit der Zeit wird in der Kontinuit
atsgleichung beschrieben.
Ausgangspunkt zu ihrer Herleitung ist die Schrodingergleichung
~2
+ V (~x) (~x, t),
i~t (~x, t) =
2m
~2
i~t (~x, t) =
(2.66)
(2.67)
(2.68)
(2.69)
(2.70)
~ ~j = 0,
t (~x, t) +
(2.71)
~ (
~ ) .
~j = i~
2m
(2.72)
~j(~x, t) ist die Wahrscheinlichkeitsstromdichte, wie aus der integralen Form der Kontinuitatsgleichung
hervorgeht. Betrachte hierzu ein Volumen V mit Rand V = F und integriere (2.71) u
ber V.
Dies ergibt
Z
Z
Z
d
~ ~j = dF~ ~j(~x, t).
d3 x (~x, t) = d3 x
(2.73)
dt
V
Im zweiten Schritt haben wir den Gauschen Integralsatz angewendet. Die Aufenthaltswahrscheinlichkeit a
ndert sich also in dem Mae wie Wahrscheinlichkeitsdichte aus dem Volumen
heraus oder in das Volumen hineinstromt. Die Kontinuitatsgleichung ist uns nat
urlich von der
Hydrodynamik inkompressibler Fl
ussigkeiten vertraut.
Aus der Unitarit
at der Zeitentwicklung wissen wir, dass die Gesamtwahrscheinlichkeit erhalten
bleibt,
Z
d
d3 x (~x, t) = 0
(Normerhalt).
(2.74)
dt
3
R
KAPITEL 2. QUANTENDYNAMIK
44
was zu (2.74) f
uhrt.
Bemerkung: Normerhalt erfordert, dass das Potential reell ist,
V (~x) = V (~x).
(2.76)
Echt komplexe Potentiale V (~x) 6= V (~x) beschreiben Prozesse, bei denen die Teilchenzahl nicht
erhalten ist, d.h. die Absorption oder Produktion von Teilchen.
~
Wir wenden uns noch etwas n
aher der physikalischen Interpretation von ~j(~x, t) zu: Mit p~ = i~
ist
Z
Z
Z
1
d3 x (~x, t)p~ (~x, t) + d3 x (~x, t)(p~ (~x, t)) .
(2.77)
d3 x ~j(~x, t) =
2m
3
3
3
R
R
R
Daraus folgt sofort
Z
h~
pi(t)
d3 x ~j(~x, t) =
.
(2.78)
m
Dieser Zusammenhang wird weiter relevant in Kombination mit folgender Beobachtung:
Schreibe
p
i
(~x, t) = (~x, t)e ~ S(~x,t)
(2.79)
und
~
~i S
~
i
i i~
e ~ S + e ~ S S
2
~
!
=
1~
i ~
+ S.
2
~
(2.80)
(2.81)
R
d3 x ~j(~x, t) =
(2.82)
Es ist naheliegend, eine Geschwindigkeit des Teilchens zu definieren als die Groe mit ~v =
1 ~
x, t). Damit nimmt die Kontinuiatsgleichung die vertraute Form an
m S(~
~ (~v ) = 0.
t +
(2.83)
KAPITEL 2. QUANTENDYNAMIK
45
2.4
Zeitentwicklung im Heisenberg-Bild
2.4.1
t = t0 = 0 :
h | A | i
t>0:
(t, 0)AU
(t, 0) | i.
h | U
(2.84)
Alternativ k
onnen wir diese Dynamik der Matrix-Elemente auch durch einen Formalismus der
Zeitentwicklung der Operatoren, nicht des Zustandsvektors, darstellen. In dieser Form ergibt sich
die Dynamik wie folgt:
t=0:
t>0:
(t, 0)AU
(t, 0).
U
(2.85)
t=0:
| i
t>0:
| i.
(2.86)
(t, 0) U
(t). Wir definieren das Heisenberg-Bild wie folgt:
Im folgenden schreiben wir: U
Die Observable im Heisenberg-Bild ist definiert als
(t)A(S) U
(t),
A(H) (t) = U
(2.87)
(2.88)
|, t0 = 0; t i(H) = |, t0 = 0 i | i(H) .
(2.89)
KAPITEL 2. QUANTENDYNAMIK
46
(2.90)
(2.93)
(2.94)
(H) (t)
A
1 (H)
(t)H U
(t)].
[A (t), U
i~
(2.95)
Insbesondere ist
H U
= H (H) (t)
U
(2.96)
d (H)
1
A (t) = [A(H) (t), H (H) (t)].
dt
i~
(2.97)
im Heisenberg-Bild, weshalb
(t) = e ~i Ht , ist H (H) (t) = H 2 und d A(H) (t) = 1 [A(H) (t), H].
Wenn H zeitunabh
angig ist, also U
dt
i~
Wenn wir auerdem eine explizite Zeitabhangigkeit in A(S) haben, also t A(S) (t) 6= 0, finden wir
die Heisenberg-Bewegungsgleichung
(H)
1
d (H)
A (t) =
A
+ [A(H) (t), H],
dt
t
i~
(2.98)
(H)
(t)t A(S) (t)U
(t).
wo ( t
A)
=U
Bemerkungen:
Das Heisenberg-Bild ist n
aher am klassischen Bild: Die Wellenfunktion/ der Zustandsvektor
hat kein direktes klassisches Analogon, aber klassische Groen wie Energie, Ort und Impuls werden zu quantenmechanischen Observablen, die sich im Heisenberg-Bild dynamisch
2 Allgemeiner
gilt dies f
ur [H(ti ), H(tj )] = 0.
KAPITEL 2. QUANTENDYNAMIK
47
Analogon zu
d
F (q, p, t) = t F (q, p, t) + {F (q, p, t), H}
(2.99)
dt
zu verstehen. Hier ist {F, G} = q F p G p F q G die klassische Poisson-Klammer. Angesichts des besprochenen Zusammenhangs
{
1
[ ,
i~
(2.100)
in U
(t + dt, t0 ) = 1 idt
mit
rechtfertigt dies nachtr
aglich die Identifikation von
1
~ H.
Eine
ahnliche Analogie besteht f
ur den Translationsoperator. Statt |x i |x + x i =
T(x) |x i k
onnen wir Observable translatieren,
A T (x)AT(x).
(2.101)
f
Infinitesimal ergibt sich mittels T(x) = 1 ixK
ur x das Transformationsverhalten
K].
Dies ist zu vergleichen mit der klassischen Transformation einer
A A + 1i x[A,
Funktion F (q, p) auf dem Phasenraum,
F (q, p) F (q, p) = F (q + q, p) = F (q, p) + F,
F = q q F = q {F, Q},
Q = p.
(2.102)
p , wie wir ihn in Gl. (1.158)
Wir erhalten daraus mittels 2.100 den Zusammenhang K
~
angenommen hatten.
2.4.2
Wir verdeutlichen die Zeitentwicklung der Operatoren im Heisenberg-Bild am Beispiel des freien
Teilchens:
Im Folgenden sei x
=x
(H) (t) und p = p(H) (t) im Heisenbergbild. Der Hamiltonian f
ur das freie
Teilchen ist
p~2
.
2m
Damit laute die Bewegungsgleichung f
ur der Impuls
H=
d
1
p~ = [p~, H] = 0,
dt
i~
weil [
pi , f (
pj )] = 0 .
(2.103)
(2.104)
KAPITEL 2. QUANTENDYNAMIK
48
(2.105)
1
d
x
i = [
xi , H].
dt
i~
(2.106)
Die Bewegungsgleichung f
ur x
i lautet
f
pi
[
xi , f (p~)] = i~
!
)] = i~
[
pi , g(~x
g
xi
!
.
(2.107)
Daraus k
onnen wir sofort folgern, dass
\
3
X
1
1
[
xi , H] =
i~
i~2
pi ,
p2 =
2m
pi i=1 i
2m
was mit
d
i (t)
dt x
pi (t)
m
pi (0)
m
(2.108)
ergibt:
pi (0)
t.
(2.109)
m
Wir sehen also, dass die klassischen Bewegungsgleichungen zu Operatorgleichungen im HeisenbergBild werden.
x
i (t) = x
i (0) +
Nun m
ochten wir das Zerflieen des Wellenpakets im Heisenberg-Bild verstehen. Beachte dabei, dass im Heisenberg-Bild der Kommutator zu gleichen Zeiten mit dem Kommutator im
Schr
odinger-Bild wie folgt zusammenhangt:
(H) (t)] = [U
(t)A(S) U
(t), U
(t)B
(S) U
(t)]
[A(H) (t), B
(t)[A(S) , B
(S) ]U
(t).
=U
(2.110)
(2.111)
Insbesondere gilt [
xi (t), x
j (t)] = 0. Aber es gilt (f
ur Kommutatoren zu nicht gleichen Zeiten)
[
xi (t), x
j (0)] = [
i~t
pi t
,x
j (0)] = ij .
m
m
(2.112)
2 (B)
2 1 |h[A,
B]i|
2 k
Mit (A)
onnen wir nun
4
~2 t2
4m2
folgern, was das Auseinanderflieen des Wellenpakets f
ur ein freies Teilchen bedeutet.
(xi )2t (xi )2t=0
(2.113)
p~2
+ V (~x).
2m
(2.114)
KAPITEL 2. QUANTENDYNAMIK
49
(2.115)
(2.116)
und
d
1
1
p~2
pi
x
i = [
xi , H] = [
xi ,
]= ,
dt
i~
i~
2m
m
da [
xi , V (~x)] = 0 (zu gleichen Zeiten). Wir erhalten daraus
1 d
d2
x
i (t) = [ x
i , H]
2
dt
i~ dt
1 pi
= [ , H]
i~ m
1 d
=
pi .
m dt
(2.117)
(2.118)
(2.119)
(2.120)
d2 (H)
(H) ).
~ (~x
~x (t) = V
dt2
(2.121)
Betrachten wir nun den Erwartungswert von (2.121) bzgl. eines Zustands | i(H) . Da | i(H)
unabh
angig von t ist, k
onnen wir folgern
d2
d
~ (
h~xi = hp~i = hV
x)i.
2
dt
dt
(2.122)
2.4.3
Basis-Kets im Heisenberg-Bild
Wir wenden uns abschlieend der Zeitentwicklung der Basis-Vektoren zu. Im Schrodinger-Bild
gilt:
(t, t0 ) |, t0 i, d.h. der Zustandsvektor ist dynamisch.
|, t0 ; t i(S) = U
Bei Entwicklung in Basis-Vektoren sind diese nicht dynamisch: Insbesondere gilt dies f
ur
die Eigenbasis zum Operator A(S) :
A(S) |a0 i = a0 |a0 i.
(2.123)
(2.124)
P
a0
KAPITEL 2. QUANTENDYNAMIK
50
(t) |, t0 i
ca0 (t) = ha0 |, t0 ; ti(S) = h a0 | U
(2.125)
Der Ubergang
ins Heisenbergbild liefert:
(t) |a0 i = U
(t)a0 |a0 i,
(t)A(S) U
(t) U
U
{z
}
|
(2.126)
(H) (t)
A
also
(t) |a0 i) = a0 (U
(t) |a0 i).
A(H) (t)(U
(2.127)
0
(H)
0
(t) |a i Eigenket zu A (t) mit Eigenwert a . Damit konnen wir die Eigenkets im
Somit ist U
Heisenberg-Bild definieren:
(t) |a0 i.
|a0 , t i(H) = U
(2.128)
Sie erf
ullen die inverse Schr
odingergleichung
i~t |a0 , t i(H) = H |a0 , t i(H) .
Im Heisenberg-Bild nimmt die Basis-Entwicklung die Form an:
X
ca0 (t) |a0 , t i(H)
|, t0 ; t i(H) =
{z
}
|
0
a
(2.129)
(2.130)
=|,t0 i
mit
(t, t0 )) |, t0 i.
ca0 (t) =(H) ha0 , t|, t0 ; ti(H) = (h a0 | U
(2.131)
Wir sehen also, dass die ca0 (t) in Schrodinger- und Heisenberg-Bild u
bereinstimmen.
2.5
2 2
Betrachten wir ein Teilchen der Masse m im eindimensionalen Potential V (x) = m
2 x . stellt
1
die Kreisfrequenz dar und hat die Einheit Zeit . Das quadratische Potential ist oft eine gute erste
N
aherung (im Sinne einer Taylorentwicklung) f
ur das Verhalten von Teilchen im stationaren
Punkt eines allgemeinen Potentials. Deshalb findet es Anwendung in universellem Kontext von
Festk
orperphysik bis hin zu Quantefeldtheorie.
Wir k
onnen den quantenmechanischen Hamilton-Operator f
ur dieses Problem schreiben als
p2
m
+ 2 x
2 .
2m
2
Es erweist sich als sinnvoll, die einheitenlosen Groen
r
m
1
X =
x
,
P =
p,
~
m~
zu definieren. Damit ist
H=
H=
~ 2 2
(X + P )
2
(2.132)
(2.133)
(2.134)
KAPITEL 2. QUANTENDYNAMIK
51
= i.
mit [X , P]
2.5.1
L
osung im Operatorbild
a = (X + iP)
2
1
a = (X iP)
2
1
X = (a + a ),
2
1
1
P = (a a ).
2i
(2.135)
(2.136)
Diese erf
ullen die Kommutatorrelation
1
X iP]
[X + iP,
2
i
= 1,
= ([P,
X ] [X , P])
2
[a, a ] =
(2.137)
(2.138)
also
[a, a ] = 1.
(2.139)
H=
mit
N = N.
(2.140)
(2.141)
(2.142)
(2.143)
(2.144)
1
~(aa
2
1
),
2
(2.145)
aber dies f
uhrt zu leicht unkonventioneller Definition
KAPITEL 2. QUANTENDYNAMIK
52
Eine entscheidende Eigenschaft von N ist, dass es nur nicht-negative Eigenwerte hat, denn
| i :
h | N | i = h | a a | i = ||a | i||2 0.
(2.146)
Wir finden nun die Energie-Eigenzustande und das Energie-Spektrum durch Analyse des Spektrums von N : Wenn |n i Eigenzustand von N mit Eigenwert n ist, also
N |n i = n |n i,
(2.147)
so ist
1
(2.148)
H |n i = ~(n + ) |n i = En |n i.
2
Wir wollen herausfinden, welche Besetzugszahlen n (also welche Eigenwerte von N ) auftreten.
Hierzu m
ussen wir etwas ausholen. Berechne zunachst [N, a] = [a a, a]. Aus der allgemeinen
Relation
[AB, C] = A[B, C] + [A, C]B
(2.149)
[N, a] = a [a, a] + [a , a] a = a.
| {z } | {z }
(2.150)
folgt
=0
=1
und ebenso
[N, a ] = a .
(2.151)
Als n
achstes fragen wir uns, was a |n i f
ur ein Zustand ist. Wir betrachten
N (a |n i) = ([N, a] + aN ) |n i = a |n i + an |n i,
(2.152)
N (a |n i) = (n 1)a |n i
(2.153)
was uns zu
f
uhrt. Das bedeutet, dass a |n i Eigenzustand von N mit Eigenwert n 1 ist. Ahnlich
finden wir
N a |n i = (n + 1)a |n i
(2.154)
erniedrigt den EW um 1
Vernichtungsoperator
(2.155)
erh
oht den EW um 1
Erzeugungsoperator
(2.156)
Beachte dabei, dass das Spektrum von N und damit von H nicht degeneriert ist. Der Grund
daf
ur ist, dass a und a eine vollst
andige Menge von Observablen bilden, was bedeutet, dass in
diesem Problem jede Observable eine Funktion von a und a ist. Ware das Spektrum degeneriert,
so k
onnte man eine weitere Observable hinzunehmen, so dass diese Degenerierung aufgehoben
wird.
KAPITEL 2. QUANTENDYNAMIK
53
Es gilt deshalb
a |n i = cn+ |n + 1 i
h n| a = cn+ h n + 1|
(2.157)
a |n i = cn |n 1 i
h n| a = cn h n 1| .
(2.158)
1
h n| aa |n i
|cn+ |2
(2.159)
(2.160)
Damit erhalten wir sofort 1 = |cn+ |2 (1 + n), was cn+ = n + 1 bedeutet (hier haben wir eine
Gesamtphase entsprechend gew
ahlt). Auf die gleiche Weise erhalten wir aus
1 = hn 1|n 1i =
das Ergebnis cn =
1
|cn
|2
h n| |{z}
a a |n i =
N
n
|cn |2
(2.161)
a |n i =
n + 1 |n + 1 i
a |n i =
n |n 1 i.
(2.162)
(n 0
(2.163)
n |n 1 i,
p
a |n i = n(n 1) |n 2 i,
..
.
p
k
a |n i = n(n 1) . . . (n k + 1) |n k i.
2
(2.164)
(2.165)
(2.166)
(2.167)
Da N keine negativen Eigenwerte hat, muss diese Reihe irgendwann abbrechen. Sei L der kleinste
Wert so dass aL |n i = 0 mit L N. Das entspricht
0 = aaL1 |n i
a |n L + 1 i = 0.
(2.168)
(2.169)
KAPITEL 2. QUANTENDYNAMIK
54
Damit n L + 1 = 0 f
ur L N, muss n muss ganzzahlig sein. Gegeben sei also n N und damit
L = n + 1 der minimale Wert so dass aL |n i = 0. Insbesondere ist aL1 |n i =
6 0,
und
a |0 i = 0.
(2.170)
0 6= aL1 |n i = an |n i = n! |0 i
Damit ist |0 i der minimale Besetzungszustand. Man bezeichnet ihn als Grundzustand oder Vakuum. Damit meinen wir den Zustand minimaler Energie, welches ein Teilchen im Potential des
harmonischen Oszillators annehmen kann. Ausgehend von |0 i kann jeder hohere Energiezustand
durch Anwendung des Erzeugers a erreicht werden:
|1 i = a |0 i
1
1
|2 i = a |1 i = (a )2 |0 i.
2
2
..
.
(2.171)
(2.172)
(2.173)
n N.
(2.174)
Die Energie des Zustands |n i ist En = ~(n + 21 ). Insbesondere besitzt der Grundzustand die
Vakuumenergie
1
E0 = ~ .
2
(2.175)
Die Energie-Eigenzust
ande bilden eine Basis des sogenannten Fock-Raums.
In den Ubungen
zeigen wir:
Die Unsch
arfe im Zustand |n i ist
1
(x)2|n i (p)2|n i = (n + )2 ~2 .
(2.176)
2
Der Grundzustand |0 i saturiert damit die Unscharferelation. Wir weisen abschlieend darauf
hin, dass die Existenz der Vakuumenergie als eine Folge der Unscharferelation verstanden werden
kann, denn wegen h
pi|n i = 0 = h
xi|n i ist
hEi|n i =
2.5.2
1
m
(p)2|n i + 2 (x)2|n i .
2m
2
(2.177)
Darstellung im Ortsraum
Wir wollen die Wellenfunktion der Fockraum-Zustande |n i finden und beginnen mit dem Grundzustand, definiert als
r
m
i
a |0 i = 0
a=
(
x+
p).
(2.178)
2~
m
Wir erhalten daraus
KAPITEL 2. QUANTENDYNAMIK
55
r
0 = h x| a |0 i =
i
m
h x| x
+
p |0 i.
2~
m
(2.179)
Wegen h x| x
|0 i = xhx|0i und h x| p |0 i = i~x hx|0i finden wir
r
1 1
d
h x| a |0 i =
(x + x20 )hx|0i
x
dx
2 0
mit x0 =
~
.
m
(2.180)
d
)0 (x) = 0.
dx
(2.181)
Ihre L
osung finden wir wie folgt: Bekanntlich ist ex Losung zu
d
von dx 0 (x) = xx2 0 (x) ist somit
d
dx f (x)
21
0 (x) = N e
x
x0
(2.182)
x0
(2.183)
1
1
x0
21
x
x0
(2.184)
Wir sehen also, dass es sich beim Grundzustand um ein Gau-Profil handelt. Dies war zu erwarten, weil, wie nach (2.176) beschrieben, der Grundzustand die Orts-Impuls-Unscharfe erf
ullt.
(a )n
Nun finden wir die Wellenfunktion der angeregten Zustande |n i = n! |0 i durch die Wirkung
von a mit der Darstellung
a =
1
d
(x x20 )
dx
2x0
(im Ortsraum).
(2.185)
(2.186)
(2.187)
was zu
1
1
1
2 d n 2
) e
n (x) = 1
1 (x x0
n+
n
dx
4
2
2 n! x
x
x0
f
uhrt. Mit =
x
x0
l
asst sich dies via den Hermite-Polynomen schreiben:
(2.188)
KAPITEL 2. QUANTENDYNAMIK
56
(2.189)
1
2n n!x0
21
x
x0
Hn
x
x0
.
(2.190)
(2.191)
H1 () = 2,
(2.192)
(2.193)
(2.194)
H2 () = 4 2,
H3 () = 8 12.
Beachte dabei, dass H2n () = H2n () sowie H2n+1 () = H2n+1 () gilt. Induktiv findet man
allgemein
H2n () =
n
X
(1)nk
k=0
H2n+1 () = 2
n
X
(1)k
k=0
Aus hm|ni = nm =
(2n)!(2)2k
,
(n k)!(2k)!
(2.195)
(2n + 1)!(2)2n2k
.
k!(2n 2k + 1)!
(2.196)
2
de Hm ()Hn () = mn 2n n!.
(2.197)
2.5.3
L
osung des Oszillators im Ortsraum
+
x (x) = E(x).
(2.198)
2m dx2
2
q
~
Mit = xx0 f
ur x0 = m
und = 2E
~ folgt die Hermitsche Differentialgleichung
2
d
2
+ () = 0.
(2.199)
d 2
Wir wenden folgende allgemeine L
osungsstrategie an:
KAPITEL 2. QUANTENDYNAMIK
57
Finde zun
achst die asymptotische Losung u() f
ur ,
d2
2
u() = 0
d 2
( ),
(2.200)
was zu u()
ur f
uhrt.
= e 2 f
1
d
d2
2
+
1
v() = 0.
d 2
d
(2.201)
Die erlaubten Werte von ergeben sich aus der Forderung nach der Normierbarkeit der
L
osung. Dies werden wir im Detail in den Ubungen
sehen.
n 2
2
d
Tats
achlich kann man zeigen, dass die durch Hn () = e 2 d
e 2 definierten Hermitschen Polynome L
osung der Hermiteschen DGL sind. Betrachten wir hierzu
S(, s) = es
+2s
(2.202)
In den Ubungen
werden wir zeigen:
n
sn S(, s)|s=0
P
n=0
1 n
n! s Hn ().
Funktional.
Hn () definiert via
n
sn S(, s)|s=0
erf
ullt die hermitesche DGL.
KAPITEL 2. QUANTENDYNAMIK
2.5.4
58
Koh
arente Zust
ande
Die Fockraum-Zust
ande |n i =
1 (a )n
n!
(2.203)
h
p(t)i|n i = 0.
(2.204)
Charakteristisch f
ur die klassische L
osung des harmonischen Oszillators ist hingegen die Oszillation von x und p mit Frequenz . N
aher an der klassischen Losung sind die koh
arenten Zust
ande,
definiert als Eigenzust
ande von a,
a | icoh = | icoh .
(2.205)
Unser Ansatz f
ur einen solchen Zustand lautet
| i =
cn |n i.
(2.206)
n=0
| i = a | i =
cn n |n 1 i =
cm+1 m + 1 |m i.
(2.207)
m=0
n=1
cm+1 m + 1 = cm ,
cm+1
=
.
cm
m+1
d.h.
(2.208)
X
X
n
n n
|n i =
(a ) |0 i.
n!
n!
n=0
n=0
(2.209)
Dies l
asst sich formal schreiben als
C.
| icoh = ea |0 i
Man kann zeigen, dass h|i = e
(2.210)
| i = e 2 || ea |0 i.
(2.211)
KAPITEL 2. QUANTENDYNAMIK
59
|, t0 ; t i = e ~ Ht | i = e ~ Ht
=
X
n
|n i
n!
n=0
X
n
ei(n+1/2)t |n i
n!
n=0
= eit/2
(2.212)
(2.213)
X
(eit )n
|n i.
n!
n=0
(2.214)
(t) = eit .
mit
(2.215)
h x| a | i = 0.
(2.216)
(2.217)
x
d
2 | i (x) = 0
+ x0
x0
dx
(2.218)
+Bx+C
(2.219)
Eingesetzt in (2.218) f
uhrt dies zu dem Ergebnis
| i (x) = N| i e
1
2x2
0
(x 2x0 )2
(2.220)
Das Wellenpaket ist zentriert um hx(t)i = 2x0 Re(t). Damit oszilliert hx(t)i| i mit der
Frequenz .
Insgesamt k
onnen wir also festhalten, dass die quantenmechanischen Zustande |coh i in der Tat
die typischen Eigenschaften klassischen Losung des harmonischen Oszillators realisieren.
Kapitel 3
Rotationen in
Unser bisheriges Programm zur Definition der quantenmechanischen Observablen beruht auf der
Identifikation
Observable
p~
~ p~ )
Translationen T = exp(ix
~
= exp(itH/~).
Zeitentwicklung U
(3.1)
(3.2)
(3.3)
Ebenso n
ahern wir uns dem Drehimpulsoperator u
ber Rotationen des Euklidischen Raums. Wir
beginnen mit einem Exkurs u
ber Rotationen im R3 , anhand derer wir die wichtigen Begriffe der
Lie-Gruppe und Lie-Algebra kennenlernen.
3.1.1
Rotationen in
mit RR =
Drehgruppe
(3.4)
mit
detR = 1}.
(3.5)
Wir betrachten wieder aktive Rotationen, d.h. das Koordinatensystem wird nicht transformiert.
Die Rotation eines Vektors um einen Winkel um die z-Achse ist gegeben durch die Matrix
cos sin 0
Rz () = sin cos 0 .
(3.6)
0
0
1
Ebenso k
onnen wir die Rotationen um die x- und y-Achse beschreiben als
1
0
0
cos 0 sin
1
0 .
Rx () = 0 cos sin ,
Ry () = 0
0 sin cos
sin 0 cos
60
(3.7)
61
Eine allgemeine Drehung R SO(3) wird also durch reelle 3 Parameter spezifiziert, denn
RT R = 1 stellt 6 Bedingungen an 9 Matrixelemente. Wir stellen die folgenden beiden gangigen
Parametrisierungen gegen
uber, n
amlich
u
ber die drei Eulerwinkel, R = Rz ()Ry ()Rz () mit 0 , , < 2, oder als
~
Drehung um Winkel um vorgegebene Achse ~n =
. Beachte dabei, dass die Drehung um
~n um Winkel und die Drehung um ~n um Winkel 2 identisch sind. Deshalb konnen
wir gem
a 0 einschranken, m
ussen aber f
ur = die Drehung um ~n und ~n
identifizieren.
Da die Gruppe SO(3) kontinuierlich von 3 reellen Parametern abhangt, bildet sie ein Beispiel
einer Lie-Gruppe:
Definition 3.1. Eine Lie-Gruppe ist eine Gruppe mit der Struktur einer glatten Mannigfaltigkeit,
dergestalt dass die differenzierbare Struktur mit den Gruppengesetzen vertr
aglich ist.
Was bedeutet dies? Zun
achst einmal ist eine Mannigfaltigkeit f
ur unsere Zwecke ein glatter
Raum, der lokal aussieht wie Rn . Genauer gesagt gibt es eine stetige Abbildung von Rn in die
Mannigfaltigkeit. Diese muss nicht global definiert sein. Aber lokal, also in offenen Umgebungen
eines jeden Punktes, liefert sie ein stetige Abbildung zwischen Rn und der Mannigfaltigkeit. F
ur
eine differenzierbare Mannigfaltigkeit ist diese Abbildung differenzierbar - dies bezeichnet man
mit der differenzierbaren Struktur. 1
Wir haben also einen Parameterbereich als eine Teilmenge von Rn und eine Abbildung von
diesem Parameterbereich auf unsere Mannigfaltigkeit. Im Falle einer Liegruppe ordnet diese Abbildung einem Element des Parameterbereichs ein Gruppenelement zu. Sei also g G das
Gruppenelement zu Parameter . Den Parameter konnen wir als Koordinate auf der Gruppenmannigfaltigkeit ansehen. Was diese Mannigfaltigkeit zu einer Gruppe macht, ist die Wirkung
der Gruppenmannigfaltigkeit auf sich selbst,
g1 g2 = g3 .
(3.8)
(3.9)
(3.10)
gf (1 ,2 ) g3 = g1 gf (2 ,3 ) ,
(3.11)
f (f (1 , 2 ), 3 ) = f (1 , f (2 , 3 ));
(3.12)
der Existenz der Eins: Wenn = 0 dem Element g=0 = 1 entspricht, ist
f (, 0) = f (0, ) = ;
(3.13)
62
mit
f ( 1 , ) = 0.
(3.14)
Beachte:
Rotationen um verschiedene Achsen kommutieren nicht, z.B.
Rx () Ry () 6= Ry () Rx ().
(3.15)
3.1.2
mit
(3.16)
Die grundlegende Idee der Theorie der Lie-Gruppen besteht im Studium vieler Gruppeneigenschaften anhand des Konzepts der infinitesimalen Gruppenelemente. Aufgrund der Glattheit der
Gruppenmannigfaltigkeit k
onnen wir den Limes betrachten
lim g = 1.
(3.17)
Dies erlaubt die Definition infinitesimaler Transformationen um die 1 im Sinne einer Taylorentwicklung. Anstatt dies formal zu definieren, betrachten wir gleich das Beispiel SO(3). Eine
Rotationsmatrix, z.B. Rx (), koennen wir in entwickeln. F
ur allgemeine R SO(3) erhalt man
so eine Entwicklung
R = 1 + + ...,
(3.18)
wobei RT R = 1 erfordert, dass T = . In der Physik wahlt man die infinitesimalen Rotationen
vorzugsweise hermitesch durch Einf
ugen von Faktoren i. F
ur infinitesimale Rotationen um die
z-Achse etwa schreibt man
Rz = 1 iz Mz ,
(3.19)
0
i
0
i 0
0 0 ,
0 0
Mz = Mz .
(3.20)
Die infinitesimalen Gruppenelemente sind aufgrund der folgenden Beobachtung von Interesse:
Alle Gruppenelemente, die kontinuierlich mit der 1 verbunden sind, werden durch Hintereinanderausf
uhrung infinitesimaler Transformationen erreicht.2 F
ur SO(3) etwa heit das,
2 Im allgemeinen muss die Lie-Gruppe nicht durch eine zusammenh
angende Mannifaltigkeit gegeben sein. In
diesem Fall ist nur die Komponente, in der die 1 liegt, kontinuierlich mit dieser verbunden. Ein Beispiel einer nicht
zusammenh
angenden Gruppenmannigfaltigkeit ist die orthogonale Gruppe O(3) mit den beiden Komponenten
det O = 1 und det O = 1.
63
Ri (i ) = lim
1 i i Mi
N
N
= eii Mi .
(3.21)
Endliche Rotationen um eine feste Achse ~n lassen sich also schreiben als
~ ) exp(i[nx Mx + ny My + nz Mz ]).
R~n () = exp(i ~n M
(3.22)
= 1 i(Mx + My ) + O(2).
(3.23)
(3.24)
(3.25)
Der Kommutator zweier Erzeugender ist wieder Erzeugende, das Produkt hingegen nicht. Am
Beispiel der SO(3) sehen wir dies explizit, denn
(Mx My ) 6= (Mx My )
aber
(i[Mx , My ]) = i[Mx , My ].
(3.26)
g g g,
(3.27)
] diese Eigenschaften. F
ur so(3), die Lie-Algebra der
oder
[Mi , Mj ] = iijk Mk ,
(3.28)
(3.29)
64
C
fC
AB = f BA ,
E
D
E
D
E
fD
at).
AB f CD + f CA f BD + f BC f AD = 0 (Jacobi-Identit
i
F
ur so(3) gilt fjk
= iijk .
3.2
Bislang haben wir uns mit Rotationen als Elementen einer abstrakten (Lie-)Gruppe befasst. Zu
einer Rotation R wollen wir nun den entsprechenden Rotations-Operator D(R) untersuchen, der
auf einem quantenmechanischen Zustand die Drehung R realisiert, also den Operator finden
| i 7 | iR = D(R) | i.
(3.30)
Die Frage nach der konkreten Realisierung von D(R) stellen wir an dieser Stelle ausdr
ucklich
hintan. Im einfachsten Beispiel etwa konnte man D(R) definieren als den Operator, der den
Ortseigenzustand |x, y, z i auf den Zustand |x, y, z iR = |x0 , y 0 , z 0 i abbildet mit
0
x
x
x
y = y 0 = R y .
(3.31)
z R
z0
z
Wir werden allerdings noch allgemeinere Formen des Drehoperators kennenlernen. Unabhangig
von der konkreten Realisierung stellen wir die minimale Forderung, dass f
ur R3 = R1 R2 auch
gelten soll D(R3 ) = D(R1 )D(R2 ).
Da unser momentanes Vorgehen uns noch oft in der Physik begegnen wird, halten wir kurz inne,
um uns zu vergegenw
artigen, was wir konzeptionell tun:
Wir beginnen mit einer abstrakten Gruppe G - hier der Lie-Gruppe SO(3).
Wir betrachten einen abstrakten Vektorraum V - hier den quantenmechanischen Hilbertraum der Zust
ande | i.
Zu jedem g G - hier R SO(3) - definieren wir einen linearen Operator
D(g) :
V V,
(3.32)
der die Gruppe G auf V realisiert und vertraglich mit der Gruppenstruktur ist:
D(g1 g2 ) = D(g1 )D(g2 ).
(3.33)
(3.34)
Definition 3.3. Ein D(g) : V V mit obigen Eigenschaften heit Darstellung von G, der
Vektorraum V ist der Darstellungsraum.
Das Konzept der Darstellung ist in der gesamten modernen Physik von universeller und nicht zu
u
atzender Wichtigkeit:
bersch
65
(Lie-) Gruppe G
Darstellung D(g)
unitare Darstellung.
(3.35)
Tats
achlich gilt das mathematische Theorem:
Jede irreduzible3 Darstellung einer kompakten Lie-Gruppe kann unitar gewahlt werden.
Ahnlich
wie f
ur die abstrakte Lie-Gruppe selbst ist es fruchtbar, zunachst die Darstellung infinitesimaler Gruppenelemente in einer Taylorentwicklung zu betrachten. Angewendet auf die
Drehgruppe suchen wir deshalb zun
achst D(R) f
ur eine infinitesimale Rotation um Achse ~n und
Winkel und entwickeln
~ ~n
D(~n, ) = 1 iG
mit
~ = G.
~
G
(3.36)
Da klassisch der Drehimpuls der Erzeugende von Drehungen ist, definieren wir den quantenmechanischen Drehimpuls-Operator als
~
J~ = ~ G,
d.h. D(~n, ) = 1 i
J~
~n
~
(3.37)
bzw.
~
J
D(R~n ()) = ei ~ ~n
(3.38)
f
ur endliches .
Die zentrale Einsicht ist, dass wegen der Darstellungseigenschaften die infinitesimalen Darstellungsoperatoren die Kommutatorrelationen der zugrundeliegenden Lie-Algebra erf
ullen. In unserem Fall also erf
ullt Ji die Kommutatorrelationen der so(3)-Algebra
[Ji , Jj ] = i~ijk Jk .
(3.39)
Unterscheide dabei
~~
~ J~
66
Wir betonen nochmals, dass die Kommutatorrelationen der Drehimpulses allgemein aus dem Zusammenhang von Drehimpuls und Rotationen folgen, unabhangig von der konkreten Realisierung
des Drehimpulsoperators - d.h. unabhangig von der expliziten Darstellung. Wie schon erwahnt
ist im einfachsten Fall der einzige Effekt der Drehung die Rotation |x, y, z i |x0 , y 0 , z 0 i. Der
~ Klassisch ist L
~ = ~x p~. Quantenmechanisch
dazugeh
orige Drehimpuls heit Bahndrehimpuls L.
~
(3.40)
Bald werden wir noch allgemeiner Darstellungen von so(3) finden, in denen Rotationen zusatzliche
Effekte haben (Spin).
3.3
Unabh
angig von der konkreten Realisierung der Operatoren Ji als Bahndrehimpuls oder allgemeiner (Spin), wollen wir nun alle moglichen Darstellungen der Drehgruppe (genauer: ihrer
Lie-Algebra) klassifizieren. Hierzu suchen wir die moglichen Eigenwerte und -zustande der Operatoren Ji mit Vertauschungsrelation (3.39). Da [Ji , Jj ] = i~ijk Jk , konnen die Ji nicht gleichzeitig
dieagonalisiert werden. Betrachten wir nun allerdings den Gesamtdrehimpuls J~2 = Jx2 + Jy2 + Jz2 ,
stellen wir fest, dass gilt
[J~2 , Jk ] = 0
denn (ab jetzt lassen wir den Hut auf Ji weg)
k = 1, 2, 3,
(3.41)
(3.42)
(3.43)
Das heit, dass J~2 und Jk gemeinsam diagonalisierbar sind. Betrachte dazu z.B. J~2 und Jz mit
Eigenbasis
J 2 |a, b i = a |a, b i,
(3.44)
Jz |a, b i = b |a, b i.
(3.45)
Um die m
oglichen Werte f
ur a, b zu bestimmen, definieren wir die Operatoren
J+ = Jx + iJy ,
J = Jx iJy
= J .
mit J+
(3.46)
[J+ , J ] = 2~Jz ,
[Jz , J ] = ~J
(3.47)
und
[J~2 , J ] = 0.
Entscheidend f
ur unser weiteres Vorgehen ist, dass
(3.48)
67
[Jz , J ] = ~J
(3.49)
[N, a ] = a
und
(3.50)
(3.51)
Damit stellen J die Leiteroperatoren dar, da J+ den Eigenwert von Jz erhoht und J den
Eigenwert erniedrigt. Da [J~2 , J ] = 0, ist auch J |a, b i Eigenzustand von J~2 , denn
J~2 J |a, b i = J J~2 |a, b i = aJ |a, b i.
(3.52)
J |a, b i = c |a, b ~ i.
(3.53)
(3.54)
1
1
h | J+ J + J J+ | i = (||J | i||2 + ||J+ | i||2 ) 0.
2
2
(3.55)
(3.56)
a b2
(3.57)
was
bedeutet. Da J+ |a, b i = c+ |a, b + ~ i, muss es einen Wert bmax geben so dass J+ |a, bmax i = 0.
Andersfalls w
urde b durch wiederholte Anwendung von J+ beliebig gro werden und a b2
verletzen. Insbesondere ist also J J+ |a, bmax i = 0. Dieses Produkt konnen wir schreiben als
J J+ = (Jx iJy )(Jx + iJy ) = Jx2 + Jy2 i(Jy Jx Jx Jy ) = J~2 Jz2 ~Jz .
(3.58)
(3.59)
(3.60)
was zu
f
uhrt. Das bedeutet also
68
(3.61)
(3.62)
b2min
(3.63)
(3.64)
was dann
bmin (bmin ~) = bmax (bmax + ~)
(3.65)
mit bmax 0.
(3.66)
Dies l
asst sich auch schreiben als
bmax b bmax .
(3.67)
Beginnen wir nun also mit dem Zustand |a, bmax i. Wir haben gerade gesehen, dass es einen
n+1
kleinsten Wert n N geben muss, so dass J
|a, bmax i = 0. Das bedeutet wiederum
n
J
|a, bmax i = |a, bmin i,
(3.68)
(3.69)
f
uhrt. Das ist gleichbedeutend mit
1
n~,
n N.
(3.70)
2
Wir f
uhren nun eine neue Notation ein und definieren j = n2 . In dieser Notation finden wir
bmax =
a = ~2 j(j + 1)
und
b = ~m,
(3.71)
oder j
(3.73)
Jz |j, m i = ~m |j, m i,
(3.74)
69
und
jZ
oder
2Z + 1
.
2
(3.75)
+ 2
2
||J+ |j, m i|| = |c+
jm | hj, m + 1|j, m + 1i = |cjm |
h j, m| J+
J+
|j, m i = h j, m| J J+ |j, m i.
(3.76)
(3.77)
Verwenden wir nun J J+ = J~2 Jz2 ~Jz so konnen wir die Gleichungskette (3.77) fortsetzen:
= h j, m| J~2 Jz2 ~Jz |j, m i = (j(j + 1) m2 m)~2 .
Damit haben wir die Eigenwerte
c+
jm
(3.78)
2
2
2
|c+
jm | = ~ (j(j + 1) m(m + 1)) = ~ [(j m)(j + m + 1)].
(3.79)
(3.80)
(3.81)
h{|j, m i}i besitzt keine invarianten echten Unterraume unter D(R). Man nennt Darstellungen mit dieser Eigenschaft irreduzibel, d.h. der Darstellungsraum ist nicht direkte Summe
invarianter Darstellungen.
Beachte, dass in die Klassifikation nur die Lie-Algebra-Relationen (3.39) eingehen. Wir
haben also alle Darstellungen der Lie-Algebra so(3) gefunden. Die Frage nach den Darstellungen der Lie-Gruppe werden wir spater stellen.
Nun fragen wir uns, welche Werte in der Natur realisiert sind - d.h. wir fragen: In welchen
Darstellungen transfomiert ein Teilchen?
3.4
70
~ = ~x p~ mit Ortsraumdarstellung
Wir betrachten zun
achst den Bahndrehimpuls L
h ~x| Li | i = Li h~x|i = Li (~x)
Lx = i~(yz zy ),
Ly = i~(zx xz ),
f
ur
(3.82)
Lz = i~(xy yx ).
(3.83)
z = r cos
(3.84)
Nach Ubergang
zu sph
arischen Koordinaten
x = r sin cos ,
y = r sin sin ,
findet man
y
z
x
x +
y +
z
= yx + xy .
(3.85)
(3.86)
(3.87)
Damit ist
Lz = i~
(3.88)
Ahnlich
finden wir
Lx = i~( sin cot cos ),
(3.89)
(3.90)
1
1
2
+
(sin ) .
sin
sin2
(3.91)
Wir suchen nun die Wellenfunktionen zu |l, m i, h~x|l, mi. Da Li unabhangig von r ist, gen
ugt
Expansion in Kugelkoordinaten und :
h, |l, mi =: Ylm (, ).
(3.92)
1
1
m
2
2 + sin (sin ) + l(l + 1)]Yl (, ) = 0.
sin
(3.93)
(3.94)
71
1
N = .
2
m () = N eim ,
(3.95)
(3.96)
m Z.
(3.97)
= sin
(3.98)
und
lm () Plm ().
(3.99)
d
d
m2
(1 2 )
+ l(l + 1)
d
d
1 2
Plm () = 0.
(3.100)
L
osung hiervon sind die assoziierten Legendrepolynome
Plm () =
1
(1 2 )m/2
2l l!
d
d
l+m
( 2 1)l ,
m 0.
(3.101)
F
ur sie gilt
Plm () = (1 2 )
d
d
m
Pl (),
(3.102)
wobei
Pl () =
1
2l l!
d
d
l
( 2 1)l
(3.103)
2 (l + m)!
2l + 1 (l m)!
|
{z
}
=:|N |2
(3.104)
72
s
Ylm (, )
(m+|m|)/2
= (1)
im
Nlm = N N =
2l + 1 (l |m|)!
. (3.105)
4 (l + |m|)!
W
ahlt man m = 0 so ergibt sich
r
Yl0 (, )
Dabei haben wir die Phase (1)(m+|m|)/2
2l + 1
Pl (cos ).
4
so gewahlt, dass
(L )m Ylm (, ) = Yl0 (, )
gilt.
Ylm (, )
(3.106)
(3.107)
(3.108)
(3.110)
(3.109)
Weiterhin gilt f
ur sie
Zur Verdeutlichung geben wir die Kuegelflaechenfunktionen fuer die ersten Werte an:
l = 0 : = s-Orbital: Y00 =
1
4
l = 1 : = p-Orbital: Y10 =
3
4
l = 2 : = d-Orbital: Y20 =
5
2
16 (3 cos
3.5
cos , Y11 =
3
8
sin ei
1) . . .
3.5.1
Wir betrachten ein Teilchen im radialsymmetrischen Potential V (~x) = V (r). Der zugehorige
Hamilton-Operator ist dann
1 2
p~ + V (
r),
(3.111)
2M
wobei M die Masse des Teilchens angibt. Aufgrund allgemeiner Prinzipien stellen wir fest:
H=
(3.112)
beziehungsweise infinitesimal
i
L].
~
A A ~n[A,
~
Damit impliziert die Invarianz unter Drehungen also
~ 2 ].
[H, Li ] = 0 = [H, L
(3.113)
(3.114)
73
(3.115)
Wir haben aber bereits gesehen, dass L die Quantenzahl m erhoht / erniedrigt. Deshalb
m
ussen die Energieeigenwerte unabhangig von m sein. Umgekehrt ausgedr
uckt lautet dieses
Argument, dass die Entartung der Energieeigenwerte bez
uglich m eine weitere Erhaltungs~ - impliziert.
groe jenseits von Lz - hier L bzw. L
Betrachten wir nun die Darstellung von H in Kugelkoordinaten. Dazu schreiben wir zunachst
den Impulsoperator als
~ mit
~ = ~er r + ~e 1 + ~e 1 .
p~ = i~
r
r sin
2
~
Die explizite Auswertung von = ergibt:
1
1
1
2
2
2
+
(sin ) .
= r + r + 2
r
r sin2 sin
(3.116)
(3.117)
~ 2 in Gleichung (3.91) f
Ein Vergleich mit dem Operator L
uhrt uns sofort zu
2
1 ~2
= r2 + r 2 2 L
.
r
r ~
(3.118)
Damit k
onnen wir H schreiben als
H=
~2
L
1 2
pr +
+ V (r),
2M
2M r2
(3.119)
wobei
1
pr = i~(r + )
r
der Radialimpuls ist. Die Wellenfunktionen der Energieeigenzustande erf
ullen
"
#
~2
~2
2
L
2
r + r +
+ V (r) (r, , ) = E(r, , ).
2M
r
2M r2
(3.120)
(3.121)
r + r +
+
V
(r)
R(r) = ER(r).
(3.122)
2M
r
2M r2
Der einfacheren Notation halber definieren wir nun noch u(r) := rR(r). Damit lautet obige
Gleichung
~2 d2
~2 l(l + 1)
+
+
V
(r)
u(r) = Eu(r).
(3.123)
2M dr2
2M r2
Dies ist eine 1-dimensionale Schr
odingergleichung mit effektivem Potential
74
Vzentr. (r)
| {z }
~2 l(l + 1)
2M r2
(3.124)
abstoendes Zentrifugalpotential
d x
|(x)| =
|Ylm |2
Z
dr
r2
|u(r)|2
< ,
r2
(3.125)
a
r 1/2
gelten muss.
=
u(r) + . . . (Produktregel).
r
r
(3.126)
Es gilt 1r = (3) (x). Das bedeutet, dass wenn V (r) (r) gilt, u(0) = 0 gelten muss.
Wenden wir uns nun der Form der asymptotischen Losung zu:
r0
ur das
Unter der Annahme, dass Vzentr
= r12 dominiert bei r 0, wie beispielsweise f
1
ur r 0
Coulomb-Potential r , ergibt sich asymptotisch f
~2 d2
~2 l(l + 1)
+
u(r) = 0.
2M dr2
2M r2
(3.127)
Der L
osungsansatz u(r) = rk f
uhrt zu k(k 1) + l(l + 1) = 0, was durch k = l + 1 oder
k = l erf
ullt wird. Die allgemeine Losung hat also die Form
u(r) = Arl+1 + Brl ,
(3.128)
~2 d2
u(r) = Eu(r).
2M dr2
F
ur geeignete Veff der Form existieren Bindungszustande mit E < 0, also
p
2M |e|
~2 d2
r
u(r) = |E|u(r) u(r) = e
mit =
.
2
2M dr
~
Die Normierbarkeit der Wellenfunktion schrankt die Losung ein auf u(r) = Cer .
(3.129)
(3.130)
3.5.2
75
Das Coulombpotential
2M |e|
ein. Damit konnen wir f
ur die
Wir f
uhren die einheitenlose Kombination = r mit =
~
Bindungszust
ande (E < 0)schreiben:
2
d
l(l + 1) 0
1
u() = 0 mit 0 = e20 Z
.
(3.132)
2
2
d
|E|
V (r) =
(3.133)
dw
d2 w
+ 2(l + 1 )
+ (0 2(l + 1))w() = 0.
d2
d
(3.134)
ak k .
(3.135)
k=0
Wir weisen darauf hin, dass k < 0 direkt ausgeschlossen werden kann aufgrund des Verhaltens
f
ur 0. Wir erhalten mit diesem Ansatz die Gleichung
(3.136)
k=0
Da die Gleichung f
ur alle gelten muss, m
ussen die Koeffizieten aller Ordnungen von k separat
verschwinden. Das bedeutet
ak+1 ((k + 1)k + 2(l + 1)(k + 1)) + ak (2k + 0 2(l + 1)) = 0.
(3.137)
2(k + l + 1) 0
ak .
(k + 1)(k + 2l + 2)
(3.138)
Wir stellen uns nun die Frage, ob die Losung normierbar ist. Betrachten wir das asymptotische
Verhalten der Reihe, welches durch ak , k bestimmt wird. In diesem Limes gilt
ak+1
2
.
(3.139)
ak
k
P
1 k k
=
k! 2 . Aus der Forderung nach der Normierbarkeit
k=0
P
k=0
ak k abbricht, d.h.
N :
76
ak = 0 k N + 1,
N = 0, 1, 2, . . .
(3.140)
2
= 2n mit =
.
0 e0 Z
|E|
~
(3.141)
(3.142)
Die m
oglichen Energieeigenwerte sind quantisiert:
En =
M Z 2 e40 1
2~2
n2
n = 1, 2, 3, . . .
(3.143)
(2l + 1) = 2
l=0
n(n 1)
+ n = n2
2
(3.144)
Eigenzust
ande gibt. Wir m
ochten dazu die folgenden beiden Anmerkungen machen:
Die Entartung der Energien En bez
uglich der Lz -Quatenzahl m konnte erwartet werden
aufgrund der Radialsymmetrie V = V (r)
Die Entartung bez
uglich l gilt nur im speziellen Fall V (r) = 1r und deutet auf eine
Symmetrie u
ber SO(3) hinaus hin.
Der zweite, eben erw
ahnte Punkt bedeutet, dass die so(3) Quantenzahlen l, m offenbar nicht zur
der
Spezifizierung des Eigenwertes von H gen
ugen. Folglich gibt es einen weiteren Operator O
=0
[H, O]
erf
ullt. F
ur V (r) =
e20
r
(3.145)
2
.
~ = 1 (p~ L
~ L
~ p~) e0 ~x
A
2M
r
F
ur ihn kann man zeigen, dass gilt
~ H] = 0.
[A,
(3.146)
(3.147)
(3.148)
77
Ubungen
n
aher darauf eingehen.
Wenden wir uns nun der expliziten Losung der Wellenfunktion zu:
Mit 0 = 2n kann die DGL f
ur w(p) in die Form der Laguerre-DGL gebracht werden:
d2 s
d
L (x) + (s + 1 x) Lsr (x) + (r s)Lsr (x) = 0,
(3.150)
dx2 r
dx
wobei wir x = 2, s = 2l + 1 und r = n + l gesetzt haben. Die Losung diese DGL sind die
assoziierten Laguerre Polynome
x
Lsr (x) =
ds
Lr (x)
dxs
(3.151)
dr x r
e x .
dxr
(3.152)
(3.153)
mit
Rnl (r) =
wo wir N =
10
(nl1)!(2)3
2n((n+l)!)3
u(r)
(2l+1)
= N (2r)l er Ln+l (2r),
r
und =
M Ze20
~2 n
Z
na
(3.154)
~2
M e20
= 0.53
M c2 2 Z 2
2
2
n
(3.155)
e2
1
und = ~c0 = 137.037
(Sommerfeldsche Feinstrukturkonstante). F
ur das Wasserstoffatom erhalten wir mit Z = 1
E1 = 13.6eV = 1Ry.
Die Ubergangsfrequenz
zwischen zwei Energieniveaus berechnet sich somit zu
1
1
~nm = Em En = 1Ry 2 + 2 .
m
n
(3.156)
(3.157)
3.6
78
Spin
3.6.1
Ph
anomenologie des Spins
~ im MagnetAus der Elektrodynamik wissen wir, dass ein klassisches Teilchen mit Drehimpuls L
~
feld B die Energie
~
U = ~
B
(3.158)
~=
Die klassische Kraft, die auf ein solches Silberatom wirkt, berechnet sich zu
~ = qB Lz ~ez .
(3.160)
F~ = U
2M c
In der Quantenmechanik erwarten wir f
ur Teilchen mit Bahndrehimpuls |l, m i die Kraft
qB
m~
(3.161)
2M c
und somit eine (2l + 1)-fache Aufspaltung des Strahls.
Die Valenzelektronen von Silber liegen in der 5s-Schale, d.h. l = 0. Daraus folgt, dass der Strahl
ungehindert passieren sollte. Tatschlich gefunden wurde eine 2-fache Aufspaltung des Strahls,
wie man f
ur einen halbzahligen Drehimpuls erwarten w
urde. Man interpretiert dieses Ergebnis
wie folgt:
Fz =
~ der nichts mit dem Bahn Das 5s-Elektron besitzt einen Anteil am Gesamtdrehimpuls J,
~
drehimpuls L zu tun hat.
~ und muss beschrieben werden durch die Quanten Dieser weitere Drehimpuls heit Spin S
zahlen
|s, sz i = |1/2, 1/2 i.
(3.162)
Offenbar sind also die halbzahligen Darstellungen der Drehimpulsalgebra in der Natur
realisiert in der Form eines inneren Drehimpulses.
~ er
Der Spinoperator S
ullt alle Eigenschaften eines Drehimpulses; die so(3)-Algebra ist realisiert
in der j = 1/2 Darstellung:
Sx
~ = Sy ,
S
Sz
(3.163)
[Si , Sj ] = i~ijk Sk ,
(3.164)
S = Sx iSy ,
(3.165)
[Sz , S ] = ~Sx ,
(3.166)
[S+ , S ] = 2~Sz .
(3.167)
79
Eine m
ogliche Darstellung und die zugehorigen Wirkungen des Spinoperators und seiner Komponenten sind gegeben durch
|s, sz = +1/2 i = |1/2, 1/2 i = | i,
(3.168)
(3.169)
und
~ 2 | i = ~2 3 | i
S
4
~
Sz | i =
| i
2
S | i = ~ | i.
~ 2 | i = ~2 3 | i,
S
4
~
Sz | i = | i
2
S+ | i = ~ | i,
(3.170)
(3.171)
(3.172)
Die Operatoren S+ , S , Sz k
onnen in der (| i, | i) Basis durch 22-Matrizen dargestellt werden:
2 h | Si | i h | Si | i
i =
.
(3.173)
~ h | Si | i h | Si | i
Wir erhalten daraus die Pauli-Matrizen
x =
0
1
1
0
y =
0
i
i
0
z =
1
0
0
.
1
Wir f
uhren nun die Pauli-2-Komponenten-Notation ein:
1
0
| i
| i
0
1
(3.174)
(3.175)
und
Si =
Damit k
onnen wir z.B. schreiben
~ 1
1
Sz
=
,
0
2 0
~
i .
2
0
0
S+
=~
1
0
(3.176)
1
0
1
=~
.
0
1
0
(3.177)
Definition 3.4. Die s = 1/2 Darstellung heit Spindarstellung. Ein Element des s = 1/2
Darstellungsraums heit Spinor.
3.6.2
Die bisherige, ph
anomenologische Behandlung des Spins ist etwas adhoc. Um zu verstehen, was
Spin tats
achlich ist, m
ussen wir mathematisch etwas ausholen. Spin und Bahndrehimpuls stellen
zwei unterschiedliche Darstellungsarten der Drehgruppe dar. Gegegeben sei nun eine Rotation
~ generiert Transformationen,
g SO(3) mit Drehmatrix Rg R(~n, ). Der Bahndrehimpuls L
die den Eigenzustand |x, y, z i rotieren:
80
0
x
x
y 0 = Rg y .
z0
z
|x, y, z i 7 |x0 , y 0 , z 0 i,
(3.178)
Die Wellenfunktion eines Zustands , | i (~x) transformiert unter aktiven Drehungen wie
(~x) 7 0 (~x) = Tg (~x) = (R1 ~x).
(3.179)
P
~
Tats
achlich ist f
ur Rg = ei ~nM = 1 i ni Mi + . . . die Wirkung von Rg1 infinitesimal
i
gegeben als
Rg1 ~x = ~x ~n ~x.
(3.180)
~ x) + . . .
Tg (~x) = (~x) (~n ~x) (~
~ ~n(~x) + . . .
= (~x) (~x )
i
= 1 ~n(~r p~) (~x) + . . .
~
(3.181)
(3.182)
(3.183)
(3.184)
Eine Abbildung : R3 C, die unter Drehung transfomiert wie 7 Tg , heit skalare Funk~ liefert eine Darstellung der Drehgruppe auf dem
tion oder Skalarfeld. Der Bahndrehimpuls L
3
Raum H(R ) der Skalarfelder.
In der Physik spielen allgemeinere Transformationsverhalten eine wichtige Role. Aus der klassischen Feldtheorie kennen wir beispielsweise den Begriff des Vektorfeldes als Abbildung
~v : R3 R3 ,
~x 7 ~v (~x)
(3.185)
Rg = e
P
i
ni Mi
(3.186)
Der Raum V = R3 kann interpretiert werden als der 3-dimensionale Darstellungsraum der Drehgruppe SO(3), entsprechend der Quantenzahlen j = 1, mz = +1, 0, 1. Die genaue Form der
~x 7 v(~x) VD ,
(3.187)
(3.188)
81
triviale Darstellung Dg = 1
Vektorfeld
g.
(3.189)
(3.190)
Insbesondere k
onnen wir Felder mit Werten im Darstellungsraum der s = 1/2 Darstellung betrachten, die Spinorfelder (~x). In Pauli-Notation bedeutet das
+ (~x)
(~x) =
.
(3.191)
(~x)
Wenn g SO(3) der Drehung Rg = R(~n, ) entspricht, dann ist:
i
Dg = e ~ ~nS = ei 2 ~n~
(3.192)
+ (~x)
7 ei 2 ~n~
(~x)
=e
n~
i
2~
+ (ei~nM ~x )
~
(ei~nM ~x )
!
i
~
e ~ ~nL + (~x)
.
i
~
e ~ ~nL (~x)
(3.193)
(3.194)
(3.195)
Wir erinnern an dieser Stelle an das Tensorprodukt. Gegeben seien 2 Vektorraume V, W mit
Basis {ei , i = 1, . . . dimV } und {
ei , i = 1, . . . dimW }. Dann ist das Tensorprodukt
P V W der
Vektorraum mit dim(V W ) = dimV dimW und Basis ei ej , so dass f
ur v =
v i ei , w =
i
P
wj ej
j
X
V W 3vw =
vi wj ei ej .
(3.196)
i,j
F
ur eine genauere Definition verweisen wir an dieser Stelle auf die Literatur zur linearen Algebra.
Insbesondere, wenn A : V V und B : W W lineare Operatoren sind, agiert
A B : V W V W,
(A B)(v w) = Av Bw
(3.197)
(3.198)
82
(~x) =
+ (~x)
(~x)
(3.199)
schreiben als
(~x) =
1
0
+ (~x) +
(~x),
0
1
(3.200)
1
0
wo
und
den 2-dimensionalen Darstellungsraum zu s = 1/2 aufspannen. Ein Feld
0
1
3
v(~x) H(R , VD ) transformiert damit wie
v(~x) 7 Ug v(~x),
Ug :
(3.201)
wobei
Ug = Dg Tg
(3.202)
(3.203)
(3.204)
(3.205)
(3.206)
(3.207)
~ +S
~ ist g
~ und L
~ auf unterschiedlichen Raumen
Die Notation J~ = L
angig, aber ungenau. Da S
wirken, ist
] = 0 = [S
~ 1H , 1V L]
~ = 0 und [S
~ 1H , 1V ~x
~ 1H , 1V p~] sowie
[S
[Si , Sj ] = i~ijk Sk und [Li , Lj ] = i~ijk Lk .
~ 2 -Quantenzahl s wird als Spin des Feldes bezeichnet. Man unterscheidet
Die S
Bosonische Felder
sZ
s = 0: Skalarfeld
Fermionische Felder
s (2Z + 1)/2
s = 1/2: Spinorfeld
s = 1: Vektorfeld
..
.
..
.
(3.208)
(3.209)
83
3.6.3
|~x, i |~x i | i.
(3.210)
Damit k
onnen wir die Gesamtwellenfunktion schreiben als
(~x) = h~x, |i | i + h~x, |i | i
| {z }
| {z }
=:+ (~
x)
(3.211)
(~
x)
= + (~x) | i + (~x) | i
+ (~x)
.
(~x)
Die Normierung der Wellenfunktion erhalten wir aus
Z
Z
h|i = d3 x|+ (~x)|2 + d3 x| (~x)|2 ,
(3.212)
(3.213)
(3.214)
R
wobei d3 x| (~x)|2 die Wahrscheinlichkeit ist, ein Teilchen mit sz = 1/2~ im Volumen
V zu finden.
3.6.4
Abschlieend wollen wir noch auf eine wichtige mathematische Subtilitat hinweisen, namlich den
Unterschied zwischen der Drehgruppe SO(3) und ihrer sogenannten doppelten Uberlagerungsgruppe
SU(2). Wir erinnern daran, dass g SO(3) durch eine Drehachse ~n und einen Winkel 0
charakterisiert ist, wobei (~n, = ) und (~n, = ) identifiziert werden.
Betrachten wir nun die s = 1/2 Spinordarstellung
i
D = e ~ ~nS = ei 2 ~n~
mit den bekannten Pauli-Matrizen. Explizit ergibt sich
cos /2 in3 sin /2 i(n1 in2 ) sin /2
D(~n, ) =
.
i(n1 + in2 ) sin /2 cos /2 + in3 sin /2
(3.215)
(3.216)
Wir u
ufen leicht, dass D D = 1 und det D = 1 gilt. Betrachten wir nun die Hintereinanberpr
derausf
uhrung von 2 Drehungen um den Winkel im Spinorraum, ergibt sich
84
1
0
0
.
1
(3.217)
2 Drehungen um 180
(3.218)
D(2) = 1.
(3.219)
erfordern, dass
Das bedeutet, dass die s = 1/2 Darstellung offenbar nicht die Darstellungseigenschaft f
ur endliche
Drehungen er
ullt. Der Grund daf
ur ist, dass unsere Konstruktion der Darstellung nur auf den
Eigenschaften der Lie-Algebra von SO(3) beruhte, d.h. wir haben Darstellungen f
ur infinitesimale
Drehungen. Der Fall s = (2Z +1)/2 liefert aber keine Darstellungen der vollen Lie-Gruppe SO(3).
Vielmehr ist es so, dass wenn den Bereich 0 2 durchlauft, D(~n, ) die Gruppe
a b
2,2
SU(2) := U =
C : U U = 1, det U = 1
(3.220)
c d
durchl
auft. Die Pauli-Matrizen sind die Generatoren von SU(2), nicht von SO(3). Der Zusammenhang zwischen beiden ist folgender:
Die Lie-Algebra von SU(2) und SO(3) sind isomorph, d.h. beide haben die Strukturkonstanten ijk .
Der Unterschied zwischen SO(3) und SU(2) wird erst f
ur endliche Rotationen sichtbar:
g SO(3) gibt es 2 Elemente U und U SU(2), denn und + 2 ergeben U und
Ubrigens
haben die Gruppenmannigfaltigkeiten SU(2) und SO(3) eine sehr einfache Form,
SU(2)
= S3
SO(3)
= S 3 /Z2 .
(3.221)
(3.222)
Dass SU(2)
= S 3 findet man wie folgt: Zusammen mit det U = 1 erhalt man aus der Bedingung
1
U =U
f
ur
a b
U=
(3.223)
c d
die Gleichungen c = b , d = a und |a|2 + |b|2 = 1. Interpretieren wir nun Rea, Ima, Reb und
Imb als Koordinaten im R4 , ist |a|2 + |b|2 = 1 die Gleichung f
ur eine Kugel S 3 mit Radius 1. Dass
3
SO(3) = S /Z2 folgt nun aus der Aussage, dass SU(2) die doppelte Uberlagerung
von SO(3) ist.
Kommentare
Die Tatsache, dass die s = 1/2 Darstellung physikalisch relevant ist, obwohl sie keine eigentliche Darstellung der Drehgruppe SO(3) darstellt, ist in der nicht-relativistischen Quantenmechanik etwas ad hoc. In der relativistischen Quantenmechanik sowie der Quantenfeldtheorie ergibt sich dies nat
urlich. Insofern ist Spin im eigentlichen Sinne ein relativistisches
Ph
anomen.
85
Ein ber
uhmtes Kuriosum ist, dass die Wellenfunktion eines Spinors durch eine Rotation
um 2 nicht auf sich selbst abgebildet wird, sondern eine Phase 1 = ei erhalt. Erst nach
Drehungen um 4 kommen Spinoren zu sich selbst zurueck.
3.7
~ und Bahndrehimpuls L
~ ist
Der Gesamtdrehimpuls eines Teilchens mit Spin S
~ 1+1L
~ S
~ + L,
~
J~ = S
(3.224)
~ und L
~ auf unabangige Freiheitsgrade
wobei die Tensorproduktschreibweise daran erinnert, dass S
wirken. Insbesondere kommutieren sie deshalb als Operatoren,
~ L]
~ = 0.
[S,
(3.225)
~ 2, S
~ 2 , Lz , Sz } an:
Als Basis f
ur allgemeine Zust
ande bietet sich die Eigenbasis von {L
{|l, m i |s, sz i} {|l, s, m, sz i}.
(3.226)
und
Jz = Lz + Sz
(3.227)
(3.228)
die su(2)-Kommutatorrelation
[J~2 , Jz ] = 0.
(3.229)
Wir ben
otigen zus
atzlich zu J~2 und Jz 2 weitere kommutierende Operatoren zur Charakterisierung eines Zustandes. Lz und Sz sind wegen
[J~2 , Lz ] 6= 0 6= [J~2 , Sz ]
(3.230)
~ 2 ] = 0 = [J~2 , S
~ 2 ],
[J~2 , L
(3.231)
(3.232)
(3.233)
(3.234)
(3.235)
(3.236)
86
Betrachten wir nun allgemeiner 2 unabhangige Drehimpulsoperatoren J~1 , J~2 wirkend auf unabh
angige Freiheitsgrade. Ein Beispiel hierf
ur waren zwei verschiedene Teilchen mit ihrem jeweiligen Spin:
~1 und J~2 = S
~2 .
J~1 = S
(3.237)
(3.238)
wobei J~1 (J~2 ) auf Teilchen 1 (2) wirkt. Es gibt nun 2 verschiedene Basen f
ur die zuganglichen
Zust
ande:
Die Eigenbasis von {J~12 , J~22 , Jz1 , Jz2 } :
Die Eigenbasis von {J~2 , Jz , J~12 , J~22 } :
{|j1 , j2 , m1 , m2 i}
{|j, m, j1 , j2 i}
Unser Ziel ist es nun einen expliziten Basiswechsel zwischen den beiden Eigenbasen zu finden.
D.h. wir dr
ucken |j, m, j1 , j2 i durch |j1 , j2 , m1 , m2 i aus und umgekehrt. Insbesondere stellen wir
uns die Frage, welche Werte sich bei gegebenen j1 , j2 f
ur j und m ergeben. Allgemein muss gelten
X
|j, m, j1 , j2 i =
|j1 , j2 , m1 , m2 ihj1 , j2 , m1 , m2 |j, m, j1 , j2 i.
(3.239)
m1 ,m2
Die Koeffizienten
jm
Cm
= hj1 , j2 , m1 , m2 |j, m, j1 , j2 i
1 m2
(3.240)
m = m1 + m2
(3.241)
gen
ugen.
Der Gesamtdrehimpuls zu j1 und j2 kann die Werte
j1 + j2 j |j1 j2 |
annehmen.
Beweisen wir zun
achst die erste Aussage:
Wegen Jz = Jz1 + Jz2 gilt:
(3.242)
87
= mhjmj1 j2 |j1 j2 m1 m2 i.
(3.243)
jm
Das bedeutet, dass m = m1 + m2 gilt falls Cm
6= 0.
1 m2
..
.
j1 j2
j1 j2 1
j1 j2 2
..
.
j2 j1
j2 j1 1
..
.
j1 j2
Zustand
|j1 , j1 i |j2 , j2 i
|j1 , j1 1 i |j2 , j2 i
|j1 , j1 i |j2 , j2 1 i
|j1 , j1 2 i |j2 , j2 i
|j1 , j1 1 i |j2 , j2 1 i
|j1 , j1 i |j2 , j2 2 i
..
.
|j1 , j1 2j2 i |j2 , j2 i
...
|j1 , j1 i |j2 , j2 i
|j1 , j1 2j2 1 i |j2 , j2 i
...
|j1 , j1 1 i |j2 , j2 i
...
..
.
|j1 , j1 i |j2 , j2 i
...
|j1 , 2j2 j1 i |j2 , j2 i
|j1 , j1 i |j2 , j2 1 i
...
|j1 , 2j2 j1 1 i |j2 , j2 i
..
.
|j1 , j1 i |j2 , j2 i
Anzahl
1
2
3
..
.
2j2 + 1
2j2 + 1
2j2 + 1
..
.
2j2 + 1
2j2
..
.
1
Hieraus k
onnen wir die m
oglichen Werte f
ur j bestimmen, indem wir fordern, dass das Set der
Zust
ande |j1 j2 m1 m2 i volle Multiplets |j m, j1 , j2 i ergeben muss, wobei m insbesondere zu jedem
auftretenden j die 2j + 1 Werte j m m annimmt.
Der maximale Wert f
ur j ist deshalb j1 + j2 , was dem maximalen Wert von m entspricht. Das
bedeutet, dass wir insgesamt 2(j1 + j2 ) + 1 Zustande der Form
88
|j, m, j1 , j2 i
(3.244)
(3.245)
F
uhren wir noch einen Konsistenzcheck durch um unsere Rechnung zu bestatigen:
Die Anzahl der Zust
ande |j1 m1 i |j2 m2 i ist (2j1 + 1)(2j2 + 1).
Die Anzahl der Zust
ande |jmj1 j2 i ist
#=
jX
1 +j2
(2j + 1)
(3.246)
j=|j1 j2 |
2j2
X
2(j1 j2 + k) + 1
(3.247)
k=0
(3.248)
(3.249)
(3.250)
| i,
| i,
| i
F
ur den Gesamtspin gibt es nun 2 M
oglichkeiten:
s = 1/2 + 1/2 = 1. Dies ist ein Triplet an Zustanden mit |1, 1 i, |1, 0 i und |1, 1 i.
s = 1/2 1/2 = 0. Dies ist ein Singlet mit |0, 0 i.
Entwickeln wir nun die |s, sz i in die | i-Basis:
|1, 1 i = |, i, weil sz = s1z + s2z = 1.
(3.251)
89
|1, 0 i = a | i + b | i.
Um a und b zu bestimmen, wirken wir mit S = S1 1 + 1 S2 auf beide Seiten und
erhalten mithilffe von (3.80)
(3.252)
S |1, 1 i = ~ 2 |1, 0 i,
S | i = (S1 1 + 1 S2 ) | i = ~ (| i + | i).
Das bedeutet |1, 0 i =
1 (| i
2
(3.253)
+ | i)
|1, 1 i = | i.
|0, 0 i = c | i + d | i.
Aus der Orthogonalit
at der Zustande folgt
0 = h0, 0|1, 1i und 1 = h1, 1|1, 1i.
Damit k
onnen wir |0, 0 i =
1 (| i
2
(3.254)
| i) folgern.
Spin-Bahn-Kopplung
~ + L.
~ Daf
Betrachte J~ = S
ur erhalten wir die folgenden beiden moglichen Werte von j und
zugeh
orige Clebsch-Gordon-Entwicklung: 4
j = l + 1/2
r
l + jz + 1/2
|l, jz 1/2 i |1/2, 1/2 i +
|l + 1/2, jz i =
2l + 1
1
1
l + jz (l + ),
2
2
l jz + 1/2
|l, jz + 1/2 i |1/2, 1/2 i,
2l + 1
(3.255)
j = l 1/2
r
l jz + 1/2
|l, jz 1/2 i |1/2, 1/2 i +
|l 1/2, jz i =
2l + 1
1
1
l jz (l ).
2
2
l + jz + 1/2
|l, jz + 1/2 i |1/2, 1/2 i,
2l + 1
Die Koeffizienten f
ur |l + 1/2, jz i lassen sich, wie im vorigen Beispiel, durch iterative Anwendung
von J = L + S auf
|l + 1/2, l + 1/2 i = |l, l i |1/2, 1/2 i
(3.257)
berechnen Die Koeffizienten f
ur |l 1/2, jz i folgen aus der Orthonormalitat der Zustande.
4 Die
Zust
ande auf der rechten Seite sind |j, jz , l, s i |j, jz i.
(3.256)
Kapitel 4
Weiterfu
hrende Fragen und
Anwendungen
4.1
4.1.1
~ = p~ e A
~
m~x = mp~ H
c
kinetischer Impuls. Mit ihm k
onnen wir schreiben
H=
1 ~2
+ e.
2m
(4.2)
(4.3)
(4.4)
~
Quantenmechanisch werden ~x und p~ zu Operatoren erhoben. In der Ortsdarstellung ist p~ = i~
und es ergibt sich die Schr
odingergleichung
~2
i~e ~ ~ ~ ~
e2 ~ 2
i~t (~x, t) =
+
(A + A) +
A
+
e
(~x, t).
(4.5)
2m
2mc
2mc2
Beachte dabei, dass wegen
~ A(~
~ x, t)(~x, t) = (~x, t)(
~ A(~
~ x, t)) + A(~
~ x, t) (~
~ x, t)
90
(4.6)
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
91
~ A(~
~ x, t) = 0 folgt
in der Coulomb-Eichung
i~e ~ ~
e2 ~ 2
~2
A
+
e
.
+
A +
i~t =
2m
mc
2mc2
(4.7)
Betrachten wir nun als konkrete Anwendung das magnetische Moment. Dazu nehmen wir ein
~
konstantes B-Feld
an, d.h. das Vektorpotential ist gegeben durch
~ = 1 (~x B),
~
A
2
(4.8)
~ A
~ = B.
~
(4.9)
so dass
Damit k
onnen wir den zweiten Term des obigen Hamilton-Operators schreiben als
i~e ~ ~
i~e
1
~
~
(A) =
(~x B)
mc
mc
2
i~e
~ B
~
(~x )
=
2mc
e ~ ~
=
L B
2mc
~
~
Bahn B.
(4.10)
(4.11)
(4.12)
(4.13)
e ~
Damit haben wir gefunden, dass
~ Bahn = 2mc
L das magnetische Moment f
ur den Bahndrehimpuls darstellt. (Dies hatten wir bei der Diskussion des Stern-Gerlach-Experiment bereits
vorweggenommen.) Man schreibt
~ Bahn =
B ~
L,
~
B =
e~
: Bohrsches Magneton.
2mc
(4.14)
Beachte:
~ = B(z)
~
~ entsprechend der
F
ur B
ergeben sich h
ohere Korrekturen zum Term ~
Bahn B
Multipolentwicklung der Elektrodynamik.
2
e
~ 2 ist meistens, d.h. auer f
Der quadratische Term 2mc
ur sehr groe Feldstarken, relativ
2A
~
zu ~
B vernachl
assigbar.
~ B
~ ist der Bahndrehimpuls-Beitrag zum Paramagnetismus,
~B L
Diamagnetismus.
e2 ~ 2
2mc2 A
~ =
~ Bahn +
~ Spin
mit
~ Spin = g
B ~
S.
~
(4.15)
Dies zu fordern ist naheliegend und wird, wie eben im Stern-Gerlach-Experiment, auch experimentell verifiziert. In der nicht-relativistischen Quantenmechanik ist diese Forderung allerdings
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
92
nicht mehr als ein plausibles Postulat, das nicht weiter a priori herzuleiten ist. Insbesondere muss
der der sogenannte gyromagnetische oder Lande-Faktor g a priori nicht 1 sein und stellt in der
nicht-relativistischen Quantenmechanik einen phanomenologischen Parameter dar. Experimentall beobachtet man f
ur Elektronen g ' 2.
Die relativistisch- quantenmechanische Dirac-Theorie des Spin-1/2-Teilchens gestattet die Herleitung dieses Spin-magnetischen Moments f
ur Elektronen aus der relativistischen Version der
Schr
odingergleichung, der Dirac-Gleichung. Dies ergibt zunachst g = 2, in Ubereinstimmung
mit
dem Stern-Gerlach-Experiment. Die nicht-relativistische Schrodingergleichung f
ur ein Spin-1/2Teilchen im elektromagnetischen Feld ist die Pauligleichung
i~t
B ~ ~
e2 ~ 2
~2
+
+ (~x, t)
+ (~x, t)
~
A + e 1
B ~ B
,
LB +
=
(~x, t)
(~x, t)
2m
~
2mc2
(4.16)
~ = ~ ~ .
wobei S
2
Bemerkung:
In der Quantenelektrodynamik (QED) ergeben sich hohere Korrekturen zu g, perturbativ als
St
orungsreihe schreibbar als
2
3
g =2 1+
0.32 . . .
+ 1.18 . . .
+ ...
2
= 2.002319304718
(4.17)
(4.18)
e
.
mit der Feinstrukturkonstante = ~c
Beispiel: Eine wichtige Anwendung des magnetischen Moments stellt der normale ZeemanEffekt dar, der die Aufhebung der Energie-Degenerierung im Wasserstoffatom beim Anlegen
eines a
behandelt.
ueren Feldes beschreibt. Er wird in den Ubungen
4.1.2
~ und B-Feld
~
Aus der klassischen Elektrodynamik wissen wir, dass das Einvariant sind unter
einer Eichtransformation
~ x, t) A
~ 0 (~x, t) = A(~
~ x, t) + (~
~ x, t)
A(~
1
(~x, t) 0 (~x, t) = (~x, t) t (~x, t).
c
(4.19)
(4.20)
(4.21)
~ und ab:
eichinvariant. In der Quantenmechanik hangt die Schrodingergleichung explizit von A
1
e ~ ~ 2
~
i~ A(X, t) + e(~x, t) (~x, t) = i~t (~x, t).
(4.22)
2m
c
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
93
Wir fordern, dass auch in der Quantenmechanik die Dynamik eichunabhangig ist. Dies erzwingt
eine Transformation der Wellenfunktion unter (4.20)
(~x, t) 0 (~x, t)
(4.23)
(4.24)
(4.26)
~
A.
(4.27)
Die L
osung der ersten Gleichung ist
ie
(4.28)
denn
ie
e
i~t + t 0 = e ~c (~x,t) i~t (~x, t).
c
(4.29)
~ x, t) A
~ 0 (~x, t) = A(~
~ x, t) + (~
~ x, t),
A(~
1
(~x, t) 0 (~x, t) = (~x, t) t (~x, t),
c
ie
0
(~
x,t)
~c
(~x, t) (~x, t) = e
(~x, t)
(4.31)
(4.32)
(4.33)
die Schr
odingergleichung invariant ist,
~ )
i~t = H(A,
~ 0 , 0 ) 0 .
i~t 0 = H(A
(4.34)
Nun folgern wir mit der umgekehrten Logik: Wir werden zeigen, dass die Forderung nach einer
Eichinvarianz der Schr
odingergleichung automatisch zur korrekten Kopplung an das elektromagnetische Feld f
uhrt. Betrachten wir hierzu zunachst die freie Schrodingergleichung
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
1
~2
~ 2 (~x, t).
(~x, t)
(i~)
2m
2m
Die freie Schr
odingergleichung ist invariant unter einer globalen Phasentransformation
i~t (~x, t) =
R konstant,
94
(4.35)
(4.36)
also
1
~ 2 0 .
(i~)
(4.37)
2m
Dies stellt eine U (1)-Symmetrietransformation dar, wobei U (1) die Lie-Gruppe der unitaren
1 1-Matrizen ist,
i~t 0 =
U (1) = {c C1,1 C| c c = 1}
= {c C|
|c| = 1}.
(4.38)
(4.39)
Da konstant ist, spricht man von einer globalen Symmetrie. Wir fragen uns, was passiert, wenn
wir diese globale U (1)-Symmetrie eichen, d.h. wenn wir fordern, dass die Dynamik invariant ist
unter einer ortsabh
angigen Phasentransformation
0 (~x, t) = eig(~x,t) (~x, t),
g R.
(4.40)
(4.41)
~ 0 (~x, t) = eig(~x,t) (
~ + ig (~
~ x, t))(~x, t).
(4.42)
und
Die Schr
odingergleichung in ihrer urspr
unglichen Form (4.35) ist also nicht invariant unter einer
lokalen U (1)-Symmetrie. Wir k
onnen allerdings eine invariante Schrodingergleichung konstruie~ ersetzen durch die Differentialoperen, indem wir - im einfachsten Fall - schlicht t und ~x
ratoren Dt und D~x mit den Eigenschaften
(Dt (~x, t))0 = eig(~x,t) Dt (~x, t),
(D~x (~x, t))0 = eig(~x,t) D~x (~x, t).
(4.43)
Beachte, dass aus der zweiten Gleichung insbesondere folgt, dass auch
(D~x2 (~x, t))0 = eig(~x,t) D~x2 (~x, t).
(4.44)
Wenn wir t und ~x durch Dt und D~x mit obigem Transformationsverhalten ersetzen, konnen
wir auf beiden Seiten den sich durch eine Eichtransformation ergebenden Faktor eig(~x,t) k
urzen
und erhalten somit eine invariante Gleichung.
Konstruieren wir zun
achst Dt . Aus (4.41) schlieen wir, dass wir zu t eine Groe addieren
m
ussen, die ihrerseits unter einer Eichtransformation transformiert. Das f
uhrt uns auf den Ansatz
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
Dt = t + ig(~x, t),
95
(4.45)
(4.46)
(4.47)
~ x, t) ~ 0 (~x, t) = (~
~ x, t) + (~
~ x, t).
(~
(4.48)
mit
1
(i~D~x )2 (~x, t).
2m
(4.49)
e
,
~c
~ x, t) = A(~
~ x, t).
(~
(4.50)
(4.51)
(4.52)
(4.53)
(4.54)
Insbesondere ist die Eichgruppe des Standardmodells der Teilchenphysik, welches den Elektromagnetismus sowie die schwache und starke Kraft beschreibt, SU (3) SU (2) U (1).
Abschlieend m
ochten wir noch drei weiterf
uhrende Bemerkungen zu den Implikationen der
U (1)-Symmetrie des Elektromagnetismus machen:
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
96
Raumbereich u
ussen. Wir werden diesen Effekt in den Ubungen
genau
bereinstimmen m
besprechen.
Aus der klassischen Elektrodynamik wissen wir, dass die elektromagnetischen Gleichungen eine deutlich symmetrischere Form annehmen, wenn in der Natur ein magnetischer
Monopol existieren w
urde. Magnetische Monopole wurden bislang in der Natur aber nicht
beobachtet. Falls sie jedoch existieren sollten, so folgt in der Quantenmechanik aus der
Eichtransformation der Wellenfunktion die Quantisierung der elektrischen Elementarladung in Einheiten der magnetischen Monopolladung. Dieser Dirac-Monopol-Effekt wird
z.B in Sakurai, Kapitel 2.6 besprochen.
4.2
4.2.1
Station
are St
orungstheorie
Rayleigh-Schr
odinger-St
orungstheorie (nicht entartet)
Bislang haben wir, z.B. im harmonischen Oszillator oder im Coulomb-Potential, eine Reihe von
exakt l
osbaren dynamischen Problemen kennengelernt: Dank der hohen Symmetrie des Problems
war es m
oglich, die exakten Eigenvektoren und Eigenwerte des Hamiltonoperators zu bestimmen.
In realistischen Problemen ist der Hamiltonian hierf
ur in der Regel zu kompliziert. In diesem Fall
existieren allerdings N
aherungsmethoden, die eine approximative Losung erlauben. Das Beherrschen dieser St
orungstheorie ist deshalb f
ur konkrete Anwendungen entscheidend.
Betrachten wir einen Hamilton-Operator der Form
H = H0 + H1 .
(4.56)
(4.57)
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
H |n i = En |n i.
97
(4.58)
Daf
ur nutzen
wir den folgenden Ansatz: Wir entwickeln |n i und En als St
orungsreihe in um
En0 und n0 i,
En = En0 + En1 + 2 En2 + . . .
(4.59)
0
1
2 2
|n i = n i + n i + n i + . . .
(4.60)
0
Dies ist nur m
oglich, falls sich |n i und n i qualitativ nur wenig unterscheiden, denn wir behandeln ja als freien Parameter mit lim0 H = H0 . Ein solcher Ansatz ist z.B. nicht zulassig,
wenn sich die ungest
orten und gest
orten Energielevels En0 und Eni kreuzen (Level-crossing). Weiterhin k
onnen Bindungszust
ande nicht perturbativ aus den ungebundenen Zustanden etwa der
freien Schr
odingergleichung erhalten werden. Oftmals ist die Storungsreihe nicht konvergent im
Sinne einer mathematischen Reihe in , aber Enwicklung von En kann in den ersten Ordnungen dennoch zu einer quantitativ guten Naherung f
uhren. Die Konvergenzeigenschaften einer
St
orungsreihe zu bestimmen ist im Allgemeinen schwer.
Obiger Ansatz ergibt
(H0 +H1 )(n0 i+ n1 i+2 n2 i+. . .) = (En0 +En1 +2 En2 +. . .)(n0 i+ n1 i+2 n2 i+. . .).
(4.61)
Die Terme auf linker und rechter Seite der Gleichung m
ussen nach unsere Logik nun in jeder
Ordnung von separat u
bereinstimmen. Damit ergibt sich
H0 n0 i = En0 n0 i,
(4.62)
1
0
0 1
1 0
H0 n i + H1 n i = En n i + En n i,
(4.63)
2
1
0 2
1 1
2 0
H0 n i + H1 n i = En n i + En n i + En n i.
(4.64)
...
(4.65)
(4.66)
(4.67)
(4.68)
=0
En1 = h n0 H1 n0 i.
(4.69)
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
98
Berechnung von n1 i:
Wir entwickeln n1 i in der ONB {m0 i} von H0 mit
0 0
H0 m0 i = Em
m i,
(4.70)
1
P
also n i =
cm m0 i mit cm = hm0 |n1 i. im kontinuierlichen Fall geht diese Summe in
m6=n
ein Integral u
ber. Beachte, dass wegen der Normierungsbedingung hn0 |n1 i = 0 nur u
ber
m 6= n zu summieren ist. Multiplizieren wir nun die Gleichung (4.63) mit h m0 , erhalten
wir
0
(4.71)
Em
hm0 |n1 i +h m0 H1 n0 i = En0 hm0 |n1 i +En1 hm0 |n0 i .
| {z }
| {z }
| {z }
cm
cm
=0
Damit folgt
0
(En0 Em
)cm = h m0 H1 n0 i,
h m0 H1 n0 i
,
cm =
0 )
(En0 Em
(4.72)
(4.73)
0
da f
ur n 6= m auch En0 6= Em
gilt. Wir haben damit gefunden:
X h m0 H1 n0 i
1
m0 i.
n i =
0 )
(En0 Em
(4.74)
m6=n
4.2.2
Entartete St
orungstheorie
(4.76)
Wie besipielsweise die Behandlung des Wasserstoffatoms gezeigt hat, sind viele exakt losbaren
Probleme entartet, denn exakte L
osbarkeit verlangt in der Regel hohe Symmetrie, was, wie
wir gesehen haben, zur Degenerierung des Spektrums f
uhrt. Wir gehen analog zum vorherigen
Abschnitt vor und betrachten H = H0 + H1 mit Eigenbasis
1
2
En,i = En0 + En,i
+ 2 En,i
+ ...
0
1
2
2
|ni i = ni i + ni i + ni i + . . .
(4.77)
(4.78)
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
99
In der Regel wird der Strterm H1 die Degenerierung zumindest teilweise aufheben, was den Index
i f
ur die Energie-Eigenwerte erfordert. Wir legen die Normierung wiederum auf
hn0i |ni i = 1
(4.79)
hn0i |n1i i = 0.
(4.80)
(4.81)
(4.82)
(4.83)
(4.84)
(4.85)
(4.86)
j6=i
0
6= En0 .
Der erste Term summiert u
gehorig zu den Energie-Eigenwerten Em
ber die Basiselemente
0
Der zweite Term summiert u
ber die zu ni i orthogonalen Basiselemente, welche zum selbem
ungest
orten Energie-Eigenwert En0 gehoren.
Die cmk ergeben sich wie vorher durch Multiplikation von h m0k auf (4.82) zu
h m0k H1 n0i i
.
(4.87)
cmk =
0
En0 Em
Wenden wir stattdessen h n0j auf diese Gleichung an, erhalten wir (i 6= j)
En0 hn0j |n1i i En0 hn0j |n1i i = h n0j H1 n0i i.
(4.88)
(4.89)
0
F
ur eine willk
urlich gew
ahlte Basis ni i muss (4.89) a priori nicht gewahrleistet sein. In diesem
Fall muss eine neue Basis gefunden werden, welche (4.89) erf
ullt. Dies zu erreichen ist immer
m
oglich, denn
H0 |spn(|n0 i) = En0 1|spn(|n0 i)
i
(4.90)
eingeschr
ankt auf den von {n0i i} eingesachrankten Unterraum. Das bedeutet, dass auf diesem
(i)
Unterraum H0 und H1 gemeinsam diagonalisierbar sind. Wir m
ussen aber noch die cnj bestimmen, da sie noch nicht auf obiger Gleichung folgen. F
ur ihre Herleitung verweisen wir auf Sakurai,
Kapitel 5.1. Das Ergebnis lautet dann
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
(i)
cnj =
1
Enj
X (0)
1
1
(0)
H
|m
i
h
n
h
m|
H
nj i.
1
1
j
1
0
Eni
En0 Em
100
(4.91)
m6=n
1
Das heit, dass Enj
in erster Ordnung bestimmbar ist wie bisher solange man sicherstellt, dass
(4.89) gilt.
4.2.3
Ritzsches Variationsverfahren
Das Ritzsche Variationsprinzip ist ein Methode der Storungsrechnung, welche eine Abschatzung
f
ur die Anderung
der Grundzustandsenergie durch eine Storung ermoglicht, sofern wir ein gutes
qualitatives Verst
andnis f
ur die Auswirkung der Storung auf die Grundzustandswellenfunktion
h|H|i
h|i
(4.92)
gen
ugt, wobei |i ein beliebiger Zustand sei.
Das Ritzsche Variationsprinzip betrachtet nun einen Zustand |()i, der von einem Parameter
abh
angt, und die Gr
oe
h()|H|()i
E() :=
.
(4.93)
h()|()i
Minimierung von E() liefert eine obere Schranke f
ur E0 .
4.3
Als Anwendung der allgemeinen stationaren Storungstheorie wollen wir nun die Feinstruktur des
Wasserstoffatoms betrachten. Da dies in der experimentellen Atomphysik im Detail behandelt
wird, k
onnen wir uns vergelichsweise kurz fassen.
Aus der nicht-relativistischen Schr
odingergleichung f
ur das Wasserstoffatom mit Hamiltonian
p~2
Ze2
(4.94)
2M
r
hatten wir unter Vernachl
assigung des Elektronspins die Energieeigenwerte und -eigenfunktionen
wie folgt bestimmt:
H H0 =
H0 |n, l, m i = En |n, l, m i,
(4.95)
(4.96)
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
101
in den Ubungen
im Detail behandeln;
H (2) beschreibt den sogenannten Darwin-Term aufgrund der relativistischen Zitterbewegung des Elektrons;
H (3) stellt die Spin-Bahn-Kopplung dar.
Wir konzentrieren uns hier auf
H (3) =
e2 1 d(r) ~ ~
SL
2M 2 c2 r dr
mit
Z
(r) = .
r
(4.99)
e ~~
S B aufgrund
Heuristisch k
onnen wir diesen Term interpretieren als die Energie H (3) = mc
~
des spin-magnetischen Moments des Elektrons im B-Feld des Protons, welches im Ruhesystem
~
~ = ~v E~ , wobei
des Elektrons um dieses rotiert. Dieses B-Feld
berechnet sich klassisch zu B
c
~ =
~ = ~x d(r) das E-Feld
~
E
des
Protons
darstellt.
Aus
der
klassischen
Elektrondynamik
r dr
erinnern wir uns allerdings, dass wir dieses naive Ergebnis noch mit 2 multiplizieren m
ussen, denn
das Ruhesystem des Elektrons stellt kein Intertialsystem dar (Stichwort: Thomas-Prazession)1 .
Nat
urlich ist diese Interpretation nur heuristisch, da das Konzept einer festen Trajektorie und
somit eines Ruhesystems des Elektrons quantenmechanisch keinen Sinn machen. Das Ergebnis
(4.99) folgt allerdings durch direkte Auswertung der relativistischen Dirac-Gleichung und ist
deshalb korrekt.
Wir behandeln nun H = H0 +H (3) im Rahmen der entarteten Storungstheorie. Zunachst m
ussen
wir uns fragen, ob die Bedingung (4.89) f
ur die Basis |n, l, m, sz i erf
ullt ist. Wegen
[H (3) , Lz ] 6= 0 6= [H (3) , Sz ]
(4.100)
sind die |n, l, m, sz i nicht diagonal unter H (3) und deshalb nicht f
ur die Storungsrechnung geeignet.
Wir m
ussen somit eine andere Basis der Eigenzustande von H0 finden. Als weitere Moglichkeit
~ 2 , Lz , S
~ 2 , Sz , sondern von J~2 , Jz , L
~ 2, S
~ 2 in Frage mit
kommen die Eigenzust
ande nicht von L
~
~
~
J = L + S dem Gesamtdrehimpuls. Aus
~ L
~ = 1 (J~2 L
~2 S
~ 2)
S
2
(4.101)
folgern wir, dass die Eigenbasis |n, j, jz , l, s i diagonal unter H (3) ist. Die j-Quantenzahl nimmt
dabei die Werte j = l 1/2 an. Weiterhin gilt fuer die Drehimpuls-Eingenzustande |j, jz , l, s i
2
~ L
~ |l + 1/2, jz , l, s i = ~ [(l + 1/2)(l + 3/2) l(l + 1) s(s + 1)] |l + 1/2, jz , l, s i
S
2
1 Siehe
(4.102)
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
102
(4.103)
~
(l 1) |l 1/2, jz , l, s i.
2
(4.104)
~ L
~ |l + 1/2, jz , l, s i =
S
~ L
~ |l 1/2, jz , l, s i =
S
Wir berechnen nun die Energiekorrektur aufgrund von H (3) in erster Ordnung Storungstheorie,
(3)
En,l1/2,jz ,l,s =
1 ~ ~
Ze2
h S
Li|n,l1/2,jz ,l,s i .
2M 2 c2 | r3
{z
}
~ Li
~ |n,l1/2,j ,l,s i h 1
hS
z
r3
Mithilfe von
h
nl
(4.105)
M 3 c3 3 Z 3
1
i
=
,
nl
r3
~3 n3 l(l + 1/2)(l + 1)
was wir hier ohne Beweis nutzen, erhalten wir unter Verwendung von (4.103)
(
l
f
ur j = l + 1/2
M c2 (Z)4
(3)
E = 3
.
4n l(l + 1/2)(l + 1) l 1 f
urj = l 1/2
Kommentar:
Die drei Terme H (1) , H (2) , H (3) f
uhren insgesamt zur Feinstrukturaufspaltung mit
Z 2 (Z)2 3
n
E = 1Ry 2
n
n2
4 j + 1/2
(4.106)
(4.107)
(4.108)
mit j = l 1/2. Damit ergibt sich eine teilweise Aufhebung der Degenerierung. Weitere Effekte,
die Einfluss auf die Energieniveaus haben, sind
der Lambshift (ein QED-Effekt, der die Zitterbewegung aufgrund der quantenfeldtheoretischen Vakuumenergie beschreibt) sowie
die Hyperfeinstruktur (aufgrund des kern-magnetisches Moments).
Diese Effekte werden in Vorlesungen zur Atomphysik detailliert behandelt.
4.4
4.4.1
Zeitabh
angige St
orungstheorie
Wechselwirkungsbild
Nun wollen wir unsere allgemeinen Betrachtungen zur Storungstheorie ausweiten auf den Fall
einer zeitabh
angige St
orung V (t) zu einem zeitunabhangigen H0 . Das Standardbeispiel hierzu ist
etwa die Dynamik eines Atoms, welches sich in einem zeitlich veranderlichen elektromagnetischen
Feld befindet.
Wir nehmen an, dass V (t) zu einem Zeitpunkt t = t0 eingeschaltet werde, und erhalten somit
folgende Situation:
t < t0 :
H = H0 ,
(4.109)
t t0 :
H = H(t) = H0 + V (t).
(4.110)
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
103
Die Eigenzust
ande f
ur t < t0 sind die Eigenzustande H0 |m i = Em |m i und sind als solche
station
ar unter der Zeitentwicklung,
|m, t i = eiH0 t/~ |m i = eiEm t/~ |m i.
(4.111)
Im folgenden werden wir mit |m, t i immer |m, t i = eiEm t/~ |m i meinen.
F
ur t t0 sind die die |m i nicht mehr Eigenzustand von H; deshalb sind die |m, t i nicht mehr
station
ar unter der Zeitentwicklung von H. Aber falls V (t) klein gegen H0 ist im Sinne der
St
orungstheorie, macht es Sinn, als Basis des Zustandsraums noch immer die Eigenzustande
Ubergangswahrscheinlichkeit
zwischen den nun nicht mehr stationaren Zustanden.
Es stellt sich dabei als vorteilhaft heraus, die Dynamik aufgrund von V (t) zu isolieren durch
Ubergang
ins Wechselwirkungsbild = Diracbild:
Definition 4.1. Im Wechselwirkungsbild (= Interaction picture) ist der Zustand gegeben durch
= eiH0 t/~
|, t iI
| {z }
Interaction-Bild
|, t i
| {z }
(4.112)
Schr
odinger-Bild
(4.113)
=i~t |,t i
i~t |, t iI = VI (t) |, t iI ,
(4.114)
Wir l
osen diese dynamische Gleichung auf die folgende Weise: Im Schrodinger-Bild hatten wir
f
ur
i~t |, t i = H(t) |, t i
(4.115)
die Dyson-Reihe
tZ
n1
n Zt
Zt1
X
1
|, t i = 1 +
dt1 dt2 . . .
dtn H(t1 ) . . . H(tn ) |, t0 i.
i~
n=1
t0
t0
gefunden Analog l
osen wir in hier mit der Neumann-Reihe
tZ
n1
n Z t
Zt1
X
1
|, t iI = 1 +
dt1 dt2 . . .
dtn V (t1 ) . . . V (tn ) |, t0 iI .
i~
n=1
t0
t0
(4.116)
t0
t0
In der St
orungstheorie wird diese Reihe nur bis zu endlicher Ordnung berechnet.
(4.117)
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
4.4.2
104
Uberg
ange erster Ordnung und Goldene Regel
P (Ubergang
|, t i |n, t i) = |hn, t|, ti|2
(4.118)
(4.119)
Zt
dt0 VI (t0 ) |, t0 iI .
(4.120)
t0
(4.121)
|, t0 iI eiH0 t0 /~ |, t0 i = |m i.
(4.122)
woraus folgt
Damit haben wir
Zt
|, t iI = |m i +
dt0 VI (t0 ) |m i
(4.123)
t0
und somit
hn, t|, ti = hn|, tiI
1
= m,n +
i~
(4.124)
Zt
dt0 h n| VI (t0 ) |m i
(4.125)
t0
1
= m,n +
i~
Zt
(4.126)
t0
Wir k
onnen deshalb die Wahrscheinlichkeit f
ur einen Ubergang
von |m, t i in |n, t i mit hn|mi = 0
angeben als
1
Pm,n (t) = |hn, t|, ti| = |
~
2
Zt
t0
nm =
En Em
.
~
(4.127)
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
1
Pmn (t) = 2 |
~
Zt
(4.128)
1 einm t 1 2
= 2|
| |h n| V |m i|2
~
nm
2
1 sin(nm t/2)
|h n| V |m i|2
= 2
~
nm /2
mn =
105
Pmn (t)
.
t
(4.129)
(4.130)
(4.131)
(4.132)
lim
lim mn =
2
(En Em )|h n| V |m i|2 .
~
(4.133)
f
ur den Ubergang
von |m, t i in einen kontinuierlichen Bereich von Zustanden {|n i} zu berechnen.
Aus Gleichung (4.133) lesen wir ab, dass diese Rate im Limes t nur von Null verschieden
ist, wenn En = Em . Sei (En )dEn die Anzahl die Zustande im Interval (En , En + dEn ). Die
Rate (|m i {|n i} mit En = Em ) ist
Z
= lim
2
|h n| V |m i|2 .
~
(4.134)
Dies bezeichnet man als Fermis Goldene Regel. Zu ihrer Herleitung wurde angenommen, dass
alle |n i in disem Zustandsbereich mit En = Em dasselbe |h n| V |m i|2 besitzen.
Verallgemeinern wir noch unsere Rechnung auf periodische Storungen. Sei dazu
V (t) = (t)[F eit + F eit ].
(4.135)
2
[(En Em ~)|h n| F |m i|2 + (En Em + ~)|h n| F |m i|2 ].
~
(4.136)
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
106
4.5
4.5.1
Regel
P (Messung von A auf | i ergibt an ) = |cn |2 = h | P|n i | i,
(4.137)
H H.
(4.138)
Alle physikalischen Gr
oen k
onnen mit Hilfe von | i bestimmt werden:
Die Berechnung der Mittelwerte erfolgt als
| i = h | A | i =
hAi
X
h|nih n| A | i
(4.139)
X
h n| A | ih|ni
(4.140)
X
|n i.
h n| A
(4.141)
=
Mit der Spur (trace) TrX
P
|n i f
h n| X
ur {|n i} Orthonormalbasis von H lasst sich
n
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
107
| i = Tr(A
| i ).
hAi
(4.142)
= Tr(B
A).
(4.143)
denn | ih|ih | = | ih |;
= .
Auch die Schr
odinger-Zeitentwicklung kann als Gleichung f
ur die Dichtematrix geschrieben werden. Ausgehend von der Schr
odingergleichung f
ur den Zustand
i~t | i = H | i
bzw.
i~h | = h | H
(4.144)
berechnen wir
i~t | i = i~((t | i)h | + | it h |)
= H | ih | | ih | H.
(4.145)
(4.146)
Das bedeutet
i~t | i = [H, ]
bzw.
i
t = [H, ].
~
(4.147)
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
pi = 1.
108
(4.149)
(4.150)
| i =
pi hAi
i
(4.152)
= Tr(G A)
pi i A)
P
n
= Tr(
pi Tr(i A)
(4.151)
P (an ) =
pi h i | A |i i
cin |n i ist
|cin |2
|{z}
pi
|{z}
pi Tr(P|n i i )
(4.153)
Tr(G ) = 1
G = G
Aber: 2G 6= G sofern pi 6= 0 f
ur mehr als ein i, denn
X
X
2G = (
pi i )(
pj j ) 6= G .
i
(4.154)
Insbesondere ist
Tr2G < 1.
(4.155)
Dies ergibt das folgende Entscheidungskriterium zur Abgrenzung von reinen und gemischten
Zust
anden:
Reiner Zustand: Tr2 = 1
(4.156)
Die Unterscheidung zwischen reinen und gemischten Zustanden ist extrem wichtig, denn sie
entspricht der Unterscheidung zwischen der echt quantenmechanischen Superposition und dem
klassischen Mischen von Teilchen mit bestimmten Eigenschaften in einem Ensemble:
P
Die quantenmechanische Superposition von Zustanden | i =
cn |n i f
uhrt zu einem
n
reinen Zustand
| i =
X
n,m
cn cm |n ih m| .
(4.157)
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
109
pn |n ih n| .
(4.158)
1
(h | A | i + h | A | i + 2Reh | A | i),
|
{z
}
2
(4.159)
Interferenzterm
G = 1 (h | A | i + h | A | i).
hAi
2
(4.160)
Abschlieend sei bemerkt, dass eine wichtige Anwendung der Dichtematrix in der Quantenstatistik zum Tragen kommt. Die von-Neumann Entropie
S = kB Tr( ln )
(4.161)
misst die Entropie bzw. Unsicherheit aufgrund unserer Unkenntnis des Zustandsvektors eines
gemischten Ensembles. Dies wird in der Vorlesung zur Statistischen Theoretischen Physik im
Detail behandelt werden.
4.5.2
Betrachten wir nun ein physikalisches Gesamtsystem S mit Subsystemen S1 und S2 . Der Gesamthilbertraum H ist das Tensorprodukt der zu Si gehorigen Einzelhilbertraume Hi ,
H = H1 H 2 .
(4.162)
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
110
Seien {|1n i} eine ONB zu H1 und {|2m i} eine ONB zu H2 . Ein allgemeiner normierter Zustand
von H lasst sich expandieren als
X
X
|cnm |2 = 1.
| i =
cnm |1n i |2m i,
(4.163)
{z
}
|
n,m
n,m
|1n i|2m i
(4.164)
n,m n0 ,m0
Wir k
onnen uns leicht davon u
berzeugen, dass es sich um einen reinen Zustand handelt, indem
wir
(4.165)
2| i = | i
berechnen.
Wir kommen nun zum wichtigen Konzept der Messung nur am Teilsystem S1 . Stellen wir uns
vor, wir interessieren uns in einer Messung nur f
ur die Eigenschaften von System S1 und wollen
die Freiheitsgrade von S2 nicht ber
ucksichtigen. Etwas praziser formuliert heit das, dass wir
eine Observable A = A1 12 mit A1 : H1 H1 messen. Ein entscheidendes Resultat ist, dass
sich der Erwartungswert von A darstellen lasst als Spur nur u
ber Subsystem S1 ,
= Tr1 (
hAi
A1 ),
(4.166)
(4.167)
n,m,n0
(4.168)
()
(4.169)
Da allgemein
1 O
2 ) =
Tr(O
X
1 O
2 |1n i |2m i
h 1n| h 2m| O
(4.170)
n,m
1 h 1n| |2m iO
2 |2m i
|1n iO
(4.171)
n,m
1 Tr2 O
2
= Tr1 O
(4.172)
=mm0 f
ur {|2m i} ONB
(4.173)
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
111
Beachte, dass im letzten Schritt die Orthogonalitat der Basis {|2m i} eine wichtige Rolle spielt.
Damit ist die Aussage gezeigt.
Wir wissen nun also, dass wir zu einer Messung, die nur an System S1 stattfindet, die reduzierte
Dichtematrix
= Tr2
(4.174)
ben
otigen. Im Allgemeinen ist 2 6= , was man durch explizite Rechnung zeigen kann. Die
Ausnahme, dass 2 = gilt, findet man nur in dem speziellen Fall, inPdem | i faktorisiert
als | i = |1 i |2 i ist (im Gegensatz zur allgemeineren Form | i =
|1n i |2m i). Das
n,m
bedeutet, dass wir zu Zwecken der Messung an S1 unter Vernachlassigung von S2 den Zustand
effektiv durch den gemischten Zustand = Tr2 beschreiben. Diesen Punkt werden wir im
n
achsten Kapitel noch weiter ausbauen.
4.5.3
nur dann einen definierten Wert der Observablen OS besitzt, wenn es sich in einem Eigenzustand
|sn i befindet.
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
112
Die Messung eines solchen Eigenzustandes erfordert, dass wir das quantenmechanische System S
an einen Messapparat (Zeiger) A mit Hilbertraum HA koppeln. Hierzu muss es makroskopisch
unterscheidbare Zeigerpositionen {|an i} geben. Damit eine Messung an S durch Ablesen des
Zustandes (Zeigerposition) von A moglich ist, m
ussen beide verschrankte Zustande wie folgt
bilden: Wenn vor der Kopplung von S und A beide Systeme im Zustand |sn i bzw. |a0 i sind,
f
uhrt die Kopplung zum Ubergang
|sn i
|a0 i
|{z}
Schr
odingerevolution
|sn i |an i .
|{z}
(4.176)
ablesbar
urspr. Zeigerzustand
Beachte, dass diese Kopplung wie alles quantenmechanisch zu beschreiben ist und somit der
Schr
odingerentwicklung gen
ugt. Das Ablesen von |an i erlaubt den R
uckschluss auf |sn i.
Das Messproblem hat nun seinen Ursprung in der Linearitat der SchroP
dingergleichung. Denn
Anwendung obiger Kopplungsregel auf den Superpositionszustand | i =
cn |sn i ergibt - allein
n
wegen Linearit
at der Schr
odingerentwicklung X
X
S.E.
(
cn |sn i) |a0 i =
cn |sn i |an i.
n
(4.177)
die Verschr
ankung von S, A, E von der Form
X
X
S.E.
cn |sn i |a0 i |e0 i =
cn |sn i |an i |en i.
n
(4.178)
an S und A ignoriert unweigerlich die (meisten Frei Die Messung einer Observablen O
=O
S+A 1E an S + A + E.
heitsgrade) der Umwelt. Das heit wir messen eigentlich O
am System S + A effektiv durch die reduzierte
Das bedeutet, dass die Messung von O
Dichtematrix S+A beschrieben wird,
= TrS+A (
S+A ).
hOi
S+A O
(4.179)
2 Einen Uberblick
u
atze bietet z.B. der Review-Artikel H. Schlosshauer Decoherence, the
ber verschiedene Ans
measurement problem, & interpretations of quantum mechanics (http://arxiv.org/abs/quant-ph/0312059).
3 H.D. Zeh, Heidelberg 1970; W. Zurek, 1981.
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
113
(4.180)
mit Dichtematrix
S+A+E =
(4.181)
n,m
Die reduzierte Dichtematrix S+A = TrE S+A+E hingegen beschreibt einen gemischten Zustand
X
X
(4.182)
S+A =
cn cm |sn i |an ih sm | h am |
hek |en ihem |ek i .
n,m
{z
hem |en i
Beachte dabei, dass im allgemeinen hem |en i nicht unbedingt nm sein muss. Denn die Zustande
|em i sind spezielle Zust
ande des Hilbertraums HE , definiert durch die genaue Kopplung (4.178).
Diese ist nat
urlich abh
angig vom konkreten untersuchten System bzw. Prozess. Explizite Modellrechnungen der Dekoh
arenzforschung zeigen hingegen, dass generisch die Kopplung von S + A
an E so ist, dass nach extrem kurzer Dekoharenzzeit td
t
d
hem |en i(t)
nm .
(4.183)
d
S+A
dS+A =
(4.184)
Ubergang
zur Diagonalmatrix S+A D
ur t . Nach endlichen
S+A nur asymptotisch f
Zeiten ist die Interferierf
ahigkeit sehr klein, aber strenggenommen nicht null.
Selbst wenn wir den Unterschied zwischen einem asymptotischen und einem exakt diagona2
2
2
le D
ur i = |si i |ai ih si | h ai |
D
S+A ignorieren und mit
S+A = |c1 | 1 + |c2 | 2 + . . . + |cn | n f
arbeiten: Tats
achlich wird nur ein |sj i |aj i beobachtet. Wir fragen uns, was hier
uber entscheidet. Und was passiert mit den anderen Branches? Dieses Frage bleibt in der
Dekoh
arenztheorie unbeantwortet.
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
114
Vielwelten-Interpretation
Gem
a der Vielwelten-Interpretation der Quantenmechanik 4 findet kein Kollaps der Wellenfunktion statt. Stattdessen sind alle Zweige |sn i |an i, d.h. alle moglichen Messausgange, tatsachlich
real und realisiert - jeder in einer anderen Welt. Das f
uhrt zu einer standigen Verzweigung der Gesamtwellenfunktion des Universums, die alle Moglichkeiten realisiert. Unser Bewusstsein sieht
aber jeweils nur einen bestimmten Zweig. Demnach ware der Kollaps der Wellenfunktion nur eine
Illusion, die darauf beruht, dass die anderen Verzweigungen dem Beobachter nicht zuganglich
sind. Der subjektiv wahrgenommene Probabilismus ergibt sich daraus, dass, ahnlich wie bei einem Galton-Brett, der Beobachter auf jedem Pfad der Wellenfunktion nach einer hinreichend
groen Anzahl entprechend pr
aparierter Messungen die einzelnen Abzweigungen entsprechend
oft genommen hat, jede gewichtet mit |cn |2 . Obwohl kein Kollaps der Wellenfunktion stattfindet,
ist doch gew
ahrleistet, dass bei der zweiten Messung unmittelbar nach der ersten mit Wahrscheinlichkeit 1 dasselbe Ergebnis gemessen wird.
Ein popul
arer Zugang zum Messproblem besteht also darin, mithilfe von Dekoharenz den Verlust
der Interferierf
ahigkeit im Makroskopischen und mithilfe der Vielweltentheorie dann die Frage
nach der Auswahl der einzelnen Zweige in der reduzierten Dichtematrix zu erklaren.
Weitere L
osungsideen zum Messproblem
Neben den eben angef
uhrten Ideen gibt es weitere, die versuchen das Messproblem zu losen. Zu
ihnen geh
oren
die dynamische Kollpastheorie: Ausgangspunkt ist die Tatsache, dass es die Linearit
at der
Schr
odingerevolution ist, welche erst das Messproblem entstehen lasst, siehe Gl. (4.177).
Eine M
oglichkeit, dies zu umgehen, besteht deshalb in einer nicht-linearen Modifikation der
Schr
odingergleichung. Ein Beispiel hierf
ur ist die Ghirardi-Rimini-Weber-Theorie (GRW).
die Bohmsche Mechanik /DeBroglie-Bohm-F
uhrungswellen-Theorie: Hier wird die Wellenfunktion als F
uhrungsfeld f
ur realistische Teilchentrajektorien interpretiert. Das Geschwin1 ~
S(~x, t), welches wir im Zusammenhang mit der Konituitatsgleichung
digkeitsfeld ~v = m
formal aus Gl. (2.82) gefolgert hatten, wird hier also wortlich als Tangentiale zur Teilchentrajektorie interpretiert. Diese Formulierung ist manifest nichtlokal, was im Einklang
mit der bekannten Nichtlokalit
at der nicht-relativistischen Quantenmechanik steht. Ein
Nachteil dieser Formulierung ist, dass sie in konkreten Anwendungen relativ kompliziert zu
handhaben ist, und, trotz Fortschritten in der j
ungeren Zeit, eine Ausweitung auf relativistische Quantenmechanik nicht-trivial ist.
Zusammenfassung:
Die Quantenmechanik funktioniert auf praktischem Level bereits in der Standardinterpretation hervorragend. Das erkl
art den Shut-up-and-calculate-Approach vieler Physiker.
Das Messproblem ist ein konzeptionelles, kein praktisches Problem. Aber als konzeptionelles
Problem ist es genauso ernst zu nehmen, wie wenn es ein praktisches ware.
Alle obigen Ans
atze sind bislang empirisch aquivalent zur Standardformulierung.
Die einzige empirisch ausgeschlossene Losung des Messproblems ist die Beschreibung des Zustandes durch Hinzunahme lokale Hidden variables, welche die Wellenfunktion komplettieren.
4 Hugh
Everett, 1957
KAPITEL 4. WEITERFUHRENDE
FRAGEN UND ANWENDUNGEN
115
Die Existenz solcher lokalen versteckten Variablen ist durch die Bellsche Ungleichungen 5 ausgeschlossen.6
4.6
Abschlieend sei noch auf die folgenden beiden wichtigen Themenkreise hingewiesen, die spater
unter anderem in der Quantenfeldtheorie nochmals behandelt werden. Sie konnen aber schon im
Rahmen der Quantenmechanik verstanden werden:
Das Feynman-Pfadintegral
In der Pfadintegralformulierung der Quantenmechanik wird der Propagator G(x0 , t0 , x, t),
definiert in Gl. (2.59), durch die Summation u
ber alle moglichen Wege von (x0 , t0 ) nach
(x, t) berechnet, salopp formuliert als
G(x0 , t0 , x, t) =
eiS[x(t)]/~ .
(4.185)
alle Wege
Die Ersetzung der Summe durch ein Integral gibt diesem ausgesprochen n
utzlichen Zugang
seinen Namen. Das Pfadintegral wird gema einer Sattelpunktapproximation dominiert
von den klassischen Wegen, f
ur welche die Wirkung S[x(t)] stationar ist. Die klassisch
verbotenen Pfade tragen mit ensprechender Gewichtung allerdings auch bei. Im Limes
~ 0, oder besser gesagt f
ur S[x(t)] ~ ergibt sich klassisches Verhalten, weil die
klassisch verbotenen Pfade stark unterdr
uckt sind.
Eine geeignete Einf
uhrung in dieses Thema findet sich beispielsweise in Principles of Quantum Mechanics von Shankar (Kapitel 8 und 21).
Streutheorie
Hier wird die Streuung von Wellenfunktionen an einem Potential behandelt. Eines der
zentralen Ergebnisse der Streutheorie ist das optische Theorem. Eine leicht verdauliche
Einf
uhrung hierzu findet sich beispielsweise in Schwabl, Kapitel 16.
5 Siehe