Paper 1, Section II, A

Further Complex Methods
Part II, 2016

(a) Legendre's equation for w(z)w(z) is

(z21)w+2zw(+1)w=0, where =0,1,2,\left(z^{2}-1\right) w^{\prime \prime}+2 z w^{\prime}-\ell(\ell+1) w=0, \quad \text { where } \quad \ell=0,1,2, \ldots

Let C\mathcal{C} be a closed contour. Show by direct substitution that for zz within C\mathcal{C}

Cdt(t21)(tz)+1\int_{\mathcal{C}} d t \frac{\left(t^{2}-1\right)^{\ell}}{(t-z)^{\ell+1}}

is a non-trivial solution of Legendre's equation.

(b) Now consider

Qν(z)=14isinνπCdt(t21)ν(tz)ν+1Q_{\nu}(z)=\frac{1}{4 i \sin \nu \pi} \int_{\mathcal{C}^{\prime}} d t \frac{\left(t^{2}-1\right)^{\nu}}{(t-z)^{\nu+1}}

for real ν>1\nu>-1 and ν0,1,2,\nu \neq 0,1,2, \ldots. The closed contour C\mathcal{C}^{\prime} is defined to start at the origin, wind around t=1t=1 in a counter-clockwise direction, then wind around t=1t=-1 in a clockwise direction, then return to the origin, without encircling the point zz. Assuming that zz does not lie on the real interval 1x1-1 \leqslant x \leqslant 1, show by deforming C\mathcal{C}^{\prime} onto this interval that functions Q(z)Q_{\ell}(z) may be defined as limits of Qν(z)Q_{\nu}(z) with ν=0,1,2,\nu \rightarrow \ell=0,1,2, \ldots.

Find an explicit expression for Q0(z)Q_{0}(z) and verify that it satisfies Legendre's equation with =0\ell=0.