QUANTENFELDTHEORIE

Maximilian Attems Manfred Schweda

SS 2004 (Version 23. Mai 2007)

http://tph.tuwien.ac.at/teaching.html mattems@hep.itp.tuwien.ac.at mschweda@tph.tuwien.ac.at

Inhaltsverzeichnis
1 Einleitung 2 Die freie Feldtheorie 2.1 2.2 2.3 Der Feldbegri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Aufstellung von Feld- oder Wellengleichungen . . . . . . . . . . . . . . . . Die Lorentz-Transformation . . . . . . . . . . . . . . . . . . . . . . . . . . 2.3.1 2.3.2 2.3.3 2.3.4 2.3.5 2.3.6 2.3.7 2.4 2.4.1 2.4.2 2.4.3 2.5 2.6 2.7 Einleitung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Natrliche Einheiten . . . . . . . . . . . . . . . . . . . . . . . . . . u Vierervektoren . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Matensor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Mathematische Formulierung . . . . . . . . . . . . . . . . . . . . . 4 5 5 5 7 7 7 7 8 9

Beispiele . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 Gradienten . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 Klassische Punktmechanik . . . . . . . . . . . . . . . . . . . . . . . 14 Lagrange-Funktion eines Beispiels . . . . . . . . . . . . . . . . . . . 18 Klassische Feldtheorie . . . . . . . . . . . . . . . . . . . . . . . . . 20

Das Hamiltonsche Prinzip . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

Das Klein-Gordon-Feld . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 Das Elektromagnetische Feld . . . . . . . . . . . . . . . . . . . . . . . . . . 27 Das Dirac-Feld . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 2.7.1 2.7.2 Versuche zur Formulierung einer relativistischen Quantentheorie . . 32 Die Dirac-Gleichung . . . . . . . . . . . . . . . . . . . . . . . . . . 34 Die innere und uere Vernderung von Feldgren . . . . . . . . . 40 a a o Aufstellung und Nachweis . . . . . . . . . . . . . . . . . . . . . . . 41 Erhaltungsstze . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 a 49 . . . . . . . . . . . . 49

2.8

Das Noether-Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 2.8.1 2.8.2 2.8.3

3 Die Quantisierung der freien Feldtheorie 3.1 3.2 Die kanonische Quantisierung in der Punktmechanik 3.2.1 3.2.2 3.3 3.3.1 3.3.2 3.3.3 3.4

Die Quantisierung des Klein-Gordon-Feldes . . . . . . . . . . . . . . . . . . 50 Kanonische Quantisierung . . . . . . . . . . . . . . . . . . . . . . . 50 Alternative Quantisierungsmethode . . . . . . . . . . . . . . . . . . 57 Mebarkeit und Kausalitt . . . . . . . . . . . . . . . . . . . . . . . 60 a Die Ausbreitungsfunktion - Propagatoren . . . . . . . . . . . . . . . 63 Greensche Funktionen . . . . . . . . . . . . . . . . . . . . . . . . . 70

Singulre Funktionen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 a

Die Quantisierung des Elektromagnetischen Feldes . . . . . . . . . . . . . . 72 2

3.5

Die Quantisierung des freien Dirac Feldes . . . . . . . . . . . . . . . . . . . 79 3.5.1 3.5.2 3.5.3 Bemerkungen uber identische Teilchen und die Unterscheidbarkeit . 79 Die Konsequenzen des Pauli-Verbotes auf die Quantisierungsprozedur . . . . . . . . . . . . . . . . . . . . . . . . 81 Die Quantisierung . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83 86

A Anhang

A.1 Ergnzungen zur Hamilton-Dichte des Klein-Gordon-Feldes . . . . . . . . . 86 a A.2 Kommutatorbeziehung der alternativen Quantisierungsprozedur . . . . . . 88 A.3 Wiederholung: 3 Felder der freien Theorie . . . . . . . . . . . . . . . . . . 89

Einleitung

Die Quantenfeldtheorie (QFT) vereinigt die bekannten Regeln der Quantentheorie mit der speziellen Relativittstheorie und der Feldtheorie. Ein Standardbeispiel der Quantena Feldtheorie ist die Quantenelektrodynamik (QED). Die aufgrund ihrer przisen Aussagen a und theoretischen Resultate wie z. B. die Berechnung der Feinstrukturkonstante ein unerreichtes Vorbild fr jedes andere dynamische Modell darstellt. u Eine selbstkonsistente Einfhrung in die Quantenfeldtheorie sollte sich also in sinnvoller u Weise mit den Begrien der klassischen Feldtheorie, den Postulaten der speziellen Relativittstheorie samt den daraus resultierenden Konsequenzen und mit den Grundzgen der a u Quantenmechanik auseinandersetzen. Im nchsten Kapitel wird die klassische freie Feldtheorie mit Bercksichtigung der Rea u lativittstheorie behandelt. Es werden die Grundstze der Feldtheorie und die Lorentza a Transformation in ko- und kontravarianter Schreibweise entwickelt. Im Anschlu daran wird der klassische Lagrange Formalismus prsentiert, der ein allgemein gltiges Ina u strumentarium zur Herleitung von Feld- beziehungsweise Wellengleichungen darstellt. Im Rahmen dieses Stoes wollen wir die freie Klein-Gordon-Gleichung, die freien MaxwellGleichungen und die freie Dirac-Gleichung diskutieren. Die Aufstellung und der Nachweis des Noether-Theorems folgt. Im darauf folgenden Kapitel werden wir die Gesetze der Quantentheorie in die freie Feldtheorie einbauen. Bei dieser Gelegenheit werden wir die Grundlagen der Quantentheorie, soweit diese fr unser Betrachtungen ntig sind, wiederholen. u o Im aufbauenden Skriptum Quantenfeldtheorie 2 [9] werden die realistischeren - wechselwirkenden Feldmodelle diskutiert. Dabei werden die Feynman-Regeln und die Strungstheorie o entwickelt. Im letzten Kapitel wollen wir dort die Renormierung der Quantenfeldtheorie betrachten. Danke an Klaus Ita, Jrgen Klepp, Elisabeth Magerl, Regine Mller, Volkmar Putz, u u Maria Schimpf, Michael Wind fr geborgte Skripten und Anregungen. Korrekturen und u Ergnzungen werden gerne entgegen genommen. Viel Freude an diesem spannendem Gea biet der Physik.

2
2.1

Die freie Feldtheorie

Der Feldbegri

Bevor wir uns wirklich systematisch den freien Feldmodellen zuwenden, wollen wir an Hand der klassischen Maxwelltheorie den Begri des Feldes1 nher betrachten. a Zu diesem Zweck nehmen wir vorbergehend an, da wir zwei ruhende, geladene Teilu chen haben, die aufeinander eine Wechselwirkung ausben. Man kann sich nun vorstellen, u da eines der beiden Teilchen ein Feld erzeugt und dadurch auf das andere Teilchen, das sich ja in diesem Feld bendet, eine Kraft ausbt. In der klassischen Physik ist dieu se Modellvorstellung nur ein Hilfsmittel. Bercksichtigt man jedoch die Prinzipien der u speziellen Relativittstheorie, so bekommt man einen anderen Sachverhalt, da man die a endliche Ausbreitungsgeschwindigkeit (Kausalitt) der Wirkung einberechnen mu. Eine a Anderung der Lage des einen Teilchens beeinut das andere Teilchen erst nach einer gewissen, endlichen Zeitspanne. Das Feld besitzt somit physikalische Bedeutung. Wechselwirkungen haben nur eine endliche Ausbreitungsgeschwindigkeit (Kausalitt). Es existiert also keine unmittelbare Wecha selwirkung zwischen rumlich getrennten Teilchen. a

2.2

Aufstellung von Feld- oder Wellengleichungen

Zur Erinnerung die 4 Maxwell-Gleichungen in ihrer allgemeinen Form: H = 1 D 4 , j+ c c t B = 0, (1)

1 B , D = 4. c t Sie werden noch durch die sogenannten Materialgleichungen ergnzt: a E = D = E, B = H, j = E.

(2)

(3)

Die Maxwell-Gleichungen sind also ein gekoppeltes Gleichungssystem. Durch Entkoppelung des Systems knnen wir zwei Wellengleichungen fr E und H aufstellen. In Indexo u schreibweise bentzen wir: u (rotH)i = ijk j Hk , B = i Bi .

Fr die folgende Betrachtung soll gelten: = const, = const, = const. Es gilt fr u u Metalle: = 0
1

div E = 0.

siehe auch Dirschmid, Kummer, Schweda [4] Kapitel 1

Zur Aufstellung einer Wellengleichung bilden wir nochmals den Rotor von einer der beiden oberen Maxwell-Gleichungen. ( E) = ( Mit Hilfe der Vektoranalysis erhalten wir links rot(rotE)
i

1 B ). c t

= E

= ijk j klm l Em = (il jm im jl )j l Em

