Ingenierı́a y Ciencia, ISSN 1794–9165

Volumen 3, número 5, páginas 67-85, junio de 2007

Algunas integrales impropias con lı́mites

de integración infinitos que involucran a la
generalización τ de la función
hipergeométrica de Gauss
Some improper integrals with integration infinity limit involving
generalizad hypergeometric function 2 R1 (a, b; c; τ ; z)

Jaime Castillo Pérez1

Recepción: 09–feb–2007 /Modificación: 23–abr–2007 /Aceptación: 23–abr–2007

Se aceptan comentarios y/o discusiones al artı́culo

Resumen
En 1991 M. Dotsenko presentó una generalización de la función hipergeomé-
trica de Gauss denotada por 2 R1τ (z), estableciendo además tanto su repre-
sentación en serie como también su representación integral. Es importante
notar que en 1999 Nina Virchenko y luego, en el 2003, Leda Galué conside-
raron esta función, introduciendo un conjunto de fórmulas de recurrencia y
de diferenciación las cuales permiten simplificar algunos cálculos complicados.
Kalla y colaboradores estudiaron esta función y presentaron una nueva forma
unificada de la función Gamma, luego en el 2006, Castillo y colaboradores pre-
sentaron algunas representaciones simples para ésta función. En este trabajo
se establecen algunas integrales impropias con lı́mites de integración infinitos
que involucran a la generalización τ de la función hipergeométrica de Gauss
2 R1 (a, b; c; τ ; z).

Palabras claves: función hipergeométrica generalizada, integrales impropias.

1
MSc en Matemática Aplicada, jacas68@yahoo.es, profesor titular, Universidad de la
Guajira, Riohacha–Colombia.

Universidad EAFIT 67|

Algunas integrales impropias con lı́mites de integración infinitos que involucran a la
generalización τ de la función hipergeométrica de Gauss

Abstract
In 1991 M. Dotsenko presented a generalization of Gauss’ hypergeometric
function refered as 2 R1τ (z), and established its representation in series and
integral. It is important to remark that in 1999 Nina Virchenko and, later in
2003, Leda Galué considered this function by introducing a set of recurrence
and differentiation formulas; they permit simplify some complicated calculus.
Kalla et al estudied this function and they presented a new unified form of
the gamma function. Later in 2006, Castillo et al present some simple rep-
resentation for this function. Along this paper work some improper integrals
with integration infinity limit involving generalized hypergeometric function
2 R1 (a, b; c; τ ; z) are displayed.

Key words: generalized hypergeometric function, improper integrals.

1 Introducción

El estudio de las funciones especiales ha apoyado en gran manera el desa-

rrollo de las matemáticas aplicadas, entre ellas se tienen [1, 2]: la función
hipergeométrica de Gauss, la función hipergeométrica generalizada, la fun-
ción hipergeométrica de Wright, las funciones de Appell, la función G, la
función H, las funciones de Humbert, etcétera.
Las funciones hipergeométricas aparecen en una diversidad de aplicaciones
tales como [1, 3]: estadı́sticas, investigación de operaciones, teorı́a cuántica,
ecuaciones funcionales, vibración de placas, conducción de calor, elasticidad,
radiación, etcétera.
En 1991 M. Dotsenko consideró una generalización de la función hiper-
geométrica de Gauss denotada por 2 R1τ (z), estableciendo además su repre-
sentación en serie e integral. En 1999 Nina Virchenko [4] estableció algunas
fórmulas de diferenciación y relaciones de recurrencia para la función 2 R1τ (z),
luego en el 2006 Jaime Castillo y colaboradores [5] obtuvieron 17 representa-
ciones simples para dicha función.
En este trabajo se pretende obtener algunas integrales impropias con lı́mi-
tes de integración infinitos que involucran a la generalización τ de la función
hipergeométrica de Gauss 2 R1 (a, b; c; τ ; z).

|68 Ingenierı́a y Ciencia, ISSN 1794–9165

 Jaime Castillo

1.1 La función hipergeométrica

En esta sección se presenta la ecuación diferencial hipergeométrica con la

solución en serie denominada serie hipergeométrica de Gauss, la cual se
nota por 2 F1 (α, β; γ; z) llamada comunmente como la función hipergeo-
métrica de Gauss. También se presenta la representación integral para di-
cha función, posteriormente se define la función hipergeométrica generalizada
2 R1 (a, b; c; τ ; z) con su representación en serie e integral y algunas relaciones
de recurrencia. Finalmente, se muestran algunas integrales que contienen a
A (x)2 F1 (a, b; c; ϕ (x)) las cuales son útiles dado que expresan formas compu-
tables para la función beta generalizada usada por diversos investigadores en
el estudio de las funciones de densidad de probabilidad y sus propiedades
estadı́sticas para resolver diversos problemas asociadas a las mismas.

1.1.1 La ecuación hipergeométrica

