ベッセル関数

英

Bessel function

関

Bessel関数

Wikipedia preview

出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2017/07/30 01:31:47」(JST)

wiki ja

[Wiki ja表示]

ベッセル関数（ベッセルかんすう、Bessel function）とは、最初にスイスの数学者ダニエル・ベルヌーイによって定義され、フリードリヒ・ヴィルヘルム・ベッセルにちなんで名づけられた関数。円筒関数と呼ばれることもある。以下に示す、ベッセルの微分方程式における$$

 
   
     
       y
       (
       x
       )
     
   
   {\displaystyle y(x)}
 

の特殊解の1つである。

$x^{2}{\frac {d^{2}y}{dx^{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種ベッセル関数 

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

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

非整数の $$

 
   
     
       
         α
       
     
   
   {\displaystyle \displaystyle \alpha }
 

に対しては、$$

 
   
     
       
         
           J
           
             α
           
         
         (
         x
         )
       
     
   
   {\displaystyle \displaystyle J_{\alpha }(x)}
 

と$$

 
   
     
       
         
           J
           
             −
             α
           
         
         (
         x
         )
       
     
   
   {\displaystyle \displaystyle J_{-\alpha }(x)}
 

とが、ベッセルの微分方程式に対する線形独立な2つの解を与える。整数の$$

 
   
     
       
         α
       
     
   
   {\displaystyle \displaystyle \alpha }
 

に対してはこれらは線形独立な解を与えない。なぜなら、整数$$

 
   
     
       
         n
       
     
   
   {\displaystyle \displaystyle n}
 

に対して、$$

 
   
     
       
         
           J
           
             n
           
         
         (
         x
         )
       
     
   
   {\displaystyle \displaystyle J_{n}(x)}
 

と $$

 
   
     
       
         
           J
           
             −
             n
           
         
         (
         x
         )
       
     
   
   {\displaystyle \displaystyle J_{-n}(x)}
 

とのあいだには関係

$\displaystyle J_{-n}(x)=(-1)^{n}J_{n}(x)$

が成り立ち、両者は明らかに線形従属となるからである。整数次数に対して $$

 
   
     
       
         
           J
           
             n
           
         
         (
         x
         )
       
     
   
   {\displaystyle \displaystyle J_{n}(x)}
 

と線形独立な第二の解は、以下の第2種ベッセル関数によって与えられる。

第2種ベッセル関数 

第2種ベッセル関数は $$

 
   
     
       
         
           Y
           
             α
           
         
         (
         x
         )
       
     
   
   {\displaystyle \displaystyle Y_{\alpha }(x)}
 

と表記される。$$

 
   
     
       
         
           Y
           
             α
           
         
         (
         x
         )
       
     
   
   {\displaystyle \displaystyle Y_{\alpha }(x)}
 

はやはりベッセルの微分方程式の解であり、$$

 
   
     
       
         x
         =
         0
       
     
   
   {\displaystyle \displaystyle x=0}
 

において特異性をもつ。また、$$

 
   
     
       
         
           Y
           
             α
           
         
         (
         x
         )
       
     
   
   {\displaystyle \displaystyle Y_{\alpha }(x)}
 

は、しばしばノイマン関数とも呼ばれ、$$

 
   
     
       
         
           N
           
             α
           
         
         (
         x
         )
       
     
   
   {\displaystyle \displaystyle N_{\alpha }(x)}
 

とも表記される。第1種ベッセル関数$$

 
   
     
       
         
           J
           
             α
           
         
         (
         x
         )
       
     
   
   {\displaystyle \displaystyle J_{\alpha }(x)}
 

との関係は、

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

で与えられる。ただし、$$

 
   
     
       
         α
       
     
   
   {\displaystyle \displaystyle \alpha }
 

が整数のときは右辺は極限によって定義されるものとする。

非整数の $$

 
   
     
       
         α
       
     
   
   {\displaystyle \displaystyle \alpha }
 

に対しては、$$

 
   
     
       
         
           J
           
             α
           
         
         (
         x
         )
       
     
   
   {\displaystyle \displaystyle J_{\alpha }(x)}
 

と$$

 
   
     
       
         
           J
           
             −
             α
           
         
         (
         x
         )
       
     
   
   {\displaystyle \displaystyle J_{-\alpha }(x)}
 

とが線形独立な2つの解をすでに与えているので、$$

 
   
     
       
         
           Y
           
             α
           
         
         (
         x
         )
       
     
   
   {\displaystyle \displaystyle Y_{\alpha }(x)}
 

は解の表現としては冗長である。整数 $$

 
   
     
       
         n
       
     
   
   {\displaystyle \displaystyle n}
 

に対しては、$$

 
   
     
       
         
           Y
           
             n
           
         
         (
         x
         )
       
     
   
   {\displaystyle \displaystyle Y_{n}(x)}
 

は$$

 
   
     
       
         
           J
           
             n
           
         
         (
         x
         )
       
     
   
   {\displaystyle \displaystyle J_{n}(x)}
 

と線形独立な第二の解を与えている。

整数 $$

 
   
     
       
         n
       
     
   
   {\displaystyle \displaystyle n}
 

に対して、$$

 
   
     
       
         
           Y
           
             n
           
         
         (
         x
         )
       
     
   
   {\displaystyle \displaystyle Y_{n}(x)}
 

と $$

 
   
     
       
         
           Y
           
             −
             n
           
         
         (
         x
         )
       
     
   
   {\displaystyle \displaystyle Y_{-n}(x)}
 

とのあいだには関係

$\displaystyle Y_{-n}=(-1)^{n}Y_{n}(x)$

が成り立ち、したがって両者はやはり線形従属である。

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

• 第1種ベッセル関数

• 第2種ベッセル関数

超幾何級数との関係

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

$J_{\nu }(z)={\frac {(z/2)^{\nu }}{\Gamma (\nu +1)}}\;_{0}F_{1}(\nu +1;-z^{2}/4).$

ハンケル関数

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

$H_{\alpha }^{(1)}(x)=J_{\alpha }(x)+iY_{\alpha }(x)$

$H_{\alpha }^{(2)}(x)=J_{\alpha }(x)-iY_{\alpha }(x)$

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

変形ベッセル関数

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

$\displaystyle I_{\alpha }(x)=i^{-\alpha }J_{\alpha }(ix)=\sum _{m=0}^{\infty }{\frac {1}{m!\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).$

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

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

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

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

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

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

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

${\begin{aligned}&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{aligned}}$

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

第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}{dx^{2}}}+{\frac {2}{x}}{\frac {dy}{dx}}+\left[1-{\frac {\alpha (\alpha +1)}{x^{2}}}\right]y=0$

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

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

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

球ハンケル関数

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

$h_{\alpha }^{(1)}(x)=j_{\alpha }(x)+iy_{\alpha }(x)={\sqrt {\frac {\pi }{2x}}}H_{n+1/2}^{(1)}(x)$

$h_{\alpha }^{(2)}(x)=j_{\alpha }(x)-iy_{\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}{dx^{2}}}+2x{\frac {dy}{dx}}-\left(x^{2}+\alpha (\alpha +1)\right)y=0$

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

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

${\begin{aligned}k_{-n-1/2}(x)=k_{n+1/2}(x)\end{aligned}}$

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

関連項目

• 特殊関数

参考文献

• 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).

