We nowtake the transform of both sidesof the equation.
∇^2 φ−μ^2 φ = Gδ^3 (~x)
1
(2π)(^32)
∫
d^3 x e−i
~k·~x
(∇^2 φ−μ^2 φ) =1
(2π)(^32)
∫
d^3 x e−i
~k·~x
Gδ^3 (~x)1
(2π)(^32)
∫
d^3 x e−i
~k·~x
(∇^2 φ−μ^2 φ) =G
(2π)(^32)
1
(2π)
(^32)
∫
d^3 x e−i
~k·~x
(−k^2 −μ^2 )φ =G
(2π)(^32)
(−k^2 −μ^2 )φ ̃ =
G
(2π)(^32)
φ ̃ = −G
(2π)
(^32)
1
(k^2 +μ^2 )To deal with the∇^2 , we have integrated by parts twice assuming that the field falls off fast enough
at infinity.
We now have theFourier transform of the field of a point source. If we cantransform back
to position space, we will have the field. This is a fairly standard type of problem in quantum
mechanics.
φ(~x) =1
(2π)(^32)
∫
d^3 k ei
~k·~x −G
(2π)(^32)
1
(k^2 +μ^2 )=
−G
(2π)^3∫
d^3 kei~k·~x
(k^2 +μ^2 )=
− 2 πG
(2π)^3∫
k^2 dk∫^1
− 1eikrcosθk
(k^2 +μ^2 )dcosθk=
−G
(2π)^2∫
k^2
(k^2 +μ^2 )∫^1
− 1eikrcosθkdcosθkdk=
−G
(2π)^2∫
k^2
(k^2 +μ^2 )[
1
ikreikrcosθk] 1
− 1dk=
−G
(2π)^2 ir∫
k
(k^2 +μ^2 )(
eikr−e−ikr)
dk=
−G
(2π)^2 ir∫∞
0k
(k+iμ)(k−iμ)(
eikr−e−ikr)
dkThis is now of a form for which we can use Cauchy’s theorem forcontour integrals. The theorem
says that anintegral around a closed contour in the complex planeis equal to 2πitimes
the sum of the residues at the poles enclosed in the contour. Contour Integration is a powerful
technique often used in quantum mechanics.
If the integrand is a function of the complex variablek, a pole is of the formrkwhereris called the
residue at the pole. Theintegrand above has two poles, one atk=iμand the other atk=−iμ.
Theintegral we are interested in is just along the real axisso we want the integral along