La ecuación diferencial lineal, dada por [3, pág. 162],
z(1 − z)u′′ + [γ − (α + β + 1)z]u′ − αβu = 0 , (1)
donde z es una variable compleja y α, β, γ son parámetros reales o complejos.
La ecuación (1) se conoce como la ecuación hipergeométrica y contiene como
casos especiales muchas ecuaciones diferenciales encontradas en las aplica-
ciones.
En la región |z| < 1, una solución particular de (1) es
u1 (z) = 2 F1 (α, β; γ; z) ,
donde 2 F1 (α, β; γ; z) es la función hipergeométrica de Gauss definida de la
forma
∞
X (α)k (β)k z k
2 F1 (α, β; γ; z) = ,
(γ)k k!
k=0
donde γ 6= 0, −1, −2, . . .
La representación integral de la función 2 F1 (α, β; γ; z) está dada por [8,
pág. 240]
Z1
Γ (γ)
2 F1 (α, β; γ; z) = tβ−1 (1 − t)γ−β−1 (1 − tz)−α dt ,
Γ (β) Γ (γ − β)
0

Volumen 3, número 5 69|

Algunas integrales impropias con lı́mites de integración infinitos que involucran a la
generalización τ de la función hipergeométrica de Gauss

Re(γ) > Re(β) > 0; | arg(1 − z)| < π .

De acuerdo con el teorema 18 [6, pág. 49] se tiene
Γ (c) Γ (c − a − b)
2 F1 (a, b; c; 1) = , (2)
Γ (c − a) Γ (c − b)
Re (c − a − b) > 0, c 6= 0, −1, −2, . . .

1.1.2 La función 2 R1τ (z)

En 1999 N. Virchenco [4] consideró una generalización de la serie hiper-
geométrica de Gauss de la forma
∞
τ Γ(c) X Γ(a + k)Γ(b + τ k) z k
2 R1 (z) = 2 R1 (a, b; c; τ ; z) = ,
Γ (a) Γ(b) Γ(c + τ k) k!
k=0

donde a, b, c son números complejos, τ ∈ R , τ > 0, c 6= 0, −1, −2, . . . , |z| < 1.

Fácilmente se verifica que

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

c 6= 0, −1, −2, . . . , |z| < 1.

Esta función tiene la representación integral
Z1
Γ(c)
2 R1 (a, b; c; τ ; z) = tb−1 (1 − t)c−b−1 (1 − ztτ )−a dt
Γ(b)Γ(c − b)
0

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

Una nueva representación para la función 2 R1 (a, b; c; τ ; z) la obtuvieron
Castillo y colaboradores [5]
∞
(1 − c + b)k Γ k+b


Γ(c) X
τ
2 R1 (a, b; c; τ ; x) =
×
τ Γ(b)Γ(c − b) k!
k=0
Γ k+b
τ +1
k+b k+b
2 F1 (a, ; + 1; x). (3)
τ τ
τ > 0, Re (c) > Re (b) > 0 .

|70 Ingenierı́a y Ciencia, ISSN 1794–9165

 Jaime Castillo

1.1.3 Algunas integrales que contienen a A (x)2 F1 (a, b; c; ϕ (x))

A continuación se presentan algunas integrales impropias que contienen a
A (x)2 F1 (a, b; c; ϕ (x)) para algunas funciones A (x) , ϕ (x) [7, págs. 314–318],
números (1) , (2) , (4) , (5) , (10) , (11) , (13) − (22) , (29) las cuales han sido
desarrolladas por diversos investigadores y servirán de base para verificar
los nuevos resultados que se presentan en este trabajo.
Z∞  
c, α, a − α, b − α
1) xα−1 2 F1 (a, b; c; −wx) dx = w−α Γ
a, b, c − α
0

0 < Re (α) < Re (a) , Re (b) ; | arg w| < π .

Z∞  
α−1 c, α, a − α, b − α, c − a − b + α
2) x 2 F1 (a, b; c; 1 − wx) dx = w
−α
Γ
a, b, c − a, c − b
0

0, Re (a + b − c) < Re (α) < Re (a) , Re (b) ; | arg w| < π .

Zy
3) xα−1 (y − x)β−1 2 F1 (a, b; c; −wx) dx =
0
B (α, β) y α+β−1 3 F2 (a, b, α; c, α + β; −wy)

y, Re (α) , Re (β) > 0; | arg (1 + wy) | < π .

Zy  
4) xα−1 (y − x)β−1 2 F1 a, b; c; xy dx = B (α, β) y α+β−1 3 F2 (a, b, α; c, α + β; 1)
0

y, Re (α) , Re (β) , Re (c − a − b + β) > 0 .

Zy  
α−1 β−1 α+β−1 c, c − a − b, α, β
5) x (y − x) 2 F1 (a, b; c; 1 − wx) dx = y Γ ×
c − a, c − b, α + β
0

c−a−b c−a−b+α+β−1 c, a + b − c, β, c−
3 F2 (a, b, α; a + b − c + 1, α + β; wy) + w y Γ
a, b, c − a − b+

a−b+α
× 3 F2 (c − a, c − b, c − a − b + α; c − a − b + 1, c − a − b + α + β; wy)
α+β

Volumen 3, número 5 71|

Algunas integrales impropias con lı́mites de integración infinitos que involucran a la
generalización τ de la función hipergeométrica de Gauss

