Hypergeometric Functions

Hypergeometric functions are a unifying language for many special functions. Legendre, Laguerre, Hermite, Bessel, and Airy functions can all be related to hypergeometric or limiting hypergeometric functions, but quantum-mechanics calculations usually become clearer after the physically adapted descendant has been named.

Use this page as an advanced reference: it explains the main equations, conventions, and termination mechanisms. Use the dedicated pages for the named functions when doing ordinary oscillator, hydrogen, angular-momentum, cylindrical, or turning-point calculations.

Pochhammer Symbol

The rising factorial, or Pochhammer symbol, is

$$(a)_n = a(a+1)\cdots(a+n-1), \qquad (a)_0=1.$$

Equivalently,

$$(a)_n = \frac{\Gamma(a+n)}{\Gamma(a)}$$

when the gamma functions are finite. The gamma-function identities behind this quotient are collected in Gamma and Beta Functions. This notation is the compact grammar of hypergeometric series.

Generalized Hypergeometric Series

The generalized hypergeometric function is

$${}_{p}F_q \left( \begin{matrix} a_1,\ldots,a_p\\ b_1,\ldots,b_q \end{matrix} ;z \right) = \sum_{n=0}^{\infty} \frac{ (a_1)_n\cdots(a_p)_n }{ (b_1)_n\cdots(b_q)_n } \frac{z^n}{n!}.$$

For the ordinary series definition, assume $b_j\notin\{0,-1,-2,\ldots\}$. Singular denominator parameters need a separately specified limit or regularized function; cancelling a zero numerator against a zero denominator without such a definition is ambiguous.

For a nonterminating series, convergence depends on $p$ and $q$:

• if $p\le q$, the series is entire in $z$;
• if $p=q+1$, the radius of convergence is $1$;
• if $p>q+1$, the series generally diverges for every nonzero $z$ and is used, if at all, as an asymptotic series.

A terminating series is a polynomial and has no finite convergence boundary. For nonterminating series, these restrictions explain why analytic continuation matters.

Gauss Hypergeometric Function

The most important case is the Gauss hypergeometric function

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

The defining series converges for $\lvert z\rvert\lt1$ and, with additional conditions, at some points of $\lvert z\rvert=1$. Outside that disk, one needs analytic continuation.

It satisfies the hypergeometric differential equation

$$z(1-z)y'' + \left[ c-(a+b+1)z \right]y' -ab\,y =0.$$

This equation has regular singular points at

$$z=0,\qquad z=1,\qquad z=\infty.$$

Many second-order equations in mathematical physics can be transformed into this form when their singular-point structure matches these three points.

Euler Integral

When

$$\operatorname{Re}c > \operatorname{Re}b > 0,$$

one has Euler’s integral representation

$${}_2F_1(a,b;c;z) = \frac{\Gamma(c)}{\Gamma(b)\Gamma(c-b)} \int_0^1 t^{b-1} (1-t)^{c-b-1} (1-zt)^{-a} \,dt,$$

for $z\notin[1,\infty)$, taking $(1-zt)^{-a}=\exp[-a\operatorname{Log}(1-zt)]$ with the principal logarithm. The formula is useful for analytic continuation, estimates, and links to beta and gamma functions. Outside the stated parameter range it may still hold by analytic continuation, but the conditions should not be silently discarded.

Derivative Identity

A basic derivative identity is

$$\frac{d}{dz} {}_2F_1(a,b;c;z) = \frac{ab}{c} {}_2F_1(a+1,b+1;c+1;z),$$

when $c$ is not zero or a negative integer. This follows by differentiating the defining series term by term inside the disk of convergence.

Polynomial Termination

If one numerator parameter is a nonpositive integer, the series terminates. For example, if

$$a=-N, \qquad N=0,1,2,\ldots,$$

then

$$(-N)_n=0 \qquad \text{for }n>N.$$

Thus ${}_2F_1(-N,b;c;z)$ is a polynomial of degree at most $N$. This termination mechanism is central in quantum mechanics. Normalizable bound states often appear when a hypergeometric series stops and becomes a polynomial times a weight factor.

Confluent Hypergeometric Functions

When singular points of the Gauss equation coalesce, one obtains confluent hypergeometric functions. Kummer’s equation is

$$zy'' +(c-z)y' -ay =0.$$

One standard solution is

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

Another standard solution is Tricomi’s function

$$U(a,c,z).$$

For $c\notin\{0,-1,-2,\ldots\}$, $M$ is entire in $z$ and has value $1$ at the origin. The function $U$ is characterized by $U(a,c,z)\sim z^{-a}$ along the positive real axis as $z\to+\infty$. Its principal continuation generally has a cut along the negative real axis. These two named solutions need not be independent at special parameters: for $a=-N$, both are proportional to the same Laguerre polynomial. Which solution is physical depends on both endpoints, not just on being given a standard name.

If $a=-N$, then ${}_1F_1(-N;c;z)$ terminates. This is the mechanism behind the generalized Laguerre polynomials in hydrogenic radial bound states.

Relation to Named Functions

Hypergeometric notation exposes a family relationship, but the named functions usually carry the more useful physical normalization and orthogonality convention.

Function	Hypergeometric relation	Physics use
Legendre polynomials	$P_\ell(x)={}_2F_1(-\ell,\ell+1;1;(1-x)/2)$	central-potential angular equations
Generalized Laguerre polynomials	$L_n^{(\alpha)}(x)=\frac{(\alpha+1)_n}{n!}{}_1F_1(-n;\alpha+1;x)$	hydrogen radial bound states
Bessel functions	$J_\nu(x)=\frac{(x/2)^\nu}{\Gamma(\nu+1)}{}_0F_1(; \nu+1; -x^2/4)$	cylindrical and spherical radial equations
Hermite polynomials	related to Laguerre polynomials of argument $x^2$	harmonic-oscillator wavefunctions
Airy functions	expressible through limiting hypergeometric functions	simple turning points and WKB matching

