Why these integrals modified from integral representation of Bessel function are zero?

195 Views Asked by At

The Bessel function $J_n(x)$ has the following integral representation: $$ J_n(x)=\frac{1}{2\pi}\int_{-\pi}^{\pi}e^{i(x\sin\tau-n\tau)}d\tau $$ Here $x$ is a complex number and $n$ is an integer.

I am now wondering results of the following integral $$ \frac{1}{2\pi}\int_{-\pi}^{\pi}e^{i(x\sin m\tau-n\tau)}d\tau $$ with $m\in\mathbb{Z}$.

I have calculated this integral numerically by mathematica and the results are: $$ \left( \begin{array}{c|ccccccc} &n=1&n=2&n=3&n=4&n=5&n=6&n=7\\ \hline m=1&1&0&0&0&0&0&0\\ m=2&J_0(x)&J_1(x)&J_2(x)&J_3(x)&J_4(x)&J_5(x)&J_6(x)\\ m=3&J_0(x)&0&J_1(x)&0&J_2(x)&0&J_3(x)\\ m=4&J_0(x)&0&0&J_1(x)&0&0&J_2(x)\\ m=5&J_0(x)&0&0&0&J_1(x)&0&0\\ m=6&J_0(x)&0&0&0&0&J_1(x)&0\\ m=7&J_0(x)&0&0&0&0&0&J_1(x) \end{array} \right) $$

The calculation detail is provided here.

It seems that, for $n>=1$, $\forall$ $m$ with $n\%m\neq0$, this integral is zero.

I want to know the proof of the above observations.

PS: It is obvious that when $n\%m=0$, this integral can be reduced to $m=1$. I am just wondering why other entries are zero.

1

There are 1 best solutions below

4
On BEST ANSWER

We have (switching summation/integration is valid because $\sum\limits_{k\in\mathbb{Z}}|J_k(x)|$ converges) $$e^{ix\sin t}=\sum_{k\in\mathbb{Z}}J_k(x)e^{ikt}\implies\int_{-\pi}^{\pi}e^{i(x\sin m\tau)-n\tau}\,d\tau=\sum_{k\in\mathbb{Z}}J_k(x)\int_{-\pi}^{\pi}e^{i(mk-n)\tau}\,d\tau.$$ If $m\not\mid n$ then $mk-n\neq 0$ for all $k$, and thus all integrals on the RHS are zero.