rot(rotE) = i m Em j j Ei = (E) ()2 E. und rechts der Gleichung 1 B 1 )= B = H ( c t c t c t grad(div E) E = H. c t Da = 0 und damit div E = 0 fr Metalle gilt, erhlt man u a E = c t 4 1 D j+ c c t = c t 4 1 E E + c c t = 4 E 2 E 2 2. c2 t c t

Wir haben die 1. Telegraphengleichung fr E berechnet: u E 2 E 4 E = , c2 t2 c2 t 1.T G. (4)

In analoger Weise erhlt man die 2. Telegraphengleichung fr H a u 2 H 4 H H 2 , = 2 c t c2 t mit die beiden Wellengleichungen 2E = 0, 2H = 0. Vakuum gelten freie, homogene Feldgleichungen fr die Feldgren E und H. u o Dieses Konzept, die Aufstellung freier, homogener Wellengleichungen fr die entsprechenu den Feldgren, werden wir nun allgemein besprechen. Es wird mglich sein, die Feldo o gleichungen aus einer Lagrange-Funktion herzuleiten. Dieses Verfahren hat sich bei der Behandlung von quantisierten Feldtheorien gut bewhrt. a Zuvor sollen die Prinzipien der Relativittstheorie bercksichtigt werden. a u 6 (6) (7) 2.T G. (5)

Betrachten wir nun den Spezialfall des Vakuums, so gilt = = 1, = 0 und wir erhalten 1 2 =2 c2 t2

Die Wellengleichungen beschreiben die Ausbreitung einer elektromagnetischen Welle. Im

2.3
2.3.1

Die Lorentz-Transformation
Einleitung

Albert Einstein hat in seiner speziellen Relativittstheorie verschiedene, teilweise bereits a bekannte Prinzipien zu einer geschlossenen Theorie geformt. Durch die Existenz einer maximalen Geschwindigkeit der Lichtgeschwindigkeit c, die in allen Inertialsystemen gleich gro ist, mssen wir neue Transformationsgleichungen u suchen, von denen wir aus Eindeutigkeitsgrnden eine lineare Gestalt verlangen. Die u Lorentz-Transformation erfllt diese Bedingungen. u Durch Einfhrung von Vierervektoren lt sich der Sachverhalt gut diskutieren. u a 2.3.2 Naturliche Einheiten

In der relativistischen Quantentheorie erhlt man natrliche Einheiten durch setzen: a u = 1, c = 1. (8)

c = 1 impliziert, Zeit- und Lngenintervalle auf die selbe Basis zu stellen (So ist es in der a Astronomie ublich Lichtjahre als Entfernungsangabe anzugeben). c2 t2 = x2 beschreibt die Ausbreitung des Lichtes. hat die Dimension Energie x Zeit. = 1 erlaubt daher Zeit und somit auch Lnge als a Intervalle inverser Energie anzusehen. So ist Gev (109 eV ) (0, 2f m)1 eine oft bentzte u Die elektrische Ladung schlielich erscheint als dimensionslose Gre := o 2.3.3 Vierervektoren
e2 4 c

Einheit fr Energie in der Teilchenphysik. u

1 . 137.036

Der euklidische 3-dimensionale Raum x = (x, y, z) = (x1 , x2 , x3 ) wird durch die 4dimensionalen Raumzeit-Koordinaten generalisiert. Dies fhrt zur Dention des u Kontravarianten Vektors x : x = (x0 , x1 , x2 , x3 ). Griechische Indizes , , , .. nehmen die Werte 0, 1, 2, 3 an, lateinische Indizes i, j, .. 1, 2, 3. Die Verwendung lateinischer Indizes verdeutlicht die jeweilige Beschrnkung a auf den gewhnlichen Raum, o x = (x0 , xi ) = (t, x). Analog deniert man den kovarianten Vektor x : x = (x0 , xi ) = (t, x). 7 (10) (9)

2.3.4

Matensor

Im folgendem denieren wir einen pseudoeuklidischen Raum den sogenannten MinkowskiRaum ahand der bereits aufgestellten Ortsvierervektoren. Wir bilden den Viererbetrag : x2 = x x = (x0 )2 (xi )2 = t2 x2 = const. Dieser Viererbetrag kann durch Einfhrung einer Metrik genauer formuliert werden. u Dies geschieht in vlliger Analogie zum dreidimensionalen, euklidischen Raum. o Da wir Lngenmessungen durchfhren wollen, denieren wir ein innitesimales Wegelea u ment: ds2 = gik dxi dxk 0. wobei der Matensor gik die Form 1 0 0

besitzt. Im euklidischen Raum herrscht also eine positiv denite Metrik. In vlliger Anao simales Viererwegelement : logie dazu deniert man im 4-dimensionalen Minkowski-Raum mittels x x ein inniteds2 = (dx0 )2 (dxi )2 = g dx dx . um eine indenite Metrik. > 0, 2 ds = 0, < 0, zeitartig, lichtartig, raumartig. (11)

gik = ik = 0 1 0 0 0 1

Im Unterschied zum 3-dimensionalen Raum handelt es sich aber im 4-dimensionalen Raum

Die Klassizierung entspricht der Lage des Vektors x relativ zum Lichtkegel. Fr die u beiden ersten Flle kann man noch eine Unterscheidung hinsichtlich des Vorzeichens der a Zeitkomponente treen: x0 > 0, x0 < 0, der Vektor weist in die Zukunft, der Vektor weist in die Vergangenheit.

g ist in der speziellen Relativittstheorie ortsunabhngig. Das Abstandsquadrat lt a a a sich nun formulieren (Nicht freie Indices drfen umgedreht werden): u x2 = x x = x x = g x x = g x x . 8 (12)

Durch Anwendung des Matensors g wird also aus einem kovarianten ein kontravarianter Vektor und umgekehrt: x = g x , x = g x . Die explizite Form des Matensors lautet: 1 0 0 0 0 1 0 0 g = 0 0 1 0 0 0 0 1 Numerisch gilt ubrigens: g = g . Verizierbar anhand: g = g g g . Ferner gilt g g = = . 2.3.5 Mathematische Formulierung der Lorentz-Transformation (16)

(13) (14)

(15)

Der Wechsel des Bezugssystems durch eine Lorentz-Transformation transformiert die KoEinen hnlichen Sachverhalt kennen wir bereits von den 3-dimensionalen, orthogonalen a Drehungen, deren Erweiterung die Lorentz-Transformation ist. Fr orthogonale Drehungen gilt (siehe Methodenvorlesung [7] 2 ): u xi xi = xi xi = const, aij alj = il , aT a = 1 l. In Analogie formuliert man die Lorentz-Transformation. L ist eine 4 4 Matrix und x = L x .
2

ordinaten linear und reell so, da der Viererbetrag x x eine Invariante ist.

kennzeichnet die Lorentz-Transformation. Denition:

(17)

xi xi ,

xi = aij xj .

Durch Hinauf- oder Herabziehen des Indexes kann man aus der Matrix L die Matrizen L , L , L (z.B.: L = g L ) erhalten. Die Bedingungen der Reellitt und der a Erhaltung des Abstandsquadrates schreiben sich wie folgt: (L ) = L L
T

(18) (19)

(L ) =

Denn das Skalarprodukt ist Lorentz-invariant. x x = L L x x = (LT ) L x x = x x L L =

Die endliche Lorentz-Transformation lt sich auch durch wiederholte Anwendung einer a innitesimalen Transformation konstruieren3 . L = g + , wobei wegen L L = , mit Umbenamsung der Indize im letzten Schritt (g + )(g + ) = g g +g + g + = + +
<<O()

(20)

= ,

(21)

um ein invariantes Eigenzeit-Intervall zu erhalten. ist der Parameter (verallgemeinerter Drehwinkel) einer innitesimalen Lorentz-Transformation und es gibt 6 unabhngige (3 gewhnliche Drehungen entlang der 3 Raumachsen x1 , x2 , x3 in den a o Ebenen x2 x3 , x1 x3 , x1 x2 , sowie 3 eigentliche Lorentz-Transformationen in den Ebenen x0 x1 , x0 x2 , x0 x3 ).

2.3.6

Beispiele innitesimaler Lorentz-Transformation 01 =

ist eine Transformation auf ein Koordinatensystem, das sich mit der konstanter Geschwindigkeit in x-Richtung bewegt. 1 2 = 12 =
3

siehe auch: Bjorken - Drell [1], Kapitel 2.2 oder Messiah [5].

10

ist eine Drehung um den Winkel um die x3 -Achse. Zur Gewinnung der endlichen Transformation schreibt man = + (Jn ) : Innitesimalparameter oder Drehwinkel um eine Achse in n-Richtung. Jn : 4 4 Koezientenmatrix einer Darstellung der Einheits-Lorentz-Drehung um die n-te Achse. Das folgende Beispiel zeigt eine Transformation auf ein gestrichenes System, das sich mit einer innitesimalen Geschwindigkeit = in x1 -Richtung bewegt. 0 1 0 0 1 0 0 0 , J= 0 0 0 0 0 0 0 0 J 01 = J 10 = J 01 = +J 10 = 1. Unter Verwendung der algebraischen Eigenschaft 1 0 0 0 0 1 0 0 2 J = 0 0 0 0 , 0 0 0 0 J 2N = J 2 ,

also

J 3 = +J

J 2N +1 = J

kann man die endliche Transformation durch N -maliges Hintereinanderschalten der Elementar Lorentz-Rotatation = N 1 fr gleichfrmige Relativbewegung in x - Richtung schreiben als u o x = lim
N

g+

J N

g+

J N

1 2

xN = 4 eJ

x =

= (cosh J + sinh J) x = 5 1 J 2 + J 2 cosh + J sinh

4

x .

expA = lim
5

1+

A N

ex = cosh x + sinh x

cosh(wJ) =

1 2n J 2n = J 2n = J 2 (2n)! n=0

nN = 1 +

1 1 2n J 2 = 1 J 2 + J 2 2n (2n)! (2n)! n=1 n=0

11

Fr die einzelnen Komponenten ergibt sich u x0 cosh sinh 1 x sinh cosh x2 = 0 0 3 x 0 0 oder

0 0

x = L x = g + x x0 = cosh x0 tanh x1 , x1 = cosh x1 tanh x0 , x2 = x2 , x3 = x3 .

0 0 x1 x2 , 1 0 3 0 1 x

x0

Der Lorentz-Drehwinkel hngt mit der Relativgeschwindigkeit uber a tanh = , zusammen. Das Ergebnis kann auf die Bewegung in beliebige Richtungen oder Raumdrehungen um beliebige Achsen verallgemeinert werden. Die 6 Matrizen J , welche die 6 unabhngigen a Lorentz-Drehungen erzeugen, sind die 4-dimensionale Verallgemeinerung der bereits erwhnten a 3-dimensionalen Raumdrehungen. 2.3.7 Lorentz-Transformation eines Gradienten cosh = 1 1 2 , 2 = v2 c2

Aus den 2 Arten von Vektoren bildet man 2 Ableitungen. Kovarianter Vierergradient : := = ( 0 , ), x x mit x = . x (22)

Kontravarianter Vierergradient : := =( , ). x x0

(23)

sinh(wJ) =

1 2n+1 J 2n+1 = J 2n+1 = J (2n + 1)! n=0

cosh(wJ) = 1 J 2 + J 2 cosh() nN0 = J

1 2n+1 = Jsinh() (2n + 1)! n=0

12

Durch Anwendung eines Gradienten auf eine Skalarfunktion (z.B.: (t, x) (x ) := (x) Kurzschreibweise) erhlt die Ableitung Vektorcharakter: a (x) = V (x), (x) = F (x). Als Beispiel wenden wir
x

Bei Lorentz-Transformation eines Gradienten einer Skalarfunktion knnen wir folgeno des Verhalten feststellen. (x) verhlt sich wie ein kontravarianter Vektor x bei der a Lorentz-Transformation. (x) verhlt sich wie ein kovarianter Vektor x bei der Lorentza Transformation. ( (x)) = L (x) Beweis (Es gilt fr eine Skalarfunktion (x ) = (x)): u ( (x)) = (x ) = (x).

x 2 x = (g x x ) = g x x x

auf die skalare Gre des Abstandsquadrates an: o x +x

x x

= x + x = 2x .

Mittels Anwendung der Kettenregel erhlt man: a =

mit

folgt

x = = L = (L )T x x x x x cosh sinh 0 0 sinh cosh 0 0 und 0 0 1 0 0 0 0 1 = L .

L = L

(24)

Folgende Beziehungen kann man noch aufstellen: = g , = g . Das Produkt = g = g00 ( 0 )2 ()2 = ergibt also den dAlembert-Operator: = 2. 13 (25) t
2

2.4
2.4.1

Das Hamiltonsche Prinzip

Klassische Punktmechanik

Zur Veranschaulichung dient die Vorstellung der Bewegung eines Teilchens in einem Kraftfeld. Zwecks Vereinfachung wird ein konservatives Kraftfeld gewhlt, in dem man daher a die Kraft als Gradient eines Potentials ausdrcken kann. u In Systemen, fr die bestimmte Neben- oder auch Zwangsbedingungen gelten (z. B. eine u Kugel rollt auf einer schiefen Ebene), sind die kartesischen Koordinaten wegen dieser Nebenbedingungen nicht mehr unabhngig voneinander. Man fhrt daher eine entsprechende a u Anzahl von neuen, unabhngigen Koordinaten, eben die verallgemeinerten Koordinaten, a ein und braucht die Nebenbedingungen nicht mehr zu beachten. 6 q(t) sei die verallgemeinerte Ortskoordinate und q(t) sei die verallgemeinerte Geschwin digkeit. Zur Beschreibung ist noch die Bestimmung der Anzahl der Freiheitsgrade ntig. Darunter o versteht man die Anzahl der voneinander unabhngig mglichen Bewegungen. a o Einige Beispiele: Dieses System besitzt genau einen Freiheitsgrad, die Auslenkung x aus der Ruhelage x0 .

11111 00000 11111 00000 1111111111111111 0000000000000000 11111 00000

F x0 x

Abbildung 1: Krper der Masse m mit Ruhelage x0 auf den die Kraft F wirkt. o Zur Beschreibung der Kugel auf der Platte sind 2 Koordinaten ntig, das System besitzt o

y0 x0

Abbildung 2: Kugel auf ebener Flche mit Ausgangskoordinaten x0 , y0 a also 2 Freiheitsgrade. Man kann auch noch zwischen den Freiheitsgraden der Translation und der Rotation unterscheiden, im Fall unseres Teilchens in einem konservativen Kraftfeld knnen wir uns o auf die 3 Freiheitsgrade der Translation beschrnken. a
6

siehe auch: Psler [6]. a

14

Zur weiteren Beschreibung denieren wir eine mathematische Kenngre, die Lagrangeo Funktion L (q(t), q(t)), die ein bestimmtes mechanisches System charakterisiert. Nun hat man fast alle Mittel, um das Hamiltonsche Prinzip oder das Prinzip der kleinsten Wirkung zu formulieren. Unter einer Wirkung7 W = W [q] versteht man den Ausdruck:
t2

W [q] =
t1

L (q(t), q(t)) dt

(26)

auch Wirkungsintegral genannt, wobei t1 , t2 feste Zeitpunkte sind. q(t) q2 q(t) + q(t) = q (t) q1 t t2 q(t)

t1

Abbildung 3: Die Variation des Wirkungsintegrals. Wir stehen daher vor dem Problem, jene Funktionen q(t) mit q(t1 ) = q1 und q(t2 ) = q2 zu suchen, fr die das obige Integral (26) ein Minimum wird. Dies ist das Prinzip der kleinu sten Wirkung. Diese Problemstellung der Variationsrechnung lsen wir folgendermaen. o Zunchst nehmen wir an, wir htten irgendwie eine Lsung q = q(t) gefunden, die W zu a a o einem Minimum macht. Wenn wir von einer Funktion f (t) behaupten, sie besitze an der Stelle t0 eine Minimum, so ist f (t0 ) < f (t) fr t = t0 also in einer gewissen Umgebung von t0 . u Wir haben damit die Funktion in der Nhe von t0 untersucht und die entsprechenden a Funktionswerte in einer Umgebung von t0 verglichen. Analog hat man daher in unserem Problem den Wert des Integrales W fr die Funktion q(t) mit den Werten zu vergleichen, u die auch fr andere zulssige Vergleichskurven u a q (t) = q(t) + q(t)
7

(27)

Deninition eines Funktionals : mathematische Abbildung

t2

W : q(t) W [q]

dtL(q, q)
t1

15

ergeben, die in der Nhe von q(t) liegen (siehe Abbildung). Dabei ist q(t) eine Funktion, a die in dem ganzen Zeitintervall von t1 bis t2 klein ist; sie heit die Variation der Funktion q(t) und es gilt q(t1 ) = q(t2 ) = 0. und untersuchen die dadurch hervorgerufene Vernderung (Variation von W ). a
t2 8

(28)

Nun vergleichen wir die Werte des Integrales fr die beiden Vergleichskurven q(t) und q (t) u

W [q] =
t1 t2

dtL (q(t), q(t)) = W [q + q] W [q] = 0,

(29)

W [q] =
t1 t2

dt [L (q(t) + q(t), q(t) + q(t)) L (q(t), q(t))] , L L q + q + O q 2 L(q, q) . q q

W [q] =
t1

dt L (q(t), q(t)) +

Die Entwicklung der Dierenz nach Potenzen von q(t) und q(t) beginnt mit Glieder der ersten Ordnung. Die notwendige Bedingung dafr, dass W ein Minimum wird, ist das u Verschwinden der Gesamtheit dieser Glieder. Nach der Ausfhrung der Variation erhlt man u a
t2

W =
t1

dt

L L q + q q q

= 0.

Bercksichtigt man ferner die Vertauschbarkeit der Variation und Zeitableitung, dass u q = d q dt

ist, so bekommt man nach partieller Integration L W = q q

8

t2 t1

t2

+
t1

dt

L d L q dt q

q = 0.

Aus der Mathematik kennen wir folgende Vorgangsweise: q(t) = q(t) + v(t),
t2

v(t1 ) = v(t2 ) = 0. Extremum L . q

J() =
t1

L (q(t) + v(t), q(t) + v(t)) dt Denition : Lq = J ()

t2 t2 0

L , q

Lq =

=
t1

(Lq v + Lq v) dt = 0 d Lq v(t)dt + (Lq v(t)) dt

0 t2 t1

=
t1

Lq

Lq

d Lq = 0 dt

16

Wegen der Randwerte (28) bleibt nur das Integral ubrig, welches fr beliebige Werte von u q gleich Null sein soll. Dies ist jedoch nur mglich, wenn der Integrand verschwindet also o d L L = 0. q dt q Das ist die Euler-Lagrange-Gleichung . Wir knnen nun den kanonischen Impuls denieren: o p(t) = L (q(t), q(t)) . q(t) (31) (30)

Jetzt knnen wir das System mit den kanonischen Koordinaten (p, q) beschreiben. Dazu o fhren wir statt der Lagrange-Funktion L die Hamilton Funktion H ein. Das erreichen u wir durch eine Legendre-Transformation 9 , welche die Bauart H(p, q) = pq(q, p) L (q, q(q, p)) onsinvarianz bedeutet Energieerhaltung. Das Vermgen dieser Transformation ist es, die q-Abhngigkeit zugunsten einer p-Abhngigkeit o a a zu eliminieren. Wie man sieht, hngt die linke Seite nur von p und q ab, nicht aber von q. a Die Lagrange-Funktion L(q, q) setzt sich aus
10

(32)

besitzt (keine explizite t Abhngigkeit L(q, q) = L(q(t), q(t), t)). Die implizite Translatia

L=T V mathematische Bedeutung. Hingegen kann man uber H(p, q) aussagen: H L =p = 0. q q Mit H knnen wir die kanonischen Bewegungsgleichungen aufstellen o q L q H =q+p = q, p p q p
p
9

(33)

zusammen, wobei T die kinetische Energie und V das Potential bedeutet, sie besitzt nur

Legendre-Transformation - Ubergang x, y u, y: f = f (x, y) = ux + vy df = udx + vdy g = g(u, y) g = f ux

dg = df udx xdu = vdy xdu hier H = H Konvention, da H interpretierbar als Energie L = L(q, q) dL = L L dq + dq q q H = H(q, p) H = L pq
mq 2 2

10

Fr ein Punktteilchen mit der Masse m in einem konservativen Kraftfelt gilt L = u

V (q).

17

 q L L q d L H =p = = p. q q q q q dt q
p

Bezglich der Zeitabhngigkeit kann man sagen u a dH H H q+ p = 0. = dt q p

p q

Wir knnen die Hamilton-Funktion als o H =T +V darstellen. H entspricht also der Gesamtenergie E des Systems und hat damit physikalische Bedeutung. 2.4.2 Berechnung der Lagrange-Funktion anhand eines Beispiels

Zum Abschlu wollen wir die Bewegung eines Teilchens der Masse m in einem konservativen Kraftfeld studieren. In diesem Fall lautet die Newtonsche Bewegungsgleichung m = q V (q) . q

Um die entsprechende Lagrange-Funktion zu erhalten, bilden wir mq = q V q = V. q

Wir bilden auf beiden Seiten das Integral uber die Zeit. An den festen Bahnendpunkten gilt: q(t1 ) = q(t2 ) = 0,
t2 t1
2

dtmq = q

dt
t1 t2

V q = q

t2

t2

dtV =
t1 t1

dtV (q),

dt (mq + V ) = 0. q
t1

Mittels partieller Integration erhalten wir

t2 t1

dt mq

d q + V dt da

+ mqq

t2 t1

= 0,

mqq

t2 t1

= 0, mq

q(t1 ) = q(t2 ) = 0. q 2
2

d q = mq q = m dt 18

Damit folgt schlielich

t2

dt
t1 t2

mq 2 V 2

= 0,

dtL (q(t), q(t)) = 0,

t1

1 L (q(t), q(t)) = mq 2 V. 2 Damit haben wir die Lagrange-Funktion fr dieses System berechnet. u Umkehrung: Euler-Lagrange liefert d L L =0 q dt q mit einsetzen obriger Lagrange-Funktion (34). V d (mq) = 0 q dt m = q V q

(34)

19

2.4.3

Klassische Feldtheorie

Wie sich zeigt, lassen sich die im vorherigen Kapitel dargestellten Prinzipien in hnlicher a Weise auf feldtheoretische Modelle ubertragen. Dies geschieht schrittweise, zunchst era weitern wir das bisherige Prinzip auf Systeme mit n Teilchen. q(t) qi (t) Allerdings ist zu beachten, da wir punktmechanische System mit verallgemeinerten Koordinaten qi (t) beschreiben konnten. Die Koordinate ist also nur von der Zeit abhngig a und ist durch einen diskreten Index i gekennzeichnet, der den endlich vielen Freiheitsgraden des Systems entspricht. Bei Feldern i haben wir neben der Zeitabhngigkeit auch a eine Abhngigkeit vom Ort zu beachten, ist also ein (t, x) = (x ). Wir wollen nun a unser Feld analog zu einem Punktsystem mit generalisierten Koordinaten ai beschreiben. Dabei kennzeichnet nun i die Feldfunktion und x = xi den Ortsvektor. Da es im Raum beliebig viele Ortsvektoren gibt, entspricht also die Beschreibung des Feldes der Beschreieiner kontinuierlichen Beschreibung sprechen. mit den kanonischen Bewegungsgleichungen qi (t) = H(pi , qi ) pi (t) pi (t) = H(pi , qi ) qi (t) (35) bung eines mechanischen Systems mit vielen Freiheitsgraden. Hier knnen wir also von o

Zur Veranschaulichung wollen wir als Beispiel den diskreten Fall von n Freiheitsgraden

diskreten die kontinuierliche Beschreibung mittels einer Feldtheorie. Das Feld wird in konkreten Beispiel beschreiben wir die Schwingung durch eine stetige Funktion (x), dem Auslenkungsfeld. (x) mit also die Amplitude, (x) die Geschwindigkeit. Nach der oben eingefhrten Analogie lautet also die kanonische Beschreibung fr Felder (x): u u qi (t) (x), qi (t) (x), pi (t) (x).

betrachten. Fhren wir den Grenzbergang n durch, so erhalten wir statt der u u

jedem Punkt durch eine unabhngige, verallgemeinerte Koordinate dargestellt. In unserem a

Zur weiteren Beschreibung fhren wir hier eine Lagrange Dichte L ein, durch Volumu sintegration erhalten wir dann wieder die von der Punktmechanik bekannte LagrangeFunktion L: L(, ) =
R3

L(, )d3 x.

(36)

20

Wir betrachten den einfachsten Feldtyp, das freie, reelle und skalare Feld (x). Die Wellengleichung fr dieses Feld ist die Klein-Gordon-Gleichung : u (2 + m2 )(x) = 0. Die Variation der Feldamplitude (x) ist durch (x0 = t1 , x) = (x0 = t2 , x) = 0 deniert. Wir verwenden die gleiche Vorgangsweise wie bei der Berechnung der LagrangeFunktion L aus der Newtonsche Bewegungsgleichung. Allerdings wird hier uber die Zeit und die kontinuierliche Ortskoordinate integriert.
t2

Wir wollen die Gestalt und die Bedeutung von L mittels eines Beispiels studieren.

(37)

dt
t1 t2

d3 x d3 x

2 + m2 (x) = 0,

dt
t1 t2 t1

2 2 + m2 (x) = 0, t2 x0 m2 2 = 0. + + x0 2

dx0

d3 x

x0

x0

Die beiden Oberchenterme verschinden wegen (t1 ) = (t2 ) = 0, limx (t, x) = 0. a Wir bentzen die Relation [, ] = 0: u ( ) = Es folgt
t2 t1

= ( + ) = () = (). x x x x

dx0

d3 x

1 (x) (x) 2 x0 x0

1 1 + (x)(x) + m2 2 (x) = 0. 2 2

Daraus ergibt sich mit 1 (0 )2 = 0 0 , 2

t2

1 = und 2 d3 x

1 2 = 2

t1

dx0

1 (x) (x) m2 2 = 0. 2 x0 x0

1 m2 2 = 0, 2 1 L= m2 2 (x) . 2 Wir haben damit die Lagrange-Dichte fr das Skalarfeld berechnet, man sieht, da L ein u d4 x Lorentz-kovariantes Funktional des Feldes (x) und seiner Ableitung (x) ist. L = L(, ) = L((x), (x)) 21

In Viererschreibweise

und L(t) = d3 xL ((t, x), (t, x)) .

Wir nehmen in unserer Feldtheorie stets an, da die jeweiligen Feldgleichungen aus den Hamiltonschen Prinzip in der Punktmechanik durch die Forderung, da die Wirkung fr u die Felder stationr ist. a
t2

entsprechenden Lagrangedichten L abgeleitet werden knnen. Das geschieht analog dem o

W [] =
t1

dt

d3 xL ((t, x), (t, x)) = 0

in Viererschreibweise wiederum W [] =
R

d4 xL ((x), (x)) = 0.

Die Durchfhrung der Variation liefert uns wieder die Euler-Lagrange-Bewegungsgleichung. u W [] = W [ + ] W [] =

t2

dt
t1 t2

d3 x [L ( + , ( + )) L(, )] = 0. L L + + O( 2 ) L(, ) = 0, L L + ( ) = 0. ( ) L
=0

dt
t1

d3 x L(, ) +
t2

dt
t1

d3 x

Wir erhalten mit partieller Integration d4 x L = x d4 x L ,

L L = 0. x Da diese Bedingung fr beliebige Variationen gelten soll, erhalten wir u d4 x L L =0 die Euler-Lagrange-Gleichung11 . Wird ein System durch n Felder beschrieben, so gilt L = L (i (x), i (x)) ,
11

(38)

Anhand einsetzen in die Euler-Lagrange-Gleichung knnen wir die vorher berechnete Lagrange-Dichte o L = m2 , L = ( )

uberprfen, ob wir wieder die freie Feldgleichung des Skalarfeldes erhalten. u 2 + m2 (x) = 0

22

L L = 0. i i Man erhlt also n Feldgleichungen. a

(39)

Das Einsetzen einer bestimmten Lagrange-Dichte in die Euler-Lagrange-Gleichung fhrt u dann zu jeweils charakteristischen Feldgleichung. Im nchsten Kapitel werden wir die drei wichtigsten Feldtypen auf diese Art besprechen, a ihren physikalischen Gehalt und die Lsungen der Feldgleichungen werden wir auch diso kutieren.

23

2.5

Das Klein-Gordon-Feld

Das reelle, freie Skalarfeld (x) ist der einfachste Feldtyp. Es gengt der freien Kleinu Gordon-Gleichung: 2 + m2 (x) = 0. Die Lagrange-Dichte lautet L ((x), (x)) = in den Impulsraum durch. Ansatz: (x) = 1 (2)
3 2

(40)

1 (x) (x) m2 2 (x) . 2

(41)

Wir wollen die Feldgleichung lsen und fhren daher eine Fouriertransformation fr (x) o u u
+

d4 ke+ikx (k).

Wir sehen, da nur invariante Lorentz-Skalare vorkommen. Das Produkt im Exponent bedeutet kx = k x = k x = k0 x0 kx. Da wir ein reelles Feld betrachten gilt auerdem (x) = (x), (x) = (x) = 1 (2)
3 2

1 (2)
3 2 3 2

d4 keikx (k),

d4 ke+ikx (k) =

1 (2)

(d4 k)eikx (k).

Das bedeutet also, da bei der Transformation der komplex konjugierten Gre die o Variable k durch k ersetzt wird. (k) = (k), (k) = (k).

Wir erhalten durch Einsetzung in die Klein-Gordon-Gleichung 2 + m2 (x) = 1 (2)

3 2

2 + m2

d4 ke+ikx (k) = 0

und durch zweimaliges dierenzieren 1 (2) 2

3

d4 k(k 2 + m2 )e+ikx (k) = 0.

Unsere Gleichung lautet also im Impulsraum (k 2 + m2 )(k) = 0. Wir mssen zwei Flle betrachten: u a 24

a) k 2 = m2 b) k 2 = m2