In the table, take $\ell,n\ge0$, $\alpha>-1$, and $x>0$ in the Bessel formula with $\nu\notin\{-1,-2,\ldots\}$. At negative integer Bessel orders, use a limiting formula or $J_{-m}=(-1)^mJ_m$. The right column is a guide to which dedicated page to use first.

Quantum-Mechanics Pattern

A common exact-solution pattern is:

1. separate variables;
2. factor out endpoint behavior, such as an exponential tail or near-origin power;
3. reduce the remaining equation to a hypergeometric or confluent hypergeometric form;
4. impose regularity and normalizability;
5. obtain polynomial termination, which quantizes an energy or separation constant.

In the hydrogen atom, the radial equation follows this pattern. The final physical answer is written using generalized Laguerre polynomials because their orthogonality and degree labels are adapted to the radial problem.

In angular problems, the hypergeometric form is often hidden behind Legendre or associated Legendre functions. In cylindrical problems, Bessel notation is usually clearer. Near simple WKB turning points, Airy notation is the natural local language.

Branch Cuts and Analytic Continuation

The defining power series is not the whole function. The branch-choice vocabulary is developed in Branch Cuts. For ${}_2F_1$, the standard principal branch has a cut in the $z$-plane running from $1$ to $\infty$. Different analytic-continuation paths can produce different branch values.

This matters when hypergeometric functions are used for scattering, tunneling, or Green functions. The physical boundary condition may be encoded not in the local series at one point, but in which analytic continuation or branch is chosen.

Common Mistakes

• Treating the power series for ${}_2F_1$ as valid beyond its disk of convergence.
• Forgetting that denominator parameters can make the series ill-defined.
• Using hypergeometric notation when a named orthogonal polynomial would make normalization and nodes clearer.
• Missing polynomial termination when a numerator parameter is a nonpositive integer.
• Assuming every hypergeometric-looking solution is normalizable.
• Ignoring branch cuts when continuing solutions from one region to another.
• Confusing $M(a,c,z)$ and $U(a,c,z)$ in confluent problems; they are adapted to different endpoint behaviors.

Related Topics

• Legendre Polynomials
• Associated Legendre Functions
• Laguerre Polynomials
• Hermite Polynomials
• Bessel Functions
• Airy Functions
• Separation of Variables
• Hydrogen Atom

Exercises

1. For $c\notin\{0,-1,-2,\ldots\}$, show that ${}_2F_1(-N,b;c;z)$ terminates when $N$ is a nonnegative integer. Evaluate ${}_2F_1(-2,b;c;z)$ explicitly.

Solution

The coefficient of $z^n$ contains

$$(-N)_n = (-N)(-N+1)\cdots(-N+n-1).$$

When $n=N+1$, one factor is zero:

$$(-N+N)=0.$$

Therefore $(-N)_n=0$ for all $n>N$, and the series terminates. For $N=2$,

$${}_2F_1(-2,b;c;z) =1-\frac{2b}{c}z+\frac{b(b+1)}{c(c+1)}z^2.$$

The factor $2!$ in the series cancels $(-2)_2=2$.

2. Use the hypergeometric expression

$$P_\ell(x) = {}_2F_1(-\ell,\ell+1;1;(1-x)/2)$$

to check $P_\ell(1)=1$.

Solution

At $x=1$, the argument is

$$z=\frac{1-x}{2}=0.$$

Every hypergeometric series starts with its $n=0$ term, which is $1$. All higher powers of $z$ vanish at $z=0$. Hence $P_\ell(1)=1$ in this normalization.

3. Explain why ${}_1F_1(-n;\alpha+1;x)$ is a polynomial and how this relates to generalized Laguerre polynomials.

Solution

The numerator parameter is $-n$, so the same termination mechanism applies:

$$(-n)_k=0 \qquad \text{for }k>n.$$

Thus ${}_1F_1(-n;\alpha+1;x)$ is a polynomial of degree at most $n$. The generalized Laguerre polynomial differs by a normalization factor:

$$L_n^{(\alpha)}(x) = \frac{(\alpha+1)_n}{n!} {}_1F_1(-n;\alpha+1;x).$$

4. Why is hypergeometric notation often less useful than Laguerre notation in the final hydrogen radial wavefunction?

Solution

The hypergeometric notation displays the differential-equation family and the termination condition. Laguerre notation displays the polynomial degree, parameter, orthogonality weight, and conventional normalization used in radial integrals. Once the series has terminated, the Laguerre form is better adapted to normalization, nodes, and matrix elements.

References

• M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, Dover, 1965.
• G. E. Andrews, R. Askey, and R. Roy, Special Functions, Cambridge University Press, 1999.
• G. B. Arfken, H. J. Weber, and F. E. Harris, Mathematical Methods for Physicists, 7th ed., Academic Press, 2013.
• NIST, Digital Library of Mathematical Functions, §13.2: Kummer Functions, §15.6: Integral Representations, and §16.2: Generalized Hypergeometric Series.
• F. W. J. Olver, D. W. Lozier, R. F. Boisvert, and C. W. Clark, eds., NIST Handbook of Mathematical Functions, Cambridge University Press, 2010.
• L. J. Slater, Confluent Hypergeometric Functions, Cambridge University Press, 1960.