整数次数の第2種変形Bessel関数の級数表現を計算してみた。

はじめに

ちょっと前の記事で、確率密度関数が標準正規分布に従う2個の確率変数の積が従う確率密度関数を計算してみたところ、第2種変形Bessel関数が積分表示で出現した件について書きました。

Bessel関数といえば特殊関数としてはかなりの有名どころで、積分表示の他にもいろいろな表示方法があり、級数表現もあります。

ただ、

「第2種」

それも

「変形」

ということになると、相当な曲者感が漂います。数学や物理を専門にしているならまだしも、統計の勉強をしている最中にこんな関数が現れるとかなり面食らうものがあります。

話を本題に戻します。

先述のちょっと前の記事では、0次の第2種変形Bessel関数が登場しましたので、この記事では扱う範囲をちょっとだけ広げて整数次の第2種変形Bessel関数の級数表現について(式変形などをあまり省略しないで)計算してみることにしました。

スタート地点の設定。

「計算する」とはいうものの、この記事では次の第1種変形Bessel関数が以下の( $1$ )式で表されることは既知とすることにします。

(1)

第1種変形Bessel関数から第2種変形Bessel関数を求める。

第2種変形Bessel関数の定義。

もののWikipediaによりますと、第2種変形Bessel関数は( $2$ )式のように定義されます。

(2)

整数次の場合ですとが整数になりますから、少なくとも分母が0になりそうです。また、分子もが整数のときには0になります(これについては別途計算してみました。この記事参照)。そこで、が整数の場合にはがその整数へ近づくときの極限として第2種変形Bessel関数を定義します。すなわち( $3$ )式のように定義します。

(3)

計算の方針。

( $3$ )式の極限をそのまま計算するのは分母にとかが現れたりしていてかなり繁雑そうなので、もう少し簡単に計算できないか考えてみます。

分母は三角関数ですから、それをで微分した結果得られる関数はであればであり、

(4) (5)

ですから、(

4

)式を

で微分した式を(

5

)式を

で微分した式で割った結果得られる関数

(なんだかよくわからないので、とりあえずこのように置きます。)の変数

が

に近づくときの極限値が存在すれば、その値が(

3

)式の極限値に等しくなります(ロピタルの定理)。

したがって、を計算すれば整数次数の第2種変形Bessel関数が求まることになります。

計算してみます。

分母の微分の極限

最初に簡単な方から計算します。

分母の微分した結果得られる関数のがに近づくときの極限値はが整数であることに着目すると、以下のように計算できます。

(6)

分子の微分の極限

次に分子の微分の極限を計算します。

最初は1項ずつ微分します。

ただ分母と比べると少々どころか、かなり繁雑なので、最初はの部分との部分とに分けて微分します。

まず、をで微分します。すると、以下のように計算できます。

(7)

( $7$ )式には関数の微分なんていうものや関数の自乗という少々扱いにくそうなものが登場しますが、これは、

(8)

で定義されるディガンマ関数

を使うと、以下のように変形できます。

(9)

関数の微分や自乗の項が消えて、少しすっきりした感じになりました。

ここまでの議論と同様の流れでもで微分することができて、

(10)

と計算できます。

分子の極限値を求めます。

( $9$ )式及び( $10$ )式をまとめて、がに近づく時の極限値を求めてみます。

まず、単純に( $9$ )式及び( $10$ )式の右辺並びに左辺どうしを引いて、がに近づく時の極限をとると( $11$ )式のように書けます。

(11)

( $11$ )式の括弧の中の右辺の第1項及び第3項はが整数のときにはこの記事の計算結果よりになります。そこで、( $11$ )式の括弧の中の右辺の第1項及び第3項をまとめると…

(12)

となります(まとめた部分は先に極限値を求めたことにしてしまいました)。

が十分に小さいとき、( $12$ )式右辺のの中に残っている項のうち、最初の項の無限級数の最初の項()については分母にいる関数及びディガンマ関数の引数が正でない整数に近づくものがあります(の場合に限り、分母にいる関数及びディガンマ関数の引数が正でない整数に近づくものがありませんが、この場合については後述します)。

以下のような感じのイメージです↓

そこで、

(13)

のように分割してから

が

に近づく時の極限をとると、(

13

)式の右辺第1項についてはこの記事で示した式

(14)

が使えます。

また、( $13$ )式の右辺第2項についてはをに置き換えると、無限級数で使用している変数の開始位置を0に移動することができますので、がに近づく時の極限は以下のように計算できます。

(15)

全体の極限値を求めます。

…というわけで、( $6$ ),( $12$ )及び( $15$ )式をまとめると、

(16)

となって、極限が存在しそうな感じの式になります。(

16

)式をもう少しまとめることができないか考えてみます。

( $16$ )式の右辺は極限をとったあとの値であり、関数の引数はすべて正の整数ですので、階乗の形で表すことができそうです。また、( $16$ )式の右辺の第3項及び第4項についてはの冪のところが似た形になっていますので、もしかするとまとめることができるかもしれません。

実際に計算してみると…

(17)

という感じでまとめることができます(

であることは特に明記せずに使っています)。

なお、( $17$ )式の右辺第3項が収束するのかどうかが気になるところですが、収束します(証明についてはこちらに書きました(panda大学習帳外伝のページです))。

したがって、( $17$ )式の右辺は収束するので、その値がそのまま次の第2種変形Bessel関数の級数表現になります。

の場合には、( $13$ )式の右辺第1項は現れないので、( $13$ )式の右辺第1項を変形した結果得られる( $17$ )式の右辺第2項は存在しません。よって、の場合には、第2種変形Bessel関数の級数表現は以下のように表されます。

(18)

( $17$ )式の右辺及び( $18$ )式が0次の場合も含めた整数次数(次)の第2種変形Bessel関数の級数表現になります。

まとめ

( $17$ )式の右辺及び( $18$ )式のどちらもが登場したりディガンマ関数が登場したり、挙句の果てには第1種変形Bessel関数が登場したりとかなり賑やかな級数展開の式となっていますが、正の数を引数とするディガンマ関数は比較的簡単に数値計算ができますので、第1種変形Bessel関数が計算できれば計算機での実装ができそうな雰囲気は醸し出していると思います(※個人の感想です)。

結果的にはこの記事とこの記事が壮大な(本Webサイト比)の前フリになっていたことになります。特にこの記事では関数を含む関数の極限について書きましたが、これを単独で示されても一体何の役に立つのだろう的な第一印象を持たれることになりがちです。ここまでの計算を見ていただくと、計算機での実装ができそうな式への変形の途中で登場して、計算式を簡略化するのに役立っていることが理解していただけるかと思います。

Bessel関数はMATLABやBoostやApache Commons MathやSciPy、さらにはExcelの関数としても実装されていますが、背景を理解していないと使いにくい関数でもありますので、背景が知りたくなった時にこの記事をチラ見していただけるといいじゃないかなと思います。

この記事は以上です。