y, Re (α) , Re (β) , Re (c − a − b + α) > 0; | arg w| < π .

Zy  
c, α, c − a − b + α
 
α−1 c−1 x c+α−1
6) x (y − x) 2 F1 a, b; c; 1 − dx = y Γ
y c − a + α, c − b + α
0

y, Re (α) , Re (c) , Re (c − a − b + α) > 0 .

Z∞
7) xα−1 (x − y)β−1 2 F1 (a, b; c; −wx) dx = y α+β−1 B (β, 1 − α − β)3 F2 (a, b, α;
y
 
c, a − α − β + 1, b − α − β + 1, α + β − 1
c, α + β; −wy) + w1−α−β Γ ×
a, b, c − α − β + 1

3 F2 (1 − β, a − α − β + 1, b − α − β + 1; 2 − α − β, c − α − β + 1; −wy)

y, Re (β) > 0; Re (α + β − a) , Re (α + β − b) < 1; | arg w| < π .

Z∞ 
α−1 β−1 −a α+β−a−1 c, b − a, β, a − α−
8) x (x − y) 2 F1 (a, b; c; 1 − wx) dx = w y Γ
b, c − a, a−
y

β+1
 
1
× 3 F2 a, c − b, a − α − β + 1; a − α + 1, a − b + 1; wy + w−b y α+β−b−1 Γ
α+1
 
c, a − b, β, b − α − β + 1 
1

×3 F2 b, c − a, b − α − β + 1; b − a + 1, b − α + 1; wy
a, c − b, b − α + 1

y, Re (β) > 0; Re (α + β − a) , Re (α + β − b) < 1; | arg w| < π .

Z∞
xα−1
9) (x+z)ρ 2 F1 (a, b; c; −wx) dx = z α−ρ B (α, ρ − α)3 F2 (a, b, α; c, α − ρ + 1; wz) +
0
 
ρ−α c, a − α + ρ, b − α + ρ, α − ρ
w Γ 3 F2 (a − α + ρ, b − α + ρ, ρ; c − α + ρ,
a, b, c − α + ρ
ρ − α + 1; wz)

Re (α) , Re (a − α + ρ) , Re (b − α + ρ) > 0; | arg w|, | arg z| < π .

Z∞  
xα−1 c, α, a − α, b − α, c − a − b + α
10) (x+z)ρ 2 F1 (a, b; c; 1 − wx) dx = w −α −ρ
z Γ ×
a, b, c − a, c − b
0

|72 Ingenierı́a y Ciencia, ISSN 1794–9165

 Jaime Castillo


1 b − a, c, α − a,
+w−a z α−ρ−a Γ


3 F2 α, ρ, c − a − b + α, α − a + 1, α − b + 1; − wz
b, c − a,

a−α+ρ 1
+ w−b z α−ρ−b Γ


× 3 F2 a, c − b, a − α + ρ; a − α + 1, a − b + 1; − wz
ρ
 
a − b, c, α − b, b − α + ρ 1


× 3 F2 b, c − a, b − α + ρ; b − a + 1, b − α + 1; − wz
a, c − b, ρ

Re (α) , Re (c − a − b + α) , Re (a − α + ρ) , Re (b − α + ρ) > 0; | arg w|, | arg z| < π .

Z∞  
xα−1 1−α c, a − α + 1, b − α + 1, α − 1
11) (x−y) 2 F1 (a, b; c; −wx) dx = w Γ ×
a, b, c − α + 1
0

3 F2 (1, a − α + 1, b − α + 1; 2 − α; c − α + 1 − wy) − πy α−1 cot απ 2 F1 (a, b; c; −wy)

y, Re (α) > 0; Re (α − a) , Re (α − b) < 1; | arg w| < π .

Z∞  
xα−1 −a α−a−1 c, b − α
12) (a, b; c; 1 − wx) dx = πw y
(x−y) 2 F1 cot (α − a) πΓ ×
b, c − a
0
 
1

−b α−b−1 c, α − b
F
2 1 a, c − b, α − b + 1; + πw z cot (b − α) πΓ ×
wz a, c − b
 
c, α, a − α, b − α, c − a − b + α
 
1 w −α
2 F1 b, c − a; b − a + 1; wy − y Γ ×
a, b, c − a, c − b
 
1
3 F2 1, α, c − a − b + α; α − a + 1; α − b + 1; wy

y, Re (α) , Re (c − a − b + α) > 0; Re (α − a) , Re (α − b) < 1; | arg w| < π .

Zy  
xc−1 (y−x)β−1 y c+β−1 yz
13) (1−xz)ρ 2 F1 (a, b; c; wx) dx = B (c, β) (1−yz) ρ F3 ρ, a, β, b; c + β; yz−1 , wy
0

y, Re (c) , Re (β) > 0; | arg (1 − wy) |, | arg (1 − z) | < π .

Zy
xc−1 (y−x)β−1 a
14) F
(1−xz)β+c−a 2 1
(a, b; c; wx) dx = B (c, β) (1+wy)
(1−wy)c y
c+β−1
2 F1 (a, b + β; c + β; wy)
0

