[Physics] Wick rotation: still trouble in getting how it works

analyticitycomplex numberspath-integralquantum-field-theorywick-rotation

I'm preparing my second exam in QFT and I still have trouble in getting the Wick rotation and its analytic continuation. I know that this topic have been discussed a lot in previous threads, but I hope that someone could help me in detail here.
I'll use Greiner (Field Quantization) and Peskin-Schroeder (An Introduction to Quantum Field Theory) as references. In both cases, in order to get the transition amplitude $\langle q',t'|T[q(t_1)q(t_2)]|q,t\rangle $ in terms of the vacuum expectation value $\langle 0|T[q(t_1)q(t_2)]|0\rangle $, one analytically extend the time variable $t$ in the complex plane, setting $t=\exp(i\delta)\tau$, where $\tau$ and $\delta$ are real. Setting for example $\delta=-\pi/2$, one can get:
\begin{equation}
\langle q',t'|T[q(t_1)q(t_2)]|q,t\rangle= \langle q',-i\tau'|T[q(t_1)q(t_2)]|q,-i\tau\rangle
\end{equation}

At this point one takes the limit for $t'\rightarrow\infty$ and $t\rightarrow -\infty$, or equivalently
\begin{equation}
\lim_{t'\rightarrow\infty,t\rightarrow-\infty}\langle q',t'|T[q(t_1)q(t_2)]|q,t\rangle=\lim_{\tau'\rightarrow\ i\infty,\tau\rightarrow -i\infty} \langle q',-i\tau'|T[q(t_1)q(t_2)]|q,-i\tau\rangle
\end{equation}

Then Greiner sets:
\begin{equation}
\lim_{\tau'\rightarrow\ i\infty,\tau\rightarrow -i\infty} \langle q',-i\tau'|T[q(t_1)q(t_2)]|q,-i\tau\rangle\leftrightarrow\lim_{\tau'\rightarrow\ \infty,\tau\rightarrow -\infty} \langle q',-i\tau'|T[q(t_1)q(t_2)]|q,-i\tau\rangle
\end{equation}

saying that "This [step] will only be admissible mathematically if the matrix element is an analytic function in the variables $t$ and $t'$". However, I still can't get what's going on here. How can the result be independent on $\delta$? We're doing this cheap trick of Wick rotation because, for $t\rightarrow\infty$ we have oscillatory terms which do not admit limit. So, here we're taking complex values of $t$ (and they cannot be purely real), setting their limit for $t\rightarrow\infty$ in order to get a finite quantity, than going back to real values in order to have a finite number, differently from before, when we hadn't? How can that be rigorous? I noticed that Ryder keeps the limit to be complex, and then reverse in the real time adding, however, a $i\varepsilon q$ term in the lagrangian. I do prefer this approach, but are they equivalent?
Thank you very much for your answers!

Best Answer

A Wick rotation is a mathematical trick which requires a contour integral in a complex plane $z$. It exploits the residue theorem which states the integral of a function along a closed curve as $2 \pi i$ times the sum of the residues of the function inside the curve.

If you have an integral along the real axis from $-\infty$ to $+\infty$ you can, via a semicircle, extend the integral to a closed curve covering half of the complex plane. If the integrand vanishes fast enough as $\vert z \vert \to \infty$ the contour integral outcome is the same as the integral along the real axis.

You can now rotate the contour by 90° provided that it does not pass over any pole to guaranty that the outcome does not change. This is possible if the poles are situated all in the left side or all in the right side of the half complex plane. Now the contour integral outcome is given by the the integral along the imaginary axis.

The procedure is formalized as $t$ replaced by $i \tau$.

Note: You do not rotate the real axis, but rotate the contour integral.

Related Question