logo

ルジャンドル多項式は、低次の任意の多項式と直交する 📂関数

ルジャンドル多項式は、低次の任意の多項式と直交する

定理

Pl(x)P_{l}(x)ルジャンドル多項式で、f(x)f(x)llより低い次数の任意の多項式とするとき、Pl(x)P_{l}(x)f(x)f(x)は**直交**している。

11Pl(x)f(x)dx=0 \int_{-1}^{1}P_{l}(x)f(x)dx = 0

説明

以下の補題は事実上、定理の証明に等しい。

補題

f(x)f(x)を任意のnn次の多項式とする。f(x)f(x)lnl \le nまでのルジャンドル多項式Legendre polynomialの線形結合で表すことができる。

証明

Pl(x)P_{l}(x)ll次の多項式である。従って、Pn(x)P_{n}(x)の最高次の項と任意の定数の積でf(x)f(x)nn次の項を表すことができる。また、Pn(x)P_{n}(x)xn1x^{n-1}項と任意の定数の積をPn1(x)P_{n-1}(x)の最高次の項と任意の定数の積に加えて、f(x)f(x)n1n-1次の項を表すことができる。この方法を続け、次数を下げていくと、定数項まで表すことができる。従って、f(x)f(x)をルジャンドル多項式の線形結合で表すことができることがわかる。

証明

f(x)f(x)を任意のn(<l)n(\lt l)次の多項式とする。PlP_{l}ffの内積は次のようである。

11Pl(x)f(x)dx \int_{-1}^{1}P_{l}(x)f(x) dx

補題により、f(x)f(x)をルジャンドル多項式の線形結合で表すと、次のようになる。

11Pl(x)[anPn(x)+an1Pn1(x)++a0P0(x)]dx=an11Pl(x)Pn(x)dx+an111Pl(x)Pn1(x)dx++a011Pl(x)P0(x)dx=0 \begin{align*} & \int_{-1}^{1} P_{l}(x)\big[ a_{n}P_{n}(x)+a_{n-1}P_{n-1}(x) + \cdots +a_{0}P_{0}(x) \big] dx \\ &= a_{n}\int _{-1}^{1}P_{l}(x)P_{n}(x)dx +a_{n-1}\int _{-1}^{1}P_{l}(x)P_{n-1}(x) dx +\cdots+a_{0}\int _{-1}^{1}P_{l}(x)P_{0}(x)dx \\ &= 0 \end{align*}

lnl \ne nであり、ルジャンドル多項式の直交性により、全ての項が00である。