Algunas Representaciones Simples de La Funcion Hipergeometrica Generalizada PDF

Ingeniera y Ciencia, ISSN 1794-9165
Volumen 2, n
umero 4, p
aginas 75-94, septiembre de 2006
Algunas representaciones simples de la

funci
on hipergeom
etrica generalizada
2 R1 (a, b; c; ; x)
Jaime A. Castillo Perez1 y Carlos Jimenez Ruiz2
Recepci
on: 4 de julio de 2006 Aceptaci
on: 26 de septiembre de 2006
Se aceptan comentarios y/o discusiones al artculo
Resumen
El campo de las funciones especiales ha tenido un gran desarrollo en las u
ltimas
decadas dado que son muchos los fen
omenos que se pueden estudiar mediante
el uso de las mismas como, por ejemplo, procesos estoc
asticos relacionados,
investigaci
on de operaciones, teora cu
antica, ecuaciones funcionales, vibraci
on de placas, conducci
on del calor, elasticidad, y radiaci
on. En este trabajo se considera una ampliaci
on de las teoras presentadas por M. Dotsenko
en 1991, quien introdujo la generalizaci
on de la funci
on hipergeometrica de
Gauss, denotada por 2 R1 (z), y estableci
o su representaci
on en serie e integral. Es importante notar que en 1999 Nina Virchenko y luego, en el 2003,
Leda Galue consideraron esta funci
on, introduciendo un conjunto de f
ormulas
de recurrencia y de diferenciaci
on. En este trabajo se establecen algunas representaciones simples para la funci
on 2 R1 (a, b; c; ; z), las cuales ser
an muy
u
tiles en futuras investigaciones puesto que permiten simplificar c
alculos en el
momento de solucionar problemas que involucren esta funci
on.
Palabras claves: funci
on hipergeometrica generalizada, representaciones simples.
1
M. Sc. en Matem
atica Aplicada, jacas68@yahoo.es, director del grupo de investigaci
on
GIMA, Universidad de la Guajira
2
Especialista en Computaci
on para la Docencia, carlosj114@latinmail.com, miembro del
grupo de investigaci
on GIMA, Universidad de la Guajira.
Universidad EAFIT
75|
Algunas representaciones simples de la funci

on hipergeometrica generalizada
Abstract
The field of especial functions have had a remarkable development during
the last deacades because there are many phenomena that can be studied
through ont the use of these functions themselves, such as related stochastics
processes, operational research, queuing theory, functional equations, vibrations of plates, heat conduction, elasticity, and radiation. Along this paper
work, an extension of the theories presented by M. Dotsenko en 1991 is considered. M. Dotsenko introduced the generalization of the hypergeometric
function of Gauss referred as 2 R1 (z), and he established it representation in
series and integral. It is important to remark that in 1999 Nina Virchenko
and, later in 2003, Leda Galue considered this function by introducing a set
of recurrence and differentiation formulas. Along this paper work some simple
representations of the function 2 R1 (a, b; c; ; z) are displayed, which will be
very useful for future researchers since they permit simplify calculus at the
time of solving problems involving this function.
Key words: generalized hypergeometric function, simple representations.
Introducci
on
El estudio de las funciones especiales ha apoyado de gran forma el desarrollo

de las matematicas aplicadas. Entre ellas se tienen: la funcion hipergeometrica
de Gauss, la funci
on hipergeometrica generalizada, la funcion hipergeometrica
de Wright, las funciones de Appell, la funci
on G, la funcion H y las funciones
de Humbert; ver por ejemplo [1], [2], [3], [4], [5] y [6].
Las funciones hipergeometricas aparecen en una diversidad de aplicaciones
tales como: estadsticas, investigacion de operaciones, teora cuantica, ecuaciones funcionales, vibraci
on de placas, conduccion del calor, elasticidad y
radiacion; ver por ejemplo [1], [7] y [8].
En 1991, M. Dotsenko [9] considero una generalizacion de la funcion hipergeometrica de Gauss denotada por
2 R1
(z) =
(c) X (a + k)(b + k) z k
,
(a) (b)
(c + k)
k!
k=0
estableciendo ademas su representaci

on en serie como tambien su representacion integral. En 1999 Nina Virchenko [10] establecio algunas formulas de
|76
Ingeniera y Ciencia, volumen 2, n

umero 4
Jaime A. Castillo Perez y Carlos Jimenez Ruiz
diferenciacion y relaciones de recurrencia para la funci

on 2 R1 (z), las cuales fueron ampliadas en el 2003 por Leda Galue y colaboradores [7], quienes
dedujeron seis nuevas relaciones de recurrencia para esta funcion.
En este trabajo se presentan algunas representaciones simples para la funcion 2 R1 (z). Antes se hara un breve recorrido por la funcion hipergeometrica
de Gauss, dado que la funci
on 2 R1 (z) es una generalizacion de esta.
1.1
La ecuaci
on hipergeom
etrica
Aqu se hara un breve paso por la ecuacion diferencial hipergeometrica, considerando algunas de sus soluciones tales como la funcion hipergeometrica de
Gauss y algunas funciones hipergeometricas confluentes, tambien se presentan
algunas aplicaciones importantes asociadas a tales soluciones.
La ecuacion diferencial lineal dada por [8, pag. 162]
z(1 z)u + [c (a + b + 1)z]u abu = 0 ,
(1)
donde z es una variable compleja y a, b, c son parametros reales o complejos.

