Der Euler-Heisenberg-Lagrangian

Alexander Blinne 6. Mai 2012

Zusammenfassung
Bereits Euler und Heisenberg haben die Berechnung der eektiven Wirkung eines Elektromagnetischen Feldes in Anwesenheit eines quantisierten Fermionfeldes auf 1Loop-Niveau im Jahre 1936 durchgefhrt [1]. Julian Schwinger hat diese Berechnungen 1951 unter Anwendung von modernen Methoden besttigt [2]. Davon ausgehend gibt es mittlerweile viele weiterfhrende Berechnungen, auch auf 2-Loop-Niveau [35] und bei endlichen Temperaturen [6]. Hier soll die Berechnung der eektiven Wirkung auf 1-Loop-Niveau dargestellt werden.

Inhaltsverzeichnis
1 Berechnung des Euler-Heisenberg-Lagrangians 1

1.1 1.2 1.3

2

Berechnung fr ein reines B -Feld . . . . . . . . . . . . . . . . . . . . . . . . Betrachtung eines reinen E -Feldes . . . . . . . . . . . . . . . . . . . . . . . Verallgemeinerung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1 4 5
5

Die Schwinger-Formel

1
1.1

Berechnung des Euler-Heisenberg-Lagrangians

Berechnung fr ein reines

B -Feld

Die Eektive Wirkung soll ausgehend von folgendem Ausdruck berechnet werden, der sich aus einer Legendre-Transformation des erzeugenden Funktionals der zusammenhngenden Greensfunktionen W [] = i ln Z[] und der Loop-Entwicklung ergibt [5, 7]

[A] = (0) [A] +(1) [A] + . . .

kl. Wirkung

(1) [A] = i ln det

/ iD + m /+m i

(1)

Dabei bedeutet der Feynman-Slash wie blich die bertragung eines Vektors in den Spi/ norraum gem A = A und D = ieA die kovariante Ableitung. Das Subskript deutet an, dass es sich um einen regularisierten divergenten Ausdruck handelt, der einer Renormierung bedarf. Etwas heuristisch lsst sich diese Formel ebenfalls gewinnen [2, 3], indem man in Analogie zur klassischen Elektrodynamik fordert, dass

(1) = 0|j |0 A

e sodass sich die Bewegungsgleichung zu F = 0|j |0 A ergibt. Hier ist j = 2 , die Stromdichte des Fermionfeldes und F = A A der Feldstrketensor des Eichfeldes. Der Nenner in (1) stellt lediglich eine Normierung dar und kann auch durch

/ (1) [A] = i ln det iD + m + N

beschrieben werden. Weiter gilt

(1) [0] = 0

(2)

/ (1) [A] = i Tr ln iD + m + N 1 (1) [A] = i Tr , / m iD + m i

G+ [A]

mit dem Propagator

G+ [A] =

1 1 = . ( + ieA ) + m i / i iD + m i

Die Spur Tr ist ber die Spinorindizes und den Kongurationsraum zu bilden. Whlt man fr den Kongurationsraum die Ortsdarstellung ergibt sich

(1) [A] = i m
und es lsst sich ablesen

d4 x tr x|G+ [A]|x

L(1) [A] = i tr x|G+ [A]|x . m

(3)

Hierbei bezeichnet tr eine Spur nur ber die Spinorindizes. Nun whlt man ein rumlich homogenes und zeitlich konstantes, reines Magnetfeld in z -Richtung, also F12 = F21 =: B = const. Fr die weitere Berechnung ist die Kenntnis 1

einer fr diesen Fall gltigen expliziten Darstellung des Propagators im Ortsraum hilfreich. Nach [3] gilt

G+ (x , x ) = x |G+ [A]|x (x , x ) = eie g(k) = i

0
x x

= (x , x )
und

d4 k ik(x x ) e g(k) mit (2)4

(4)

dx A (x)

ds eis[m

2 i+k 2 + tan z k 2 z

]e cos z

i 12 z

m k

ei z k cos z

12

Dabei ist ein Faktor, der notwendig ist um die Eichinvarianz zu gewhrleisten. Zum Teil wurden fr bessere bersichtlichkeit Lorentz-indizes unterdrckt (k = k ). Auerdem tragen g und somit auch G+ aufgrund der auftretenden -Matrizen Spinorindizes. Wie i blich bezeichnet = 2 [ , ] den Kommutator der Dirac-Matrizen. Die parallelen und senkrechten Anteile der Vektoren sind k := (k 0 , 0, 0, k 3 ) und k := (0, k 1 , k 2 , 0). Als Abkrzung wird die dimensionslose Gre z := eBs eingefhrt. Nun ist alles zur Berechnung des (unrenormierten) eektiven Lagrangians ntige vorhanden und man muss nur (4) in (3) einsetzen. Dazu bentigt man G+ (x, x) und das Ausfhren des k -Integrals ergibt

G+ (x, x) = (x, x)
=1

d4 k g(k) (2)4

d4 k (2)4

ds ieis[m
0

2 i+k 2 + tan z k 2 z

]e cos z

i 12 z

m k

ei z k cos z

12

=
0

