Sie sind auf Seite 1von 96

Quantenfeldtheorie

W. Cassing

Institut fu
 r Theoretische Physik,
Universita
t Giessen

1
Inhaltsverzeichnis
I Relativistische Quantentheorie freier Felder 4
1 Das skalare Mesonenfeld 5
1.1 Einfuhrung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Die Klein-Gordon-Gleichung . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Quantisierung des Feldes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4 Teilcheninterpretation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.5 Normalordnung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.6 Transformationsverhalten des Feldes . . . . . . . . . . . . . . . . . . . . . 14
1.7 Spin des Klein-Gordon-Teilchens . . . . . . . . . . . . . . . . . . . . . . . . 17
1.8 Raumspiegelungen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.9 Zeitumkehr . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.10 Ladung und Ladungskonjugation . . . . . . . . . . . . . . . . . . . . . . . 21
1.11 Die Schwingersche -Funktion . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.12 Der Feynman'sche Propagator . . . . . . . . . . . . . . . . . . . . . . . . . 26
2 Dirac Gleichung und Dirac Algebra 29
2.1 Heuristische Einfuhrung . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.2 -Matrizen und Dirac-Algebra . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.3 Transformationsverhalten der Dirac-Spinoren . . . . . . . . . . . . . . . . . 34
2.4 Losungen der freien Dirac-Gleichung . . . . . . . . . . . . . . . . . . . . . 37
3 Das Dirac-Feld 42
3.1 Quantisierung mit Antikommutatoren . . . . . . . . . . . . . . . . . . . . . 42
3.2 Antikommutatoren fur Feldoperatoren . . . . . . . . . . . . . . . . . . . . 46
3.3 Die Greensche Funktion des freien Dirac-Feldes . . . . . . . . . . . . . . . 47
3.4 Transformationseigenschaften . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.5 Diskrete Transformationen . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
4 Vektormesonen und Photonen 54
4.1 Vektorfeld mit Ruhemasse . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.2 Quantisierung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
4.3 Feynman-Propagator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
4.4 Spin der Vektormesonen . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
4.5 Das elektromagnetische Feld (klassisch) . . . . . . . . . . . . . . . . . . . . 60
4.6 Quantisierung des elektromagnetischen Feldes . . . . . . . . . . . . . . . . 63

2
4.7 Der Feynman-Propagator des Strahlungsfeldes . . . . . . . . . . . . . . . . 71

II Felder in Wechselwirkung 72
5 Aktionsprinzip und Noether'sches Theorem 73
5.1 Schwinger'sches Aktionsprinzip . . . . . . . . . . . . . . . . . . . . . . . . 73
5.2 Feldgleichungen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
5.3 Gleichzeitige Vertauschungsrelationen . . . . . . . . . . . . . . . . . . . . . 78
5.4 Spin-Statistik-Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
5.5 Das Noether'sche Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
6 Konstruktion von Lagrangedichten 85
6.1 Global eichsymmetrische Lagrange-Funktionen . . . . . . . . . . . . . . . . 85
6.2 Lokale Eichsymmetrien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
6.3 Die lokale nichtabelsche Eichinvarianz . . . . . . . . . . . . . . . . . . . . . 92

3
Teil I
Relativistische Quantentheorie freier
Felder

4
Kapitel 1
Das skalare Mesonenfeld
1.1 Einfuhrung
Die bisher behandelte Quantenmechanik ist als Quantentheorie mechanischer Systeme mit
endlicher Zahl von Freiheitsgraden qi(t) = fq1(t); ::::::; q3N (t)g im nichtrelativistischen
Grenzfall lim vi  c (Lichtgeschwindigkeit) zu interpretieren. Neben der o ensichtlichen
Beschrankung auf kleine Geschwindigkeiten ist sie weiterhin (mit Ausnahme von x24)
nicht fur die Beschreibung von Feldern (r; t) mit unendlich vielen Freiheitsgraden geeig-
net, wo die Werte des Feldes  an den Raumpunkten r zur Zeit t die Rolle der diskreten
Freiheitsgrade qi (t) ubernehmen. Die 'Quantenfeldtheorie' ist der Versuch, die quan-
tenmechanische Behandlung auf Felder zu ubertragen und zugleich mit den Prinzipien der
speziellen Relativitatstheorie in Einklang zu bringen. Sie hat sich bisher als erfolg-
reich erwiesen in der Beschreibung der verschiedenen Elementarteilchen, ihrer Erzeugung,
Vernichtung und Wechselwirkung, sowie bei der konsistenten Behandlung von Vielteil-
chensystemen.
Wir beginnen mit einem einfachen (skalaren) Feld (r; t), dessen Quantisierung eine Be-
schreibung kraftefreier, relativistischer, spinloser Teilchen der Masse m 6= 0 liefern soll
(Mesonenfeld). Um die grundlegende Bewegungsgleichung zu bestimmen, geht man von
der Forderung aus, da fur die Fourierkomponenten (q; !) in der Darstellung
1 Z1 Z
(r; t) = (2)2 d! d3q exp( i[!t q  r]) (q; !) (1.1)
1
die Frequenz ! und die Wellenzahl q durch die de Broglie-Beziehungen
E = h !; p = h q (1.2)
mit der Energie E und dem Impuls p verknupft sein sollen, denn E und p mussen fur ein
kraftefreies Teilchen die relativistische Energie-Impuls Beziehung
q
E =  (cp)2 + (mc2 )2 (1.3)
erfullen. Mit dem im folgenden verwendeten Masystem, in welchem h = c = 1 ist, fordern
wir also q
! = q2 + m2  !q : (1.4)
5
Zur Vereinfachung der Schreibweise fuhren wir die Vierervektoren
x = (t; r)  (t; x); q = (!; q) (1.5)
mit kontravarianten Komponenten
x0 = t; x1 = x; x2 = y; x3 = z; q0 = !; q1 = qx ; q2 = qy ; q3 = qz ; (1.6)
und kovarianten Komponenten
x0 = t; x1 = x; x2 = y; x3 = z; q0 = !; q1 = qx ; q2 = qy ; q3 = qz (1.7)
ein. Die Transformation zwischen kovarianten und kontravarianten Vierervektoren ist ge-
geben durch
X 3
x = g x =: g x (1.8)
 =0
(fur  = 0; 1; 2; 3) mit dem (in allen Bezugssystemen gleichen) metrischen Tensor
0 1 0 0 01
B 0 1 0 0C
(g ) = (g ) = B
B@ 0 0 1 0C
C:
A (1.9)
0 0 0 1
Zur weiteren Vereinfachung der Schreibweise haben wir in (1.8) die Einstein'sche Sum-
menkonvention eingefuhrt, d:h. uber alle auf einer Gleichungsseite doppelt auftretenden
Indizes wird summiert ( = 0; ::; 3):
Die in (1.1) auftretende Phase
X
3
!t q  r = q0 x0 + qk xk = qx = q  x (1.10)
k=1
ist ein Vierer-Skalarprodukt, welches invariant unter (eigentlichen) Lorentztransfor-
mationen ist. Die Bedingung (1.3) lat sich dann als
( q 0 ) 2 q 2 = q  q   q 2 = m2 (1.11)
schreiben, d:h. der Viererimpuls q mu 'auf der Massenschale' zur Ruhemasse m sitzen.
Die Fourierkomponenten (q) in (1.1) mussen also die spezielle Form
p
(q) = 2 (qq m2) (q) (1.12)
haben, bzw. wegen
(a2 b2 ) = 21jbj [(a b) + (a + b)]
alternativ von der Form sein
p
(q) = 2 [(q0 !q )+(q) + (q0 + !q )  (q)]: (1.13)
2!q
6
Mit (1.13) gilt dann nach Integration uber d! = dq0 :
Z d3 q
(x) = 2! [+(q)fq (x) +  (q)fq(x)] (1.14)
q
mit den ebenen Wellen
fq (x) = (2) 3=2 exp( i(!q t q  r)) = (2) 3=2 exp( iq  x)jq0=!q ; (1.15)
fq(x) = (2) 3=2 exp(i(!q t q  r)) = (2) 3=2 exp(iq  x)jq0 =!q :

1.2 Die Klein-Gordon-Gleichung


In der Raum-Zeit Darstellung (1.14) ist q2 durch den Di erentialoperator
@ 2 = @ @ = @ @  (1.16)
@t2 @x @x 
gegeben. Aus der Massenschalenbedingung (1.11) ergibt sich somit die Klein-Gordon-
Gleichung
(@ @  + m2 )(x) = 0 (1.17)
als grundlegende Feldgleichung des kraftefreien skalaren Feldes. Die ebenen Wellen
(1.15) sind ein vollstandiger Satz von Basislosungen und (1.14) ist die durch Superpo-
sition aufgebaute allgemeine Losung.
Die Orthonormierungsrelation der ebenen Wellen (1.15) ist
(fq ; fq0 ) = 2 !q 3(q q0 ); (1.18)
wobei das Skalarprodukt (f; g) im relativistischen Fall de niert ist durch
Z @g ( x ) @f  (x)
3
(f; g) = i d x [f (x) 0 
@x @x0 g(x)]: (1.19)
Das Skalarprodukt (1.19) ist i:a. zeitabhangig, da nur uber d3x integriert wird.
Dem Feld  kann man wegen (1.17) eine Viererstromdichte
j (x) = f(r; t); j(r; t)g (1.20)
zuordnen, deren Komponenten de niert sind uber
j (x) = i[ (x)@  (x) @   (x)(x)] (1.21)
und die eine Kontinuitatsgleichung erfullt:
@ j  (x)  ( @
@t r  j) = i @ [ (x)@ (x) @  (x)(x)]
    (1.22)
= i[ (x)@ @  (x) @ @  (x)(x)] = i[m2 m2 ] (x)(x) = 0:
Die Dichte  (x)

(x) = i( (x) @t @ ( x) @ 
@t (x)) (1.23)
ist nicht positiv de nit und verschwindet sogar fur reelles (x) vollstandig. Das Feld (x)
ist daher nicht als Wahrscheinlichkeitsamplitude geeignet!
7
1.3 Quantisierung des Feldes
Die Quantisierung des Feldes (x) geht davon aus, da die Werte des Feldes  am Raum-
Zeit-Punkt x als Koordinaten wie die qi(t) (siehe x28.1) aufzufassen sind. Analog zur Ha-
miltonmechanik und Quantenmechanik de niert man zunachst kanonisch- konjugierte
Impulse
pi(t) = @@Lq_ (1.24)
i
(fur i = 1; ::::; 3N ); wozu allerdings die Kenntnis einer Lagrangefunktion
L = L(qi ; q_i; t) (1.25)
erforderlich ist, welche bei Anwendung des Hamilton'schen Prinzips gerade die Bewe-
gungsgleichungen des Systems liefert:
d ( @L ) = @L : (1.26)
dt @ q_i @qi
In der Quantenmechanik haben wir sodann die pi und qi als Operatoren in einem
Hilbertraum | dem Zustandsraum des Systems | aufgefat und die Vertauschungs-
relationen (VR) zu gleichen Zeiten t im Heisenbergbild postuliert:
[qi; pj ] = i ij (1.27)
fur alle t . Die Zeitentwicklung der pi und qi wird durch die Heisenberg'schen Gleichun-
gen (x21.2) bestimmt; alle ubrigen physikalischen Groen lassen sich aus den qi und pi
berechnen. Insbesondere hat der Hamiltonoperator
X
3N
H= q_ipi L(qi ; q_i; q0) (1.28)
i=1
i:a. die Bedeutung der Gesamtenergie des Systems.
Bei diesem als kanonische Quantisierung bezeichneten Proze war zu beachten, da die
Reihenfolge der nichtvertauschbaren quantenmechanischen Groen in der klassischen La-
grangefunktion nicht festgelegt war und eine 'hermitesche' Umordnung erforderte (x6.2).
Auch bei der Quantisierung von Feldern werden Umordnungen oder Symmetrisierungen
von Operatorprodukten erforderlich sein, um korrekte quantenmechanische Ausdrucke,
die einer Wahrscheinlichkeitsinterpretation genugen, herzustellen.
Zur Quantisierung des Klein-Gordon Feldes betrachten wir im folgenden stets ein kom-
plexes Feld mit  und  als unabhangigen Feldfunktionen. In Analogie zur klassischen
Lagrangefunktion eines kraftefreien Teilchensystems, L = T , konstruieren wir eine La-
grangefunktion des Systems Z
L = d3x L(r; t) (1.29)
mit einer Lagrangedichte L(x) so, da die Euler-Lagrange Bewegungsgleichungen
@  [ @ (@@L ) ] = @@L ; @  [ @ (@@L ) ] = @@L (1.30)

8
gerade die Klein-Gordon Gleichung (1.17) und deren Komplex-Konjugiertes ergeben. Fur
das Klein-Gordon Feld leistet dies die Lagrangedichte
L(x) = [@  (x)][@  (x)] m2  (x)(x); (1.31)
wie man leicht nachrechnet (U B). Kanonisch konjugierte Groen sind dann analog zu
(1.24)
(x) = @ (@@L0 ) = @0  = _  und (x) = @ (@@0L ) = @0  = _ : (1.32)
Wir fassen nun  und  als operatorwertige Raum-Zeit-Funktionen (Feldoperatoren)
auf, wobei  und  zu den hermitesch adjungierten Feldoperatoren werden, und fordern
analog zu (1.27) die kanonischen Vertauschungsrelationen zu gleichen Zeiten:
[(r; t); (r0; t)] = i 3 (r r0); [y(r; t); y(r0; t)] = i 3(r r0) (1.33)
oder
(r0 r00)[(r); (r0)] = i 4(r r0): (1.34)
Alle anderen Kommutatoren sollen identisch verschwinden. Der singulare Charakter dieser
VR zeigt, da damit den Feldoperatoren selbst ein singulares Raum-Zeit-Verhalten auf-
gepragt sein mu; sie sind i:a. operatorwertige Distributionen, und Produkte solcher
Operatoren mussen rechnerisch mit Vorsicht gehandhabt werden.
Die Aufgabe lautet nun, Operatorlosungen von der Klein-Gordon Gleichung (1.17) zu
nden, die zugleich den VR (1.33) genugen. In Analogie zu (1.28) ist nun
Z
H = d3r H(r; t) (1.35)
mit der Hamiltondichte
H(x) = (@ 0 ) + y(@ 0 y) L(x) (1.36)
oder
H = y + (ry)  (r) + m2 y (1.37)
der Hamiltonoperator des Feldsystems. Seine Bedeutung ergibt sich aus
Z Z
[(r; t); H (t)] = d3 r0 [(r; t); H(r0; t)] = d3r0 y(r0; t)[(r; t); (r0; t)] (1.38)
Z
=i d3r0 y(r0; t)3(r r0) = i y(r; t) = i @ 0 (r; t)
und der analogen Bewegungsgleichung
[(x); H (t)] = i @ 0 (x) ( i(r2 m2)y); (1.39)
die den Heisenberg'schen Gleichungen in der Quantenmechanik entsprechen. Damit gilt
auch fur jeden Operator F , der sich als Polynom in y, y,  und  schreiben lat,
i @ 0 F = [F; H ] (1.40)
9
und insbesondere @ 0 H = i[H; H ] = 0, d:h. die Zeitunabhangigkeit von H fur ein abge-
schlossenes System.
Analog gilt fur den vektoriellen Operator (mit kontravarianten Komponenten k = 1; 2; 3)
Z
Pk = d3r (y@ k y + @ k ) (1.41)
o enbar
[P(t); (r; t)] = ir(x); [P(t); (r; t)] = ir(x): (1.42)
Da weiterhin gilt
[H; P] = 0; (1.43)
kann man fur den Vierervektor-Operator
P = (H; P) mit (P 0 = P0 = H ); (1.44)
der mit dem Viererimpuls des Systems zu identi zieren sein wird, die Kommutatoren
angeben:
[P ; P  ] = 0 (;  = 0; 1; 2; 3); (1.45)
sowie
[F (x); P ] = i @  F (x): (1.46)
P  gibt also die raumzeitliche Veranderung aller aus den Feldoperatoren zusammenge-
setzten Groen an.

1.4 Teilcheninterpretation
Als Losung von (1.17) mu der Feldoperator analog zu (1.14) die Fourierdarstellung
Z d3 q
(x) = [a(q)fq (x) + by(q)fq(x)]; (1.47)
2!q
Z d3q
 (x) = 2! [ay(q)fq(x) + b(q)fq (x)]
y (1.48)
q
besitzen, wobei der Operatorcharakter durch die Koezienten a(q), b(q); reprasentiert
wird. Sie sind aus der Orthonormalitat (1.18) sofort zu berechnen:
Z
a(q) = i d3r [fq(x)@ 0 (x) @ 0 fq(x)(x)] = (fq ; ); (1.49)
Z
b(q) = i d3r [fq(x)@ 0 y(x) @ 0 fq(x)y(x)] = (fq ; y);
Z
by(q) = i d3r [fq (x)@ 0 (x) @ 0 fq (x)(x)] = (fq; );
Z
a y ( q) = i d3r [fq (x)@ 0 y(x) @ 0 fq (x)y(x)] = (fq; y):

