I did the computation of the propagator in two dimensions at (19.26) in Peskin & Shroeder as follows.
First I performed a Wick rotation.
∫d2k(2π)2e−ik⋅(y−z)ikμγμk2=−∂μγμ(i∫d2kE(2π)2eikE⋅(yE−zE)1−k2E)=i4π2∂μγμ∫∞0dkEkE1k2E∫2π0dθeikE|yE−zE|cosθ=i4π2∂μγμ∫∞0dkEkE1k2E2πJ0(kE|yE−zE|)
where J0(s) is a bessel function and I made use of Hansen-Bessel Formula.
Setting s≡kE|yE−zE|
=i2π∂μγμ∫∞0ds1sJ0(s)=0 But in the book, ∫d2k(2π)2e−ik⋅(y−z)ikμγμk2=−∂μγμ(i4πlog(y−z)2) Where did I make a mistake?
Answer
After you take γμ∂μ out of the integral sign, the integral becomes divergent, so this step is not guaranteed by theorems from calculus and apparently illegal. But I think your calculation can be continued in the following (heuristic) way.
Let →k denote the momentum in Euclidean space and k its norm, and r=|→y−→z|. In order to take ∂μ out, we can introduce a cut off ϵ, which is a positive small number, then the integration becomes lim
In the expansion of J_0(s): J_0(s)=\frac{sin(s)}{s}=1-\frac{1}{3!}s^2+... the terms of order larger than 1 will contribute to the integral terms like \epsilon^2 r^2 which vanishes as \epsilon goes to zero. So these terms as well as other constants are irrelevant to the result. The only relevant one is the zeroth order term: \lim_{\epsilon\to 0}\quad\frac{i}{2\pi}(\gamma_\mu \partial^\mu)\int^\infty_{\epsilon\cdot r} ds \frac{1}{s}= \lim_{\epsilon\to 0}\quad -\frac{i}{2\pi}(\gamma_\mu \partial^\mu)\left[ln(r)+ln(\epsilon)+constant\right] which turns out to be the right answer: -\frac{i}{2\pi}(\gamma_\mu \partial^\mu)ln(r)
No comments:
Post a Comment