Past exam of the differential equations 2 course of the University of Oxford / 2021 / 2 / d / Solution

Normalize both leading coefficients to one. For the indicial root $a=1/2$, the recurrence relation from part (b) givesRecognizing the Taylor series of the sine gives the first Frobenius solutionFor the smaller indicial root $-1/2$, $n(n-1)d_n=-d_{n-2}$. The equation at $n=1$ is $0=0$; choose the free coefficient $d_1=0$ to avoid adding the first Frobenius solution. The remaining coefficients areThus the Taylor series of the cosine givesTheir leading terms are $x^{1/2}$ and $x^{-1/2}$, as required for Case IIIb. A direct check uses $y=x^{-1/2}u$: the differential equation becomes $x^{3/2}(u^{\prime \prime }+u)=0$, so these two functions solve it on $x>0$. Their Wronskian is $-1/x\ne 0$, proving linear independence. The general solution is $(C_1\sin x+C_2\cos x)/\sqrt{x}$.