Zeta-Funktionen in Der Physik

Zeta-Funktionen in der Physik -
eine Einfhrung
Bernhard Schiekel
Zeta-Funktionen in der Physik - eine Einfhrung, Bernhard Schiekel,
aktuelle Internet-Version 1.32-i, September 2011, Ulm.
c _opyright: 2007-2011, D-89073 Ulm, B. Schiekel.
Dieser Text ist auch zugnglich ber: www.mb-schiekel.de/zetafunc.pdf .
Der Drucksatz der aktuellen Ausgabe erfolgte mit L
Y
X 1.6.9,
KOMA-Script v3.04a (24.07.2009), BibTex-style natdin 3.0a,
pdfT
E
X 3.1415926-1.40.11 (T
E
X Live 2010)
unter SuSE-Linux 11.4 (Kernel 2.6.37.1).
Versionsgeschichte:
V-1.03, Dez. 2007: 1. Auage der Druck-Version im Eigenverlag.
V-1.11, Juli 2008: 2. Auage der Druck-Version im Eigenverlag.
Fehlerkorrekturen, berarbeitung des Kapitels zur semiklassischen Nherung in
der QFT, neu: die Kapitel ber Dimensionsanalyse, Regularisierung und Renor-
mierung der (
4
)
4
-Theorie mittels der spektralen Zeta-Funktion, Zusammenhang
von Renormierung und Wrmekern-Koezienten, die Anhnge zur Funktionala-
bleitung und der Literatur zur Funktionalintegration.
V-1.20, Mai 2010: Fehlerkorrekturen, erweitert: Feynman-Propagator und Zu-
standssumme des freies Teilchen und des harmonischen Oszillators (jetzt mit
Epsteinscher Zeta-Funktion), die Anhnge zur Gamma-Funktion und Riemann-
schen Zeta-Funktion, neu: die Anhnge zu Summenformeln, Jacobischer Theta-
Funktion, Hurwitzscher und Epsteinscher Zeta-Funktion, sowie einige kurze Le-
benslufe zu Euler, Riemann, et al.
V-1.30, April 2011: neu: Anhnge zu Fredholm-Operatoren und Pseudodierential-
Operatoren.
V-1-31, Juli 2011: neu: Kapitel zu klassischen deterministischen dynamischen Sy-
stemen.
V-1-32, September 2011: berarbeitet: Herleitung des Feynmanschen Pfadinte-
grals, neu: Kapitel zur semiklassischen Nherung und Gutzwiller Spurformel.
in Dankbarkeit fr
Beate
Inhaltsverzeichnis
1 Einfhrung 13
2 Der Harmonische Oszillator 15
2.1 Der klassische harmonische Oszillator . . . . . . . . . . . . . . . . . . . 15
2.2 Der quantenmechanische harmonische Oszillator . . . . . . . . . . . . . 17
3 Phasen-Operatoren und kohrente Zustnde 21
3.1 Ein quantenmechanischer Phasen-Operator . . . . . . . . . . . . . . . . 21
3.2 Das freie Elektromagnetische Feld . . . . . . . . . . . . . . . . . . . . . 24
3.3 Kohrente Zustnde . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.4 Phasen-Operatoren in kohrenten Zustnden . . . . . . . . . . . . . . . 33
4 Das gewhnliche Pfadintegral in der Quantenmechanik 41
4.1 Richard (Dick) Feynman (1918 1988) . . . . . . . . . . . . . . . . . . 41
4.2 Hagen Kleinert (*1941) . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
4.3 Pfadintegral in Hamiltonscher Form . . . . . . . . . . . . . . . . . . . 43
4.4 Pfadintegral in Lagrangescher Form . . . . . . . . . . . . . . . . . . . . 48
4.5 Pfadintegral in Euklidischer Form . . . . . . . . . . . . . . . . . . . . 49
4.6 Pfadintegral der Zustandssumme . . . . . . . . . . . . . . . . . . . . . 50
4.7 Gausche Integrale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
4.7.1 Das einfache Gausche Integral . . . . . . . . . . . . . . . . . . 50
4.7.2 Das Gausche Integral fr M-dimensionale symmetrische Matrizen 51
4.7.3 Das Gausche Integral fr M-dimensionale symmetrische Matri-
zen mit Linearterm . . . . . . . . . . . . . . . . . . . . . . . . . 52
4.7.4 Das Gausche Integral fr M-dimensionale hermitesche Matrizen 52
4.7.5 Das Gausche Integral fr M-dimensionale normale Matrizen . . 54
4.8 Spektrale Zeta-Funktion . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.9 Feynman-Propagator und Zustandssumme des freien Teilchens . . . . . 55
4.10 Feynman-Propagator und Zustandssumme des harmonischen Oszillators 60
4.11 Semiklassische Nherung des Pfadintegrals . . . . . . . . . . . . . . . . 66
4.12 Der Morse-Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
4.13 Feynman-Propagator und Fouriertransformation I . . . . . . . . . . . . 75
4.14 Feynman-Propagator und Fouriertransformation II . . . . . . . . . . . 80
5 Vielteilchen-Systeme 83
5.1 Beschreibung im Fock-Raum . . . . . . . . . . . . . . . . . . . . . . . . 83
5.2 Kohrente Zustnde fr Bosonen-Vielteichen-Systeme . . . . . . . . . . 86
5.3 Pfadintegral mit kohrenten Zustnden . . . . . . . . . . . . . . . . . . 89
8 Inhaltsverzeichnis
5.4 Zustandssumme fr Bosonen-Vielteichen-Systeme . . . . . . . . . . . . 92
5.5 Nichtwechselwirkende Bosonen-Vielteilchen-Systeme . . . . . . . . . . . 93
5.5.1 Nichtwechselwirkende harmonische Oszillatoren . . . . . . . . . 96
5.5.2 Ideales Bose-Gas (freie Teilchen im Kasten) . . . . . . . . . . . 98
5.5.3 Ultrarelativistisches Bose-Gas (Photonen) . . . . . . . . . . . . 102
6 Regularisierung mit der spektralen Zeta-Funktion 105
6.1 Stephen Hawking (*1942) . . . . . . . . . . . . . . . . . . . . . . . . . 105
6.2 Spektrale Zeta-Funktion bei bekanntem Spektrum . . . . . . . . . . . . 106
6.3 Casimir-Eekt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
6.4 UV-Cuto und spektrale Zeta-Funktion . . . . . . . . . . . . . . . . . . 112
6.5 Determinanten, Greensche Funktionen und Resolvente . . . . . . . . . 116
6.6 Wrmegleichung und spektrale Zeta-Funktion . . . . . . . . . . . . . . 118
6.7 Wrmekern-Entwicklung und spektrale Zeta-Funktion . . . . . . . . . . 120
6.8 Zustandssumme des harmonischen Oszillators . . . . . . . . . . . . . . 121
7 Semiklassische Entwicklung in der QFT 127
7.1 Das Funktional Z der Green-Funktionen . . . . . . . . . . . . . . . . . 127
7.2 Das Funktional W der zusammenhngenden Green-Funktionen . . . . . 130
7.3 Das Funktional der eektiven Wirkung . . . . . . . . . . . . . . . . . 131
7.4 Semiklassische Nherung . . . . . . . . . . . . . . . . . . . . . . . . . . 134
7.5 Dimensions-Analyse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
7.6 UV-Divergenz der (
4
)
4
-Theorie . . . . . . . . . . . . . . . . . . . . . . 141
7.7 Regularisierung der (
4
)
4
-Theorie mit der Zeta-Funktion . . . . . . . . 142
7.8 Kenneth Wilson (*1936) . . . . . . . . . . . . . . . . . . . . . . . . . . 146
7.9 Renormierung der (
4
)
4
-Theorie . . . . . . . . . . . . . . . . . . . . . . 146
7.10 Renormierung und Wrmekern-Koezienten . . . . . . . . . . . . . . . 150
8 Dynamische Systeme 155
8.1 Jules Henri Poincar (1854 - 1912) . . . . . . . . . . . . . . . . . . . . 156
8.2 David Ruelle (*1935) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
8.3 Iterierte Abbildungen . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
8.4 Flsse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158
8.5 Topologische Invarianten . . . . . . . . . . . . . . . . . . . . . . . . . . 159
8.6 Symbolische Dynamik . . . . . . . . . . . . . . . . . . . . . . . . . . . 163
8.7 Topologische oder Artin-Mazursche Zeta-Funktion . . . . . . . . . . . . 167
8.8 Zeitentwicklung und Zustandsfunktion . . . . . . . . . . . . . . . . . 170
8.9 Spektraldeterminanten fr iterierte Abbildungen . . . . . . . . . . . . . 174
8.10 Spektraldeterminanten fr Flsse . . . . . . . . . . . . . . . . . . . . . 176
8.11 Dynamische oder Ruellesche Zeta-Funktion . . . . . . . . . . . . . . . . 178
8.12 Periodische Orbit-Entwicklung in Quantensystemen . . . . . . . . . . . 180
8.12.1 Energieabhngige Greenfunktion und Zustandsdichte . . . . . . 180
8.12.2 Thomas-Fermi-Zustandsdichte . . . . . . . . . . . . . . . . . . . 184
8.12.3 Gutzwillersche Spurformel . . . . . . . . . . . . . . . . . . . . . 185
8.12.4 Spektraldeterminante . . . . . . . . . . . . . . . . . . . . . . . . 193
Inhaltsverzeichnis 9
8.12.5 Dynamische oder Ruellesche Zetafunktion in Quantensystemen . 196
8.13 Literatur zu deterministischen dynamischen Systemen . . . . . . . . . . 197
8.14 Literatur zu semiklassischen Nherungen und Quantenchaos . . . . . . 198
A Zum Weiterlesen 201
B Summenformeln 205
B.1 Poisson-Summenformel . . . . . . . . . . . . . . . . . . . . . . . . . . . 205
B.2 Euler-Maclaurin-Summenformel . . . . . . . . . . . . . . . . . . . . . . 206
B.3 Abel-Plana-Summenformel . . . . . . . . . . . . . . . . . . . . . . . . . 210
B.4 Literatur zu Summenformeln . . . . . . . . . . . . . . . . . . . . . . . . 217
C Einfhrung in die Gamma-Funktion 219
C.1 Leonhard Euler (1707 1783) . . . . . . . . . . . . . . . . . . . . . . . 219
C.2 Integral-Darstellung der Gamma-Funktion . . . . . . . . . . . . . . . . 220
C.3 Fortsetzung der Gamma-Funktion . . . . . . . . . . . . . . . . . . . . . 221
C.4 Die Beta-Funktion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 222
C.5 Reektions-Formel der Gamma-Funktion . . . . . . . . . . . . . . . . . 223
C.6 Zwei trigonometrische Integrale . . . . . . . . . . . . . . . . . . . . . . 226
C.7 Einige Abschtzungen zur Exponential-Funktion . . . . . . . . . . . . . 226
C.8 Die Produkt-Darstellung der Gamma-Funktion . . . . . . . . . . . . . . 228
C.9 Eine Multiplikationsformel fr die Gamma-Funktion . . . . . . . . . . . 231
C.10 Die Digamma-Funktion und ln((x)) . . . . . . . . . . . . . . . . . . . 233
C.11 Die Funktionswerte von (
1
)
t
(0) und
t
(1) . . . . . . . . . . . . . . . 235
C.12 Produktdarstellung der Sinus-Funktion . . . . . . . . . . . . . . . . . . 236
C.13 Gamma-Funktion und logarithmische Konvexitt . . . . . . . . . . . . 236
C.14 Literatur zur Gamma-Funktion . . . . . . . . . . . . . . . . . . . . . . 237
D Einfhrung in die Riemannsche Zeta-Funktion 239
D.1 Bernhard Riemann (1826 1866) . . . . . . . . . . . . . . . . . . . . . 239
D.2 Reihendarstellung der Zeta-Funktion . . . . . . . . . . . . . . . . . . . 240
D.3 Produktdarstellung der Zeta-Funktion . . . . . . . . . . . . . . . . . . 240
D.4 Integraldarstellung der Zeta-Funktion . . . . . . . . . . . . . . . . . . . 241
D.5 Analytische Fortsetzung der Zeta-Funktion nach 0 < 1(z) < 1 . . . . . 242
D.6 Analytische Fortsetzung der Zeta-Funktion nach 1 < 1(z) < 0 . . . . 244
D.7 Alternierende Zeta-Funktion (Dirichletsche Eta-Funktion) . . . . . . . . 244
D.8 Reektions-Formel (Funktionalgleichung) der Zeta-Funktion . . . . . . 246
D.9 Nullstellen der Zeta-Funktion . . . . . . . . . . . . . . . . . . . . . . . 248
D.10 Cotangensentwicklung, Zeta-Funktion und Bernoulli-Zahlen . . . . . . . 249
D.11 Die logarithmische Ableitung der Zeta-Funktion . . . . . . . . . . . . . 252
D.12 Nochmals Zeta-Funktion und Bernoulli-Zahlen . . . . . . . . . . . . . . 253
D.13 Zeta-Funktion und Primzahl-Theorem . . . . . . . . . . . . . . . . . . 256
D.14 Zeta-Funktion und Mbius-Funktion . . . . . . . . . . . . . . . . . . . 256
D.15 Literatur zur Riemannschen Zeta-Funktion . . . . . . . . . . . . . . . . 259
10 Inhaltsverzeichnis
E Die Jacobische Theta-Funktion 261
E.1 Denition und Quasiperiodizitt . . . . . . . . . . . . . . . . . . . . . . 261
E.2 Lsung der eindimensionalen Wrmeleitungsgleichung . . . . . . . . . . 261
E.3 Die Poisson-Summenformel . . . . . . . . . . . . . . . . . . . . . . . . . 262
E.4 Jacobi-Identitt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 263
E.5 Verbindung mit der Riemannschen Zeta-Funktion . . . . . . . . . . . . 264
E.6 Literatur zur Jacobischen Theta-Funktion . . . . . . . . . . . . . . . . 267
F Die Hurwitzsche Zeta-Funktion 269
F.1 Reihendarstellung der Hurwitzschen Zeta-Funktion . . . . . . . . . . . 269
F.2 Integraldarstellung der Hurwitzschen Zeta-Funktion . . . . . . . . . . . 269
F.3 Hermite-Formel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 269
F.4 Die Hurwitzsche Zeta-Funktion bei z = 0 und z = 1 . . . . . . . . . . . 272
F.5 Literatur zur Hurwitzschen Zeta-Funktion . . . . . . . . . . . . . . . . 273
G Die eindimensionale Epsteinsche Zeta-Funktion 275
G.1 Literatur zu Epsteinschen Zeta-Funktionen . . . . . . . . . . . . . . . . 278
H Einfhrung in die Mellin-Transformation 279
H.1 Die Mellin-Integraltransformation . . . . . . . . . . . . . . . . . . . . . 279
H.2 Beispiel Gamma-Funktion . . . . . . . . . . . . . . . . . . . . . . . . . 282
H.3 Beispiel Riemannsche Zeta-Funktion . . . . . . . . . . . . . . . . . . . 282
H.4 Mellin-Transformation fr asymptotische Entwicklungen . . . . . . . . 282
I Asymptotische Entwicklungen 285
I.1 Landausche Ordnungssymbole . . . . . . . . . . . . . . . . . . . . . . . 285
I.2 Einige Lemmata ber Grenabschtzungen . . . . . . . . . . . . . . . 286
I.2.1 Lemma von Jordan . . . . . . . . . . . . . . . . . . . . . . . . . 286
I.2.2 Lemma von Watson . . . . . . . . . . . . . . . . . . . . . . . . . 287
I.2.3 Lemma von Riemann-Lebesgue . . . . . . . . . . . . . . . . . . 290
I.3 Laplace Methode . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 291
I.4 Stationre Phase Methode . . . . . . . . . . . . . . . . . . . . . . . . . 294
I.5 Sattelpunkt Methode . . . . . . . . . . . . . . . . . . . . . . . . . . . . 298
I.5.1 Sattelpunkt Methode allgemein . . . . . . . . . . . . . . . . . . 298
I.5.2 Reelle Sattelpunkt Methode = Laplace Methode . . . . . . . . . 301
I.5.3 Imaginre Sattelpunkt Methode = Stationre Phase Methode . 301
I.5.4 Beispiel: Stirling Nherung der Fakultt . . . . . . . . . . . . . 302
J Funktionalanalysis von Fredholm-Operatoren 303
J.1 Einfhrung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 303
J.2 Beschrnkte Operatoren . . . . . . . . . . . . . . . . . . . . . . . . . . 304
J.3 Kompakte Operatoren . . . . . . . . . . . . . . . . . . . . . . . . . . . 311
J.4 Quotienten-Rume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 316
J.5 Fredholm-Operatoren . . . . . . . . . . . . . . . . . . . . . . . . . . . . 319
J.6 Literatur zu Funktionalanalysis und Fredholm-Operatoren . . . . . . . 325
Inhaltsverzeichnis 11
K Pseudodierential-Operatoren 327
K.1 Schwartz-Raum und Fouriertransformation . . . . . . . . . . . . . . . . 327
K.2 Sobolev-Rume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 331
K.3 Pseudodierential-Operatoren . . . . . . . . . . . . . . . . . . . . . . . 335
K.4 Elliptische Pseudodierential-Operatoren . . . . . . . . . . . . . . . . . 343
K.5 Literatur zu Pseudodierential-Operatoren . . . . . . . . . . . . . . . . 348
L Wrmekern-Entwicklung und Indextheorem 349
L.1 Sir Michael Atiyah (*1929) . . . . . . . . . . . . . . . . . . . . . . . . . 349
L.2 Wrmekern-Entwicklung . . . . . . . . . . . . . . . . . . . . . . . . . . 349
L.3 Indextheorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 356
M Funktionalableitung 359
M.1 Funktionalableitung oder Frchet-Ableitung . . . . . . . . . . . . . . . 359
M.2 Funktional-Dierentialgleichungen . . . . . . . . . . . . . . . . . . . . . 366
N Literatur zur Funktionalintegration 369
O L
Y
X- und L
A
T
E
X-Formatierungen 371
O.1 L
Y
X Document settings . . . . . . . . . . . . . . . . . . . . . . . . . . . 371
O.2 L
A
T
E
X preamble . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 371
O.3 Einstellungen am Dokumentbeginn . . . . . . . . . . . . . . . . . . . . 373
O.4 BibT
E
X style . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 374
Literaturverzeichnis 375
1 Einfhrung
The Zeta function is probably the most challenging and mysterious
object of modern mathematics, in spite of its utter simplicity.
Gutzwiller (1990),
Chaos in Classical and Quantum Mechanics, S. 308.
Some decades ago I made - somewhat in jest - the suggestion that one
should get accepted a non-proliferation treaty of Zeta functions.
There was becoming such an overwhelming variety of these objects.
Atle Selberg, zitiert nach Baez (2005).
In den Kurs-Vorlesungen zur Theoretischen Physik taucht in der Thermodynamik ge-
legentlich und recht unvermittelt eine fr Physiker etwas ungewohnte mathematische
Funktion auf, die Riemannsche Zeta-Funktion (x):
(2) im Hochtemperatur-Limes in der Zustandsdichte fr den harmonischen Os-
zillator,
(
5
2
) in der Zustandsdichte fr ein freies Bosonen-Gas,
(4) im Zusammenhang mit dem Integral ber die Stahlungsdichte der Planck-
schen Schwarzkrperstrahlung.
Dies legt die Frage nahe, was es mit dieser Zeta-Funktion auf sich hat und ob es tiefer
liegende Grnde fr ihr Auftauchen in der Thermodynamik gibt. Tatschlich erweisen
sich diese Riemannsche Zeta-Funktion und moderne Erweiterungen, wie die spektrale
Zeta-Funktion von Laplace-Operatoren als sehr interessante und tiefgrndige Objekte,
die komplexe Analysis, Zahlentheorie, Dierentialgeometrie, Topologie, Quantentheorie,
Quantenfeldtheorie und Chaostheorie miteinander verknpfen und deren Eigenschaften,
wie etwa die Riemannsche Vermutung, bis heute Gegenstand der Forschung sind.
Diese kleine, hier vorgelegte Arbeit wendet sich an Physik-Studenten und Physiker,
die einen leichten Zugang zur Welt der Zeta-Funktionen suchen. Es werden auf einfa-
chem Niveau einige Beispiele zum Auftreten der Riemannschen Zeta-Funktion aus der
Quantentheorie der Bosonen-Einteilchen und Vielteilchen-Systeme prsentiert. Ausge-
hend vom harmonischen Oszillator fhrt der Weg ber kohrente Zustnde, Phasen-
Operatoren und schlielich zur Vielteilchen-Pfadintegral-Darstellung mit kohrenten
14 1 Einfhrung
Zustnden und der Zustandssumme freier Bosonen. Darauf folgt eine einfache Ein-
fhrung in die Theorie der spektralen Zeta-Funktion mit den Beispielen des Casimir-
Eektes und der euklidischen Pfadintegral-Darstellung des harmonischen Oszillators.
Darauf folgt ein einfacher Einstieg in die spektrale Zeta-Funktion im Rahmen der se-
miklassischen Nherung in der Quantenfeldtheorie, also im Rahmen der 1-Schleifen-
Nherung und des eektiven Potentials. Den Schlu bildet eine Einfhrung in determi-
nistische dynamische Systeme, sowohl klassisch, als auch quantenmechanisch semiklas-
sisch mit der Gutzwillerschen Spurformel und den entsprechenden dynamischen oder
Ruelleschen Zetafunktionen.
In den Anhngen nden sich Einfhrungen in die Mathematik der Gamma-Funktion,
der Riemannschen Zeta-Funktion, der Mellin-Integral-Transformation, der asymptoti-
schen Entwicklungen, insb. der Methode der stationren Phase und der Sattelpunktme-
thode und ein einfacher Zugang zur Entwicklung des Wrmekerns (Wrmekern- oder
Seeley-Koezienten) und des Indextheorems fr elliptische Dierential-Operatoren.
Alle Ergebnisse werden aus elementaren Kenntnissen der Quantentheorie ausfhrlich
hergeleitet, auch wenn dadurch mancher Beweis etwas lnger wird. Fr die meisten
mathematischen Anhnge werden nur einfache Kenntnisse aus Analysis und Funk-
tionentheorie vorausgesetzt. Die Anhnge zur Theorie der Fredholm-Operatoren und
Pseudodierential-Operatoren sind mathematisch etwas anspruchsvoller, aber nicht not-
wendig zum Verstndnis der brigen Kapitel.
Danksagung:
Ich bedanke mich von Herzen bei meinem Vater Manfred Schiekel und meinen verehrten
Lehrern Adolf Schlinger, Kurt Hawlitschek, Karl Kraus und Helmut Bross, welche meine
Liebe zu Physik und Mathematik geweckt und gefrdert haben.
Ein spezieller Dank geht an die L
A
T
E
X- und L
Y
X-Community fr die wunderbaren Open-
Source Programme und die immer hilfreiche und freundliche Untersttzung!
Kommentare und Fehlerhinweise sind willkommen unter: mb.schiekel@arcor.de
Mge diese kleine Arbeit hilfreich sein. Viel Freude bei der Lektre!
2 Der Harmonische Oszillator
2.1 Der klassische harmonische Oszillator
Immer wieder in der Physik dient der harmonische Oszillator als Inspiration und Aus-
gangspunkt fr neue berlegungen. Daher sollen hier zunchst einige der einfachsten
klassischen Ergebnisse erinnert werden. Die Bedeutung des harmonischen Oszillators
liegt darin, da dieses Modell die Dynamik eines klassischen Einteilchen-Systems nahe
der Gleichgewichtslage beschreibt. Sei also H(p, q) die klassische Hamilton-Funktion
eines Teilchens mit der Masse m:
H(p, q) .
.
=
p
2
2m
+V (q) . (2.1.1)
Wir entwickeln das Potential V (q) um die Gleichgewichtslage bei q = 0:
V (q) = V
0
+V
1
q +
1
2
V
2
q
2
+. . . . (2.1.2)
Gleichgewichtslage bei q = 0 heit, da dort die Kraft verschwindet:
F(0) =
V (q)
q
q=0
= V
1
= 0
V (q) V
0
+
1
2
V
2
q
2
=.
.
V
0
+
1
2
m
2
q
2
. (2.1.3)
Die Hamilton Gleichungen ergeben:
p =
H
q
= m
2
q ,
q =
H
p
=
p
m
.
(2.1.4)
und die entsprechende Poisson-Klammer ist:
q, p .
.
= (

q
q

p
p

q
p

p
q) = 1 . (2.1.5)
Wir machen den Ansatz
q(t) = b
1
cos t + b
2
sin t .
16 2 Der Harmonische Oszillator
Wir fhren fr b
1
und b
2
die neuen Variablen a und fr Amplitude und Phase ein:
a .
.
=
_
b
2
1
+b
2
2
tan =
sin
cos
.
.
=
b
2
b
1
=
b
2
/a
b
1
/a
.
Damit folgen fr q(t), p(t) und die Hamilton-Funktion H(p, q) :
q(t) = a (
b
1
a
cos t +
b
2
a
sin t) = a (cos cos t + sin sin t) = a cos(t ) ,
p(t) = m q(t) = ma (sin(t )) . (2.1.6)
H(p, q) =
m
2
2
a
2
2m
sin
2
(t ) +
m
2
2
a
2
2m
cos
2
(t ) =
m
2
2
a
2
2m
. (2.1.7)
Im nchsten Schritt gehen wir von q(t) und p(t) zu den dimensionslosen Normal-
Koordinaten c(t) und c
(t) ber:
c(t) .
.
=
_
m
2
(q(t) +
i
m
p(t)) , c
(t) =
_
m
2
(q(t)
i
m
p(t)) , (2.1.8)
q(t) =

2m
(c
(t) +c(t)) , p(t) = i
m
2
(c
(t) c(t)) . (2.1.9)

Die entsprechende Poisson-Klammer ist:
c, c
.
.
= (

q
c

p
c

q
c

p
c) =
m
2
(
i
m
)
m
2
(
i
m
) =
1
i
. (2.1.10)
Und fr die Hamilton-Funktion H(c, c
) ergibt sich:
H(c, c
) =
1
2m
(m)
2
(c
c)
2
+
1
2
m
2

2m
(c
+c)
2
=