(k) = 0. (k) = 0.

erhalten: (x) =

Mit (k) = (k 2 m2 ) (k) deckt man beide Flle ab, um nicht triviale Lsungen zu a o 1 (2)
3 2

d4 ke+ikx (k 2 m2 ) (k) =

1 (2)
3 2

d4 ke+ikx ((k 0 )2 k 2 m2 ) (k).

Wir haben eine Nullstelle (Hyperbel in 2 Hauptlage) fr u k 0 k 2 m2 = 0, k 0 = k 2 + m2 k . Das ist die Gleichung fr 2 Massenschalen. u k0
2

Massenschalen k 0 = k

k 2 + m2

Lichtkegel k 0 = |k|, da m = 0

Abbildung 4: Lichtkegel mit 2 Massenschalen. Wir knnen (x) bez. der Fourier-Transformation in eine positiven und negativen Freo quenzanteil aufspalten. In der Quantentheorie werden wir die beiden Anteile als Erzeugungsund Vernichtungsoperatoren darstellen knnen. o (x) = + (x) + (x). (42)

Wir fhren zur nheren Denition in die Fourier-Transformierte eine Stufenfunktion (k 0 ) u a ein. (k 0 ) + (k 0 ) = 1 l. (x) = = 1 (2) 1
3 2

d4 ke+ikx (k 2 m2 )1 l(k) = d4 ke+ikx (k 2 m2 )(k 0 )(k) + (k 2 m2 )(k 0 )(k) . 25

(2) 2

Fr k 0 > 0 folgt u + (x) = = 1 (2) 1 (2)

3 2 3 2

d4 ke+ikx (k 2 m2 )(k 0 )(k), d3 k +ikx e (k , k) . 2k

+ (k)

Fr k 0 < 0 gilt u (x) = = 1 (2) 1 (2) 2

3 3 2

d4 keikx (k 2 m2 )(k 0 )(k 0 , k), d3 k ikx e (k , k) . 2k

(k)

(k) = + (k)

Den positiven Frequenzanteil kann man auch durch das Vorzeichen des Fourierexponenten charakterisieren. Dies geschieht so, da man ubereinkommt, das Vorzeichen des Frequenz 0 terms k0 x0 = x k 2 + m2 zur Kennzeichnung heranzuziehen. (x) = (x) + (x) =
+

1 eikx + (k) + eikx (k) . (2) 2k

3 2

d3 k

26

2.6

Das Elektromagnetische Feld

Das elektrische und magnetische Feld schrieben wir bisher an: E = (Ex , Ey , Ez ), H = (Hx , Hy , Hz ). Bei Abwesenheit von Quellen H = B haben die Maxwell-Gleichungen folgende Gestalt: rotE = rotH = H , t div E = 0, (43)

E , div H = 0. (44) t Ferner wissen wir, da sich diese Vektorfelder von Potentialen ableiten lassen. Sei das skalare Potential und A das entsprechende Vektorpotential, so gilt E = grad H = rotA. Diese Darstellung ist jedoch nicht eindeutig, wie wir sehen werden, da bei einer soge nannten lokalen Eichtransformation ( . . . Eichfunktion, Parameter) = + , t A , t

A = A grad in den oberen Gleichungen folgt, E = grad + H = rotA , t A (A grad) = grad , t t da = 0 ist.

Man nennt diese Prozedur eine Umeichung der Potentiale. Die Gleichungen fr E und u H haben in den gestrichenen Gren die gleiche Form. E und H sind daher die entspreo chenden physikalischen Felder. Man hat also eine zustzliche Freiheit, uber die man noch a verfgen kann. So setzt man zum Beispiel nach der Lorentz-Konvention u + A = 0. t Mit den beiden in Kapitel 2.3.7 eingefhrten Vierergradienten u = = ( , ), x t 27 (45)

= ( , ) x t

knnen wir die Divergenz eines Vierervektors B denieren o B = B0, B , B = 0 B + B. t (46)

Fassen wir nun die beiden Potentiale und A zu einem Viererpotential zusammen, so haben wir A = , A , A = , A . Die oben genannte Lorentz-Konvention lautet dann A = g A =

(47) (48)

+ A = 0. t

(49)

Diese Gleichung ist die eigentliche Motivation fr den Ansatz A = , A . u Man mu jetzt noch zeigen, da sich A wie ein Vierervektor verhlt. Bei Lorentza Transformation A = L A sind A A und A invariante Lorentz-Skalare. Nachdem wir das Vektorpotential A eingefhrt haben, knnen wir die insgesamt sechs u o Komponenten der beiden Vektorfelder E und H in einen antisymmetrischen, elektromagnetischen Feldtensor F von Rang 2 einordnen. Daher deniert man den kontravarianter Feldtensor (siehe auch Skriptum Allgemeine Relativittstheorie[8] Viererrotation): a F = A A = F 0 Ex Ey Ez Ex 0 Hz Hy F = E H 0 Hx z y Ez Hy Hx 0 0 Ex Ey Ez (50)

kovarianter Feldtensor

(51)

Ex 0 Hz Hy , = E H 0 Hx y z Ez Hy Hx 0 F = g g F .

(52)

(53)

28

Bei Lorentz-Transformation erhlt man a F (x ) = L L F (x),

x = L x .

Da sich die Vektorfelder E und H aus den Potentialen darstellen lassen, wird dies auch in kovarianter Form zu erwarten sein. F ist Lorentz-eichinvariant. Es gilt zum Beispiel: Ax 1, F01 = +Ex = 0 A1 1 A0 = A1 1 = A = (, A) = t x A . t Nun knnen wir auch die Maxwell-Gleichungen kovariant formulieren. o E = grad F = 0, F + F + F = 0. Wir uberprfen F = 0: u = 0, = 1, F0 = i Fi0 = Fi0 = (Ex , Ey , Ez ) i = (1 , 2 , 3 ) = E = div E = 0. (54) (55)

F1 = 0 F01 + 2 F21 + 3 F31 = Ex (y Hz z Hy ), E x = y H z z H y = H ,

x

E = rotH. = 0, = 1, = 2, 0 F12 + 1 F20 + 2 F01 = +Hz + x Ey y Ex , Hz = (x Ey y Ex ) H = rotE. Wir sehen also, da wir mit diesem Formalismus die Maxwell-Gleichungen in der gewohnten Form reproduzieren knnen. o Um einen zu F dualen Feldtensor F einzufhren, denieren wir zuerst den vllig antiu o symmetrischen -Tensor 4.Stufe. , 0 = ijk . (56)

Fr die homogenen Maxwell-Gleichungen ist der duale Feldtensor u 1 F = F 2 29 (57)

ebenfalls eine Losung: F = 0. Aus Gleichung (54) folgt F = ( A A ) = 2A A = 0. Mit der Lorentz-Konvention A = 0 folgt 2A (x) = 0. (59) (58)

Wie bei der Klein-Gordon-Gleichung erhalten wir die Lsung durch eine Fouriertransforo mation A (x) = 1 (2) 1 (2)
3 2 3 2

d4 ke+ik

k 2 A (k).

Im Impulsraum lautet die Lorentz-Konvention A = 0 = Orthogonalitt a k A (k) = 0. Mit der Annahme = 0 (ist eine andere Art der Eichfreiheit A (k) = erhlt man speziell a k = (k 0 , 0, 0, k 0 ), so folgt da k A = k 3 A3 = 0 A3 = 0. k 2 = 0, 0 A
12

d4 ke+ik

(i)k k 2 A (k)

Diese Gleichung kennzeichnet die Transversalitt des elektromagnetischen Feldes. a Mit Hilfe des Hamiltonschen Prinzips knnen wir wieder eine Lorentz-invariante Lagrangeo Dichte berechnen (siehe Ansatz fr Klein-Gordon-Gleichung im Kapitel 2.4.3). u
t2 t2 t1

W [A] =
t1
12

d4 x F (x) A (x) =
F eldgleichung

d4 x F (x)A (x) = 0

axiale Eichung, n ist eine xe Eichrichtung. n A = 0, n = (1, 0) n0 A0 = 0, A0 = = 0.

30

Mit partieller Integration folgt 0 = = 1 2 d4 xF ( A ) d4 xF ( A A ) = 1 2 d4 xF F ,

1 0 = d4 xF F W [A]. 4 Damit bekommen wir als eichinvarianten Lorentz-Skalar folgende Lagrange-Dichte der freien Maxwell Theorie
13

1 L = F F , 4 1 L = (A ) F . 2

(60)

oder dank Indexvertauschung

Wir setzen L in die Euler-Lagrange-Gleichung ein und knnen dadurch wieder die Feldo gleichung berechnen. L =0 A 1 L = A F = F A 2 A Daraus folgt F = 0, 2A = 0. (61) (62)

13

via Indexvertauschung: F F = A F A F = A F A F = A (F F ) = 2 A F .

31

2.7
2.7.1

Das Dirac-Feld
Versuche zur Formulierung einer relativistischen Quantentheorie

Nachdem die Prinzipien der speziellen Relativittstheorie allgemeine Anerkennung und a Besttigung gefunden hatten, war man bestrebt, eine erweiterte Quantenmechanik zu a formulieren, die die Relativittstheorie bercksichtigt. a u Das bedeutet: die gltigen Bewegungsgesetze sollen in allen Inertialsystemen gelten und u die gleiche Form haben. Mathematisch ausgedrckt lautet die Forderung: Die Gleichungen u der relativistischen Quantentheorie mssen in einer Lorentz-kovarianten Form abgefat u sein. Versuchen wir die Forderungen bei einem einfachen Beispiel, dem freien Teilchen V = 0 zu erfllen. Die klassischen Gren lauten: u o H = T, p2 mv 2 = . 2 2m Die quantenmechanische Beschreibung erhalten wir durch Einfhrung von Operatoren fr u u T = die Observablen. Impulsoperator: p Energieoperator: . t Aus der Quantenmechanik folgt die Schrdinger-Gleichung. o H i H = i . t (64) i . (63)

(65)

Mit den Gleichungen (63) und (64), wo (x, t) die Wellenfunktion ist, erhlt man a
2

2m

= i

. t

Man sieht, da zweimal nach dem Ort und nur einmal nach der Zeit dierenziert wird. Wir erwarten jedoch, eine Gleichung in der Orts- und Zeitableitung gleichberechtigt sind. Diese Gleichung ist bei Durchfhrung einer Lorentz-Transformation nicht kovariant, die u linke Seite zeigt anderes Transformationsverhalten als die rechte. Versuchen wir einen anderen Weg. Erinnern wir uns an die physikalische Bedeutung von H, so erkennen wir die Gesamtenergie: H = T = E. 32

Aus der Relativittstheorie wissen wir, da der Ausdruck a E 2 = c 2 p2 + m 2 c 4 die Energie-Impuls-Beziehung, eine Lorentz-kovariante ist. Aus H = E H 2 = E 2 ([H, E] = 0) erhalten wir mit den Operatoren die wir oben einfhrten u
2

H =c p +m c =c

2 2

2 4

+ m 2 c4 .

Wir bilden formal ein Analogon zur Schrdinger-Gleichung o H = und erhalten durch Einsetzen c4 m2 + c2 Durch Umformung c4 m2 c2 2 + mit
1 2 c2 t2 2 2

i t

h i

2 t2

= 0, = 1)

= 2 erhalten wir endgltig in natrlichen Einheiten ( c = u u 2 + m2 = 0.

Das ist jedoch die bereits bekannte Klein-Gordon-Gleichung in natrlichen Einheiten. Die u so gefundene Lsung ist problematisch: o a) Es ergeben sich Probleme mit der von der Schrdinger-Gleichung her bekannten o Wahrscheinlichkeitsinterpretation. b) Wir wissen, da die Klein-Gordon-Gleichung Lsung mit positiver und negativer o Energie besitzt; es gibt dadurch Schwierigkeiten bei der Interpretation dieser negativen Lsungen. o

