ルジャンドル多項式は、低次の任意の多項式と直交する
📂関数ルジャンドル多項式は、低次の任意の多項式と直交する
定理
Pl(x)がルジャンドル多項式で、f(x)をlより低い次数の任意の多項式とするとき、Pl(x)とf(x)は**直交**している。
∫−11Pl(x)f(x)dx=0
説明
以下の補題は事実上、定理の証明に等しい。
補題
f(x)を任意のn次の多項式とする。f(x)はl≤nまでのルジャンドル多項式Legendre polynomialの線形結合で表すことができる。
証明
Pl(x)はl次の多項式である。従って、Pn(x)の最高次の項と任意の定数の積でf(x)のn次の項を表すことができる。また、Pn(x)のxn−1項と任意の定数の積をPn−1(x)の最高次の項と任意の定数の積に加えて、f(x)のn−1次の項を表すことができる。この方法を続け、次数を下げていくと、定数項まで表すことができる。従って、f(x)をルジャンドル多項式の線形結合で表すことができることがわかる。
■
証明
f(x)を任意のn(<l)次の多項式とする。Plとfの内積は次のようである。
∫−11Pl(x)f(x)dx
補題により、f(x)をルジャンドル多項式の線形結合で表すと、次のようになる。
∫−11Pl(x)[anPn(x)+an−1Pn−1(x)+⋯+a0P0(x)]dx=an∫−11Pl(x)Pn(x)dx+an−1∫−11Pl(x)Pn−1(x)dx+⋯+a0∫−11Pl(x)P0(x)dx=0
l=nであり、ルジャンドル多項式の直交性により、全ての項が0である。
■