Professional Documents
Culture Documents
G. Takács
1
L = − Fµν F µν + ψ̄ i γ µ (∂µ + ieAµ ) − m ψ Fµν = ∂µ Aν − ∂ν Aµ
4
Theory of the photon and the electron/positron field
(Origins: Dirac, Pauli, Weisskopf, Jordan; 1927-)
Experimental confirmation of QED
e2
α= fine structure constant
4πε0 h̄c
F h̄c π 2
=−
A 240a4
A macroscopic prediction of QED:
1 µ m distance: 8.169 × 10−3 Pa
Lamoreaux,
1996:
experimental
verification
within 5%
Naive derivation: from vacuum energy I
Scalar field with Dirichlet BC (units: h̄ = 1 = c)
φ (z = 0) = φ (z = a) = 0
r
1 ∞ d 2k
Z nπ 2
1
E = ∑ h̄ω = ∑ k 2+
2 2 n=1 (2π )2 a
This is divergent, but we can use dimensional regularization.
Using
Z ∞ Z π d/2
dt −n −zt 2
t e = Γ(−n)z n d d k e −tk =
0 t t
we can write
ddk
Z Z
∞ dt
1 2 2 2 2 1
E = ∑ d
t −1/2 e −t(k +n π /a )
2 n (2π ) 0 t Γ(−1/2)
Z ∞
1 1 dt −1/2−d/2 −tn2 π 2 /a2
=− √ ∑
4 π (4π )d/2 n 0 t
t e
Naive derivation: from vacuum energy II
Z
∞ dt
1 1 2 2 2
E =− √ d/2 ∑ t −1/2−d/2 e −tn π /a
4 π (4π ) n 0 t
1 1 π 1+d d +1
=− √
4 π (4π )d/2 a
Γ −
2 ∑ nd+1 Re d < −1
n
1 1 π 1+d d + 1
=− √ Γ − ζ (−d − 1) Re d < −2
4 π (4π )d/2 a 2
= ∞·0 for d positive odd integer
Physical: d ∈ N → analytic continuation is needed!
z
−z/2 1−z
Γ ζ (z)π =Γ ζ (1 − z)π −(1−z)/2
2 2
1 1 d π2 1
E = − d+2 d/2+1 d+1 Γ 1 + ζ (2 + d) → −
2 π a 2 d=3 1440 a3
∂E π2 1
Pressure: F = − =− EM: 2×
∂a 480 a4
Outline
2π d/2
Z
2 Γ(d/2)
= Ωd x d−1 e −x dx = Ωd ⇒ Ωd =
2 Γ[d/2]
Use
22z−1/2 y s−1
Z ∞
Γ(2z) = √ Γ(z)Γ(z + 1/2) Γ(s)ζ (s) = dy
2π 0 ey − 1
to get
Γ(1 + d/2)ζ (d + 2) ∂
F = −(d + 1)2−d−2 π −d/2−1 d+2
= − E (a)
a ∂ a
1 1 d
with E (a) = − d+2 d/2+1 d+1 Γ 1 + ζ (2 + d)
2 π a 2
Outline
−(∂ 2 + m2 )G (x, x ′ ) = δ (x − x ′ )
d d k i~k·(~x−~x ′ )
Z Z
d ω −i ω (t−t ′ )
G (x, x ) = ′
e e g (z, z ′ |~k, ω )
(2π )d 2π
2
∂
− − λ 2
g (z, z ′ ) = δ (z − z ′ ) λ 2 = ω 2 − k 2 − m2
∂z2
g (0, z ′ ) = g (a, z ′ ) = 0
√
κddκ
Z ∞
κ 2 + m2
F = −Ωd+1 √
0 (2π )d+1 e 2a κ 2 +m2 −1
Massive scalar field II; EM field; fermions
1 1
Z ∞ √
2 2 2
E = dt t d log 1 − e 2 t +m a
ad+1 2d+1 π (d+1)/2 Γ( d+1
2 ) 0
ma d/2+1 1 ∞ 1
= −2
4π ∑ nd/2+1 Kd/2+1 (2n ma)
ad+1 n=1
r
π −x
Kn (x) ∼ e 1 + O(x −1 )
2x
so the effect decays exponentially with ma.
For the EM field between perfectly conducting planes one needs to
consider 2 independent polarizations: 2× the result for scalar with
Dirichlet BC.
For fermions
L = ψ̄γ µ ∂µ ψ
proper BC is that no conserved current flows out (bag model):
(1 +~n · ~γ )ψ |S = 0
d s
For T → ∞ expand exponential and use log ξ = ds ξ s=0
s
d d~k ∞
1 2s n2 π 2
Z
1 d
+ k2
F ∼ TV
2a ds (2π )d+1 ∑ β 2
n=−∞ 2 a
s=0
1 d +1
= −TV √ Γ ζ (d + 1)
(2 π a)d+1 2
High-temperature limit is classical
s
d d~k ∞
n2 π 2
Z
1 d 1 2s
∑ + k2
F ∼ TV β
2a ds (2π )d+1
n=−∞ 2 a2
s=0
Now do the momentum integral, perform the summation using
ζ -function and use
d 1
= −1
ds Γ(−s) s=0
So the free energy is
1 d +1
F = −TV √ Γ ζ (d + 1)
(2 π a)d+1 2
Now the pressure is
∂F ∂ 1 ∂
F =− V = Aa ⇒ =
∂V ∂V A ∂a
and this gives the same result
d d +1
FT = −T √ Γ ζ (d + 1)
(2 π a)d+1 2
Low-temperature limit
Γ(1 + d/2)ζ (d + 2)
F ≈ −(d + 1)2−d−2 π −d/2−1
ad+2
d+2 !
1 2a
× 1+
d +1 β
Z∞ Z
1 1 1
F T =0
=− d ζ d 2~k2κ3 + ′
16π 3 0 d d
κ3 + κ1 κ3 + κ2 2κ3 a
TE: d = e −1 TM: d ′ = d(κ → κ /ε )
κ3 − κ1 κ3 − κ2
κ 2 = k 2 + εζ 2 (ζ = i ω )
Finite temperature:
2π n
ζ → ζn =
β
Z ∞ ∞
dζ 1
0 2π
→
β ∑′ (n = 0 with half weight)
n=0
Controversy over thermodynamics
One can rewrite the force (ε1 = ε2 = ε and ε3 = 1)
∞ A e −2qa Bn e −2qa
Z ∞
T ′ n
FT = − q 2 dq
π ∑ ζn
+
1 − An e −2qa 1 − Bn e −2qa
n=0 | {z } | {z }
TM mode TE mode
ζn = 2π nT
2
εp − s 2 p−s
An = Bn =
εp + s p+s
q
s 2 = ε − 1 + p2 p=
ζn
first ε → ∞ then ζ → 0 : B0 → 1
first ζ → 0 then ε → ∞ : B0 → 0
Reflectivity of metals
In terms of reflectivity
(1) (2) (1) (2)
An = rTM (i ζn ,~k⊥ )rTM (i ζn ,~k⊥ ) Bn = rTE (i ζn ,~k⊥ )rTE (i ζn ,~k⊥ )
Ideal metals ε = ∞
rTM (ω ,~k⊥ ) = 1 rTE (ω ,~k⊥ ) = −1
so An = Bn = 1 for all n.
For real metals ε < ∞
rTM (0,~k⊥ ) = 1 rTE (0,~k⊥ ) = 0
so B0 = 0, and stays so in the limit ε → ∞.
Casimir free energy per unit surface
∞ Z ∞
T
∑′ qdq log 1 − An e −2qa + log 1 − Bn e −2qa
F=
2π n=0 ζn | {z } | {z }
TM mode TE mode
∂F
FT = −
∂a
Ideal metal
Ideal metal: An = Bn = 1 for all n. Then
π2 1 4
FT = − 1 + (2aT ) aT ≪ 1
240a4 3
π2 45ζ (3)
(2aT )3 4
F =− 1 + −(2aT ) ζ (3) ≈ 1.2
720a3 | π 3
{z }
requires special care
Entropy
∂F 3ζ (3) 2 4π 2 a 3
S =− = T − T aT ≪ 1
∂T 2π 45
This is fine: S(T → 0) = 0.
Modified ideal and Drude metals
Drude model
2
ωplasma
ε (i ζ ) = 1 +
ζ (ζ + ν )
very good model for many metals in optical experiments for
ζ < 2 · 1015 Hz
(e.g. gold: ωp = 9.03 eV , ν = 0.0345 eV ). Whenever
lim ζ 2 (ε (i ζ ) − 1) = 0
ζ →0
ν (T → 0) 6= 0
A flying carpet!
Outline
Z
1
W [K ] = dxdx ′ K (x)G (x, x ′ )K (x ′ )
2
Effective field
Z
φ (x) = dx ′ G (x, x ′ )K (x ′ )
Z
K (x) = dx ′ G −1 (x, x ′ )φ (x ′ )
Z Z
i ′ ′ i−1 ′
δW = dxdx G (x, x )δ G (x, x ) = − dxdx ′ δ G (x, x ′ )G −1 (x, x ′ )
2 2
Z
i i
=− dxdx ′ δ log G (x, x ′ ) = − δ Tr log G
2 2
so
i
E = lim (Tr log G − Tr log Gref )
T →∞ 2T
where Gref is the value at some reference state (e.g. with bodies
infinite distance apart).
Radiative correction for electromagnetic field
Use perturbative form of G with Π as polarization
G = G0 (1 + ΠG0 + . . . )
E π2 απ 2
E = =− + + O(α 2 )
A 720a3 2560me a4
This is suppressed by
α me−1
a
and is inobservable in practice
Redefining Γ:
α
| {z }
functional Dirac delta
Performing the Φ integral
So
Z Z
i
ZC (k) = [D φ (~x , k)]C ∏ [D ρα (~x)D ρα∗ (~x)] e h̄ T S̃(φ ,ρ )
α
Z
S̃(φ , ρ ) = d ~x k 2 |φ (~x, k)|2 − |∇φ (~x, k)|2
3
Z
+ d 3~x (ρα (~x)∗ φ (~x , k) + c.c.)
Σα
Z ∞
h̄c det MC (i κ )
EC = − d κ ln
π 0 det M∞ (i κ )
T−
1
1
U12 ··· U1N T−
1
1
0 ··· 0
U21 T−
2
1
··· U2N
0 T−
2
1
··· 0
M(k) = .. .. .. .. M∞ (k) = .. .. .. ..
. . . . . . . .
UN1 UN2 ··· T−
N
1
0 0 ··· T−
N
1
d d~k
Z
1 ~k)e −i ω (~k)t+i~k·~x + a† (~k)e +i ω (~k)t−i~k·~x
Φ(~x, t) = q a(
(2π )d/2 2ω (~k)
Z Z
1 1 2
H = d d~xT00 = d d~x (∂t Φ)2 + ~∇Φ
2 2
Z d ~ h i
=
d k
ω (~k) 1 a† (~k)a(~k) + a(~k)a† (~k)
(2π )d 2
d d~k d d~k 1 ~
Z Z
= d
ω (~k)a† (~k)a(~k) + ω (k)δ (0)
(2π ) (2π )d 2
p̂ 2
Ĥ = + V (q̂)
2M
Explanation: this comes from correspondence principle
d i
Ô = [Ĥ, Ô] [q̂, p̂] = i h̄
dt h̄
d p̂ d
q̂ = p̂ = −V ′ (q̂)
dt M dt
h̄ → 0: q̂,p̂ commute ⇒ simultaneously diagonalizable ⇒
eigenvalues obey classical equations of motion.
The naive vacuum energy density and the QFT Hamiltonian
A perfectly good Hamiltonian for QFT is given by
Z Z
1 1 2
H = d d~xT00 = d d~x : (∂t Φ)2 + ~∇Φ :
2 2
Z d
d k ~ 1 †~ ~
Z
d d~k
= ω (~
k) : a (k)a(k) + a(~
k)a † ~
(k) := ω (~k)a† (~k)a(~k)
(2π )d 2 (2π )d
Moral: QFT does not predict vacuum energy density! Some other
interaction is needed ⇒ gravity.
Einstein’s “greatest mistake”:
1 8π G
Rµν − gµν R + λ gµν = Tµν
2 c4
(λ )ν c 4λ ν
Tµ =− g = E gµν
8π G µ
Cosmological constant: p = −E . Present concordance cosmology
(ΛCDM):
J
E ∼ 5.4 × 10−10 3
m
Outline
e 1 ~2 e2
E= ⇒ E = ε 0 E =
4πε0 r 2 2 32π 2 ε0 r 4
Field energy:
e2
Z ∞
4π r 2 E dr =
r0 8πε0 r0
r0 = 0: divergent! Renormalization:
e2
mphys c 2 = m0 c 2 +
8πε0 r0
mphys : physical mass: the only observable.
Radius of the electron
Physical mass
e2
mphys c 2 = m0 c 2 +
8πε0 r0
m0 = 0: classical electron radius
r0 ∼ 10−15 m
QED self-energy:
! !
2
λCompton
2 2 3α 1 2
m0 c = mphys c 1− log + + O(α )
4π r02 2
λCompton = 2.4263102175(33) × 10−12 m
r0 ∼ 10−18 m : 5% correction.
Theoretical limit: m0 > 0 → r0 > 10−136 m
Two point charges
~ =E
E ~1 + E
~2 → ~2
E = 21 ε0 E
Z
E(d) = d 3~xE
still divergent for r0 = 0
e1 e2 1 1
but: E(d1 ) − E(d2 ) = − finite!
4πε0 d1 d2
e1 e2
Interaction energy: Eint (d) =
4πε0 d
This works because
Z
WLorentz = − d 3~x∆E
Outline
~
d1 · ~
d2 r 2 − 3(~d1 ·~r )(~d2 ·~r)
Hint =
r5
h0|Hint |mihm|Hint |0i
Veff = ∑ ∝ r −6
m6=0 E0 − E m
Energy density
1 3 i 3
h0|T00 (x)|0i = ∑ h0|∂k Φ(x)∂k Φ(x)|0i = lim ∑ ∂k ∂k′ G (x, x ′ )
2 k=0 2 x ′ →x k=0
0 0 0 −1
Moving boundary II
Solution for x3 > vt: use Lorentz transform to get into system of
K ′ , find image, transform back.
> ′ i 1 1
G (x, x ) = 2 −
4π (x − x ′ )2 (x − SK ′ x ′ )2
cosh s 0 0 − sinh s
0 1 0 0 c −v
SK ′ =
0
s = log
0 1 0 c +c
sinh s 0 0 − cosh s
Electromagnetic case:
4
π2 10 2 v 2 v
F (a(t)) = − 4
1+ 2
− +O v ≪c
240a(t) π 3 c c4
3 (c 2 − v 2 )2 (c 2 − v 2 )4
=− 2 1 + + O v ≪c
8π a(t)4 16c 4 c8
Outline
Initial conditions
′
Qnk (0) = δnk Qnk (0) = −i ωn δnk
Equation of motion
Field equation gives
′′
Qnk (t) + ωk2 (t)Qnk (t)
" #
′
=∑ hkj 2ν (t)Qnj (t) + ν ′ (t)Qnj (t) − ν (t)2 ∑ hjl Qnl (t)
j l
cπk a′ (t)
ωk (t) = ν (t) =
a(t) a(t)
2kj
hkj = −hjk = (−1)k−j 2 j 6= k
j − k2
n1 (t) ≈ τ 2 τ ≪1
4
n1 (t) ≈ 2 τ τ ≫1 τ = εω1 τ
π
1
E (t) = ω1 ∑ knk (t) = ω12 sinh2 (2τ )
k 4
hT00 i = u + g (z)
π2
u=−
1440a4
1 1
Z ∞ yz y (1−z/a)
3e +e
g (z) = − 2 dyy
6π 16a4 0 ey − 1
1
=− [ζ (4, z/a) + ζ (4, 1 − z/a)]
16π 2 a4
∞
1
ζ (s, z) = ∑ Hurwitz zeta
n=0 (n + a)s
Energy density III
Z a h i 1 2κ a 10
dz e 2κ z + e 2κ (a−z) ==
log H-g Hz LL
e −1
0 κ 5
it is also a-independent and does not 0.0 0.2 0.4 0.6 0.8 1 .0
z a
contribute to the force.
Similar calculation gives Txx , Tyy , Tzz
1 0 0 0 1 0 0 0
0 −1 0 0 0 −1 0 0
hT µν i = u
0 0 −1 0 + g (z)
0 0 −1 0
0 0 0 3 0 0 0 0
Energy-momentum tensor
The energy-momentum tensor is not unique: instead of canonical
we may use the conformal one
1 µ ν
T̃ µν = T µν − ∂ ∂ − g µν ∂ 2 Φ2
6
for which
µ
T̃µ = 0
Then
1 0 0 0
0 −1 0 0 π2
hT µν i = u
0 0 −1 0 u=−
1440a4
0 0 0 3
p = −3u
e=u
Outline
1
−1
hT µν i = u θ (z)θ (a − z)
−1
3
π 2 h̄c z= 0 z= a
u=−
1440a4
Remarks:
1. Volume divergence („ZPE”) trivially eliminated.
d 3~k ~
Z
h̄
u0 = c k
2 (2π )3
Space-time: M = M4 × K
Λ µν
hT µν i = −u(a)g µν = − g
8π G
Case of a sphere: K = S N
Casimir energy of free massless scalar, for odd N
Z ∞
1 2π
u(a) = − 2 4
Re dy [y 2 − i (N − 1)y 2 ]D(iy ) 2π y
64π a 0 e −1
(2l + N − 1)(l + N − 2)!
Dl =
(N − 1)!l !
3ζ (5) 5 × 10−5
N = 1 : u(a) = − ≈ −
64π 6 a4 a4
For even N u(a) is logarithmically divergent; cutoff is necessary:
1 h a i
u(a) = αN log + const
a4 bZ
1 ∞ dt
αN = Im 2π t − 1
[(N − 1)it − t 2 ]2 D(it)
16π 2 0 e
b: frequency cut-off, presumably Planck scale. For large extra
dimensions a/b ∼ 1016 : logarithmic term sufficient for estimate.
Estimate for size of extra dimensions
GeV
Λ ∼ ρc ∼ 10−5
cm3
Maximum value for coefficient
10−3
u(a) ∼
a4
Restoring units using h̄c = 2 × 10−14 GeV cm we find
cm3
a4 ∼ 102 h̄c ∼ 10−12 cm4
GeV
a ∼ 10 µ m
e−r /λ
V (r ) = α
r
Presently: extra dimensions with size around 100 µ m are ruled out.
Outline
h̄e 4
ξ= 4 7
∆n ∼ 4 × 10−24 (Bext /1 Tesla)2
45π m c
PVLAS (Polarizzazione del Vuoto con LASer, INFN, Padova)
G. Zavattini et al, QFEXT11, arXiv:1201.2309
4
L 4
Graviton conversion very weak: P(γ → g → γ ) ∼ 10−83 B
1T 1m