SUMAS BINOMIALES Y FUNCIONES

HIPERGEOMTRICAS

Juan Carlos Lpez Carreo, Rosalba Mendoza Surez,

UNIVERSIDAD DE PAMPLONA
jclopez@unipamplona.edu.co, rosalbame@unipamplona.edu.co
telefonos: 3173256131 - 3162350183
Direccin: Pamplona. Ciudad Universitaria; Km 1 Va Bucaramanga

15 de abril de 2009
SUMAS BINOMIALES Y FUNCIONES
HIPERGEOMTRICAS

1.La Funcin Hipergeomtrica

Con el fin de presentar la ecuacin hipergeomtrica ( ecuacin de Gauss) y la

funcin hipergeomtrica como una de sus soluciones en serie de potencias en
torno al origen, se recordar en esta seccin, algunos elementos bsicos de las
ecuaciones diferenciales ordinarias de segundo orden.

Supongamos que la ecuacin diferencial

a2 (x)y + a1 (x)y + a0 (x)y = 0,

se puede escribir en la forma

y + P(x)y + Q(x)y = 0, (1)

donde a2 (x) , 0, x en algn intervalo I, y

a1 (x) a0 (x)
P(x) = , Q(x) = ,
a2 (x) a2 (x)

Establezcamos sin demostracin, el siguiente resultado

1.2 Teorema: Si x = x0 es un punto ordinario de la ecuacin

y + P(x)y + Q(x)y = 0,

existen dos soluciones linealmente independientes de la forma

X
y= cn (x x0 )n .
n=0

1
Una solucin en serie de potencias converge por lo menos en el intervalo
|x x0 | < R, donde R es la distancia de x0 al punto singular ms cercano.

1.3 Definicin: Decimos que el punto singular x = x0 es un punto singular

regular de la ecuacin
y + P(x)y + Q(x)y = 0,

si las funciones (x x0 )P(x) y (x x0 )2 Q(x) son analticas en x = x0 .

En relacin con los puntos singulares vale el siguiente teorema que solo enun-
ciamos y cuya demostracin puede consultarse en [1].

2. La ecuacin Hipergeomtrica: La ecuacin hipergeomtrica es la ecuacin

diferencial
x(1 x)y + [c (a + b + 1)x]y aby = 0, (2)

en donde a, b, c son constantes. Para esta ecuacin

c (a + b + 1)x ab
P(x) = y Q(x) = ,
x(1 x) x(1 x)

de esta manera x = 0, x = 1 son los puntos singulares de la ecuacin (2).

Buscamos mediante un clculo formal, soluciones de la ecuacin (2) en la forma

X
y= cn (x)n+r , (3)
n=0

en donde c0 , 0 y r es un nmero que debe determinarse, hallando y y y de

(3), y reemplazandola en (2), entonces la ecuacin diferencial se convierte en

(r 1 + c)c0

X
+ {(k + r)(k + r 1 + c)ck [(k + r 1)(k + r 2) + (k + r 1) + ab]ck1 }
k=1
k
x =0 (4)

2
de donde los posibles valores de r son r = 0, r = 1 c.

Para r = 0, como el coeficiente de xk , k 1 en el lado izquierdo de (4) debe ser

cero, se tiene

k(k + c 1)ck [(k 1)(k 2) + (k 1) + ab]ck1 = 0, k 1,

si se usa la sustitucin k 1 = n, se obtiene la siguiente frmula de recurrencia

para los coeficientes cn :

(n + a)(n + b)
cn+1 = cn , n = 0, 1, 2,
(n + 1)(n + c)

y por induccin matemtica se establece que,

(a)n (b)n
cn = ,
n!(c)n

con estos coeficientes (3) se puede escribir como

X (a)n (b)n xn
y= , (5)
n=0
n!(c)n n!

la serie (5) se conoce como serie hipergeomtrica y se nota as

 a, b   X
(a)n (b)n xn
F x := . (6)

