Green
Green
For a simpler derivation of the Green function see Jackson, Sec. 6.4. We will proceed by
contour integration in the complex ω plane.
The Green function is a solution of the wave equation when the source is a delta function
in space and time,
1 ∂2
!
−∇ + 2 2 G(r, t; r 0 , t0 ) = 4πδ d (r − r 0 )δ(t − t0 ).
2
(1)
c ∂t
1 ∂2
!
−∇ + 2 2 G(r, t) = 4πδ d (r)δ(t).
2
(2)
c ∂t
We also set c = 1 for now; we can restore it at the end by dimensional analysis.
We define the Fourier transform of G according to
1 Z
G(r, t) = dd k dω ei(k·r−ωt) g(k, ω), (3)
(2π)d+1
whence Z
g(k, ω) = dd r dt e−i(k·r−ωt) G(r, t). (4)
Applying a Fourier transform to Eq. (2), we find that g satisfies the algebraic equation
1
ω
-k k
-k-i ε k-i ε
Now the integrand has poles at ω = ±k − i. Evaluation of the integral depends on the sign
of t. We want the solution to vanish for t < 0 — these are the initial conditions. Let’s see
if this is so. For t < 0 we close the integral with a semicircle at |ω| = R in the upper half
plane, since then the exponent is −iωt = +iω|t| ∼ −q|t| where ω = p + iq (see Fig. 1). The
contour integral is
I
1 Z
1
I≡ dω e−iωt 2 2
= G̃(k, t) + dω e−iωt 2 , (9)
k − (ω + i) R k − (ω + i)2
and we see that the integral along R indeed vanishes as R → ∞. The contour integral I
equals 2πi times the sum of the residues at the poles inside the contour—but there are no
poles inside the contour! So indeed the contour integral is zero, and hence G̃(k, t) = 0 when
t < 0. Transforming k → r, we see that G(r, t) = 0 for t < 0, which is the initial condition
we wanted.
Now we evaluate Eq. (8) for t > 0. We close the contour in the lower half plane this time
(see Fig. 2). Again the integral on the semicircle vanishes; but the contour integral does not
vanish: !
sin kt
I = −2πi [Res(−k − i) + Res(k − i)] = (−2πi) i (10)
k
So for t > 0
sin kt
G̃(k, t) = 2π , (11)
k
and thus
1 Z d ik·r 4π
G(r, t) = d ke sin kt. (12)
(2π)d k
Since G(r, t) satisfies the wave equation with the initial condition G = 0 for t < 0, it is
the retarded Green function. If we change i → −i in Eq. (8) we will get the solution that
vanishes for t > 0, which is the advanced Green function. Another possibility is to move one
pole above the real axis and the other below; this Green function doesn’t vanish in either
case, and it is the Feynman propagator that appears in quantum field theory. Since all these
Green functions solve the same partial differential equation, they must differ by solutions of
2
ω
-k k
-k-i ε k-i ε
the homogeneous equation. We choose to work with the retarded Green function because
its initial conditions make physical sense.
Let us complete the evaluation of G(r, t). In the integral over k in Eq. (12), we can
choose the z axis to lie along r and evaluate the integral in spherical coordinates. We will
do the calculation explicitly for d = 2 and d = 3.
First for d = 3:
1 Z 2 ikr cos θ 4π
G(r, t) = k dk d(cos θ) dφ e sin kt. (13)
(2π)3 k
We perform the integral over cos θ first,
2 Z∞
G(r, t) = sin kr sin kt dk (14)
πr 0
1 Z∞
= [cos(kr − kt) − cos(kr + kt)] dk. (15)
2πr −∞
The integral over k is easy, giving the result
1
G(r, t) = [δ(r − t) − δ(r + t)]. (16)
r
Since both t and r are positive, the second delta function vanishes, and we are left with the
result we know,
1
G(r, t) = δ(t − r/c), (17)
r
and you can check the dimensions to see that they are correct.
In d = 2 the result is somewhat different. In polar coordinates we have
1 Z ikr cos θ 4π
G(r, t) = k dk dθ e sin kt. (18)
(2π)2 k
The angular integral gives a Bessel function, according to
Z 2π Z π
dθ eiz cos θ = 2 dθ cos(z cos θ) = 2πJ0 (z). (19)
0 0
3
Thus Z ∞
G(r, t) = 2 dk J0 (kr) sin kt. (20)
0
This is a pretty expression but it doesn’t tell us much. Another way to calculate the two-
dimensional Green function is to integrate the three-dimensional solution (Jackson, Problem
6.1). We return to Eq. (1), with d = 3, and integrate over z 0 in order to eliminate the third
dimension:
∂2 ∂2 ∂2
!
− 2 − 2 + 2 G(2) (x, y, t; x0 , y 0 , t0 ) = 4πδ(x − x0 )δ(y − y 0 )δ(t − t0 ). (21)
∂x ∂y ∂t
in terms of the three-dimensional solution G(3) that we derived above. [G(3) is a function of
r − r 0 and we have integrated over z 0 ; that is why G(2) cannot depend on z, and why ∂ 2 /∂z 2
has disappeared from Eq. (21).] According to Eq. (21), G(2) is precisely the two-dimensional
Green function. Equation (22) says that we can formulate the two-dimensional problem as
a superposition of 3d waves emitted by a line source on the z axis.
The integral is not hard to perform. We go to cylindrical coordinates and write ρ2 =
x + y 2 ; we also set x0 = y 0 = t0 = 0 by translation. Inserting the explicit solution for G(3) ,
2
we have (c = 1)
Z ∞
1 q
(2) 0
G (x, y, t) = dz √ 2 δ t − ρ2 + z 02 . (23)
−∞ ρ + z 02
√
The argument of the delta function is f (z 0 ) = t − ρ2 + z 02 , with derivative
z0 z0
|f 0 (z 0 )| = √ = . (24)
ρ2 + z 02 t
√ √
The delta function imposes t = ρ2 + z 02 or z 0 = t2 − ρ2 ; note that the 3d solution imposes
t > r > ρ always. The result of integration is then
1 1
G(2) (x, y, t) = 0
=√ 22 (25)
z c t − ρ2
for ρ < ct, and zero for ρ > ct.
The d = 3 solution is nonzero only on the light cone r = ct, where it has a delta-function
singularity. The d = 2 solution, on the other hand, is nonzero everywhere inside the light
cone and has a (square-root)−1 singularity at we approach ρ = ct.