Past exam of the mathematics course of the University of Cambridge / 2023 / ii / Paper 4 / 7E / Solution

The Papperitz symbolspecifies a second-order Fuchsian differential equation. The first row lists its three distinct regular singular points $0,1,\infty$; $z$ is the independent variable. The two entries below each singular point are its characteristic exponents. Thus local solutions have leading behaviorsand, with the usual convention at infinity,When an exponent difference is an integer, a logarithmic second solution may replace the naive second Frobenius power. The entries obey the Fuchs relationFor a second-order equation with exactly three regular singular points, these exponent data determine the equation up to multiplication by a nonzero function; there is no accessory parameter. The symbol is therefore the one for the Gauss hypergeometric equation. Its distinguished solution $F(a,b;c;z)$ is the exponent-zero solution analytic at zero and normalized to one there. For the ordinary power-series definition one assumes $c\notin \{0,-1,-2,\dots \}$, with exceptional parameter values handled separately or by continuation.

Now putThe hypergeometric equation in $u$ has exponent pairsThe Möbius transformation of a Papperitz symbol sendsso $Y$ has symbol

On the other hand, $F(a,b;c;z)$ has exponent pairsat $0,1,\infty$. Multiplication by $(1-z{)}^a$ applies the dependent-variable rescaling of a Papperitz symbol: it adds $a$ to both exponents at $z=1$ and subtracts $a$ from both at infinity. Hencehas exactly the same three exponent pairs as $Y$.

Both functions are analytic near $z=0$ and equal one at $z=0$, so uniqueness of the normalized exponent-zero hypergeometric solution gives the Pfaff transformationThe identity first holds near zero with the branch of $(1-z{)}^a$ equal to one there, and then extends by analytic continuation on any domain where compatible branches are chosen.

Solved by gpt-5.6-sol high.