33

2.7.2

Die Dirac-Gleichung

Um trotz der im vorigen Abschnitt aufgezeigten Probleme zu einer relativistischen Gleichung in Lorentz-kovarianter Form zu gelangen, whlte P. Dirac einen Ansatz, bei dem a die Gleichung eine lineare Zeit- und Ortsableitung besitzt. Wir nennen diese Gleichung die Dirac-Gleichung: H = Formal bedeutet dies: H 2 ! zu beachten: Die Koezienten j knnen hier nicht einfache Zahlen sein, da die Gleichung sonst o nicht einmal gegen rumliche Drehung invariant wre. a a Ebenso kann kein reiner Skalar sein, da wir ja Teilchen mit Spin
1 2

c j j + c2 m i

= i

. t

(66)

Damit diese Gleichung die oben genannten Forderungen erfllt, sind folgende Uberlegungen u

beschreiben

wollen mit zwei mglichen Freiheitsgraden Spin Auf und Spin Ab. Zusammen mit o den zwei mglichen Zustnden von positiver und negativer Energie erwarten wir, o a

da mindestens eine vierkomponentige Gre sein wird. o 1 . = . . n

ist also eine Spaltenmatrix mit mindestens vier Komponenten, wir nennen in Analogie zur Spin-Wellenfunktion der Quantenmechanik auch Spinor. Damit die Dirac-Gleichung als befriedigend angesehen werden kann, mu sie die richtige Energie-Impuls-Beziehung fr ein freies relativistisches Teilchen liefern: u E 2 = p2 c2 + m2 c4 . Damit diese Beziehung folgt, mu jede Komponente von die Klein-Gordon-Gleichung erfllen, also: u zes):
2 2

2 = H 2 = ( 2 c2 2 + m2 c4 ) . 2 t

