ルジャンドル多項式のロドリゲスの公式
📂関数ルジャンドル多項式のロドリゲスの公式
公式
ルジャンドル多項式の明示的explicitな公式は以下の通りです。
Pl(x)=2ll!1dxldl(x2−1)l(1)
説明
l番目のルジャンドル多項式を得る公式であり、これをロドリゲスの公式と言います。元々はルジャンドル多項式の明示的な形を示す言葉でしたが、その後、多項式で表される特殊関数の明示的な形を示す公式の一般的な名称となりました。
導出
ルジャンドル多項式Plは以下のようなルジャンドルの微分方程式の解を指します。
(1−x2)dx2d2y−2xdxdy+l(l+1)y=0
したがって、(1)が上記の微分方程式の解であることを示せば、証明が完了します。
まず、v=(x2−1)lとしたとき、dxldlvがルジャンドル方程式の解であることを示すつもりです。その後、Pl(1)=1を満たすように正規化して、(1)を得ます。
dxdv=l(2x)(x2−1)l−1
両辺に(x2−1)を掛けると、以下の式を得ます。
(x2−1)dxdv=2lx(x2−1)l=2lxv
両辺をl+1回微分すると、ライプニッツの法則により以下のようになります。
k=0∑l+1l+1Ckdxl+1−kdl+1−k(dxdv)dxkdk(x2−1)=2lk=0∑l+1l+1Ckdxl+1−kdl+1−kvdxkdkx
このとき、左辺はk≥3のときdxkdk(x2−1)=0であるため、k=0,2,3の項のみが残ります。右辺はk≥2のときdxkdkx=0であるため、k=1,2の項のみが残ります。したがって、次のように得られます。
(x2−1)dxl+2dl+2v+(l+1)(2x)dxl+1dl+1v+2!l(l+1)2dxldlv=2lxdxl+1dl+1v+2l(l+1)dxldlv
同じ係数項をまとめて整理すると、以下のようになります。
(1−x2)(dxldlv)′′−2x(dxldlv)′+l(l+1)dxldlv=0
これはルジャンドル方程式と同じ形です。つまり、dxldlvがルジャンドル方程式の解になります。
Pl(x)=dxldl(x2−1)l
Pl(1)=1を満たす係数を求めてみましょう。(x2−1)lを(x−1)l(x+1)lで因数分解し、ライプニッツの法則でl回微分すると、以下のようになります。
Pl(x)=dxldl[(x−1)l(x+1)l]=k=0∑llCkdxl−kdl−k(x−1)ldxkdk(x+1)l=lC0l!(x+1)l+lC1l!(x−1)l(x+1)l−1+lC22l!(x−1)2l(l−1)(x+1)l−2+⋯
2番目の項からは因数として(x−1)を含むため、x=1のとき0です。したがって、Pl(1)=l!2lであり、この値が1になるためには、2ll!1で割ればよいです。したがって、最終的に以下のようなロドリゲスの公式を得ます。
Pl(x)=2ll!1dxldl(x2−1)l
■