-
Recent Posts
- Integrating a cosine log integral around a semi-circle contour
- Creating Difficult integrals by the residue theorem
- Proving a trigonometric integral by integrating around an ellipse in the complex plain
- Integrating a fraction of exponential and trignometric using rectangular contour
- Integrating around a triangular contour for Fresnel integral
Recent Comments
- Ricardo on Integral representation of the digamma function using Abel–Plana formula
- Zaidalyafeai on Integral representation of the digamma function using Abel–Plana formula
- Ricardo on Integral representation of the digamma function using Abel–Plana formula
- Zaidalyafeai on Integral of arctan and log using contour integration
- tired on Integral of arctan and log using contour integration
Archives
Categories
Meta
Tag Archives: PFAFF
Pfaff transformations of the hypergeometric function proof
$${}_2F_1 \left(a,b;c;z\right)=(1-z)^{-a} {}_2F_1 \left(a,c-b;c;\frac{z}{z-1}\right)$$ and $${}_2F_1 \left(a,b;c;z\right)=(1-z)^{-b} {}_2F_1 \left(c-a,b;c;\frac{z}{z-1}\right)$$ $$\textit{proof}$$ Start by the integral representation $${}_2F_1 \left(a,b;c;z\right)=\frac{1}{\beta(b,c-b)}\int_0^1 \frac{t^{b-1}(1-t)^{c-b-1}}{(1-tz)^a}\, dt$$ By the the transformation \( t\to 1-t \) $$\int_0^1 \frac{(1-t)^{b-1}t^{c-b-1}}{(1-(1-t)z)^a}\, dt=\int_0^1 \frac{(1-t)^{b-1}t^{c-b-1}}{(1-z+tz)^a}\, dt$$ Which can be written as $$\frac{(1-z)^{-a}}{\beta(b,c-b)}\int_0^1t^{c-b-1}(1-t)^{b-1} \left( 1-t\frac{z}{z-1} … Continue reading
Posted in Hypergeoemtric function
Tagged function, hypergeoemtric, PFAFF, proof, transformation
1 Comment