外部リンク

• ベッセル関数の計算

UpToDate Contents

全文を閲覧するには購読必要です。 To read the full text you will need to subscribe.

• 1. 成人における肺機能検査の概要 overview of pulmonary function testing in adults
• 2. 小児における肺機能検査の概要 overview of pulmonary function testing in children
• 3. 先天性および後天性血小板機能障害 congenital and acquired disorders of platelet function
• 4. 膵外分泌機能検査 pancreatic exocrine function tests
• 5. 肝酵素および肝機能検査値の異常が認められた患者に対するアプローチ approach to the patient with abnormal liver biochemical and function tests

Japanese Journal

• 回転する鎖の節点とベッセル関数零点の実験

• 物理教育 64(1), 16-19, 2016
• NAID 110010047951

• 球面定在波の量子数と波動関数 (電磁界理論)

• 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 115(279), 13-18, 2015-10-29
• NAID 40020649712

• 17pAL-3 回転する鎖の鎖の節点とベッセル関数零点の演示実験

• 日本物理学会講演概要集 70(2), 3053, 2015-09-16
• NAID 110010030616

Related Links

• ベッセル関数 - 高精度計算サイト

ライブラリ名 概要 ベッセル関数 第一種ベッセル関数 J v (x)、第二種ベッセル関数 Y v (x)、およびその導関数J' v (x)、Y' v (x) の値を計算します。 ベッセル関数（ゼロ点） 第一種ベッセル関数 J v (x)、第二種ベッセル関数 Y v (x)の正側 s ...

• ベッセル関数とは - goo Wikipedia (ウィキペディア)

変形ベッセル関数には以下の性質がある。 ここで、n は正の整数またはゼロ。 球ベッセル関数・球ノイマン関数 第1種及び第2種のベッセル関数から、球ベッセル関数(spherical Bessel functions)と球ノイマン関数(spherical Neumann functions ...

Related Pictures

---

★リンクテーブル★

リンク元	「Bessel関数」「Bessel function」
関連記事	「数」「関数」

「Bessel関数」

　　[★]

英

Bessel function

関

ベッセル関数

「Bessel function」

　　[★]

ベッセル関数、Bessel関数

「数」

　　[★]

英

number、count、numeral

関

ナンバー、数値、数える、カウント、番号をつける、数字、数詞

「関数」

　　[★]

英

function

関

官能基、機能