Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

So now that my term's over, I've been brushing up on my quantum field theory, and I came across the following line in my textbook without any justification:

$$\frac{1}{4\pi^2}\int_m^{\infty}\sqrt{E^2-m^2}e^{-iEt}dE \sim e^{-imt}\text{ as }t\to\infty$$

Well, I can see intuitively that if most of the integral cancels out, the main contribution will be from the region $E\approx m$, since (under a coordinate transformation) that's the region of stationary phase. But I'm a mathematician, dangit, not a physicist, and I want this to be rigourous.

The Riemann-Lebesgue lemma, if I'm not mistaken, doesn't apply since $\sqrt{E^2-m^2}$ is unbounded as $E\to\infty$, and it certainly isn't $L^1$. And I guess I could shift the path of the integral off the real axis in the complex plane, but I don't see why that would be the right way to take the integral. The whole thing is giving me the heebie-jeebies, and I was hoping one of you folks could assuage my fears.

share|improve this question

1 Answer 1

up vote 7 down vote accepted

Clearly the integral as stated diverges, so one needs to regularize it. To that end, consider $t$ complex with small positive imaginary part.

The integral directly matches the following integral representation of the Bessel function of the second kind: $$ K_{\nu }(z)=\frac{\sqrt{\pi } z^{\nu } }{2^{\nu } \, \Gamma \left(\nu +\frac{1}{2}\right)} \, \int_1^{\infty } \left(t^2-1\right)^{\nu -\frac{1}{2}} e^{-z t} \, \mathrm{d}t $$ valid for $\mathfrak{Re}(\nu) > -\frac{1}{2}$ and $\mathfrak{Re}(z) > 0$.

Thus: $$ \frac{1}{4 \pi^2} \int_m^\infty \mathrm{e}^{-i t \mathcal{E}} \sqrt{ \mathcal{E}^2-m^2} \mathrm{d} \mathcal{E} = -i \frac{m}{4 \pi^2 t} K_1\left( i m t \right) $$ By means of regularization we proclaim that integral equal to the rhs even for real $t$. Expanding: $$ -i \frac{m}{4 \pi^2 t} K_1\left( i m t \right) = -i \frac{m}{8 \pi t} H_1(m t) + i \frac{m}{4 \pi t} \operatorname{sign}(t) J_1(m t) $$ This allows to conclude that for $t \to +\infty$, the expression is proportional to $\mathrm{e}^{-i m t} \frac{\mathrm{e}^{-i 3 \pi/4}}{8} \sqrt{m} (\pi t)^{-3/2}$

share|improve this answer
    
Thanks - I think I need to spend some time studying special functions. I don't suppose you'd be able to recommend an introductory text on the subject? –  Skatche Dec 10 '11 at 17:12
1  
@Skatche: For Bessels only, you'll want to look into Watson. For special functions in general, either of Carlson, Temme, or Andrews/Askey/Roy should do. –  J. M. Dec 10 '11 at 18:05

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.