Series hipergeométricas.

an+1 αn + β
a. Definición. Son aquellas que cumplen: = (α > 0, γ 6= 0).
an αn + γ

b. Carácter. Aplicamos el criterio de Raabe.

a αn + β γ−β γ−β
     
lı́m n 1 − an+1
n
= lı́m n 1 − αn + γ = lı́m n αn + γ = α .
n→∞ n→∞ n→∞
γ−β
• Si α > 1 ⇐⇒ α + β < γ , la serie es convergente.
γ−β
• Si α < 1 ⇐⇒ α + β > γ , la serie es divergente.
γ−β
• Si α = 1 ⇐⇒ α + β = γ , caso dudoso (veremos al final que es divergente).

c. Suma. Utilizamos la relación ai+1 (αi + γ) = ai (αi + β) ∀i ∈ N.

i=1: a2 ( α + γ) = a1 ( α + β)
i=2: a3 (2α + γ) = a2 (2α + β)
i=3: a4 (3α + γ) = a3 (3α + β)
.. ..
. .
i=n: an ((n − 1)α + γ) = an−1 ((n − 1)α + β)
an (nα + β) = an (nα + β) (añadimos una identidad)

Simplificamos los α en ambos lados y sumamos las igualdades que resultan. Lla-
mando Sn a la suma de los n primeros términos, obtenemos:

(Sn − a1 ) γ + an (nα + β) = Sn (α + β) =⇒

Sn [γ − (α + β)] = a1 γ − an (nα + β) =⇒ (1)

a1 γ an (nα + β)
Sn = − . (2)
γ − (α + β) γ − (α + β)
| {z }
bn
a1 γ
Si α + β < γ, la serie converge, por lo que ∃S = lı́m Sn = − lı́m b .
n→∞ γ − (α + β) n→∞ n
Al existir S, el lı́m bn debe existir. Veamos que, además, es nulo. Si no lo fuera,
n→∞
escribiéndolo a partir de (2) como
 
lı́m bn = 1 lı́m an : 1 = k 6= 0,
n→∞ γ − (α + β) n→∞ nα + β
resulta que la serie
P
an tendrı́a el mismo carácter que
P 1 , que es diver-
nα + β
gente. Ası́ pues, la suma de una serie hipergeométrica vale
a1 γ
S= , (α + β < γ).
γ − (α + β)

d. Caso dudoso. Si α + β = γ, a partir de la igualdad (1), resulta

a1 γ
0 = a1 γ − an (nα + β) =⇒ an = (divergente).
nα + β