y, Re (c) , Re (β) > 0; | arg (1 − wy) | < π .

Volumen 3, número 5 73|

Algunas integrales impropias con lı́mites de integración infinitos que involucran a la
generalización τ de la función hipergeométrica de Gauss

Zy  
xc−1 (y−x)β−1

x
 c, β, c − a − b + β
15) (1−xz)ρ a, b; c;
2 F1 dx = Γ ×
y c − a + β, c − b + β
0
 
yz
3 F2 ρ, β, c − a − b + β; c − a + β; c − b + β; yz−1

y, Re (c) , Re (β) , Re (c − a − b + β) > 0; | arg (1 − yz) | < π .

Zy
β−1
16) xα−1 (y − x) 2 F1 (a, b; c; wx (y − x)) dx =
0
 
α+β+1 wy 2
y c+β−1
B (α, β)3 F2 a, b, α, β; c, α+β
2 , 2 ; 4

y, Re (α) , Re (β) > 0 .

A menudo se hará uso de la notación

 
Γ (a1 ) Γ (a2 ) . . . Γ (an ) a 1 , a 2 , . . . , an
=Γ .
Γ (b1 ) Γ (b2 ) . . . Γ (bn ) b1 , b2 , . . . , bn

2 Resultados

En esta sección se presentan algunas integrales impropias con lı́mites de in-

tegración infinitos que involucran a la generalización τ de la función hiper-
geométrica de Gauss. Se establece el desarrollo simbólico para uno de los
resultados con el apoyo de diversas herramientas del cálculo avanzado; el
método que aquı́ se usa es similar al que se utilizó para obtener el resto de
resultados listados en la subsección 2.1.

2.1 Algunas integrales impropias con lı́mites de integración infini-

tos que involucran a la generalización τ de la función hiper-
geométrica de Gauss

A continuación se presentan los resultados obtenidos, junto con sus condi-

ciones de validez, tales condiciones son coherentes con las presentadas en la
subsección 1.1.3

|74 Ingenierı́a y Ciencia, ISSN 1794–9165

 Jaime Castillo

Calcular
Z∞
I = xα−1 2 R1 (a, b; c; τ ; −wx) dx .
0

De acuerdo con el resultado (3), I se escribe de la forma

Z∞
(1 − c + b)k Γ k+b
∞

Γ(c) α−1
X
τ k+b k+b
I= x k+b

2 F1 (a, ; +1−wx)dx;
τ Γ(b)Γ(c − b) k! Γ τ + 1 τ τ
0 k=0

Aprovechando la convergencia absolúta de la serie, se intercambia la suma

con la integral

Z∞
(1 − c + b)k Γ k+b
∞
Γ(c) X k+b k+b
I= k+b
τ

xα−1 2 F1 (a, ; +1−wx)dx;
τ Γ(b)Γ(c − b) k! Γ τ +1 τ τ
k=0 0

Aprovechando el resultado (1) se obtiene

k+b
 
(1 − c + b)k Γ k+b τ + 1, α, a − α,
∞

Γ(c) X
τ
I= k+b

w−α Γ  a, k+b k+b k+b
τ , τ + [c]c τ − α
.
τ Γ(b)Γ(c − b) k! Γ + 1
k=0 τ 1−α

Reorganizando se tiene
Γ(c)Γ (α) Γ (a − α) −α X (1 − c + b)k Γ k+b
∞

τ −α
I= w
.
τ Γ(b)Γ(c − b)Γ(a)
k=0
k! Γ k+b
τ +1−α

Teniendo en cuenta la propiedad de la función Gamma que expresa Γ (a + 1) =

aΓ (a) y después de simplicar se tiene
∞
Γ(c)Γ (α) Γ (a − α) −α X (1 − c + b)k 1
I= w .
Γ(b)Γ(c − b)Γ(a) k! (k + b − τ α)
k=0

Se vuelve a aplicar la propiedad anterior

∞
Γ(c)Γ (α) Γ (a − α) −α X (1 − c + b)k Γ (b − τ α + k)
I= w ,
Γ(b)Γ(c − b)Γ(a) k! Γ (b − τ α + 1 + k)
k=0

y haciendo uso del sı́mbolo de Pocchhammer

∞
Γ(c)Γ (α) Γ (a − α) −α X (1 − c + b)k Γ (b − τ α) (b − τ α)k
I= w ,
Γ(b)Γ(c − b)Γ(a) k! Γ (b − τ α + 1) (b − τ α + 1)k
k=0

Volumen 3, número 5 75|

Algunas integrales impropias con lı́mites de integración infinitos que involucran a la
generalización τ de la función hipergeométrica de Gauss

luego
∞
Γ(c)Γ (α) Γ (a − α) Γ (b − τ α) −α X (1 − c + b)k (b − τ α)k
I= w .
Γ(b)Γ(c − b)Γ(a)Γ (b − τ α + 1) k! (b − τ α + 1)k
k=0

Observe que la serie es de tipo hipergeométrico y de aquı́

Γ(c)Γ (α) Γ (a − α) Γ (b − τ α) −α
I= w 2 F1 (1 − c + b, b − τ α; b − τ α + 1; 1) .
Γ(b)Γ(c − b)Γ(a)Γ (b − τ α + 1)

