Beruflich Dokumente
Kultur Dokumente
Quantenmechanik II
Dirk H. Rischke
Sommersemester 2012
Inhaltsverzeichnis
1 Relativistische Wellengleichungen
1.1 Die Klein-Gordon-Gleichung . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.1 Heuristische Herleitung . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.2 Losungen der freien Klein-Gordon-Gleichung . . . . . . . . . . . . .
1.1.3 Die Lagrange-Dichte der Klein-Gordon-Gleichung . . . . . . . . . .
1.1.4 Die Klein-Gordon-Gleichung in externen Feldern . . . . . . . . . . .
1.1.5 Stromerhaltung in der Klein-Gordon-Gleichung . . . . . . . . . . .
1.1.6 Das Verhalten unter Lorentz-Transformationen . . . . . . . . . . . .
1.2 Die Dirac-Gleichung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1 Heuristische Herleitung . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.2 Kovariante Form der Dirac-Gleichung . . . . . . . . . . . . . . . . .
1.2.3 Die Lagrange-Dichte der Dirac-Gleichung . . . . . . . . . . . . . . .
1.2.4 Stromerhaltung in der Dirac-Gleichung . . . . . . . . . . . . . . . .
1.2.5 Losungen der freien Dirac-Gleichung I relativistische EnergieImpuls-Beziehung . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.6 Spin und Helizitat . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.7 Losungen der freien Dirac-Gleichung II Spinoren zu positiver und
negativer Energie . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.8 Diracsche Lochertheorie . . . . . . . . . . . . . . . . . . . . . . . .
1.2.9 Die Dirac-Gleichung in externen Feldern . . . . . . . . . . . . . . .
1.2.10 Ladungskonjugation . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.11 Nichtrelativistischer Grenzfall Pauli-Gleichung . . . . . . . . . . .
1.2.12 Die Spin-Bahn-Kopplung . . . . . . . . . . . . . . . . . . . . . . . .
1.2.13 Gesamtdrehimpuls . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.14 Paritat . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.15 Das relativistische Wasserstoffatom I Vorbemerkungen . . . . . .
1.2.16 Die generalisierten Kugelflachenfunktionen . . . . . . . . . . . . . .
1.2.17 Das relativistische Wasserstoffatom II Losung der Radialgleichungen
1.3 Die Proca-Gleichung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2 Symmetrien
2.1 Symmetrien in der Quantenmechanik
2.1.1 Raum-Translationen . . . . .
2.1.2 Zeit-Translationen . . . . . .
2.1.3 Drehungen . . . . . . . . . . .
2.2 Einf
uhrung in die Gruppentheorie . .
2.2.1 Allgemeines u
ber Gruppen . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
2
2
4
5
6
8
9
9
9
13
16
17
17
19
23
27
29
29
32
34
35
37
38
39
45
56
57
57
57
60
61
62
62
Inhaltsverzeichnis
2.3
2.4
2.5
3 Pfadintegrale
3.1 Dynamik klassischer Teilchen . . . . . . . . . . . . . . . . . . . . .
3.1.1 Das Hamiltonsche Prinzip . . . . . . . . . . . . . . . . . . .
3.1.2 Das modifizierte Hamiltonsche Prinzip . . . . . . . . . . . .
3.2 Dynamik quantenmechanischer Teilchen . . . . . . . . . . . . . . .
3.3 Pfadintegralformulierung im Phasenraum . . . . . . . . . . . . . . .
3.4 Pfadintegralformulierung im Ortsraum . . . . . . . . . . . . . . . .
ii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
64
67
77
79
86
86
89
91
94
94
96
97
99
.
.
.
.
.
.
.
.
110
113
113
115
119
121
124
132
137
. 137
. 137
. 138
. 139
. 140
. 143
. 144
. 147
. 154
. 159
1 Relativistische Wellengleichungen
17.4.2012
Zum Anfang des 20. Jahrhunderts revolutionierten zwei physikalische Theorien unser
Verstandnis der Natur auf grundlegende Weise: die Spezielle Relativit
atstheorie und
die Quantenmechanik. Letztere wurde allerdings in einer rein nichtrelativistischen
Form entwickelt (vgl. Vorlesung Quantenmechanik I). Schon bald begannen sich daher
die Physiker die Frage zu stellen, ob man die Quantenmechanik nicht auch in eine Form
bringen kann, die den Anforderungen der Speziellen Relativitatstheorie gen
ugt. Dies f
uhrt
zu den sog. Relativistischen Wellengleichungen.
Ein Beispiel f
ur solche Gleichungen haben wir schon in der Vorlesung Elektrodynamik
(s. dort Gl. (1.76)) kennengelernt: die Maxwell-Gleichungen lassen sich ohne weiteres
in relativistisch kovarianter Form schreiben,
F = 0 j ,
(1.1)
LED
LED
,
( A )
A
(1.3)
aus der Lagrange-Dichte der Elektrodynamik (vgl. Gl. (1.70) der Vorlesung Elektrodynamik),
1
LED =
F F j A ,
(1.4)
4 0
herleiten.
Die Maxwell-Gleichungen stellen allerdings eine klassische und keine quantenmechanische Beschreibung elektromagnetischer Wellen dar. Die Schro
dinger-Gleichung in
der Quantenmechanik dagegen ist eine (nichtrelativistische) Wellengleichung f
ur quantenmechanische Teilchen. Wir werden zwei relativistische Verallgemeinerungen diskutieren, die Klein-Gordon-Gleichung und die Dirac-Gleichung. Beides sind relativistische Wellengleichungen, aber erstere transformiert sich wie ein Skalar unter LorentzTransformationen, d.h. sie ist Lorentz-invariant, wahrend letztere sich wie ein Spinor transformiert (das genaue Transformationsgesetz f
ur Spinoren werden wir erst in der
1 Relativistische Wellengleichungen
Vorlesung Quantenfeldtheorie genauer erlautern). Physikalisch bedeutet dies, dass die
Klein-Gordon-Gleichung skalare Teilchen, d.h. Bosonen mit Spin null beschreibt,
wahrend die Dirac-Gleichung f
ur Fermionen mit Spin 1/2 gilt. Eine relativistische Beschreibung des Elektrons im Wasserstoffatoms muss daher auf der DiracGleichung beruhen. Zum Abschluss des Kapitels besprechen wir auch noch eine Wellengleichung f
ur massive Bosonen mit Spin 1, die sog. Proca-Gleichung. Wie die MaxwellGleichungen der Elektrodynamik lassen sich auch all diese relativistischen Wellengleichungen aus entsprechenden Lagrange-Dichten mittels der Euler-Lagrange-Gleichungen
herleiten.
0 (t, ~r) ,
(t, ~r) = H
t
wobei der freie Hamilton-Operator
2
0 p~
H
2m
ist, mit dem 3-Impuls-Operator
~ .
p~ = i~
i~
(1.5)
(1.6)
(1.7)
Wir versuchen nun, aus der Schrodinger-Gleichung (1.5) eine Wellengleichung mit wohldefiniertem Transformationsverhalten unter Lorentz-Transformationen zu machen. Dazu bemerken wir zunachst, dass der 3-Impuls-Operator auf der rechten Seite in
quadratischer Form auftritt, wohingegen der Energie-Operator
E = i~
(1.8)
t
auf der linken Seite nur in linear Form auftaucht.
In der Speziellen Relativitatstheorie werden aber 3-Impuls ~p und Energie E zum 4Impuls zusammengefat, vgl. Vorlesung Analytische Mechanik und Spezielle Relativitatstheorie, Glgen. (5.52) und (5.62),
T
E
p =
, ~p
,
(1.9)
c
der sich wie ein 4-Vektor transformiert. Das 4-Betragsquadrat
E2
p~ 2 = m2 c2 ,
(1.10)
2
c
vgl. Gl. (5.53) der Vorlesung Analytische Mechanik und Spezielle Relativitatstheorie,
ist Lorentz-invariant. F
ur die moglichen Werte der relativistischen kinetischen Energie
erhalten wir aus Gl. (1.10)
p
E = Ep~ , Ep~ c p2 + m2 c2 ,
(1.11)
p p =
~
p
, p~
, i~
= i~
i~ ,
(1.12)
c
(ct)
wobei wir die Definition der kontravarianten partiellen Ableitung benutzt haben,
T
=
,
,
,
x
x0 x1 x2 x3
T
T
~
, 1, 2, 3
,
x0
x
x
x
(ct)
vgl. Gleichung nach Gl. (5.43) der Vorlesung Analytische Mechanik und Spezielle Rela aber quadratisch in ~p
tivitatstheorie. Die Schrodinger-Gleichung, welche linear in E,
ist, kann sich also nicht in Lorentz-kovarianter Weise transformieren. Dazu m
usste sie
entweder
(i) linear im 4-Impuls p sein, d.h. linear in E und linear in ~p, oder
(ii) quadratisch im 4-Impuls p sein, d.h. quadratisch in E und quadratisch in ~p.
Wir versuchen zunachst (weil dies einfacher ist), eine Gleichung gema Forderung (ii)
aufzustellen. Das Quadrat des 4-Impuls-Operators (1.12) ist
p p = (i~)2 = ~2 ,
(1.13)
wobei
1 2
(1.14)
c2 t2
der dAlembert- oder Quabla-Operator ist, vgl. Gl. (5.45) der Vorlesung Analytische
Mechanik und Spezielle Relativitatstheorie. Wir suchen nun Losungen der EigenwertGleichung
p p (X) = m2 c2 (X)
(1.15)
1 Relativistische Wellengleichungen
f
ur den Operator (1.13), d.h. die Eigenfunktionen (X) und Eigenwerte p p m2 c2
zum Operator p p . Hier haben wir benutzt, dass die Eigenwerte des hermitischen Operators p p genau seinen Erwartungswerten p p m2 c2 entsprechen. Dies ist analog zur
Schrodinger-Gleichung (1.5), wo die Eigenwerte des Hamilton-Operators (1.6) den Erwartungswerten ~p 2 /(2m), also in diesem Fall den nichtrelativistischen kinetischen Energien
entsprechen.
Etwas umgestellt lautet Gl. (1.15)
p p m2 c2 (X) = ~2 + m2 c2 (X) = 0 .
(1.16)
Dies ist die sog. Klein-Gordon-Gleichung im wechselwirkungsfreien Fall, oder kurz, die
freie Klein-Gordon-Gleichung. Da lediglich Betragsquadrate von 4-Vektoren oder skalare
Groen wie m und c auftreten, transformiert sie sich wie ein Lorentz-Skalar, ist also
Lorentz-invariant (Voraussetzung ist, dass sich auch (X) wie ein Lorentz-Skalar tranformiert; wir untersuchen das Transformationsverhalten genauer in Abschnitt 1.1.6). Diese
Gleichung wurde von Oskar Klein und Walter Gordon als relativistische Verallgemeinerung der Schrodinger-Gleichung aufgestellt. Sie liefert, wie wir im folgenden gleich sehen
werden, zwar die korrekte relativistische Energie-Impuls-Beziehung (1.11), aber in Anwendung auf das Elektron im Wasserstoffatom nicht die korrekten Bindungszustande (was
wir hier nicht beweisen). Der Grund ist, dass der Spin des Elektrons nicht ber
ucksichtigt
wird. Die Klein-Gordon-Gleichung spielt dennoch in der Feldtheorie und der Elementarteilchenphysik eine wichtige Rolle, denn sie beschreibt, aufgrund ihres Lorentz-skalaren
Charakters, Teilchen mit Spin null, also Bosonen wie z.B. das Pion, das Kaon etc.
19.4.2011
1.1.2 L
osungen der freien Klein-Gordon-Gleichung
Es ist nicht schwer, die Losungen der freien Klein-Gordon-Gleichung (1.16) zu finden.
Wir machen den Ebene-Wellen-Ansatz
i
i 0 0
i
p x p~ ~r = exp
p x = exp
(E t p~ ~r) ,
(1.17)
(X) = exp
~
~
~
wobei wir p0 = E/c und x0 = c t benutzt haben. Eingesetzt in die Klein-Gordon-Gleichung
(1.16) ergibt sich
(
p p + m2 c2 ) (X) = (~2 + m2 c2 ) (X) = (p p + m2 c2 ) (X) = 0 ,
(1.18)
was durch
p p = p20 p~ 2 = m2 c2
(1.19)
gelost wird. Offenbar ist p p gerade der Eigenwert des Betragsquadrats p p des ImpulsOperators und die ebene Welle (1.17) die dazugehorige Eigenfunktion. F
ur die Energie
0
E = c p ergeben sich die beiden Losungen
p
p
E = c p0 = c p~ 2 + m2 c2 = p2 c2 + m2 c4 Ep~ .
(1.20)
4
p~ die Uberlagerung
zweier ebener Wellen,
i
i
(Ep~ t ~p ~r) + a exp (Ep~ t + p~ ~r) .
(1.21)
p~(X) = a+ exp
~
~
Die allgemeine Losung der freien Klein-Gordon-Gleichung (1.16) ist dann eine Superposition von ebenen Wellen zu verschiedenen Werten des 3-Impulses,
Z
d3 ~p
i
i
(X) =
a+ (~p) exp
(Ep~ t ~p ~r) + a (~p) exp (Ep~ t + p~ ~r)
,
2(2~)3Ep~
~
~
(1.22)
wobei die (i.a. komplexwertigen) Amplituden a (~p) vom 3-Impuls abhangen. Der Faktor
1/[2(2~)3Ep~ ] unter dem Integral ist reine Konvention, man hatte ihn auch in den Amplituden absorbieren konnen. F
ur reellwertige Losungen (X) = (X) erhalten wir eine
Gleichung, die a+ (~p) mit a (~p) in Beziehung setzt. Wir berechnen
Z
i
i
d3 p~
=
a+ (~p) exp (Ep~ t + ~p ~r)
2(2~)3 Ep~
~
i
(Ep~ t p~ ~r)
,
(1.23)
+ a (~p) exp
~
wobei wir im letzten Schritt die Substitution ~p ~p vorgenommen haben (unter der Ep~
invariant bleibt). Da dies nach Voraussetzung identisch mit (X) sein soll und andererseits die ebenen Wellen (1.17) ein orthogonales Funktionensystem darstellen, m
ussen die
Koeffizienten der ebenen Wellen in Gl. (1.22) und (1.23) identisch sein. Dies f
uhrt auf die
Bedingungen
a+ (~p) = a (~p) , a (~p) = a+ (~p) .
(1.24)
Die Amplituden f
ur reellwertige Losungen der Klein-Gordon-Gleichung sind also nicht
unabhangig voneinander. Es gen
ugt, beispielsweise nur a+ (~p) a(~p) zu betrachten und
die allgemeine (reellwertige) Losung (1.22) lautet
Z
d3 ~p
i
i
(X) =
a(~p) exp
(Ep~ t p~ ~r) + a (~p) exp (Ep~ t + ~p ~r)
.
2(2~)3 Ep~
~
~
(1.25)
1 Relativistische Wellengleichungen
(1.16) u
ber die Euler-Lagrange-Gleichung
0 =
LKG
LKG
( )
(1.26)
(~c)2
=
2
m2 c2 2
2
.
~
(1.27)
Der Faktor (~c)2 /2 ist dabei wieder reine Konvention (er sorgt daf
ur, dass die LagrangeDichte die korrekte Einheit Energiedichte besitzt). Man u
berzeugt sich leicht (ggfs. unter
Zuhilfenahme der Identitat = g ), dass
LKG
= (~c)2 ,
( )
sowie dass
LKG
= m2 c4 .
Eingesetzt in Gl. (1.26) ergibt sich (nach Division durch c2 ) die Klein-Gordon-Gleichung
(1.16).
Z
,
r
(1.28)
1
e2
(1.29)
40 ~c
137.036
die Sommerfeldsche Feinstrukturkonstante ist.
Die Einkopplung elektromagnetischer Felder in die Schrodinger-Gleichung hatten wir
bereits in Abschnitt 6.1.1 der Vorlesung Quantenmechanik I besprochen. Der ImpulsOperator ist dabei f
ur ein Teilchen der Ladung q durch den kanonischen ImpulsOperator
~ ~r)
p~ p~ q A(t,
(1.30)
~ ~r) das 3-Vektorpotential ist. Die potentielle Energie V (t, ~r)
zu ersetzen, wobei A(t,
q (t, ~r) des Teilchens im elektromagnetischen Feld wurde zum freien Hamilton-Operator
0 dazuaddiert, so dass sich letztendlich die Schrodinger-Gleichung in der Form
H
i2
1 h
#
i2
E q (t, ~r)
1 h
~
c
(t, ~r) =
p~ q A(t, ~r) (t, ~r) .
c
c
2m
(1.32)
E q
~
, p q A
c
!T
(1.33)
(1.34)
q
D + i A
~
(1.35)
wobei
die sog. kovariante Ableitung bezeichnet (kovariant hat hier ausnahmsweise nichts
mit der Stellung der Lorentz-Indizes zu tun).
Mit der Verallgemeinerung des 4-Impuls-Operators zum kanonischen 4-Impuls-Operator
(1.33) kann man sofort die Klein-Gordon-Gleichung in einem externen elektromagnetischen Feld formulieren,
[
p q A (X)] [
p q A (X)] m2 c2 (X) = ~2 D D + m2 c2 (X) = 0 . (1.36)
Man kann diese homogene, lineare, partielle Differentialgleichung 2. Ordnung nun z.B.
f
ur ein elektronahnliches Teilchen mit m = me und q = e im Coulomb-Potential (1.28)
eines wasserstoffahnlichen Atomkerns losen, also f
ur
(X) =
Ze
,
40 r
~
A(X)
0.
Dies geht ganz analog zur Losung der Schrodinger-Gleichung in der Vorlesung Quanten
mechanik I (wir stellen dies als Ubungsaufgabe).
Man findet aber z.B. f
ur Z = 1, also das
Wasserstoffatom, f
ur die Bindungsenergie des Grundzustands einen Wert, der nicht mit
dem experimentellen Befund E0 = ER 13.6 eV u
bereinstimmt. Die Klein-GordonGleichung ist also nicht die korrekte relativistische Verallgemeinerung der SchrodingerGleichung f
ur das Elektron.
1 Relativistische Wellengleichungen
(1.38)
(1.39)
~
~
~j =
(1.40)
s. Gl. (2.23) der Vorlesung Quantenmechanik I, vergleichen, so liegt es nahe, die in Gl.
(1.40) definierte Groe (zumindest bis auf einen konstanten Faktor) mit der Wahrscheinlichkeitsstromdichte der Klein-Gordon-Gleichung zu identifizieren. Dann m
usste
aber die zeitliche Komponente des 4-Stroms (1.39) bis auf einen Faktor c (und einen
konstanten Faktor) die zugehorige Wahrscheinlichkeitsdichte sein,
j0
1
1
.
(1.42)
= ( 0 0 ) = 2
c
c
c
t
t
Die zur Kontinuitatsgleichung (1.38) gehorende Erhaltungsgroe ware das raumliche Integral u
ber ,
Z
W (t)
d3~r (t, ~r) const.
(1.43)
V
2
SG || 0 dieses Problem nicht hat.
Dieses Versagen der Wahrscheinlichkeitsinterpretation hat dazu gef
uhrt, die KleinGordon-Gleichung als relativistische Wellengleichung f
ur das Elektron zu verwerfen. Erst
viel spater hat man realisiert, dass sie dennoch das Verhalten physikalischer Teilchen, allerdings von Bosonen mit Spin null, korrekt zu beschreiben vermag. Das Problem mit der
negativen Wahrscheinlichkeitsdichte behebt man ganz einfach dadurch, dass man f
ur
den konstanten Faktor, mit dem und ~j multipliziert werden konnen, die Ladung q des
Teilchens wahlt. Dann ist einfach die Ladungsdichte und ~j die Ladungsstromdichte. Diese konnen, aufgrund der von einer relativistischen Theorie vorhergesagten Existenz
von Antiteilchen (die umgekehrte Ladung wie die Teilchen tragen) durchaus positive oder
negative Werte annehmen.
p p ,
(1.44)
und weil m2 c2 ein Lorentz-Skalar ist, ist das Verhalten der Klein-Gordon-Gleichung (1.16)
unter Lorentz-Transformationen ausschlielich durch das Transformationsverhalten der
Wellenfunktion (X) gegeben. Hier ergeben sich im Prinzip unterschiedliche Moglichkeiten. Die einfachste davon ist, dass sich (X) wie ein Lorentz-Skalar transformiert,
(X) (X ) (X) ,
X = X ,
x = x .
(1.45)
Dies bedeutet, dass die Lorentz-transformierte Wellenfunktion (X ) am Lorentz-transformierten Raum-Zeit-Punkt X (x ) den gleichen Wert annimmt wie die urspr
ungliche
Wellenfunktion (X) am urspr
unglichen Raum-Zeit-Punkt X (x ).
Lorentz-skalare Wellenfunktionen (X) beschreiben skalare Teilchen, d.h. Bosonen mit
Spin null. Es stellt sich heraus, dass das Lorentz-Transformationsverhalten der Wellenfunktion eng mit dem Spin des betreffenden Teilchens verkn
upft ist. So transformiert sich
die im nachsten Abschnitt behandelte Dirac-Gleichung wie ein Spinor, d.h. sie beschreibt
Fermionen mit Spin 1/2. Sie stellt damit auch die korrekte relativistische Verallgemeinerung der Schrodinger-Gleichung f
ur das Elektron dar.
24.4.2012
1 Relativistische Wellengleichungen
Seite ein und schreiben den Hamilton-Operator auf der rechten Seite der SchrodingerGleichung zunachst als Linearkombination der Komponenten des 3-Impulses,
!
3
X
0D (t, ~r) ,
i~ (t, ~r) E (t, ~r) =
(1.46)
c
ipi + mc2 (t, ~r) H
t
i=1
mit dem sog. Diracschen Hamilton-Operator
0D =
H
3
X
c
ipi + mc2 .
(1.47)
i=1
Gleichung (1.46) bezeichnet man als Dirac-Gleichung. Die dimensionslosen, konstanten (d.h. von der Raum-Zeit-Koordinate X unabhangigen) Entwicklungskoeffizienten
(X)
=
p
~
+
m
c
(X) .
c2
c2
(1.48)
1 2
E 2
(X)
=
H (X)
c2
c2 0D
!
!
3
3
X
X
=
i pi + mc
j pj + mc (X)
=
"
"
i=1
j=1
3
X
3
X
i
j pi pj + mc
i,j=1
i=1
i +
i pi + m2 c2 2 (X)
#
3
X
i j
1
i
2
2
2
i j
j i
i
i
+
p p + mc
+
p + m c (X) , (1.49)
2 i,j=1
i=1
3
X
wobei wir sorgfaltig auf die Reihenfolge der Faktoren geachtet und im letzten Schritt das
Produkt
i
j in den Indizes i und j symmetrisiert haben (dies ist moglich, da es mit
einem in i und j symmetrischen Faktor pi pj multipliziert wird und u
ber alle Werte von i
und j summiert wird). Weil Energie- und Impuls-Operator miteinander vertauschen,
i
h
i
(1.50)
E, p = 0 , i = 1, 2, 3
10
E
1
i
j +
j
i pi pj + mc
i +
i pi + m2 c2 2 (X) .
(X) =
2
c
2 i,j=1
i=1
(1.51)
i
j +
j
i
,
= 2 ij ,
n
o
i +
i
i , = 0 ,
2 = 1 .
+B
A
A, B AB
(1.52)
(1.53)
(1.54)
(1.55)
i =
i ,
= .
(1.56)
Beweis: Der Operator auf der linken Seite der Dirac-Gleichung (1.46), E i~ /t
ist hermitesch, also muss auch der Diracsche Hamilton-Operator (1.47) hermitesch
sein,
3
3
X
X
i i
2.
H0D =
c p
+ mc H0D =
c
i pi + mc
(1.57)
i=1
i=1
i
Auerdem gilt wegen Gl. (1.54) auch
2
=1.
2 = 1 .
(1.58)
(1.59)
11
1 Relativistische Wellengleichungen
Weil
i und hermitesch sind, lassen sie sich durch unit
are Transformationen
1
1
i U
(1.60)
1
N
i
1 U = diag (1 , . . . , N ) ,
U
(1.61)
1
1
iU i
i = diag
1 = U1
i Ui = U
U
,
.
.
.
,
.
i 1 Ui = Ui
i
1
N
(1.62)
i
Da die Eigenwerte n reell sein m
ussen, sind nur die Werte
ni = 1 ,
n = 1, . . . , N ,
(1.63)
n = 1, . . . , N , q.e.d.
(1.64)
(1.65)
i =
i
i =
i .
i 2 =
i1 =
i 0 ,
Tr
= Tr
i 1 = Tr
= Tr
= Tr
wobei wir die zyklische Vertauschbarkeit von Matrizen unter der Spur und nochmals
Gl. (1.54) benutzt haben. Entsprechend berechnen wir mit den Glgen. (1.53) und
(1.58)
2
i
i = 1 = =
i =
i
i ,
N
X
i 1
1 i
ni .
0 = Tr
= Tr
Ui Ui = Tr Ui
Ui =
i
n=1
Da aber ni = 1, muss die Anzahl der Eigenwerte 1 gleich der der Eigenwerte +1
sein, sonst kann die Spur nicht verschwinden. Also muss N geradzahlig sein, q.e.d.
12
1 =
,
2 =
, 3 =
.
(1.66)
1 0
i 0
0 1
Wir benotigen aber vier linear unabhangige Matrizen, die drei
i , i = 1, 2, 3, sowie
Also muss N mindestens 4 (oder groer) sein, q.e.d.
.
Korollar: Es besteht keine Notwendigkeit, die Betrachtung komplizierter als notig
zu machen (Occams Razor). Wir beschranken uns daher auf den Fall N = 4.
(vi) Behauptung: Eine mogliche Darstellung der Matrizen
i , ist
0 i
12 0
i
=
, =
0 1 2
i 0
(1.67)
wobei 1 2 die (2 2)Einheitsmatrix ist. Diese Darstellung nennt man auch Dirac
Darstellung der Matrizen
i , .
Beweis: Man muss u
ufen, dass diese Matrizen die Glgen. (1.52) (1.54),
berpr
i pi + mc (X) ,
i=1
wobei wir Gl. (1.54) benutzt haben. Wir bringen nun alle Terme auf eine Seite und
= i~ 0 ,
benutzen die Definition (1.8) des Energie-Operators, E/c
!
3
X
E
i pi mc (X) = 0 .
(1.68)
c
i=1
Wir definieren nun die sog. Diracschen Gamma-Matrizen oder kurz Dirac-Matrizen
0 , i
i , i = 1, 2, 3 ,
(1.69)
und fassen diese zu einem matrixwertigen 4-Vektor zusammen,
T
T
T
T
= 0 , 1 , 2 , 3 0 , ~ = ,
1 ,
2 ,
3 ,
~
.
(1.70)
13
1 Relativistische Wellengleichungen
Eigenschaften:
(i) Behauptung: 0 ist hermitesch, i ist antihermitesch.
Beweis: Es gilt aufgrund der Hermitezitat von
0 = = = 0
=
=
=
=
= i ,
(1.71)
q.e.d.
(1.72)
(1.73)
Man beachte, dass auf beiden Seiten der Gl. (1.73) das Index-Paar () auftritt. Es
handelt sich also um eine Gleichung, die sich wie ein Lorentz-Tensor vom Rang 2
transformiert. Gleichzeitig steht auf der linken Seite das Produkt zweier Diracscher
Gamma-Matrizen und auf der rechten eine (44)Einheitsmatrix. Gleichung (1.73)
ist also gleichzeitig eine (4 4)Matrix im Raum der Dirac-Matrizen. Man darf die
beiden Raume, also den Minkowski-Raum (d.h. die vierdimensionale Raum-Zeit)
und den Raum der 4-Spinoren, auf die die Gamma-Matrizen angewendet werden,
nicht verwechseln. Wahrend f
ur den Minkowski-Raum die Komponentenschreibweise verwendet wurde, wurde f
ur den Spinor-Raum die Matrixschreibweise gewahlt.
Man hatte auch hier die Matrix-Indizes explizit angeben konnen, aber das hatte die
Ubersichtlichkeit
von Gl. (1.73) erheblich beeintrachtigt:
{ , }
4
X
=1
+
= 2 g .
1
0
0
0
i
i
2
2
0
i
i
=
.
=
,
=
i 0
i 0
0 1 2
0 1 2
(1.74)
14
(1.75)
F
ur das 4-Skalarprodukt eines 4-Vektors a mit dem 4-Vektor der Dirac-Matrizen hat
R.P. Feynman eine kompakte Notation eingef
uhrt, den sog. Feynman-Slash
a
/ a .
(1.76)
1
2
=
3 .
4
(1.77)
(1.78)
Man beachte aber, dass sich (X) nicht wie ein Lorentz-Vektor transformiert (was man
schon daran erkennt, dass (X) keinen Lorentz-Index tragt). Zur Unterscheidung von
echten Lorentz-4-Vektoren bezeichnet man (X) als 4-Spinor. Diese haben ein anderes Transformationsverhalten als Lorentz-Vektoren. Wir wollen dies hier nicht
weiter vertiefen und verweisen auf die Vorlesung Quantenfeldtheorie. Weil p/ = p
und mc sich wie Lorentz-Skalare transformieren, und weil (X) als Produkt einer
(4 4)Matrix und eines 4-Spinors wiederum ein 4-Spinor ist, halten wir aber fest, dass
sich die Dirac-Gleichung wie ein 4-Spinor transformiert.
Mit 4-Spinoren rechnet es sich zunachst so wie mit 4-Vektoren. Der hermitesch konjugierte (komplex konjugierte und transponierte) 4-Spinor lautet
= (1 , 2 , 3 , 4 ) .
(1.79)
Den sog. adjungierten Spinor (oder Dirac-adjungierten Spinor) definiert man als
0 .
(1.80)
1
4
4
X
X
2
| |2
=
=
= (1 , 2 , 3 , 4 )
3
=1
=1
4
(1.81)
eine (reelle) Zahl ist. Sie ist aber kein Lorentz-Skalar. Aus dem Verhalten von 4-Spinoren
unter Lorentz-Transformationen stellt sich heraus (worauf wir hier aber nicht naher eingehen), dass die Kombination
= 0
(1.82)
15
1 Relativistische Wellengleichungen
ein Lorentz-Skalar ist, wahrend sich
(1.83)
(1.84)
wie die 0-Komponente eines 4-Vektors. Zur physikalischen Interpretation verweisen wir
auf Abschnitt 1.2.4.
26.4.2012
Da i.a. ein komplexwertiger 4-Spinor ist, sind Real- und Imaginarteil unabhangige
Freiheitsgrade. Alternativ kann man und als unabhangige Felder betrachten. Die
zugehorigen Euler-Lagrange-Gleichungen lauten
LD
LD
( )
LD
LD
0 =
.
( )
0 =
(1.86)
Dies ist bereits (nach Division durch c) die Dirac-Gleichung (1.77) in kovarianter Form.
Die zweite Euler-Lagrange-Gleichung (1.86) ist etwas komplizierter, da sowohl als auch
seine Ableitungen in der Dirac-Lagrange-Dichte (1.85) auftreten:
2
2
0 = i~c
(1.88)
+ mc = i~c
/ +mc = p/ +mc c .
wobei
Dies ist (nach Division durch c) die Dirac-Gleichung f
ur den adjungierten Spinor ,
der linksgerichtete Pfeil u
ber der partiellen Ableitung andeuten soll, dass diese nach links,
auf den adjungierten Spinor wirkt. Wir konnen diese Gleichung auch direkt aus der
Dirac-Gleichung (1.77) ableiten, indem wir hermitesch konjugieren und von rechts mit 0
multiplizieren,
h
i
h
i
0
0
0
0
0 = i~ ( ) mc = i~ ( ) + mc .
16
(1.89)
(1.90)
die wir wie folgt beweisen. Zunachst gilt diese Identitat wegen der Hermitezitat von 0
2
und ( 0 ) 1 f
ur den Fall = 0. F
ur = i benutzen wir die Antihermitezitat von i
und die Antikommutationsrelation (1.73),
2
0 i 0 = 0 i 0 = + i 0 i , q.e.d.
Wie f
ur die Schrodinger-Gleichung oder die Klein-Gordon-Gleichung gibt es auch f
ur die
Dirac-Gleichung einen erhaltenen Strom. Wir multiplizieren Gl. (1.87) von links mit
und Gl. (1.88) von rechts mit und addieren beide Gleichungen. Dabei hebt sich der
Massenterm gegenseitig weg und wir erhalten
,
0 = i~c
/ +
/ i~c
(1.91)
wobei wir die nach rechts wirkende partielle Ableitungen mit einem Pfeil nach rechts gekennzeichnet haben. Beide Ableitungen lassen sich mit der Produktregel zusammenfassen.
Nach Division durch i~ hat Gl. (1.91) die Form einer Kontinuitatgleichung,
mit der 4-Stromdichte
0 = j ,
(1.92)
.
j c
(1.93)
Diese 4-Stromdichte hat alle Eigenschaften, die an eine Wahrscheinlichkeitsstromdichte gestellt werden. So ist die 0-Komponente (dividiert durch c) eine positiv semidefinite (reelle) Zahl
4
X
j0
0 = 0 2 =
=
| |2 0 ,
c
=1
(1.94)
vgl. Gl. (1.81). Sie hat die Bedeutung einer Wahrscheinlichkeitsdichte und entspricht
der Wahrscheinlichkeitsdichte SG ||2 der Schrodinger-Gleichung, nur sind hier die Betragsquadrate aller Komponenten des 4-Spinors aufzusummieren. Die zugehorige Wahrscheinlichkeitsstromdichte ist
= c 0~ = c
~j = c ~
~ .
(1.95)
1.2.5 L
osungen der freien Dirac-Gleichung I relativistische
Energie-Impuls-Beziehung
Zur Losung der wechselwirkungsfreien, oder kurz, freien Dirac-Gleichung (1.77) machen
wir den Losungsansatz
a
1
a2
i
(1.96)
(X) = exp p x
a3 .
~
a4
17
1 Relativistische Wellengleichungen
Dies ist naheliegend, da die Dirac-Gleichung linear im 4-Impuls-Operator ist und der
Losungsansatz (1.96) proportional zu einer Eigenfunktion zu diesem Operator mit Eigenwert p ist. Dadurch wird die Dirac-Gleichung, die eine homogene, lineare, partielle
Differentialgleichung erster Ordnung ist, in eine algebraische Gleichung konvertiert,
a1
a2
(1.97)
0 = (/p mc)
a3 ,
a4
wobei wir die Exponentialfunktion weggelassen haben, da sie nicht verschwinden kann.
Wenn wir die Matrix-Struktur in Gl. (1.97) explizit in der Dirac-Darstellung (1.67) der
Dirac-Matrizen ausschreiben, stellen wir fest, dass es sich um ein homogenes lineares
Gleichungssystem zur Bestimmung der Unbekannten a1 , a2 , a3 , a4 handelt,
! a1
p~
a2
(p0 mc)1 2
~
0 =
~ p~
(p0 mc)1 2 a3
a4
0
3
a1
p mc
0
p
p1 + ip2
a2
0
p0 mc p1 ip2
p3
(1.98)
=
a3 ,
p3
p1 ip2 p0 mc
0
a4
p1 + ip2
p3
0
p0 mc
= (
wobei ~
1 ,
2 , 3 )T . Nichttriviale Losungen erfordern das Verschwinden der Koeffizientendeterminante,
!
p~
(p0 mc)1 2
~
0 = det44 (/p mc) = det44
~p
~
(p0 mc)1 2
0
p mc
0
p3
p1 + ip2
0
p0 mc p1 ip2
p3
.
(1.99)
= det44
3
1
2
0
p
p ip p mc
0
p1 + ip2
p3
0
p0 mc
Man konnte die Determinante dieser (4 4)Matrix nun explizit mit Hilfe des Determinantenentwicklungssatzes ausrechnen. Einfacher ist jedoch die Anwendung folgenden
A B
C D
= detN N AD BD1 CD .
(1.100)
Bemerkung: F
ur N = 1 entspricht dies genau der Sarrus-Regel (f
ur (2 2)Matrizen).
Falls p0 6= mc, so ist die der Untermatrix D entsprechende Matrix (p0 mc)1 2 in Gl.
18
0 = det44
= det22 (p ) + m c 1 2 ~ ~p
.
~ p~
(p0 mc)1 2
(1.101)
Nun ist
3
3
2 X
1X
i j
{
i ,
j } pi pj = p~ 2 1 2 .
(1.102)
~ p~ =
i
j p p =
2
i,j=1
i,j=1
Also ist
0 = det22
2
(p0 )2 + ~p 2 + m2 c2 1 2 = (p0 )2 + ~p 2 + m2 c2 .
(1.103)
p
Ep~
= p~ 2 + m2 c2
c
2-fach entartet.
(1.104)
0
a1
p mc
0
0
0
a2
0
p0 mc
0
0
(1.105)
0=
0
a3 .
0
0
p mc
0
a4
0
0
0
p0 mc
19
1 Relativistische Wellengleichungen
Das Verschwinden der Koeffizientendeterminante ergibt die Losungen p0 = mc (jeweils
doppelt entartet). Setzen wir diese Losungen in das Gleichungssystem (1.105) ein, konnen
wir die Komponenten a , = 1, . . . , 4, bestimmen. F
ur p0+ = +mc bleiben die Komponenten a1 und a2 allerdings unbestimmt, wahrend a3 = a4 = 0 sein muss. F
ur p0 = mc
dagegen bleiben a3 und a4 unbestimmt, wahrend a1 = a2 = 0 sein muss. Die Wahlfreiheit
der Komponenten a1 , a2 im ersten bzw. a3 , a4 im zweiten Fall erlaubt folgenden Ansatz
f
ur die jeweils zu den Losungen p0 gehorenden Spinoren:
0
0
0
1
0
0
1
0
(2)
(1)
(2)
(1)
(1.106)
,
a
=
,
a
=
,
a
=
a
+ =
+
0 .
1
0
0
1
0
0
0
Diese Spinoren bilden offensichtlich eine Basis des vierdimensionalen Spinor-Raums. Ein
beliebiger Spinor kann also in der Form
a1
2
a2 X
()
()
=
(1.107)
a
a
+
a
a
+
+2
a3
=1
a4
geschrieben werden. Der Raum der Losungen zu positiver Energie c p0+ = mc2 beinhaltet
aber ausschlielich 4-Spinoren, bei denen die beiden oberen Komponenten a1 , a2 von
null verschieden sind und die beiden unteren verschwinden, a3 = a4 = 0. Umgekehrt
enthalt der Raum der Losungen zu negativer Energie c p0 = mc2 Spinoren, bei denen
lediglich die beiden unteren Komponenten a3 , a4 von null verschieden sind, wahrend die
beiden oberen verschwinden, a1 = a2 = 0.
Wie sind die Spinoren (1.106) physikalisch zu interpretieren? Dazu f
uhren wir den
Spin-Operator f
ur durch die Dirac-Gleichung beschriebene Teilchen,
!
~
~ 0
~
S
(1.108)
2
0 ~
ein. Offenbar gilt f
ur das Quadrat dieses Operators
!
2
2
2
3
1
~
1
~
0
~
0
3
1
2
2
2
2
~ =
=~ 1~
S
+1 1 .
=
0 3 12
4
4
4
2 2
0 ~ 2
(1.109)
2 =
Aus der Tatsache, dass f
ur das Quadrat von Drehimpuls-Operatoren die Relation L
~2 ( + 1) gilt, lesen wir ab, dass es sich bei Objekten, die durch die Dirac-Gleichung
beschrieben werden, in der Tat um Teilchen mit Spin S = 1/2 handelt.
1.5.2012
Wir messen nun die zKomponente des Spins f
ur
1 0 0 0
~
0 1 0 0
(1,2)
S3 a
=
0 0 1 0
2
0 0 0 1
20
(1,2)
a
.
(1.110)
3 0
0
0
12
12
3 0
0
0.
, S3 =
0
3
0 1 2
0 1 2
0
3
2
2
(1.112)
i 0
0 3
2
2
~
0
[
i , 3 ]
= i~ 3ij
=
3 ,
i ]
0
2 [
3 0
0
3
0
j
j
0
0
i
i 0
6= 0 ,
falls i 6= 3 .
Eine eindeutige Spin-Zuordnung ist im bewegten Fall nur dann moglich, wenn der Impuls
auch in Richtung der Spin-Quantisierungsachse zeigt, ~p (0, 0, p). I.a. ist dies nicht der
Fall.
0D bzw. mit p/mc vertauscht
Es gibt aber einen Operator, der auch f
ur beliebige p~ mit H
und der eine Zuordnung einer Groe erlaubt, die den Spin charakterisiert. Es handelt sich
um den sog. Helizit
atsoperator
~ p~ .
(1.114)
Sp~ S
p
Offenbar handelt es sich dabei um die Komponente des Spins parallel zur Richtung des
3-Impulses. Man spricht von positiver Helizit
at, wenn der Spin parallel zu ~p, und von
negativer Helizit
at, wenn der Spin antiparallel zu ~p ausgerichtet ist.
0D bzw. p/ mc vertauscht, schreiben wir den
Um zu sehen, dass Sp~ in der Tat mit H
Spin-Operator zunachst geeignet um. Dazu benutzen wir die Matrix
5 i 0 1 2 3 .
(1.115)
21
1 Relativistische Wellengleichungen
In der Dirac-Darstellung (1.74) f
ur die Diracschen Gamma-Matrizen gilt
12
0
0
3
0
2
0
1
5 = i
0 1 2
3 0
2 0
1 0
2
3
0
0 1
= i
0
2
3
1 0
0 12
0
i
1
2
3
,
=
12 0
i1
2
3
0
(1.116)
wobei wir
i
1
2
3 = i
benutzt haben. Es gilt
0 1
1 0
52 = 1
und
0 i
i 0
1 0
0 1
1 0
0 1
{5 , } = 0 = 0, 1, 2, 3 .
2
12
(1.117)
Die erste Eigenschaft ist offensichtlich, die zweite beweist man leicht, indem man bemerkt,
dass aufgrund von Gl. (1.73) mit , 6= , antivertauscht (was pro Antivertauschung
ein Minus-Zeichen generiert), aber nat
urlich vertauscht, falls = . Da 5 aufgrund
seiner Definition f
ur jedes genau eine Gamma-Matrix enthalt, die mit vertauscht,
aber immer eine ungerade Anzahl von Gamma-Matrizen, die mit antivertauschen, folgt
5 = 5 , was genau der Antivertauschungsrelation (1.117) entspricht.
Wir schreiben den Spin-Operator (1.108) nun als
!
!
~
~ ~
0 12
0 ~
~ = ~ ~ 0
S
=
~ 5 0~
(1.118)
5
1
0
2
2
2
2
0 ~
~ 0
2
und daher
~
Sp~
5 0~ p~ .
2p
(1.119)
Es gilt
0
~ ~p, 5 0~ p~ = 0~ ~p 5 0~ ~p 5 0~ ~p 0~ ~p = ~ ~p5~ ~p +5 (~ ~p)2 = 0 , (1.120)
H0D , Sp~ = 0 .
(1.122)
Ganz ahnlich beweist man auch, dass (zumindest in Anwendung auf Eigenfunktionen zum
Impuls)
h
i
p/ mc, Sp~ = 0 .
(1.123)
22
1.2.7 L
osungen der freien Dirac-Gleichung II Spinoren zu positiver
und negativer Energie
Wir wollen nun eine Basis von Spinoren ahnlich der in Gl. (1.106) f
ur den Fall p~ 6= 0
0
konstruieren. Aufgrund der zweifachen Entartung der Losungen p = Ep~ /c werden wir
wiederum jeweils zwei Spinoren f
ur Losungen positiver Energie c p0+ = Ep~ und zwei f
ur
0
Losungen negativer Energie c p = Ep~ finden. F
ur Losungen positiver Energie setzen
0
wir p+ = Ep~ /c in Gl. (1.98) ein und bestimmen die Unbekannten a , = 1, . . . , 4,
a1
Ep~ /c mc
0
p3
p1 + ip2
a2
0
Ep~ /c mc p1 ip2
p3
0 =
3
1
2
a3
p
p ip
Ep~ /c mc
0
a4
p1 + ip2
p3
0
Ep~ /c mc
3
1
2
(Ep~ /c mc)a1 p a3 (p ip )a4
(Ep~/c mc)a2 (p1 + ip2 )a3 + p3 a4
(1.124)
=
p3 a1 + (p1 ip2 )a2 (Ep~ /c + mc)a3 .
(p1 + ip2 )a1 p3 a2 (Ep~ /c + mc)a4
Durch Auflosen dieser vier Gleichungen nach den a , = 1, . . . , 4, erkennen wir, dass
a1 , a2 unbestimmt bleiben, wahrend
a3 = c
a4 = c
(1.125)
Zwei linear unabhangige Losungen erhalt man durch die Wahl a1 = 1, a2 = 0 bzw.
a1 = 0, a2 = 1,
0
1
1
0
1
2
3
ip
p
p
(2)
(1)
+ = N+
(1.126)
a
+ = N+
c Ep~ + mc2 ,
c Ep~ + mc2 , a
p1 + ip2
p3
c
c
Ep~ + mc2
Ep~ + mc2
wobei N
bliche Wahl ist
p+ eine geeignet zu bestimmende Normierungskonstante ist. Eine u
2
a
+ a
+ = 2 Ep~ ,
, = 1, 2 .
(1.127)
1
0
1/2 =
s
p
p~
,
u(~p, s) = Ep~ + mc2
~
c
s
Ep~ + mc2
0
1
1
s= ,
2
(1.128)
(1.129)
23
1 Relativistische Wellengleichungen
schreiben. Dies ist der Dirac-Spinor zu positiver Energie und Spin s 1/2. Man
u
berzeugt sich durch explizites Nachrechnen, dass er die Dirac-Gleichung
(/p mc) u(~p, s) = 0
~p)2 p~ 2 erhalten wir namlich
f
ur p0 p0+ = +Ep~ /c erf
ullt. Mit (~
!
1 2 s
(Ep~/c mc)1 2
~ p~
p~
s
~ p~
(Ep~ /c mc)1 2
Ep~ /c + mc
2
2 2
2
(Ep~ /c) m c
p~
Ep~ /c + mc
E /c + mc
s 0 .
p~
=
p
~
E
~p + p~ mc
~
c
Ep~ /c + mc
(1.130)
(1.131)
Ganz analog setzen wir p0 = Ep~ /c in Gl. (1.98) ein, um die Losungen negativer
Energie zu bestimmen,
a1
Ep~ /c mc
0
p3
p1 + ip2
a2
0
Ep~ /c mc p1 ip2
p3
0 =
3
1
2
a3
p
p ip
Ep~ /c mc
0
a4
p1 + ip2
p3
0
Ep~ /c mc
(1.132)
=
p3 a1 + (p1 ip2 )a2 + (Ep~ /c mc)a3 .
(p1 + ip2 )a1 p3 a2 + (Ep~ /c mc)a4
Nun bleiben a3 , a4 unbestimmt, wahrend
a1 = c
a2 = c
(1.133)
p1 ip2
p3
c Ep~ + mc2
c Ep~ + mc2
p1 + ip2
p
(2)
(1)
= N
(1.134)
a
= N
c E + mc2 ,
c E + mc2 , a
p
~
p
~
1
0
0
1
als Ubungsaufgabe),
() ()
a
a
= 2 Ep~ , , = 1, 2 .
(1.135)
Mit den 2-Spinoren
s i
2 s ,
24
1
s= ,
2
(1.136)
0 1
1 0
0 1
1 0
1
0
0
1
=
=
(~p)
~
p
c
v(~p, s) = Ep~ + mc2 Ep~ + mc2 s ,
s
bzw.
v(~p, s) =
0
1
1
0
,
1
s= ,
2
p~
~
1
c
(1.137)
(1.138)
schreiben. Dies ist der Dirac-Spinor zu negativer Energie und Spin s = 1/2. Man
beachte, dass die Vorzeichenkonvention so gewahlt ist, dass v(~p, s) ein Antiteilchen mit
Energie cp0+ = +Ep~, Impuls +~
p und Spin s beschreibt, welches sich wie eine Losung
negativer Energie cp0 = Ep~ mit Impuls ~
p und Spin s verhalt. In der Tat
erf
ullt v(~p, s) die urspr
ungliche Dirac-Gleichung f
ur negative Energien cp0 = Ep~ ,
(/p mc) v(~p, s) = 0 ,
(1.139)
!
~ p~
(Ep~ /c mc)1 2
E /c + mc s
p
~
p~
~
1 2 s
p~
Ep~
~
~p
+
mc
~
c
E
/c
+
mc
p
~
0 .
=
(1.140)
2
2
2
2
~p
(Ep~/c) m c s
+
Ep~ /c + mc
Ep~ /c + mc
p~
~
(Ep~ /c mc)1 2
Andererseits erf
ullt v(~p, s) die Antiteilchen-Dirac-Gleichung
(/p + mc) v(~p, s) = 0 ,
(1.141)
f
ur positive Energie cp0+ = +Ep~ ,
!
p~
~
~p
~
(Ep~/c + mc)1 2
E /c + mc s
p
~
~ ~p
(Ep~ /c + mc)1 2
1 2 s
p~
Ep~
~
~p
+ mc
~
c
E
/c
+
mc
p
~
0 .
=
(Ep~/c)2 m2 c2 s
p~ 2
Ep~ /c + mc
Ep~ /c + mc
(1.142)
25
1 Relativistische Wellengleichungen
Wir sind nun in der Lage, die allgemeine L
osung der freien Dirac-Gleichung
anzugeben. F
ur festes ~p und festes s haben wir eine Superposition von Losungen zu
positiver und negativer Energie, die wir mit Hilfe der entsprechenden Dirac-Spinoren
schreiben,
i
i
p~,s (X) = b+ u(~p, s) exp (Ep~ t ~p ~r) +d v(~p, s) exp
(Ep~ t + p~ ~r) . (1.143)
~
~
F
ur die allgemeine Losung m
ussen wir u
ber die Spin-Einstellmoglichkeiten s = 1/2
summieren und u
ber alle Werte des Impulses p~ integrieren.
X Z
i
d3 p~
b(~p, s) u(~p, s) exp (Ep~ t p~ ~r)
(X) =
2(2~)3 Ep~
~
s=1/2
i
p =
T
Ep~
, ~p
,
c
(1.146)
=
=
=
=
s=1/2
s=1/2
26
v (~p, s) v (~p, s) =
c p/ mc2
(1.147)
p + p3
s
p1 + ip2
cp
Ep~ + mc2
3
(p
+
p
)
=
cp
1
2
(p
+
ip
)
Ep~ + mc2
U(~p, +1/2)
(1.148)
einen Eigenzustand zum Helizitatsoperator (1.114) mit Eigenwert +~/2 (Beweis als Ubungsaufgabe). Als Linearkombination von zwei Teilchen-Spinoren zum Eigenwert +Ep~ des
0D sind sie nat
0D .
Dirac-Hamilton-Operators H
urlich auch Eigenzustande zu H
1.2.8 Diracsche L
ochertheorie
3.5.2012
Es gilt nun, auf ein schwerwiegendes Problem mit dem Energiespektrum der DiracGleichung hinzuweisen. Wie wir gesehen hatten, gibt es neben den Zustanden positiver Energie in einer relativistischen Theorie auch Zustande negativer Energie, vgl. Abb.
1.1(a). Wir betrachten nun ein einzelnes Teilchen der Masse m, welches sich in Ruhe befinde, ~p = 0. Dieses besetzt den Zustand niedrigster Energie f
ur die Teilchenlosungen, also
0
2
c p+ Ep~ E0 = +mc . Nun gibt es aber im Prinzip nichts, was dieses Teilchen daran
hindert, unter Energieabgabe E 2mc2 > 0 in einen Zustand negativer Energie
cp0 mc2 u
berzugehen. Da dieser Vorgang Energie liefert, also nicht energetisch verboten ist, sollte er sogar spontan ablaufen. Das Teilchen kann von einem dieser negativen
Energiezustande nat
urlich unter weiterer Energieabgabe in einen Zustand mit noch kleinerer Energie springen usf.. Dies bedeutet, dass das System eigentlich instabil ist. Nat
urlich
wird dies nicht beobachtet, aber warum nicht?
Um diesen Widerspruch aufzulosen, postulierte Dirac die Existenz der sog. Dirac-See:
das Vakuum bzw. der Grundzustand des Systems ist nicht etwa der, wo kein Zustand,
also weder solche mit positiver noch solche mit negativer Energie, mit Teilchen besetzt
ist, wie in Fig. Abb. 1.1(a), sondern der, wo alle Zustande negativer Energie mit Teilchen
besetzt sind, vgl. Abb. 1.1(c). Da es sich um Fermionen handelt, richtet sich die Zahl
der Teilchen pro Zustand nach der Zahl ihrer internen Freiheitsgrade, z.B. Spin, Isospin,
Farbe etc.. Alle Teilchen in einem Energiezustand m
ussen sich paarweise in mindestens
in dieser Quantenzahlen unterscheiden.
Wie lost dies unser Problem? Da nun alle negativen Energiezustande entsprechend ihrer Entartung besetzt sind, verbietet das Pauli-Prinzip, dass das Teilchen im Zustand
E0 = mc2 , gleich welche Quantenzahlen es tragt, in einen Zustand negativer Energie springen kann der Grundzustand des Systems ist nun stabil. Das Vakuum unseres Systems
27
1 Relativistische Wellengleichungen
+mc 2
mc 2
(a)
(b)
(c)
(d)
ist aber nicht wirklich leer, es enthalt unendlich viele Teilchen, die zusammengenommen
unendlich viel (negative) Energie tragen. Dies ist aber nicht weiter dramatisch: man mit
einfach alle Energien relativ zur (unendlichen) Energie des Vakuums. In der Quantenfeldtheorie werden wir lernen, dass es sich hierbei um einen Fall der sog. Renormierung
handelt. Dabei geht es um ein systematisches Verfahren, wie man Unendlichkeiten in einer
Theorie beseitigen und physikalisch sinnvolle Resultate erhalten kann.
Nun stelle man sich das Vakuum wie in Abb. 1.1(c) gezeigt vor und rege ein Teilchen
aus den besetzten Zustanden negativer Energie in einen Zustand positiver Energie an.
Offenbar ist dazu mindestens die Energie E = 2mc2 notig, namlich wenn ein Teilchen
aus dem obersten Zustand negativer Energie, E0 = mc2 , in den niedrigsten Zustand
positiver Energie, E0 = +mc2 , angeregt wird, vgl. Abb. 1.1(d). Dadurch entsteht aus
dem Vakuum ein Teilchen-Loch-Paar. Das Loch ist aber genau das Antiteilchen;
man hat durch die Energiezufuhr E = 2mc2 ein Teilchen-Antiteilchen-Paar aus dem
Vakuum erzeugt. Dies ist die sog. spontane Paarerzeugung. Die daf
ur benotigte Ener2
gie E = 2mc kann man z.B. durch Einstrahlen hinreichend starker elektromagnetischer
Felder bereitstellen. Umgekehrt konnen Teilchen und Antiteilchen auch wieder spontan rekombinieren. Dann springt das Teilchen in das Loch in den negativen Energiezustanden.
Dadurch wird eine Energie E = 2mc2 (z.B. in Form elektromagnetischer Strahlung)
freigesetzt. Dies ist die spontane Paarvernichtung.
Selbstverstandlich kann man auch Teilchen und Antiteilchen mit nichtverschwindendem
28
n
h
i
o
(1.150)
(1.151)
1.2.10 Ladungskonjugation
Wir definieren den sog. ladungskonjugierten Dirac-Spinor durch die Gleichung
C C 0 ,
(1.152)
29
1 Relativistische Wellengleichungen
wobei die sog. Ladungskonjugationsmatrix in der Dirac-Darstellung
0 0 0 1
0 0 1 0
0 2
C i 0 2 = i
2 = i
=
0 1 0 0
2 0
1 0 0 0
0 0
0 0
C =
0 1
1 0
(1.153)
dann
0
1
0
0
4
1
0 3
=
2
0
1
0
(1.154)
30
0 = C 0 = 0
= i T 0 0 2 0 = i T 0 2 = T C .
C 0 = T 0 (C) 0
(1.156)
Was f
ur Objekte werden durch den ladungskonjugierten Spinor C beschrieben? Dazu
bilden wir das Komplex-Konjugierte der Dirac-Gleichung in externen Feldern (1.150) und
multiplizieren von links mit C 0 :
i
h
0
0
2
0
0
~
~
i~ C = C c ~ +i~ qA + q + mc
t
i
h
~ qA
~ C 0 0 + q C 0 + mc2 C 0 0 .
= c C~ C 1 i~
Die Dirac-Matrizen i sind antihermitesch, also ( i ) = [( i ) ]T = ( i )T , also mit Eigenschaft (vii) C~ C 1 = +~ . Dann ergibt sich mit C 0 0 C und der Definition
(1.152)
i~
h
i
~ qA
~ 0 + q 0 mc2 C
C = c~ i~
t
h
i
~ qA
~ + q 0 mc2 C .
= c 0~ i~
(1.157)
h
i
0
0
2
~
~
i~ C = c ~ i~ + qA q + mc C .
t
(1.158)
s
p
0
i
2
p~
2 ~ ~p
p
ic
(1.159)
=
Ep~ + mc2 Ep~ + mc2 s .
i
2 s
31
1 Relativistische Wellengleichungen
Es gilt ferner
= ~
2 ~
2 ,
(1.160)
weil
1,3 reell sind und dies daher aufgrund der Antikommutationsrelation der PauliMatrizen gilt, wahrend
2 rein imaginar ist und diese Gleichung daher identisch erf
ullt
ist. Also erhalten wir
~p
~
p
(i)
2 s
c
uC (~p, s) = Ep~ + mc2 Ep~ + mc2
v(~p, s) ,
(1.161)
i
2 s
wobei wir die Tatsache, dass s reell ist, und die Definition (1.136) des Spinors s benutzt
haben. Der ladungskonjugierte Teilchen-Spinor uC (~
p, s) ist also identisch mit
dem Antiteilchen-Spinor v(~
p, s)! Analog zeigt man
vC (~p, s) = u(~p, s) .
(1.162)
,
(1.163)
~
i~ = mc + q + c ~ p~ qA ,
t
~
(1.164)
i~ = mc + q + c ~ ~p qA .
t
In einer nichtrelativistischen Theorie spielt die Ruheenergie E0 = mc2 keine Rolle. Wir
konnen sie von den 2-Spinoren in Form einer Phase abspalten,
i
nr
2
exp mc t
.
(1.165)
nr
~
32
nr
2
2
i~
= exp mc t
mc + i~
nr
t
~
t
folgendes Gleichungssystem f
ur die nichtrelativistischen 2-Spinoren nr und nr ,
p~ qA
~ nr ,
i~ nr = q nr + c ~
t
p~ qA
~ nr .
(1.166)
i~ nr = 2mc2 q nr + c ~
t
Falls der Antiteilchen-Spinor nr (t, ~r) ein Eigenzustand zum Energie-Operator ist, konnen
()
wir die linke Seite der zweiten Gleichung durch Enr nr ersetzen, mit der nichtrelativisti()
schen Energie Enr des 2-Spinors nr . Wir erwarten aber im nichtrelativistischen Grenzfall,
dass die Ruheenergie alle anderen Energien bei weitem u
bersteigt,
()
q
Enr
1.
2mc2
2mc2
()
Dann konnen wir unter Vernachlassigung von Termen von der Ordnung Enr /(2mc2 ) und
q/(2mc2 ) die zweite Gleichung (1.166) explizit nach nr auflosen,
!
()
c
q
E
nr
~ nr + O
nr =
.
(1.167)
~ p~ qA
,
2mc2
2mc2 2mc2
Setzen wir dies in die erste Gleichung (1.166) ein, so erhalten wir unter Vernachlassigung
parametrisch kleiner Terme eine Gleichung, in der ausschlielich der nichtrelativistische
Teilchen-Spinor nr auftritt,
c2
~
~
i~ nr q nr +
~ ~p qA ~ ~p qA nr
t
2mc2
1
~
~
=
~ ~p qA ~ ~p qA + q nr .
(1.168)
2m
Allgemein gilt
1
~a ~
~b =
i ,
j } + [
i ,
j ]) ai bj
~
i
j ai bj = ({
2
ij
ijk
~a ~b .
= + i
k ai bj ~a ~b + i~
(1.169)
(1.170)
33
1 Relativistische Wellengleichungen
Hierbei haben wir mehrfach die Antisymmetrie von ijk in den letzten beiden Indizes, sowie
~
~ A
~ des magnetischen Induktionsfeldes ausgenutzt. Eingesetzt in
die Definition B
Gl. (1.169) ergibt sich f
ur Gl. (1.168)
2
1
q~
B
~ +q
~ nr .
i~ nr =
p~ qA
~
(1.171)
t
2m
2m
Dies ist die Pauli-Gleichung. F
ur Elektronen mit q = e und mit dem Bohrschen
Magneton
e~
,
(1.172)
B
2m
vgl. Gl. (6.11) der Vorlesung Quantenmechanik I, nimmt sie die bekannte Form
2
1
B
~ e + B ~
~ nr
i~ nr =
p~ + e A
(1.173)
t
2m
an, vgl. Gl. (6.32) der Vorlesung Quantenmechanik I. Man beachte, dass der Land
eFaktor g = 2 automatisch korrekt herauskommt, vgl. Diskussion in Abschnitt 6.2 der
Vorlesung Quantenmechanik I.
E
nr
~ nr + O
=
1+
~ p~ qA
,
.
(1.174)
2
2mc
2mc
2mc2 4m2 c4
Konkret interessieren wir uns auf den Effekt des zusatzlichen Terms auf ein Elektron, q =
e, in wasserstoffahnlichen Atomen (s. auch Abschnitt 1.2.15), wo lediglich ein skalares
~ = 0.
(Coulomb-)Potential (r) +Ze/(40 r), aber kein 3-Vektorpotential wirkt, A
Betrachten wir also die erste Gleichung (1.166) f
ur diesen Fall und setzen Gl. (1.174) ein,
so erhalten wir
e
1
~ ~p e nr
~ p~ 1
i~ nr =
t
2m
2mc2
!
~p 2
e
=
~ ~p ~ p~ e nr ,
(1.175)
2m 4m2 c2
34
~
~
= i~ p~ + ~ ~ p~ + p~ 2 ,
(1.176)
wobei wir wieder Gl. (1.169) benutzt haben. F
ur Zentralpotentiale (r) gilt
1 d
d
~
~er =
~r ,
(r)
dr
r dr
und damit wird Gl. (1.176) zu
p~ ~
p~ = i~ d pr + ~ d ~ L
~ + ~p 2 .
~
dr
r dr
(1.177)
1
~p e +
pr
L S nr . (1.178)
i~ nr =
t
2m
2mc2
4m2 c2 dr
2m2 c2 r dr
Der Spin-Bahn-Kopplungsterm sorgt f
ur die Aufspaltung der Entartung von Energieniveaus mit unterschiedlichem Drehimpuls . Weil aber der Koeffizient mit dem Bohrschen
Radius
1
me2
=
(1.179)
aB
40 ~2
folgendermaen abgeschatzt werden kann,
d
e
2
2
2m c r dr
e
Z
Ze 1
e2 a3B m3 e6
=
2m2 c2 40 r 3
2m2 c2 40 r 3 (40 )3 ~6
3
Z a3B 4 2
3 Z aB
mc
1.45
10
eV ,
=
2~2 r 3
2~2 r 3
=
ist der Effekt sehr klein. Dennoch ist er als sog. Feinstrukturaufspaltung der Spektrallinien experimentell beobachtet worden.
1.2.13 Gesamtdrehimpuls
0D mit dem Helizitatsoperator Sp~
Wir hatten gesehen, dass der Dirac-Hamilton-Operator H
vertauscht, Gl. (1.122), beide also im Prinzip ein gemeinsames System von Eigenzustanden
besitzen. Die Eigenzustande zu Energie und Helizitat sind aber i.a. recht kompliziert, vgl.
Gl. (1.148), so dass sie f
ur konkrete Rechnungen nicht immer geeignet erscheinen. Es
35
1 Relativistische Wellengleichungen
0D vertauscht. Dazu erinnern wir uns,
gibt aber noch einen anderen Operator, der mit H
~ i.a. nicht mit H
0D vertauscht. Es gilt namlich mit Gl. (1.118)
dass der Spin-Operator S
0D = c 0~ ~p + 0 mc2 (sowie der Einsteinschen
und dem Dirac-Hamilton-Operator H
Summenkonvention f
ur doppelt auftretende Indizes)
h
i
0D = ~ c 5 0 i , 0 j pj + mc2 5 0 i , 0
Si , H
2
~
=
c 5 0 i 0 j 0 j 5 0 i pj + mc2 5 0 i 0 0 5 0 i
2
~
c 5 i j + 5 j i pj + mc2 5 i + 5 i
=
2
~c
= 5 i , j pj
2
~c
0
i
0 j
0
j
0
i
= 5
pj
i 0
j 0
j 0
i 0
2
~c
k 0
[
i ,
j ]
0
j
ijk
pj
5
p = i~c 5
=
0
k
0
[
i ,
j ]
2
= i~c ijk 5 5 0 k pj = i~c 0 ijk pj k .
(1.180)
2
Hierbei haben wir von den Antivertauschungsrelationen (1.73) und (1.117), von ( 0 ) = 1,
sowie von der Zwischenrechnung, die zum Resultat (1.118) f
ur den Helizitatsoperator
f
uhrte, Gebrauch gemacht.
~ ~r ~p mit dem
Andererseits gilt f
ur den Kommutator des Drehimpulsoperators L
Dirac-Hamilton-Operator
h
i
i, H
0D = ijk c xj pk , 0 p + mc2 xj pk , 0
L
= c ijk xj pk 0 p 0 p xj pk
= c ijk 0 xj pk p p xj pk xj p pk
= i~c 0 ijk j pk = i~c 0 ijk j pk i~c 0 ijk pj k .
(1.181)
Der Vergleich mit Gl. (1.180) ergibt, dass die Summe aus Drehimpuls- und Spin-Operator, also der Gesamtdrehimpuls-Operator
~ ~
J~ L
+S
mit dem Dirac-Hamilton-Operator vertauscht,
h
i
~ H
0D = 0 .
J,
(1.182)
(1.183)
36
~ 0~ A
~ 6= 0.
mehr, wie man sich dadurch klarmachen kann, dass man zeigt, dass J,
1.2.14 Parit
at
Eine Parit
atstransformation P bewirkt eine Raumspiegelung ~r ~r. Bei LorentzVektoren wird also durch eine Paritatstransformation das Vorzeichen der raumlichen Komponenten umgedreht, z.B.
P x = (ct, ~r)T ,
P p = (p0 , ~p)T ,
(1.185)
sind die Eigenwerte von P gerade 1, entsprechend Zustanden gerader (+1) bzw.
ungerader (1) Parit
at. F
ur den 4-Spinor (1.163) gilt mit Gl. (1.184)
P (t, ~r) =
P (t, ~r)
P (t, ~r)
(t, ~r)
(t, ~r)
(1.186)
1 Relativistische Wellengleichungen
~
A (X) =
, 0
, 0
.
(1.189)
40 c r
e
cr
F
ur diesen Fall hatten wir gesehen, dass der Dirac-Hamilton-Operator mit dem Gesamtdrehimpuls-Operator (1.182) und dem Paritatsoperator (1.184) vertauscht. Eigenfunktio
(1.191)
(1.192)
Man beachte, dass in dieser Konvention G+ ungerade und G gerade Paritat besitzt. Funktionen gerader Paritat, also F + und G , sind symmetrisch unter Punktspiegelung am Ursprung, sie besitzen damit auch gerade Werte des Bahndrehimpulses
(s, d, . . .Wellen). Funktionen ungerader Paritat, also F und G+ , sind antisymmetrisch
unter Punktspiegleung am Ursprung, sie besitzen damit ungerade Werte des Bahndrehimpulses (p, . . .Wellen), vgl. Abb. 1.2.
Da die Eigenfunktionen auch Eigenfunktionen zum Gesamtdrehimpulsoperator sein
sollen, konnen wir folgenden Separationsansatz machen,
!
f
(r)
Y
(
r
)
jm
jm
(~r) =
.
(1.193)
i g (r) Yjm
(
r)
38
Abbildung 1.2: (a) sWelle. Sie ist symmetrisch unter Punktspiegelung am Ursprung,
besitzt daher gerade Paritat. (b) pWelle. Sie ist antisymmetrisch unter
Punktspiegelung am Ursprung, besitzt daher ungerade Paritat.
(1.193) nur noch von der Radialkoordinate r = |~r| ab. Der Faktor i vor der unteren Komponente ist reine Konvention. Man beachte, dass die generalisierte Kugelflachenfunktion
in der unteren Komponente umgekehrte Paritat wie die in der oberen Komponente hat.
Damit wird die Paritat der unteren Komponente relativ zur oberen bereits festgelegt,
was bedeutet, dass die Funktion g dieselbe Paritat wie f hat, also f + und g + haben
gerade, wahrend f und g ungerade Paritat haben.
10.5.2012
J~ 2 Yjm
(
r) = ~2 j(j + 1) Yjm
(
r) ,
Jz Yjm
(
r) = ~m Yjm
(
r) .
(1.194)
(1.195)
und die zKomponente des Gesamtdrehimpulses um eine Stufe erhohen oder erniedrigen,
p
(
r) ,
(1.196)
J Yjm
(
r) = ~ j(j + 1) m(m 1) Yj,m1
vgl. Glgen. (5.19) und (5.22) der Vorlesung Quantenmechanik I.
39
1 Relativistische Wellengleichungen
~ und Spin
Um den Gesamtdrehimpuls J~ zu erhalten, sind nach Gl. (1.182) Drehimpuls L
~ zu addieren. Es handelt sich aber nat
S
urlich nicht um die Addition gewohnlicher Vektoren, sondern quantenmechanischer Operatoren. Hierf
ur gibt es Regeln, die wir ausf
uhrlich
in Abschnitt 2.3 besprechen werden. F
ur das folgende geben wir einfach das Resultat
an. Um eine Eigenfunktion zum Gesamtdrehimpuls j mit zKomponente m zu erhalten, m
ussen wir eine Eigenfunktion zum Bahndrehimpuls mit zKomponente m mit
einer Eigenfunktion zum Spin S = 1/2 kombinieren. Dabei kann der Spin aber sowohl
in (+z)Richtung zeigen, also mit zKomponente s = +1/2 (Spin up), als auch in
(z)Richung, also mit zKomponente s = 1/2 (Spin down). Wir konnen also zwei
Werte von m wahlen, um ein vorgegebenes m zu bekommen,
m = m
1
2
m = m
1
.
2
(1.197)
F
ur fest vorgegebene j, m und ergibt sich die generalisierte Kugelflachenfunktion damit
als Linearkombination zweier Beitrage zu den beiden moglichen Werten f
ur m ,
Yjm
(
r ) = h m 12 ; 21 12 |j mi +1/2 Y,m1/2 (
r ) + h m + 21 ; 21 21 |j mi 1/2 Y,m+1/2 (
r) .
(1.198)
Die Koeffizienten
h m ; S s|j mi
1
2
=j
1
,
2
(1.199)
miteinander verkn
upft. F
ur vorgegebenes j kann also nur zwei mogliche Werte annehmen, die sich um = j + 1/2 (j 1/2) = 1 unterscheiden. Da N0 , kann
gerade oder ungerade sein. F
ur vorgegebenes j gibt es daher zwei generalisierte Kugelflachenfunktionen (1.198), die sich im Wert von unterscheiden, eine f
ur = j 1/2 und
eine f
ur = j +1/2. Wenn = j 1/2 gerade (ungerade) ist, dann ist = j +1/2 ungerade
(gerade).
Diese beiden Moglichkeiten entsprechen gerade den beiden Paritatseigenwerten der
generalisierten Kugelfachenfunktionen (1.198). Um dies einzusehen, bemerken wir, dass
die Paritat der generalisierten Kugelflachenfunktion (1.198) offensichtlich durch die Paritat der Kugelflachenfunktion Ym (
r ) festgelegt wird. Diese hatten wir schon Gl. (5.41)
der Vorlesung Quantenmechanik I untersucht,
P Ym (
r) = (1) Ym (
r) ,
(1.200)
sie wird also durch den Wert des Bahndrehimpulses bestimmt: gerade (ungerade) Werte
von entsprechen gerader (ungerader) Paritat. Die Eigenschaft (1.200) f
ur die gewohnlichen Kugelflachenfunktionen u
bertragt sich direkt auf die generalisierten Kugelflachenfunktionen,
P Ym
(
r ) = (1) Ym
(
r) Ym
(
r) ,
(1.201)
40
=j
1
2
=j+
1
2
h m s; 21 s|j mi
s = 21
s = 12
s
s
+ 12 + m
+ 12 m
2 + 1
2 + 1
s
s
+ 12 m
+ 12 + m
2 + 1
2 + 1
J~ 2 jm
(~r) = ~2 j(j + 1) jm
(~r) ,
Jz jm
(~r) = ~m jm
(~r) ,
P (~r) = (~r) ,
jm
jm
wobei wir f
ur die letzte Gleichung noch Gl. (1.186) benutzt haben.
Anstelle der Paritat kann man aber eine neue Quantenzahl einf
uhren,
+(j + 12 ) ,
falls = j + 12 ,
=
(j + 21 ) ( + 1) , falls = j 12 .
(1.202)
(1.203)
Die Quantenzahlen j und legen und damit die Paritat eindeutig fest. Den Zusammenhang zwischen j, , und Paritat haben wir f
ur die niedrigsten Werte von j in Tab. 1.2
dargestellt.
j
1
2
3
2
5
2
Paritat
+1
1
+2
2
+3
3
1
0
2
1
3
2
+
+
41
1 Relativistische Wellengleichungen
Die Einf
uhrung von vereinfacht die Clebsch-Gordan-Koeffizienten aus Tab. 1.1,
s
+ 12 m
h m 21 ; 21 12 |j mi = sgn()
,
2 + 1
s
+ 12 + m
h m + 12 ; 21 12 |j mi =
,
2 + 1
wie man sich durch explizites Nachrechnen u
berzeugt. Ersetzt man die Paritat durch ,
so konnen die generalisierten Kugelflachenfunktionen (1.198) also wie folgt geschrieben
werden,
s
s
1
+ 2 m
+ 21 + m
+1/2 Y,m1/2 (
r) +
1/2 Y,m+1/2 (
r) .
Yjm
(
r ) = sgn()
2 + 1
2 + 1
(1.204)
F
ur die Wellenfunktion (1.193) ergibt sich damit
!
f
(r)
Y
(
r
)
j
jm
jm
(~r) =
.
(1.205)
i gj (r) Yjm
(
r)
Hierbei haben wir antizipiert, dass die Funktionen fj und gj auch von der Drehimpulsquantenzahl j abhangen werden.
Zum Schluss dieses Abschnitts verschaffen wir uns noch Klarheit u
ber zwei Eigenschaften der generalisierten Kugelflachenfunktionen, die wir bei der Losung des Radialanteils
der Dirac-Gleichung im nachsten Abschnitt benotigen werden:
L
~ Yjm
(i)
~
(
r) = ~( + 1) Yjm
(
r) .
(1.206)
/2 gilt
~ = ~ ~
Beweis: Mit Gl. (1.182) und S
L
~ 2 + S
~ 2 + 2 L
~ S
~ L
~ 2 + S
~ 2 + ~ ~
~ ,
J~ 2 = L
also
L
~ Y (
~ ~
jm r ) =
2 ~ 2 ~ 2
~
J L S
Yjm
(
r)
= ~2 j(j + 1) ( + 1) 34 Yjm
(
r) ,
wobei wir ausgenutzt haben, dass die generalisierten Kugelflachenfunktionen auf~ 2 und S
~ 2 zu den Eigrund von Gl. (1.198) nat
urlich auch Eigenfunktionen von L
genwerten ~2 ( + 1) bzw. ~2 S(S + 1) 3~2 /4 sind. Gema Gl. (1.199) ist aber der
Wert des Bahndrehimpulses f
ur gegebenes j bereits festgelegt, so dass wir weiter
berechnen
L
~ Y (
~ ~
jm r )
2
~ j(j + 1) (j + 12 )(j + 32 ) 34 Yjm
(
r ) , falls = j + 21 ,
=
~2 (j + 23 )Yjm
(
r ) , falls = = j + 21 ,
=
(
r) ,
falls = ( + 1) = (j + 12 ) ,
~2 (j 12 )Yjm
= ~2 ( + 1) Yjm
(
r) ,
42
q.e.d.
r Y (
~
r) .
jm r ) = Yjm (
(ii)
(1.207)
r Y (
Beweis: Der Beweis verlauft in zwei Schritten. Wir zeigen zunachst, dass ~
jm r )
r Y (
~
r) .
(1.208)
jm r ) = Nj Yjm (
Im zweiten Schritt zeigen wir dann Nj = 1.
r]. Dazu benotigen wir
Zunachst berechnen wir den Kommutator [Ji , ~
h
i
x
k r x xk /r
i
ijk j
L , ~ r = i~ x k
= i~ ijk xj
r
r2
= i~ ijk xj
k xk x = i~ ijk xj
k ,
(1.209)
und
h
i ~
i
S , ~ r = [
i , j ] xj = i~ ijk
k xj ,
(1.210)
2
wobei wir die Kommutationsrelation (1.113) f
ur die Pauli-Matrizen benutzt haben.
Kombinieren wir die Glgen. (1.209) und (1.210), so erhalten wir
h
i
r = 0 .
Ji , ~
(1.211)
Selbstverstandlich gilt dann auch [J~ 2 , ~
r] = 0.
P , ~ r = P ~ r + ~ r P = ~ r + ~ r P 0 .
(1.212)
~
~
J ~ r Yjm (
r) = ~ r J Yjm (
r) = ~ j(j + 1) ~ r Yjm (
r) ,
h
i
h
i
r Y (
r Jz Y (
r Y (
Jz ~
= ~
jm r )
jm r ) = ~m ~
jm r ) ,
r Y (
was bedeutet, dass ~
r ). Aus
jm r ) dieselben Quantenzahlen j, m hat wie Yjm (
Gl. (1.212) folgt dagegen, dass
(
h
i
r Y (
r) = +Y (
~
jm r ) , falls P Yjm (
jm r ) ,
r Y (
Y (
P ~
r
)
=
r
P
r
)
=
jm
jm
r Y (
+~
r) = Yjm
(
r) ,
jm r ) , falls P Yjm (
r Y (
was bedeutet, dass ~
at hat wie Yjm
(
r). Beide Tatjm r ) die umgekehrte Parit
sachen zusammengenommen lassen sich wie in Gl. (1.208) dargestellt ausdr
ucken.
Wir m
ussen nun noch zeigen, dass die Normierungskonstante Nj in Gl. (1.208) den
43
1 Relativistische Wellengleichungen
z.B. m = 1/2, zu betrachten. Aus Gl. (5.37) der Vorlesung Quantenmechanik I
wissen wir, dass
s
r
2 + 1 ( m )! m
2 + 1
Ym (
z) =
P (1)
m ,0 ,
4 ( + m )!
4
wobei wir die Tatsache benutzt haben, dass f
ur m > 0 alle zugeordneten LegendrePolynome bei cos = 1 verschwinden und f
ur m = 0 diese Polynome den Wert
Eins annehmen. Gleichung (1.204) hat f
ur m = 1/2, r = z und = > 0 die
folgende Form:
r
r
+1
Yj,1/2 (
z) =
+1/2 Y,1 (
z) +
1/2 Y,0(
z)
2 + 1
2 + 1
r
r
r
2 + 1
1/2
=
1/2 ,
2 + 1
4
4
wahrend f
ur = ( + 1) < 0 gilt
r
r
+1
Yj,1/2 (
z) =
+1/2 Y,1 (
z) +
1/2 Y,0 (
z)
2 + 1
2 + 1
r
r
r
2 1
1/2
=
1/2 ,
2 + 1
4
4
z Y
~
z)
3 Yj,1/2
(
z) =
3 1/2 =
1/2
j,1/2 (
4
4
r
||
Nj Yj,1/2(
z ) = Nj
1/2 ,
(1.213)
4
d.h., wie behauptet, Nj = 1, q.e.d..
Warum sind die beiden Eigenschaften (1.206) und (1.207) wichtig? Im nachsten Abschnitt,
p~
wenn es an die Losung der Radialgleichung geht, wird des ofteren der Operator ~
~
i~ ~ auf die Funktionen Yjm(
r ) anzuwenden sein. Dieser Operator lat sich wie folgt
schreiben:
r ~
L
r + i ~
~ .
~ = i~ ~
(1.214)
i~ ~
r r
~ = ~r p~ = i~ ~r
~
Beweis: Wir berechnen mit Gl. (1.169) und L
i ~
i
1
~
~
r L ~ r L
~ r ~ L =
r
r
r
~ ijk i j
1
k = i~ ijk
=
x x k ijk
i xj L
i xj km x m
r
r
r
i~
i~ i jm
im j
j
~
~
~ ~r ~r r ~
( )
i x x m =
=
r
r
~ , q.e.d. .
i~ ~ r
~
(1.215)
r
In Gl. (1.214) treten genau die Operatoren aus den Eigenschaften (1.206) und (1.207) auf.
44
~ g (r) Y (
~c fj (r) Yjm
(
r) + ~c ~
E fj (r) Yjm(
r ) = mc
j
jm r ) ,
r
Z
~ f (r) Y (
E gj (r) Yjm (
r ) = mc
~c gj (r) Yjm
(
r) ~c ~
j
jm r ) . (1.216)
r
Kombinieren wir Gl. (1.214), angewendet auf die oberen und unteren Komponenten des
4-Spinors (1.205), mit den Eigenschaften (1.206) und (1.207), so konnen wir einige Terme
wie folgt umschreiben,
g
(r)
dg
(r)
j
j
r
~ Y (
~ g (r) Y (
~ L
~
j
jm r )
jm r ) = ~
dr
~r
dgj (r) 1
gj (r) Yjm
(
r) ,
=
dr
r
dfj (r) fj (r)
~
~
~ L Yjm
(
r)
~ fj (r) Yjm(
r ) = ~ r
dr
~r
dfj (r) 1 +
fj (r) Yjm
(
r) .
(1.217)
dr
r
Setzen wir dies in die Glgen. (1.216) ein, so erkennen wir, dass auf beiden Seiten der
Gleichungen ausschlielich generalisierte Kugelflachenfunktionen zum selben Wert von
auftreten; wir konnen diese also abseparieren,
dgj (r) 1
Z
2
~c fj (r) ~c
+
gj (r) ,
E fj (r) =
mc
r
dr
r
dfj (r) 1 +
Z
2
~c gj (r) + ~c
+
fj (r) , (1.218)
E gj (r) =
mc
r
dr
r
oder
dgj (r) 1
E mc2 Z
fj (r) =
+
gj (r) ,
~c
r
dr
r
dfj (r) 1 +
E + mc2 Z
gj (r) =
+
+
fj (r) .
~c
r
dr
r
(1.219)
gR r g ,
45
1 Relativistische Wellengleichungen
so dass wegen f = fR /r
df
1 dfR fR
=
2 ,
dr
r dr
r
und entsprechend f
ur die Ableitung dg/dr. Dann heben sich einige Terme in den Glgen.
(1.219) weg und wir erhalten
dgR (r)
E mc2 Z
fR (r) =
+
+ gR (r) ,
~c
r
dr
r
2
dfR (r)
Z
E + mc
gR (r) =
+
+ fR (r) .
(1.220)
~c
r
dr
r
dfR (r)
mc2 + E
gR (r) ,
dr
~c
mc2 E
dgR (r)
fR (r) .
dr
~c
Differenzieren wir beide Gleichungen noch einmal nach r, so konnen wir sie durch gegenseitiges Einsetzen entkoppeln,
d2 fR (r)
mc2 + E dgR (r)
m2 c4 E 2
fR (r)
dr 2
~c
dr
~ 2 c2
;,
2
mc2 E dfR (r)
m2 c4 E 2
d gR (r)
gR (r) .
dr 2
~c
dr
~ 2 c2
F
ur ungebundene Zust
ande, E > mc2 , erhalten wir oszillierende L
osungen,
E 2 m2 c4
,
r , E > mc2 : fR (r) , gR (r) cos(kr) , k =
~c
wahrend f
ur gebundene Zust
ande, E < mc2 , exponentiell abfallende oder exponentiell anwachsende L
osungen moglich sind. Letztere m
ussen wir nat
urlich aus
Gr
unden der Normierbarkeit ausschlieen, also verbleiben nur die exponentiell fallenden
Losungen,
m2 c4 E 2
2
r , E < mc : fR (r) , gR (r) exp(kr) , k =
.
~c
Im folgenden betrachten wir nur Losungen f
ur gebundene Zustande. Definieren wir die
dimensionslose Radialvariable
m2 c4 E 2
r,
(1.221)
~c
so konnen wir das Gleichungssystem (1.220) folgendermaen schreiben,
Z
dg
()
R
2
fR () =
mc E m2 c4 E 2
gR () ,
m2 c4 E 2
Z
df
()
R
2
mc + E + m2 c4 E 2
gR () =
+ fR () .
m2 c4 E 2
46
mc2 E
,
mc2 + E
(1.222)
1
+
Z
dgR ()
fR () =
gR () ,
dfR ()
Z
gR () =
+ fR () .
(1.223)
Zur Losung machen wir einen Potenzreihenansatz (multipliziert mit e , um im Unendlichen exponentiell abklingende Losungen zu erhalten),
fR () =
Ak k e ,
k=0
gR () =
Bk k e .
(1.224)
k=0
15.5.2012
X
k=0
X
k=0
Bk
Ak +k Z +k1
1 +k
+ Z +k1
X
k=0
X
k=0
Bk ( + k )+k1 +k ,
Ak ( + k + )+k1 +k ,
X
k=0
0 =
X
1
k=0
(1.225)
47
1 Relativistische Wellengleichungen
Dieses Gleichungssystem kann man in Matrixform wie folgt schreiben:
Z +
0
0
Z
0
0
1
Z
1
+
1
1/
1
Z
0
0=
0
0
1
Z
2
+
0
0
1/
1
Z
0
..
..
..
.
.
.
A0
B0
A1
B1
A2
B2
..
.
Z +
Z
1
0
..
.
1
1/
0
..
.
Z
1 +
0
1
Z
0
1
Z
2+
0
D1
1/
1
2
Z
0
0
0
1
Z . . .
..
..
..
.
.
.
Z
1 +
1
Z
Aufgabe 2.1.1. besagt, dass die Determinante der Matrix N wie folgt zu berechnen ist,
detD = det22 M0 detD1 = det22 M0 det22 M1 detD2 = . . . =
k=0
48
det22 Mk ,
Z
k +
k
Z
Y
2
( + k)2 (Z)2 .
0 = detD =
(1.226)
k=0
Die Koeffizientendeterminante verschwindet also, falls einen der folgenden Werte annimmt:
p
= k 2 (Z)2 , k N0 .
(1.227)
1
> .
2
Vergleichen wir dies mit dem Ergebnis (1.227) und ber
ucksichtigen, dass || 1 und
i.a. Z 1, so m
ussen wir die negative Losung in Gl. (1.227) ausschlieen. Die positive
Losung ergibt die Bedingung
p
1
+ k = 2 (Z)2 > k .
2
Dies ist nicht f
ur beliebige Werte von k erf
ullbar, es gen
ugt aber, wenn es f
ur ein k, z.B.
k = 0, erf
ullt wird (dies reicht aus, um die Koeffizientendeterminante zum Verschwinden
zu bringen). Es ergibt sich also
p
+ 2 (Z)2 .
(1.228)
Mit dieser Losung bestimmen wir nun die Koeffizienten Ak , Bk in der Reihenentwicklung
(1.224). Zunachst kann man die Koeffizienten Ak1 , Bk1 in den Glgen. (1.225) eliminieren,
1
Bk1 ,
( + k )Bk + Z Ak Ak1 ,
1
( + k + )Ak Z Bk [( + k )Bk + Z Ak Ak1 ]
Z
+k
+k+
Ak Z +
Bk + Ak1 ,
1
( + k )Bk + Z Ak ( + k + )Ak Z Bk Bk1
( + k + Z ) Bk + [Z ( + k + )] Ak + Bk1 ,
Ak1 = ( + k + )Ak Z Bk
Bk1 =
Ak1 =
=
Bk1 =
=
49
1 Relativistische Wellengleichungen
bzw.
Z
+k
+k+
Ak =
Z +
Bk ,
( + k + Z ) Bk = [( + k + ) Z] Ak .
Multipliziert man die erste Gleichung mit , so ergibt sich die zweite. Die beiden Gleichungen sind also nicht linear unabhangig. Dies bedeutet, dass man einen der beiden
Koeffizienten, z.B. Bk , durch den anderen, Ak , ausdr
ucken kann,
Bk = Ak
( + k + ) Z
.
+ k + Z
(1.229)
Eingesetzt in, beispielsweise, die erste Gl. (1.225) ergibt sich eine Rekursionsformel f
ur
die Koeffizienten Ak ,
( + k + ) Z
( + k 1 + ) Z
Ak1 Z + ( + k )
Ak ,
0= +
+ k 1 + Z
+ k + Z
bzw., wenn wir k k + 1 setzen und nach Ak+1 auflosen
( + k + ) Z + ( + k + Z )
+ k + Z
+ k + 1 + Z
( + k + 1 ) [( + k + 1 + ) Z] + Z( + k + 1 + Z )
+ k + 1 + Z 2( + k) + Z( 1/)
= Ak
.
(1.230)
+ k + Z ( + k + 1)2 2 + (Z)2
Ak+1 = Ak
F
ur k geht dies gegen
Ak+1
22
2k+1
2
= Ak1
=
,
Ak
k+1
(k + 1)k
(k + 1)!
was bedeutet, dass die Potenzreihe (1.224) bis auf ein Polynom endlicher Ordnung in
wie folgt abgeschatzt werden kann:
X
k=0
Ak
X
(2)k
k=0
k!
e2 .
50
1.
22
4
2
Also ist 1 + ein Wert, der ein wenig kleiner als 1, aber nie negativ ist. Dann kann
aber der erste Zahler auch f
ur > 0 nie null werden. Es bleibt nur die Moglichkeit, dass
der zweite Zahler bei k = N eine Nullstelle hat,
r
2 Z E
Z
mc2 + E mc2 + E mc2 + E
(1 2 ) = Z
=
2( + N) =
,
2
2
mc E
mc + E
m2 c4 E 2
bzw.
also
EN, = mc2
( + N)2
= mc2
( + N)2 + (Z)2
v
u
2u
= mc t1
(Z)2
2 (Z)2 + 2N + N 2 + (Z)2
(Z)2
p
.
(N + ||)2 + 2N
2 (Z)2 ||
(1.231)
Man beachte, dass aufgrund der Rekursionsformel (1.230) auch alle Koeffizienten Ak mit
k > N + 1 verschwinden, da im Zahler immer ein Faktor 2( + N) + Z( 1/) 0
auftritt. Die Reihe (1.224) bricht also in der Tat ab.
Es gibt noch eine Besonderheit zu beachten: f
ur > 0 kann das kleinstmogliche N, bei
dem die Reihe abbricht, nicht null sein. Falls namlich N = 0, wird die erwartete Nullstelle
im Zahler durch eine ebensolche im Nenner aufgehoben. Um dies zu sehen, erweitern wir
den in Frage kommenden Bruch mit Eins,
2 + Z Z/
2 + Z Z/ + Z +
=
+ Z
+ Z + Z +
(2 + Z Z/)( + Z + )
= 2
(Z)2 + 2Z + (Z)2 2
+ Z +
(2 + Z Z/)( + Z + )
6= 0 .
=
Z(2 + Z Z/)
Z
Wir m
ussen den Fall > 0, N = 0 daher in der folgenden Diskussion ausschlieen.
Wir definieren nun eine neue Quantenzahl
n N + || 1 .
(1.232)
Da f
ur > 0 der Wert N = 0 auszuschlieen ist, haben wir
n>
f
ur > 0
51
1 Relativistische Wellengleichungen
und
n + 1
f
ur < 0 .
(1.233)
n>0.
(1.234)
und andererseits
Dies zeigt, dass die neue Quantenzahl n die aus der nichtrelativistischen Diskussion bekannte Hauptquantenzahl ist. Ersetzt man N durch n N + || und || j + 12 , vgl.
Gl. (1.203), so folgt f
ur die Energie-Eigenwerte (1.231)
v
u
(Z)2
2u
q
.
Enj = mc u1
(1.235)
t
1
1 2
1
2
2
n +2 nj 2
j + 2 (Z) j 2
Dies sind die Energie-Eigenwerte f
ur gebundene Losungen der Dirac-Gleichung im Coulomb-Potential eines wasserstoffahnlichen Atomkerns.
F
ur Z 1 lat sich der Ausdruck (1.235) entwickeln. Mit
s
2
(Z)2
1
1
(Z)2 j
j+
2
2
2 j + 21
und
n2 (Z)2
(Z)2
n
(Z)2
(Z)2
1+
1
1
2
2
n
n
j+
nj 2 / j+ 2
1
2
erhalten wir aus Gl. (1.235) bis auf Terme der Ordnung O[(Z)6]
(Z)2 (Z)4 (Z)4
n
2
Enj = mc 1
+ O (Z)6
1 1
2
4
4
2n
8n
2n
j+2
(Z)2 (Z)4
3
n
2
6
= mc 1
+
O
(Z)
.
(1.236)
2n2
2n4
4
j + 12
Der erste Term ist die Ruheenergie. Der zweite ist mit der Rydberg-Energie
ER
2
~2
m e4
2
=
mc
=
2m a2B
2(40 )2 ~2
2
Z2
(Z)2
E
,
(1.237)
R
2n2
n2
also der nichtrelativistischen Energie im nten Energieniveau. Der letzte Term in Gl.
(1.236) stellt die erste relativistische Korrektur dar, beinhaltet also beispielsweise die in
Abschnitt 1.2.12 besprochene Spin-Bahn-Kopplung, und liefert die Feinstruktur der
Energiespektren, da die Entartung zu gegebener Hauptquantenzahl n aber unterschiedlichem Gesamtdrehimpuls j durch diesen Term aufgehoben wird.
Enr = mc2
52
Bezeichnung (nj )
1
2
1S1/2
3
2
1
2
1
2
1
0
1
2S1/2
2P1/2
5
2
3
2
3
2
1
2
1
2
3D5/2
1
2
3P3/2
3D3/2
0
1
3S1/2
3P1/2
1
1
3
2
2
1
1
p
q
2P3/2
Enj [mc2 ]
Reihenfolge
1 (Z)2
1 41 (Z)2
r
2
1 12 (Z) 2
1+ 1(Z)
q
1 91 (Z)2
r
(Z)2
1
2
5+2
r
1
4(Z)
2
(Z)
5+4
1(Z)2
1
5
4
3
1
1
f1/2
(r) Y1/2,s
(
r)
1
+1
ig1/2 (r) Y1/2,s(
r)
(1.238)
53
1 Relativistische Wellengleichungen
1
+ s +1/2 Y0,s1/2 (
r) +
2
1
s 1/2 Y0,s+1/2 (
r) .
2
s
1
Y1/2,s
(
r) = ,
4
1
s= .
2
54
1
f1/2
(r)
r g 1 (r)
i~
1/2
(1.239)
r q 2 4
rp 2 4
Z mc2
2
r,
m c E1,1/2
=
m c (1 1 + (Z)2 ) =
~c
~c
~c
Z mc2 1(Z)2 1
1
A0 e
e A0 ,
r
~c
1
Z mc2 1(Z)2 1
1
g1/2
(r) =
B0 e
e B0 .
r
~c
1
f1/2
(r) =
(1.240)
Es gilt
=
mc2
E1,1/2
=
2
mc + E1,1/2
1 (Z)2
p
=
1 + 1 (Z)2
p
1 (Z)2
Z
1 (Z)2 1 Z
( + ) Z
= A0 p
+ Z
1 (Z)2 + 1 + Z
2
p
p
A0
A0
2
2
=
=
(Z) + 1 1 (Z)
1 1 (Z)2 ,
2 Z
Z
B0 = A0
F
ur Z 1 konnen wir wieder entwickeln,
p
1 1 (Z)2
Z
.
Z
2
Also ist
Z mc2 (Z)2 /2
e A0 ,
~c
Z
Z 1
Z mc2 (Z)2 /2
1
e A0
f (r) .
g1/2
(r)
~c
2
2 1/2
1
f1/2
(r)
Die unteren Komponenten der Wellenfunktion sind also um einen Faktor Z/2 1 kleiner als die oberen. Es gibt einen wichtigen Unterschied zur nichtrelativistischen Grundzustandswellenfunktion: die relativistische Wellenfunktion divergiert am Ursprung wie
2
r (Z) /2 . Diese Divergenz ist wegen Z 1 jedoch sehr schwach und die Wellenfunktion
ist nach wie vor integrabel. Die Normierungskonstante A0 ist aus der Forderung
X Z
1
1
d3~r |1/2,s
(~r)|2
s=1/2
bestimmbar.
55
1 Relativistische Wellengleichungen
m2 c4
(~c)2
F F +
V V ,
4
2
(1.241)
(1.242)
wobei das 4-Vektorpotential V das massive Spin-1Feld beschreibt. Man beachte, dass
die Einheiten so gewahlt sind, dass V die gleiche Dimension wie das Klein-Gordon-Feld
besitzt. Aus der Euler-Lagrange-Gleichung
0 =
LProca
LProca
( V )
V
(1.243)
(1.244)
wobei wir im zweiten Schritt die Definition (1.242) des Feldstarketensors benutzt haben.
Teilchen mit Spin 1 besitzen entsprechend ihrer moglichen Spin-Einstellrichtungen (+1,
0, 1) drei Freiheitsgrade. Das Proca-Feld V hat aber zunachst vier unabhangige Komponenten. Es muss also eine zus
atzliche Bedingung geben, die erlaubt, eine der vier
Komponenten von V zu eliminieren. Diese erhalten wir, wenn wir die 4-Divergenz der
Proca-Gleichung (1.244) bilden,
0 = ~2 + m2 c2 V ~2 V m2 c2 V ,
oder, da m 6= 0,
0 = V .
(1.245)
Diese zusatzliche Bedingung ist identisch mit der Lorenz-Eichung in der Elektrodynamik. Sie erlaubt, eine der vier Komponenten, z.B. V 0 , durch die anderen drei auszudr
ucken. Benutzen wir Gl. (1.245), so vereinfacht sich die Proca-Gleichung (1.244) zu
0 = ~2 + m2 c2 V .
(1.246)
Diese Gleichung besagt, dass jede der Komponenten von V f
ur sich die Klein-GordonGleichung erf
ullt.
Eine Wellengleichung f
ur Teilchen mit Spin 3/2 ist die sog. Rarita-Schwinger-Glei
chung und wird in Ubungsaufgabe
4.2 behandelt.
56
2 Symmetrien
22.5.2012
Der Begriff der Symmetrie, d.h. der Invarianz einer Theorie unter bestimmten Transformationen der in ihr enthaltenen Groen, spielt eine wichtige, wenn nicht sogar die
wichtigste Rolle, in der mathematischen Formulierung der Naturgesetze. Wir hatten den
Symmetriebegriff schon in Abschnitt 1.4 der Vorlesung Analytische Mechanik und Spezielle Relativitatstheorie diskutiert. Wir hatten dort gesehen, dass die Invarianz der
Wirkung unter Koordinatentransformationen
t t (t) ,
~q(t) ~q (~q(t), t) ,
gema dem Noetherschen Theorem zu Integralen der Bewegung, d.h. zu Erhaltungss
atzen f
uhrt. Eine Transformation, die die Wirkung invariant lat bezeichnet man
als Symmetrietransformation.
Wie wir in diesem Kapitel sehen werden, lat sich der Symmetriebegriff auch auf quantenmechanische Systeme u
bertragen. Auch hier werden wir auf Integrale der Bewegung gef
uhrt. Wir werden allerdings nicht wie beim Noether-Theorem den Zugang
u
ber
die
Invarianz
der Wirkung wahlen, sondern direkt das Verhalten der Schrodinger
Gleichung unter Symmetrietransformationen untersuchen.
Um die mathematische Struktur von Symmetrietransformationen in der Quantenmechanik zu verstehen, werden wir eine kurze Einf
uhrung in die Gruppentheorie geben.
Wir werden dann sehen, dass sich Symmetrien einer Theorie nicht nur auf die Invarianz unter Koordinatentransformationen beschranken. Mindestens genauso wichtig ist die
Klasse der sog. internen Symmetrien, d.h. Transformationen, die nicht mit den RaumZeit-Koordinaten des Systems zusammenhangen. In diesem Zusammenhang diskutieren
wir die Isospin-Symmetriegruppe und die Flavor-Symmetriegruppe, die f
ur die
Physik der Starken Wechselwirkung von groer Bedeutung ist.
57
2 Symmetrien
wobei ~a = const.. Wenn wir fordern, dass die Physik invariant unter solchen RaumTranslationen ist, also dass die Raum-Translation (2.1) eine Symmetrietransformation
ist, dann muss f
ur die transformierte Wellenfunktion gelten
(~r ) (~r) ,
(2.2)
oder
(2.3)
r (~a) (~r)
h | i =
d ~r h |~rih~r| i = d ~r (~r) (~r) = d3~r Ur (~a) (~r) U
Z
Z
3
(~a) U
r (~a) (~r) d3~r (~r) (~r) = h|i .
=
d ~r (~r) U
(2.5)
r
(2.6)
Wir wollen diesen Operator jetzt explizit bestimmen. O.B.d.A. betrachten wir eine Verschiebung in xRichtung, ~a = (a, 0, 0)T und entwickeln die rechte Seite von Gl. (2.3) in
eine Taylor-Reihe um ~r,
1 2 2
1 3 3
(~r ~a) = (~r) a
(~r) + a
(~r) a
(~r) + . . .
x
2! x2
3! x3
(a)n n
(~r)
(~
r
)
exp
a
=
n
n!
x
x
n=0
i
i
x
= exp a p (~r) exp ~a ~p (~r) ,
~
~
~ benutzt haben. Durch Vergleich mit Gl. (2.4)
wobei wir den Impuls-Operator p~ = i~
identifizieren wir
i
Ur (~a) exp ~a p~ .
(2.7)
~
Diese Form des Raum-Translationsoperators gilt auch f
ur beliebige ~a. Da p~ (als Observable) ein hermitescher Operator ist, p~ ~p, ist die Unitaritat (2.6) des RaumTranslationsoperators Ur (~a) sofort offensichtlich:
i
i
r (~a) ,
Ur (~a) = exp + ~a p~ = exp (~a) p~ = U
~
~
58
q.e.d. .
(2.8)
Falls die Raum-Translation (2.1) eine Symmetrietransformation ist, bleibt der HamiltonOperator invariant,
H
H
(~r ~r = ~r + ~a) .
H
(2.9)
(t, ~r) .
i~ (t, ~r) = H
(2.10)
t
Setzen wir Gl. (2.4) ein (eine mogliche Zeitabhangigkeit der Wellenfunktion lat diese
Gleichung unverandert), so erhalten wir, da Zeit- und Ortsableitungen miteinander vertauschen,
U
r (~a) (t, ~r) .
i~ Ur (~a) (t, ~r) Ur (~a) i~ (r, ~r) = H
(2.11)
t
t
Da auch die untransformierte Wellenfunktion die zeitabhangige Schrodinger-Gleichung
erf
ullt,
(t, ~r) ,
(2.12)
i~ (t, ~r) = H
t
konnen wir Gl. (2.11) schreiben als
(t, ~r) = H
Ur (~a) (t, ~r) ,
Ur (~a) H
(2.13)
bzw., da dies f
ur beliebige Wellenfunktionen (t, ~r) gelten muss,
h
i
r (~a) H
=H
Ur (~a)
=0.
U
Ur (~a), H
(2.14)
Eine Raum-Translation ist also eine Symmetrietransformation, wenn der Raum-Transr (~a) mit dem Hamilton-Operator des Systems vertauscht. Dies muss
lationsoperator U
auch f
ur infinitesimale Raum-Translationen, |~a| 1, gelten. F
ur solche kann man den
Raum-Translationsoperator (2.7) in eine Taylor-Reihe entwickeln,
r (~a) 1 i ~a p~ ,
U
(2.15)
~
wobei wir Terme der Groenordnung O(a2 ) vernachlassigen konnen. Eingesetzt in Gl.
(2.14) ergibt sich
h
i
h
i
i
i ~a p~, H
= 0
=0,
~p, H
(2.16)
1 ~a ~p , H
~
~
59
2 Symmetrien
2.1.2 Zeit-Translationen
Wir betrachten nun Translationen der Zeit,
t t = t + a ,
(2.17)
wobei a = const.. Wir fordern, dass die Physik invariant unter solchen Translationen
in der Zeit ist, also die Zeit-Translation (2.17) eine Symmetrietransformation ist.
Dann muss f
ur die transformierte Wellenfunktion gelten (wir unterdr
ucken eine mogliche
Ortsabhangigkeit, da sie f
ur das folgende keine Rolle spielt)
(t ) = (t) ,
(2.18)
d.h. die transformierte Wellenfunktion zur verschobenen Zeit t muss identisch mit der
urspr
unglichen Wellenfunktion zur urspr
unglichen Zeit t sein. Setzen wir Gl. (2.17) ein,
so lat sich dies folgendermaen schreiben,
(t + a) = (t)
t (a) (t) ,
(t) = (t a) U
(2.19)
wobei wir in Analogie zum vorangegangenen Abschnitt die Wirkung der Zeit-Translation
t (a), ausgedr
wieder durch einen Operator, den sog. Zeit-Translationsoperator U
uckt
haben. In volliger Analogie zu Herleitung des Raum-Translationsoperators (2.7) erhalten
wir nun
i
Ut (a) = exp a
exp
a E ,
(2.20)
t
~
mit dem Energie-Operator E i~/t. Die Unitaritat des Zeit-Translationsoperators
folgt aus der Hermitezitat des Energie-Operators, E E (Energie-Eigenwerte sind stets
reellwertig) und a R.
Die Anwendung des Operators (2.20) auf Zustande, die die zeitabhangige Schrodinger so dass wir den Zeit-TranslationsGleichung (2.12) erf
ullen, ergibt die Identitat E H,
operator (2.20) auch schreiben konnen als
i
Ut (a) exp
Ha .
(2.21)
~
Er ist damit identisch mit dem Zeit-Entwicklungsoperator f
ur nicht explizit zeitabhangige Hamilton-Operatoren, vgl. Gl. (3.92) der Vorlesung Quantenmechanik I. (Man
beachte jedoch, dass die Zeitverschiebung (2.17) eine Zeitentwicklung des Zustands (t)
in den Zustand (t a) bewirkt, s. Gl. (2.19), also um ein Zeitintervall a r
uckwarts in
der Zeit.)
Symmetrie unter Zeit-Translationen bedeutet, dass der Hamilton-Operator invariant
bleibt,
H
H
(t t = t + a) .
H
(2.22)
Der zeittranslatierte Zustand (t) erf
ullt nat
urlich auch wieder die (zeitabhangige) Schrodinger-Gleichung
(t)
(t) = H
t
60
=0,
(2.25)
E, H = i~ , H = 0
t
t
d.h. der Hamilton-Operator darf nicht explizit zeitabh
angig sein. Der Zeit-Translationsoperator ist damit f
ur zeittranslationsinvariante Systeme identisch mit dem ZeitEntwicklungsoperator, vgl. Gl. (2.21). Die mit dieser Symmetrie einhergehende Erhaltungsgr
oe ist die Gesamtenergie des Systems.
2.1.3 Drehungen
~ (um die
Wir betrachten eine Drehung im Raum um den infinitesimalen Winkel
~ definierte Drehachse),
durch die Richtung von
~ ~r .
~r ~r = ~r +
(2.26)
~ ~r) .
(~r) = (~r
(2.27)
~
~
(~r) ~r (~r) 1 ~r ~p (~r)
~
i ~ ~
=
1
L (~r) ,
(2.28)
~
~ und
wobei wir die Definitionen des Spatproduktes, des Impuls-Operators, p~ = i~,
~ = ~r p~, benutzt haben. Wir fordern wieder, dass die
des Drehimpuls-Operators, L
Transformation (2.27) durch einen Operator bewirkt wird,
~ ~r) = UR ( )
~ (~r) .
(~r) = (~r
(2.29)
Vergleich mit Gl. (2.28) zeigt, dass der infinitesimale Drehoperator die Form
~ = 1 i
~L
~
UR ( )
~
(2.30)
61
2 Symmetrien
hat. Dies sind die ersten beiden Terme einer Taylor-Entwicklung einer Exponentialfunktion. Der Drehoperator f
ur beliebige (nicht notwendigerweise infinitesimale) Drehwinkel
ist daher definiert als
i ~ ~
~
UR () exp L .
(2.31)
~
Die Unitaritat des Drehoperators folgt aus der Hermitezitat des Drehimpuls-Operators,
~ R3 .
~ = L,
~ und weil
L
F
ur rotationsinvariante Systeme gilt wieder, dass der Hamilton-Operator invariant
bleibt,
~ ~r) .
H
= H
(~r ~r = ~r +
H
(2.32)
Auf dem gleichen Weg wie in den beiden vorangegangenen Abschnitten zeigt man dann,
dass
h
i
~
UR (), H = 0 ,
(2.33)
2.2 Einf
uhrung in die Gruppentheorie
2.2.1 Allgemeines u
ber Gruppen
Definition: Eine Menge
G = {a , b , c , . . .}
ist eine Gruppe, falls es eine Verknu
pfung (Multiplikation)
ab
von Elementen a, b G gibt, welche folgende Eigenschaften erf
ullt:
(i) a, b G ist auch a b G.
Man sagt, G ist abgeschlossen unter der Verkn
upfung (Multiplikation) von Gruppenelementen.
(ii) e G, so dass a G gilt a e = e a = a,
d.h. es existiert ein sog. Eins-Element.
(iii) a G a1 G, so dass a1 a = a a1 = e,
d.h. es existiert zu jedem Gruppenelement ein inverses Element.
62
2.2 Einf
uhrung in die Gruppentheorie
(iv) a, b, c G gilt (a b) c = a (b c),
das Assoziativgesetz der Multiplikation.
Definition: Eine Gruppe heit abelsch, falls a, b G gilt a b = b a, d.h. die
Multiplikation ist kommutativ.
Definition: Eine Gruppe heit kontinuierlich, falls man die Elemente der Gruppe durch
kontinuierliche Parameter ~t = (t1 , t2 , . . .)T Rn charakterisieren kann, also
G = a ~t , b ~t , c ~t , . . . .
Definition: Eine Gruppe heit kontinuierlich verbunden, falls man durch kontinuierliche Veranderung der Parameter ~t von einem Element der Gruppe zum nachsten gelangt.
Beispiel 1: Die Gruppe der Raum-Translationen
o
n
r (~a), ~a R3
Gr = U
r (~a2 ) Ur (~a1 ) ,
1 ~a1 ~p U
=
1 ~a2 p~
~
~
wobei wir die Vertauschbarkeit der Komponenten des Impuls-Operators,
i j
p , p = 0 ,
(2.35)
GR = UR (), [, ]
,
(2.36)
L , L = i~ ijk L
(2.37)
63
2 Symmetrien
Der Vertauschungsrest sorgt daf
ur, dass
~1) U
~ 2 ) 6= UR (
~ 2 ) UR (
~1)
R (
R (
24.5.2012
U
Definition: Eine kontinuierliche Gruppe heit kompakt, falls die Menge aller Werte, die
die Parameter ~t durchlaufen, die sog. Gruppenmannigfaltigkeit, kompakt ist.
Beispiel: Drehungen in zwei Raum-Dimensionen, also in einer Ebene, werden durch orthogonale (2 2)Matrizen
cos sin
O()
sin cos
mit Determinante det O() = cos 2 + sin 2 = +1 vermittelt. Diese bilden die Gruppe
der speziellen orthogonalen (2 2)Matrizen,
SO(2) = {O(), [0, 2]} .
(2.38)
Es handelt sich um eine einparametrige Gruppe, mit dem Drehwinkel als Gruppenparameter. Da jede Drehung nach 2 in sich selbst u
bergeht, kann man die Gruppenmannigfaltigkeit auf das kompakte Intervall [0, 2] beschranken. Damit ist auch SO(2) eine
kompakte Gruppe.
Definition: Zwei Gruppen G, H heien lokal isomorph, falls es auf Teilmengen U G,
V H eine Bijektion F zwischen Gruppenelementen gibt,
aU G, bV H :
b = F (a) , a = F 1 (b) .
d.h. der Multiplikation mit einem Phasenfaktor, einer komplexen Zahl vom Betrag 1.
Dies kann als Drehung in der komplexen Zahlenebene interpretiert werden. Die Existenz
einer Bijektion F ist nun evident, man muss lediglich jedem Element O() SO(2) das
Element ei U(1) zuordnen.
Definition: Falls in der obigen Definition der lokalen Isomorphie U = G, V = H, spricht
man von globaler Isomorphie.
Beispiel: Da die Gruppenmannigfaltigkeit [0, 2] f
ur SO(2) und U(1) identisch ist, sind
diese Gruppen also nicht nur lokal, sondern sogar global isomorph.
Definition: Eine Gruppe heit endlich, falls sie endlich viele Elemente hat, ansonsten
heit sie unendlich. Die Ordnung einer endlichen Gruppe ist die Zahl ihrer Elemente.
64
2.2 Einf
uhrung in die Gruppentheorie
(i) D(e) 1,
das Eins-Element wird auf den Einheitsoperator abgebildet, und
(ii) D(a b) = D(a)D(b),
die Gruppenverkn
upfung entspricht der Multiplikation auf dem Raum der linearen
Operatoren.
Beispiel 1: ei ist streng genommen nicht ein Element der Gruppe U(1), sondern die
Darstellung eines solchen Elements. In der Physik benutzt man die Begriffe Darstellung eines Gruppenelements und Gruppenelement aber gerne synonym.
i
Beispiel 2: Der lineare Operator Ur (~a) = exp ~ ~a ~p ist streng genommen die Darstellung eines Elementes der Gruppe Gr der Raum-Translationen, namlich dasjenige, das
eine Verschiebung um den Vektor ~a bewirkt.
Beispiel 3: Die zyklische Gruppe der Ordnung 3, Z3 , ist durch die folgende Verkn
upfungstabelle definiert:
e
a
b
e
e
a
b
a b
a b
b e
e a
D(a) = e2i/3 ,
Man pr
uft leicht nach, dass diese Darstellung unter der gewohnlichen Multiplikation die
gleichen Eigenschaften wie in der Verkn
upfungstabelle angegeben hat.
Definition: Die Dimension einer Darstellung ist die Dimension des Raumes, auf den
die linearen Operatoren der Darstellung wirken.
Beispiel: In den obigen Darstellungen von U(1) oder Z3 ist dies eine Dimension, also
sind diese Darstellungen eindimensional.
65
2 Symmetrien
und sodann die Wirkung eines beliebigen Elements gi G auf den Zustandsvektor |gj i
durch die lineare Abbildung
i ) |gj i = |gi gj i gi , gj G ,
D(g
(2.41)
definiert.
Beispiel: Betrachten wir Z3 . Dann m
ussen wir zunachst den Gruppenelmenten HilbertRaumzustande zuordnen,
g1 e 7 |g1 i |ei ,
g2 a 7 |g2 i |ai ,
g3 b 7 |g3 i |bi ,
mit hgi |gj i = ij . Die regulare Darstellung ergibt sich gema der Definition (2.41) und mit
Hilfe der Verkn
upfungstabelle 2.1:
D(e)
|ei = |e ei = |ei ,
D(a)
|ei = |a ei = |ai ,
D(a)
|bi = |a bi = |ei ,
|ei = |b ei = |bi ,
D(b)
|ai = |b ai = |ei ,
D(b)
|bi = |b bi = |ai .
D(b)
D(g)
hgi |D(g)|g
(2.42)
j i g G , |gi i, |gj i H .
ij
Beispiel: F
ur Z3 gilt
1
0
0
D(e)
= 0 1 0 ,
0 0 1
0
0
1
0
1
0
D(a)
= 1 0 0 , D(b)
= 0 0 1 .
0 1 0
1 0 0
66
2.2 Einf
uhrung in die Gruppentheorie
Beispiel: Betrachte die Gruppe der Raum-Translationen, Gr . Eine Darstellung von Gr
hatten wir schon kennengelernt,
o
n
D(Gr ) = Ur (~a), ~a R3 ,
mit dem linearen Operator Ur (~a) = exp ~i ~a p~ . (Offenbar waren wir vormals im
Sprachgebrauch Gruppe und Darstellung einer Gruppe etwas ungenau; die Gruppe
der Raum-Translationen hatten wir genau genommen als eine mogliche Darstellung dieser
r (~a) eingef
Gruppe in Form der linearen Operatoren U
uhrt.) Eine Matrixdarstellung von
Gr gewinnt man, indem man f
ur eine beliebige Orthonormalbasis {|n i, n = 0, 1, 2, . . .}
mit der Darstellung D(g(~a)) des Gruppenelements g(~a) Gr die Matrizen
i
[D(g(~a))]ij =
d ~r d ~r hi |~r ih~r | exp ~a ~p |~rih~r|j i
~
Z
~ r j (~r)
=
d3~r d3~r i (~r ) (3) (~r ~r) exp ~a
Z
3
~
=
d ~r i (~r) exp ~a r j (~r) ,
wobei wir den Impuls-Operator in Ortsdarstellung und die Orthonormalitat der Ortseigenzustande benutzt haben.
2.2.3 Lie-Gruppen
Lie-Gruppen sind kontinuierliche Gruppen mit N Parametern
~ = (1 , . . . , N )T RN ,
deren Elemente sich (in der Darstellung als lineare Operatoren) in der Form
N
i X
j
U (~
) = exp
j X
~ j=1
(2.44)
(2.45)
der Ursprung des Parameterraums wird auf das Eins-Element (bzw. seine entsprechende
Darstellung als linearer Operator) abgebildet.
Beispiele:
(i) Die Elemente der Gruppe der Raum-Translationen, Gr , haben eine Darstellung der
j = pj und j = aj , j = x, y, z, vgl. Gl. (2.7).
Form (2.44), mit N = 3, X
67
2 Symmetrien
(ii) Die Elemente der Drehgruppe, GR , haben eine Darstellung der Form (2.44), mit
j = L
j und j = j , j = x, y, z, vgl. Gl. (2.31).
N = 3, X
j der Lie-Gruppe berechnet man als Ableitung der GruppeneleDie sog. Generatoren X
mente nach den Parametern am Ort des Eins-Elements:
j = i~
X
U (~
)
.
(2.46)
j
~ =0
X
j + O(2) .
) = 1 i
j X
U(~
~ j=1
(2.47)
Jede endliche Transformation lat sich als Folge infinitesimaler Transformationen darstellen. Wir schreiben dazu mit n N j = nj , j = 1, . . . , N, und berechnen
"
iX
j
lim 1
j X
n
~ j=1
!
N
iX
= exp
j Xj ,
~ j=1
h
in
lim U (~
)
=
mit x = (i/~)
Folgerungen:
PN
j=1
#n
= lim
"
i X j
1
Xj
~ j=1 n
#n
x n
= ex
1+
n
j benutzt haben.
j X
j + O(2) = 1
U (~
) = 1
j X
~ j=1
folgt, dass
1 = . . . = N 0 .
68
(2.48)
2.2 Einf
uhrung in die Gruppentheorie
Die Bedingung (2.48) kann man aber durch Subtraktion der 1 auf beiden Seiten
und unter Vernachlassigung quadratisch kleiner Terme schreiben als
N
X
j = 0 .
j X
(2.49)
j=1
Wenn aber aus dieser Bedingung folgt, dass alle j = 0 sind, dann m
ussen nach De j linear unabhangig sein, q.e.d.
finition der linearen Unabhangigkeit die X
29.5.2012
j hermitesch.
(ii) F
ur unit
are Lie-Gruppen sind die Generatoren X
Beweis: F
ur unitare Lie-Gruppen gilt
(~
1 (~
U
) = U
) .
(2.50)
F
ur infinitesimale Transformationen f
uhrt dies auf
N
1+
i X
iX
j + O(2)
j Xj + O(2) = 1
(j )X
~ j=1
~ j=1
N
X
j=1
=
j X
j
N
X
j
j X
j=1
= X
j ,
X
j
j = 1, . . . , N ,
wobei wir im zweiten Schritt ausgenutzt haben, dass die Parameter reellwertig sind,
j = j , und im letzten Schritt, dass sie beliebig gewahlt werden konnen, q.e.d.
Beispiel 1: Die Elemente der Gruppe U(1) haben die Darstellung ei , mit dem
1 1.
(einzigen) Parameter R und dem (einzigen) Generator X
Beispiel 2: Die Gruppe SU(2) ist die Gruppe der speziellen unit
aren (2
2)Matrizen, also der unitaren (2 2)Matrizen mit Determinante +1. Eine
Darstellung der Elemente von SU(2) ist
i
~ S ,
(2.51)
U(~
) = exp
~
der Spin-Operator ist, der
~ = ~ ~
wobei die Parameter j R, j = 1, 2, 3, und S
2
= (
proportional zum Vektor der Pauli-Matrizen ~
1 ,
2 ,
3 )T ist. Aus diesem
Grund bezeichnet man die Gruppe SU(2) auch als Spin-Gruppe.
Es ist aus Gl. (2.51) offensichtlich, dass SU(2) eine Lie-Gruppe darstellt. Aber sind
die Elemente (2.51) tatsachlich unitare (2 2)Matrizen mit Determinante +1?
~
Die Unitaritat ist aufgrund der Tatsache, dass die Parameter j reell sind und S
ein hermitescher Operator ist (weil der Spin eine physikalische Observable ist, bzw.
weil die Pauli-Matrizen hermitesch sind), unmittelbar ersichtlich,
i
i
~ = exp (~
~ = U 1 (~
~ S
) S
) .
U (~
) = exp
~
~
69
2 Symmetrien
Um zu zeigen, dass U (~
) eine (2 2)Matrix ist, berechnen wir zunachst
h
in h
in
)2n = (~
)2 =
(~
(~
~
~
~
~ + i ~
~ ) = 2n 1 ,
~
)2n+1 = (~
= 2n
= 2n+1
(~
~
~ )2n
~ ~
~ ~
~ ,
wobei wir Gl. (1.169) benutzt haben. Damit konnen wir die Reihenentwicklung des
Elements (2.51) der Spin-Gruppe schreiben als
n
X
1
i
U (~
) =
(~
~ )n
n!
2
n=0
2n
2n+1
X
X
1
i
i
1
2n
)2n+1
=
(~
~ ) +
(~
~
(2n)!
2
(2n
+
1)!
2
n=0
n=0
n
X (1)n 2n+1
X (1)
~
2n
=
~
1i
(2n)! 2
(2n + 1)! 2
n=0
n=0
= cos
1 i sin
~ .
2
2
(2.52)
Dies ist als Summe von (2 2)Matrizen ebenfalls eine (2 2)Matrix. Schlielich
):
berechnen wir noch die Determinante von U(~
i
i
0,
ln det U(~
) = Tr ln U (~
) = Tr
~ ~ =
~ Tr ~
2
2
weil die Pauli-Matrizen spurfrei sind. Damit ist aber
det U (~
) = +1 ,
q.e.d. .
2.2 Einf
uhrung in die Gruppentheorie
und entwickeln die Exponentialfunktionen bis zur zweiten Ordnung in den Parametern
j , k ,
"
!
N
N
N
X
X
X
1
i
i i~ ln
j
j X
k
i X
1
j X
j k X
2
~
2~
i=1
j=1
j,k=1
!#
N
N
X
X
i
X
m
1
m X
X
1
~
2~2
,m=1
=1
"
#
N
N
X
iX
1
j
j X
k .
i~ ln 1
(j + j )X
(j k + 2j k + j k )X
~ j=1
2~2 j,k=1
Nun entwickeln wir auch noch den Logarithmus bis zur zweiten Ordnung in den Parametern j , k , und zwar gema der Formel
ln(1 + x) = x
x2
+ O(x3 ) ,
2
und erhalten
N
X
i=1
"
N
1 X
j X
k
(j k + 2j k + j k )X
(j + j )Xj 2
2~
j=1
j,k=1
#
N
1 X
j X
k
(j k + j k + j k + j k )X
+ 2
2~ j,k=1
i i~ i
i X
~
N
X
j=1
N
X
j
(j + j )X
N
i X
j X
k .
(j k j k )X
2~
j,k=1
Bringen wir den ersten Term auf die linke Seite und vertauschen die Summationsindizes
im zweiten Beitrag des zweiten Terms, so erhalten wir
2i~
N
X
i=1
i =
(i i i )X
N
X
j,k=1
h
i
j , X
k .
j k X
(2.53)
i = 1, . . . , N ,
(2.54)
71
2 Symmetrien
d.h. die Gruppenelemente vertauschen. Es handelt sich also um eine abelsche Gruppe.
I.a. vertauschen aber die Generatoren nicht. Wir bezeichnen
2i~(i i i ) i~ i
(2.55)
N
X
i =
fjki j k X
i,j,k=1
N
X
j,k=1
h
i
j , X
k ,
j k X
(2.57)
(2.58)
i=1
wobei wir wie gewohnt die Einsteinsche Summenkonvention benutzt haben. Diese Vertauschungsrelationen definieren eine Algebra f
ur die Generatoren der Lie-Gruppe, die sog.
Lie-Algebra. Die Konstanten fjki sind die sog. Strukturkonstanten der Gruppe.
Beispiel 1: F
ur die Gruppe GR der Raumdrehungen, Gl. (2.36), sind die drei Generatoren die Komponenten des Drehimpulsoperators, welche die Drehimpulsagebra
(2.37) erf
ullen. Also ist
fjki jki
Beispiel 2: F
ur die Gruppe SU(2) mit den Elementen (2.51) sind die Generatoren die
Komponenten des Spin-Operators. Aufgrund der Vertauschungsrelation (1.113) f
ur die
Pauli-Matrizen erf
ullen diese die Lie-Algebra
i ~2
h
~2
j k
S ,S =
[
j ,
k ] =
2i jki
i i~ jki Si ,
4
4
(2.59)
(2.60)
F
ur SU(2) und GR ist dies aufgrund der Antisymmetrie des Levi-Civita-Tensors
automatisch erf
ullt.
72
2.2 Einf
uhrung in die Gruppentheorie
(ii) F
ur unit
are Gruppen sind die Strukturkonstanten reell. Mit der Hermitezitat der
Generatoren berechnen wir namlich,
h
i
h
i h
i
h
i
i
Xj , Xk
= Xk , Xj = Xk , Xj = Xj , Xk = i~ fjki X
i .
i~fjki
Xi = i~fjki
Xi = i~ fjki X
fjki
= fjki ,
q.e.d. .
(2.61)
(2.62)
k X
iX
j X
iX
k X
j X
j X
kX
i + X
j X
iX
k 0 .
+ X
Mit Hilfe der Lie-Algebra (2.58) ist dies identisch mit
n
h
i
h
i
h
io
, X
k + fjk X
, X
i + fki X
, X
j
0 = i~ fij X
m .
= ~2 (fij fkm + fjk fim + fki fjm ) X
Wegen der linearen Unabhangigkeit der Generatoren muss die Klammer verschwinden, d.h. es gilt die Jacobi-Identitat (2.62), q.e.d.
Beispiel: F
ur die Gruppen SU(2) bzw. GR sind die Strukturkonstanten durch die
Komponenten des Levi-Civita-Tensors gegeben, die, wie wir schon aus der Vorlesung Klassische Mechanik wissen, die Jacobi-Identitat (2.62) erf
ullen, vgl. dort
Gl. (1.137).
Lie-Gruppen haben die besondere Eigenschaft, dass die Kenntnis der Generatoren aufgrund von Gl. (2.44) die Kenntnis aller Gruppenelemente nach sich zieht. Eine Darstellung der Generatoren definiert dann gleichzeitig eine Darstellung der Gruppe.
Eine besonders wichtige Darstellung ist die sog. adjungierte Darstellung, in der die
Generatoren durch die Strukturkonstanten festgelegt werden,
i )jk = i~ fijk .
(X
(2.63)
73
2 Symmetrien
von Gl. (2.44) klar, dass f
ur matrixwertige Generatoren auch die Gruppenelemente matrixwertig sind. Die adjungierte Darstellung definiert also eine Matrixdarstellung
der Gruppe.
Wir zeigen nun, dass die adjungierte Darstellung (2.63) in der Tat eine mogliche Darstellung der Generatoren ist, weil sie in dieser Darstellung die Lie-Algebra der Gruppe
erf
ullen. Wir beginnen mit der Jabobi-Identitat (2.62), die wir mit den Glgen. (2.60) und
(2.63) und in folgender Form schreiben:
X
.
km
0 0 0
0 0 1
x = i~ 0 0 1 , L
y = i~ 0 0 0 ,
L
0 1 0
1 0 0
0 1 0
z = i~ 1 0 0 .
L
0 0 0
(2.65)
Betrachten wir beispielsweise eine Drehung um die zAchse,
X
n
n
i z
i
1
z
exp L =
L
.
(2.66)
~
n!
~
n=0
(1)n
0
0
0 1 0
2n
2n+1
z
z
(1)n 0 ,
L
= (i~)2n 0
L
= (i~)2n+1 (1)n 1 0 0 .
0
0
0
0 0 0
Damit wird Gl. (2.66) zu
1 0 0
0
n
n
X
X
(1)
i z
(1) 2n
0 1 0
= 1+
2n+1 1
exp L
~
(2n)!
(2n + 1)!
n=0
n=1
0 0 0
0
1 0 0
1 0 0
0 1 0
0 1 0
=
+ (cos 1) 0 1 0
sin 1 0 0
0 0 1
0 0 0
0 0 0
cos sin 0
~ez () .
sin cos 0 D
=
0
0
1
74
1 0
0 0
0 0
2.2 Einf
uhrung in die Gruppentheorie
Dies ist gerade die Drehmatrix f
ur Drehungen von dreidimensionalen Vektoren um
den Winkel um die zAchse. Entsprechend berechnet man die Drehmatrizen f
ur
x und L
y in der adjungierten
Drehungen um die x und yAchse aus den Generatoren L
Darstellung.
Drehmatrizen in drei Dimensionen bilden die Gruppe der speziellen, orthogonalen
(33)Matrizen mit Determinante +1, oder kurz SO(3). Was wir gerade gezeigt
haben ist, dass SO(3) isomorph zur adjungierten Darstellung der Drehgruppe GR
ist. Weil man den Begriff Darstellung einer Gruppe und Gruppe synonym benutzt,
sagt man auch, dass die SO(3) isomorph zur Drehgruppe GR ist, bzw. dass SO(3) die
Gl. (2.65) auch gleichzeitig die adjungierte Darstellung der Generatoren S i der SU(2)
dar. Man beachte den Unterschied zur sog. fundamentale Darstellung Si = ~2
i dieser Generatoren. F
ur SU(2) besteht die fundamentale Darstellung aus (2 2)Matrizen,
wahrend die adjungierte aus (33)Matrizen gebildet wird.
31.5.2012
Die Form der Strukturkonstanten hangt i.a. von der Wahl der Generatoren ab. Es muss
aber immer die Lie-Algebra (2.44) erf
ullt sein, deshalb sind die Strukturkonstanten immer
antisymmetrisch in den ersten beiden Indizes, Gl. (2.60). Man kann jedoch eine Wahl
der Generatoren treffen, in denen die Strukturkonstanten vollst
andig antisymmetrisch
sind,
fjki = fkij = fijk = fkji = fjik = fikj .
(2.67)
Bemerkung: F
ur die Gruppe der Raumdrehungen, GR , und damit f
ur SO(3) und SU(2)
ist dies automatisch erf
ullt, da fjki = jki .
Beweis: Wir benotigen eine Basis, in der die Generatoren die Relation
i X
j = i ij
Tr X
(2.68)
erf
ullen (wobei auf der rechten Seite nicht u
ber i summiert wird), also in diesem Sinn
orthogonal sind. Durch geeignetes Normieren der Generatoren kann man dar
uberhinaus
erreichen, dass auch
~2
Tr Xi Xj =
ij
(2.69)
2
gilt. Dann berechnen wir mit der Lie-Algebra (2.44) den Ausdruck
2
2i nh i o
(2.70)
2i
2i
Tr
X
X
X
X
X
X
=
Tr
X
X
X
X
X
X
j k i
k j i
k i j
i k j
~3
~3
nh
i
o
2i
k , X
i X
j fkij ,
= 3 Tr X
~
(2.71)
75
2 Symmetrien
wobei wir die zyklische Vertauschbarkeit der Operatoren unter der Spur und das Ergebnis
der Rechnung, die auf Gl. (2.70) gef
uhrt hat, ausgenutzt haben. Der Vergleich mit Gl.
(2.70) liefert bereits das erste Gleichheitszeichen in Gl. (2.67). Wenn wir von Gl. (2.71)
ausgehend eine weitere zyklische Vertauschung unter der Spur vornehmen, erhalten wir
auch das zweite Gleichheitszeichen in Gl. (2.67). Die restlichen Gleichheitszeichen erhalt
man nun aus den bestehenden Identitaten aufgrund der Eigenschaft (2.60).
Es bleibt noch zu klaren, ob man eine Basis finden kann, in der Gl. (2.68) erf
ullt ist.
Wir betrachten dazu eine lineare Transformation L der Generatoren (einen Wechsel der
Basis), so dass
i X
i = Lik X
k .
X
(2.72)
Die Vertauschungsrelation (2.44) lautet in der neuen Basis
, X
] = Lik Lj [X
k , X
] = Lik Lj i~ fkm X
m
[X
i
j
1
= i~ Lik Lj fkm L1
mn Lnr Xr = i~ Lik Lj fkm Lmn Xn
n ,
i~fijn
X
wobei wir von der ersten zur zweiten Zeile die Invertierbarkeit der linearen Transformation,
L1
mn Lnr mr
und sodann, zum nachsten Gleichheitszeichen, die Definition (2.72) des Basiswechsels benutzt haben. Die letzte Identitat schielich entspringt der Forderung, dass auch die neuen
die Lie-Algebra (2.44) erf
Generatoren X
ullen m
ussen, mit den neuen Strukturkoni
fijn fijn
Lik Lj fkm L1
(2.73)
mn .
Diese neuen Strukturkonstanten definieren eine neue adjungierte Darstellung der Generatoren:
i )jk = i~ fijk
(X
= i~ Lim Ljn fmnr L1
rk
1
m )nr L = Lim L X
m L1
= Lim Ljn (X
rk
jk
= Lim Ljn Tr Xm Xn
Tr Xi Xj
= Lim Ljn Tr L Xm L L Xn L
m X
n LT .
= Lim Tr X
(2.74)
nj
F
ur unitare Gruppen sind die Strukturkonstanten reell, also sind die Matrizen
Mij Tr Xi Xj , Mmn Tr Xm Xn ,
76
2.2 Einf
uhrung in die Gruppentheorie
ebenfalls reell. Auerdem sind diese Matrizen wegen der zyklischen Vertauschbarkeit unter
der Spur symmetrisch. Also lassen sie sich mit Hilfe orthogonaler Matrizen diagonalisieren. Wenn wir f
ur die lineare Transformation L diejenige orthogonale Matrix O L
wahlen, welche M diagonalisiert, erhalten wir aus Gl. (2.74) die Relation
T
i ij = Mij = Oim Mmn Onj
.
Es gibt also in der Tat eine Basis (die man durch eine geeignete lineare Transformation
L O erhalt), in der
X
i ij , q.e.d. .
Tr X
i
j
Definition: Der Rang einer Lie-Gruppe ist die Zahl der miteinander vertauschenden
Generatoren der Lie-Algebra.
Beispiel 1: Die Gruppe der Raum-Translationen Gr : Eine Darstellung der Gruppenelemente ist durch Gl. (2.7) gegeben. Die Generatoren sind die drei Komponenten des ImpulsOperators, pi . Alle drei Generatoren vertauschen miteinander, [
pi , pj ] = 0, i, j = 1, 2, 3.
Also ist Rg Gr = 3.
Beispiel 2: Die Gruppe der Raumdrehungen GR : Eine Darstellung der Gruppenelemente
ist durch Gl. (2.31) gegeben. Die Generatoren erf
ullen die Drehimpuls-Algebra (2.37).
i mit sich selbst, Rg GR = 1.
Also vertauscht maximal jeder Generator L
Definition: Die sog. Cartan-Subalgebra ist die Algebra, die sich aus der maximalen
Anzahl miteinander vertauschenden Generatoren ergibt. Der Rang einer Lie-Gruppe ist
folglich die Anzahl der Generatoren in der Cartan-Subalgebra.
I = Xi , i = 1, . . . , M , M < N ,
aus der Menge aller Generatoren,
n
o
Yj , j = 1, . . . , N ,
i ] I i = 1, . . . , M , j = 1, . . . , N ,
[Yj , X
(2.75)
d.h. der Kommutator zwischen beliebigen Generatoren mit denen aus dem Ideal ist wieder
ein Generator aus dem Ideal.
Definition: Eine invariante Untergruppe U G ist die Menge aller Gruppenelemente
u G, f
ur die gilt
g 1 u g U g G .
Satz: Ein Ideal definiert eine invariante Untergruppe N , einen sog. Lieschen Normalteiler,
i
i
N = h = exp i X
G.
~
77
2 Symmetrien
Mit anderen Worten, f
ur
h = eiX N ,
g = eiY G ,
1
i ,
i X
~
1
Y j Yj ,
~
X
ist
g 1 h g N .
Beweis: Es ist
g 1 h g = eiY eiX eiY =
X
(i)n
n=0
X
n=0
n!
eiY X n eiY
n X (i)n n
(i)n iY
e X eiY
X = eiX h ,
n!
n!
n=0
wobei wir X eiY X eiY definiert haben. Es ist zu zeigen, dass X I, dann ist h N .
Dazu betrachten wir folgenden Operator,
X () eiY X eiY .
Offenbar ist X (0) X und X (1) X . Eine Taylor-Entwicklung von X () um = 0
ergibt
2 2
X () +
X () + . . .
X () = X +
2 2
=0
=0
iY
iY
iY
= X + iY e X e
+ e X (iY ) eiY =0
2
+
Y 2 eiY X eiY + 2 Y eiY X Y eiY eiY X Y 2 eiY =0 + . . .
2
2
= X + i [Y, X]
Y 2X 2 Y X Y + X Y 2 + . . .
2
2
[Y, [Y, X]] + . . . .
= X + i [Y, X]
2
Daraus folgt, dass
X = X (1) = X + i[Y, X]
1
[Y, [Y, X]] + . . . .
2
Weil aber
1
i I ,
i X
~
1
i] I ,
[Y, X] = 2 i j [Yj , X
~
h
i
1
[Y, [Y, X]] =
j Yj , [Y, X] I , etc. ,
~
X =
78
2.2 Einf
uhrung in die Gruppentheorie
ist X I, q.e.d.
Definition: Ein sog. Liescher abelscher Normalteiler ist eine invariante Lie-Untergruppe, bei der alle Elemente miteinander vertauschen,
h, h N : [h, h ] = 0 .
Es ist klar, dass das zu N gehorende Ideal I dann ein sog. abelsches Ideal sein muss,
i, X
j ] = 0 ,
[X
i, j = 1, . . . , M .
Definition: Eine Lie-Gruppe heit einfach, wenn sie keinen Lieschen Normalteiler
besitzt. Ihre zugehorige Lie-Algebra heit einfach, wenn sie kein Ideal (auer der LieAlgebra selbst, M = N, sowie der Null) besitzt.
Definition: Eine Lie-Gruppe heit halbeinfach, wenn sie keinen Lieschen abelschen
Normalteiler besitzt. Ihre zugehorige Lie-Algebra heit halbeinfach, wenn sie kein
abelsches Ideal besitzt.
Beispiel 1: Wir betrachten die Gruppe der Raumdrehungen GR (oder SO(3) oder SU(2)).
Die Generatoren erf
ullen die Vertauschungsrelationen (2.37),
x, L
y ] = i~ L
z ,
[L
y , L
z ] = i~ L
x ,
[L
z , L
x ] = i~ L
y ,
[L
d.h. es gibt kein Ideal. GR ist somit nicht nur eine halbeinfache, sondern sogar eine
einfache Lie-Gruppe.
Beispiel 2: Wir betrachten die Produktgruppe SU(2) SO(3). Die Generatoren dieser
Gruppe sind die Komponenten Si des Spin-Operators (f
ur SU(2)) und die Komponenten
j
L des Drehimpuls-Operators (f
ur SO(3)). Es gelten die Vertauschungsrelationen
[Si ,
i,
[L
[Si ,
Sj ] = i~ ijk Sk ,
j ] = i~ ijk L
k ,
L
j ] = 0 .
L
Beispiel: Betrachte die Gruppe der Raumdrehungen GR . Das Quadrat des DrehimpulsP
2
i
~ 2 = 3 L
operators, L
j=1 j vertauscht mit allen Generatoren L , also den Komponenten
des Drehimpulsoperators,
~ 2 , L
i ] = 0 , i = 1, 2, 3 ,
[L
(2.77)
79
2 Symmetrien
i ~ ~
~
und daher auch mit allen Gruppenelementen UR () = exp ~ L (in der Darstellung
als lineare Operatoren),
~ =0.
~ 2 , UR ()]
[L
(2.78)
~ 2 ein Casimir-Operator der Gruppe GR .
Damit ist L
Casimir-Operatoren sind in der Regel keine Generatoren, aber Funktionen derselben,
X
1 , X
2, . . . , X
N ) .
C = C(
(2.79)
(2.80)
12.6.2012
Von groer Bedeutung ist der folgende Satz (den wir ohne Beweis angeben), weil er bei
Kenntnis des Rangs einer halbeinfachen Lie-Gruppe die maximal mogliche Anzahl von
Casimir-Operatoren zu bestimmen erlaubt:
Theorem von Racah: Jede halbeinfache Lie-Gruppe G vom Rang r hat r Casimir1, . . . , X
N ), i = 1, . . . , r.
Operatoren Ci (X
Beispiel: GR (bzw. SU(2) oder SO(3)) ist vom Rang 1, also existiert genau ein CasimirOperator. Diesen haben wir schon kennengelernt, es ist
x, L
y , L
z)
C1 = C1 (L
3
X
2 = L
~ 2 .
L
j
j=1
(2.81)
In diesem Fall sind die Multipletts die (2 + 1)fach entarteteten Zustande zu gegebener
Drehimpulsquantenzahl .
80
2.2 Einf
uhrung in die Gruppentheorie
Man bezeichnet das Multiplett zu
=0
= 12
=1
= 23
als
als
als
als
Singlett,
Dublett,
Triplett,
Quadruplett, etc.
F
ur die Drehgruppe GR ist die Bedeutung der Multipletts klar. Aber was ist ein Multiplett
im allgemeinen, also f
ur beliebige Gruppen? Dazu benotigen wir die folgende
Definition: Ein bez
uglich einer Symmetriegruppe G invarianter Unterraum U eines
Hilbert-Raumes H ist die Menge aller Zustande, die unter der Wirkung von linearen
Operatoren D(g), g G, invariant bleibt, also
|i U , g G :
D(g) |i = |D(g) i | i U .
Mit anderen Worten, die linearen Operatoren D(g) der Symmetriegruppe transformieren
die Zustande eines invarianten Unterraums nur unter sich selbst, f
uhren aber nicht aus
dem invarianten Unterraum hinaus. Man spricht in diesem Fall von einem reduziblen
Unterraum und von einer reduziblen Darstellung D(g) von Gruppenelementen g G.
(2.82)
aufgespannt, denn die Anwendung der Operatoren (2.31) auf diese Zustande f
uhrt nicht
aus diesem Raum heraus. Es gen
ugt, dies f
ur infinitesimale Transformationen zu zeigen,
~ = 1 i
~L
x + y L
y + z L
z
~ = 1 i x L
UR ( )
~
~
x
i
iy
x + iy
z z
= 1
L +
L+ +
L ,
~
2
2
wobei wir die Stufenoperatoren
L
x i L
y
L
z mit lediglich den Wert von m, wahrend L
den Wert von m jeweils
benutzt haben. L
um eine Stufe erhohen bzw. erniedrigen. Weil aber
| i = 0 ,
L
f
uhrt die Wirkung der Stufenoperatoren auch nicht aus dem invarianten Unterraum U
heraus.
Definition: Ein invarianter Unterraum M H heit irreduzibel, falls er auer sich
selbst keine weiteren invarianten Unterraume enthalt. In diesem Fall sind die linearen
Operatoren D(g), die auf Zustande von M wirken, in einer irreduziblen Darstellung
der Gruppenelemente g G.
81
2 Symmetrien
Definition: Ein Multiplett ist ein irreduzibler invarianter Unterraum.
Beispiel: Der invariante Unterraum (2.82) aus dem vorangegangenen Beispiel ist reduzibel, da er zwei irreduzible invariante Unterraume enthalt, das Singlett
M0 = {|0 0i} ,
und das Triplett
M1 = {|1 1i , |1 0i , |1 1i} .
~ nicht
R ()
Man kann sich leicht klarmachen, dass die Wirkung von linearen Operatoren U
aus den Multipletts M0 , M1 herausf
uhren.
Definition: Eine Darstellung D(g) heit vollst
andig reduzibel, falls man sie in Blockdiagonalform schreiben kann,
D0 (g)
0
D1 (g)
(2.83)
D(g) = 0
,
..
..
.
.
wobei alle Di (g) irreduzibel sind, d.h. nur auf dem iten Multiplett Mi wirken.
Beispiel:
2
~ =
L
0
0
0 ~2 43 1 2
0
..
0
.
0
~2 2 1 3
..
.
0
~2 15
14
4
..
..
.
.
D(g) = U (~
) = exp j Xj .
~
Die Hilbert-Raumzustande des Systems erf
ullen die zeitabhangige Schrodinger-Gleichung
i~
82
|(t)i .
|(t)i = H
t
(2.84)
2.2 Einf
uhrung in die Gruppentheorie
Der unter G transformierte Zustand ist
) |(t)i .
| (t)i = D(g) |(t)i = U(~
(2.85)
|(t)i i~ | (t)i
U i~ |(t)i = i~ U
t
t
t
|(t)i = U H
U
1 U |(t)i U H
U 1 | (t)i ,
= U H
wobei wir mehrfach die Definition (2.85) des transformierten Hilbert-Raumzustands benutzt haben. Falls das System invariant unter der Lie-Gruppe G ist, G also eine Symmetriegruppe des Systems ist, erf
ullt der transformierte Zustand ebenfalls die Schrodinger = H,
also
Gleichung, mit demselben Hamilton-Operator, H
U
1 | (t)i H
| (t)i
i~ | (t)i = U H
U 1 = H
=H
U
U H
U H
H]
= 0,
[U,
oder, f
ur infinitesimale Transformationen,
j , H]
=0
[X
j = 1, . . . , N .
(2.86)
Weil die Casimir-Operatoren aber Funktionen der Generatoren sind, s. Gl. (2.79), ist es
offensichtlich, dass auch diese Operatoren mit dem Hamilton-Operator vertauschen,
=0
[Ci , H]
i = 1, . . . , r ,
(2.87)
wobei r die Gesamtzahl der Casimir-Operatoren angibt (r ist nach dem Racah-Theorem
f
ur halbeinfache Lie-Gruppen identisch mit deren Rang). Per Definition vertauschen auch
alle Casimir-Operatoren untereinander,
[Ci , Cj ] = 0
i, j = 1, . . . r .
(2.88)
alle Voraussetzungen f
Weil H
ur einen Casimir-Operator des Systems erf
ullt, aber gleich
zeitig kein neuer, d.h. von den anderen Ci linear unabh
angiger Casimir-Operator
eine
sein kann (da r schon die maximale Anzahl von Casimir-Operatoren angibt), muss H
Funktion der Casimir-Operatoren des Systems sein,
= H(
C1 , . . . , Cr ) .
H
(in f
Falls diese Funktion in eine Taylor-Reihe entwickelt werden kann, so ist H
uhrender
Ordnung in den Casimir-Operatoren) einfach als Linearkombination der Casimir-Operatoren des Systems, plus der Einheitsmatrix 1, die immer mit allen D(g) D(G) vertauscht, darstellbar,
r
X
H = c0 1 +
ci Ci + O(Ci2 ) .
(2.89)
i=1
83
2 Symmetrien
Beispiel: Wasserstoffatom. Aufgrund des Zentralpotentials ist das System invariant unter Raumdrehungen, d.h. unter der Gruppe GR . Der einzige Casimir-Operator dieser
~ 2 . In der Tat
Gruppe ist, wie wir schon wissen, das Quadrat des Drehimpuls-Operators, L
lautet der Hamilton-Operator in Kugelkoordinaten
~2 1
1 ~ 2
2
H(~r) =
r
+ V (r) 1 +
L ,
2
2m r r
r
2mr 2
vgl. Gl. (5.46) der Vorlesung Quantenmechanik I. Wir identifizieren also
~2 1
2
c0
r
+ V (r) ,
2m r 2 r
r
1
c1
.
2mr 2
Die Koeffizienten c0 , c1 sind noch (operatorwertige) Funktionen des radialen Abstands r,
welcher unter GR aber eine Invariante darstellt.
Der maximale, linear unabh
angige Satz von miteinander vertauschenden Operatoren
ist also zunachst lediglich der Satz der Casimir-Operatoren des Systems,
n
o
C1 , . . . , Cr .
Wir konnen also ein System von Zustanden wahlen, welche gleichzeitig Eigenfunktionen zu allen Casimir-Operatoren sind. Diese Zustande werden durch die Angabe der
zugehorigen Eigenwerte charakterisiert,
|C1 , . . . , Cr i .
Dies ist aber noch kein reiner Zustand, also ein Zustand, bei dem alle m
oglichen
mebaren Quantenzahlen festgelegt sind. Es kann namlich noch weitere Operatoren
Aj , j = 1, . . . , s, geben, die keine Casimir-Operatoren sind, aber dennoch mit dem
Hamilton-Operator und mit allen Casimir-Operatoren des Systems vertauschen.
z ein solcher Operator. Er vertauscht
Beispiel: Im Wasserstoffatom ist der Generator L
als auch mit L
~ 2 . (Wir haben den Spin aus dieser Betrachtung ausgeschlossowohl mit H
~ 2 einen weiteren Casimir-Operator, der aber nicht in H
(2.90)
84
2.2 Einf
uhrung in die Gruppentheorie
gehore. Wir k
urzen im folgenden die Menge der Eigenwerte {1 , . . . , s } mit ab. Nach
Definition eines Multipletts ist auch
| i = U |i = U |C1 , . . . , Cr , i |C1 , . . . Cr , i
ein Zustand des gleichen Multipletts. Es ist zu zeigen, dass
Ci Ci
i = 1, . . . , r .
Ci |C1 , . . . , Cr , i
|C1 , . . . , Cr , i = U Ci |C1 , . . . , Cr , i
Ci U
|C1 , . . . , Cr , i
U Ci |C1 , . . . , Cr , i = Ci U
Ci |C1 , . . . , Cr , i ,
entartet.
Zum Schluss dieses Abschnitts beweisen wir noch einen weiteren wichtigen Satz, der aus
zwei Teilen besteht:
Das Schursche Lemma (I): Gegeben sei eine halbeinfache unitare Lie-Gruppe G und
beschriebenes System. Falls G eine Symmetriegruppe
ein durch den Hamilton-Operator H
des Systems ist, also die Dynamik invariant unter Transformationen D(g) D(G) ist,
=0
[D(g), H]
gG,
|C1 , . . . , Cr , i M ,
|C1, . . . , Cr , i
hC1 , . . . , Cr , | [Ci, H]
H
Ci |C1 , . . . , Cr , i
hC1 , . . . , Cr , | Ci H
H
Ci |C1 , . . . , Cr , i
hC1 , . . . , Cr , | Ci H
(Ci Ci ) hC1 , . . . , Cr , | H |C1, . . . , Cr , i
(Ci Ci ) E(C1 , . . . , Cr ) hC1 , . . . , Cr , |C1 , . . . , Cr , i ,
85
2 Symmetrien
wobei wir von der zweiten zur dritten Zeile die Hermitezitat der Casimir-Operatoren
ausgenutzt haben. Diese Gleichung kann nur erf
ullt werden, falls (i) Ci = Ci oder falls (ii)
hC1 , . . . , Cr , |C1 , . . . , Cr , i = 0 .
Weil aber nach Voraussetzung die beiden Zustande zu verschiedenen Multipletts gehoren, und diese durch die Eigenwerte der Casimir-Operatoren eindeutig charakterisiert
werden, muss wenigstens fu
ur diesen
r einen Casimir-Operator, z.B. Cj , Cj 6= Cj sein. F
kann dann aber nur Fall (ii) eintreten, um die Gleichung zu erf
ullen, d.h. das Ubergangsmatrixelement zwischen den beiden Zustanden verschwindet, q.e.d.
Bemerkung: Betrachten wir die vorletzte Zeile des vorangegangenen Beweises, so konnen
wir diesen Sachverhalt auch noch anders formulieren. Offenbar besitzt der Hamilton keinen Anteil, der einen Ubergang
Operator H
zwischen Zustanden verschiedener Multipletts induziert. Gabe es einen solchen Anteil, dann ware hC1 , . . . , Cr , |C1 , . . . , Cr , i
Anteile enthalt, die die Symmetrie ex6= 0. Dies kann wiederum nur passieren, wenn H
plizit brechen.
Das Schursche Lemma (II): Die irreduziblen Darstellungen der Casimir-Operatoren
sind proportional zur Einheitsmatrix.
Beweis: Wir betrachten ein Multiplett M von d Zustanden,
M {|C1 , . . . , Cr , ji , j = 1, . . . , d} ,
wobei wir die Zustande des Multipletts (die sich noch in den Quantenzahlen {1 , . . . ,
s } unterscheiden) mit dem Index j durchnumeriert haben. Offensichtlich ist dim M = d.
Eine irreduzible Darstellung eines Operators D(g) hat die Matrixdarstellung
[D(G)]jk = hC1 , . . . , Cr , j| D(g) |C1, . . . , Cr , ki .
Die irreduzible Darstellung des Casimir-Operators Ci ist also
[Ci ]jk = hC1 , . . . , Cr , j| Ci |C1 , . . . , Cr , ki
= Ci hC1 , . . . , Cr , j|C1 , . . . , Cr , ki Ci jk ,
wobei wir die Orthonormalitat der Zustande des Multipletts ausgenutzt haben. Also ist
[Ci ] = Ci 1 d ,
q.e.d. .
86
Gegeben seien zwei Drehimpulse J~1 und J~2 . Sie sollen in verschiedenen Raumen wirken
~ und S
~ der Fall ist), so dass
(wie es beispielsweise bei L
[J1a , J2b ] = 0 ,
a, b = x, y, z .
(2.91)
Casimir-Operator J~i 2 , dessen Eigenwerte die Multipletts eindeutig festlegen, und zu Jiz ,
einem der Generatoren der Drehgruppe, dessen Eigenwerte die Zustande innerhalb eines
Multipletts charakterisieren,
(2.92)
Wir sind aber eigentlich an Zustanden interessiert, die Eigenzustande zum Gesamtdrehimpuls
J~ J~1 + J~2
sind. Es ist klar, dass J~ wieder ein Drehimpuls ist. Man rechnet namlich leicht nach, dass
[Ja , Jb ] = [J1a + J2a , J1b + J2b ] = [J1a , J1b ] + [J2a , J2b ] ,
weil Kommutatoren von Komponenten unterschiedlicher Drehimpulse aufgrund von Gl.
(2.91) verschwinden. Benutzen wir die Vertauschungsrelationen f
ur die einzelnen Drehimpulse, so erhalten wir
[Ja , Jb ] = i~ abc J1c + i~ abc J2c = i~ abc (J1c + J2c ) i~ abc Jc ,
(2.93)
2
z
|j mi zu J~ und J , welche folgende Eigenwertgleichungen erf
ullen,
J~ 2 |j mi = ~2 j (j + 1) |j mi ,
Jz |j mi = ~ m |j mi .
Diese Eigenzustande lassen sich in Multipletts zu gegebenem j zusammenfassen. Die Frage
ist nun, wie sie mit den Produktzustanden (2.92) zusammenhangen. Mit anderen Worten,
wir versuchen nun, die Produktzustande auf Zustande von Multipletts zu gegebenem j
zu reduzieren.
Zunachst m
ussen wir uns fragen, wieviel Information beim Ubergang
von den Produktzustanden |j1 j2 ; m1 m2 i zu den |j mi verlorengeht. Die Produktzustande sind Eigenzustande zu vier miteinander vertauschenden Observablen,
87
2 Symmetrien
Die Zustande |j mi dagegen sind lediglich Eigenzustande zu J~ 2 und Jz . Damit diese die
gleiche Information wie die Produktzustande enthalten, m
ussen wir also zwei weitere, mit
[J~ 2 ,
[J~ 2 ,
[Jz ,
[Jz ,
J~12 ]
J~22 ]
J~12 ]
J~22 ]
= [J~12 + J~22 + 2 J~1 J~2 , J~12 ] = 2 J~2 [J~1 ,
J~12 ] 0 ,
J~22 ] 0 ,
Basis von Eigenzustanden zu J~ 2 , Jz , J~ 2 , J~ 2 festlegen,
1
|j1 j2 ; j mi .
(2.94)
Dies sind nach wie vor Eigenzustande zu J~ 2 und Jz , aber die moglichen Werte von j und
m werden durch Vorgabe von j1 und j2 eingeschrankt. Wie dies im einzelnen geschieht,
machen wir uns im folgenden klar.
Zunachst erf
ullen die Zustande (2.94) die Eigenwertgleichungen
J~ 2 |j1 j2 ; j mi = ~2 j (j + 1) |j1 j2 ; j mi ,
Jz |j1 j2 ; j mi = ~ m |j1 j2 ; j mi ,
(2.95)
(2.96)
i = 1, 2 .
(2.97)
von J~ 2 gilt
i
i = 1, 2 .
Das Matrixelement auf der rechten Seite ist aber gewi nicht null, denn sonst ware die
Entwicklung (2.98) nicht moglich. Also muss j1 = j1 und j2 = j2 sein. Benutzen wir dies
in der Entwicklung (2.98), so vereinfacht sich diese zu
X
|j1 j2 ; m1 m2 ihj1 j2 ; m1 m2 |j1 j2 ; j mi .
(2.99)
|j1 j2 ; j mi =
m1 ,m2
88
(2.100)
X
m1
(2.102)
89
2 Symmetrien
m=1
m2
j2
2j2+1
m=11/2
j1
j1
m=11/2
j2
m1
m=1/2
m=1/2
2j1+1
Abbildung 2.1: Bestimmung der moglichen Multipletts zu gegebenem j bei vorgegebenem
j1 , j2 .
maximal mogliche Wert (entsprechend der roten Linie, die gerade die rechte obere Ecke
ber
uhrt) ist durch
m2 = j2 = mmax m1 = mmax j1
mmax = j1 + j2
(2.103)
gegeben, also in unserem Fall mmax = 3 + 5/2 = 11/2. Der minimal mogliche Wert
(entsprechend der roten Linie, die gerade die linke untere Ecke ber
uhrt) ist durch
m2 = j2 = mmin m1 = mmin + j1
mmin = (j1 + j2 )
(2.104)
gegeben, also in unserem Fall gerade mmin = 11/2. Der Abstand m zwischen den roten
Linien betragt jeweils eine Einheit, m = 1.
Es ist klar, dass sowohl der maximale wie der minimale Wert von m zum Multiplett
j = j1 +j2 gehoren. Da kein groerer (oder kleinerer) Wert von m auftritt, ist der maximale
Wert von j gerade
j max = j1 + j2 .
(2.105)
Was aber ist der minimale Wert von j? Zunachst ist klar, dass j 0 sein muss, sonst
ware j keine vern
unftige Drehimpulsquantenzahl. Ferner ist der Hilbert-Unterraum, welcher von den Zustanden |j1 j2 ; j mi aufgespannt wird, identisch mit dem, welcher von
den Produktzustanden |j1 j2 ; m1 m2 i aufgespannt wird (es handelt sich ja nur um unterschiedliche Basen des gleichen Unterraums). Also muss in beiden Fallen die Dimension
des Hilbert-Unterraums, also die Anzahl der Zustande die gleiche sein. Die Zahl der
Produktzustande hatten wir schon bestimmt,
N1 = (2j1 + 1)(2j2 + 1) .
90
(2.106)
wobei wir j max = j1 + j2 schon bestimmt hatten. Setzen wir N1 N2 , so lat sich j min
bestimmen. Es ist
N2 =
j max
j max
(2j + 1) =
j=0
j=j min
N1
(j min )2
j min
=
=
=
=
(2j + 1)
j min 1
(2j + 1)
j=0
wobei wir die Bedingung j 0 ausgenutzt haben. Kombinieren wir dieses Ergebnis mit
Gl. (2.105), so ergeben sich die moglichen Werte von j zu
|j1 j2 | j j1 + j2 ,
(2.108)
wobei j sich ausgehend von |j1 j2 | jeweils um eins erhoht. Dies ist das quantenmechanische Analogon zur Dreiecksungleichung der Vektoraddition f
ur klassische Vektoren,
~ = |J~1 + J~2 | J1 + J2 .
|J1 J2 | |J|
Der minimale Wert ergibt sich, wenn die Vektoren J~1 und J~2 antiparallel zueinander
stehen, der maximale, wenn sie parallel zueinander stehen. Damit sind die moglichen
Multipletts zu gegebenem j festgelegt.
m1 ,m2
|m1 m2 ihm1 m2 |j mi .
(2.109)
91
2 Symmetrien
also der Dimension N1 = (2j1 + 1)(2j2 + 1), vgl. Gl. (2.106). Die Unitaritat von C zeigt
man wie folgt. Es ist
X
hj m |m1 m2 ihm1 m2 |j mi
jj mm = hj m |j mi =
m1 m2
m1 m2
hm1 m2 |j m i hm1 m2 |j mi
Cca
Ccb
Cac
Cm
Cm1 m2 ,jm
1 m2 ,j m
m1 m2
C = C 1 , q.e.d. .
Durch eine geeignete Wahl der Phasen der Produktzustande (2.92) kann man C sogar
reell machen, C T = C 1 , oder
hm1 m2 |j mi = hj m|m1 m2 i hm1 m2 |j mi .
Wir betrachten nun den zu gegebenem j1 , j2 maximal moglichen Wert von j, j max = j1 +j2 ,
und den maximal moglichen Wert von m, m = j1 + j2 . Die Bedingungen
m2 = m m1 = j1 + j2 m1 j2
m1 j1 ,
j1 m1 ,
(2.110)
(2.111)
Dies ist der erste berechnete Clebsch-Gordan-Koeffizient. Eingesetzt in Gl. (2.110) erhalten wir also
|j1 + j2 j1 + j2 i = |j1 j2 i .
(2.112)
19.6.2012
Wir bleiben nun im Multiplett zu j = j max = j1 + j2 und erniedrigen m um eine Einheit
durch Anwenden des Stufenoperators
J = J1, + J2, .
92
p
J |j1 + j2 j1 + j2 i = ~ 2(j1 + j2 ) |j1 + j2 j1 + j2 1i ,
p
p
(J1, + J2, )|j1 j2 i = ~ 2j1 |j1 1 j2 i + ~ 2j2 |j1 j2 1i ,
s
s
j1
j2
|j1 + j2 j1 + j2 1i =
|j1 1 j2 i +
|j1 j2 1i .(2.113)
j1 + j2
j1 + j2
m1 j1 ,
f
uhren nun auf zwei mogliche Werte von m1 , (i) m1 = j1 und (ii) m1 = j1 1. Kleinere
Werte kann m1 nicht annehmen, da sonst m2 > j2 wird. In Fall (i) ist m2 = j2 1 und in
Fall (ii) m2 = j2 . Also lautet Gl. (2.114) explizit
|j1 +j2 j1 +j2 1i = |j1 j2 1ihj1 j2 1|j1 +j2 j1 +j2 1i+|j1 1 j2 ihj1 1 j2 |j1 +j2 j1 +j2 1i .
Durch Vergleich mit Gl. (2.113) identifizieren wir die folgenden Clebsch-Gordan-Koeffizienten
s
j2
hj1 j2 1|j1 + j2 j1 + j2 1i =
,
(2.115)
j1 + j2
s
j1
.
(2.116)
hj1 1 j2 |j1 + j2 j1 + j2 1i =
j1 + j2
Durch wiederholtes Anwenden von J kann man sich so durch das gesamte Multiplett zu
j max = j1 + j2 hangeln und die zugehorigen Clebsch-Gordan-Koeffizienten bestimmen.
Dann betrachtet man das Multiplett zum nachstniedrigeren Wert j = j1 + j2 1 und
beginnt wieder mit dem maximalen Wert m = j1 + j2 1. F
ur diese Kombination gibt es
zwei Terme in der Entwicklung (2.102),
|j1 + j2 1 j1 + j2 1i = |j1 1 j2 i + |j1 j2 1i ,
wobei wir die Clebsch-Gordan-Koeffizienten mit , abgek
urzt haben. Diese konnen aus
der Orthonormalitat zum oben berechneten Zustand |j1 + j2 j1 + j2 1i und aus der
Normierung von |j1 + j2 1 j1 + j2 1i eindeutig berechnet werden. Die Orthonormalitat
zum Zustand |j1 + j2 j1 + j2 1i liefert mit den Clebsch-Gordan-Koeffizienten (2.115) und
93
2 Symmetrien
(2.116)
0 = hj1 + j2 j1 + j2 1|j1 + j2 1 j1 + j2 1i
= hj1 + j2 j1 + j2 1|j1 1 j2 i + hj1 + j2 j1 + j2 1|j1 j2 1i
s
s
j1
j2
=
+
,
j1 + j2
j1 + j2
also
j2
j1
j1 j2 und damit
p
p
|j1 + j2 1 j1 + j2 1i =
j2 |j1 1 j2 i j1 |j1 j2 1i .
1 = hj1 + j2 1 j1 + j2 1|j1 + j2 1 j1 + j2 1i
r
1
2
,
= (j1 + j2 ) = =
j1 + j2
so identifizieren wir die Clebsch-Gordan-Koeffizienten
s
j2
,
j1 + j2
s
j1
hj1 j2 1|j1 + j2 1 j1 + j2 1i =
.
j1 + j2
hj1 1 j2 |j1 + j2 1 j1 + j2 1i =
(2.117)
(2.118)
Danach hangelt man sich wieder durch Anwenden von J durch das Multiplett zu
j = j1 + j2 1.
Das Verfahren lat sich dann f
ur die Multipletts zu kleinerem j fortf
uhren, ist aber
zugegebenerweise recht m
uhsam. Entweder man entwickelt einen entsprechenden numerischen Algorithmus aus der oben erlauterten Vorschrift oder man schlagt in einschlagigen
Tabellenwerken nach.
2.4.1 Generatoren
Wir hatten die Gruppe SU(N) der speziellen unitaren Transformationen in N Dimensio
nen schon in den Ubungsaufgaben
6.3 und 7.2 kennengelernt. Die Gruppe SU(N) besitzt
2
N 1 Generatoren.
94
a = 1, . . . , 8 .
(2.120)
a hermitesch sein m
Man beachte, dass sowohl Ta wie auch
ussen,
Ta = Ta ,
a =
,
(2.121)
a
da es sich bei SU(3) um eine unit
are Lie-Gruppe handelt. Die (3 3)Matrizen
a sind
f
ur die SU(3) entsprechen den Pauli-Matrizen
a f
ur die SU(2). Die ersten drei
einfach die triviale Erweiterung der Pauli-Matrizen auf drei Dimensionen,
0 1 0
0 i 0
1 0 0
1 = 1 0 0 ,
2 = i 0 0 ,
3 = 0 1 0 .
(2.122)
0 0 0
0 0 0
0 0 0
a damit garanAufgrund der Hermitezitat der Pauli-Matrizen ist die Hermitezitat der
tiert.
a nehmen wir uns die Struktur der ersten beiden Pauli-Matrizen
F
ur die nachsten vier
zum Vorbild und verschieben die nichttrivialen Elemente jeweils um eine Zeile bzw. eine
Spalte,
0 0 1
0 0 i
0 0 0
0 0 0
4 = 0 0 0 ,
5 = 0 0 0 ,
6 = 0 0 1 ,
7 = 0 0 i .
1 0 0
i 0 0
0 1 0
0 i 0
(2.123)
Auch diese Matrizen sind offenbar hermitesch.
F
ur den letzten Generator benotigen wir eine Matrix, die ein nichtverschwindendes
(33)Element hat, weil man ansonsten mit den Generatoren keine beliebigen SU(3)Matrizen konstruieren konnte, also insbesondere solche, die nichtverschwindende (33)Elemente besitzen. Wir machen den Ansatz
0 0
8 = 0 0 ,
(2.124)
0 0
95
2 Symmetrien
8 hermitesch sein muss. Elemente der Gruppe SU(N)
mit reellen Konstanten , , weil
zeichnen sich dadurch aus, dass ihre Determinante den Wert +1 annimmt, also
= i a Tr Ta ,
0 = ln det U = Tr ln U
~
(2.125)
8 gilt,
d.h. die Generatoren der SU(N) sind spurfrei. Damit dies auch f
ur T8 = ~2
muss in unserem Ansatz (2.124) = 2 sein. Die Konstante bestimmen wir aus der
Orthogonalit
at (2.69) der Generatoren,
~2
Tr Ta Tb =
ab ,
(2.126)
2
a
bzw. f
ur die
a
b = 2 ab .
Tr
(2.127)
Man pr
uft leicht nach, dass diese Relation f
ur a = 8 und b = 1, . . . , 7 mit unserem Ansatz
(2.124) erf
ullt ist. Die Konstante bestimmen wir aus dieser Relation f
ur a = b = 8,
2
0
0
8
8 = Tr 0 2 0 = 62 2 = = 1 .
Tr
3
0 0 42
8 lautet also
Das endg
ultige Resultat f
ur
1 0 0
8 = 1 0 1 0 .
3
0 0 2
(2.128)
Die auf diese Weise, d.h. durch die Glgen. (2.122), (2.123) und (2.128) festgelegten Matrizen heien Gell-Mann-Matrizen (nach ihrem Urheber Murray Gell-Mann). Aufgrund
ihrer Orthogonalitat sind sie linear unabhangig und bilden somit eine Basis im Raum der
spurfreien hermiteschen (3 3)Matrizen.
2.4.2 Strukturkonstanten
Die Lie-Algebra der SU(3) ist
[Ta , Tb ] = i~ fabc Tc ,
(2.129)
a,
b ] = 2i fabc
c .
[
(2.130)
bzw. f
ur die Gell-Mann-Matrizen,
Aus der expliziten Form der Gell-Mann-Matrizen bestimmt man nun die Strukturkonstanten u
ur die Gell-Mann-Matrizen lautet
ber die Relation (2.70), die f
n
o
n
o
1
2
a,
b]
c .
(2.131)
fabc = 3 Tr [Ta , Tb ] Tc Tr [
i~
4i
Per Definition sind die Strukturkonstanten dann vollst
andig antisymmetrisch. Sie
lauten explizit:
96
1
1
1
1
3
3
1
1
1
2
2
2
2
2
2
2
2
F
ur alle anderen Kombinationen der Indizes abc verschwinden die Strukturkonstanten.
Die Generatoren der SU(3) (oder allgemein der SU(N)) erf
ullen auch Antivertauschungsrelationen,
~2
{Ta , Tb } =
(2.132)
ab 1 3 + ~ dabc Tc ,
3
bzw. f
ur die Gell-Mann-Matrizen
a,
b } = 4 ab 1 3 + 2 dabc
c .
{
3
(2.133)
Die vollst
andig symmetrischen Strukturkonstanten dabc bestimmt man beispielsweise
2
a,
b}
c .
a , Tb } Tc 1 Tr {
Tr
{
T
~3
4
(2.134)
118 146 157 228 247 256 338 344 355 366 377
1
1
1
1
1
1
1
1
21
21 12
2
2
2
2
2
3
3
3
abc
dabc
448
21 3
558
21 3
668
21 3
778
21 3
888
13
a, b, c = 1, 2, 3 .
97
2 Symmetrien
(ii) Eine zweite Unteralgebra wird durch
{T2 , T5 , T7 }
gebildet. Betrachten wir die explizite Form dieser Generatoren,
0 i 0
~
i 0 0
T2 =
2
0 0 0
0 0 i
~
0 0 0
T5 =
2
i 0 0
0 0 0
~
T7 = 0 0 i
2
0 i 0
0 1
= 1 (i~) 1 0
2
0 0
0 0
= 1 (i~) 0 0
2
1 0
0 0
= 1 (i~) 0 0
2
0 1
0
1
0
= (T2 )ij = (i~ 3ij ) ,
2
0
1
1
0 = (T5 )ij = (i~ 2ij ) ,
2
0
0
1
1
= (T7 )ij = (i~ 1ij ) ,
2
0
so wird klar, dass es sich hierbei, bis auf einen Faktor 1/2 bei T2 und T7 , bzw.
1/2 bei T5 um die Generatoren der SO(3) in der adjungierten Darstellung
handelt! Definieren wir
J3 2 T2 ,
J2 2 T5 ,
J1 2 T7 ,
(2.135)
a, b, c = 2, 5, 7 ,
i, j, k = 1, 2, 3 .
98
C2 = dabc Ta Tb Tc .
(2.136)
2.4.4 Multipletts
Multipletts werden durch die Eigenwerte C1 , C2 der beiden Casimir-Operatoren (2.136)
der SU(3) festgelegt. Die Frage ist, wieviele Zustande zu jedem Multiplett gehoren und wie
man sie voneinander unterscheidet. Dazu m
ussen wir weitere Quantenzahlen festlegen, die
zu Operatoren gehoren, die mit den Casimir-Operatoren (aber nicht mit den Generatoren)
der SU(3) vertauschen.
Um dies f
ur die SU(3) zu beantworten, gehen wir zunachst einen Schritt zur
uck und
betrachten die Gruppe SU(2). Der einzige Casimir-Operator war dort C1 = J~ 2 und die
Multipletts werden durch die Eigenwerte von J~ 2 , also ~2 j(j + 1), bzw. einfach durch j
festgelegt. Ferner vertauscht J~ 2 mit Jz , welcher die Eigenwerte ~m besitzt. Also kann man
die Zustande eines Multipletts eindeutig durch die Angabe von j und m festlegen, |j mi.
F
ur gegebenes j gibt es 2j + 1 Zustande, die sich durch den Wert von m unterscheiden,
m = j, j + 1, . . . , j 1, j.
Offenbar ist Jz der Generator der Cartan-Unteralgebra von SU(2). Es liegt also nahe, f
ur SU(3) ebenfalls die Cartan-Unteralgebra, bestehend aus den beiden Generatoren
(2.137)
J
j
...
m1 m
J+
m+1
...
99
2 Symmetrien
T8
T3
Um zu sehen, wie dies genau vor sich geht, definieren wir zunachst geeignete Stufenoperatoren:
T T1 i T2 ,
V T4 i T5 ,
U T6 i T7 .
Auerdem definieren wir den sog. Hyperladungsoperator
1 0 0
~
2
Y T8 = 0 1 0 .
3
3
21.6.2012
0 0 2
(2.138)
(2.139)
Die Vertauschungsrelationen f
ur die Stufenoperatoren lauten:
[T3 ,
[T+ ,
T ] = ~ T ,
T ] = 2~ T3 .
(2.140)
(2.141)
z und die StufenDiese Relationen sind die gleichen wie bei der Drehimpulsalgebra f
ur L
. Daraus folgt wiederum, dass die Operatoren {T , T3 } eine SU(2)Unteroperatoren L
algebra definieren (was wir aber schon erwahnt hatten). Ferner gilt:
~
[T3 , V ] = V ,
2
~
[T3 , U ] = U ,
2
3
1
T3 + Y 2~ V3 ,
[V+ , V ] = 2~
2
4
1
3
+ , U ] = 2~ T3 + Y 2~ U
3 ,
[U
2
4
100
(2.142)
(2.143)
(2.144)
(2.145)
=
=
=
=
=
=
=
=
=
=
0,
~ V ,
~ U ,
0,
0,
0,
~ U ,
~ V ,
~ T ,
0,
(2.146)
(2.147)
(2.148)
(2.149)
(2.150)
(2.151)
(2.152)
(2.153)
(2.154)
(2.155)
Den Beweis der Glgen. (2.140) (2.155) lassen wir als Ubungsaufgabe.
Mit Hilfe der Relationen (2.142), (2.143), (2.147) und (2.148) berechnen wir noch
1
3
3
~
[V3 , V ] =
[T3 , V ] + [Y , V ] = V ~ V ~ V ,
2
4
4
4
3
~
1
3 ~ U
~ U .
[U3 , U ] = [T3 , U ] + [Y , U ] = U
2
4
4
4
(2.156)
(2.157)
Zusammen mit den Glgen. (2.144) und (2.145) bedeuten diese Gleichungen, dass die Ope , U3 } zwei weitere SU(2)Unteralgebren bilden, die aber weratoren {V , V3 } und {U
3 von T3 nicht unabh
gen der Abhangigkeit von V3 und U
angig von der durch {T , T3 }
gebildeten SU(2)Unteralgebra sind. Es ist, wie wir bereits wissen, lediglich eine einzige
SU(2)Unteralgebra in SU(3) enthalten.
Wir m
ussen jetzt noch klaren, welche Wirkung die Stufenoperatoren T , V und U
auf die Zustande eines Multipletts
haben. Dazu betrachten wir die Eigenzustande (2.137),
bzw. indem wir T8 durch Y 3 T8 /2 ersetzen, die Eigenzustande
|C1 , C2 , T3 , Y i |T3 Y i ,
wobei wir die Argumentliste um C1 , C2 k
urzen konnten, da diese Eigenwerte sich f
ur ein
gegebenes SU(3)Multipletts nat
urlich nicht andern. Es ist per Definition
T3 |T3 Y i = T3 |T3 Y i ,
Y |T3 Y i = Y |T3 Y i .
Wir schlieen nun, dass
(i) aufgrund von Gl. (2.142) gilt
~
[T3 , V ] |T3 Y i = T3 V |T3 Y i V T3 |T3 Y i = V |T3 Y i
2
~
T3 V |T3 Y i =
T3
V |T3 Y i .
(2.158)
2
101
2 Symmetrien
Diese Gleichung bedeutet, dass V den Eigenwert T3 eines Zustands |T3 Y i
um den Wert ~/2 erh
oht bzw. erniedrigt.
(ii) aufgrund von Gl. (2.143) gilt
T3 |T3 Y i = ~ U
|T3 Y i
[T3 , U ] |T3 Y i = T3 U |T3 Y i U
2
~
T3 U |T3 Y i =
T3
U |T3 Y i .
(2.159)
2
den Eigenwert T3 eines Zustands |T3 Y i
Diese Gleichung bedeutet, dass U
um den Wert ~/2 erniedrigt bzw. erh
oht.
(iii) aufgrund von Gl. (2.147) gilt
[Y , V ] |T3 Y i = T3 V |T3 Y i V Y |T3 Y i = ~ V |T3 Y i
Y V |T3 Y i = (Y ~) V |T3 Y i .
(2.160)
Dies bedeutet wiederum, dass V den Eigenwert Y eines Zustands |T3 Y i um
den Wert ~ erh
oht bzw. erniedrigt.
(iv) aufgrund von Gl. (2.148) gilt
|T3 Y i U Y |T3 Y i = ~ U |T3 Y i
[Y , U ] |T3 Y i = T3 U
|T3 Y i = (Y ~) U
|T3 Y i .
Y U
(2.161)
den Eigenwert Y eines Zustands |T3 Y i um den
Dies bedeutet, dass U
Wert ~ erh
oht bzw. erniedrigt.
(v) T den Eigenwert T3 eines Zustands |T3 Y i um den Wert ~ erh
oht bzw.
erniedrigt.
(vi) dass aufgrund von Gl. (2.146) gilt, dass T den Eigenwert Y eines Zustands
|T3 Y i unver
andert l
at.
Zusammengefat lassen sich diese Befunde wie folgt schreiben:
(i) T erho
at Y unver
andert.
ht/erniedrigt T3 um ~ und l
(ii) V erho
ht/erniedrigt T3 um ~/2 und Y um ~.
erniedrigt/erh
(iii) U
oht T3 um ~/2 und erh
oht/erniedrigt Y um ~.
Dies lat sich graphisch wie in Abb. 2.4 gezeigt darstellen.
Die rote Linie ist die sog. T Linie, auf der die Stufenoperatoren T wirken. Diese
andern den Wert von T3 um ~ und lassen den Wert von Y unverandert. Die blaue Linie ist die sog. V Linie, auf der die Stufenoperatoren V wirken. Sie andern T3 um
~/2 und gleichzeitig Y um ~. Schlielich ist die gr
une Linie die sog. U Linie, auf
der die Stufenoperatoren U wirken. Diese andern den Wert von T3 um ~/2 und gleichzeitig Y um ~. Die Wirkung der Stufenoperatoren hat zur Folge, dass die Zustande
102
Y [h]
U+
T+
T
V
V+
1/2
U
1 3/2
2 5/2
T3 [h]
eines SU(3)Multipletts nicht wie in Abb. 2.3 gezeigt ein regulares Gitter in der (T3
Y )Ebene bilden, sondern eines, wo wie in Abb. 2.4 gezeigt Zustande von T3 Ebenen,
die sich im Wert von Y um ~ unterscheiden, jeweils um ~/2 gegeneinander versetzt sind.
Diese Information gen
ugt, um die Form von SU (3)Multipletts in der (T3
Y )Ebene festzulegen. Dazu erinnern wir uns zunachst daran, dass
(i) {T+ , T , T3 } eine SU(2)Unteralgebra der SU(3) bilden, die Zustande von SU(2)Multipletts (als Teil von SU(3)Multipletts) untereinander transformiert. Bildlich
gesprochen liegen diese SU(2)Multipletts auf den (roten) T Linien in Abb. 2.4
und die Stufenoperatoren T f
uhren von einem Zustand auf einer T Linie zum
nachsten. Wahrend der Wert von Y bei diesen SU(2)Multipletts immer konstant
bleibt, variiert der Wert von T3 zwischen T3max und +T3max . Dies bedeutet wiederum, dass diese SU(2)Multipletts spiegelsymmetrisch zur Y Achse (also zur
Linie T3 = 0) liegen m
ussen.
(ii) {V+ , V , V3 } ebenfalls eine SU(2)Unteralgebra der SU(3) bilden, die Zustande
von SU(2)Multipletts (als Teil von SU(3)Multipletts) untereinander transformiert. Diese SU(2)Multipletts liegen aber nun auf den (blauen) V Linien in Abb.
2.4 und bei der Transformation von Zustanden mit Hilfe der Stufenoperatoren V
variiert der Wert von V3 zwischen V3max und +V3max . Dies wiederum bedeutet,
dass diese SU(2)Multipletts genauso viele Zust
ande links wie rechts der Linie V3 = 0 oder, wenn wir die Definition (2.144) von V3 benutzen, der Geraden
ussen.
Y = 23 T3 haben m
+ , U , U3 } ebenfalls eine SU(2)Unteralgebra der SU(3) bilden, die Zustande
(iii) {U
103
2 Symmetrien
von SU(2)Multipletts (als Teil von SU(3)Multipletts) untereinander transformiert. Diese SU(2)Multipletts liegen nun auf den (gr
unen) ULinien in Abb.
2.4 und bei der Transformation von Zustanden mit Hilfe der Stufenoperatoren U
variiert der Wert von U3 zwischen U3max und +U3max . Dies wiederum bedeutet,
dass diese SU(2)Multipletts genauso viele Zust
ande links wie rechts der Linie U3 = 0 oder, wenn wir die Definition (2.145) von V3 benutzen, der Geraden
Y = 23 T3 haben m
ussen.
Die so identifizierten Symmetrieachsen sind in Abb. 2.5 dargestellt.
Y [h]
T3 =0
U3 =0, Y=2T3 /3
T3 [h]
V3 =0, Y=2T3 /3
Abbildung 2.5: Symmetrieachsen der SU(3)Multipletts in der (T3 Y )Ebene (durchgezogene Linien), sowie T , V und ULinien (gestrichelt).
Die dreizahlige Symmetrie lat nur noch drei mo
ur
gliche geometrische Formen f
SU(3)Multipletts in der (T3 Y )Ebene zu:
(a) einen einzelnen Zustand, das sog. Singlett im Ursprung der (T3 Y )Ebene, also
f
ur T3 = Y = 0,
(b) Dreiecke mit Mittelpunkt im Ursprung der (T3 Y )Ebene,
(c) Sechsecke mit Mittelpunkt im Ursprung der (T3 Y )Ebene.
Die einfachsten Multipletts, die den Kriterien (a) und (b) gen
ugen, also (mit Ausnahme
des Singletts) Dreiecke in der (T3 Y )Ebene bilden, sind in den Abbildungen 2.6 (ag)
dargestellt.
104
Y [h]
Y [h]
(a)
Y [h]
(b)
(c)
2/3
1/3
1/2
T3 [h]
1/2
1/2
T3 [h]
1/2
T3 [h]
1/3
2/3
Y [h]
Y [h]
(d)
2/3
4/3
(e)
1
1/2
1/2
T3 [h]
1/3
1/3
1
1/2
1/2
2/3
4/3
3/2
Y [h]
Y [h]
(f)
T3 [h]
1/2
1/2
3/2
(g)
T3 [h]
3/2
1/2
1/2
3/2
T3 [h]
Bemerkungen:
(i) Die Zahl der Zustande eines jeweiligen Multipletts (Anti-Multipletts) ergibt sich daraus, dass man beginnend von der rechten oberen (linken unteren) Ecke mit den Stufenoperatoren T (T+ ) bzw. V (V+ ) zum jeweils benachbarten Zustand voranschreitet. Von dort kann man mit T (T+ ), V (V+ ) oder U+ (U ) zum nachstmoglichen
Zustand innerhalb des vorgegebenen Dreiecks weiterkommen. Das Dreieck darf zwar
105
2 Symmetrien
nicht verlassen werden, aber man kann so auch Zustande im Inneren des Dreiecks
erreichen. Letztlich definiert diese Vorschrift ein Gitter von Zustanden auf den Seiten und innerhalb des Dreiecks. Zahlt man die Zustande ab, so erhalt man die
Gesamtzahl der Zustande im jeweiligen Multiplett.
(ii) Das Triplett [3] enthalt jeweils ein T Singlett und ein T Dublett, oder ein V
Singlett und ein V Dublett, oder ein USinglett und ein UDublett. Entsprechendes gilt f
ur das zum Triplett adjungierte Multiplett, das sog. Anti-Triplett
[3].
(iii) Das Sextett [6] enthalt jeweils ein T Singlett, ein T Dublett und ein T Triplett,
oder ein V Singlett, ein V Dublett und ein V Triplett, oder ein USinglett, ein
UDublett und ein UTriplett. Entsprechendes gilt f
ur das Anti-Sextett [
6].
(iv) Das Dekuplett [10] enthalt jeweils ein T Singlett, ein T Dublett, ein T Triplett
und ein T Quadruplett, oder ein V Singlett, ein V Dublett, ein V Triplett und
ein V Quadruplett, oder ein USinglett, ein UDublett, ein UTriplett und ein
Y [h]
1
1/2
1/2
1
Abbildung 2.7: Oktett [8].
106
T3 [h]
1
|0 0iII V U+ |1 0i V | 1i ,
2
+ V |1 0i U+ | 1 1i .
|0 0iIII U
2
Diese unterschiedlichen Wege sind in Abb. 2.8 graphisch dargestellt.
Y [h]
1/2 1
II
00
10
T3 [h]
III
1/2 1
Abbildung 2.8: Die drei unterschiedlichen Wege, ausgehend von |1 0i den Ursprung |0 0i
zu erreichen.
107
2 Symmetrien
Weil aber aufgrund von Gl. (2.154) U+ V = V U+ + ~ T , ist der Weg III nicht linear
unabhangig von Weg I und Weg II,
+ V |1 0i = V U+ |1 0i + ~ T |1 0i = |0 0iII + |0 0iI .
|0 0iIII U
Es gibt also beim Oktett zwei linear unabh
angige Zust
ande, |0 0iI und |0 0iII , die am
Koordinatenursprung angesiedelt sind.
Die Regel der Mehrfachbelegung oder Entartung von Zustanden mit den gleichen
Quantenzahlen T3 und Y kann f
ur beliebige Multipletts verallgemeinert werden. Generell
gilt, dass die Entartung von Zustanden jeder inneren Schale um eins groer ist als die
der Zustande der nachstaueren Schale. Die Entartung der auersten Schale ist immer
gleich eins. Ein Beispiel ist in Abb. 2.9 gezeigt.
Abbildung 2.9: Die Entartung der Zustande auf inneren Schalen nimmt ausgehend von
der auersten jeweils um eins zu.
Diese Regel gilt, solange eine Schale nicht aus einem Dreieck besteht. Innerhalb eines
Dreiecks erhoht sich die Entartung nicht mehr, sondern bleibt konstant. Der Grund ist,
dass es jetzt nur noch einen linear unabhangigen Weg gibt, einen Punkt im Inneren des
Dreiecks zu erreichen. Um uns dies klarzumachen, betrachten wir das Dekuplett, Abb.
2.10.
108
Y [h]
II
T3 [h]
III
Abbildung 2.10: Die drei Wege, ausgehend vom Zustand |1 0i den Ursprung |0 0i zu erreichen.
Man w
urde zunachst glauben, dass es wie beim Oktett drei unterschiedliche Wege gibt,
ausgehend vom Zustand |1 0i den Ursprung |0 0i zu erreichen. Aus den gleichen Gr
unden
wie beim Oktett sollten davon wenigstens zwei linear unabh
angig sein, z.B.
+ |1 0i ,
|0 0iI T |1 0i und |0 0iII V U
so dass der Ursprung wieder doppelt besetzt ist. Es gilt jedoch
3
|1 0i V | 1i
2
und damit
3
+ + ~ T | 3 1i
|0 0iII V U+ V | 1i = V V U
2
2
3
3
3
= (V )2 U+ | 1i + ~ V T | 1i ~ V T | 1i
2
2
2
3
3
= ~ T V | 1i = T (~ V | 1i)
2
2
T |1 0i |0 0iI .
(2.162)
Hier haben wir von den Glgen. (2.149) und (2.154) Gebrauch gemacht, sowie ausgenutzt,
dass der Zustand | 23 1i schon der Zustand mit der maximalen Hyperladung Y = 1 im
uhren
Multiplett ist, also U+ | 23 1i 0 ist, weil diese Operation aus dem Multiplett hinausf
w
urde, was nicht der Fall sein darf. Mit Gl. (2.162) haben wir also gezeigt, dass |0 0iII
|0 0iI, also diese beiden Zustande nicht linear unabh
angig voneinander sind, mithin also
nicht unterschiedlich. Eine andere Moglichkeit, dies einzusehen, ist, von | 23 1i ausgehend
einmal T V und einmal V T anzuwenden, um nach |0 0i zu kommen. Aufgrund von
Gl. (2.149) ist dies aber das gleiche, mithin nicht linear unabhangig.
109
2 Symmetrien
26.6.2012
j1 =
1
1
mit j2 =
= j = 0 und j = 1
2
2
=
und
(2.163)
F
ur diese Relation schreiben wir mit der Notation Dublett = [2], Singlett = [1] und
Triplett = [3] kurz
[2] [2] = [1] [3] .
(2.164)
Diesen Proze kann man fortf
uhren, indem man nun das Dublett an ein Triplett koppelt:
(ii)
j1 =
1
3
1
mit j2 = 1 = j =
und j =
2
2
2
=
6
6 und
6.
(2.165)
F
ur diese Relation schreiben wir mit der Notation Quadruplett = [4]
[2] [3] = [2] [4] .
(2.166)
Durch Kopplung von Dublett oder Triplett an Quadruplett, kann man diesen Proze
fortf
uhren und so alle hoheren Multipletts generieren.
Es gibt nun eine graphische Methode, diese Ausreduzierung durchzuf
uhren. Dazu
zeichnen wir das Dublett auf die J3 Achse:
1/2
J3 [h]
1/2
Nun legt man das zweite Dublett mit seinem Schwerpunkt (J3 = 0) jeweils einmal auf
einen der beiden Zustande J3 = 1/2 und J3 = 1/2 (in Einheiten von ~) des ersten
Dubletts:
1
110
1/2
1/2
J3 [h]
3/2
1/2
1/2
J3 [h]
3/2
Alle SU(3)Multipletts lassen sich ganz analog, aufbauend auf der fundamentalen Darstellung, dem Triplett, durch Kopplung erzeugen. Wir zeigen dies zunachst am Beispiel
der Kopplung von zwei Tripletts:
2/3
1/3
1/2
1/2
1
1/2
2/3
1/3
1
1/2
4/3
2/3
1/2
2/3
1/2
1/3
1/2
1/2
1/3
4/3
(2.167)
111
2 Symmetrien
Nun koppeln wir das Anti-Triplett mit einem weiteren Triplett:
1/2
1/2
1/2
1/2
Ausgehend vom Sextett erhalten wir durch weitere Kopplung eines Tripletts:
112
(2.168)
1/2
=
3/2
1/2
3/2
1/2
1/2
3/2
+
1
3/2
1/2
1
1/2
(2.169)
Wir konnen die Regeln (2.167), (2.168) und (2.169) zusammen mit dem Assoziativgesetz
nutzen, um kompliziertere Kopplungen zu bestimmen, z.B.
[3] [3] [3] = [3] ([3] [6]) = ([3] [3]) ([3] [6]) = [1] [8] [8] [10] . (2.170)
2.5 Unit
are Symmetrien der Starken Wechselwirkung
2.5.1 U (1)Symmetrie der Quantenelektrodynamik
Symmetrien spielen in den modernen Theorien der Naturkrafte eine prominente Rolle. Dies gilt im besonderen Mae f
ur die Theorie der Starken Wechselwirkung. Wir betrachten zunachst jedoch als Beispiel die (einfachere) Theorie des Elektromagnetismus,
die Quantenelektrodynamik (QED), welche Wechselwirkungen zwischen Elektronen und Photonen beschreibt. Die zugehorige Lagrangedichte lautet (in nat
urlichen
Einheiten, ~ = c = 1)
1
D
LQED = F F + (i
/ m) ,
(2.171)
4
113
2 Symmetrien
wobei F = A A der Feldst
arketensor des elektromagnetischen Feldes, mit
dem 4-Vektorpotential bzw. dem sog. Eichfeld A , ist und
D = ieA
(2.172)
die kovariante Ableitung, vgl. Gl. (1.35). ist der 4-Spinor des Elektrons und m dessen
Masse. Der erste Term in der Lagrangedichte (2.171) ist der sog. Eichfeld-Term, der die
Dynamik des Eichfeldes A , in diesem Fall des Photonenfeldes, beschreibt. Der zweite
Term ist der sog. Materie-Term, der die Dynamik der Materiefelder, in diesem Fall des
Elektrons, beschreibt.
Die Lagrangedichte (2.171) ist invariant unter sog. U (1)-Eichtransformationen,
= U ,
A A
wobei
1 i ( U)
U 1 ,
= U A U
e
(2.173)
(2.174)
(2.175)
ein raum-zeitabh
angiger Phasenfaktor ist, der gleichzeitig eine Darstellung eines
Elementes der Gruppe U (1) ist. F
ur Elemente der U(1) vereinfacht sich Gl. (2.174)
wie folgt:
A A = A + .
Die Invarianz der Lagrangedichte (2.171) unter den Transformationen (2.173), (2.174)
sieht man wie folgt:
(i) Der Feldstarketensor ist invariant unter der Symmetrietransformation (2.174),
F F = (A + ) (A + ) = F ,
sofern (X) zweimal stetig differenzierbar ist, = . Damit ist auch der
Eichfeld-Term in Gl. (2.171) invariant.
(ii) Die kovariante Ableitung des Materiefeldes transformiert sich wie das Materiefeld
selbst,
D D = ie A = [ ie A ie ( )] eie
= eie [ + ie ( ) ie A ie ( )]
= eie ( ie A ) eie D .
114
.
2
(2.176)
F Fa Ta
(2.177)
Hierbei ist
(2.178)
D = ig A ,
(2.179)
F
zweier kovarianter Ableitungen
wobei die kovariante Ableitung, wie schon der Feldstarketensor, matrixwertig ist, mit
dem matrixwertigen 4-Potential bzw. Eichfeld
A Aa Ta .
(2.180)
Die acht 4-Vektorpotentiale Aa entsprechen den acht Gluonenfeldern. Wir berechnen den
Kommutator (2.178) explizit,
i
i
[D , D ] =
[( ig A ) ( ig A ) ( ig A ) ( ig A )]
g
g
i
ig ( A ) ig A ig A g 2 A A
=
g
+ ig ( A ) + ig A + ig A + g 2 A A
= A A ig[A , A ]
= A A ig Ab Ac [T b , T c ]
= ( Aa Aa + g fabc A Ac ) Ta ,
b
115
2 Symmetrien
wobei wir im letzten Schritt die Lie-Algebra (2.129) der SU(3) benutzt haben. Vergleichen
wir dieses Ergebnis mit Gl. (2.177), so erkennen wir, dass
Fa Aa Aa + g fabc Ab Ac .
(2.181)
Die nicht-abelsche Natur der Gruppe SU(3) bedingt, dass zusatzliche Terme im Feldstarketensor des aten Gluons auftreten, die von Gluonenfelder der Farben b und c
abhangen. Diese nicht-abelschen Terme f
uhren im Eichfeld-Term der Lagrangedichte der QCD zu 3- und 4-Gluon-Wechselwirkungstermen,
1
1
a
Fa F
= Aa Aa Aa
4
2
g2
g fabc Aa Ab Ac fabc fade Aa Ab Ad Ae ,
4
(2.182)
wobei wir die Antisymmetrie der Strukturkonstanten fabc ausgenutzt haben. Diese Selbstwechselwirkungen der Gluonenfelder bedingt, dass die QCD physikalisch ganz andere
Eigenschaften hat wie die QED. Wir konnen hier aber nicht naher darauf eingehen, dies
ist Thema der Vorlesung Quantenfeldtheorie.
Eine Anmerkung hinsichtlich des Materie-Terms in der QCD-Lagrangedichte ist an
dieser Stelle angebracht: die matrixwertige kovariante Ableitung bedingt, dass die Quarkspinoren nicht nur Diracsche 4-Spinoren sind, sondern gleichzeitig 3-er Vektoren im
sog. Farb-Raum. Die drei Komponenten dieser Vektoren symbolisieren die Quarkfarben, u
blicherweise mit rot, gru
n und blau bezeichnet. Auerdem gibt es sechs verschiedene Quark-Flavors: up, down, strange, charm, bottom und top. Daher
haben die Quarkspinoren 4 3 6 4Nc Nf = 72 Komponenten, wobei wir die Zahl der
(fundamentalen) Quark-Farben als Nc und die Zahl der Flavors als Nf geschrieben haben. Die Quarkmasse m
in der QCD-Lagrangedichte ist kein Parameter, sondern eine
[(4Nc Nf ) (4Nc Nf )]Matrix im Dirac-, Farb- und Flavor-Raum,
m
u 0
0 m
d 0
..
0 m
s 0
..
m
=
,
.
0 m
c 0
..
.
0 m
b 0
..
.
0 m
t
i
1 ,
A A = U A U 1 ( U ) U
g
116
(2.183)
(2.184)
h
i
(2.185)
eine Darstellung eines Elementes der Gruppe SU(3) ist. Die Invarianz sieht man folgendermaen:
(i) Die kovariante Ableitung transformiert sich unter Eichtransformationen wie folgt:
i
1
1
A U
D = ig A ig U
U U
g
h
i
1
1
1
= + U U
ig U A U U U
U
1 ig U A U 1 U
U
1
U
1 + U
= + U
i
h
1
1 + U 1 ig A U
= U U
=
U ( ig A ) U 1 U D U 1 .
(2.186)
1
1
Tr (F F )
Tr F F
2
2
1
1 1
Tr U F U U F U 1 Tr (F F ) ,(2.188)
=
2
2
(ii) Der Materie-Term ist ebenfalls invariant unter lokalen SU(Nc )Transformationen,
denn die kovariante Ableitung des Quarkspinors transformiert sich unter Zuhilfenahme von Gl. (2.186) wie
D U 1 U = U D ,
D D = U
(2.189)
und damit
D
(i D
U
1 U(i
D
D
(i
/ m)
/ m)
=
/ m)
(i
/ m)
. (2.190)
Die Eichinvarianz der QCD, also die Symmetrie unter lokalen SU(Nc )Transformationen bedingt, dass sowohl Quarks wie auch Gluonen in Multipletts der Gruppe
SU(Nc ) fallen. Dies kann nicht anders sein, da Quarks nur untereinander, aber niemals in
Gluonen oder andere Objekte transformiert werden. Gleiches gilt f
ur Gluonen. Die Nc = 3
Quark-Farben sind Zustande der fundamentalen Darstellung, des Tripletts:
117
2 Symmetrien
Y [h]
1/3
1/2
1/2
T3 [h]
2/3
Die Farben werden wie folgt Eigenzustanden |T3 Y i zum Farb-Spin T3 und zur FarbHyperladung Y zugeordnet:
11
i,
23
11
i,
|gi |gr
uni |
23
2
|bi |blaui |0 i .
3
|ri |roti |
Y [h]
2/3
1/2
1/2
T3 [h]
1/3
118
Y [h]
1
1/2
1/2
T3 [h]
(r r +g g) / 2
(rr +g g 2bb)/ 6
1
Eine Besonderheit der QCD ist das sog. Farb-Confinement: Teilchen, die der Starken
Wechselwirkung unterliegen, sog. Hadronen, treten in der Natur stets als Singletts
(weie Objekte) der SU(Nc )Farbsymmetrie auf, farbgeladene Objekte wie Quarks
und Gluonen werden dagegen nie als isolierte Teilchen beobachtet. Das Confinement der
Farbladungen ist eine experimentell beobachtete Tatsache, konnte aber rigoros auf der
Basis der QCD bislang noch nicht gezeigt werden.
Die Tatsache, dass Hadronen stets Farb-Singletts sind, bedeutet, dass sie aus mehreren
Quarks bzw. Gluonen bestehen m
ussen, und zwar stets aus solchen Kopplungen, die ein
Singlett erlauben, z.B. wie in Glgen. (2.168) und (2.170). Farb-Singletts, die aus einem
Quark und einem Anti-Quark bestehen, nennt man Mesonen, Farb-Singletts, die aus
drei Quarks bestehen, heien Baryonen. Wir werden konkrete Beispiele daf
ur in den
nachsten Abschnitten besprechen, sobald wir eine weitere Symmetrie der QCD diskutiert
haben, die sog. Flavor-Symmetrie.
28.6.2012
In Ubungsaufgabe
4.3 hatten wir gesehen, dass links- und rechtshandige Dirac-Felder,
1 5
1 5
, r, =
,
2
2
im Fall verschwindender Masse in der Dirac-Lagrangedichte entkoppeln,
r, =
i/ = r i/ r + i/ .
(2.191)
(2.192)
2 Symmetrien
Da man rechts- und linkshandige Felder separat transformieren kann, ist die volle Symmetriegruppe U(Nf )r U(Nf ) , die sog. chirale Symmetrie der QCD.
Ein Massenterm bricht diese Symmetrie explizit, wie man sich leicht u
berzeugt:
m = m r + r m .
(2.194)
=
Dieser Term ist nur symmetrisch unter denjenigen chiralen Transformationen, f
ur die U
UV = exp iV Ta U(Nf )V , Va r+
= ra + a ,
(2.195)
welche die diagonale Untergruppe U(Nf )V der chiralen Symmetrie U(Nf )r U(Nf ) bilden. Die Symmetrie der Axialvektor-Transformationen A = r ,
a
UA = exp iA Ta U(Nf )A ,
a
a
A
r
= ra a ,
(2.196)
ist dagegen explizit gebrochen. (Es gibt keine solche Symmetriegruppe, weil der Massenterm erzwingt, dass ra = a sein muss, also die Parameter der U(Nf )A Symmetriegruppe
verschwinden m
ussen.)
Da die einzelnen Quarkmassen nicht verschwinden,
mu 2.5 MeV ,
ms 105 MeV ,
mb 4.198 GeV ,
md 5 MeV ,
mc 1.266 GeV ,
mt 173.1 GeV ,
(2.197)
ist die chirale Symmetrie der QCD explizit gebrochen. Waren alle Quarkmassen gleich
gro, dann ware die residuale Symmetrie der QCD die der Vektor-Transformationen
120
2.5.4 IsospinSymmetrie
Die Massen von up- und down-Quarks sind, gemessen auf der hadronischen Massenskala
Mh 1 GeV nahezu gleich gro (und zudem verschwindend klein),
mu 2.5 MeV < md 5 MeV Mh 1 GeV .
Daher kann man in guter Naherung annehmen, dass QCD eine SU(2)Flavor-Symmetrie
besitzt. (Die gegen
uber Mh verschwindend kleinen Quarkmassen legen die Vermutung
nahe, dass die Symmetriegruppe sogar groer sein konnte, namlich die der chiralen Symmetrie f
ur Nf = 2 Flavors, U(2)r U(2) . Dies ist aber aus einem anderen Grund, namlich
der sog. spontanen Brechung der chiralen Symmetrie durch ein nichtverschwindendes
Quarkkondensat hi
=
6 0, nicht der Fall.)
Wir schreiben
1
m
(mu + md ) , m md mu ,
(2.198)
2
so dass
m
m
, md = m
+
,
(2.199)
mu = m
2
2
und vernachlassigen im folgenden den Massenunterschied m. Dann ist die SU(2)FlavorSymmetrie der QCD sogar eine exakte Symmetrie. Up- und down-Quark bilden ein
SU (2)Dublett, [2],
|d>
1/2
|u>
0
1/2
I3 [h]
|ui |upi = |
Das entsprechende Anti-Dublett [2] besteht aus den jeweiligen Anti-Teilchen zu up- und
Es hat formal die gleiche Gestalt
down-Quark, dem Anti-up- u und Anti-down-Quark d.
wie das Dublett,
|u>
1/2
|d>
0
1/2
I3 [h]
|
ui |anti-upi = |
121
2 Symmetrien
(2.200)
|du>
I3 [h]
(|uu>+|dd>)/ 2 |ud>
0
I3 [h]
Es gibt allerdings verschiedene Arten von Mesonen, die den gleichen Flavor-Inhalt haben, aber sich in ihrem Verhalten unter Lorentz-Transformationen, d.h. in ihrem Spin J
unterscheiden. Die Klassifikation erfolgt gewohnlich nach Isospin I und nach Spin J, Paritat P und Ladungskonjugation C mit dem K
urzel J P C . Einige davon sind, f
ur Nf = 2,
in Tabelle 2.2 aufgef
uhrt.
Mesonen
Skalare (J P C = 0++ )
Masse [MeV]
Pseudoskalare (J P C = 0+ )
Masse [MeV]
Vektor (J P C = 1 )
Masse [MeV]
Axialvektor (J P C = 1++ )
Masse [MeV]
[1] (I = 0)
[3] (I = 1)
f0 (1370)
a0 (1450)
a00 (1450)
1350 150
1474 19
0
547.853 0.024 139.57018 0.00035 134.9766 0.0006
0
782.65 0.12
775.49 0.34
f1 (1285)
a1 (1260)
a01 (1260)
1281.8 0.6
1230 40
Tabelle 2.2: Mesonen, die aus einem Quark und einem Anti-Quark bestehen.
Die Zustande des Tripletts unterscheiden sich in ihrer elektrischen Ladung, welche sich
nach der Formel
Q = e I3 (Mesonen)
(2.201)
122
(2.202)
Eines der beiden Dubletts ist das Nukleonen-Dublett, bestehend aus Proton und
Neutron:
|n>
1/2
|p>
0
I3 [h]
1/2
Unter Ber
ucksichtigung der Clebsch-Gordan-Koeffizienten lautet der Flavor-Inhalt von
Proton und Neutron
1
11
i = (|uudi + |udui 2|duui) ,
|pi |Protoni = |
22
6
1
1
1
|ni |Neutroni = | i = (2|uddi |dudi |ddui) ,
2
2
6
+
Die Quantenzahlen des Nukleonen-Dubletts sind I(J P ) = 12 ( 21 ) und die Massen betragen
mn = 939.565346 0.000023 MeV ,
so dass die Massendifferenz (und damit die Isospin-Verletzung) wieder klein gegen
uber
den Nukleonenmassen ist,
mN = mn mp = 1.293333 MeV mn , mp .
Das Quadruplett in Gl. (2.202) ist das der sog. Delta-Resonanzen:
| >
3/2
|+ >
|0 >
1/2
1/2
|++>
3/2
I3 [h]
Unter Ber
ucksichtigung der Clebsch-Gordan-Koeffizienten lautet der Flavor-Inhalt der
Resonanzen
33
i = |uuui ,
|++ i = |
22
31
1
|+ i = |
i = (|uudi + |udui + |duui) ,
22
3
3
1
1
|0 i = | i = (|uddi + |dudi + |ddui) ,
2
2
3
3
3
| i = | i = |dddi .
2
2
123
2 Symmetrien
+
Die Quantenzahlen des Quadrupletts sind I(J P ) = 32 ( 23 ) und die Masse betragt
m = 1232 MeV.
Zur Berechnung der elektrischen Ladung der Baryonen muss Gl. (2.201) modifiziert
werden:
1
Q = e I3 +
(Baryonen) .
(2.203)
2
Y [h]
|d>
|u>
1/3
1/2
|s>
1/2
T3 [h]
2/3
Die Rolle der 3Komponente des Isospins aus dem vorangegangenen Abschnitt u
bernimmt nun T3 . Die Zuordnung der Zustande ist
11
i,
23
11
i,
|di |downi |
23
2
|si |strangei |0 i .
3
|ui |upi |
124
Y [h]
|s>
2/3
1/2
1/2
T3 [h]
|u>
1/3
|d>
Mesonen bilden gema der Kopplungsregel (2.168) ein Singlett und ein Oktett:
Y [h]
Y [h]
|ds>
|us>
(|uu>+|dd>2|ss>)/ 6
(|uu>+|dd>)/ 2
T3 [h]
(|uu>+|dd>+|ss>)/ 3
|du>
1
|ud>
1/2
|su>
1/2
T3 [h]
1 |sd>
125
2 Symmetrien
Wir unterscheiden
(i) Skalare Mesonen, J P C = 0++ :
Y [h]
K 0*0 (1430)
Y [h]
K0* (1430)
f0(1370)
a00(1450)
f (1710)
0
T3 [h]
a+0(1450)
a0(1450)
1
1/2
K0* (1430)
1/2
T3 [h]
1 K *0 (1430)
0
Y [h]
Y [h]
K0
T3 [h]
+
1/2
126
1/2
1 K 0
T3 [h]
(iii) Vektor-Mesonen, J P C = 1 :
Y [h]
K *0 (892)
Y [h]
K * (892)
T3 [h]
+
1/2
K * (892)
1/2
T3 [h]
1 K *0 (892)
ugen sich das Isosinglett und das Isotriplett der Mesonen aus
Wie wir sehen, f
dem Fall Nf = 2 in das Oktett ein. Die gegen
uber diesem Fall neu hinzugekommenen
vier vektoriellen K Mesonen bilden zwei Isospin-Dubletts im Oktett. Das neue isoskalare Meson bildet das Singlett. Die Massen und Isospin-Quantenzahlen dieser
Mesonen sind:
: I =0,
K : I = 12 ,
127
2 Symmetrien
(iv) Axialvektor-Mesonen, J P C = 1++ :
Y [h]
+
K 10 (1270)
Y [h]
K1 (1270)
f1(1285)
a10(1260)
f (1420)
1
a+1(1260)
a1(1260)
T3 [h]
1/2
1/2
T3 [h]
1 K 0 (1270)
1
K1 (1270)
Das Isosinglett f1 (1285) und das Isotriplett der a1 Mesonen aus dem Fall Nf = 2
f
ugen sich in das Oktett ein. Die gegen
uber dem Fall Nf = 2 neu hinzugekommenen vier axialvektoriellen K1 Mesonen bilden zwei Isospin-Dubletts im Oktett.
Das neue isoskalare f1 (1420)Meson bildet das Singlett. Die Massen und IsospinQuantenzahlen dieser Mesonen sind:
mf1 (1420) = 1426.4 0.9 MeV ,
mK1 = 1272 7 MeV .
f1 (1420) : I = 0 ,
K1 : I = 21 ,
Baryonen bilden gema der Kopplungsregel (2.170) ein Singlett, zwei Oktetts und
ein Dekuplett:
Y [h]
Y [h]
|ddd>
|ddu>
|duu>
|uuu>
Y [h]
T3 [h]
|dds>
1
1/2
1/2
T3 [h]
3/2
|uds>
1/2
|ssd>
1/2
|sss>
128
|uus>
|ssu>
3/2
T3 [h]
Y [h]
n
++
Y [h]
*
T3 [h]
1/2
1/2
T3 [h]
*
3/2
* 0
*+
1/2
1/2
*0
1
T3 [h]
3/2
Wir sehen, dass sich das Nukleonen-Isodublett in das Oktett einreiht und das Isoquadruplett in das Dekuplett. Die neu gegen
uber dem Fall Nf = 2 hinzugekommenen
Baryonen sind
+
: I(J P ) = 0( 21 ) ,
+ : I(J P ) =
0 : I(J P ) =
: I(J P ) =
0
: I(J P ) =
P
: I(J ) =
: I(J P ) =
+ : I(J P ) =
0 : I(J P ) =
: I(J P ) =
0 : I(J P ) =
: I(J P ) =
: I(J P ) =
+
1( 12 )
+
1( 21 )
+
1( 21 )
1 1+
( )
2 2
1 1+
( )
2 2
+
0( 12 )
+
1( 32 )
+
1( 23 )
+
1( 23 )
1 3+
( )
2 2
1 3+
( )
2 2
+
0( 23 )
,
,
,
,
,
,
,
,
,
,
,
,
Die entsprechenden Anti-Baryonen ordnen sich in ein Singlett, zwei Anti-Oktetts (die
aber dieselbe Form haben wie die Oktetts) und ein Anti-Dekuplett ein. Neben diesen
129
2 Symmetrien
Baryonen gibt es eine F
ulle weiterer angeregter Zustande sowie solcher mit negativer
Paritat. Aufgrund der identischen Flavor-Zusammensetzung m
ussen sich jedoch auch diese
Zustande in Singlett, zwei Oktetts und einem Dekuplett wiederfinden. Details findet man
in den Tabellenwerken der Particle Data Group [10].
Die vormals empirisch gefundenen Ladungsformeln (2.201) und (2.203) lassen sich jetzt
mit Hilfe der Hyperladung auf alle SU(3)Multipletts verallgemeinern,
1
Q = e T3 + Y .
(2.204)
2
Dies ist die sog. Gell-MannNishijimaFormel. Man pr
uft nach, dass sie sowohl fu
r
Mesonen- als auch fu
r
Baryonen-Multipletts
G
u
ltigkeit
besitzt.
Wenn
sie
f
u
r
alle
176.76 MeV ,
202.60 MeV ,
152.57 MeV ,
148.92 MeV ,
138.94 MeV ,
wobei wir innerhalb eines Isospin-Multipletts gemittelte Werte zugrunde gelegt haben.
Offensichtlich steigt die Masse der Baryonen proportional zur Zahl der jeweils in ihnen enthaltenen strange-Quarks um einen Betrag von der Groenordnung der Masse des
strange-Quarks.
130
(2.206)
haben, da HSU (3) nur von den Casimir-Operatoren C1 , C2 der SU(3) abhangen kann, die
auf einem gegebenen Multiplett stets den gleichen Eigenwert haben. Den Eigenwert von
SU (3) auf einem gegebenen Multiplett nennen wir im folgenden a = const.
H
Die beobachtete Massenverletzung innerhalb eines SU(3)Flavor-Multipletts ist proportional zur Zahl der strange-Quarks bzw. zur Hyperladung eines jeweiligen IsospinMultipletts. Dagegen ist die Isospin-Invarianz auf diesem Isospin-Multiplett (naherungs FSB muss daher einerseits proweise) immer noch erf
ullt. Der symmetriebrechende Anteil H
portional zu Y (oder hoheren Potenzen von Y ) sein, und kann andererseits vom Casimir
Operator T~ 2 der Isospin-Gruppe abhangen. Wir machen daher den Ansatz
1
2
2
FSB = b Y + c T~ Y
H
.
(2.207)
4
Falls wir ebenfalls die Isospin-Verletzung ber
ucksichtigen wollten, m
uten wir noch einen
Anteil T3 hinzunehmen. Die Glgen. (2.206) und (2.207) implizieren, dass die Masse eines
Hadrons auf einem gegebenen SU(3)Flavor-Multiplett sich (in nat
urlichen Einheiten)
aus der Formel
1 2
m = a + b Y + c T (T + 1) Y
(2.208)
4
berechnen lat, wobei die Konstanten a, b, c f
ur jedes Multiplett verschiedene Werte annehmen. Gleichung (2.208) ist die sog. Gell-MannOkuboMassenformel. Wir u
uberpr
fen ihre G
ultigkeit am Baryonenoktett. Es gilt f
ur die verschiedenen Isospin-Multipletts
innerhalb des Baryonenoktetts
3 1
c
mN = a + b + c
=a+b+ ,
4 4
2
m = a ,
m = a + c (2 0) = a + 2 c ,
c
3 1
=ab+ .
m = a b + c
4 4
2
Durch Bilden von Linearkombinationen kann man die Konstante b eliminieren,
c
3
1
1
(mN + m ) = a + = m + m .
2
2
4
4
Diese Gleichung ist in guter Naherung erf
ullt, denn es ist
1
3
1
(mN + m ) 1128.60 MeV 1135.05 MeV m + m .
2
4
4
131
2 Symmetrien
Die Abweichung betragt nur etwa 6.5 MeV, ist also in der Groenordnung der IsospinVerletzung, die in der Gell-MannOkubo-Formel (2.208) nicht ber
ucksichtigt ist.
F
ur das Dekuplett berechnen wir
7
3 5 1
=a+b+ c,
m = a + b + c
2 2 4
2
m = a + c (2 0) = a + 2 c ,
c
3 1
= ab+ ,
m = a b + c
4 4
2
m = a 2 b + c (0 1) = a 2 b c .
Dies f
uhrt auf die Gleichungen
1
(m + m ) = a + 2 c m 2 m m ,
2
die ebenfalls in sehr guter Naherung erf
ullt sind:
1
(m + m ) 1382.75 MeV ,
2
m 1384.57 MeV ,
2 m m 1394.55 MeV .
3.7.2012
Die Uberlegungen
zur SU(3)Flavor-Symmetrie der Starken Wechselwirkung lassen sich
auch auf das charm-Quark (und im Prinzip auch auf bottom- und top-Quark) erweitern. Allerdings ist die SU(4)Flavor-Symmetrie aufgrund der groen Masse des charmQuarks,
mc 1.266 GeV ms 105 MeV ,
noch starker explizit gebrochen als die SU(3). Die Massendifferenz mcs = mc ms
1.161 GeV Mh ist jetzt sogar in der Groenordnung der hadronischen Massenskala.
Die Generatoren der SU(4) sind (in direkter Verallgemeinerung der Generatoren der
SU(3) und in nat
urlichen Einheiten, ~ = 1)
1
Ta =
a ,
2
a = 1, . . . , 15 ,
mit
1
132
0
1
=
0
0
0
0
=
1
0
1
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0 i 0
0
0
2 = i 0 0
,
0 0 0
0
0 0 0
0
0 0 i
0
0 0 0
0
5 =
,
i 0 0
0
0 0 0
0
1 0
0
0
3 = 0 1
,
0 0
0
0 0
0
0 0 0
0
0 0 1
0
6 =
,
0 1 0
0
0 0 0
0
0
0
0
0
0
0
,
0
0
0
0
,
0
0
sowie
0
0
7 =
0
0
0
0
9 =
0
1
0
0
12 =
0
0
0 0 0
0 i 0
8 = 1
,
i 0 0
3
0 0 0
0 0
0 0 1
0 0
0 0 0
, 10 =
0 0
0 0 0
i 0
0 0 0
0
0 0 0
0
0 0 i
, 13 =
0
0 0 0
0
i 0 0
15
1
1
0
=
0
6
0
1
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0 0 0
1 0 0
0 2 0
0 0 0
i
0
,
0
0
0 0
0 0
,
0 1
1 0
(2.209)
0
0
11 =
0
0
0
0
14 =
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
i
0
1
,
0
0
0
0
,
i
0
0 0
0 0
.
1 0
0 3
(2.210)
Die Strukturkonstanten der SU(4) lassen sich wieder aus den Glgen. (2.131) und (2.134)
berechnen; wir u
berlassen dies als Ubungsaufgabe.
Die Gruppe SU(4) hat drei Cartan-Generatoren,
n
o
T3 , T8 , T15 ,
und, da sie eine halbeinfache Lie-Gruppe ist, ebenfalls drei Casimir-Operatoren,
n
o
C1 , C2 , C3 .
Zustande von SU(4)Multipletts sind daher durch die Eigenwerte der Casimir- und
Cartan-Generatoren charakterisiert,
|C1 C2 C3 T3 T8 T15 i .
(2.211)
Aus historischen Gr
unden verfahrt man zur Klassizierung der Zustande allerdings ein
wenig anders. Wir gehen dazu zunachst einen Schritt zur
uck und betrachten die Gruppe
SU(3). Man definiert den Strangeness-Operator durch die Relation
+ S ,
Y B
(2.212)
1 0 0
1 0 0
0 0 0
1
1
S = 0 1 0 0 1 0 = 0 0 0 .
3
3
0 0 2
0 0 1
0 0 1
133
2 Symmetrien
Hierbei haben wir benutzt, dass die Baryonenzahl der fundamentalen Darstellung (also
= 1 1 3 . Damit gilt
f
ur Quarks) B = 1/3 betragt und dementsprechend B
3
S |ui = S
S |di = S
S |si = S
1
0 =0,
0
0
1 =0,
0
0
0 = 1 |si .
1
Up- und down-Quarks haben also Strangeness S = 0, wahrend strange-Quarks Strangeness S = 1 tragen. Das Minuszeichen ist lediglich eine historisch bedingte Konvention.
Der Strangeness-Operator mit also ausschlielich die Zahl der strange-Quarks in einem
hadronischen Zustand. SU(3)Flavor-Zustande konnen also anstelle von Y bei Angabe
von B auch durch ihre Strangeness-Quantenzahl S charakterisiert werden,
|C1 C2 T3 Y i |C1 C2 B T3 Si .
F
ur SU(4) verfahrt man ganz ahnlich. Wir verallgemeinern die Relation (2.212) durch
Einf
uhrung des sog. Charm-Operators C,
+ S + C ,
Y = B
(2.213)
wobei
r
3
3 T15 .
C = B
4
2
In fundamentaler Darstellung lautet dieser Operator
1 0 0 0
1 0 0 0
1 0 1 0 0
1 0 1 0 0 =
C =
4 0 0 1 0 4 0 0 1 0
0 0 0 1
0 0 0 3
(2.214)
0
0
0
0
0
0
0
0
0
0
0
0
0
0
.
0
1
(2.215)
Der Charm-Operator mit die Anzahl von charm-Quarks in einem Zustand. CharmQuarks selbst tragen wegen
0
0
C |ci = C
0 = 1 |ci
1
die Charm-Quantenzahl C = +1. (Man beachte das gegen
uber der Strangeness-Quantenzahl umgekehrte Vorzeichen.)
134
T3
1
3
1
3
1
3
1
3
1
2
12
0
0
S
0
0
1
0
C
0
0
0
1
Q[e]
1
3
1
3
2
3
23
4
3
31
31
2
3
C
|c> 1
C
S
S
|d>
1/2
|u>
1/2
T3
|s>
1
|u>
1/2
|d>
1/2
T3
|s>
1
|c>
Man erkennt in der (T3 S)Ebene die SU(3)Unter-Multipletts bestehend up-, downund strange-Quark (Triplett) bzw. aus den entsprechenden Anti-Quarks (Anti-Triplett).
Hohere Multipletts konnen wieder durch Kopplung fundamentaler Quadrupletts generiert werden. Wir geben (ohne Beweis) die wichtigsten Kopplungsregeln an:
[4] [4] = [1] [15] ,
[4] [4] [4] = [4] [20] [20] [20 ] .
Demnach findet man Mesonen in SU(4)Singletts bzw. -Oktetts und Baryonen in SU(4)Anti-Quadrupletts, sowie drei 20pletts. F
ur die pseudoskalaren Mesonen ist dies exemplarisch in nachfolgender Abbildung dargestellt:
135
2 Symmetrien
C
Ds+=|cs>
S
1
D =|cu>
C
c ~|cc>
D+=|cd>
c ~|cc>
T3
D=|dc>
T3
D0=|uc>
Ds=|sc>
Man erkennt im 15plett ein Oktett (blau) bei C = 0. Dies ist das bereits aus der
SU(3)Flavor-Symmetrie bekannte Oktett der pseudoskalaren Mesonen. Die einzelnen
Zustande sind nicht mehr explizit gekennzeichnet. Neu hinzukommen ein SU(3)Triplett
(gr
un) bei C = 1 und ein SU(3)Anti-Triplett (rot) bei C = 1. Die entsprechenden
Zustande sind
D : I(J P C ) = 21 (0+ ) , mD = 1869.5 0.4 MeV ,
D 0 : I(J P C ) = 21 (0+ ) , mD0 = 1864.91 0.17 MeV ,
Ds : I(J P C ) = 0(0+ ) , mDs = 1969.0 1.4 MeV ,
136
3 Pfadintegrale
Die Methode der Pfadintegrale stellt einen alternativen Zugang zur Beschreibung quantenmechanischer und quantenfeldtheoretischer Systeme dar. Die zugrundeliegende Idee
ist, dass ein quantenmechanisches Teilchen nicht nur die klassische Trajektorie (die die
Wirkung extremalisiert) von Punkt ~qa nach Punkt ~qb durchlaufen kann, sondern, gewichtet
mit einer komplexen Phase, auch alle anderen moglichen Wege. Die quantenmechanische
Ubergangsamplitude
ergibt sich dann als Pfadintegral, d.h. als koharente Superposition
all dieser Phasenfaktoren.
tb
(3.1)
dt L(~q, ~q, t)
(3.2)
ta
die Wirkung auf der Trajektorie eines Teilchens, welche im Zeitintervall [ta , tb ] durchlaufen wird, und L(~q, ~q, t) die Lagrange-Funktion des Systems darstellen. Hier bezeichnet
~q den Vektor der (generalisierten) Koordinaten des Teilchens und ~q den zugehorigen Geschwindigkeitsvektor.
Das Hamiltonsche Prinzip (3.1) besagt, dass die tatsachlich durchlaufene Trajektorie
diejenige ist, die einem Extremum oder einem station
aren Punkt der Wirkung (3.2)
entspricht. Dabei vergleicht man die Wirkung auf einer Konkurrenzschar von Trajektorien im Ortsraum, vgl. Abb. 3.1. Die Konkurrenzschar besteht aus allen Trajektorien
mit fest gehaltenen Anfangs- und Endkoordinaten ~q(ta ) ~qa , ~q(tb ) ~qb . Die klassische Trajektorie ist diejenige, die die Wirkung stationar macht.
Gleichung (3.1) f
uhrt nach den Gesetzen der Variationsrechnung auf die Euler-Lagrange-Gleichungen
0=
,
dt
qi
qi
i = x, y, z ,
(3.3)
die den Newtonschen Bewegungsgleichungen vollkommen aquivalent sind. Sind die Anfangsbedingungen
~qa ~q(ta ) , ~qa ~q(ta ) ,
137
3 Pfadintegrale
qy
q by
qay
q bx
q ax
qx
Abbildung 3.1: Konkurrenzschar von Trajektorien in der Projektion des Ortsraum auf die
(q x q y )Ebene.
bekannt, so kann man den Ort ~q(tb ) und die Geschwindigkeit ~q(tb ) des Teilchens durch
Losen der Euler-Lagrange-Gleichungen zu jedem beliebigen spateren Zeitpunkt tb bestimmen. Dies legt die Trajektorie ~q(t), die das Teilchen durchlauft und f
ur die man die
Wirkung (3.2) berechnet, eindeutig fest.
vgl. Gl. (2.22) der Vorlesung Analytische Mechanik und Spezielle Relativitatstheorie.
Hier ersetzt man in Gl. (3.2) die Lagrange-Funktion durch ihre Legendre-Transformierte,
L(~q, ~q, t) = p~ ~q H(~q, ~p, t) ,
(3.5)
mit der Hamilton-Funktion H(~q, ~p, t). Im Unterschied zum Hamiltonschen Prinzip betrachtet man nun eine Konkurrenzschar von Trajektorien im Phasenraum, vgl. Abb.
3.2. Man beachte, dass hier die Koordinaten von Anfangs- und Endpunkt festgehalten
werden, ~q(ta ) ~qa , ~q(tb ) ~qb , aber dass die Werte ~p(ta ), ~p(tb ) des Impulses frei variiert
werden d
urfen.
Die klassische Trajektorie ist dann diejenige, welche die kanonischen Gleichungen
erf
ullt,
H(~q, ~p, t)
H(~q, ~p, t)
qi =
, pi =
, i = x, y, z ,
(3.6)
pi
qi
138
pz
q xb
q ay
q xa
q yb
qy
qx
Abbildung 3.2: Konkurrenzschar von Trajektorien in der Projektion des Phasenraum auf
den dreidimensionalen (q x q y pz )Unterraum.
welche vollkommen aquivalent zu den Euler-Lagrange-Gleichungen (3.3) sind.
(3.7)
(3.8)
t0 ) = T exp
) .
U(t,
dt H(t
(3.9)
~ t0
Ein Schrodinger-Zustand |(t)iS stimme zum Zeitpunkt t0 mit dem entsprechenden Heisenberg-Zustand |iH u
berein,
|(t0 )iS = |iH .
139
3 Pfadintegrale
Mit Hilfe des Zeitentwicklungsoperators (3.9) lautet die Zeitentwicklung dieses Zustands
t0 ) |(t0 )iS U (t, t0 ) |iH .
|(t)iS = U(t,
Die zugehorige Wellenfunktion ergibt sich durch Projektion auf einen Ortsraumzustand,
t0 ) |iH h~q, t|iH ,
(~q, t) h~q|(t)iS = h~q| U(t,
wobei wir den zeitabh
angigen Ortsraumzustand
|~q, ti U (t0 , t) |~qi
(3.10)
eingef
uhrt haben. Damit lat sich die Amplitude (3.7) nun wie folgt schreiben:
(t0 , tb ) U(t
0 , ta ) |~qa i = h~qb | U(t
b , t0 ) U(t
0 , ta ) |~qa i
h~qb , tb |~qa , ta i = h~qb | U
b , ta ) |~qa i ,
h~qb | U(t
(3.11)
(3.12)
des Zeitentwicklungsoperators ausgenutzt haben, vgl. Gl. (3.76) der Vorlesung Quantenmechanik I. Gleichung (3.11) bildet den Ausgangspunkt f
ur die sog. Pfadintegral
formulierung der quantenmechanischen Ubergangsamplitude
(3.7), die wir im nachsten
Abschnitt herleiten.
N
Y
U (tn , tn1 ) ,
(3.13)
n=1
N
Y
n=1
(3.14)
annimmt. Wir f
ugen nun zwischen jeden der Zeitentwicklungsoperatoren links einen vollstandigen Satz von Orts- und rechts einen vollstandigen Satz von Impulseigenzustanden
ein. Um die einzelnen Satze zu unterscheiden, numerieren wir sie entsprechend den zugehorigen Zeitschritten tn durch,
Z
Z
3
1 = d ~qn |~qn ih~qn | , 1 = d3 ~pn |~pn ih~pn | , n = 1, . . . , N .
(3.15)
140
Z Y
N
n=1
(3.16)
i
(tn1 + ) |~pn i + O( 2 ) .
h~qn | H
~
(3.18)
Ublicherweise
ist der Hamilton-Operator eine Funktion von Impuls- und Ortsoperator,
H(t)
H(~q, ~p, t) .
Das Matrixelement des Hamilton-Operators zwischen Impuls- und Ortszustanden ist damit einfach der Erwartungswert des Hamilton-Operators,
(tn1 + ) |~pn i H(~qn , p~n , tn1 + ) h~qn |~pn i .
h~qn | H
Insgesamt erhalten wir also f
ur Gl. (3.18)
i
2
(3.19)
(3.20)
141
3 Pfadintegrale
5.7.2012
Der Uberlapp
aus Impuls- und Ortseigenzustanden sind ebene Wellen,
1
i
h~qn |~pm i =
~qn p~m ,
3 exp
~
2~
(3.21)
vgl. Gl. (3.25) der Vorlesung Quantenmechanik I. Setzen wir die Glgen. (3.20) und
(3.21) in Gl. (3.16) ein, so erhalten wir mit
h~qb |~qN i = (3) (~qb ~qN )
den Ausdruck
Z Y
N
i
d3 ~qn d3 p~n (3)
(~qb ~qN ) exp
[(~qN ~qN 1 ) ~pN HN
h~qb , tb |~qa , ta i =
3
(2~)
~
n=1
o
+ (~qN 1 ~qN 2 ) ~pN 1 HN 1 + + (~q1 ~qa ) p~1 H1 ]
" N
#
Z NY
1
N
3
X
Y
~
q
~
q
i
d
~
p
n
n1
n
exp
~pn Hn
, (3.22)
=
d3 ~qn
3
(2~)
~
n=1
n=1
n=1
wobei wir ~q0 ~qa und ~qN ~qb gesetzt haben. Im Limes N , 0 wird
Z tb
N
X
~qn ~qn1
d~q
dt ,
~q ,
dt
ta
n=1
(3.23)
so dass
h~qb , tb |~qa , ta i
q~(tb )=~
qb
q~(ta )=~
qa
Z tb h
i
i
dt p~ ~q H(~q, p~, t)
.
D~q D~p exp
~ ta
(3.24)
N
1
Y
n=1
d ~q ,
N
Y
d3 p~
D~p lim
N
(2~)3
n=1
(3.25)
eingef
uhrt. Gleichung (3.24) ist die sog. Pfadintegral- oder auch Funktionalinteg
raldarstellung der quantenmechanischen Ubergangsamplitude.
Sie besagt, dass man jede nur mogliche Trajektorie (~q(t), ~p(t)) im Phasenraum, die vom Punkt ~qa = ~q(ta ) zum
Punkt ~qb = ~q(tb ) bei beliebigen Werten der Impulse p~a = ~p(ta ) und p~b = ~p(tb ) f
uhrt, mit
dem Phasenfaktor
Z tb h
i
i
dt ~p ~q H(~q, p~, t)
(3.26)
exp
~ ta
142
H(t)
=
+ V (~q, t) ,
(3.27)
2m
kann man die (unendlich vielen) Impulsintegrale in Gl. (3.24) exakt ausf
uhren, da es sich
lediglich um (verschobene) Gau-Integrale handelt. Um dies zu sehen, gehen wir auf Gl.
(3.22) zur
uck und setzen entsprechend Gl. (3.27)
Hn = H(~qn , ~pn , tn1 + ) =
~pn2
+ V (~qn , tn1 + )
2m
~pn =
.
2m
2m
(3.28)
ax2
dx e
=
, a>0,
(3.29)
a
(3.30)
Hier ist eine Bemerkung angebracht. Aufgrund des Faktors i im Exponenten ist dies
eigentlich kein Gau-Integral im Sinne von Gl. (3.29). Mit
Hilfe der Euler-Formel, Resul
taten aus Integraltafeln [11], sowie cos 4 = sin 4 = 1/ 2 erhalten wir aber das gleiche
Resultat wie in Gl. (3.29):
Z
Z
Z
iax2
2
dx e
=
dx cos(ax ) i
dx sin(ax2 )
r
r
r
r
i/4
cos i sin
=
(1 i) =
e
=
. (3.31)
=
2a
a
4
4
a
ia
Mit dem verbleibenden Term aus der quadratischen Erganzung (3.28) wird Gl. (3.22) zu
r
3N Z N
1
Y
m
h~qb , tb |~qa , ta i =
d3 ~qn
2i ~
n=1
( N "
#)
2
i X
m ~qn ~qn1
exp
V (~qn , tn1 + )
. (3.32)
~ n=1
2
143
3 Pfadintegrale
Im Limes N , 0 geht dies mit Hilfe von Gl. (3.23) u
ber in
Z tb h
Z q~(tb )=~qb
i
i
m 2
D~q exp
h~qb , tb |~qa , ta i N
dt
~q V (~q, t)
~ ta
2
q~(ta )=~
qa
Z tb
Z q~(tb )=~qb
i
dt L(~q, ~q, t)
D~q exp
N
~ ta
q~(ta )=~
qa
Z q~(tb )=~qb
i
N
S[~q(t)] ,
D~q exp
~
q~(ta )=~
qa
(3.33)
(3.34)
und die Definition (3.2) der Wirkung benutzt haben. Die Normierungskonstante
r
3N
m
N = lim
2i ~
N
0
ist dabei im Prinzip nicht wohldefiniert, aber das spielt keine Rolle, da wir die Ubergangsamplitude immer durch Multiplikation mit einem konstanten Phasenfaktor (re-)normieren
konnen. Gleichung (3.33) ist die Pfadintegraldarstellung der quantenmechanischen
Ubergangsamplitude
im Ortsraum. Sie besagt, dass man jede Trajektorie ~q(t) mit dem
iS[~
q(t)]/~
Phasenfaktor e
wichten und dann u
oglichen Trajektorien im Ortsraum
ber alle m
summieren (integrieren) muss. Die klassische Trajektorie entspricht nach dem Hamiltonschen Prinzip (3.1) derjenigen, die die Wirkung station
ar (oder extremal) macht.
Quantenmechanisch sind aber auch alle moglichen anderen Trajektorien erlaubt.
Eine zentrale Rolle in der Gewichtung der einzelnen Trajektorien spielt die Uberlegung,
wie gro die Wirkung auf einer gegebenen Trajektorie relativ zum Planckschen Wirkungsquantum ~ ist. Im Limes ~ 0 wird das Verhaltnis S[~q(t)]/~ beliebig gro. Die Phasenfaktoren auf Trajektorien abseits der klassischen Trajektorie, wo S[~q(t)] stationar wird
und ein Minimum annimmt, konnen damit beliebige (komplexe) Werte (vom Betrag eins)
annehmen. Die Beitrage dieser Trajektorien (3.33) mitteln sich im Pfadintegral gegenseitig
weg und nur Beitrage von Trajektorien um die klassische herum (dem stationaren Punkt
und Minimum von S[~q(t)]), in deren Nahe die Phasenfaktoren aufgrund der Stationaritat der Wirkung alle annahernd gleiche Werte annehmen,
uberleben. Daher entspricht
~ 0 dem klassischen Limes.
0 (~q, t) ,
0 = i~
H
t
144
(3.35)
3.5 Zusammenhang zwischen Ubergangsamplitude
und Greens-Funktion
wobei
0 ~ q
H
(3.36)
2m
der freie Hamilton-Operator ist. Dies ist eine homogene Wellengleichung, die wir mit
Hilfe der Fourier-Zerlegung der Wellenfunktion,
Z
1
~k) ei(t~k~q) ,
d d3~k (,
(3.37)
(~q, t) =
(2)4
losen konnen. Setzen wir diese in die Schrodinger-Gleichung (3.35) ein, so erhalten wir
!
Z
1
~2~k 2 ~ i(t~k~q)
3~
0=
d d k ~
(, k) e
.
(2)4
2m
Da die ebenen Wellen ein vollstandiges Funktionensystem bilden, kann dies nur dann null
sein, wenn der Term in Klammern verschwindet, d.h. wenn die Dispersionsrelation
~2~k 2
~ (~k) =
2m
(3.38)
erf
ullt ist. Wir ber
ucksichtigen dies in der Fourier-Zerlegung (3.37), indem wir f
ur die
Fourier-Koeffizienten den Ansatz
~k) = (
~k) ( (~k))
(,
(3.39)
Z
Z
1
~
3~ ~
d k (k)
d3 ~q ei(k~p)~q
4
(2)
Z
1
~k) (2)3 (3) (~k ~p)
=
d3~k (
(2)4
1
(~p) ,
=
2
also
~k) = 2
(
d3 ~q eik~q (~q, 0) .
(3.42)
(3.43)
145
3 Pfadintegrale
Wir definieren die Funktion
1
G(~q, t; ~r, 0)
(2)3
d3~k ei(k)t+ik(~q~r) .
(3.44)
(3.45)
Die physikalische Interpretation dieser Gleichung ist, dass die Anfangsbedingung (~r, 0)
durch die Funktion G(~q, t; ~r, 0) zum Zeitpunkt t und zum Ort ~q propagiert wird. Dies
ist ganz ahnlich zu der Funktion D(t, ~r ~r ), die uns schon in der Vorlesung Elektrodynamik begegnet ist, s. dort Gl. (4.50). Aus diesem Grund nennt man G(~q, t; ~r, 0) auch
Propagator. Es handelt sich dabei um eine Greens-Funktion, denn wenn wir auf das
Resultat (3.45) den freien Schrodinger-Operator
i~
0
H
t
3
0 (~q, t) = d ~r i~
0 G(~q, t; ~r, 0) (~r, 0) .
H
H
i~
t
t
Da (~q, t) eine Losung der freien Schrodinger-Gleichung (3.35) f
ur alle Zeiten t > 0 sein
soll, muss die rechte Seite verschwinden. Dies ist erf
ullt, falls
i~
H0 (~q, t) = (t) (~q, 0) = 0 t > 0 .
t
(3.48)
146
(3.49)
Die Ubergangsamplitude
ist also nichts weiter als der Propagator oder die GreensFunktion der Schrodinger-Gleichung. Wir werden dies im folgenden auch durch eine
explizite Rechnung f
ur den freien Fall, V (~q, t) = 0, beweisen.
10.7.2012
(~q2 ~q1 )2 + (~q1 ~q0 )2 = ~q22 + ~q02 2 ~q1 (~q2 + ~q0 ) + 2 ~q12
2
~q2 + ~q0
1
= 2 ~q1
(~q2 + ~q0 )2 + ~q22 + ~q02
2
2
1
= 2 ~q1 2 + (~q2 ~q0 )2 ,
2
wobei wir
~q2 + ~q0
~q1 ~q1
2
definiert haben. Substituieren wir diese Variable im ~q1 Integral in Gl. (3.51), so konnen
wir das Integral direkt ausf
uhren (es ist wieder vom Gau-Typ),
Z
im
2
2
3
d ~q1 exp
(~q2 ~q1 ) + (~q1 ~q0 )
2~
Z
im
2i m 2
2
3
= exp
(~q2 ~q0 )
~q
d ~q1 exp
2~(2 )
2~ 1
3
r
im
i ~
2
.
(3.52)
(~q2 ~q0 )
= exp
2~(2 )
m
Wir erkennen, dass das Resultat aus der Gau-Integration mit drei der 3N Vorfaktoren
vor dem Pfadintegral in Gl. (3.50)
r
3
m i ~
1
= 3
(3.53)
2i ~ m
2
147
3 Pfadintegrale
ergibt. Gleichzeitig ist das Zeitintervall in der Exponentialfunktion durch 2 ersetzt
worden.
Wir integrieren nun u
ber ~q2 , welches ebenfalls in zwei Termen im Exponenten vorkommt,
Z
im
1
2
2
3
d ~q2 exp
(~q3 ~q2 ) + (~q2 ~q0 )
.
(3.54)
2~
2
Ahnliche
Manipulation des Exponenten wie im ~q1 Fall ergibt
1 2
1
3
1
2
2
2
(~q3 ~q2 ) + (~q2 ~q0 ) = ~q3 + ~q0 2 ~q2 ~q3 + ~q0 + ~q22
2
2
2
2
2
2
2
1
1
2
1
3
~q2
~q3 + ~q0
~q3 + ~q0 + ~q32 + ~q02
=
2
3
2
3
2
2
3 2 1
~q2 + (~q3 ~q0 )2 ,
=
2
3
wobei wir
~q2
1
2
~q3 + ~q0
~q2
3
2
(3.55)
Das Resultat aus der Gau-Integration ergibt zusammen mit drei der Vorfaktoren aus Gl.
3
(3.50) und mit dem Faktor 1/ 2 aus Gl. (3.53)
r
3
1
m 4i ~ 1
= 3 .
2i ~ 3m 2
3
Wir integrieren nun weiter u
ber die Variablen ~qn . Bei der Integration u
ber die Variable ~qj
wird das Zeitintervall j im Nenner des Exponenten um groer, also zu (j +1) , drei der
3N Vorfaktoren in Gl. (3.50) heben sich teilweise mit dem Resultat der ~qj Integration
3
weg, und wir erhalten einen Faktor 1/ j + 1 . Setzen wir dies bis j = N 1 fort, so
erhalten wir mit ~q0 ~qa , ~qN ~qb und N tb ta als Endergebnis
r
3
im
m
2
exp
(~qb ~qa ) .
(3.56)
h~qb , tb |~qa , ta i =
2i~(tb ta )
2~(tb ta )
Wir zeigen nun, dass dieser Ausdruck identisch mit dem Propagator (3.44) der Schrodinger-Gleichung ist. Dazu m
ussen wir nur erkennen, dass auch das Integral in dieser Gleichung ein (verschobenes) Gau-Integral ist (zumindest nach analytischer Fortsetzung in
148
ist raumlich konstant. Dies ist auf den ersten Blick ein u
berraschendes Ergebnis, erklart
sich aber daraus, dass das Teilchen bei t = 0 exakt lokalisiert war. Nach der Heisenbergschen Unbestimmtheitsrelation ist sein Impuls daher vollkommen unbestimmt, d.h. alle
149
3 Pfadintegrale
2
3/2
1/2
Re [(m /2) /2 ]
1
t=1
t=2
t=3
-1
0
3/2
5
q [1/m]
10
5
q [1/m]
10
1/2
Im [(m /2) /2 ]
1
t=1
t=2
t=3
-1
0
Abbildung 3.3: Real- und Imaginarteil der Wellenfunktion (3.60) (in Einheiten von
150
Die korrekt normierte Wellenfunktion muss daher noch mit einem Faktor
s
3
1 2~t
V
m
multipliziert werden.
Die Situation eines exakt lokalisierten Teilchens (mit dann beliebig hohem Impuls) ist
nat
urlich wenig realistisch. Wir betrachten daher die Anfangsbedingung
1
~r 2
(~r, 0) =
,
(3.62)
3 exp
2
2
also ein Gausches Wellenpaket der Breite . F
ur 0 geht das Paket in die Funktion
(3.58) u
ber. Weil die Fourier-Transformierte einer Gau-Funktion wieder eine GauFunktion ist, sind zwar auch jetzt im Prinzip beliebig hohe Impulse ~p = ~~k moglich,
aber sie werden mit zunehmendem ~p exponentiell unwahrscheinlicher,
Z
~
~
(k, 0) = 2 d3~r eik~r (~r, 0)
Z
1
~r 2
3
~
=
d ~r exp
ik ~r
2
2 3
2
Z
1
1
3
2
~
~
~r + i k
d ~r exp
=
exp k
2
2
2 3
= 2 exp ~k 2 2 exp 2 ~p 2 .
(3.63)
2
2~
Gema Gl. (3.45) ist die Wellenfunktion zu einem Zeitpunkt t > 0
Z
r
3
m
im
im
1
im 2
2
3
(~q, t) =
exp
1
~r
d ~r exp
q
~q ~r .
(2)2 i~t
2~t
2
~t
~t
(3.64)
Eine quadratische Erganzung liefert
im
im
1
1
~r 2
~q ~r
2
~t
~t
"
2 #
2
1
im
im
im
=
1
~r +
~q
q2
2
~t
~t im
~t im
im
m2
1
1
~r 2
q2 ,
=
2
~t
2~t ~t im
151
3 Pfadintegrale
wobei wir die Substitution
im
~q
~t im
vorgenommen haben. Das Gau-Integral u
ber ~r hat den Wert
~r ~r +
2~t
~t im
m
1
2i ~t im
m
1
2i ~t im
m
m
exp
i q2
2~t ~t im
im
2
exp
q .
2(~t im)
(3.65)
Im Limes 0 ergibt sich wieder das Resultat (3.59). Die Zerlegung in Real- und Imaginarteil ist wieder moglich, ergibt aber einen recht unhandlichen Ausdruck. Wir zeigen
daher nur das Resultat in Abb. 3.4. Man sieht sehr schon, wie das anfangliche Gausche
Wellenpaket (gestrichelte Linie in der Abbildung f
ur den Realteil) aufgrund der Impulsunbestimmtheit auseinanderfliet.
Die Aufenthaltswahrscheinlichkeitsdichte betragt
!3
m2
m
2
2
p
exp
|(~q, t)| =
.
q
(~t)2 + (m)2
2 (~t)2 + (m)2
(3.66)
Die korrekt (auf eins) normierte Aufenthaltswahrscheinlichkeitsdichte ist in Abb. 3.5 dargestellt. Auch hier erkennt man das Zerflieen der Wellenfunktion im Laufe der Zeit.
152
3/2
1/2
Re [(m /2) /2 ]
t=1
t=2
t=3
10
5
q [1/m]
2
3/2
1/2
Im [(m /2) /2 ]
t=1
t=2
t=3
0
-1
0
5
q [1/m]
10
Abbildung 3.4: Real- und Imaginarteil der Wellenfunktion (3.65) (in Einheiten von
[m2 /(2)]3/2 / 2) f
ur die Zeiten t = 1 (schwarz), 2 (rot), 3 (blau) (in
Einheiten von 1/(~m)) als Funktion des Ortes q (in Einheiten von 1/m).
Die anfangliche Breite des Wellenpakets betragt = 1 (in Einheiten von
1/m2 ).
153
3 Pfadintegrale
2
| | [(m /2) ]
t=1
t=2
t=3
0
0
q [1/m]
3.7 Semiklassische N
aherung
F
ur ein beliebiges Potential V (~q, t) lat sich das Pfadintegral (3.33) i.a. nicht mehr losen.
Eine Ausnahme bilden Potentiale, die quadratisch in ~q sind, weil dann das Pfadintegral u
ber ~q wieder in (im Prinzip unendliche viele) Gau-Integrale u
bergeht. Man kann
aber stets die sog. semiklassische N
aherung machen, d.h. man entwickelt die Wirkung
S[~q(t)] bis zur quadratischen Ordnung in ~q(t) um den klassischen Pfad ~qcl (t) herum.
Dies f
uhrt dann auf exakt losbare Pfadintegrale. Wir wollen dies im folgenden prazisieren.
Der klassische Pfad ~qcl (t) sei gegeben durch die Losung der Euler-Lagrange-Gleichungen
(3.3) und die zugehorige Wirkung sei
Scl S[~qcl (t)] =
tb
dt L(~qcl , ~qcl , t) .
ta
Wir f
uhren die Variation um den klassischen Pfad durch die Gleichung
~r(t) ~q(t) ~qcl (t)
ein. Offenbar gilt
~r(ta ) = ~r(tb ) 0 ,
154
(3.67)
wobei wir die Komponenten von ~r(t) mit ri (t), i = x, y, z, bezeichnet haben. F
ur das Folgende benutzen wir, dass die gemischte zweite Ableitung von L f
ur Lagrange-Funktionen
vom Typ (3.34) verschwindet. Eingesetzt in das Wirkungsintegral erhalten wir
!
Z tb "
X
L
L
dt L(~qcl , ~qcl , t) +
ri
S[~q(t)]
+ ri
q
i
i
ta
q~=~
qcl
q~=~
qcl
i
!#
1X
2 L
2 L
+
ri rj
+ ri rj
2 i,j
qi qj q~=~qcl
qi qj q~=~qcl
Z tb X
d L
L
= Scl +
dt
ri
q
dt qi q~=~qcl
i
ta
i
Z tb
m 2 1 T
(3.69)
~r ~r V (~qcl , t) ~r ,
dt
+
2
2
ta
wobei wir im Term O(~r) partiell integriert und ausgenutzt haben, dass die Variation
von ~r(t) bei ta und tb verschwindet. Auerdem haben wir aufgrund von Gl. (3.34)
2 L
= m ij ,
qi qj q~=~qcl
2 V (~q, t)
2 L
=
Vij (~qcl , t)
qi qj q~=~qcl
qi qj q~=~qcl
benutzt. Die letzte Gleichung stellt das (ij)Element der Matrix V der zweiten Ableitungen des Potentials V nach den Koordinaten dar. Der zweite Term in Gl. (3.69)
verschwindet aufgrund der Euler-Lagrange-Gleichungen (3.3) und wir erhalten
Z tb
m 2 1 T
dt
S[~q(t)] Scl +
(3.70)
~r ~r V (~qcl , t) ~r .
2
2
ta
Wenn wir diesen Ausdruck in das Pfadintegral (3.33) einsetzen, konnen wir den Beitrag
der klassischen Wirkung aus dem Integral herausziehen, weil er nicht von den Integrationsvariablen ~qn abhangt. Auerdem konnen wir letztere aufgrund von Gl. (3.67) durch
die Variablen ~rn ersetzen. Diese Variablensubstitution f
ur das Pfadintegral hat die JacobiDeterminante eins, weshalb sofort folgt
Z tb
Z ~r(tb )=0
m 2 1 T
i
iScl /~
dt
. (3.71)
~r ~r V (~qcl , t) ~r
h~qb , tb |~qa , ta i N e
D~r exp
~ ta
2
2
~
r (ta )=0
155
3 Pfadintegrale
Das Pfadintegral ist wieder vom Typ eines (unendlich dimensionalen) Gau-Integrals und
kann exakt gelost werden. Wir demonstrieren dies explizit f
ur den eindimensionalen
Fall. Dazu schreiben wir das Pfadintegral in Gl. (3.71) (inklusive des Normierungsfaktors
N ) zunachst in der Form von Gl. (3.32), also wo wir u
ber N 1 Variable rn integrieren,
#)
( N "
r
2
N Z N
1
Y
m
m rn rn1
1 2
i X
I(tb , ta )
, (3.72)
drn exp
V n rn
2i ~
~
2
2
n=1
n=1
wobei wir
Vn V (qcl,n , tn1 + )
abgek
urzt haben.
12.7.2012
Der Exponent in Gl. (3.72) hat die folgende Form:
N
X
m
m
i 2
2
2
2
2
2
+ rN
2 2rN 2 rN 1 + rN 1 + rN 1 2rN 1 rN + rN
i
2
V1 r12 + V2 r22 + + VN rN
2~
2
2
2
2
2r1 2r1 r2 + 2r2 + + 2rN
2 2rN 2 rN 1 + 2rN 1
m
2i ~
i
2
V1 r12 + V2 r22 + + VN 1 rN
1 ,
2~
(3.73)
(rn rn1 )
V n rn
~r A ~r ,
2i ~ n=1
m
2i ~
(3.74)
A=
2 + c1
1
0
..
.
0
0
2 + c2 1
0
1 2 + c3 1
..
.
0
..
.
0
..
.
1 2 + cN 2
1
0
1
2 + cN 1
156
m
2i ~
m T
~r A ~r
dN 1~r exp
2i ~
(3.75)
(3.76)
wobei an die Eigenwerte von A sind. Multiplikation mit O T von links und mit O von
rechts liefert
OT D O = A ,
also
r
m
2i ~
m
~r T O T D O ~r
dN 1~r exp
2i ~
r
N Z
m
m
~s T D ~s
dN 1~s exp
2i ~
2i ~
!
r
N Z N
N 1
1
Y
m
m X
an s2n ,
dsn exp
2i ~
2i
~
n=1
n=1
I(tb , ta ) =
(3.77)
~s T ~r T O T ,
m
2i ~
Nr
2i ~
m
N 1 N 1
Y
n=1
a1/2
n
m
( det A)1/2 ,
2i~
(3.78)
wobei wir aufgrund von Gl. (3.76) und det O det O T = +1 die Identitat
det D =
N
1
Y
n=1
an = det O A O T = det O det A det O T = det A
(3.79)
benutzen konnten. Wir berechnen nun die Determinante der Matrix (3.75) mit Hilfe des
Determinantenentwicklungssatzes,
N 1 det A = (2 + cN 1 ) N 2 N 3 ,
wobei
N 2
2 + c1 1
0
0
..
1
0
.
1 2 + c2
0
1
2
+
c
1
0
0
3
=
..
..
..
.
.
.
0
0
1 2 + cN 3
1
0
0
1
2 + cN 2
(3.80)
,
157
3 Pfadintegrale
N 3
2 + c1
1
0
0
..
1
0
.
1 2 + c2
1 2 + c3 1
0
0
0
=
.
..
.
..
..
.
0
0
1 2 + cN 3 0
0
0
1
1
2 + c1 1
0
0
..
0
.
1 2 + c2 1
1 2 + c3 1
0
0
.
.
.
.
..
..
..
0
0
1 2 + c
N 3
n+1 = (2 + cn+1 ) n n1 ,
n = 1, . . . , N 2 ,
(3.81)
wobei 1 = (2 + c1 ) und 0 = gesetzt wird. Diese Rekursionsformel kann man mit der
Definition der cn in der Form
Vn+1
cn+1
n+1 2 n + n1
=
n
n
2
2
m
(3.82)
(t) .
dt2
m
(3.83)
d(ta )
2 V1
1 0
(2 + c1 )
1.
lim
= lim
= lim 1
0
0
0
dt
(3.84)
Weiter kommen wir nur, wenn wir das Potential V (~q, t) spezifizieren und die Differentialgleichung (3.83) explizit bis zum Zeitpunkt tb losen. Dies liefert eine Funktion
f (tb , ta ) (tb )
lim
N
0
N =
lim
N
0
N 1 =
lim
N
0
( det A) ,
(3.85)
die von den Anfangsbedingungen (3.84) zum Zeitpunkt ta abhangt. Diese soll im nachsten
Abschnitt als Beispiel f
ur den eindimensionalen harmonischen Oszillator bestimmt werden.
Wir fassen die Ergebnisse dieses Abschnitts zusammen. Mit den Glgen. (3.71), (3.78)
158
3.8 Propagator f
ur den eindimensionalen harmonischen Oszillator
3.8 Propagator f
ur den eindimensionalen harmonischen
Oszillator
Der eindimensionale harmonische Oszillator hat das Potential
1
V (q) = m 2 q 2 ,
2
(3.87)
V 0 .
(3.89)
1
[sin(tb ) cos(ta ) cos(tb ) sin(ta )]
=
sin[(tb ta )]
(3.90)
d L L
= m q + m 2 q ,
dt q
q
159
3 Pfadintegrale
oder
q + 2q = 0 .
Die Losung ist wohlbekannt,
qcl (t) = A cos(t) + B sin(t) .
(3.91)
Die Konstanten A und B bestimmen wir nun durch die vorgegebenen Anfangs- und Endbedingungen (die nat
urlich auch f
ur den klassischen Weg gelten)
qa qcl (ta ) = A cos(ta ) + B sin(ta ) ,
qb qcl (tb ) = A cos(tb ) + B sin(tb ) .
Man u
berzeuge sich davon, dass dies
qa sin(tb ) qb sin(ta )
,
A =
sin [(tb ta )]
qb cos(ta ) qa cos(tb )
B =
sin [(tb ta )]
(3.92)
(3.93)
ta
160
3.8 Propagator f
ur den eindimensionalen harmonischen Oszillator
Also lautet die klassische Wirkung
Z tb
Scl =
dt L(qcl , qcl , t)
ta
2
m
qa + qb2
sin [2(tb ta )] 2 qa qb sin [(tb ta )]
=
2
2 sin2 [(tb ta )]
2
m
(qa + qb2 ) cos [(tb ta )] 2 qa qb .
(3.96)
=
2 sin [(tb ta )]
Damit und mit Gl. (3.90) lautet der Propagator des eindimensionalen harmonischen Oszillators
161
Literaturverzeichnis
[1] W. Greiner, B. M
uller, Theoretische Physik Band 5: Quantenmechanik II Symmetrien (Harri Deutsch, Thun & Frankfurt am Main)
[2] W. Greiner, Theoretische Physik Band 6: Relativistische Quantenmechanik: Wellengleichungen (Harri Deutsch, Thun & Frankfurt am Main)
[3] R. Jelitto, Theoretische Physik 5: Quantenmechanik II (AULA-Verlag, Wiesbaden)
[4] W. Nolting, Grundkurs Theoretische Physik 5/2: Quantenmechanik Methoden und
Anwendungen (Springer, Berlin)
[5] J.J. Sakurai, J. Napolitano, Modern Quantum Mechanics (Pearson Addison Wesley,
San Francisco)
[6] F. Schwabl, Quantenmechanik fur Fortgeschrittene (QM II) (Springer, Berlin)
[7] L.D. Landau, E.M. Lifshitz, Lehrbuch der Theoretischen Physik III: Quantenmechanik (Harri Deutsch, Thun & Frankfurt am Main)
[8] R.P. Feynman, A.R. Hibbs, Quantum Mechanics and Path Integrals (McGraw Hill,
New York)
[9] http://de.wikipedia.org/wiki/Wasserstoffatom, 14.5.2012
[10] http://pdg.lbl.gov
[11] I.S. Gradshteyn, I.M. Ryzhik, Tables of Integrals, Series, and Products (Academic
Press, San Diego)
162