特殊関数の公式を証明していくシリーズ(目次)。 中心力ポテンシャル系のシュレディンガー方程式を解く際に、動径方向の方程式として出てくるベッセルの微分方程式の級数解をガリガリ求めていきます。 解はベッセル関数と呼ばれる関数になります。 ベッセル関数以外にもノイマン関数と呼ばれる関数も解になりますが、少々記事が長くなるので別記事で扱います。
【この記事の内容】
ベッセルの微分方程式
ベッセルの微分方程式は以下の形をしています:
はとりあえず正の整数とします。
ベッセルの微分方程式の級数解
ベッセルの微分方程式の解
級数解では を分母に入れることが多いですが、ベッセルの微分方程式の場合は入れない方がちょっとだけ簡単になる(結果に入ってこないため)ので、入れずに定義しています*1。 このとき
となるので、これをベッセルの微分方程式に代入して
よって の各冪の係数が消えるためには
となります。 1つ目と2つ目の式は とすれば3つ目の式にまとめて書けます。 後のために3つ目の式で
の置き換えをして、結局係数の初項と漸化式は以下のようになります:
(1), (2) 式より かつ
となるのは
のときで、
が0でないのは
が
と等しいか
より偶数だけ大きいときであることが分かります。
を自然数として
を (2) 式を使って変形していくと
となります。 これをもとの級数に代入して
全体にかかる定数を ととって、この級数で定義される関数を
とおき
となります。 これは(第1種)ベッセル関数 (Bessel function) と呼ばれます。
n が実数の場合
ベッセル関数は、球ベッセル関数などのように
と定義します*2。 が実数なので、元の定義で和の中にあった因子
をガンマ関数を使って
に拡張しています(
が非正の整数の場合は後ほど)。 このベッセル関数は、当然以下のベッセルの微分方程式を満たします:
少し補足
ベッセル関数
によって関数 を定義して(したがって、
が整数でなければ
は
の整数冪ではなくなるということですが)、ベッセルの微分方程式から
が満たす微分方程式を求めると
が得られます。 この の級数解は上記の方法と同じように求められて、パラメータが実数
の場合の表式が得られます。
ベッセルの微分方程式の2つの基本解(ノイマン関数とハンケル関数)
で定義されるノイマン関数 (Neumann function) もしくは第2種ベッセル関数も用いられます。 が非正の整数の場合は
という極限で定義されます。
上記のノイマン関数の唐突な定義については『ベッセルの微分方程式のロンスキアンとノイマン関数』参照。 簡単に言えばロンスキアンという式を簡単にするためと球ベッセル関数の定義からきています。
また、
で定義されるハンケル関数 (Hankel function) もしくは第3種ベッセル関数というのもあります。
パラメータが非正の整数の場合
パラメータまた が負の場合、
を正の整数として
を考えると、
より、定義の級数で
の項が消えて
となって、 は
と実質同じ関数となります。 したがって、パラメータが非正の整数の場合には、ベッセルの微分方程式には他の基本解があります。 これは上記で出てきたノイマン関数(で極限をとったもの)になるのですが、ちょっと定義が天下り的なので別記事でもう少しだけきちんと求めてみたいと思います。
まとめ
ベッセルの微分方程式
ベッセル関数
ノイマン関数
ハンケル関数
【修正】
- ノイマン関数の定義についてのコメントを少し修正しました。
- 展開係数を
から
に変更しました。