Ahora se hace uso de (2) y se obtiene

Γ(c)Γ (α) Γ (a − α) Γ (b − τ α) −α Γ (b − τ α + 1) Γ(c − b)
I= w .
Γ(b)Γ(c − b)Γ(a)Γ (b − τ α + 1) Γ (c − τ α)

Después de simplificar se obtiene

 
c, α, a − α, b − τ α
I = w−α Γ .
a, b, c − τ α

τ > 0, 0 < Re (τ α) < Re (b) , 0 < Re (α) < Re (a) ; | arg w| < π .
Observe que este resultado generaliza a 1 cuando τ = 1.
Utilizando argumentos similares se obtienen los siguientes resultados:
Z∞
2) xα−1 2 R1 (a, b; c; τ ; 1 − wx) dx =
0
 
c, α, a − α, b − τ α
w −α
Γ × 2 R1 (a − α, b − τ α; c − τ α; τ ; 1)
a, b, c − τ α

τ > 0, 0, Re (a + b − c) < Re (τ α) < Re (b) ;

0, Re (a + b − c) < Re (α) < Re (a) ; | arg w| < π.

Zy
β−1
3) xα−1 (y − x) 2 R1 (a, b; c; τ ; −wx) dx =
0
Γ(c) ∞ (a) (α) Γ (b + τ n) (−wy)n
n n
B (α, β) y α+β−1
P
Γ(b) n=0 (α + β)n Γ (c + τ n) k!

τ, y, Re (α) , Re (β) > 0; | arg (1 + wy) | < π .

|76 Ingenierı́a y Ciencia, ISSN 1794–9165

 Jaime Castillo

Zy  
α−1 β−1 x
4) x (y − x) 2 R1 a, b; c; τ ; dx =
y
0
Γ(c) P∞ (a) (α) Γ (b + τ n)
n n
B (α, β) y α+β−1
Γ(b) n=0 (α + β)n Γ (c + τ n)

τ, y Re (α) Re (β) , Re (c − a − b + β) > 0 .

Zy
β−1
5) xα−1 (y − x) 2 R1 (a, b; c; τ ; 1 − wx) dx =
0

Γ k+b


Γ(c) ∞ (1 − c + b)
P k τ

×
τ Γ(b)Γ(c − b) k=0 k! Γ k+bτ +1
  k+b 
α+β−1 τ + 1, α, 1 − a, α, β k+b

1−a α+β−a
y Γ k+b 3 F2 a, τ , α; a, α + β; wy + w y ×
τ + 1 − α, 1, α + β

k+b
  
τ + 1, a − 1, 1 − a + α, β k+b


Γ 3 F2 + 1 − a, 1, 1 − a + α; 2 − a, 1 − a + α + β; wy
a, k+b
τ ,1 − a+ α + β
τ

τ, y, Re (α) , Re (β) , Re (c − a − b + α) > 0; | arg w| < π .

Zy   τ 
α−1 c−1 x
6) x (y − x) 2 R1 a, b; c; τ ; 1 − dx =
y
0
Γ (c) Γ (α)
y α+c−1 R1 (a, b; α + c; τ ; 1)
Γ (α + c) 2

y, Re (α) , Re (c) , Re(c − a − b + α) > 0 .

Z∞
7) xα−1 (y − x)β−1 2 R1 (a, b; c; τ ; −wx) dx =
y

Γ k+b


Γ(c) ∞ (1 − c + b)
k τ
P

×
τ Γ(b)Γ(c − b) k=0 k! Γ k+bτ +1

1−a−β
y α+β−1 B (β, 1 − α − β) 3 F2 a, b, α; k+b


τ + 1, α + β; −wy + w ×

Volumen 3, número 5 77|

Algunas integrales impropias con lı́mites de integración infinitos que involucran a la
generalización τ de la función hipergeométrica de Gauss

k+b
+ 1, a − α − β + 1, k+b
 
Γ τ τ − α − β + 1, α + β − 1 ×
a, k+b
τ , k+b
τ +2−α−β

3 F2 (1 − β, a − α − β + 1, k+b
τ − α − β + 1; 2 − α − β, c − α − β + 1; −wy)

 
k+b
τ, y, Re (β) > 0; Re (α + β − a) , Re α + β − < 1; | arg w| < π .
τ

Z∞
β−1
8) xα−1 (y − x) 2 R1 (a, b; c; τ ; 1 − wx) dx =
y

Γ k+b


Γ(c) ∞ (1 − c + b)
k τ
P

×
τ Γ(b)Γ(c − b) k=0 k! Γ k+b
τ +1
  k+b k+b

w−α y α+β−a−1 Γ τ + 1, τ − a, β, a − α − β + 1 ×
k+b k+b
τ , τ + 1 − a, a − α + 1
 
k+b 1
3 F2 a, 1, a − α − β + 1; a − α + 1, a − τ + 1; +
wy
 k+b k+b k+b

τ + 1, a − τ , β, τ − α − β + 1,
k+b k+b
w− τ y α+β− τ −1 Γ ×
a, 1, k+b
τ −α+1

