Numerical Analysis - Lecture 3: Mathematical Tripos Part IB: Lent 2010
Numerical Analysis - Lecture 3: Mathematical Tripos Part IB: Lent 2010
2 Orthogonal polynomials
Given a scalar product in V = Pn [x], we say that pn ∈ Pn [x] is the nth orthogonal polynomial
if hpn , pi = 0 for all p ∈ Pn−1 [x]. [Note: different inner products lead to different orthogonal
polynomials.] A polynomial in Pn [x] is monic if the coefficient of xn therein equals one.
Theorem For every n ≥ 0 there exists a unique monic orthogonal polynomial of degree n. More-
over, any p ∈ Pn [x] can be expanded as a linear combination of p0 , p1 , . . . , pn ,
Proof. We let p0 (x) ≡ 1 and prove the theorem by induction on n. Thus, suppose that
p0 , p1 , . . . , pn have been already derived consistently with both assertions of the theorem and let
q(x) := xn+1 ∈ Pn+1 [x]. Motivated by the Gram–Schmidt algorithm, we choose
X
n
hq, pk i
pn+1 (x) = q(x) − pk (x), x ∈ R. (2.1)
hpk , pk i
k=0
Clearly, pn+1 ∈ Pn+1 [x] and it is monic (since all the terms in the sum are of degree ≤ n).
Let m ∈ {0, 1, . . . , n}. It follows from (2.1) and the induction hypothesis that
X
n
hq, pk i hq, pm i
hpn+1 , pm i = hq, pm i − hpk , pm i = hq, pm i − hpm , pm i = 0.
hpk , pk i hpm , pm i
k=0
1
and we deduce p ≡ 0.
Finally, in order to prove that each p ∈ Pn+1 [x] is a linear combination of p0 , . . . , pn+1 , we note
that we can always write it in the form p = cpn+1 + q, where c is the coefficient of xn+1 in p and
where q ∈ Pn [x]. According to the induction hypothesis, q can be expanded as a linear combination
of p0 , p1 , . . . , pn , hence our assertion is true. 2
Well-known examples of orthogonal polynomials include
Name Notation Interval Weight function
Legendre Pn [−1, 1] w(x) ≡ 1
Chebyshev Tn [−1, 1] w(x) = (1 − x2 )−1/2
Laguerre Ln [0, ∞) w(x) = e−x
2
Hermite Hn (−∞, ∞) w(x) = e−x
How to construct orthogonal polynomials? (2.1) might help, but it suffers from loss of accuracy
due to imprecisions in the calculation of scalar products. A considerably better procedure follows
from our next theorem.
Theorem Monic orthogonal polynomials are given by the formula
p−1 (x) ≡ 0, p0 (x) ≡ 1,
pn+1 (x) = (x − αn )pn (x) − βn pn−1 (x), n = 0, 1, . . . , (2.2)
where
hpn , xpn i hpn , pn i
αn := , βn = > 0.
hpn , pn i hpn−1 , pn−1 i
Proof. Pick n ≥ 0 and let ψ(x) := pn+1 (x) − (x − αn )pn (x) + βn pn−1 (x). Since pn and pn+1 are
monic, it follows that ψ ∈ Pn [x]. Moreover, because of orthogonality of pn−1 , pn , pn+1 ,
hψ, pℓ i = hpn+1 , pℓ i − hpn , (x − αn )pℓ i + βn hpn−1 , pℓ i = 0, ℓ = 0, 1, . . . , n − 2.
Because of monicity, xpn−1 = pn + q, where q ∈ Pn−1 [x]. Thus, from the definition of αn , βn ,
hψ, pn−1 i = −hpn , xpn−1 i + βn hpn−1 , pn−1 i = −hpn , pn i + βn hpn−1 , pn−1 i = 0,
hψ, pn i = −hxpn , pn i + αn hpn , pn i = 0.
Every p ∈ Pn [x] that obeys hp, pℓ i = 0, ℓ = 0, 1, . . . , n, must necessarily be the zero polynomial.
For suppose that it is not so and let xs be the highest power of x in p. Then hp, ps i = 6 0, which is
impossible. We deduce that ψ ≡ 0, hence (2.2) is true. 2
Example Chebyshev polynomials We choose the scalar product
Z 1
dx
hf, gi := f (x)g(x) √ , f, g ∈ C[−1, 1]
−1 1 − x2
and define Tn ∈ Pn [x] by the relation Tn (cos θ) = cos(nθ). Hence T0 (x) ≡ 1, T1 (x) = x, T2 (x) =
2x2 − 1 etc. Changing the integration variable,
Z 1 Z π Z π
dx
hTn , Tm i = Tn (x)Tm (x) √ = cos nθ cos mθ dθ = 21 [cos(n+m)θ + cos(n−m)θ] dθ = 0
−1 1 − x2 0 0