Beruflich Dokumente
Kultur Dokumente
Norbert Dragon
Dieser Text wurde mit dem Textsatzsystem TEX, genauer mit LATEX 2 und der KOMA Script-Klasse scrbook, am 22. Juni 2005 erstellt.
Uberblick
Von Feynman stammt die Einschatzung, man m
usse gerechterweise zugeben, da niemand Quantenmechanik verstehe. Die folgende Darstellung ist als Widerlegung dieser
Koketterie gedacht: von der Grundgleichung f
ur die Wahrscheinlichkeit von Meergebnissen ausgehend wird die Quantenmechanik entwickelt, ohne da ein groeres Ratsel
bleibt als die Frage, warum diese Grundgleichung gilt. Sie wird zwar als Kopenhagener
Deutung der Quantenmechanik bezeichnet, gehort aber zu jeder Auffassung von Quantenmechanik, egal ob man sie so oder anders deutet.
Da, wie die Grundgleichung besagt, die Wahrscheinlichkeit f
ur ein Meergebnis quadratisch von der Amplitude abhangt, die den Zustand charakterisiert und die sich mit der
Zeit andert, ist nicht ohne Beispiel in der Theoretischen Physik: ebenso hangen Energiedichten und -strome in der Elektrodynamik quadratisch von Feldern ab. Unbegreiflich,
das heit, nicht durch Einfacheres erklarbar, bleibt an der Quantenmechanik nur, warum
bei kleiner werdenden Energiedichten die Auswirkungen im Einzelfall nicht kleiner sondern seltener werden, warum also, wie beim photoelektrischen Effekt, die Auswirkungen
sich wie Teilchen verhalten.
Dar
uber hinaus bleibt mir kein grundsatzliches Unbegreifen. Die Bellsche Ungleichung
zeigt, da die Ergebnisse von Messungen, die wie Spinmessungen in verschiedene Richtungen nicht gemeinsam erfolgen konnen, nicht als reale Eigenschaften einzelner Teilchen vor der Messung festliegen. Unsere Untersuchung des Meprozesses zeigt, da Zu
standsreduktion bei Kenntnis eines Ergebnisses der Ubergang
zu bedingten Amplituden
ist, nicht anders als Wahrscheinlichkeiten bei Kenntnis von Ergebnissen durch bedingte
Wahrscheinlichkeiten ersetzt werden.
Ebenso wird geklart, da die Anteile eines Zustandes, die zu verschiedenen Meergebnissen gef
uhrt haben, nicht koharent sind: wenn am Doppelspalt unterscheidbar ist,
durch welchen der beiden Spalte das Teilchen geflogen ist, dann interferieren die Teilstrahlen nicht. F
ur die Dekoharenz ist nicht wichtig, ob ein Beobachter zusieht, sondern
ob er zusehen kann.
Der Text ist als Erganzung, Wiederholung und Kommentar gedacht, nachdem freie
Teilchen, Potentialtopf, Potentialbarriere, Wasserstoffatom und Streuung verstanden
sind. Unter den zahllosen Darstellungen empfehle ich als verlaliche, wenngleich sehr
anspruchsvolle Darstellung [1].
Inhaltsverzeichnis
1 Wahrscheinlichkeit von Mewerten
1.1 Orthonormalbasis . . . . . . . .
1.2 Bracket-Schreibweise . . . . . .
1.3 Matrixalgebra . . . . . . . . . .
1.4 Projektoren, Zerlegung der Eins
1.5 Endliche Norm . . . . . . . . .
1.6 Strahlen im Hilbertraum . . . .
1.7 Dichtematrix . . . . . . . . . .
1.8 Mischen von Gemischen . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2 Operatoren
2.1 Erwartungswerte . . . . . . . . . .
2.2 Unbeschranktes Spektrum . . . . .
2.3 Unscharfe . . . . . . . . . . . . . .
2.4 Kommutator . . . . . . . . . . . . .
2.5 Erzeuger-Vernichter-Algebra . . . .
2.6 Drehimpulsalgebra . . . . . . . . .
2.7 Messung eines Spin-1/2-Gemisches
2.8 Storungstheorie . . . . . . . . . . .
3 kontinuierliches Spektrum
3.1 Wellenfunktion . . . . . . . . .
3.2 Transformationen des Ortes . .
3.3 Translationen und Impuls . . .
3.4 Drehungen und Bahndrehimpuls
3.5 Kontinuierliche Basis . . . . . .
3.6 Mehrteilchenzustande . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
2
3
3
4
5
6
7
9
.
.
.
.
.
.
.
.
11
11
12
13
15
16
18
20
23
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
27
27
28
31
32
33
36
4 Zeitentwicklung, Grundzustandsenergie
4.1 Schrodingergleichung . . . . . . . . . . . .
4.2 Schrodingerbild, Heisenbergbild . . . . . .
4.3 Grundzustandsenergie . . . . . . . . . . .
4.4 Kanonische Quantisierung, Normalordnung
4.5 Zeitentwicklung im Zweizustandssystem . .
4.6 Energiebander . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
39
39
42
44
46
48
49
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
iii
Inhaltsverzeichnis
5 Zusammengesetzte Systeme
5.1 Produktraum . . . . . . . . . . . . . . .
5.2 Addition von Drehimpulsen . . . . . . .
5.3 Unabhangig zusammengesetzte Gemische
5.4 Quantenkopierer . . . . . . . . . . . . .
5.5 Bellsche Ungleichung . . . . . . . . . . .
5.6 Meproze und Zustandsreduktion . . .
.
.
.
.
.
.
55
55
56
58
59
59
64
67
67
71
.
.
.
.
.
.
75
75
76
78
80
84
85
8 Das Wigner-Theorem
8.1 Wahrscheinlichkeitstreue und unitare Abbildungen . . . . . . . . . . . . .
8.2 Nichtlineare Schrodingergleichung . . . . . . . . . . . . . . . . . . . . . .
89
89
94
. . . .
Zerfall
. . . .
. . . .
. . . .
. . . .
.
.
.
.
.
.
.
.
.
.
.
.
9 Relativistische Quantenmechanik
9.1 Poincare- und Lorentztransformationen . .
9.2 Basiszustande und Wellenfunktionen . . .
9.3 Unitare Darstellung der Stabilitatsgruppe .
9.4 Induzierte Darstellung . . . . . . . . . . .
9.5 Zeitumkehr und Raumspiegelung . . . . .
A lim0+
1
x+i
= PV x1 i(x)
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
95
95
97
103
104
108
113
B limt sintx(tx)
= (x)
2
114
115
116
E Der Propagator
117
Literaturverzeichnis
119
Quelle
Zustand
Apparat
a2
..
.
an
..
.
(1.1)
1.1 Orthonormalbasis
Die Grundgleichung (1.1) f
ur die Wahrscheinlichkeit ist folgendermaen zu lesen: zu
Zustanden wie i und gehoren Vektoren in einem Hilbertraum H. Ein Hilbertraum
ist ein Vektorraum, das heit mit irgend zwei Vektoren und aus dem Hilbertraum
ist auch die Summe + und jedes komplexe Vielfache c = c, c , Vektor im
Hilbertraum. F
ur alle Paare von Vektoren ist ein Skalarprodukt h|i mit folgenden
Eigenschaften definiert
h|i = h|i ,
h|1 c1 + 2 c2 i = h|1 ic1 + h|2 ic2
c1 , c2
(1.2)
(1.3)
Das Skalarprodukt ist also linear im zweiten Argument und wegen (1.2) antilinear im
ersten Argument
hc11 + c2 2 |i = c1 h1 |i + c2 h2 |i .
(1.4)
Das Skalarprodukt eines Vektors mit sich ist positiv definit und wird verwendet, um die
Lange von Vektoren zu definieren
0 6 h|i = kk2 < ,
kk = 0 = 0 .
(1.5)
Die Wahrscheinlichkeit w(i, A, ), mit der ein Meapparat A den i-ten Mewert ai
anzeigt, wenn der Zustand vermessen wird, ist gema (1.1) das Betragsquadrat des
Skalarproduktes hi |i des zu messenden Zustandes mit dem zum Mewert ai gehorenden Eigenzustand i . Man nennt das Skalarprodukt hi |i die Wahrscheinlichkeitsamplitude f
ur den i-ten Mewert ai .
Aus (1.1) folgt, da die Zustande i normiert sind und zueinander senkrecht stehen.
0 falls i 6= j
i
hi |j i = j =
(1.6)
1 falls i = j
Denn falls der Eigenzustand j vermessen wird, tritt mit Sicherheit der Mewert aj auf,
w(i, A, j) = |hi |j i|2 = i j . Aus den Betragsquadraten folgen die Skalarprodukte
(1.6) der j , weil nichtverschwindende Langenquadrate positiv sind.
Quantenmechanik macht u
ber (1.1) hinaus die Annahme, da die Eigenzustande i
eine Basis bilden. Daher lat sich jeder Zustand als komplexe Linearkombination der
i schreiben
X
=
j j , j .
(1.7)
j
(1.8)
Die Komponenten von in der Basis der Eigenzustande des Meapparates sind die
Wahrscheinlichkeitsamplituden f
ur die zugehorigen Mewerte.
1.2 Bracket-Schreibweise
Ist der Zustand noch unbekannt, so konnen die Betrage der Komponenten, die zur
Basis der Eigenzustande eines Meapparates gehoren, der Wahrscheinlichkeitsverteilung
der Mewerte entnommen werden. Die Phasen dieser Komponenten m
ussen aus anderen
Messungen bestimmt werden. So wie in klassischer Mechanik die anfangliche Lage und
die anfangliche Geschwindigkeit eines Massepunktes gemessen werden, so erschliet man
in der Quantenmechanik durch Messen, welcher Zustand vorliegt.
1.2 Bracket-Schreibweise
Setzen wir die Komponenten in (1.7) ein, so erhalten wir
X
=
j hj |i .
(1.9)
(1.10)
Da diese Gleichung f
ur alle gilt, lat man das Symbol h weg und erhalt die
einpragsame Gleichung
X
X
|j ij .
(1.11)
|j ihj |i =
|i =
j
(1.12)
(1.13)
Die Abbildung von Bra- auf Ket-Vektoren ist eine Konjugation |i = h|.
1.3 Matrixalgebra
Gema (1.10) lat sich das Skalarprodukt einfach aus den Komponenten berechnen.
X
h|i =
j j
(1.14)
j
Sie
ahnelt einer milit
arischen Bef
orderung, bei der Streifen und Winkel hinzugef
ugt werden.
Ordnet man die Komponenten eines Ket-Vektors als Spalte an und die Komponenten
des Bra-Vektors als Zeile sie sind wegen (1.12) die komplex konjugierten Komponenten
des zugehorigen Ket-Vektors dann erhalt man das Skalarprodukt durch Matrixmultiplikation der Zeile mit der Spalte.
Wendet man einen Operator A auf einen Vektor an, so erhalt man den Spaltenvektor
der Komponenten von A durch Matrixmultiplikation der Matrix, die in der n-ten Zeile
und m-ten Spalte das Matrixelement
Anm = hn |Am i
(1.15)
(1.16)
(1.17)
definiert. Beim hermitesch Adjungieren eines Produkts von Operatoren wird die Reihenfolge gespiegelt
h|ABi = hA |Bi = hB A |i ,
(AB) = B A ,
(1.18)
(1.19)
Mit den Matrixelementen Anm und den Basisvektoren schreiben sich in BracketSchreibweise die Operatoren A als
X
A=
|n iAnm hm | ,
(1.20)
nm
(1.21)
nm
Pj = |j ihj |
(1.23)
Pj2 = Pj
(1.24)
Pi Pj = 0 falls i 6= j .
(1.25)
Die Darstellung (1.22) des -Operators als Summe von Projektionsoperatoren nennt
man eine Zerlegung der Eins.
Mit Zerlegungen der Eins und der Bracket-Schreibweise ist die beim Basiswechsel zu
bewaltigende Algebra sehr u
bersichtlich: Seien |i i und |i i zwei Orthonormalbasen.
Der Zusammenhang zwischen den Komponenten in den verschiedenen Basen ergibt sich,
wenn man eine Zerlegung der Eins einschiebt
X
hi |i =
hi |j ihj |i .
(1.26)
(1.29)
: = ei 0 .
(1.30)
Eleganter als der Begriff Einheitsvektor bis auf eine Phase ist der gleichwertige Be
griff eines Strahls im Hilbertraum . Der zum Vektor 6= 0 gehorige Strahl ist der
komplex eindimensionale Unterraum, der von ihm aufgespannt wird. Ordnet man physikalischen Zustanden Strahlen im Hilbertraum zu, ist die Grundgleichung (1.1) f
ur die
Wahrscheinlichkeit von Mewerten ai so abzuandern, da sie unabhangig von der Normierung der Vektoren i 6= 0 und 6= 0 wird, die man als Reprasentanten ihrer Strahlen
wahlt.
|hi |i|2
w(i, A, ) =
(1.31)
hi |i ih|i
Da Zustande Strahlen im Hilbertraum sind, kann man sie genau genommen nicht addieren. Zwar kann man die Vektoren addieren, aus denen zwei verschiedene Strahlen
bestehen, aber die Summen bilden keinen Strahl, sondern einen zweidimensionalen Unterraum des Hilbertraumes. Hingegen konnen aus Reprasentanten und der zwei
Strahlen auf viele Arten Superpositionen, der zu a + b gehorige Strahl, gebildet
werden, wobei (a + b) mit 6= 0 zu demselben Zustand gehort.
Die verschiedenen Superpositionen zweier verschiedener Zustande und bilden
den Raum CP 1 = S2 , jede gegebene Superposition kann also als Punkt einer zweidimensionalen Kugeloberflache gedacht werden. Auf dieser Kugel zeichnet einen Punkt
entsprechen die gleichgewichtigen Superpositionen ( + ei )/ 2, deren relative Phase wichtig ist. Auer durch die Herkunft ist keine Superposition auf nat
urliche Art
gegen
uber einer anderen ausgezeichnet.
Das Zusammenfassen zweier Zustande zu einer Superposition ist nicht, wie von Addition zu fordern, assoziativ und kommutativ. Man sollte Superposition daher nicht
schlampig Addition nennen.
Statt einen Vektor i oder als Reprasentanten eines Strahls im Hilbertraum zu
verwenden, kann man Strahlen durch die zugehorigen Projektoren
Pi,A =
|i ihi |
hi |i i
(1.32)
1.7 Dichtematrix
und
=
|ih|
h|i
(1.33)
(1.34)
(1.35)
definiert, wobei j eine Basis bilden (z.B. j = j ). Die Spur eines Operators ist unabhangig von der Basis und zyklisch tr AB = tr BA.
In der Form (1.34) kann die Grundgleichung leicht f
ur den Fall verallgemeinert werden,
in dem der Mewert a entartet ist und mehrere, durch feinere Meapparate unterscheidbare (und daher zueinander orthogonale) Zustande a,k , k = 1, 2, . . . , zum Mewert a
gehoren. Der Projektor Pi,A ist dann zum Projektor Pa,A auf den Unterraum derjenigen
Zustande zu verallgemeinern, bei denen der Mewert a mit Sicherheit auftritt.
Pa,A =
X |a,k iha,k|
k
ha,k|a,k i
(1.36)
(1.37)
1.7 Dichtematrix
Die Wahrscheinlichkeit (1.1) kann mit der Haufigkeit, mit der in Versuchsreihen die
Mewerte auftreten, erst dann sicher verglichen werden, wenn in der Quelle wiederholt
derselbe Zustand prapariert wird. Dies ist bei vielen Quellen, zum Beispiel bei Ofen,
nicht der Fall. Wenn Teil der Quelle in Bild (1.1) ein W
urfel ist, der mit Wahrscheinlichkeit p1 den Zustand 1 , mit Wahrscheinlichkeit p2 einen Zustand 2 und so weiter
prapariert, dann tritt mit Wahrscheinlichkeit p1 w(i, A, 1) der Fall auf, da der Zustand 1 prapariert und der i-te Mewert ai gemessen wird, mit Wahrscheinlichkeit
p2 w(i, A, 2) der Fall, da der Zustand 2 prapariert und der i-te Mewert gemessen wird und so weiter. Ber
ucksichtigt man alle Moglichkeiten, so erhalt man den i-ten
Mewert ai mit Wahrscheinlichkeit
X
X
w(i, A, ) =
pn w(i, A, n) =
pn hi |n ihn |i i = hi |i i ,
(1.38)
n
X
n
pn |n ihn |
(1.39)
das einmalige Universum einschlielich aller Meapparate beschreiben soll. Von dieser
Frage sind wir allerdings gnadig verschont, da wir diese Wellenfunktion nicht kennen.
Mit der Bezeichnung Gemisch benennt man den Normalfall, da verschiedene Zustande n mit Wahrscheinlichkeiten pn prapariert werden. Wird in Mereihen immer
derselbe Zustand prapariert, nennen wir das zu messende System auch deutlicher einen
reinen Zustand. Reine Zustande sind spezielle Gemische, bei denen eine Produktionswahrscheinlichkeit 1 ist und die anderen Produktionswahrscheinlichkeiten verschwinden.
Die Zustande n , aus denen sich das Gemisch zusammensetzt, sind normalerweise
nicht paarweise orthogonal und bilden normalerweise keine Basis. Normalerweise lassen
sich die einzelnen Summanden pn |n ihn | nicht aus der Dichtematrix rekonstruieren,
ebenso wie man einer gegebenen Zahl nicht ihre Summanden ansieht. Man kann aber
die Eigenwerte n und orthonormierte Eigenvektoren n von bestimmen2
n = n n
mit
hm |n i = m n
(1.40)
(1.41)
schreiben. Die Eigenwerte n und die Projektoren auf die zugehorigen Eigenraume sind
durch die Eigenwertgleichung von festgelegt.
Jedes Hauptdiagonalelement h|i der Dichtematrix ist nichtnegativ
h|i =
X
n
h|pn n ihn |i =
X
n
(1.42)
Insbesondere haben daher Dichtematrizen nichtnegative Eigenwerte n . Ein Hauptdiagonalelement h|i verschwindet genau dann, wenn alle Skalarprodukte pn hn |i verschwinden, also wenn Null ist
h|i = 0 = 0 .
2
(1.43)
in
pn = 1 f
ur Wahrscheinlichkeiten festgelegt.
X
tr = 1 =
n
(1.44)
(1.45)
(1.46)
gehort.
Wir werden sehen, da beim Mischen die Unkenntnis u
ber die zugrunde liegenden
Zustande, die Entropie, und die Streuung von Mewerten zunimmt.
2 Operatoren
2.1 Erwartungswerte
Die Formel (1.34) gibt die Wahrscheinlichkeitsverteilung f
ur alle Mewerte an. Sie enthalt
damit die vollstandige Information u
ber den Ausgang von Mereihen. Oft ist man an
weniger Information interessiert, zum Beispiel am Mittelwert der Mewerte. Bei vielen
Wahrscheinlichkeitsverteilungen ist der wahrscheinlichste Mewert nahe beim Mittelwert
und der Mittelwert daher der Mewert, den man erwartet. Deshalb nennen ihn Physiker
den Erwartungswert. Man sei jedoch gewarnt, da es auch zweihockerige Verteilungen
gibt, zum Beispiel die Strahlauffacherung in einer Stern-Gerlach-Apparatur, bei denen
Mewerte in der Nahe des Mittelwertes unwahrscheinlich sind und der Erwartungswert
nicht zu erwarten ist.
Der Mittelwert hAi der Mewerte des Apparates A ist die Summe der mit den Wahrscheinlichkeiten gewichteten Mewerte
!
X
X
X
hAi =
ai w(i, A, ) =
ai hi |i i = tr
ai |i ihi | .
(2.1)
i
(2.2)
(2.3)
bezeichnet. Er ist f
ur den Meapparat charakteristisch, da sich aus ihm die Mewerte
und ihre Wahrscheinlichkeitsverteilung f
ur alle Gemische berechnen lassen. Zu jedem
Meapparat A gehort ein Operator A im Hilbertraum. Allerdings ist enttauschend, da
die Hersteller von Meapparaten den Operator nicht der Gebrauchsanweisung beilegen.
Im Gegensatz zu weitverbreiteten Behauptungen entspricht das Anwenden des Operators auf den Zustand nicht der Messung des Zustands.
Die Notation hAi f
ur den Mittelwert tr A stammt vom reinen Zustand (1.33). In
diesem Fall gilt spezieller, wenn wir wieder ein normiertes verwenden,
hAi = h|Ai .
(2.4)
eingef
ugt: hAi = h|A|i. Man betont dadurch, da es irrelevant ist, ob der Operator
12
2 Operatoren
A auf das zweite oder das erste Argument des Skalarproduktes wirkt, denn A ist ein
linearer, hermitescher (1.17) Operator
A = A .
(2.5)
Man u
berzeugt sich leicht, da die Projektionsoperatoren (1.23) hermitesch sind und da
reelle Linearkombinationen (2.3) von hermiteschen Operatoren wieder hermitesch sind.
Aus dem gleichen Grund ist die Dichtematrix hermitesch.
=
(2.6)
Aus (1.6) folgt unmittelbar, da die Zustande i Eigenzustande des Operators A sind
und da die Eigenwerte die Mewerte ai sind.
(2.7)
Ai = ai i
So haben wir in (2.3) den Operator A aus den Mewerten und Eigenzustanden konstruiert.
Umgekehrt lassen sich bei gegebenem Operator A aus der Eigenwertgleichung die
Eigenvektoren bis auf einen komplexen Faktor, das heit also die zugehorigen Strahlen
im Hilbertraum, und die Mewerte ai bestimmen.
Die Eigenwerte a eines hermiteschen Operators A = A sind reell, wie sich aus A =
a und h|i 6= 0 mit folgender Argumentationskette ergibt.
(a a)h|i = ha|i h|ai = hA|i h|Ai = 0
(2.8)
ai 6= aj hi |j i = 0
(2.9)
Unitare Operatoren U = U1 haben komplexe Eigenwerte vom Betrag 1. Denn unitare Transformationen lassen Skalarprodukte invariant.
hU|Ui = hU U|i = h|i
Demnach haben und U gleiche Lange und U = ,
|| = 1
U = U1 und U = = ei ,
(2.10)
(2.11)
2.2 Unbeschr
anktes Spektrum
Die Menge der Eigenwerte eines Operators A genauer das Komplement der komplexen
ur die die Resolvente (A)1 als Operator im ganzen Hilbertraum
Zahlenmenge , f
existiert heit Spektrum von A. Wenn das Spektrum nicht beschrankt ist, ist der lineare
2.3 Unscharfe
13
Operator nicht auf allen Vektoren definiert und mit einer beliebig kleinen Anderung
eines Zustandes, auf dem A definiert ist, kann man eine beliebig groe Anderung
des
Erwartungswertes bewirken.
Das ist aus dem Alltag bekannt: soll zum Beispiel die mittlere Studiendauer berechnet
werden, so andert ein einziger Student im vierzigsten Semester den Mittelwert drastisch.
Man behilft sich bei Statistiken mit Zusatzargumenten, wie Ein Student im vierzigsten
Semester ist kein Student und lat ihn einfach weg. Bei Messungen verfahrt man oft
genauso und lat Ausreier bei der Bestimmung von Mittelwerten weg.
Vornehm heit dies Verfahren Regularisierung. Will man nur gen
ugend gutartige Fragen untersuchen, zum Beispiel: Begreifen die Studenten den Lehrstoff seit Einf
uhrung
des neuen Studienplanes schneller? hangt die Antwort nicht vom Altstudenten und der
Regularisierung ab, und sie ist akzeptabel.
Die mathematischen Schwierigkeiten bei Operatoren mit unbeschranktem Spektrum
zeigen sich schon beim Energieerwartungswert des harmonischen Oszillators. Die Energiewerte sind die Eigenwerte des Hamiltonoperators H = ha a. Sie sind nichtnegative,
ganzzahlige Vielfache von h
H|n i = En |n i , En = nh , n = 0, 1, 2, . . . .
(2.12)
Wir unterstellen, da die n normiert sind. Dann bilden sie eine Orthonormalbasis
P
(1.6) und ein allgemeiner Vektor kann als Linearkombination |i =
n |n in mit
quadratsummierbaren Komponenten n geschrieben werden.
Der Hamiltonoperator ist hermitesch und bildet auf H mit Komponenten
hn |Hi = hnhn |i = hnn
(2.13)
2.3 Unsch
arfe
Als nach dem Mittelwert nachstwichtige Groe charakterisiert in einem Gemisch (1.39)
die Schwankung der Mewerte eines Apparats A, genauer der Erwartungswert der quadratischen Abweichung vom Mittelwert, die Wahrscheinlichkeitsverteilung.
X
( A)2 = h(A hAi)2i =
pn hn |(A hAi)2n i = hA2 i hAi2
(2.14)
n
14
2 Operatoren
A heit die Unscharfe oder Schwankung von A im Gemisch . Die Unscharfe hangt
vom hermiteschen Operator A und vom Gemisch ab.
Die Groe ( A)2 ist nichtnegativ, denn sie ist eine mit nichtnegativen Wahrscheinlichkeiten pn gewichtete Summe von Langenquadraten.
h|(A hAi)2i = h(A hAi)|(A hAi)i = k(A hAi)k2
(2.15)
Sie verschwindet genau dann, wenn das Gemisch nur aus Eigenzustanden n zu einem
festen Eigenwert a = hAi gemischt ist
X
0=
pn k(A hAi)n k2 (A a)n = 0 oder pn = 0 .
(2.16)
n
Die Summe n pn k cA (A hAi) + icB (B hBi) n k2 ist nicht negativ. Betrachtet
man reelle Zahlen cA und cB und hermitesche Operatoren A und B, so ergibt sich
aus dieser Bemerkung eine allgemeine untere Schranke f
ur das Produkt A B der
Schwankungen von A und B im Gemisch . Mit der Schreibweise
P
(2.17)
[A, B] = AB BA
f
ur den Kommutator von A mit B gilt
X
06
pn k cA (A hAi) + icB (B hBi) n k2
=
X
n
pn hn |
c2A (A
hAi)2 + c2B (B hBi)2 + icA cB [A, B] n i
= (cA A + cB B)2 cA cB 2 A B i
X
n
(2.18)
pn hn |[A, B]ni .
(2.19)
Wir d
urfen Betragszeichen setzen, wenn wir dieselben Uberlegungen
mit B statt A und
A statt B anstellen. Dabei behalt die linke Seite der Ungleichung ihren Wert und der
Kommutator [A, B] wechselt sein Vorzeichen. Auch f
ur A = 0 (oder B = 0) ist
diese Ungleichung erf
ullt, denn ist dann aus Eigenzustanden zu A (oder B) zu einem
Eigenwert a gemischt und der Erwartungswert eines Kommutators [A, B] verschwindet
in jedem Eigenzustand von A oder B.
X
X
h[A, B]i =
pn hn |[A, B]n i =
pn hn |(aB Ba)n i = 0
(2.20)
n
mit () =
+ (1 )
(2.21)
2.4 Kommutator
15
A tr
A)2 und demnach
ein Polynom in mit nichtpositiver zweiter Ableitung 2(tr
eine konkave Funktion des Mischungsparameters
(() A)2 > ( A)2 + (1 )( A)2 .
(2.22)
Das Schwankungsquadrat einer Mischung von Gemischen ist mindestens die anteilige
Summe der Schwankungsquadrate und stimmt mit der anteiligen Summe nur u
berein,
wenn die Mittelwerte tr A und tr A gleich sind.
2.4 Kommutator
Trotz der mathematischen Komplikationen, die mit der Verwendung unbeschrankter
Operatoren zusammenhangen, formuliert man die Eigenschaften quantenmechanischer
Systeme vorzugsweise anhand von Operatoren.
Mit der Sprechweise der Operator A vertauscht mit Operator B bezeichnet man den
(2.23)
verschwindet. Vertauschen A und B und sind sie diagonalisierbar, zum Beispiel weil
sie hermitesch oder unitar sind, so konnen Eigenvektoren des Operators A auch als
Eigenvektoren von B gewahlt werden und umgekehrt, denn B bildet den Eigenraum Hi
von A zum Eigenwert ai wieder auf Hi ab
[A, B] = 0 (A ai )i = 0 (A ai )(Bi ) = B(A ai )i = 0
(2.24)
und kann in diesem Unterraum diagonalisiert werden. Ist die Dimension di von Hi groer
als 1, so ist der Mewert ai entartet und es gibt linear unabhangige Eigenvektoren ij
zu A und B
Aij = ai ij Bij = bij ij j = 1, . . . , di .
(2.25)
Es kann dann ein feinerer Meapparat gebaut werden, der gleichzeitig A und B mit, so
da die Teilstrahlen ai in Abbildung (1.1) feiner in Teilstrahlen bij zerlegt werden.
Ist B in denselben Unterraumen entartet wie A, so ist B = f(A). B ist dann kein
wesentlich anderer Meapparat. B verwendet nur eine andere Meskala als A, etwa wie
bei einem Volt- und Amp`ere-Meter.
Bez
uglich Messungen, deren zugehorige Operatoren vertauschen, verhalten sich die
quantenmechanischen Systeme wie klassische, statistische Systeme. Bez
uglich solcher
Messungen werden alle Zustande schon vollstandig durch die Betragquadrate der Skalarprodukte h|i mit den gemeinsamen Eigenzustanden der kommutierenden Meoperatoren charakterisiert, durch eine klassische Wahrscheinlichkeitsverteilung also. Erst
Messungen, deren Operatoren nicht miteinander vertauschen, sind empfindlich auf die
komplexen Phasen der Komponenten von .
16
2 Operatoren
Daher sind Kommutatorrelationen von grundlegender Bedeutung in der Quantenmechanik. Die wesentlichen algebraischen Eigenschaften des Kommutators sind Antisymmetrie, Linearitat und Produktregel
[A, B] = [B, A] ,
[A, 1 B + 2 C] = 1 [A, B] + 2 [A, C] 1 , 2
[A, BC] = [A, B]C + B[A, C] .
(2.26)
(2.27)
(2.28)
Wegen der Antisymmetrie und weil hermitesch Adjungieren die Reihenfolge vertauscht
(1.18), ist der Kommutator hermitescher Operatoren antihermitesch. Wegen der Linearitat und der Produktregel verhalt sich die Operation Kommutator nehmen mit einem
Operator A so wie Ableiten. Bei diesem Ableiten bleibt die Reihenfolge der Faktoren
unverandert. Aus der Regel f
ur Produkte folgt die Produktregel f
ur Kommutatoren, die
Jacobi-Identitat
[A, [B, C]] = [[A, B], C] + [B, [A, C]]
[A, [B, C]] + [B, [C, A]] + [C, [A, B]] = 0 .
(2.29)
(2.30)
2.5 Erzeuger-Vernichter-Algebra
Algebraische Relationen strukturieren den Hilbertraum der Zustande. So kann zum Beispiel die Heisenbergsche Vertauschungsrelation eines hermiteschen Ortsoperators X mit
dem zugehorigen hermiteschen Impulsoperator P
[X, P] = ih
(2.31)
nicht in einem Hilbertraum H mit endlicher Dimension n gelten, denn dann ware die
Spur tr(XP PX) = 0 im Widerspruch zu tr(ih) = nih.
Existieren f
ur ein x0 , x0 6= 0, die komplexen Linearkombinationen
1 X
i
a = ( + x0 P) ,
2 x0 h
i
1 X
a = ( x0 P)
2 x0 h
(2.32)
(2.33)
(2.34)
(2.35)
2.5 Erzeuger-Vernichter-Algebra
17
Dies ergibt sich aus der Analyse des hermiteschen Operators a a. Im Vorgriff auf spatere
Ergebnisse nennen wir a a Anzahloperator und bezeichnen seine Eigenwerte mit n.
a an = nn .
(2.36)
[a a, a] = a .
(2.37)
(2.38)
(2.39)
(2.40)
(2.41)
Diese Normen sind nicht negativ (1.5). Daher ist n nicht negativ. Wiederholtes Anwenden des Vernichter-Operators a erniedrigt den Anzahleigenwert in ganzen Schritten und
mu, bevor n negativ wird, einen Eigenzustand 0 6= 0 ergeben, der durch weiteres
Anwenden von a auf Null abgebildet wird
a0 = 0 .
(2.42)
n = 0, 1, 2, . . . .
(2.43)
(2.44)
Es sind also die Grundzustande genauso entartet wie die Eigenzustande zu jedem anderen
Eigenwert des Anzahloperators.
18
2 Operatoren
2.6 Drehimpulsalgebra
Ein weiteres Beispiel f
ur algebraische Relationen ist die Drehimpulsalgebra
[Li , Lj ] = ihijk Lk ,
i, j, k {1, 2, 3} .
(2.45)
Ein Vektorraum mit einem bilinearen Produkt [A, B], das antisymmetrisch ist und
die Jacobi-Identitat (2.30) erf
ullt, ist eine Lie-Algebra. Es sind also die Drehimpulsoperatoren Basiselemente einer Lie-Algebra, genauer der zur Drehgruppe in drei Dimensionen, der SO(3), gehorigen Lie-Algebra.
Wenn die hermiteschen Drehimpulsoperatoren Li existieren, so hat der Hilbertraum
H eine Orthonormalbasis l,m, . ist ein Entartungsindex. 2l ist ganzzahlig nichtnegativ, l kann also Werte 0, 1/2, 1, 3/2, . . . haben. Die Algebra legt nicht fest, welche dieser
erlaubten l-Werte auftreten und wie sie entartet sind. Bei festem l treten die m-Werte
l, l + 1, . . . , +l auf. Auf der Orthonormalbasis l,m, konnen die Drehimpulsoperatoren explizit angegeben werden.
L3 l,m, = hml,m,
p
(L1 + iL2 )l,m, = h (l m)(l + m + 1)l,m+1,
p
(L1 iL2 )l,m, = h (l + m)(l m + 1)l,m1,
(2.46)
(2.47)
(2.48)
Dies lat sich folgendermaen aus der Drehimpulsalgebra ableiten. Man rechnet nach,
da der Gesamtdrehimpuls L2 = (L21 + L22 + L23 ) mit jedem der Drehimpulsoperatoren
L1 , L2 und L3 vertauscht. Denn Drehimpulsoperatoren erzeugen Drehungen und lassen
Langenquadrate von Vektoren, wie x2 + y2 + z2 oder L2 , invariant.
[Li , L2 ] = 0
(2.49)
Die Drehimpulsoperatoren bilden daher (2.24) Drehimpulsmultipletts, das heit Unterraume Hl von Eigenzustanden von L2 mit Eigenwert h2 l(l + 1), auf sich ab. Man kann
also gemeinsame Eigenzustande lm zu L2 und L3 finden
L2 lm = h2 l(l + 1)lm ,
L3 lm = hmlm .
(2.50)
2
Der Eigenwert h2 von
ur jeden Eigenzustand gilt
P L ist2 nicht negativ, denn f
2
2
h kk = h|L i =
kL
k
.
Im
Vorgriff
auf
sp
a
tere
Ergebnisse schreiben wir
i
i
q
2
[L3 , L ] = hL ,
[L+ , L ] = 2hL3 .
(2.52)
2.6 Drehimpulsalgebra
19
(2.53)
(2.54)
(2.55)
(2.56)
(2.57)
Diese Normen sind nicht negativ (1.5), daher ist bei gegebenem l die Quantenzahl m
nach unten und oben beschrankt.
Auf den Eigenzustand lmmax mit hochstem L3 -Eigenwert angewendet, mu L+ verschwinden. Also gilt (l mmax )(l + mmax + 1) = 0 und mmax = l , denn l ist nicht
negativ. Ebenso mu L , auf den Zustand mit niedrigstem L3 -Eigenwert angewendet,
verschwinden. Daher folgt (l+mmin )(lmmin +1) = 0 und, wegen mmin 6 l , mmin = l ,
mmax = l ,
mmin = l .
(2.58)
Da man durch wiederholtes Anwenden von L+ auf den Zustand mit minimalem L3 Eigenwert die m-Quantenzahl in ganzen Schritten erhoht bis man zum Zustand mit
mmax = l gelangt, mu die Differenz mmax mmin = 2l ganzzahlig und nicht negativ
sein. Es ist also l {0, 21 , 1, . . . } ganz- oder halbzahlig. Die Drehimpulsoperatoren wirken
in einem 2l + 1-dimensionalen Raum, dem Drehimpulsmultiplett mit Gesamtdrehimpuls
l, der von Basiszustanden lm mit m = l, l + 1, . . . , +l aufgespannt wird.
F
ur l = 1/2 wirken die Drehimpulsoperatoren, die Spin-1/2-Operatoren S1 , S2, und
S3 , in einem zweidimensionalen Raum auf den Spinoren des Spin-1/2-Multipletts mit
Basiszustanden l,m mit l = 1/2 und m = 1/2. In dieser Basis sind die Spinoperatoren
wegen (2.46), (2.47) und (2.48) durch das h/2-fache der Pauli-Matrizen 1 , 2 und 3
gegeben
0 1
0 i
1
0
1 =
, 2 =
, 3 =
,
(2.59)
1 0
i
0
0 1
h
i , i {1, 2, 3} .
2
Die Pauli-Matrizen erf
ullen die algebraischen Relationen
Si =
i j = ij + iijk k .
(2.60)
(2.61)
20
2 Operatoren
Wir konnen diese Matrix noch durch Wahl der Basisvektoren des Zweizustandssystems
vereinfachen. Wahlen wir als Basis die Eigenvektoren von , so wird die zu gehorige
Matrix diagonal. Sie ist also einfacher
1/2 + c
0
=
.
(2.65)
0
1/2 c
Wahlen wir spezieller als ersten Eigenvektor denjenigen, der zum groeren Eigenwert von
gehort, so ist c nichtnegativ. Zudem ist das Hauptdiagonalelement 1/2c nichtnegativ
21
(1.42). Die Dichtematrix ist also durch die Basis und den Eigenwert 1 = 1/2 + c,
0 6 c 6 1/2, charakterisiert.
An den Meapparaten, mit denen wir dieses Gemisch vermessen wollen, sind f
ur uns
die zwei Mewerte a1 und a2 unwichtig: Der Apparat andert sich nicht wesentlich, wenn
wir eine andere Meskala unterlegen. Wichtig ist die Wahrscheinlichkeit, mit der der erste Mewert angezeigt wird. Um sie zu berechnen, brauchen wir gema (1.38) den ersten,
normierten Eigenzustand des Meapparates A. Wir schreiben seine Komponenten als
Betrag mal Phase. Die Betragsquadrate m
ussen sich wegen h|i = 1 zu Eins summieren, die Betrage sind daher Sinus und Kosinus eines Winkels /2. Eine gemeinsame
Phase der Komponenten ist irrelevant1 , die relative Phase der zwei Komponenten teilen
wir halftig auf.
cos(/2)ei/2
(2.66)
=
sin(/2)e+i/2
Die Winkel und haben geometrische Bedeutung. Der Zustand (2.66) ist Eigenzustand zum Mewert h/2 des Spin-1/2-Operators
h
h
cos sin ei
S, =
=
x e x + y e y + z e z ,
(2.67)
i
cos
2 sin e
2
der den Spin in Richtung von ~e (, ) mit.
ex
sin cos
~e (, ) = ey = sin sin
ez
cos
z 6
e,
~
3
x/
(2.68)
Der Vektor ~e (, ) schliet mit der z-Achse den Winkel und seine Projektion in die
x-y-Ebene schliet mit der x-Achse den Winkel ein.
Das Hauptdiagonalelement h|i gibt nach (1.38) die Wahrscheinlichkeit w(, )
an, mit der bei Messung des Spins in Richtung ~e (, ) der Spin nach oben steht. Mit
(2.65) und (2.66) berechnet man
w(, ) = 1/2 + c cos .
(2.69)
Die Wahrscheinlichkeitsverteilung hangt nicht vom Winkel ab. Sie ist invariant unter
Drehungen um die z-Achse.
Die Wahrscheinlichkeitsverteilung ist in Abbildung (2.1) f
ur c = 0, c = 1/2 und einen
mittleren Wert von c als Funktion von dargestellt. ist der Winkel, den die Richtung,
in die der Stern-Gerlach-Apparat den Strahl aufspaltet, mit der z-Achse bildet.
Die Wahl der Eigenvektoren von als Basis f
ur die Spinzustande erweist sich als Wahl
der z-Richtung. Die z-Achse ist diejenige Richtung, in der bei Spin-Messung im Gemisch
am meisten Teilchen Spin nach oben haben.
1
Es gibt keine Wahl der Phasen, so da die Komponenten stetig, 2-periodisch in und f
ur = 0
und = von unabh
angig sind. Sie k
onnen also nicht als auf der Kugeloberfl
ache stetige Funktion
gew
ahlt werden. Das Problem betrifft die Phasen der Vektoren. Die zugeh
origen Hilbertraumstrahlen
variieren stetig auf der Kugeloberfl
ache.
22
2 Operatoren
c = 1/2
c=0
1 1 2 1 1
=
7
= 2 ,0
2 1
2 1
(2.70)
Das bedeutet nicht, da nach der Drehung der Spin in x-Richtung nach unten zeigt
2 ,0 6= 2 , . Das negative Vorzeichen ist nur eine unmebare Phase. Es ist der
Strahl im Hilbertraum, das heit der Vektor bis auf einen nichtverschwindenden Faktor, der dem physikalischen Zustand entspricht. Dieser Strahl im Hilbertraum geht durch
Drehung um 2 in sich u
ber. Das negative Vorzeichen kann man nur als relative Phase messen, wenn man einen Spin-1/2-Zustand teilt, etwa in einem Doppelspalt, einen
2.8 Storungstheorie
23
2.8 St
orungstheorie
Wir untersuchen diskrete Eigenwerte und normierbare Eigenzustande einer differenzierbaren Schar H() von hermiteschen Operatoren. Kennt man das Spektrum f
ur zum
Beispiel = 0, so kann man mit Reihenentwicklung versuchen, das Spektrum und die
Eigenzustande f
ur benachbarte Werte von zu nahern.
(H() En ()) n () = 0
(2.74)
Wir unterstellen, da der Operator H(), seine Eigenwerte En () und seine Eigenzustande n () differenzierbar von abhangen.
Alle Ergebnisse der stationaren Storungstheorie folgen aus (2.74) durch Differenzieren
nach mit der folgenden Einschrankung, da die Eigenwertgleichung den zugehorigen
Eigenvektor n () 6= 0 nicht festlegt, sondern da auch alle komplexe Vielfache von
24
2 Operatoren
n () die Gleichung losen. Um die Normierung und die Phase von n () festzulegen,
verlangen wir
hm ()|n ()i = m n
d
hm ()| n ()i|m=n = 0 .
d
(2.75)
(2.76)
(2.77)
e n erf
kann man die Gleichung (2.76) mit
ullen. Wir unterstellen, da die Gleichungen
(2.75) und (2.76) ohne Redefinition der Phasen schon gelten.
Differenzieren von (2.74) nach ergibt
(
d
d
d
H
En )n + (H En ) n = 0 .
d
d
d
d
H
Das Skalarprodukt mit n f
uhrt auf hn |( d
d
E )n i
d n
(2.78)
= 0, also
d
d
En = hn |( H)n i .
d
d
(2.79)
d
d
H)n i + (Em En )hm | n i = 0 .
d
d
(2.80)
H) keine Uberg
ange zwischen diesen Zustanden macht, wenn
wenn der Storoperator ( d
also gilt
d
hmi |( H)mj i = 0 f
ur Emi = Emj und mi 6= mj .
(2.81)
d
Im Unterraum, in dem ein Eigenwert entartet ist, mu also die Orthonormalbasis so
d
gewahlt werden, da der auf den Unterraum eingeschrankte Storoperator d
H diagonal
ist.
d
n mit allen
Durch (2.80), (2.81) und durch (2.76) sind die Skalarprodukte von d
Basisvektoren m festgelegt. Daher gilt
d
n =
d
m : Em 6=En
d
hm |( d
H)n i
m
.
Em E n
(2.82)
2.8 Storungstheorie
Die Koeffizienten von
zierbar von abhangt.
d n
25
m : Em 6=En
h |( d H) i 2
n
m d
<
Em E n
(2.83)
(2.84)
(2.85)
Der zugehorige Eigenzustand mit Spin nach oben, dessen Phase und Normierung durch
(2.76) und (2.75) festgelegt ist, geht nur bis auf eine Phase, allgemeiner bei Operatoren
mit entarteten Zustanden bis auf eine unitare Transformation, in sich u
ber
2 ,0 = ei 2 ,2 .
(2.86)
3 kontinuierliches Spektrum
3.1 Wellenfunktion
Viele Meapparate, insbesondere die Orts- oder Impulsmessung, haben ein Kontinuum
moglicher Mewerte, die eventuell gemeinsam mit diskreten Mewerten, wir nennen sie
im folgenden Spin, gemessen werden konnen. In der Eigenbasis der zur Messung gehorigen, miteinander kommutierenden Operatoren wird durch die Wahrscheinlichkeitsamplitude i (x) angegeben f
ur kontinuierliche, reelle Mewerte x und f
ur diskrete Mewerte
ai , i I, die durch eine Indexmenge I abgezahlt werden. Der Zustand ist durch eine
Abbildung der Menge der gemeinsam mebaren, reellen Mewerte (I n ) in die
komplexen Zahlen gegeben.
: (i, x) 7 i (x)
(3.1)
F
ur Meintervalle , die den Wert x enthalten und so klein sind, da die Wahrscheinlichkeitsdichte |i (x)|2 in ihnen fast konstant ist, konnen wir das Integral nahern. Bezeichnen
wir die Groe des Meintervalls mit dn x, so erhalten wir
w(i, , ) |i (x)|2 dn x .
(3.3)
Die Wahrscheinlichkeit, da der Mewert bei x in einem kleinen Bereich liegt und da
der Spin den i-ten Mewert ai hat, ist das Betragsquadrat der Wellenfunktion |i (x)|2
multipliziert mit der Groe dn x des Bereichs.
Da Wahrscheinlichkeiten dimensionslos sind, haben Wellenfunktionen die Dimension
1/2
.
(3.4)
dim(i (x)) = dim(dn x)
Umfat das Meintervall die Menge aller moglichen kontinuierlichen Mewerte und
summiert man u
ur Wahrber alle moglichen Spinwerte, so impliziert die Summenregel f
scheinlichkeiten, da normiert ist.
XZ
dn x|i (x)|2 = 1
(3.5)
i
28
3 kontinuierliches Spektrum
XZ
dn x i (x)i (x)
(3.6)
Funktionen f(X) der Operatoren Xl , zum Beispiel eikX , wirken durch Multiplikation mit
f(x)
f(X) : 7 f(X) f(X) : (i, x) 7 f(x)i (x) .
(3.8)
Die Operatoren Xl sind nur auf Zustanden definiert, deren zugehorige Wellenfunktionen i (x) nach Multiplikation mit xl quadratintegrabel bleibt. Die Operatoren eikX
sind f
ur alle k n im ganzen Hilbertraum definiert.
x0 k
xl
(3.10)
U(T ) = | det dT | 2 T 1
(3.11)
Die Operatoren U(T ) sind linear und unitar. Linearitat in ist offensichtlich. Unitaritat
besagt, da Skalarprodukte invariant bleiben. Sie ergibt sich aus der Definition von U(T )
29
XZ
i
XZ
x
0
0
d x | det 0 | i (x(x )) i (x(x )) =
dn x i (x) i (x) = h|i .
x
i
n 0
(3.12)
(3.13)
x00 k
x00 k x0 m
=
= (d(T2 T1 ))k l
x0 m xl
xl
(3.14)
(3.15)
(3.16)
Die Tangentialvektoren an diese Kurven definieren ein Vektorfeld, das wegen T+ (x)
T (x) = T (T (x) T0 (x)) = (T T0 ) T (x) von und x nur u
ber T (x) abhangt.
Bei x kann es demnach durch Differenzieren f
ur = 0 bestimmt werden oder durch
Differenzieren und anschlieende Transformation mit T .
m (x) =
d(T x)m
d(T x)m
=
d |=0
d |T T x
(3.17)
30
3 kontinuierliches Spektrum
Das Vektorfeld m (x) heit infinitesimale Transformation des Ortes. Die Losung x()
des zugehoriges Differentialgleichungssystem
dxm
= m (x())
d
(3.18)
T (x(0)) = x()
(3.20)
Dabei bezeichnet N = ihU1 U den hermiteschen Operator, der die unitare Transformation U(T ) erzeugt
i
(3.21)
U(T ) = e h N .
Er ist hermitesch, wie sich aus der Unitaritatsbedingung U = U1 ergibt. Die Ableitung
1
von | det dT | 2 steuert in (3.20) den Term 21 (xm m ) bei, denn die Determinante
det dT hat die Entwicklung (D.5)
x0 m
det
= 1 + xm m + O(2 ) .
n
x
(3.22)
Auf Mannigfaltigkeiten b
uen die Komponenten Xk des Ortsoperators ihre Bedeutung
ein, denn Koordinaten x dienen nur der Bezeichnung der Orte, ihr Wert ist irrelevant.
Auf dem Kreis zum Beispiel existiert kein hermitescher Ortsoperator: spinlose Zustande
auf einem Kreis mit Umfang l sind Strahlen im Hilbertraum der l-periodische Ortswellenfunktionen (x) = (x + l), die im Intervall 0 6 x 6 l quadratintegrabel sind. Es ist
aber x(x) nicht periodisch. X ist kein Operator im Hilbertraum der Wellenfunktionen
auf dem Kreis.
Da X auf dem Kreis nicht existiert, ist die Auflosung des Ratsels, warum f
ur einen
2x
1
i
n
normierten Impulseigenzustand auf dem Kreis n (x) = l e l mit Impuls p = 2l h n
?
der Erwartungswert von [X, P] = ih je nach Rechnung einmal ih und ein andermal 0 ist.
?
U : x 7 ei
2
l x
(x) ,
(3.23)
31
l
aus dessen Eigenwerten ei sich der Ort x = 2
bis auf Vielfache von l ablesen lat.
Zu einem periodischen Potential V(x + l) = V(x) gehort der Operator V(x) =
P
2
V(x)(x). Das Potential lat sich als Fourierreihe V(x) = n cn ein l x und der Operator
daher als Reihe in U darstellen
X
V=
cn Un .
(3.24)
n
(3.25)
Die infinitesimale Form (3.20) dieser Transformation erhalten wir, wenn wir die einparametrigen Transformationen Ta bei = 0 differenzieren. Das erzeugende Vektorfeld
k = ak ist x-unabhangig und daher divergenzfrei xk k = 0. Die rechte Seite von (3.20)
ist also einfach ak k i (x). Demnach ist der Operator N, der die unitare Transformation U(T ) erzeugt, linear in ak : N = Pk ak . Dabei sind die erzeugenden Operatoren
Pk , die zu Translationen in Koordinatenrichtung xk gehoren, definitionsgema die zu
den Koordinaten gehorigen Impulse Pk . Koeffizientenvergleich bei den Parametern ak
in (3.20) ergibt, da der Impulsoperator die Ortswellenfunktion differenziert.
(3.26)
Die Operatoren Pk erzeugen die unitare Transformation U(Ta ) (3.25), die zu endlichen
Translationen gehort.
i
U(Ta ) = e h Pa
(3.27)
Der Impulsoperator ist auf Vektoren im Hilbertraum definiert, die zu differenzierbaren
Wellenfunktionen mit quadratintegrabler Ableitung gehoren. Die Operatoren U(Ta ) =
i
e h Pa sind f
ur alle a n im ganzen Hilbertraum definiert, wenn
Translationen
zulat.
Auf Vektoren, die mehrfaches Anwenden von Ortsoperator und Impulsoperator gestatten, vertauschen wegen xk xl = xl xk und xk xl = xl xk die Komponenten des
Ortsoperators und ebenso die Komponenten des Impulsoperators. Orts- und Impulsoperator erf
ullen wegen
((Xk Pl Pl Xk ))i (x) = ihxk xl i (x) + ihxl (xk i (x)) = (ihkl )i (x)
die Heisenbergschen Vertauschungsrelationen
[Xk , Xl ] = 0 , [Pk , Pl ] = 0 , [Xk , Pl ] = ihkl .
(3.28)
32
3 kontinuierliches Spektrum
Daher konnen die Ortsunscharfe Xk und die Impulsunscharfe Pk in derselben Richtung nicht durch Praparation des Zustandes gleichzeitig klein gemacht werden, denn aus
der allgemeinen Unscharferelation (2.19) und der Heisenbergschen Vertauschungsrelation
folgt die Heisenbergsche Unscharferelation
h k
.
(3.29)
2 l
Es kann durchaus in zwei Richtungen durch eine Lochblende der Ort und senkrecht
dazu in der dritten Richtung der Impuls scharf gemacht werden. So prapariert man
Teilchenstrahlen. Engt man die Lochblende ein, so macht sich der unscharfe Impuls in
diesen zwei Richtungen als Beugung an der Lochblende bemerkbar.
Xk Pl >
(3.31)
Sie bilden die Gruppe O(n) der orthogonalen Transformationen des n . Hierbei und
im folgenden gestatten wir uns den unter Physikern verbreiteten, bequemen Sprachgebrauch und unterscheiden nicht ausdr
ucklich zwischen den Transformationen und den
zugehorigen Matrizen.
Aus (3.31) folgt det D = (det D)1 , also det D = 1. Orthogonale Transformationen, deren Determinante den speziellen Wert 1 hat, bilden die Untergruppe SO(n) der
speziellen orthogonalen Transformationen.
Jede einparametrige Untergruppe von Drehungen ist eine Schar von Matrizen D =
T
(3.31) antisyme
mit erzeugender Matrix , die wegen D1
= DT
= e
= e
metrisch ist.
()k l = ()l k
(3.32)
In n=3 Raumdimensionen ist die Matrix daher eine Linearkombination von drei antisymmetrischen Basismatrizen m , deren Matrixelemente wir mit dem -Tensor schreiben
k l = m kml ,
(m )k l = kml .
(3.33)
Ist
~ = ~e ein Einheitsvektor, so ist der Drehwinkel, denn D = e hat folgende
Eigenschaften: wirkt auf jeden Vektor ~v wie ein Kreuzprodukt ~v = ~e ~v. Daher
verschwindet ~e und ~e markiert die Drehachse D~e = ~e. Ein zu ~e senkrechter Einheitsvektor n
~ 1 wird durch auf den auf beiden senkrecht stehenden Einheitsvektor n
~2
abgebildet.
~
n1 = n
~ 2 , ~
n2 = ~
n1 .
(3.34)
33
e n
~ 2 = ~
n1 sin + n
~ 2 cos .
(3.35)
Insbesondere f
uhrt eine Drehung um 2 zur Ausgangslage zur
uck.
Das zur Transformation x0 = D x gehorige Vektorfeld (x) = D x|=0 ist k =
k l xl = (~
~x)k . Das Vektorfeld ist divergenzfrei xk k = lk k l = 0 und die infinitesimale Transformation (3.20) der Wellenfunktion ist
i
(N)i (x) = k l xl xk (x) = m kml xl xk (x) .
h
(3.36)
Die rechte Seite ist linear in m , daher ist der Operator N linear in m und von der Form
N = Lm m . Definitionsgema sind die hier auftretenden Operatoren Lm die Komponenten des Bahndrehimpulses: sie erzeugen Drehungen um die Koordinatenachsen, ~L ~e
erzeugt Drehungen um ~e. Der Koeffizientenvergleich von m ergibt
(Lm )i (x) = ihmkl xk xl i (x) ,
Lm = mkl Xk Pl .
(3.37)
Mit der Heisenbergalgebra (3.28) folgt, da die Komponenten des Bahndrehimpulses die
Drehimpulsalgebra (2.45) erf
ullen.
[Li , Lj ] = ikl jmn [Xk Pl , Xm Pn ] = ikl jmn ([Xk , Xm Pn ]Pl + Xk [Pl , Xm Pn ])
m
= ihikl jmn (Xm kn Pl Xk m
l Pn ) = ih(ikl jmk imk jkl )X Pl
= ih(im lj ij lm + ij ml il mj )Xm Pl = ihijk kmn Xm Pn
= ihijk Lk .
(3.38)
Die endliche, unitare Transformation, die zu einer Drehung um den Winkel um die
Drehachse ~e gehort, ist
(U(~e, ))i (x) = (exp(
i ~
L ~e))i (x) = i (D~e, 1 (x)) .
h
(3.39)
34
3 kontinuierliches Spektrum
Das Skalarprodukt (3.60) mit einem ebenso zerlegten Vektor legt die Skalarprodukte
der Basiselemente fest.
XZ
XZ
0
n
n 0
dn x i (x) i (x) ,
d xd x i (x) hi,x|j,x0 i j (x ) =
i,j
(3.41)
Man liest hieraus ab, da i,x keine endliche Lange hat und kein Vektor im Hilbertraum
ist, sondern da i,x eine Distribution ist. Erst das Integral (3.40) mit den quadratintegrablen Wellenfunktionen i (x) ergibt einen Vektor im Hilbertraum. Verallgemeinerte
Basiselemente, deren Skalarprodukte wie in (3.41) durch -Funktionen gegeben sind,
nennt man kontinuumsnormiert.1
Die Ortswellenfunktionen i (x) sind wegen (3.41) die Skalarprodukte von mit der
kontinuumsnormierten Ortsbasis
i (x) = hi,x |i .
(3.42)
(3.43)
(3.44)
Es lat sich also analog zu (1.22) mit den Basiselementen i,x die Eins kontinuierlich
zerlegen.
XZ
=
dn x |i,x ihi,x |
(3.45)
(3.46)
35
dn x ix(yy0 )
e
= n (y y0 )
(2)n
sieht, sind die Basiselemente j,p kontinuumsnormiert
hi,p |j,p0 i = n (p p0 )ij
und bilden eine kontinuierliche Basis, mit der man die Eins zerlegen kann.
XZ
=
dn p |i,p ihi,p |
(3.48)
(3.49)
(3.50)
(3.51)
i (p) . (3.53)
i (p) = d x p
e
e h px
i (x) , i (x) = dn p p
(2h)n
(2h)n
Wir konnen also einen Zustand statt durch die Ortswellenfunktionen i (x) durch die
i (p) darstellen und daraus, wenn wir wollen, die OrtswellenImpulswellenfunktionen
funktion rekonstruieren.
e j (p). Zu
Zu Pk gehort wegen hj,p |Pk i = pk hj,p |i die Impulswellenfunktion pk
e j (p)
Xk gehoren die Impulswellenfunktionen ihpk
XZ
k
hj,p |X i =
dn x hj,p |ix ihi,x|Xk i
Zi
dn x
i
e j (p) ,
= p
e h px xk j (x) = ihpk
n
(2h)
e i (p) , (Xk ) (p) = ihp
e i (p) .
(Pk ) i (p) = pk
k
i
(3.54)
36
3 kontinuierliches Spektrum
i (p)
~ ~P dreht die Argumente der Impulswellenfunktion
Der Bahndrehimpuls ~L = X
genauso wie die Ortsargumente der Ortswellenfunktion (3.39).
(Lm ) i (p) = ihmkl pk
(U(~e, )) i (p) = (exp(
i (p)
pl
i ~
i (D~e, 1 (p)) .
L ~e)) i (p) =
h
(3.56)
(3.57)
3.6 Mehrteilchenzust
ande
Die Ber
ucksichtigung mehrerer kontinuierlicher Mewerte, wie etwa die sechs Ortskoordinaten eines Zweiteilchensystems, und die Ber
ucksichtigung zusatzlicher diskreter Mewerte, wie zum Beispiel der Spins der beiden Teilchen, ist offensichtlich. Solch ein Zweiteilchenzustand ordnet sechs kontinuierlichen Mewerten und zwei diskreten Quantenzahlen eine Wahrscheinlichkeitsamplitude zu
: (i, ~x, j, ~y) 7 ij (~x, ~y)
(3.58)
(3.59)
(3.61)
(3.62)
37
3.6 Mehrteilchenzustande
ij = ji , = 1,
i, j {, } .
(3.63)
4 Zeitentwicklung,
Grundzustandsenergie
4.1 Schr
odingergleichung
Wir konnen in Abbildung (1.1) den Abstand zwischen Quelle und Apparat und damit die
Flugzeit variieren und fragen, wie die Verteilung der Meergebnisse von der Zeit abhangt.
Diskutieren wir dies zunachst f
ur reine Zustande. Am Eingang des Meapparates liegt ein
Zustand (t) vor, der von der Flugdauer t abhangt. Die Zeitentwicklung bildet Strahlen
im Hilbertraum (0) auf Strahlen (t) ab. Verwenden wir normierte Vektoren, um die
Strahlen zu reprasentieren, so mu f
ur alle Zeiten
h(t)|(t)i = 1
(4.1)
gelten und eine Phasenanderung von (0) darf hochstens zu einer Phasenanderung von
(t) f
uhren. Mit dieser Einschrankung bildet die Zeitentwicklung die Einheitskugel im
Hilbertraum auf sich ab. Differenzieren wir nach der Zeit, so erhalten wir
ht (t)|(t)i + h(t)|t (t)i = 0 .
(4.2)
( 6= 0 , 6= 0) ,
(4.4)
40
4 Zeitentwicklung, Grundzustandsenergie
Differenziert man nach der Zeit, und beachtet man, da Bra-Vektoren antilinear sind
(1.13) und demnach
iht h(t)| = hiht (t)| = hH(t)|
(4.6)
erf
ullen, so erhalt man aus der Schrodingergleichung (4.3) f
ur die Zeitentwicklung der
Dichtematrix die von-Neumann-Gleichung
iht = H H = [H, ] .
(4.7)
1
h d
AH > |h[A, H]i| = | hAi|
2
2 dt
(4.9)
4.1 Schrodingergleichung
41
und mit unserer Definition von t, unabhangig davon, mit welchem Apparat A man die
Zeit mit,
h
(4.10)
tE > .
2
Die Variable t in zeitabhangigen Ortswellenfunktionen ist auch in relativistischer
Quantenmechanik grundverschieden von den Ortsvariablen x. Mehrteilchenzustande ha
ben Wellenfunktionen mit mehreren Ortsvariablen aber mit nur einer Zeit. Uber
t wird
im Skalarprodukt nicht integriert, die Wahrscheinlichkeit w(, (t)) ist nicht eine Wahrscheinlichkeit, einen Mewert t im Zeitintervall dt zu finden. Vielmehr parametrisiert t
die Zustande (t) zwischen Austritt aus der Quelle bis zum Erreichen des Meapparates.
Wo genau die Quelle aufhort und der Meapparat anfangt, ist dabei unerheblich. Der
Aufbau in Bild (1.1) verandert sich nicht wesentlich, wenn wir einen Teil der Laufstrecke
zur Quelle und einen anderen Teil zum Apparat zahlen. Die Zeit zwischen Praparation
des Zustands und Messung ist positiv.
Ist der Hamiltonoperator zeitunabhangig und ist zu Beginn der Zustand (t = 0)
Eigenzustand zu H, so sind die Wahrscheinlichkeiten f
ur alle Mewerte zeitunabhangig,
denn aus
iht = H = E
(4.11)
i
folgt (t) = e h Et (0) und der zu (t) gehorige Strahl im Hilbertraum andert sich
nicht. Energieeigenzustande heien daher auch stationare Zustande.
Vertauscht der zeitunabhangige Hamiltonoperator mit einem hermiteschen Operator A,
[H, A] = 0 ,
(4.12)
so andert sich die Wahrscheinlichkeit w(i, A, (t)) (1.1) f
ur den i-ten Mewert ai nicht
mit der Zeit. Denn der zum Mewert gehorige, normierte Eigenzustand i kann zeitunabhangig und als Eigenzustand zu H gewahlt werden (2.24), Hi = Ei i . Die Wahrscheinlichkeitsamplitude hi |(t)i andert sich daher nur um eine Phase
iht hi |(t)i = hi |H(t)i = hHi |(t)i = Ei hi |(t)i ,
i
hi |(t)i = e h Ei t hi |(0)i .
(4.13)
42
4 Zeitentwicklung, Grundzustandsenergie
(4.15)
heit zeitunabhangige Schrodingergleichung. Trotz weitverbreiteter, anderer Meinung erlaubt sie nicht, auszurechnen, in welchem Zustand sich das quantenmechanisches System
befindet, denn quantenmechanische Systeme m
ussen sich nicht in Energieeigenzustanden
befinden. Zum Beispiel sind instabile Teilchen oder Wellenpakete freier Teilchen keine
Energieeigenzustande. Allerdings trennen sich, wenn man gen
ugend wartet, verschiedene, durch eine endliche Energiedifferenz getrennte Energieanteile, wenn sie verschieden
schnell sind. Auf diese Art praparieren sich haufig Energieeigenzustande von selbst.
Handelt es sich bei dem Zustand um ein Teilchen ohne Spin, das sich in einer Dimension bewegt, so kann der allgemeinste Zustand als Linearkombination von Ortseigenzustanden x mit der Wellenfunktion (x) als Entwicklungskoeffizient (3.40) geschrieben
werden
Z
= dxx (x) .
(4.16)
Der Hamiltonoperator f
ur die Bewegung im Potential besteht aus kinetischer Energie
P2
und potentieller Energie V(X). Auf die Ortswellenfunktion wirkt der Impulsoperator
2m
als Ableitung (P)(x) = ih d(x)
(3.26) und das Potential multipliziert die Ortswellendx
funktion (V)(x) = V(x)(x) (3.8). Also lautet die Eigenwertgleichung (H E) = 0
auf Ortswellenfunktionen
(
h 2 d2
+ V(x) E)(x) = 0 .
2m dx2
(4.17)
Die Losungen m
ussen normierbar sein, wenn ihnen Vektoren im Hilbertraum der quadratintegrablen Wellenfunktionen entsprechen sollen. Zusatzlich sind aber auch alle Losungen interessant, die f
ur x nicht anwachsen. Denn aus solchen verallgemeinerten
Losungen lassen sich normierte Wellenpakete zusammensetzen, die der Eigenwertgleichung mit jeder vorgegebenen Genauigkeit > 0 nahe kommen, k(H E)k2 < kk2 .
Zum Beispiel sind f
ur verschwindendes Potential die verallgemeinerten Impulseigenzui
p2
1
h px verallgemeinerte Energieeigenzust
a
nde
mit
E
=
stande p (x) = 2
e
. Sie
2m
h
gehoren zum kontinuierlichen Spektrum der kinetischen Energie, das aus den reellen,
nichtnegativen Zahlen E > 0 besteht.
Um die mathematischen Schwierigkeiten klein zu halten, untersucht man vorzugsweise
die Eigenwertgleichung (4.17) f
ur vereinfachte Potentiale, wie den Topf oder die Schwelle.
4.2 Schr
odingerbild, Heisenbergbild
Es lat sich in der Quantenmechanik nicht entscheiden, ob die Wahrscheinlichkeitsverteilung von Mewerten sich andert, weil sich der Zustand bei unverandertem Meapparat
43
im Laufe der Zeit andert, oder weil sich die Meapparate andern und die Zustande unverandert bleiben.
Im Schrodingerbild, das wir bisher verwendet haben, ordnet man die Zeitentwicklung
den Zustanden zu und verwendet zeitlich unveranderte Meoperatoren.
Sei als Funktion der Zeit t eine Schar U(t) von unitaren Operatoren
U (t) = U1 (t)
(4.18)
gegeben. Verwendet man statt der zu vermessenden Zustande (t) und der Eigenzustande i der Meapparate A die Zustande und Operatoren
0 (t) = U(t)(t) ,
0i (t) = U(t)i ,
(4.19)
(4.20)
(4.21)
(4.22)
(4.23)
(4.24)
Wahlt man insbesondere H0 = H, bestimmt also U(t) als Losung von iht U = HU
= H. Die gestrichenen Groen heien
mit U(0) = 1, so ist 0 zeitunabhangig und H
Zustande und Meoperatoren im Heisenbergbild und erf
ullen die Gleichungen
iht H = 0 ,
iht H = 0 ,
(4.25)
44
4 Zeitentwicklung, Grundzustandsenergie
F
ur t = 0 stimmen Zustande und Meoperatoren im Heisenbergbild und im Schrodingerbild u
berein.
F
ur Zustande, die in eine Wechselwirkungszone ein- und auslaufen, sollte f
ur fr
uhe
und spate Zeiten die Wechselwirkung Hint verschwinden. Im Wechselwirkungsbild wahlt
man H0 so, da Hint = U(H H0 )U1 . Man arbeitet also mit Zustanden, die f
ur fr
uhe
und spate Zeiten zeitunabhangig werden, so da der Grenzwert limt W (t) existiert.
Dies ist f
ur die Diskussion von Streuexperimenten g
unstig.
Wenngleich alle Bilder mathematisch aquivalent sind, so sind sie doch unterschiedlich
intuitiv. Zum Beispiel zerlauft ein freies Wellenpaket. Im Schrodinger-Bild ist das verstandlich, weil das Wellenpaket Anteile mit unterschiedlichem Impuls und, bei massiven
Teilchen, mit unterschiedlicher Geschwindigkeit hat. Das Zerflieen eines Wellenpakets
ist so intuitiv erfabar, wie ein Hundertmeter-Rennen, bei dem am Ziel die Teilnehmer
nacheinander einlaufen. Im aquivalenten Heisenberg-Bild andert sich nicht der Zustand
sondern der Meapparat, als w
urden nicht die Laufer sondern die Zielrichter auseinander
streben.
4.3 Grundzustandsenergie
Energien, die Eigenwerte des Hamiltonoperators, der die Zeitentwicklung erzeugt, sind
streng genommen nicht mebar, sondern nur Differenzen der Energien. Insbesondere ist
die Grundzustandsenergie von physikalischen Systemen nicht aus der Zeitentwicklung
rekonstruierbar.
Gilt namlich die Schrodingergleichung (4.3) f
ur alle Zustande (t), so lassen sich
diese Zustande nicht von 0 (t) = eit/h (t) f
ur reelles unterscheiden, denn 0 und
ergeben zu allen Zeiten f
ur alle Meapparate dieselbe Verteilung von Mewerten. Es
0
erf
ullt aber (t) die Schrodingergleichung mit H0 = H . Also kann nicht zwischen H
und H unterschieden werden. Diskussionen u
ber die Groe der Grundzustandsenergie
ahneln daher mittelalterlichen Erorterungen der Frage, wieviel Engel auf eine Nadelspitze
passen: immerhin wissen wir, da wir dies durch keine Messung klaren konnen.
Im Heisenbergbild ist es noch einfacher einzusehen, da sich die Zeitentwicklung der
Meapparate nicht andert, wenn zum Hamiltonoperator eine Zahl hinzugef
ugt wird,
denn vertauscht mit jedem Operator.
Zwar nicht aus der Zeitentwicklung, wohl aber aus anderen Gr
unden, kann durchaus
die Energie absolut festgelegt werden. Energiedichte, genauer der Energie-Impulstensor,
f
uhrt in der Allgemeinen Relativitatstheorie zu Kr
ummung der Raumzeit. Aus den kosmologischen Befunden erschliet man, da die Energiedichte, die im Vakuum ohne Teilchen vorliegt, groer ist als die Energiedichte, die zur Materie des Universums gehort.
Allerdings existiert keine erfolgreiche Theorie, die Quantenmechanik und Allgemeine
Relativitatstheorie vereint.
Einem freien, nichtrelativistischen Teilchen mit Impuls ~p schreibt man die Energie
E = ~p 2 /(2m) > 0 zu und hat dabei u
ugt, da die
ber die Grundzustandsenergie so verf
Ruhenergie verschwindet.
Das Wasserstoffatom hat ein kontinuierliches, positives Spektrum der Schwerpunkts-
4.3 Grundzustandsenergie
45
bewegung. In Bindungszustanden hat die Relativbewegung von Proton und Elektron ein
Ry
diskretes Spektrum von Energiewerten mit Energien En,l,m = n
anden
2 und Eigenzust
e4
n,l,m . Hierbei ist Ry = 2h2 die Rydbergkonstante, die Hauptquantenzahl n = 1, 2, . . .
durchlauft die nat
urlichen Zahlen, f
ur gegebenes n gibt es je ein Drehimpulsmultiplett
mit l = 0, 1, . . . , n 1 und jedes Drehimpulsmultiplett wird von 2l + 1 Zustanden mit
m = l, l + 1, . . . , l aufgespannt. Ber
ucksichtigt man genauer, da das Elektron Spin
1/2 hat, so verdoppelt sich die Zahl der Zustande, bezieht man auch den Spin 1/2 des
Protons ein, so verdoppeln sich diese Zustande nochmal.
Der Spin des Elektrons ist entscheidend f
ur das Periodensystem der Elemente. Der
gleich groe Spin des Protons bewirkt die Hyperfeinstruktur der Energien und wird in
manchen Lehrb
uchern nicht einmal erwahnt.
Uber den diskreten Energien der Bindungszustande schliet sich das Kontinuum der
positiven Energien der Relativbewegung des ionisierten Elektron-Proton-Paares an. Es
ist nat
urlich, der Ionisationskante die Energie der Schwerpunktsbewegung von Elektron
und Proton zuzuschreiben.
In relativistischen Theorien im nichtgekr
ummten Raum liegt die Grundzustandsener0
gie fest. Der Hamiltonoperator H = cP ist hier eine Komponente des Viererimpulses
P m , m = 0, 1, 2, 3, der mit den Operatoren Mmn = Mnm , die Lorentztransformationen erzeugen, folgende Kommutatorrelationen erf
ullt
[Mmn , P l ] = i(ml P n nl P m ) m, n, l {0, 1, 2, 3} .
(4.26)
46
4 Zeitentwicklung, Grundzustandsenergie
i
1 x
a = ( x0 p)
2 x0 h
(4.29)
x
+ x0 x )0 (x) = 0
x0
(4.31)
2
1 1
0 (x) = ( 4 x0 2 ) e 2x0 .
(4.32)
47
: a H : = : Ha : = a : H : .
(4.34)
Das Argument der Normalordnung besteht aus kommutierenden Phasenraumvariablen, das Ergebnis der Normalordnung von Monomen ist ein Produkt von Erzeugungsoperatoren a und Vernichtungsoperatoren a, wobei die Erzeuger links und die Vernichter rechts stehen. Die Definition der Normalordnung erweitert man leicht auf mehrere,
verschiedene Erzeuger ai und Vernichter aj , solange die Reihenfolge der Erzeuger und
die Reihenfolge der Vernichter irrelevant ist
[ai , aj ] = 0 ,
[ai , aj ] = 0 ,
[ai , aj ] = j i .
(4.35)
Das Argument der Normalordnung besteht aus kommutierenden Groen, denn wenn
das Argument ein Produkt von H1 , H2 und H3 ist, so gilt
: H1 H2 H3 : = : H2 H1 H3 := : H2 H3 H1 : .
(4.36)
Dann kann f
ur das Argument der Normalordnung keine Operatoridentitat wie XPPX =
ih (3.28) gelten, denn die Normalordnung von XP PX verschwindet.
Normalordnung ist linear, aber die Normalordnung eines Produkts von Faktoren ist
nicht das Produkt der normalgeordneten Faktoren.
: H1 H2 : 6= : H1 : : H2 :
(4.37)
48
4 Zeitentwicklung, Grundzustandsenergie
Kanonische Quantisierung leitet die Intuition, welche Quantentheorien man untersuchen solle. Ob aber ein wie auch immer konstruiertes quantenmechanisches Modell richtig
ist, entscheidet sich daran und nur daran, ob die Konsequenzen des quantenmechanischen
Modells mit den Beobachtungen u
bereinstimmen.
1 (t) = 1 (0)e h E1 t ,
2 (t) = 2 (0)e h E2 t .
(4.40)
Die Wahrscheinlichkeit, da der erste Mewert irgend eines Meapparates angezeigt wird,
wenn zur Zeit t gemessen wird, betragt
w(t) = |1 1 (t) + 2 2 (t)|2 .
(4.41)
Hierbei sind 1 , 2 die Komponenten des ersten Eigenvektors des Meapparates. Einfaches Rechnen zeigt, da w(t) die Form
w(t) = a + b cos(t + ),
a > b > 0, ,
(4.42)
4.6 Energiebander
49
Wird nicht ein reiner Zustand sondern ein Gemisch mit Eigenwerten i und Eigenzustanden i vermessen,1 behalt die Rabi-Frequenz ihren Wert. Die Parameter a, b und
sind a = 1 a1 + 2 a2 und bei = 1 b1 ei1 + 2 b2 ei2 , wobei ai , bi und i zu = i
gehoren. Ber
ucksichtigt man, da h1 |2 i = 0 ist, so sieht man, da die Amplitude b
der Rabi-Oszillation proportional zur Differenz der Eigenwerte (1 2 ) ist. Sie nimmt
also bei abnehmender Polarisation ab.
4.6 Energieb
ander
Wir untersuchen in eindimensionaler, spinloser Quantenmechanik das Spektrum (4.17)
eines Hamiltonoperators mit periodischem Potential [2, Kapitel XIII.16] mit Periodizitatslange l
V(x + l) = V(x) x .
(4.44)
Die Differentialgleichung (4.17) mit periodischer Funktion V(x) heit Hillsche Differentialgleichung. Sie kommt in der Mechanik bei Schwingungen mit periodisch zeitabhangiger
Frequenz zum Beispiel bei der Bahn des Mondes vor.
Weil das Potential periodisch ist, vertauscht der Hamiltonoperator mit der Verschiebung Ul (3.25) um die Periodizitatslange
h 2 d2
h 2 d2
+
V(x))(U
)(x)
=
(
+ V(x))(x l)
l
2m dx2
2m dx2
h 2 d2
= (
+ V(x l))(x l) = (Ul H)(x) .
(4.45)
2m dx2
(HUl )(x) = (
(4.46)
Diese Periodizitatsbedingung der Wellenfunktion heit unter Physikern Blochsches Theorem, Mathematiker nennen sie Floquetsches Theorem. Sie ist vertraglich mit der Energieeigenwertgleichung und kann zur Vereinfachung der mathematischen Analyse verlangt
werden. Aber sie besagt nicht, da jede Ortswellenfunktion im periodischen Potential
bis auf eine Phase periodisch ist. Als Gegenbeispiel denke man an das freie Teilchen mit
verschwindendem Potential. Das Potential V 0 ist trivialerweise periodisch. Dennoch
sind die Wellenpakete, die freien Teilchen entsprechen, nicht periodisch, sie sind aus
periodischen Funktionen zusammengesetzt.
Die Eigenwertgleichung (4.17) ist eine reelle, lineare, homogene Differentialgleichung
zweiter Ordnung f
ur die Wellenfunktion (x). Daher hangt die Wellenfunktion und ihre Ableitung bei x = l linear von den Anfangswerten bei x = 0 ab. Fassen wir die
1
50
4 Zeitentwicklung, Grundzustandsenergie
u(l) = A u(0) .
Die lineare Abbildung A der Anfangswerte u(0) auf u(l) heit Wiederkehrabbildung
oder stroboskopische Abbildung.
Die 2 2-Matrix A ist reell, denn zu reellen Anfangswerten u(0) gehort eine reelle
Losung u(x)
a b
A=A =
, a, b, c, d .
(4.49)
c d
Die Matrixelemente der Matrix A sind differenzierbare Funktionen der Energie E, denn
die Losung (x) und ihre Ableitung hangt bei x = l differenzierbar von dem Parameter
E der Differentialgleichung ab.
Aus der Eigenwertgleichung (4.17) folgt unmittelbar, da der quantenmechanische
Strom, die Wronski-Determinante, x-unabhangig ist
2im
0 1
j = x = x x = u (x)Iu(x) , mit I =
,
1 0
h
x u (x)Iu(x) = 0 .
(4.50)
(4.52)
(4.53)
Die Matrix A ist aus der Gruppe der speziellen linearen Transformationen von zweidimensionalen reellen Vektorraumen.
A SL(2, )
a+d
=
a + d 2
1
2
(4.54)
(4.55)
51
4.6 Energiebander
sind reell, falls | tr A| = |a + d| > 2 ist. Wegen det A = 1 sind sie zueinander invers und
der Betrag von einem der reellen Eigenwerte ist groer gleich 1.
| tr A| > 2 1 = 1 =
1
2
(4.56)
|1 | = 1 .
(4.57)
Die Periodizitatsbedingung (4.46) besagt, da die Eigenfunktion (x) zu Eigenvektoren der Matrix A mit Eigenwerten eikl gehort
(0)
ikl
=0.
(4.58)
Ae
0 (0)
Dies schrankt die Energie E auf Bander ein, f
ur die |tr A(E)| 6 2 gilt, f
ur die also die
Eigenwerte von A auf dem Einheitskreis in der komplexen Ebene liegen.
In der Umgebung der Bandkante, zum Beispiel bei trA = 2, hat A die Form
a
b
.
(4.59)
+ E
A=
c 2a
Dabei ist E die Abweichung der Energie von der Bandkante, die Matrixelemente b und
c sind durch det A = 1 eingeschrankt bc = (1 a)2 , und , , und sind die
Ableitungen der Matrixelemente a, b, c und d nach der Energie. Hat | tr A| 2 einen
d
Nulldurchgang und ist dE
trA = + 6= 0, dann variieren die Eigenwerte in einer
1
Umgebung der Bandkante in niedrigster Ordnung in (E) 2 mit
1,2 sign(trA)
p
E( + )sign(trA) .
(4.60)
An der unteren Bandkante ist ( + )sign(trA) < 0 und Energien oberhalb der unteren
Bandkante f
uhren zu komplexen Eigenwerten eikl 1 ikl. Lost man hier nach der
Energie als Funktion von k auf, so erhalt man am unteren Ende der Bandkante in
niedrigster Ordnung
h 2 k2
+...
E(k) = E(0) +
2M
h2 d
mit M = 2 | trA| .
2l dE
(4.61)
52
4 Zeitentwicklung, Grundzustandsenergie
Wachst mit der Energie im erlaubten Band der Wert von |k| an, so erreicht er bei
k = l die obere Bandkante. Hat dort | tr A| 2 einen Nulldurchgang und ist + 6= 0,
2
so verschwindet dort die Ableitung dE
und die Kr
ummung ddkE2 ist negativ
dk
d2 E
d
= 2l2 | trA|1 .
2
dk |k= l
dE
dE
= 0,
dk |k= l
(4.62)
Innerhalb jedes Bandes ist k(E) eine monotone Funktion. Dies sieht man, wenn man
die Eigenfunktion von (4.17) und (4.46) als Produkt von eikx und einer periodischer
Funktion uk (x + l) = uk (x) schreibt.
k (x) =
l ikx
e uk (x)
2
(4.63)
h 2 k2
uk ,
2m
H(k) =
h 2 d2
d
hk
ih
+ V(x) .
+
2
2m dx
m
dx
(4.64)
Der Hamiltonoperator H(k) wirkt als hermitescher Operator auf l-periodische Funktionen u und v, deren Skalarprodukt durch
hu|vi =
Zl
dx u (x)v(x)
(4.65)
definiert ist; dies sind Ortswellenfunktionen auf einem Kreis mit Umfang l.
Innerhalb eines Bandes ist k(E) eine differenzierbare Funktion, denn k ist eine differenzierbare Funktion (4.55) der Matrixelemente von A, die wiederum differenzierbar von
2 k2
E abhangen. Differenzieren wir den Eigenwert E h2m
von H(k) nach E, so erhalten wir
wegen (2.79) f
ur normierte uk und mit
d
uk (x)
dx
h2 k dk
dH(k)
dk
h dk
1
= huk |
uk i
= huk |Puk i
.
m dE
dk
dE
m dE
Puk (x) = ih
(4.66)
(4.67)
dk
Diese Gleichung schliet Nullstellen von dE
aus, denn das Matrixelement huk |Puk i ist
endlich. Es ist uk (x) differenzierbar, wenn das Potential V nichtsingular ist, und das
Skalarprodukt ist ein Integral u
ber ein endliches Intervall, also ist das Matrixelement
endlich. Daher ist k(E) innerhalb eines Bandes invertierbar und die Energie ist eine
strikt monotone Funktion von k zwischen k = 0 und k = l .
Die Gruppengeschwindigkeit von Wellenpaketen
vGruppe =
1 E
1
=
= (hk + huk |Puk i)
h k
k
m
(4.68)
53
4.6 Energiebander
setzt sich zusammen aus dem Impuls, der vom Faktor eikx getragen wird und dem Impulserwartungswert innerhalb des Periodizitatsintervalls. F
ur Werte in der Nahe der unteren
Bandkante ist er proportional zu k
huk |Puk i = hk(
m
1) + O(k2 ) ,
M
(4.69)
.
l
(4.70)
Die Funktionen uk sind periodisch und lassen sich deshalb als Fourierreihe darstellen.
X
2
(4.71)
uk (x) =
cn ein l x
n
q
l ikx
e uk (x) mit l 6 k 6 l sind daher
Die zugehorigen Eigenfunktionen k (x) = 2
bez
uglich k kontinuumsnormiert, wenn die Wellenfunktionen uk im Periodizitatsintervall
normiert sind.
Z
X
X
l
2
2
0
hk |k0 i =
c0m eim l x
dx eikx
cn ein l x (eik x
2
m
n
X
2
=l
cn c0m (k0 k + (m n) )
l
m,n
X
cn c0n )(k0 k) = huk |u0k i(k0 k) .
(4.72)
= (l
n
5 Zusammengesetzte Systeme
5.1 Produktraum
Haufig ist ein quantenmechanisches System aus identifizierbaren Teilen zusammengesetzt, zum Beispiel aus zwei verschiedenen Teilchen, deren Eigenschaften getrennt gemessen werden konnen. Dann ist der Hilbertraum H ein Produktraum
H = H1 H2 ,
(5.1)
dessen Elemente Summen von Vielfachen von Paaren u v von Elementen u H1 und
v H2 der einzelnen Hilbertraume sind. Diese Paare sind Produkte, das heit, f
ur alle
u und u0 aus H1 und f
ur alle v und v0 aus H2 und f
ur alle komplexen Zahlen c gelten
(cu + u0 ) v = c(u v) + (u0 v) ,
Das Skalarprodukt der Produktzustande ist das Produkt der einzelnen Skalarprodukte,
hu0 v0 |u vi = hu0 |uihv0 |vi .
(5.3)
Die Produkte i der Vektoren einer Orthonormalbasis i von H1 mit den Vektoren einer Orthonormalbasis von H2 bilden eine orthonormale Produktbasis von
H1 H2 . Bez
uglich solch einer Basis haben Zustande die Entwicklung
X
=
i i , i = hi |i .
(5.4)
i
die nicht von der Basis i von H1 und nicht von der Basis von H2 abhangen.
Die Abbildung N N : H2 H2 ist hermitesch. Ihre Eigenvektoren vn zu verschiedenen Eigenwerten 2n , N Nvn = 2n vn , stehen aufeinander senkrecht und konnen bei
entarteten Eigenwerten senkrecht zueinander gewahlt werden. Wahlen wir die vn normiert, so bilden sie eine Orthonormalbasis von H2 .
F
ur m = n besagt hNvm |Nvn i = hvm |N Nvn i = 2n mn (keine Summe u
ber n),
2
56
5 Zusammengesetzte Systeme
die um aufeinander senkrecht stehen. Falls sie nicht H1 , sondern nur einen Unterraum
aufspannen, denken wir uns die un zu einer Orthonormalbasis erganzt.
Demnach definiert jeder normierte Zustand eine Orthonormalbasis un von H1 und
eine Orthonormalbasis vn von H2 , in der die Komponenten nm = n nm hat (keine
Summe u
ber n). Denn zu gehort die lineare Abbildung N, die jeden Basisvektor vn
auf das n -fache des Basisvektors un abbildet,
X
X
n u n v n , 0 6 n ,
2n = 1 , hum |un i = hvm |vn i = mn . (5.6)
=
n
ist ein Ma der Verschrankung, das nur bei Produktzustanden verschwindet und sonst
positiv ist. Alle Mehrteilchenzustande identischer Bosonen oder Fermionen, die wie zum
Beispiel Slater-Determinanten (3.64) aus verschiedenen Einteilchenzustanden zusammengesetzt sind, sind verschrankt.
Sei der Operator A einen Meapparat, der das erste Teilsystem vermit, der also H1
auf H1 abbildet, und sei B einen Meapparat des zweiten Teilsystems, dann wirkt ihr
direktes Produkt A B auf Produktzustande durch
(A B) (u v) = (Au) (Bv)
(5.8)
(5.9)
57
(5.10)
, , , .
~S2 ij = h ik~kj .
2
(5.11)
Alle Spinoperatoren des ersten Teilchens vertauschen mit allen Spinoperatoren des zweiten Teilchens.
[S1 a , S2 b ] = 0 a, b {1, 2, 3}
(5.12)
Daher sind die Summen Sa = S1 a + S2 a Komponenten von Drehimpulsoperatoren, die
die Drehimpulsalgebra (2.45) erf
ullen.
[Sa , Sb ] = ihabc Sc
(5.13)
S3 = 0 h ,
S3 = 0 h ,
S3 = h .
(5.14)
58
5 Zusammengesetzte Systeme
5.3 Unabh
angig zusammengesetzte Gemische
Gemische von zusammengesetzten Systemen sind unabhangig zusammengesetzt, falls
die Wahrscheinlichkeiten f
ur alle Paare von Meergebnissen von A am ersten Teilsystem und von B am zweiten Teilsystem faktorisieren,
) w2 (, B,
) .
w((i, ), A B, ) = w1 (i, A,
(5.18)
ij
,
unabhangig =
i,
j,
= ij .
(5.20)
die Dichtematrix
wobei i die zu A gehorigen Eigenzustande seien und
X
X
=
pm |um ihum | mit pm = 2m
|h |vm i|2 .
m
(5.22)
5.4 Quantenkopierer
59
Diese Dichtematrix gehort nur dann zu einem reinen Zustand u des ersten Teilsystems,
wenn alle Wahrscheinlichkeiten pm bis auf eine, zum Beispiel p1 = 1, verschwinden.
Dann ist = u1 v1 ein Produktzustand.
5.4 Quantenkopierer
Wenn man Zustande vervielfaltigen konnte, dann konnte man Unscharfebeziehungen
umgehen und an der einen Kopie eine Messung und an der anderen eine zweite Messung
vornehmen, die man nicht gemeinsam an einem Zustand durchf
uhren kann. Dar
uber
hinaus konnte man Zustande, die zur Nachrichten
ubertragung genutzt werden, abhoren
und auslesen und dem bestimmungsgemaen Empfanger eine Kopie weiterleiten, an der
sich das Abhoren nicht feststellen liee.
Ein einfaches Argument zeigt aber, da man Zustande nicht vervielfaltigen kann, da
man also nicht mit unitarer Zeitentwicklung aus einem Produktzustand f
ur
alle einen vervielfaltigten Zustand
U( ) = 0
(5.23)
0
0
0
w(~b) = |h~b | a~ i|2 = cos cos ei( )/2 + sin sin e+i( )/2
2
2
2
2
(5.25)
60
5 Zusammengesetzte Systeme
0
0
cos2 cos2 + sin2 sin2 + 2 cos( 0 ) sin cos sin cos
2
2
2
2
2
2
2
2
1
=
(1 + cos )(1 + cos 0 ) + (1 cos )(1 cos 0 ) + 2 cos( 0 ) sin sin 0
4
1
= 1 + cos cos 0 + cos( 0 ) sin sin 0
(5.26)
2
(5.27)
(5.28)
nach oben. Mit der Restwahrscheinlichkeit 1 w(~b) steht der Spin in Gegenrichtung ~b
nach oben, das heit in Richtung ~b nach unten
w(~b) = 1 w(~b) .
(5.29)
Zerfallt unter Bewahrung des Drehimpulses ein Teilchen ohne Spin isotrop, das heit
mit drehinvarianter Ortswellenfunktion, in jeweils ein Paar von Teilchen mit Spin 1/2,
so entsteht der Spin-0-Zustand (5.17)
1
| i .
2
(5.30)
Die Wahrscheinlichkeit w(~a, ~b), da bei diesem Teilchenpaar beim ersten Teilchen der
Spin in Richtung a
~ nach oben und beim zweiten Teilchen der Spin in Richtung ~b nach
oben gemessen wird, betragt
1
0 i(0 )/2
0 i(0 )/2 2
1
2
~
~
sin cos e
)
w(a, b) = |ha~ ~b | i| = cos sin e
2
2
2
2
2
2
1 2 2 0
0
=
cos
sin
+ sin2 cos2 2 cos( 0 ) cos cos sin sin
2
2
2
2
2
2
2
2
2
1
=
(1 + cos )(1 cos 0 ) + (1 cos )(1 + cos 0 ) 2 cos( 0 ) sin sin 0 )
8
1
= 1 cos cos 0 cos( 0 ) sin sin 0 .
(5.31)
4
61
(5.32)
(5.34)
der Wert +h/2 bei Messung des Spins des zweiten Teilchens in Richtung ~b. Dies ist dieselbe Wahrscheinlichkeit, wie sie bei (5.28) auftritt. In den Fallen, in denen die Messung
des Spins in Richtung a
~ am ersten Teilchen der Wert h/2 ergibt, ist also das zweite
Teilchen wie bei (5.28) prapariert, also mit Spin in Richtung a
~ nach oben.
F
ur diesen Sachverhalt gibt es die Sprechweise, da die Messung des Spins des einen
Teilchens augenblicklich das andere Teilchen des Paares, egal wie weit es entfernt sein
mag, in den Zustand mit entgegengesetztem Spin versetze. Der Zustand des Paares
kollabiere oder werde reduziert, und das Ergebnis der Messung am ersten Teilchen
62
5 Zusammengesetzte Systeme
Teilchen am selben Ort sind. Da sich die Teilchen nicht schneller als Licht bewegen,
wirkt sich die Praparation in spateren Messungen nicht schneller als Licht aus.
Wenn man wiederholt eine M
unze wirft und jeweils an einen Empfanger einen Brief
mit dem Bild der Oberseite und an einen zweiten einen Brief mit dem Bild der Unterseite schickt, dann erhalt jeder Empfanger mit gleicher Wahrscheinlichkeit Bilder der
Kopf- oder Zahlseite. Jeder Empfanger wei augenblicklich, wenn er seinen Brief offnet, welches Bild der andere erhalten hat. Bei Kenntnis des Ergebnisses kollabiert die
Wahrscheinlichkeit zur bedingten Wahrscheinlichkeit, in diesem Beispiel zu Gewiheit.
Ebenso ersetzt Zustandsreduktion bei Auftreten eines Mewertes den vorherigen Zustand durch den bedingten Zustand, der zur bedingten Wahrscheinlichkeit derjenigen
Ereignisse gehort, in denen dieser Mewert auftritt.
Vor Offnen
des Briefes ist der Empfanger unsicher, welches Bild er enthalt, aber der
Inhalt ist eigentlich nicht unsicher, sondern nur unbekannt. Der Inhalt des Briefes liegt
fest, ob man ihn nun offnet oder nicht. Bei der Wahrscheinlichkeitsverteilung (5.32)
hingegen ist ausgeschlossen, da die Ergebnisse der Spinmessungen in allen Richtungen
in jedem Einzelfall vor der Messung feststehen und da man das Ergebnis nur deshalb
nicht vorher wei, weil die jeweiligen Ursachen unbekannt und zufallig sind.
Um diese scheinbar unwiderlegbare Vorstellung auszuwerten, betrachten wir wiederholte Messungen, die wir durch i, i = 1, 2, . . . , N, numerieren. Wir unterstellen, da das
Ergebnis der Spinmessung am ersten Teilchen in Richtung a
~ in jedem Versuch feststehe,
h
und bezeichnen das Ergebnis im Versuch Nummer i mit 2 a1 i , auch wenn wir es nicht
kennen. In jedem Fall hat a1 i entweder den Wert +1 oder 1. Mit h2 b1 i bezeichnen
wir das Ergebnis, das sich im Versuch Nummer i ergabe, wenn wir den Spin des ersten
Teilchens in Richtung ~b maen. Entsprechend bezeichnen wir mit h2 c2 j das Ergebnis der
Spinmessung am zweiten Teilchen, wenn wir dort im Versuch mit Nummer j in Richtung
~c den Spin messen.
Weil die Messungen f
ur a1 i , b2 i und c2 i nur die Werte 1 oder 1 ergeben, gilt in
allen Fallen die Ungleichung
a1 i (b2 i c2 i ) 6 1 b2 i c2 i ,
(5.35)
denn es gibt nur den Fall b2 i = c2 i , dann verschwinden beide Seiten, und den Fall
b2 i = c2 i , dann hat die rechte Seite den Wert 2 und die linke den Wert 2 oder 2.
In jedem Fall ist der Spin des ersten Teilchens dem Spin des zweiten Teilchens entgegengesetzt, denn wegen (5.34) gilt w(~b, ~b)/w1 (~b) = 1. Es gilt also in allen Versuchen
b1 i = b2 i . Daher besagt die Ungleichung
a 1 i b2 i a 1 i c 2 i b 1 i c 2 i 6 1 .
(5.36)
Der Mittelwert ha1 b2 i der Produkte a1 i b2 i der Spinmewerte in N Versuchen ist die
Summe der einzelnen Produkte, geteilt durch N,
N
1 X
a 1 i b2 i .
ha1 b2 i =
N i=1
(5.37)
63
Entsprechend erhalten wir die Mittelwerte der Meergebnisse ha1 c2 i und hb1 c2 i. Summieren wir die Ungleichungen (5.36), und teilen wir durch N, so erhalten wir eine Bellsche
Ungleichung [3] f
ur Mittelwerte von Produkten von Spinmewerten
ha1 b2 i ha1 c2 i hb1 c2 i 6 1 .
(5.38)
(5.39)
Er ist also durch das Skalarprodukt der normierten Richtungsvektoren gegeben. Ebenso
ist ha1 c2 i = a
~ ~c und hb1 c2 i = ~b ~c .
Als Funktion der Richtung ~c wird die Differenz
ha1 b2 i ha1 c2 i hb1c2 i = ~a ~b + a
~ ~c + ~b ~c = ~a ~b + (~a + ~b) ~c
(5.40)
~
~ ~
maximal, falls ~c den Winkel zwischen ~a und
p b halbiert und in Richtung von a + b zeigt.
Dann hat (~a + ~b) ~c den Wert |~a + ~b| = 2 + 2~a ~b , und die Differenz ist
q
~
~
(5.41)
ha1 b2 i ha1 c2 i hb1 c2 i = a b + 2 + 2~a ~b .
F
ur ~a ~b = 1/2, falls der Winkel zwischen ~a und ~b 120 Grad betragt, wird diese Differenz maximal und hat dann den Wert 3/2. Er verletzt die Bellsche Ungleichung (5.38).
Quantenmechanik ist nicht vertraglich mit der Unterstellung, da in jedem Fall f
ur jede
Messung das Ergebnis festliegt und unabhangig davon ist, welche Messung tatsachlich
vorgenommen wird.
Da quantenmechanische Mittelwerte mit den experimentellen Befunden u
bereinstimmen [4] und nicht den Bellschen Ungleichungen gen
ugen, ist weltbildersch
utternd. Die
64
5 Zusammengesetzte Systeme
(1 1 ) 1
(2 2 ) 2
..
.
(i i ) i
..
.
Apparat A
Teilchen
Apparat B
X
ij
(j i )ji
(5.42)
schreiben konnen. Die Basis sei so gewahlt, da in den Zustanden i der Apparat mit
Sicherheit den i-ten Mewert anzeigt, da also die j i Eigenzustande des Apparates
sind, der die Anzeige von A abliest.
B=1A
Beispielsweise denke man bei den Zustanden i an Photonen, mit denen man sehen
kann, ob das Teilchen durch den i-ten Ausgang von A gelaufen ist.
65
(5.43)
wobei der jeweilige Teilchenzustand i normiert ist, daPU unitar ist und i , i und
normiert sind. Zerlegen wir den Teilchenzustand = i i hi |i in diese Eigenbasis
der i mit komplexen Koeffizienten i C, so erhalten wir, weil U linear ist,
X
U( ) =
(i i ) hi|i .
(5.44)
i
(5.45)
Insbesondere ist f
ur jede anschlieende Messung C am Teilchen die bedingte Wahr den i-ten
scheinlichkeit, den k-ten Mewert unter der Bedingung zu erhalten, da A
Mewert anzeigt,
U( ))/w(i, A, ) = |hk |i i|2 = w(k, C, i ) ,
w((k, i), C A,
(5.46)
66
5 Zusammengesetzte Systeme
(6.1)
verschiedene Reihenfolgen der Ergebnisse. Der Kehrwert dieser Anzahl ist die Sicherheit,
mit der wir die einzelne Reihenfolge voraussagen konnen. Er strebt gema der Stirlingschen Formel
f
ur zunehmendes n bis auf einen Faktor, der gegen Eins geht, gegen
N1
N1 n1 (n + 1 )
nN (nN + 12 )
2
2 n
p1 . . . pN enS+(N1)/2 ln n . (6.3)
)
( ) 1 2 ...(
n
n
Der im Exponenten bei n auftretende Koeffizient ist die Entropie der Wahrscheinlichkeitsverteilung
X
S=
pi ln pi .
(6.4)
i
Die Entropie ist nichtnegativ, da die Wahrscheinlichkeiten pi zwischen Null und Eins
variieren. Falls allgemeiner einige pi verschwinden, sei pi ln pi stetig durch Null erganzt.
Bei einem Gemisch sind fehlende Polarisation oder Groen wie 1 (tr 2 ) ein Ma
daf
ur, wie sehr das praparierte Gemisch von einem reinen Zustand abweicht. Aber ein
g
unstigeres Ma f
ur die Unkenntnis u
ber den praparierten Zustand ist die Entropie des
Gemisches.
Wir definieren sie als Entropie der Wahrscheinlichkeitsverteilung der Mewerte von
solchen Apparaten A mit nichtentarteten Mewerten, deren Eigenzustande auch Eigenzustande der Dichtematrix sind,1 w(i, A, ) = hi |i i = i ,
X
S=
i ln i = tr ln , i = i i .
(6.5)
i
68
Die Entropie eines reinen Zustands verschwindet. Sie addiert sich beim unabhangigen
Zusammensetzen zweier Systeme, andert sich nicht wahrend der Schrodingerschen Zeitentwicklung und nimmt beim Mischen und bei zufalligen Storungen zu. Mit man das
Gemisch mit einem Apparat B, dessen Mewerte nicht entartet sind und der nicht mit
vertauscht, so ist die Entropie ihrer Wahrscheinlichkeitsverteilung groer als die Entropie
des Gemisches selbst. Diese Eigenschaften zeigen wir mit den folgenden Betrachtungen.
Ist ein Gemisch unabhangig aus zwei Teilen zusammengesetzt
= ,
(6.6)
i
j von Eigenzustanden der Dichtemaso sind die Eigenzustande Produktzustande
und
. Die Eigenwerte der zusammengesetzten Dichtematrix sind die Produkte
trizen
der Eigenwerte der einzelnen Dichtematrizen
X
X
j ,
j = 1 .
(6.7)
i = 1 ,
ij = i
j
S=
ij
ij
= (
X
j
j )
i ln i (
i )
+S
j = S
j ln
(6.8)
Die Dichtematrix andert sich im Laufe der Zeit (4.7), allerdings andern sich nicht
(6.9)
Demnach bleibt die Entropie unverandert, solange sich die Zustande im Gemisch nach
der Schrodingergleichung entwickeln.
Bei echtem Mischen von Gemischen wachst die Entropie. Ist ein Gemisch () aus
und
,
6=
, gemischt
verschiedenen Gemischen
() =
+ (1 )
mit
0<<1,
(6.10)
so ist Entropie S(()) um die Mischungsentropie groer als die anteilige Summe der
Entropien.
S(()) > S(
) + (1 )S(
) .
(6.11)
Bevor wir diese Behauptung zeigen, zwei Vorbemerkungen:
und 6= 0 ist, so ist auch () 6= (0 ).
Wenn 6=
69
6.1 Entropie
h|
i = 0
= 0
und
und
h|
i = 0
= 0 .
(6.12)
Die erste Folgerung gilt, weil und (1 ) groer Null und Hauptdiagonalelemente von
Dichtematrizen nichtnegativ (1.42) sind. Die zweite Folgerung ist richtig, weil Hauptdiagonalelemente h|i einer Dichtmatrix nur verschwinden, wenn = 0 ist (1.43).
Nach diesen Vorbemerkungen beweisen wir f
ur verschiedene Dichtematrizen und
0
0
0
, 6= , wobei nichtverschwindende Eigenwerte habe, den Hilfssatz
tr ln 0 < tr ln .
(6.13)
Werten wir namlich die Spur in der Eigenbasis i von aus und schieben wir eine
Zerlegung der Eins mit den Eigenzustanden 0i von 0 ein, so erhalten wir
X
tr (ln 0 ln ) =
hi |0j ih0j |(ln 0 ln )i i
ij
X
ij
X
ij
(6.14)
0j
.
ln
i
Es gilt f
ur positive x die Abschatzung ln x 6 (x 1), wobei Gleichheit nur f
ur x = 1
0
auftritt. Wenn die Matrizen und verschieden sind, gibt es mindestens ein Paar von
Eigenwerten 0j und i , 0j 6= i , mit Eigenvektoren 0j und i , deren Skalarprodukt
nicht verschwindet.
Also folgt der Hilfssatz
X
X
0j
tr (ln 0 ln ) <
|hi |0j i|2 i ( 1) =
|hi |0j i|2 (0j i ) =
i
ij
ij
(6.15)
X
X
0 0
0
0
0
=
hj | i ihi |j i
hj |i ihi |j i = tr 0 tr = 0 .
ij
ij
Wenn 6= und 0 < < 1 ist, so ist auch 6= () 6= . Wir verwenden den Hilfssatz,
wobei wir f
ur 0 die Dichtematrix () einsetzen und f
ur die Matrizen und . Dabei
nehmen wir die Spur u
ber den Unterraum, der orthogonal zum Nullraum von () ist.
Aus dem Hilfssatz folgen dann die Ungleichungen
ln
,
tr ln(
+ (1 )
) < tr
ln
.
tr ln(
+ (1 )
) < tr
(6.16)
Multiplizieren wir die erste Ungleichung mit , 0 < < 1, und die zweite mit (1 )
und addieren wir, so erhalten wir
tr(
+ (1 )
) ln(
+ (1 )
) < tr ln + (1 ) tr ln
(6.17)
70
S(()) > S(
) + (1 )S(
) .
Die Entropie eines Gemisches ist groer als die anteilige Summe der Entropien der
Bestandteile. Entropie nimmt durch Mischen zu.
Das Gemisch () lat sich aus Gemischen (1) und (2) mit benachbarten Mischungsparametern 0 6 1 < < 2 6 1 mischen.
() =
2
1
(1 ) +
(2)
2 1
2 1
(6.19)
Demnach ist die Entropie S(()) eine konkave Funktion des Mischungsparameters .
S(()) >
1
2
S((1)) +
S((2))
2 1
2 1
(6.20)
6 S(())
71
6.2 Gleichgewicht
dieser Werte groer als die Entropie des Gemisches selbst. Denn bezeichne i die Eigenzustande von B, so tritt der i-te Mewert mit Wahrscheinlichkeit pi auf,
X
pi = hi |i i =
n Pin , Pin = |hi |n i|2 .
(6.21)
n
Pin = 1 ein,
n Pin ( ln pi + ln n ) =
in
in
und schatzen den Logarithmus nach unten durch ln x > 1 1/x ab,
>
Pin (n pi ) =
in
X
n
(n
X
i
pi = 1 1 = 0 .
Pin )
X
i
(pi
Pin )
(6.23)
Also ist, wie behauptet, die Entropie des Gemisches eine untere Schranke f
ur die Entropie der Wahrscheinlichkeitsverteilung jeder nichtentarteten Messung, die am Gemisch
vorgenommen wird.
6.2 Gleichgewicht
Wenn in Abbildung (1.1) das zu vermessende System vor der Messung wieder und
wieder gestort worden ist, hangen die Wahrscheinlichkeitsverteilungen der Mewer-
72
te w(i, A, (t)) nicht mehr davon ab, wann gemessen wird. Nach der von-NeumannGleichung (4.7) vertauscht in solch einer Situation die Dichtematrix mit dem Hamiltonoperator
iht (t) = [H, ] = 0
(6.24)
und beide haben gemeinsame Eigenzustande i
Hi = Ei i ,
(6.25)
i = i i .
Da bei jeder vorhergehenden Storung die Entropie zugenommen hat, erwartet man,
solche Gemische zu finden, in denen die Entropie so gro wie moglich geworden ist.
Solche zeitunabhangige Gemische, deren Entropie so gro wie moglich ist, definieren
thermodynamisches Gleichgewicht.
Wird zum Beispiel Energie des Gemisches mit der Umgebung so ausgetauscht, da der
Mittelwert den festen Wert hEi hat solch eine Umgebung nennt man ein Warmebad
so ist im thermodynamischen Gleichgewicht die Entropie alsP
Funktion der Eigenwerte
P
i maximal, wobei die Eigenwerte i den Nebenbedingungen i i = 1 und i i Ei =
hEi unterworfen sind. Wir ber
ucksichtigen die Nebenbedingungen mit Lagrangeschen
Multiplikatoren und und maximieren
X
X
X
S=
j ln j + (1
j ) + (hEi
j E j ) .
(6.26)
j
0 = (ln i + 1) Ei .
Demnach ist i durch die Boltzmannverteilung gegeben.
Boltzmann
eEi
Z
(6.28)
P
i = 1. Er ist die
(6.29)
1
,
T
(6.30)
P
die man aus der Nebenbedingung i i Ei = hEi als Funktion des Energieerwartungswertes hEi implizit bestimmen kann.
hEi =
X
i
i E i =
1 X Ei
1 X Ei
E i =
e
= ln Z()
e
Z i
Z
i
(6.31)
6.2 Gleichgewicht
73
Der Logarithmus der Zustandssumme als Funktion von ist eine Funktion, deren Ableitung den Energieerwartungswert bestimmt.
Die Entropie der Boltzmannverteilung hangt eng mit der Zustandssumme und dem
Energiemittel zusammen.
S=
X
i
i ln i =
X eEi
Z
(Ei ln Z) = hEi + ln Z
(6.32)
(6.33)
(6.34)
Die Wahrscheinlichkeiten i hangen nur von Energiedifferenzen und nicht vom absoluten
Wert der Energie ab. Auch thermodynamisch ist der Wert der Grundzustandsenergie
irrelevant. Die Behauptung Kaltes Helium verfestigt sich nicht, weil die Grundzustands
energie nicht verschwindet ist falsch.
Wenn kein Warmebad den mittleren Energieinhalt des Systems einstellt, fehlt in
(6.35)
(6.36)
F
ur das Zweizustandssystem hat En dieselbe Form, aber n durchlauft nur die Werte 0
und 1. Dies sind die Energien von freien, identischen Bosonen und Fermionen. E = h
ist die Energie eines Teilchens. Ein Zustand mit mehreren Teilchen hat die mehrfache
Einteilchenenergie, da die Teilchen frei sind. Das Pauli-Verbot verbietet n > 2 bei Fermionen.
Die Zustandssumme des harmonischen Oszillators ist eine geometrische Reihe,
ZBoson =
n=0
eEn =
1
,
1 eE
(6.37)
die Zustandssumme des Zweizustandssystems ist so einfach, wie sie nicht einfacher sein
kann,
ZFermion = 1 + eE .
(6.38)
74
E
,
1
hEiFermion =
eE
E
.
+1
(6.39)
eE
Kompliziertere Systeme bestehen oft aus mehreren, verschiedenen Bosonen und Fermionen, zum Beispiel aus Photonen mit unterschiedlichem Wellenvektor ~k, die wechselwirkungsfrei aus Teilsystemen zusammengesetzt sind.
Wir bezeichnen genauer ein System als frei zusammengesetzt, wenn der Hilbertraum
ein Produktraum H = H1 H2 ist und wenn der Hamiltonoperator H = H1 + H2
sich aus Hamiltonoperatoren der Teilraume zusammensetzt. Dann gibt es Energieeigenzustande i, , wobei i eine Basis von H1 und eine Basis von H2 abzahlt, deren Energie
sich aus den Teilenergien zusammensetzt.
Ei, = E1 (i) + E2 ()
(6.40)
Die Zustandssumme des Gesamtsystems ist in solch einem Fall das Produkt der einzelnen
Zustandssummen
X
X
X
Z=
e(E1 (i)+E2 ()) =
eE1 (i)
eE2 () = Z1 Z2 ,
(6.41)
i,
(6.42)
(7.1)
Die Variable p unterscheidet energieentartete Zustande. Stellen wir Zustande (t), die
die Schrodingergleichung erf
ullen, als Linearkombination dieser kontinuierlichen Basis
dar, so hat (t) folgende Form
Z
i
(t) = dEdp E,p (E, p) e h Et , (E, p) = hE,p |(0)i .
(7.2)
Ein Meapparat, der nachpr
uft, ob der normierte Anfangszustand (0) vorhanden ist,
findet zur Zeit t diesen Zustand mit der Wahrscheinlichkeit
w(t) = |a(t)|2 ,
Z
(7.3)
i
(7.4)
(7.5)
76
e h Et
aLorentz (t) =
dE
2
(E E0 )2 +
2
4
(7.7)
aLorentz (t) = e h E0 t e 2h .
(7.8)
Es nimmt also die Wahrscheinlichkeit w(t), zur Zeit t > 0 die Lorentzresonanz noch
vorzufinden, exponentiell ab.
wLorentz (t) = et/
f
ur
t>0
(7.9)
(7.10)
1 d
w(t) .
w(t) dt
(7.11)
Der Gleichung (7.4) entnimmt man, da die Phase von (E, p) ohne Bedeutung ist.
Dies ist verstandlich, denn jede kontinuumsnormierte Basis 0E,p = ei(E,p) E,p mit
beliebiger, reeller Funktion (E, p) hatte ebenso gut verwendet werden konnen. Es gibt
namlich, anders als bei Ort und Impuls, keinen zum Hamiltonoperator konjugierten
Operator T mit Vertauschungsrelation [T, H] = ih. Solch ein Operator ware in einer
Energiebasis T = ihE und w
urde die relativen Phasen der Basis E,p fixieren.
Ebenso ist das Vorzeichen von ohne Bedeutung, wie man an (7.7) sieht. Die Zerfallsrate ist | |.
77
w(t) eine Wahrscheinlichkeit, die differenzierbar ist, wenn (t) differenzierbar ist, und
die zur Zeit t = 0 maximal ist, w(0) = 1. Daher verschwindet dann ihre Zeitableitung
d
w(t)|t=0 = 0
dt
(7.12)
(7.13)
(7.14)
78
h|E,p i = 0 ,
(7.17)
H = H0 + Hint
H0 E,p = E E,p ,
E > Emin .
(7.19)
Konkreter kann man bei an ein angeregtes Atom denken und bei E,p an die Zweiteilchenzustanden aus abgeregtem Atom und Photon. Die Energie E ist kontinuierlich, weil
die moglichen Energien von Photonen, E = h = c|~p|, kontinuierlich sind. Die Zweiteilchenzustande E,p von Atom und Photon sind Energie-entartet, denn das Photon kann
in alle moglichen Richtungen auslaufen.
Wir betrachten die Amplitude
i
hE,p |e h Ht i
(7.20)
f
ur den Ubergang
des normierten H0 -Eigenzustands in dazu orthogonale, kontinuumsnormierte H0 -Eigenzustande E,p in niedrigster Ordnung in der Wechselwirkung Hint
i
und entwickeln zu diesem Zweck e h Ht in eine Taylorreihe in tHint . Die Koeffizienten
der Reihe entnehmen wir durch wiederholtes Differenzieren der Relation
Z1
A()
e
= dz ezA() A e(1z)A() .
(7.21)
0
79
k!l!
.
(k + l + 1)!
(7.22)
(7.23)
hi Ht
i
i = thE,p |Hint i
h
Z1
dz e h ztE e h (1z)tE0 + . . . .
(7.24)
hE,p |e
hi Ht
e h Et e h E0 t
i = hE,p |Hint i
+... .
E E0
(7.25)
Die Wahrscheinlichkeit, zur Zeit t einen Zustand E,p im H0 -Energiebereich vorzufinden, ist durch das Betragsquadrat dieser Amplitude bestimmt und niedrigster Ordnung
durch
Z
2 t (EE0 )
2 sin
h
2
w(, t) = dEdp |hE,p |Hint i|
(7.26)
EE 2
(7.27)
Allerdings darf nicht der Grenzwert t genommen werden, weil sonst hohere Potenzen von tHint nicht mehr vernachlassigt werden konnen. Insbesondere mu die Zeit
t klein gegen die Lebensdauer des zerfallenden Zustandes bleiben: f
ur groere Zeiten
nimmt die Wahrscheinlichkeit, Zerfallsprodukte zu finden nicht mehr linear mit der Zeit
zu. F
ur kleine Zeiten t, die gro genug f
ur die Naherung (B.3) sind, deuten wir w(,t)
t
der Wahrscheinlichkeit, den zerfallenden Zustand noch vorzufinden,
als Ableitung dw
dt
und lesen die Zerfallsrate ab.
Z
Goldene Regel = 2 dEdp |hE,p |Hint i|2 (E E0 )
(7.28)
80
Die Zerfallsrate setzt sich additiv aus partiellen Zerfallsraten d von verschiedenen Prozessen zusammen
d = 2 (E E0 ) |hE,p |Hint i|2 dEdp .
(7.29)
Bei dieser Standardherleitung der Goldenen Regel ist die Zeit t gen
ugend gro, denn
kein quantenmechanisches System kann f
ur kleine Zeiten exponentiell zerfallen (siehe
Abschnitt (7.2)). Zusatzlich ist diese Zeit t klein gegen die Lebensdauer . Es ist bemerkenswert, wie gehorsam die Textbuchherleitung der Goldenen Regel von Studenten
akzeptiert und von Dozenten vorgetragen wird. Die Annahmen u
ber t schlieen sich
im Grenzfall gegenseitig aus und Fehler, die man f
ur mittlere Zeiten macht, die sowohl
gen
ugend gro als auch gen
ugend klein sind, sind nicht leicht abzuschatzen.
Ubergangsamplituden.
Ein allgemeiner Zustand schreibt sich mit einem Entwicklungskoeffizienten 0 = h|i
und einer Wellenfunktion (E, p) = hE,p |i in der Basis (7.17) als Linearkombination
Z
= 0 + dEdp E,p (E, p) , (E, p) = 0 f
ur E < Emin .
(7.30)
Die Wahrscheinlichkeit w0 (, ), bei einer Messung von die zu H0 gehorende Energie im offenen Intervall zu finden, betragt
R
dEdp |(E, p)|2
falls E0
/
w0 (, ) =
.
(7.31)
R
|0 |2 + dEdp |(E, p)|2 falls E0
Es tragt also der Anteil 0 zur Wahrscheinlichkeitsdichte der Energie eine scharfe Linie
bei E0 bei, die scharfer als jede Detektorauflosung ist und deren Flache |0 |2 betragt.
(7.33)
Die Matrixelemente h|Hint i und hE0 ,p0 |Hint E,p i verschwinden in unserer Rechnung.
Dies ist keine wesentliche Einschrankung, wir konnen uns solch einen Teil der Wechselwirkung in H0 absorbiert vorstellen. Ebenso verschwindet v(E, p) = hE,p |Hint i f
ur
E < Emin .
Der Operator Hint ist auf nur definiert, falls kHint k < ist.
Z
dEdp |v(E, p)|2 <
(7.34)
81
a(t) = h|e h Ht i .
(7.38)
82
Die negative Resolvente (z H)1 kann als geometrische Reihe geschrieben werden.
Es gilt namlich f
ur Operatoren A und V, wenn A und A V invertierbar sind,
(A V)1 = (A( A1 V))1 = ( A1 V)1 A1 =
(A1 V)n A1
(7.40)
n=0
auf Zustanden, auf denen die Reihe konvergiert. Wir schreiben daher
X
n 1
1
1
1
=
=
Hint
.
zH
z H0 Hint n=0 z H0
z H0
(7.41)
(7.43)
(7.44)
Zum Matrixelement h|(z H)1 i tragen demnach nur die geraden Potenzen von
(z H0 )1 Hint bei.
Z
X
1
|V(E)|2 n 1
1
i =
dE
h|
zH
z E0
zE
z E0
n
Z
|V(E)|2 1
= z E0 dE
(7.45)
zE
F
ur a(t) folgt dann wegen (7.38) und (7.39)
I
1
1
i
dz e h zt
a(t) =
R |V(E)|2 .
2i
z E0 + dE
(7.46)
Ez
83
f(x) = x + i E0 + dE
|V(E)|2
E x i
(7.48)
f
ur 0+ den Grenzwert
Z
|V(E0 + x)|2
f(x) = x E0 + dE0
+ i|V(x)|2 ,
E0
(7.49)
R
wobei das Hauptwertintegral bezeichnet.
Falls V(x) gen
ugend klein ist, so da kein gebundener Zustand existiert, der die gapGleichung (7.36) lost, so verschwindet der Nenner f nirgends.
Der zweite Beitrag zu a(t), den man durch die Ersetzung von durch erhalt, ergibt
den konjugiert komplexen Nenner f . Daher ist der Integrand von der Form
i
e h tx
und a(t) ist
a(t) =
F(E) =
1
1
f f
i
= e h tx
f f
ff
i
dE e h Et |F(E)|2
(7.50)
(7.51)
V(E)
.
R
0
2
+ i|V(E)|2
E E0 + dE0 |V(EE+E)|
0
(7.52)
Der zerfallende Zustand ist durch die Ankopplung an das Kontinuum nicht langer ein
Energieeigenzustand, sondern eine Resonanz ahnlich der Lorentzresonanz, denn f
ur klei
ne Ubergangsamplitude V(E) ist F(E) nahezu die in (7.6) gegebene Funktion FLorentz (E).
Die Abweichungen von der Lorentzresonanz f
uhren zu Abweichungen vom exponentiellen
Zerfall.
Im Nenner von F(E) dominiert der Realteil
Z
|V(E0 + E)|2
<f(E) = E E0 + dE0
(7.53)
E0
von <f(E). Der Zahler V(E) beseitigt
auer in einer kleinen Umgebung der Nullstelle E
die unphysikalischen Z
uge der Lorentzresonanz. Er sorgt daf
ur, da die Energiewellenfunktion f
ur E < Emin verschwindet und verbessert das Hochenergieverhalten, so da H
endliche Norm hat. Es existieren dann hHi und H , allerdings hangen diese Groen vom
ab und brauchen nicht mit der Resonanzenergie und der
Verhalten von V(E) f
ur E 6= E
Breite u
bereinstimmen.
Wenn sich in der Umgebung der Nullstelle von <f(E) der Imaginarteil des Nenners
2 nahern und erhalten
von F(E) nicht stark verandert, konnen wir ihn dort durch |V(E)|
ungefahr
V(E)
F(E)
(7.54)
R
0 2
2
(E E)(1
+ dE0 |V(E +0 E)| ) + i|V(E)|
E
84
(7.56)
Diese Herleitung der Goldenen Regel zeigt, da eine genaue Berechnung der Ubergangsamplitude hE,p |Hint i in hoherer Ordnung Storungstheorie durch eine genaue
Berechnung des Zeitverhaltens des zerfallenden Zustands erganzt werden mu. Die Gol
dene Regel gilt in niedrigster Ordnung der Ubergangsamplitude.
Die Approximation (7.54) unterstellt nicht nur, da V(E) klein ist, sondern auch, da
V(E) glatt ist und nicht selbst eine Lorentzresonanz mit Resonanzenergie E1 und Breite
1 ist. Sonst unterdr
uckt zwar in (7.52) der Nenner f(E1 ) (E1 E0 ) den Beitrag der
2 ist, so zerfallt zunachst
Resonanz bei E1 , wenn aber die Breite 1 klein gegen 2|V(E)|
bis auf einen kleinen, langerlebigen
der Zustand schnell als Resonanz mit Energie E
Rest der Resonanz mit Energie E1 und Breite 1 .
7.5 Allgemeing
ultigkeit
Wir haben in (7.51,7.52) ganz allgemein die Amplitude daf
ur ausgerechnet, da irgendein normierbarer Zustand (t), der als Wellenpaket aus kontinuierlichen Energieeigenzustanden zusammengesetzt ist, mit dem Zustand (0) u
bereinstimmt. Sei namlich der
normierte Anfangszustand = (0) aus kontinuierlichen Energieeigenzustanden des
Hamiltonoperators H zusammengesetzt. Der Projektor
P = |ih| , P 2 = P ,
= P + ( P) ,
(7.57)
(7.58)
(7.59)
85
Die Wechselwirkung
Hint = H H0 = PH( P) + ( P)HP
(7.60)
macht Uberg
ange von zu dazu orthogonalen Zustanden.
Jeder Zustand und jeder Hamiltonoperator H mit kontinuierlichem Spektrum erf
ullen also die Annahmen, die wir in Abschnitt (7.4) gemacht haben. Durch Wahl des beliebigen Zustand R kann die Funktion F(E) in (7.51) mit den Einschrankungen F(E) = 0 f
ur
2
E < Emin und dE |F(E)| = 1 beliebig vorgegeben werden. Die Amplitude a(t) nimmt
daher normalerweise nicht exponentiell ab.
Der Zustand zerfallt exponentiell, wenn die Amplitude v(E, p) f
ur den Zerfall in das
Kontinuum der Zerfallsprodukte klein ist und nicht selbst resonantes Verhalten zeigt.
(7.61)
F
ur halbzahligen Spin und f
ur Lorentztransformationen, die die Zeitrichtung spiegeln,
sind die Verhaltnisse verwickelter [5, Kapitel 2]: Zeitumkehr ist als antiunitare Transfor
mation realisiert und auf Zustanden mit halbzahligem Spin ist die Uberlagerungsgruppe
SL(2, ) der Lorentzgruppe dargestellt. Diese Komplikationen wirken sich aber hier nicht
aus.
Die unitaren Transformationen bewirken zeitrichtungstreue Lorentztransformationen
der Viererimpulse
U1 ()P m U() = m n P n .
(7.62)
Auf einen Viererimpulseigenzustand p mit P m p = pm p angewendet ergibt U()
daher einen Eigenzustand mit lorentztransformiertem Viererimpuls.
P m U()p = U()m n P n p = m n pn U()p
(7.63)
F
ur zerfallende Teilchen, die sich mit Geschwindigkeit v bewegen, folgt hieraus, da
ihre Lebensdauer v durch Zeitdilatation vergroert ist.
1
v = q
1
v2
c2
(7.64)
86
Lokalisationsenergie klein zu halten, mit Wellenfunktionen, die in einem groen Raumgebiet konstant sind und auerhalb des Gebiets schnell gegen Null gehen, so sieht ein
lorentztransformierter Beobachter in diesem groen Raumgebiet den Zustand vor langer
Zeit und nach langer Zeit. Hat man schon die Idealisierung vollzogen, da der Zustand
exponentiell zerfallt, so entspricht diesem Zerfall f
ur einen lorentztransformierten Beobachter eine Wellenfunktion, die entgegen der Geschwindigkeitsrichtung exponentiell an
wachst. Ahnlichen
Schwierigkeiten begegnet man, wenn man einen zerfallenden Zustand
als Impulseigenzustand und als Eigenzustand eines nichthermiteschen Hamiltonoperators
beschreiben will. Hat die Energie einen negativen Imaginarteil, so hat der lorentztransformierte Zustand einen komplexen Impulseigenwert. Die entsprechende Wellenfunktion
wachst dann in einer Richtung exponentiell an.
Betrachtet man Wellenpakete und arbeitet man mit normierten Zustanden, so ist die
Amplitude a(t) (7.4) schon f
ur stabile Teilchen zeitabhangig. Denn Wellenpakete freier,
massiver Teilchen zerflieen, weil sie aus Anteilen mit unterschiedlichen Impulsen und
daher unterschiedlichen Geschwindigkeiten zusammengesetzt sind. Abgesehen davon ist
die Amplitude
hv (0)|v (t)i
(7.65)
eines mit Geschwindigkeit v bewegten Zustands aber einfach deshalb zeitabhangig, weil
er sich mit Geschwindigkeit v bewegt und daher weniger und weniger mit dem Wellenpaket zur Zeit t = 0 u
ur ein nahezu monochromatisches Wellenpaket die
berlappt. Um f
Amplitude daf
ur zu bestimmen, da der Zustand noch zur Zeit t vorhanden ist, mu
i ~
daher v (t) mit dem um x = vt verschobenen Zustand (3.25) e h P~vt v (0) verglichen
werden.
i ~
i ~
i
av (t) = he h P~vt v (0)|v (t)i = hv (0)|e h P~vt e h Ht v (0)i
(7.66)
Die mit Geschwindigkeit v bewegten Zustande v erhalt man aus ruhenden Zustanden 0 , sie sind Eigenzustande des raumlichen Impulses ~P0 = 0, durch die unitare
Transformation
v = U((v))0 ,
(7.67)
die zur drehungsfreien Lorentztransformation (v) gehort, zum Beispiel
q 1
1 v22
(v) =
1
v
c
v
c
1
1
(7.68)
f
ur einen in x-Richtung bewegten Zustand. v ist kein Impulseigenzustand, wenn 0
instabil ist, da 0 kein Energieeigenzustand ist.
Setzen wir (7.67) in (7.66) ein und verwenden wir (7.62) so ergibt sich mit um =
(ct, vt, 0, 0)
i
h0 |U1 e h um P U0 i = h0 |e h um U
Pm U
ir
0 i = h0 |e h um
nP
0 i
(7.69)
87
v2
c2
av (t) = h0 |e
ir
h
q
2
1 v2 tH
c
0 i = a 0 (
v2
t) .
c2
(7.70)
Es zerfallt also das bewegte Teilchen langsamer als das ruhende. Nimmt die Uberlebenswahrscheinlichkeit des ruhenden Teilchens exponentiell mit einer rLebensdauer ab, gilt
2
v = q
.
2
1 cv2
2
1 v t
c2
(7.71)
Auf die Frage, ob Beschleunigung die Lebensdauer beeinflut oder ob quantenmechanische Teilchen ideale Uhren sind und die Weglange der Weltlinie messen, gibt es keine
universelle Antwort. Man mu erwarten, da die Art der Beschleunigung wesentlich ist.
So greift zum Beispiel ein Magnetfeld in die Energieverhaltnisse von atomaren Niveaus
ein und Beschleunigung in einem Magnetfeld andert den Gang von Uhren, die Zeit mit
atomaren Uberg
angen messen. Vergegenwartigt man sich, da der Begriff Eigenzeit von
der Lokalisation der Uhr auf eine Weltlinie Gebrauch macht, da solch eine Lokalisation
zu verschiedenen Zeiten aber im Widerspruch zur Quantenmechanik steht, erkennt man,
da schon die Frage, ob quantenmechanische Uhren die Weglange langs einer Weltlinie
messen, problematisch ist.
8 Das Wigner-Theorem
8.1 Wahrscheinlichkeitstreue und unit
are Abbildungen
Da die Wahrscheinlichkeit w(i, O, ) daf
ur, da der i-te Mewert ai auftritt, wenn der
i
Zustand e mit dem Apparat O vermessen wird, durch (1.1)
w(i, O, ) = |hi |i|2 ,
Oi = ai i ,
(8.1)
(8.2)
(8.3)
erf
ullt. Da das Skalarprodukt im linken Argument antilinear ist,
hA|Aai = ha|i = a h|i = a hA|Ai = hA|a Ai ,
(8.4)
A( + ) = (A) + (A) .
(8.5)
7 T ,
(8.6)
, ,
(8.7)
gehort (falls der Hilbertraum mindestens dreidimensional ist) eine unitare Abbildung U
oder eine antiunitare Abbildung A des Hilbertraumes. Dabei ist U oder A durch T bis
auf eine Phase, U0 = ei U oder A0 = ei A, eindeutig festgelegt.
90
8 Das Wigner-Theorem
Man beachte, da T eine Selbstabbildung der Menge der Strahlen ist, wahrend U oder
A eine Selbstabbildung des Hilbertraums ist.
Beim folgenden Beweis des Wigner-Theorems wahlen wir jeweils normierte Reprasentanten der Strahlen, h|i = hT |T i = 1 . Wir betrachten eine Orthonormalbasis l .
Die Strahlen T l = 0l eil definieren, bis auf die Phasen eil eindeutig, eine Orthonormalbasis. Denn aus den Betragen der Skalarprodukte |h0k |0l i| = |hk |l i| = k l konnen
die Skalarprodukte
h0k |0l i = k l
(8.8)
eindeutig abgelesen werden, da z = 0 aus |z| = 0 folgt und sich, weil Langenquadrate
positiv sind, h0k |0k i = 1 aus |h0k |0k i| = 1 ergibt.
Weil T invertierbar ist, sind die Vektoren 0k nicht nur ein Orthonormalsystem, sondern
eine Basis. Anderenfalls gabe es einen Vektor 0 , der senkrecht auf allen 0k st
unde, und
0
0 0
ein Urbild hatte, = T . Dann verschwanden aber alle |h|k i| = |h |k i| = 0, und
die k waren keine Basis.
0
0
F
ur k = 2, 3, . . . , legen
wir die Phasen von k relativ zu 1 durch das Transformierte
von k = (1 + k )/ 2 fest. Die Komponenten clk von T k sind durch
X
0l clk
(8.9)
T k = 0k = eik
l
(8.10)
1
|c1k | = |h01 |0k i| = |h1 |k i| = ,
2
1
|ckk | = |h0k |0k i| = |hk |k i| = ,
2
(8.11)
also
eik
0k = (01 ei1 + 0k eik ) .
2
0
Wir wahlen die Phasen der Basis 1 , 02 , . . . so, da
eik
0k = (01 + 0k )
2
(8.12)
(8.13)
(8.14)
1
1
|1 + k | = |hk |i| = |h0k |0 i| = |01 + 0k | .
2
2
(8.15)
Weiter gilt
|a|2 = |a0 |2 ,
wobei a =
k
,
1
91
2/|1 | = 2/|01 |
a0 =
0k
.
01
(8.16)
Wegen |1 + a|2 = 1 + |a|2 + 2<a besagt dies zusammen mit |a|2 = |a0 |2
<a = <a0 ,
und ( =a = =a0
oder =a = =a0 ) .
(8.17)
F
ur jedes k gilt also, falls 1 6= 0,
k
0
= k0
1
1
oder
0
k
= k0 .
1
1
(8.18)
X0
k
0k
X0
X 00 0
X 00
01
k
0k
k +
0l 1 l = ei 01
+
0l l . (8.19)
1
1
1
1
k
l
l
und
0l
l
l
,
=
6=
0
1
1
1
(8.20)
(8.21)
i
e
(01 +0k +0l ) abgebildet.
nicht invariant unter T . Gema (8.19) wird von T auf 0 =
3
Aus
wobei a =
k
6= a
1
und b =
l
6= b .
1
(8.23)
Ausmultiplizieren ergibt
1 + |a|2 + |b|2 + 2<a + 2<b + 2<(ab) = 1 + |a|2 + |b|2 + 2<a + 2<b + 2<(ab) , (8.24)
das heit
<(ab ) = <(ab) Rea<b + =a=b = Rea<b =a=b =a=b = 0
(8.25)
92
8 Das Wigner-Theorem
Der Strahl =
i
(8.26)
1 (1 +ik ),
2
k = 2, 3, . . . , dieselbe
1
T l = (01 i0l ) .
2
+ il ) wird auf 0 =
ei
(01
3
(8.27)
e
0 =
(01
ersten Fall ist der Betrag des Skalarproduktes mit l nicht
3
invariant,
l
l
| = 2|h0l |0 i| = |01 i0l | = |01 ||1 i( ) | ,
1
1
(8.29)
also |1 + a|2 = |1 a |2 mit a = il /1 , und demnach 1 + |a|2 + 2<a = 1 + |a|2 2<a,
l
l
also 0 = <a = =(l /1 ) im Widerspruch zur Annahme (
) 6=
.
1
1
Ebenso untersucht man die verbleibenden Falle mit 1 = 0.
Wir haben damit das Wigner-Theorem bewiesen: Zu jeder invertierbaren, wahrscheinlichkeitstreuen Abbildung von Strahlen auf Strahlen gehort eine unitare Abbildung U
oder eine antiunitare Abbildung A von Hilbertraumvektoren,
X
X
=
k k 7 U =
0k k
oder
X
k
k k 7 A =
0k k .
(8.30)
Die Selbstabbildung des Hilbertraumes, U oder A, ist bis auf eine gemeiname Phase aller
0k eindeutig durch die wahrscheinlichkeitstreue Selbstabbildung T des Zustandsraumes
bestimmt.
Es ist U linear, U(a + b) = a(U) + b(U), und unitar, hU|Ui = h|i,
wahrend A antilinear, A(a + b) = a (A) + b (A), und antiunitar ist, hA|Ai =
P
k k k = h|i .
93
Da A2 linear und unitar ist, gehoren zu Transformationen T , die sich als Quadrat
T = T 0 2 schreiben lassen, unitare Operatoren U im Hilbertraum, denn auch wenn T 0
antiunitar realisiert ware, ware das Quadrat dieser Realisierung unitar. Insbesondere
gehoren zu allen Transformationen, die sich wie Translationen und Drehungen durch
wiederholtes Anwenden infinitesimaler Transformationen erzeugen lassen, wenn sie alle
Wahrscheinlichkeiten invariant lassen, unitare Operatoren im Hilbertraum.
In endlichdimensionalen Raumen hat jede lineare Abbildung einen Eigenvektor. Da die
Transformation A2 unitar ist, haben ihre Eigenwerte den Betrag 1 und ein Eigenvektor
.
= e2i
erf
ullt A2
2
=
ist, so wird
+ A
Wenn A
auf sich abgebildet. Falls zudem A
=
ist,
+ A
definieren wir den Hilbertraumvektor als = i
, falls nicht als =
. Er ist nicht
Null und wird von A invariant gelassen
(8.31)
A = .
, und A wirkt
Wenn der Eigenwert e2i nicht 1 ist, dann bezeichen wir A
als ei
2i
2
.
A
= ei
(8.32)
(8.33)
k k +
i
i
k
94
8 Das Wigner-Theorem
(8.38)
gelten. Insbesondere m
ussen Paare aufeinander senkrechter Zustande im Laufe der Zeit
senkrecht bleiben, und jede Orthonormalbasis i (t0 ) wird eine Orthonormalbasis i (t) .
Aber dann erzwingt die Erhaltung der Gesamtwahrscheinlichkeit (1.28), da sich kein
Betrag eines Skalarproduktes mit der Zeit andert. Denn zerlegen wir den Zustand v(t0 )
in eine Orthonormalbasis i (t0 ) mit 1 (t0 ) = u(t0 ) und v(t) in die Basis i (t) , die sich
daraus im Laufe der Zeit entwickelt, so gilt
X
X
1=
|hi (t)|v(t)i|2 6
|hi (t0 )|v(t0 )i|2 = 1 .
(8.39)
i
Da keiner der Summanden zunimmt und die Summe gleich bleibt, bleibt jeder Term
ungeandert, insbesondere ist |hu(t)|v(t)i| = |hu(t0 )|v(t0 )i| .
Demnach ist, wenn die Entropie (6.5) im Laufe der Zeit in keinem Fall abnimmt,
die Zeitentwicklung eine wahrscheinlichkeitstreue Abbildung (8.7) von Strahlen des Hilbertraumes, zu der nach Wignertheorem eine unitare oder antiunitare Abbildung des
Hilbertraumes gehort. Da das Produkt zweier antiunitarer Abbildungen unitar ist und
sich jede Zeitentwicklung als hintereinander folgende Entwicklungen in Teilzeiten schreiben lat, ist Zeitentwicklung unitar und die Schrodingergleichung linear.
Dennoch wird die Zeitentwicklung von beispielsweise einem geladenen Teilchen, das in
leitenden Flachen seine Spiegeladung erzeugt, zutreffend von einer nichtlinearen Schrodingergleichung beschrieben, in der die influenzierte Ladung durch die Wellenfunktion
des Teilchens ausgedr
uckt ist. Die Entropie eines Gemisches solcher geladenen Teilchen
darf durchaus abnehmen, nur nicht die Entropie des abgeschlossenen Gesamtsystems,
das auch die Spiegelladungen umfat. Die Schrodingergleichung des Gesamtsystems ist
linear.
9 Relativistische Quantenmechanik
Relativistisch ist Quantenmechanik, in deren Hilbertraum eine unitare Darstellung der
Uberlagerung
derjenigen Poincare-Transformationen existiert, die stetig mit der Identitat
zusammenhangen. Dabei ist der Hamiltonoperator H die Erzeugende der Zeittranslation.
9.1 Poincar
e- und Lorentztransformationen
Poincare-Transformationen T,a sind linear inhomogene Transformationen der Raumzeit
4
R
R4
T,a :
.
(9.1)
0
x 7 x = x + a
Dabei konnen x0 , x und a = (a0 , a1 , a2, a3 ) als Spaltenvektoren gelesen werden, die
wir im laufenden Text aber als Zeilenvektoren schreiben, und als 4 4 Matrix. Der
Vierervektor a bewirkt eine Verschiebung oder Translation, ist definitionsgema eine
Lorentztransformation, also eine Transformation, die Skalarprodukte
u v = u 0 v0 u 1 v1 u 2 v2 u 3 v3
(9.2)
invariant lat
(u) (v) = u v ,
u, v .
(9.3)
(9.4)
1
1
1
1
(9.5)
ist, erf
ullen Lorentztransformationen die Matrixgleichung
T = .
(9.6)
96
9 Relativistische Quantenmechanik
v
~
v
1
1
v
33 + v2 ~
2
1v
1
Sie bildet den Vektor e0 = (1, 0, 0, 0) auf 1v
(1,~v) ab und lat die Vektoren w invari2
ant, die senkrecht auf e0 und L~v e0 stehen, also nur einen raumlichen Anteil haben, der
zudem senkrecht auf ~v steht.
Hier und im folgenden verwenden wir einfachheitshalber Masysteme mit c = 1.
Drehungen sind Lorentztransformationen, die die Zeit unverandert lassen, x0 0 = x0 .
Die Poincare-Transformationen bilden eine Gruppe, denn hintereinander ausgef
uhrte
oder invertierte Poincare-Transformationen sind wieder Poincare-Transformationen
oder
det = 1 .
(9.9)
(9.10)
oder
0 0 6 1 .
(9.11)
Daher konnen nicht die 1-Matrix, die Raumspiegelung P und die Zeitumkehr T,
1
1
1
1
,
, T=
(9.12)
P=
1
1
1
1
sowie ihr Produkt PT durch stetige Abanderung ihrer Matrixelemente innerhalb der Lorentzmatrizen ineinander verformt werden, denn 0 0 und det sind stetige Funktionen
der Matrixelemente.
Jede Lorentztransformation ist entweder von der Form
oder T
oder P
oder TP ,
(9.13)
wobei eine eigentliche Lorentztransformation ist, das heit, sie ist orientierungstreu,
det = 1, und zeitrichtungstreu, 0 0 > 1 .
97
Jede eigentliche Lorentztransformation lat sich als Produkt einer Drehung R, die
R 0 = 1 und det R = 1 erf
ullt, mit einer drehungsfreien Lorentztransformation L~v (9.7)
schreiben [6, Anhang D]
= L~v R .
(9.14)
0
~
Denn w = e0 definiert einen raumlichen Vektor ~v = ww
0 und eine drehungsfreie Lorentztransformation L~v , die ebenfalls e0 auf w abbildet, L~v e0 = e0 . Demnach ist L~v1 = R
eine Lorentztransformation, die e0 invariant lat, also eine Drehung. Diese Zerlegung
= L~v R ist bei gegebenem e0 , (e0 )2 > 0, eindeutig.
Da sich jedes L~v und jede Drehung R mit det R = 1 als Exponentialreihe einer Matrix
mit
= ()T
(9.15)
schreiben lat, hangen die eigentlichen Lorentztransformationen stetig mit der 1-Matrix
zusammen. Umgekehrt ist jedes
= e
(9.16)
eine Lorentztransformation, wenn (9.15) erf
ullt ist. Denn es gilt (n )T = (T )n f
ur
T
(T )
jede Potenz von und folglich f
ur die Exponentialreihe (e ) = e
. Zudem gilt
T
n
n
T n
= und daher = (1) ( ) und f
ur die Exponentialreihe e =
T
e
, also erf
ullt e die definierende Relation (9.6) von Lorentzmatrizen, (e )T (e ) =
T
T
e e = .
Jede Translation T1,a lat sich als Exponentialreihe 1
T1,a = ea
(9.17)
m x n = m n
(9.18)
schreiben, wie man elementar durch Anwenden der Reihe auf Funktionen f(x) bestatigt,
m
ea m f(x) = f(x + a).
9.2 Basiszust
ande und Wellenfunktionen
Eine unitare Darstellung der Poincare-Transformationen im Hilbertraum H ordnet jeder
Transformation T,a einen unitaren oder antiunitaren Operator U,a : H H zu,
wobei das Produkt der unitaren Operatoren dem Hintereinanderausf
uhren der PoincareTransformationen entspricht
U2 ,a2 U1 ,a1 = U2 1 ,a2 +2 a1 .
(9.19)
Die Transformationen U,0 schreiben wir kurz als U , die zu Translationen gehorigen
U1,a als Ua .
1
Wir verwenden die Einsteinsche Summationskonvention: ein in einem Term doppelt vorkommender
Index enth
alt die Anweisung, u
ber seinen Laufbereich zu summieren.
98
9 Relativistische Quantenmechanik
(9.21)
Die Koeffizienten mn = ml l n = nm sind die Matrixelemente der antisymmetrischen Matrix (9.15), wobei = e gilt. Wegen mn = ml l n = nm gilt
auch Mmn = Mnm , ein eventueller symmetrischer Anteil w
urde in der Doppelsumme
mn Mmn nicht beitragen. Die Operatoren M0i erzeugen drehungsfreie Lorentztransformationen, die Operatoren M12 = Jz , M23 = Jx und M31 = Jy erzeugen Drehungen
und sind definitionsgema die drei Komponenten des Drehimpulsoperators ~J.
Weil Translationen vertauschen, Ua Ub = Ua+b = Ub Ua , vertauschen die Komponenten des Viererimpulses
[P m , P n ] = 0
(9.22)
und die Operatoren P m haben gemeinsame Eigenzustande p
P m p = pm p ,
(9.23)
die eine Basis des Hilbertraumes aufspannen. Der Index ist ein Entartungsindex, den
wir im Vorgriff auf das Ergebnis unserer Betrachtung als Spin des Zustandes p mit
Impuls p bezeichnen.
Mit Lorentztransformationen werden Translationen transformiert,
U Ua U1
= Ua
(9.24)
9.19
9.19
ur den Viererimpuls P
denn es gilt U,0 U1,a U1 ,0 = U,a U1 ,0 = U1,a , und f
1
1
9.3
i(a)P
ur jede
folgt U eiaP U1
= ei(a)( P) = eia( P) . Weil f
= Ua = e
1 P)
1
1
(iaU PU1
)
ia(
(9.25)
99
(9.26)
Im letzten Schritt ist die Eigenwertgleichung (9.23) verwendet worden, und die Multiplikation mit den Zahlen m n pn ist mit der unitaren Transformation U vertauscht
worden. Weil der Zustand (U p ) Vierimpuls p hat, ist er eine Linearkombination
von Basiszustanden mit diesem Impuls
X
U p =
(p)0 M0
(9.27)
0
Wenn es, wie wir im weiteren unterstellen wollen, Zustande Ruhe gibt, die zu einem
ruhenden Teilchen gehoren, dessen Energie seine Masse ist, p0 = m, und dessen Impuls
~p = 0 verschwindet, dann gibt es auch Zustande UL~v Ruhe des bewegten Teilchens mit
m~
v
m
und Impuls ~p = 1v
, p = (p0 , ~pT )T = L~v (m, 0, 0, 0)T , die man
Energie p0 = 1v
2
2
durch drehungsfreie Lorentztransformation (9.7) des ruhenden Teilchens erhalt. Dabei
ist m eine feste Zahl und nicht ein Eigenwert aus einem Kontinuum moglicher Energien,
die Mehrteilchenzustande mit verschwindendem Gesamtimpuls ~p haben konnen. Die
moglichen Eigenwerte p, die dieses Teilchen haben kann, bilden die Massenschale
p2 = p0 2 ~p2 = m2 .
Auf diesen Einteilchenzustanden wirkt H als der Operator
q
0
H = P = m2 + ~P 2 .
(9.28)
(9.29)
Weil das Spektrum von ~P dreidimensional kontinuierlich ist, konnen die Eigenzustande
nicht normierbar sein, sondern m
ussen kontinuumsnormiert sein. Wir verlangen daher
hp |p0 0 i = 3 (~p ~p0 )0
und setzen aus den Basiszustanden normierbare Wellenpakete zusammen
XZ
(~p) .
d3 p|p i
|i =
(9.30)
(9.31)
Ist p eine kleiner Bereich bei ~p von der Groe d3 p, so gilt naherungsweise
(~p)|2 d3 p .
w(, ~p, d3 p, ) = |
(9.33)
100
9 Relativistische Quantenmechanik
Die Ortswellenfunktion (~x) = hx |i ist das Skalarprodukt des Ortseigenzustandes x mit Spin mit dem Zustand . Es ergibt sich aus den Ortswellenfunktionen
der Impulszustande
1
hx |p0 i =
0 ei~p~x
(9.34)
3/2
(2)
als
(~x) = d3 p
1
(~p) .
ei~p~x
3/2
(2)
(9.35)
(9.36)
erf
ullt. Solche Relationen sind zwar vertraglich damit, da X und P unter Lorentztransformationen wie Vektoren transformieren, sie hatten aber zur Folge, da das Spektrum
von H so wie das Spektrum der Operatoren Px , Py und Pz kontinuierlich ist und auch
bei festgehaltenen Werten der anderen Impulsoperatoren aus allen reellen Zahlen besteht. Das Spektrum moglicher Energien
p ware also nach unten unbeschrankt. Zudem
0
ware (9.36) unvertraglich mit P = m2 + ~P 2 (9.29), denn P 0 (~P) vertauscht mit X0 ,
wenn X0 mit ~P vertauscht.
Da kovariante String-Theorien die Relation (9.36) enthalten, sind sie meiner Einschatzung nach physikalisch unhaltbar. Zwar enthalten sie eine Auswahlregel, da
f
ur physikalische Zustande p2 = m2 gelten mu, wobei f
ur m2 eine diskrete Menge
von Zahlen zulassig ist. Es lassen sich aber aus kontinuumsnormierten Basiszustanden
hp |p0 i = 4 (p p0 ), wie sie zur Realisierung von (9.36) erforderlich waren, keine nor
mierbaren Wellenpakete zusammensetzen, deren Impulswellenfunktionen (p)
nur bei
2
2
p = m von Null verschieden sind: Durch Abandern des Funktionswertes der Wellenfunktion in einzelnen Punkten eines Kontinuums andert man den Zustand nicht,
denn alle Skalarprodukte bleiben unverandert. Folglich gehort eine Wellenfunktion, die
nur f
ur p2 = m2 von Null verschieden ist und im u
brigen in einem vierdimensionalen Kontinuum von Impulswerten verschwindet, zum Nullvektor des Hilbertraumes H
und nicht zu einem physikalischen
Zustand. Enthielte die Wellenfunktion eine Deltap
0
2
2
XZ
2
2
(~p) ,
|(t)i =
d3 p |p i ei m +~p t
Z
(t, ~x) = d3 p
1
0
(~p) .
ei(~p~xp t)
3/2
(2)
101
(9.37)
(9.38)
Auch wenn hier ~x und t im Lorentzinvarianten Skalarprodukt auftreten, so haben sie doch
~
wesentlich verschiedene Eigenschaften: ~x sind mogliche Mewerte von Ortsoperatoren X,
t parametrisiert die Zustande im Ablauf der Zeit. Die Wahrscheinlichkeit, das Teilchen
im Zustand (t) mit Spinwert in einem ortlichen Bereich zu finden, ist
Z
w(, , ) = d3 x | (t, ~x)|2 .
(9.39)
e
(t, ~x) .
(9.40)
(2)3/2
Dies gilt f
ur alle Zeiten t. In (9.38) eingesetzt ergibt sich (x = (t, ~x), y = (y0 , ~y))
Z
Z
1
i(~
p(~
x~
y) m2 +~
p2 (x0 y0 ))
3
e
.
(x) = d y D(x, y) (y) mit D(x, y) = d3 p
3
(2)
(9.41)
Die Funktion D(x, y) verschwindet nicht, wenn x raumartig zu y liegt. Sie hangt nur
von x y ab und schreibt sich mit dem Lorentzinvarianten Integrationsma
=
dp
als Ableitung
d3 p
,
(2)3 2p0
p0 =
p
m2 + ~p 2
0 ipx
eipx .
D(x) = dp 2p e
= 2 0 (i) dp
x
Z
(9.42)
(9.43)
102
9 Relativistische Quantenmechanik
(9.44)
3
(2)
Der Strom ist lokal und macht nur Gebrauch von endlich vielen Ableitungen von und
, wenn ~J polynomial von ~p und ~p0 abhangt. Dann ist auch div~ von dieser Form
Z
i
0
(~p0 )
(~p)(~p ~p0 )~J (~p0 , ~p)
div~ (x) = d3 p0 d3 p
ei(pp )x
(9.46)
3
(2)
und (~p ~p0 )~J (~p0 , ~p) ist polynomial in ~p und ~p0 . Es ist aber in
Z
i i(pp0 )x 0
e
(~p ) (~p)(p0 p0 0 )
(9.47)
(x) = d3 p0 d3 p
3
(2)
p
p
die Groe p0 p0 0 = m2 + ~p2 m2 + ~p0 2 nichtpolynomial und der Strom mit
~J (~p, ~p0 ) = (~p + ~p0 )
p
m2 + ~p2 m2 + ~p0 2
~p2 ~p0 2
(9.48)
erf
ullt zwar eine Kontinuitatsgleichung, ist aber nichtlokal.
Diese unausweichlichen Schlufolgerungen sind hinzunehmen. Genau betrachtet gibt
es in der Quantenmechanik keinen Operator im Hilbertraum, der zur Messung eines
Wahrscheinlichkeitsstromes gehort. Auch in nichtrelativistischer Quantenmechanik gehort zum Wahrscheinlichkeitsstrom
~ =
h
h
( ) =
(~ (~ ))
2im
2im
(9.49)
kein hermitescher Operator. Gemessen werden Impulse, daraus werden Geschwindigkeiten und Strome rekonstruiert. Die quantenmechanische Impulsmessung aber ist nichtlokal.
103
9.3 Unit
are Darstellung der Stabilit
atsgruppe
Die Untergruppe Hp aller Lorentztransformationen, die einen Impuls p invariant lassen,
Hp = { : p = p}, nennen wir Stabilitatsgruppe von p oder auch kleine Gruppe.
Weil zu Lorentztransformationen gehorige unitare Transformationen U Zustande p
mit Impuls p auf Zustande mit Impuls p abbilden (9.27), werden die Unterraume von
Zustanden mit festem Impuls p durch die zur Stabilitatsgruppe Hp gehorigen unitaren
Transformationen auf sich abgebildet.
Die Stabilitatsgruppe des Viererimpulses ruhender Teilchen p = (m, 0, 0, 0) besteht
aus Drehungen R. Die zugehorigen unitaren Transformationen drehen die Basiszustande
Ruhe in Linearkombinationen
X
(9.50)
Ruhe 0 D0 (R) .
UR Ruhe =
0
= UR1 R2 Ruhe =
00 0
(9.51)
00
(9.52)
Die Darstellungsmatrizen D(R) sind unitar, denn UR ist unitar und lat Skalarprodukte
invariant
9.30
9.27 X
3 (~p0 )0 = hUR p0 0 |UR Ruhe i =
hRp0 0 |Ruhe iM0 0 D (R)
0
(9.53)
(R~p
)0 M0 0 D (R)
Wegen f(x)(x) = f(0)(x) konnen wir den Faktor bei 3 (R~p0 ) bei ~p0 = 0 auswerten. Dort
ist M0 0 = D0 0 (R) (9.50). Zudem ist 3 (R~p0 ) = 3 (~p0 )/| det R| = 3 (~p0 ). Vergleichen
wir nun die Koeffizienten der Deltafunktion, so lesen wir ab, da D Matrixelemente
einer Matrix sind, die D D = 1 erf
ullt, also unitar ist
X
0 =
D0 (R)D (R) = (DT D)0 .
(9.54)
Da die Darstellung der Drehgruppe unitar sein mu, schrankt sie nicht wesentlich ein.
Denn da die Drehgruppe kompakt ist, ist jede ihrer irreduziblen Darstellungen in geeigneter Basis unitar.
104
9 Relativistische Quantenmechanik
Der Unterraum der Zustande des ruhenden Teilchens zerfallt in Drehimpulsmultipletts. Da verschiedene Multipletts nicht ineinander transformieren, reicht es, jeweils
nur ein Multiplett zu betrachten, also einfachheitshalber zu unterstellen, da D eine
Darstellung mit Spin s ist mit 2s + 1 Basiszustanden. Diese Basiszustande wahlen wir
als Eigenzustande von Jz und bezeichnen sie mit ihrem Spin in z-Richtung (2.46)
Jz Ruhe = Ruhe ,
{s, s 1, . . . , s} .
(9.55)
p
(s )(s + 1) Ruhe 1 .
(9.56)
Mit Jx = (J+ + J )/2 und Jy = (J+ J )/(2i) lat sich durch Auswertung der ExponenP
~
tialreihe ei~J Ruhe = 0 Ruhe 0 D0 (R) die Darstellungsmatrix derjenigen Drehung
R bestimmen, die um die Achse
~ /|~
| um den Winkel |~
| dreht.
(9.57)
Sie ist durch L~v (9.7) mit ~v = ~p/p0 gegeben. In einer Zerlegung in (1+3)(1+3)-Blocke
ist sie
!
p
pj
1 p0
Lp =
, wobei p0 = m2 + ~p2 .
(9.58)
pi pj
i
ij
m p m + p0 +m
Hierbei zahlen i und j, i, j {1, 2, 3}, die raumlichen Zeilen und Spalten ab. Eine Drehung
R hat in derselben Zerlegung die Form
1 0
1 0
1
R=
(9.59)
, R = 0 R
T ,
0 R
eine dreidimensionale Drehung ist, R
T = R
1 . Man rechnet elementar nach
wobei R
RLp R1 = LRp .
(9.60)
105
die Basis p schon so gewahlt, da sie bis auf positive Normierungsfaktoren N(p, )
mit ULp Ruhe u
bereinstimmt
p = N(p, )ULp Ruhe .
(9.61)
Wie U auf diese Basis wirkt, ist vollstandig durch die Lorentzgruppe, ihre Wirkung
auf p und die Darstellung D der Stabilitatsgruppe Hp festgelegt.
U p = N(p, )UULp Ruhe = N(p, )ULp ULp 1 U ULp Ruhe
(9.62)
Die Operatoren U sind eine Darstellung, folglich ist ULp 1 U ULp = UW mit
W(, p) = Lp 1 Lp .
(9.63)
Es ist aber W(, p) eine Lorentztransformation, die p zunachst mit Lp auf p abbildet,
dann auf p und schlielich drehungsfrei mit L1
uck auf p. Sie lat also p invariant
p zur
und ist eine Drehung, die sogenannte Wigner-Rotation.
Drehungen W werden durch D(W) dargestellt
X
U p = N(p, )ULp UW Ruhe = N(p, )ULp
Ruhe 0 D0 (W)
(9.64)
0
X N(p, )
p 0 D0 (W(, p)) .
N(p, 0)
0
(9.65)
1
hL1
=
0 |Ruhe iD0 (W(Lp , q))
p q
1 q, 0 )
N(L
p
0
N(p, )N(q, )
D (W(L1
= 3 (L1
p , q))
p q)
N(L1
q,
)
p
(9.66)
Wegen f(x)(x) = f(0)(x) kann der Faktor bei der -Funktion dort ausgewertet werden,
1
wo L1
p q verschwindet, also bei q = p. Dort ist die Wigner-Rotation W(L p , p) wegen
L1
at, LL1
L1 Lp = LL1
= Lp = 1. Sie wird durch D(1) = 1
p p = p die Identit
p p p
p p
1
1
3 1
3 (L1
q
L
p)
=
(
Lp (q p)) =
p
p
1
3 (~q ~p)
| det J|
(9.67)
106
9 Relativistische Quantenmechanik
pi pj
p0 (p0 + m)
(9.68)
Ihre Determinante ist das Produkt ihrer Eigenwerte. Von denen sind zwei 1, denn Vektoren, die senkrecht auf ~p stehen, werden durch J auf sich abgebildet. Zudem ist ~p
Eigenvektor, J~p = pm0 ~p. Die Determinante von J hat also den Betrag pm0 .
F
ur N(p, ) erhalten wir schlielich
r
m
N(p, ) =
.
(9.69)
p0
ist, wie behauptet, vollstandig durch die Masse und den Spin des Teilchens festgelegt.
Wegen (9.60) ist die Wigner-Rotation, die zu einer Drehung R gehort, unabhangig von
p und einfach R selbst
W(R, p) = LRp 1 RLp = LRp 1 (RLp R1 )R = LRp 1 LRp R = R ,
(9.71)
(9.72)
1
(p)eipa eip0 t = (t + a0 , ~x + a
ei~p~x
~)
3/2
(2)
(9.74)
D0 (R) d3 p
1
(p)eip0 t
ei(R~p)~x
3/2
(2)
(9.75)
107
wobei wir verwendet haben, da sich das Skalarprodukt unter Drehungen nicht andert
(R~p)~x = (R~p)(RR1~x) = ~p(R1~x).
Lorentztransformationen wirken nicht in dieser einfachen Form
X
(U ) (x) 6=
M0 ()0 (x) ,
(9.76)
0
wobei M() Darstellungen der Lorentzgruppe sind, sondern sind nichtlokal. Um dies zu
zeigen, schreiben wir den Einteilchenzustand
XZ
XZ
3
p, D1
=
d p p, (p) =
(9.77)
dp
0 (Lp ) 0 (p)
0
(2)32p0 p, ,
h
p0 ,0 |
p, i = (2)32p0 3 (~p0 ~p) ,
(9.78)
(9.79)
X
0
p, D0 (W(, p)) D1
U =
dp
(9.81)
0 00 (Lp ) 00 (p) .
0 00
Das Produkt der Darstellungsmatrizen ist nach Definition der Wignerrotation gleich
D(L1
ber p u
ber p0 = p, so andert sich das Integratip ) D(). Integrieren wir statt u
onsma nicht und wir erhalten, wenn wir zudem den Strich 0 weglassen,
X Z
1
p, D0 (L1
U =
dp
p) ,
(9.82)
p ) D0 00 () 00 (
0 00
(9.83)
108
9 Relativistische Quantenmechanik
eipx
(p)
(x) = dp
(9.84)
) (x) = P 0 D0 ()
0 (1 x) . Aber sie ist nicht die
transformiert folglich lokal, (U
der Impulswellenfunktion
Z
Z
p
d3 p ipx
0 (p)
eipx 2p0 D10 (Lp )
e
(p)
=
(9.85)
dp
(t, x) =
(2)3/2
also die Fouriertransformierte eines Produktes umd demnach ein Faltungsintegral
mit der Fouriertransformierten der Funktion
der lokal transformierenden Funktion
p
1
0
2p D0 (Lp ).
Da Ortswellenfunktionen unter Lorentztransformationen nichtlokal transformieren,
mu es sich bei Feldern mit einem Transformationsgesetz
T (x) = D () (1 x)
(9.86)
T eiaP T 1 = eT (iaP)T
= ei(Ta)P = eia(TP)
(9.87)
also
T (iP 0 )T 1 = iP 0 ,
T (i~P)T 1 = i~P .
(9.88)
(9.89)
Wenn das Energiespektrum nicht spiegelsymmetrisch zu Null ist, wie das in allen physikalisch akzeptablen Theorien der Fall ist, so ist T antilinear
T (c) = c (T ) ,
c C H .
(9.90)
und erf
ullt in relativistischer Quantenmechanik
T P 0 T 1 = P 0 , T ~PT 1 = ~P .
(9.91)
109
T Mij T 1 = Mij .
(9.92)
unvollst
andig
Anhang
1 = PV 1 i(x)
A lim0+ x+i
x
1
1
dx
=
t( )
dx t(x) 2
2 = sign() dx t(x)
2
x
x +
1+
1 + x2
(A.1)
x
Der Realteil x2 +
2 ist eine ungerade Funktion von x. Auf eine Testfunktion t(x) angewendet, die f
ur groe x gen
ugend schnell abfallt, tragt daher nur deren ungerader Anteil
xt(x) bei.
t(x) t(x) = 2x t(x)
(A.2)
Z
Z
x2
x
1 xt(x) xt(x)
2
dx t(x) 2
= dx
= dx x2 t(x)
2
2
2
x +
2
x +
1 + 2
Z
Z
x 1 x
(A.3)
t(
= dx t(x) || d
)
1 + x22
Z
Z
Z
t
(x)
= dx t(x) || dx
dx t(x)
1 + x2 0
F
ur differenzierbare Testfunktionen t ist t stetig erganzbar bei x = 0 und hat dort den
dt
Wert dx
. Das Integral u
ber t ist der Hauptwert (principal value) PV x1 integriert mit
einer Testfunktion t(x).
Z
Z
Z
Z
1 t(x) t(x)
t(x)
t(x)
t(x)
dx
= lim
+
dx
= dx
(A.4)
dx
0+
2
x
x
x
x
+
lim
0+
gezeigt.
1
1
= PV i(x)
x +i
x
(A.5)
sin2(tx)
= (x)
B limt
tx2
Das Integral mit einer Testfunktion f(x) schreibt sich als
Z
Z
Z
sin2 (tx)
tx sin2 tx
x sin2 x
dx f(x)
=
tdx
f(
)
=
dx
f(
)
tx2
t (tx)2
t x2
sin2 (tx)
= (x) .
t
tx2
lim
(B.1)
(B.2)
(B.3)
C Bemerkung zur
Fouriertransformation
Fouriertransformation bildet quadratintegrable Funktionen unitar auf quadratinteg ab
rable Funktionen
Z
Z
dy ixy
dy
e
(x) = e (y) , (x) = eixy (y)
,
(C.1)
2
2
e
e
e
e
(y)(y0 )
(C.2)
dx (x)(x) = dydy0
2
R
stimmt wegen (3.49) mit dem urspr
unglichen Skalarprodukt dy (y)(y) u
berein.
e
e
Wegen f(x)
= f(x) f
uhrt vierfach hintereinander ausgef
uhrte Fouriertransformation
zur Ausgangsfunktion f zur
uck. Da die Fouriertransformation unitar ist, kann sie nur
Eigenwerte vom Betrag 1 haben, die zudem 4 = 1 erf
ullen. Die moglichen Eigenwerte
sind also 1, i. Zerlegt man eine Funktion in f = g + u in einen geraden g(x) =
g(x) und einen ungeraden u(x) = u(x) Anteil, so kann man f als Summe von
vier Eigenanteilen unter Fouriertransformation mit den Eigenwerten 1, i schreiben:
) + 1/2(g g
) und u = 1/2(u i
g = 1/2(g + g
u) + 1/2(u + i
u).
Da Fouriertransformation eine Funktion wie die Gaufunktion wieder auf sich abbildet, ist also nicht auergewohnlich.
(D.1)
(D.2)
(D.3)
Die Ableitung der Determinante einer einparametrigen Schar von Matrizen M() ist
daher nach Kettenregel
det M() = det M(M1 )j i Mi j .
(D.4)
Ist f
ur = 0 die Matrix M(0) = , so ist dort die Ableitung der Determinante die Spur
der abgeleiteten Matrix M|=0
(D.5)
E Der Propagator
unvollst
andig
Literaturverzeichnis
[1] A. Galindo and P. Pascual, Quantum Mechanics I and II, Springer Verlag, Heidelberg, 1990
[2] M. Reed and B. Simon, Analysis of Operators, Academic Press, New York, 1978
[3] John S. Bell, On the Einstein-Podolsky-Rosen paradox, Physics 1 (1964) 195
John S. Bell, Speakable and unspeakable in quantum mechanics, Cambridge University Press, Cambridge, 1987
[4] Alain Aspect, Jean Dalibard and Gerard Roger, Experimental Test of Bells Inequalities Using Time-Varying Analyzers, Phys. Rev. Lett. 49 (1982) 1804 1807
[5] Steven Weinberg, The Quantum Theory of Fields Volume 1, Cambridge University
Press, Cambridge, 1995
[6] Norbert Dragon, Geometrie der Relativitatstheorie,
http://www.itp.uni-hannover.de/~dragon