Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Resumen
El campo de las funciones especiales ha tenido un gran desarrollo en las últimas
décadas dado que son muchos los fenómenos que se pueden estudiar mediante
el uso de las mismas como, por ejemplo, procesos estocásticos relacionados,
investigación de operaciones, teorı́a cuántica, ecuaciones funcionales, vibra-
ción de placas, conducción del calor, elasticidad, y radiación. En este traba-
jo se considera una ampliación de las teorı́as presentadas por M. Dotsenko
en 1991, quien introdujo la generalización de la función hipergeométrica de
Gauss, denotada por 2 R1τ (z), y estableció su representación en serie e inte-
gral. Es importante notar que en 1999 Nina Virchenko y luego, en el 2003,
Leda Galué consideraron esta función, introduciendo un conjunto de fórmulas
de recurrencia y de diferenciación. En este trabajo se establecen algunas re-
presentaciones simples para la función 2 R1 (a, b; c; τ ; z), las cuales serán muy
útiles en futuras investigaciones puesto que permiten simplificar cálculos en el
momento de solucionar problemas que involucren esta función.
Palabras claves: función hipergeométrica generalizada, representaciones sim-
ples.
1
M. Sc. en Matemática Aplicada, jacas68@yahoo.es, director del grupo de investigación
GIMA, Universidad de la Guajira
2
Especialista en Computación para la Docencia, carlosj114@latinmail.com, miembro del
grupo de investigación GIMA, Universidad de la Guajira.
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, vibra-
tions of plates, heat conduction, elasticity, and radiation. Along this paper
work, an extension of the theories presented by M. Dotsenko en 1991 is con-
sidered. 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 Galué 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.
1 Introducción
donde c 6= 0, −1, −2, ... y (a)k es el sı́mbolo de Pocchammer definido por [11,
pág. 758]
Γ (a + k)
(a)k = a (a + 1) · · · (a + k − 1) = .
Γ (a)
Además, Γ (a) es la función Gamma definida como [11, pág. 759]
Z∞
Γ (a) = ta−1 e−t dt, Re (a) > 0 .
0
(a)k bk 1 + 1b · · · 1 + k−1
∞
xk
X
b
2 F1 (a, b; c; z) = k
;
(c)k b k!
k=0
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
sin−1 z
5. 2 F1 ( 12 , 21 ; 23 ; z 2 ) = z
tan−1 x
6. 2 F1 ( 21 , 1; 23 ; −z 2 ) = x
1
7. 2 F1 (1, a; a; z) = 1−z
8. 1 F1 (a; a; z) = ez .
lo cual indica que la cantidad entre corchetes es constante dado que se satisface
el teorema de conservación de la energı́a. Si se supone que el péndulo se
desplaza de θ a θ0 , r
dθ 2g
= (cos θ − cos θ0 ) ;
dt l
usando la identidad cos 2x = 1 − 2 sen2 x y haciendo un reordenamiento de la
ecuación se obtiene
r Z
g dθ
Z
2 dt =
l [k2 − sen2 (θ/2)]1/2
Zπ/2X
∞ 1
n
F (k) = 2
k2n sen2n φdφ ;
n!
0 n=0
π/2
∞ Z 1
X
2 n 2n
F (k) = k sen2n φ ,
n!
n=0 0
π X 12 n 21 n 2n π
∞
1 1 2
F (k) = k = 2 F1 , ; 1; k .
2 n! (1)n 2 2 2
n=0
Observe que para oscilaciones pequeñas esto es θ0 << 1 de acuerdo con (4)
s
l
T = 2π .
g
donde a, b, c son números complejos, τ ∈ R, τ > 0, c 6= 0, −1, −2, ..., |z| < 1.
Si τ = 1 en (11),
2 R1 (a, b; c; 1; z) = 2 F1 (a, b; c; z) .
Z1
Γ(c)
2 R1 (a, b; c; τ ; z) = tb−1 (1 − t)c−b−1 (1 − ztτ )−a dt (12)
Γ(b)Γ(c − b)
0
(1 − c + b)k Γ k+b
∞
Γ(c) X
τ
2 R1 (a, b; c; τ ; z) = ×
τ Γ(b)Γ(c − b) k!
k=0
Γ k+b
τ +1
k+b k+b
2 F1 (a, ; + 1; z). (13)
τ τ
c, b − a
1
4. 2 F1 (a, b; c; z) =Γ (1 − z)−a 2 F1 a, c − b; a − b + 1; 1−z +
b, c − a
c, a − b −b
1
Γ (1 − z) 2 F1 b, c − a; b − a + 1; 1−z , |arg (1 − z)| < π
a, c − b
c, c − a − b
z −a 2 F1 a, 1 + a − c; a + b − c + 1; 1 − z1 +
5. 2 F1 (a, b; c; z) = Γ
c − a, c − b
c, a + b − c c−a−b 1
z a−c (1 − z)
Γ 2 F1 c − a, 1 − a; 1 + c − a − b; 1 − z
a, b
|arg (1 − z)| , |arg z| < π
m
(1−c)m P m m−k
6. F
2 1 (a, b; c; z) = (1+a−c)m z −m
(z − 1) 2 F1 (a, b − k; c − m; z)
k=0 k
Re (c − a) > m
m
(1−c)m −m P k m
7. F
2 1 (a, b; c; z) = (1−a)m z (−1) 2 F1 (a − m, b − k; c − m; z)
k=0 k
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) +
2 F1 (a, b; c; z)
(c − b) 2 F1 (a, b − 1; c; z)]
−1
11. 2 F1 (a, b; c; z)
= [a − (c − b) z] [a (1 − z) 2 F1 (a + 1, b; c; z) − zc−1 (c − a) ×
(c − b) 2 F1 (a, b; c + 1; z)]
−1
12. 2 F1 (a, b; c; z) = (1 + a − c) [a 2 F1 (a + 1, b; c; z) − (c − 1) 2 F1 (a, b; c − 1; z)]
−1
13. 2 F1 (a, b; c; z)
= [(b − a) (1 − z)] [(c − a) 2 F1 (a − 1, b; c; z) +
(b − c) 2 F1 (a, b − 1; c; z)]
−1
14. 2 F1 (a, b; c; z) = [c (1 − z)] [c 2 F1 (a − 1, b; c; z) + (b − c) z 2 F1 (a, b; c + 1; z)]
−1
15. 2 F1 (a, b; c; z)
= [a − 1 − (c − b − 1) z] [(a − c) 2 F1 (a − 1, b; c; z) +
(c − 1) (1 − z) 2 F1 (a, b; c − 1; z)]
−1
16. 2 F1 (a, b; c; z)
= [c − 1 − (2c − a − b − 1) z] [(c − 1) (1 − z) ×
2 F1 (a, b; c − 1; z) − c (c − a) (c − b) z 2 F1 (a, b; c + 1; z)]
−1
−a
17. 2 F1 (a, b; b; z) = (1 − z) .
En muchas oportunidades se usa la siguiente notación para simplificar la
escritura
c, c − a − b Γ (c) Γ (c − a − b)
Γ = .
c − a, c − b Γ (c − a) Γ (c − b)
Considerando
Z∞
c, b − a −a c−a−1 −px 1
I1 = Γ (w) x e 2 F1 a, 1 − c + a; 1 − b + a; − dx ,
b, c − a wx
0
(−1)k Γ (a)
Γ (a − k) = ,
(1 − a)k
y de aquı́
p a
c, b − a w
p
I1 = Γ 1 F1 a, 1 − b + a; .
b pc w
Con un procedimiento similar se obtiene
p b
c, a − b w
p
I2 = Γ 1 F1 b, 1 − a + b; ,
a pc w
donde I = I1 + I2 , luego
p a
c, b − a w
p
I=Γ 1 1 a, 1
F +
− b + a;
b pc w
p b
c, a − b w
p
Γ 1 F1 b, 1 − a + b; .
a pc w
Ahora
a
Γ (c) wp
b−a p
I = Γ 1 F1 a, 1 − b + a; +
pc b w
a − b p b−a p
Γ × 1 F1 b, 1 − a + b;
a w w
2 Resultados
(1 − c + b)k Γ k+b
∞
Γ(c) X
τ
2 R1 (a, b; c; τ ; z) = ×
τ Γ(b)Γ(c − b)
k=0
k! Γ k+b
τ +1
k+b k+b
2 F1 a, ; + 1; z ,
τ τ
(1 − c + b)k Γ k+b
∞
Γ(c) X
τ
2 R1 (a, b; c; τ ; z) = k+b
×
τ Γ(b)Γ(c − b) k! Γ τ +1
k=0
−a k+b z
(1 − z) 2 F1 a, 1; + 1; − ,
τ 1−z
De donde
∞
Γ(c) P (1−c+b)k
3. 2 R1 (a, b; c; τ ; z) = τ Γ(b)Γ(c−b) k! ×
k=0
k+b
a, k+b
B τ , 1 − a 2 F1 τ ; a; 1 − z +
(1−z)1−a k+b
i
a−1 2 F1 τ + 1 − a, 1; 2 − a; 1 − z
∞
Γ(c) P (1−c+b)k
4. 2 R1
(a, b; c; τ ; z) = τ Γ(b)Γ(c−b) k! ×
h k=0
k+b 1
β k+b k+b
−a
τ − a, 1 (−z) 2 F1 a, a − τ ; 1 + a − τ ; z +
− k+b
i
β k+b k+b
τ , − τ + a (−z)
τ
∞
Γ(c) P (1−c+b)k
5. 2 R1 (a, b; c; τ ; z) = τ Γ(b)Γ(c−b) k! ×
k=0
− k+b
h
k+b k+b 1
−a
β − a, 1 (1 − z)
τ 2 F1 a, 1; 1 + a − τ ; 1−z + (1 − z)
τ
×
i
1
β a − k+b k+b k+b k+b k+b
τ , τ 2 F1 τ , τ + 1 − a; 1 − a + τ ; 1−z
∞
Γ(c) P(1−c+b)k
6. 2 R1 (a, b; c; τ ; z) = τ Γ(b)Γ(c−b) k! ×
k=0
k+b 1
− k+b
β τ ,1 − a z −a 2 F1 a, a τ ; a; 1 − z +
k+b
z a− τ −1 1−a k+b 1
(a−1) (1 − z) 2 F1 τ + 1 − a, 1 − a; 2 − a; 1 − z
(1−c+b)k Γ( τ )
∞ k+b
Γ(c) P
7. 2 R1 (a, b; c; τ ; z) = Γ( k+b
×
τ +1)
τ Γ(b)Γ(c−b) k!
" ! k=0 #
τ )m
(− k+b Pm m m−j k+b k+b
z −m
(z − 1) × 2 F1 a, − j; + 1 − m; z
(a− τ )m
k+b
j=0 j τ τ
k+b
τ > 0, Re (c) > Re (b) > 0, Re +1−a > m.
τ
(1−c+b)k Γ( τ )
∞ k+b
Γ(c) P
8. 2 R1 (a, b; c; τ ; z) = Γ( k+b
×
τ +1)
τ Γ(b)Γ(c−b) k!
" k=0
!
(− k+b
τ )m
m
P j m
(1−a)m z −m (−1) ×
j=0 j
a − m, k+b k+b
2 F1 τ − j; τ + 1 − m; z
(1−c+b)k Γ( τ )
∞ k+b
Γ(c) P
9. 2 R1 (a, b; c; τ ; z) = Γ( k+b
×
τ +1)
τ Γ(b)Γ(c−b) k!
h k=0
k+b
−1
τ + 1 − 2a + z a (z − 1) 2 F1 (a + 1, k+b k+b
τ ; τ + 1; z)+
k+b k+b k+b
τ + 1 − a 2 F1 (a − 1, τ ; τ + 1; z)
(1−c+b)k Γ( τ )
∞ k+b
Γ(c) P
10. 2 R1 (a, b; c; τ ; z) = Γ( k+b
×
τ +1)
τ Γ(b)Γ(c−b) k!
h k=0 i
k+b −1
a 2 F1 (a + 1, k+b k+b k+b
−a
a− τ τ ; τ + 1; z) − τ (1 − z)
−1
11. 2 R1 (a, b; c; τ ; z) = (1 − a) a (z − 1) 2 R1 (a + 1, b; c; τ ; z)+
(1−c+b)k Γ( τ )
∞ k+b
Γ(c)(1−a) −1 P
−1
12. 2 R1 (a, b; c; τ ; z) = (a − z) a (1 − z) 2 R1 (a + 1, b; c; τ ; z)−
Γ(c)(a−z)−1 z P (1−c+b)k Γ( τ )
∞ k+b −1
k+b
τ Γ(b)Γ(c−b) k! Γ( k+b +1) τ +1 ×
k=0 τ
k+b k+b k+b
τ + 1 − a 2 F1 (a, τ ; τ + 2; z)
(1−c+b)k Γ( τ )
∞ k+b
Γ(c) P
13. 2 R1 (a, b; c; τ ; z) = Γ( k+b
×
τ +1)
τ Γ(b)Γ(c−b) k!
h k=0 i
k+b −1
a 2 F1 (a + 1, k+b k+b k+b
−a
a− τ τ ; τ + 1; z)− τ (1 − z)
(1−c+b)k Γ( τ )
∞ k+b
Γ(c) P
14. 2 R1 (a, b; c; τ ; z) = Γ( k+b
×
τ +1)
τ Γ(b)Γ(c−b) k!
h k=0
k+b
−1 k+b
τ − a (1 − z) τ +1−a ×
− 1, k+b k+b k+b
− 1; k+b
2 F1 (a τ ; τ + 1; z) + 2 F1 (a, τ τ + 1; z)
−1
15. 2 R1 (a, b; c; τ ; z) = (1 − z) 2 R1 (a − 1, b; c; τ ; z)+
Γ(c)z(1−z)−1 P (1−c+b)k Γ( τ )
∞ k+b
k+b k+b
Γ( k+b 2 F1 a, τ ; τ + 2; z
τ +2)
τ Γ(b)Γ(c−b) k!
k=0
(1−c+b)k Γ( τ )
∞ k+b
Γ(c) P
16. 2 R1 (a, b; c; τ ; z) = Γ( k+b
×
τ +1)
τ Γ(b)Γ(c−b) k!
h k=0
a − k+b k+b k+b
−1
(a − 1) τ − 1 2 1 (a − 1, τ ; τ + 1; z)+
F
i
k+b
(1 − z)1−a
τ
(1−c+b)k Γ( τ )
∞ k+b
Γ(c) P
17. 2 R1 (a, b; c; τ ; z) = Γ( k+b
×
τ +1)
τ Γ(b)Γ(c−b) k!
h
k+b k+b
−1 k=0
k+b
1−a
τ − τ − a + 1 z τ (1 − z) −
−1 k+b i
k+b k+b k+b
τ + 1 τ + 1 − a z 2 F1 (a, τ ; τ + 2; z)
Z∞
a, b; c x
D ; p, τ =v −a
xu−1 e−px 2 R1 a, b; c; τ ; − dx, | arg v| < π ,
u, v v
0
3 Conclusiones
Referencias