La ecuacion (1) se conoce como la ecuacion hipergeometrica y contiene como
casos especiales muchas ecuaciones diferenciales encontradas en las aplicaciones.
En la region |z| < 1, una solucion particular de (1) es
u1 (z) = 2 F1 (a, b; c; z) ,
(2)
donde 2 F1 (a, b; c; z) es la funci

on hipergeometrica de Gauss definida como
X
(a)k (b)k z k
,
2 F1 (a, b; c; z) =
(c)k k!
(3)
k=0
donde c 6= 0, 1, 2, ... y (a)k es el smbolo de Pocchammer definido por [11,

pag. 758]
(a + k)
(a)k = a (a + 1) (a + k 1) =
.
(a)
Ademas, (a) es la funci
on Gamma definida como [11, pag. 759]
Z
(a) = ta1 et dt, Re (a) > 0 .
0
Universidad EAFIT
77|

De otro lado, la funci

on (2) tiene la representacion integral de tipo Euler
[7, pag. 240]
(c)
2 F1 (a, b; c; z) =
(b) (c b)
Z1
tb1 (1 t)cb1 (1 tz)a dt ,
(4)
Re(c) > Re(b) > 0; | arg(1 z)| < .

La funcion hipergeometrica confluente se puede obtener a partir de la
funcion hipergeometrica de Gauss, haciendo x = bz y usando la expresion en
factores del smbolo de Pocchammer y luego haciendo tender b hacia infinito
[12, pags. 41, 42]. Esto es

X
(a)k bk 1 + 1b 1 + k1
xk
b
;
2 F1 (a, b; c; z) =
k
(c)k b
k!
k=0
al hacer tender b hacia el infinito se obtiene la serie

1 F1 (a; c; x) =
X
(a)k xk
.
(c)k k!
(5)
k=0
Note que al hacer x = bz en (1) resulta la ecuacion diferencial

xu + (c x)u au = 0 ,
(6)
que se conoce como ecuacion hipergeometrica confluente. La serie (5) es una

solucion particular de (6). Otra solucion para (6) esta dada por
X
(1 + a c)k xk+1c
= x1c 1 F1 (1 + a c; 2 c; x).
(2 c)k
k!
k=0
Por lo tanto, la solucion general de (6) es

u (x) = A 1 F1 (a; c; x) + Bx1c 1 F1 (1 + a c; 2 c; x);
(7)
a partir de (7) se deduce la funci

on hipergeometrica confluente de Tricomi,
presentada de la forma [11, pag. 799]
(a, c; x) =
|78
1c
1+ac
1 F1 (a; c; x)+
c1
a
x1c 1 F1 (1+ac; 2c; x); (8)

umero 4
y por u
ltimo, entre otras, se presenta la funcion hipergeometrica confluente
de Whittaker expresada en terminos de la funcion de Tricomi de la forma [11,
pag. 797]

1
+1/2 x/2
(9)
W, (x) = x
e
+ , 2 + 1; x ,
2
los parametros , dependen de a y c de la manera =
c
2
a, 2 = c 1.
Observe que un gran n

umero de funciones elementales pueden ser expresadas en terminos de las funciones hipergeometricas y funciones hipergeometricas confluentes, entre otras se tienen las siguientes
2 F1 (1, b; b; z) =
z k , |z| < 1 ,
k=0
que es la bien conocida serie geometrica, esto es, la serie hipergeometrica es

una generalizacion de la serie geometrica.
Otros casos especiales se presentan a continuacion:
1. 2 F1 (a, 1; 1; z) = (1 + z)a
2. 2 F1 (1, 1; 2; z) = ln (1 + z) /z
3. 2 F1 ( 21 , 21 ; 12 ; sin2 z) = cos z
4. 2 F1 ( 12 , 1; 1; sin2 z) = sec z
5. 2 F1 ( 12 , 21 ; 23 ; z 2 ) =
sin1 z
z
6. 2 F1 ( 21 , 1; 23 ; z 2 ) =
7. 2 F1 (1, a; a; z) =
tan1 x
x
1
1z
8. 1 F1 (a; a; z) = ez .
Esto por mencionar algunos casos importantes.
A continuacion se presenta un ejemplo sencillo, tomado de [12], para ilustrar una aplicacion de la funci
on hipergeometrica de Gauss.
Universidad EAFIT
79|

Ejemplo 1.1 (El pendulo simple). Un pendulo simple consiste de un cuerpo

