logo

Legendre Polynomials are orthogonal to any lower degree polynomial 📂Functions

Legendre Polynomials are orthogonal to any lower degree polynomial

Theorem

When Pl(x)P_{l}(x) is a Legendre Polynomial and f(x)f(x) is any polynomial of lower degree than ll, then Pl(x)P_{l}(x) and f(x)f(x) are orthogonal to each other.

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

Explanation

The following lemma is essentially equivalent to the proof of the theorem.

Lemma

Let f(x)f(x) be any polynomial of degree nn. f(x)f(x) can be expressed as a linear combination of Legendre polynomials up to degree lnl \le n.

Proof

Pl(x)P_{l}(x) is a polynomial of degree ll. Therefore, the highest degree term of Pn(x)P_{n}(x) and a product of any constant can represent the nnth degree term of f(x)f(x). Also, the product of the xn1x^{n-1}th term of Pn(x)P_{n}(x) and a constant can be added to the product of any constant and the highest degree term of Pn1(x)P_{n-1}(x) to express the n1n-1th degree term of f(x)f(x). By continuing this method and moving down in order, even the constant term can be expressed. Therefore, it can be understood that f(x)f(x) can be represented as a linear combination of Legendre polynomials.

Proof

Let f(x)f(x) be any polynomial of degree n(<l)n(\lt l). The inner product of PlP_{l} and ff is as follows.

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

By the lemma, expressing f(x)f(x) as a linear combination of Legendre polynomials is as follows.

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*}

Given that lnl \ne n and by the orthogonality of Legendre polynomials, all terms are 00.