Wenn wir die Dirac-Gleichung iterieren, nden wir (bei Vernachlssigung der Spinorindia
3 3

mc3 j i + i j 2 2 = 2 c2 + t2 2 xi xj i i,j=1 34

(i + i )
i=1

+ 2 m2 c4 . xi

Durch Koezientenvergleich erkennen wir, da die vier Gren i und folgende Bedino gungen erfllen mssen: u u i k + k i = 2ik , i + i = 0, Aus Gleichung (67) folgt fr i = k u
2 i = 2 = 1 l.

(67) (68)

Die Gren i und sind Matrizen. Wir wollen sie explizit konstruieren. Zunchst kann o a man sagen, da es hermitesche Matrizen sein mssen, damit H = H + ist. u
+ i = i ,

= +. Da
2 i = 2 = 1 l

gilt, sind die Eigenwerte von i und gleich 1 (det (i 2 ) = det(i )det(i ) = 1 gleich Null ist. Der Beweis: Aus i + i = 0 folgt mit 2 = 1 und i + i = 0 | , i 2 + i = 0, da i = i . Wegen der zyklischen Vertauschbarkeit unter der Spur SpAB = SpBA gilt dann:
14

14

).

Aus der Antikommutatoreigenschaft von i und folgt, da die Spur von jedem i und

diag(i ) = (1 , 2 , . . . , n )

n = 3, 4, . . .

35

Sp(i ) = Sp(i ) = Sp( 2 i ) = Sp(i ),

=1 l

Sp(i ) = Sp() = 0.

Da die Spur die Summe der Eigenwerte ist, mu es gleich viele positive wie negative Eigenwerte geben und die Matrizen daher eine geradzahlige Dimension haben. Die kleinste Dimension N = 2 mit den Pauli Matrizen i gengt nicht: u 1 = mit [i , j ] = 2iijk k , {i , j } = 2i j. 0 1 1 0 , 2 = 0 i i 0 , 3 = 1 0 ,

0 1

Die kleinste Dimension, die die obigen Forderungen fr i und erfllt, ist N = 4. Eine u u spezielle explizite Darstellung der Matrizen lautet: i = 0 i i 0 , = 12 l 0 0 1 2 l .

Man kann jetzt zeigen, da die Dirac-Gleichung (wie die Schrdinger-Gleichung) eine o Wahrscheinlichkeitsinterpretation fr die Wellenfunktion zult, da also gilt:15 u a d3 x = 1. Fr weitere Betrachtungen fhren wir am besten eine neue, vierdimensionale Beschreibung u u ein, die Lorentz-Kovarianz transparenter macht. Wir denieren Dirac-Matrizen : 0 = , = i
i

0 = 0 =
i i

(hermitesche Matrix), (antihermitesche Matrix).

Damit ergibt sich fr i j + j i = ij , i + i = 0 u | i 0 + i = 0, i 0 + 0 i = i 0 + 0 i = 0, i, 0 = 0 { , } = 2g . Die Dirac-Gleichung lautet dann in natrlichen Einheiten: u

15

(69) (70)

siehe Bjorken-Drell [1], Kapitel 1.3

36

i i i 0

+ i m t + i m t + i t m

= 0,

= 0,

= 0,

(i m) = 0.

(71)

Wir fhren noch den Feynman-Dolch ein, er vereinfacht die Schreibweise: u -slash.

Die Dirac-Gleichung in Viererschreibweise lautet also: (i m) (x) = 0. Die Dirac-Gleichung ist Lorentz-kovariant. Es gilt also:16 (i m) (x ) = 0. x (72)

Die Gleichung hat also im gestrichenen System die gleiche Form, (x ) ist Lsung dieser o Gleichung und kein Lorentz-Bezugssystem ist ausgezeichnet. Wir knnen eine hermitesch o adjungierte Dirac-Gleichung aufstellen: + + (i m) = 0. (i )+ = + (i + ), = + 0 . Damit ergibt sich: + i 0 0 m

= 0

+ i 0 0 + m = 0 (i + m) = 0.

|( 0 ),

+ da ( 0 )2 = 1 und 0 0 = , (73)

16

Den Beweis ndet man bei: Bjorken-Drell [1], Kapitel 2.2

37

Wir berechnen nun eine Lagrange-Dichte L fr die freie Dirac-Gleichung aus dem Hau 0, wir betrachten als linear unabhngig, d.h.: wir miltonschen Prinzip ( W [] a betrachten eine Variation fr bei konstantem ): u
t2

0 =
t1

d4 x (i m),
t2

=
t1

d4 x(i m),

WDirac [] =

d4 x(i m), (74)

L1 = (i m).

Das erhaltene L ist nicht hermitesch. Wir knnen durch die symmetrische Form o 1 L2 = (L1 + L ) 1 2 eine hermitesche Lagrange-Dichte erhalten: L2 = L2 = 1 i m i( ) m() , 2 m i ( ) + 0 , 2 2 i L2 = ( ) m. 2 Es gilt: W [] = L1 d4 x = L2 d4 x.

Die beiden Dichten unterscheiden sich um eine totale Divergenz, sie liefern jedoch die gleiche Bewegungsgleichung. Die Euler-Lagrange-Gleichungen lauten: L L = 0, L1 =0 L1 L L = 0. L1 = 0.

da

(i m) 38

0,

L2 i L2 i = 2 m + 2 = (i m) = 0. Wir knnen noch schreiben: o L2 = L1 i ( ) . 2 totale Divergenz

39

2.8
2.8.1

Das Noether-Theorem
Die innere und uere Vernderung von Feldgren a a o

Wir wollen diese beiden Vernderungen mit Hilfe eines Beispiels diskutieren. Wir denken a uns ein 2-dimensionales Vektorfeld (x) im I 2 : R (x) = i (xi ) i (x1 , x2 ), i = 1 2. l,

Betrachten wir die Drehung, so lt sich die Transformation der Koordinaten im Rahmen a von orthogonalen Drehungen (S T = S 1 ) wie folgt darstellen x = Sx, wobei Sij = cos sin sin cos cos sin x1 x2

eine 2 2-Drehmatrix ist. Insgesamt erhalten wir: x1 x2 = sin cos .

Bei Betrachtung der Feldgren erhalten wir: o i (x ) = Sij j (x) Da aber gilt: x = Sx. Daraus folgt: (x ) Mit S 1 S = 1 l bekommen wir schlielich: (x) = S (S 1 x). Da die Feldgre im gedrehten, neuen Koordinationssystem darstellt, bedeutet also o (x), da man das gedrehte Feld am ursprnglichen Raumpunkt betrachtet. Dem Arguu ment x von (x) entspricht deshalb im neuen System ein anderer geometrischer Punkt x . Die Feldgre im gestrichenen System, die durch den selben geometrischen Punkt x chao rakterisiert wird, kennzeichnet man daher durch (x ). Daher erscheint es naheliegend, wenn wir die folgenden Vernderungen (Variationen) einfhren. a u Wir denieren: 40 = (Sx) = S (x). oder (x ) = S (x).

1. Die totale Variation17 : (x) = (x) (x). 2. Die lokale Variation: (x) = (x ) (x). Beispiel: nur Drehung 2.8.2 Die Aufstellung und der Nachweis des Noether-Theorems

Das Noether-Theorem besagt:18 Liegt eine kontinuierliche Symmetrietransformation vor, die das Wirkungsintegral inva riant lt, so existieren Erhaltungsgren. a o Damit meint man zum Beispiel: Aus der Translationsinvarianz folgt die Energie- und Impulserhaltung und umgekehrt. Null gehen. Der Index gibt die Zahl der Freiheitsgrade (Komponenten) der Felder an. Als Wirkungsintegral W kennen wir den Ausdruck W [ ] =
R

Sei also ein Satz von klassischen Feldfunktionen, die fr x hinlnglich rasch gegen u a

L( (x), (x))d4 x.

Invarianz nicht explizit von x abhngen und ein Lorentz-Skalar sein. a Die Integration ist folgendermaen zu verstehen: W [ ] =
R 2 1

Die Lagrange-Dichte L soll aus Grnden der Translationsinvarianz und der Lorentzu

Ld4 x = x0

Ld4 x.

2 x 1

Abbildung 5: 1 und 2 sind raumartige Flchen (x2 < 0). a

Diese Feldvariationen sind nicht mit den Variationen im Rahmen des Prinzips der kleinsten Wirkung, wo (t1 , x) = (t2 , x) = 0 ist, zu verwechseln. 18 Das Theorem gilt allgemein, also auch fr wechselwirkende Feldtheorien. u
17

41

Das Integrationsgebiet reicht in den rumlichen Koordinaten x von bis und ist a zeitliche von den Flchen 1 , 2 begrenzt. a Um nun die Aussagen des Noether-Theorems herleiten zu knnen, betrachten wir eine o stetige, innitesimale Koordinatentransformation: x x = x + x. Damit kann ganz allgemein innitesimale (auch nichtlineare) Transformationen denieren. Dabei geht der Bereich I in den Bereich I uber. Diese innitesimale RaumR R Zeit-Transformation der Koordinaten induziert dann die folgende innitesimale totale Feldtransformation: (x) = (x) + (x). Andererseits bewirkt eine solche kanonische Feldtransformation auch eine Vernderung a des Wirkungsintegrales W : W ( (x)) W ( (x)) = W ( (x)) + W. Die totale Variation (auch Fr`chet-Variation) lautet: e W [ ] =
R

L( (x), (x))d4 x

L( (x), (x))d4 x.

Zur weiteren Berechnung fhren wir folgende Schritte aus: u 1. Wir betrachten das Wirkungsintegral im neuen Bereich: L( (x), (x))d4 x = L( (x + x(x)), (x + x(x)))d4 (x + x(x)).

2. Mit einer Taylor-Entwicklung bis zur Ordnung x(x) erhalten wir: L( (x+x(x)), (x+x(x))) = L( (x), (x))+ L( (x), (x))x +O( 2 ). 3. Die Berechnung der Funktionaldeterminante ergibt: d4 x = 1 + 0 x0
x1

(x + x(x)) 4 d x, x 0
1

0 1 + 1 x 0 0 42

0 0
2

x1

. . .

...

0 0 0

0 1 + 2 x 0

0 1 + 3 x3

= 1+ x +O (x )2 .

 Mit diesen beiden Uberlegungen erhalten wir nun in 1.: d4 x [L( (x), (x)) + L( (x), (x))x ] (1 + x ).

Wir vereinfachen diesen Ausdruck durch Multiplikation und vernachlssigen wieder die a hheren Ordnungen ( 2 ): o

d4 x L( (x), (x)) + L( (x), (x))x + L( (x), (x)) x d4 x L( (x), (x)) + (L( (x), (x))x ) .

Setzen wir alles ein, so ergibt sich fr die totale Variation der Wirkung: u W [ ] =
R

d4 x L( (x), (x)) + (L( (x), (x))x )

L( (x), (x)) , =
R

d4 x L( (x) + , (x) + ) + (L( (x), (x))x )

L( (x), (x)) . Man beachte, da im zweiten Teil des Integranden (x) durch (x) ersetzt wurde. Dies ist verstndlich, da wir nur Glieder bis zur Ordnung x betrachten wollen. Eine Taylora Entwicklung des ersten Integranden bis zur Ordnung (x) liefert dann: W [ ] =
R

d4 x L ( (x), (x))

L ( (x), (x)) L ( (x), (x)) (x) + (x) + (x) (x)

(L ( (x), (x)) x ) L ( (x), (x)) . Man sieht, da sich der erste und der letzte Term kompensieren. Nach partieller Integra tion des dritten Termes erhalten wir mit , = 0 W =
R

d4 x +

L ( (x), (x)) L ( (x), (x)) (x) + (x) (x) L ( (x), (x)) (x) + L ( (x), (x)) x . (x)

Wir erkennen im ersten Term die Euler-Lagrange-Bewegungsgleichung, von der wir wissen L L = 0. 43

Nun besagt das Noether-Theorem, da W = 0 gilt, um Invarianz (= Symmetrie) des Wirkungsfunktional zu erreichen. d4 x
R

L ( (x), (x)) + L ( (x), (x)) x

= 0.

Durch Anwendung des Gauschen Satzes im M4 (siehe auch sptere Funote (20)) bea kommt man
2

d
1

L ( (x), (x)) + L ( (x), (x)) x

= 0.

Wir denieren jetzt F () =

L ( (x), (x)) + L ( (x), (x)) x

2 1

:=

d J

wobei

d J = F (2 ) F (1 ),

da wir fr x natrliche Randbedingungen verlangen u u

x

lim (t, x) = lim (t, x) = 0.

x

Wir versuchen nun in diesen Formeln die totale Vernderung durch die lokale Vernderung a a auszudrcken. Es gilt ja u (x ) = (x + x) = (x) + (x)x + O 2 = (x) + (x)x . Mit (x) = (x) (x) erhlt man a (x) = (x ) (x) (x)x , das heit: (x) = (x) (x)x . Wir knnen nun im Integral schreiben o F () =

L ( (x), (x)) (x) (x)x

+L ( (x), (x)) x ,

44

F () =

L ( (x), (x)) (x)

L ( (x), (x)) (x) L ( (x), (x)) x . (x)

Jede kontinuierliche Raumzeittransformation lt sich parametrisieren. Seien die j die a linear unabhngigen, innitesimalen Parameter, die eine Parametrisierung einer beliebigen a innitesimalen Transformation der Koordinaten charakterisieren, so folgt aus x =
j 19

x j j ,

da sich auch die lokale Feldvariation in hnlicher Weise parametrisieren lassen mu: a =
j

Yj j .

Wir erhalten dann mit der Abkrzung u T j =

L ( (x), (x)) L ( (x), (x)) L ( (x), (x)) Yj T j j .

j

x j

die Gleichung

F () =

Da gilt W = 0 knnen wir sagen o d

1 j

T j j =
2

d
j

T j j

und es folgt d T j =
1 2

d T j .

Wir sehen, da dieser Ausdruck Erhaltungscharakter besitzt. Das Integral zwischen den Flchen dx0 = const(1 = t1 = x0 , 2 = t2 = x0 )20 laut Abbildung (6) a 1 2 ergibt eine Gre o
Wo x j = x j (x), Yj = Yj (x) sein kann. 20 ist fr die Flche u a dx1 dx2 dx3 x3 dx2 dx3 dx0 0 0 d = dx3 dx0 dx1 = dx = 0 = d = 0 0 1 2 dx dx dx 0
19

45

x0 x0 2 = const. x x0 1 = const

Abbildung 6: Flchen x0 2 , x0 1 . a d3 xT 0 j (x0 , xi ) = 1 d3 xT 0 j (x0 , xi ) := Qj . 2

x0 1

x0 2

Qj ist eine Erhaltungsgre, die wir Ladung nennen, und es gilt o d Qj (t) = 0. dt Fr allgemeine Erhaltungsgren denieren wir eine funktionale Ableitung u o F (2 ) F (1 ) Fj () = lim , (x)0 (x) (x) wo x das vierdimensionales innitesimale Volumen ist, das von den Flchen 1 und 2 a umschlossen wird. Mit dem Gauschen Satz erhalten wir lim
(x)

d4 x T j (x) (x)

(x)0

= 0,

wobei wir nun als Bereich betrachten. 2 1 (x)

Abbildung 7: Flchen 1 , 2 . a Damit knnen wir das Noether-Theorem kovariant formulieren: o T j = 0. (75)

46

2.8.3

Erhaltungsstze fur Energie und Impuls a

Wir wollen nun noch einige Konsequenzen, die sich aus dem Noether-Theorem ergeben, betrachten. An Hand einer freien, skalaren 4 -Theorie knnen wir die Translationsinvao Translation folgendermaen schreiben (mit konstantem Verschiebungsvektor ) x x = x + x := x + das heit x = , x =
j

rianz untersuchen Wir haben also nun (x) (x). Wir knnen eine innitesimale o

x j j :=

x .

Dabei ist ein konstanter Verschiebungsvektor. Wegen (x ) = (x) verschwindet auch die lokale Variation = 0, Yj = 0

und wir erhalten als Resultat den Energie-Impulstensor T = T = L ( (x), (x)) L ( (x), (x)) g . x (76)

Mit Hilfe der Bewegungsgleichungen zeigt man nun leicht, da gilt T = 0. (77)

Wir wollen nun untersuchen, welche physikalische Bedeutung der symmetrische Tensor T besitzt. Wir betrachten zu diesem Zweck Q = d3 xT0 (x).

Aus dem Noether-Theorem wissen wir, da gilt Q (t) = 0. (78)

Zu einer Interpretation des Vierervektors gelangt man, indem man die einzelnen Komponenten untersucht. Q0 = = = d3 xT00 (x) = d3 x ( L) = d3 xH(x)

2 1 1 m2 2 d3 x 2 (x) 2 (x) + (x) (x) + 2 2 2 2 1 m2 2 1 (x) := E 0 2 (x) + (x) + d3 x 2 2 2

(positiv denit)

47

Da H das feldtheoretische Analogon zur Hamilton-Funktion H der Punktmechanik dar-

stellt, knnen wir H(x) als Hamilton-Dichte bezeichnen und daher Q0 mit der Gesamto energie des Systems identizieren. Ahnlich verfhrt man mit den Raumkomponenten a Q(t) = + d3 x (x) := P , Q(t) = 0. P ist der Impuls des Systems. Wir sehen also, da es mglich ist, die Energie und den o Impuls in einem Vierervektor zusammenzufassen, wir erhalten Q = E, P und Q (t) = 0.

Das entspricht den Erhaltungsstzen fr Energie und Impuls! a u Wir erkennen damit also die physikalische Bedeutung von T , wir nennen den Tensor auch den relativistischen Energie-Impuls-Tensor.

48

3
3.1

Die Quantisierung der freien Feldtheorie

Die kanonische Quantisierung in der Punktmechanik

Bevor wir uns mit der Quantisierung von Feldern nher beschftigen, werden wir als a a Einfhrung und zur Wiederholung nochmals den Quantisierungsproze der nichtrelativiu stischen Quantenphysik bei einem punktmechanischen System betrachten. Die physikalischen Gren, die wir zur Beschreibung des Systems verwenden und die wir o auch messen knnen, werden bei der kanonischen Quantisierung zu linearen, hermiteschen o Operatoren, die im Hilbert-Raum auf eine Zustandsfunktion wirken. Es entspricht zum Beispiel der Ort qj der Impuls pi die Hamiltonfunktion p2 H = i +V 2m dem Ortsoperator qj , dem Impulsoperator pi dem Hamiltonoperator
2

, i qi (79)

H=

2m

+ V.

Zwischen den Operatoren gibt es Beziehungen, die wir Kommutatorrelationen nennen. Wir knnen zum Beispiel fr den Orts- und Impulsoperator berechnen: o u p i qj = (qj ) = ij + qj . i qi i i qi

Dies ergibt den Gleichzeitkommutator: [pi , qj ] = pi qj qj pi = daher auch von Gleichzeitkommutatoren. Es gilt also [pi (t), qj (t)] = und die Kommutatoren [pi (t), pj (t)] = [qi (t), qj (t)] = 0 vertauschen miteinander. Wenn zwei Operatoren vertauschen, so ist gleichzeitige Mebarkeit gegeben. Die zeitliche Entwicklung eines quantenmechanischen System gehorcht der Schrdingero Gleichung = H. t Im folgenden werden wir einen analogen Formalismus fr Felder suchen. u i 49 (81) i ij , t (80) i ij .

Es ist wichtig zu erwhnen, da diese Kommutatoren zu allen Zeiten gelten; man spricht a

3.2
3.2.1

Die Quantisierung des Klein-Gordon-Feldes

Kanonische Quantisierung

Sei (x) ein reelles Skalarfeld, welches der freien Klein-Gordon-Gleichung gengt u (2 + m2 )(x) = 0. Die entsprechende Lagrange Dichte, die auf die freien Feldgleichungen fhrt lautet u L= 1 m2 2 . 2

Als kanonischen Impuls bezeichnet man den Ausdruck = L(, ) = .

Bei der kanonischen Quantisierungsprozedur werden Gren und zu hermiteschen o Operatoren, die in natrlichen Einheiten die folgenden gleichzeitigen Vertauschungsrelau tionen erfllen sollen u [(x, t), (x , t)] = [(x, t), (x , t)] = 0, [(x, t), (x , t)] = i (3) (x x ). da (x) = (x) der Operator gleich dem hermiteschen konjugierten Operator ist. Um eine genauere Auskunft uber die Struktur von (x) zu bekommen, beachten wir da jede beliebige Lsung der freien Klein-Gordon-Gleichung in ein Fourier-Integral uber o einfache ebene Wellen entwickelt werden kann. In vlliger Analogie zur freien klassischen Feldtheorie (siehe Kapitel 2.4.3) knnen wir o o daher auch hier schreiben (x) = 1 (2)
3 2

(82) (83)

Da wir ein reelles Feld quantisieren, gilt analog zu (x) = (x) in der klassischen Theorie, (84)

d4 ke+ikx (k).

(85)

Wir wissen auch, da sich (x) in einen positiven und einen negativen Frequenzanteil aufspalten lt. a (x) = + (x) + (x) = Mit den Abkrzungen u a(k) := 1 (k) 2k a+ (k) := 50 1 + (k) 2k (86) 1 (2) 2
3

d3 k +ikx + e (k) + eikx (k) 2k

fk (x) = wobei

eikx (2)3 2k k k 0 =

fk (x) =

e+ikx (2)3 2k

(87)

k 2 + m2

erhlt man dann a (x) =

d3 k a+ (k)fk (x) + a(k)fk (x) .

(88)

In der Quantenfeldtheorie sind nun die Fourier-Amplituden a+ (k) und a(k) Operatoren, wobei a+ hermitesch konjugiert zu a ist (+ = ). Wir kennen den Gleichzeitkommutator der Feldoperatoren im Ortsraum und wollen die Konsequenz fr den Impulsraum berechnen. u 0 bedeutet a(t) 0 b(t) = a(t) Mit ikx = i(k t kx), folgt
d3 xfk (x, t)i 0 fk =

b(t) x0

a(t) b(t) = a(t)b(t) a(t)b(t). x0

d3 x

eikx i(iwk )eik x eikx i(iwk )eik x = (3) (k k ). 2 k k (2)3 2 k k (2)3

Da die Orthogonalittsrelationen a
d3 xfk (x, t)i 0 fk = (3) (k k ),

(89) (90)

d3 xfk (x, t)i 0 fk = 0 gelten, knnen wir fr die Amplituden die Umkehrung der Entwicklung berechnen. o u
d3 xfk (x)i 0 (x, t) =

d3 x

d3 k fk (x)i 0 a+ (k )fk (x) +a(k )fk (x)

= = Resultat mit + = :

=0 d3 k d3 xfk (x)i 0 a(k )fk (x)

d3 k (3) (k k )a(k ) = a(k)

d3 xfk (x) 0 (x).

a(k) = i Hermitisch konjugiert: a+ (k) = i

(91)

d3 xfk (x) 0 (x). 51

(92)

Aufgrund dieser Darstellung wrde man erwarten, da die Operatoren a+ (k) und a(k) u zeitabhngig sind. Wir zeigen jedoch etwas spter, da dies nicht der Fall ist. a a Mit Hilfe der kanonischen Vertauschungsrelationen fr (x) und (x) folgt nun u a(k), a+ (k ) = = = =
d3 xd3 x fk (x) 0 (x), fk (x ) 0 (x ) , d3 xd3 x fk (x)(x) fk (x)(x), fk (x )(x ) fk (x )(x ) , d3 xd3 x fk (x)fk (x ) (x), (x ) fk (x)fk (x ) (x), (x ) d3 xd3 x fk (x)fk (x ) fk (x)fk (x )

(x), (x ) ,
i (3) (xx )

= Damit

d3 xfk (x)i 0 fk (x) = (3) (k k ).

a(k), a+ (k ) = (3) (k k ) und analog a(k), a(k ) = a+ (k), a+ (k ) = 0.

(93)

(94)

Nun uberprfen wir die Zeitunabhngigkeit von a(k), a+ (k). Das heit wir betrachten den u a Ausdruck a(k, t) = i Wegen
(2 + m2 )fk (x) = 0 2 2 + m2 fk (x) = 0 d3 x fk (x)0 2 0 2 fk (x) (x) +0 (fk (x)) 0 ((x))0 (fk (x)) 0 ((x)) .

und (2 + m2 )(x) = 0 2 2 + m2 (x) = 0 folgt mittels Einsetzen a(k, t) = i und partieller Integration a(k, t) = i
d3 x +(2 fk (x))(x) m2 fk (x)(x) (0 2 fk (x))(x) , d3 x fk (x)2 m2 (x)fk (x) (0 2 fk (x)) (x)

a(k, t) = i Damit sehen wir a(k, t) = 0,

d3 x(x)(2 + m2 )fk (x) = 0.

a(k, t) = a(k) 52

also die Zeitunabhngigkeit von a(k). a Wir wollen uns nun die Bedeutung von a(k) und a+ (k) vergewissern und betrachten die Gesamtenergie H= wobei fr die Hamilton-Dichte H gilt u 1 H = L = 2 L = (2 + ()() + m2 2 ) 2 (positiv denit). (95) d3 xH,

Setzt man Hier die Entwicklung fr ein (siehe auch Anhang A.1), so erhlt man u a H= 1 2 d3 kk (a(k)a+ (k) + a+ (k)a(k)) d3 xHk .

Wir erkennen, da der Hamiltonoperator eine kontinuierliche Summe von Termen ist, von denen jeder die Form eines Hamiltonoperators fr einen 1-dimensionalen, harmonischen u Oszillator mit der Frequenz k besitzt. Um die Energieeigenwerte und die entsprechenden Eigenfunktionen angeben zu knnen, o untersuchen wir zunchst die Vertauschungsrelation von H mit den Operatoren a(k) und a a+ (k). Dazu bentigen wir folgende Rechenregeln: o A2 , B = A2 B BA2 ,

= A2 B ABA + ABA BA2 , = A[A, B] + [A, B]A,

[AB, C] = ABC CAB, = ABC ACB + ACB CAB, = A[B, C] + [A, C]B. Unter der Zuhilfenahme der bereits bekannten Kommutatorrelationen [a(k), a+ (k )] = ermitteln: (3) (k k ), [a(k), a(k )] = 0 knnen wir durch Berechnung den folgenden Kommutator o [H, a+ (k )] = 1 2 1 = 2 d3 kk [a+ (k)a(k) + a(k)a+ (k), a+ (k )], d3 kk a(k) [a+ (k), a+ (k )] + [a(k), a+ (k )] a+ (k),
=0 = (3) (kk )

+a+ (k) [a(k), a+ (k )] + [a+ (k), a+ (k )] a(k) ,

= (3) (kk ) =0

[H, a+ (k )] = k a+ (k ). 53

(96)

In gleicher Weise erhlt man a [H, a(k )] = k a(k ). (97)

Um nun zu einer Interpretation fr die Gren a+ (k) und a(k) zu gelangen, nehmen wir u o an, da ein Vakuumszustand |0 der freien Theorie existiere, der auf eins normiert sei. Es soll fr ihn gelten: u H |0 = 0 |0 = 0. (98)

Ausgehend von dieser Gleichung (98) studieren wir nun das folgende Eigenwertproblem: Ha+ (k) |0 = a+ (k)H + k a+ (k) |0 = k a+ (k) |0 . Man kann also sagen, da der Operator a+ (k), wenn er auf den Vakuumszustand |0 angewandt wird, einen Einteilchenzustand mit der Energie k erzeugt: a+ (k) |0 = k , k k . (99) Das bedeutet, da der Zustand a+ (k) |0 die Energie k besitzt.

Aus diesen Grund nennen wir a+ (k) einen Erzeugungsoperator. Durch wiederholte Anwendung von a+ (k) ist es mglich in gleicher Weise einen beliebigen n-Teilchenzustand o der freien Theorie zu erzeugen, also k1 , k2 , . . . , kn = a+ (kn ) . . . a+ (k2 )a+ (k1 ) |0 . Aufgrund der Vertauschungsrelation von H mit a(k) ist zu vermuten, da man durch die Anwendung des Operators a(k) auf Teilchenzustnde Teilchen vernichten kann. a Wir nennen a(k) daher auch den Vernichtungsoperator. Dieser Prozess mu nach unten beschrnkt sein, wir fordern daher a a(k) |0 = 0, weil ja das Vakuum per Denition keine Teilchen enthlt. a Soweit die intuitive Interpretation der Leiteroperatoren a+ (k) und a(k). Unglcklicherweise u gibt es jedoch zwei oensichtliche Probleme: a) Zunchst bemerkt man leicht, da als Folge der Vertauschungsrelation der Operaa toren a+ , a k|k = 0| a(k)a+ (k )
(3) (kk )+a+ (k )a(k)

|0 = (3) (k k )

eine unbeschrnkte Norm existiert. a 54

b) Mit Punkt a) ergibt sich nun fr den Erwartungswert u 0| H |0 = 1 d3 kk 0| a+ (k)a(k) + a(k)a+ (k) |0 2 1 d3 kk 0 + (3) (k k) = 2 1 1 (3) = (0) d3 k k = (0) d3 k k 2 + m2 . 2 2
k2 +m2

ein zweifach divergenter Ausdruck. d3 k k 2 + m2 = |k| = k = 4 d3 k = k 2 dk4

0

k 2 dk k 2 + m2 ,

k 3 dk =
0

k4 4
0

Da wir die Existenz eines Vakuums mit der Energie 0 angenommen haben, scheint das eben erhaltene Resultat ein Widerspruch zu sein. Dies kommt daher, da man bei der Quantisierung noch auf die Stellung der Operatoren Rcksicht nehmen mu, um konsiu stente Resultate zu erhalten. Wir denieren daher eine so genannte Normalordnung, die besagt, da ein Erzeugungsoperator stets links neben einem Vernichtungsoperator zu stehen hat. Wir drcken dies symbolisch durch : H : aus. Es ergibt sich also jetzt: u : H := HN = 1 2 1 = 2 d3 kk : a(k)a+ (k) + a+ (k)a(k) : d3 kk a+ (k)a(k) + a+ (k)a(k) d3 kk a+ (k)a(k).

Mit Hilfe dieser Normalordnung gelingt es also, die unendliche Nullpunktsenergie zu eliminieren und wir erhalten wirklich 0| HN |0 = 0. Wir kommen uberein, da wir diese Normalordnung schon in der Lagrange-Dichte einfhren. u Nachdem wir das Problem im Punkt b) beheben konnten, wollen wir auch die Schwierigkeit von Punkt a) lsen. Das gelingt uns durch die Einfhrung von Wellenpacketen. Sei o u F (k) eine quadratisch integrierbare Funktion, so kann man folgende Einteilchenzustnde a denieren: |1 d4 kF (k)(k 2 m2 )a+ (k) |0 = d3 k F (k)a+ (k) |0 . 2k

55

Diese Zustnde fhren auf eine beschrnkte Norm, so da also gilt a u a 1 |1 = d3 kd3 k F (k)F (k ) 0| a(k)a+ (k ) |0 2k 2k
(3) (kk )

d3 k F (k) 4k 2

< ,

weil F (k) quadratisch integrierbar ist.

56

3.2.2

Alternative Quantisierungsmethode

Zum Abschlu dieses Kapitels wollen wir eine Alternative anbieten, die es gestattet, den Prozess der Quantisierung eleganter zu formulieren. Wir diskutieren den Sachverhalt wieder an Hand der skalaren 4 -Theorie und untersuchen das Verhalten des hermiteschen Feldoperators (x) (also + (x) = (x)) gegenber einer innitesimalen Translation21 (im u Heisenberg-Bild) x x = x + . Analog zur Zeitentwicklung im Schrdinger-Bild diskutieren wir nun die allgemeine Vero schiebung in einer freien Feldtheorie |(t)
S

= eiHt |H (t = 0) .

Aus diesem Grund mu ein unitrer Operator U () existieren, der das entsprechende a Transformationsverhalten fr den verschobenen Ort im Heisenberg-Bild beschreibt: u (x ) = (x + ) = U 1 ()(x)U () (x ) = (x ) = U () (x) (U
+ + + 1 +

())

U + = U 1 .

(100)

Aus der Mathematik wissen wir, da sich jeder unitre Operator durch a U () = eiQ() darstellen lt, wobei gilt Q+ () = Q(). a Fr kleine soll gelten: u
22

mit Q+ = Q

Q() = Q

U () 1 + iQ() 1 + Q .

Nun studieren wir das Transformationsverhalten von (x + ) mit Hilfe von Gleichung (100) bis zur Ordnung : (x + ) = (x) + (x) + 0(2 ) = (x) i Q , (x)] + 0(2 ) . Daraus folgt (x) = i Q , (x) .
21 22

= (1 iQ )(x)(1 + iQ )

siehe auch Kapitel 2.8.2 zum Noether-Theorem Q() = Q(0) + Q(0) + O(2 ) Q(0) = 0 Q(0) = Q

57

Aus (x ) = (x + ) = (x) + + O(2 ) folgt fr u = (x) (x) = (x ) (x) = . Dies steht in engen Zusammenhang mit den Uberlegungen beim Noether-Theorem (2.8.2). In unserer quantisierten Feldtheorie ist daher die totale Variation des Feldoperators (x) durch (x) = (x) (x) = (x) = +i Q , (x) gegeben. Man sagt auch, da die Gre Q die entsprechende Translationen in der Quano tenfeldtheorie erzeugt. Q wird daher auch Erzeuger der Translation genannt. Da die Resultate des Noether-Theorems auch in einer quantisierten Feldtheorie ihre Gltigkeit u behalten, ist es naheliegend die entsprechenden Ergebnisse aus dem Kapitel 2.8.2 zu ubernehmen. Es erscheint zweckmig den folgenden Operator Q einzufhren: a u Q = = d3 x T0 (x, t) = d3 x (x , t) (x , t) g0 L = Q = 0 (101)

d3 x ((x , t) (x , t) g0 L)

und damit den Kommutator [Q , (x)] zu untersuchen. Dies ist nun mit Hilfe der kanonischen Gleichzeitkommutatoren fr und von oben u mglich. o Unter Verwendung der Formel [AB, C] = A[B, C] + [A, C]B wobei A, B, C beliebige nicht vertauschende Operatoren seien, zeigt man nun (zur Rechnung siehe Anhang A.2), da gilt: [Q , (x)] = i (x). Das legt die folgende Identikation nahe: Q Q = d3 x T0 (x).
23

Die eben angestellten Uberlegungen erlauben es nun, zu setzen Q =

23

d3 kk a+ (k)a(k).

Man erinnere sich H = E Q0 = d3 kk a+ (k)a(k)

58

Der Feldoperator lie sich durch (x) =

d3 k a(k)fk (x) + a+ (k)fk (x)

darstellen. Wir knnen daher uber die Kommutatorbeziehung o i[Q , ] = i = i =

d3 kd3 k k [a+ (k)a(k), a (k)fk (x) + a (k)fk (x)] d3 kd3 k k (k k )a(k)fk (x) + (k k )a+ (k)fk (x) d3 k(ik a(k)fk (x) + ik a+ (k)fk (x)) +

i[Q , ] =

(102)

Auskunft uber die Vertauschungsrelation von a(k) und a+ (k) erhalten. Mit dem eben skizzierten Verfahren gelangt man in vielen Fllen schneller zu den gewnschten a u Vertauschungsrelationen.

59

3.3
3.3.1

Singulre Funktionen a
Mebarkeit und Kausalitt a

Aufgrund der kanonischen Vertauschungsrelationen in einer freien Quantenfeldtheorie wird die Mebarkeit von Feldern (im Gegensatz zur klassischen Feldtheorie) eingeschrnkt. a Aus der Quantenmechanik wissen wir, da zwei Observable gleichzeitig messbar sind, wenn ihr Kommutator verschwindet. Aus diesem Grund wird in einer quantisierten Feldtheorie die exakte Messung zweier Feldstrken an zwei verschiedenen Raum-Zeit-Punkten x und y (2 vllig separierte Rauma o zeitpunkte) nur dann mglich sein wenn der Kommutator [(x), (y)] verschwindet. o Mit der Fourier-Darstellung der Lsung fr das freie Klein-Gordon-Feld und der Vertauo u schungsrelation a(k), a+ (k ) = (3) (k k ) knnen wir daher den Kommutator zweier skalarer Feldoperatoren an verschiedenen Punko ten x und y berechnen mittels Koordinatentransformation k k: [(x), (y)] = d3 k d3 k

(2)3 2k

(2)3 2k

( a(k), a+ (k ) eikx+ik y

+ a+ (k), a(k ) eikxik y ) d3 k eik(xy) eik(xy) (2)3 2k d3 k 0 0 0 0 0 0 = eik(xy) eik (x y ) eik (x y ) 3 2 (2) k d3 k ik(xy) i e sink (x0 y 0 ) = (2)3 k = i(x y)1 l. = (103) Die letzte Zeile deniert eine singulre Funktion (fr x = y ) a u (x y) = 1 (2)3 d3 k ik(xy) e sin k (x0 y 0 ). k (104)

Diese Funktion besitzt folgende Eigenschaften: a) Da (x y) nur von der Dierenz der Punkte x und y abhngt, ist sie translatia onsinvariant. b) Die Funktion ist Lorentz-invariant. Dies sieht man, wenn man das invariante Volumselement d3 k 2k d4 k(k 2 m2 )(k 0 ) 60

einfhrt. Betrachtet man jetzt eine Lorentz-Transformation u (x y) = L (x y) so ndet man mittels Relation k = L k folgenden Ausdruck: (x y ) = i = d4 k (k 2 m2 )(k 0 ) eik L (xy) eik L (xy) 3 (2) d4 k = d4 k k =k
2 2

(L )T k = k = (x y)

fr det(L ) = +1, L00 > 0 (orthochrone Lorentz-Transformationen). u c) Wenn man fr die zeitartigen Vektoren k 2 > 0 die invariante Vorzeichenfunktion u +1, k 0 = + k 2 + m2 > 0 (k 0 ) (k 0 ) = (k 0 ) = 1, k 0 = k 2 + m2 < 0 einfhrt, so kann man die invariante Funktion (x y) geschlossener anschreiben: u (x y) = i d4 k (k 2 m2 )(k 0 )eik(xy) . (2)3

d) Da die Funktion (x y) uber Kommutatoren von freien Feldoperatoren deniert ist, erwarten wir, da gilt: (2x + m2 )(x y) = 0. e) Die Funktion (x y) ist eine ungerade Funktion, da gilt: (x y) = (y x). f) Untersucht man das Verhalten der Funktion fr x = y u d3 k = k d3 k k 2 + m2 = (0) so ndet

man, da sich (0) durch die Dierenz von zwei Ausdrcken der Form u

darstellen lt. Diese Integrale divergieren quadratisch. Aus diesem Grund nennen a wir (x y) singulre Funktion. a g) Aus den obigen Darstellung fr (x y) ist ersichtlich, da der Gleichzeitkommuu tator zweier Feldamplituden verschwindet: (x, x0 ), (y, x0 ) = 0. 61

Aufgrund der Lorentz-Invarianz (belt die Norm) folgt dann: a (x y) = 0 (x y)2 < 0.

Mit anderen Worten bedeutet dies, da zwei Feldoperatoren mit raumartigen Abstnden a vertauschen. Dies bedeutet also: Sind zwei Punkte nicht durch ein Lichtsignal oder eine sonstige physikalische Strung miteinander verbunden, so kann man in diesen o Punkten die entsprechenden Feldgren exakt und unabhngig voneinander messen. o a h) Die Zeitableitung von der Funktion (x y) ist singulr, da a (x y) x0 gilt: (x, x0 ), (x , x0 ) = i (3) (x x ).
x0 =y 0

= (3) (x y).

Diese Aussage ist mit den kanonischen Vertauschungsrelationen konsistent, da ja

62

3.3.2

Die Ausbreitungsfunktion - Propagatoren

Da wir die Lsung des freien Skalarfeldes (x) im Impulsraum mittels einer Fouriero Transformation durch (x) =
d3 k a(k)fk (x) + a+ (k)fk (x)

darstellen konnten, und die Operatoren a+ (k) und a(k) als Erzeugungs- und Vernichtungsoperatoren interpretierten, erscheint es sinnvoll, die Gren o 0| (x)(y) |0 0| (y)(x) |0 zu untersuchen. Intuitiv erwarten wir, da der Ausdruck (105) die Erzeugung eines Teilchens am Ort y mit der anschlieenden Vernichtung des gleichen Teilchens am Ort x. Da wir eine freie Feldtheorie studieren, vermuten wir, da sich das Teilchen zwischen den Raumzeitpunkten x und y frei bewegen wird. Eine analoge Aussage gilt fr die umgekehrte Zeitordnung, also y 0 > x0 . u Um beide Flle gemeinsam studieren zu knnen ist es zweckdienlich, das folgende Zeita o ordnungssymbol T fr zwei Feldoperatoren einzufhren: u u T ((x)(y)) = (x)(y)(x0 y 0 ) + (y)(x)(y 0 x0 ). Unsere Aufgabenstellung zielt also auf die Berechnung des Ausdruckes 0| T ((x)(y)) |0 d3 k (2)3 )2k

(0)

: :

x0 > y 0 , y 0 > x0

(105) (106)

(0)

(107)

(0)

:= iF (x y) d3 k (2)3 )2k

hin, den wir zur Denition der Funktion F (x y) verwenden. Zunchst berechnen wir: a 0| (x)(y) |0
0 0 (0) (x y ) =

0| a(k)eikx + a+ (k)eikx

a(k )eik y + a+ (k )eik y |0 (x0 y 0 ), = =

d3 kd3 k 0| a(k)a+ (k ) |0 eikx+ik y (x0 y 0 ) (2)3 2 k k d3 k eik(xy) (x0 y 0 ). 3 2 (2) k

Die weitere Berechnung ist dadurch geprgt, da man mit Hilfe der Integraldarstellung a der Stufenfunktion 1 (x y ) = 2i
0 0

ei(x y ) d i 63

>0

versucht, fr die Gre F (x y) eine Fourier-Darstellung zu nden. u o F (x y) = i = = = 0| (x)(y) |0 d3 kd (2)4 2k 0 d3 kd (2)4 2k 0

(0)

(x0 y 0 ) + 0| (y)(x) |0

(0)

(y 0 x0 ) , , ,

eik(xy) i(x0 y0 ) eik(yx) i(x0 y0 ) e e i + i eik

0 (x0 y 0 )+ik(xy)+i(x0 y 0 )

i ei(x y )(k i
0 0 0 )

ei(x

eik

0 (x0 y 0 )+ik(yx)+i(x0 y 0 )

+ i .

d3 kd ik(xy) e (2)4 2k 0

0 y 0 )(k 0 + )

+ i

Durch Substitution knnen wir ein Integral in kovarianter Viererschreibweise bekommen, o wir setzen daher k0 = k , und mit = k0 k , d = dk erhalten wir dann F (x y) = = d3 kdk 0 ik 0 (x0 y0 )+ik(xy) e (2)4 2k 0 d3 kdk 0 ik 0 (x0 y0 )+ik(xy) e (2)4 2k 0 k0 1 1 , 0 i 0 k 0 + i k k 2k 0 . (108) 2 02 k 0 k i
2

k 0 + = k
0

= k k 0
0

=(1)((k2 +m2 )+k 0 +i )

Wir knnen jetzt das im Zhler Null setzen, da wir es nur fr die Integration um die o a u Singularitt bentigen. a o Wir verwenden nun die Beziehung k 0 = k 2 + m2 und knnen jetzt, wenn wir den Ubergang o k k 0 durchfhren, unsere Funktion F (x y) in kovarianter Form anschreiben: u F (x y) = d4 k ik(xy) 1 e . 4 2 m2 + i (2) k (109)
0 2

Ahnlich wie im vorigen Kapitel bei der Funktion (xy) wollen wir nun die Eigenschaften der Funktion F (x y) (eigentlich eine Distribution) diskutieren. 64

a) Die Funktion ist Lorentz- und translationsinvariant. Der Nachweis erfolgt mit den gleichen Argumenten wie im vorigen Kapitel 3.3.1. b) Mit Hilfe der Fourier-Darstellung der Funktion F (x y) berechnet man leicht die Wirkung des Klein-Gordon-Operators auf F (x y). Wir erhalten also: (2 + m2 )F (x y) =

d4 k ik(xy) k 2 + m2 e . (2)4 k 2 m2 + i

Da wir die -Vorschrift fr diese Betrachtung nicht bentigen und daher weglassen, u o bekommen wir jetzt als Resultat (2 + m2 )F (x y) = d4 k ik(xy) k 2 + m2 e , (2)4 k 2 m2 + i = 4 (x y).

(110)

Dies ist jedoch die Denitionsgleichung einer Greenschen-Funktion. Diese Funktionen spielen, wie wir aus der Mathematik und aus den Methoden der Theoretischen Physik [7] wissen, bei der Lsung von inhomogenen Dierentialgleichungen, vor alo lem bei partiellen Dierentialgleichungen, eine zentrale Rolle. In unserem speziellen Fall einer freien 4 -Theorie und im Hinblick auf den Einbau von Wechselwirkungen steht man daher vor folgender Aufgabenstellung: Die freie Theorie ist durch die Gleichung 2 + m2 f rei (x) = 0 gekennzeichnet, whrend das allgemeinere Problem, die wechselwirkende Feldtheorie, durch a inhomogene, partielle Dierentialgleichungen der Bauart 2 + m2 (x) = j(x) beschrieben wird, wobei j(x) eine klassische oder auch eine operatorwertige Funktion sein kann. (x) ist nun ein wechselwirkender Feldoperator im Heisenberg-Bild. Die Lsung dieser o Dierentialgleichung lt sich mit Hilfe der Greenschen Funktionen besonders elegant a formulieren. Insbesondere bei Vorgabe der sogenannten Feynmanschen Randbedingun gen lt sich (x) folgendermaen darstellen: a (x) = f rei (x) d4 x F (x x) ). j(x

65

positive Frequenzen enthalten soll (in der Vergangenheit nur negative Frequenzen). Dies bedeutet fr x0 : u F (x 0) = i 0lim
x + x +

Die Feynmanschen Randbedingungen sagen aus, da (x) in der Zukunft t + nur

0| (x)(0) |0 ein x
n
0

(0)

, n > 0. (111)

i 0lim

da sie den Integrationsweg in der Integraldarstellung fr die Stufenfunktion festlegte. u

Diese eben diskutierten Randbedingungen stehen in engem Zusammenhang mit der Vorschrift in F (x y). Ursprnglich kam die kleine, positive Gre dadurch ins Spiel, u o

In der Fourier Darstellung von F (x y) legt sie den Integrationsweg in der komplexen k 0 -Ebene fest, wenn man das gesuchte Integral mit Hilfe des Cauchyschen Integralsatz in eine geschlossene Kurve in der k 0 -Ebene (komplex) einbettet (siehe Skizze 8). Dies wird sichtbar, wenn man die Nullstellen der Fouriertransformierten von F (x y) = betrachtet: k 0 = k 2 + m2 i, k =
0 2

1 d4 k ik(xy) e 4 2 m2 + i (2) k

(k 2

m2 )(1

i )

= k

1i 2 > 0.

k 0 = k i,

Diese -Vorschrift besagt, da man den Pol bei k 0 = +k um einen kleinen, positiven Imaginrteil nach unten verschieben mu, oder anders ausgedrckt, da man bei einer a u entsprechenden komplexen Integration den Pol mit positiver Energie oben zu umgehen hat. Ahnliches gilt fr k 0 = k . u Aus den Feynmanschen Randbedingungen resultiert folgender Integrationsweg in der komplexen k 0 -Ebene: Die oben angefhrten Behauptungen lassen sich an Hand von u F (x y) = d4 k ik0 (x0 y0 )+ik(xy) 1 e 4 0 2 k 2 m2 + i (2) k

uberprfen. u 0 Fr x und x0 y 0 > 0 wird die k 0 -Integration uber die untere Halbebene gefhrt, u u und das Integrationsgebiet schliet nur den Pol mit positiver Energie ein. Da man den 66

Im(k 0 )

k0 = i

+i k =+
0

Re(k 0 )

Abbildung 8: Integrationsweg in der komplexen k 0 Ebene. Hilfsweg (den Beitrag vom Kreis) vernachlssigen will, mu also Im(k 0 ) < 0 gewhlt wera a den, da heit der Weg mu uber die untere Halbebene geschlossen werden, um Dmpfung a (Beitrag vom Hilfsweg) zu erreichen, whlt man sin < 0: a eik
0 (x0 y 0 )

= eiR(cos +i sin )(x

0 y 0 )

mitk 0 = Rei = R(cos + i sin ).

Im(k 0 )

Re(k 0 ) k

Abbildung 9: Integrationsweg uber untere Halbebene mit eingezeichnetem Hilfsweg. Wir bekommen dann fr x0 und x0 y 0 > 0 mit Hilfe des Cauchy-Integralsatz als u Ergebnis: dk
0

eik

0 (x0 y 0 )+ik(xy)

k 0 2 k 2 m2 + i
0

= 2i
i

Res(i), eik
0 (x0 y 0 )+ik(xy)

= 2ilim

k0 =

k2 +m2

k = i

k2

m2 k0

, k0 + . k 2 + m2

k 2 + m2

k2 +m2 (x0 y 0 )+ik(xy)

k 2 + m2

67

c) Die Funktion F (x y) ist fr x y, also (x y)2 = 0 ebenfalls eine singulre u a Funktion, da gilt: 1 d4 k = F (0) = i 0| 2 (x) |0 (2)4 k 2 m2 + i

xy

lim F (x y)

(0)

Daraus erkennt man, da im Rahmen einer freien Theorie 2 (x) (Produkt einer operatorwertigen freien skalaren Feldgre) nicht deniert ist! Dies ist ein Haupto problem einer quantisierten Feldtheorie. Dieses Integral divergiert quadratisch. Das sieht man, wenn man k 0 = ik 4 setzt. Dadurch erhlt man ein euklidisches Integral, wo gilt: a
2 2 2 2 2 keukl = k1 + k2 + k3 + k4 = k 2 .

Bei Einfhrung von vierdimensionalen Kugelkoordinaten wird die quadratische Diu vergenz oenkundig. Wegen unserer -Vorschrift knnen wir nun die sogenannte Wick-Rotation des o Integrationsweges durchfhren. u Wir erhalten dabei mit k 0 = ik4 = k4 . e2 bedeutet Drehung ik 4
i

Im(k 0 )

Re(k 0 )

Abbildung 10: Wick-Rotation. 68

Man sieht in Abbildung (10), da beim Verdrehen des Integrationsweges in der angefhrten Art keine Pole uberstrichen werden. u d) Da die Funktion F (x y) die Ausbreitung freier, skalarer Teilchen beschreibt, so

ist die Funktion bereits ein Teil der Feynman-Regeln. Wir ordnen daher der Ausbreitung eines skalaren Teilchens im Ortsraum und auch im Impulsraum einen Graph, der aus einer Linie besteht, zu. Wir erhalten im Ortsraum: iF (x y) x y . (112)

Im Impulsraum gilt dann: k2 i m2 + i x y . (113)

Die Gleichungen (112) und (113) sind bereits wesentliche Elemente der Feynmanschen Regeln einer allgemeinen Quantenfeldtheorie unter Bercksichtigung von Wechselwirkunu gen.

69

3.3.3

Greensche Funktionen

W [] =

d4 xL(, ),

(114) (115)

L L W [] = 0, (y) (y) (y) Rechenregeln des funktionalen Dierenzieren (x) = (x y), (y)
x (x) x (x) x = = (x y), (y) (y)

Um keine freie Theorie zu betrachten, koppelt man das quantisierte freie Feld (x) an eine uere (unquantisierte) Quelle, um eine Wechselwirkung zu simulieren. Man erhlt a a folgendes inhomogene Problem (das auch spter in einer wechselwirkenden QFT sinnvoll a 1 m2 2 + j. 2 Lsung der Klein-Gordon Gleichung o L= (2x + m2 )(x) = j(x) mit Ansatz (x) = wenn gilt (2x + m2 )G1 (x, x ) = (4) (x x ) allgemeine Lsung von o G(x, x ) = G0 (x, x ) + G1 (x, x ). Da wir unser inhomogenes Problem in einem unbeschrnktem M4 betrachten, verwendet a man das Fouriersche Integral-Theorem, um die Green-Funktion G1 (x, x ) zu berechnen. G1 (x, x ) = Daraus folgt (2 + m2 )G1 (x, x ) = (2x + m2 ) und somit erhlt man a G(k) = k2

sein wird):

d4 x G1 (x, x )j(x ),

d4 k ik(xx ) e G(k). (2)4 d4 k ik(xx ) e G(k), (2)4

Daher bentzen wir die oben verwendeten Feynman-Randbedingungen, die wir durch u 70

G(k) besitzt einfache Pole auf der reellen k 0 -Achse, nmlich bei k 0 = k = k 2 + m2 . a

1 . m2

die bekannte i-Vorschrift einfhrten (Verschiedene Wege im Komplexen entsprechen veru schiedenen Randbedingungen). Somit erhlt man fr die Greensche Funktion den folgenden Feynman-Propagator: a u GF eynman (x, x ) = F (x x ) = Aus Feynmanschen Randbedingungen folgt:
x

1 d4 k +ik(xx ) e . 4 2 m2 + i (2) k
0 x 0 )

lim F (x x ) eik (x 0

(116)

71

3.4

Die Quantisierung des Elektromagnetischen Feldes

Klassisch war das freie, elektromagnetische Feld durch eine Lagrange-Dichte 1 L = F F 4 gekennzeichnet. Physikalische Signikanz besitzt nur der Feldtensor F = A A , skalare Funktion charakterisiert ist, war: A (x) A (x) = A (x) + (x).
24

(117)

(118)

der ja invariant gegenber einer lokalen innitesimalen Eichtransformation, die durch eine u

Man hat dadurch die Freiheit, die Potentiale so zu eichen A (x) = 0.

, da gilt:

Voraussetzung dafr ist, da die Eichfunktion (x) ebenfalls eine Lsung der freien u o masselosen Klein-Gordon Gleichung (Wellengleichung) 2(x) = 0 ist. Es ist daher naheliegend, die Quantisierungsprozedur unter simultaner Bercksichtigung u der Lorentz-Konvention und der Eichfreiheit durchzufhren. Darber hinaus werden wir u u sehen, da sich die Forderung nach einer positiven Energiedichte ebenfalls in konsistenter Weise einbauen lt. a Aus den eben angefhrten Grnden erwarten wir, da nicht alle Komponenten von A u u linear unabhngig sind. Der Einfachheit halber nehmen wir zunchst an, da die Kompoa a nenten von A unabhngige Gren sind. a o In vlliger Analogie zur Quantisierung der freien Klein-Gordon-Feldes entwickeln wir nun o das Potential A nach ebenen Wellen (es gilt ja: 2A (x) = 0, wenn A = 0 ist): A (x) =
24

d3 k A (k)eikx + A+ (k)eikx 3 (2) 2 2k

k0 k

(119)

Die Landau Eichung (oder Lorentzkonvention) kann durch ein Multiplayer-Feld implementiert werden L Linv + B A = L + LGf , L = A = 0 B

Der B A Term in der erweiterten Lagrange-Dichte, der auch so auf eine erweiterte Wirkung fhrt, u bricht natrlich die Eichinvarianz. Dies ist bei der Berechnung der entsprechenden Propagatoren von u groer Bedeutung.

72

Wir wollen nun die Polarisationen, das sind die Spinfreiheitsgrade des Eichfeldes (Spin 1-Teilchen), explizit aus den Fourierkomponenten A (k) abtrennen und stellen A (k) in Basis () (Spin 1-Teilchen) dar.
3

A (k) Man erhlt daher insgesamt: a A (x) = d3 k 3 (2) 2 2k

=
=0

() (k)a (k).

(120)

() (k) a (k)eikx + a+ (k)eikx

k0 k

(121)

Wir haben nun fnf Lorentz-Vektoren: k und () . k beschreibt die Ausbreitung des u Photons und () die Spinfreiheitsgrade. In unserem pseudoeuklidischen M4 knnen o aber nur vier Vektoren als linear unabhngig angesehen werden (bei gleichzeitiger a Bercksichtigung der Lorentz-Bedingung). Dies bedeutet, da man eine kompatible Wahl u fr k und () treen mu. Da fr das Photon (physikalische) kein Ruhesystem existiert, u u whlt man a k = (k 0 , 0, 0, k 0 ), k 2 = 0. (122)

Nun studieren wir, wie die Lorentz-Konvention im Verein mit der Eichfreiheit zwei der vier Komponenten von A eliminiert. Die Lorentz-Konvention impliziert zunchst: a k () (k)a = 0.

(123)

Da a ebenfalls unabhngige Gren darstellen, folgt aus der Gleichung (123), da a o k () (k) = 0 k (i) (k) = 0, i = 1, 2.

Dies bedeutet, da die a (k) uneingeschrnkt sind, wenn man k = (k 0 , 0, 0, k 0 ), (k k = a i 0) whlt. Es ist daher zielfhrend, die folgenden Polarisationen einzufhren: a u u (0) = (1, 0, 0, 0) (i) = (0, 1, 0, 0) (3) = (0, 0, 0, 1) Dabei sollen i und
k |k|

(i) = (0, i ) (3) = (0,

(0) = (1, 0) H k ) k0

(skalare Polarisation), (i = 1, 2 transversale Polarisation), (k 0 = |k| longitudinale Polarisation).

ein orthogonales Dreibein bilden: 1 2 = 0, i k = 0, 2 = 1 i 73 i = 1, 2.

Whlt man weiters e1 a

ex , e2

ey , k

(i)

(i)

Es gilt dann: (0) (0)

ez so ergibt sich: 0 0 0 1 + (3) (3) = 0 0 0 0 (i) (i) + (3) (3)

i

0 0

0 0 . 1 0 0 1 = g .

Das legt die folgende kovariante Schreibweise nahe: = g . Wir haben daher folgende Vierervektoren: k (k 0 , +k) mit k ez , (124)

e0 = (1, 0) H , ei = (0, i ) i k = 0, Es gelten die Beziehungen k i = 0, k 0 = k 0 = k 3 . Dies wird einsichtig, wenn man 3 = k , k0 3 = (0, 0, 0, 1) 1 2 = 0, fr i = 1, 2, u e3 = 0, k |k| .

setzt. Die Summe uber die physikalischen Polarisationen lt sich daher folgendermaen a ausdrcken: u H k + H k k k i i 02 . = g + k0 k i
(0) (0) 3 3

Die Lorentz-Konvention lautet nun:

Die Terme mit k 0 und H bezeichnet man als nicht-kovariante Terme. k a (k) = k 0 a (k) + 1 a (k) + 2 a (k) + 3 a (k) , 0 1 2 3 = k = 0. 74 0 a (k) 1 a (k) 2 a (k) 3 0 1 2 k |k| a (k) , 3

Da wir hatten k

ez , also k = (k 0 , 0, 0, k 0 ), folgt: a (k) = a (k). 0 3

Das bedeutet, da die skalare Komponente bei gegebener longitudinaler Komponente auch bestimmt ist. Nun bercksichtigen wir die Eichfreiheit, da wir fordern, da die Funktion (x) ebenfalls u 2(x) = 0 erfllen soll, setzt man (siehe Quantisierung des Klein-Gordon Feldes Kapitel u 3.2): (x) = d3 k (2)3 2k (k)eikx + (k)e+ikx 1 l.

Das eichtransformierte Potential A (x) ist daher: A (x) = A (x) + (x), = +

=0 3

d3 k (2)3 2k
3

=0

(k)a (k) ik (k)1 eikx + l

(k)a+ (k) + ik (k) e+ikx .

Wenn gilt A (x) = (k) 3 2 (2) k =0 d3 k

3

a (k)eikx + a (k)eikx ,

dann ist zum Beispiel (weil eikx eine kontinuierliche Basis bilden)
3 (k) a (k) a (k) = ik (k)1 l.

=0

Diese Gleichung ist bei k

ez , k = (k 0 , 0, 0, k 0 ) und mit obiger Wahl der (k) a i (k) = a (k) i

i = 1, 2,

a 0 (k) = a (k) ik (k)1 l, 0

a 3 (k) = a (k) ik (k)1 l 3 erfllt. u Daraus sieht man, da man a (k) und a (k) eliminieren kann, wenn man (k) entspre0 3 chen whlt. Dabei verbleiben nur zwei physikalische Komponenten, nmlich gerade die a a transversale Komponenten, was ja der Natur des Elektromagnetischen Feldes entspricht. 75

Das nur die zwei transversalen Komponenten ai (k) uberleben, ist eine Folge von 2 Be 2 dingungen: A = 0 und k = 0, physikalische on-shell-Photonen. Nun wollen wir die eigentliche Quantisierungsprozedur durchfhren. Es wird sich herausu stellen, da die Ubertragung der Lorentz-Bedingung und der Eichfreiheit in die quantisierte Theorie nicht problemlos ist. Die erste Schwierigkeit begegnet uns bei der Berechnung des kanonischen Impulses (x) = L A (x) = F0 ,

wo 0 (x) identisch verschwindet. Daraus wird unmittelbar einsichtig, da die kanonische Quantisierungsprozedur auf diese Komponente von (x) nicht anwendbar ist. Daher verwenden wir die in Kapitel 3.2.2 dargestellte Alternativmethode, um Aussagen uber die Vertauschungsrelationen von a (k) und a+ (k) der Fourierzerlegung A (x) = d3 k 3 (2) 2 2k
3

() (k) a (k)eikx + a+ (k)eikx

=0

k0 k

zu bekommen. Dazu bentigt man den quantisierten Energie-Impulstensor o L T = A g L, A um den Erzeuger der Translation zu berechnen: P = d3 xT0 , P = 0.

Das Transformationsverhalten gegenber einer innitesimale Translation ist dann durch u den folgenden Kommutator gegeben: [P , A (x)] = i A (x). Daraus kann man die Vertauschungsrelationen fr die Operatoren a (k) herleiten. Mit u Hilfe von g = erhlt man zunchst (siehe analoge Berechnung von H im Falle des Klein-Gordon-Feldes, a a es uberleben nur die gemischten Produkte. Auch hier verwenden wir die Normalordnung, um zu erreichen 0| P0 |0 = 0): P = = 1 2 d3 kk g : a+ (k)a (k) + a (k)a+ (k) : , d3 kk g a+ (k)a (k). 76

Andererseits gilt: i A (x) = d3 k (2)3 2k

3

k
=0

a (k)eikx a+ (k)eikx .

Setzt man die letzten Ausdrcke in den Kommutator u [P , A (x)] = i A (x) ein, so ndet man: a (k), a+ (k ) = g (3) (k k ). (125)

Wenn wir diese Kommutatorbeziehung mit ihrem Analogon der skalaren Theorie vergleichen, so sehen wir, da sich die zeitlichen Komponenten durch ein negatives Vorzeichen auszeichnen. Wir haben daher Schwierigkeiten bei der Interpretation der a (k) als 0 Erzeugungs- und Vernichtungsoperatoren. Man erhlt: a a (k), a+ (k ) = (3) (k k ). 0 0 (126)

Im Vergleich zur skalaren Theorie sind hier die Pltze von Erzeugungs- und Vernichtungsa operator vertauscht. Dies fhrt uns auf das Problem einer negativen Norm25 . Teilchen mit u negativer Norm bezeichnet man als Geister. Der Operator a bereitet noch eine weitere Schwierigkeit. Betrachtet man etwa den Aus0 druck der Energie P0 E = = Wenn wir jedoch a (k) = a (k) 0 3 als eine Operatorgleichung (als Folge der Lorentz-Konvention) auassen, so ist dann
2

d3 kk g : a+ (k)a (k) : d3 kk 0 a+ (k)a (k) a+ (k)a (k) + a+ (k)a (k) + a+ (k)a (k) 0 0 1 1 2 2 3 3 ,

so sieht man, da E im allgemeinen nicht positiv denit sein wird.

E=

d kk

0 i=1

a+ (k)a (k) i i
|ai |2

und natrlich u P =
25

d kk
i=1

a+ (k)a (k). i i

siehe auch Bogoliubov [3]

77

In beiden Ausdrcken erstrecken sich die Summen nur uber die transversalen Kompou nenten, und garantieren so positiv denite Ausdrcke. u Im Abschlu wollen wir noch die Lorentz-Konvention in einer quantisierten Theorie untersuchen. Zu diesem Zweck berechnen wir den Kommutator zweier Vektorpotentiale an verschiedenen Raumzeitpunkten. Mit der Entwicklung fr A (x) und den Vertauschungsu relationen fr a (k) ndet man die folgende singulre Funktion: u a d3 kk [a , a+ ] 2(2)3 k k

[A (x), A (y)] =

ei(kxk y) +

[a+ , a ]
+g (3) (kk )

g (3) (kk )

[A (x), A (y)] = = g = g

d4 k (k 2 )eik(xy) (k 0 ), 3 (2)

e+i(kxk y) ,

[A (x), A (y)] = ig (x y). wobei wir aus Kapitel 3.3.1 wissen, da fr m = 0 die singulre Funktion durch u a (x y) = i gegeben ist. Daraus resultiert ein Widerspruch, da nach Lorentz-Konvention gilt: d4 k (k 2 )eik(xy) (k 0 ) (2)3

(127)

Deshalb kann die Lorentz-Konvention nur als schwache Operatorgleichung gelten, das heit, nur fr u A (x)|physikalische Zustnde >= 0. a Die Forderung trit also nur auf Matrixelemente | A (x) | = 0 von physikalischen Zustnde | und | zu. a

A (x), A (y) = i (x y) = 0.
=0

78

3.5
3.5.1

Die Quantisierung des freien Dirac Feldes

Bemerkungen uber identische Teilchen und die Unterscheidbarkeit

Wenn man den Quantenzustand von identischen Teilchen beschreiben will, treten im Gegensatz zur klassischen Betrachtungsweise neue, bisher unbekannte Aspekte auf. Die Ununterscheidbarkeit der Teilchen hat zur Folge, da sich die entsprechenden Wellenfunktionen uberlappen (Klassisch: Kennzeichnung von 2 Billardkugeln durch zwei Farben hat keinen Einu auf ihre Bewegung). In der Quantenmechanik wird der Zustand von n identischen Teilchen durch einen vollstndigen a Satz von dynamischen Variablen a fr jedes einzelne Teilchen bestimmt. Speziell ist ein u Zustand so bestimmt, da von den n Teilchen durch die Eigenwerte a , n Teilchen durch die Eigenwerte a , etc. charakterisiert werden. Da die Teilchen ununterscheidbar sein sollen, ist es nicht mglich zu sagen, welches Teilchen durch a oder a festgelegt ist. o Um den Quantenzustand von Vielteilchensystemen sinnvoll beschreiben zu knnen, mao chen wir die Annahme, da ein bestimmter vollstndiger Satz von dynamischen Variablen a ausreicht, um alle Teilchen der gleichen Art zu charakterisieren. Dies soll auch bei Anwesenheit von Wechselwirkungen gltig sein. Das bedeutet praktisch, falls wir die Eigenwerte u a , a , .. fr die n , n Teilchen kennen, da auch der Zustand des direkten Produktes geu geben ist. Studieren wir die Situation fr ein 2-Teilchen System (n = n = n = 2). Der Basiszustand u eines solchen Systems ist durch |a > |a > gegeben. Wegen der Ununterscheidbarkeit ist auch |a > |a > ein mglicher Zustand. Im allgemeinen gibt es n! verschiedene Vektoren, o die alle die gleiche physikalische Situation beschreiben. Wegen des Superpositionsprizipes ist auch jede Linearkombination eine erlaubte Beschreibungsform. Von allen diesen Mglichkeiten kann jedoch nur ein Zustandsvektor den wirklichen Sachverhalt charakteo risieren. Es bedarf daher gewisser Kriterien, um die restlichen auszuschlieen. Die Natur lehrt uns, da aus der genannten Menge von Mglichkeiten nur zwei physikalisch o annehmbar sind: Jene, die vollkommen symmetrisch bzw. vollkommen antisymmetrisch bezglich einer Vertauschung der Eigenwerte sind. u Fr n = 2 bedeutet dies: u 1 |n = 2 >= (|a1 > |a2 > |a2 > |a1 >). 2 Dies kann gruppentheoretisch mit Hilfe der sogenannten Symmetriegruppen gezeigt werden. An Hand unseres einfachen Beispiels kann dies jedoch sofort verstanden werden, da es sich in der Natur um zwei Arten von Teilchen dreht: Die Bosonen (Teilchen mit ganzzahligem Spin) und die Fermionen (Teilchen mit halbzahligem Spin). Die Bosonen, die sogenannten Austauschteilchen, vermitteln die Wechselwirkung zwischen den Fermionen, den Materieteilchen (siehe QFT 2 [9]). So ordnet man aus der Erfahrung heraus 79

den Fermionen den total antisymmetrischen Zustand zu, um das Pauli-Verbot in konsistenter Weise einbauen zu knnen. Dieses Ausschlieungsprinzip besagt, da identische o Fermionen eines Systems nur einfach besetzt sein drfen. Ist dies nicht erfllt, so mu u u der entsprechende Zustand verschwinden. In unserem einfachen Beispiel bedeutet dies fr u a = a , da |n = 2 > = 0 gilt.

80

3.5.2

Die Konsequenzen des Pauli-Verbotes auf die Quantisierungsprozedur

Bei der Quantisierung des freien Fermi-Feldes fhrt man ebenfalls das Konzept der Erzeugungsu und Vernichtungsoperatoren unter Bercksichtigung des Ausschlieungsprinzips ein. Dieu ses besagt, da zwei Fermionen quantenmechanisch nicht im gleichen Zustand benden drfen. u Wir folgen dem Vorbild der skalaren Theorie und denieren zunchst einen Vakuumsa zustand 0 , der keine Teilchen enthlt. Ein Erzeugungsoperator wird dann so deniert a sein, da er auf 0 angewandt einen Einteilchenzustand aus der Menge von n-mglichen o Zustnden mit der Quantenzahl a erzeugt. a b+ 0 a = |0 1 . a (128)

Die rechte Seite von Gleichung (128) bedarf einer Erluterung. Infolge des Ausschliea ungsprinzips ist der Zustand a entweder leer oder besetzt. Wir beschreiben diese beiden Mglichkeiten durch zweikomponentige Vektoren o 0 1
a

1 0
a

an. Folglich ist der Vakuumszustand eine Produkt von lauter unbesetzten Zustnden a
n

0 =
a =1

0 1
a

whrend der Einteilchenzustand einfach lautet: a a = 1 0

n

0 1
a

a a =a

gerade aus

Folglich kann der Erzeugungsoperator durch eine 2 2 Matrix dargestellt werden, die 0 1
a

1 0
a

erzeugt. Jede Matrix der Gestalt b+ = a x 1 y 0

a

(mit beliebigen x und y) leistet dies. Das Pauli-Verbot verlangt jedoch, da gilt: b+ a 1 0
a

0 0

81

x 1 y 0
a

1 0
a

0 0

Daraus folgert man, da x = y = 0 und daher: b+ = a 0 1 0 0

a

(129)

Auf hnliche Weise erhlt man die entsprechenden Vernichtungsoperatoren: a a ba = 0 0 1 0

a

(130)

b+ und ba sind also hermitesch konjugiert zueinander. Aus der expliziten Gestalt von b+ , a a ba folgen die einfachen Antivertauschungsrelationen: {ba , ba } = b+ , b+ = 0, a a ba , b+ = 1 aa . l a Erzeugungs- und Vernichtungsoperatoren eingefhrt hat. u (131) (132)

Wir sehen also, da das Ausschlieungsprinzip Antivertauschungsrelationen zwischen den

82

3.5.3

Die Quantisierung

Als Ansatz fr die Quantisierung dient der folgende klassische kovariante Ausdruck: u (x) = Daraus folgt: (x) = 1 (2)
3 2

1 (2) 2
3

d4 k(k 2 m2 ) (k)e+ikx .

d3 k 2k

(k , k)e+ikx

k0 =k

+ (k , k)e+ikx

k0 =k

Setzt man im zweiten Integranden k = k, so ergibt sich: (x) = 1 (2) 2

3

d3 k (k , k)e+ikx + (k , k)eikx 2k

k0 =k

In Anlehnung an Bjorken und Drell [1] deniert man besser: (x) = = 1 (2) 1 (2)
3 2

d3 k 2k d3 k 2k

m (k , k)e+ikx + (k , k)eikx k m + (k)e+ikx + (k)eikx k

k0 =k

k0 =k

= (133)

3 2

Dieser Ausdruck soll nun quantisiert werden, d.h. wir werden in (k) und + (k) die entsprechenden Erzeugungs- und Vernichtungsoperatoren vermuten. Da nun (i m)(x) = 0 gilt, folgt natrlich: u ( k m) (k) = 0, ( k + m) + (k) = 0. fr die -Matrizen abhngen. u a Wir whlen: a 0 = 1 l 0 0 1 l , i = 0 0. . (134) (135)

Die Matrixstruktur der Lsungen wird sehr wesentlich von der Wahl der Darstellung o

Wegen der Lorentz-Invarianz stellen wir unsere Betrachtungen in einem System an, wo k = 0 ist. In einem solchen Bezugssystem dem Ruhesystem gilt: k 2 = k 02 = m2 . Unsere Gleichungen nehmen daher die folgende Gestalt an: m( 0 1) (0) = 0, 83

m( 0 + 1)+ (0) = 0. Mit der obigen Wahl der Darstellung fr 0 ergeben sich folgende zwei Matrixgleichungen: u 0 0 0 0 (0) 1 0 0 0 2 (0) 0 0 0 1 0 (0) = 0, 3 0 0 0 1 4 (0) 1 0 0 0 + (0) 1 0 1 0 0 + (0) 2 0 0 0 0 + (0) = 0. 3 + 0 0 0 0 4 (0) Im Ruhesystem (k = 0) erhalten wir daher: 1 0 (0) = c1 0 0 0 0 + (0) = c3 1 0 0

Die entsprechenden Spaltenvektoren 1 0 , 0 0 dann:

+ c2 1 , 0 0 0 + c4 0 . 0 1 0

1 , 0 0

...

beschreiben gerade die Spinfreiheitsgrade. In einem beliebigen System k = 0 hat man (k) =
s

b(k, s)u (k, s), d+ (k, s)v (k, s).

s

+ (k) =

Dabei erfllen die Spinoren u und v die folgenden Gleichungen: u ( k m)u(k, s) = 0, ( k + m)v(k, s) = 0. 84

Als Gesamtlsung erhalten wir dann: o (x) = 1 (2)

3 2

d3 k 2k

m k

b(k, s)u (k, s)eikx + d+ (k, s)v (k, s)eikx .

s

(136)

Fr den adjungierten Spinor u = + 0 ergibt sich: (x) = 1 (2)

3 2

d3 k 2k

m k

b+ u eikx + d eikx . v
s

(137)

Wir knnen die folgenden Antivertauschungsrelationen aufstellen: o b(k, s), b+ (k , s ) = ss (3) (k k ), d(k, s), d+ (k , s ) = ss (3) (k k ), (x), + (x ) |x0 =x 0 = (3) (x x ). Nachsatz: Aus W [, ] = d4 x(i m) (138) (139) (140)

erkennt man, da auch hier die kanonische Quantisierungsprozedur versagt, denn der kanonische Impuls zu verschwindet L = = 0, whrend das entsprechende Pendant durch a L = i 0 = i+ gegeben ist. Diese Formel erklrt Gleichung (140) - allerdings mit dem Antikommutator a bei gleichen Zeiten. Der Antikommutator steht fr die Fermi-Statistik. u

85

A
A.1

Anhang
Ergnzungen zur Hamilton-Dichte des Klein-Gordon-Feldes a
1 m2 2 H = L = 2 2 1 1 1 = 2 + + m2 2 2 2 2 1 2 = + + m2 2 0 (positiv denit). 2

Fr freie Felder berechnetet man folgendermaen die Hamilton-Dichte: u

Zwecks Einsetzen in obiger Gleichung berechnen wir: (x) = (x) = (x) =

d3 k fk (x)a+ (k) + fk (x)a(k) , d3 kik fk (x)a+ (k) fk (x)a(k) , d3 kik fk (x)a+ (k) + fk (x)a(k) .

2 (x) = =

d3 kd3 k k k fk a+ (k) fk a(k)

fk a+ (k ) fk a(k )

d3 kd3 k k k fk fk a+ (k)a+ (k ) fk fk a(k)a+ (k ) fk fk a+ (k)a(k ) + fk fk a(k)a(k ) ,

fk fk = fk fk fk fk

fk fk

1 ei(k+k )x , 2k 2k 1 ei(kk )x , = 3 2 2 (2) k k 1 = ei(kk )x , 3 2 2 (2) k k 1 ei(k+k )x , = (2)3 2k 2k (2)3

(x)(x) =

d3 kd3 k (k k ) fk (x)a+ (k) + fk (x)a(k) fk (x)a+ (k ) + fk (x)a(k ) ,

d3 kd3 k (k k ) fk (x)fk (x)a+ (k)a+ (k ) fk (x)fk (x)a(k)a+ (k ) fk (x)fk (x)a+ (k)a(k ) + fk (x)fk (x)a(k)a(k ) .

86

Fr m = 0: u d3 x 2 + ()2
a+ a+

d3 x

d3 k

d3 k

(2)3

1 [k k + k k ]ei(k+k )x . 2k 2k

Folgendes Integral berechnen wir d3 xei(k+k )x =

d3 xei(k x

0 + x0 i(k+k )x k

= ei2k x (3) (k + k ).

Eingesetzt folgt aus der Bewegungsgleichung im Impulsraum: d3 x(2 + ()2 ) = (2)3 1 0 [k 2 + k 2 ] e2ik x a+ (k)a+ (k) = 0. 2k 2k
=0

a+ a+

87

A.2

Kommutatorbeziehung der alternativen Quantisierungsprozedur

[(x , t), (x, t)] = 0 [Q , ] = = d3 x

[(x , t), (x, t)] = i (3) (x x )

[x (x, t), (x , t)] = 0

1 (x ) (x ), (x) g0 (x ) (x ) m2 (x ), (x) 2

d3 x (x , t)[ (x , t), (x, t)] + [(x , t), (x, t)] (x , t)

1 g0 (x , t)[ (x , t), (x, t)] + [ (x , t), (x, t)] (x , t) 2

i(xx ) i(xx )

[Q0 , ] =

d3 x (x , t) [(x , t), (x, t)] + [(x , t), (x, t)] (x , t) 1 (x , t)[(x , t), (x, t)] + [(x , t), (x, t)](x , t) 2 +(x , t) [(x , t), (x, t)] + [(x , t), (x, t)] (x , t)
=0 =0

Daraus folgt [Q0 , (x)] = i(x) = i [Qi , ] =

=0

(x, x0 ). x0

= Somit erhlt man: a

3 , t) [(x , t), (x, t)] +[(x , t), (x, t)](x , t) , d x (x d3 x (x x )(x , t) = i(x, t). [Q , (x)] = i (x).

i[Q , (x)] = i = i

d3 k d3 k
+

d3 k k [a+ (k)a(k), a+ (k )fk (x) + a(k )fk (x)], d3 k k (a+ (k)[a(k), a+ (k )]fk (x) + a(k) [a+ (k), a+ (k )] fk (x) =0 +

+a (k) [a(k), a(k )] fk (x) + [a (k), a(k )]a(k)fk (x),

=0

d3 k

d3 k ik a+ (k)fk (x) a(k)fk (x)

a(k), a+ (k ) , .

i (x) =

d3 kik a+ (k)fk (x) a(k)fk (x)

Von dieser Beziehung schliet man auf a(k), a+ (k) = (3) (k k ). 88

A.3

Wiederholung: 3 Felder der freien Theorie

Zusammenfassung freie QFT (Klein-Gordon-Feld, Elektromagnetisches Feld, Dirac-Feld): (2x + m2 )(x) = 0, F , A = 0, 1 L0 = ( m2 2 ), 2 1 L0 = F F , 4 m). L0 = (i

(i m) (x) = 0, Euler-Lagrange Gleichung L L = 0, W [] =

= (, A , ).

d4 xL(, )

Kommutatorbeziehungen der freien Theorie a(k), a+ (k ) = (3) (k k ), a (k), a+ (k ) = g (3) (k k ), b(k, s), b+ (k , s ) = ss (3) (k k ), d(k, s), d+ (k , s ) = ss (3) (k k ). a(k), a(k ) = a+ (k), a+ (k ) ,

[(x), (y)] = i(x y)1 l, [A (x), A (y)] = ig (x y),

+ (x), (x ) = (3) (x x ).

89

Literatur
[1] James D. Bjorken & Sidney D. Drell: Relativistische Quantenmechanik, BI HTB Band 98 (Mannheim, 1966) [2] James D. Bjorken & Sidney D. Drell: Relativistische Quantenfeldtheorie, BI HTB Band 101 (Mannheim, 1978) [3] N. Bogoliubov: Introduction to the Theory of Quantized Fields [4] Hans Jrg Dirschmid, Wolfgang Kummer, Manfred Schweda: Einfhrung in die mao u thematischen Methoden der Theoretischen Physik, Vieweg (Wiesbaden, 1976) [5] Albert Messiah: Quantenmechanik Bd.2, de Gruyter (Berlin, 1979) [6] Max Psler: Prinzipe der Mechanik, Vieweg (Berlin, 1968) a [7] Manfred Schweda: Vorlesungsunterlagen zu Methoden der Theoretischen Physik, (Wien) [8] Manfred Schweda: Skriptum Allgemeine Relativittstheorie,(Wien) a [9] Manfred Schweda: Quantenfeldtheorie II, (Wien)

90