ベッセル関数のポアソン積分表示
ベッセル関数は\(\Re\left(\nu+\frac{1}{2}\right)>0\)のとき、以下のポアソンの積分表示で表される。
(1)
\[ J_{\nu}(z)=\frac{2}{\sqrt{\pi}\Gamma\left(\nu+\frac{1}{2}\right)}\left(\frac{z}{2}\right)^{\nu}\int_{0}^{\frac{\pi}{2}}\sin^{2\nu}\theta\cos(z\cos\theta)d\theta \](2)
\[ J_{\nu}(z)=\frac{1}{\sqrt{\pi}\Gamma\left(\nu+\frac{1}{2}\right)}\left(\frac{z}{2}\right)^{\nu}\int_{-1}^{1}(1-t^{2})^{\nu-\frac{1}{2}}e^{izt}dt \](*)
ベッセル関数の級数表示より、\begin{align*} J_{\nu}(z) & =\sum_{m=0}^{\infty}\frac{(-1)^{m}}{m!\Gamma(m+\nu+1)}\left(\frac{z}{2}\right)^{2m+\nu}\\ & =\sum_{m=0}^{\infty}\frac{(-1)^{m}}{2^{\nu}\Gamma(m+\nu+1)}\frac{P\left(m-\frac{1}{2},m\right)}{(2m)!}z^{2m+\nu}\\ & =\sum_{m=0}^{\infty}\frac{(-1)^{m}}{2^{\nu}\Gamma(m+\nu+1)}\frac{\Gamma\left(m+\frac{1}{2}\right)}{\Gamma(2m+1)\Gamma\left(\frac{1}{2}\right)}z^{2m+\nu}\\ & =\sum_{m=0}^{\infty}\frac{(-1)^{m}}{2^{\nu}(2m)!\sqrt{\pi}\Gamma\left(\nu+\frac{1}{2}\right)}\frac{\Gamma\left(\nu+\frac{1}{2}\right)\Gamma\left(m+\frac{1}{2}\right)}{\Gamma(m+\nu+1)}z^{2m+\nu}\\ & =\sum_{m=0}^{\infty}\frac{(-1)^{m}}{2^{\nu}(2m)!\sqrt{\pi}\Gamma\left(\nu+\frac{1}{2}\right)}B\left(\nu+\frac{1}{2},m+\frac{1}{2}\right)z^{2m+\nu}\\ & =\sum_{m=0}^{\infty}\frac{(-1)^{m}}{2^{\nu}(2m)!\sqrt{\pi}\Gamma\left(\nu+\frac{1}{2}\right)}z^{2m+\nu}\int_{0}^{1}t^{\nu-\frac{1}{2}}(1-t)^{m-\frac{1}{2}}dt\\ & =\frac{1}{\sqrt{\pi}\Gamma\left(\nu+\frac{1}{2}\right)}\left(\frac{z}{2}\right)^{\nu}\int_{0}^{1}t^{\nu-\frac{1}{2}}(1-t)^{-\frac{1}{2}}\sum_{m=0}^{\infty}\frac{(-1)^{m}}{(2m)!}\left\{ z(1-t)^{\frac{1}{2}}\right\} {}^{2m}dt\\ & =\frac{1}{\sqrt{\pi}\Gamma\left(\nu+\frac{1}{2}\right)}\left(\frac{z}{2}\right)^{\nu}\int_{0}^{1}t^{\nu-\frac{1}{2}}(1-t)^{-\frac{1}{2}}\cos\left\{ z(1-t)^{\frac{1}{2}}\right\} dt \end{align*}
(1)
\(t=\sin^{2}\theta\)とすると、\[ J_{\nu}(z)=\frac{2}{\sqrt{\pi}\Gamma\left(\nu+\frac{1}{2}\right)}\left(\frac{z}{2}\right)^{\nu}\int_{0}^{\frac{\pi}{2}}\sin^{2\nu}\theta\cos(z\cos\theta)d\theta \]
(2)
\(1-t=u^{2}\)とすると、\[ J_{\nu}(z)=\frac{1}{\sqrt{\pi}\Gamma\left(\nu+\frac{1}{2}\right)}\left(\frac{z}{2}\right)^{\nu}\int_{-1}^{1}(1-u^{2})^{\nu-\frac{1}{2}}e^{izu}du \]
ページ情報
タイトル | ベッセル関数のポアソン積分表示 |
URL | https://www.nomuramath.com/ydmj08jo/ |
SNSボタン |
ウォリスの公式
\[
\prod_{k=1}^{\infty}\left(\frac{(2k)^{2}}{(2k-1)(2k+1)}\right)=\frac{\pi}{2}
\]
対数の指数
\[
a^{\log_{b}c}=c^{\log_{b}a}
\]
ファウルハーバー公式(冪乗和公式)
\[
\sum_{j=1}^{n}j^{m}=\frac{1}{m+1}\left(B_{m+1}(n+1)-B_{m+1}(1)\right)
\]
数列の極限