Paper 2, Section II, D

Numerical Analysis
Part IB, 2018

Show that the recurrence relation

p0(x)=1pn+1(x)=qn+1(x)k=0nqn+1,pkpk,pkpk(x)\begin{aligned} p_{0}(x) &=1 \\ p_{n+1}(x) &=q_{n+1}(x)-\sum_{k=0}^{n} \frac{\left\langle q_{n+1}, p_{k}\right\rangle}{\left\langle p_{k}, p_{k}\right\rangle} p_{k}(x) \end{aligned}

where ,\langle\cdot, \cdot\rangle is an inner product on real polynomials, produces a sequence of orthogonal, monic, real polynomials pn(x)p_{n}(x) of degree exactly nn of the real variable xx, provided that qnq_{n} is a monic, real polynomial of degree exactly nn.

Show that the choice qn+1(x)=xpn(x)q_{n+1}(x)=x p_{n}(x) leads to a three-term recurrence relation of the form

p0(x)=1p1(x)=xα0pn+1(x)=(xαn)pn(x)βnpn1(x)\begin{aligned} p_{0}(x) &=1 \\ p_{1}(x) &=x-\alpha_{0} \\ p_{n+1}(x) &=\left(x-\alpha_{n}\right) p_{n}(x)-\beta_{n} p_{n-1}(x) \end{aligned}

where αn\alpha_{n} and βn\beta_{n} are constants that should be determined in terms of the inner products pn,pn,pn1,pn1\left\langle p_{n}, p_{n}\right\rangle,\left\langle p_{n-1}, p_{n-1}\right\rangle and pn,xpn\left\langle p_{n}, x p_{n}\right\rangle.

Use this recurrence relation to find the first four monic Legendre polynomials, which correspond to the inner product defined by

p,q11p(x)q(x)dx\langle p, q\rangle \equiv \int_{-1}^{1} p(x) q(x) d x