k+b k+b k+b k+b k+b 1
3 F2 ( τ , τ + 1 − a, τ − α − β + 1; τ − a + 1, τ − α + 1; )
wy
 
k+b
τ, y, Re (β) > 0; Re (α + β − a) , Re α + β − < 1; | arg w| < π .
τ

Z∞
xα−1
9) ρ 2 R1 (a, b; c; τ ; −wx) dx =
(x + z)
0
Γ(c) P∞ (a)n (α)n Γ (b + τ n) (wz)n
z α−ρ B (α, ρ − α) +
Γ(b) n=0 (α − ρ + 1)n Γ (c + τ n) n!

Γ(c) ∞ (a + ρ − α) (ρ) Γ (b + τ (ρ − α) + τ n) (wz)n

n n
wρ−α
P
B (a + ρ − α, α − ρ)
Γ(b) n=0 (ρ − α + 1)n Γ (c + τ (ρ − α) + τ n) n!

τ, Re (α) > 0; Re (α + ρ − a) , Re (b − τ (ρ − α)) > 0; | arg w|, | arg z| < π .

|78 Ingenierı́a y Ciencia, ISSN 1794–9165

 Jaime Castillo

Z∞
xα−1 Γ(c)Γ (α) Γ (a − α) Γ (b − τ α) −α −ρ
10) ρ 2 R1 (a, b; c; τ ; 1 − wx) dx = w z ×
(x + z) Γ (a) Γ(b)Γ(c − τ α)
0
 
1
R
2 1 (a − α, b − τ α; c − τ α; τ ; 1) F
3 2 a, ρ, 1 − a + α; 1 − a + α, 1 − b + α; − +
wz

Γ(c)Γ (α − a) Γ (a − α + ρ) −a α−ρ−a P ∞ (a) (a − α + ρ) Γ (b − aτ − nτ )

n n
w z
Γ(b)Γ(ρ) n=0 Γ (c − aτ − nτ )
 n
1
wz
2 R1 (−n, b − aτ − nτ ; c − aτ − nτ ; τ ; 1) +
n!

a − k+b k+b k+b k+b

 
τ , τ ,α − τ , τ − α + ρ
k+b k+b
w− τ z α−ρ− τ Γ ×
a, ρ

k+b k+b 1
3 F2 ( τ , τ − a, k+b k+b k+b
τ − α + ρ; τ − a + 1, τ − α + 1; − )
wz
 
k+b
τ, Re(α), Re (1 − a + α) , Re (a − α + ρ) , Re −α+ρ > 0;
τ
| arg w|, | arg z| < π, c − τ α 6= 0, −1, −2, . . . ; c − aτ − nτ 6= 0, −1, −2, . . .

Z∞
xα−1 Γ(c)Γ (α − 1) Γ (a − α + 1) Γ(c − b − τ ) 1−α
11) 2 R1 (a, b; c; τ ; −wx) dx = w ×
x−y Γ(a)Γ(b)Γ(c − b)Γ(1 − τ )
0
∞ (1)n (a − α + 1)n Γ (b − ατ + nτ + τ ) (−wy)n
−πy α−1 cot απ 2 R1 (a, b; c; τ ; −wy)
P
n=0 (2 − α)n Γ (c − ατ + nτ ) n!

τ, y, Re(α) > 0; Re (α − a) , Re (α − b) < 1; | arg w| < π .

Z∞
xα−1
12) 2 R1 (a, b; c; τ ; 1 − wx) dx =
x−y
0
"
k+b
∞ (1 − c + b)
 
Γ(c) P k −a α−a−1 τ −a
πw y cot (a − α) π × Γ k+b
τ Γ(b)Γ(c − b) k=0 k! τ −α+1
 k+b
, a − k+b
  
k+b 1 −b α− k+b k+b


2 F1 a, 1; a − τ ; wy + πw cot τ − α πΓ ×
y τ −1 τ τ
a

Volumen 3, número 5 79|

Algunas integrales impropias con lı́mites de integración infinitos que involucran a la
generalización τ de la función hipergeométrica de Gauss

− k+b #
α, a − α, k+b
   
1 τ
w−α τ − α, 1 − a + α k+b 1
1− − Γ 2 F1 1, α; α − + 1;
wy y a, k+b
τ −α+1
τ wy
 
k+b
τ, y, Re(α), Re (1 − a + α) > 0; Re (α − a) , Re α − < 1; | arg w| < π .
τ

Zy β−1
xc−1 (y − x)
13) 2 R1 (a, b; c; τ ; wx) dx =
(1 − xτ z)ρ
0
∞ (a) Γ (b + τ k) (wy)k
Γ(c) c+β−1 P k
y B (k + c, β) × 2 R1 (ρ, c + k; β + c + k; τ ; y τ z)
Γ(b) k=0 Γ (c + τ k) k!

τ, y, Re(c), Re(β) > 0; | arg (1 − wy) |, | arg (1 − z) | < π .

Zy β−1
xc−1 (y − x)
14) 2 R1 (a, b; c; τ ; wxτ ) dx =
(1 − wxτ )β+c−a
0