2 1
c

n=0
(c) n n!

Muchas funciones elementales tienen representacin como una serie hipergemtri-

ca; por ejemplo

1. Si no hay parmetros en el numerador ni en el denominador,

   X
xn
F x = = ex

0 0


n=0
n!

3
 2. Si hay un parmetro en el numerador y ningn parmetro en el denomi-
nador,
 a   X
xn
1 F0 x = (a) = (1 x)a

n


n=0
n!

Con base a que sumas de productos de coeficientes binomiales se pueden

reducir a series hipergeomtricas, utilizamos este mtodo para hallar sumas
binomiales escibiendolas como series hipergeomtricas y luego desarrollando
la serie para hallar su suma.

Algunos de los ejemplos de sumas que logramos con este mtodo fueron:

Ejemplo 3.1

Una frmula que expresa el valor de como una serie infinita fu proporciona-
da por el matemtico japons Takebe Kenko (1664-1739) en el ao 1722. Segn se
pude ver en [3]. Esta serie tambien fue obtenida por el misionero Pierre Jartoux
en 1720, l trabaj en China y tuvo correspondencia con Leibniz, pero existe
la conviccin en los historiadores de la matemtica que el descubrimiento de
Kenko fue independiente. Anotamos adems que L. Euler redescubri esta
misma serie en 1737. Hasta donde sabemos por el mtodo de las funciones
hipergeomtricas que nosotros utilizamos en la demostracin, dicha frmula
no se ha demostrado hasta el da de hoy.

X 22n+1 (n!)2 2
= .
(2n + 2)! 4
k=0

Ejemplo 3.2

El problema 3399 de la revista The American Mathematical Monthy, considerado

en la revista como uno de los mejores 400 problemas (1918-1950), pide probar

4
o refutar
t ! !
X
k r+1 2r 2k
(1) =r+1
k r
k=0
r (r1)
donde t = 2
si r es par y t = 2
si r es impar.

Anotamos que ninguna de las tres soluciones publicadas en la revista utiliza el

mtodo de solucin que nosotros utilizamos.

Ejemplo 3.3

El desarrollo en serie de fracciones parciales para la funcin cot(x), es cono-

cida desde Euler, numerosas pruebas de este desarrollo han aparecido en la
literatura matemtica. El objetivo de este ejemplo es presentar an otra prueba
de ello aplicando la teora de las series hipergeomtricas. As pues demostramos
que

1 1 1
X  
= cot(x) (7)
k2 x2 2x x
k=1

Ejemplo 3.4

En la referencia [2], el autor da una prueba elemental, basada en cierta frmula

de interpolacin para el operador de diferencias de la identidad

X ( + 1 + j) (m + 2 j) (n) j ( + 1 m)
m = , (8)
j=0
( + 1 n + 2 j) (m + j + 1)j! ( + 1 n m)

el objetivo del siguiente ejemplo, es proporcionar una demostracin para (8),

usando el mtodo de las funciones hipergeomtricas, y potencializar el mtodo
al encontrar que por este mtodo se simplifica la complejidad matemtica que
presenta [2], en su demostracion.

5
Bibliografa

[1] E.A. Coddington, Introduction to ordinary differential Equations,

Prentice-Hall, New York (1961).

[2] Ismail, M.E: On formulas of Ramanujan and Evars, Ramanujan J ,(2006). 11:
349-353.

[3] D:E: Smith and Y. Mikami, History of Japanese Mathematics, Chicago, open
court, (1914).

[4] S. Lewanowicz, The hypergeometric functions approach to the connection prob-

lem for the classical orthogonal polynomials, Preprint (1997).

[5] Y. L. Luke, The Special Functions and their Approximations (Academic, New
York, 1969).

[6] J. Carlos Lpez, Rosalba Mendoza, Margarita Rico, Emiliano Almeyda.

Expansin de funcionesBistua. Universidad de Pamplona 2007.