The hypergeometric equation is represented by the Papperitz symbol
P⎩⎪⎨⎪⎧001−c10c−a−b∞ab⎭⎪⎬⎪⎫
and has solution y0(z)=F(a,b,c;z).
Functions y1(z) and y2(z) are defined by
y1(z)=F(a,b,a+b+1−c;1−z)
and
y2(z)=(1−z)c−a−bF(c−a,c−b,c−a−b+1;1−z),
where c−a−b is not an integer.
Show that y1(z) and y2(z) obey the hypergeometric equation (∗).
Explain why y0(z) can be written in the form
y0(z)=Ay1(z)+By2(z)
where A and B are independent of z but depend on a,b and c.
Suppose that
F(a,b,c;z)=Γ(b)Γ(c−b)Γ(c)∫01tb−1(1−t)c−b−1(1−tz)−adt
with Re(c)>Re(b)>0 and ∣arg(1−z)∣<π. Find expressions for A and B.