Find the region of convergence for the hypergeometric
Find the region of convergence for the hypergeometric series $1+\dfrac{\alpha\beta}{1\cdot\gamma}x+\dfrac{\alpha(\alpha+1)\beta(\beta+1)}{1\cdot2\cdot\gamma(\gamma+1)}x^2+\cdots$.
Explanation of Method
Writing the general term with Pochhammer symbols, $a_n=\dfrac{(\alpha)_n(\beta)_n}{n!(\gamma)_n}$, the ratio test gives radius $1$ regardless of the parameters. Endpoint behavior is more delicate and is governed by the classical Gauss criterion, based on the sign of $\gamma-\alpha-\beta$.
- Write the general term using Pochhammer symbols and apply the ratio test.
- State Gauss's classical convergence criterion at $x=1$.
- State the analogous criterion at $x=-1$.
Step 1 · Radius of convergence
With $a_n=\dfrac{(\alpha)_n(\beta)_n}{n!(\gamma)_n}$ (Pochhammer notation $(a)_n=a(a+1)\cdots(a+n-1)$): $$ \frac{a_{n+1}}{a_n} = \frac{(\alpha+n)(\beta+n)}{(n+1)(\gamma+n)} \longrightarrow 1 \implies R=1. $$
Step 2 · Endpoint $x=1$: Gauss's criterion
The classical result (Gauss) states that, for $\gamma$ not a non-positive integer: $$ \sum_{n=0}^{\infty}\frac{(\alpha)_n(\beta)_n}{n!(\gamma)_n} \text{ converges absolutely} \iff \gamma-\alpha-\beta>0, \qquad \text{diverges} \iff \gamma-\alpha-\beta\le0. $$
Step 3 · Endpoint $x=-1$
The analogous classical result (via an Abel-type refinement) gives convergence at $x=-1$ under the weaker condition: $$ \text{converges} \iff \gamma-\alpha-\beta>-1. $$
Summary Table
| Region | Behavior |
|---|---|
| $|x|<1$ | Always converges absolutely |
| $x=1$ | Converges (absolutely) iff $\gamma-\alpha-\beta>0$ |
| $x=-1$ | Converges iff $\gamma-\alpha-\beta>-1$ |
Additional Notes
- This is the classical Gaussian hypergeometric function ${}_2F_1(\alpha,\beta;\gamma;x)$, whose special cases recover an enormous range of elementary and special functions: setting $\alpha=1,\beta=\gamma$ gives the geometric series $\sum x^n$, and other parameter choices yield Legendre functions, complete elliptic integrals, and more.
- The radius $R=1$ here is universal across all parameter choices — exactly as in Problems 225, 228, 232, and 237, whose coefficients also grow/decay only polynomially (or logarithmically) in $n$, giving ratio-test limit $1$ regardless of finer details.
- If $\alpha$ or $\beta$ is a non-positive integer, the Pochhammer symbol eventually vanishes and the series terminates into a polynomial, sidestepping the convergence question at the boundary entirely — a special degenerate case not covered by the Gauss criterion above.