ルジャンドル多項式
ルジャンドル多項式(ルジャンドルたこうしき、英: Legendre polynomial)とは、ルジャンドルの微分方程式を満たすルジャンドル関数のうち次数が非負整数のものを言う。直交多項式の一種である。
定義
解析学においてルジャンドルの微分方程式
n = 5 までのルジャンドル多項式のグラフ λ が非負整数 n = 0, 1, 2, … のときの解は x = ±1 の両点においても正則であり、かつ級数は途中で止まって多項式となる。さらに 、x = 1 において値 1 を取るという初期条件を課すと、解は一意に定まる。これを n次のルジャンドル多項式と呼び、普通は Pn(x) と記す[1]。また、全ての非負整数についての n次のルジャンドル多項式全体が成す関数族を総称的にルジャンドル多項式と呼ぶ。ルジャンドル多項式は後述する関数空間の内積に関して直交系を成す。ただし、この内積についての各 Pn(x) の大きさは 1 ではないため (これは Pn(1) = 1 という初期条件を課したためである)、正規直交系にはなっていない点は注意を要する。各ルジャンドル多項式 Pn(x) は n次多項式で、ロドリゲスの公式
Figure 2 ルジャンドル多項式は、多重極展開で自然に現れる