Series of Bessel function

Let $J_n$ denote the Bessel function of the first kind. Prove that

$\sum_{n=-\infty}^{\infty}\left|J_n(z)\right|^2 =1$

Solution

The Jacobi – Anger expansion tells us that

(1) $\begin{equation*} e^{iz\sin\theta} = \sum_{n=-\infty}^{\infty}J_n(z) e^{in\theta} \end{equation*}$

Hence by Parseval’s Theorem it follows that

$\begin{align*} \sum_{n=-\infty}^{\infty}\left|J_n(z)\right|^2 &= \frac{1}{2\pi}\int_{0}^{2\pi}e^{iz\sin \theta} e^{iz\sin(-\theta)}\,\mathrm{d} \theta \\ &= \frac{1}{2\pi}\int_{0}^{2\pi}\mathrm{d} \theta \\ &=1 \end{align*}$

A contour integral

Series of Bessel function

They might interest you:

A contour integral

Exterior angle bisector

On the heptagon

Huygen's Inequality

A differential equation

Logarithmic integral with tangent

Maximum value of function

Limit of a sequence

A non existent limit

Leave a Reply Cancel reply