Tuesday, November 12, 2019

homework and exercises - A four-dimensional integral in Peskin & Schroeder


The following identity is used in Peskin & Schroeder's book Eq.(19.43), page 660:


d4k(2π)41(k2)2eikϵ=i(4π)2log1ϵ2,ϵ0


I can't figure out why it holds. Could someone provide a method to prove this? Many thanks in advace.



Answer




That's equivalent simply to cdx/x. Switch to the Euclidean spacetime, k0=ik4 where (k1,k4) is kE; i.e. analytically continue in k0 (Wick rotation). The integral is id4kE(2π)41(k2E)2exp(ikϵ)

So it's proportional to the Fourier transform of 1/k4E. The original function is SO(4) symmetric, so the Fourier transform must be symmetric as well and depend on ϵ2 only. Dimensional analysis implies that the result is dimensionless i.e. it must be a combination of a constant and ln(ϵ2). The logarithm is there with a nonzero coefficient so the constant only determines how to take the logarithm: it should properly be written as ln(ϵ2/ϵ20) for some constant ϵ0 with the same dimension.


The only remaining unknown is the coefficient and one gets 4π2 from the remaining integral. It's a sort of waste of resources to compute this special integral; it's better to compute the more general integrals in appendix A.4, see especially formulae (A.44)-(A.49) on page 807, which I won't copy here because that's why Peskin and Schroeder wrote the textbook.


No comments:

Post a Comment

classical mechanics - Moment of a force about a given axis (Torque) - Scalar or vectorial?

I am studying Statics and saw that: The moment of a force about a given axis (or Torque) is defined by the equation: $M_X = (\vec r \times \...