特殊関数の公式を証明していくシリーズ(目次)。 前回ベッセルの微分方程式の級数解としてベッセル関数を導きましたが、パラメータ が整数の場合はベッセル関数以外の解が存在します。 通常用いられるのはノイマン関数という関数で、前回は定義だけを見ましたが少々天下り的な話でした。 今回はベッセルの微分方程式に関してフックスの定理からくる解(以下、フックス解)を導き、その解と前回定義したノイマン関数との関係を見ていきます。 フックス解関連の話は個人的興味でやっただけなので、前回定義したノイマン関数でパラメータ
を整数にする極限にだけ興味ある方は、後半だけ読めば充分だと思います。
数式が未だかつてないくらいゴチャゴチャしてますが、全てノイマン関数のせいです。
【この記事の内容】
ベッセルの微分方程式とベッセル関数
ベッセルの微分方程式は以下で与えられます:
もしくは 微分を ' で表して
基本解の1つは以下のベッセル関数で表されるのでした:
フックスの定理による他の基本解
フックスの定理 (Fuchs' theorem) より、他の基本解は以下の形をしていることが知られています:
ここで は上記で定義されたベッセル関数、
はある実数、
は自然対数関数です。
は冪級数部分の最低次数を与えるので
です。
が満たす微分方程式 ここではまず
の形の解を仮定して が満たす微分方程式を求めてみましょう。
より
右辺第1項の を含む項は
がベッセルの微分方程式を満たすことから消える(!)ので、
に対するベッセルの微分方程式は結局
についての微分方程式
となります。 左辺の にかかっている演算はベッセルの微分方程式のものと同じで(
の置き方から当然ですが)、右辺が0でなくなった形になっています。 対数を含む項がなくなっているのもミソですね。
の級数解 上記の
についての微分方程式に対して級数解を求めていきましょう。 まぁ、前回ベッセル関数を導いたときとやることは変わりませんが。
の展開係数
を
で定義すると
より
また、ベッセル関数の定義の級数より
よってこれらが等しくなるとして(両辺に をかけて)
を得ます。 これが満たされるためには、 は整数でないといけないので、以降
は整数とします。 また、右辺は
の次数に関して
と同じ偶奇のものしかないので、左辺の和で
の項だけを残して
とできます。
の場合は
の場合と少し異なる(簡単になる)ので、まずは
の場合を別にやりましょう。
n = 0 の場合
(*) 式で
左辺で の最低次の項は
。 また右辺で
の最低次の項は(
の項は消えるので)
。 よって、
なら
となり
だと不適なので、
となりますが、これらは同じ結果を与えるようなので(あまりきちんと確かめてない ^^;))、以下では
として
を求めていきましょう。
のとき、上記の等式は
となるので、 の各次数で係数が等しくなるためには
両辺に をかけて
とおくと、
の漸化式は簡単になって
を得ます。 のとき
の一般項は和の形で求まって
となるので、 が
と求まります。 ただし、 は
のとき
で、
のとき0とします。 これを元の級数に代入すると
となりますが、第2項のベッセル関数に比例する項は単独でベッセルの微分方程式の解なので、上式で としたものを
とおいて(これはノイマン関数ではありません)
がベッセルの微分方程式の解となります。
n ≧ 1 の場合
両辺の について同次の項を比べやすくするために、右辺の和の変数を
から
に変換すると
両辺の の各次数の係数が等しくなることから
を得ます。
まず の範囲 では、(1) 式を繰り返し使って
を
で表し、結果に (2) 式を使うと
が求まります:
また の範囲では、
の場合と同様にして
が求められます。
とおけば、(3) 式より
となるので、 として
後のために添字の変数を から
に変換すると
となります。
以上で展開係数 が求まったので、(4), (5) 式を元の級数に代入すると
となります。 第3項はやはり必要ないので としたものを
とおいて(ノイマン関数ではありません)
がベッセルの微分方程式の解となります。 の場合も合わせて書くと
となります。 ただし
です。
ノイマン関数
前回少し触れたように、パラメータ
で定義されます。 パラメータ が整数
の場合、分母・分子が0となるので、極限として定義されます:
この極限をロピタルの定理を使って評価すると
ここからは項別に見ていきましょう。 まずは第1項の から。 ベッセル関数の定義の級数より
ただし、 はディ・ガンマ関数 (digamma function) で、ガンマ関数の対数微分として定義されます:
上記の変形では
を使いました。 ディ・ガンマ関数の正の整数での値は
となります。 ただし、 はオイラーの定数です(定義は最後のまとめの箇所参照)。
次は (6) 式の第2項 を計算していきます。 途中は第1項の計算とほとんど同じなので省略。
これをさらに項別に見ていきましょう。 第1項は
また、第2項では に代入する
が正になる場合と0以下になる場合とで分けて計算する必要があります。 正になる場合は (7) 式を出す際に行ったのと同じように計算できます。 一方、0以下の場合はディ・ガンマ関数の公式
を使って計算できます。 よって上式第2項で、 についての和を
と
に分けて(
の場合は1つ目はない)、和の部分だけを変形していくと
よって
(6) 式に (7), (8) 式を代入すると、ノイマン関数の最終的な表式が得られて
となります。
フックス解との関係
上記で得られたノイマン関数
ベッセル関数 にかかっている因子の中の和は、フックス解
の第2項の和の中の2つ目の和の下限を合わせるために入れてあります。
まとめ
ベッセルの微分方程式のフックス解(一般に用いられるわけではない)
ただし
ノイマン関数
パラメータ が整数でない場合
パラメータ が整数の場合
ただし、 はベッセル関数、
はオイラーの定数、
はディ・ガンマ関数です: