Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge / 2009 / Paper 2 / 2 / Solution

Set $\Phi =R(r)P(\theta )$ and multiply the Laplace equation by $r^2/(RP)$. Separation of variables givesWith $\xi =\cos \theta$, the angular equation is $[(1-{\xi }^2)P_{\xi }{]}^{\prime }+\lambda P=0$. Regularity at both poles selects the Legendre polynomials $P_n$ and $\lambda =n(n+1)$. The radial Cauchy-Euler equation has solutions $r^n,r^{-n-1}$. Expanding the angular data in this complete orthogonal system therefore giveswith the usual convergence required of a harmonic expansion on the region considered. Angular Legendre functions singular at the poles are excluded.

For $0<a<b$, the outer data have expansion $b^2{\cos }^2\theta =b^2/3+(2b^2/3)P_2(\cos \theta )$, while the inner data are pure $P_0$. Thus only degrees zero and two are needed. A radial interpolation matching each pair of boundary values givesThe first term is a linear combination of $1,r^{-1}$ and takes values $a^2,b^2/3$ at the two radii. The second is a combination of $r^2,r^{-3}$ and takes values zero and $2b^2/3$. These checks establish both boundary conditions; each term is harmonic. The maximum principle for harmonic functions gives uniqueness. This is an example of axisymmetric harmonic interpolation between concentric spheres.