ベッセル関数

ベッセル関数（ベッセルかんすう、テンプレート:Lang-en-short）とは、最初にスイスの数学者ダニエル・ベルヌーイによって定義され、フリードリヒ・ヴィルヘルム・ベッセルにちなんで名づけられた関数。円筒関数と呼ばれることもある。以下に示す、ベッセルの微分方程式における$y(x)$の特殊解の1つである。

$x^2\frac{d^{2}y}{d{x}^2}+x\frac{dy}{dx}+(x^2-{\alpha }^2)y=0$

上の式において、$\alpha$は、任意の実数である（次数と呼ばれる）。$\alpha$が整数$n$に等しい場合がとくに重要である。

$\alpha$及び$-\alpha$はともに同一の微分方程式を与えるが、慣例としてこれら2つの異なる次数に対して異なるベッセル関数が定義される(例えば、$\alpha$の関数としてなるべく滑らかになるようにベッセル関数を定義する、など）。

そもそもベッセル関数は、惑星の軌道運動に関するケプラー方程式をベッセルが解析的に解いた際に導入された。

応用

ベッセル解はラプラス方程式またはヘルムホルツ方程式の円柱座標系および極座標系における分離解として見出される。従ってベッセル関数は、電波伝播や静電位差などの解を求める際に重要である（円柱座標系においては整数次数 $\alpha =n$、極座標系においては半整数次数 $\alpha =n+1/2$ のベッセル関数がそれぞれ解として得られる）。例えば、

• 円筒導波管における電磁波
• 円柱物体の熱伝導
• 薄い円（か環状の）膜の振動のモード

など。

ベッセル関数はまた、信号処理のような問題で有用な特性を持つ（例えば、FM合成、カイザー窓やベッセルフィルタなど）。

定義

ベッセルの微分方程式は2階の線形微分方程式であるので、線形独立な2つの解が存在するはずである。しかしながら、解を議論する状況に応じて解の様々な表現が便利に使われている。代表的ないくつかの解の表現について以下で説明する。

第1種及び第2種ベッセル関数

これらの関数がベッセル関数群としては最も一般的な形式である。

第1種ベッセル関数テンプレート:Anchors

第1種ベッセル関数は $J_{\alpha }(x)$ と表記される。$J_{\alpha }(x)$ はベッセルの微分方程式の解であり、$\alpha$ が整数もしくは非負であるとき、$x=0$ で有限の値をとる。$J_{\alpha }$ における特定解の選択及び正規化は後述する。第1種ベッセル関数はまた、$x=0$ のまわりでのテイラー展開（非整数の $\alpha$ に対しては、より一般にべき級数展開）によって定義することもできる。

$J_{\alpha }(x)=\sum _{m=0}^{\mathrm{\infty }}\frac{(-1{)}^m}{m!\mathrm{\Gamma }(m+\alpha +1)}{\left(\frac{x}{2}\right)}^{2m+\alpha }$

非整数の $\alpha$ に対しては、$J_{\alpha }(x)$ と $J_{-\alpha }(x)$ とがベッセルの微分方程式に対する線形独立な2つの解を与える。他方で$\alpha$ が整数の場合には、$J_{-n}(x)=(-1{)}^n{J}_n(x)$ という関係が成り立つため、2つの解は線形従属となる。整数次数に対して $J_n(x)$ と線形独立な第2の解は、第2種ベッセル関数によって与えられる。

第2種ベッセル関数テンプレート:Anchors

ノイマン関数テンプレート:Anchors

第2種ベッセル関数 $Y_{\alpha }(x)$ はベッセルの微分方程式の解であり $x=0$ において特異性を持つ。ベッセル関数はノイマン関数とも呼ばれ、$N_{\alpha }(x)$ と表される。

第2種ベッセル関数と第1種ベッセル関数 $J_{\alpha }(x)$ は以下の関係を持つ。

$Y_{\alpha }(x)=\frac{J_{\alpha }(x)\cos (\alpha \pi )-J_{-\alpha }(x)}{\sin (\alpha \pi )}$

ただし、$\alpha$ が整数のときは右辺は極限によって定義されるものとする。

非整数の $\alpha$ に対しては、$J_{\alpha }(x)$ と $J_{-\alpha }(x)$ とが線形独立な2つの解を既に与えているので、$Y_{\alpha }(x)$ は解の表現としては冗長である。整数 $n$ に対しては、$Y_n(x)$ は $J_n(x)$ と線形独立な第2の解を与えている。 整数 $n$ に対して、$Y_n(x)$ と $Y_{-n}(x)$ の間に $Y_{-n}=(-1{)}^n{Y}_n(x)$ という関係が成り立ち、従って両者は線形従属である。

$J_{\alpha }(x)$ 及び $Y_{\alpha }(x)$ はどちらも、負の実軸を除く複素平面上で $x$ の解析的な関数（正則な関数）である。$\alpha$ が正の整数のとき、これらの関数は負の実軸上に分岐点を持たず、したがって $x$ の整関数となる。また、固定した $x$ に対して、ベッセル関数は $\alpha$ の整関数となる。

• 
  第1種ベッセル関数
• 
  第2種ベッセル関数

超幾何級数との関係

• ベッセル関数は超幾何級数（超幾何関数ともいう）によって、以下のように表現することができる。

$J_{\nu }(z)=\frac{(z/2{)}^{\nu }}{\mathrm{\Gamma }(\nu +1)}{}_0{F}_1(\nu +1;-z^2/4).$

ハンケル関数

• ベッセルの微分方程式に対する線形独立な2つの解を与える表式には、ハンケル関数H_α⁽¹⁾(x) と H_α⁽²⁾(x)があり、定義式は以下の通り。

$H_{\alpha }^{(1)}(x)=J_{\alpha }(x)+i{Y}_{\alpha }(x)$

$H_{\alpha }^{(2)}(x)=J_{\alpha }(x)-i{Y}_{\alpha }(x)$

ここで、$i$は虚数単位である。$J_{\alpha }(x)$と$Y_{\alpha }(x)$との線形結合によって与えられるこれらの解の表現は、第三種ベッセル関数として知られている(ハンケル関数は円筒波の方程式における、内側もしくは外側への円筒波の伝播の解を表現する)。

変形ベッセル関数

ベッセル関数は$x$の複素数値に対しても適切に定義されており、応用上は $x$が純虚数の場合が特に重要である。この場合、ベッセルの微分方程式への解は第1種及び第2種の変形ベッセル関数と呼ばれ、以下のように定義される。

$I_{\alpha }(x)=i^{-\alpha }{J}_{\alpha }(ix)=\sum _{m=0}^{\mathrm{\infty }}\frac{1}{m!\mathrm{\Gamma }(m+\alpha +1)}{\left(\frac{x}{2}\right)}^{2m+\alpha }$

$K_{\alpha }(x)=\frac{\pi }{2}\frac{I_{-\alpha }(x)-I_{\alpha }(x)}{\sin (\alpha \pi )}=\frac{\pi }{2}{i}^{\alpha +1}{H}_{\alpha }^{(1)}(ix).$

これらの関数は、$x$が実数のときに関数値が実数となるように定義されている。またこれらの関数は、変形されたベッセルの微分方程式

$x^2\frac{d^{2}y}{d{x}^2}+x\frac{dy}{dx}-(x^2+{\alpha }^2)y=0.$

に対する2つの線形独立な解を与えている。

• 
  第1種変形ベッセル関数
• 
  第2種変形ベッセル関数

変形ベッセル関数には以下の性質がある。 ここで、n は正の整数またはゼロ。

$\begin{array}{cc}& I_{-n}(x)=I_n(x)\\ & K_{-\alpha }(x)=K_{\alpha }(x)\\ \end{array}$

$\begin{array}{cc}& K_{n+1/2}(x)={\left(\frac{\pi }{2x}\right)}^{1/2}\exp (-x)\sum _{r=0}^n\frac{(n+r)!}{r!(n-r)!}(2x{)}^{-r}\end{array}$

球ベッセル関数・球ノイマン関数

第1種及び第2種のベッセル関数から、球ベッセル関数(spherical Bessel functions)と球ノイマン関数(spherical Neumann functions)がそれぞれ以下のように定義される。

$j_{\alpha }(x)={\left(\frac{\pi }{2x}\right)}^{1/2}{J}_{\alpha +1/2}(x)$

$n_{\alpha }(x)={\left(\frac{\pi }{2x}\right)}^{1/2}{N}_{\alpha +1/2}(x)$

これらの関数は、球ベッセル微分方程式

$\frac{d^{2}y}{d{x}^2}+\frac{2}{x}\frac{dy}{dx}+[1-\frac{\alpha (\alpha +1)}{x^2}]y=0$

に対する2つの線形独立な解を与えている。

量子力学における3次元自由粒子のシュレーディンガー方程式の動径方向の解のうち、正則なものは球ベッセル関数で表され、正則でないものは球ノイマン関数で表される。

また3次元井戸型ポテンシャルのシュレディンガー方程式における、ポテンシャル内部の動径方向の解のうち、原点で発散しないものは球ベッセル関数で表され、原点で発散するものは球ノイマン関数で表される。

球ハンケル関数

• 球ベッセル微分方程式に対する線形独立な2つの解を与える表式には、球ハンケル関数h_α⁽¹⁾(x) と h_α⁽²⁾(x)があり、定義式は以下の通り。

$h_{\alpha }^{(1)}(x)=j_{\alpha }(x)+i{y}_{\alpha }(x)=\sqrt{\frac{\pi }{2x}}{H}_{n+1/2}^{(1)}(x)$

$h_{\alpha }^{(2)}(x)=j_{\alpha }(x)-i{y}_{\alpha }(x)=\sqrt{\frac{\pi }{2x}}{H}_{n+1/2}^{(2)}(x)$

ここで、$i$ は虚数単位である。

また、非負の整数 n について:

$h_n^{(1)}(x)=(-i{)}^{n+1}\frac{e^{ix}}{x}\sum _{m=0}^n\frac{i^m}{m!(2x{)}^m}\frac{(n+m)!}{(n-m)!}$

$h_n^{(2)}$ は、実数xに関して$h_n^{(1)}(x)$の複素共役となる。

量子力学では、3次元井戸型ポテンシャルのシュレディンガー方程式における、ポテンシャル外部の動径方向の解は、球ハンケル関数で表される。第一種球ハンケル関数は外向き、第二種球ハンケル関数は内向きを表す。

変形球ベッセル関数

第1種及び第2種の変形ベッセル関数から、変形球ベッセル関数(英:modified spherical Bessel functions)が以下のように定義される。

$i_{\alpha }(x)={\left(\frac{\pi }{2x}\right)}^{1/2}{I}_{\alpha +1/2}(x)$

$k_{\alpha }(x)={\left(\frac{2}{\pi x}\right)}^{1/2}{K}_{\alpha +1/2}(x)$

これらの関数は、変形球ベッセル微分方程式

$x^2\frac{d^{2}y}{d{x}^2}+2x\frac{dy}{dx}-(x^2+\alpha (\alpha +1))y=0$

に対する2つの線形独立な解を与えている。

変形球ベッセル関数には以下の性質がある。

$\begin{array}{c}{k}_{-n-1/2}(x)=k_{n+1/2}(x)\end{array}$

ここで、n は正の整数またはゼロ。

積分表示

Bessel の積分表示 テンプレート:Indent Hansen の積分表示 テンプレート:Indent Poisson の積分表示 テンプレート:Indent Schläfli の積分表示 テンプレート:Indent Schafheitlin の積分表示 ただし複号は上が $\iota =1$, 下が $\iota =2$ テンプレート:Indent Heine の積分表示 ただし複号は上が $\iota =1$, 下が $\iota =2$ テンプレート:Indent Whittaker の積分表示 ここに $P_n(t)$ はルジャンドル多項式 テンプレート:Indent

漸近展開

$|z|\to \mathrm{\infty }$ のときベッセル関数は以下の漸近形を持つ。 テンプレート:Indent テンプレート:Indent テンプレート:Indent テンプレート:Indent テンプレート:Indent テンプレート:Indent テンプレート:Indent テンプレート:Indent

関連項目

• 特殊関数
• テンプレート:Ill2
• テンプレート:Ill2

参考文献

• Handbook of Mathematical Functions, Abramowitz and Stegun.
• Bessel Functions, Weisstein, Eric W. "Modified Bessel Functions" From MathWorld--A Wolfram Web Resource.
• A treatise on the theory of Bessel functions, George Neville Watson, Cambridge University Press,(1995).
• テンプレート:Cite book

外部リンク

• ベッセル関数の計算
• Bessel 関数の数値計算
• 古典的Bessel関数入門