PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] integral representation of the hypergeometric function (Theorem)

When $\Re c > \Re b > 0$ , one has the representation $$F(a,b;c;z) = {\Gamma (c) \over \Gamma (b) \Gamma (c-b)} \int_0^1 t^{b-1} (1-t)^{c-b-1} (1-tz)^{-a} \, dt$$

Note that the conditions on $b$ and $c$ are necessary for the integral to be convergent at the endpoints $0$ and $1$ . To see that this integral indeed equals the hypergeometric function, it suffices to consider the case $|z| < 1$ since both sides of the equation are analytic functions of $z$ . (This follows from the rigidity theorem for analytic functions although some care is required because the function is multiply-valued.) With this assumption, $|tz| < 1$ if $t$ is a real number in the interval $[0,1]$ and hence, $(1 - tz)^{-a}$ may be expanded in a power series. Substituting this series in the right hand side of the formula above gives $${\Gamma (c) \over \Gamma (b) \Gamma (c-b)} \int_0^1 \sum_{k=0}^\infty t^{b-1} (1-t)^{c-b-1} {\Gamma (k-a+1) \over \Gamma (1-a) \Gamma (k+1)} (-tz)^k \, dt$$ Since the series is uniformly convergent, it is permissible to integrate term-by-term. Interchanging integration and summation and pulling constants outside the integral sign, one obtains $${\Gamma (c) \over \Gamma (b) \Gamma (c-b)} \sum_{k=0}^\infty {\Gamma (k-a+1) \over \Gamma (1-a) \Gamma (k+1)} (-z)^k \int_0^1 (1-t)^{c-b-1} t^{b+k-1} dt$$ The integrals appearing inside the sum are Euler beta functions. Expressing them in terms of gamma functions and simplifying, one sees that this integral indeed equals the hypergeometric function.

The hypergeometic function is multiply-valued. To obtain different branches of the hypergeometric function, one can vary the path of integration.




"integral representation of the hypergeometric function" is owned by rspuzio.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: path, branches, gamma functions, terms, beta functions, Euler, integral sign, summation, integrate, uniformly convergent, formula, right hand side, series, power series, expanded, interval, real number, function, rigidity theorem for analytic functions, analytic functions, equation, sides, hypergeometric function, endpoints, convergent, integral, necessary, representation

This is version 3 of integral representation of the hypergeometric function, born on 2004-09-07, modified 2006-10-26.
Object id is 6150, canonical name is IntegralRepresentationsOfTheHypergeometricFunction.
Accessed 4648 times total.

Classification:
AMS MSC33C05 (Special functions :: Hypergeometric functions :: Classical hypergeometric functions, $_2F_1$)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)