de masa m atado a una cuerda sin masa de longitud l. El otro extremo de la
cuerda est
a fijo en un punto de tal manera que el sistema puede moverse bajo
la acci
on de la gravedad como se muestra en la figura (1).
Figura 1: Pendulo simple
Las fuerzas que act

uan sobre el cuerpo son la tensi
on T de la cuerda y el
peso mg. Aplicando la segunda ley de Newton en dos dimensiones se tiene:
Centripeta: T mg cos =
mv2
l
2
d
Tangencial: mg sen = m dt
2 (l)
Considerando la ecuaci
on tangencial y reorganiz
andola se obtiene
d2 g
+ sen = 0 ;
dt2
l
(10)
para amplitudes peque

nas, el cuerpo describe un movimiento arm
oq
nico simple y se deduce f
acilmente que el periodo de oscilaci
on es T = 2 gl . Para
obtener una soluci
on exacta de (10), se multiplica por
#
"
d 1 d 2 g
cos = 0 ,
dt 2 dt
l
d
dt ,
esto es,
lo cual indica que la cantidad entre corchetes es constante dado que se satisface
el teorema de conservaci
on de la energa. Si se supone que el pendulo se
|80

umero 4
desplaza de a 0 ,
d
=
dt
2g
(cos cos 0 ) ;
l
usando la identidad cos 2x = 1 2 sen2 x y haciendo un reordenamiento de la

ecuaci
on se obtiene
r Z
Z
g
d
2
dt =
l
[k2 sen2 (/2)]1/2
en la integral, k = sen (0 /2). Considerando 0 se puede hacer el cambio
de variables sen = k1 sen (/2) para obtener
r Z
Z
d
g
;
dt =
2
l
[1 k sen2 ]1/2
la integral de la derecha es una integral elptica de primera especie denotada
por
Z
d
F (k, ) =
.
[1 k2 sen2 ]1/2
0
El tiempo necesario para que el a

ngulo cambie de 0 a 0 es un cuarto
del periodo T . En este tiempo va de 0 a /2, con estos lmites se tiene la
integral
Z/2
d
,
F (k) =
[1 k2 sen2 ]1/2
0
esta es una integral elptica completa de primera especie. El integrando tiene

la expansi
on
1
X
2 n 2n
2
2 1/2
[1 k sen ]
=
k sen2n ,
n!
n=0
ver (3) caso especial 1, luego
F (k) =
Z/2X
Universidad EAFIT
n=0
1
2
n!
k2n sen2n d ;
81|

como la serie converge uniformemente, se puede intercambiar el smbolo de

la suma con la integral de la siguiente manera
/2
F (k) =
Z
X
1
2 n 2n
n!
n=0 0
sen2n ,
que resolviendo al final se obtiene

1 1
X 12 n 21 n 2n
2
k = 2 F1
, ; 1; k .
F (k) =
2
n! (1)n
2
2 2
n=0
Entonces el periodo de oscilaci

on de un pendulo simple est
a dado por
T = 2
l
2 F1
g
1 1
, ; 1; sin2
2 2
0
2

Observe que para oscilaciones peque

nas esto es 0 << 1 de acuerdo con (4)
T = 2
1.2
l
.
g
La funci
on 2 R1 (z)
En 1999 N. Virchenco [10] considero una generalizacion de la serie hipergeometrica de Gauss de la forma
2 R1 (z) = 2 R1 (a, b; c; ; z) =
(c) X (a + k)(b + k) z k
,
(a) (b)
(c + k)
k!
(11)
k=0
donde a, b, c son n
umeros complejos, R, > 0, c 6= 0, 1, 2, ..., |z| < 1.
Si = 1 en (11),
2 R1 (a, b; c; 1; z)
|82
= 2 F1 (a, b; c; z) .
umero 4
Esta funcion tiene la representaci

on integral de tipo Euler
(c)
2 R1 (a, b; c; ; z) =
(b)(c b)
Z1
tb1 (1 t)cb1 (1 zt )a dt
(12)
Re(c) > Re(b) > 0 .

Las ecuaciones (11) y (12) son las representaciones en serie e integral
introducidas por M. Dotsenko en 1992.
En el 2004 Castillo y Bertel [13] establecieron una representacion de la
funcion 2 R1 (a, b; c; ; z) de la siguiente forma
2 R1 (a, b; c; ; z)
X
(1 c + b)k k+b
(c)