4
(2[c[
2
+ 2[c[
2
) = [c[
2
.
(2.1.11)
Die Bewegungs-Gleichung ergibt sich aus der Poisson-Klammer mit H:
d
dt
c(t) = c, H =
_
m
2
p
m

_
m
2
i
m
m
2
q =
_
m
2
i
(q +
i
m
p)
=

i
c(t) ,
i
d
dt
c(t) = c(t) . (2.1.12)
2.2 Der quantenmechanische harmonische Oszillator 17
Die Lsung knnen wir wieder sofort angeben:
c(t) = c(0)e
it
= [c(0)[e
i(t)
. (2.1.13)
wenn wir c(0) = [c(0)[e
i
mit 0 2 schreiben. Damit folgen fr q(t) und p(t):
q(t) =
2
m
[c(0)[ cos(t ) , p(t) =
2m [c(0)[ (sin(t )) . (2.1.14)

Damit erhalten wir das gleiche Ergebnis wie in 2.1.6 mit der Amplitude
a =
2
m
[c(0)[ .
2.2 Der quantenmechanische harmonische Oszillator
Wir fhren die bliche kanonische Quantisierung durch, in der p und q, bzw. c und c
durch Operatoren ersetzt werden, die statt der Poisson-Klammern die entsprechenden
Kommutator-Relationen erfllen sollen.
c(t) .
.
=
_
m
2
( q(t) +
i
m
p(t)) , c
(t) =
_
m
2
( q(t)
i
m
p(t)) , (2.2.1)
q(t) =

2m
( c
(t) + c(t)) , p(t) = i
m
2
( c
(t) c(t)) . (2.2.2)

[ q , p] = i
1 , (2.2.3)
[ c , c
] =
m
2
(
i
m
)[ q , p] + [ p , q] =

1 . (2.2.4)
H =
p
2
2m
+
1
2
m
2
q
2
=
1
2m
(
m
2
)( c
c)
2
+
1
2
m
2
(

2m
)( c
(t) + c(t))
2
=

4
( c
2
+ c
c + c c
c
2
+ c
2
+ c
c + c c
+ c
2
)
=

2
( c
c + c c
) = ( c
c +
1
2
1)
H = ( n +
1
2
1) mit: n .
.
= c
c . (2.2.5)
Seien [ n) die (orthogonalen) Eigenvektoren des selbstadjungierten Operators n, also:
n [ n) = n [ n).
Wir betrachten jetzt den Vektor [ g) = c [ n):
n [ g) = c
c c [ n) = ( c c
1) c [ n) = c( c
c 1) [ n) = c(n 1) [ n) = (n 1) [ g) .
Also ist [ g) ein Eigenvektor von n zum Eigenwert [ n 1), d.h.:
[ g) = c [ n) = c
n
[ n 1) .
Die Konstante c
n
l sich folgendermaen bestimmen:
n = n [ n [ n) = n [ c
c [ n) = cn [ cn) = [c
n
[
2
n 1 [ n 1) = [c
n
[
2
0 .
Wir knnen c
n
reell whlen als c
n
=
n :
c [ n) =
n [ n 1) . (2.2.6)
Vllig analog ergibt sich fr c
:
c
[ n) =
n + 1 [ n + 1) . (2.2.7)
Damit folgt fr n:
n [ n) = c
c [ n) = n [ n) . (2.2.8)
Das Spektrum von n ist nach unten beschrnkt, daher kann man einen Vakuumzustand
[0) denieren mit:
c [ 0) .
.
= 0 , n [ 0) = 0 n N
0
, (2.2.9)
[ n) =
1
n!
( c
)
n
[ 0) . (2.2.10)
H [ n) = ( n +
1
2
1) [ n) = (n +
1
2
) [ n)
H [ n) = E
n
[ n) mit: E
n
= (n +
1
2
) . (2.2.11)
Als nchstes betrachten wir die Zeitabhngigkeit von c und c
im Heisenberg-Bild:
i
d
dt
c(t) = [ c(t) ,

H] = [ c(t) , c
c] = c(t) , (2.2.12)
2.2 Der quantenmechanische harmonische Oszillator 19
c(t) = e
it
c(0) = e
it
c , c
(t) = e
it
c
(0) = e
it
c
. (2.2.13)
Mit 2.2.2 folgt fr q(t) und p(t):
q(t) =

2m
(e
it
c
+e
it
c) , p(t) = i
m
2
(e
it
c
e
it
c) . (2.2.14)
Interessant ist noch die Eigenschaft, da im Vakuumzustand zwar die Erwartungswerte
von q(t) und p(t) verschwinden, nicht aber die Erwartungswerte von q
2
(t) und p
2
(t) und
damit die Schwankungsquadrate von q(t) und p(t) - man spricht von Vakuumuktua-
tionen:
0 [ q(t) [ 0) =

2m
(e
it
0 [ c
[ 0) +e
it
0 [ c [ 0)) = 0 , (2.2.15)
0 [ p(t) [ 0) = i
m
2
(e
it
0 [ c
[ 0) e
it
0 [ c [ 0)) = 0 . (2.2.16)
Mit 2.1.5 folgt:
0 [
p
2
2m
[ 0) = 0 [

4
(e
i2t
c
2
+ c
c + c c
e
i2t
c
2
[ 0)
=

4
0 [ c c
[ 0) =

4
1 [ 1) =

4
,
(2.2.17)
0 [
1
2
m
2
q
2
[ 0) = 0 [

4
(e
i2t
c
2
+ c
c + c c
+e
i2t
c
2
[ 0)
=

4
0 [ c c
[ 0) =

4
1 [ 1) =

4
.
(2.2.18)
Die Energie der Vakuumuktuationen ist gerade:
0 [

H [ 0) =

2
. (2.2.19)
Die Grundzustands-Wellenfunktion im Ortsraum knnen wir auf folgende Weise erhal-
ten:
0 = q [ c [ 0) = q [
_
m
2
( q +
i
m
p) [ 0) =
_
m
2
( q
i
m
p) q [ 0)
=
_
m
2
( q
i
m
(i
d
dq
)) q [ 0) =
_
m
2
(q +

m
d
dq
)q [ 0) .
Mit
0
(q) .
.
= q [ 0) folgt
(q +

m
d
dq
)
0
(q) = 0 . (2.2.20)
Mit dem Ansatz
0
(q) = e
q
2
fr die unnormierte Wellenfunktion folgt:
(q +

m
2q)
0
(q) = 0 =
1
2
m
0
(q) = e
1
2
m
q
2
. (2.2.21)
3 Phasen-Operatoren und kohrente Zustnde
3.1 Ein quantenmechanischer Phasen-Operator
Wir hatten oben (2.2.15 und 2.2.16) gesehen, da die Erwartungswerte von q(t) und p(t)
im Grundzustand des harmonischen Oszillators verschwinden. Tatschlich verschwinden
die Erwartungswerte von q(t) und p(t) aber in jedem Besetzungszahlen-Zustand [n), d.h.
immer wenn ein angeregter Zustand mit festem n vorliegt, wissen wir nichts ber die
Trajektorie des Systems.
n [ q(t) [ n) =

2m
(e
it
n [ c
[ n) +e
it
n [ c [ n))
=

2m
(e
it
n + 1 n [ n + 1) +e
it
nn [ n 1))
= 0 ,
(3.1.1)
n [ p(t) [ n) = 0 . (3.1.2)
Jetzt kann man zwei Fragen stellen:
1. lassen sich theoretisch (und experimentell) auch Zustnde erzeugen, die der klas-
sischen Beschreibung des Systems mit einer denierten Trajektorie mit Amplitude
und Phase (siehe: 2.1.14) nahekommen?
Dieser Frage soll im nchsten Kapitel unter der berschrift kohrente Zustnde
nachgegangen werden.
2. lt sich ein quantenmechanischer Phasen-Operator denieren (und messen)?
Dieser Frage wollen wir uns im folgenden zuwenden.
Von einem solchen Phasen-Operator wrde man die folgende Unschrfe-Relation erwar-
ten:
E t

2
n() t

2
n (t)
1
2

n
1
2
. (3.1.3)
Die hier angegebene mgliche Denition von quantenmechanischen Phasen-Operatoren
stammt von Susskind u. Glowgower (1964). Wir folgen der Darstellung von Loudon
(1992).
22 3 Phasen-Operatoren und kohrente Zustnde
Im klassischen Fall haben wir c
= [c[e
i
(2.1.13). Im quantenmechanischen Fall gilt
c
[n) =
n + 1 [n + 1) (2.2.7).
Wir denieren einen Phasen-Operator

E
als Analogon zu e
i
, indem wir c als das
Produkt aus einem Amplituden- und einem Phasen-Operator schreiben:
c .
.
= ( n +

1)
1/2

E
, c
.
.
=

E
( n +

1)
1/2
, (3.1.4)
n +

1 = c
c +

1 = c c
= ( n +

1)
1/2

E
( n +

1)
1/2
.
Daraus folgt, da

E
(einseitig) unitr sein mu, also:
=

1 . (3.1.5)
Wir betrachten jetzt die Wirkung von

E
auf Besetzungszahlen-Zustnde [ n):
= ( n +

1)
1/2
c ,

E
= c
( n +

1)
1/2
, (3.1.6)
[ n) = ( n +

1)
1/2
n [ n 1) =
_
_
_
[ n 1) fr n > 0 ,
0 fr n = 0 ,
(3.1.7)
[ n) = c
( n +

1)
1/2
[ n) =[ n + 1) . (3.1.8)
Also ist

E
kein selbstadjungierter Operator und eignet sich nicht als Observable. Man
kann aber aus

E
und

E
einen cos-, bzw. sin- Operator denieren, die dann selbst-

adjungiert sind und sich als Observable fr die Phase eignen:
.
.
=
1
2
(

E
+

E
) ,

S
.
.
=
1
2i
(

E
) . (3.1.9)
Im folgenden sollen die Unschrfe-Relationen fr n

C
und n

S
abgelei-
tet werden. Hierbei sind die Unschrfen x, etc., wie blich als Wurzel des mittleren
Schwankungsquadrates deniert:
( x)
2
.
.
= (( x) x))
2
) = x
2
) x)
2
, (3.1.10)
[ n, c] = n c c n = c
c c c c
c = c ,
[ n, c
] = n c
n = c
c c
c = c
,
(3.1.11)
3.1 Ein quantenmechanischer Phasen-Operator 23
[ n,

E
] = n( n +

1)
1/2
c ( n +

1)
1/2
c n = ( n +

1)
1/2
( n c c n)
= ( n +

1)
1/2
c =

E
,
(3.1.12)
[ n,

E
] = n c
( n +

1)
1/2
c
( n +

1)
1/2
n = ( n c
n)( n +

1)
1/2
= c
( n +

1)
1/2
=

E
,
(3.1.13)
[ n,

C
] = [ n,
1
2
(

E
+

E
)] =
1
2
(

E
+

E
) = i

S
, (3.1.14)
[ n,

S
] = [ n,
1
2i
(

E
)] =
1
2i
(

E
) = i

C
. (3.1.15)
Hieraus folgen mit Hilfe der allgemeinen Unschrferelation der Quantenmechanik sofort
die gesuchten speziellen Unschrfe-Relationen:
n

C

1
2
[n

C
])
=
1
2
, (3.1.16)
n

S

1
2
[n

S
])
=
1
2
. (3.1.17)
Einerseits sieht man, da die Besetzungszahl n und die Phasen

S
und

C
nicht gleich-
zeitig scharf gemessen werden knnen. Andererseits folgt sofort:
( n)
2
(

C
)
2
+ ( n)
2
(

S
)
2
1
4
(
)
2
+

C
)
2
)
U
2
.
.
= ( n)
2
(

S
)
2
+ (

C
)
2
(
)
2
+

C
)
2
)

1
4
. (3.1.18)
Im geeigneten klassischen Grenzbergang fr kleine geht dieser Ausdruck wegen
sin gerade in den klassischen Ausdruck n
1
2
(3.1.3) ber.
Interessant ist auch noch der Kommutator [

C
,

S
]:
[

C
,

S
] =
1
4i
[

E
+

E
,

E
] =
1
4i
([

E
,

E
] + [

E
,

E
])
=
1
2i
[

E
,

E
] =
1
2i
[( n +

1)
1/2
c , c
( n +

1)
1/2
]
=
1
2i
(( n +

1)
1/2
c c
( n +

1)
1/2
c
( n +

1)
1
c)
=
1
2i
(( n +

1)
1/2
( n +

1)( n +

1)
1/2
c
( n +

1)
1
c)
=
1
2i
( c
( n +

1)
1
c
1) . (3.1.19)
Als Erwartungswerte fr [

C
,

S
] ergeben sich im Vakuumzustand [ 0), bzw. fr Zu-

stnde mit m, n > 0:
0 [ [

C
,

S
] [ 0) =
1
2i
, (3.1.20)
m [ [

C
,

S
] [ n) =
1
2i
m [ ( c
( n +

1)
1
c
1) [ n)
=
1
2i
(m1 [
m( n +

1)
1
n [ n 1) m [ n)) (3.1.21)
=
1
2i
(m1 [ n 1) m [ n))
= 0 .
Also sind

C
und

S
fr alle Zustnde, mit Ausnahme des Vakuums, gleichzeitig exakt

mebar.
3.2 Das freie Elektromagnetische Feld
Aus den Maxwell-Gleichungen fr das freie elektromagnetische Feld in Coulomb-Eichung
folgen die Wellengleichung und die Transversalitts-Bedingung fr das Vektorpotential

A(

r , t) (siehe z.B. Greiner (1993)):

2

A(

r , t)
1
c
2
2

A(

r , t)
t
2
= 0 , (3.2.1)

A(

r , t) = 0 . (3.2.2)
Wenn wir zustzlich periodische Randbedingungen in einem Kasten der Kantenlnge L
vorgeben, knnen wir die Lsung der Wellengleichung als Fourier-Reihe darstellen:

A(

r , t) =

k ,
(

A
k ,
+

A
k ,
) =

k ,
N
k

k ,
(a
k ,
e
i(
r
k
t)
+a
k ,
e
i(
r
k
t)
) ,
(3.2.3)
3.2 Das freie Elektromagnetische Feld 25
mit dem Wellenvektor

k .
.
=
2
L
_
_
_
_
_
_
_
_
_
_
n
1
n
2
n
3
_
_
_
_
_
_
_
_
_
_
,
L
2
n
i
<
L
2
,
k
.
.
= c [

k [ (3.2.4)
und den Polarisationsvektoren

k ,
, 1, 2 mit

k ,

k = 0 , (3.2.5)
wobei die Vektoren

k ,

k ,1
,

k ,2
ein rechtshndiges Orthogonalsystem bilden mgen.
Daraus folgt:

k ,

k ,
=
,
und

k ,
= (1)

k ,
(3.2.6)
und einem Normierungsfaktor N
k
, (abhngig von [

k [), den wir spter noch genau-
er betrachten werden. Indem wir in der Fourier-Reihe fr

A(

r , t) zu jeder Fourier-
Komponente

A
k ,
auch die entsprechende konjugiert komplexe Fourier-Komponente

A
k ,
addiert haben, erhalten wir also ein reelles Vektorpotential

A(

r , t) und daraus
folgend ebenso die reelle elektrische Feldstrke

E(

r , t) und magnetische Feldstrke

B(

r , t):

E(

r , t) =
1
c
t

A(

r , t)
= i
k ,
N
k
k
c

k ,
(a
k ,
e
i(
r
k
t)
a
k ,
e
i(
r
k
t)
) ,
(3.2.7)

B(

r , t) =

A(

r , t)
= i
k ,
N
k

k

k ,
(a
k ,
e
i(
r
k
t)
a
k ,
e
i(
r
k
t)
)
. (3.2.8)
Die Zeitabhngigkeit ziehen wir im folgenden in die Entwicklungskoezienten a
k ,
hinein:
a
k ,
(t) .
.
= a
k ,
e
i
k
t
und a
k ,
(t) .
.
= a
k ,
e
i
k
t
. (3.2.9)
Fr die Hamilton-Funktion H (d.h. die Gesamtenergie), ergibt sich:
H =
1
8
_
L
3
d
3
x (

E
2
+

B
2
)
=
1
8
k ,
N
k
N
k
c
2

k ,

+ (

k

k ,
) (

k
t
)
_
_
L
3
d
3
x
_
(a
k ,
(t) e
i
r
a
k ,
(t) e
i
r
)(a
(t) e
i
r )
a
(t) e
i
r
)
_
.
Mit der Beziehung fr das Kreuzprodukt:
(

a

b ) (

c

d ) = (

a

c )(

b

d ) (

b

c )(

a

d )
und der Bercksichtigung der Transversalittsbedingung

k

k ,
= 0 folgt weiter:
H =
1
8
k ,
N
k
N
k
(
c
2
+

k

k
t
)

k ,

_
L
3
d
3
x
_
(a
k ,
(t) e
i
r
a
k ,
(t) e
i
r
)(a
(t) e
i
r )
a
(t) e
i
r
)
_
=
1
8
k ,
N
k
N
k
(
c
2
+

k

k
t
)

k ,

_
_
_
L
3
d
3
x (a
k ,
(t) a
(t) e
i(
k +
r
+a
k ,
(t) a
(t) e
i(
k +
r
)
_
L
3
d
3
x (a
k ,
(t) a
(t) e
i(
r
+a
k ,
(t) a
(t) e
i(
r
) .
_
_
Aufgrund der Orthogonalittsrelation fr die e
i
r
:
_
L
3
d
3
x e
i(
r
= L
3
k ,
tauchen also nur Terme mit

k =

k
t
und

k =

k
t
auf, wobei sich wegen der Disper-
sionsrelation 3.2.4 auch die Terme mit

k =

k
t
wegheben:
H =
L
3
4
k ,
N
2
k
2
k
c
2
(a
k ,
(t) a
k ,
(t) +a
k ,
(t) a
k ,
(t)) .
Die Zeitabhngigkeit von a
k ,
(t) und a
k ,
(t) hebt sich im Produkt gerade gegenseitig
auf, so da a
k ,
(t) a
k ,
(t) = a
k ,
a
k ,
ist.
Jetzt whlen wir den Normierungsfaktor N
k
als:
N
k
.
.
= (
2c
2
L
3
k
)
1/2
(3.2.10)
3.3 Kohrente Zustnde 27
und erhalten fr die Hamilton-Funktion H gerade:
H =
1
2
k ,
k
(a
k ,
a
k ,
+a
k ,
a
k ,
) . (3.2.11)
Jede Normalmode (

k , ) des elektromagnetischen Feldes schwingt also wie ein har-
monischer Oszillator mit der Energie
k
und kann wie ein harmonischer Oszillator
quantisiert werden.
3.3 Kohrente Zustnde
Wir hatten oben bei der Behandlung des harmonischen Oszillators (2.2.14, 2.2.15) ge-
sehen, da die Erwartungswerte von q und p in der Besetzungszahl-Darstellung ver-
schwinden, da wir also keine mittlere Trajektorie des Systems angeben knnen. Das
gleiche gilt (wegen 3.2.7, 3.2.8) auch fr die Erwartungswerte des elektrischen und des
magnetischen Feldes:
n [

E [ n) = n [

B [ n) = 0 . (3.3.1)
Es stellt sich hier natrlich die Frage, ob wir statt der Basis der [ n) zu einer anderen
Basis bergehen knnen, die dem klassischen Bild mit nichtverschwindenden elektri-
schen und magnetischen Feldstrken nherkommt? Glauber (Glauber (1963)) hat zu
diesem Zweck die sogenannten kohrenten Zustnde konstruiert, die sich weit ber die
Quantenelektrodynamik hinaus als hilfreich erwiesen haben.
Die Frage lautet: knnen wir einen Zustand [ ) =

n=0
b
n
[ n) konstruieren, bei
dem im zeitlichen Mittel die Unschrfe von q(t) bzw.

E(t) minimal wird - unter der
Nebenbedingung eines festen n)?
Sei )
t
das Zeitmittel ber eine Periode.
(q)
2
)
t
.
.
= ( q(t) q(t)))
2
))
t
= q
2
(t)) q(t))
2
))
t
(3.3.2)
=

2m
(e
2it
c
2
+ c
c + c c
+e
2it
c
2
))
(e
2it
c
)
2
+ 2 c
) c) +e
2it
c)
2
))
t
=

2m
(2 c
c) + 1 2 c
) c))
=

m
c
c c
) c) +
1
2
) .
(q)
2
)
t
ist minimal, wenn c
) c) = [ c)[
2
maximal ist.
[ c [ ) =

m=0
n=0
b
m
b
n
m [ c [ n) =

m=0
n=1
b
m
b
n
nm [ n 1)
=

m=0
n=0
b
m
b
n+1
n + 1m [ n) =

n=0
b
n
b
n+1
n + 1 .
Dies kann als Skalarprodukt . . . , b
n
, . . . [ . . . , b
n+1
n + 1, . . .) gelesen werden und

mit der Cauchy-Schwarzschen Ungleichung folgt dann:
[ [ c [ )[
2
(

n=0
[b
n
[
2
)(

n=0
[b
n+1
[
2
(n + 1)) = (

n=0
[b
n
[
2
)(

n=1
[b
n+1
[
2
(n + 1))
= (

n=0
[b
n
[
2
)(

n=0
[b
n
[
2
(n)) = [ ) [ n [ ) = n) .
Das Skalarprodukt zweier Vektoren ist maximal genau dann, wenn beide Vektoren
parallel sind, d.h. in unserem Fall, wenn mit einem Proportionalittsfaktor gilt :
c [ ) = [ ) , (3.3.3)
b
n+1
n + 1 = b
n
b
n
=

n
n!
b
0
.
Mit der Normierungsbedingung [ ) = 1 folgt:
[ ) =

n=0
[b
n
[
2
=

n=0
[[
2n
n!
[b
0
[
2
= e
[[
2
[b
0
[
2
= 1 .
Wir knnen b
0
reell whlen, also:
b
0
= e
1
2
[[
2
,
und damit folgt unser gesuchter Zustandsvektor [ ) (auch Glauber-Vektor oder koh-
renter Zustand genannt):
[ ) = e
1
2
[[
2

n=0
n!
[ n) . (3.3.4)
[ ) ist Eigenvektor von c zum Eigenwert (so wurde [ ) ja auch gerade konstruiert,
siehe 3.3.3):
c [ ) = e
1
2
[[
2

n=1
n!
n [ n 1) = e
1
2
[[
2

n=1

n1
_
(n 1)!
[ n 1)
= e
1
2
[[
2

n=0

n
_
(n)!
[ n) = [ )
c [ ) = [ ) , [ c
[ . (3.3.5)
Damit sieht man sofort, da [[
2
gerade der Erwartungswert des Teilchenzahl-Operators
in kohrenten Zustnden ist:
n) = [ n [ ) = [ c
c [ ) =
= [[
2
. (3.3.6)
Ein beliebiger kohrenter Zustand [ ) lt sich aus dem Vakuumzustand [ 0) aufbauen.
Aus 2.2.7 folgt c
[ n 1) =
n [ n) und daraus folgt:

[ n) =
1
n
c
[ n 1) =
1
n!
c
n
[ 0) , (3.3.7)
[ ) = e
1
2
[[
2

n=0
( c
)
n
n!
[ 0) = e
1
2
[[
2
e
c
[ 0) . (3.3.8)
In der Literatur ndet sich fr den kohrenten Zustand [ ) auch noch ein ande-
rer Erzeugungs-Operator aus dem Vakuum. Mit Hilfe der Baker-Campbell-Hausdor-
Relation (siehe etwa Greiner u. Reinhardt (1993), S. 32 .), die ja fr c und c
erfllt
ist:
e
A+

B
= e
A
e
B
e
1
2
[

A,

B]
falls [[

A,

B],

A] = [[

A,

B],

B] = 0 (3.3.9)
folgt aus 3.3.8:
[ ) = e
c
c
e
1
2
[[
2
[ 0) = e
c
c
e
1
2
[
c , c
]
[ 0)
= e
c
c
e
1
2
[ c
c]
[ 0) = e
c
c
[ 0) .
(3.3.10)
In der Literatur nden sich gelegentlich auch die unnormierten kohrenten Zustnde
[ ):
[ ) =

n=0
n!
[ n) =

n=0
( c
)
n
n!
[ 0) = e
c
[ 0) . (3.3.11)
Durch Dierenzieren von 3.3.10 nach ergibt sich als Entsprechung zu 3.3.5:
c
[ ) =
d
d
[ ) , [ c =
d
d
[ . (3.3.12)
Als nchstes wollen wir die Frage der Orthogonalitt und Vollstndigkeit der kohrenten
Zustnde untersuchen.
[ ) = e
1
2
([[
2
+[[
2
)

m=0
n=0
m [ n)

m
m!
n!
= e
1
2
([[
2
+[[
2
)

m=0
m
m!
= e
1
2
([[
2
+[[
2
)
e
,
(3.3.13)
[ [ )[
2
= e
([[
2
+[[
2
)
e
= e
[[
2
, (3.3.14)
das heit, je grer [ [ ist, desto orthogonaler sind die kohrenten Zustnde.
Wichtig ist, da die kohrenten Zustnde ein vollstndiges System von Zustandsvek-
toren darstellen (wegen der mangelnden Orthogonalitt spricht man auch von einem
bervollstndigen System). Dies lt sich folgendermaen beweisen:
_
d
d
2i
[ ) [ =
_
d
d
2i
e
[[
2

m=0
n=0
m!
[ m)n [

n
n!
.
Wir gehen jetzt von den Variablen = [[e
i
und
= [[e
i
ber zu den Variablen
[[ und :
d
d =
[[
[[
d[[ d =
e
i
i[[e
i
e
i
i[[e
i
d[[ d = 2[[ d[[ d , (3.3.15)

_
d
d
2i
[ ) [ =
_
0
2
_
0
[[
d[[ d
e
[[
2

m=0
n=0
[[
m+n
m! n!
e
i(mn)
[ m)n [ ,
Mit
2
_
0
de
i(mn)
= 2(mn) folgt
_
d
d
2i
[ ) [ =
_
0
[[ d[[ 2e
[[
2

m=0
[[
2m
m!
[ m)m [
=

m=0
1
m!
[ m)m [
_
0
d[[ 2[[e
[[
2
[[
2m
=

m=0
1
m!
[ m)m [
_
0
d e
m
=

m=0
1
m!
[ m)m [ (m+ 1)
=

m=0
[ m)m [=

1 . (3.3.16)
Als nchstes wollen wir die Erwartungswerte und Unschrfen von q(t) und p(t) in ko-
hrenten Zustnden betrachten.
q(t)) = [ q(t) [ ) =

2m
[ e
it
c
+e
it
c [ )
=

2m
(
e
it
+e
it
) =

2m
[[(e
i(t)
+e
i(t)
)
=
2
m
[[ cos(t ) . (3.3.17)
Dieses Ergebnis entspricht dem Ergebnis beim klassischen harmonischen Oszillator
(2.1.6, 2.1.14).
Fr (q)
2
)
t
ergibt sich mit 3.3.2:
(q)
2
)
t
=

m
c
c c
) c) +
1
2
) =

m
([[
2
+
1
2
) =

2m
. (3.3.18)
Die Unschrfe q ist tatschlich in dem Sinne minimal, da sie nur noch von den
Vakuum-Schwingungen herrhrt.
Vllig analog ist das Ergebnis fr p:
(p)
2
)
t
.
.
= ( p(t) p(t)))
2
))
t
= p
2
) p)
2
)
t
=
m
2
(e
2it
c
2
c
c c c
+e
2it
c
2
))
(e
2it
c
)
2
2 c
) c) +e
2it
c)
2
))
t
=
m
2
(2 c
c) + 1 2 c
) c))
= m( c
c) c
) c) +
1
2
) = m([[
2
+
1
2
) =
m
2
. (3.3.19)
Auch hier ist die Unschrfe p in dem Sinne minimal, da sie nur noch von den Vakuum-
Schwingungen herrhrt. Daraus folgt:
(q)
2
)
t
(p)
2
)
t
=

2
4
. (3.3.20)
Wir erhalten also in einem kohrenten Zustand fr q p die minimal mgliche
Unschrfe-Relation! Das gleiche gilt beim freien elektromagnetischen Feld entsprechend
fr die Feldstrken

E und

B.
Weiter ist es auch interessant, die Unschrfe und die Wahrscheinlichkeitsverteilung der
Teilchenzahl in kohrenten Zustnden zu betrachten.
(n)
2
.
.
= (n)
2
) .
.
= ( n n))
2
) = n
2
) n)
2
= c
c c
c) c
c)
2
== c
( c
c +

1) c) c
c)
2
=
2
2
+
)
2
= [[
2
= n) , (3.3.21)
n
n
.
.
=
_
(n)
2
)
n)
=
1
_
n)
. (3.3.22)
Betrachtet man also kohrente Zustnde mit groenTeilchenzahlen, so geht die relative
Unschrfe der Teilchenzahl fr groe n gegen 0.
Die Wahrscheinlichkeit, gerade n Teilchen zu nden ist eine Poissonverteilung in
.
.
= [[
2
= n):
p(n) .
.
= [n [ )[
2
= e
[[
2 [[
2n
n!
= e
n
n!
. (3.3.23)
Fr Mittelwert und Varianz ergeben sich:
n) .
.
=

n=0
np(n) =

n=0
ne
n
n!
=

n=1
e

n1
(n 1)!
=
n=0
e

n
n)!
= , (3.3.24)
n
2
) .
.
=

n=0
n
2
p(n) =

n=0
(n)(n 1) p(n) +

n=0
np(n)
=
2

n=2
e

n2
(n 2)!
+ =
2

n=0
e
n
n!
+ =
2
+ , (3.3.25)
.
.
= (n n))
2
) = n
2
) n)
2
=
2
+
2
= . (3.3.26)
Fr groe = [[
2
= n) hnelt die Poisson-Verteilung einer Gau-Verteilung in
n = n n).
Dies kann man folgendermaen sehen: da der Logarithmus einer Gau-Verteilung ein
Polynom 2. Grades ist, entwickeln wir den Logarithmus der Poisson-Verteilung nach
n .
ln p(n) ln p(n)[
+
d
dn
ln p(n)
(n ) +
1
2
d
2
dn
2
ln p(n)
(n )
2
.
3.4 Phasen-Operatoren in kohrenten Zustnden 33
Zuvor ersetzen wir in p(n) mit Hilfe der Stirling Formel n! fr groe Werte von n (siehe
I.5.9):
n!
2n(
n
e
)
n
, (3.3.27)
p(n) = e
n
n!

1
2n
e
n
(
n
)
n
,
ln p(n) =
1
2
ln(2n) + (n ) +n(ln ln n)
ln p(n)[
=
1
2
ln(2) ,
d
dn
ln p(n) =
1
2
2
2n
+ 1 + (ln ln n) +n(
1
n
) =
1
2n
+ ln ln n
d
dn
ln p(n)
=
1
2
,
d
2
dn
2
ln p(n) =
1
2n
2

1
n

d
2
dn
2
ln p(n)
=
1
2
2

1
,
ln p(n)
1
2
ln(2)
(n )
2
+
1
2
(
1
2
2

1
)(n )
2
.
Fr groe Werte von = n) und fr n-Werte in der Umgebung von , also fr [n[
, knnen wir die Terme
(n)
2
und
1
4
2
(n )
2
vernachlssigen und erhalten:
ln p(n)
1
2
ln(2)
(n )
2
2

p(n)
1
2
e
(n)
2
2
. (3.3.28)
3.4 Phasen-Operatoren in kohrenten Zustnden
Man kann jetzt fr die in 3.1.9 denierten Phasen-Operatoren die Erwartungswerte in
kohrenten Zustnden untersuchen. Dies ist natrlich besonders interessant, um den
Grenzfall von der Quantentheorie zur klassischen Physik hin besser zu verstehen und
zu beschreiben.
[

C
[ ) =
1
2
[ (

E
+

E
) [ )
=
1
2
[ (( n +

1)
1/2
c + c
( n +

1)
1/2
) [ )
=
1
2
n
( [ ( n +

1)
1/2
[ n)n [ c [ )
+ [ c
[ n)n [ ( n +

1)
1/2
[ ))
=
1
2
e
[[
2
n
(
n!

1
n + 1

n
n!
+

n
n!

1
n + 1

n!
)
=
1
2
e
[[
2
n+1
+
n+1
n
n!(n + 1)
1
2
=
1
2
e
[[
2
n
( +
)
(
)
n
n!(n + 1)
1
2
.
Schreiben wir fr wieder = [[e
i
, so folgt:
[

C
[ ) = [[ cos() e
[[
2

n=0
[[
2n
n!(n + 1)
1
2
. (3.4.1)
Man sieht unmittelbar, da fr

S
vllig analog folgt:

[

S
[ ) = [[ sin() e
[[
2

n=0
[[
2n
n!(n + 1)
1
2
. (3.4.2)
Fr groe n = n) = [[
2
1 kann man fr die hier auftauchende Reihe eine ntz-
liche asymptotische Entwicklung in
1
[[
2
erhalten (siehe: Loudon (1992) und insb. die
Originalarbeit von Carruthers u. Nieto (1965)):
[

C
[ ) cos() (1
1
8[[
2
) , (3.4.3)
[

S
[ ) sin() (1
1
8[[
2
) . (3.4.4)
Beweis. Zunchst einmal gilt mit Hilfe der -Funktion
1
n
z
=
1
n
z

(z)
(z)
=
1
(z)

1
n
z

_
0
s
z1
e
s
ds =
1
(z)

_
0
t
z1
e
nt
dt , (3.4.5)
n=0
[[
2n
n!(n + 1)
1
2
=

n=0
[[
2n
n!

1
(
1
2
)

_
0
t
1
2
e
(n+1)t
dt
=
1
(
1
2
)

_
0
t
1
2
e
t
(

n=0
([[
2
e
t
)
n
n!
)dt
=
1
(
1
2
)

_
0
t
1
2
e
t
e
[[
2
e
t
dt
=
1
(
1
2
)

_
0
t
1
2
(1 t +
t
2
2
+O(t
3
)) e
[[
2
(1t+
t
2
2
+O(t
3
))
dt
=
1
(
1
2
)

_
0
t
1
2
(1 t +
t
2
2
+O(t
3
)) e
[[
2
e
[[
2
t
e
[[
2
(
t
2
2
+O(t
3
))
dt
=
e
[[
2
(
1
2
)

_
0
t
1
2
e
[[
2
t
(1 t +
t
2
2
+O(t
3
)) (1 +
[[
2
t
2
2
+[[
2
O(t
3
))dt
=
e
[[
2
(
1
2
)

_
0
t
1
2
e
[[
2
t
(1 t +
[[
2
+ 1
2
t
2
+ ([[
2
+ 1)O(t
3
))dt
= e
[[
2
[
1
(
1
2
)

_
0
t
1
2
e
[[
2
t
(
3
2
)
(
1
2
)

1
(
3
2
)

_
0
t
1
2
e
[[
2
t
dt
+
([[
2
+ 1)
2

(
5
2
)
(
1
2
)

1
(
5
2
)

_
0
t
3
2
e
[[
2
t
dt
+ ([[
2
+ 1)
(
7
2
)
(
1
2
)

1
(
7
2
)

_
0
O(t
5
2
)e
[[
2
t
dt ] .
Mit (n +1) = n (n) folgt: (
3
2
) =
1
2
(
1
2
), (
5
2
) =
3
2
1
2
(
1
2
), (
7
2
) =
5
2
3
2
1
2
(
1
2
).
Obwohl an dieser Stelle nicht bentigt, sei doch noch der Wert von (
1
2
) angegeben:
(
1
2
) =
. Damit erhalten wir fr die obige Reihe:
n=0
[[
2n
n!(n + 1)
1
2
= e
[[
2
[
1
([[
2
)
1
2
1
2

1
([[
2
)
3
2
+
3
4

([[
2
+ 1)
2

1
([[
2
)
5
2
+ O(
([[
2
+ 1)
([[
2
)
7
2
) ]
=
e
[[
2
[[
(1
1
2[[
2
+
3
8

[[
2
+ 1
[[
4
+O(
1
[[
4
))
=
e
[[
2
[[
(1
1
8[[
2
+O(
1
[[
4
)) . (3.4.6)
2
Setzen wir dies in 3.4.1 und 3.4.2 ein, so folgen wie behauptet 3.4.3 und 3.4.4.
Um die Unschrfen von

C
und

S
berechnen zu knnen, bentigen wir als nchstes

[

C
2
[ ) und [

S
2
[ ):
[

C
2
[ ) = [
1
4
(

E
+

E
)
2
[ )
= [
1
4
(( n +

1)
1/2
c + c
( n +

1)
1/2
)
2
[ )
=
1
4
[ [ ( n +

1)
1/2
c( n +

1)
1/2
c [ )
+ [ ( n +

1)
1/2
c c
( n +

1)
1/2
[ )
+ [ c
( n +

1)
1
c [ )
+ [ c
( n +

1)
1/2
c
( n +

1)
1/2
[ )]
=
1
4
[

n=0
[ ( n +

1)
1/2
c( n +

1)
1/2
[ n)n [ c [ )
+

n=0
[ ( n +

1)
1/2
( c
c + 1) [ n)n [ ( n +

1)
1/2
[ )
+

n=0
[ c
( n +

1)
1
[ n)n [ c [ )
+

n=0
[ c
( n +

1)
1/2
c
[ n)n [ ( n +

1)
1/2
[ )]
=
1
4
[

n=1
[ ( n +

1)
1/2
n + 1
[ n 1)n [ )
+

n=0
n + 1
n + 1
[ n)
1
n + 1
n [ )
+

n=0
1
n + 1
[ n)n [ )
+

n=0
[ ( n +

1)
1/2
n + 1 [ n + 1)
1
n + 1
n [ )]
=
e
[[
2
4
[

n=1
1
n + 1

(n1)
_
(n 1)!

n
n!
+

n=0
[[
2n
n!
+

n=0
[[
2
1
n + 1

[[
2n
n!
+

n=0
n + 2

(n+1)
_
(n + 1)!

n
n!
]
=
e
[[
2
4
[

n=1
(n1)
_
(n 1)!

n+1
_
(n + 1)!
+e
[[
2
+ (e
[[
2
1) +

n=0
(n+2)
_
(n + 2)!

n
n!
]
=
1
2

e
[[
2
4
+
e
[[
2
4
n=0
[

n
n!

n+2
_
(n + 2)!
+

(n+2)
_
(n + 2)!

n
n!
]
=
1
2

e
[[
2
4
+
e
[[
2
4
n=0
(
[[
2n
n!
n + 1
n + 2
) (
2
+
2
) .
Schreiben wir fr wieder = [[e
i
, so folgt:
[

C
2
[ ) =
1
2

e
[[
2
4
+[[
2
(e
2i
+e
2i
)
e
[[
2
4
n=0
(
[[
2n
n!
n + 1
n + 2
)
=
1
2

e
[[
2
4
+ [[
2
1
4
((e
i
+e
i
)
2
2) e
[[
2

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

e
[[
2
4
+[[
2
(cos
2
()
1
2
) e
[[
2

n=0
(
[[
2n
n!
n + 1
n + 2
) . (3.4.7)
Vllig analog folgt fr

S
2
:
[

S
2
[ ) =
1
2

e
[[
2
4
+[[
2
(sin
2
()
1
2
) e
[[
2

n=0
(
[[
2n
n!
n + 1
n + 2
) . (3.4.8)
Auch fr die hier auftauchenden Reihen kann man fr groe n = n) = [[
2
1 eine
ntzliche asymptotische Entwicklung in
1
[[
2
erhalten (siehe wieder: Loudon (1992) und
insb. die Originalarbeit von Carruthers u. Nieto (1965)):
[

C
2
[ ) cos
2
()
cos
2
()
1
2
2[[
2
, (3.4.9)
[

S
2
[ ) sin
2
()
sin
2
()
1
2
2[[
2
. (3.4.10)
Beweis.
n=0
(
[[
2n
n!
n + 1
n + 2
) =

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

1
[[
2

n + 1
n + 2
=

n=1
[[
2n
n!

1
[[
2

n + 1
=
1
[[
2

n=0
[[
2n
n!

n + 1
=
1
[[
2

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

n=0
[[
2n
n!
(1
1
2n
+O(
1
n
2
))
=
1
[[
2

n=0
[[
2n
n!
(1
1
2

1
n + 1
(1 +
1
n
) +O(
1
n
2
))
=
1
[[
2

n=0
[[
2n
n!
(1
1
2

1
n + 1
+O(
1
n
2
))
=
1
[[
2
[e
[[
2
1
2

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

1
[[
2
+O(
1
n
2
)]
=
1
[[
2
[e
[[
2
1
2

1
[[
2
(

n=0
[[
2n
n!
1) +O(
1
n
2
)]
=
1
[[
2
[e
[[
2
1
2

1
[[
2
(e
[[
2
1) +O(
1
n
2
)]
=
1
[[
2
e
[[
2
1
2

1
[[
4
e
[[
2
+
1
2

1
[[
4
+O(
1
n
2
) .
Bis zur Ordnung O(
1
n
2
) = O(
1
[[
4
) gilt also:
n=0
(
[[
2n
n!
n + 1
n + 2
) =
1
[[
2
e
[[
2
(1
1
2[[
2
) +O(
1
[[
4
) . (3.4.11)
Setzen wir dies in 3.4.7 und 3.4.8 ein, so folgen fr [[
2
1 e
[[
2
= 0 wie behauptet
3.4.9 und 3.4.10:
[

C
2
[ )
1
2
+ (cos
2
()
1
2
) (1
1
2[[
2
)
= cos
2
()
cos
2
()
1
2
2[[
2
. 2
Damit knnen wir jetzt die gesuchten Unschrfen von

C
und

S
im kohrenten Zustand
[) fr groe n = n) = [[
2
1 berechnen:
(

C
)
2
= [

C
2
[ ) ( [

C
[ ))
2
= cos
2
()
cos
2
()
1
2
2[[
2
cos
2
() (1
1
8[[
2
)
2
+O(
1
[[
4
)
=
2 cos
2
() + 1 + cos
2
()
4[[
2
+O(
1
[[
4
)
=
sin
2
()
4[[
2
+O(
1
[[
4
) . (3.4.12)
Und vllig analog:
(

S
)
2
=
cos
2
()
4[[
2
+O(
1
[[
4
) . (3.4.13)
Mit n = [[ (3.3.21) folgt:
(n) (

C
) =
1
2
sin() , (3.4.14)
(n) (

S
) =
1
2
cos() . (3.4.15)
Vergleichen wir dieses Ergebnis mit den allgemeinen Unschrfe-Relationen 3.1.16 und
3.1.17 fr

C
und

S
, so sehen wir, da wir mit den kohrenten Zustnden auch hier

die minimal mgliche Unschrfe erhalten.
Interessant ist auch, den Erwartungswert von (

C
2
+

S
2
) anzusehen. Hier erhalten wir
aus 3.4.7 und 3.4.8 (ohne irgendeine Nherung) :
[ (

C
2
+

S
2
) [ ) = 1
e
[[
2
2
. (3.4.16)
Fr n = [[
2
0 erhalten wir hier den Wert
1
2
, whrend sich fr n = [[
2
der
erwartete klassische Wert 1 ergibt.
Als letztes wollen wir noch die Unschrfe U aus 3.1.18, also das quantenmechanische
Analogon fr den klassischen Ausdruck n , fr die beiden Grenzflle n = [[
2
0
und n = [[
2
betrachten.
Fr [[ 0 benutzen wir 3.4.1, 3.4.2 und 3.4.7, 3.4.8:
lim
[[0
U
2
.
.
= lim
[[0
[[
2
(

S
)
2
+ (

C
)
2
(
)
2
+

C
)
2
)
= lim
[[0
[[
2
(
1
4
0) + (
1
4
0)
[[
2
sin
2
() +[[
2
cos
2
()
=
1
2
. (3.4.17)
Fr [[ benutzen wir die asymptotischen Entwicklungen 3.4.3, 3.4.4 und 3.4.12,
3.4.13:
lim
[[
U
2
.
.
= lim
[[
[[
2
(

S
)
2
+ (

C
)
2
(
)
2
+

C
)
2
)
= lim
[[0
[[
2
1
4[[
2
sin
2
() +
1
4[[
2
cos
2
()
sin
2
() + cos
2
()
=
1
4
. (3.4.18)
Vergleichen wir dieses Ergebnis mit der allgemeinen Unschrfe-Relation 3.1.18, so sehen
wir, da wir mit den kohrenten Zustnden wiederum auch hier die minimal mgliche
Unschrfe erhalten.
4 Das gewhnliche Pfadintegral in der
Quantenmechanik
4.1 Richard (Dick) Feynman (1918 1988)
Abbildung 4.1: R. Feynman
[http://en.wikipedia.org/wiki
/Feynman]
Feynman wurde 1918 in Far Rockaway in New
York als Sohn einer ursprnglich ostjdischen
Familie geboren. Schon in seiner Kindheit be-
gann er damit, Radios zu reparieren und be-
reits mit 15 Jahren lernte er Dierential- und
Integralrechnung. Sein Grundstudium absol-
vierte er am MIT und die Graduiertenausbil-
dung an der Princeton University. Dort wur-
de er bei 1942 bei Archibald Wheeler promo-
viert. In seiner Doktorarbeit beschftigte er
sich mit dem Prinzip der Stationren Wirkung
in der Quantenmechanik, womit er bereits die
Grundlagen zu seiner spteren Pfadintegral-
Methode legte. Danach beteiligte er sich in Los
Alamos bis zum Kriegsende am Manhattan
Project, der Entwicklung der amerikanischen
Atombombe. Seine erste Frau Arlene Green-
baum starb schon im Juli 1945 an TBC (die
Geschichte dieser Liebe und Ehe wurde 1996
unter dem Titel Innity verlmt). Mit seiner
dritten Frau Gweneth hatte er einen Sohn und
eine Adoptivtochter. Bethe, der sein Chef in
Los Alamos gewesen war, berief Feynman an die Cornell University und im Jahr 1951
wechselte Feynman auf eine Professur fr Theoretische Physik am Caltech in Kalifor-
nien, wo er bis zu seinem Lebensende verblieb. Feynman verstarb 1988 an den Folgen
zweier Krebserkrankungen, hielt aber noch 14 Tage vor seinem Tod eine Abschiedsvor-
lesung. Seine Vorlesungen, Vortge und Bcher waren berhmt fr ihren unkonventio-
nellen Ansatz, ihren Humor und das Bemhen, immer die Physik hinter den Formeln
transparent und verstndlich zu machen. Weltweit bekannt wurde der Undergraduate
Kurs The Feynman Lectures on Physics in Zusammenarbeit mit Leighton und Sands
(1961-64). Sehr schn und lesenswert sind auch Feynmans autobiographischen Essays
in Sie belieben wohl zu scherzen, Mr. Feynman! (Feynman, 1991) und seine Aufstze
in Vom Wesen physikalischer Gesetze (Feynman, 1993) - darin auf S. 160 der berhmte
42 4 Das gewhnliche Pfadintegral in der Quantenmechanik
Ausspruch: Andererseits kann ich mit Sicherheit behaupten, da niemand die Quan-
tenmechanik versteht.
In der Physik sind Feynmans wichtigsten Beitrge die Pfadintegral-Methode in der
Quantentheorie, die Feynman-Diagramme, die Quantenelektrodynamik, fr die er 1965
zusammen mit Schwinger und Tomonaga den Nobelpreis erhielt, Aufstze zur Supraui-
ditt, zur starken Wechsellwirkung, zur Quantengravitation und zu neuronalen Netzwer-
ken.
[Quellen: Wikipedia-Feynman (2010), Kleinert (2006)].
4.2 Hagen Kleinert (*1941)
Abbildung 4.2: H. Kleinert
[http://de.wikipedia.org/wiki
/Hagen-Kleinert]
Kleinert wurde 1941 in Festenberg (poln.
Twardogra) in Niederschlesien geboren. Er
begann 1960 sein Physikstudium an der TH
Hannover und promovierte 1967 an der Uni-
versity of Colorado in Boulder. Seit 1969 wirk-
te er als Professor fr Theoretische Physik an
der FU Berlin.
An der Pfadintegral-Methode hatte Feynman
schlielich die Freude verloren, nachdem es
ihm trotz intensiver Bemhungen nicht gelang,
das Wasserstoatom mit dieser Methode zu l-
sen. 1972 sprach er Hagen Kleinert, der gera-
de ein Sabbatjahr an Feynmans Institut ver-
brachte, auf dieses Problem an: Kleinert, you
gured out all that group-theoretic stu of
the hydrogen atom, why dont you solve the
path integral! Eine vorluge und noch in-
konsistente Lsung fand Kleinert zusammen
mit seinem Postdoc I.H. Duru 1982. Es dau-
erte dann aber noch bis 1989, bis Kleinert ein
korrektes Pfadintegral, das Raumkrmmung und Torsion bercksichtigte, fr das Was-
serstoatom aufstellen konnte. Noch kurz vor Feynmans Tod 1988 publizierte Kleinert
zusammen mit Feynman eine gemeinsame Arbeit zu einer auch numerisch sehr erfolgrei-
chen Nherungsmethode fr Pfadintegrale. Seine zahlreichen Arbeiten zum Pfadintegral
nden in Kleinerts Opus Magnum Path Integrals in Quantum Mechanics, Statistics,
Polymer Physics, and Financial Markets (Kleinert (2006)) einen fachlich ebenso wie
didaktisch beeindruckenden Hhepunkt!
Auerdem lieferte Kleinert wichtige Beitrge zu Quarktheorien, Supersymmetrie, Pha-
senbergngen und deren kritischen Exponenten. Er wandte die von ihm entwickelte
Theorie der kollektiven Quantenfelder auf die Festkrperphysik, die Kern- und Ele-
mentarteilchenphysik an und die von ihm von Quantenfeld-Eichtheorien abgeleitete
4.3 Pfadintegral in Hamiltonscher Form 43
Unordnungsfeldtheorie auf Defekte in Festkrpern. Im Jahr 2008 erhielt Kleinert fr
sein umfangreiches Lebenswerk von der DPG die Max-Born-Medaille. Sein Beitrag zum
100. Geburtstag von Lev D. Landau im Jahr 2008 wurde mit der Majorana-Medaille
ausgezeichnet.
[Quellen: Wikipedia-Kleinert (2011), Kleinert (2006), Janke u. a. (2001),
Homepage: http://users.physik.fu-berlin.de/~kleinert/kleinert/ ].
4.3 Pfadintegral in Hamiltonscher Form
Das gewhnliche Feynmansche Pfadintegral der Quantenmechanik soll hier fr den 1-
dimensionalen Fall abgeleitet werden. In den Manuskript-Versionen vor V-1-32 wurde an
dieser Stelle eine vereinfachte Ableitung des Feynmanschen Pfadintegrals fr Hamilton-
Operatoren ohne explizite Zeitabhngigkeit vorgefhrt. Jetzt soll die etwas aufwendigere
Herleitung fr Hamilton-Operatoren mit eventueller explizite Zeitabhngigkeit gezeigt
werden. Wir folgen dabei Kleinert (2006), Kapitel 1.6, 1.7, 2.1. Dabei ist die hier gezeigte
Ableitung auf den Spuren Feynmans rein formal zu verstehen.
Es zeigt sich nmlich, da fr das ursprngliche Feynmansche Pfadintegral im Konti-
nuum-Grenzwert kein gltiges Integrationsma existiert. Zu diesem Problemkreis und
verschiedenen mathematischen Lsungen siehe Klauder (2010) und Cartier u. DeWitt-
Morette (2006). Physiker pegen sich nun blicherweise damit zu behelfen, da sie ent-
weder das Pfadintegral als diskrete (endliche) Gittersumme verstehen und berechnen,
oder indem sie durch den bergang zu imaginren Zeiten zum Euklidischen Pfadinte-
gral berwechseln, fr welches ein Integrationsma im Kontinuum-Limes existiert. Noch
problematischer ist die Frage der Konvergenz der Pfadintegrale. Wenn der Hamilton-
Operator in der Form

H( p, q, t) =
1
2m
p
2
+V ( q, t) gegeben ist und das Potential V ( q, t)
nicht hinreichend regulr ist, z.B. das singulre Coulomb-Potential V (q) =
c
[ q[
, dann
divergiert das Pfadintegral als diskrete Gittersumme. Die Lsung dieses Problems ist
nichttrivial und aufwendig und wurde in den Jahren 1982-89 von Duru & Kleinert
und Kleinert gefunden und ausgearbeitet. Dabei wird der Hamilton-Operator mit dem
Coulomb-Potential im euklidischen Raum nichtlinear in einen anderen Raum transfor-
miert, in dem das Coulom-Potential nach unten beschrnkt ist und somit das Pfadinte-
gral konvergiert. Allerdings mu dieses Kleinertsche Pfadintegral dann Raumkrmmung
und Torsion korrekt bercksichtigen - siehe Kleinert (2006), Kapitel 10 bis 14.
Bei der Anwendung der Pfadintegrale in der Quantenfeldtheorie zeigen sich die blichen
quantenfeldtheoretischen Probleme. So ist zunchst einmal nicht klar, auf welche Weise
die dort auftretenden divergenten Pfadintegrale zu verstehen und zu regularisieren sind.
Im nchsten Kapitel wird die von Stephen Hawking eingefhrte Methode der spektralen
Zeta-Funktion als eine schne Methode der Regularisierung anhand einfacher Beispiele
vorgestellt.
Doch zunchst zur Herleitung des Feynmanschen Pfadintegrals!
Die Dynamik eines quantenmechanischen Systems, das der Schrdinger-Gleichung mit
einem Hamilton-Operator

H( p, q, t) gehorcht, kann durch einen unitren Zeitentwick-
lungs-Operator

U(t
f
, t
i
) beschrieben werden. Hierbei bezeichne t
i
den Anfangszeitpunkt
und t
f
den Endzeitpunkt der dynamischen Entwicklung, also
[ (t
f
)) =.
.
U(t
f
, t
i
) [ (t
i
)) . (4.3.1)
Dabei erfllt

U(t
f
, t
i
) die Operatorgleichung (Schrdinger-Gleichung)
[i

t
f

H( p, q, t
f
)]

U(t
f
, t
i
) = 0 , (4.3.2)
denn fr alle [ (t
i
)) gilt:
0 =[i

t
f

H( p, q, t
f
)] [ (t
f
)) = [i

t
f

H( p, q, t
f
)]

U(t
f
, t
i
) [ (t
i
)) .
U(t
f
, t
i
) ist unitr, denn
1 = [(t
f
) [ (t
f
))[ = [
U(t
f
, t
i
)(t
i
) [

U(t
f
, t
i
)(t
i
))[
= [(t
i
) [

U
(t
f
, t
i
)
U(t
f
, t
i
)(t
i
))[ .
Weiter bilden die Operatoren

U(t
f
, t
i
) eine Gruppe mit dem neutralen Element
U(t
i
, t
i
) =

1, denn
[ (t
f
)) =

U(t
f
, t
i
) [ (t
i
)) , und mit t
f
> t
k
> t
i
gilt
[ (t
f
)) =

U(t
f
, t
k
) [ (t
k
)) =

U(t
f
, t
k
)
U(t
k
, t
i
) [ (t
i
))
U(t
f
, t
i
) =

U(t
f
, t
k
)
U(t
k
, t
i
) fr t
f
> t
k
> t
i
. (4.3.3)
Wenn der Hamilton-Operator

H nicht explizit zeitabhngig ist, dann kann der Zeitent-
wicklungs-Operator

U(t
f
, t
i
) sofort angegeben werden, nmlich
U(t
f
, t
i
) = e

H( p, q) (t
f
t
i
)
, (4.3.4)
denn
[i

t
f

H( p, q)]

U(t
f
, t
i
) = [i

t
f

H( p, q)] e

H( p, q) (t
f
t
i
)
= [

H( p, q)

H( p, q)] e

H( p, q) (t
f
t
i
)
= 0 .
Wenn der Hamilton-Operator

H explizit zeitabhngig ist, dann kann der Zeitentwick-
lungs-Operator

U(t
f
, t
i
) als zeitgeordnete Dyson-Reihe angegeben werden. Man unter-
teilt einfach das Zeitintervall t
f
t
i
in M kleine Teilintervalle der Lnge .
.
=
t
f
t
i
M
, mit
t
f
= t
M
> t
k+1
> t
k
> t
0
= t
i
. Innerhalb des k-ten Teilintervalls kann dann

H( p, q, t)
bezglich der expliziten Zeitabhngigkeit als konstant

H( p, q, t
k
) betrachtet werden.
Mit dem Zeitordnungsoperator

T, der ein zeitabhngiges Operator-Produkt von links
nach rechts zu abfallenden Zeiten hin anordnet, ergibt sich:
U(t
f
, t
i
) =

T
M
k=1
U(t
k
, t
k1
) =

T
M
k=1
e

H( p, q,t
k
)
=

T e
M
k=1

H( p, q,t
k
)
T e
_
t
f
t
i
H( p, q,t) dt
. (4.3.5)
Wenn die Operator-Exponentialfunktion als Reihe entwickelt und die einzelnen Ter-
me zeitgeordnet werden, spricht man von der Dyson-Reihe fr den Zeitentwicklungs-
Operator

U(t
f
, t
i
).
Diesen Gedanken der zeitgeordneten Dyson-Reihe hat Feynman auf die folgende ber-
gangsamplitude angewandt, die nach ihm als Feynman-Propagator (oder Feynman-
Kern) benannt wurde. q
i
und q
f
bezeichne die Ortskoordinaten des Systems zu den
Anfangs- und Endzeitpunkten t
i
und t
f
.
U(q
f
, t
f
, q
i
, t
i
) .
.
= q
f
, t
f
[ q
i
, t
i
)
.
.
= q
f
[

U
R
(t
f
, t
i
) [ q
i
) .
.
= q
f
[ (t
f
t
i
)
U(t
f
, t
i
) [ q
i
) . (4.3.6)
Hierbei wollen wir unter U(q
f
, t
f
, q
i
, t
i
) im Folgenden stets den retardierten Feynman-
Propagator verstehen, was in dem Faktor (t
f
t
i
) der Denitionsgleichung zum Aus-
druck kommt. Damit folgt fr den retardierten Zeitentwicklungs-Operator

U
R
(t
f
, t
i
):
[i

t
f

H( p, q, t
f
)]

U
R
(t
f
, t
i
) = [i

t
f

H( p, q, t
f
)] (t
f
t
i
)
U(t
f
, t
i
)
= i(t
f
t
i
)
U(t
f
, t
i
) + (t
f
t
i
)[i

t
f

H( p, q, t
f
)]

U(t
f
, t
i
)
= i(t
f
t
i
)
1 , (4.3.7)
Diese retardierten Zeitentwicklungs-Operatoren

U
R
(t
f
, t
i
) bilden nun keine Gruppe mehr
wie die Zeitentwicklungs-Operatoren

U(t
f
, t
i
), sondern nur noch eine Halbgruppe. Fr
den retardierten Feynman-Propagator U(q
f
, t
f
, q
i
, t
i
) folgt:
[i

t
f

H( p, q, t
f
)] U(q
f
, t
f
, q
i
, t
i
) = q
f
[ [i

t
f

H( p, q, t
f
)]

U
R
(t
f
, t
i
) [ q
i
)
= i(t
f
t
i
)q
f
[
1 [ q
i
) = i(t
f
t
i
)(q
f
q
i
) . (4.3.8)
Also ist der retardierte Feynman-Propagator U(q
f
, t
f
, q
i
, t
i
) gerade die Orts- und Zeit-
abhngige Greenfunktion der Schrdingergleichung.
Wie bei der Dyson-Reihe unterteilt man einfach das Zeitintervall t
f
t
i
in M kleine
Teilintervalle der Lnge .
.
=
t
f
t
i
M
, mit
t
M
.
.
= t
f
> t
k+1
> t
k
> t
0
.
.
= t
i
,
q
0
.
.
= q
i
, q
M
.
.
= q
f
, q
k
.
.
= q(t
k
) .
.
= q(t
i
+k) ,
und schreibt
U(q
f
, t
f
, q
i
, t
i
) = q
f
[

U
R
(t
f
, t
i
) [ q
i
) = q
f
[
1
k=M
U
R
(t
k
, t
k1
) [ q
i
)
= q
f
[
1
k=M
U(t
k
, t
k1
) [ q
i
) .
Hier haben wir die richtige Zeitordnung (von links nach rechts zu abfallenden Zeiten)
bereits im Produkt bercksichtigt, so da

U
R
(t
k
, t
k1
) =

U(t
k
, t
k1
) ist. Im nchsten
Schritt fhrt man zwischen den einzelnen Operatoren

U(t
k
, t
k1
) jeweils einen vollstn-
digen Satz von Eigenvektoren (Eigenfunktionen) des Ortsoperators ein:
1 =
+
_
dq
k
[ q
k
)q
k
[ .
Damit schreibt sich der Feynman-Propagator als
U(q
f
, t
f
, q
i
, t
i
) =
_
(
M1
k=1
dq
k
)
1
k=M
q
k
[

U(t
k
, t
k1
) [ q
k1
)
=
_
(
M1
k=1
dq
k
)
M
k=1
q
k
[

U(t
k
, t
k1
) [ q
k1
) .
Innerhalb des k-ten Teilintervalls kann

H( p, q, t) bezglich der expliziten Zeitabhngig-
keit als konstant

H( p, q, t
k
) betrachtet werden. Dadurch kann man den Zeitentwicklungs-
Operator wieder in der Form

U(t
k
, t
k1
) = exp(
i

H( p, q, t
k
) ) darstellen.
Wir beschrnken uns im Folgenden auf Hamilton-Operatoren der Form

H( p, q, t) =
1
2m
p
2
+V ( q, t) und erhalten also
U(q
f
, t
f
, q
i
, t
i
) =
_
(
M1
k=1
dq
k
)
M
k=1
q
k
[ e

H( p, q,t
k
)
[ q
k1
)
=
_
(
M1
k=1
dq
k
)
M
k=1
q
k
[ e
(
1
2m
p
2
+V ( q,t
k
))
[ q
k1
)
=
_
(
M1
k=1
dq
k
)
M
k=1
q
k
[ e
(V ( q,t
k
)+
1
2m
p
2
)
[ q
k1
) .
Mit Hilfe der Baker-Campbell-Hausdor Formel (siehe etwa Greiner u. Reinhardt (1993),
S. 32 .):
e

A+

B
= e

A
e

B
e
1
2
2
[

A,

B]+O(
3
)
und unter Vernachlssigung der O(
2
)-Terme folgt
U(q
f
, t
f
, q
i
, t
i
) =
_
(
M1
k=1
dq
k
)
M
k=1
q
k
[ e
V ( q,t
k
)
e
1
2m
p
2
[ q
k1
)
=
_
(
M1
k=1
dq
k
)
M
k=1
+
_
dq q
k
[ e
V ( q,t
k
)
[ q)q [ e
1
2m
p
2
[ q
k1
)
=
_
(
M1
k=1
dq
k
)
M
k=1
e
V (q
k
,t
k
)
q
k
[ e
1
2m
p
2
[ q
k1
)
=
_
(
M1
k=1
dq
k
)
_
(
M
k=1
dp
k
)
M
k=1
e
V (q
k
,t
k
)
q
k
[ e
1
2m
p
2
[ p
k
)p
k
[ q
k1
)
=
_
(
M1
k=1
dq
k
)
_
(
M
k=1
dp
k
)
M
k=1
e
V (q
k
,t
k
)
e
1
2m
p
2
k
q
k
[ p
k
)p
k
[ q
k1
)
=
_
(
M1
k=1
dq
k
)
_
(
M
k=1
dp
k
)
M
k=1
e
V (q
k
,t
k
)
e
1
2m
p
2
k
2
e
i
p
k
q
k
1
2
e
p
k
q
k1
=
_
(
M1
k=1
dq
k
)
_
(
M
k=1
dp
k
2
)
M
k=1
e
i
[p
k
(q
k
q
k1
)H(p
k
,q
k
,t
k
)]
=
_
(
M1
k=1
dq
k
)
_
(
M
k=1
dp
k
2
)
M
k=1
e
[p
k
q
k
q
k1
H(p
k
,q
k
,t
k
)]
=
_
(
M1
k=1
dq
k
)
_
(
M
k=1
dp
k
2
) e
i
M
k=1
[p
k
q
k
q
k1
H(p
k
,q
k
,t
k
)]
.
Wenn der Grenzwert dieses Ausdrucks fr M existiert, dann schreibt man diesen
blicherweise in der Form
U(q
f
, t
f
, q
i
, t
i
) = lim
M
_
(
M1
k=1
dq
k
)
_
(
M
k=1
dp
k
2
) e
i
k=1
[p
k
q
k
q
k1
H(p
k
,q
k
,t
k
)]
(4.3.9)
=.
.
(q
f
,t
f
)
_
(q
i
,t
i
)
D[q(t)] D[p(t)] e
i
t
f
_
t
i
dt[p(t) q(t)H(p(t),q(t),t)]
. (4.3.10)
Dies ist das Feynmanschen Pfadintegrals in der Hamiltonschen Form . Hierbei ist zu
erwhnen, da die Formulierung 4.3.10 mit der Summierung ber alle Pfade von (q
i
, t
i
)
nach (q
f
, t
f
) mangels eines Integrationsmaes zunchst einmal nur eine suggestive Ab-
krzung fr den Grenzwert der Gitterpfadsumme 4.3.9 darstellt.
4.4 Pfadintegral in Lagrangescher Form
Wenn man nun Hamilton-Operatoren der Form

H( p, q) =
1
2m
p
2
+ V ( q, t) betrachtet,
bei denen p-Abhngigkeit einfach quadratisch ist, dann kann man mit Hilfe einer qua-
dratischen Ergnzung des Exponenten und der Ausfhrung des Gauschen Integrales
dp (e
ap
2
) = (
a
)
1
2
(4.4.1)
die p-Integrationen durchfhren:
U(q
f
, t
f
, q
i
, t
i
) = lim
M
_
(
M1
k=1
dq
k
)
M
k=1
_
dp
k
2
e
i
[p
k
q
k
1
2m
p
2
k
V (q
k
,t
k
)]
= lim
M
_
(
M1
k=1
dq
k
)
M
k=1
_
dp
k
2
e
i
[
1
2m
(p
k
m q
k
)
2
+
m
2
q
2
k
V (q
k
,t
k
)]
= lim
M
(
M
k=1
_
dp
t
k
2
e
2m
p
k
2
)
_
(
M1
k=1
dq
k
)
M
k=1
e
i
[
m
2
q
2
k
V (q
k
,t
k
)]
= lim
M
(
1
2
(

i
2m
)
1/2
)
M
_
(
M1
k=1
dq
k
) e
i
k=1
[
m
2
q
2
k
V (q
k
,t
k
)]
= lim
M
(
m
2i
)
M/2
_
(
M1
k=1
dq
k
) e
i
k=1
[
m
2
q
2
k
V (q
k
,t
k
)]
(4.4.2)
= lim
M
(
m
2i
)
M/2
(q
f
,t
f
)
_
(q
i
,t
i
)
D
M1
[q(t)] e
i
t
f
_
t
i
dt[
m
2
q(t)
2
V (q(t),t)]
,
U(q
f
, t
f
, q
i
, t
i
) = N
(q
f
,t
f
)
_
(q
i
,t
i
)
D[q(t)] e
i
t
f
_
t
i
dt L( q(t),q(t),t)
= N
(q
f
,t
f
)
_
(q
i
,t
i
)
D[q(t)] e
i
S(q)
.
(4.4.3)
Dies ist das Feynmanschen Pfadintegrals in der Lagrangeschen Form. Wiederum gilt,
da die Formulierung 4.4.3 mit der Summierung ber alle Pfade von (q
i
, t
i
) nach (q
f
, t
f
)
4.5 Pfadintegral in Euklidischer Form 49
und der Normierung N nur eine (suggestive) Abkrzung fr den Grenzwert der Git-
terpfadsumme 4.4.2 darstellt. Da lim
M
(
mM
2i (t
f
t
i
)
)
M/2
allein fr sich natrlich nicht
existiert, ist dieser Faktor Teil einer geeigneten Mafunktion und N in 4.4.3 ist lediglich
ein Proportionalittsfaktor zu dieser Mafunktion, der die Unitaritt des Pfadintegrals,
d.h. des Feyman-Kerns U(q
f
, t
f
, q
i
, t
i
), sicherstellen soll.
Dort wo diese Gitterpfadsumme nicht konvergiert, behelfen sich die Physiker blicher-
weise damit, in die komplexe Ebene auszuweichen. Dies kann entweder durch eine Dre-
hung der komplexen Ebene um einen kleinen Winkel in mathematisch negativer Rich-
tung erreicht werden, wobei sich die neue Zeitkoordinate aus der alten Zeitkoordinate
t ergibt als: = e
i
t . Dies fhrt zu einer exponentiellen Dmpfung der Beitrge im
Pfadintegral fr groe . Oder man dreht die komplexe Ebene gleich um =

2
, d.h.
man geht zu imaginren Zeiten = it ber. Dies ist die euklidische Form des Pfa-
dintegrals, die im folgenden Abschnitt betrachtet werden soll. In diesem Fall werden
aus den Phasen im normalen Pfadintegral abfallende Exponential-Funktionen und die
Konvergenz ist gesichert. Fr die mgliche Rcktransformation zu reellen Zeiten nach
Duchfhrung der Rechnung im Euklidischen mu allerdings sichergestellt sein, da die
Lsung im Bereich der analytischen Fortsetzung keine Pole hat.
4.5 Pfadintegral in Euklidischer Form
Durch den bergang zu imaginren Zeiten gelangen wir zum Euklidischen Pfadintegral.
Sei .
.
= it ,
.
.
= i
t
, R:
U
E
(q
f
,
f
, q
i
,
i
) = q
f
[ e

H(
f
i
)
[ q
i
) = . . .
= lim
M
(
M
k=1
_
dp
t
k
2
e
2m
p
k
2
)
_
(
M1
k=1
dq
k
)
M
k=1
e
[
m
2
q
2
k
+V (q
k
,
1
i
k
)]
= lim
M
(
m
2
)
M/2
(q
f
,
f
)
_
(q
i
,
i
)
D
M1
[q()] e
f
_
i
d[
m
2
q()
2
+V (q(),
1
i
)]
U
E
(q
f
,
f
, q
i
,
i
) = N
(q
f
,
f
)
_
(q
i
,
i
)
D[q()] e
f
_
i
dH( q(),q(),
1
i
)
= N
(q
f
,t
f
)
_
(q
i
,t
i
)
D[q()] e
S
E
(q)
. (4.5.1)
4.6 Pfadintegral der Zustandssumme
Die kanonische Zustandssumme ist als Spur ber e

H
deniert und dies knnen wir
als euklidisches Pfadintegral schreiben:
Z .
.
= Sp(e

H
) =
_
dq q [ e
(0)

H
[ q) =
_
dq U
E
(q, , q, 0) . (4.6.1)
Hier sind nun q
0
= q(0) und q
M
= q() identisch, d.h. wir mssen zur Spurbildung
das Integral ber q mit dieser periodischen Randbedingung durchfhren.
Z = lim
M
(
m
2
)
M/2
_
q()=q(0)
dq
0
_
(
M1
k=1
dq
k
)
M
k=1
e
[
m
2
q
2
k
+V (q
k
,
1
i
k
)]
, (4.6.2)
Z = N
_
q()=q(0)
D[q()]e
_
0
dH( q(),q(),
1
i
)
. (4.6.3)
Hier erfolgt wegen der periodischen Randbedingung q(0) = q() die Summation ber
alle entsprechenden zyklischen Pfade.
4.7 Gausche Integrale
Immer wieder stoen wir bei der Pfadintegral-Methode auf Gausche Integrale (siehe
4.4.1). Tatschlich sind diese Gauschen Integrale auch die bedeutsamsten unter den
wenigen Pfadintegralen, die wir analytisch exakt lsen knnen. Fr die Anwendung in
den folgenden Abschnitten sollen hier einige Ausdrcke fr Gausche Integrale in M
Dimensionen abgeleitet werden.
4.7.1 Das einfache Gausche Integral
Sei a R und a ,= 0, dann gilt:
1
(2)
1/2
dx e
1
2
ax
2
= a
1/2
. (4.7.1)
Beweis. Man berechnet das quadrierte Integral mittels Polarkoordinaten.
dx e
x
2
dy e
y
2
=
dx
dy e
x
2
y
2
=
2
_
0
d
_
0
dr re
r
2
= 2
_
0
1
2
ds e
s
4.7 Gausche Integrale 51
= [e
s
]
0
=
dx e
x
2
=
dx e
1
2
ax
2
=
1
_
a
2
dy e
y
2
=
2
a
. 2
4.7.2 Das Gausche Integral fr M-dimensionale symmetrische
Matrizen
Sei A eine reelle, symmetrische, positiv denite Matrix der Dimension M M, A habe
also keine Null-Eigenwerte, dann gilt:
1
(2)
M/2
dx
1
dx
2
. . . dx
M
e
1
2
x[A[x)
= (det A)
1/2
. (4.7.2)
Beweis. Sei [ x) .
.
=[ x
1
x
2
. . . x
M
) ein reeller M-dimensionaler Vektor, dann gibt es eine
orthogonale Matrix U, die A auf Diagonalform diag(a
1
, a
2
, . . . , a
M
) transformiert, mit:
A = UAU
1
, [ x) = U [ x), d x
1
d x
2
. . . d x
M
= dx
1
dx
2
. . . dx
M
,
1
(2)
M/2
dx
1
dx
2
. . . dx
M
e
1
2
x[A[x)
=
1
(2)
M/2
d x
1
d x
2
. . . d x
M
e
1
2
x[UAU
1
[ x)
=
1
(2)
M/2
d x
1
d x
2
. . . d x
M
e
1
2
M
i=1
a
i
x
2
i
=
M
i=1
1
(2)
1/2
d x
i
e
1
2
a
i
x
2
i
=
M
i=1
1
(a
i
)
1/2
=
1
(det A)
1/2
. 2
Hug ndet man auch die folgende Schreibweise mit Sp(ln(A)):
ln(det A) = ln
M
i=1
a
i
=
M
i=1
ln a
i
= Sp(ln A) (4.7.3)
det A = e
Sp(ln A)
. (4.7.4)
Damit lt sich 4.7.2 jetzt schreiben als:
1
(2)
M/2
dx
1
dx
2
. . . dx
M
e
1
2
x[A[x)
= e
1
2
Sp(ln A)
. (4.7.5)
4.7.3 Das Gausche Integral fr M-dimensionale symmetrische
Matrizen mit Linearterm
Sei A eine reelle, symmetrische, positiv denite Matrix der Dimension M M, A habe
also keine Null-Eigenwerte, dann gilt:
1
(2)
M/2
dx
1
dx
2
. . . dx
M
e
(
1
2
x[A[x)x[J))
= e
J[A
1
[J)
(det A)
1/2
. (4.7.6)
Beweis. Wir whlen hier im Exponenten das Verfahren der quadratischen Ergnzung,
um wieder zu einem rein qudratischen Ausdruck zu gelangen.
Das Minimum [ x
0
) von (
1
2
x [ A [ x) x [ J)) nden wir mit
x
i
(
1
2
x [ A [ x) x [ J)) = 0 A [ x
0
) =[ J) [ x
0
) = A
1
[ J) .
Wir gehen von der Variablen [ x) ber zur Variablen [ y) .
.
=[ x) [ x
0
), bzw.
[ x) =[ y)+ [ x
0
), dann folgt:
1
2
x [ A [ x) x [ J) =
1
2
(y +x
0
) [ A [ (y +x
0
)) (y +x
0
) [ J)
=
1
2
y [ A [ y) +y [ A [ x
0
) y [ J) x
0
[ J)
=
1
2
y [ A [ y) +y [ J) y [ J) J [ x
0
)
=
1
2
y [ A [ y) J [ A
1
[ J) .
1
(2)
M/2
dx
1
dx
2
. . . dx
M
e
(
1
2
x[A[x)x[J))
=
1
(2)
M/2
e
J[A
1
[J)
dy
1
dy
2
. . . dy
M
e
1
2
y[A[y)
= e
J[A
1
[J)
(det A)
1/2
. 2
4.7.4 Das Gausche Integral fr M-dimensionale hermitesche
Matrizen
Sei A eine komplexe, hermitesche, positiv denite Matrix der Dimension M M, A
habe also keine Null-Eigenwerte, dann gilt:
1
(2)
M
dz
1
dz
1
. . . dz
M
dz
M
e
z[A[z)
= (det A)
1
. (4.7.7)
4.7 Gausche Integrale 53
Beweis. Sei [ z) .
.
= [ z
1
z
2
. . . z
M
) ein komplexer M-dimensionaler Vektor, dann gibt es
eine unitre Matrix U, die A auf Diagonalform diag(a
1
, a
2
, . . . , a
M
) transformiert, mit:
A = UAU
1
, [ z) = U [ z) ,
d z
1
d z
1
d z
2
d z
2
. . . d z
M
d z
M
= dz
1
dz
1
dz
2
dz
2
. . . dz
M
dz
M
.
Mit [ z) .
.
=[ x) + i [ y), also z
k
= x
k
+ i y
k
fr k 1 . . . M, folgt fr das Volumenele-
ment:
dz
k
dz
k
=
(z
k
, z
k
)
(x, y)
dx dy =
1 i
1 i
dx dy = [ 2i [dx dy = 2 dx dy . (4.7.8)
Die Invarianz dieses Volumenelements kann man folgendermaen sehen. Wir zerlegen
ebenso wie [ z) auch die Matrix U .
.
= U
x
+i U
y
in Real- und Imaginrteil, d.h. U
x
und
U
y
sind reelle Matrizen.
[ z) .
.
=[ x) +i [ y) = (U
x
+i U
y
)([ x) +i [ y))
= (U
x
[ x) U
y
[ y)) +i (U
y
[ x) +U
x
[ y)) ,
_
_
_
_
_
[ x)
[ y)
_
_
_
_
_
=
_
_
_
_
_
U
x
U
y
U
y
U
x
_
_
_
_
_
_
_
_
_
_
[ x)
[ y)
_
_
_
_
_
.
.
= U
R
_
_
_
_
_
[ x)
[ y)
_
_
_
_
_
,
UU
=

1 (U
x
+i U
y
)(U
x
i U
y
) = 1
U
x
U
x
+U
y
U
y
=

1 U
y
U
x
U
x
U
y
=

0
U
R
U
R
=
_
_
_
_
_
U
x
U
y
U
y
U
x
_
_
_
_
_
_
_
_
_
_
U
x
U
y
U
y
U
x
_
_
_
_
_
=
_
_
_
_
_
U
x
U
x
+U
y
U
y
U
x
U
y
U
y
U
x
U
y
U
x
U
x
U
y
U
y
U
y
+U
x
U
x
_
_
_
_
_
=

1 .
Also ist die Matrix U
R
der Dimension 2M 2M reell und orthogonal und lt das 2M
dimensionale Volumenelement dx
1
dy
1
dx
2
dy
2
. . . dx
M
dy
M
invariant.
1
(2)
M
dz
1
dz
1
. . . dz
M
dz
M
e
z[A[z)
=
1
()
M
dx
1
dy
1
. . . dx
M
dy
M
e
z[A[z)
=
1
()
M
d x
1
d y
1
. . . d x
M
d y
M
e
M
i=1
a
i
( x
2
i
+ y
2
i
)
=
M
i=1
1
d x
i
d y
i
e
a
i
x
2
i
e
a
i
y
2
i
=
M
i=1
1
a
i
)
1/2
(
a
i
)
1/2
=
M
i=1
1
a
i
= (det A)
1
= e
Sp(ln A)
. 2
4.7.5 Das Gausche Integral fr M-dimensionale normale Matrizen
Das Ergebnis 4.7.7 gilt nicht nur fr hermitesche Matrizen, sondern auch fr normale
Matrizen A, wobei dort aber die Eigenwerte a
i
beliebige komplexe Zahlen sein kn-
nen. Normale Matrizen sind Matrizen mit [[A
[ x)[[ = [[A [ x)[[ (siehe etwa Hassani

(1999), S.117 .) . Da die kohrenten Zustnde aus Eigenvektoren der nichthermiteschen
Vernichtungs-Operatoren aufgebaut sind, werden wir im Zusammenhang mit dem ko-
hrenten Pfadintegral das Ergebnis 4.7.7 fr normale Matrizen bentigen.
4.8 Spektrale Zeta-Funktion
Wir haben soeben gesehen, da wir bei der Berechnung M-dimensionaler Gauscher
Integrale auf die Berechnung von M-dimensionalen Determinanten gefhrt werden. Im
Grenzwert lim
M
werden aus unseren M-dimensionalen Matrizen

A
M
jetzt unendlich-
dimensionale Matrizen, d.h. Operatoren

A in einem unendlich dimensionalen Hilbert-
raum. Wenn der Grenzwert der Determinanten lim
M
(det

A
M
) existiert, so werden
wir diesen Grenzwert als die Funktionaldeterminante det (

A) bezeichnen.
Wenn der Grenzwert lim
M
(det

A
M
) aber nicht existiert, wie etwa bei physikalischen
Fragestellungen mit einer UV-Divergenz in Modellen der Quantenfeldtheorie, dann kann
man versuchen, eine regularisierte Funktionaldeterminante det (

A) zu denieren, bei
welcher auf denierte Weise ein Pol aus der divergenten Determinante herausgenommen
wird. Einen mathematisch besonders klaren Weg zur Denition einer regularisierten
Funktionaldeterminante stellt die Methode der spektralen Zeta-Funktion dar.
4.9 Feynman-Propagator und Zustandssumme des freien Teilchens 55
Sei jetzt

A ein elliptischer Dierential-Operator mit den Eigenwerten
n
, so kann man
analog zur Riemannschen Zeta-Funktion eine spektrale Zeta-Funktion
A
(s) denieren:
A
(s) .
.
=

n=1
1
s
n
. (4.8.1)
Wenn der eliptische Dierential-Operator

Avon der Ordnung auf einer m-dimensionalen
kompakten Mannigfaltigkeit ist, dann kann man zeigen, da die obige Potenzsumme
von
A
(s) fr 1(s) >
m
konvergiert (siehe 6.7.3 oder Schwarz (1993), S.132 .). An-

schlieend kann man diese spektrale Zeta-Funktion analytisch in der komplexen Ebene
fortsetzen und dann an den uns interessierenden Punkten s, hier speziell s = 0, berech-
nen.
A
(s) =

n=1
1
s
n
=

n=1
e
s ln
n
= Sp(e
s ln

A
) . (4.8.2)
d
ds
A
(s)
s=0
=
n=1
ln
n
e
s ln
n
s=0
=
n=1
ln
n
= ln

n=1
n
= ln det(

A) .
Damit knnen wir jetzt eine regularisierte Funktionaldeterminante det(

A) denieren
als:
det(

A) .
.
=

n=1
n
= e
A
(0)
. (4.8.3)
Wir werden als Beispiele zunchst die Funktionaldeterminanten fr das freie nicht-
relativistische Teilchen und fr den harmonischen Oszillator mit Hilfe der spektralen
Zeta-Funktion berechnen, bevor wir dann spter (in 6) das Thema vertiefen.
4.9 Feynman-Propagator und Zustandssumme des
freien Teilchens
Wir wollen hier mit Hilfe der Gauschen Integrale den Feynman-Propagator eines freien
nichtrelativistischenTeilchens berechnen. Es ist also L(q, q) =
m
2
q(t)
2
.
S(q) =
t
f
_
t
i
dt L( q(t), q(t)) =
t
f
_
t
i
dt
m
2
q(t)
2
. (4.9.1)
Wenn wir das Wirkungsintegral S als Funktional von q dierenzieren (siehe etwa M.1.17
und M.1.18), so ergibt sich:
S
q
= m
d
2
q(t)
dt
2
,

2
S
q(t
1
)q(t
2
)
= m(
d
2
dt
2
1
) (t
1
t
2
) ,

3
S
q(t
1
)q(t
2
)q(t
3
)
= 0 .
Wenn die zweite Funktionalableitung lokal ist, verwenden wir auch die Schreibweise:
S
(2)
loc
(q) .
.
=
_

2
S
q(t
1
)q(t
2
)
dt
2
= m
d
2
dt
2
1
.
Der klassische Pfad q
cl
(t) mit den Randbedingungen q
cl
(t
i
) = q
i
und q
cl
(t
f
) = q
f
folgt
aus:
S
q
= m
d
2
q(t)
dt
2
= 0 q
cl
(t) = q
i
+
(q
f
q
i
)
(t
f
t
i
)
(t t
i
) . (4.9.2)
Damit ergibt sich das klassische Wirkungsintegral zu:
S(q
cl
) =
t
f
_
t
i
dt
m
2
q(t)
2
=
m
2
(q
f
q
i
)
2
(t
f
t
i
)
. (4.9.3)
Weil die dritte Funktionalableitung von S(q) fr das freie Teilchen verschwindet ist die
semiklassische Nherung 4.11.5 in diesem Fall sogar exakt. Mit q(t) .
.
= q
cl
(t) +r(t) und
4.11.7 gilt also:
U(q
f
, t
f
, q
i
, t
i
) = e
i
S(q
cl
)
N
(0,t
f
)
_
(0,t
i
)
D[r(t)] e
i
2
t
f
_
t
i
dt r(t) S
(2)
loc
(q
cl
) r(t)
(4.9.4)
= e
i
S(q
cl
)
N
(0,t
f
)
_
(0,t
i
)
D[r(t)] e
im
2
t
f
_
t
i
dt (
dr(t)
dt
)
2
. (4.9.5)
Aus der Konstruktion q(t) .
.
= q
cl
(t) + r(t) sehen wir, da das Pfadintegral ber die
Wege r(r) den klassischen Weg mit r(t) = const. = 0 nicht mehr enhlt (bzw. keine
Nullmode mit = 0 enthlt).
Dieses Pfadintegral ist der Grenzwert der folgenden Gittersumme (siehe 4.4.2, =
(t
f
t
i
)/M):
U(q
f
, t
f
, q
i
, t
i
) .
.
= lim
M
U
M
(q
f
, t
f
, q
i
, t
i
)
.
.
= lim
M
(
m
2i
)
M/2
e
i
S(q
cl
)
_
(
M1
k=1
dr
k
) e
im
2
M
k=1
(r
k
r
k1
)
2
.
Um das Integral U
M
(q
f
, t
f
, q
i
, t
i
) fr ein festes M-Gitter als Gausches Integral lsen
zu knnen symmetrisieren wir die Summe ber die Fluktuationen r
k
unter Bercksich-
tigung der Randbedingungen r
0
= r
M
= 0:
M
k=1
(r
k
r
k1
)
2
=
M
k=1
(r
2
k
+r
2
k1
2r
k
r
k1
)
=
M
k=1
r
2
k
+
M1
k=0
r
2
k
k=1
r
k
r
k1
M1
k=0
r
k+1
r
k
=
M1
k=1
2r
2
k
M1
k=1
r
k
r
k1
M1
k=1
r
k+1
r
k
=
M1
k=1
(2r
2
k
r
k
r
k1
r
k+1
r
k
)
.
.
=
M1
i,j=1
L
M1
ij
r
i
r
j
,
mit der M 1 dimensionalen symmetrischen Matrix
L
M1
.
.
=
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
2 1 0 . . . . . . . . . . . . 0
1 2 1 0 . . . . . . . . . 0
0 0
.
.
.
.
.
.
.
.
.
.
.
.
0 0 1 2 1 0
0 . . . . . . . . . 0 1 2 1
0 . . . . . . . . . . . . 0 1 2
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
.
Jetzt suchen wir die Determinante von L
M1
. Wenn wir die Determinante nach der
ersten Zeile entwickeln, erhalten wir die folgende Rekursionsbeziehung:
det(L
M1
)=2 det(L
M2
) det(L
M3
)
mit der Anfangsbedingung det(L
1
) = 2 und det(L
2
) = 3. Daraus folgt det(L
M1
) =
M. Mit dem Gauschen Integral fr symmetrische Matrizen 4.7.2 folgt also fr den
Feynman-Propagator
U
M
(q
f
, t
f
, q
i
, t
i
) = (
m
2i
)
M
2
e
i
S(q
cl
)
_
(
M1
k=1
dr
k
) e
m
i
(
1
2
)
M1
i,j=1
L
M1
ij
r
i
r
j
= (
m
2i
)
M
2
e
i
S(q
cl
)
(2)
M1
2
(
m
i
)
M1
2
M
1
2
= (
m
2i(t
f
t
i
)
)
1
2
e
i
m
2
(q
f
q
i
)
2
(t
f
t
i
)
,
U(q
f
, t
f
, q
i
, t
i
) .
.
= lim
M
U
M
(q
f
, t
f
, q
i
, t
i
) = (
m
2i(t
f
t
i
)
)
1
2
e
i
m
2
(q
f
q
i
)
2
(t
f
t
i
)
. (4.9.6)
Mit = it folgt fr den euklidischen Feynman-Propagator (4.5.1):
U
E
(q
f
,
f
, q
i
,
i
) = (
m
2(
f

i
)
)
1
2
e
m
2
(q
f
q
i
)
2
(
f
i
)
. (4.9.7)
und fr die Zustandssumme (4.6.1):
Z =
_
dq U
E
(q, , q, 0) =
_
dq (
m
2
2
)
1
2
= a (
mkT
2
2
)
1
2
=
a
, (4.9.8)
.
.
=
2
2
mkT
ist die sog. thermische Wellenlnge. (4.9.9)
Erwhnenswert ist hier vielleicht, da wir, um eine endliche Zustandssumme zu errei-
chen, das freie Teilchen in einen (eindimensionalen) Kasten der Lnge a .
.
=
_
dq ein-
gesperrt haben. Die Divergenz bei unendlicher Kastenlnge, d.h. bei verschwindender
Fouriertransformierter von q, ist ein einfacher Fall einer sogenannten Infrarot-Divergenz.
Als nchstes wollen wir den euklidischen Feynman-Propagator mit der Methode der
spektralen Zeta-Funktion berechnen. Wir beginnen mit 4.9.4 und weisen nochmals dar-
aufhin, da diese Darstellung (semiklassische Nherung) fr das freie Teilchen exakt
ist.
U
E
(q
f
,
f
, q
i
,
i
) = e
S
E
(q
cl
)
N
(0,
f
)
_
(0,
i
)
D[r()] e
1
2
f
_
i
d r() S
(2)
E,loc
(q
cl
) r()
= e
S
E
(q
cl
)
N
(0,
f
)
_
(0,
i
)
D[r()] e
m
2
f
_
i
d r() (
d
2
d
2
) r()
.
Um die Methode der spektralen Zeta-Funktion anwenden zu knnen, mssen wir von
den Variablen r und zu dimensionslosen Gren r
t
und
t
bergehen. Dabei setzen
wir
fi
.
.
=
f

i
.
t
.
.
=

i
f

i
=

i
fi
, r
t
(
t
) .
.
= (
m
fi
)
1
2
r() (4.9.10)
U
E
(q
f
,
f
, q
i
,
i
) = e
S
E
(q
cl
)
N
t

(0,
f
=1)
_
(0,
i
=0)
D[r
t
(
t
)] e
1
2
1
_
0
d
) (
d
2
d
2
) r
)
= e
S
E
(q
cl
)
N
t

(0,
f
=1)
_
(0,
i
=0)
D[r
t
(
t
)] e
1
2
r
[
d
2
d
2
[r
)
. (4.9.11)
In Analogie zum diskreten Gauschen Integral 4.7.2 wird jetzt eine Funktionaldetermi-
nante eines elliptischen Operators

A deniert als:
(det
t
(

A))
1
2 .
.
=
(0,
f
=1)
_
(0,
i
=0)
D[r
t
()] e
1
2
r
A[r
)
. (4.9.12)
Der Hochstrich bei der Determinante bezeichne die Nebenbedingung, da der klassische
Pfad mit r(t) = const. = 0 bei der Berechnung in der Determinante nicht mehr enhalten
ist. Mit

A .
.
= (
d
2
d
2
) schreibt sich unser euklidisches Pfadintegral dann als:
U
E
(q
f
,
f
, q
i
,
i
) = e
S
E
(q
cl
)
N
t
(det
t
(
d
2
d
t2
))
1
2
. (4.9.13)
Da wir fr die mglichen Pfade r
t
(
t
) und damit auch fr den Operator (
d
2
d
2
) Dirichlet-
Randbedingungen (r
t
(0) = r
t
(1) = 0) haben, folgen als Eigenfunktionen und Eigenwerte
dieses Operators
r
t
n
(
t
) = sin(n
t
), und
n
=
2
n
2
. (4.9.14)
Der Ausschlu des klassischen Weges mit r(t) = const. = 0 aus der det
t
bedeutet also
den Ausschlu der Nullmode mit n = 0. Damit ist der Operator (
d
2
d
2
) tatschlich ein
elliptischer Operator, auf den die Methode der spektralen Zeta-Funktion angewandt
werden kann.
A
(s) .
.
=

n=1
1
s
n
= (
1
)
2s
n=1
1
n
2s
= (
1
)
2s
(2s) ,
A
(s) =
d
ds
A
(s) = 2 ln(
1
) (
1
)
2s
(2s) + (
1
)
2s
2
t
(2s) .
Mit (0) =
1
2
, (D.10.11, oder Abramowitz u. Stegun (1970), 23.2.11) und
t
(0) =
1
2
ln(2) (D.11.6, oder Abramowitz u. Stegun (1970), 23.2.13) folgt:
A
(0) = ln(
1
) ln(2) = ln(2)
det
t
(
d
2
d
t2
) = e
A
(0)
= 2 . (4.9.15)
Damit erhalten wir fr das euklidische Pfadintegral
U
E
(q
f
,
f
, q
i
,
i
) = e
S
E
(q
cl
)
N
t
(
1
2
)
1
2
.
Dies vergleichen wir mit dem auf direktem Weg erzielten Ergebnis 4.9.7 und erhalten
damit die Normierungskonstante N
t
:
N
t
= (
m
(
f

i
)
)
1
2
, (4.9.16)
U
E
(q
f
,
f
, q
i
,
i
) = e
S
E
(q
cl
)
(
m
2(
f

i
)
)
1
2
. (4.9.17)
Der Vollstndigkeit halber sei dieses Ergebnis auch noch fr den analogen nicht-eukli-
dischen Fall angegeben (siehe 4.9.3 und 4.9.6):
N
t
= (
m
i(t
f
t
i
)
)
1
2
, (4.9.18)
U(q
f
,
f
, q
i
,
i
) = e
i
S(q
cl
)
(
m
2i(t
f
t
i
)
)
1
2
. (4.9.19)
4.10 Feynman-Propagator und Zustandssumme des
harmonischen Oszillators
Wir wollen hier den Feynman-Propagator des harmonischen Oszillators und seine Zu-
standssumme berechnen. Natrlich knnte man diese Gren auf herkmmliche quan-
tenmechanische Weise recht einfach erhalten, aber es soll hier an diesem bekannten
Modell die Methode der spektralen Zeta-Funktion bei bekanntem Spektrum demon-
striert werden.
Das klassische Wirkungsfunktional ist also:
S(q) =
t
f
_
t
i
dt L( q(t), q(t)) =
t
f
_
t
i
dt
m
2
( q(t)
2
2
q(t)
2
) . (4.10.1)
Wenn wir das Wirkungsintegral S als Funktional von q dierenzieren (siehe etwa M.1.17
und M.1.18), so ergibt sich:
S
q
= m(
d
2
q(t)
dt
2

2
q(t)) ,

2
S
q(t
1
)q(t
2
)
= m(
d
2
dt
2
1
2
) (t
1
t
2
) ,
3
S
q(t
1
)q(t
2
)q(t
3
)
= 0 .
Da die zweite Funktionalableitung wieder lokal ist, verwenden wir erneut die Schreib-
weise:
S
(2)
loc
(q) .
.
=
_

2
S
q(t
1
)q(t
2
)
dt
2
= m(
d
2
dt
2
1
2
) .
Der klassische Pfad q
cl
(t) mit den Randbedingungen q
cl
(t
i
) = q
i
und q
cl
(t
f
) = q
f
folgt
aus:
S
q
= m(
d
2
q(t)
dt
2

2
) = 0 . (4.10.2)
Wir machen fr q
cl
(t) den blichen harmonischen Ansatz:
q
cl
(t) .
.
= b
1
cos t + b
2
sin t . (4.10.3)
Wir setzen noch zur Abkrzung t
fi
.
.
= t
f
t
i
und knnen ohne Beschrnkung der
Allgemeinheit t
i
= 0 whlen. Damit folgen sofort die Koezienten b
1
und b
2
:
q
i
.
.
= q
cl
(t
i
) = q
cl
(0) = b
1
,
q
f
.
.
= q
cl
(t
f
) = q
cl
(t
fi
) = b
1
cos(t
fi
) +b
2
sin(t
fi
) ,
b
1
= q
i
, b
2
=
q
f
q
i
cos(t
fi
)
sin(t
fi
)
.
Fr die Berechnung der Wirkung auf dem klassischen Pfad q
cl
bentigen wir q
cl
(t)
2
und
2
q
cl
(t)
2
:
q
cl
(t)
2
= (b
1
sin(t) +b
2
cos(t))
2
=
2
(b
2
1
sin
2
(t) 2b
1
b
2
sin(t) cos(t) +b
2
2
cos
2
(t)) ,
2
q
cl
(t)
2
=
2
(b
2
1
cos
2
(t) + 2b
1
b
2
sin(t) cos(t) +b
2
2
sin
2
(t)) .
Damit ergibt sich fr die Wirkung auf dem klassischen Pfad q
cl
:
S
cl
(q
i
, q
f
) .
.
= S(q
cl
) =
t
fi
_
0
dt
m
2
[ q(t)
2
2
q(t)
2
]
=
t
fi
_
0
dt
m
2
2
[(b
2
1
b
2
2
)(sin
2
(t) cos
2
(t)) 4b
1
b
2
sin(t) cos(t)]
=
m
2
2
t
fi
_
0
dt [(b
2
1
b
2
2
)(2 sin
2
(t) 1) 4b
1
b
2
sin(t) cos(t)]
=
m
2
2
t
fi
_
0
dt [(b
2
1
b
2
2
)(2 sin
2
(t) 1) 4b
1
b
2
sin(t) cos(t)]
=
m
2
2
[(b
2
1
b
2
2
)(2(
1
2
t
fi
1
4
sin(2t
fi
)) t
fi
) 4b
1
b
2
(
1
2
sin
2
(t
fi
))]
=
m
2
2
[(b
2
1
b
2
2
)(2(
1
4
2 sin(t
fi
) cos(t
fi
))) 4b
1
b
2
(
1
2
sin
2
(t
fi
))]
=
m
2
[(b
2
1
b
2
2
)(sin(t
fi
) cos(t
fi
)) + 2b
1
b
2
sin
2
(t
fi
)] .
Hier haben wir
_
sin
2
t =
1
2
t
1
4
sin(2t) und
_
sin(t) cos(t) =
1
2
sin
2
(t) verwen-
det. Jetzt berechnen wir noch (b
2
1
b
2
2
) und (b
1
b
2
) als Funktion von q
i
und q
f
:
(b
2
1
b
2
2
) =
q
2
i
sin
2
(t
fi
) q
2
f
q
2
i
cos
2
(t
fi
) + 2q
i
q
f
cos(t
fi
)
sin
2
(t
fi
)
=
2q
2
i
sin
2
(t
fi
) (q
2
i
+q
2
f
) + 2q
i
q
f
cos(t
fi
)
sin
2
(t
fi
)
,
b
1
b
2
=
q
i
q
f
q
2
i
cos(t
fi
)
sin(t
fi
)
.
Dies setzen wir in den obigen Ausdruck fr die Wirkung ein und erhalten:
S
cl
(q
i
, q
f
) .
.
= S(q
cl
)
=
m
2
[
2q
2
i
sin
2
(t
fi
) cos(t
fi
) (q
2
i
+q
2
f
) cos(t
fi
) + 2q
i
q
f
cos
2
(t
fi
)
sin(t
fi
)
+
2q
i
q
f
sin
2
(t
fi
) 2q
2
i
sin
2
(t
fi
) cos(t
fi
)
sin(t
fi
)
]
=
m
2 sin(t
fi
)
[(q
2
i
+q
2
f
) cos(t
fi
) 2q
i
q
f
] . (4.10.4)
An diesem Ausdruck fr die klassische Wirkung S
cl
(q
i
, q
f
) knnen wir sehen, da die
obigen berlegungen zunchst nur fr kleine Zeitintervalle t
fi
= t
f
t
i
<

gltig sein
knnen. Die Singularitten von S
cl
(q
i
, q
f
), d.h. die Punkte t
fi
= t
f
t
i
=
m
mit m N,
heien Kaustiken und bedrfen bei Interesse an einer langfristigeren Zeitentwicklung
einer gesonderten Analyse (siehe nchstes Kapitel, oder z.B. Schulman (2005), Kap. 15
- 16).
Wir knnen wieder mit = it zur euklidischen Wirkung bergehen:
sin(t
fi
) = sin(i
fi
) = i sinh(
fi
) ,
cos(t
fi
) = cos(i
fi
) = cosh(
fi
) .
Damit geht
i
S(q
cl
) ber in
1
S
E
(q
cl
) mit:
S
E,cl
(q
i
, q
f
) .
.
= S
E
(q
cl
) =
m
2 sinh(t
fi
)
[(q
2
i
+q
2
f
) cosh(t
fi
) 2q
i
q
f
] . (4.10.5)
Weil die dritte Funktionalableitung von S(q) fr den harmonischen Oszillator ebenso
wie fr das freie Teilchen verschwindet, ist die semiklassische Nherung 4.11.5 in diesem
Fall sogar exakt. Mit q(t) .
.
= q
cl
(t) +r(t) und 4.11.7 gilt also:
U
E
(q
f
,
f
, q
i
,
i
) = e
S
E
(q
cl
)
N
(0,
f
)
_
(0,
i
)
D[r()] e
1
2
f
_
i
d r() S
(2)
E,loc
(q
cl
) r()
= e
S
E
(q
cl
)
N
(0,
f
)
_
(0,
i
)
D[r()] e
m
2
f
_
i
d r() (
d
2
d
2
+
2
) r()
. (4.10.6)
Aus der Konstruktion q(t) .
.
= q
cl
(t) + r(t) sehen wir, da das Pfadintegral ber die
Wege r(r) den klassischen Weg mit r(t) = const. = 0 nicht mehr enhlt (bzw. keine
Nullmode mit = 0 enthlt).
Um die Methode der spektralen Zeta-Funktion anwenden zu knnen, mssen wir von
den Variablen r und zu dimensionslosen Gren r
t
und
t
bergehen:
t
.
.
=

i
f

i
=

i
fi
, r
t
(
t
) .
.
= (
m
fi
)
1
2
r() (4.10.7)
U
E
(q
f
,
f
, q
i
,
i
) = e
S
E
(q
cl
)
N
t

(0,
f
=1)
_
(0,
i
=0)
D[r
t
(
t
)] e
1
2
1
_
0
d
) (
d
2
d
2
+
2
2
fi
) r
)
= e
S
E
(q
cl
)
N
t

(0,
f
=1)
_
(0,
i
=0)
D[r
t
(
t
)] e
1
2
r
[
d
2
d
2
+
2
2
fi
[r
)
. (4.10.8)
Mit

A .
.
= (
d
2
d
2
+
2
2
fi
) und 4.9.12 und 4.9.16 schreibt sich unser euklidisches Pfadin-
tegral als:
U
E
(q
f
,
f
, q
i
,
i
) = e
S
E
(q
cl
)
N
t
(det
t
(

A))
1
2
= e
S
E
(q
cl
)
(
m
(
f

i
)
)
1
2
(det
t
(
d
2
d
t2
+
2
2
fi
))
1
2
. (4.10.9)
Der Hochstrich bei der Determinante bezeichne die Nebenbedingung, da der klassi-
sche Pfad mit r
t
(
t
) = const. = 0 bei der Berechnung in der Determinante nicht mehr
enhalten ist. Da wir fr die mglichen Pfade r
t
(
t
) und damit auch fr den Opera-
tor (
d
2
d
2
+
2
2
fi
) Dirichlet-Randbedingungen (r
t
(0) = r
t
(1) = 0) haben, folgen als
Eigenfunktionen und Eigenwerte dieses Operators
r
t
n
(
t
) = sin(n
t
), und
n
=
2
n
2
+
2
2
fi
. (4.10.10)
Damit ist der Operator (
d
2
d
2
+
2
2
fi
) tatschlich ein elliptischer Operator (auerhalb
der oben erwhnten Kaustiken), auf den die Methode der spektralen Zeta-Funktion
angewandt werden kann.
A
(s) .
.
=

n=1
1
s
n
= (
1
)
s
n=1
1
(n
2
+

2
2
fi
2
)
s
= (
1
)
s
E
(s, q
2
) , (4.10.11)
mit der speziellen Epsteinschen Zeta-Funktion
E
(s, q
2
) .
.
=

n=1
1
(n
2
+q
2
)
s
, und q .
.
=

fi
. (4.10.12)
Diese Epsteinsche Zeta-Funktion ist zunchst einmal nur fr R(s) >
1
2
deniert, kann
aber ebenso wie die Riemannsche Zeta-Funktion analytisch fortgesetzt werden. Wir
verwenden hier die folgende Darstellung dieser Epsteinsche Zeta-Funktion (G.0.6, siehe
auch Elizalde (1995) 1.38 und 4.13), die insb. bei s = 0 analytisch ist und uns daher
die gewnschte Berechnung von
t
A
(0) erlaubt:
E
(s, q
2
) =
q
2s
2
+

1
2
(s
1
2
)
2(s)
q
2s+1
+
2
s
q
s+
1
2
(s)
n=1
n
s
1
2
K
s
1
2
(2nq) ,
(4.10.13)
mit der modizierten Bessel-Funktion der dritten Art K
. Da
E
(s, q
2
) bei s = 0 ana-
lytisch ist, folgt mit lim
s0
(s) = :
E
(0, q
2
) =
1
2
. (4.10.14)
Als nchstes berechnen wir nun
t
A
(s) und daraus dann
t
A
(0).
A
(s) = ln()
s
E
(s, q
2
) +
s
t
E
(s, q
2
) ,
t
E
(s, q
2
) = ln(q) q
2s
+

1
2
t
(s
1
2
)
2(s)
q
2s+1
+

1
2
(s
1
2
)
2
(
1
(s)
)
t
q
2s+1
+

1
2
(s
1
2
)
2(s)
(2 ln(q)) q
2s+1
+ [
2 ln()
s
q
s+
1
2
(s)
+
2
s
(ln(q)) q
s+
1
2
(s)
+ 2
s
q
s+
1
2
(
1
(s)
)
t
]
n=1
n
s
1
2
K
s
1
2
(2nq)
+
2
s
q
s+
1
2
(s)
d
ds
[

n=1
n
s
1
2
K
s
1
2
(2nq)] .
Mit (0) = und (
1
(s)
)
t
s=0
= 1 (C.11.1) folgt:
A
(0) = ln() + ln(q) +
1
2
1
2
(
1
2
) q + 2 q
1
2
n=1
n
1
2
K
1
2
(2nq) .
Fr die modizierte Bessel-Funktion der dritten Art nden wir in Abramowitz u. Stegun
(1970) (10.2.16 und 10.2.17):
K
1
2
(z) = K1
2
(z) = (

2z
)
1
2
e
z
A
(0) = ln() + ln(q) +
1
2
1
2
(
1
2
) q + 2 q
1
2
n=1
n
1
2
(

2 2nq
)
1
2
e
2nq
= ln() + ln(q) +
1
2
1
2
(
1
2
) q +

n=1
e
2nq
n
.
Die Summe im letzten Term knnen wir auf den sinh zurckfhren:
ln(sinh(z)) = ln(
1
2
(e
z
e
z
)) = ln(2) + ln((e
z
e
z
))
= ln(2) +z + ln(1 e
2z
)
= ln(2) +z + (e
2z
1
2
e
4z
1
3
e
6z
. . .)
= ln(2) +z
n=1
e
2nz
n
,
n=1
e
2nq
n
= ln(2) +q ln(sinh(q)) . (4.10.15)
Weiter ist (
1
2
) = (
1
2
)(
1
2
), also (
1
2
) = 2 (
1
2
) = 2
1
2
(C.4.4), und damit folgt
jetzt fr
t
A
(0):
A
(0) = ln() + ln(q) q ln(2) +q ln(sinh(q))
= ln(2
sinh(q)
q
) . (4.10.16)
Damit folgt jetzt schlielich fr unser euklidisches Pfadintegral des Feynman-Propagators
des harmonischen Oszillators
U
E
(q
f
,
f
, q
i
,
i
) = e
S
E
(q
cl
)
N
t
(det
t
(

A))
1
2
= e
S
E
(q
cl
)
N
t
e
1
2
A
(0)
= e
S
E
(q
cl
)
(
m
(
f

i
)
)
1
2
(
(
f

i
)
2 sinh((
f

i
))
)
1
2
= e
S
E
(q
cl
)
(
m
2 sinh((
f

i
))
)
1
2
. (4.10.17)
Zum Schlu wollen wir noch die Zustandssumme des harmonischen Oszillators berech-
nen. Mit 4.6.1 und 4.10.5 und q .
.
= q
i
= q
f
und
fi
=
f

i
= folgt:
Z =
_
dq U
E
(q, , q, 0) = (
m
2 sinh()
)
1
2
_
dq e
S
E
(q
cl
)
= (
m
2 sinh()
)
1
2
_
dq e
2mq
2
2 sinh()
[cosh()1]
= (
m
2 sinh()
)
1
2
(
sinh()
2m(cosh() 1)
)
1
2
=
1
2
(
1
cosh() 1
)
1
2
=
1
2 sinh(
2
)
=
1
e
2
e
2
. (4.10.18)
Damit haben wir das bekannte Ergebnis fr die Zustandssumme der harmonischen
Oszillators erhalten. Eine andere Berechnungsweise dieser Zustandssumme mit Hilfe
der spektralen Zeta-Funktion und der Wrmekern-Entwicklung wird in 6.8 vorgestellt.
4.11 Semiklassische Nherung des Pfadintegrals
Wir betrachten die semiklassische Nherung, d.h. die Nherung 0, am Feynman-
schen Pfadintegral in der Lagrange-Form 4.4.3 fr L(q, q) =
m
2
q(t)
2
V (q(t)). Der
Einfachheit halber whlen wir das Potential hier also nicht explizit zeitabhngig.
U(q
f
, t
f
, q
i
, t
i
) = N
(q
f
,t
f
)
_
(q
i
,t
i
)
D[q(t)] e
i
S(q)
. (4.11.1)
4.11 Semiklassische Nherung des Pfadintegrals 67
Diese berlegungen lassen sich natrlich ebenso auf das euklidische Pfadintegral 4.5.1
und das Pfadintegral der Zustandssumme 4.6.3 bertragen.
Fr 0 stellt e
i
S(q)
einen schnell oszillierenden Term dar und in der Summe werden
sich die meisten dieser schnell oszillierenden Terme gegenseitig auslschen. Den Haupt-
beitrag des Pfadintegrals werden also Terme liefern, fr die sich die Wirkung S(q) nur
wenig verndert, d.h. fr die S(q) extremal wird. Dies ist gerade die Aussage des Satzes
der Stationren Phase Methode (siehe I.4). Die Wirkung S(q) wird extremal gerade ent-
lang des klassischen Pfades und deshalb entwickeln wir S(q) um den klassischen Pfad
q
cl
(t) herum, der ja gegeben ist durch:
S
q
q
cl
(t)
= 0 . (4.11.2)
Mit q(t) .
.
= q
cl
(t) +r(t) folgt
S(q) = S(q
cl
) +
1
2
_
dt
1
dt
2
2
S(q)
q(t
1
)q(t
2
)
q
cl
r(t
1
) r(t
2
) . (4.11.3)
Wenn die Lagrange-Funktion lokal in q ist, wie bei der von uns vornehmlich verwendeten
Funktion L(q, q) =
m
2
q(t)
2
V (q(t)), dann ist mit M.1.18 auch S
(2)
(q) lokal, also:
2
S(q)
q(t
1
)q(t
2
)
q
cl
= S
(2)
loc
(q
cl
) (t
1
t
2
) (4.11.4)
S(q) = S(q
cl
) +
1
2
_
dt r(t) S
(2)
loc
(q
cl
) r(t)
U(q
f
, t
f
, q
i
, t
i
) = N e
i
S(q
cl
)
(0,t
f
)
_
(0,t
i
)
D[r(t)] e
i
2
t
f
_
t
i
dt r(t) S
(2)
loc
(q
cl
) r(t)
. (4.11.5)
Fr unsere obige Lagrange-Funktion folgt mit M.1.20:
U(q
f
, t
f
, q
i
, t
i
) = N e
i
S(q
cl
)
(0,t
f
)
_
(0,t
i
)
D[r(t)] e
i
2
t
f
_
t
i
dt [m(
dr(t)
dt
)
2
d
2
V (q)
dq
2
q
cl
(t)
r(t)
2
]
= N e
i
S(q
cl
)
(0,t
f
)
_
(0,t
i
)
D[r(t)] e
im
2
t
f
_
t
i
dt r(t) [
d
2
dt
2
1
m
V
(q
cl
(t))] r(t)
. (4.11.6)
Wie oben in 4.5.1 folgt mit .
.
= it , R fr das entsprechende euklidische Pfadinte-
gral:
U
E
(q
f
,
f
, q
i
,
i
) = N e
S
E
(q
cl
)
(0,
f
)
_
(0,
i
)
D[r()] e
1
2
f
_
i
d [m(
dr()
d
)
2
+
d
2
V (q)
dq
2
q
cl
()
r()
2
]
= N e
S
E
(q
cl
)
(0,
f
)
_
(0,
i
)
D[r()] e
m
2
f
_
i
d r() [
d
2
d
2
+
1
m
V
(q
cl
())] r()
.
(4.11.7)
Wir erhalten also fr den Feynman-Propagator U(q
f
, t
f
, q
i
, t
i
) von 4.11.5 den Phasen-
faktor der klassischen Wirkung und ein Pfadintegral ber die Fluktuationen des Weges
r(t). Der Hochstrich bei der Determinante bezeichne wie oben wieder die Nebenbedin-
gung, da der klassische Pfad mit r(t) = const. = 0 (bzw. die Nullmode des Operators
S
(2)
loc
(q
cl
)) bei der Berechnung der Determinante nicht mehr enhalten ist. Den Normie-
rungsfaktor N
t
bernehmen wir aus 4.9.18.
U(q
f
, t
f
, q
i
, t
i
) = N e
i
S(q
cl
)
(0,t
f
)
_
(0,t
i
)
D[r(t)] e
im
2
t
f
_
t
i
dt r(t) S
(2)
loc
(q
cl
) r(t)
= e
i
S(q
cl
)
N
t
(det
t
(S
(2)
loc
(q
cl
))
1
2
= e
i
S(q
cl
)
(
m
i(t
f
t
i
)
)
1
2
(det
t
[
d
2
dt
2

1
m
V
tt
(q
cl
(t))])
1
2
. (4.11.8)
Unter der Determinante ist hier das unendliche Produkt aller Eigenvektoren des folgen-
den Sturm-Liouville-Systems mit Dirichlet-Randbedingungen zu verstehen:
(
d
2
dt
2
+W(t) +) r
W+
(t) = 0 , mit W(t) .
.
=
1
m
V
tt
(q
cl
(t)) (4.11.9)
und r
W+
(t
i
) = r
W+
(t
f
) = 0 .
Es ist ein bemerkenswertes und nicht triviales Ergebnis der Sturm-Liouville-Theorie,
da dieses unendliche Produkt von Eigenwerten gleich dem Funktionswert f
W
(t
f
) ist,
wenn f
W
(t) die Lsung des folgenden Anfangswert-Problems ist:
(
d
2
dt
2
+W(t)) f
W
(t) = 0 , mit f
W
(t
i
) = 0 und
df
W
dt
(t
i
) = 1 . (4.11.10)
Vor dem Beweis soll zunchst an einige Resultate der Sturm-Liouville-Theorie erinnert
werden. Wir folgen dabei Hassani (1999), Kapitel 18.
Denition 4.11.1 Der Dierential-Operator L
t
.
.
=
d
2
dt
2
+ W(t) auf dem Raum der
2-mal stetig dierenzierbaren Funktionen C
2
(R) mit den separierten Randbedingungen
1
r(t
i
)+
1
dr
dt
(t
i
) = 0 und
2
r(t
f
)+
2
dr
dt
(t
i
) = 0, die nicht identisch verschwinden mgen
(d.h. nicht [
1
=
1
= 0 oder
2
=
2
= 0]) heit regulres Sturm-Liouvil le-System.
Satz 4.11.2 Ein regulres Sturm-Liouvil le-System hat eine abzhlbar unendliche An-
zahl von rellen Eigenwerten
n
in aufsteigender Gre
1

2
. . . mit einzigem
Hufungspunkt +. Die Eigenfunktionen r
n
(t) bilden ein vollstndiges Orthonormal-
system und besitzen genau n Nullstellen im Denitionsintervall [t
i
, t
f
].
Beweis. siehe Hassani (1999), S. 507 ., oder ausfhrlicher Hellwig (1964), S. 111 .2
Satz 4.11.3 Fr die Eigenwerte
n
und Eigenfunktionen r
n
(t) fr groes n ergibt sich
das folgende asymptotische Verhalten:
n
= n

t
f
t
i
+O(
1
n
) und r
n
(t) =
_
2
t
f
t
i
cos
n(tt
i
)
t
f
t
i
+O(
1
n
) .
Beweis. siehe Hassani (1999), Satz 18.3.1. 2
Nun zur Berechnung der Determinante aus 4.11.8. Unter den zahlreichen Beweisen in
der Literatur erscheint besonders schn der funktionstheoretische Beweis von Sidney
Coleman (Coleman (1988), The Uses of Instantons, Appendix 1, S. 340, siehe auch
Schulman (2005), S. 95-96):
Satz 4.11.4 (Coleman) Seien zwei Sturm-Liouvil le-Systeme 4.11.9 mit W
(1)
(t) und
W
(2)
(t) gegeben, sowie die beiden entsprechenden Anfangswert-Probleme 4.11.10. Dann
gilt:
det(
d
2
dt
2
+W
(1)
(t) +)
det(
d
2
dt
2
+W
(2)
(t) +)
=
f
W
(1)
+
(t
f
)
f
W
(2)
+
(t
f
)
. (4.11.11)
Beweis. Jede Lsung f
W+
(t) des Anfangswert-Problems 4.11.10, die bei t
f
eine Null-
stelle hat, ist auch eine Lsung des Sturm-Liouville-Systems 4.11.9 zum Eigenwert .
Sei umgekehrt r
W+
(t) eine Lsung des Sturm-Liouville-Systems mit beliebiger An-
fangssteigungsteigung b .
.
=
dr
W+
dt
(t
i
) ,= 0, dann ist nach Voraussetzung r
W+
(t
i
) =
r
W+
(t
f
) = 0, und es gilt auch r
W+
(t) .
.
=
1
b
r
W+
(t) mit
d r
W+
dt
(t
i
) = 1 und r
W+
(t
i
) =
r
W+
(t
f
) = 0. Also sind die Lsungen r
W+
(t) des Sturm-Liouville-Systems 4.11.9 auch
Lsungen des Anfangswert-Problems 4.11.10 zum Eigenwert . Seien jetzt
g
L
() .
.
=
det(
d
2
dt
2
+W
(1)
(t) +)
det(
d
2
dt
2
+W
(2)
(t) +)
und
g
R
() .
.
=
f
W
(1)
+
(t
f
)
f
W
(2)
+
(t
f
)
.
Dann kann man g
L
() und g
R
() als komplexe meromorphe Funktionen betrachten.
Die beiden Funktionen g
L
() und g
R
() haben an den Stellen der Eigenwerte
(1)
n
des
Sturm-Liouville-Systems mit W
(1)
gemeinsam einfache Nullstellen und an den Stellen
der Eigenwerte
(2)
n
des Sturm-Liouville-Systems W
(2)
gemeinsam einfache Pole. Wegen
des oben zitierten asymptotischen Verhaltens der Eigenwerte
n
und Eigenfunktionen
r
n
(t) des Sturm-Liouville-Systems fr groe n, welches von W
(1)
und W
(2)
unabhngig
ist, gilt lim
[[
g
L
() = lim
[[
g
R
() = 1 (fr / R
+
, um die Pole zu vermeiden).
Also folgt g
L
() = g
R
(). 2
Diesen Beweis kann man unschwer auf ein n-dimensionales Sturm-Liouville-System
verallgemeinern, wenn sich dieses diagonalisieren lt. Da S
(2)
loc
(q
cl
) und damit auch
2
V
q
k
q
l
(q)
q
cl
(t)
symmetrische Matrizen sind, ist das folgende Sturm-Liouville-System mit
Dirichlet-Randbedingungen diagonalisierbar:
(
d
2
dt
2
1 +

W(t) +
1) r

W+
1
(t) = 0 , mit

W
kl
(t) .
.
=
1
m
2
V
q
k
q
l
(q)
q
cl
(t)
(4.11.12)
und r

W+
1
(t
i
) = r

W+
1
(t
f
) = 0 .
Ebenso ist das entsprechende Anfangswert-Problem diagonalisierbar:
(
d
2
dt
2
1 +

W(t))

f

W
(t) = 0 , mit

f

W
(t
i
) = 0 und
d
f

W
dt
(t
i
) =
1 . (4.11.13)
Satz 4.11.5 Seien zwei n-dimensionale Sturm-Liouvil le-Systeme 4.11.12 mit symme-
trischen Matrizen

W
(1)
(t) und

W
(2)
(t) gegeben, sowie die beiden entsprechenden An-
fangswert-Probleme 4.11.13 mit n linear unabhngen Lsungen
f
i
W
(1)
+
1
[ i = 1 . . . n.
Dann gilt:
det(
d
2
dt
2
1 +

W
(1)
(t) +
1)
det(
d
2
dt
2
1 +

W
(2)
(t) +
1)
=
det(
f
i
W
(1)
+
1
(t
f
))
det(
f
i
W
(2)
+
1
(t
f
))
. (4.11.14)
Beweis. Zunchst sieht man, da 4.11.14 als Funktion von Determinanten unabhn-
gig von einer Koordinatentransformation ist, also knnen die symmetrischen Matrizen
W
(1)
(t) und

W
(2)
(t) als diagonal angenommen werden. Damit entkoppeln die Die-
rentialgleichungen des Sturm-Liouville-System und des Anfangswert-Problem und es
gilt
g
L
() .
.
=
det(
d
2
dt
2
1 +

W
(1)
(t) +
1)
det(
d
2
dt
2
1 +

W
(2)
(t) +
1)
=
n
i=1
det(
d
2
dt
2
+

W
(1)
ii
(t) +)
det(
d
2
dt
2
+

W
(2)
ii
(t) +)
und
g
R
() .
.
=
n
i=1
f
i
i,

W
(1)
+
(t
f
)
f
i
i,

W
(2)
+
(t
f
)
=
det(
f
i
W
(1)
+
1
(t
f
))
det(
f
i
W
(2)
+
1
(t
f
))
,
und mit dem Satz von Coleman folgt wieder g
L
() = g
R
(). 2
Wir betrachten zunchst wieder den 1-dimensionalen Fall. Mit dem Ergebnis des Sat-
zes von Coleman kann die Determinante det
t
[
d
2
dt
2

1
m
V
tt
(q
cl
(t))] aus dem Feynman-
Propagator 4.11.8 in eine Funktion der Wirkung S(q
cl
) auf dem klassischen Weg
q
cl
(q
f
, t
f
, q
i
, t
i
) umgeformt werden. Seien W
(1)
(t) .
.
= W(t) .
.
=
1
m
V
tt
(q
cl
(t)) und W
(2)
(t) =
0. Dann folgt mit det
t
(
d
2
dt
2
) = 2 (siehe 4.9.15) und 4.11.11 an der Stelle = 0:
det
t
(
d
2
dt
2
W(t)) = det
t
(
d
2
dt
2
)
f
W
(t
f
)
f
0
(t
f
)
= 2
f
W
(t
f
)
f
0
(t
f
)
.
Die Funktion f
0
(t) als Lsung des Anfangswert-Problems
d
2
f
0
(t)
dt
2
= 0 mit f
0
(t
i
) = 0 und
df
dt
(t
i
) = 1 ist einfach f
0
(t) = t t
i
und damit folgt fr die obige Determinante
det
t
(
d
2
dt
2
W(t)) =
2
(t
f
t
i
)
f
W
(t
f
) , (4.11.15)
wobei f
W
(t) eine Lsung des Anfangswert-Problems 4.11.10 ist.
Nun zeigt sich, da das Jacobi-Feld J(p, t) der klassischen Mechanik im Wesentlichen
eine Lsung des gleichen Anfangswert-Problems wie f
W
(t) darstellt. Dazu betrach-
tet man das Anfangswert-Problem von klassischen Bahnen q
cl
(p, t) mit q
cl
(p, t
i
) = q
i
und beliebigem Anfangsimpuls p
i
.
.
=
L
q
q
i
. Das Jacobi-Feld beschreibt, wie sich zwei
Bahnen entwickeln, die zum gleichen Zeitpunkt t
i
vom gleichen Anfangspunkt q
i
mit
benachbarten Impulsen p und p + starten:
J(p, t) .
.
=
q(p, t)
p
, d.h. q(p +, t) = q(p, t) +J(p, t) +O(
2
) . (4.11.16)
Die beiden Bahnen q(p +, t) und q(p, t) sollen die Langrange-Gleichung erfllen:
d
dt
L
q

L
q
= 0 . (4.11.17)
Um zu sehen, wie sich die Bahnen mit benachbarten Anfangsimpulsen entwickeln, dif-
ferenzieren wir die Lagrange-Gleichung nach p und erhalten:
d
dt
(
2
L
q
2
q
p
+

2
L
qq
q
p
) (

2
L
q q
q
p
+

2
L
q
2
q
p
) = 0
d
dt
(
2
L
q
2

J) +
d
dt
(

2
L
qq
J) (

2
L
qq
J +

2
L
q
2
J) = 0
d
dt
(
2
L
q
2

J) + (
d
dt
2
L
qq

2
L
q
2
)J = 0 . (4.11.18)
Dies ist die Jacobi-Gleichung fr das Jacobi-Feld J(p, t) mit den Anfangsbedingungen
J(p, 0) =
q
i
p
= 0 und

J(p, 0) =
q(p, 0, )
p
. (4.11.19)
Fr die Lagrange-Funktion L .
.
=
m q
2
2
V (q) lautet die Jacobi-Gleichung:
m

J(p, t) +V
tt
(q(t))J(p, t) = 0 mit J(p, 0) = 0,

J(p, 0) =
1
m
,
bzw. mit dem normierten Jacobi-Feld J
N
(p, t) .
.
= mJ(p, t)
J
N
(p, t) +
1
m
V
tt
(q(t)) J
N
(p, t) = 0 mit J
N
(p, 0) = 0,

J
N
(p, 0) = 1 . (4.11.20)
Dies ist die gleiche Dierentialgleichung, die wir oben in 4.11.10 fr die Funktion
f
W
(t) mit W(t) =
1
m
V
tt
(q(t)) gefunden hatten. Damit knnen wir mit 4.11.15 fr den
Feynman-Propagator 4.11.8 jetzt schreiben:
U(q
f
, t
f
, q
i
, t
i
) = e
i
S(q
cl
)
(
m
i(t
f
t
i
)
)
1
2
(det
t
[
d
2
dt
2

1
m
V
tt
(q
cl
(t), t)])
1
2
= e
i
S(q
cl
)
(
m
i(t
f
t
i
)
)
1
2
(
2
(t
f
t
i
)
f
W
(t
f
))
1
2
= e
i
S(q
cl
)
(
m
2i
)
1
2
(J
N
(p, t
f
))
1
2
= e
i
S(q
cl
)
(
1
2i
)
1
2
(J(p, t
f
))
1
2
.
(4.11.21)
blicherweise fhrt man das Jacobi-Feld J(p, t
f
) noch auf eine zweifache Ableitung der
Wirkung S einer extremalen Bahn (d.h. Lsung der Lagrange-Gleichung) mit Energie-
erhaltung zurck. Dazu betrachtet man S(q
f
, t
f
, q
i
, t
i
) einer extremalen Bahn als eine
Funktion von Anfangspunkt q
i
= q(t
i
) und Endpunkt q
f
= q(t
f
), also
S(q
f
, t
f
, q
i
, t
i
) =
t
f
_
t
i
L(q(t), q(t)) dt =
t
f
_
t
i
(p(t) q(t) H(p(t), q(t)) dt
=
q
f
_
q
i
p(t) dq E(t
f
t
i
) . (4.11.22)
Daraus folgt
S(q
f
,t
f
,q
i
,t
i
)
q
i
= p(t
i
) und damit ergibt sich
J(p, t
f
) =
q
f
p(t
i
)
= (
p(t
i
)
q
f
)
1
= (
2
S(q
f
, t
f
, q
i
, t
i
)
q
f
q
i
)
1
. (4.11.23)
Damit folgt fr den Feynman-Propagator 4.11.21
U(q
f
, t
f
, q
i
, t
i
) = e
i
S(q
cl
)
(
1
2i
)
1
2
(
2
S(q
f
, t
f
, q
i
, t
i
)
q
f
q
i
)
1
2
. (4.11.24)
Die Verallgemeinerung auf den n-dimensionalen Fall erfolgt unproblematisch mittels der
n-dimensionalen Version des Satzes von Coleman. Im folgenden bezeichne q
k
und q
l
die
k-te, bzw. l-te Komponente von q und q
f,k
= q
k
(t
f
) und q
i,l
= q
l
(t
i
) die k-te Komponente
von q
f
= q(t
f
), bzw. die l-te Komponente von q
i
= q(t
i
), sowie

J
k,l
( p, t
f
) .
.
=
q
k
( p,t)
p
l
die
Jacobi-Matrix.
U( q
f
, t
f
, q
i
, t
i
) = e
i
S( q
cl
)
(
m
i(t
f
t
i
)
)
n
2
(det
t
[
d
2
dt
2
1
1
m
2
V
q
k
q
l
(q, t)
q
cl
(t)
])
1
2
= e
i
S( q
cl
)
(
1
2i
)
n
2
(det(

J( p, t
f
)))
1
2
(4.11.25)
4.12 Der Morse-Index 73
= e
i
S( q
cl
)
(
1
2i
)
n
2
(det(
2
S( q
f
, t
f
, q
i
, t
i
)
q
f,k
q
i,l
))
1
2
. (4.11.26)
Wenn es mehrere extremale Pfade q
(t) zwischen q
i
und q
f
gibt, dann ist U(q
f
, t
f
, q
i
, t
i
)
die Summe ber alle diese einzelnen Pfadbeitrge, also:
U( q
f
, t
f
, q
i
, t
i
) =

e
i
( q
cl
)
(
1
2i
)
n
2
(det(
2
S
( q
f
, t
f
, q
i
, t
i
)
q
f,k
q
i,l
))
1
2
. (4.11.27)
Die Determinante in dieser semiklassischen Nherung des Feynman-Propagators
U(q
f
, t
f
, q
i
, t
i
) heit in der Literatur Van Vleck-Pauli-Morette Determinante. Steiner
betrachtet in Grosche u. Steiner (1998) (S. 13-18) ausfhrlich die Historie dieser se-
miklassischen Nherung und schlgt aufgrund seiner Untersuchung die Namensgebung
Pauli-Gleichung mit Morette-Van Hove Determinante vor (S. 148).
Die Gleichungen 4.11.25 und 4.11.26 gelten zunchst natrlich nur, solange das Jacobi-
Feld J(p, t) in 4.11.21, bzw. die Jacobi-Determinante det(

J( p, t
f
)) in 4.11.25 nicht Null
werden. Die Nullstellen des Jacobi-Feldes, bzw. der Jacobi-Determinante heien konju-
gierte Punkte, oder fokale Punkte, oder Kaustiken. Ein konjugierter Punkt q(t
f
) heit
auch fokaler Punkt, da zum Zeitpunkt t
i
in q(t
i
) eine ganze Schar von Bahnen mit
benachbarten Impulsen p+ gestartet sind, die sich wegen q(p+, t) = q(p, t) +J(p, t)
zum Zeitpunkt t
f
an einer Stelle mit J(p, t
f
) = 0 alle wieder in q(p, t
f
) vereinigen.
Die Singularitt des Feynman-Propagators U(q
f
, t
f
, q
i
, t
i
) in 4.11.25 aufgrund der Kau-
stiken ist keine wirkliche physikalische Singularitt, sondern eine Singularitt des ver-
wendeten Koordinatensystems, hier also der Ortsdarstellung. Whrend eine klassische
Bewegung im Phasenraum durch die Koordinaten (q, p) eindeutig und frei von Koordi-
naten-Singularitten beschrieben werden kann, wird im Ortsraum an q-Umkehrpunkten
J(p, t) =
q(p,t)
p
= 0.
Die Fortsetzung des Feynman-Propagators U(q
f
, t
f
, q
i
, t
i
) ber die Kaustiken hinweg
soll im nchsten Abschnitt kurz diskutiert werden.
4.12 Der Morse-Index
Zunchst soll gezeigt werden, da die semiklassische Nherung des Feynman-Propa-
gators U(q
f
, t
f
, q
i
, t
i
) 4.11.25 zumindest fr kurze Zeiten t
f
t
i
gltig ist (sofern das
Potential in der Nhe von q(t
i
) nicht singulr ist), da in einem kurzen Zeitintervall nach
t
i
das Jacobi-Feld J(p, t
f
), bzw. die Jacobi-Determinante det(

J( p, t
f
)), grer als Null
sind.
Die Extremalbahn q(t) = q
cl
(t) als Lsungen der Lagrange-Gleichung ist im allgemei-
nen keine Minimalbahn, sondern tatschlich nur eine Extremalbahn, die auch durch
Sattelpunkte und Maxima verlaufen kann kann. Wir betrachten als Beispiel wieder
die 1-dimensionale Lagrange-Funktion L .
.
=
m q
2
2
V (q). In einem kleinen Zeitintervall
[t
i
, t
f
] kann das Teilchen auch nur einen kleinen Weg von q
i
nach q
f
zurcklegen, so
da auch [q
i
, q
f
] klein ist. Wir setzen ein nichtsingulres Potential V (q) voraus, das wir
fr q [q
i
, q
f
] linearisieren knnen: V (q) = V
0
+ (q q
i
)V
1
. Das zugeordnete Sturm-
Liouville-System 4.11.9 lautet dann:
(
d
2
dt
2
+
1
m
V
tt
(q
cl
(t)) +) r 1
m
V
+
(t) = (
d
2
dt
2
+) r
(t) = 0 , (4.12.1)
mit r
(t
i
) = r
(t
f
) = 0 .
Wie man unschwer sieht, ist die Lsung dieses Randwert-Systems gegeben durch:
n
= (
n
t
f
t
i
)
2
mit n N, und r
(t) = sin(
n(t t
i
)
t
f
t
i
) . (4.12.2)
Da alle
n
> 0 sind, ist auch
det
t
(S
(2)
loc
(q
cl
) = det
t
[
d
2
dt
2

1
m
V
tt
(q
cl
(t))] =

n=1
n
> 0 ,
also ist die Extremalbahn q(t) fr kleine Zeiten tatschlich eine Minimalbahn. Der klein-
ste Eigenwert
1
= (

t
f
t
i
)
2
geht aber mit anwachsendemt
f
wegen
1
(t
f
)
1
(t
f
t
i
)
2
gegen
Null. Unter Bercksichtigung des Potentials wird also im allgemeinen mit wachsendem
t
f
ein solches t
f
existieren, fr welches
1
(t
f
) = 0 ist. Damit ist auch das Jacobi-Feld
J(p, t
f
) = 0 und q(t
f
) ist ein konjugierter Punkt zu q(t
i
). Wenn
1
(t) an der Nullstelle
bei t
f
einen Nulldurchgang hat, d.h. wenn
1
(t) < 0 fr t > t
f
, dann hat J(p, t
f
) an
dieser Stelle einen Vorzeichenwechsel und der Feynman-Propagator U(q
f
, t
f
, q
i
, t
i
) aus
4.11.21 erhlt einen zustzlichen Faktor (1)
1
2
= i
1
= e
i
2
.
Der Morse-Index fr die Extremalbahn zwischen q(t
i
) und q(t
f
) kann jetzt im 1-
dimensionalen Fall deniert werden als die Anzahl der Vorzeichenwechsel des Jacobi-
Feld J(p, t) im Intervall [t
i
, t
f
] und im n-dimensionalen Fall als die Anzahl der negati-
ven Eigenwerte von

J( p, t
f
). Damit schreibt sich die semiklassische Nherung fr den
Feynman-Propagator 4.11.25 als:
U( q
f
, t
f
, q
i
, t
i
) = e
i
S( q
cl
)
(
1
2i
)
n
2
[ det(

J( p, t
f
))[
1
2
e
2
= e
i
S( q
cl
)
(
1
2i
)
n
2
[ det(
2
S( q
f
, t
f
, q
i
, t
i
)
q
f,k
q
i,l
)[
1
2
e
2
. (4.12.3)
Diese Form des semiklassischen Feynman-Propagators hat Gutzwiller zu Beginn der
1970er Jahre als Ausgangspunkt fr die Entwicklung seiner berhmten Spurformel
genommen, welche die semiklassische quantenmechanische Behandlung von Systemen
erlaubt, die auf klassischer Ebene nicht-integrabel sind und chaotisches Verhalten zeigen
(siehe Kapitel 8.12).
Die Frage, wie der Morse-Index als die Anzahl der negativen Eigenwerte von

J( p, t
f
)
im n-dimensionalen Fall mit der Anzahl der konjugierten Punkte auf der Extremalbahn
zwischen q(t
i
) und q(t
f
) zusammenhngt, beantwortet das Morse-Index-Theorem.
4.13 Feynman-Propagator und Fouriertransformation I 75
Satz 4.12.1 (Morse Index Theorem) Die zu q(t
i
) konjugierten Punkte auf der Ex-
tremalbahn (Geodten) von q(t
i
) nach q(t
f
) seien isolierte konjugierte Punkte. Dann
gibt es auf dieser Extremalbahn nur endlich viele konjugierte Punkte.
Der Index der Jacobi-Matrix

J( p, t
f
), d.h. die Anzahl der negativen Eigenwerte von
J( p, t
f
), ist gleich der Summe der Multiplizitten der zu q(t
i
) konjugierten Punkte auf
der Extremalbahn (Geodten) von q(t
i
) nach q(t
f
). Dabei ist die Multiplizitt eines zu
q(t
i
) konjugierten Punktes q(t) gleich der Dimension des Nul lraums von

J( p, t) (der
Anzahl der Eigenvektoren von

J( p, t), die bei q(t) Nul l werden). Dieser Index heit
Morse-Index und ist eine endliche natrliche Zahl.
Beweis. Die klassische Referenz ist Milnor (1963), S. 83 ., moderner ist Jost (1995),
S. 145 ., und fr Physiker vielleicht leichter lesbar ist Postnikov (2003), S.144 . 2
4.13 Feynman-Propagator und Fouriertransformation I
Die Pfadintegrale 4.6.3 fr die Zustandsdichte, sowie 4.11.6 und 4.11.7 fr die semi-
klassische Nherung des Feynman-Propagators haben periodische Randbedingungen
(q(0) = q(), bzw. r(t
i
) = r(t
f
) und r(
i
) = r(
f
)). Damit bietet sich die Mglichkeit
einer Fouriertransformation des Pfadintegrals an.
Wir betrachten hier zunchst eine diskrete Fouriertransformation der diskretisierten
Zustandssumme 4.6.2 mit der Unterteilung des Integrations-Intervalles in M gleiche
Teile der Lnge .
.
= /M:
Z
M
= (
m
2
)
M/2
_
q()=q(0)
dq
0
_
(
M1
k=1
dq
k
)
M
k=1
e
[
m
2
(
q
k
q
k1
)
2
+V (q
k
)]
. (4.13.1)
Da q
k
= q
k+M
ist, stellen wir die q
k
als endliche Fourierreihe dar:
q
k
.
.
= q(
k
) .
.
=
1
M
M1
n=0
a
n
e
i
n
k
,
n
.
.
=
2
n,
k
.
.
=

M
k . (4.13.2)
Die Frequenzen
n
heien Matsubara-Frequenzen. Die Nullmode a
0
/
M ist gerade der

Mittelwert q) von q(), denn:
q) .
.
=
1
_
0
d q() =
1
_
0
d (
M1
n=0
a
n
e
i
n
) =
1
M
M1
n=0
a
n
_
0
d e
i
n
=
1
M
[a
0
+
M1
n=1
a
n
1
i
n
(e
i
n
1)] =
a
0
M
. (4.13.3)
Die Menge der q
k
mit k 0, . . . , M 1 besteht aus M reellen Zahlen, die Menge
der a
n
aus M komplexen Zahlen a
n
mit n 0, . . . , M 1. Also mssen wir M
reelle Nebenbedingungen an die a
n
bercksichtigen, so da die q
k
reell bleiben. Hier
unterscheiden wir die beiden Flle: M eine ungerade oder M eine gerade Zahl.
Sei also zunchst M ungerade, dann folgt:
q
k
=
1
M
M1
n=0
a
n
e
i
n
k
=
1
M
M1
n=0
a
n
e
i2
k
M
n
=
1
M
[a
0
+
(M1)/2
n=1
(a
n
e
i2
k
M
n
+a
Mn
e
i2
k
M
(Mn)
)]
=
1
M
[a
0
+
(M1)/2
n=1
(a
n
e
i2
k
M
n
+a
Mn
e
i2
k
M
n
)] .
Die M reellen Nebenbedingungen an die a
n
sind: a
0
R und die (M1)/2 komplexen
Nebenbedingungen a
Mn
= a
n
fr n 1, . . . , (M 1)/2, also:
q
k
=
1
M
[a
0
+
(M1)/2
n=1
(a
n
e
i2
k
M
n
+a
n
e
i2
k
M
n
)] , M ungerade . (4.13.4)
Sei nun M gerade, dann folgt:
q
k
=
1
M
M1
n=0
a
n
e
i
n
k
=
1
M
M1
n=0
a
n
e
i2
k
M
n
=
1
M
[a
0
+
M/21
n=1
(a
n
e
i2
k
M
n
+a
Mn
e
i2
k
M
(Mn)
) +a
M/2
e
ik
]
=
1
M
[a
0
+
M/21
n=1
(a
n
e
i2
k
M
n
+a
Mn
e
i2
k
M
n
) + (1)
k
a
M/2
] .
Die M reellen Nebenbedingungen an die a
n
sind: a
0
, a
M/2
R und die M/2 1 kom-
plexen Nebenbedingungen a
Mn
= a
n
fr n 1, . . . , M/2 1, also:
q
k
=
1
M
[a
0
+
M/21
n=1
(a
n
e
i2
k
M
n
+a
n
e
i2
k
M
n
) + (1)
k
a
M/2
] , M gerade .
(4.13.5)
Im Folgenden machen wir Gebrauch von der Orthogonalittsrelation der Basisfunktio-
nen der diskreten Fouriertransformation:
1
M
M1
k=0
e
i(
n
1
n
2
)
k
=
n
1
,n
2
, (4.13.6)
denn
1
M
M1
k=0
e
i(
n
1
n
2
)
k
=
1
M
M1
k=0
e
i2
n
1
n
2
M
k
=
_
_
1 fr n
1
= n
2
,
1e
i2(n
1
n
2
)
M (1e
i2
n
1
n
2
M )
= 0 fr n
1
,= n
2
.
Aus dieser Orthogonalittsrealtion folgt auch unmittelbar, da die Transformation von
den q
k
zu den a
n
eine unitre Transformation ist, da also die Funktionaldeterminante
[ det(
q
a
)[ = 1 ist, denn:
(
q
a
)
k,n
.
.
=
q
k
a
n
=
1
M
e
i2
k
M
n
,
M1
n=0
(
q
a
)
k,n
((
q
a
)
n,k
)
=
M1
n=0
(
q
a
)
k,n
(
q
a
)
,n
=
1
M
M1
n=0
e
i2
kk
M
n
=
k,k

det(
q
a
) det(
q
a
)
= 1 [ det(
q
a
)[ = 1 . (4.13.7)
Damit knnen wir das Integral ber die dq
k
jetzt als ein Integral ber die da
n
schreiben:
_
q()=q(0)
dq
0
_
(
M1
k=1
dq
k
) =
_
_
_
_
da
0
_
(
(M1)/2
n=1
da
n
da
n
) , M ungerade ,
_
da
0
_
(
M/21
n=1
da
n
da
n
)
_
da
M/2
, M gerade .
(4.13.8)
Um die Betrachtung hier weiter zu vereinfachen, whlen wir wieder das Beispiel des
freien Teilchens, also V (q) = 0. Der Integrand der Zustandsdichte 4.13.1 ist also einfach:
M
k=1
e
m
2
(
q
k
q
k1
)
2
=
M1
k=0
e
m
2
(
q
k
q
k1
)
2
= e
1
2
mM
M1
k=0
(q
k
q
k1
)
2
.
Fr die Berechnung von (q
k
q
k1
)
2
machen wir wieder die Fallunterscheidung: M eine
ungerade oder M eine gerade Zahl.
1. Sei wieder zunchst M ungerade, dann folgt mittels der Orthogonalittsrelation 4.13.6
(dabei sei cc jeweils das konjugiert Komplexe des voranstehenden Ausdrucks):
q
k
q
k1
=
1
M
(M1)/2
n=1
[a
n
e
i2
k
M
n
(1 e
i2
1
M
n
) +cc] .
M1
k=0
(q
k
q
k1
)
2
=
M1
k=0
(q
k
q
k1
)(q
k
q
k1
)

=
1
M
M1
k=0
(M1)/2
n
1
,n
2
=1
[a
n
1
a
n
2
e
i2
k
M
(n
1
n
2
)
(1 e
i2
1
M
n
1
)(1 e
+i2
1
M
n
2
)
+a
n
1
a
n
2
e
i2
k
M
(n
1
+n
2
)
(1 e
i2
1
M
n
1
)(1 e
i2
1
M
n
2
)] +cc
=
1
M
(M1)/2
n
1
,n
2
=1
[a
n
1
a
n
2

n
1
,n
2
(1 e
i2
1
M
n
1
)(1 e
+i2
1
M
n
2
)
+a
n
1
a
n
2

n
1
,n
2
(1 e
i2
1
M
n
1
)(1 e
i2
1
M
n
2
)] +cc .
Der zweite Term fllt weg, da n
1
, n
2
> 0
n
1
,n
2
= 0 .
M1
k=0
(q
k
q
k1
)
2
=
(M1)/2
n=1
[a
n
a
n
[1 e
i2
n
M
[
2
] +cc
= 2
(M1)/2
n=1
a
n
a
n
[1 e
i2
n
M
[
2
=
2
M
(M1)/2
n=1
a
n
a
n
(2 2 cos
2n
M
)
= 2
(M1)/2
n=1
2a
n
a
n
(1 (cos
2
n
M
sin
2
n
M
))
= 2
(M1)/2
n=1
4a
n
a
n
sin
2
n
M
.
Damit folgt fr die diskretisierte Zustandssumme 4.13.1 des freienTeilchens (fr M
ungerade):
Z
M
= (
mM
2
2
)
M/2
_
da
0
_
(
(M1)/2
n=1
da
n
da
n
) e
1
2
mM
M1
k=0
(q
k
q
k1
)
2
= (
mM
2
2
)
M/2
_
da
0
_
(
(M1)/2
n=1
da
n
da
n
) e
mM
(M1)/2
n=1
4a
n
a
n
sin
2 n
M
.
Mit Hilfe von 4.7.7 knnen wir die
_
da
n
da
n
Integrationen durchfhren und erhalten:
Z
M
= (
mM
2
2
)
M/2
_
da
0
_
_
2
mM
_
_
(M1)/2
1
(M1)/2
n=1
4 sin
2 n
M
= (
m
2
2
)
1/2
M
_
da
0
1
(M1)/2
n=1
4 sin
2 n
M
.
Nun ist auch sin
n
M
periodisch:
sin
(M n)
M
= sin(
n
M
) = sin cos
n
M
cos sin
n
M
= sin
n
M
.
Hiermit und mit Hilfe einer Produktformel der sin-Funktion (siehe etwa C.9.3) folgt:
(M1)/2
n=1
4 sin
2
n
M
=
(M1)/2
n=1
(2 sin
n
M
) (2 sin
(M n)
M
) =
M1
n=1
2 sin
n
M
= M .
(4.13.9)
Damit ergibt sich die diskretisierte Zustandssumme Z
M
fr M ungerade also zu:
Z
M
= (
m
2
2
)
1/2
M
M
_
da
0
= (
m
2
2
)
1/2
_
dq) =
a
, (4.13.10)
.
.
=
2
2
mkT
ist die sog. thermische Wellenlnge, (4.13.11)
wobei wir das Teilchen wieder in einen (eindimensionalen) Kasten der Lnge a =
_
dq)
eingesperrt haben - siehe 4.9.8 und 4.9.9.
2. Sei jetzt M gerade, dann folgt wie oben:
q
k
q
k1
=
1
M
M/21
n=1
[a
n
e
i2
k
M
n
(1 e
i2
1
M
n
) +cc] + 2(1)
k
a
M/2
.
M1
k=0
(q
k
q
k1
)
2
=
M1
k=0
(q
k
q
k1
)(q
k
q
k1
)
= 2
(M1)/2
n=1
4a
n
a
n
sin
2
n
M
+ 4a
2
M/2
.
Damit folgt fr die diskretisierte Zustandssumme 4.13.1 des freienTeilchens (fr M
gerade):
Z
M
= (
mM
2
2
)
M/2
_
da
0
_
(
M/21
n=1
da
n
da
n
)
_
da
M/2
e
1
2
mM
M1
k=0
(q
k
q
k1
)
2
= (
mM
2
2
)
M/2
_
da
0
_
(
M/21
n=1
da
n
da
n
)
_
da
M/2
e
mM
M/21
n=1
4a
n
a
n
sin
2 n
M

1
2
mM
4a
2
M/2
.
Mit Hilfe von 4.7.7 und 4.7.2 knnen wir die
_
da
n
da
n
_
da
M/2
Integrationen durchfhren
und erhalten:
Z
M
= (
mM
2
2
)
M/2
_
da
0
_
_
2
mM
_
_
M/21
1
M/21
n=1
4 sin
2 n
M
_
_
2
mM
_
_
1/2
1
2
= (
m
2
2
)
1/2
M
_
da
0
1
2
M/21
n=1
4 sin
2 n
M
.
hnlich wie in 4.13.9 erhalten wir:
2
M/21
n=1
4 sin
2
n
M
= 2 sin
M/2
M
M/21
n=1
(2 sin
n
M
) (2 sin
(M n)
M
)
=
M1
n=1
2 sin
n
M
= M . (4.13.12)
Damit ergibt sich fr M gerade die diskretisierte Zustandssumme Z
M
also genau wie
oben fr M ungerade zu:
Z
M
= (
m
2
2
)
1/2
M
M
_
da
0
= (
m
2
2
)
1/2
_
dq) =
a
, (4.13.13)
3. Die diskrete Fouriertransformation der Zustandssumme fr ein freies Teilchen fhrt
also wieder zu dem schon aus 4.9.8 und 4.9.9 bekannten Wert:
Z = lim
M
Z
M
=
a
, a .
.
= Kastenlnge, .
.
= thermische Wellenlnge (4.13.11).
(4.13.14)
4.14 Feynman-Propagator und Fouriertransformation II
Fr das diskretisierte fouriertransformierte Pfadintegral hatten wir in 4.13.4 und 4.13.8
(bei M ungerade) gefunden:
q
k
=
1
M
[a
0
+
(M1)/2
n=1
(a
n
e
i2
k
M
n
+a
n
e
i2
k
M
n
)] ,
N
M

_
q()=q(0)
D
M
[q()] .
.
= (
mM
2
2
)
M/2
_
q()=q(0)
dq
0
_
(
M1
k=1
dq
k
)
= (
mM
2
2
)
M/2
_
da
0
_
(
(M1)/2
n=1
da
n
da
n
) .
Dies legt nun eine alternative Denition des Pfadintegrals nahe (cc bezeichne wieder
das konjugiert Komplexe des verangegangenen Terms):
q(t) .
.
= q
0
+r(t) .
.
= q
0
+

n=1
(a
n
e
i
n
+cc) ,
n
.
.
=
2
n, a
n
= a
n
. (4.14.1)
4.14 Feynman-Propagator und Fouriertransformation II 81
lim
M
N
M

_
q()=q(0)
D
M
[q()] .
.
=
_
1
dq
0
_
(

n=1
n
da
n
da
n
) . (4.14.2)
Wir summieren also ber alle Matsubara-Frequenzen. Das bedeutet, da wir alle (pe-
riodischen) Pfade ber einer kontinuierlichen Zeitvariablen betrachten und nicht wie
im ursprnglichen Pfadintegral nur stckweise lineare Pfade ber einer diskreten Zeit-
variablen
k
. Hierbei men wir natrlich das Integrationsma
n
/ auf der rechten
Seite geeignet bestimmen. Da die Zustandssumme fr das freie Teilchen Z = a/ ist
(4.13.14), haben wir die thermische Wellenlnge im Integrationsma separat aufge-
fhrt. Um das Integrationsma zu nden, betrachten wir also wieder den einfachen Fall
des freien Teilchens.
Die Orthogonalittsrelation gilt in der folgenden Form:
_
0
d e
i(
n
1
n
2
)
=
_
_
, fr
n
1
=
n
2
[e
i2(n
1
n
2
)
1]
n
1
n
2
= 0, fr
n
1
,=
n
2
_
_
=
n
1
,n
2
. (4.14.3)
Fr die Wirkung des freienTeilchens erhalten wir:
q =

n=1
(i
n
a
n
e
i
n
+cc) ,
q
2
=

n
1
,n
2
=1
[(
n
1
n
2
e
i(
n
1
+
n
2
)
a
n
1
a
n
2
+
n
1
n
2
e
i(
n
1
n
2
)
a
n
1
a
n
2
) +cc] ,
_
0
d q
2
= 2
n=1
2
n
a
n
a
n
,
S
E
(q) =
1
_
0
d
m
2
q
2
= m
n=1
2
n
a
n
a
n
.
Und damit folgt fr den inneren Teil des fouriertransformierten Pfadintegrals (mit
4.7.7):
_
(

n=1
n
da
n
da
n
) e
S
E
(q)
=
_
(

n=1
n
da
n
da
n
) e
m
n=1

2
n
a
n
a
n
=

n=1
n
2
m
2
n
.
Wir whlen
n
= m
2
n
/(2), damit wir wieder 4.13.14 erhalten:
Z =
_
1
dq
0
_
(

n=1
n
da
n
da
n
) e
S
E
(q)
=
_
1
dq
0
=
a
.
Damit lautet jetzt also die Denition unseres neuen Fourier-Pfadintegrals fr die Zu-
standssumme:
Z =
_
1
dq
0
_
(

n=1
m
2
n
2
da
n
da
n
) e
S
E
(q)
, (4.14.4)
bzw. mit 4.7.8:
Z =
_
1
dq
0
_
(

n=1
m
2
n
d(1a
n
) d(a
n
)) e
S
E
(q)
. (4.14.5)
5 Vielteilchen-Systeme
5.1 Beschreibung im Fock-Raum
Der Hilbert-Raum H
n
eines n-Teilchen Systems ist einfach der Produkt-Raum der
Hilbert-Rume ]
i
der einzelnen Teilchen i = 1 . . . n:
H
n
.
.
= ]
1
]
2
]
n
=
n
i=1
]
i
.
Im folgenden mge es sich immer um n identische Teilchen handeln, also:
H
n
.
.
= ]] ] =
n
i=1
] . (5.1.1)
Sei [ k) .
.
= [ k
j
) [ j = 1 . . . m eine orthonormale Basis in ]. Wenn keine Gefahr der
Mehrdeutigkeit oder Verwechslung der Indizes besteht, krzen wir diese Schreibweise
hug einfach ab zu [ k) .
.
= [ k) [ k = 1 . . . m. Dabei kann m auch unendlich sein,
wie z.B. beim harmonischen Oszillator oder beim Wasserstoatom.
k [ k
t
) =
kk
und:
m
k=1
[ k)k [=

1
]
. (5.1.2)
Dann knnen wir eine orthonormale Basis in H
n
einfach als Produktbasis konstruieren:
[ k
1
k
2
. . . k
n
) .
.
=[ k
1
k
2
k
n
) , (5.1.3)
(k
1
k
2
. . . k
n
[ k
t
1
k
t
2
. . . k
t
n
) = k
1
[ k
t
1
)k
2
[ k
t
2
) k
n
[ k
t
n
)
=
k
1
k
k
2
k
2

k
n
k
n
, (5.1.4)
k
1
k
2
...k
n
[ k
1
k
2
. . . k
n
) (k
1
k
2
. . . k
n
[ =

1
H
n
. (5.1.5)
Die Erfahrung zeigt nun, da fr n identische Teilchen der Hilbertraum H
n
taschlich zu
gro gewhlt ist, da in der Natur nur symmetrisierte, bzw. antisymmetrisierte n-Teilchen
Zustnde vorkommen. Beispiele fr symmetrisierte Zustnde, Bosonen genannt, sind
z.B. Photonen, Pionen, Mesonen, Gluonen,
4
He-Atome; Beispiele fr antisymmetrisierte
84 5 Vielteilchen-Systeme
Zustnde, Fermionen genannt, sind z.B. Protonen, Neutronen, Elektronen, Myonen,
Neutrinos,
3
He-Atome.
Also denieren wir Projektions-Operatoren

P
B
und

P
F
in H
n
auf die beiden Hilbert-
Unterrume B
n
und F
n
fr Bosonen und Fermionen :
B
n
.
.
=

P
B
H
n
,
F
n
.
.
=

P
F
H
n
.
(5.1.6)
Sei jetzt (P) die Paritt einer Permutation P von (1, 2, . . . , n), also die Anzahl der
Vertauschungen von je zwei Elementen, um (P(1), P(2), . . . , P(n)) in (1, 2, . . . , n) zu
berfhren, dann knnen wir die Projektoren

P
B
und

P
F
folgendermaen konstruieren:
P
B
[ k
1
k
2
. . . k
n
) .
.
=
1
n!
P
[ k
P(1)
k
P(2)
. . . k
P(n)
) ,
P
F
[ k
1
k
2
. . . k
n
) .
.
=
1
n!
P
(1)
(P)
[ k
P(1)
k
P(2)
. . . k
P(n)
) .
Dies lt sich zusammenfassen zu:
P [ k
1
k
2
. . . k
n
) .
.
=
1
n!
(P)
[ k
P(1)
k
P(2)
. . . k
P(n)
) ,
mit: .
.
=
_
_
_
+1 fr Bosonen ,
1 fr Fermionen .
(5.1.7)
Dieser Operator

P ist tatschlich ein Projektor, denn es gilt

P
=

P und

P
2
=

P:
P
2
[ k
1
k
2
. . . k
n
) =
1
n!n!
(P
(P)
[ k
P
(P(1))
k
P
(P(2))
. . . k
P
(P(n))
) .
Sei Q .
.
= P
t
P, so gilt:
(P
(P)
=
(P
)+(P)
=
(P
P)
=
(Q)
,
und damit folgt fr

P
2
:
P
2
[ k
1
k
2
. . . k
n
) =
1
n!
1
n!
(Q)
[ k
Q(1)
k
Q(2)
. . . k
Q(n)
)
=
1
n!
(Q)
[ k
Q(1)
k
Q(2)
. . . k
Q(n)
)
=

P [ k
1
k
2
. . . k
n
) . (5.1.8)
5.1 Beschreibung im Fock-Raum 85
Aus der Vollstndigkeit der [ k
1
k
2
. . . k
n
) in H
n
folgt die Vollstndigkeit der

P [ k
1
k
2
. . . k
n
)
in

PH
n
, also:
k
1
k
2
...k
n
P [ k
1
k
2
. . . k
n
) (k
1
k
2
. . . k
n
[

P = N

1
H
n
. (5.1.9)
Der hier auftauchende Normierungsfaktor N wird weiter unten bestimmt. Zuvor wol-
len wir aber noch die Besetzungszahlen- Darstellung und den Fock-Raum einfhren.
In einem n-Teilchen System im Zustand

P [ k
1
k
2
. . . k
n
) mge jetzt ein bestimmter
Einteilchen-Zustand [ k
j
), mit j = 1 . . . m, gerade n
j
mal vorkommen. Fr Fermionen
kann n
j
nur die Werte 0 oder 1 annehmen, fr Bosonen mu lediglich n
j
n gelten. Fr
Fermionen wie Bosonen gilt als Nebenbedingung die Erhaltung der Gesamtteilchenzahl:
n =

m
j=1
n
j
.
Als eine Abkrzung der Schreibweise fhren wir die Besetzungszahlen-Darstellung ein:
[ n
j
1
n
j
2
. . . n
j
m
) .
.
=
1
P [ k
j
1
1
k
j
1
2
. . . k
j
1
n
j
1
k
j
2
n
j
1
+1
. . . k
j
2
n
j
1
+n
j
2
. . . k
j
m
n
j
1
++n
j
m1
+1
. . . k
j
m
n
j
1
++n
j
m
) .
(5.1.10)
Das heit, der n-Teilchen Zustand ist gerade ein symmetrisierter oder antisymmetrisier-
ter n-Teilchen Produktzustand, bei welchem sich die Teilchen 1 . . . n
j
1
im Einteilchen-
Zustand [ k
j
1
), usw., benden.
Damit schreibt sich die Vollstndigkeitsrelation in B
n
und F
n
als:
n
j
n=
m
1
n
j
[ n
j
1
n
j
2
. . . n
j
m
)n
j
1
n
j
2
. . . n
j
m
[=

1
B
n
[F
n
. (5.1.11)
Der Fock-Raum wird jetzt deniert als die direkte Summe aller n-Teilchen Rume, also:
B= B
0
B
1
B
n
,
F = F
0
F
1
F
n
.
(5.1.12)
Die Vollstndigkeitsrelation im Fock-Raum kann also folgendermaen geschrieben wer-
den:
[ 0)0 [ +

n
j
1
1=
m
1
n
j
[ n
j
1
)n
j
1
[ +

n
j
1
, n
j
2
2=
m
1
n
j
[ n
j
1
n
j
2
)n
j
1
n
j
2
[ + =

1
B[F
. (5.1.13)
Jetzt soll noch die Normierung der symmetrisierten, bzw. antisymmetrisierten n-Teilchen
Zustnde bestimmt werden. Sei [ k
t
1
k
t
2
. . . k
t
n
) eine Permutation von [ k
1
k
2
. . . k
n
) , dann
gilt:
(k
t
1
k
t
2
. . . k
t
n
[

P
2
[ k
1
k
2
. . . k
n
) = (k
t
1
k
t
2
. . . k
t
n
[

P [ k
1
k
2
. . . k
n
)
=
1
n!
(P)
k
t
1
[ k
P(1)
)k
t
2
[ k
P(2)
) k
t
n
[ k
P(n)
) .
Wegen der Orthogonalitt der [ k
j
) ergibt sich nur ein Beitrag ungleich 0 fr diejeni-
gen Permutationen P , welche die n
j
-Teilmengen gleicher Einteilchen-Zustnde [ k
j
)
ineinander berfhren, und das sind gerade n
j
! Permutationen.
(k
t
1
k
t
2
. . . k
t
n
[

P
2
[ k
1
k
2
. . . k
n
) =
_
_
_
n
1
! n
2
! n
m
!
n!
fr Bosonen ,
(1)
(P)
n!
fr Fermionen .
(5.1.14)
Dies lt sich mit aus 5.1.7 wieder zusammenfassen (wobei fr Fermionen alle n
j
! = 1
sind):
(k
t
1
k
t
2
. . . k
t
n
[

P
2
[ k
1
k
2
. . . k
n
) = ()
(P)
n
1
! n
2
! n
m
!
n!
. (5.1.15)
Also ergibt sich fr den Normierungsfaktor N:
N .
.
= (k
1
k
2
. . . k
n
[

P
2
[ k
1
k
2
. . . k
n
) =
m
j=1
n
j
!
n!
. (5.1.16)
Damit knnen wir fr den normierten n-Teilchen Zustand [ n
j
1
n
j
2
. . . n
j
m
), den wir im
folgenden manchmal auch als [ k
1
k
2
. . . k
n
) bezeichnen, (mit Ket-Klammer rechts, im
Gegensatz zu den unsymmetrisierten Zustnden mit runder Klammer rechts), schreiben:
[ k
1
k
2
. . . k
n
) .
.
=[ n
j
1
n
j
2
. . . n
j
m
) =
_
n!
m
j=1
n
j
!

P [ k
1
k
2
. . . k
n
) . (5.1.17)
5.2 Kohrente Zustnde fr
Bosonen-Vielteichen-Systeme
Ein beliebiger Zustand [ ) im Fock-Raum kann als Linearkombination der n-Teilchen
Zustnde [ k
1
k
2
. . . k
n
) aus 5.1.17 dargestellt werden:
[ ) =

n=0
k
1
...k
n
k
1
...k
n
[ k
1
. . . k
n
) . (5.2.1)
Im folgenden werden wir aber ausschlielich eine Entwicklung von [ ) nach den
[ n
j
1
n
j
2
. . . n
j
m
) der Besetzungszahlen Darstellung (ebenfalls 5.1.17) verwenden. Im
Einteilchen-Zustand [ j
i
) benden sich gerade n
j
i
Teilchen des n-Teilchen-Systems. Da-
bei bezeichne [ j
i
) eine orthonormale Basis des Einteilchen-Systems. Da im folgenden
eigentlich keine Verwechslungen in den Indizes mglich ist, vereinfachen wir die Schreib-
weise weiter zu: [ n
1
n
2
. . . n
m
) .
.
=[ n
j
1
n
j
2
. . . n
j
m
), d.h. der Index i = 1 . . . m der n
i
zhlt
5.2 Kohrente Zustnde fr Bosonen-Vielteichen-Systeme 87
die mglichen Einteilchen-Zustnde ab. Wie bereits bei der Einfhrung der Besetzungs-
zahlen Darstellung gesagt, kann m endlich oder (abzhlbar) unendlich sein.
[ ) =

n
1
n
2
...n
m
n
1
n
2
...n
m
[ n
1
n
2
. . . n
m
) . (5.2.2)
Im Falle eines einzelnen harmonischen Oszillators konnten wir alle Einteilchen-Zustnde
mit jeweils einem einzigen Erzeugungs- und Vernichtungs-Operator aufbauen. Wenn wir
die Vernichtungs-Operatoren c
i
auf die kohrenten Einteilchen-Zustnden anwenden, so
erhalten wir (siehe 3.3):
c
i
[
i
) =
i
[
i
) ,
mit
[
i
) = e
1
2
[
i
[
2

n=0
n
i
n!
[ n) = e
1
2
[
i
[
2
e
i
c
i
[ 0) .
Jetzt mge [ ) ein Eigenzustand aller Vernichtungs-Operatoren c
i
zu den entsprechen-
den kohrenten Einteilchen-Zustnden sein! Wir denieren [ ) also durch die Forde-
rung:
c
i
[ ) =
i
[ ) . (5.2.3)
Daraus folgt:
n
i
n
1
n
2
...n
i
...n
m
n
1
n
2
...n
i
...n
m
[ n
1
n
2
. . . (n
i
1) . . . n
m
)
=
i
n
1
n
2
...n
i
...n
m
n
1
n
2
...n
i
...n
m
[ n
1
n
2
. . . n
i
. . . n
m
)
n
i

n
1
n
2
...n
i
...n
m
=
i

n
1
n
2
...(n
i
1)...n
m

n
1
n
2
...n
i
...n
m
=

n
i
i
n
i
!

n
1
n
2
...0...n
m
=

n
1
1
n
1
!
n
2
2
n
2
!

n
m
m
n
m
!

00...0...0
.
Jetzt whlen wir
0 0...0...0
so, da [ ) auf 1 normiert wird, und dies ist, wie wir gleich
sehen werden, gerade dann der Fall, wenn wir setzen:
00...0...0
= e
1
2
[
1
[
2
e
1
2
[
2
[
2
e
1
2
[
m
[
2
= e
1
2
m
i=1
[
i
[
2
. (5.2.4)
Damit ergibt sich [ ) zu:
[ ) = e
1
2
m
i=1
[
i
[
2

n
1
n
2
...n
m
_
m
i=1
n
i
i
n
i
!
_
[ n
1
n
2
. . . n
i
. . . n
m
) . (5.2.5)
Mit 3.3.7 knnen wir einen Besetzungszahlen-Zustand vom Vakuum-Zustand her auf-
bauen:
[n
1
n
2
. . . n
m
) =
c
1
n
1
n
1
!
c
2
n
2
n
2
!

c
m
n
m
n
m
!
[0) , (5.2.6)
und daraus folgt fr [ ):
[ ) = e
1
2
m
i=1
[
i
[
2

n
1
n
2
...n
m
m
i=1
n
i
i
c
i
n
i
n
i
!
[ 0)
= e
1
2
m
i=1
[
i
[
2
m
i=1
n
1
n
2
...n
m
n
i
i
c
i
n
i
n
i
!
[ 0)
= e
1
2
m
i=1
[
i
[
2
+
m
i=1

i
c
i
[ 0) . (5.2.7)
Fr das Skalarprodukt zweier kohrenter Vielteilchen-Zustnde ergibt sich analog zu
den kohrenten Einteilchen-Zustnden (3.3.13):
[ ) = e
1
2
m
i=1
[
i
[
2
1
2
m
i=1
[
j
[
2

...n
i
...
...n
i
...
_
_
m
i=1
i
i

n
i
i
_
n
t
i
!n
i
!
_
_
n
t
1
n
t
2
. . . n
t
i
. . . n
t
m
[ n
1
n
2
. . . n
i
. . . n
m
)
= e
1
2
m
i=1
([
i
[
2
+[
i
[
2
)

...n
i
...
...n
i
...
_
_
m
i=1
i
i

n
i
i
_
n
t
i
!n
i
!
_
_

n
1
n
1
2
n
2

n
i
n
i

n
m
n
m
= e
1
2
m
i=1
([
i
[
2
+[
i
[
2
)

...n
i
...
m
i=1
n
i
i

n
i
i
n
i
!
= e
1
2
m
i=1
([
i
[
2
+[
i
[
2
)
m
i=1
...n
i
...
n
i
i

n
i
i
n
i
!
= e
1
2
m
i=1
([
i
[
2
+[
i
[
2
)
m
i=1
e
i
= e
1
2
m
i=1
([
i
[
2
+[
i
[
2
)
e
m
i=1

i
, (5.2.8)
[ [ )[
2
= e
m
i=1
([
i
[
2
+[
i
[
2
)
e
m
i=1

i
e
m
i=1

i

i
= e
m
i=1
[
i
i
[
2
. (5.2.9)
Wir sehen also, da die Normierung von [ ) in 5.2.4 tatschlich zu [ ) = 1 fhrt.
5.3 Pfadintegral mit kohrenten Zustnden 89
Ebenso folgt die Vollstndigkeits-Relation der kohrenten Vielteilchen-Zustnde aus
derjenigen der kohrenten Einteilchen-Zustnde (3.3.16):
_
(
m
k=1
d
k
d
k
2
) [ ) [ =
_
(
m
k=1
d
k
d
k
2
) e
m
i=1
[
i
[
2

...n
i
...
...n
i
...
_
_
m
i=1
i
i

n
i
i
_
n
t
i
!n
i
!
_
_
[ n
t
1
n
t
2
. . . n
t
i
. . . n
t
m
)n
1
n
2
. . . n
i
. . . n
m
[
= . . .
=

...n
i
...
[ n
1
n
2
. . . n
i
. . . n
m
)n
1
n
2
. . . n
i
. . . n
m
[
=

1 . (5.2.10)
Ein groer Vorteil der kohrenten Zustnde und ein Grund fr ihre beliebte Verwen-
dung ist die einfache Form, die Matrixelemente von normalgeordneten Operatoren in
Besetzungzahl-Darstellung annehmen. Ein Operator

A .
.
= A( c
i
, c
i
) heit normalgeord-
net, kurz : A( c
i
, c
i
) : , wenn alle Erzeugungs-Operatoren c
i
links von den jeweiligen

Vernichtungs-Operatoren c
i
stehen. Seien [ ) und [ ) zwei kohrente Zustnde, dann
folgt aus 5.2.3 und 5.2.8:
[: A( c
i
, c
i
) :[ ) = e
1
2
m
i=1
([
i
[
2
+[
i
[
2
)
e
m
i=1

i
A(
i
,
i
) . (5.2.11)
Ebenso einfach stellt sich die Spur fr normalgeordnete Operatoren dar. Sei [ q) ein
beliebiger vollstndiger Satz von Zustandsvektoren im Fock-Raum, dann folgt fr die
Spur von :

A :
Sp(

A) =

l
q
l
[

A [ q
l
) =
_
(
m
k=1
d
k
d
k
2
)

l
q
l
[ ) [

A [ q
l
)
=
_
(
m
k=1
d
k
d
k
2
)

l
[

A [ q
l
)q
l
[ ) =
_
(
m
k=1
d
k
d
k
2
) [

A [ )
=
_
(
m
k=1
d
k
d
k
2
) A(
i
,
i
) . (5.2.12)
5.3 Pfadintegral mit kohrenten Zustnden
Das Pfadintegral mit kohrenten Zustnden wird vllig analog zum gewhnlichen Pfa-
dintegral abgeleitet, nur da an den Punkten zwischen Anfangs- und Endzustand jetzt
nicht Ortszustnde eingeschoben werden, sondern jeweils ein vollstndiger Satz von
kohrenten Zustnden. Hier folgen wir im wesentlichen der Darstellung von Negele u.
Orland (1998). Fr eine vertiefte Diskussion siehe Klauder (2010).
Seien [ (i)) der kohrente Anfangszustand zum Zeitpunkt t
i
und [ (f)) der kohrente
Endzustand zum Zeitpunkt t
f
.
Dann wird der kohrente Propagator deniert als:
U(
i
(f), t
f
,
i
(i), t
i
) .
.
= (f), t
f
[ (i), t
i
) = (f) [ e

H(t
f
t
i
)
[ (i)) . (5.3.1)
Das Zeitintervall [t
i
, t
f
] wird jetzt in M gleiche Zeitintervalle der Lnge .
.
= (t
f

t
i
)/M zerlegt. Der Anfangszustand werde als [
0
) .
.
=[ (i)) mit den Komponenten
i,0
bezeichnet und der Endzustand entsprechend als [
M
) .
.
=[ (f)) mit den Komponenten
i,M
. Dabei zhlt der Index i = 1 . . . mdie Einteilchen-Zustnde ab. An den Zeitpunkten
k mit k = 1 . . . M 1 wird jeweils ein vollstndiger Satz von kohrenten Zustnden
[
k
) .
.
=[ (k)) mit den Komponenten
i,k
eingeschoben:
_
(
m
i=1
d
i
d
i
2
) [ (k))(k) [ =

1 .
Wir gehen hier der Einfachheit halber davon aus, da der Hamilton-Operator

H =
H( c
i
, c
i
) normalgeordnet sei, kurz : H( c
i
, c
i
) : , da also alle c
i
-Operatoren links von

den jeweiligen c
i
-Operatoren stehen. Dann knnen wir den im folgenden auftretenden in-
nitesimalen Zeitentwicklungs-Operator durch einen normalgeordneten Zeitentwicklungs-
Operator ersetzen, denn:
e
H( c
i
, c
i
)
: e
H( c
i
, c
i
)
: =

n=2
(
i
)
n
(

H
n
:

H
n
:) = O(
2
)
1
U(
i
(f), t
f
,
i
(i), t
i
) = (f) [ e
H(t
f
t
i
)
[ (i))
= lim
M
_
(
M1
k=1
m
i=1
d
i,k
d
i,k
2
)
M
k=1
(k) [ e
H( c
i
, c
i
)
[ (k 1))
= lim
M
_
(
M1
k=1
m
i=1
d
i,k
d
i,k
2
)
M
k=1
(k) [: e
H( c
i
, c
i
)
: +O(
2
)
1 [ (k 1))
= lim
M
_
(
M1
k=1
m
i=1
d
i,k
d
i,k
2
)
M
k=1
(k) [ (k 1)) e
H(
i,k
,
i,k1
)
= lim
M
_
(
M1
k=1
m
i=1
d
i,k
d
i,k
2
)
k=1
_
e
1
2
m
i=1
([
i,k
[
2
+[
i,k1
[
2
)
e
m
i=1
(
i,k
i,k1
)
e
H(
i,k
,
i,k1
)
_
= lim
M
_
(
M1
k=1
m
i=1
d
i,k
d
i,k
2
)
5.3 Pfadintegral mit kohrenten Zustnden 91
_
e
1
2
m
i=1
([
i,0
[
2
+[
i,M
[
2
)
e
M1
k=1
m
i=1
[
i,k
[
2
e
M
k=1
[
m
i=1
(
i,k
i,k1
)
i
H(
i,k
,
i,k1
)]
_
= e
1
2
m
i=1
([
i,0
[
2
+[
i,M
[
2
)
lim
M
_
(
M1
k=1
m
i=1
d
i,k
d
i,k
2
)
_
e
m
i=1
[
i,M
[
2
e
M
k=1
[
m
i=1
([
i,k
[
2
+
i,k
i,k1
)
i
H(
i,k
,
i,k1
)]
_
= e
1
2
m
i=1
([
i,0
[
2
+[
i,M
[
2
)
lim
M
_
(
M1
k=1
m
i=1
d
i,k
d
i,k
2
)
_
e
m
i=1
[
i,M
[
2
e
i
M
k=1
[i
m
i=1

i,k
1
(
i,k
i,k1
)H(
i,k
,
i,k1
)]
_
. (5.3.2)
Der bergang zur Pfadintegral-Darstellung geschieht, indem wir im lim
M
von der
diskreten Darstellung der
i,k
mit k = 1 . . . M zu einer Trajektorie
i
(t) bergehen.
i
(t)
t
.
.
= lim
0
1
(
i,k
i,k1
) ,
t
f
_
t
i
dt f(
i
(t) ,
i
(t)) .
.
= lim
0
M
k=1
f(
i,k
,
i,k
) ,
H(
i
(t) ,
i
(t)) .
.
= H(
i,k
,
i,k
) H(
i,k
,
i,k1
) .
Das Integrationsma schreiben wir als Funktionalintegral, wobei aber die richtigen
Randbedingungen zu bercksichtigen sind. In der Denition des Propagators (5.3.1)
werden die Randwerte durch [ (i)) und (f) [ vorgegeben, d.h. in der diskreten Dar-
stellung durch die Komponenten
i,0
und
i,M
und in der Trajektorien-Darstellung also
durch
i
(t
i
) und
i
(t
f
) :
N
i
(t
f
)
_
i
(t
i
)
D[
i
(t)
i
(t)] .
.
= lim
M
_
(
M1
k=1
m
i=1
d
i,k
d
i,k
2
) ,
U(
i
(f), t
f
,
i
(i), t
i
) = e
1
2
m
i=1
([
i,0
[
2
+[
i,M
[
2
)
N
i
(t
f
)
_
i
(t
i
)
D[
i
(t)
i
(t)]
_
e
m
i=1
[
i
(t
f
)[
2
e
i
_
t
f
t
i
dt [i
m
i=1

i
(t)
i
(t)
t
H(
i
(t),
i
(t))]
_
.
(5.3.3)
Jetzt knnen wir noch von der Hamilton-Form des Pfadintegrals zur Lagrange-Form
bergehen:
L(
i
(t),
i
(t)) .
.
= i
m
i=1
(
i
(t)
i
(t)
t
) H(
i
(t),
i
(t)) , (5.3.4)
bzw. in Operatoren-Form geschrieben:
L .
.
= i
t

H ,
U(
i
(f), t
f
,
i
(i), t
i
) = e
1
2
m
i=1
([
i,0
[
2
+[
i,M
[
2
)
N
t

i
(t
f
)
_
i
(t
i
)
D[
i
(t)
i
(t)]
_
e
m
i=1
[
i
(t
f
)[
2
e
i
_
t
f
t
i
dt L(
i
(t),
i
(t))
_
. (5.3.5)
Wie beim Feynmanschen Pfadintegral gilt auch hier, da die Formulierungen von 5.3.3
und 5.3.5 mit der Summierung ber alle Pfade von (q
i
, t
i
) nach (q
f
, t
f
) nur eine (sugge-
stive) Abkrzung fr den Grenzwert der Gitterpfadsumme 5.3.2 darstellt. Wenn man
nmlich im umgekehrten Weg versucht, das Pfadintegral von 5.3.3 als Ausgangspunkt
zu nehmen und daraus eine Diskretisierung abzuleiten, so zeigt sich, da es nicht nur
eine Diskretisierung gibt (5.3.2), sondern auch andere, physikalisch unzutreende Dis-
kretisierungen. Ein instruktives Beispiel dafr geben etwa Negele u. Orland (1998) (S.
134).
Ein wesentlicher Unterschied zwischen dem Feynmanschen Pfadintegral und dem koh-
renten Pfadintegral ist die Abhngigkeit von . Im Feynmanschen Pfadintegral steht im
Exponenten einfach i/, dagegen taucht im kohrenten Pfadintegral in der Langrange-
Funktion ein weiterer Faktor auf. Daher unterscheiden sich die aus den beiden Pfadin-
tegralen ableitbaren Strungsreihen und es hngt vom jeweiligen physikalischen System
ab, welcher Ansatz eine bessere Nherung darstellt.
5.4 Zustandssumme fr Bosonen-Vielteichen-Systeme
Die grokanonische Zustandssumme ist als Spur ber e
(

H n)
deniert und dies kn-
nen wir als Pfadintegral mit kohrenten Zustnden schreiben:
Z .
.
= Sp(e
(

H n)
) =
_
(
m
i=1
d
i
d
i
2
) [ e
(

H n)
[ ) . (5.4.1)
Wir gehen im Pfadintegral 5.3.1 mit .
.
= (i/)t zu imaginren Zeiten ber (Wick-
Rotation), so da wir statt dem Pfadintegral ber t [t
i
, t
f
] jetzt ein Pfadintegral ber
5.5 Nichtwechselwirkende Bosonen-Vielteilchen-Systeme 93
[0, ] erhalten. Damit ist dann =

M
. Bei der Spurbildung sind der Anfangszustand
[ (0)) und der Endzustand [ ()) des Propagators gleich, d.h.
i,0
=
i,M
, so da im
Pfadintegral also ber alle zyklischen Trajektorien zu summieren ist.
Z =
_
(
m
i=1
d
i,M
d
i,M
2
) () [ e
(

H n)
[ (0))
= lim
M
_
(
m
i=1
d
i,M
d
i,M
2
) (
M1
k=1
m
i=1
d
i,k
d
i,k
2
)
_
e
1
2
m
i=1
([
i,0
[
2
+[
i,M
[
2
)
e
M1
k=1
m
i=1
[
i,k
[
2
e
M
k=1
[
m
i=1
(
i,k
i,k1
)(1+)H(
i,k
,
i,k1
)]
_
= lim
M
_
(
M
k=1
m
i=1
d
i,k
d
i,k
2
)
_
e
M
k=1
[
m
i=1
[
i,k
[
2
e
M
k=1
[
m
i=1
(
i,k
i,k1
)(1+)H(
i,k
,
i,k1
)]
_
= lim
M
_
(
M
k=1
m
i=1
d
i,k
d
i,k
2
)
_
e
M
k=1
[
m
i=1
(
i,k
(
1
(
i,k
i,k1
)
i,k1
))+H(
i,k
,
i,k1
)]
_
. (5.4.2)
Der bergang zur Pfadintegral-Darstellung geschieht, indem wir wieder im lim
M
von
der diskreten Darstellung der
i,k
mit k = 1 . . . M zu einer Trajektorie
i
(t) bergehen.
Z = N
i
()=
i
(0)
_
i
(0)
D[
i
()
i
()] e
_
0
d [
m
i=1
(
i
()(

t
)
i
())+H(
i
(),
i
())]
. (5.4.3)
5.5 Nichtwechselwirkende
Bosonen-Vielteilchen-Systeme
Wir whlen eine Basis, in der

H = H( c
i
, c
i
) =: H( c
i
, c
i
) : diagonal ist.
H =
m
i=1
E
i
c
i
c
i
. (5.5.1)
Aus 5.4.2 und .
.
=

M
folgt:
Z = lim
M
m
i=1
_
_
(
M
k=1
d
i,k
d
i,k
2
) e
M
k,k
=1

i,k
S
(i)
k,k
i,k
_
(5.5.2)
i,k
S
(i)
k,k

i,k
.
.
=
i,k
i,k

k
,k
+ [
i,k
i,k1

M
(E
i
)
i,k
i,k1
]
k
,k1
.
Mit
i,0
=
i,M
und a .
.
= 1

M
(E
i
) sieht die Matrix S
(i)
folgendermaen aus:
S
(i)
=
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
1 0 0 0 a
a 1 0 0
0 a 1
.
.
.
0
.
.
. 0
.
.
.
.
.
.
0
.
.
.
0
.
.
.
a 1 0
0 0 0 a 1
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
. (5.5.3)
Damit wir 4.7.7 anwenden knnen, soll zunchst gezeigt werden, da S
(i)
normal ist.
Dabei verwenden wir wieder
i,0
=
i,M
und
i,1
=
i,M+1
:
|S
(i)
[
i
)| = |(
i,1
a
i,2
,
i,2
a
i,3
, . . . ,
i,M
a
i,1
)|
=
M
k=1
([
i,k
[
2
2a 1(
i,k
i,k+1
) +a
2
[
i,k+1
[
2
)
=
M
k=1
[
i,k
[
2
2a
M
k=1
1(
i,k
i,k+1
) +a
2
M
k=1
[
i,k+1
[
2
=
M
k=1
[
i,k
[
2
2a
M
k=1
1(
i,k1
i,k
) +a
2
M
k=1
[
i,k1
[
2
,
|S
(i)
[
i
)| = |(
i,1
a
i,M
,
i,2
a
i,1
, . . . ,
i,M
a
i,M1
)|
=
M
k=1
([
i,k
[
2
2a 1(
i,k
i,k1
) +a
2
[
i,k1
[
2
) ,
|S
(i)
[
i
)| = |S
(i)
[
i
)| .
Also ist S
(i)
normal und wir knnen die Berechnung des Gauschen Integrals in der
Zustandssumme auf die Berechnung der Determinante von S
(i)
zurckfhren:
det S
(i)
= (1 + (1)
M1
(a)
M
) = (1 a
M
) =
_
1 (1
(E
i
)
M
)
M
_
.
Hier erkennen wir die Denitions-Gleichung der Exponential-Funktion:
lim
M
(1 +
x
M
)
M
= e
x
,
und damit folgt
lim
M
det S
(i)
= 1 e
(E
i
)
.
Also erhalten wir fr die Zustandssumme Z und das grokanonische Potential eines
nichtwechselwirkenden Bosonen-Vielteilchen-Systems die bekannten Ausdrcke:
Z = lim
M
m
i=1
1
det S
(i)
=
m
i=1
1
1 e
(E
i
)
, (5.5.4)
= kT ln Z = kT
m
i=1
ln(1 e
(E
i
)
) . (5.5.5)
wobei das chemische Potential , bzw. die Fugazitt z .
.
= e
gerade so zu bestimmen
sind, da die vorgegebene mittlere Teilchenzahl N angenommen wird:
N(T, V, ) =
T,V
= kT
m
i=1
e
(E
i
)
1 e
(E
i
)
=
m
i=1
1
e
(E
i
)
1
. (5.5.6)
Der einzelne Summand in 5.5.6 ist gerade n
i
), wie man folgendermaen sehen kann:
n
i
) =

E
i
,V,E
k
,=E
i
= kT
()(e
(E
i
)
)
1 e
(E
i
)
=
1
e
(E
i
)
1
. (5.5.7)
Da nun n
i
) 0 sein mu, folgt E
i
> , und wenn E
1
= 0 ist, mu also gelten: < 0,
bzw. z < 1.
Aus dem grokanonischen Potential 5.5.5 folgen alle anderen thermodynamischen Zu-
sammenhnge mittels:
S(T, V, ) =
V,
,
p(T, V, ) =
T,
,
(T, V, ) = U TS N = pV .
(5.5.8)
5.5.1 Nichtwechselwirkende harmonische Oszillatoren
Wir betrachten als erstes Beispiel ein System nichtwechselwirkender harmonischer Os-
zillatoren, wobei wir die Nullpunkt-Energie weglassen (was der Verwendung des nor-
malgeordneten Hamilton-Operators entspricht).
Fr die Energie-Eigenwerte gelte also: E(i) .
.
= E
i
= i mit i = 0 . . . . Da wir die
Summe im grokanonischen Potential 5.5.5 in ein Integral umwandeln wollen, mssen
wir den Grundzustands-Term mit E
0
= 0, der ja im Integral nur einen Beitrag von 0
liefern wrde, aus der Summe herausnehmen und explizit behandeln.
(T, V, ) = kT
i=1
ln(1 ze
E
i
) +kT ln(1 z)
kT
_
0
di ln(1 ze
E(i)
) +kT ln(1 z)
=
kT
_
0
dE ln(1 ze
E
) +kT ln(1 z)
=
kT
_
E ln(1 ze
E
)
_
0

kT
_
0
dE E
ze
E
1 ze
E
+kT ln(1 z) .
Der erste Term aus der partiellen Integration verschwindet an der Ober- und Unter-
grenze (es ist z < 1).
(T, V, ) =
1
_
0
dE
E
21
z
1
e
E
1
+kT ln(1 z)
=
1
_
0
dx
x
21
z
1
e
x
1
+kT ln(1 z)
=
(kT)
2
(2) g
2
(z) +kT ln(1 z)
=
(kT)
2
g
2
(z) +kT ln(1 z) . (5.5.9)
Dabei haben wir die Funktion g
2
(z) eingefhrt mit:
g
n
(z) .
.
=
1
(n)
_
0
dx
x
n1
z
1
e
x
1
=
1
(n)
_
0
dx (ze
x
)
x
n1
1 ze
x
=
1
(n)
_
0
dx x
n1
(ze
x
)

k=0
(ze
x
)
k
=
1
(n)
_
0
dx x
n1

k=1
z
k
e
xk
=
1
(n)
_
0
dx x
n1

k=1
z
k
e
xk
=
1
(n)
k=1
z
k
_
0
dx x
n1
e
xk
=
1
(n)
k=1
z
k
k
n
_
0
dy y
n1
e
y
=
1
(n)
k=1
z
k
k
n
(n) =

k=1
z
k
k
n
.
Wir nden also fr g
n
(z):
g
n
(z) .
.
=
1
(n)
_
0
dx
x
n1
z
1
e
x
1
=

k=1
z
k
k
n
. (5.5.10)
Die Funktion g
n
(z) ist monton wachsend und sie wird nach oben (z = 1) durch die
Riemannsche Zeta-Funktion (n) beschrnkt:
g
n
(z) g
n
(1) =

k=1
1
k
n
= (n) . (5.5.11)
Abbildung 5.1: g
n
(z) [Quelle: Greiner u. a. (1993)]
Im Ausdruck 5.5.9 fr das grokanonische Potential stellt der erste Term gerade den
klassischen Grenzfall dar und der zweite Term den Beitrag des Grundzustandes E
0
= 0,
der ja nur bei tiefen Temperaturen wesentlich bevlkert ist (Bose-Einstein-Kondensat).
Jedoch eignet sich 5.5.9 nicht besonders, um hier den lim
T
, oder lim
0
durchzu-
fhren, da kT ln(1 z) scheinbar divergent wird - tatschlich ist aber z, bzw. , eine
Funktion von T und gerade so zu bestimmen, da die vorgegebene mittlere Teilchenzahl
N angenommen wird. Man knnte jetzt 5.5.6 genauer untersuchen, um festzustellen,
da im lim
T
gilt: z 0, bzw. . Dies soll im nchsten Beispiel (freie Teil-
chen im Kasten) gezeigt werde. Hier jedoch lt sich der klassische Grenzfall leichter
folgendermaen ableiten:
(T, V, ) = kT
i=0
ln(1 ze
i
) = kT
i=0
(1)

k=1
z
k
e
ik
k
= kT
k=1
z
k
k
1
1 e
k
.
Im lim
T
oder lim
0
gilt 0:
(T, V, ) = kT
k=1
z
k
k
1
k
=
(kT)
2
k=1
z
k
k
2
=
(kT)
2
g
2
(z) . (5.5.12)
5.5.2 Ideales Bose-Gas (freie Teilchen im Kasten)
Wir betrachten ein System nicht wechselwirkender Teilchen ohne Spin in einem kubi-
schen Kasten, der von den Flchen x = 0, x = L, y = 0, y = L, z = 0, z = L begrenzt
wird. Die Lsung der stationren Schrdinger-Gleichung liefert mit den Randbedingun-
gen:
2
2m

2
= E ,
(

r
Rand
) = (0, y, z) = (x, 0, z) = (x, y, 0) = 0 ,
(

r
Rand
) = (L, y, z) = (x, L, z) = (x, y, L) = 0 ,
k
(

r ) = A sin(k
x
x) sin(k
y
y) sin(k
z
z) fr

k > 0 ,

k =

L

i mit i
x
, i
y
, i
z
= 1 . . . L 1 ,
E
k
.
.
= E
i
x
i
y
i
z
=

k
2
2m
=

2
2
2mL
2
(i
2
x
+i
2
y
+i
2
z
) ,
E
0
.
.
= E
111
= 3

2
2
2mL
2
ist die Grundzustands-Energie . (5.5.13)
Da wir von einem makroskopischen Kasten ausgehen, also L sehr gro ist, knnen wir
im folgenden E
0
0 annehmen. Wir berechnen das grokanonischen Potential 5.5.5,
und da wir, wie oben bei den harmonischen Oszillatoren, die Summe in ein Integral
umwandeln wollen, nehmen wir den Grundzustands-Term mit E
0
aus der Summe heraus
und behandeln ihn explizit.
(T, V, ) = kT
L1
i
x
i
y
i
z
=1
ln(1 ze
E
i
x
i
y
i
z
) +kT ln(1 z)
kT
_
0
_
0
_
0
di
x
di
y
di
z
ln(1 ze
E
i
x
i
y
i
z
) +kT ln(1 z) .
Hier erstreckt sich die Summation, bzw. die Integration ber die i
x
i
y
i
z
nur ber den
ersten Oktanden. Da E
i
x
i
y
i
z
= E
i
x
i
y
i
z
(i
2
) ist, knnen wir die Integration auch ber den
ganzen i
x
i
y
i
z
-Raum erstrecken. Auerdem gehen wir wieder von einer i
x
i
y
i
z
-Integration
zu einer Energie-Integration ber mittels:
E
i
.
.
= E
i
x
i
y
i
z
=

2
2
2mL
2
i
2
i = (
2mL
2
2
)
1
2
E
1
2
i
und di = (
2mL
2
2
)
1
2
1
2
E
1
2
i
dE
i
,
(5.5.14)
(T, V, ) =
kT
8
di
x
di
y
di
z
ln(1 ze
E
i
x
i
y
i
z
) +kT ln(1 z)
=
4kT
8
_
0
di i
2
ln(1 ze
E
i
x
i
y
i
z
) +kT ln(1 z)
=
kT
2
(
2mL
2
2
)
3
2
1
2
_
0
dE E
1
2
ln(1 ze
E
) +kT ln(1 z)
=
2kT V
h
3
(2m)
3
2
_
0
dE E
1
2
ln(1 ze
E
) +kT ln(1 z)
=
2kT V
h
3
(2m)
3
2
_
_
_
2
3
E
3
2
ln(1 ze
E
)
_
_
0
dE
2
3
E
3
2
ze
E
1 ze
E
_
_
+kT ln(1 z) .
(T, V, ) =
4V
3h
3
(2m)
3
2
_
0
dE
E
3
2
z
1
e
E
1
+kT ln(1 z)
=
4V
3h
3
(2m)
3
2
1
5
2
_
0
dx
x
5
2
1
z
1
e
x
1
+kT ln(1 z)
= kT
4V
3
(
2mkT
h
2
)
3
2
(
5
2
) g5
2
(z) +kT ln(1 z)
= kT
4V
3
(
2mkT
h
2
)
3
2
3
2

1
2

g5
2
(z) +kT ln(1 z)
= kT V (
2mkT
h
2
)
3
2
g5
2
(z) +kT ln(1 z)
= kT
V
3
g5
2
(z) +kT ln(1 z) . (5.5.15)
Hierbei haben wir wieder g
n
(z) aus 5.5.9 verwendet und die Konstanten durch die
thermischen Wellenlnge .
.
= (
h
2
2mkT
)
1
2
ausgedrckt. Diese thermische Wellenlnge
ist deniert als die Wellenlnge eines freien quantenmechanischen Teilchens mit der
Energie: E .
.
= kT =

2
k
2
2m
=
h
2
2m
2
.
Fr die vorgegebene mittlere Teilchenzahl N erhalten wir mit 5.5.6 und
N
0
.
.
=
1
e
(E
0
)
1

1
e
1
=
1
z
1
1
=
z
1 z
,
N(T, V, ) =
L1
i
x
i
y
i
z
=1
1
e
(E
i
x
i
y
i
z
)
1
+N
0
_
0
_
0
_
0
di
x
di
y
di
z
1
z
1
e
E
i
x
i
y
i
z
1
+N
0
=
1
8
di
x
di
y
di
z
1
z
1
e
E
i
x
i
y
i
z
1
+N
0
=
4
8
_
0
di i
2
1
z
1
e
E
i
x
i
y
i
z
1
+N
0
=

2
(
2mL
2
2
)
3
2
1
2
_
0
dE E
1
2
1
z
1
e
E
1
+N
0
= 2 (
2mL
2
h
2
)
3
2
_
0
dE E
1
2
1
z
1
e
E
1
+N
0
= 2 (
2mL
2
h
2
)
3
2
1
3
2
_
0
dx
x
3
2
1
z
1
e
x
1
+N
0
= 2V (
2mkT
h
2
)
3
2
_
0
dx
x
3
2
1
z
1
e
x
1
+N
0
= 2V (
2mkT
h
2
)
3
2
(
3
2
) g3
2
(z) +N
0
= 2V (
2mkT
h
2
)
3
2
1
2

g3
2
(z) +N
0
= V (
2mkT
h
2
)
3
2
g3
2
(z) +N
0
=
V
3
g3
2
(z) +N
0
. (5.5.16)
Jetzt wollen wir kurz noch die Temperatur-Abhngigkeit von z, bzw. von , und die
damit verbundene Bose-Einstein-Kondensation (Ansammlung der Bosonen im Grund-
zustand E
0
) betrachten.
N = N
E
+N
0
.
.
=
V
3
g3
2
(z) +N
0
= V
_
2mkT
h
2
_3
2
g3
2
(z) +
z
1 z
, (5.5.17)
N
E
N
max
E
= V
_
2mkT
h
2
_3
2
(
3
2
) 2.6 V
_
2mkT
h
2
_3
2
. (5.5.18)
Fr hohe Temperaturen und nicht zu groe Dichten n =
N
V
ist N
max
E
> N und nahezu
alle Teilchen benden sich in den hheren Enegieniveaus - also wird z 0 sein, d.h.
. Bei hheren Dichten oder bei sehr tiefen Temperaturen (T 0) werden
die hheren Energieniveaus aber nicht mehr alle Teilchen aufnehmen knnen, da dann
N > N
max
E
ist und mehr und mehr Teilchen werden den Grundzustand bevlkern:
N N
0
z 1, bzw. 0. Man kann eine kritische Temperatur T
c
denieren, bei
welcher der bergang der Bosonen in den Grundzustand beginnt:
N = N
max
E
N = V
_
2mkT
c
h
2
_3
2
(
3
2
) ,
kT
c
= (
n
(
3
2
)
)
2
3
h
2
2m
. (5.5.19)
Fr den Druck gilt nach 5.5.8:
p(T, V, ) =
1
V
(T, V, ) =
kT
3
g5
2
(z)
kT
V
ln(1 z) . (5.5.20)
Hier knnen wir eine Unterscheidung in T < T
c
und T > T
c
vornehmen.
Fr kleine Temperaturen, d.h. T < T
c
, gilt z 1:
p =
kT
3
g5
2
(z)
kT
V
ln(1 z)
kT
3
(
5
2
)
kT
V
ln(
1
N
) =
kT
3
(
5
2
) +kT
ln(N)
V
.
Im thermodynamischen Grenzfall (N , V , n =
N
V
= const.) verschwindet
ln(N)
V
und es gilt:
p =
kT
3
(
5
2
) fr T < T
c
. (5.5.21)
Fr groe Temperaturen, d.h. T > T
c
, gilt z < 1 und damit ist ln(1 z) endlich und
ln(1z)
V
verschwindet im thermodynamischen Grenzfall:
p =
kT
3
g5
2
(z)
kT
V
ln(1 z)
kT
3
g5
2
(z)
kT
3
(z +
z
2
2
5
2
+ ) . (5.5.22)
Aus 5.5.16 folgt bei hohen Temperaturen, wenn man nur den ersten Term der Entwick-
lungen von g5
2
(z) und g3
2
(z) bercksichtigt, das ideale Gasgesetz:
N =
V
3
g3
2
(z) =
V
3
(z +
z
2
2
3
2
+ ) z
N
V

3
p =
kT
3
N
V

3
pV = NkT . (5.5.23)
5.5.3 Ultrarelativistisches Bose-Gas (Photonen)
Zunchst einmal mu man bei Teilchen mit Ruhemasse m
0
= 0 die Frage des che-
mischen Potentials diskutieren. In diesem Fall ist es nmlich gar nicht mglich, die
Gesamtteilchenzahl N fest vorzugeben. Wegen der verschwindenden Ruhemasse ist es
ja ohne Energieaufwand mglich, beliebig viele Teilchen im Zustand E
0
= 0 zu erzeugen
und dem System ohne Kosten an Energie hinzuzufgen. Also setzen wir = 0, bzw.
z = 1, wodurch das grokanonische Potential (T, V, = 0) identisch mit der freien
Energie F(T, V ) wird.
Wir betrachten nun ein System nicht wechselwirkender, relativistischer, masseloser Bo-
sonen in einem Kasten mit den Kantenlngen L und mit (der Einfachheit halber) peri-
odischen Randbedingungen. Die Lsung der stationren Maxwell-Wellengleichung, oder
der Klein-Gordon-Gleichung mit Ruhemasse m
0
= 0 liefert dann:
2
c
2

2
= E
2
,
(

r ) .
.
= (x, y, z) = (x +L, y, z) = (x, y +L, z) = (x, y, z +L) ,
k
(

r ) =
1
L
3/2
e
i
r
, (5.5.24)

k =
2
L

i mit i
x
, i
y
, i
z
= L. . . 0 . . . (L 1) ,
E
k
= c[

k [ =
2c
L
(i
2
x
+i
2
y
+i
2
z
)
1/2
.
Wie oben wollen wir wieder das grokanonischen Potential 5.5.5 berechnen:
(T, V, = 0) = kT
L1
i
x
i
y
i
z
=L
ln(1 e
E
i
x
i
y
i
z
)
kT
di
x
di
y
di
z
ln(1 e
E
i
x
i
y
i
z
) .
Und wir gehen ebenfalls wieder von einer i
x
i
y
i
z
-Integration zu einer Energie-Integration
ber mittels:
E
i
.
.
= E
i
x
i
y
i
z
= c
2
L
i
i = (
L
2c
) E
i
und di = (
L
2c
) dE
i
.
(5.5.25)
(T, V, = 0) = kT 4
_
0
di i
2
ln(1 e
E
i
)
= kT
4V
(hc)
3
_
0
dE E
2
ln(1 e
E
)
= kT
4V
(hc)
3
_
_
_
1
3
E
3
ln(1 ze
E
)
_
_
0
dE
1
3
E
3
e
E
1 e
E
_
_
.
(T, V, = 0) =
4V
3(hc)
3
_
0
dE
E
3
e
E
1
=
4V
3(hc)
3
1
_
0
dx
x
41
e
x
1
=
4V
3(hc)
3
1
4
(4) g
4
(1) =
8V
(hc)
3
(kT)
4
(4) . (5.5.26)
Mit g
4
(1) = (4) =

4
90
folgt also:
(T, V, = 0) =
8V
(hc)
3
4
90
(kT)
4
. (5.5.27)
Fr die innere Energie ergibt sich mit 5.5.8:
U(T, V, = 0) = (T, V, = 0) T

T
V,
= 4 = 3 , (5.5.28)
und wenn wir hier 5.5.26 einsetzen und einen zustzlichen Faktor 2 fr die zwei Spin-
Freiheitsgrade der Photonen bercksichtigen, so erhalten wir gerade die Plancksche
Energieverteilung eines Schwarzen Krpers:
U(T, V )
Phot.
=
8V
(hc)
3
_
0
dE
E
3
e
E
1
. (5.5.29)
6 Regularisierung mit der spektralen
Zeta-Funktion
6.1 Stephen Hawking (*1942)
Abbildung 6.1: S. Hawking
[http://de.wikipedia.org/wiki
/Stephen_Hawking]
Stephen Hawking wurde 1942 in Oxford gebo-
ren, wohin seine im Norden von London leben-
den Eltern wegen der deutschen Luftangrie
auf London geohen waren. Sein Vater arbei-
tete bei Stephens Geburt als Biologe am Na-
tional Institute for Medical Research in Lon-
don. Das Interesse von Stephen Hawking an
Mathematik und Naturwissenschaften wurde
wohl hauptschlich durch seinen Mathematik-
Lehrer geweckt. Er studierte dann Physik am
University College in Oxford und sein Haupt-
interesse galt Themodynamik, Relativitt und
Quantenmechanik. Hawkings Physik-Tutor in
Oxford, R. Berman sagte spter ber seinen
Schler: It was only necessary for him to
know that something could be done, and he
could do it without looking to see how other
people did it. ... He didnt have very many
books, and he didnt take notes. Of course, his
mind was completely dierent from all of his
contemporaries.
Nach seinem Batchelor-Abschlu 1962 wech-
selte Hawking zur Fortsetzung seines Studi-
ums an die Universitt Cambridge. Kurz danach wurde bei ihm die neuromuskulre
Krankheit ALS (Amyotrophe Lateralsklerose) diagnostiziert und ihm eine Lebenser-
wartung von 2-3 Jahren prognostiziert. Nachdem sich sein Gesundheitszustand etwas
stabilisiert hatte, heirateten er und Jane Wilde und sie bekamen drei gesunde Kin-
der. Durch die Untersttzung seiner Frau und seines Doktorvaters Dennis Sciama hatte
Hawking dann den Mut, 1965 mit seiner Doktorarbeit zu beginnen. Bei einem Gastauf-
enthalt 1985 am CERN in Genf erlitt Hawking eine Lungenentzndung, die einen Luft-
rhrenschnitt notwendig machte, wodurch Hawking seine Sprechfhigkeit verlor und nur
noch ber einen Sprachcomputer kommunizieren konnte. 1990 erfolgte die Scheidung
von Jane Wilde. Danach lebte Hawking mit seiner Pegerin Elaine Mason zusammen
106 6 Regularisierung mit der spektralen Zeta-Funktion
und beide heiratete 1995. Im Jahr 2006 trennten sich Hawking und Mason.
Hawking hatte von 1979 bis zum Jahr 2009 den berhmten Lucasischen Lehrstuhl der
Mathematik an der Universitt von Cambridge inne, an dem vor ihm u.a. Newton und
Dirac gewirkt hatten.
Seine wichtigsten Beitrge zur theoretischen und mathematischen Physik sind: die
Singularitten-Stze der Allgemeinen Relativittstheorie (zusammen mit Roger Pen-
rose), das No-Hair Theorem (zusammen mit Carter, Israel, Robinson), welches besagt,
da ein klassisches Schwarzes Loch durch drei Gren (Masse, Drehimpuls, elektrische
Ladung) vollstndig beschrieben ist, die Bekenstein-Hawking Strahlung eines Schwar-
zen Loches. Im Zusammenhang mit seinen Forschungen zu einer quantenmechanischen
Beschreibung von Schwarzen Lchern mit der Methode der Euklidischen Pfadintegral
Quantengravitation fhrte Hawking die Methode der Zeta-Funktions-Regularisierung in
die Physik ein (Hawking (1977)).
Darber hinaus arbeitete Hawking ber Quantenkosmologie, kosmische Ination nach
dem Big Bang, Topology und Struktur des Universums, Wurmlcher, Yang-Mills In-
stantonen, Anti-de-Sitter-Rume, Entropie und Zeitpfeil, Supergravitation und String-
Theorien, Gravitationswellen, und, und, und ...
Daneben verfate er eine Reihe populrwissenschaftlicher Bcher, am bekanntesten
sind: Eine kurze Geschichte der Zeit (engl. 1988), Das Universum in der Nussschale
(engl. 2001), Giganten des Wissen (engl. 2002), Die krzeste Geschichte der Zeit
(engl. 2005). Zusammen mit seiner Tochter Lucy verentlichte er auch zwei Kinder-
bcher.
Hawking erhielt sehr viele Preise, Auszeichnungen und Ehrungen, so etwa 1979 die
Albert Einstein Medaille und 1988 den Wolf Prize in Physics. [Quelle: Wikipedia-
Hawking (2010)]
6.2 Spektrale Zeta-Funktion bei bekanntem Spektrum
Sei

H der Hamilton-Operator unseres Quantensystems, plus Randbedingungen, plus
einem mglichen Hintergrundfeld, plus einer mglicherweise nichttrivialen Metrik (die
eine gekrmmte Raumzeit beschreibt), so fhrt das alles aus mathematischer Sicht
letztlich einfach zu einem entsprechenden Dierential-Operator

A mit gewissen Rand-
bedingungen.
Das Auftreten von Divergenzen, insbesondere UV-Divergenzen in den Quantenfeldtheo-
rien, zeigt aber, da diese lokalen Theorien nicht bis zu beliebig kleinen Wellenlngen
(d.h. hohen Energien) gltig sein knnen.
Damit stellt sich die Frage, ob es mglich ist im Rahmen der bisherigen Theorien ge-
wisse Zusatzforderungen zu stellen, welche die genannten Divergenzen beseitigen und
es uns erlauben diese Quantenfeldtheorien im Bereich niedriger oder mittlerer Energien
sinnvoll zu verwenden. Diese Idee wurde tatschlich in vielen Fllen unter den Begrien
Regularisierung & Renormierung erfolgreich durchgefhrt. Wir wollen uns hier nur mit
6.2 Spektrale Zeta-Funktion bei bekanntem Spektrum 107
dem Thema Regularisierung beschftigen, und auch dieses Thema einschrnken auf die
Zeta-Funktion-Regularisierung.
Der einfachste, naheliegendste und auch gelegentlich angewandte Ansatz ist es natrlich,
das (Energie-) Spektrum der Operators

A nach oben mit einer Frequenz-Abschneide-
Funktion (,
c
) zu begrenzen.
Ein anderer Weg besteht darin, in unseren zu berechnenden physikalischen Gren auf
denierte Weise die auftretenden Pole zu entfernen. Ein mathematisch besonders gut
denierter und einsichtiger Weg besteht in der Methode der analytischen Fortsetzung in
der komplexen Ebene. Man deniert die zu berechnende physikalische Gre zunchst
in einem Bereich der komplexen Ebene, in welchem die Konvergenz gesichert ist und
dehnt dann diese Denition mittels analytischer Fortsetzung auf jene Punkte aus, an
denen man die physikalische Gre tatschlich berechnen mchte (sofern dieser Punkt
nicht gerade ein Pol ist). Als Vorbild dient das Vorgehen bei der Riemannsche Zeta-
Funktion (s), die ja als Reihe zunchst auch nur fr Werte von s > 1 deniert ist, sich
aber analytisch eindeutig auf die ganze komplexe Ebene (mit Ausnahme des Pols bei
(s = 1) fortsetzen lt.
Die beiden prominentesten Methoden der Regularisierung durch analytische Fortset-
zung sind die Dimensions-Regularisierung und die Zeta-Funktion-Regularisierung. Ste-
phen Hawking hat gezeigt, da die Dimensions-Regularisierung in gekrmmten Raum-
zeiten, etwa in der Schwarzschild-Metrik, sich nicht mehr eindeutig durchfhren lt
und hat bei dieser Gelegenheit die Zeta-Funktion-Regularisierung in die Physik einge-
fhrt, die wir im weiteren betrachten wollen.
Beginnen wir erneut mit den Pfadintegralen. Wir haben oben die Pfadintegrale als
Grenzwerte einfach formal abgeleitet, ohne uns mit den problematischen Fragen der
Existenz dieser Grenzwerte zu beschftigen. Wenn man sich etwa das Funktionalintegral
4.6.3 als Grenzwert endlich-dimensionaler Integrale, 4.6.2, hinschreibt, also:
Z .
.
= lim
M
Z
M
.
.
= lim
M
N
t
M

q(1)
_
q(0)
dq
0
_
(
M1
k=1
dq
k
)
M
k=1
e
1
2
(q
k

Aq
k
)
.
dann kann man fr jedes endliche M das Funktionalintegral Z
M
als Z
M
= N
t
M

(det

A
M
)
1/2
berechnen (wobei man noch versuchen wird, N
t
M
in das Ma

dq
k
zu
stecken). Man beachte auch, da dq
0
und damit

A so umskaliert werden mssen, da
A jetzt dimensionslos ist (siehe etwa die Herleitung von 4.10.8). Wenn die Folge dieser
Z
M
konvergiert, dann kann man die Determinante des Operators

A (ein Operator in
einem unendlichen Hilbertraums) als diesen Grenzwert Z = lim
M
Z
M
denieren:
(det

A)
1/2
.
.
= Z = lim
M
Z
M
= lim
M
(det

A
M
)
1/2
.
Manchmal aber, insb. in Quantenfeldtheorien, existiert dieser Grenzwert nicht, und es
stellt sich dann die Frage, ob und ggf. wie man dem Funktionalintegral doch vielleicht
eine sinnvolle Bedeutung geben kann.
Eine Methode der Regularisierung des obigen Funktionalintegrals ist es, als Verallge-
meinerung der normalen Determinante eines Operators eine regularisierte Determinante
des Operators

A zu denieren. Wie oben bereits ganz allgemein gesagt, lt man sich
von der Idee der analytischen Fortsetzung in die komplexen Ebene leiten.
Sei

A ein selbstadjungierter, nichtnegativer Operator mit den diskreten dimensionslo-
sen Eigenwerten
i
(wir setzen entsprechende Randbedingungen, z.B. System in einem
endlichen Kasten voraus). Dann denieren wir die spektrale Zeta-Funktion
A
(s) als:
A
(s) .
.
=

i=1
1
s
i
. (6.2.1)
Sei zum Beispiel

A = n der dimensionslose Hamilton-Operator des eindimensionalen
Oszillators ohne Nullpunkt-Energie, also
i
= i, dann ist die zugehrige spektrale Zeta-
Funktion gerade die Riemannsche Zeta-Funktion
A
(s) =
R
(s):
A
(s) =

i=1
1
i
s
=
R
(s) .
Bei einem Spektrum von
i
= a(i + b) erhalten wir fr
A
(s) die Hurwitzsche Zeta-
Funktion
H
(s) und bei einem Spektrum von
i
= a(i
2
1
+ i
2
2
) eine Epsteinsche Zeta-
Funktion
E
(s).
Wenn das Spektrum bekannt ist und sich mittels einer der verallgemeinerten Zeta-
Funktionen beschreiben lt, so kann man als regularisierte spektrale Zeta-Funktion
einfach die analytische Fortsetzung der entsprechenden Zeta-Funktion vom Riemann-,
Hurwitz- oder Epstein-Typ verwenden.
6.3 Casimir-Eekt
Dieser Abschnitt sttzt sich auf die Arbeiten von Elizalde (1995) und Hawking (1977).
Es war ja insbesondere diese klassische Arbeit von Hawking, welche die Methode der
Regularisierung mittels der spektralen Zeta-Funktion in der Physik etabliert hat.
Wir betrachten ein masseloses Skalarfeld (bzw. ein Photonenfeld) in einem Kasten mit
den Kantenlngen dLL. Dieses Feld beschreiben wir mit der Klein-Gordon-Gleichung
mit Ruhemasse m
0
= 0 :
2(

r , t) .
.
=
_
1
c
2
2
t
2

2
_
(

r , t) = 0 . (6.3.1)
Fr die Zeitabhngigkeit whlen wir wie blich
(

r , t) = (

r ) e
it
c
2

2
(

r ) =
2
(

r ) . (6.3.2)
6.3 Casimir-Eekt 109
Wir whlen der Geometrie entsprechend Dirichlet-Randbedingungen
(0, y, z) = (x, 0, z) = (x, y, 0) = 0 ,
(d, y, z) = (x, L, z) = (x, y, L) = 0 , (6.3.3)
und erhalten als Lsung
k
(

r ) =
1
d
1/2
L
2/2
e
i
r
,

k =
_
_
_
_
_
k
x
k
T
_
_
_
_
_
=
_
_
_
_
_
d
n
L

i
T
_
_
_
_
_
mit
_
_
_
n = d . . . 0 . . . (d 1) ,
i
y
, i
z
= L. . . 0 . . . (L 1) ,
k
= c [

k [ = c ((
d
n)
2
+
k
T
2
)
1
2
. (6.3.4)
Die Nullpunkt-Energiedichte oder Vakuum-Energiedichte dieses Feldes ist
E
0
=
1
V
1
2
k
(6.3.5)
=
1
V
c
2
d1
n=d
L1
i
y
i
z
=L
((
d
n)
2
+
k
T
(i
y
, i
z
)
2
)
1
2
1
V
c
2
n=
di
y
di
z
((
d
n)
2
+
k
T
(i
y
, i
z
)
2
)
1
2
=
1
V
c
2
L
2
(2)
2
n=
dk
y
dk
z
((
d
n)
2
+k
2
y
+k
2
z
)
1
2
=
1
V
c
2
L
2
(2)
2
n=
_
0
(2k) dk ((
d
n)
2
+k
2
)
1
2
=
c
4d
n=
_
0
dk k ((
d
n)
2
+k
2
)
1
2
.
Oensichtlich divergiert diese Energiedichte wegen der hochfrequenten Anteile (UV-
Divergenz). Die klassische Lsung dieses Problems stammt von Casimir aus dem Jahr
1948, siehe Greiner (1993), S. 159 . Casimir fhrt zunchst ein UV-Abschneideverfahren
(UV-cuto ) ein, indem er E
0
durch ein E
ersetzt
E
=
1
V
1
2
k
e

k
c
, (6.3.6)
danach die Dierenz der Energiedichten zweier verschiedener Kasten-Kongurationen
berechnet (d L):
E
R
() .
.
=[E
(d, L, L) +E
(L d, L, L)] [E
(
L
2
, L, L) +E
(
L
2
, L, L)] (6.3.7)
bildet und zum Schlu im Abschneideparameter den Grenzbergang 0 durchfhrt:
E
R
.
.
= lim
0
E
R
() . (6.3.8)
Statt dieses Casimir-Verfahrens soll hier zur Regularisierung des Ausdrucks der Vakuum-
Energiedichte die Regularisierung mittels der Zeta-Funktion Methode vorgefhrt wer-
den werden. E
0
ist bis auf einen Vorfaktor gerade gleich der spektralen Zeta-Funktion
A
(s) mit

A = (c
2

2
)
1/2
an der Stelle s = 1. Wir berechnen also zunchst die Funk-
tion

E
0
(s)
A
(s) mit einem s R, s > 0 und whlen s so gro, da

E
0
(s) konvergiert.
Anschlieend setzen wir dieses

E
0
(s), genau wie die Riemannsche Zeta-Funktion, ana-
lytisch fort zum Wert s = 1:
E
0
(s) .
.
=

2V
k
=

2V

A
(s) mit E
0
=

E
0
(1) , (6.3.9)
E
0
(s) .
.
=
c
4d
n=
_
0
dk
k
((
d
n)
2
+k
2
)
s
2
(6.3.10)
=
c
4d
_
0
dk k
1s
+
c
4d
2

n=1
_
0
dk
k
((
d
n)
2
+k
2
)
s
2
.
Der erste Term
_
0
dk k
1s
, der vom Summanden n = 0 (und damit letztlich von unseren
periodischen Randbedingungen) herrhrt, scheint fr groe positive s eine Infrarot-
Divergenz zu ergeben. Wenn wir aber die Kastenlnge L endlich lassen, so ist der
kleinstmgliche k-Wert gerade =
2
L
und der Wert des Integrals
2s
. Setzen wir
dies analytisch fort zu s = 1 und lassen erst dann das Kastenvolumen gegen unendlich
gehen (L , d.h. 0), so sehen wir, da der Beitrag dieses Integrals verschwindet.
E
0
(s) =
c
2d
n=1
(
d
n)
2s
_
0
dk
t
k
t
(1 +k
t2
)
s
2
.
Mit der Substitution t = k
t2
, k
t
=
t , dk
t
=
1
2
1
t
dt folgt:
E
0
(s) =
c
2d
n=1
(
d
n)
2s
_
0
dt
1
2
(1 +t)
s
2
=
c
4d
n=1
(
d
n)
2s
_
0
dt
t
(1)1
(1 +t)
(1)+(
s
2
1)
.
6.3 Casimir-Eekt 111
Das Integral erkennt man mit C.4.2 (oder Abramowitz u. Stegun (1970), 6.2.1) gerade
als einen speziellen Wert der Beta-Funktion, die dann mit C.4.3 (oder Abramowitz u.
Stegun (1970), 6.2.2) auf ein Produkt von Gamma-Funktionen zurckgefhrt werden
kann:
E
0
(s) =
c
4d
n=1
(
d
n)
2s
B(1,
s
2
1) =
c
4d
n=1
(
d
n)
2s
(1)(
s
2
1)
(
s
2
)
=
c
4d
(
d
)
2s
(
s
2
1)
(
s
2
)
n=1
n
2s
=
c
4d
(
d
)
2s
(
s
2
1)
(
s
2
)
(s 2) .
Mit Hilfe der Reektionsformel fr die Zeta-Funktion D.8.3 (oder Abramowitz u. Stegun
(1970), 23.2.6):
(x) = 2
x
x1
sin(
x
2
)(1 x)(1 x) (6.3.11)
ergibt sich
E
0
(s) =
c
4d
(
d
)

Sprache

Zeta-Funktionen in Der Physik

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Zeta-Funktionen in Der Physik

Hochgeladen von

Copyright:

Verfügbare Formate

Zeta-Funktionen in der Physik -

(t) +c(t)) , p(t) = i

(t) c(t)) . (2.1.9)

2m [c(0)[ (sin(t )) . (2.1.14)

(t) + c(t)) , p(t) = i

(t) c(t)) . (2.2.2)

(einseitig) unitr sein mu, also:

auf Besetzungszahlen-Zustnde [ n):

einen cos-, bzw. sin- Operator denieren, die dann selbst-

] ergeben sich im Vakuumzustand [ 0), bzw. fr Zu-

fr alle Zustnde, mit Ausnahme des Vakuums, gleichzeitig exakt

tauchen also nur Terme mit

n + 1, . . .) gelesen werden und

n [ n) und daraus folgt:

d[[ d = 2[[ d[[ d , (3.3.15)

vllig analog folgt:

. Damit erhalten wir fr die obige Reihe:

berechnen zu knnen, bentigen wir als nchstes

, so sehen wir, da wir mit den kohrenten Zustnden auch hier

[ x)[[ = [[A [ x)[[ (siehe etwa Hassani

konvergiert (siehe 6.7.3 oder Schwarz (1993), S.132 .). An-

M ist gerade der

78 4 Das gewhnliche Pfadintegral in der Quantenmechanik

links von den jeweiligen

-Operatoren links von