負の指数mの関連ルジャンドル多項式
📂関数負の指数mの関連ルジャンドル多項式
公式
関連するルジャンドル多項式はmの符号によって、下の比例関係が成立する。
Pl−m(x)=(−1)m(l+m)!(l−m)!Plm(x)
(1−x2)dx2d2y−2xdxdy+(1−x2−m2+l(l+1))y=0
説明
関連するルジャンドル微分方程式を見れば、mに関する部分がm2と示されているので、mが負か正かに関しては解に影響を与えない。だから関連するルジャンドル多項式も以下のように導出された。
Plm(x)=(1−x2)2∣m∣dx∣m∣d∣m∣Pl(x)=(1−x2)2∣m∣dx∣m∣d∣m∣[2ll!1dxldl(x2−1)l]
従って、上の式によるとPlm(x)=Pl−m(x)である。しかし、二つが同じだと見るより、互いに比例関係にあると見る。微分方程式の解に単なる定数を掛けてもまだ解なので、Aを任意の定数とした時、Pl−m(x)をAPlm(x)のように表現することができる。この記事ではA=(−1)m(l+m)!(l−m)!であることを示す。
導出
まず関連するルジャンドル多項式の微分部にライプニッツ則を適用すると、
dxl+∣m∣dl+∣m∣(x2−1)l=dxl+∣m∣dl+∣m∣[(x−1)l(x+1)l]=k=0∑l+∣m∣(l+∣m∣−k)!k!(l+∣m∣)!dxl+∣m∣−kdl+∣m∣−k(x+1)ldxkdk(x−1)l(1)
ケース1. m>0
ここでm>0の場合を考える。するとl+∣m∣−k=l+m−k=l+(m−k)である。インデックスkは0からl+mまで行く。この時k<mの場合を考えるとl+(m−k)>lなので、微分回数が最高次項の次数を超えて
dxl+∣m∣−kdl+∣m∣−k(x+1)l=0
である。従って、0≤k<mに対して(1)の右辺は全て0である。同様にk>lの場合はdxkdk(x−1)l=0なのでk≤lの場合だけ右辺に0以外の項が存在する。つまりm≤k≤lではないkに対しては右辺が0なのでk=0∑l+m=k=m∑lが成立する。従って、
dxl+mdl(x2−1)l=k=m∑l(l+m−k)!k!(l+m)!dxl+m−kdl+m−k(x+1)ldxkdk(x−1)l=k=m∑l(l+m−k)!k!(l+m)!l(l−1)⋯(l−l−m+k+1)(x+1)l−l−m+kl(l−1)⋯(l−k+1)(x−1)l−k=k=m∑l(l+m−k)!k!(l+m)!(k−m)!l!(x+1)k−m(l−k)!l!(x−1)l−k=(l!)2k=m∑l(l+m−k)!k!(l+m)!(k−m)!1(l−k)!1(x+1)k−m(x−1)l−k(2)
ケース2. m<0
この場合、式(1)は
dxl+∣m∣dl+∣m∣(x2−1)l=dxl−mdl−m(x2−1)l=k=0∑l−m(l−m−k)!k!(l−m)!dxl−m−kdl−m−k(x+1)ldxkdk(x−1)l=k=0∑l−m(l−m−k)!k!(l−m)!(k+m)!l!(x+1)k+m(l−k)!l!(x−1)l−k=(l!)2k=0∑l−m(l−m−k)!k!(l−m)!(k+m)!1(l−k)!1(x+1)k+m(x−1)l−k
ここでインデックスをk=k−mに変えると、
dxl−mdl−m(x2−1)l=(l!)2k=m∑l(l−k)!(k−m)!(l−m)!k!1(l+m−k)!1(x+1)k(x−1)l+m−k(3)
(2), (3)を合わせると、
dxl−mdl−m(x2−1)l=(l+m)!(l−m)!(x+1)m(x−1)mdxl+mdl+m(x2−1)l(4)
である。そしてm>0の時、
Plm(x)=(1−x2)2m2ll!1dxl+mdl+m(x2−1)l
だが、今私達はm→−mの場合を考えているので、mの代わりに−mを代入すると、
Pl−m(x)=(1−x2)−2m2ll!1dxl−mdl−m(x2−1)l
ここに(4)を代入すると、
Pl−m(x)=(1−x2)−2m2ll!1(l+m)!(l−m)!(x+1)m(x−1)mdxl+mdl+m(x2−1)l=(1−x2)−m(l+m)!(l−m)!(x2−1)m[(1−x2)2m2ll!1dxl+mdl+m(x2−1)l]=(1−x2)−m(l+m)!(l−m)!(x2−1)mPlm(x)=(−1)m(x2−1)−m(l+m)!(l−m)!(x2−1)mPlm(x)=(−1)m(l+m)!(l−m)!Plm(x)
■