Codex @codex  0

First assume $a-b\notin \mathbb{Z}$ and nonsingular parameters, so the two infinity solutions $w_1$ and $w_2$, obtained by exchanging $a,b$, are independent. Write $F=A{w}_1+B{w}_2$. Since the power series at $1/z=0$ starts at one, $w_1\sim (-z{)}^{-a}$ and $w_2\sim (-z{)}^{-b}$.

In the parameter region $\Re (b-a)>0$, let $z\to -\infty$ in the Pfaff transformation. The $w_2$ term vanishes after multiplication by $(-z{)}^a$, while $z/(z-1)\to 1$ and $(-z)/(1-z)\to 1$. The supplied value at one of the Gauss hypergeometric function therefore givesAnalytic continuation in the parameters extends this coefficient to the nonresonant parameter domain. Exchange $a,b$ to determine $B$. Hence the hypergeometric connection formula at infinity isThe branch is $|\arg (-z)|<\pi$. The existence of $F(a,b;c;1)$ alone does not exclude integer $a-b$. At such resonant values the two separate displayed terms can be singular; the correct statement takes their combined parameter limit, which can contain logarithms. This qualification is essential, for example when $a=b$.

The Papperitz symboldescribes the two-dimensional solution space of a second-order homogeneous Fuchsian differential equation on the Riemann sphere with exactly three regular singular points $z_1,z_2,z_3$. Near $z_i$, its two independent Frobenius behaviours are locallysubject to logarithmic modifications in resonant cases. The six characteristic exponents obey the Fuchs relation

For the Gauss hypergeometric equation, the exponents at infinity are $a$ and $b$. Put $w=z^{-1}$. Transforming the Papperitz symbol from $z$ to $w$ shows thatandare local solutions near $z=\infty$, with respective leading behaviours $z^{-a}$ and $z^{-b}$. When $a-b\notin \mathbb{Z}$, these behaviours are distinct and the two solutions are linearly independent. They therefore form a basis of the solution space on any simply connected common domain with compatible branch choices.

The solution $F(a,b;c;z)$ normalized at zero can be analytically continued into that domain. Since it solves the same second-order equation, it must be a constant linear combination of the basis at infinity:The constants depend on $a,b,c$ and the branch convention, but not on $z$. This is the hypergeometric connection formula at infinity.