Hypergeometric series

From Exampleproblems

(Redirected from Hypergeometric function)

In mathematics, a hypergeometric series is the sum of a sequence of terms in which the ratios of successive coefficients k is a rational function of k. The series, if convergent, will define a hypergeometric function which may then be defined over a wider domain of the argument by analytic continuation. The hypergeometric series is generally written:

$\,_pF_q(a_1,\ldots,a_p;b_1,\ldots,b_q;z)=\sum_{n=0}^\infty c_n z^n$

where $c 0$ =1 and

$\frac{c_{n+1}}{c_n}=\frac{(n+a_1)(n+a_2)\cdots(n+a_p)}{(n+b_1)(n+b_2)\cdots(n+b_q)}\,\frac{1}{n+1}$

The series may also be written:

$\,_pF_q(a_1,\ldots,a_p;b_1,\ldots,b_q;z)=\sum_{n=0}^\infty \frac{(a_1)_k(a_2)_n\ldots(a_p)_n}{(b_1)_n(b_2)_n\ldots(b_q)_n}\,\frac{z^n}{n!}$

where $(a)_n=a(a+1)\cdots(a+n-1)$ is the rising factorial or Pochhammer symbol.

1 Introduction
2 Notation
3 Special cases and applications
4 History and generalizations
5 References

Introduction

A hypergeometric series could in principle be any formal power series in which the ratio of successive coefficients

$\frac{\alpha_{n+1}}{\alpha_n}$

is a rational function of n. That is,

$\frac{\alpha_{n+1}}{\alpha_n} = \frac{\tilde P(n)}{\tilde Q(n)}$

for some polynomials $\tilde P(n)$ and $\tilde Q(n)$ . Thus, for example, in the case of a geometric series, this ratio is a constant. Another example is the series for the exponential function, for which

$\frac{\alpha_{n+1}}{\alpha_n} =\frac{1}{n+1}.$

In practice the series is written as an exponential generating function, modifying the coefficients so that a general term of the series takes the form

$\alpha_n = \frac{\beta_n}{n!},$

and $β 0 = 1$ . One uses the exponential function as a 'baseline' for discussion.

Many interesting series in mathematics have the property that the ratio of successive terms is a rational function. However, when expressed as an exponential generating function, such series have a non-zero radius of convergence only under restricted conditions. Thus, by convention, the use of the term hypergeometric series is usually restricted to the case where the series defines an actual analytic function with a non-zero radius of convergence. Such a function, and its analytic continuations, is called the hypergeometric function.

Convergence conditions were given by Carl Friedrich Gauss, who examined the case of

$\frac{\beta_{n+1}}{\beta_n} = \frac{(n+a)(n+b)}{(n+c)}$ ,

leading to the classical standard hypergeometric series

$\,_2F_1(a,b,c;z).$

Notation

The standard notation for the general hypergeometric series is

$\,_mF_p.$

Here, the integers m and p refer to the degree of the polynomials P and Q, respectively, referring to the ratio

$\frac{\beta_{n+1}}{\beta_n} = \frac{P(n)}{Q(n)}.$

If m>p+1, the radius of convergence is zero and so there is no analytic function. The series naturally terminates in case P(n) is ever 0 for n a natural number. If Q(n) were ever zero, the coefficients would be undefined.

The full notation for F assumes that P and Q are monic and factorised, so that the notation for F includes an m-tuple that is the list of the zeroes of P and a p-tuple of the zeroes of Q. Note that this is not much restriction: the fundamental theorem of algebra applies, and we can also absorb a leading coefficient of P or Q by redefining z. As a result of the factorisation, a general term in the series then takes the form of a ratio of products of Pochhammer symbols. Since Pochhammer notation for rising factorials is traditional it is neater to write F with the negatives of the zeros. Thus, to complete the notational example, one has

$\,_2F_1 (a,b;c;z) = \sum_{n=0}^\infty \frac{(a)_n(b)_n}{(c)_n} \, \frac {z^n} {n!}$

where $(a) n = a (a + 1)(a + 2)...(a + n - 1)$ is the rising factorial or Pochhammer symbol. Here, the zeros of P were −a and −b, while the zero of Q was −c.

Special cases and applications

The classic orthogonal polynomials can all be expressed as special cases of ${\;}_2F_1$ with one or both a and b being (negative) integers. Similarly, the Legendre functions are a special case as well.

Applications of hypergeometric series includes the inversion of elliptic integrals; these are constructed by taking the ratio of the two linearly independent solutions of the hypergeometric differential equation to form Schwarz-Christoffel maps of the fundamental domain to the complex projective line or Riemann sphere.

The Kummer function ₁F₁(a,b;z) is known as the confluent hypergeometric function.

The function ₂F₁ has several integral representations, including the Euler hypergeometric integral.

History and generalizations

Studies in the nineteenth century included those of Ernst Kummer, and the fundamental characterisation by Bernhard Riemann of the F-function by means of the differential equation it satisfies. Riemann showed that the second-order differential equation (in z) for F, examined in the complex plane, could be characterised (on the Riemann sphere) by its three regular singularities: that effectively the entire algorithmic side of the theory was a consequence of basic facts and the use of Möbius transformations as a symmetry group.

Subsequently the hypergeometric series were generalised to several variables, for example by Paul Emile Appell; but a comparable general theory took long to emerge. Many identities were found, some quite remarkable. A generalization, the q-series analogues, called the basic hypergeometric series, were given by Eduard Heine in the late nineteenth century. Here, the ratio of successive terms, instead of being a rational function of n, are considered to be a rational function of $q n$ . Another generalization, the elliptic hypergeometric series, are those series where the ratio of terms is an elliptic function (a doubly periodic meromorphic function) of n.

During the twentieth century this was a fruitful area of combinatorial mathematics, with numerous connections to other fields. There are a number of new definitions of hypergeometric series, by Aomoto, Israel Gelfand and others; and applications for example to the combinatorics of arranging a number of hyperplanes in complex N-space (see arrangement of hyperplanes).

Hypergeometric series can be developed on Riemannian symmetric spaces and semi-simple Lie groups. Their importance and role can be understood through a special case: the hypergeometric series ₂F₁ is closely related to the Legendre polynomials, and when used in the form of spherical harmonics, it expresses, in a certain sense, the symmetry properties of the two-sphere or equivalently the rotations given by the Lie group SO(3). Concrete representations are analogous to the Clebsch-Gordan coefficients.

A number of hypergeometric function identities were discovered in the nineteenth and twentieth centuries; one classical list of such identities is Bailey's list. It is currently understood that there is a very large number of such identities, and several algorithms are now known to generate and prove these identities. In a certain sense, the situation can be likened to using a computer to perform addition and multiplication; the actual value of the resulting number is in a sense less important than the various patterns that emerge; and so it is with hypergeometric identities as well.

References

Milton Abramowitz and Irene A. Stegun, eds. (1972). Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, New York:Dover. ISBN 0486612724.
- Chapter 13. - $\,_1F_1$ and $\,_2F_0$
- Chapter 15. - $\,_2F_1$
Gerrit Heckman and Henrik Schlichtkrull (1994). Harmonic Analysis and Special Functions on Symmetric Spaces, Academic Press, San Diego. ISBN 0-12-336170-2. (Part 1 treats hypergeometric functions on Lie groups.)
Masaaki Yoshida (1997). Hypergeometric Functions, My Love: Modular Interpretations of Configuration Spaces, Friedrick Vieweg & Son. ISBN 352-806925-2.