Γ(c)Γ (β) c+β−1 P∞ (a) Γ (b + τ k) (wy τ )k

k
y ×2 R1 (β + c − a, c + τ k; β + c + τ k; τ ; wy τ )
Γ(b) k=0 Γ (c + β + τ k) k!

τ, y, Re(c), Re(β) > 0; | arg (1 − wy τ ) | < π .

Zy β−1
xc−1 (y − x)   τ 
15) ρ 2 R1 a, b; c; τ ; xy dx =
(1 − zxτ )
0
Γ(c)Γ (β) c+β−1 P∞ (a) Γ (b + τ k)
k
y ×2 R1 (ρ, c + τ k; β + c + τ k; τ ; zy τ )
Γ(b) k=0 Γ (c + β + τ k)

τ, y, Re(c), Re(β), Re (c − a − b + β) > 0; | arg (1 − zy τ ) | < π .

Zy
β−1
16) xα−1 (y − x) 2 R1 (a, b; c; τ ; wx (y − x)) dx =
0
k
wy 2


Γ(c) α+β−1 P ∞ (a)k (α)k (β)k Γ (b + τ k) 4

B (α, β) y ×    
Γ(b) k=0 a+β a+β+1
Γ (c + τ k) k!
2 k 2 k

τ, y, Re(α), Re(β) > 0 .

|80 Ingenierı́a y Ciencia, ISSN 1794–9165

 Jaime Castillo

2.2 Aplicación

A continuación se presenta una aplicación de las integrales impropias a la

teorı́a estadı́stica; inicialmente se muestran algunos conceptos, éstos permiten
entender mejor el problema.
Muchas funciones especiales de matemáticas aplicadas, pueden ser expre-
sadas en términos de las funciones hipergeométricas, las cuales son una clase
importante de funciones especiales [3, 8]. Las funciones hipergeométricas y sus
generalizaciones han sido usadas en varios problemas de estadı́stica [9, 10],
particularmente en el estudio de más funciones de densidad de probabilidad
generalizadas y sus propiedades estadı́sticas las cuales tienen varias aplicacio-
nes, no sólo en la teorı́a de confiabilidad, sino también en algunos problemas
importantes tales como la teorı́a de tasa demográfica, biomedicina, datos de
trafico y fallas de equipos eléctricos.
A continuación se muestran algunas funciones de densidad que contienen
a la función hipergeométrica de Gauss y algunos casos particulares.

2.2.1 Función de densidad de probabilidad

La función f (x) es una función de densidad de probabilidad para la variable
aleatoria x, definida en el conjunto de los números reales de la forma

a) f (x) ≥ 0, para x ∈ R
Z ∞
b) f (x)dx = 1
−∞
Z b
c) p(a < x < b) = f (x)dx .
a

2.2.2 Función caracterı́stica

Si X es una variable aleatoria continua con función de densidad f (x),entonces
la función caracterı́stica, Φ(t) de la variable aleatoria X o de la función de
distribución F (x) está definida por
Z∞
Φ(x) = E(exp(itX)) = f (x) exp(itx)dx ,
−∞

Volumen 3, número 5 81|

Algunas integrales impropias con lı́mites de integración infinitos que involucran a la
generalización τ de la función hipergeométrica de Gauss

donde E [g(x)] es llamado el valor esperado de la variable aleatoria g(x).

2.2.3 Valor esperado

Sea X una variable aleatoria, la media de X, notada como E(x), se define
por X
µ = E(x) = xf (x) si x es v.a. discreta .
x

Z∞
µ = E(x) = f (x)dx si x es v.a. continua .
−∞

2.2.4 El k-ésimo momento

El k-ésimo momento alrededor del origen de la variable aleatoria x está dado
por: X
µ′k = E(xk ) = xk f (x) si x es v.a. discreta ,
x

Z∞
µ′k = E(xk ) = xk f (x) si x es v.a continua ,
−∞

donde f (x) es la función de densidad de probabilidad.

2.2.5 Funcion beta generalizada

Sean los parámetros siguientes a, b, c, τ, u y v. Entonces para Re(a + µ) y
Re(b + µ) > 0, se define la forma generalizada de la función beta como sigue,
según [9],
  Z ∞
a, b; c; v t
Bτ = v −a tu−1 (1 + t)−µ−u 2 R1 (a, b; c; τ ; − )dt , (4)
u, µ 0 v

donde 2 R1 (a, b; c; τ ; x) es la función hipergeométrica generalizada.

Para τ = 1 en (4) se tendrá
  Z ∞
a, b; c; v t
B =v −a
tu−1 (1 + t)−µ−u 2 F1 (a, b; c; − )dt ,
u, µ 0 v

|82 Ingenierı́a y Ciencia, ISSN 1794–9165

 Jaime Castillo

y para b = c, se tiene [9]

  Z ∞
a, b; c; v
B = tu−1 (1 + t)−µ−u dt
u, µ 0
1
= v −a B(u, µ + a)2 F1 (u, a; u + a + µ; 1 − ) .
v

Por otro lado, si se hace a = 0, entonces (4) se reduce a la conocida fórmula

