Past exam of the mathematics course of the University of Cambridge / 2017 / ii / Paper 2 / 12E (Further Complex Methods)

Choose a branch of $t=1-z$ with $|\arg t|<\pi$ and write $d=c-a-b\notin \mathbb{Z}$. The Gauss hypergeometric equation isChanging to $t$ turns this into the same equation with third parameter $a+b+1-c=1-d$. Its solution regular at $t=0$ is $y_1=F(a,b,1-d;t)$. Substitution of $y=t^{d}v$ gives the Gauss hypergeometric equation for $v$ with parameters $c-a,c-b,1+d$. Thus $y_2=t^{d}F(c-a,c-b,1+d;t)$ is also a solution. Their distinct nonintegrally separated characteristic exponents at a regular singular point $0,d$ imply linear independence near $z=1$, soThis also follows from the exponent transformation in the Papperitz symbol.

Initially assume $\Re c>\Re b>0$, so the Euler integral for the hypergeometric function applies. If $\Re d>0$, taking $z\to 1$ gives an integral evaluated by the beta function and determinesIndeed $y_1\to 1$ and $y_2\to 0$ there. To find $B$, instead work in the nonempty parameter region $\Re d<0$, put $z=1-ϵ$ and scale the integration variable by $1-s=ϵu$. The singular contribution isThe defining integral of the beta function evaluates this integral to $\Gamma (c-b)\Gamma (-d)/\Gamma (a)$. Since ${ϵ}^{-d}{y}_1\to 0$ and ${ϵ}^{-d}{y}_2\to 1$, it determines $B$. Analytic continuation in the parameters then yields the hypergeometric connection formulaThe usual power-series definition requires $c\notin \{0,-1,-2,\dots \}$; exceptional parameters need a separately specified analytic limit. Reciprocal gamma functions make vanishing coefficients at denominator poles meaningful. The branch must remain fixed when continuing in $z$.