(b)(c b)
k!
k+b
+1
k=0
k+b k+b
;
+ 1; z).
2 F1 (a,
(13)
Re (c) > Re (b) > 0 .
1.3

on 2 F1 (a, b; c; z)
A continuacion se presentan algunas representaciones simples para la funcion

hipergeometrica de Gauss, las cuales son muy u
tiles para obtener diversos
resultados simbolicos usados para desarrollar las representaciones simples para la funcion hipergeometrica generalizada. Ademas de constituirse en casos
particulares para las mismas [11, pag. 454], posteriormente se muestra un resultado que requiere de la aplicacion de este tipo de representaciones para
tener una expresion facil de manipular.
1.
2 F1 (a, b; c; z)
2.
2 F1 (a, b; c; z)
3.
= (1 z)
2 F1
cab
z
a, c b; c; z1
= (1 z)
|arg (1 z)| <
2 F1 (c a, c b; c; z) ,

c, b a
(z)a 2 F1 a, 1 c + a; 1 b + a; z1 +
2 F1 (a, b; c; z) =
b,
c
a

c, a b
(z)b 2 F1 b, 1 c + b; 1 a + b; z1 , |arg (z)| <

a, c b
Universidad EAFIT
83|

4.
5.
6.
7.
c, b a
b, c a

1
+
=
(1 z)a 2 F1 a, c b; a b + 1; 1z

c, a b
b
1
, |arg (1 z)| <
(1 z) 2 F1 b, c a; b a + 1; 1z
a, c b

c, c a b
z a 2 F1 a, 1 + a c; a + b c + 1; 1 z1 +
2 F1 (a, b; c; z) =
c
a,
c
b

c, a + b c
cab
1
z ac (1 z)
2 F1 c a, 1 a; 1 + c a b; 1 z
a, b
2 F1 (a, b; c; z)
|arg (1 z)| , |arg z| <

m
P
m
(1c)m
mk
m
F
(a,
b;
c;
z)
=
(z 1)
z
2 1
2 F1 (a, b k; c m; z)
(1+ac)m
k
k=0
Re (c a) > m

m
m
(1c)m m P
k
(1)
F
(a,
b;
c;
z)
=
z
2 1
2 F1 (a m, b k; c m; z)
(1a)m
k
k=0
Re (a) > m
8.
2 F1 (a, b; c; z)
= [c 2a (b c) z]1 [a (z 1) 2 F1 (a + 1, b; c; z) +
(c a) 2 F1 (a 1, b; c; z)]
9.
2 F1 (a, b; c; z)
= (a b)1 [a 2 F1 (a + 1, b; c; z) b 2 F1 (a, b + 1; c; z)]
10.
= (c a b)1 [a (z 1) 2 F1 (a + 1, b; c; z) +
(c b) 2 F1 (a, b 1; c; z)]
11.
2 F1 (a, b; c; z)
= [a (c b) z]
(c b) 2 F1 (a, b; c + 1; z)]
12.
2 F1 (a, b; c; z)
13.
2 F1 (a, b; c; z)
= [(b a) (1 z)]
(b c) 2 F1 (a, b 1; c; z)]
14.
2 F1 (a, b; c; z)
15.
2 F1 (a, b; c; z)
= [a 1 (c b 1) z]
(c 1) (1 z) 2 F1 (a, b; c 1; z)]
16.
2 F1 (a, b; c; z)
17.
2 F1 (a, b; b; z)
2 F1 (a, b; c; z)
= (1 + a c)
[a (1 z) 2 F1 (a + 1, b; c; z) zc1 (c a)
[a 2 F1 (a + 1, b; c; z) (c 1) 2 F1 (a, b; c 1; z)]
1
= [c (1 z)]
[(c a) 2 F1 (a 1, b; c; z) +
[c 2 F1 (a 1, b; c; z) + (b c) z 2 F1 (a, b; c + 1; z)]
1
[(a c) 2 F1 (a 1, b; c; z) +
1
= [c 1 (2c a b 1) z] [(c 1) (1 z)
1
(c a) (c b) z 2 F1 (a, b; c + 1; z)]
2 F1 (a, b; c 1; z) c
a
= (1 z)
En muchas oportunidades se usa la siguiente notacion para simplificar la

escritura

(c) (c a b)
c, c a b
.
=
c a, c b
(c a) (c b)
|84

umero 4
Ejemplo 1.2. El siguiente resultado muestra la utilidad de las representaciones simples de la funci
on hipergeometrica de Gauss en el c
alculo de algunas
integrales impropias. Con su uso, es posible obtener formas computables para
algunas integrales.
En [11, p
ag. 318] se tiene el resultado
Z
xc1 epx 2 F1 (a, b; c; wx) dx
Re (c) , Re (p) > 0;
(c) p
pc
w
(a+b1)
2
e 2w W (1ab) , (ab)
2
p
w
| arg w| <
y W es la funci
on hipergeometrica confluente de Wittaker.
En adelante, se desarrolla un procedimiento simb
olico que permite verificar
dicho resultado.
R
En efecto, sea I = 0 xc1 epx 2 F1 (a, b; c; wx) dx. Haciendo uso de la
representaci
on (4), de la secci
on (1.3), y separando las integrales se obtiene
I
c, b a
b, c a
c, a b
a, c b
(w)
(w)b
Z
0

1
dx +
xca1 epx 2 F1 a, 1 c + a; 1 b + a;
wx

1
dx .
xcb1 epx 2 F1 b, 1 c + b; 1 a + b;
wx
Considerando

Z
1
c, b a
a
ca1 px
I1 =
(w)
x
e
dx ,
2 F1 a, 1 c + a; 1 b + a;
b, c a
wx
0
usando la representaci
on en serie dada en (3) se obtiene
I1 =
c, b a
b, c a
(w)
Z
0
1
X
(a)k (1 c + a)k wx
ca1 px
x
e
(1 b + a)k k!
k=0
k
dx .
La serie converge uniformemente, por tanto se puede intercambiar la suma

con la integral. Luego
k Z

X
(a)k (1 c + a)k w1
c, b a
a
xcak1 epx dx ,
I1 =
(w)
b, c a
(1 b + a)k k!
k=0
Universidad EAFIT
85|

la integral es una funci

on Gamma completa, por lo tanto se obtiene
I1 =
c, b a
b, c a
p a X
w
pc
k=0
(a)k (1 c + a)k wp
(1 b + a)k k!
k
(c a k) .
En [11, p
ag. 758] se tiene el resultado
(1)k (a)
,
(a k) =
(1 a)k
haciendo uso de este resultado se obtiene

p a
p k
X
(a)k
c, b a
w
w
I1 =
,
(c a)
b, c a
pc
(1 b + a)k k!
k=0
y de aqu
I1 =
c, b a
b
p a

w
a, 1
F
1
1
pc
b + a;
p
.
w
a + b;
p
,
w
Con un procedimiento similar se obtiene

I2 =
c, a b
a
p b

w
b, 1
F
1
1
pc
donde I = I1 + I2 , luego

p a

w
F
1 1 a, 1
pc
p
+
w

p b

p
c, a b
w
.
b,
1
a
+
b;
F
1
1
a
pc
w
I=
c, b a
b
b + a;
Ahora
I =
|86
a

(c) wp
p
ba
a,
1
b
+
a;
F
+
1
1
b
pc
w

p
a b p ba
1 F1 b, 1 a + b;
a
w
w
umero 4
y de acuerdo con (8) y (9) se obtiene finalmente

Z
xc1 epx 2 F1 (a, b; c; wx) dx
Re (c) , Re (p) > 0 ;
(c) p
pc
w
(a+b1)
2
e 2w W (1ab) ,
2
(ab)
2
p
w
| arg w| < .
Es importante resaltar que la anterior integral es semejante a la generalizaci

on de la funci
on Gamma introducida por Al-Musallan y Kalla [14],
definida as
D
a, b; c; p
u, v
= v a
Z
0

x
dx, | arg v| < ,
xu1 epx 2 F1 a, b; c;
v
donde a, b, y c son par

ametros complejos con c 6= 0, Re (p) > 0, Re (u) > 0.
Para la cual tambien es posible tener una forma computable, haciendo uso
de las mencionadas representaciones simples.
2
2.1
Resultados
Algunas representaciones de la funci
on 2 R1 (a, b; c; ; z)
A continuacion se presentan algunas representaciones simples de la funcion

2 R1 (a, b; c; ; z). En cada caso se ha empleado el resultado (14); las expresiones
(1)(17) permiten que los c
alculos sean casi inmediatos, lo que facilita, en el
desarrollo simbolico, la obtencion de dichos resultados. Al final se presenta el
calculo de una integral impropia que requiere de la aplicacion del resultado (4)
obtenido en el presente trabajo, para mostrar una aplicaci
on de los resultados
obtenidos.
Representaci
on 1
De acuerdo con (13)
2 R1 (a, b; c; ; z)
X
(1 c + b)k k+b
(c)

(b)(c b)
k!
k+b
+1
k=0
Universidad EAFIT
87|

2 F1

k+b k+b
;
+ 1; z ,
a,
> 0, Re (c) > Re (b) > 0 ;

usando el resultado (1), de la seccion (1.3), se obtiene
X
(1 c + b)k k+b
(c)

2 R1 (a, b; c; ; z) =
k+b
(b)(c b)
k!
+1
k=0

z
k+b
a
+ 1;
,
(1 z) 2 F1 a, 1;
1z
> 0, Re (c) > Re (b) > 0 .
De donde
2 R1 (a, b; c; ; z)
(c) (1 z)a X (1 c + b)k k+b

k+b
(b)(c b)
k!
+1
k=0

z
k+b
+ 1;
,
(14)
2 F1 a, 1;
1z
> 0, Re (c) > Re (b) > 0 .
Similarmente se obtuvieron los resultados:

2.
2 R1 (a, b; c; ; z)
k+b
2 F1 (
(c)(1z)1a
(b)(cb)
k+b
k=0
+ 1 a, 1; k+b
+ 1; z)
(1c+b)k ( )
k!
( k+b
+1)
> 0, Re (c) > Re (b) > 0 .

3.
2 R1 (a, b; c; ; z)
(c)
(b)(cb)
k+b
, 1 a 2 F1
(1z)1a
k+b
2 F1
a1
+
k=0
(1c+b)k
k!

a, k+b
; a; 1 z +
1 a, 1; 2 a; 1 z
i
> 0, Re (c) > Re (b) > 0 .
|88

umero 4
4.
P
(1c+b)k
(c)
(a, b; c; ; z) = (b)(cb)
k!
k=0
h

a
k+b
k+b
2 F1 a, a ; 1 + a
a, 1 (z)
i

k+b
k+b
k+b
, + a (z)
2 R1
k+b 1
; z
> 0, Re (c) > Re (b) > 0, |arg (z)| < .
5.
2 R1 (a, b; c; ; z)
(c)
(b)(cb)
k=0

(1c+b)k
k!

k+b
a
k+b
1
a, 1 (1 z)
2 F1 a, 1; 1 + a ; 1z + (1 z)

i

k+b
k+b
1
k+b k+b
a k+b
2 F1
,
, + 1 a; 1 a + ; 1z
k+b
> 0, Re (c) > Re (b) > 0, |arg (z)| < .
6.
2 R1 (a, b; c; ; z)
k+b
,1
k+b
z a 1
(a1)
(1c+b)k
k!
k=0

1
k+b
; a; 1 z +
(c)
(b)(cb)

a z a 2 F1 a, a
1a
(1 z)
2 F1
k+b
+ 1 a, 1 a; 2 a; 1
1
z

> 0, Re (c) > Re (b) > 0, |arg (1 z)| , |arg z| < .

7.
2 R1 (a, b; c; ; z)
"
(c)
(b)(cb)
m
P
( k+b
)m
m
z
k+b
(a )m
j=0
m
j
k=0
(1c+b)k ( )
k!
( k+b
+1)
k+b
mj
(z 1)
> 0, Re (c) > Re (b) > 0, Re
8.
2 R1 (a, b; c; ; z)
"
( k+b
)m
(1a)m
2 F1
z m
m
P
j=0
(c)
(b)(cb)
j
(1)
m
j
k=0
!
2 F1
a,
k+b
j;
k+b
+1a
k+b
+ 1 m; z
#
> m.
(1c+b)k ( )
k!
( k+b
+1)
k+b
k+b
a m, k+b
j; + 1 m; z
> 0, Re (c) > Re (b) > 0, Re (a) > m .

Universidad EAFIT
89|

9.
2 R1 (a, b; c; ; z)
(c)
(b)(cb)
(1c+b)k ( )
k!
( k+b
+1)
k+b
k=0
1
k+b
k+b
+
1
2a
+
z
a
(z
1) 2 F1 (a + 1, k+b
;

k+b k+b
k+b
+ 1 a 2 F1 (a 1, ; + 1; z)
+ 1; z)+
> 0, Re (c) > Re (b) > 0 .
10.
2 R1 (a, b; c; ; z)
11.

k+b 1
(c)
(b)(cb)
k=0
(1c+b)k ( )
k!
( k+b
+1)
k+b
k+b
a 2 F1 (a + 1, k+b
; + 1; z)
k+b
> 0, Re (c) > Re (b) > 0 .
(1 z)
i
1
a (z 1) 2 R1 (a + 1, b; c; ; z)+
2 R1 (a, b; c; ; z) = (1 a)
k+b
1 P
(1c+b)k ( )
(c)(1a)
k+b
2 F1 (a, k+b
(b)(cb)
k!
1; + 1; z)
( k+b
+1)
k=0
> 0, Re (c) > Re (b) > 0 .
12.
1
a (1 z) 2 R1 (a + 1, b; c; ; z)
2 R1 (a, b; c; ; z) = (a z)
k+b
1
(c)(az)1 z P (1c+b)k ( )
k+b
(b)(cb)
k!
+1
( k+b
+1
)
k=0

k+b k+b
k+b
+ 1 a 2 F1 (a, ; + 2; z)
> 0, Re (c) > Re (b) > 0 .
13.
2 R1 (a, b; c; ; z)
14.

k+b 1
k+b
2 F1 (a
(c)
(b)(cb)
k=0
(1c+b)k ( )
k!
( k+b
+1)
k+b
k+b
a 2 F1 (a + 1, k+b
; + 1; z)
2 R1 (a, b; c; ; z)
k+b
> 0, Re (c) > Re (b) > 0 .

=
(c)
(b)(cb)

1
a (1 z)
k+b
k+b
1, k+b
; + 1; z) +
k=0
(1 z)
i
(1c+b)k ( )
k!
( k+b
+1)
k+b

+1a
2 F1 (a,
k+b

1; k+b
+ 1; z)
> 0, Re (c) > Re (b) > 0 .
|90

umero 4
15.
1
2 R1 (a, b; c; ; z) = (1 z)
2 R1 (a 1, b; c; ; z)+
k+b
(c)z(1z)1 P (1c+b)k ( )
k+b k+b
2 F1 a, ;
(b)(cb)
k!
( k+b
+2)
k=0
+ 2; z
> 0, Re (c) > Re (b) > 0 .
16.
2 R1 (a, b; c; ; z)
(c)
(b)(cb)
(1c+b)k ( )
k!
( k+b
+1)
k+b
k=0
h

1
k+b k+b
1
F
(a 1)
a k+b
2 1 (a 1, ; + 1; z)+
i

k+b
(1 z)1a
> 0, Re (c) > Re (b) > 0 .
17.
2 R1 (a, b; c; ; z)
k+b
k+b
(c)
(b)(cb)
(1c+b)k ( )
k!
( k+b
+1)
k+b
1 k=0

1a
k+b
k+b
a
+
1
z
(1 z)
i
1 k+b

k+b k+b
1
+ 1 a z 2 F1 (a, ; + 2; z)
> 0, Re (c) > Re (b) > 0 .
Una aplicaci
on de las representaciones simples encontradas
Para armonizar esta aplicacion, se presenta una generalizacion de la intregral
establecida en el ejemplo (1.2). Lo que se pide es calcular
I=
xc1 epx 2 R1 (a, b; c; ; wx) dx .
En efecto, usando el resultado (4), de la seccion (2.1), para 2 R1 (a, b; c; ; z)

se tiene
Z
X
(1 c + b)k
(c)
c1 px
x e
I=
(b)(c b)
k!
k=0
0

k+b
k+b
k+b 1
a
a, 1 (wx)
;1 + a
;
+
2 F1 a, a
z

k+b k+b
k+b
,
+ a (wx)
Universidad EAFIT
91|

Re (c) > Re (b) > 0, |arg (x)| < ;

por la convergencia uniforme de la serie, se puede intercambiar la sumatoria
con la integral. Luego de separar la integral se obtiene
X (1 c + b)
(c)
k
I=
(b)(c b)
k!
k=0

Z
k + b a, 1 wa xca1 epx 2 F1 a, a k + b ; a k + b + 1;

Z
k+b
k+b
1
k+b
k+b
xc 1 epx dx .
,a
dx +
w
wx
Procediendo igual que en el ejemplo (1.2), al final se obtiene

"

X (1 c + b) k + b
(c)
p a c
k
I =
p
a, 1
(b)(c b)
k!
w
k=0

p b/ c
p
k+b
k+b
p
w
;a
+ 1, 1 + a c;
+
2 F2 a, a
w
(a)

k #
X
(1 c + b)k
k+b
p 1/
k+b
k+b
a
c
k!
w
k=0
Re (c) > Re (b) > 0, |arg (w)| < .

Haciendo = 1 y despues de desarrollar algunas operaciones simbolicas
se obtiene el resultado del ejemplo (1.2).
Se destaca el hecho de que la integral calculada es semejante a una nueva
generalizacion de la funci
on gamma estudiada por N. Virchenko, S. Kalla y
Al-Zamel [15], definida por
|92
a, b; c
; p,
u, v
=v
Z
0

x
dx, | arg v| < ,
xu1 epx 2 R1 a, b; c; ;
v
umero 4
donde a, b, c y p son parametros complejos con c 6= 0, 1, 2, ..., > 0,

Re (p) > 0, Re (u) > 0. Por lo tanto, haciendo uso de las nuevas representaciones simples para la funci
on 2 R1 (a, b; c; ; z) es posible tener formas computables para funciones semejantes a la funci
on gamma generalizada.
Conclusiones
De acuerdo con el desarrollo del trabajo es evidente que se pueden obtener
representaciones simples para la funci

on hipergeometrica generalizada. Estos
seran u
tiles para obtener formas computables para funciones que involucren la
funcion 2 R1 (a, b; c; ; z). Los c
alculos se simplifican cuando se usa (13) puesto
que esta ecuacion permite utilizar las representaciones simples de la funcion
hipergeometrica de Gauss y tener los nuevos resultados de una manera casi
directa.
Referencias
[1] C. Fox. The asymptotic expansion of generalized hypergeometric functions. Proc.
London Math. Soc. London, 2(27), 389400 (1928).
[2] J. B. Slater. Generalized hypergeometric functions. University Press, Cambridge,
1966.
[3] H. M. Srivastava and P. W. Karlsson. Multiple gaussian hypergeometric series.
John Wiley & Sons, New York, 1985.
[4] H. M. Srivastava, K. C. Gupta and S. P. Goyal. The H-functions of one and two
variables. South Asian Publishers, New Delhi, 1982.
[5] E. M. Wright. The asymptotic expansion of the generalized hypergeometric function. J. London Math. Soc. 10, 286293, 1935.
[6] E. M. Wright. The asymptotic expansion of the generalized hypergeometric function. Proc. London Math. Soc. 2(46), 389408 (1940).
[7] L. Galue, A. Al-Zamel and S. L. Kalla. Further results on generalized hypergeometric functions. Applied Mathematics and Computation, 136, 1725 (2003).
[8] N. N. Levedev. Special functions and their applications Prentice-Hall Inc., New
York, 1965.
Universidad EAFIT
93|

[9] M. Dotsenko. On some applications of Wrigts hypergeometric functions. C. R.

Acad. Bulgare Sci, 44, 1316 (1991).
[10] N. Virchenko. On some generalizations of the functions of hypergeometric type.
Fractional Calculus and Applied Analysis, 2(3), 233244 (1999).
[11] A. P. Prudnikov, Yu. A. Brychkov and O. I. Marichev. Integrals and series.
Gordon and Breach Science Publishers, 3, New York, 1992.
[12] J. B. Seaborn. Hypergeometric functions an their applications. Springer-Verlag,
New york, 1991.
[13] J. Castillo y R. Bertel. Algunas integrales indefinidas que contienen a la funci
on
hipergeometrica generalizada. Centro de investigaciones de la Universidad de la
Guajira, 2004.
[14] F. Al-Musallam and S. L. Kalla. Further results on a generalized gamma function occuring in diffraction theory. Integral Transform. Espec. Funct, 7, 175190
(1998).
[15] N. Virchenko, S. L. Kalla and A. Al-Zamel. Some results on a generalized hypergeometric function. Integral Transforms and Special Function, 12(1), 89100
(2001).
|94

umero 4

Algunas Representaciones Simples de La Funcion Hipergeometrica Generalizada PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Algunas Representaciones Simples de La Funcion Hipergeometrica Generalizada PDF

Uploaded by

Copyright:

Available Formats

Ingeniera y Ciencia, ISSN 1794-9165

Algunas representaciones simples de la

Algunas representaciones simples de la funci

El estudio de las funciones especiales ha apoyado de gran forma el desarrollo

estableciendo ademas su representaci

Ingeniera y Ciencia, volumen 2, n

Jaime A. Castillo Perez y Carlos Jimenez Ruiz

diferenciacion y relaciones de recurrencia para la funci

donde z es una variable compleja y a, b, c son parametros reales o complejos.

donde 2 F1 (a, b; c; z) es la funci

donde c 6= 0, 1, 2, ... y (a)k es el smbolo de Pocchammer definido por [11,

Algunas representaciones simples de la funci

De otro lado, la funci

tb1 (1 t)cb1 (1 tz)a dt ,

Re(c) > Re(b) > 0; | arg(1 z)| < .

al hacer tender b hacia el infinito se obtiene la serie

Note que al hacer x = bz en (1) resulta la ecuacion diferencial

que se conoce como ecuacion hipergeometrica confluente. La serie (5) es una

Por lo tanto, la solucion general de (6) es

a partir de (7) se deduce la funci

x1c 1 F1 (1+ac; 2c; x); (8)

Ingeniera y Ciencia, volumen 2, n

Jaime A. Castillo Perez y Carlos Jimenez Ruiz

Observe que un gran n

que es la bien conocida serie geometrica, esto es, la serie hipergeometrica es

Algunas representaciones simples de la funci

Ejemplo 1.1 (El pendulo simple). Un pendulo simple consiste de un cuerpo

Figura 1: Pendulo simple

Las fuerzas que act

para amplitudes peque

Ingeniera y Ciencia, volumen 2, n

Jaime A. Castillo Perez y Carlos Jimenez Ruiz

usando la identidad cos 2x = 1 2 sen2 x y haciendo un reordenamiento de la

El tiempo necesario para que el a

esta es una integral elptica completa de primera especie. El integrando tiene

ver (3) caso especial 1, luego

Algunas representaciones simples de la funci

como la serie converge uniformemente, se puede intercambiar el smbolo de

que resolviendo al final se obtiene

Entonces el periodo de oscilaci

Observe que para oscilaciones peque

Jaime A. Castillo Perez y Carlos Jimenez Ruiz

Esta funcion tiene la representaci

Re(c) > Re(b) > 0 .

Re (c) > Re (b) > 0 .

Algunas representaciones simples de la funci

A continuacion se presentan algunas representaciones simples para la funcion

(z)b 2 F1 b, 1 c + b; 1 a + b; z1 , |arg (z)| <

Algunas representaciones simples de la funci

|arg (1 z)| , |arg z| <

= (a b)1 [a 2 F1 (a + 1, b; c; z) b 2 F1 (a, b + 1; c; z)]

En muchas oportunidades se usa la siguiente notacion para simplificar la

Ingeniera y Ciencia, volumen 2, n

Jaime A. Castillo Perez y Carlos Jimenez Ruiz

xc1 epx 2 F1 (a, b; c; wx) dx

Re (c) , Re (p) > 0;

La serie converge uniformemente, por tanto se puede intercambiar la suma

Algunas representaciones simples de la funci

la integral es una funci

Con un procedimiento similar se obtiene

Jaime A. Castillo Perez y Carlos Jimenez Ruiz

y de acuerdo con (8) y (9) se obtiene finalmente

xc1 epx 2 F1 (a, b; c; wx) dx