integral de la función beta definida por
Z ∞
B(u, µ) = tu−1 (1 + t)−µ−u dt, Re(u); Re(µ) > 0 .
0

La función beta generalizada definida en (4) también se puede escribir como

[9]
  Z ∞
τ a, b; c; v u−a
B =v tu−1 (1 + t)−µ−u 2 R1 (a, b; c; τ ; −t)dt .
u, µ 0

2.2.6 Función de densidad de probabilidad definida por Y.B. Nakhin

y S. L. Kalla
La función de densidad de probabilidad con variable aleatoria x se define
según [9]

v −n xu−1 (1 + x)µ−u 2 R1 (a, b; c; τ ; − xv )dt

f (x) =   , x > 0. (5)
τ a, b; c; v
B
u, µ

2.2.7 Algunos casos especiales de la función de densidad definida

por Y.B. Nakhin y S. L. Kalla
Al sustituir τ = 1 en (5), se tiene

v −n xu−1 (1 + x)µ−u 2 F1 (a, b; c; − xv )

f (x) =   . (6)
a, b; c; v
B
u, µ

Volumen 3, número 5 83|

Algunas integrales impropias con lı́mites de integración infinitos que involucran a la
generalización τ de la función hipergeométrica de Gauss

Si se hace b = c en (6), y teniendo en cuenta que 2 F1 (a, b; b; x) = (1 − x)−a

[8], entonces

v −n xu−1 (1 + x)−µ−u (1 + xv )−a

f (x) = .
B(v, µ + a)2 F1 (u, a, u + a + µ; 1 − v1 )

La función de densidad beta de segunda clase dada en (5), cuando a = 0, se

transforma en
xu−1 (1 + x)−µ−u
f (x) = , x > 0.
B(v, µ)

3 Conclusiones

De acuerdo con el desarrollo de este trabajo se nota:

• Cada uno de los resultados de la subsección 1.1.3, son formas compu-

tables para cada integral propuesta, además, éstas facilitan los cálculos
numéricos de las mismas dado que muchos de estos resultados aparecen
tabulados en el libro de prudnikov.

• Cada integral es un caso especial de la función beta generalizada

  Z ∞
a, b; c; v t
B = v −a tu−1 (1 + t)−µ−u 2 F1 (a, b; c; − )dt ,
u, µ 0 v

lo que indica que se tienen diversas formas computables para la misma.

• Una aplicación interesante de estas integrales es que permiten obtener

nuevas funciones de densidad de probabilidad. En los últimos años el
doctor Kalla y su grupo de colaboradores han trabajado en ese campo.

• Cada resultado de éste trabajo es un caso especial de la función beta

generalizada
  Z ∞
τ a, b; c; v t
B =v −a
tu−1 (1 + t)−µ−u 2 R1 (a, b; c; τ ; − )dt .
u, µ 0 v

|84 Ingenierı́a y Ciencia, ISSN 1794–9165

 Jaime Castillo

Referencias

[1] James B. Seaborn. Hypergeometric functions and their applications,

ISBN 0–387–97558–6. New york: Springer-Verlag, 1991. Referenciado en 68

[2] A. M. Mathai and R. K. Saxena. Generalized Hypergeometric Functions with

Applications in Statistics and Physical Sciences, ISBN 0–387–06482–6. New
york: Springer-Verlag, 1970. Referenciado en 68

[3] N. N. Levedev. Special functions and their applications, ISBN 0–486–60624–4.

New York: Prentice-Hall, 1965. Referenciado en 68, 69, 81

[4] N. Virchenko. On some generalizations of the functions of hypergeometric ty-

pe. Fractional Calculus and Applied Analysis, ISSN 1311–0454, 2(3), 233–244
(1999). Referenciado en 68, 70

[5] J. Castillo y C. Jiménez. Algunas representaciones simples de la función hi-

pergeométrica generalizada. Ingenierı́a y Ciencia, ISSN 1794–9165, 2(4), 75–94
(2006). Referenciado en 68, 70

[6] Earl David Rainville. Special Functions, ISBN 0–8284–0258–2. New York: Chel-
sea Publishing Company, 1960. Referenciado en 70

[7] A. P. Prudnikov, Yu. A. Brychkov and O. I. Marichev. Integrals and Series:

More Special Functions , ISBN 2–88124–682–6. New York: Gordon and Breach
Science Publishers, 3, 1992. Referenciado en 71

[8] George E. Andrews, Richard Askey and Ranjan Roy. Special Functions, ISBN
0–521–62321–9. New York: Cambridge University Press 1999. Referenciado en
69, 81, 84

[9] Ben Nakhi and S. L. Kalla. A generalized beta functions and associated proba-
bility density. International Journal of Mathematics and Mathematics Sciences,
ISSN 0161–1712, 30, 467–478 (2002). Referenciado en 81, 82, 83

[10] A. M. Mathai and R. K. Saxena. Generalized Hypergeometric Functions with

Applications in Statistics and Physical Sciences. New York: Springer Verlag,
ISBN 0–470–26380–6, 1973. Referenciado en 81

Volumen 3, número 5 85|