ds ieis(m

2 i)

ei z m cos z
i 12 z

12

d4 k is[k2 + tan z k2 ] z e (2)4 1 (2)4 d2 k eisk

2

=
0

ds ie

is(m2 i) e

cos z = ei 4

d2 k eis
2

tan z 2 k z

Wegen

k1

iAx2 dx e 2 k 2 folgt

1 2

fr A > 0 und k = k 0

+ k3

2 und k =

G+ (x, x) =
0

ds ie

i 12 z is(m2 i) e

cos z

1 (2)4
12

z s tan z

=
0

ds is(m2 i) mz ei z e . s2 16 2 tan z cos z

Hier wurde ausgenutzt, dass Terme, die ungerade in k sind, nicht zum Integral beitragen. 12 Die Formel tr ei z = 4 cos z fhrt ausgehend von (3) auf

L(1) [A] = i m

ds is(m2 i) mz 1 e . s2 4 2 tan z
0

(5)

Die Integration von (5) nach m wird so ausgefhrt, dass fr m gesichert ist, dass L(1) 0, was bedeutet, dass bei beliebig hoher Masse keine Quanteneekte auftreten [3]. 2

Also
m

(1)

[A] =

dm

L(1) [A] +N m

i = 2 4
0

ds z s2 tan z
m

dm m eis(m eis(m i) 2is

2

2 i)

+N

i = 2 4
0

ds z s2 tan z

+N
m

1 8 2
0

ds z 2 eism + N . s3 tan z

Bercksichtigt man nun wieder gem (2) die Normierung fr verschwindende Felder ergibt eBs sich wegen B 0 z = eBs 0 tan eBs 1

(1)

1 [A] = 2 8
0 T =is

ds s3

eBs 2 1 eism tan eBs dT T3 eBT 2 1 em T . tanh eBT

(6)

1 = 2 8
0

Die Substitution im letzten Schritt steht symbolisch fr eine Deformation der Integrationskontur. Man kann den Integrationsweg in der komplexen Ebene durch einen verschwindenden Rckweg im unendlichen schlieen und im Anschluss die Kontur verformen. Zum Schluss kann man wieder einen verschwindenden Rckweg im Unendlichen weglassen. Leider handelt es sich bei (6) immernoch um einen logarithmisch divergenten Ausdruck, da 1 die Klammer im Integranden in fhrender Ordnung fr T 0 wie T luft, da

1 T3

eBT 1 tanh eBT

1 T3

1 1 1 + (eBT )2 (eBT )4 + . . . 1 3 45

Dies soll durch Kopplungs- und Feldstrkerenormierung behoben werden. Dazu wird der divergente Ausdruck zunchst regularisiert, indem das Integrationsgebiet abgeschnitten wird. Auerdem wird noch der klassische Anteil L(0) [A] = 1 F F = 4 1 B 2 dazugenommen 2

L1 [A] = L(0) [A] + L(1) [A]

1 1 = B2 2 2 8
1 2

dT T3

eBT 2 1 em T . tanh eBT

Nun wird der divergente Term abgezogen und an anderer Stelle wieder addiert

1 1 = B2 2 2 8
1 2

dT 1 2 (eBT )2 em T T3 3

1 2 8

dT T3
0

eBT 1 2 (eBT )2 1 em T tanh eBT 3 dT m2 T e T

1 e2 = B 2 1 2 12 2

1 2 1 ZB ()

1 2 8
0

dT T3

eBT 1 2 (eBT )2 1 em T tanh eBT 3

und man fasst die nackten Gren e und B als Funktionen der renormierten, physikalischen Gren eR und BR und des Cutos auf
1 2 B() = ZB () BR

e() = ZB 2 () eR .

1 2 Dadurch ergibt sich mit den Feststellungen BR = B 2 ZB und eR BR = eB fr

1 2 1 L [A] = BR 2 2 8
1 0

dT T3

e R BR T 1 2 (eR BR T )2 1 em T tanh eR BR T 3

(7)

der nun endliche, renormierte Euler-Heisenberg-Lagrangian fr ein reines Magnetfeld. In den nachfolgenden Betrachtungen wird der Index R wieder weggelassen und es tauchen nur noch renormierte Gren auf.
1.2 Betrachtung eines reinen

E -Feldes

Um die Lorentzinvarianz der Wirkung zu gewhrleisten, darf diese nur von invarianten Bil0 dungen des Feldstrketensors abhngen. Zur Ordnung , also ohne jegliche Ableitungen, gibt es nur 2 entsprechende Lorentzskalare

1 1 S = F F = B2 E2 4 2

1 P = F F = E B . 4

Sowohl bei einem reinen B -Feld, als auch bei einem reinen E -Feld ist P = 0. Der Wechsel zwischen B und E entspricht nur einem Vorzeichenwechsel von S. Dieser Lsst sich in (7) durch die Substitution iBR = ER erreichen. Fr ein reines E -Feld gilt somit

1 1 L [A] = E 2 2 2 8
1 0

dT T3

eET 1 2 + (eET )2 1 em T . tan eET 3

(8)

1.3

Verallgemeinerung

