Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge / 2017 / Paper 1 / 8 / b / Solution

Insert the Frobenius solution and its differentiated series into the equation. Collecting the terms before shifting an index givesThe coefficient of the lowest power $x^{\sigma -1}$ is $a_0\sigma (\sigma +\gamma -1)$. Because $a_0\ne 0$, the indicial equation givesFor the coefficient of $x^{n+\sigma -1}$ with $n\ge 1$, shift the index in the second sum. The hypergeometric Frobenius recurrence isWhenever the left coefficient is nonzero, division yieldsFor noninteger $\gamma$, the two independent local solutions can therefore be identified aswith a consistent local branch for the fractional power. The hypergeometric function coefficients follow by iterating the recurrence using rising factorials.

There is a parameter qualification to the PDF's statement for all real constants: a zero denominator cannot be divided through. At an undetermined coefficient at Frobenius resonance, use the undivided coefficient equation to test compatibility. For example, $\gamma =0,\sigma =0,n=1$ requires $0=\alpha \beta a_0$, so a pure exponent-zero series with $a_0\ne 0$ is impossible if $\alpha \beta \ne 0$. When $\gamma =1$ the two indicial roots coincide, and a second independent solution generally needs a logarithmic term. The indicial roots and undivided relation remain the valid coefficient conclusions in these exceptional cases.