[Math] Normalization of the Bessel function

special functions

I would greatly appreciate assistance with the following problem.
show:

$$\int _0 ^\infty J_n(x)dx = 1; \forall n \in \mathbb{N}^+$$

for $J_o,$ use $$\mathscr{L}{J_o(at)} = \int _0 ^\infty e^{-pt}J_o(at)dt = (p^2 + a^2)^{- \frac{1}{2}}$$

By setting a = 1; p = 0; I obtain that which I was trying to prove. How would I generalize this to other orders of the Bessel function? I tried writing a generalized bessel function in closed form but this proved fruitless.

If I take the Laplace transform of a bessel function, then the only way to do that would be to do it term by term?

EDIT : I'm still not sure how one would actually take the Laplace Transform of such a function?

Best Answer

Hint: Using the integral representation of the Bessel function $$J_n(x) = \frac{1}{2\pi} \int_{-\pi}^\pi dt\, e^{-i(n t - x \sin t)}$$ we find \begin{eqnarray*} \int_0^\infty dx\, e^{-p x} J_n(x) &=& \frac{1}{2\pi} \int_{-\pi}^\pi dt\, \frac{e^{-i n t}}{p-i\sin t}. \end{eqnarray*} This integral can be handled using the methods of residue calculus. Let $z=e^{-i t}$ so the contour is the unit circle. Only one of the poles lies inside the contour.

Addendum: The integral in terms of $z$ is $$\frac{1}{\pi i} \int_\Gamma dz\, \frac{z^n}{z^2+2p z-1},$$ where $\Gamma$ is the unit circle traversed in the counterclockwise sense. The poles are $$z_\pm = -p \pm \sqrt{1+p^2}.$$ Only $z_+$ lies inside the unit circle, so we pick up the residue at $z=z_+$.