QFT: Solving the integral for the Wightman function in Minkowski spacetime.

[Aimless]

Homework Statement

How does one actually solve the integral for the Wightman function for a massless quantum scalar field in 4D Minkowski spacetime? That is, what is the integration technique to go from:

\langle \hat{\phi}(x) \hat{\phi}(y) \rangle = \int_c d^4k \, \frac{1}{(2 \pi )^4}\frac{e^{ik(x-y)}}{ k^2}

to:

\langle \hat{\phi}(x) \hat{\phi}(y) \rangle = \frac{1}{4 \pi^2 (x-y)^2}?

Homework Equations

See above.

The Attempt at a Solution

The k_0 term is dealt with by contour integration. That part's easy. The problem I'm having is figuring out how to deal with the k_i terms. It should just be a 3D Fourier transform, but I can't figure it out.

I have to admit that it's embarrassing for me to post this, since I'm a postdoc and should know this off the top of my head. I know I have the answer buried somewhere in my notes, but I just finished an oversees move and all of my notes are still in transit. I haven't been able to find it online, either; seems most online lecture notes I've found either just show the final equation or leave the derivation as an exercise to the student. (Ha!)

 

[gabbagabbahey]

The k_0 term is dealt with by contour integration. That part's easy. The problem I'm having is figuring out how to deal with the k_i terms. It should just be a 3D Fourier transform, but I can't figure it out.

Can you show your k_0 integration? I may have some ideas for the Fourier integral, but first I want to make sure we are talking about the same integral.

 

[Aimless]

If you consider the k_0 integral first, then you get:

\int_c d^4k \, \frac{i}{(2\pi)^4}\frac{e^{ik(x-y)}}{k^2} = \int_c dk_0 \, \int_{-\infty}^{\infty} d^3\vec{k} \, \frac{i}{(2\pi)^4}\frac{e^{i\vec{k}(\vec{x}-\vec{y})-i k_0 (t_x-t_y)}}{-k_0^2+\vec{k}^2}

where the contour for G^+(x,y) is a counterclockwise circle of radius epsilon around the positive root k_0 = |\vec{k}|. (Note that I was missing a factor of i in my first post.)

The Laurent series for \frac{e^{iux}}{-u^2+a^2} around the pole at u=a is \frac{e^{iax}}{2a(-u+a)}+O(1), so by method of residues the k_0 integral evaluates to:

\int_c dk_0 \, \int_{-\infty}^{\infty} d^3\vec{k} \, \frac{i}{(2\pi)^4}\frac{e^{i\vec{k}(\vec{x}-\vec{y})-i k_0 (t_x-t_y)}}{-k_0^2+\vec{k}^2} = \int_{-\infty}^{\infty} d^3\vec{k} \, \frac{1}{(2\pi)^3}\frac{e^{i\vec{k}(\vec{x}-\vec{y})-i \omega_k (t_x-t_y)}}{2 \omega_k}

with \omega_k = |\vec{k}|.

This is the same integral one gets from evaluation of \langle \hat{\phi}(x) \hat{\phi}(y) \rangle with \hat{\phi}(x) \equiv \int \frac{d^3\vec{k}}{(2\pi)^{3/2}\sqrt{2\omega_k}} (\hat{a}_\vec{k} e^{i\vec{k}\vec{x}-i\omega_kt}+\hat{a}^\dagger_\vec{k} e^{-i\vec{k}\vec{x}+i\omega_kt}), so I don't think it's helpful to evaluate the k_0 integral first. I'm not sure, though. The Fourier transform seems more difficult this way, but maybe I'm just not seeing the trick.

 

[gabbagabbahey]

Right, so let's look at the Fourier transform first. It is sufficient to look at \int_{ \text{all } \vec{k} \text{-space} } d^3 \vec{k} \frac{e^{i\vec{k} \cdot (\vec{x} - \vec{y})}}{\omega_k^2-k_0^2} , yes?

I think this is best done in Spherical coordinates (\omega_k, \theta, \phi) with the polar axis aligned with (\vec{x} - \vec{y}), which gives you something like

2\pi \int_0^{\infty} \int_0^{\pi} \frac{e^{i \omega_k |\vec{x} - \vec{y}| \cos \theta}}{\omega_k^2-k_0^2}\omega_k^2\sin\theta d \omega_k d\theta

Do the angular integral first, and then I think you can just use the Residue theorem on the \omega_k integral

 

[Aimless]

Ah ha! I think you've got it; this seems to stir some memories from my coursework. Let me sit down with pencil and paper and work through it in detail, then I'll post the full derivation.

I'm surprised I didn't come up with that myself. Guess I got stuck on doing the integral in Cartesian coords.

 

[Aimless]

So, spherical coords. is indeed the right way to solve the integral, although it turns out to be easier to solve if you do the contour first. You get:

<br /> \langle \hat{\phi}(x) \hat{\phi}(y) \rangle = \int_{-\infty}^{\infty} d^3\vec{k} \, \frac{1}{(2\pi)^3}\frac{e^{i\vec{k}(\vec{x}-\vec{y})-i \omega_k (t_x-t_y)}}{2 \omega_k} \\ <br /> = \frac{1}{2(2\pi)^3} \int_0^\infty dk_r \int_{-1}^1 d\cos{k_\theta} \int_0^{2\pi} dk_\phi \, k_r e^{i k_r |\vec{x}-\vec{y}|\cos{k_\theta} - i k_r (t_x-t_y)} \\<br /> = -\frac{1}{4\pi^2} \frac{1}{|\vec{x}-\vec{y}|} \int_0^\infty dk_r \, \sin(k_r |\vec{x}-\vec{y}|)e^{- i k_r (t_x-t_y)}<br />

To evaluate the final integral, you have to displace (t_x-t_y) slightly into the complex plane, (t_x-t_y) \to (t_x-t_y -i\epsilon), giving:
-\frac{1}{4\pi^2} \frac{1}{|\vec{x}-\vec{y}|} \int_0^\infty dk_r \, \sin(k_r |\vec{x}-\vec{y}|)e^{- i k_r (t_x-t_y-i\epsilon)} = -\frac{1}{4\pi^2}\frac{1}{|\vec{x}-\vec{y}|^2 - (t_x-t_y)^2} = -\frac{1}{4\pi^2}\frac{1}{(x-y)^2-i\epsilon}

This is still a slightly unsatisfying way to do things, since it relies on the identity \vec{k} \cdot (\vec{x}-\vec{y}) = |\vec{k}||\vec{x}-\vec{y}|\cos \theta, and that's not guaranteed to hold if I move away from Minkowski spacetime. Oh well; no one ever said QFT was easy.

Thanks for the help, gabba.