How to Evaluate a Limit Involving a Hypergeometric Function

A hypergeometric function can have many parameters and different behaviors at different points. Without the specific expression and the point being approached, there is no single limit to calculate. The methods below cover the common interpretation: a Gauss hypergeometric function whose argument approaches 1.

Start by specifying the function and limit

The Gauss hypergeometric function is written

$${}_2F_1(a,b;c;z)$$

and, when $c$ is not a nonpositive integer, is defined near $z=0$ by the series

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

Here $(q)_n=q(q+1)\cdots(q+n-1)$ is the rising factorial, with $(q)_0=1$. A limit such as $\lim_{x\to x_0}{}_2F_1(a,b;c;g(x))$ depends on $a,b,c$, the function $g$, and $x_0$. If any of those are omitted, the numerical answer cannot be determined.

Use continuity at an interior point

The power series converges for $|z|<1$. Within that disk, the function is analytic, so it is continuous. If $g(x)$ tends to a point $z_0$ strictly inside the disk, then

$$\lim_{x\to x_0}{}_2F_1(a,b;c;g(x))={}_2F_1(a,b;c;z_0),$$

provided the parameters make the function well-defined there. This evaluates the limit by substitution, although the resulting function value may still need to be simplified or calculated.

At $z=1$, the power series itself is not automatically convergent for every choice of parameters. A standard tool there is Gauss’s summation formula.

Apply Gauss’s formula at 1

If $c$ is not a nonpositive integer and

$$\operatorname{Re}(c-a-b)>0,$$

then the series converges at $z=1$ and

$${}_2F_1(a,b;c;1)=\frac{\Gamma(c)\Gamma(c-a-b)}{\Gamma(c-a)\Gamma(c-b)}.$$

Consequently, for a limit as $z\to1$ taken within a region where the same branch of the function is defined, this gives the limiting value. The condition is essential: when it fails, the function may diverge or have more delicate behavior, and the formula cannot simply be applied.

Worked example

Evaluate

$$\lim_{x\to1^-}{}_2F_1(1,1;3;x).$$

Here $a=b=1$ and $c=3$, so $c-a-b=1>0$. Gauss’s formula applies:

$$\begin{aligned} \lim_{x\to1^-}{}_2F_1(1,1;3;x) &=\frac{\Gamma(3)\Gamma(1)}{\Gamma(2)\Gamma(2)}\\ &=\frac{2\cdot1}{1\cdot1}=2. \end{aligned}$$

You can check this directly from the series. Its $n$th term at $x=1$ is

$$\frac{(1)_n(1)_n}{(3)_n n!}=\frac{2}{(n+1)(n+2)},$$

so the sum telescopes:

$$\sum_{n=0}^{\infty}\frac{2}{(n+1)(n+2)}=2.$$

The series check confirms both the value and the convergence in this example.

Common mistakes

• Substituting at a singular or boundary point without checking conditions. Continuity only justifies direct substitution where the function is defined and continuous. The boundary $z=1$ needs a convergence check.
• Using Gauss’s formula when $\operatorname{Re}(c-a-b)\leq0$. The stated summation formula does not cover that case. Other methods, including transformations or local expansions, may be needed.
• Ignoring the argument. A limit of $x$ does not necessarily mean the hypergeometric argument tends to the same value; first evaluate the limit of the full argument, such as $g(x)$.
• Overlooking parameters that make the series undefined. In the defining series, $c$ must not be a nonpositive integer unless the function is defined through a separate limiting or continuation procedure.

For a specific limit, write the full expression—including parameters, argument, approach point, and direction. Those details determine whether continuity, Gauss’s formula, or another method applies.