# nLab hypergeometric function

Classical hypergeometric series (introduced by Gauss) are solutions of certain ordinary differential equation of the second order; special cases appear in classical problems of mathematical physics, when wave, Laplace and similar equations are attacked by Fourier method of separation of variables (cf. Legendre polynomial, Hermite polynomial?). Hypergeometric series is defined by the formula,

${}_{p}{F}_{q}\left({a}_{1},\dots ,{a}_{p};{b}_{1},\dots ,{b}_{q};x\right)=\sum _{n=0}^{\infty }\frac{\left({a}_{1}{\right)}_{n}\left({a}_{2}{\right)}_{n}\cdots \left({a}_{p}{\right)}_{n}}{\left({b}_{1}{\right)}_{n}\left({b}_{2}{\right)}_{n}\cdots \left({b}_{q}{\right)}_{n}}\frac{{x}^{n}}{n!}${}_p F_q (a_1,\ldots,a_p; b_1,\ldots, b_q; x) = \sum_{n=0}^\infty \frac{(a_1)_n (a_2)_n\cdots (a_p)_n}{(b_1)_n (b_2)_n\cdots (b_q)_n}\frac{x^n}{n!}

where $\left(a{\right)}_{0}=1$ and, for $k=1,2,3,\dots$

$\left(a{\right)}_{k}:=a\left(a+1\right)\left(a+2\right)\cdots \left(a+k-1\right)$(a)_k := a (a+1) (a+2) \cdots (a+k-1)

is the shifted factoriel. In fact let ${\sum }_{n=0}^{\infty }{c}_{n}$ be any series of complex numbers such that ${c}_{n+1}/{c}_{n}$ is a rational function of $n$. Then we can find $x,p,q,{a}_{1},\dots ,{a}_{p},{b}_{1},\dots ,{b}_{q}$ to write

$\frac{{c}_{n+1}}{{c}_{n}}=\frac{\left(n+{a}_{1}\right)\left(n+{a}_{2}\right)\cdots \left(n+{a}_{p}\right)x}{\left(n+{b}_{1}\right)\left(n+{b}_{2}\right)\cdots \left(n+{b}_{q}\right)\left(n+1\right)}$\frac{c_{n+1}}{c_n} = \frac{(n+a_1)(n+a_2)\cdots (n+a_p) x}{(n+b_1)(n+b_2)\cdots (n+b_q)(n+1)}

and $\sum {c}_{n}={c}_{0}{}_{p}{F}_{q}\left({a}_{1},\dots ,{a}_{p};{b}_{1},\dots ,{b}_{q};x\right)$.

There are variants like the confluent hypergeometric function (e.g. wikipedia:Bessel function), $q$-hypergeometric functions and the basic hypergeometric series. The classical orthogonal polynomials appear as special cases for choices of parameters. There is a recent elliptic version due Spiridonov.

There are now modern generalizations to many variables due Aomoto and another variant due Mikhail Kapranov, Israel Gelfand and Andrei Zelevinsky. These multidimensional generalizations express pairings between representations of quantum groups at root of unity and representations of affine Lie algebras, which can be interpreted as pairings between certain kind of homlogy and cohomology on configuration spaces. This has been extensively studied by Varchenko, Terao and others; often in connection to the study of (complements of) arrangements of hyperplanes in ${ℂ}^{n}$. Selberg-type integrals are involved.

• G. E. Andrews, R. Askey, R. Roy, Special functions, Enc. of Math. and its Appl. 71, Cambridge Univ. Press 1999

• G. Gasper, M. Rahman, Basic hypergeometric series (1990)

• I. M. Gelfand, M. M. Kapranov, A. Zelevinsky, Discriminants, resultants and multidimensional determinants, Birkhäuser 1994, 523 pp.

• A. Varchenko, Multidimensional hypergeometric functions and representation theory of Lie algebras and quantum groups, Adv. Ser. in Math. Phys. 21, World Sci. Publ. 1995. x+371 pp.

• V. Tarasov, A. Varchenko, Geometry of $q$-hypergeometric functions, quantum affine algebras and elliptic quantum groups, Astérisque 246 (1997), vi+135 pp.

• Ian G. Macdonald, Hypergeometric functions I, 1987, reprinted in arxiv/1309.4568

Online entries/resources on hypergeometric function:

There is also a far reaching elliptic generalization

• V. P. Spiridonov, Classical elliptic hypergeometric functions and their applications, pdf; Aspects of elliptic hypergeometric functions, arxiv/1307.2876

Revised on September 19, 2013 22:45:32 by Zoran Škoda (161.53.130.104)