integral representation of the hypergeometric function
When , one has the representation
Note that the conditions on and are necessary for the integral to be convergent at the endpoints and . To see that this integral indeed equals the hypergeometric function, it suffices to consider the case since both sides of the equation are analytic functions of . (This follows from the rigidity theorem for analytic functions although some care is required because the function is multiply-valued.) With this assumption, if is a real number in the interval and hence, may be expanded in a power series. Substituting this series in the right hand side of the formula above gives
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
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.
|Title||integral representation of the hypergeometric function|
|Date of creation||2013-03-22 14:35:14|
|Last modified on||2013-03-22 14:35:14|
|Last modified by||rspuzio (6075)|