10
Sie sind trotz der in diesen Gleichungen scheinbar verbleibenden x0- Abhangigkeit zeitu-
nabhangig. Ihre Vertauschungsrelationen erhalt man aus (1.49) und (1.33):
ZZ
[a(q); ay(q0 )] =d3x d3y [fq (x)@x0 (x) @x0 fq(x)(x); fq0 (y)@y0 y(y) @y0 fq0 (y)y(y)]y0=x0
ZZ (1.50)
= 3 3  _ x);  (y)]y0=x0 f_q (x)fq0 (y)[(x); _ (y)]y0=x0 + ::g
d x d y f fq (x)f_q0 (y)[( y  y
Z
= i d3x ffq(x)f_q0 (x) f_q(x)fq0 (x)g = (fq ; fq0 ) = 2!q 3(q q0)
nach De nition des Skalarprodukts (1.18). Die analoge Rechnung fur den Kommutator
[b; by] ergibt
[b(q); by (q0)] = 2 !q 3(q q0): (1.51)
Alle anderen Operatorenpaare vertauschen. Damit haben die a; ay und die b; by die Ver-
tauschungsrelationen je eines Satzes unabhangiger quantenmechanischer Oszillatoren, die
durch den kontinuierlichen Index q unterschieden werden.
Um den Hamiltonoperator zu berechnen, verwenden wir (1.47) und das daraus folgende
Z d3q
y = q b(q)fq (x) + i!q a (q)fq (x)];
(x) = @0 [ i! y  (1.52)
2!q
setzen die Ausdrucke in (1.35) ein und verwenden die Orthogonalitat der ebenen Wellen
bzgl. der rein raumlichen Integration,
Z Z
d3r fq0 (x)f (x) = 3(q
q q0 ); d3r fq0 (x)fq (x) = 3(q + q0);

sowie ! q = !q und erhalten:


Z Z d3q d3q0
H= 2!q 2!q0 f !q
2 [a(q)ay(q) + by(q)b(q)] 3 (q q0) (1.53)
+ !q2 [ a( q)b(q) by( q)ay(q)] 3 (q + q0)
+ !q2 [ay(q)a(q) + b(q)by (q)] 3 (q q0)
+ !q2 [b(q)a( q) + ay(q)by( q)] 3 (q + q0) g:
Nach Ausnutzen der VR verschwinden die 3(q + q0)-Terme und wir erhalten
Z 3
H = 2d!q [!q ay(q)a(q) + !q b(q)by (q)]: (1.54)
q
Erneute Anwendung der VR ergibt
[ay(q); H ] = !q ay(q); [a(q); H ] = !q a(q) (1.55)
11
und analoge Ausdrucke fur b; by.
Ist also jE > ein Eigenzustand von H zur Energie E , so folgt
H (ay(q)jE >) = ay(q)(H jE >) + [H; ay(q)]jE >= (E + !q )ay(q)jE >; (1.56)
d:h. ay(q)jE > ist ebenfalls Eigenzustand zu H mit der Energie (E + !q ). Analog zeigt
man
H (a(q)jE >) = (E !q )a(q)jE >; (1.57)
d:h. Anwendung von a(q) senkt den Energieeigenwert um !q herab. Entsprechendes gilt
auch fur die Operatoren b; by nach obiger Argumentation.

1.5 Normalordnung
Ein Grundpostulat der Quantenfeldtheorie ist die Existenz eines eindeutigen Zustands
tiefster Energie E0 (die dann zu Null verschoben wird), des Vakuumzustandes j0 >; fur
den die Normierung
< 0j0 >= 1 und H j0 >= 0 (1.58)
erfullt sein mu. Da die Energie des Vakuumzustandes nicht unterschritten werden kann,
mu gelten
a(q)j0 >= 0; b(q)j0 >= 0 8q: (1.59)
Mit der Form (1.53) von H ist allerdings die zweite Bedingung von (1.58) H j0 >= 0 nicht
erfullt; bei der Berechnung des Erwartungswertes
< 0jH j0 >= E0 ! 1 (1.60)
fuhrt sie sogar zu einem divergenten Integral, damit zu einem physikalisch sinnlosen (nicht
mebaren) Ergebnis. Um fur H alle physikalisch erforderlichen Eigenschaften zu erhalten,
mu die Reihenfolge der Operatoren im b-Term umgedreht werden (was an der klassischen
Hamiltondichte nicht erkennbar ist). Wir de nieren daher die Ordnung der Operatoren
in H wie folgt: Z d3q
H = 2! [!q ay(q)a(q) + !q by(q)b(q)]: (1.61)
q
Damit wird wegen (1.59) automatisch < 0jH j0 >= 0:
Die Vorschrift, die Operatoren a; ay; b; by fur kraftefreie Felder so umzuordnen, da die a-
und b-Operatoren mit der Eigenschaft (1.59) stets rechts von ay; by stehen, heit Normal-
ordnung der Operatoren und wird bezeichnet mit : ... :, d:h. fur das Klein-Gordon-Feld
ist die Hamiltondichte gegeben durch
H(x) =: y(x)(x) + (ry(x))  (r(x)) + m2y(x)(x) : : (1.62)
Die Zustande
jq; a >= ay(q)j0 >; jq; b >= by(q)j0 >; (1.63)
die als Folge der VR (1.50) orthonormiert sind zu
< q0; ijq; j >= ij 2!q 3(q0 q) i; j = a; b; (1.64)
12
haben mit dem normalgeordneten H (1.61) die Eigenschaften
H jq; i >= !q jq; i > i = a; b: (1.65)
Analog gilt fur den Operator P (1.41) nach Normalordnung
Z d3q
P = 2! [q ay(q)a(q) + q by(q)b(q)] (1.66)
q
und weiterhin (ebenso fur die b-Operatoren)
[ay(q); P] = q ay(q); [a(q); P] = q a(q); (1.67)
woraus folgt, da ay; by bzw. a; b den Impulseigenwert eines P-Eigenzustandes um q
erhohen bzw. erniedrigen. Analog zu (1.65) folgt weiter
Pjq; i >= qjq; i > i = a; b: (1.68)
Damit ist die Interpretation von ay; by bzw. a; b als Erzeugungs- bzw. Vernichtungs-
Operatoren von 'Feldquanten' mit Impuls q und Energie !q (sowie der Masse m)
gegeben.
Mehrteilchenzustande erhalten wir durch Nacheinanderanwendung mehrerer ay; by auf
den Vakuumzustand:
j >= N p 1 ay(p1 )::::ay(pm)by(q1 ):::::by(qn)j0 > (1.69)
m!n!
mit einem weiteren (noch unbestimmten) Normierungsfaktor N . Es gilt N = 1, falls alle
pi und alle qj gleich sind.
Nach (1.56) und (1.67) hat j > die Eigenschaften:
X
m X
n X
m X
n
H j >= ( !pi + !qj )j >; Pj >= ( pi + qj ) j > : (1.70)
i=1 j =1 i=1 j =1
Die im Hamiltonoperator (1.61) und im Impulsoperator (1.66) auftretenden Groen
Na (q) = 2!1 ay(q)a(q) und Nb(q) = 2!1 by(q)b(q) (1.71)
q q
haben die Bedeutung von Teilchenzahldichten der a- bzw. b-Teilchen im Impulsraum,
wie aus den Beziehungen fur den Zustand (1.69),
X
m X
n
Na (q)j >= [ 3(q pi )]j >; Nb(q)j >= [ 3 (q qj )]j >; (1.72)
i=1 j =1
hervorgeht. Die uber den Impulsraum integrierten Groen
Z Z
N^a = d3q Na (q) und N^b = d3q Nb(q) (1.73)

13
sind dementsprechend Teilchenzahloperatoren, deren ganzzahlige Eigenwerte die Zahl
der a- bzw. b-Teilchen im Zustand (1.69) angeben:
N^a j >= mj > und N^b j >= nj > : (1.74)
Mit (1.71) lat sich der Viererimpuls auch schreiben als
Z
P  = d3q q (Na (q) + Nb(q))q0=pq2 +m2 : (1.75)
Ist weiterhin j > ein allgemeiner, durch Superposition aus den Zustanden j > (1.69)
aufgebauter Zustand, so gibt das Skalarprodukt
< q; aj >=< 0ja(q)j > (1.76)
die Wahrscheinlichkeitsamplitude dafur an, in diesem Zustand genau ein Teilchen vom
a-Typ mit Impuls q zu nden; d:h. die Einteilchenwellenfunktion fur ein Teilchen
im Impulsraum. Die Fouriertransformierte
1 Z d3q
0
a (x) =
(2)3=2 2!q exp( i[!q x q  r]) < 0ja(q)j > (1.77)
(unter Beachtung von < 0jby  0) konnen wir dann als Einteilchenwellenfunktion (fur
a-Teilchen) im Ortsraum fur den Zustand j > bezeichnen.
Da je zwei ay- oder by-Operatoren kommutieren, hat (1.69) die wichtige Eigenschaft, un-
ter Vertauschung der Einteilchenimpulse pi; pj bzw. qi; qj symmetrisch zu sein, d:h. ein
System von Bose-Teilchen zu beschreiben. Mit (1.47), (1.75) und den Vertauschungsre-
lationen (1.50) ist die Struktur des freien, quantisierten Klein-Gordon-Feldes weit-
gehend aufgeklart. Zu untersuchen bleibt noch das

1.6 Transformationsverhalten des Feldes


Das spezielle Relativitatsprinzip fordert, da die Gleichungen der Theorie forminvariant
in allen Bezugssystemen sind, die auseinander durch Lorentztransformationen (mit einer
4  4 Matrix ) hervorgehen:
X
3
x0 =  x =  x : (1.78)
 =0
Unter Lorentztransformationen bleibt der metrische Tensor invariant, d:h:
g  = g ; (1.79)
wobei die  sowohl Lorentztransformationen im engeren Sinne (Boosts) als auch Raum-
drehungen, bei denen nur die raumlichen Komponenten xk (k = 1; 2; 3) untereinander
orthogonal transformiert werden, enthalten. Auerdem mussen die Gleichungen formin-
variant sein unter Raum-Zeit Verschiebungen
x ! x0 = x + a (1.80)
14
mit einem konstanten Vierervektor a . Die allgemeinen Transformationen
x ! x0 = x + a oder x0 =  x + a (1.81)
heien Poincare-Transformationen; sie bilden eine Gruppe, die Poincare-Gruppe.
Die einzelne Transformation ist charakterisiert durch den Verschiebungsvektor a (4 Para-
meter) sowie durch die 6 Parameter der allgemeinen Lorentztransformation , welche sich
stets zerlegen lat in eine Raumdrehung mit Drehvektor ~ (3 Parameter) und Lorentz-
Boosts im engeren Sinne mit Relativgeschwindigkeit v bzw. ~ = v=c (3 Parameter).
Wir untersuchen nun, wie der Feldoperator (x) sich unter Poincare- Transformationen
verhalt. Dazu betrachten wir zunachst
Raum-Zeit Verschiebungen
mit in nitesimal kleinem a  a . Durch Taylorentwicklung
(x0 ) = (x + a) = (x) + a (@  ) (1.82)
und Verwendung des Kommutators (1.46) ([F (x); P ] = i@  F (x)) erhalten wir
(x0 ) = (x) + i[a P ; (x)]: (1.83)
Die Operatoren P  sind also die erzeugenden Operatoren (Generatoren) in nitesi-
maler Verschiebungen in r und t. Gleichung (1.83) ist die in nitesimale Form der
(passiven) Transformation
(x + a) = exp(iGa )(x) exp( iGa ) mit Ga = a P  = Gya ; (1.84)
wie mit der allgemeinen Entwicklung
exp(iGa)  exp( iGa ) =  + i[G; ] + 2! i2 [G; [G; ]] (1.85)
i3 [G; [G; [G; ]]] + i4 [G; [G; [G; [G; ]]]] + :::
+ 3! 4!
leicht zu sehen ist. Die Kommutatoren hoherer Ordnung erzeugen nach (1.46) die hoheren
Ableitungen von  an der Stelle x und damit die Taylorreihe
 + a@   + 21 a a @  @   + ::: = (x + a): (1.86)
Allgemein gilt fur Operatoren F = F (; ) (U B):
F (x + a) = exp(ia  P ) F (x) exp( ia  P ); (1.87)
was gerade der Bewegungsgleichung fur Operatoren im Heisenberg-Bild entspricht. Ins-
besondere sind nach (1.45) die Energie-Impuls Operatoren Erhaltungsgroen der Theorie.
Allgemeine Lorentztransformationen: Wir betrachten zunachst wieder in nitesimale
Transformationen mit  = 1 + oder
 = g +  mit j j << 1: (1.88)
15
Die Bedingung (1.79) fur die Lorentzinvarianz der Metrik liefert dann
 +  = 0; (  = g  ); (1.89)
d:h.die Antisymmetrie der 4  4 Matrix  . Fur das Feld (x0 ) erhalten wir damit
(x0 ) = (x +  x ) = (x) + (  x )(@ (x)) +    (1.90)
= (x) + 21  (x @ x @ )(x) +   

wegen der Antisymmetrie in (1.89). Analog zu (1.82) konnen wir schlieen, da die endliche
Transformation
(x) = exp(iG) (x) exp( iG) (1.91)
mit G von der Form
G = 12  M (1.92)
und noch unbestimmten Operatoren M sein mu. Dabei bilden die M einen antisym-
metrischen Vierertensor,
M = M ; (1.93)
so da 6 unabhangige Operatoren dieser Art existieren. Auch ohne explizite Darstellung
wissen wir aus (1.90), da sie die Eigenschaft
[M ; (x)] = i(x @ x @ )(x)  L (x) (1.94)
besitzen, also als erzeugende Operatoren in nitesimaler Lorentztransformationen und
Drehungen zu betrachten sind. Die 6 Parameter in  charakterisieren dabei die Lorentz-
drehung . Wir fuhren ohne Beweis an, da fur eine Raumdrehung mit Drehvektor
~ = ( k ) die Matrix  gegeben ist durch
k0 = 0k = 0 (k = 1; 2; 3); (1.95)
kl = klm m bzw: m = 21 mkl kl (k; l = 1; 2; 3):
Andererseits ist fur einen reinen Lorentz-Boost mit Geschwindigkeit ~ :
kl = 0 (k; l) = (1; 2); (2; 3); (3; 1) (1.96)
k0 = bk (k = 1; 2; 3)
mit dem Vektor b in Richtung von ~ und dem Betrag
tanh b = oder cosh b = p 1 2 und sinh b = p 2 : (1.97)
1 1
Entsprechend lat sich (1.92) in der Form
1 klM + 1 ( k0M + 0l M ) (1.98)
kl k0 0l
2 2
16
durch zwei Dreiervektor-Operatoren J und K,
J m = 12 mpq Mpq (m = 1; 2; 3) (1.99)
und
K m = M m0 = M 0m (m = 1; 2; 3); (1.100)
schreiben als
G = mJm + bm Km = ~  J b  K: (1.101)
Der Operator J ist dann der erzeugende Operator in nitesimaler Drehungen und K der
erzeugende Operator von Lorentzboosts. Der unitare Operator G (1.92) wird damit zu
U () = exp(iG) = exp( i[ ~  J + b  K]): (1.102)

1.7 Spin des Klein-Gordon-Teilchens


Die in (1.94) fur k; l = 1; 2; 3 auftretenden Di erentialoperationen
Lkl = Lkl = i(xk @l xl @k ) (1.103)
haben die Form der bekannten Bahndrehimpulsoperatoren:
Lkl = klmLm ; Lm = i(r  r)m : (1.104)
In der Feldtheorie sind allerdings die J m als die eigentlichen Bahndrehimpulsoperato-
ren zu betrachten; Gleichung (1.103) gibt lediglich deren (in nitesimale) Wirkung auf
x-abhangige Operatoren an.
Gleichung (1.94) eignet sich jedoch dazu, den Spin der Klein-Gordon-Feldquanten zu
bestimmen. Dazu schreiben wir (1.90) fur eine in nitesimale Drehung ( ~  ~ )
(r + ~  r; t) = [1 i(~  L)](r; t) (1.105)
und berechnen damit das Drehverhalten der Einteilchen-Wellenfunktion (1.77) im Ruhe-
system des Feldes, d:h. in einem Bezugssystem mit
Pj >= 0: (1.106)
Im Ruhesystem gilt
< 0j(x)j >=< 0j exp(ixP )(0) exp( ixP )j >=< 0j(0) exp( ix0 P 0)j > (1.107)
unabhangig von r (P 0j0 >= 0). Andererseits gilt fur den um ~ gedrehten Zustand
U (~ )j >
< 0j(x)U (~ )j >=< 0jU (U 1 (x)U )j >=< U y0j i[G ; ]j > (1.108)
= (1 + i ~  L) < 0j(x)j >=< 0j(x)j >
17
wegen (1.107). Die Wellenfunktion bleibt also bei Drehungen im Ruhesystem unverandert.
Damit ist der Drehimpuls im Ruhesystem ('Spin') der Klein-Gordon-Teilchen gleich Null
('skalare' Teilchen). Diese Eigenschaft gilt ebenso fur die b-Teilchen, bei den nach (1.48)
< 0jy(x)j > als Wellenfunktion zu betrachten ist.
Bemerkung: Die Schreibweise der Gleichungen (1.84), (1.91) entspricht einer 'passi-
ven' Transformation, d:h. das gleiche Feld  wird in verschiedenen, auseinander durch
Transformationen hervorgehenden, Raum-Zeit-Punkten betrachtet. Bei 'aktiven' Trans-
formationen wird das Feld selbst als physikalisches System verschoben und damit zu einem
neuen Feld 0 . Die obigen Gleichungen bedeuten dann
0 (x0) = (x) mit x0 = x + a und 0 = exp(iG)  exp( iG): (1.109)
Die Forminvarianz der Klein-Gordon-Gleichung gegenuber Lorentztransformationen ist
dann direkt ablesbar; in (1.17) ist @ invariant gegen Verschiebungen und @ @  gegen
allgemeine Lorentztransformationen. Mit (1.109) gilt dann auch:
(@0 @ 0 + m2 )0 (x0) = 0 (1.110)
gema der zentralen Forderung der (speziellen) Relativitatstheorie.

1.8 Raumspiegelungen
Die Spiegelung der raumlichen Koordinaten
x = (t; r) ! x0 = (t; r) (1.111)
ist eine 'diskrete' oder uneigentliche Lorentztransformation, die sich in der Form
(1.78), aber mit
det() = 1 (1.112)
schreiben lat, wahrend fur die eigentlichen Lorentztransformationen det() = 1
gilt. Die Spiegelung (1.111) hat deshalb keine in nitesimale Form, d:h. sie lat sich
nicht kontinuierlich aus der Identitat  = 1 herausentwickeln.
Aus der Tatsache, da die Klein-Gordon-Gleichung (1.17) sowie die Vertauschungsrela-
tionen (1.33) | und damit die ganze Theorie | invariant unter raumlichen Spiegelungen
sind, durfen wir nur auf eine schwachere Form von (1.109) schlieen, namlich
0 (x0 ) =  (x) mit jj = 1 (1.113)
fur
x0 = (t; r) und 0 = exp(iGP )  exp( iGP ); (1.114)
denn 0 und  konnen sich nur durch eine unitare Transformation UP = exp(iGP ) un-
terscheiden mit noch unbestimmten hermiteschen Operator GP . Die Phase  bleibt un-
bestimmt, weil unter der Transformation (1.114)
0(x0 ) = @00 y0 (x0 ) = (x) (1.115)
18
wird, was in den VR (1.33) lediglich einen Faktor  = 1 ergibt; Faktoren mit jj 6= 1
sind daher mit den VR (1.33) unvertraglich. Ist  selbst Operator zu einer mebaren
Groe, also hermitesch, so mu
2 = 1 oder  = 1 (1.116)
sein, weil jede beobachtbare Groe nicht durch 2 aufeinanderfolgende Spiegelungen verandert
werden kann. Auch im allgemeinen Fall y 6=  lat sich zeigen (hier ohne Beweis), da
man mit den Werten  = 1 auskommt. Zur Unterscheidung der Felder nennt man einen
Feldoperator mit
0 ( r; t) = (r; t) Skalar; (1.117)
0 ( r; t) = (r; t) Pseudoskalar (1.118)
und  = 1 die innere Paritat des Feldes.
Um den Operator GP zu nden, welcher gerade
exp(iGP )(x) exp( iGP ) =  ( r; t) (1.119)
fur  = 1 bewirkt, kann man benutzen, da nach (1.49)
exp(iGP )a(q) exp( iGP ) =  a( q) (1.120)
sein mu (ebenso fur b(q)). Ein Operator, der dieses leistet, ist durch
 Z d3 q
^ ^
GP = 2 [ (Na + Nb) + 2! fay(q)a( q) + by(q)b( q)g] (1.121)
q
gegeben, d:h. GP mu fur skalare und pseudoskalare Felder verschieden de niert werden.
In beiden Fallen transformiert sich jedoch wegen (1.115) der Impulsoperator P (1.41)
gema
UP P UP 1 = P  = 1 und UP = exp(iGP ); (1.122)
d:h. als echter Dreiervektor, wahrend der Hamiltonoperator der freien Klein-Gordon-
Theorie (1.35) spiegelungsinvariant oder paritatserhaltend ist, d:h:
UP H UP 1 = H: (1.123)
Es ist zu bemerken, da fur wechselwirkende Theorien (1.122) stets gultig bleibt, wahrend
(1.123) z:B . bei der schwachen Wechselwirkung verletzt wird.
Die in der Natur vorkommenden und durch einkomponentige Felder zu beschreibenden
(langlebigen) Teilchen sind nahezu alle Pseudoskalare, d:h. die Mesonen (; K; ; 0, ...).
Die Identi kation skalarer Mesonen ist experimentell zwar eindeutig gegeben, jedoch
ist deren nahere Klassi kation noch umstritten (; f0 (980); a0(980); f0(1300); f0(1500):::).
Zudem zerfallen sie nach kurzer Zeit in pseudoskalare Mesonenpaare.

19
1.9 Zeitumkehr
Eine weitere uneigentliche Lorentztransformation mit det() = 1 ist die Zeitum-
kehr
x = (t; r) ! x0 = ( t; r): (1.124)
Da sie ebenfalls den Klein-Gordon-Operator (@ @  + m2 ) invariant lat, sollte sie auch eine
unitare Operatortransformation induzieren. Dabei gibt es zunachst ein kleines Problem,
da wegen
 = @0 y; @00 = @0 (1.125)
die kanonischen VR (1.33) nicht unitar invariant sind. Es ist allerdings zu beachten (lt.
Wigner), da die durch die Symmetrietransformation induzierten Operatoren nicht un-
bedingt das Skalarprodukt selbst erhalten, also unitar sein mussen, sondern lediglich die
Megroen, die Betragsquadraten von Skalarprodukten entsprechen, d:h:
j < 02j 01 > j2 = j < 1 j 2 > j2: (1.126)
Damit sind auer unitaren Operatoren U auch antiunitare Operatoren V zulassig mit
den Eigenschaften
V (c1j 1 > +c2j 2 >) = c1V j 1 > +c2V j 2 > (1.127)
(Antilinearitat) und
< V jV >=< j > (1.128)
(Normerhaltung). Solche Operatoren haben die Eigenschaft
< V 2 jV 1 >=< 2j 1 >=< 1j 2 > (1.129)
und erfullen damit die obige Forderung. Zum Beweis von (1.129) betrachtet man einmal
(1.128) mit j >= j 1 > +j 2 > und mit j >= j 1 > +ij 2 > und bildet die Summe
beider Ausdrucke. Wegen
V (i1)V 1 = i1 (1.130)
bleiben die VR (1.33) unter der Transformation (1.124) erhalten, wenn die Zeitumkehr
durch einen antiunitaren Operator dargestellt wird. Ein solcher Operator lat sich
stets schreiben als
V = UK (1.131)
mit unitarem U und
K 2 = 1; K y = K: (1.132)
Seine Wirkung auf einen beliebigen Operator A ist
K A K 1 = Ay: (1.133)
Mit diesem Operator der komplexen Konjugation schreiben wir fur den durch die
Transformation (1.124) induzierten Operator  :
 = UT K (1.134)
20
mit unitarem UT .
Wie bei der Paritatsoperation fordern wir
 (x) 1 = T ( t; r) mit jT j = 1; (1.135)
und beschranken uns auf die reellen Werte T = 1. Dann folgt wegen (1.133)
UT (x)UT 1 = y( t; r); (1.136)
fur die Vernichtungsoperatoren a(q)
UT a(q)UT 1 = ay( q) (1.137)
und ebenso fur b(q). Fur den Impuls P (1.41) folgt, wie erwartet,
 P  1 = P: (1.138)
Fur das freie Klein-Gordon-Feld gilt naturlich auch  H  1 = H , was die Zeitumkeh-
rinvarianz des Systems noch einmal zum Ausdruck bringt. Auch diese Invarianz wird bei
wechselwirkenden Feldern z:B . durch die schwache Wechselwirkung gebrochen.

1.10 Ladung und Ladungskonjugation


Um den Unterschied zwischen den a- und b-Teilchen herauszu nden, betrachten wir den
durch Quantisierung aus (1.21) entstehenden Stromoperator j , den wir analog zu (1.62)
gleich normalgeordnet schreiben:
j  = i : y@   @  y :; (1.139)
was die Gultigkeit der Kontinuitatsgleichung
@ j  = 0 (1.140)
nicht verletzt. Durch die Normalordnung erreicht man, da das Raumintegral der 'zeitli-
chen' Komponente, d:h. die dem Strom entsprechende 'Gesamtladung',
Z Z
Q = d r j (x) = i d3r [: y_ _ y :]
3 0 (1.141)
nach Umrechnung auf Erzeugungs- und Vernichtungsoperatoren die Gestalt
Z
Q = d3q [Na (q) Nb (q)] = N^a N^b = Qy (1.142)
annimmt und daher ebenso wie H in (1.58) im Vakuum den Eigenwert Null hat, d:h:
Qj0 >= 0: (1.143)
Aus (1.142) folgt erneut die zeitliche Konstanz von Q, d:h. der Charakter einer Erhal-
tungsgroe fur Q in der Form
[H; Q] = 0 (1.144)
21
sowie
[Q; ay(q)] = ay(q); [Q; by(q)] = by (q);
(1.145)
[Q; a(q)] = a(q); [Q; b(q)] = b(q):
Die Anwendung von ay(q) erhoht also die 'Gesamtladung' um eine Einheit, wahrend die
Anwendung von by(q) sie um eine Einheit verringert. Damit sind die Mehrteilchenzustande
(1.69) Eigenzustande von Q mit
Qj >= (m n)j > : (1.146)
Die Gleichungen (1.143) { (1.146) zeigen, da die Q-Eigenwerte dieselben Eigenschaften
haben wie die in Einheiten von e gemessene elektrische Ladung: sie sind ganzzahlig, additiv
und Null fur das Vakuum. Das freie Klein-Gordon-Feld besitzt daher eine ladungsartige
Quantenzahl. Sie kann die Bedeutung einer elektrischen Ladung haben, wie bei den -
Mesonen, wo + den a- und  den b-Teilchen entspricht, kann aber auch andere additiv-
ganzzahlige Quantenzahlen darstellen, wie bei den beiden elektrisch neutralen Mesonen
K 0, K 0 in der Familie der K -Mesonen, die sich durch die Werte der Hyperladung Y
(hier nicht naher de niert) unterscheiden.
Teilchen, die wie die a- und b-Teilchen des Klein-Gordon-Feldes das gleiche raum-zeitliche
Transformationsverhalten haben { insbesondere gleiche Ruhemasse und gleichen Spin {
aber entgegengesetzte Werte in einer oder mehreren ladungsartigen Quantenzahlen, heien
Antiteilchen zueinander. So ist  das Antiteilchen zu + und umgekehrt. Fur ein
hermitesches Feld
y(x) = (x) und somit ay(q) = by(q); (1.147)
sind a- und b-Teilchen identisch und es ist Q = 0 fur alle Zeiten t; d:h. das Feld ist
bezuglich der Q-Quantenzahl neutral. Beim Klein-Gordon-Feld der -Mesonen ist dieses
der Fall fur das 0-Meson. Solche Teilchen sind zugleich ihre eigenen Antiteilchen.
Bei komplexen bzw. nichthermiteschen Feldern beschreibt ein und derselbe Feldoperator
dagegen sowohl Teilchen als auch Antiteilchen.
Wir konnen nun rein formal wie in (1.84) vorgehen und den hermiteschen Operator Q als
Erzeugende einer unitaren Transformation
U = exp(i Q) (1.148)
mit einer reellen Konstanten au assen. Die Wirkung dieser Transformation ergibt sich
mit
[Q; (x)] = (x); [Q; y(x)] = y(x) (1.149)
zu
2 3
exp(i Q) (x) exp( i Q) = [1 + ( i ) + ( i ) + ( i ) + :::] (x)
2! 3!
= exp( i ) (x); (1.150)

22
d:h. die Transformation multipliziert (x) lediglich mit einer Phase. Wegen der 'Ladungs'-
Erhaltung (1.144) ist der Hamiltonoperator invariant unter dieser Transformation,
exp(i Q) H exp( i Q) = H: (1.151)
Damit ist H und zugleich auch die Lagrangefunktion L invariant unter der sogenannten
globalen abelschen Eichtransformation
(x) ! exp( i )(x); y(x) ! exp(i )y(x): (1.152)
Die Transformation ist 'global', da als reelle Konstante nicht von r; t abhangt; sie ist
'abelsch', weil die Transformation (1.150) eine abelsche Gruppe, hier die einparametri-
ge unitare Gruppe in einer Dimension U (1), bildet. Die Existenz einer erhaltenen
ladungsartigen Quantenzahl ist daher aquivalent zu einer globalen Eichsym-
metrie der Lagrangefunktion.
Der symmetrische Aufbau der Felder  und y in den a-, b-Operatoren legt es nahe, da
ein Austauschoperator der a- und b-Teilchen mit den Eigenschaften
C ay(q)C 1 = by(q); C by(q)C 1 = ay(q) (1.153)
und
C yC = CC y = 1 (1.154)
existiert. Fur das Klein-Gordon-Feld wurde aus (1.153) folgen
[C; H ] = 0; [C; P] = 0 (1.155)
sowie
C Q C 1 = Q; (1.156)
C (x)C 1 = y(x): (1.157)
Ein solcher Operator, der auch als Ladungskonjugation bezeichnet wird, lat sich in
der Tat konstruieren (mit Hilfe der Erzeugungs- und Vernichtungsoperatoren):
 Z d3q
^ ^
2!q fb (q)a(q) + a (q)b(q)g]: (1.158)
C = exp(iGc) mit Gc = 2 [Na + Nb y y

Die Beziehung (1.155) druckt die Ladungskonjugations-Invarianz der freien Klein-


Gordon-Theorie aus, die schon aus der Invarianz von (1.17) und (1.33) gegen Vertau-
schung von  und y ersichtlich war.

23
1.11 Die Schwingersche -Funktion
Die Frage nach der Fortsetzung der kanonischen VR (1.33) zu verschiedenen Zeiten lat
sich fur das freie Klein-Gordon-Feld vollstandig beantworten, da man mit (1.47) die
Losung der Bewegungsgleichungen kennt. Fur verschiedene Zeiten erhalten wir somit
Z Z d3q0 d3q
[(x); y(y)] = f f (x)f  (y) [a(q); ay(q0 )] + fq(x)fq0 (y) [by (q); b(q0)] g
2!q0 2!q q q0
+Terme mit verschwindenden Kommutatoren (1.159)
Z d3q
 
= 2!q [fq (x)fq (y) fq (x)fq (y)]
Z d3q 1
= 2!q (2)3 [exp( iq(x y)) exp(iq(x y))]q0=!q
= 1 Z d3 q [exp( i! (x0 y0)) exp(i! (x0 y0))] exp(iq  (x y))
q q
(2)3 2!q
= 1 Z d4 q [(q0 ! ) (q0 + ! )] exp( iq(x y))
q q
(2)3 2!q
= 1 Z d4q (q2 m2 ) [(q0) ( q0 )] exp( iq(x y))
(2)3
mit der in (1.12) verwendeten -Funktions-Relation. (x) ist die Stufenfunktion; an ihrer
Stelle verwendet man zweckmaigerweise
0
(q) = (q0) ( q0) = jqq0j (1.160)
und bezeichnet
i Z
(x; m) = (2)3 d4q (q)(q2 m2 ) exp( iq  x) (1.161)
als Schwingersche -Funktion.
Die hier auftretende Kombination (q)(q2 m2 ) ist im Gegensatz zu (q) invariant gegen
eigentliche Lorentz-Transformationen (00 > 0, det() = 1), denn die -Funktion
beschrankt den Vierervektor q auf eine zeitartige
p (q2 > 0) Hyper ache im Minkowski-
Raum, deren zwei Teil achen mit q0 =  q2 + m2 ganz innerhalb des 'Vorwartslicht-
kegels' bzw. 'Ruckwartslichtkegels' (von q = 0 aus) liegen. Bei eigentlichen Lorentz-
Transformationen wird jeder dieser beiden Kegel nur in sich selbst transformiert, d:h.
das Vorzeichen von q0 bleibt unverandert. Damit ist  eine lorentzinvariante Funktion,
denn bei einer Transformation (1.78) mit det() = 1 wird
Z
(x0 ) = (x) = (2i )3 d4q (q)(q2 m2) exp( i( 1 q)  x) (1.162)

24
Z 0 3
= (2)3 d q (q ) ((q ) m ) exp( iq  x) @@((qq00 ::q
i 4 0 0 0 2 2 0 ::q )
03 )
mit q0 =  1q. Die Funktionaldeterminante ist aber  1, und wegen der Invarianz des
-Faktors folgt
(x) = (x) falls det() = 1: (1.163)
Dagegen ist fur die diskrete Transformation x ! x wegen ( q) = (q)
( x) = (x): (1.164)
Fur raumartige x (d:h. (x0 )2 < x2 oder x2 < 0) haben (1.163,1.164) zusammen die
Konsequenz, da  verschwindet, denn ein raumartiges x lat sich durch eine
eigentliche Lorentz-Transformation in x uberfuhren. Nach (1.163) gilt dann
( x) = (x) und mit (1.164) folgt zugleich
(x) = 0 falls x2 < 0: (1.165)
Bemerkung: (x) ist auch eine Losung der Klein-Gordon-Gleichung
(@ @  m2 )(x; m) = 0 (1.166)
mit den singularen Anfangsbedingungen (U B)
(x; m)x0 =0 = 0; (@0 (x; m))x0 =0 = 3 (x): (1.167)
Der allgemeine Kommutator fur das freie Klein-Gordon-Feld wird damit zu
[(x); y(y)] = i (x y; m): (1.168)
Durch Di erentiation nach y0, U bergang zu y0 = x0 und Anwendung von (1.167) erhalt
man die ursprunglichen VR (1.33) zu gleichen Zeiten zuruck.
Durch Wigner-Transformation des Kommutators (1.168) erhalten wir als Spektralfunk-
tion fur freie Klein-Gordon Teilchen
A(p; m) = 1 Z d4(x y) exp(ip(x y)) [(x); y (y)] = (p) (p2 m2): (1.169)
2 2
Bemerkenswert an der VR (1.168) ist, da nach (1.165) der Kommutator verschwindet
bei raumartigen Abstanden der Ereignisse x und y (t2 < r2), d:h:
[(x); y (y)] = 0 falls (x y)2 < 0: (1.170)
Diese als Mikrokausalitat bezeichnete Eigenschaft ist insofern plausibel, weil raumartige
Abstande nicht durch ein Lichtsignal uberbruckt werden konnen. Messungen an raumar-
tig zueinander gelegenen Weltpunkten konnen sich daher gegenseitig nicht beein ussen.
Dies bedeutet nach den Prinzipien der Quantentheorie, da der Kommutator zweier
Megroen fur raumartige Abstande verschwinden mu. Zwar sind  und y
keine Megroen, aber Strom, Ladung, Energie- und Impulsdichte sind bilinear aus den
25
, y aufgebaut. Um den Kommutator zweier solcher Bilinearformen zum Verschwinden
zu bringen, kann man auf einfache Art den Kommutator (oder Antikommutator) von ,
y selbst zu Null setzen und daruberhinaus wie ublich
[(x); (y)] = 0 8x; y (falls  6= y): (1.171)
Die Mikrokausalitat ist eine so grundlegende Eigenschaft, da sie bei wechselwirken-
den Feldern, wo eine explizite Losung wie (1.168) im allgemeinen nicht moglich ist, als
Grundpostulat der Feldtheorie eingefuhrt wird.

1.12 Der Feynman'sche Propagator


Eine weitere fur das Klein-Gordon-Feld charakteristische (singulare) Funktion ergibt sich,
wenn wir nach Losungen der inhomogenen Feldgleichung
(@ @  + m2)(x) = (x) (1.172)
suchen, die bei wechselwirkenden Feldern auftritt, mit einer zunachst beliebigen komple-
xen Funktion (x). Eine spezielle Losung lat sich sofort angeben, wenn eine Green'sche
Funktion G(x; x0) existiert mit
(@ @  + m2 )G(x; x0 ) = 4(x x0 ); (1.173)
namlich Z
(x) = d4y G(x; y)(y): (1.174)
Wie ublich ndet man G(x; y) durch Fourier-Transformation:
1 ZZ
G(x; y) = (2)4 d4p d4q exp( ip  x) exp(iq  y)G(p; q): (1.175)

Die Gleichung (1.173) liefert


 4 (p q )
G(q; p) = p2 + m2 ; (1.176)
d:h. G hangt nur von x y ab,
Z
G(x y) = (21)4 d4 p exp(m2ip(xp2 y)) : (1.177)
Wie bei der Green'schen Funktion der Schrodingergleichung erfordert die allgemeine Form
(1.177) noch eine Vorschrift zur Behandlung der Singularitat des Integranden 'auf der
Massenschale' p2 = m2 , d:h. bei
q
p0 =  m2 + p2 = !p: (1.178)
Je nach Wahl dieser Vorschriften erhalt man wieder Green'sche Funktionen zu verschiede-
nen Randbedingungen. Die praktisch bedeutendste, der kausale Feynman- Propagator
26
F , entsteht durch die Vorschrift, den Integrationsweg in der komplexen p0-Ebene gema
der folgenden Abbildung um die beiden Pole herumzufuhren.

Im{p0}

-wp

wp
Re{p0}

Diese Vorschrift ist aquivalent zur Einfuhrung eines in nitesimalen, negativen Imaginarteils,
m ! m i=2 oder m2 ! m2 i (fur  << 1), d:h:
!p ! !p i; !p ! !p + i (1.179)
im Limes  ! 0. Die resultierende Integraldarstellung
Z ip  (x y))
F (x y) = G(x y)m2!m2 i = (21 )4 d4p exp( p2 m2 + i (1.180)
hat die Symmetrie
F ( x) = F (x) (1.181)
und erfullt nach (1.173)
(@ @  + m2 )F (x x0 ) = 4 (x x0): (1.182)
Sie lat sich nach dem Residuensatz auswerten und ergibt
F (x) = +(x) falls x0 > 0 F (x) =  (x) falls x0 < 0 (1.183)
mit
(x) = i Z d4 q [(q )] (q2 m2 ) exp( iq  x): (1.184)
(2)3 0
Der Propagator F (x y) enthalt also fur x0 > y0 nur positive, fur x0 < y0 nur negative
Frequenzanteile.
Wir zeigen nun, da der als Einteilchenpropagator oder als Zweipunktfunktion des
freien Klein-Gordon-Feldes bezeichnete Vakuumerwartungswert
G0 (x; y) = i < 0jT [(x)y(y)]j0 > (1.185)
27
gerade durch F gegeben ist. Hier bezeichnet T das zeitgeordnete Operatorprodukt,
d:h. die Vorschrift, alle Operatoren von rechts nach links in der Reihenfolge wachsender
Zeitargumente anzuordnen,
T [A1 (x1 )::::An(xn)] = Ain (xin )::::Ai1 (xi1 ) mit tin > :::: > ti1 : (1.186)
Speziell ist
T [(x)y (y)] = (x0 y0)(x)y (y) +  (y0 x0 )y(y)(x) (1.187)
mit  = 1 fur Bosonen. Nun ist nach (1.47) und (1.59)
< 0j(x)y(y)j0 >= i +(x y) < 0j0 > und < 0jy(y)(x)j0 >= i  (x y) < 0j0 > :
(1.188)
Zusammen ergibt sich damit nach (1.183) und (1.187):
G0 (x; y) = i[(x0 y0)i+ (x y) + (y0 x0 )( i (x y))] = F (x y): (1.189)
Die Zweipunktfunktion (1.185) ist damit zugleich lorentzinvariant. Ihre Fouriertransfor-
mierte ist aufgrund der Translationsinvarianz des Vakuumzustandes j0 > durch die ein-
fache Form,
Z Z
G0 (q) = d4x G0 (x; 0) exp(iq  x) = d4x F (x) exp(iq  x) = q2 m12 + i ; (1.190)
gegeben und hat einen (in q2 einfachen) Pol auf der Massenschale.

28
Kapitel 2
Dirac Gleichung und Dirac Algebra
2.1 Heuristische Einfuhrung
Dirac fand die nach ihm benannte Wellengleichung bei dem Versuch, eine relativisti-
sche Gleichung fur freie Teilchen aufzustellen, die wie die Schrodingergleichung von 1.
Ordnung in @=@t  @=@x0 sein und deshalb eine Kontinuitatsgleichung mit der positiv-
de niten Dichte  zulassen sollte. Die relativistische Kovarianz erfordert dann, da
eine solche Gleichung dann auch in den Raumableitungen @=@xk (k = 1; 2; 3) von 1.
Ordnung sein mu (im Gegensatz zur Schrodingergleichung), d:h. die allgemeine Form
H (x)  ( i k @x@ k + M ) (x) = i @t @ (x) (2.1)
mit einer Ruhemasse M und
Hy = H (2.2)
haben mu. Wenn diese Gleichung freie Teilchen beschreiben soll, d:h. Losungen vom Typ
der ebenen Welle mit der richtigen (relativistischen) Frequenz-Wellenzahl-Relation fur die
Ruhemasse M;
q
(x) = (0) exp(ip  x) mit p0 = Ep  p2 + M 2 ; (2.3)
haben soll, so mu { bzw. jede Komponente j { auch Losung der Klein-Gordon-
Gleichung sein:
( r2 + M 2 ) (x) = @t @ 2 (x): (2.4)
2
Der Vergleich mit der quadrierten (und in k; l symmetrisierten) Form von (2.1)
2 @ 2 (x) (2.5)
[ 21 ( k l + l k ) @x@k @xl i M ( k + k ) @x@ k + M 2 2] (x) = @t2
erfordert, da die noch unbekannten Koezienten k (k = 1; 2; 3) und die Eigenschaften
k l + l k = 2 kl; k + k = 0; 2 = 1 (k; l = 1; 2; 3) (2.6)

29
haben mussen. Die Bedingungen (2.6) konnen nur fur matrix-wertige Koezienten erfullt
sein. Wegen (2.2) mussen diese Matrizen hermitesch sein:
( k )y = k ; y = : (2.7)
Die Eigenwerte sind damit reell und konnen nach (2.6) nur 1 sein. Wegen k = k
mu zudem infolge der zyklischen Invarianz der Spur
Tr k = Tr k = Tr 2 k = Tr k = 0 (2.8)
sowie
Tr = Tr k k = Tr k k = Tr = 0 (2.9)
verschwinden; die Dimension der Matrizen mu also gerade sein. In 2 Dimensionen gibt
es jedoch nur 3 linear unabhangige antikommutierende Matrizen, z:B . die Pauli'schen
Spinmatrizen
! ! !
1 0
 = 1 0 ; 1 2
 = i 0 ; 0 i 3 1 0
 = 0 1 ; (2.10)
oder unitar transformierte Matrizen von (2.10). Daher sind die k ; mindestens 4  4
Matrizen. In der Pauli-Dirac'schen Standarddarstellung (mit 2  2 Untermatrizen)
sind sie gegeben durch
02  k ! 1 2 0 2
!
0 0
!
1 0
!
k
= k 0 ; = 0 1 ; 02 = 0 0 ; 12 = 0 1 ; (2.11)
2 2 2
allerdings sind alle unitaren Transformationen von (2.11) ebenfalls verwendbar. Darstel-
lungen in hoherer Dimension als 4  4 erweisen sich (bis auf unitare A quivalenz) als triviale
Erweiterung und haben daher keine praktische Bedeutung.
Die Wellenfunktion (x) in (2.3) mu folglich 4 Komponenten
(x)  ( (x)); = 1; ::; 4 (2.12)
haben; das Adjungierte ist dann
y(x) = (  (x)  (x)  (x)  (x)) (2.13)
1 2 3 4
und erfullt die Gleichung
y y
i @@xk k + M y = i @@t : (2.14)
Multiplikation von (2.1) mit y von links sowie von (2.14) mit von rechts und Subtrak-
tion liefert die Kontinuitatsgleichung
@ ( y ) + @ ( y k ) = 0 (2.15)
k
@t
mit der positiv de niten Dichte
X
(x) = y = j (x)j2: (2.16)

30
2.2 -Matrizen und Dirac-Algebra
Fur die Diskussion des Transformationsverhaltens geeigneter ist eine Form der Dirac-
Gleichung, die durch Einfuhrung der Matrizen
k = k = k und 0 = (2.17)
entsteht, d:h:
( i  @ + M ) (x) = 0; i@ (x)  + (x)M = 0; (2.18)
mit dem Pauli-adjungierten Spinor
(x) = y(x) 0  ( 1 (x); 2 (x); 
3 (x);

4 (x)): (2.19)
Fur die -Matrizen nimmt (2.6) dann die kompaktere Form
f  ;  g = 2 g  14 (;  = 0; 1; 2; 3) (2.20)
an, und (2.7) liefert die Pseudo-Hermitezitat
(  )y = 0  0 ; (2.21)
wie man anhand der Standarddarstellung
!
k = 0 k k = 1; 2; 3 (2.22)
k 0
leicht uberpruft (U B). In der Standarddarstellung sind 1, 3 rein reell, 2 rein imaginar.
Die Kontinuitatsgleichung (2.15) geht nun uber zu (U B)
@ j  = 0 mit j (x) = (x)  (x) (2.23)
und beinhaltet das Verschwinden der Viererdivergenz des Viererstromes j (x). Aus
den 4 -Matrizen lat sich durch Multiplikation ein vollstandiges System von 4  4 Ma-
trizen aufbauen. Da die allgemeine 4  4 Matrix 16 Elemente hat, bilden genau 16 linear
unabhangige 4  4 Matrizen eine vollstandige Basis. Zweckmaigerweise wahlt man

14 : 4  4 Einheitsmatrix (2.24)
 ( = 0; 1; 2; 3) : 4 Matrizen
 = 2i [  ;  ] : 6 Matrizen (antisymmetrisch)
 5 ( = 0; ::; 3) : 4 Matrizen
5 : 1 Matrix

31
wobei 5 die 'Chiralitats'-Matrix ist mit
00 0 1 01
B 0 0 0 1 CC
5 = 5 = i 0 1 2 3 = B
B@ 1 0 0 0 CA : (2.25)
0 1 0 0
Diese Matrix kann auch geschrieben werden als
5 = 4!i      (2.26)
mit
8
>
< 1 falls (; ; ; ) eine gerade Permutation von (0; 1; 2; 3) ist
>
 = > 1 falls (; ; ; ) eine ungerade Permutation von (0; 1; 2; 3) ist
>
: 0 sonst;
dem 'vollstandig antisymmetrischen Einheitstensor 4. Stufe'. Wie man leicht nach-
rechnet, hat 5 die Eigenschaften
( 5)2 = 14; ( 5)y = 5; f  ; 5g = 0  = 0; ::; 3: (2.27)
Die von 0 verschiedenen Elemente von  sind die von raumlichen nichtdiagonalen Kom-
ponenten (;  ) = (k; l) mit k 6= l und (;  ) = (0; k). Sie lassen sich zu
m = 21 mkl kl = 2i mkl k l (m = 1; :; 3) (2.28)
und
0k = i 0 k = i k (k = 1; :; 3) (2.29)
zusammenfassen, wobei
mkl = mkl0 (2.30)
der -Tensor in 3 Dimensionen ist. m hat die Eigenschaften eines Satzes von Spin-
Matrizen, d:h:
X3 1
1
[ 2  ; 2  ] = i  ( 2  ) und ( 2 m )2 = 12 ( 21 + 1)  14;
m 1 n mnp 1 p (2.31)
m=1
wie man leicht anhand der Standard-Darstellung
 m 0 !
m = 0 m (m = 1; 2; 3) (2.32)
zeigt, wobei m wieder die Pauli'schen Spinmatrizen darstellen. In dieser Darstellung ist
weiterhin
 k 0 ! 0 2 1 2
!
k 5 = 0 0 5
k und = 12 02 : (2.33)

32
Die Hermitezitatseigenschaften sind gegeben durch (2.21), (2.27) und
( )y = 0 0; (  5 )y = 0 (  5 ) 0: (2.34)
Die 16 Matrizen
1 = 14 ; 2 = 0 ; :::; 16 = 5 (2.35)
bilden nun ein (bis auf 1 ) spurfreies und bzgl. des Skalarproduktes
( A; B ) = 14 Tr( yA B ) (2.36)
orthonormiertes System,
1 Tr =  ; 1 Tr( y ) =  (A; B = 1; ::; 16): (2.37)
A A;1 A B A;B
4 4
Sie sind also insbesondere linear unabhangig. Damit ist jede 4  4 Matrix M als Line-
arkombination im System (2.35) darstellbar:
X
16
M= CAM A mit CAM = 14 Tr( yAM ): (2.38)
A=1
Produkte zweier (oder mehrerer) -Matrizen lassen sich wiederum linear durch -Matrizen
darstellen. Die daraus folgende 'Multiplikationstafel' ist durch folgende Gleichungen
gegeben:
  = g  14 i  (2.39)
  = i (g  g    (  5))
 (  5) = g 5 21   
(  5 )  = i [g (  5) g (  5 )]   
  = (g g g g)  14 i  5
i [g  + g  g  g  ]
 5 = 2i  (= 5  )
(  5) (  5) = g  14 + i
5 (  5 ) =  :
Das Matrixsystem (2.35) mit dem Multiplikationsgesetz (2.39) heit Dirac- Cli ord-
Algebra.
Eine Anwendung von (2.39) sind die bei der Auswertung von Spinorsummationen in U ber-
gangswahrscheinlichkeiten hau g benotigten Spurtheoreme fur Spuren von Produkten
33
von -Matrizen, von denen (2.37) die einfachsten Beispiele darstellen. Weitere Beispiele
sind:
1 Tr(   ) = g (2.40)
4
1 Tr( 1 2 ::: n ) = 0 n ungerade
4
1 Tr(     ) = g g + g g gg
4
1 Tr(   5) = 0
4
1 Tr(     5) = i  :
4
Sie werden oft durch Kontraktion mit beliebigen Vierervektoren a , b ... und mit der
abgekurzten Schreibweise
a  = a= (2.41)
umgeschrieben als
Tr(a= =b ) = 4 a  b; (2.42)
u:s:w. In diesen Zusammenhang gehoren auch -Identitaten wie
 a=  = 2a= (2.43)
 a= =b  = 4 a  b  14
 a= =b =c  = 2 =c =b a= :

2.3 Transformationsverhalten der Dirac-Spinoren


Bei allgemeinen homogenen Lorentztransformationen
x ! x0 =  x mit   = g ; (2.44)
(Spiegelungen noch eingeschlossen) mu die Dirac-Gleichung nach dem (speziellen) Rela-
tivitatsprinzip forminvariant sein, d:h. ubergehen in
( i  @0 + M  14 ) 0(x0 ) = 0: (2.45)
Fur 0(x0) konnen wir { vergl. Vektorfelder bei Drehungen im R3 { nicht wie beim ein-
komponentigen (skalaren) Feld die Gleichheit mit (x) erwarten, sondern mussen eine
lineare Vermischung der Komponenten
0 (x0 ) = S () (x) oder 0 (x0) = S () (x) (2.46)

34
mit einer von  abhangigen 4  4 Matrix S () zulassen. Die Bedingungsgleichungen fur
S erhalten wir durch Einsetzen von (2.46) in (2.45); Multiplikation von links mit S 1
gibt dann h i
f i S () 1  S () @ + M  14g (x) = 0: (2.47)
Der Vergleich mit der ursprunglichen Dirac-Gleichung zeigt, da Ausdruck [:::]   sein
mu, d:h:
S () 1 S () =   : (2.48)
Wir werten diesen Ausdruck zunachst aus fur eigentlich-orthochrone-Transformationen
mit det() = +1 und 00  1 mit dem Ansatz
S () = expf 4i   g  14 ; (2.49)
wobei  =  die nach (1.95)-(1.97) zu  gehorende Parametermatrix ist. Fur
zunachst in nitesimale Transformationen  = 1 + (j j << 1) wird
S () = 14 4i   ; (2.50)
und fur die Matrizen  ergibt sich nach (2.48) die Bedingung
[ ; ] = 2i(g  g  ): (2.51)
Mit der Multiplikationstabelle (2.39), insbesondere fur den Kommutator [ ;  ], ergibt
sich die (bis auf additive Vielfache von g  14, die in (2.49) keinen Beitrag geben) ein-
deutige Losung
 =  = 2i [    ]: (2.52)
Eine vierkomponentige Feldfunktion (x), die sich bei homogenen Lorentz- Transforma-
tionen nach dem Gesetz (2.46) mit
S () = exp( 4i   )  14 ;  =  () (2.53)
transformiert, heit Dirac-Spinor. Die 4  4 Matrizen S () zu allen Lorentz- Transfor-
mationen  sind ein multiplikationstreues Abbild der 0s selbst, d:h. in dem Sinne, da
bei Nacheinanderausfuhrung zweier Lorentz-Transformationen 1, 2 gilt:
S (21) = S (2)S (1) (Gruppenhomomorphismus) (2.54)
Sie bilden die Spinordarstellung der homogenen Lorentzgruppe. Sie ist i:a. nicht
unitar; vielmehr gilt nach (2.34), da die Parameter-Matrix  reell ist (und antisymme-
trisch),
S y = 0S 1 0: (2.55)
Wir betrachten nun (2.53) speziell fur reine Drehungen und Lorentzboosts, wo nach (1.95)-
(1.96), (2.28) und (2.29) gilt
8
i  = < i~'  ( 21 )) bei Drehung mit Drehvektor '~ ;
4  : b  21 ~ bei Boosts mit Geschwindigkeit v(b)  b=jbj:
35
Die Entwicklung der Exponentialfunktion in (2.53) und Anwendung der in (2.39) enthal-
tenen Matrixidentitaten
(a  )(b  ) = (a  b)14 + i(a  b)  ; (2.56)
(a  ~ )(b  ~ ) = (a  )(b  )
fur beliebige komplexe Vektoren a; b gibt fur reine Drehungen die unitare Transforma-
tion (mit ~e' = '~ =j'~ j)
S (') = exp( 2i '~  ) = cos( '2 )  14 i sin( '2 )(~e'  ) (2.57)

= cos( ' )  14 + ( i sin('=2) mkl 'm ) kl ;


2 4 ('=2)
die in der Standarddarstellung (2.31) einfach eine reduzible Verdoppelung der Trans-
formationsmatrix fur zweikomponentige Pauli-Spinoren ist. Wie die letztere hat sie bei
' = j'~ j = 2 die fur Spinortransformationen charakteristische Eigenschaft
S (2 ) = 14 : (2.58)
Fur reine boosts ergibt sich dagegen das im Sinne (2.55) nichtunitare
S (b) = exp( 12 b  ~ ) = cosh( 2b ) + (sinh( 2b )) bjb j ~ (2.59)

= [cosh( b ) 0 b sinh( b ) k ] 0;
k
2 jbj 2
oder mit dem Vierer-Einheitsvektor
n = (cosh( 2b ); jbbj sinh( 2b )) mit n n = 1; (2.60)

S (b) = n  0 oder S 1 (b) = 0n  :


Schlielich betrachten wir die Transformation (2.46) fur Raumspiegelungen, wobei (wie
beim Klein-Gordon-Feld) die Phase  = 1 zugelassen werden mu. Die Bedingung (2.48)
liefert hier
Sp 1  Sp = 0 falls  = 0 (2.61)
Sp 1 Sp = m falls  = m = 1; 2; 3;
was durch
Sp = 0 = Spy = Sp 1 (2.62)
erfullt wird. Also lautet (2.46) hier
0 (t; x) =  0 (t; x) mit  = 1: (2.63)
36
Die Dirac-Gleichung ist unter der so bestimmten Paritatstransformation forminvariant.
Fur die Matrix 5 bedeutet (2.61) wegen (2.27)
Sp 1 5 Sp = 5 ; (2.64)
wahrend fur die in  enthaltenen Matrizen aus (2.34), (2.28) und (2.29) folgt:
Sp 1 Sp = ; Sp 1 ~ Sp = ~ : (2.65)
Fur eigentlich orthochrone Transformationen und Paritatstransformation gemeinsam gilt
(2.55); damit folgt aus ! S fur den Pauli-adjungierten Spinor
 = y 0 !  yS y 0 =  S 1: (2.66)
Folglich ist ein Ausdruck der Form 1 2 mit beliebigen Dirac-Spinoren immer ein Lorentz-
Skalar:
1 2 ! ( 1S 1)(S 2 ) = 1 2 ; (2.67)
wahrend 1 (x) 5 2 (x) bei eigentlichen Lorentztransformationen wegen (2.39) ebenfalls
invariant ist, bei Spiegelungen jedoch nach (2.64) sein Vorzeichen umkehrt, also ein Pseu-
doskalar ist,
1 5 2 !  1S 1 5S 2 = det() 1 2 : (2.68)
Untersucht man auch die ubrigen Matrizen der Basis (2.24) und wendet (2.48) an, so
ndet man funf unterschiedliche 'bilineare Kovarianten' mit dem jeweiligen Transfor-
mationsverhalten:
1 (x) 2(x) : Skalar (2.69)
1 (x)  2(x) : Vierervektor
1 (x)  2(x) : Tensor 2: Stufe
1 (x)  5 2(x) : Vierer Pseudovektor
1 (x) 5 2(x) : Pseudoskalar:

Insbesondere ist der Strom (2.23) ein Vierervektor.

2.4 Losungen der freien Dirac-Gleichung


Wir haben bereits gesehen, da die Dirac-Gleichung Losungen in Form von ebenen Wellen
besitzt (2.3). Um die dort noch o engebliebenen Spinoren (0) (bzw. eine zweckmaige
Basis dafur) zu nden, betrachten wir Losungen zu positiver und negativer Energie ge-
trennt:
+ (x) = u(p) expf i(Et p  x)g; (x) = v(p) expf+i(Et p  x)g (2.70)

37
Nach Einsetzen in Gleichung (2.1) erhalten wir
(p  ~ + M )u(p) = Epu(p); ( p  ~ + M )v(p) = Ep v(p); (2.71)
bzw. in -Notation:
( p  + M  14)u(p) = (p  + M  14)v(p) = 0: (2.72)
Um die Spinoren u und v zu bestimmen, betrachten wir zunachst den Fall p = 0 (d.h.
wir bestimmen den Spinor im Ruhesystem des Dirac-Teilchens). Dort wird (2.72) zu
0u(0) = u(0); 0v(0) = v(0): (2.73)
Wir konnen nun fur u(0) bzw. v(0) irgend zwei { zweckmaigerweise orthonormierte {
Eigenspinoren zu 0 zum Eigenwert +1 bzw. -1 wahlen, die wir mit ur (0), vr (0), r = ,
bezeichnen. Wegen Tr( 0) = 0 tritt jeder der beiden Eigenwerte zweimal auf. Da die
Matrizen (2.28) mit 0 kommutieren, konnen ur (0) und vr (0) insbesondere als gleichzeitige
Eigenspinoren von   a zu den Eigenwerten 1 gewahlt werden, wobei a ein beliebiger
Einheitsvektor ist, denn nach (2.56) gilt
(  a)2 = (a  a)  14 = 14: (2.74)
Man wahlt meist a = (0; 0; 1) und hat dann
3 us(0) = s us(0); 3 vs(0) = s vs(0): (2.75)
Die so bestimmten 4 Basisspinoren normiert man gema
ur (0)us(0) = rs; vr (0)vs(0) = rs: (2.76)
Naturlich ist dann auch
ur (0)vs(0) = vr (0)us(0) = 0; (2.77)
weil u und v zu verschiedenen Eigenwerten von 0 gehoren. Ihre Vollstandigkeit lat sich
dann schreiben als X
[us(0)us(0) vs(0)vs(0)] = 14 (2.78)
s=
und die Bilinearentwicklung von 0 nach seinen Eigenspinoren als
X
[us(0)us(0) + vs(0)vs(0)] = 0: (2.79)
s=
Daraus folgt, da die Matrizen
X X
us(0)us(0) = 12 (14 + 0 )  +(0); vs(0)vs(0) = 12 (14 0 )   (0); (2.80)
s s
mit
r (0)s(0) = rsr (0) r; s =  (2.81)
38
die Eigenschaften von Projektionsoperatoren auf die Losungen zu p = 0 und positiver
bzw. negativer Ruheenergie M besitzen.
In der Standarddarstellung sind alle diese Beziehungen nahezu unmittelbar klar; hier ist
(in Zweierblocken)
! ! ! !

ur (0) = 0 ;r vr = 0 mit + = 10 ;  = 01 (2.82)
r
und (als 4  4 Matrix)
01 0 0 01 00 0 0 01
B 0 1 0 0 CC B C
B@ 0 0 0 0 CA ;  = BB@ 00 00 10 00 CCA :
+ = B (2.83)
0 0 0 0 0 0 0 1
Um zum Impuls p 6= 0 uberzugehen, braucht man nun lediglich eine Lorentztransformati-
on auszufuhren, d:h. die zum Lorentzboost gehorende Transformation (2.60) anzuwenden
q
 : (M; 0; 0; 0) ! ( p2 + M 2 ; p): (2.84)
Die zugehorige Geschwindigkeit ist gegeben durch
v = Ep : (2.85)
p
Nach (2.59) erhalt man daher fur die Parameter von (2.60) mit pe = p=jpj und cosh(b) =
Ep=M ,
s
b
cosh( 2 ) = 12 (cosh(b) + 1) = Np (Ep + M ); (2.86)
s
b
sinh( ) = 1 (cosh(b) 1) = Np jpj;
2 2
mit
Np = q 1 : (2.87)
2M (Ep + M )
Die gesuchte Matrix ist also nach (2.59), (2.60)
Sp = Np (M  14 + p  0)p0=Ep : (2.88)
Damit ergeben sich die Spinoren fur ein Dirac-Teilchen mit Impuls p zu
ur (p) = Np (M  14 + p ) ur (0); vr (p) = Np (M  14 p ) vr (0); (2.89)
welche Gleichung (2.72) losen wegen
(M + p  )(M p ) = M 2 p p 21 f ;  g = 0: (2.90)

39
Da die linken Seiten von (2.76) Lorentz-Invarianten sind, folgt sofort die Normierung
ur (p)us(p) = vr (p)vs(p) = rs; ur (p)vs(p) = vr (p)us(p) = 0: (2.91)
Um die allgemeinen Projektoren auf die Losungsraume zu positiver und negativer Energie
beim Impuls p zu berechnen,
X X
+(p) = Sp+(0)Sp 1 = us(p)us(p);  (p) = Sp (0)Sp 1 = vs(p)vs(p)
s s
(2.92)
benutzen wir
Sp 0 Sp 1 = Np2 (M  14 + p  0) 0 (M  14 + 0p ) (2.93)
h i
= Np2 M 2 0 + 2 Mp  + p  p (2g0  0)
h i
= Np2 2Mp  + 2 p  p0 + (M 2 p  p  ) 0
= M1 p 

und erhalten
1 (M  1  p  ) 0 :
(p) = 2M (2.94)
4  p =Ep
Die Vollstandigkeit (2.78) wird dann zu
X
[us(p)us(p) vs(p)vs(p)] = 14: (2.95)
s
Bemerkung: Die Spin-Eigenwertgleichung (2.75) gilt nicht fur endliche p, da 3 nicht
mit Sp vertauscht.
In der Standarddarstellung sind die 4 Basisspinoren gegeben durch
! !
us(p) = q 1 (Ep + M )s ; v (p) = q 1 (~  p)s (2.96)
2M (Ep + M ) (~  p)s
s
2M (Ep + M ) (Ep + M )s
oder explizit
0 E +M 1 0 0 1
1 BB p 0 CC BB Ep + M CC
u+(p) = q B 3 CA ; u (p) = q 1 B 1 2 CA ; (2.97)
2M (Ep + M ) @ 1 p 2 2M (Ep + M ) @ p 3ip
p + ip p
0 p3 1 0 p1 ip2 1
1 BB p1 + ip2 CC BB p3 CC
v+(p) = q B CA ; v (p) = q 1 B C : (2.98)
2M (Ep + M ) @ Ep + M 2M (Ep + M ) @ 0 A
0 Ep + M

40
Wie man leicht nachrechnet, ergeben z.B. die Matrixelemente mit den u- und v-Spinoren
p 
us(p) us(p) = M = vs(p) vs(p);
 (2.99)
so da die Matrixelemente der Dirac-Gleichung (2.72) (nach Multiplikation mit M )
M us(p) ( p  + M  14) us(p) = p p + M 2 = 0 (2.100)
gerade die freie Dispersionsrelation p20 = p2 + M 2 liefert.
In der Darstellung (1.105) werden im nichtrelativistischen Grenzfall jpj << M die beiden
unteren Komponenten von us um einen Faktor jpj=(2M ) kleiner als die oberen Kompo-
nenten, wahrend bei vs die Verhaltnisse umgekehrt liegen.
Die Beziehung von us und vs lat sich mit (2.25) darstellen als
5us(p) = vs(p); 5vs(p) = us(p); (2.101)
die Chiralitatsmatrix 5 vertauscht also u- und v-Spinoren.
Erganzend sei noch die explizite Form des Lorentzboosts fur die Transformation (2.84)
aufgefuhrt (mit der Abkurzung NE = M (Ep + M )):
0 E =M p =M p2 =M p3 =M 1
p 1
B 1 1 1 p1 p3=NE CC
B@ pp2 =M
 (p) = B 1 p p1=NE p p2 =NE
=M p p1=NE 1 p p2 =NE p2 p3=NE
2 2 CA : (2.102)
p3 =NE p3 p1=NE p3 p2 =NE 1 p3 p3=NE

41
Kapitel 3
Das Dirac-Feld
3.1 Quantisierung mit Antikommutatoren
Um zu einer Quantentheorie fur das klassische Dirac-Feld uberzugehen, konstruieren wir
(wie im Falle des skalaren Feldes ) zunachst eine Lagrangedichte L = L( ; ; @ ; @ ),
die bei Anwendung des Hamiltonschen Prinzips die Dirac-Gleichung (2.18) ergibt. Dies
leistet:
L(x) = (i @ M ) (x): (3.1)
Der nachste Schritt besteht darin, kanonisch konjugierte Felder zu und  zu bilden:
(x) = @ (@@L0 ) = i (x) 0 = i y;  (x) = @ (@@L0 ) = 0: (3.2)

Wir erhalten hier kein zweites kanonisch-konjugiertes Feld, da  im wesentlichen selbst


schon das kanonisch-konjugierte Feld zu ist. Fur  und waren nun nach dem kano-
nischen Schema die VR (1.33) zu fordern, womit L und die daraus folgende Hamilton-
funktion Z
H = d3x H(x) (3.3)
mit
H(x) = (x)@ 0 (x) L(x) = (x)( i k  rk + M ) (x) = y(x)( i k  rk + M ) (x)
(3.4)
Operatorcharakter erhalten. Das gleiche gilt dann auch fur den Impuls des Dirac-Feldes
Z Z
P k = d3x [(x)@ k (x)] = d3x [ y(x) 1i @x@ k (x)]: (3.5)
Die Forderung kanonischer VR fuhrt allerdings zu charakteristischen Schwierigkeiten. Die-
ses wird deutlich in der zu (1.47) analogen Fourierzerlegung nach ebenen (Spinor)- Wellen,
in denen die Koezienten cr , dr .. den Charakter von Operatoren haben:
Z X
(x) = d3p EM [cr (p)ur (p)fp(x) + dyr (p)vr (p)fp (x)]; (3.6)
p r

42
Z
(x) = d3p M X [cyr (p)ur (p)fp (x) + dr (p)vr (p)fp(x)]:
Ep r
In (3.6) haben wir das invariante Volumenelement bei Dirac-Feldern konventionsbedingt
als d3 p M=Ep und nicht als d3p=(2Ep) gewahlt. Mit Hilfe der ebenen Wellen (1.15) und
der Orthonormierung der u und v Spinoren,
ur (p)us(p) = vr (p)vs(p) = rs; (3.7)
lassen sich die Entwicklungen umkehren,
Z
cr (p) = (2) 3=2 d3x exp(ip  x)ur (p) 0 (x); (3.8)
Z
dr (p) = (2) 3=2 d3x exp(ip  x) (x) 0 vr (p)
mit r =  unter Berucksichtigung von (3.10). Die Umrechnung des Hamiltonoperators
auf die Operatoren c, d ergibt:
1 XZ 3 0 M Z 3 M Z 3
H = (2)3 dpE0 dpE dx (3.9)
r;s p p
 f cyr (p0)cs(p) exp[+i(p0 p)  x] uyr (p0) ( k  pk + M ) us(p)
+ dr (p0 )cs(p) exp[ i(p0 + p)  x] vry(p0 ) ( k  pk + M ) us(p)
+ cyr (p0)dys(p) exp[+i(p0 + p)  x] uyr (p0) ( k  pk + M ) vs(p)
+ dr (p0 )dys(p) exp[ i(p0 p)  x] vry(p0 ) ( k  pk + M ) vs(p) gp0=Ep;p00=Ep0 :
Mit Hilfe der Dirac-Gleichung fur die Spinoren (2.71) und der daraus folgenden Beziehung
uyr (p)us(p) = vry(p)vs(p) = EMp rs; uyr (p)vs(p) = vry(p)us(p) = 0 (3.10)
vereinfacht sich H nach Integration uber d3 x und Bildung der Spur uber Dirac-Indizes zu
XZ 3 M
H= d p E [Epcyr (p)cr (p) Epdr (p)dyr (p)]: (3.11)
r p
Im Gegensatz zum Klein-Gordon-Feld (1.53) ist die Energie | wegen des Minus-Zeichens
im dr dyr Term | nicht nach unten beschr P ankt. Selbst nach Normalordnung, d:h.
y
Umkehrung der Operatoren-Reihenfolge in r dr dr , ist das Grundpostulat eines Zustandes
niedrigster Energie nicht erfullt!
Dieses Problem ist nur durch A nderung der Quantisierungsvorschrift selbst zu beheben:
man mu fordern, da die Umkehr der Reihenfolge in einem Operatorprodukt zugleich
das Vorzeichen andert, d:h. da die Operatoren den Antikommutator-Relationen statt
den Kommutator-Relationen (1.33) genugen. Statt (1.33) ist daher zu fordern
fcr (p); cys(p0 )g = fdr (p); dys(p0)g = EMp rs 3(p p0 ); (3.12)

43
fcr (p); cs(p0)g = fdr (p); ds(p0)g = fcr (p); dys(p0)g = fdyr (p); cys(p0 )g = 0:
Dann wird in (3.11) dr dyr = dyr dr Ep=M (0). Die unendliche Konstante (0) d3p Ep
R
wird 'renormiert', d:h. in die Energie des Vakuumzustandes einbezogen, von dem aus alle
anderen Energien gemessen werden.
Formal ist dieses Verfahren gleichwertig mit einer Neude nition der Normalordnung
fur Produkte von Dirac-Operatoren durch Einbeziehung eines Faktors ( )p, wobei p
die Zahl der Vertauschungen von Dirac-Operatoren ist, die zur Herstellung der Normal-
ordnung erforderlich sind. Ein einfaches Beispiel ist:
: xr (p)ysy(p0 ) := ysy(p0 )xr (p) (3.13)
fur x; y  c oder d .
Die so normalgeordnete Hamiltondichte
H(x) =: y(x)( i~  r~ + M ) (x) : (3.14)
und der normalgeordnete Impulsoperator (3.5)
Z
P = d3x : y(x)( 1i r~ ) (x) : (3.15)
sowie die zum Viererstrom gehorende Gesamt-'Ladung'
Z
Q = d3x j 0(x) mit j 0 (x) =: y(x) (x) : (3.16)
ergeben dann mit den Entwicklungen (3.6) die zum Klein-Gordon-Feld analogen Aus-
drucke (P 0 = H ) :
XZ 3 
P = d p p [Nc;r (p) + Nd;r (p)] (p0 = Ep); (3.17)
r
XZ 3
Q = d p [Nc;r (p) Nd;r (p)];
r
mit den Operatoren
Nc;r (p) = cyr (p)cr (p) EM ; Nd;r (p) = dyr (p)dr (p) EM : (3.18)
p p
Aus ihnen folgen uber die 'Step-up' und 'Step-down' Relationen
[P ; cyr (p)] = p cyr (p); [P ; dyr (p)] = pdyr (p); (p0 = Ep) (3.19)
[Q; cyr (p)] = +cyr (p); [Q; dyr (p)] = dyr (p)
sofort die Interpretation der cyr (p) als Erzeugungsoperatoren fur Dirac-Feldquanten
oder Dirac-Teilchen mit Impuls p, Energie Ep und Spinindex r. Die dyr (p) sind dann die

44
Erzeugungsoperatoren der zugehorigen Antiteilchen und die Groen (3.18) sind Teil-
chenzahldichten im Impulsraum fur Spinstellung r.
Die uber den Impulsraum integrierten Groen
Z Z
N^c;r = d3p Nc;r (p) und N^d;r = d3 p Nd;r (p) (3.20)
sind folglich Teilchenzahloperatoren fur Dirac-Teilchen und deren Antiteilchen. Die
Zustande
jc; p; s >= cys(p)j0 >; jd; p; s >= dys(p)j0 > (3.21)
schlielich sind Einteilchenzustande fur Teilchen bzw. Antiteilchen, wobei j0 > wieder
der durch
cs(p)j0 >= ds(p)j0 >= 0 8(p; s) (3.22)
mit
< 0j0 >= 1 (3.23)
und
p j0 >= 0 und Qj0 >= 0 (3.24)
charakterisierte Vakuumzustand ist.
Bei Mehrteilchenzustanden vom Typ
j m;n > dysn (qn ):::dys1 (q1) cyrm (pm ):::cyr1 (p1 )j0 > (3.25)
ist zu beachten, da die Antikommutator-Algebra (3.12) beinhaltet
cyr1 (p1 )cyr2 (p2 ) = cyr2 (p2 )cyr1 (p1 ) (3.26)
sowie
cyr (p)dys(q) = dys(q)cyr (p); (3.27)
d:h. die Zustande (3.25) sind antisymmetrisch bei Vertauschung zweier beliebiger Quan-
tenzahlen fur Teilchen oder Antiteilchen. Das kraftefreie Dirac-Feld beschreibt also ein
System unabhangiger Fermionen und Antifermionen.
Schlielich zeigt man analog zu (1.76), da
c;p;s(x) =< 0j (x)jp; s; c >= us(p)fp(x); (3.28)
d;p;s(x) =< 0j (x)jp; s; d >= vs(p)fp(x) (3.29)
wieder die (spinorielle) Einteilchenwellenfunktion fur ein c-Teilchen bzw. die Pauli-adjungierte
Einteilchenwellenfunktion fur ein d-Teilchen darstellen.

45
3.2 Antikommutatoren fur Feldoperatoren
Fur gleiche Zeiten ergibt die Anwendung der VR (3.12) fur das dyadische Produkt der
Feldoperatoren (x) (y) + (y) (x):
f (x); (y)gy0=x0 = 03 (y x); (3.30)
und
f (x); (y)gy0=x0 = 0: (3.31)
Fur ungleiche Zeiten ergibt (3.12) mit (3.6)
ZZ X
f (x); (y)g = (2) 3 d3p d3p0 EM EM0 (3.32)
p p r;s
h
 fcr (p); cys(p0 )g ur (p)us(p0) exp( i[p  x p0  y])
i
+ fdyr (p); ds(p0)g vr (p)vs(p0) exp(i[p  x p0  y]) p0=Ep
+Terme mit verschwindenden Antikommutatoren
Z "X
= (2) 3 3
dpEM ur (p)ur (p) exp( ip  (x y))
p r
X #
( vr (p)vr (p)) exp(ip  (x y)) :
r p0 =Ep

Nach (2.92), (2.94) gilt dann


Z 3
f (x); (y)g = (2) 3 2dEp [(M  14 + p ) exp( ip  (x y) (3.33)
p
(M  14 p  ) exp(ip  (x y))]p0=Ep
Z 3
= (M  14 + i  @ ) (2) 3 2dEp [exp( ip  (x y) exp(ip  (x y))]p0=Ep
p
= (M  14 + i @ ) [i (x y; M )]


mit der Schwinger'schen -Funktion von (1.159) und (1.161). Mit der Bezeichnung
S (x; M ) = (M  14 + i  @ ) (x; M ) (3.34)
erhalten wir also die auf beliebige Zeiten fur freie Dirac-Teilchen verallgemeinerte Antikom-
mutator-Relationen
f (x); (y)g = iS (x y; M ); f (x); (y)g = 0: (3.35)
Mit (x; M ) ist auch die Matrixfunktion S (x; M )  0 fur raumartige Argumente,
f (x); (y)g = 0 falls (x y)2 < 0: (3.36)
46
Dieses Verhalten sichert ebenso wie (1.170) beim Klein-Gordon-Feld das Verschwinden der
Kommutatoren von mebaren Groen bei raumartigen Abstanden, weil Megroen
stets bilinear in , sind.
Nach der allgemeinen Operatoridentitat (U B)
[AB; CD] = AfB; C gD C fD; AgB fA; C gBD + CAfB; Dg (3.37)
ist also fur zwei Megroen
M1;2 = (x) A1 ;A2 (x) (3.38)
der Kommutator fur verschiedene Weltpunkte durch
X4 X 4
[M1 (x); M2 (y)] = ( A1 ) ( A2 ) (3.39)
; =1 ;=1
h i
  (x)f (x); (y)g (x)  (y)f (y);  (x)g (x)
+ verschwindende f::g
= i [ (x) A1 S (x y ; M ) A2 (y ) (y) A2 S (y x; M ) A1 (x)]
gegeben, also Null fur (x y)2 < 0. Damit ist die Mikrokausalitat auch fur das Dirac-
Feld gewahrleistet.

3.3 Die Greensche Funktion des freien Dirac-Feldes


Die Zweipunktfunktion des freien Dirac-Feldes ist analog zu (1.185) durch
G0(x; y) = i < 0jT [ (x) (y)]j0 > (3.40)
de niert, aber jetzt eine 4  4 Matrix. Die Zeitordnungsvorschrift (1.186) erganzt man
dabei fur Dirac- und andere Fermionfelder durch einen Vorfaktor ( )p, wobei p die Anzahl
der Vertauschungen von Fermion-Operatoren ist, um ein beliebiges Produkt von Feldope-
ratoren in die zeitgeordnete Reihenfolge zu bringen, z:B:
T [ (x) (y)] = (x0 y0) (x) (y) (y0 x0 ) (y) (x): (3.41)
Man zeigt durch eine zu (1.189) und (3.35) analoge Rechnung (U B)
h i
G0(x; y) = i (x0 y0)( i S (+) (x y; M )) (y0 x0 )( i S ( ) (x y; M ) (3.42)
h i
= (M  14 + i @ ) (x0 y0)(+) (x y) (y0 x0 )( ) (y x)
= (M  14 + i @ )F (x y)
= SF (x y; M ):

47
In (3.42) sind dabei S (+), S ( ) die allein mit den positiven bzw. negativen Frequenzanteilen
berechneten Teilstucke von S (x y; M ), d:h.
S ()(x; M ) = (M  14 + i  @ ) () (x; M ) (3.43)
Z
= i(2) 3 d3p EM [ (p) exp(  ip  x)]p0 =Ep
p
Z
= i(2) 3 d4p (p2 M 2 ) [(p0 ) (M  14 +  p )] exp( ip  x)
mit
S (+) (x; M ) + S ( )(x; M ) = S (x; M ): (3.44)
In (3.43) wurden die Projektionsmatrizen  von (2.92) verwendet. Der in (3.42) de nierte
kausale (Feynman'sche) Propagator fur Dirac-Felder,
SF (x; M ) = (M  14 + i  @ )F (x; M ) (3.45)
hat nach (1.180) die Fourierdarstellung
Z
SF (x; M ) = (2) d4p SF (p; M ) exp( ip  x)
4 (3.46)
mit
SF (p; M ) = M  14 + p  : (3.47)
p2 M 2 + i
Alternativ kann man auch (fur i ! 0+) schreiben
SF ( p ) = p  1 M  1 (3.48)
 4
unter Benutzung von
(M  14 + p  ) (M  14 p ) = M 2 p2 : (3.49)
Infolge von (1.182) und
( i  @ + M  14) (i  @ + M  14) = (@ @  + M 2 )  14 (3.50)
ist SF (x) die Greensche Funktion des Dirac-Problems in dem Sinne, da
( i  @ + M  14)SF (x x0 ; M ) = 4 (x x0 )  14: (3.51)

3.4 Transformationseigenschaften
Bei raum-zeitlichen Translationen werden die 4 Komponenten des Spinorfeldes nicht ver-
mischt, so da hier weitgehend analoge Gleichungen zum Klein-Gordon-Feld gelten. So
zeigt man mit Hilfe von (3.30) fur den Vierer-Impulsoperator (3.14,3.15) (U B)
[P ; (x)] = i @  (x) (3.52)
48
und damit (wie beim skalaren Feld )
U 1 (a) (x + a)U (a) = (x) (3.53)
fur x ! x0 = x + a mit dem unitaren Operator
U (a) = exp(ia P ) = (U 1 (a))y: (3.54)
Die Gleichungen (3.52) stellen wiederum die Bewegungsgleichungen im Heisenberg-Bild
dar.
Bei homogenen Lorentztransformationen x ! x nach (1.78) ist das Verhalten
komplizierter. Das klassische Dirac-Feld transformiert sich hier gema (2.46) mit der Spi-
nordarstellung S () der Lorentzgruppe
S () = exp( 4i   ): (3.55)
Wir erwarten nach dem Ehrenfest'schen Theorem, da in der quantisierten Theorie das-
selbe Verhalten fur Erwartungswerte in Feldzustanden j >;
< j (x)j > (3.56)
gilt, d:h:
< 0j (x)j0 >=< jU y() (x)U ()j >= S () < j (x)j > mit j0 >= U ()j >
(3.57)
mit dem durch  induzierten Operator U (). Wegen der Beliebigkeit von j > mu dann
gelten
U y() (x)U () = S () (x) oder U () (x)U y () = S 1() (x): (3.58)
Da U () als Symmetrieoperation wieder ein unitarer Operator sein mu, schreiben wir
U () = exp( 2i  M  );  = ( ) (3.59)
mit der antisymmetrischen Parametermatrix (1.95,1.96) von . Wir betrachten zunachst
wieder in nitesimale Transformationen, wo nach (3.55) gilt:
S 1()  14 + 4i   : (3.60)
Wir erhalten dann aus (3.58)
(x) + 2i  [M  ; (x)] = (14 + 4i   ) (x +  x ) (3.61)

= (14 + 4i   )(14 +  x @ ) (x)

= (14 + 4i   )[14 + 2i  ( 1i x @  1i x @  )] (x);

49
also
[M  ; (x)] = [ 21  + 1i ( x @  + x @  )] (x): (3.62)
Dieses unterscheidet sich von (1.94) fur das Klein-Gordon-Feld durch den nicht auf x,
sondern auf den Spinorindex von wirkenden Zusatzterm 1=2  . Seine Natur wird
klar beim Spezialfall der Drehungen, wo sich  auf die kl von (1.95) reduziert. Bei
Drehungen treten die Matrizen
1 kl = klm( 1  ) (3.63)
2 2 m
auf, die die Eigenschaften von Drehimpulskomponenten zum Betragsquadrat 1=2(1+1=2)
haben (2.31). Betrachtet man wieder die Einteilchenwellenfunktion (3.28) im Ruhesystem
mit p = 0, wo sie von x unabhangig wird, so erhalt man bei einer Drehung  = R = R(')
< 0j (x)U (R('))jp = 0; s; c >= exp( 2i '~  ) < 0j (x)jp = 0; s; c > (3.64)
und sieht, da der Spin (d:h. der Drehimpuls im Ruhesystem) der Dirac-Teilchen 1=2
ist.

3.5 Diskrete Transformationen


Die folgenden Transformationen, die nicht aus der 14 kontinuierlich entwickelbar sind,
lassen die Spinor-Feldgleichungen
( i  @ + M  14) (x) = 0; i@ (x)  + (x)M  14 = 0 (3.65)
und die Antikommutatorrelationen (3.35) forminvariant.
i) Paritatstransformation Up
Wir erschlieen ihre Form aus Gleichung (2.63) wiederum uber die Betrachtung von Er-
wartungswerten (3.56). Analog zu (3.58) ergibt sich
Up (x)Up 1 = p 0 (t; x); (3.66)
Up (x)Up 1 = p (t; x) 0
mit jpj = 1. Anwendung auf die Entwicklungen (3.6) und der Koezientenvergleich unter
Verwendung von
0us(p) = us( p); 0vs(p) = vs( p) (3.67)
liefert dann fur die Teilchenoperatoren
Upcys(p)Up 1 = pcys( p); (3.68)
Updys(p)Up 1 = pdys( p):
Mit der ublichen Wahl p = 1 haben folglich (fur Fermionen) Teilchen und Anti-
teilchen entgegengesetzte innere Paritat. Man ordnet in der Praxis einem hau g
50
auftretenden Dirac-Teilchen, dem Proton, den Wert p = +1 (aus Konvention) zu und
bestimmt dann die (hierzu relative) Paritat anderer Fermionen (sowie dynamisch koppeln-
der Bosonen) aus der Paritatsbilanz bei paritatserhaltenden (z:B . elektromagnetischen)
Prozessen. Man ndet dann, da das Elektron e , Muon  , Neutron und alle anderen
Baryonen ebenfalls p = +1 haben, wahrend e+, + sowie alle Antibaryonen p = 1
haben.
Konventionsunabhangig gilt jedoch, da die innere Paritat eines Teilchen-Antiteilchen-
Systems stets -1 ist (z:B . Quark-Antiquark gebundene oder resonante Zustande), denn
fur einen Zustand vom Typ
XZ 3
j >= d p ss0 (p)cys( p)dys0 (p)j0 > (3.69)
ss0
mit gerader 'Bahnparitat', d:h:
ss0 ( p) = ss0 (p); (3.70)
gilt nach (3.68) fur jede Wahl der Phase p
Upj >= j > : (3.71)
Wegen
jpj2( 0)2 = 14; jpj2 0 5 0 = 5 (3.72)
ergibt sich weiter wie in (2.69), da fur zwei beliebige Dirac-Feldoperatoren 1(x), 2 (x)
wiederum
1 (x) 2(x) : Lorentz Skalar; 1(x) 5 2 (x) : Pseudoskalar (3.73)
ist u:s:w:
Die explizite Form von Up ergibt sich ahnlich wie in (1.121), jedoch wegen (3.69) mit
einem Minuszeichen fur den dyd-Term:
X Z !

Up = exp i 2 [ pN^ + 3 M
d p E fcs(p)cs( p) ds(p)ds( p)g] :
y y (3.74)
s p

ii) Zeitumkehrtransformation 
Diese Transformation ist wieder antiunitar, also von der Form
 = UT K (3.75)
mit unitarem UT , wobei K der Operator der Komplexkonjugation ist wie in (1.133). Die
Wirkung dieser Transformation (bis auf eine Phase T , die wir zu T = 1 wahlen) ist
1 X
4
 ( x )  = T ( t; x) (3.76)
=1

51
fur = 1; ::; 4; mit einer 44 Matrix T , die aus Grunden der Unitaritat und Forminvarianz
der Dirac-Gleichung
T 1 = T y; T T 1 = ( ) (3.77)
erfullen mu. Die explizite Realisierung von T hangt von der Darstellung ab; in der Stan-
darddarstellung hat sie die Form
!
T = i 1 3 = 2 = 2 0 (= T ); (3.78)
0 2
und es gilt
T us(p) = u s( p); T vs(p) = v s( p): (3.79)
Aus (3.76) folgt fur cys, dys das Transformationsverhalten
 cys(p) 1 = cy s ( p); (3.80)
 dys(p) 1 = dy s( p): (3.81)
Die explizite Realisierung von UT in (3.75) ist durch
 ^ ^ XZ 3 M y
UT = expf i 2 [T (Nc Nd ) + d p E (cs(p)c s( p) dys(p)d s( p))]g (3.82)
s p
gegeben (mit T = 1):
iii) Ladungskonjugation Uc
Dieser unitare Operator, unter dem der Strom (3.91) das Vorzeichen andert, wirkt wie
folgt:
Uc (x)Uc 1 = cC T (x); Uc (x)Uc 1 = c T (x)C 1; (3.83)
mit jcj = 1 und einer 4  4 Matrix C mit den Eigenschaften
C 1 = C y; C C 1 = (  )T ; (3.84)
wobei T hier die 'Transposition' bedeutet. In der Standarddarstellung ist C gegeben
durch
2 !
0 
C = i 2 0 = i~ 2 = i 2 0 (= C 1 = C y = C T = C  ): (3.85)

Aus der Wirkung von C 0 = i 2 auf die Basisspinoren,


(C 0 )us (p) = vs(p); (C 0)vs(p) = us(p); (3.86)
folgt die Wirkung von Uc auf Teilchenoperatoren:
Uccys(p)Uc 1 = cdys(p); Ucdys(p)Uc 1 = ccys(p): (3.87)
Damit hat insbesondere { unabhangig von der Konvention fur c { ein Teilchen-Antiteilchen-
System die Ladungskonjugations-Paritat -1, (weil c und d jeweils antikommutieren),
52
wenn seine Orts-Spin-Wellenfunktion  in (3.69) gerade ist unter Vertauschung aller Quan-
tenzahlen der beiden Teilchen, d:h:
s0s( p) = ss0 (p): (3.88)
Bemerkenswert ist weiterhin, da wegen
X
Uc [ (x)  (x)] Uc 1 = (x) (  )T  (x) (3.89)
;
der Stromoperator j  (x) nur in der normalgeordneten Form (3.16) { bzw. in der dazu
aquivalenten antisymmetrisierten Form {
j  (x) = 12 [ (x);  (x)] = (x)  (x) 21 f (x);  (x)g =: (x)  (x) : (3.90)
das richtige Ladungskonjugationsverhalten hat:
Ucj (x)Uc 1 = j  (x): (3.91)

53
Kapitel 4
Vektormesonen und Photonen
4.1 Vektorfeld mit Ruhemasse
Auer den pseudo-skalaren Klein-Gordon Mesonen treten in der Natur massive Me-
sonen mit Spin 1, d:h. drei moglichen Polarisationseinstellungen langs einer gegebe-
nen Quantisierungsachse auf (z:B . das !-Meson mit m!  783 MeV). Sie lassen sich
in Abwesenheit von Wechselwirkungen beschreiben durch ein vierkomponentiges Feld
'(x)( = 0; ::; 3), das sich bei homogenen Lorentztransformationen gema
U ()'(x)U 1 () = ( 1) ' (x) (4.1)
mit einem unitaren Operator , d:h. als Vierervektor, transformiert. Dabei beschreibt
ein nichthermitesches Feld, (' )y 6= ' , wieder Teilchen und Antiteilchen mit entge-
gengesetztem Vorzeichen einer ladungsartigen Quantenzahl q, ein hermitesches Feld mit
(')y = ' ein neutrales System mit Teilchen  Antiteilchen.
Jede Komponente des Feldes mu Losung der Klein-Gordon-Gleichung sein:
(@ @  + m2)' (x) = 0 (4.2)
fur ( = 0; ::; 3) . Da die 4 Feldkomponenten fur die Beschreibung der 3 moglichen Spin-
einstellungen zuviel Freiheitsgrade beinhalten, ist (4.2) allein als Feldgleichung nicht aus-
reichend. Es mu also eine Nebenbedingung hinzukommen, die es erlaubt, eine der 4
Komponenten zu eliminieren. Die einfachste lorentzinvariante Bedingung ist die Trans-
versalitats-bedingung
@ '(x) = 0 (4.3)
fur alle x . Wir werden zeigen, da fur m 6= 0 (4.3) als Operatorgleichung erfullbar ist
und somit das Gewunschte leistet.
Die Nebenbedingung wird zweckmaigerweise mittels eines (antisymmetrischen) tensori-
ellen Hilfsfeldes
f  = f  (4.4)
in die Lagrangedichte eingebaut. Man wahlt
L = 21 [(f  )y(@ ' @ ' ) + f  (@ 'y @ 'y)] + 21 (f  )yf + m2(' )y' : (4.5)
54
Die zugehorigen Euler-Lagrange'schen Feldgleichungen (die Proca-Gleichungen) lauten
dann
f  = @  ' @  ' ; (f  )y = @  'y @  'y; (4.6)
im Einklang mit (4.4), und
@ f  + m2' = 0; @ (f  )y + m2 'y = 0: (4.7)
Die Di erentiation von (4.7) nach x gibt
m2 @ ' = @ @ f  = 0 (4.8)
(wegen der Antisymmetrie von f  ) und dasselbe fur 'y. Damit ist fur m 6= 0 die Ne-
benbedingung (4.3) erfullt. Eliminiert man nun mittels (4.6) das Hilfsfeld f , so bleibt
(@ @  + m2 )' = (@ @  + m2 )'y = 0; (4.9)
womit die gewunschten Feldgleichungen hergestellt sind.
Als kanonisch konjugierte Felder ergeben sich aus (4.5)
(x)  @ (@@ L') = (f0 )y = (f0)y; (4.10)
0
( (x))y  @ (@@ L'y) = f0 = f0 = @ '0 @0 ':
0

Wegen f00 = 0 verschwinden die zu '0, 'y0 konjugierten Felder identisch, erlauben also
keine kanonische Quantisierung. Dies stellt jedoch kein echtes Problem dar, da auf Grund
der Nebenbedingung (4.3) die Felder '0 , '0y als dynamische Variable ohnehin eliminiert
werden konnen und so auch nicht quantisiert werden mussen. Damit treten nur die Felder
'k (k = 1; 2; 3) und deren Adjungierte als unabhangige dynamische Variable auf. Die
so erhaltene Formulierung ist wegen der unsymmetrischen Auszeichung einer der 4 Kom-
ponenten nicht manifest kovariant. Dieses ist ein Beispiel dafur, da bei Feldern mit
Spin  1 manifeste Kovarianz nur durch Einfuhrung uberzahliger Freiheits-
grade und entsprechender Nebenbedingungen erfullbar ist.
Wir benutzen also nach (4.7)
'0 = m12 @ f 0 = m12 @ ()y = m12 r ~  ~y (4.11)

('0)y = m12 @ (f 0 )y = m12 @  = m12 r~  ~;


wobei m 6= 0 wesentlich ist, und eliminieren damit aus der Hamiltondichte
X
3
H(x) = (ky@0 'ky + k @0 'k ) L(x) (4.12)
k=1

55
die Feldvariablen '0, '0y. Das Resultat ist dann (U B):
H(x) = ~y  ~ + (r~  '~ y)  (r~  '~ ) + m2'~ y  '~ + m12 (r~  ~y)(r~  ~) (4.13)

r~  f m12 [~y(r~  ~) + ~(r~  ~y)]g:


R
Der letzte Term ist eine Dreierdivergenz, die bei Einfuhrung in H = d3x H(x) nach dem
Gauschen Integralsatz (fur asymptotisch vernunftig abfallende Felder) keinen Beitrag
liefert. Der Impulsoperator wird dementsprechend
Z X3
P= 3 ~ 'k + k r
d x ( k y r ~ 'k y ) : (4.14)
k=1

4.2 Quantisierung
Die Quantisierung kann nun fur die unabhangigen Felder 'ky, 'k (k = 1; 2; 3) nach dem
kanonischen Verfahren vor sich gehen:
[k (x); 'l (y)]x0=y0 = ikl 3(x y); [ky(x); 'ly(y)]x0=y0 = ikl 3(x y); (4.15)
alle ubrigen Kommutatoren sind  0:
Bei manifest kovarianter Formulierung ist es zweckmaig, die VR fur '0, '0y hinzuzuneh-
men, die allerdings Folge von (4.15) sind! Mit (4.11) ist
['0y(x); 'l (y)]x0=y0 = m12 @k [k (x); 'l(y)]x0=y0 = mi 2 @ l 3(x y)['0(x); 'l (y)]  0: (4.16)
Damit lassen sich (falls notig) alle weiteren Kommutatoren berechnen, z:B . solche mit
Zeitableitungen der Felder wie
[@ 0 'ky(x); 'l (y)]x0=y0 = [@ k '0y(x) f k0(x)y; 'l(y)]x0=y0 (4.17)
= @ k ['0y(x); 'l (y)]x0=y0 + [k (x); 'l (y)]x0=y0
= [@ k (+ mi 2 @ l ) + igkl] 3(x y)
= i(gkl + @ k @ l m12 ) 3(x y):
Zur Verallgemeinerung dieser VR auf x0 6= y0 verwenden wir wieder die allgemeine Losung
von (4.2), (4.3) in Form einer Fourierentwicklung. Die Basislosungen sind von der Form
'+(x) = (2) 3=2e+(q) exp( iq  x)jq0 =!q ; ' (x) = (2) 3=2 e (q) exp(+iq  x)jq0=!q ;
(4.18)
mit drei reellen und linear unabhangigen Vierervektoren e+(q), e (q), die ein analoge
 
Rolle spielen zu den Spinoren us(p), vs(p) beim Dirac-Feld. Nach (4.2,4.3) mussen sie
den Gleichungen
( q2 + m2)e (q) = 0; q e(q) = 0 (4.19)
56
erfullen. Es genugt (wegen der Lorentzinvarianz des 2. Terms in (4.19) und der ( q2 +
m2) im 1. Term) diese Gleichungen im Ruhesystem (q = 0) zu losen und dann einen
Lorentzboost mit der dem Impuls q entsprechenden Geschwindigkeit auszufuhren. Fur
q = 0 reduziert sich (4.19) auf
m e0(0) = 0 ! e0 = 0: (4.20)
Wir konnen also fur e(0) drei beliebige linear unabhangige Vektoren mit verschwindender
Zeitkomponente wahlen, zweckmaigerweise
001 001 001
B C B C B C
e(1) (0) = BB@ 10 CCA ; e(2) (0) = BB@ 01 CCA ; e(3) (0) = BB@ 00 CCA ; (4.21)
0 0 1
und fur e (0) dieselben Vektoren, da die Bedingungen (4.19) fur (+) und (-) Vektoren
{ anders als beim Dirac-Feld { gleich lauten. Mit der expliziten Form des Lorentzboosts
(2.102) erhalten wir dann fur n = 1; 2; 3
e(n) (q) =  (q)e(n) (0) =  (q)( gn) = n(q) (4.22)
8 qn
<  = 0;
= : mkn
 + m(q!k q+nm) q  = k = 1; 2; 3:
Diese Eigenvektoren sind orthogonal (wegen (1.78)) im Sinne von
e(m) e(n) = m n = gmn; (4.23)
aber unvollstandig, d:h:
X
3
e(n) e(n) = ( 0 0) = (g qmq2 );
 
(4.24)
n=1
da sie alle viererorthogonal zu q sind. Mit diesen Basisvektoren schreiben wir die allge-
meine Losung von (4.2) und (4.3) als
X3 Z d3 q
' (x)= 2 ! e(n) (q) [an(q)fq (x) + byn (q)fq(x)]; (4.25)
n=1 q
X3 Z d3 q
'y(x) = 2 ! e(n) (q) [bn(q)fq (x) + ayn(q)fq(x)]:
n=1 q

Die Operatoren an, bn erhalt man durch Umkehrung mit der Orthogonalitatsrelation
(4.23) als
Z
a n ( q) = ie(n) (q)
 d3x [fq(x)@ 0 '(x) @ 0 fq(x)' (x)]; (4.26)
Z
bn (q) = ie(n) (q)
 d3x [fq(x)@ 0 'y(x) @ 0 fq(x)'y (x)]:
57
Ihre Interpretation als Vernichtungsoperatoren fur Feldquanten mit Impuls q, Ruhemasse
m und Polarisationsrichtung n = 1; 2; 3 (bezogen auf die 'lorentztransformierte z-Achse')
folgt in der ublichen Weise aus den VR, die sich als Folge von (4.15,4.16) ergeben zu
[an(q); ayn0 (q0 )] = [bn(q); byn0 (q0)] = 2!q 3(q q0) n0n; (4.27)
{ alle ubrigen Kommutatoren sind  0 { sowie aus der Darstellung des normalgeordneten
Viererimpuls-Operators P  = (H; P);
X3 Z d3 q
: P := q  [ay (q)a (q) + by (q)b (q)] 0 : (4.28)
n n n n q =!q
n=1 2!q
Die a-Teilchen und ihre b-Antiteilchen sind wieder (wie bei allen Feldern mit ganzzahligem
Spin) Bosonen; entsprechend wird die Normalordnung wie beim Klein- Gordon-Feld, d:h.
ohne den Faktor ( )p, de niert.
Mit (4.25) lat sich der Kommutator fur ungleiche Zeiten berechnen; das Resultat (HA)
['y(x); ' (y)] = i(g + @ @2 )(x y; m)
 
(4.29)
m
enthalt die fruheren VR (4.15-4.17) als Spezialfalle fur x0 ! y0 und sichert wieder die
Mikrokausalitat fur alle aus den ', 'y aufgebauten Megroen. Die tensorielle Zwei-
punktfunktion
G0 (x; y) = i < 0jT ['(x)'y (y)]j0 >; (4.30)
mit der Zeitordnung T (ohne ( )p | Faktor) fuhrt dementsprechend auf den

4.3 Feynman-Propagator
G0 (x; y) = (F ) (x y)  (g + m12 @ @ )F (x y; m) (4.31)
mit der Fourierdarstellung (fur  ! 0+)
Z ( )
4 4 g qmq2
(F ) (x) = (2) d q q2 m2 + i exp( iq  x) (4.32)
Z
= (2) 4 d4q ~ F; (q) exp( iq  x):

Die aus (4.32) abzulesenden Eigenschaften


2
q~ F; (q) = m12 q ; q q ~ F; (q) = mq 2 ; (4.33)
dieses Propagators spiegeln wiederum die Vierer-Transversalitat (4.3) wieder, wobei
m 6= 0 wesentlich ist.

58
Weiterhin sei noch die aus den Proca-Gleichungen folgende Kontinuitatsgleichung an-
gegeben:
@ j  (x) = 0 mit j  (x) = if'y (x)@  ' (x) @  'y (x)' (x)g: (4.34)
Der Eigenwert der zugehorigen Ladung
Z X3 Z d3 q
Q = d3x : j 0(x) := 2 ! [ayn (q)an(q) byn(q)bn (q)] (4.35)
n=1 q
ist wieder die Teilchen und Antiteilchen unterscheidende ladungsartige Quantenzahl.

4.4 Spin der Vektormesonen


Bei den Transformationseigenschaften des Feldes '(x) ist die einzige hervorzuhebende
Besonderheit die unter homogenen Lorentztransformationen. Gleichung (4.1) ergibt fur
in nitesimale Transformationen
 = 14 + mit (  =  ); U () = 1 + 2i  M  ; (4.36)
die Beziehung
[M ; '(x)] = i(x @ x @ )'(x) + i[g ' (x) g'(x)]: (4.37)
Speziell fur Drehungen (;  = 1; 2; 3) erhalt man
[Mkl ; '(x)] = i(xk @l xl @k )'(x) + i[gk gl gl gk ]' (x) (4.38)
= klm [Lm '(x) + (Sm ) ' (x)]
mit den Di erentialoperatoren aus (1.103) und { als neuen Elementen { den drei 4  4
Matrizen
(Sk ) = 2i klm (glgm gl gm) = i 0k : (4.39)
Diese Matrizen haben fur  = 0 oder  = 0 nur Nullen als Elemente, transformieren also
nur die raumartigen Komponenten 'k untereinander. Man rechnet leicht nach (U B), da
sie die Eigenschaften
X
3
[Sk ; Sl] = i klm Sm und (Sk )2 = 1(1 + 1)  14 (4.40)
k=1
besitzen, die fur eine J = 1 { Darstellung der Drehimpulsoperatoren charakteristisch sind.
Man kann wieder das Transformationsverhalten einer Einteilchenwellenfunktion mit
Polarisation ;
q;(; x) :=< 0j'(x)jq;  >; (4.41)
im Ruhesystem (q = 0) unter Raumdrehungen mit Drehvektor ~ betrachten,
< 0j'(x)U jq = 0;  >= [exp( i~  S)] < 0j' (x)jq = 0;  >; (4.42)
was die Vektormesonen direkt als Spin-1-Teilchen erweist.
59
4.5 Das elektromagnetische Feld (klassisch)
Obwohl die Quantisierung des elektromagnetischen Feldes ebenfalls auf Spin-1-Teilchen
(Photonen) fuhrt, ist seine Theorie nicht einfach durch den Grenzubergang m ! 0 aus
der obigen Theorie fur massive Vektorfelder gegeben. Der Sonderfall m = 0 ist in der Tat
qualitativ verschieden: hier gibt es nur zwei unabhangige Freiheitsgrade (Feldfunk-
tionen)! Wir zeigen diesen Sachverhalt zunachst an der klassischen Theorie (in kovarianter
Formulierung).
Das klassische elektromagnetische Feld im Vakuum, gekoppelt an den Strom j =
(; j), genugt den homogenen Maxwell-Gleichungen
r~  B = 0; r~  E + @t@ B = 0 (4.43)
und den inhomogenen Maxwell-Gleichungen
r~  E = ; r~  B @t@ E = j: (4.44)
Mit dem antisymmetrischen Feldstarketensor
0 0 E E E 1
x y z
B E 0 B B C
F  = F  = B B@ Ex B z
0 Bx C
y C
A (4.45)
y z
Ez By Bx 0
oder F 0k = E k = F k0 , F kl = klm B m (k; l = 1; 2; 3), und dem dualen Tensor
F  =  F (4.46)
lassen sich die Maxwell-Gleichungen zusammenfassen zu
@ F  = 0 (homogene Glgn:); @ F  = j  (inhomogene Glgn:): (4.47)
Eine vierkomponentige { aber nicht eindeutige Darstellung der Felder { ist mittels des
Viererpotentials A(x) = ((x); A(x)) moglich:
E = r~ A0 @t@ A; B = r~  A; (4.48)
oder in Viererschreibweise
F  = @  A @  A: (4.49)
Diese Darstellung lost wegen  @@  0 die homogenen Gleichungen in (4.47); die
inhomogenen Gleichungen in (4.47) fordern dann:
(@ @  )A (x) @  (@ A (x)) = j  (x): (4.50)
Die Potentiale A (x) sind (wie bereits bemerkt) nicht eindeutig. Sie entsprechen nicht
selbst physikalischen Megroen, denn nur die Feldstarken F (x) sind Megroen. Jede
Eichtransformation
A(x) ! A0(x) = A (x) @ (x) (4.51)
60
mit beliebigem Vierergradienten @ (x) lat die Viererrotation (4.49) invariant. Man kann
durch Beschrankung auf eine spezielle 'Eichung' die Wellengleichung (4.50) vereinfachen,
z:B . durch die einfachste (lorentzinvariante und lineare) 'Lorentz-Bedingung'
@ A0 (x) = 0; (4.52)
welche man erhalt, wenn man in (4.51)  als Losung der Gleichung
@ @   = @ A
wahlt. Sie beschrankt A auf die Klasse der Lorentz- oder Feynman-Eichungen, denn
(4.52) bleibt erhalten, wenn man Eichtransformationen (4.51) mit den eingeschrankten
Eichfunktionen
L (x) mit @ @  L(x) = 0 (4.53)
ausfuhrt. Gleichung (4.52) vereinfacht dann (4.50) zu
(@ @  )A0 (x) = j  (x): (4.54)
Zusammen sind (4.54), (4.49) und (4.52) den Maxwell-Gleichungen aquivalent.
Die beiden ersteren lassen sich fur das freie Feld (j  0;   0) aus der Lagrange-Dichte
L1 = 21 F  (@ A @ A 21 F ) = 21 (E2 B2 ) (4.55)
als Bewegungsgleichungen gewinnen. Dagegen mu, da (4.8) fur m = 0 sinnlos ist, Glei-
chung (4.52) stets als Zusatzbedingung eingefuhrt werden. Man arbeitet also in den Be-
wegungsgleichungen mit vier Feldamplituden A0 , A1, A2 , A3. Die zweifache Reduktion
der Zahl der unabhangigen Freiheitsgrade wird, wie sogleich gezeigt wird, teils durch die
Lorentzbedingung (4.52), teils durch die noch verbleibende Eichfreiheit vom Typ (4.53)
bewirkt.
Dazu schreiben wir die allgemeine Losung von (4.54) fur j = 0, d:h. die masselosen Klein-
Gordon-Gleichungen
(@ @  )A (x) = 0 ( = 0; ::; 3) (4.56)
in Form einer Fourierentwicklung, wobei zu beachten ist, da die Feldstarken und damit
auch die A reelle Felder sind:
3 Z d3 k
X ()
2jkj e (k) [a(k)fk (x) + a(k)fk (x)]k =jkj:
A(x) =   0 (4.57)
=0
In (4.57) sind dabei die e() (k), im Gegensatz zum Fall m 6= 0, vier linear unabhangige
Vierervektoren. Die Lorentzbedingung verlangt dann
X
3
k e() (k) a (k) = 0: (4.58)
=0

61
Beim massiven Vektorfeld waren die drei Vektoren e() einzeln viererorthogonal zu k
wahlbar, so da die drei a durch die entsprechende Bedingung nicht eingeschrankt wur-
den. Hier sind nun nicht alle vier e() zu k orthogonal wahlbar, so da eine lineare
Abhangigkeit zwischen den vier Fourieramplituden a(k) unvermeidbar bleibt. In der
zweckmaigerweise gewahlten Basis, bestehend aus
 = 1; 2 : e0() = 0; k  e() = 0 mit e(1)  e(2) = 0; (4.59)
d:h. zwei zu k transversalen und orthogonalen Einheitsvektoren und dem longitudi-
nalen Einheitsvektor
=3: e(3)
0 = 0; e(3) = jkkj (4.60)
sowie dem rein zeitartigen Einheitsvektor
=0: e(0)
0 = 1; e(0) = (0; 0; 0) (4.61)
mit der Eigenschaft
e() (k)e(0 ) (k) = g0 (4.62)
gilt
ke() (k) = 0 ( = 1; 2) (4.63)
ke(3)
 ( k) = jkj;
ke(0) 0
 (k) = k = +jkj;
d:h. die Abhangigkeit zwischen den Fourieramplituden a(k) wegen der Lorentzbedingung
nimmt die Form
a3 (k) = a0 (k) (4.64)
an, wahrend die a1 (k), a2 (k) frei wahlbar bleiben.
Wir betrachten nun eine eingeschrankte Eichfunktion (4.53) in der Fourierdarstellung
Z d3k
L(x) = 2jkj [l (k)fk (x) + l (k)fk(x)] (4.65)
und fuhren damit die Eichtransformation (4.51) aus. Es entsteht dann ein Feld A0 mit
Fourierkomponenten a0 gema
X 3
e() (k) [a0 (k) a (k)] = ik l (k): (4.66)
=0
Es ist nun klar, da l (k) stets so gewahlt werden kann, da a03  0 und damit nach (4.64)
auch a00  0 ist, d:h. nur zwei nichtverschwindende Fourieramplituden (die beiden
transversalen a1; a2 ) ubrig bleiben. Eine entsprechende Losung von (4.66) ist z:B:
a0(k) = a(k) ( = 1; 2)
a0(k) = a(k) + ijkjl (k) ( = 0; 3):
62
In dieser speziellen Eichung ist dann wegen (4.59,4.60,4.61)
2 Z d3 k
X
A0 A0(x) = e() (k) [a (k)fk (x) + a (k)f  (x)]
0  0; 2j kj  k (4.67)
=1
~  A0 = 0:
mit r
Bei Lorentztransformationen werden zwar diese speziellen Beziehungen (d:h. die Eichung)
unter Erhaltung der invarianten Bedingung (4.52) und damit auch (4.64) geandert, aber
es wird lediglich eine andere spezielle Eichung innerhalb der Klasse (4.52) hergestellt. Die
obigen U berlegungen zeigen jedoch, da tatsachlich nur zwei unabhangige Feldfunk-
tionen vorhanden sind.

4.6 Quantisierung des elektromagnetischen Feldes


Die Lagrangedichte (4.55) gibt als konjugierte Felder
 = @ (@@LA1 ) = F 0 = F 0 ; (4.68)
0
was fur  = 0 identisch verschwindet. Die  = 0 Komponente ist daher (wie beim mas-
siven Vektorfeld) nicht kanonisch quantisierbar. Von den moglichen Auswegen aus dieser
Situation werden nun zwei hau g benutzte aufgezeigt:
a) Man gibt die Forderung nach manifester Lorentz-Kovarianz auf, verzichtet auf die
Quantisierung von A0, welches als klassische Feldfunktion behandelt wird, und quanti-
siert A(x) nach den kanonischen Regeln in der speziellen Eichung r~  A = 0 ('Coulomb'-
oder 'Strahlungs'-Eichung). Beim freien Feld ist dann nach (4.67) sogar A0 = 0 erreich-
bar, so da man A0 einfach vergessen kann. Die Kovarianz der Theorie wird dann erst
im 'Endstadium', d:h. bei Megroen wie U bergangswahrscheinlichkeiten u:s:w:, wieder
sichtbar. Falls U bergange zu anderen Lorentz-Bezugssystemen notwendig werden, mussen
sie stets von einer Eichtransformation begleitet sein, um im neuen System die Coulomb-
Eichung wieder herzustellen.
b) Man besteht auf manifester Kovarianz und behandelt alle vier Komponenten A sym-
metrisch nach dem kanonischen Schema, wobei wegen (4.68) eine geeignete andere La-
grangedichte als L1 benotigt wird. Dann wird | entsprechend der Mitnahme 'unphysi-
kalischer', nichttransversaler Freiheitsgrade | eine Erweiterung des physikalischen
Hilbertraumes um unphysikalische Sektoren notwendig; die Bedingung (4.52) in
einer abgeschwachten Form dient dann dazu, den 'physikalischen' Teilraum wieder aus-
zusondern. Im Folgenden werden wir diesen Weg vorziehen. In jedem Falle ist zu fordern,
da die Gleichungen der klassischen Maxwell-Theorie fur die Erwartungswerte
der Felder bestehen bleiben.
Eine geeignete Lagrangedichte ist von Fermi angegeben worden:
L2 = 12 [@ A (x)][@  A (x)]: (4.69)

63
Sie kann umgeformt werden zu
L2 = L01 @ R 21 [@ A (x)]2 (4.70)
mit
R = 12 (A @  A A@  A ); (4.71)
wobei der Anteil
L01 = 41 (@  A @  A )(@ A @ A ) (4.72)
unter Berucksichtigung von (4.49) zu L1 (4.55) aquivalent ist. Der Viererdivergenzterm
andert an dieser A quivalenz nichts, da er zum Wirkungsintegral, bzw. seiner Variation
Z t2 Z t2 Z
 L dt =  dt d3x L(t; x); (4.73)
t1 t
1
und damit zu den Bewegungsgleichungen nichts beitragt. Wir behalten an dieser Stelle im
Gedachtnis, da die Lagrangedichte stets nur bis auf eine Viererdivergenz @ R
bestimmt ist. Damit liefert L01 @ R wie L1 auch eichinvariante Feldgleichungen.
Der Term mit (@ A )2 ist nicht eichinvariant; die auf (4.69) aufgebaute Theorie mu
deshalb noch durch eine Bedingung erganzt werden, die zumindest fur die Er-
wartungswerte < @ A >= 0 (Lorentzeichung) sichert (siehe (4.100)). Deshalb heit
1=2(@A )2 in (4.69) auch Eich xierungsterm.
Die Bewegungsgleichungen zu (4.69) sind
(@ @  )A(x) = 0 ( = 0; ::; 3) (4.74)
wie in (4.56), und die konjugierten Felder sind gegeben durch
  = @ 0 A ( = 0; ::; 3); (4.75)
so da auch die  = 0 Komponente eine nichttriviale Vertauschungsrelation erlaubt.
Fur eine Quantisierung sind zunachst die A und , da ihre Erwartungswerte reell sein
sollen, als hermitesche Operatoren in einem Hilbertraum aufzufassen. Es ist nun bemer-
kenswert, da bereits diese Hermitezitat in einem neuartigen Sinne aufgefat
werden mu, will man die manifeste Kovarianz des Formalismus beibehalten.
Da Hermitezitat ein metrischer Begri ist, heit dies, da das Skalarprodukt im Hilber-
traum, das bisher wie in der nichtrelativistischen Theorie stillschweigend als positiv de nit
angenommen wurde,
< j > > 0 (4.76)
fur j >6= dem Nullvektor, neu de niert werden mu. Dazu ist die Annahme einer inde-
niten Metrik erforderlich, bei der also insbesondere die Norm eines Zustandsvektors
verschwinden kann, obwohl er nicht der Nullvektor ist. Ihre Beziehung zur 'alten' Metrik
(4.76) wird durch die Einfuhrung eines metrischen Operators  { analog zu g im
Minkowskiraum { hergestellt, der bezuglich der 'alten' Metrik hermitesch ist,
y = ; (4.77)
64
und zweckmaigerweise auch
 1 = ; (4.78)
d:h 2 = 1H erfullt. Man de niert dann das neue Skalarprodukt zweier Zustande j >
; j > durch
(; ) =< j > : (4.79)
Die entsprechende Norm ist dann wegen (4.77) noch reell,
(; ) =< j > =< j >=< yj >=< j >= (; ); (4.80)
aber im allgemeinen nicht mehr positiv, weil der metrische Operator (4.77) auch Eigen-
zustande zum Eigenwert -1 haben kann, fur die dann (; ) = < j > < 0 ist.
Entsprechend mu das Adjungierte eines Operators A neu de niert werden und zwar
als A mit
(; A ) = ( ; A): (4.81)
Nach (4.79) bedeutet dies A = (y) 1Ay, wegen (4.78) also
A = Ay: (4.82)
Operatoren mit stets reellen Erwartungswerten, wie die Viererpotentiale A (x)
und Feldstarken F (x), sind nun diejenigen mit der verallgemeinerten Hermitezitat
oder Selbstadjungiertheit
A = A;  oder A = Ay: (4.83)
Die in diesem Sinne selbstadjungierten Feldoperatoren
A (x) = A (x);  (x) =  (x) (4.84)
konnen nun durch postulieren von
[A(x);  (y)]x0=y0 = i g 3 (x y); (4.85)
{ alle anderen Kommutatoren sind  0; { so quantisiert werden, da die manifest kova-
rianten Vertauschungsrelationen (4.92) (siehe unten) fur ungleiche Zeiten resultieren. Die
Konsequenzen des ungewohnlichen Vorzeichens fur  =  = 0 in (4.85), das bei Bei-
behaltung der 'alten' Metrik (4.76) zu Widerspruchen fuhren wurde, werden
dabei durch die neue Metrik gerade soweit neutralisiert, da fur physikalische Zu-
standsvektoren die ubliche Wahrscheinlichkeitsinterpretation erhalten bleibt! In der
'alten' Metrik konnte man sie nur durch unsymmetrische Abanderung von (4.85) und da-
mit von (4.92) (siehe unten) fur  =  = 0 beseitigen, womit die kovariante Formulierung
der Theorie zerstort wurde.
Die allgemeine Losung (4.57) von (4.74) wird nun mit Operatorkoezienten a und
deren verallgemeinerten Adjungierten a = ay in der Form
A (x) = A(+) ( )
 (x) + A (x); (4.86)
3 Z d3 k
X
A(+)
 (x) = e() (k) fk (x) a(k);
2j kj 
=0
3 Z d3 k
X
A( ) (x) = 2j kj e
() (k) f  (x) a (k);
k
=0

65
geschrieben, womit (4.84) erfullt ist. Aus (4.85) folgen die VR
[a (k); a0 (k0)] = 2jkj g0 3(k k0); (4.87)
alle anderen Kommutatoren sind  0:
Das fur  = 0 = 0 ungewohnliche Vorzeichen wird durch die Zusatzforderungen
[a(k); ] = 0 ( = 1; 2; 3) (4.88)
und
fa0; g = 0
neutralisiert. Die a (k) sind dann Erzeugungsoperatoren fur Strahlungsquanten
oder Photonen vom Impuls k, Ruhemasse m = 0 und Polarisation , die der Bosesta-
tistik gehorchen und wegen (4.84) ohne ladungsartige Quantenzahlen, d:h. ihre eigenen
Antiteilchen sind.
In der Basis (4.59,4.62) haben wir fur  = 1,2 'transversale', fur  = 3 'longitudinale' und
fur  = 0 'zeitartige' Photonen.
Aus dem Vakuum aller Photonen, charakterisiert durch
a (k)j0 >= 0 8(; k) j0 >= +j0 >; (0; 0) =< 0j0 >= +1; (4.89)
entstehen durch Anwendung der a Ein-Photon-Zustande
jk;  >= a(k)j0 >; (4.90)
die wegen (4.88) die Orthonormierung
(k00; k) = 2jkj 0 3 (k0 k) (4.91)
aufweisen. Da das Auftreten von 0 (statt g0 ) die Kovarianz nicht stort, zeigt
man, indem man aus (4.87) die manifest kovarianten (vierertensoriellen) Vertau-
schungsrelationen fur x0 6= y0;
[A(x); A (y)] = ig D(x y); (4.92)
mit der lorentzinvarianten Funktion
Z
D(x) = (x; m = 0) = (2i )3 d4k (k) (k2 ) exp( ik  x) (4.93)
ableitet. Explizit ist
D(x) = 41jxj [(x0 jxj) (x0 + jxj)] = 21 (x) (x2 ); (4.94)
d:h. D(x) ist eine antisymmetrische Mischung der in der klassischen Theorie verwendeten
'retardierten' Green'schen Funktion des Strahlungsfeldes mit der zugehorigen 'avancierten'
Funktion. Die damit gegebene Mikrokausalitat ubertragt sich auf alle Observablen, also
66
nicht nur auf die in den A bilinearen Megroen wie den Viererimpuls (4.110,4.112),
sondern auch auf die in den A linearen Feldstarken (4.48), fur die aus (4.92) folgt:
[F (x); F (y)] = i(g@ @ + g @@ g @ @ g@@ )D(x y): (4.95)
Bemerkenswert ist weiter, da sich die fur lorentzkovariante Quantisierung wesentliche
Lorentz-Eichung (4.52) nicht mehr als Operatorgleichung, d:h. nicht mehr auf
dem gesamten Hilbertraum des Strahlungssystems, aufrechterhalten lat, denn aus (4.92)
folgt
[@ A (x); A (y)] = i@  D(x y) 6= 0; (4.96)
wahrend bei @ A  'Nulloperator' dieser Kommutator identisch verschwinden mute. Die
Losung dieses Puzzles liegt darin, da zur Erfullung der klassischen Lorentzbedingung
@ ( ; A(x) ) = 0 8j > (4.97)
namlich nur die abgeschwachte Form der Lorentzbedingung
@ A(+) (x)j >= 0 (4.98)
fur physikalische j > und alle x mit dem positiven Frequenzanteil A(+) von (4.86)
erforderlich ist (nach Gupta und Bleuler). Damit ist eine Einschrankung auf den phy-
sikalischen Zustandsraum hinreichend, um Widerspruche zu vermeiden, die sich in
Form einer Operatorgleichung auf dem gesamten Hilbertraum ergeben.
Mit der Darstellung (4.86) folgt aus (4.98) sofort die klassische Lorentzbedingung
@ ( ; A ) = @ ( ; A( ) ) = @ (A(+) ; ) = 0 (4.99)
fur physikalische j > : Die Bedingung @ A j > kann hier nicht gefordert werden,
da dann der Vakuumzustand j0 > infolge @ A( ) j0 >6= 0 nicht zum physikalischen
Unterraum gehoren wurde! Naturlich ist fur die Erfullbarkeit von (4.98) notwendig, da
@ A(+) (x) und @0 A(+) (x0 ) fur x 6= x0 kommutieren, weil sie nur dann einen gemeinsamen
Eigenraum mit Eigenwert 0 haben konnen. Dies tri t aber zu, denn aus den allgemeinen
VR (4.92) folgt
[@ A(+) (x); @0 A(+) (x0 )] = i@ @ 0 D(+)(x x0 ) = i @ @  D(+) (x x0 ) = 0; (4.100)
weil der positive Frequenzanteil D(+) von (4.93) wie D(x) selbst Losung der masselosen
Klein-Gordon-Gleichung ist.
Wir stellen nun A (x) in der Form (4.86) mit den Vektoren
b (k) = e(1) (2)
 (k) a1 (k) + e (k) a2 (k); (4.101)

 e(3) (k) + e(0) (k) = k


 j kj (4.102)
und e(3) e(0) in der Form
Z d3k
A (x) = 2jkj [b (k) + 21 jkkj (k) + 12 (e(3)
(+) (0)
 (k) e (k)) (k)]fk (x) (4.103)

67
dar, wobei (k), (k) die Operatorkombinationen
(k) = a3 (k) a0(k); (k) = a3 (k) + a0(k) (4.104)
sind, von deren Vertauschungsrelation die Eigenschaft
[ (k); (k0)]  (g33 + g00 ) = 0 (4.105)
zu erwahnen ist. Damit wird wegen der Relationen (4.63)
Z
@ A(+) (x) = 2i d3k fk (x) (k) (4.106)
und (4.98) erweist sich als aquivalent zu
(k)j >= 0 (4.107)
fur physikalische j > und alle k: Die Lorentzeichung erlegt also der Beimischung
nichttransversaler Photonen ( = 0; 3) zu den physikalischen Feldzustanden ei-
ne Bedingung auf. Diese Bedingung genugt bereits, um zu beweisen, da im Unter-
raum der physikalischen Zustande die Matrixelemente von Observablen nur
Beitrage von transversalen Photonen enthalten!
Wir zeigen dies zunachst fur die Feldstarken F :
bei der Vierer-Rotationsbildung (4.49) fallen die k (k)-Terme von (4.103) und die ent-
sprechenden k (k)-Terme von A( ) heraus, und wir erhalten
Z d3k X2
F (x) = i 2jkj f (ke() (k) k e() (k)) (a (k)fk (x) a(k)fk(x)) (4.108)
=1
(k g0 k g0) ( (k)fk (x) (k)fk(x))g:
Der Term mit ,  liefert aber zu Matrixelementen zwischen physikalischen Zustanden
j >; j 0 > in der Metrik (4.79) wegen (4.107) keinen Beitrag, und wir erhalten damit
2 Z d3 k
X
( 0; F  ) = i (k e() (k) k e() (k)) (4.109)
=1 2j kj
[fk (x)( 0; a(k) ) fk(x)( 0; a (k) )]:

Als Beispiel einer in den A bilinearen Observablen sei der Viererimpuls angegeben, der
sich aus dem normalgeordneten Hamiltonoperator
Z
P0 = H = d3x H(x) (4.110)
mit
H(x) =:  @0A (x) L(x) := 21 : (r~ A )  (r~ A) + (@0A )(@0 A ) : (4.111)

68
und dem normalgeordneten Impulsoperator
Z Z
P= ~ A :=
d3 x : r ~ A ) :
d3x : (@0 A)(r (4.112)
zusammensetzt. Mit (4.86) erhalt man
Z 3
P  = ( g ) 2djkkj k a(k)a (k) (4.113)
mit k0 = jkj und somit fur Matrixelemente zwischen physikalischen Zustanden wegen
( 0; [a3 (k)a3(k) a0 (k)a0(k)] ) = ( 0; [a3(k) a0 (k)] a3 (k) ) = 0 (4.114)
nur den transversalen Beitrag
Z
( 0; P  ) = d3k k ( 0; [N1(k) + N2 (k)] ) (4.115)
mit den (Impulsraum-) Dichteoperatoren
N(k) = 2j1kj a(k)a (k): (4.116)
Auch der nicht eichinvariante Term 1=2(@ A)2 in (4.70) ist damit neutralisiert, denn
nach Normalordnung, L2 !: L2 :, gilt im physikalischen Teilraum wegen (4.98)
( 0; : (@ A )2 : ) = ( 0; : (@ A(+) )(@ A( ) ) : ) = ( 0; (@ A( ) )(@ A(+) ) ) = 0;
(4.117)
d:h. die Lagrangedichte ist dort gema (4:70; 4:72) zu einer eichinvarianten Lagrangedichte
aquivalent.
Andererseits zeigen (4.109) und (4.115), da die physikalischen Zustande noch erhebliche
Mehrdeutigkeiten enthalten, da ja die Beimischung nichttransversaler Photonen zu j >
innerhalb der Bedingung (4.107) noch beliebig variiert werden kann, ohne die Projektionen
von Observablen auf den physikalischen Teilraum zu andern. Insbesondere folgt, da das
physikalische Vakuum j0ph >; de niert durch
(0ph; P 0ph) = 0; (0ph; 0ph) = 1; (4.118)
lediglich die Bedingungen
a1(k)j0ph >= a2 (k)j0ph >= (k)j0ph >= 0 (4.119)
zu erfullen braucht und daher eine ganze A  quivalenzklasse physikalischer Vakua
bezeichnet, von denen das Vakuum aller Photonen (4.89) nur einen Reprasentanten
darstellt. Man kann in dieser A quivalenzklasse eine vollstandige Basis angeben, indem
man in (4.89) sukzessive -Quanten erzeugt, d:h. die Zustande
jn >= N p1 (kn):::: (k1 )j0ph > (4.120)
n!
69
bildet (mit einer Normierungskonstanten N ), die wegen (4.105) alle (4.119) erfullen, zu
j0 > in der Metrik (4.79) orthogonal sind und verschwindende Norm haben fur n > 0 :
< n0 jn >= n0 nn0: (4.121)
Die allgemeinste Linearkombination
1 Z
X Z
c0 j0 > + d3k1:::: d3kn cn(k1 ; ::::; kn)jn > (4.122)
n=1
mit jc0 j = 1 ist dann Reprasentant von j0ph > mit der positiven Norm jc0j2 = 1. Der
physikalische Zustand j n1n2 > mit n1 bzw. n2 transversalen Quanten vom Typ  = 1 bzw.
2 ist dann ebenfalls eine A quivalenzklasse, deren samtliche Elemente durch Anwendung
eines Operators vom Typ
N p 1 a2 (kn2 )::::a2 (k1 )a1 (qn1 )::::a1 (q1 ) (4.123)
n1!n2 !
auf samtliche Zustande (4.122) entstehen.
Man kann nun zeigen, da diese Vieldeutigkeit genau der in der klassischen Maxwell-
Theorie vorhandenen Freiheit entspricht, innerhalb der Lorentz-Eichklasse noch
eingeschrankte Umeichungen vom Typ (4.53) bzw. (4.65) vorzunehmen. Dazu bemer-
ken wir zunachst, da die eingeschrankten Umeichungen im Hilbertraum durch unitare
Operatoren (im Sinne der Metrik (4.79))
U = exp(iG) mit G = G und [G; a1(k)] = [G; a2(k)] = [G; (k)] = 0 (4.124)
fur alle k dargestellt werden. Ein solcher Operator kommutiert namlich in (4.103) lediglich
nicht mit dem k-Term, d:h:
U A (x)U 1 = A(x) @ (x) (4.125)
mit
Z d3k
(x) = i f [U (k)U 1 (k)]fk (x) [U (k)U 1 (k)]fk(x)g =  (x); (4.126)
2j kj
wobei (4.126) o ensichtlich Losung von @ @   = 0, also das operatorwertige A quivalent
von (4.53,4.65) ist.  ist ein Vielfaches des Einheitsoperators, wenn
[G; (k)] = (k)  14 (4.127)
mit einer komplexen Zahl (k) ist, weil dann die Entwicklung fur die in (4.126) auftreten-
den Operatoren nach dem [G; ]-Term abbricht. Eine Transformation (4.124) lat aber
die Lorentz-Bedingung (4.107) unverletzt. Insbesondere erfullt mit beliebigem j > auch
U j > die physikalische Vakuumsbedingung (4.119), mu also von der Form (4.122) sein.
Umgekehrt lat sich zu zwei Zustanden vom Typ (4.122) stets eine Eichtransformation
vom Typ (4.124) konstruieren.
70
4.7 Der Feynman-Propagator des Strahlungsfeldes
Will man den Feynman-Propagator des Strahlungsfeldes,
G0 (x; y) = i(0ph; T [A (x)A (y)]0ph) (4.128)
= i (x0 y0)(0ph; A(x)A (y)0ph) i(y0 x0 )(0ph; A (y)A(x)0ph)
angeben, so mu man selbst innerhalb der Eichungsklasse (4.107) eine spezielle Eichung,
d:h. einen Reprasentanten von j0ph >; spezi zieren. Wahlt man das Vakuum aller Photo-
nen (4.89), so erhalt man mit der ublichen Rechnung (HA)
G0 (x; y) = g DF (x y) = g F (x y; m = 0) (4.129)
mit der Fourierdarstellung
Z
DF (x) = (2) 4 d4k D~ F (k) exp( ik  x); D~ F (k) = k2 +1 i0 : (4.130)
Abschlieend sei noch eine explizite, die Bedingungen (4.77) und (4.88) erfullende Rea-
lisierung des metrischen Operators  aufgefuhrt, namlich
Z d3k y
 = expf i 2jkj a0 (k)a0 (k)g = ( 1) N^00 (4.131)
mit Z d3k y
^
N0 = 2jkj a0 (k)a0 (k);
0 (4.132)
wobei der im Exponenten auftretende Operator N^00 { bis auf die Verwendung des 'alten'
Operatorkonjugierten ay0 { den Anzahloperator N^0 fur zeitartige Photonen darstellt. We-
gen (4.88) ist a0 = ay0 , also N^00 = N^0 : Der metrische Operator  andert also nur das
Vorzeichen bei einer ungeraden Anzahl von zeitartigen Photonen.

71
Teil II
Felder in Wechselwirkung

72
Kapitel 5
Aktionsprinzip und Noether'sches
Theorem
5.1 Schwinger'sches Aktionsprinzip
Um physikalische Prozesse wie Produktion, Streuung und Zerfall von Elementarteilchen
zu beschreiben, mu man Wechselwirkungen zwischen mindestens 2 Feldern einfuhren.
Dann entstehen im allgemeinen nichtlineare Feldgleichungen, die eine explizite und
zugleich die aufgepragten Vertauschungsrelationen erfullende Losung wie in (1.47), (3.6),
(4.86) meist nicht mehr zulassen. Es ist dann nutzlich, ein allgemeines dynamisches Prinzip
zu kennen, das auch bei wechselwirkenden Systemen die Aufstellung miteinander konsi-
stenter Bewegungsgleichungen und Vertauschungsrelationen sowie die Herleitung
allgemeingultiger Erhaltungssatze gestattet.
Wir betrachten dazu ein gekoppeltes System von Feldern mit f unabhangigen Feldfunk-
tionen
'r (x; t) = 'r (x) (r = 1; ::; f ) (5.1)
die unabhangig von ihrer Zusammenfassung zu lorentzkovarianten Satzen (Skalaren, Vie-
rervektoren, Tensoren u:s:w:) durchnumeriert seien. Observable wie Viererimpuls, La-
dungen, mebare Feldstarken sind dann aus den 'r (x) und ihren Ableitungen aufgebaut:

=
('r ; @'r ):
Zur Beschreibung der dynamischen Entwicklung des Systems benutzen wir das Heisenberg-
Bild, in dem der Zustandsvektor j > des Systems konstant ist und die Anfangsbedingun-
gen des Problems (Praparation) reprasentiert, wahrend die Observablen
=
(t) sich
i:a. zeitlich andern, sofern sie nicht Konstanten der Bewegung sind, d.h. d
(t)=dt = 0
gilt. Die Entwicklung des Systems wird dann beschrieben durch Angabe des Zeitverlaufs
eines vollstandigen { bei Feldsystemen unendlichen { Satzes vertauschbarer
Observabler uber ein interessierendes Zeitintervall t1 :::tn :
Anstelle der Zeitpunkte t1:::tn kann man allgemeiner { um Raum und Zeit symmetrisch zu
behandeln { eine Folge raumartiger Hyperebenen der Dimension 3 im Minkowski-
Raum,
 = fxjn x  = 0; nn = 1g; (5.2)

73
mit den Parametern 1 :::2 betrachten, deren Normaleneinheitsvektoren n zeitartig sind.
Die Hyperebenen konstanter Zeit sind dann ein Spezialfall mit n = (1; 0; 0; 0) und  = t0 .
Das Flachenelement in der Hyper ache (5.2) sei d3 und das orientierte Flachenelement
d = d3 n. Wir schreiben
(x  ) oder kurz
() fur die Werte der Observablen

auf der Hyper ache (5.2). Zu beschreiben ist nun der Zusammenhang zwischen den
Observablen
() langs einer einparametrigen Familie paralleler Hyper achen
1 :::n mit demselben n . Da in einer Quantentheorie die Erhaltung der Gesamtwahr-
scheinlichkeit (= 1) fur die Existenz des Systems zu fordern ist, erwarten wir, da dieser
Zusammenhang durch unitare Transformationen vermittelt wird.
Wir betrachten dazu zunachst allgemeine in nitesimal-unitare Transformationen
der Feldoperatoren mit einem beliebigen Generator G;
'r ! 'r + 0 'r ; 0'r = i[G; 'r ] (r = 1; ::; f ) (5.3)

mit bezuglich der gewahlten Hilbertraum-Metrik selbstadjungiertem G, das i:a. zeit- bzw.
-abhangig sein kann. In den Observablen auf der Hyper ache  wird daher die Variation
0
() = i[G();
()] (5.4)

induziert. Entsprechend werden die simultanen Eigenzustande j (!1) > des vollstandigen
Satzes f
(1 )g, charakterisiert durch deren Eigenwertsatz !1, und die entsprechenden
Zustande j (!2) > auf 2 { beide sind zu unterscheiden vom -unabhangigen Heisenberg-
Zustandsvektor { geandert gema
0 < (!1)j = i < (!1)jG(1 ); 0j (!2) >= i G(2 )j (!2) > : (5.5)

Die Transformationsmatrix < (!1)j (!2) >; die ebenso wie f


()g die Zeitentwick-
lung des Systems beschreibt, andert sich daher gema
 < (!1)j (!2) >= i < (!1)jW j (!2) > (5.6)

mit
W = G(2 ) G(1): (5.7)

Zur Formulierung des dynamischen Postulats fur den Operator W betrachten wir nun
spezieller die von 2 parallelen raumartigen Hyperebenen 1 und 2 begrenzte Raum-
Zeit-Region R12 (vgl. Abb.), auf der Feldoperatoren (5.1) de niert seien.

74
x0=t
|x|=x0

n
s2 R12

n x1,x2,x3
s1
|x|=-x0

Eine allgemeine kanonische Variation der Felder in diesem Gebiet und auf seinen Randern
sowie der Rander selbst (d:h. des Gebietes) erhalt man durch Angabe eines einparamet-
rigen hermiteschen Operatorensatzes fG()g auf einer Schar paralleler Hyperebenen 
zwischen 1 und 2 . Dieser induziert gema (5.3) A nderungen der Felder
0'r (x) = '0r (x) 'r (x) (5.8)

sowie die in nitesimalen raumzeitlichen Transformationen


x ! x0 = x + x : (5.9)

Eine solche allgemeine Variation bewirkt in allen Funktionalen der Feldoperatoren wohl-
de nierte A nderungen. Insbesondere wird die sogenannte lokale Variation eines Feldes 'r
auf dem Rand 1 bzw. 2 ;
'r (x) = '0r (x0) 'r (x); x  1;2 ; (5.10)

hervorgerufen a) durch die Variation (5.8) bei festem x  1;2 , b) bei raumzeitlichen
Transformationen zusatzlich durch den von der Verschiebung der Rand ache herruhren-
den Beitrag
'r (x0 ) 'r (x) = (@ 'r (x)) x ; (5.11)

da die linke Seite von (5.11) auch in 2. Ordnung geschrieben werden kann als '0r (x0 ) '0r (x).

75
Wir erhalten damit nach Addition (5.10) fur x  1;2 :
'r (x) = 0 'r (x) + (@ 'r (x))x : (5.12)

Wir postulieren nun das Schwinger'sche Aktionsprinzip:


(5.13)
Es existiert eine lorentzinvariante, von den Feldoperatoren 'r (x) und deren
Ableitungen @ 'r (x), jedoch nicht explizit von x abhangende Operatorfunk-
tion L, die Lagrangedichte des Systems, derart, da der die A nderung der
Transformationsmatrix bestimmende Operator W aus (5.6,5.7) gegeben ist
durch die Variation des Wirkungsintegrals
Z Z 2
W=
R12
L('; @') d x = L d4x:
4
1
(5.14)

Dieses Prinzip ist allgemeiner als das Hamilton'sche Prinzip der klassischen Mechanik
insofern, als es sich a) auf quantisierte Felder bezieht, b) auch Variationen dieser Felder
an den Randern und c) Variationen der Rander selbst, d:h. des Integrationsgebietes zulat.
Wir schreiben die Variation von (5.14) als
Z Z
W = (L + L) d4x0 L d4x; (5.15)
R012 R12
wobei R120 das aus R12 unter (5.9) hervorgehende, in nitesimal verschobene Gebiet ist.
Bei nicht raumzeitlichen Transformationen (z:B . Eichtransformationen) ist diese Verschie-
bung nicht vorhanden (x = 0), wohl aber i:a. die A nderung der Lagrangedichte
X @L
L = [ @' 0'r + @ (@@ L' ) 0 (@ 'r )]; (5.16)
r r  r
in der 0 (@ 'r ) = @ (0 'r ) zu setzen ist.
Man beachte dabei, da die oben eingefuhrte Schreibweise, die auf Schwinger zuruckgeht,
die eventuelle Nichtvertauschbarkeit der operatorwertigen Variationen 0 'r mit den 'r
bzw. @ 'r selbst nicht hervortreten lat. Sie ist also symbolisch derart zu verstehen, da
etwa 2 'r 0 'r (als Variation von '2r ) zu lesen ist als
'r  (0 'r ) + (0'r )  'r ; (5.17)
u:s:w. Da praktisch alle wichtigen Lagrangedichten Polynome bzw. Multilinearformen
niedrigen Grades in den 'r und @ 'r sind, bedeutet diese A nderung keine praktische
Schwierigkeit.
Man transformiert nun den 1. Term von (5.15) mittels der Funktionaldeterminante
00 01 02 03
@ (x ; x ; x ; x ) = 1 + @ x (5.18)
@ (x0 ; x1 ; x2 ; x3) @x
76
auf das ursprungliche Integrationsgebiet R12 zuruck und hat nach Linearisierung in den
kleinen Variationen
Z 2 @ (x ) X @ L
W = fL @x + [ @'  0 'r + @ (@@ L' )  @ (0 'r )]g d4x: (5.19)
1 r r  r
Nach partieller Integration im letzten Term und Einfuhrung der Hilfsgroen
r = @ (@@ L' ) ; (5.20)
 r
von denen die r0 die schon bekannten kanonisch konjugierten Felder sind, erhalten wir
Z 2 X @ L X
W = [ ( @' @ r )0 'r + @ (L x + r 0 'r )] d4x: (5.21)
1 r r r
Der @ -Term wird mittels des Gau'schen Integralsatzes
Z Z
@ f  d4x = f  d; (5.22)
V S (V )

wo S (V ) die dreidimensionale Randhyper ache des vierdimensionalen Volumens V und


d ihr orientiertes Flachenelement ist, umgewandelt in die Di erenz von Integralen uber
die beiden Randhyperebenen 1 und 2 ;
Z Z
F d F  d : (5.23)
2 1

Die raumartig unendlich fernen Teile der Berandung liefern keinen Beitrag, da
die Felder als in allen raumartigen Richtungen asymptotisch hinreichend schnell abfallend
angenommen werden. Dabei ist
X
F = r 0 'r + L x ; (5.24)
r
oder, da auf den Rand achen (5.12) gilt,
X X
F = r 'r ( r @  'r g L)x : (5.25)
r r
Aus der so erhaltenen Form von W;
Z Z Z 2 X @ L
W = F d F d + [ ( @ r) 0 'r (x)] d4x; (5.26)
2 1 1 r @'r
folgen nun durch Anwendung des Aktionsprinzips die

77
5.2 Feldgleichungen
Wir betrachten nun speziell Variationen, die auf den Randern 1;2 verschwinden (wie
beim klassischen Hamilton-Prinzip) und diese Rand achen ungeandert lassen, d:h. F = 0
fur x  1;2 . Im Inneren des Integrationsgebietes sollen die 0 'r ansonsten beliebig sein.
Da dann die Observablen f
(1;2 )g und deren Eigenzustande j (!1;2) > unverandert
bleiben, ist nach (5.6) W = 0, und (5.26) ist nur erfullbar, wenn im letzten Integral die
Koezienten aller 0'r fur alle x  R12 verschwinden, d:h:
@L ;
@ r = @' r = 1; ::; f: (5.27)
r
Dies sind die Euler-Lagrange'schen Bewegungsgleichungen fur Feldoperatoren. Auf
dem durch diese Feldgleichungen festgelegten Pfad des Systems im Hilbertraum bzw.
Observablenraum hat dann nach (5.26) W die in (5.7) geforderte Form mit
Z
G() = F (x) d (5.28)

mit dem in (5.25) de nierten F :

5.3 Gleichzeitige Vertauschungsrelationen


Wir betrachten nun Variationen mit x = 0 um die Losung von (5.27) herum; dann
bleibt in (5.25) nur der 1. Term und in den Feldoperatoren auf einer Hyper ache  wird
nach (5.4) die A nderung
XZ
's = i d (x0 ) [ r(x0 ) 'r (x0 ) ; 's(x) ]; x  ; (5.29)
r 

induziert. Eine entsprechende Gleichung gilt fur die konjugierten Felder r(x). Mit den
Kommutator-Identitaten
[AB; C ] = A[B; C ] + [A; C ]B (5.30)
[AB; C ] = AfB; C g fA; C gB (5.31)
lat sich dies in den beiden aquivalenten Formen
XZ
's = i d(x0 ) r(x0 ) [ 'r (x0) ; 's(x) ] + [ r(x0 ) ; 's(x) ] 'r (x0 ) (5.32)
r 
fur x   und
XZ
's = i d (x0 ) r(x0 ) f 'r (x0 ) ; 's(x) g f r(x0) ; 's(x) g 'r (x0) (5.33)
r 
fur x   schreiben. Die einfachste Losung erhalt man, indem man von (5.32) ausgeht und
setzt
[ 'r (x0 ) ; 's(x) ] = 0 (5.34)
78
fur x, x0   und
[ r(x0 ) ; 's(x) ] = i rs  (x; x0 ) (5.35)
fur x, x0  , wobei als Verallgemeinerung von 3(x x0) die -Funktion bzgl. der Hyper-
ache , d.h.  (x; x0) mit der Eigenschaft
Z
d (x)  (x; y) f (x) = f (y); y  ; (5.36)

verwendet wurde. Da mit (5.34) auch
[ 'r (x0) ; 's(x) ] = [ 'r (x0) ; 's(x) ] [ 's(x) ; 'r (x0 ) ] = 0 (5.37)
fur x, x0   fur beliebige Variationen gilt, hat man dann sogar
[ 'r (x0) ; 's(x) ] = 0 (5.38)
fur x, x0   und aus den analogen Relationen fur r(x) ebenso
[ r (x0) ; s (x) ] = 0 (5.39)
fur x, x0   .
Da man durch zwei raumartig gelegene Weltpunkte x, x0 stets eine raumartige Hyperebe-
ne  legen kann, besagen (5.35, 5.38, 5.39) zunachst die Vertauschbarkeit aller Felder und
konjugierten Felder auf derartigen Punktepaaren. (5.35) legt zusatzlich die Singularitat
der Kommutatoren fur (von raumartigen Abstanden) gegen 0 gehenden Ab-
stand der Punkte x, x0 fest. Fur die speziellen Hyperebenen n = (1; 0; 0; 0), t = const:,
haben wir wieder die bekannten kanonischen Vertauschungsrelationen fur gleiche Zeiten
[ r0(x0 ) ; 's(x) ] = i rs 3 (~x ~x0 ) (5.40)
fur x0 = x0 0;
[ 'r (x0 ) ; 's(x) ] = [ r0(x0 ) ; s0 (x) ] = 0 (5.41)
fur x0 = x0 0 .
Andererseits kann man auch von (5.33) ausgehen und die Antikommutatorre-
lationen
f r0(x0 ) ; 's(x) g = i rs 3(~x ~x0) (5.42)
fur x0 = x0 0;
f 'r (x0) ; 's(x) g = f r0(x0) ; s0 (x) g = 0 (5.43)
fur x0 = x0 0 fordern, die sich fur die speziellen Hyper achen t = const. auf die beim
Dirac-Feld benutzten gleichzeitigen Antikommutatorrelationen reduzieren. Sie
sichern ebenfalls die Mikrokausalitat fur bilineare Observable.
Kanonische Vertauschungsrelationen und Fermi-Dirac-Antikommutatoren sind also ein-
fachste Losungen einer aus dem Aktionsprinzip folgenden Integralbedingung.
Die Antwort, welche Quantisierungsart bei welchem Feldtyp anzuwenden ist, liefert das
unter sehr allgemeinen Voraussetzungen zuerst von Pauli bewiesene
79
5.4 Spin-Statistik-Theorem
Lat man nur Quantisierung mit entweder kanonischen Kommutatoren oder Antikommu-
tatoren zu, so mussen Felder mit ganzzahligem Spin nach dem ersteren Schema quanti-
siert werden, d:h. ihre Feldquanten mussen Bose-Einstein-Statistik zeigen { anderenfalls
wird die Mikrokausalitat verletzt. Felder mit halbzahligem Spin mussen dagegen nach der
zweiten Methode quantisiert werden, d:h. Feldquanten mit Fermi-Dirac-Statistik haben {
anderenfalls ist die vom Vakuumzustand aus gezahlte Energie nicht mehr positiv de nit
(siehe z:B:: P. Roman, Introduction to Quantum Field Theory).

5.5 Das Noether'sche Theorem


Wir betrachten nun kanonische Variationen, die Symmetrieoperationen des Systems dar-
stellen in dem Sinne, da sie langs des durch die Feldgleichungen (5.27) festgelegten Pfades
im Hilbertraum bzw. Operatorraum W  0 erzeugen. Nach (5.7) bedeutet dies
G(1) = G(2 ) 8 1; 2 ; (5.44)
d:h. der zugehorige Generator G ist -unabhangig. De nieren wir { als Verallgemeinerung
der Zeitableitung eines Raumintegrals { die -Ableitung gema
d Z F  d = lim 1 (Z Z ) F  d ; (5.45)
 !0 
d   0 
wobei  das Volumen eines Raumstucks um Punkt x zwischen den parallelen Hyperebe-
nen 0 und  ist. Beachten wir weiterhin, da dies fur raumartig-asymptotisch schnell
abfallende Felder nach dem Gau'schen Satz gleich
1 Z
lim (
!0   
@ F  d4x) = @ F (x) (5.46)
ist, so nden wir, da (5.44) in der Form
dG() = 0 (5.47)
d
einen Erhaltungssatz in Form der Kontinuitatsgleichung
@ F (x) = 0 (5.48)
zur Folge hat. Man spricht von dem erhaltenen Strom F  mit F  aus (5.25). Die-
ser Zusammenhang zwischen Symmetrien des Wirkungsintegrals und Erhal-
tungssatzen ist der Inhalt des Noether-Theorems.
Zur Illustration betrachten wir die (von allen physikalischen Systemen zu fordernde) Poin-
care-Invarianz. Bei der allgemeinen in nitesimalen Poincare-Transformation
x =  x +  ;  =  (5.49)

80
mit kleinem j  j und j j liegt die in den Gleichungen (1.109) bzw. (3.60) beschriebene
Situation vor, d:h. die in (5.10) de nierte lokale Variation 'r ist beim einkomponentigen
Feld Null ('starre Mitfuhrung' der Feldwerte), beim mehrkomponentigen Feld hochstens
eine zu  proportionale lineare Komponentenvermischung
X
'r (x) = 12  Irs 's(x) (5.50)
s
mit 6 konstanten Matrizen I  = I  .
Da diese Transformation W = 0 lat, existiert nach (5.48) und (5.25) der divergenzfreie
Strom
X
F (x) =  [ r@  'r gL] (5.51)
r
X X
+  [ 1 r Irs 's + ( r@  'r + gL)x ]:
2 r;s r

Wegen der Antisymmetrie von  konnen wir ersetzen


@  'r x ! 12 (x @  x @  )'r ; L gx ! 12 (gx g x ) L: (5.52)
Da @ F  = 0 fur beliebiges  und  gelten soll, erhalten wir 2 getrennte Satze von
Kontinuitatsgleichungen
@T  (x) = 0 ( = 0; ::; 3); (5.53)
@ M  (x) = 0 (;  = 0; ::; 3) (5.54)
mit dem kanonischen Energie-Impuls-Tensor
X
T (x) = r (@  'r ) gL (5.55)
r
und der Drehimpuls-Tensordichte
X X
M  (x) = r Irs 's + r(x @  x @  )'r + (gx g x ) L; (5.56)
r;s r
die in den beiden Indizes ;  antisymmetrisch ist,
M  (x) = M  (x): (5.57)
In (5.55) ist insbesondere
X 0 0
T 00 (x) = (r @ 'r ) L = H (5.58)
r
die Energie- oder Hamiltondichte und
X 0 n
T 0n(x) = (r @ 'r ) (n = 1; 2; 3) (5.59)
r

81
die Dreier-Impulsdichte des Feldes. Entsprechend sind T m0 (x) (m = 1; 2; 3) die Kom-
ponenten der Energiestromdichte, T mn(x) (m; n = 1; 2; 3) die der Stromung der Im-
pulskomponente n in m-Richtung. Die letzten 9 Groen werden analog zur Kontinuums-
mechanik zum Dreier-Spannungstensor zusammengefat.
Die integralen Erhaltungssatze lassen sich wegen der -Unabhangigkeit der Generatoren
ohne Einschrankung mit n = (1; 0; 0; 0), d:h. als
d P = 0 Z
mit P  = d3 x T 0 (x; t) (5.60)
dt
schreiben. Dieses ist der Erhaltungssatz des Viererimpulses. Der zugehorige Genera-
tor raum-zeitlicher Translationen,
Z
G =  T (x) d(x) =  P ; (5.61)

ergibt in (5.4) { zusammen mit der aus (5.12) und (5.50) fur = 0 folgenden Variation
0'r =  @ 'r (5.62)
{ nach Koezientenvergleich bzgl. der  die bereits an Spezialfallen demonstrierte Be-
ziehung
i[P  ;
] = @ 
(5.63)
fur aus den Feldern 'r und @ 'r aufgebaute Operatoren
. Die integrale Form (Heisen-
berg'sche Bewegungsgleichungen) haben wir bereits in (1.87) kennengelernt.
Andererseits entsprechen die Gleichungen (5.54,5.56) den 6 integralen Erhaltungssatzen
d M  = 0; Z
dt M = d3x M 0
 (5.64)
mit dem antisymmetrischen Drehimpuls-Vierertensor
Z "X X ! #
M  = M  = d3x 0
r    0  0
Irs 's + (x @ x @ ) 'r + (g x g x ) L : (5.65)
   
r s
Aus ihm baut sich der allgemeine Generator homogener Lorentztransformationen auf
gema
G = 21  M  ;  =  : (5.66)
Von besonderem Interesse sind die 3 rein raumartigen Komponenten
J k = M lm (k; l; m zyklisch); (5.67)
die Operatoren des Gesamtdrehimpulses des Feldsystems:
X Z 3 0 X lm !
Jk 1 k
= 2  lm d x r l m m l
Irs 's + (x @ x @ ) 'r : (5.68)
r s

82
Sie zerfallen in einen { die I lm Matrizen enthaltenden { Spin-Term und einen Bahndrehimpuls-
Anteil; jedoch hat diese Zerlegung, die die Raumkomponenten auszeichnet, keine lorentz-
kovariante Bedeutung. Nur der Gesamtdrehimpuls ist Erhaltungsgroe. Als Analo-
gon zu (5.63) erhalt man die fur Sonderfalle bereits bekannten Vertauschungsrelationen
X
[ M  ; 'r ] = i [(x @  x @  ) rs + Irs ] 's: (5.69)
s
Man beachte, da hier kein Term  L wie in (5.65) auftritt!
Beispiele:
I) Dirac-Feld
Hier hat man die 8 Felder bzw.  ( = 1; ::; 4) mit konjugierten Feldern i y bzw. 0.
Die Matrizen I sind bis auf Faktoren die Spinmatrizen der Spinordarstellung:
 = i (  )
I (5.70)

2
und (5.67, 5.68) liefert die Gesamtdrehimpuls-Operatoren
1 Z 1 
k k 3
J = 2  lm d x (x) 2  + i(x @ x @ )  14 (x):
y lm l m m l (5.71)

II) Elektromagnetisches Feld:


Hier sind (4.75) die kanonisch konjugierten Felder und die Spinmatrizen sind
I  = i(S  ) = i(g g g g ) (5.72)
wie in (4.37). Gleichung (5.67, 5.68) ergibt dann fur den Gesamtdrehimpuls
1 Z
J = 2  lm d3x (i@ 0 A) [(S lm) + i(xl @ m xm @ l )g ] A :
k k (5.73)
In diesem Falle ist die formale Zerlegung in Spin- und Bahndrehimpuls selbst in einem
speziellen Lorentzsystem noch eichungsabhangig; sie hat daher uberhaupt keine durch
Messung uberprufbare Bedeutung mehr. Nur der Gesamtdrehimpuls des Strahlungs-
feldes ist eine Megroe.
Aus den expliziten Ausdrucken (5.60, 5.65) fur P  und M  lassen sich nun auch die Ver-
tauschungsrelationen der Poincare-Generatoren untereinander bestimmen. Man
ndet nach einiger Rechnung, da sowohl bei Verwendung der kanonischen Kom-
mutatoren (5.34, 5.35) als auch der Antikommutatoren (5.42, 5.43) folgende
Relationen { fur ; ; ;  = (0; ::; 3) { gelten:
[P ; P ] = 0 (5.74)
[ M  ; P  ] = i (gP  gP ) (5.75)
[ M  ; M  ] = i (gM  + g M  g M  gM  ): (5.76)
83
Gleichung (5.74) druckt aus, da die Translationen untereinander vertauschbar sind, d:h.
eine abelsche Untergruppe der Poincare-Gruppe bilden. Gleichung (5.75) besagt, da der
Viererimpuls sich als Vierervektor transformiert wahrend (5.76) M als Komponenten
eines Tensors 2. Stufe ausweist. Alle 3 Relationen zusammen sind als Verallgemeinerung
der Gleichungen
[J k ; J l ] = i klm J m (k; l = 1; 2; 3) (5.77)
fur die Drehimpulsgruppe anzusehen, die als Spezialfall in (5.76) enthalten sind. Sie
drucken den Kommutator zweier Generatoren als Linearkombination von Generatoren
aus und de nieren damit die sogenannte Lie-Algebra der betre enden Transformations-
gruppe; die dabei auftretenden, zu klm analogen, Koezienten heien die Strukturkon-
stanten der Gruppe.
In der Theorie der Lie-Gruppen wird gezeigt, da die Kommutatoralgebra im wesentlichen
(d:h. bis auf globale topologische Eigenschaften) die Transformationsgruppe festlegt und
umgekehrt. Daher genugt im allgemeinen die Angabe der Lie-Algebren fur ein
physikalisches System zur Festlegung der Transformationseigenschaften des
Systems und damit zu dessen Klassi kation.

84
Kapitel 6
Konstruktion von Lagrangedichten
Eine wichtige Rolle spielt die Poincare-Invarianz bei der Konstruktion von Lagrangedich-
ten insbesondere fur solche wechselwirkende Feldsysteme, die kein klassisches Analogon
haben, so da die Wechselwirkungsterme nicht einfach durch Quantisierung klassischer
Ausdrucke zu gewinnen sind. Man sieht aus (5.19), da W = 0 gleichbedeutend mit
L = 0 ist; dies ist die schon im Aktionsprinzip enthaltene Forderung, da die Lagran-
gedichte L eine Poincare- und insbesondere eine Lorentz-Invariante sein mu.
Zusammen mit der Forderung, da L hochstens erste Ableitungen der Felder enthalten
soll, ergibt dies wesentliche Einschrankungen der Form der moglichen Lagran-
gedichten.
So kann nach der in (2.69) gegebenen Aufstellung der bilinearen Kovarianten die Kopplung
eines neutralen Skalarfeldes an ein Dirac-Feld nur eine Funktion von Lorentzskalaren sein
wie
(x) (x)  '(x); (6.1)
(x)  (x)  @ '(x) (6.2)
(x)  (x)  @ @ '(x)
 (6.3)
sein. Falls die Wechselwirkung nicht invariant unter Raumspiegelungen ist, sind auch
Pseudoskalare wie
(x) 5 (x)  '(x); (6.4)
(x)  5 (x)  @ '(x) (6.5)
zugelassen. Dagegen braucht etwa
@ [ (x)  (x)]  @ '(x) (6.6)
nicht berucksichtigt zu werden, weil es sich von (6.3) wegen  =  nur um eine
additive Viererdivergenz unterscheidet, die sich in den Feldgleichungen nicht auswirkt.

6.1 Global eichsymmetrische Lagrange-Funktionen


Wir haben mit (1.151,1.152) gesehen, da in Theorien mit nichthermiteschen Feldern
'y 6= ' divergenzfreie Viererstrome existieren konnen, die eine Invarianz von L unter
85
gewissen nicht raumzeitlichen Transformationen, den globalen abelschen Eichtrans-
formationen oder Phasentransformationen
'(x) ! e i '(x); 'y(x) ! ei 'y(x) (6.7)
mit = const: (0   2) zur Folge haben. Das Noether'sche Theorem zeigt nun, da
auch die Umkehrung zutri t; die entsprechenden Erhaltungsgroen sind ladungsartig.
Ist also bei einem physikalischen System eine ladungsartige Erhaltungsgroe empirisch
gesichert, so mu seine feldtheoretische Behandlung von Lagrangedichten ausgehen, die
aus eichinvarianten Kombinationen der Felder wie
'y'; ('y')2; (@ 'y)(@  ') usw: (6.8)
beim einkomponentigen Feld oder
 ; (   )(   ); (   @ ) usw: (6.9)
beim Diracfeld aufgebaut sind. Die zugehorigen erhaltenen Viererstrome folgen aus (5.25),
wenn man beachtet, da bei solchen Transformationen
X
x = 0; 0 'r = i qr 'r (mit qr = 0) (6.10)
r
gelten mu. Im Beispiel (6.7) etwa ist
qr = +1 fur 'r = ': qr = 1 fur 'r = 'y; (6.11)
Damit erhalt man
X
F (x) = r(0 'r ) = j (x) (6.12)
r
mit
X
j (x) = i qr r (x) 'r (x); (6.13)
r
wobei noch hinsichtlich der Reihenfolge der Operatoren zu symmetrisieren ist. Bei einem
einkomponentigen nichthermiteschen Feld erhalt man so
j  (x) = i ['y(y) ']; (6.14)
d:h. Gleichung (1.21).
Ein komplizierteres Beispiel ist die Wechselwirkung zwischen dem Proton-Antiproton Feld
P , dem Neutron-Antineutron Feld N (Diracfelder) und dem Ladungstriplett  + ,  0 , 
der -Mesonen. Die beiden geladenen Pionen werden durch ein nichthermitesches Feld
'(x) beschrieben, und wir setzen
'+1(x) = p1 'y(x); ' 1 (x) = p1 '(x): (6.15)
2 2
86
Dem 0 -Meson entspricht ein hermitesches Feld '0; es gilt also in kompakter Form
'ym (x) = ( )m ' m(x) (m = 1; 0; +1): (6.16)
Die Lagrangedichte mu invariant sein unter der simultanen Transformation
P ! e
i ;
P P ! ei P (6.17)
N! N;
'm ! ei m 'm (m = 1; 0; 1):
Diese Forderung ist fur die kraftefreien einzelnen Lagrangefunktionen getrennt erfullt.
Wechselwirkungsterme LI in L mussen, da die Raumspiegelungsinvarianz empirisch gesi-
chert ist und die Pionen Pseudoskalare sind, aus Beitragen vom Typ (6.4, 6.5) { die hier
insgesamt Skalare sind { aufgebaut werden und unter (6.17) eichinvariant sein. U berdies
sollen sie naturlich hermitesch sein, damit P 0 = H hermitesch bleibt. Beschranken wir
uns zunachst auf den Typ (6.4), so sind also
i P 5 P  '0; i N 5 N  '0; (6.18)
( P 5
 ' 1 N 5 P  '+1);
N (6.19)
i ( P 5
N  ' 1 + N P  '+1 );
5 (6.20)
die moglichen Bausteine von LI , wobei jeder der Terme eine unabhangige Kopp-
lungskonstante haben kann. Terme von Typ (6.5) konnen, da nicht von x abhangt
und daher
@ 'm ! ei m @ 'm (m = 1; 0; 1) (6.21)
gilt, nach demselben Schema konstruiert werden:
P  5 P  @ '0; N  5 N  @  '0 ; (6.22)
i ( P  5 N  @ ' 1 N  5 P  @ '+1 ); (6.23)
( P  5 N  @ ' 1 + N
 5
P  @ '+1 ): (6.24)
Man beachte die gegenuber (6.19, 6.20) umgekehrte Verteilung der i-Terme, die fur die
Hermitezitat wichtig sind. Sie stammen von ( 0  5 )y = 0  5 im Gegensatz zu ( 0 5)y =
0 5. Zusatzlich sind noch Selbstwechselwirkungen der beiden Feldtypen wie
( P N ) ( N P ); ( P  N ) ( N  P ); usw: (6.25)
fur die Nukleonenfelder oder
X
1 X
1
cmn ('m' m)('n' n); cmn = cnm (6.26)
m= 1 n= 1

87
mit den Invarianzforderungen vertraglich. Man beachte, da in diesem Beispiel zwei
globale Eichinvarianzen nebeneinander existieren, denn auer der Invarianz unter
(6.17), die die Erhaltung der elektrischen Ladung sichert, ist auch die Invarianz unter der
nur die Nukleonfelder betre enden Transformation
P !e N !e
i i
P; N; (6.27)
P ! ei P ; N ! ei N ;
'm ! 'm (m = 1; 0; 1)
fur alle diskutierten LI -Terme gegeben. Sie entspricht der Erhaltung der Baryonenzahl.
Die empirischen Befunde bei den Pion-Nukleon-Systemen zeigen nun, da diese Syste-
me in sehr guter Naherung ( 10 2) sogar eine wesentlich hohere Symmetrie aufwei-
sen, namlich der Invarianz unter der Gruppe der Drehungen in einem dreidimensionalen
Isospin-Raum: dabei transformiert sich das aus P und N aufgebaute Nukleonenfeld
als Isodublett, d:h. wie ein Zweierspinor
! !
(x) = P ( x ) !e 2 i
~  1 ~ P ( x ) ; (6.28)
N (x) N (x)
! ! !
0 1
1 = 1 0 ; 2 = i 0 ; 3 = 0 1 ; 0 i 1 0 (6.29)
wahrend sich das Pionfeld als Isotriplett oder Isovektor '~ mit den Komponenten
'+1, '0 und ' 1 transformiert mit den unitaren dreidimensionalen Matrizen
0 1
'1 (x)
@ '0 (x) CA ! e i ~ ~t '~ (x);
'~ (x) = B (6.30)
' 1(x)
0 1 0 1 0 1
0 1 0 0 i 0 1 0 0
t1 = p1 B @ 1 0 1C A ; t2 = p1 B @ i 0 iC A ; t3 = B @ 0 0 0 C A : (6.31)
2 0 1 0 2 0 i 0 0 0 1
In beiden Transformationsgleichungen ist ~ reell und 0  j ~ j   der Drehvektor der
Isospindrehung, die wir zusammenfassen konnen als
! ! !
! e i k Ik ; Ik = 0 t  k = 2 0 (6.32)
'~ '~ k
fur k=1,2,3, wobei die Ik 55 Matrizen sind.
Das Neue gegenuber der Phasentransformation (6.17), die wir auch schreiben konnen als
0 1
1 0
BB 0 1 0 0 0 CC 0 0 0
! ! BB CC
! e i ( 2 B+I3)
1
B = 0 0 0 0 0 ; (6.33)
'~ '~ B@ 0 0 0 0 0 CCA
B
0 0 0 0 0
88
liegt darin, da nicht nur statt der einen Phase drei reelle { noch immer globale
(x unabhangige) { Parameter auftreten, sondern da vor allem die ihnen zugeordne-
ten Generatormatrizen Ii (i = 1; 2; 3) die charakteristischen Vertauschungsrelationen fur
Drehimpulskomponenten erfullen,
[Ik ; Il ] = i klmI m ; (6.34)
so da die Transformationen (6.28-6.32) i:a. nicht vertauschbar sind. Wir haben damit
ein Beispiel fur eine globale nichtabelsche Eichsymmetrie, die in der starken Wech-
selwirkung in guter Naherung realisiert ist. Hier ist es speziell die Invarianz unter der
unitar-unimodularen Gruppe in 2 komplexen Dimensionen, SU(2), die strukturgleich zur
Drehgruppe ist. Von ihr ist (6.32) eine funfdimensionale Darstellung, die in eine zwei-
und dreidimensionale irreduzible Darstellung aufspaltet. Die entsprechenden Erhaltungs-
groen sind die 3 Komponenten des Isospins
Z X
= d3x [ y(x) 2 (x) + i ( )m m0 (x) (tk )
k
Tk m;n 'n (x) ]: (6.35)
m;n
Daneben existiert nach wie vor die Invarianz unter der einparametrigen abelschen Gruppe
(6.27) (isomorph zu U (1), der Drehgruppe in einer komplexen Dimension); die zugehorige
Erhaltungsgroe ist
Z Z
NB = d3x (  0 ) = d3x ( y
P P + Ny N ); (6.36)
die den Operator der Baryonenzahl darstellt. Zusammen mit T3 erhalten wir dann fur den
Operator der elektrischen Ladung,
Q = e ( 21 NB + T3); (6.37)
mit der Protonladung e. Die Gesamt-Symmetriegruppe ist das direkte Produkt SU(2)

U(1).
Die hohere Symmetrie schrankt die in (6.18-6.20, 6.22-6.24) angegebenen Wechselwir-
kungsterme weiter ein, da LI nun auch invariant unter Isospin-Drehungen sein mu. Be-
schranken wir uns auf den Typ (6.4), so mu, da '(x) sich als Isovektor transformiert,
ein Skalarprodukt X
I~  '~ = ( )m Im ' m (6.38)
m
gebildet werden, wo Im die (spharischen) Komponenten eines in ,  bilinearen Isospinors
I sind. Hierfur kommt nur die dem 1. Term von (6.35) analoge Bildung
 (x) 21 ~ 5 (x) (6.39)
in Frage. Mit einer Kopplungskonstanten 2g haben wir also
LI (x) = ig (  x) 5 ~ (x)  '~ (x); (6.40)
89
d:h. nur eine zulassige Kombination statt der 4 in (6.18-6.20) angegebenen. Auerdem
mu im kraftefreien Anteil von L die Masse der Nukleonen gleich sein, MP = MN , sowie
die der Pionen, m+ = m = m0 , d:h. die Isospinmultipletts mussen exakte
Massenentartung zeigen, weil sich nur dann die Massenterme zu den Isoskalaren
M (  P P +  N N ); m2 ('~  '~ ) (6.41)
zusammenfassen lassen. Diese Massenentartung ist empirisch in guter Naherung erfullt.
Diese Wechselwirkung (6.40), die aus Grunden der Renormierbarkeit noch um den (6.26)
entsprechenden Isoskalar
L0I = ('~  '~ )2 (6.42)
erweitert wird, bildet den Rahmen fur die Yukawa'sche Mesontheorie der Kern-
krafte, die eine Beschreibung des langreichweitigen Anteils der Nukleon-Nukleon-Wechsel-
wirkung sowie der niederenergetischen Nukleon-Pion-Prozesse liefert.

6.2 Lokale Eichsymmetrien


Eine wesentlich starkere Symmetrieforderung ist die, da L invariant sei gegen einen
an jedem Raum-Zeit-Punkt verschieden ausfallenden Phasenwechsel der Felder, d:h. eine
lokale Eichtransformation, die im einfachsten (einparametrig-abelschen) Fall
i qr (x) X
'r (x) ! e 'r (x); qr = 0 (6.43)
r
lautet. Bei der Konstruktion invarianter Lagrangedichten tri t man nun auf die Schwie-
rigkeit, da Relationen wie (6.21) wegen der x-Abhangigkeit der Phase (x) nicht mehr
gelten; man hat daher
@ 'r (x) ! e i qr (x) [ @ i qr @ (x) ] 'r (x); (6.44)
so da die letzte der 3 Kombinationen (6.8) nicht eichinvariant ist.
Die Losung des Problems ist im Rahmen der Di erentialgeometrie wohlbekannt: man
ersetzt die gewohnliche Ableitung @ durch eine eichkovariante Ableitung D;
@ 'r (x) ! D 'r (x) = [ @ i qr A(x) ] 'r (x); (6.45)
in der neben @ noch eine Multiplikation mit einem Vierervektorfeld A (x), dem Eichbo-
sonfeld, auftritt. Die Transformationseigenschaft von A (x) wird dabei so gewahlt, da
der Zusatzterm in (6.44) kompensiert wird, d:h. wie in (6.21)
D 'r (x) ! e i qr (x) [ D 'r (x) ] (6.46)
gilt. Dies ist o enbar der Fall fur
A (x) ! A0 (x) = A(x) @ (x): (6.47)

90
Dieses ist genau das Eichverhalten des elektromagnetischen Viererpotentials!
Wichtig ist, da mit der Einfuhrung von (6.45) automatisch Wechselwirkungsterme zwi-
schen A(x) und den Feldern 'r (x) in das eichinvariante L eingebaut werden, die man als
minimale Kopplungen bezeichnet.
Wir betrachten als Beispiel das Elektron-Positron-Diracfeld (x), dessen Lagrangedichte
(2.17) wir nun mit L0 bezeichnen. Die Forderung nach Invarianz unter
(x) ! e i e (x) (x); (x) ! ei e (x) (x) (6.48)
(mit qr = e) erfordert die Ersetzung (6.45) und damit
L0 ! L0 + j  (x)A (x); j  (x) = e (x)  (x): (6.49)
Damit ist der von der klassischen Elektrodynamik bekannte Wechselwirkungsterm j A
in der Lagrangedichte L erzeugt worden, an dem lediglich noch aus Grunden der Invarianz
unter Ladungskonjugation die Symmetrisierung (3.90) des Fermionenstromes vorzuneh-
men ist. Auerdem mussen Terme mit L00 hinzugefugt werden, die das Eichbosonfeld
fur sich allein beschreiben und zugleich die Eichinvarianz wahren. Dies leistet z:B:
L00 = 14 F F  ; F  = @  A @  A ; (6.50)
wahrend ein Massenterm der Form
m2 A (x)A (x) (6.51)
die Eichinvarianz zerstoren wurde. Eichbosonfelder mussen daher masselos sein!
Statt (6.50) kann auch, wie beim freien Strahlungsfeld, die nicht manifest eichinvariante
Form (4.69) beibehalten werden: die dazu notwendige Einschrankung des Hilbertraumes
durch die schwache Lorentzbedingung (4.98) scheint zwar zunachst fur das wechselwir-
kende Feld nicht mehr sinnvoll zu sein, weil A(x) nicht mehr Losung einer freien Klein-
Gordon-Gleichung und seine Zerlegung in A+ , A damit nicht mehr de niert ist. Jedoch
sichern die aus (6.49) unabhangig von der Form von L00 folgenden Feldgleichungen
fur (x);
( i  @ + M  14 ) (x) = e  (x)A (x); (6.52)
bereits @ j = 0, so da die Feldgleichung fur A ,
 
@ @  A(x) = e j  (x); (6.53)
durch Di erenzieren nach x
@ @  (@ A) = e(@ j  ) = 0 (6.54)
ergibt, d:h. @ A ist selbst fur das wechselwirkende Feld Losung einer freien
Feldgleichung. Damit behalt die schwache Lorentzbedingung
(@ A (x))(+) j phys >= 0 (6.55)
ihren Sinn und sichert die Eichinvarianz auf dem physikalischen Teil des Hilbertraumes.
Die Feldgleichungen (6.52-6.55) sind die Grundlage der Quantenelektrodyna-
mik (QED), die die Wechselwirkung des e+ e -Feldes oder des +  -Feldes mit
dem Strahlungsfeld A beschreibt. Als erste erfolgreiche Eichfeldtheorie mit minimaler
Kopplung ist sie zum Modell fur nahezu alle Eichfeldtheorien geworden.
91
6.3 Die lokale nichtabelsche Eichinvarianz
erfordert einen aufwendigeren Formalismus. Wir gehen wieder aus von einem Satz von
Feldoperatoren f'r (x)jr = 1; ::; f g, die wir zu einem f -komponentigen Spaltenvektor an-
ordnen und die sich bei nun x-abhangigen und nichtabelschen Umeichungen gema
PN
'(x) ! e i a=1 a(x) La '(x) (6.56)
linear untereinander transformieren, d:h. mit einer (f  f )-Matrixdarstellung einer N -
parametrigen, nichtabelschen Gruppe G (der Eichgruppe). Diese Darstellung wird im
allgemeinen reduzibel sein { wie im Beispiel (6.28) { , d:h. '(x) darf in mehrere je nur in
sich transformierte Teilsatze zerfallen. Die a (x) in (6.56) seien N reelle Parameterfunk-
tionen und die La die f -dimensionalen Matrixdarstellungen der N Generatoren von G.
Sie mussen hermitesch sein, damit (6.56) unitar ist, und auerdem in Verallgemeinerung
von (6.32) die Lie-Algebra
[La ; Lb ] = i fab cLc (a; b; c = 1; ::; N ) (6.57)
erfullen. Da die Kommutatoren antisymmetrisch sind und stets die Jacobi-Identitat
[[A; B ]; C ] + [[B; C ]; A] + [[C; A]; B ] = 0 (6.58)
erfullen, mussen die Strukturkonstanten fab c fur (a; b; c; d = 1; ::; N ) die Eigenschaften
fab c = fba c (6.59)
fab m fmc d + fbc m fma d + fca m fmb d = 0 (6.60)
besitzen, sofern die La alle linear unabhangig sind. Daruberhinaus konnen bei allen physi-
kalisch wichtigen Eichgruppen { den sogenannten kompakten halbeinfachen Lie-Gruppen
{ die La so gewahlt werden, da die Strukturkonstanten sogar in allen 3 Indizes antisym-
metrisch sind,
fab c = fcb a = fac b: (6.61)
Soll L nun unter (6.56) invariant sein, so mussen die darin auftretenden @ 'r wieder durch
eichkovariante Ableitungen ersetzt werden,
D '(x) = [ @ ig Aa(x)La ] '(x); (6.62)
wobei der Zusatzterm igAa La nun matrixwertig ist. Es sind also N Vektoreichfel-
der Aa (x) (a = 1; ::; N ), die im nichtabelschen Fall auch Yang-Mills-Felder heien,
einzufuhren und zwar fur jede Dimension der Lie-Algebra genau eins. Ihr Transformati-
onsverhalten ist so einzurichten, da D ' sich wie ' selbst transformiert:
D '(x) ! e i a(x) La [D '(x)]: (6.63)
Dazu betrachtet man wegen der Nichtvertauschbarkeit der La zweckmaigerweise zunachst
in nitesimale Eichtransformationen mit ja(x)j  1; hierbei sei
Aa(x) ! Aa (x) + Aa (x): (6.64)
92
Dann gilt nach Linearisierung in den kleinen Groen a(x)
D '(x) ! (1f ib Lb )(@ '(x)) ig Aa La '(x) (6.65)
ig [ (Ac) Lc '(x) + ( g1 @ c) Lc '(x) + Aa b ( iLa Lb ) '(x) ];
wobei 1f die f -dimensionale Einheitsmatrix bezeichnet.
Im letzten Term schreiben wir mit (6.57)
iLa Lb = iLb La + fab c Lc (6.66)
und fassen den Term mit iLb La mit den ersten beiden Termen in (6.65) zusammen zu
(1f ibLb )(@ ig Aa La ) '(x): (6.67)
Dies ist gerade (in in nitesimaler Form) die rechte Seite von (6.63). Also mu der Restterm
ig [ Ac + g1 (@ c) + fab cAa b ] Lc '(x) (6.68)
fur alle '-Werte verschwinden. Wegen der linearen Unabhangigkeit der Lc bedeutet dies
Ac (x) = g1 @ c(x) fab cAa (x) b(x): (6.69)
Die entsprechende endliche Transformation ist am einfachsten fur die in (6.62) auftre-
tende Kombination Aa La zu schreiben:
A0a (x) La = Aa (x) [ e iK (x) La eiK (x) ] gi [ @ e iK (x) ] eiK (x) (6.70)
mit der Abkurzung
K (x) = b(x)Lb : (6.71)
Fur abelsche Eichgruppen sind alle Strukturkonstanten f in (6.57) identisch Null; also ist
dann [K; La ] = 0 fur alle a = 1; ::; N und
@ e iK = ( i@ K ) e iK : (6.72)
Man erhalt dann nach Koezientenvergleich bzgl. der La separat fur jedes Aa (x) das
einfachere Gesetz (6.47) zuruck.
Der das Eichfeldermultiplett allein beschreibende, zu (6.50) analoge L-Term wird ebenfalls
komplizierter, denn im nichtabelschen Fall ist
Fc (x) = @ Ac (x) @ Ac(x) (6.73)
nicht eichinvariant: vielmehr ist nach (6.69) bei in nitesimalen Eichtransformationen
Fc = fab c [ @ (Aa b ) @ (Aa b ) ] (6.74)
= fab c b [ @Aa @ Aa ] + fab c [ Aa(@ b) Aa (@ b) ]:
93
Diese unerwunschte A nderung ist linear in den Aa ; um sie zu kompensieren, benotigt man
daher einen in den Eichfeldern bilinearen Zusatzterm zu F . Wir berechnen daher
[fab c Aa Ab ] = g1 fab c [ Aa (@ b) + Ab (@ a ) ] (6.75)

fab c [ fde b Aa Ad + fde a Ad Ab ] e:


Im 2. Term vertauschen wir die Summationsindizes a; b und benutzen (6.59); im 3. und
4. Term werden die Indizes so umbenannt, da in beiden AdAe erscheint. Wir wenden
erneut (6.59) an, wobei mit (6.60)
feb m fmd c + fbd m fme c = fde a fab c (6.76)
entsteht. Also erhalten wir zusammengefat:
 [ g fab c Aa Ab ] = fab c [ Aa (@ b ) Aa (@ b ) ] fab c b [ g fde a Ad Ae ]: (6.77)
Hier kompensiert der 1. Term gerade den 2. Term von (6.74). De nieren wir also
Gc = @ Ac @ Ac + g fab c Aa Ab ; (6.78)
dann folgt durch Zusammenfassung von (6.74, 6.77)
Gc = fab c b [ @ Aa @ Aa + g fde a Ad Ae ] = fab c Ga b: (6.79)
Die Groe Gc transformiert sich zwar nicht als Eichskalar (und kann daher keine
mebare Feldstarke sein), wohl aber als Eichvektor gema der gegebenen Lie-Algebra.
Der Term
L00 = 41 Gc G;c (6.80)
ist die gewunschte Eichinvariante (als 'Betragsquadrat' des Eichvektors), denn
L00 = 14 [ Gc G;c + Gc G;c ] = (fab c + fcb a)( 41 Ga G;c) b (6.81)
ist nach (6.61) 0.
Bemerkenswert an der Yang-Mills-Lagrangedichte (6.80) ist vor allem, da selbst bei
Abwesenheit anderer Felder die Yang-Mills-Vektorbosonen nach (6.78) Selbst-
wechselwirkungen 3. und 4. Grades (in L) aufweisen. Wiederum mussen die Eich-
vektorbosonen masselos sein, weil ein L-Term  m2 AaA;a die Eichinvarianz zerstoren
wurde.
Als wichtiges Beispiel geben wir die Lagrangedichte einer nichtabelschen Eichfeldtheo-
rie mit der 8-parametrigen Eichgruppe SU(3) { der Gruppe der unitaren Matrizen
mit Determinante 1 in 3 komplexen Dimensionen { an, deren 8 Generatoren die Vertau-
schungsrelationen
[Fa ; Fb] = i fab c Fc; Fa = Fay; (6.82)
94
Tabelle 6.1: Strukturkonstanten der SU(3) in (6.82)
(a,b,c) 1,2,3 1,4,7 1,5,6 2,4,6 2,5,7 3,4,5 3,6,7 4,5,8 6,7,8
p p
fab c 1 1/2 -1/2 1/2 1/2 1/2 -1/2 3=2 3=2

besitzen, wobei die nichtverschwindenden Strukturkonstanten in der Tabelle 6.1 gegeben


sind.
Die Materiefelder sind Dirac-Felder , ,  die bzgl. der Eichgruppe in Tripletts zerfallen
derart, da sich die -Tripletts mit der dreidimensionalen Darstellung '3', die  { Tripletts
mit der davon unabhangigen Darstellung '3*' von SU(3) in sich transformieren (Quark-
Felder). Die entsprechenden 3  3 Matrizen La heien hier 1=2 a bzw. 1=2 a (a =
1; ::; 8); explizit
0 1 0 1 0 1
0 1 0 0 i 0 1 0 0
B
1 = @ 1 0 0CA; B
2 = @ i 0 0CA; B
3 = @ 0 1 0CA;
0 0 0 0 0 0 0 0 0
0 1 0 1 0 1
0 0 1 0 0 i 0 0 0
B
4 = @ 0 0 0CA; B C B
5 = @ 0 0 0 A ; 6 = @ 0 0 1CA;
1 0 0 i 0 0 0 1 0
0 1 0 1
0 0 0 1 0 0
7 = B
@0 0 iCA ; 8 = p13 B@ 0 1 0 CA :
i 0 0 0 0 2
Die innerhalb eines Tripletts (x) = f r (x)jr = 1; 2; 3g oder  (x) = f s(x)js = 1; 2; 3g
drei Werte annehmende Quantenzahl heit color oder Farbe. Verschiedene Tripletts sind
auerdem durch N Werte einer weiteren, mit einer globalen Symmetriegruppe (analog
zum Isospin) verknupften Quantenzahl m unterschieden, die avor oder Geschmack
heit. In der Natur sind N = 6 avors realisiert, die als 'up', 'down', 'strange', 'charm',
'bottom' und 'top' bezeichnet werden.
Das Oktett der Eichbosonen Aa (x) wird als Gluon-Feld bezeichnet und besitzt ebenfalls
color, hier mit 8 Werten a = 1; ::; 8. Die Lagrangedichte lautet demnach
LQCD (x) = 1X 8
G a (x) G;a (x) (6.83)
4 a=1 

 m;c(x) f i  [ cd @ ig Aa (x) ( 2a )cd ] mn + Mmn g n;d(x);


wobei Mmn die 66 Massenmatrix der Quarks im avor-Raum ist und c = 1; 2; 3 fur
den Farb-Index steht, an den die Matrizen a angreifen. In (6.83) sind weiterhin die 4
95
Dirac-Indizes (fur Teilchen und Antiteilchen sowie Spin 'up' und 'down') an den Fermion
Spinoren unterdruckt.
Diese Eichfeldtheorie wird unter dem Namen Quanten-Chromo-Dynamik (QCD)
als Theorie der starken Wechselwirkung betrachtet, die die innere Struktur der Meso-
nen und Baryonen (Hadronen) und deren Wechselwirkung beschreibt. Im Gegensatz zur
Quantenelektrodynamik (QED) ist die QCD insbesondere bei kleinen Impulsubertragen
(groen Abstanden) gegenwartig noch nicht verstanden; bei hohen Impulsubertragen (kur-
zen Abstanden) dagegen ist sie experimentell sehr gut gesichert, wie storungstheoretische
Losungen zeigen.

96