Aus solchen Betrachtungen lsst sich auch die Formel fr allgemeine (homogene und konstante) Felder erraten. Diese sei hier der Vollstndigkeit halber ohne strikte Herleitung angegeben

1 L [A] = S 2 8
1 0

dT T3

eaT ebT 2 2 (eT )2 S 1 em T tanh eaT tan ebT 3 S 2 + P 2 S . Eine exakte Herleitung ndet sind

mit a = in [2].
2

S 2 + P 2 + S und b =

Die Schwinger-Formel

Die Wahrscheinlichkeit zur Erzeugung von Elektron-Positron-Paaren lsst sich durch die Persistenzrate Pvac des Vakuums abschtzen. Es gilt

Pvac = 0| eiHt |0 = e
d4 x w

= e2

= e2
i

(1)

= e2

d4 x L(1)

= lim e
i Vi 0

Vi wi

= lim

i Vi 0 i

(1 wi Vi ) .

Dies deutet darauf hin, dass es sich bei w = 2 L(1) um die lokale Paarerzeugungsrate handelt [2]. Dies ist zwar nicht ganz korrekt [8], reicht aber zunchst aus. Da der Integrand von (7) reell ist und keine Pole aufweist ist die eektive Wirkung reell und es gibt fr ein reines Magnetfeld keine Paarerzeugung. Das Integral lsst sich mittels Residuenkalkl berechnen um w zu bekommen. Zunchst lohnt es sich, den Integrationsweg erneut zu verformen

w=2 L

(1)

1 [A] = 2 4
0 T =is

dT T3 ds s3
0

eET 1 2 + (eET )2 1 em T tan eET 3 eEs 1 (eEs)2 1 tanh eEs 3 cos sm2 i sin sm2 .

1 = 4 2

Die erste Klammer ist reell. Der Realteil des Integranden ist insgesamt ungerade in s, der Imaginrteil ist gerade. Daraus folgt

1 w= i8 2

ds s3

1 eEs 2 (eEs)2 1 eism . tanh eEs 3

(9)

n Die Pole des Integranden von (9) liegen auf der imaginren Achse an den Stellen sn = i eE mit n N\{0}. Der Integrationsweg kann durch einen Halbkreis auf der unteren Halbebene geschlossen werden, laut Residuensatz gilt dann

w= =

2i i 1 4

Res Res

n=1

1 1 8 2 s3

eEs 1 n 2 (eEs)2 1 eism , s = i tanh eEs 3 eE .

n=1

1 eEs n 2 eism , s = i s3 tanh eEs eE

5

Wegen

1 tanh a(ssn )

1 a(ssn )

+ . . . erhlt man nun sofort w= = 1 4

n=1 (eE)2

eE n

en

m2 eE

4 3

n=1

1 n m2 e eE . n2

(10)

Die Summe in (10) lsst sich allgemein nicht explizit berechnen, fr gewisse Grenzflle gelingt das jedoch leicht. Fr Starke Felder (eE m2 ) ist der Exponent klein und es 2 2 ergibt sich mit n n2 = die Produktionsrate zu w = (eE) . Fr sehr schwache Felder 6 24 (eE m2 ) trgt nur der erste Summand signikant zur Summe bei und es ergibt sich

w=

(eE)2 m2 e eE , 4 3

Paarproduktion ist bei schwachen Feldern also exponentiell unterdrckt.

Literatur

[1] Heisenberg, Werner und Euler, H.: Folgerungen aus der Diracschen Theorie des Positrons. Zeitschrift fr Physik, 98(11-12):714732, November 1936, ISSN 1434-6001. http://www.springerlink.com/index/10.1007/BF01343663. [2] Schwinger, Julian: On Gauge Invariance and Vacuum Polarization. Physical Review, 82(5):664679, Juni 1951, ISSN 0031-899X. http://link.aps.org/doi/10. 1103/PhysRev.82.664. [3] Dittrich, Walter und Reuter, Martin: Eective Lagrangians in Quantum Electrodynamics, 1985, ISBN 978-3-540-15182-1. http://www.springerlink.com/index/10. 1007/3-540-15182-6. [4] Krs, B. und Schmidt, M.G.: The eective two-loop Euler-Heisenberg action for scalar and spinor QED in a general constant background eld. The European Physical Journal C, 6(1):175182, Januar 1999, ISSN 1434-6044. http://www.springerlink.com/ content/1wln908r59uwabyj/. [5] Dunne, Gerald V.: Heisenbergeuler eective lagrangians: basics and extensions. 2004. [6] Gies, Holger: QED eective action at nite temperature: Two-loop dominance. Physical Review D, 61(8):085021, Mrz 2000, ISSN 0556-2821. http://arxiv.org/abs/ hep-ph/9909500. [7] Koch, Katrin: Vakuumuktuationen und nichtlineare Elektrodynamik. http://www. tpi.uni-jena.de/qfphysics/thesis/katrin_koch_diploma.ps.gz, 2005. [8] Cohen, Thomas und McGady, David: Schwinger mechanism revisited. Physical Review D, 78(3):036008, August 2008, ISSN 1550-7998. http://arxiv.org/abs/0807.1117.