Академический Документы
Профессиональный Документы
Культура Документы
MÉTODOS CONTRACTIVOS
(FUNCIONES OMEGA-R)
Aprobado por
________________________________
(Asesor)
________________________________
(Jurado Principal)
________________________________
(Jurado Principal)
Dedicatoria iii
AGRADECIMIENTOS
Al Prof. Jesús Suniaga y hago justo reconocimiento por ser el creador del
programa de la Licenciatura en Estadística. Todos los estudiantes y profesores
estamos en deuda con él, por abrir una maravillosa oportunidad de estudio y trabajo
en está importante área del conocimiento. Además, su enseñanza ha encauzado a
muchos jóvenes por el camino de la investigación.
ÍNDICE GENERAL
Descripción Pág.
Dedicatoria iii
Agradecimientos iv
Índice General vii
Índice de Figuras xi
Resumen xiii
Introducción 1
Planteamiento del Problema 4
Justificación 5
Capítulo I: Aspectos Preliminares
1.1 Objetivos de la Investigación 6
1.1.1 Objetivo General 6
1.1.2 Objetivos Específicos 6
1.2 Revisión de la Literatura 7
1.3 Materiales y Métodos 10
Descripción Pág.
2.7 Serie Factorial 34
2.8 Analogía Geométrico-Factorial 42
2.9 Forma Factorial para la Función Beta 45
2.10 Aplicación de la Contracción Factorial al Cálculo de Integrales
Impropias 54
2.11 Cuarta Identidad Factorial 76
2.12 Función Tau-Beta 84
2.13 Serie de Contracciones 99
2.14 Funciones Contráctiles 108
2.15 Aplicaciones de la Función Contráctil al Cálculo Integral 113
2.16 Ejemplos de Integración Numérica 114
2.17 Integración de Funciones Contráctiles 119
2.18 Relación entre la Función Contráctil uniparamétrica y la Función Beta 120
2.19 Integración bajo la Serie de Contracciones 123
2.20 Sobre la Función Contráctil biparamétrica 132
2.21 Función Contráctil Adyacente 151
2.22 Propiedades notables de la Función Contráctil Adyacente 157
2.23 Integración de Funciones Contráctiles biparamétricas 162
2.24 Función Contráctil Complementaria 167
2.25 Sobre la diversidad de formas que adopta la Función Contráctil 175
Descripción Pág.
3.3 Estudio de las condiciones de los parámetros p, q, r para que el valor
derecha 191
3.5 Estudio del valor límite de xr (x−p) cuando x tiende a cero por la
1,q
derecha 191
3.6 Definición, propiedades y ejemplos de la función ϕr ( p, q) 192
∞
3.7
Cálculo de ∫ ϕ r ( p, q )( x) dx
0 199
3.8 Evaluación numérica de la Función Beta usando la Función Contráctil 201
3.9 Cálculo de la constante K de la función ϕr ( p, q) para que sea fdp. 204
3.10 Estudio de las condiciones de los parámetros p, q, r para la existencia
lim xr ,
pq(x−1)
x→∞ 218
4.3 Estudio la condición de los parámetros p, q , r para determinación de
lim xr ,
pq (x−1)
x→0+ 220
Índice General x
Descripción Pág.
4.4 Definición, propiedades y ejemplos de la función ψ r ( p, q) 222
∞
4.5
Cálculo de ∫ψ r ( p, q )( x) dx
0 228
4.6 Cálculo de la constante K para definir una fdp a partir de la función
ψ r ( p, q)( x) 230
4.7 Generación de la fdp g (pn,q) ,r ( x) y sus propiedades 230
4.8 Estudio de las condiciones de los parámetros p, q, r para la existencia
Anexos 260
Índice de Figuras xi
ÍNDICE DE FIGURAS
3 192
3.3 Gráfica de ϕ 3 ( , 2)
2 2
1 221
4.2 Gráfica de ψ 1 (2, )
3 2
17 3 221
4.3 Gráfica de ψ 5 ( , )
3 2
RESUMEN
Con arreglo al objetivo general propuesto para este trabajo se construye una
familia de funciones de densidad de probabilidad mediante los métodos del Cálculo
Contractivo, a partir de las soluciones de los siguientes problemas de valor inicial:
1. xy ' = ry −
(1 + q ) p x r ,x>0 , lim y = 0. (Ecuación 1)
(1 + x p )
q +1 x →∞
xy ' = ry −
(1 + pq ) x r + p −1
,x>0 ,
2. lim y = 0. (Ecuación 2)
(1 + x )
p q +1 x →∞
p, q, r ∈ + .
Las funciones de densidad de probabilidad obtenidas se denominan
“Funciones de tipo Omega-r”, ( Ω r ).
La aplicación del Cálculo Contractivo al estudio de las funciones de
probabilidad es una innovación teórica; y al mismo tiempo un aporte a la Estadística
Matemática y sus métodos.
Introducción 1
INTRODUCCIÓN
1. xy ' = ry −
(1 + q ) p x r ,x>0 , lim y = 0. (Ecuación 1)
(1 + x p )
q +1 x →∞
2. xy ' = ry −
(1 + pq ) x r + p −1
,x>0 , lim y = 0. (Ecuación 2)
(1 + x )
p q +1 x →∞
p, q, r ∈ + .
Tales funciones serán denominadas Funciones de tipo Omega-r, ( Ω r ). La
JUSTIFICACIÓN
Urra, J. N., Saavedra B. (2007). (Trabajo inédito) Preparan como parte final
de la Lección Nº 3, las aplicaciones del Método de la Sucesión Asociada al cálculo
del valor límite de algunas series numéricas: Función Zeta de Riemann para valores
reales positivos arbitrarios, la Función Zeta de Hurwitz y las Funciones
Polilogarítmicas.
Rodríguez, J., et al. (2001). Hacen un estudio para estimar los parámetros de
las distribuciones discretas generadas por la Función Hipergeométrica
Gourdon X., Sebah P.. (2003). Publican “ π and its computation through the
ages”. En este artículo se resume la historia de las fórmulas y métodos usados en la
evaluación de la constante matemática Pi. Además, aparecen listadas el número de
cifras decimales exactas obtenidas por cada fórmula y el método empleado para su
evaluación.
−1
∞
⎛ 3k ⎞
Batir N. (2005). Estudia las series de la forma: ∑ ⎜ ⎟ k − n x k , obteniendo
k =1 ⎝ k ⎠
Inc.
Consideraciones Generales.-
A modo de explicación general, puede decirse que por “Cálculo Contractivo”
se entiende el “Estudio teórico de las propiedades analíticas y las aplicaciones al
cálculo numérico de una familia de funciones denominadas Funciones Contráctiles”.
Las funciones contráctiles aparecen por primera vez relacionadas con ciertos
métodos de integración aplicables a la evaluación numérica de la integral definida:
α
xr
∫ dx , α ≥0
(1 + x p )
q
0
2.1.- Contracciones
2.1.1.- La expresión α (1 + α )
−1
es referida como “Primera contracción de α ” y se
denota por 1 ⊕ α .
1(
q ,0 α )
2.1.3.1 =1
1( = (1 ⊕ ( q + k ) α ) .1(
q ,k α ) q , k −1 α )
2. 1.3.2 , k = 1, 2,...
Nota: Si q = 0 , se escribe 1(
k α)
en lugar de 1(
0, k α )
.
Capítulo II: Fundamentos Teóricos 14
2.1.4.- Ejemplos.
2
2.1.4.1) = 1⊕ 2
3
1 1
2.1.4.2) = 1⊕
7 6
3 3
2.1.4.3) = 1⊕
11 8
a a
2.1.4.4) Si 0 < a < b , entonces = 1⊕
b b−a
⎛ 2⎞
⎜3 ⎟ 2 4 6 2 4 6 16
2.1.4.5) 1⎝ 5⎠
= (1 ⊕ )(1 ⊕ )(1 ⊕ ) = . . =
5 5 5 7 9 11 231
⎛2 ⎞
⎜ ,3 2 ⎟ 2 2 2
2.1.4.6) 1⎝5 ⎠
= (1 ⊕ ( + 1) 2)(1 ⊕ ( + 2) 2)(1 ⊕ ( + 3) 2)
5 5 5
⎛ 14 ⎞ ⎛ 24 ⎞ ⎛ 34 ⎞
= ⎜1 ⊕ ⎟ ⎜1 ⊕ ⎟ ⎜1 ⊕ ⎟
⎝ 5 ⎠⎝ 5 ⎠⎝ 5 ⎠
14 24 34
= . .
19 29 39
Capítulo II: Fundamentos Teóricos 15
2.1.4.7)
⎛ 1⎞
⎜ 3,5 ⎟ ⎛ 3 +1⎞⎛ 3 + 2 ⎞⎛ 3 + 3 ⎞⎛ 3 + 4 ⎞⎛ 3 +5⎞
1⎝ 2⎠
= ⎜⎜ 1 ⊕ ⎟⎟ ⎜⎜ 1 ⊕ ⎟⎟ ⎜⎜ 1 ⊕ ⎟⎟ ⎜⎜ 1 ⊕ ⎟⎟ ⎜⎜ 1 ⊕ ⎟
⎝ 2 ⎠⎝ 2 ⎠⎝ 2 ⎠⎝ 2 ⎠⎝ 2 ⎟⎠
3 +1 3 + 2 3 + 3 3 + 4 3 + 5
= . . . .
3 +3 3+4 3+5 3+6 3+7
3 +1 3 + 2
= .
3+6 3+7
⎛ 1⎞
⎜ q,k
α ⎟⎠
En general, si α > 0 , la contracción factorial 1⎝ puede escribirse en la
forma,
2.1.5.- 1
⎛
⎜ q ,k
⎝
1⎞
α ⎟⎠
=
( q + 1)( q + 2 )K( q + k ) , k = 1, 2,...
(α + q + 1)(α + q + 2 )K(α + q + k )
⎛ 1⎞
⎜k ⎟
⎝ α⎠ k!
2.1.6.- 1 = , k = 1, 2,...
(α + 1)(α + 2 )K(α + k )
⎛ 1⎞
⎜k ⎟
⎝ α⎠ α !k !
2.1.7.- 1 = , k = 1, 2,...
(α + k ) !
Capítulo II: Fundamentos Teóricos 16
−1
⎛α + k ⎞
⎛ 1⎞
⎜k ⎟
⎝ α⎠
2.1.8.- 1 =⎜ ⎟ , k = 1, 2,...
⎝ α ⎠
⎛ 1⎞ ⎛ 1⎞
⎜k ⎟ ⎜α ⎟
⎝ α⎠
2.1.9.- 1 =1 ⎝ k⎠
, k = 1, 2,...
⎛ 1⎞
⎜1
1( ) = 1⎝
⎟
2.1.10.-
k 1 k⎠
, ( 2.1.9)
1
= 1⊕
k
1
= , k = 1, 2,...
k +1
⎛ 1⎞ ⎛ 1⎞
⎜13 ⎟ ⎜2 ⎟
2.1.11.- 1⎝ 2⎠
=1 ⎝ 13 ⎠
, ( 2.1.9)
⎛ 1 ⎞⎛ 2⎞
= ⎜1 ⊕ ⎟ ⎜1 ⊕ ⎟
⎝ 13 ⎠ ⎝ 13 ⎠
1 2
= .
14 15
1
=
105
Capítulo II: Fundamentos Teóricos 17
2.2.3) (1 ⊕ α )(1 + α ) = α
2.2.4) (1 ⊕ α ) (1 + α −1 ) = 1 , α >0
(1 ⊕ α )
−1
2.2.5) = 1 + α −1 , α >0
2.2.6) 1 ⊕ α = (1 + α −1 )
−1
, α >0
2.2.7) lim (1 ⊕ α ) = 1
α →∞
2.2.8) α − p (1 ⊕ α p ) = 1 − (1 ⊕ α p )
2.2.9) α − p (1 ⊕ α p ) = (1 ⊕ α p ) − (1 ⊕ α p )
q q −1 q
⎛ ⎞
k =n n
x − np (1 ⊕ x p ) q = ∑ ⎜ ⎟ ( −1) (1 ⊕ x p ) ( )
k q− n−k
k =0 ⎝ ⎠
k
Capítulo II: Fundamentos Teóricos 18
Demostración.-
2.2.10.1.1) x − np (1 ⊕ x p ) q = (1 ⊕ x p ) q − n ( x − p (1 ⊕ x p )) n
= (1 ⊕ x p ) (1 − (1⊕ x ))
q −n n
p
, (2.2.8)
k =n
⎛n⎞
= (1 ⊕ x p ) ∑ ⎜ k ⎟ ( −1) (1 ⊕ x )
q −n k p k
k =0 ⎝ ⎠
⎛ ⎞
k =n n
= ∑ ⎜ ⎟ ( −1) (1 ⊕ x p ) q −( n − k )
k
k =0 ⎝ k ⎠
Ejemplo.
x −12 (1 ⊕ x 3 ) = x −4.3 (1 ⊕ x 3 )
5 5
2.2.10.2)
⎛ 4⎞
k =4
= ∑ ⎜ ⎟ ( −1) (1 ⊕ x 3 )
k 5 −( 4 − k )
k =0 ⎝ k ⎠
= (1 ⊕ x 3 ) − 4 (1 ⊕ x 3 ) + 6 (1 ⊕ x 3 ) − 4 (1 ⊕ x 3 ) + (1 ⊕ x 3 )
2 3 4 5
x3 x3 4 x6 6 x9 4 x12 x15
2.2.10.3) = − + − +
(1 + x ) 3 5 1 + x 3 (1 + x 3 )2 (1 + x3 )3 (1 + x 3 )4 (1 + x3 )5
∑ (1 ⊕ α )
k
2.3.1.-
k =0
∑ (1 ⊕ α ) = (1 + α ) (1 − (1 ⊕ α ) )
k =n
n +1
α >0
k
,
k =0
k =0
∑ (1 ⊕ α ) =1
k
k =0
(1 + α ) (1 − (1 ⊕ α ) ) = (1 + α ) − (1 + α )(1⊕ α )
0 +1
= 1+ α −α , ( 2.2.4 )
=1
∑ (1 ⊕ α ) = (1 + α ) (1 − (1 ⊕ α ) )
k =n
k n +1
k =0
2.3.2.3) Sea n = n + 1
k =n k =n
∑ (1 ⊕ α ) = ∑ (1 ⊕ α ) + (1 ⊕ α )
k k n
k =0 k =0
(
= (1 + α ) 1 − (1 ⊕ α )
n +1
) + (1⊕ α ) n
, ( 2.3.2.2 )
= (1 + α ) − (1 + α )(1 ⊕ α ) + (1 ⊕ α )
n n
= (1 + α ) − α (1 ⊕ α )
n
= (1 + α ) − (1 + α )(1 ⊕ α )(1 ⊕ α )
n
, (2.2.4)
= (1 + α ) (1 − (1 ⊕ α )
n +1
)
∑ (1 ⊕ α ) = 1+ α
k
k =0
lim (1 ⊕ α ) = 0
n
2.3.3.1)
n →∞
Ahora bien,
∞ k =n
∑ (1 ⊕ α ) = lim ∑ (1 ⊕ α )
k k
2.3.3.2)
n →∞
k =0 k =0
= lim (1 + α ) 1 − (1 ⊕ α )
n →∞
( n +1
) , (Prop. 2.3.2)
= 1+ α , ( 2.3.3.1)
├
∑ (1 ⊕ α ) = (1 + α )(1 ⊕ α ) α >0
k n
,
k =n
Demostración.-
∞ ∞ k = n −1
∑ (1 ⊕ α ) = ∑ (1 ⊕ α ) − ∑ (1 ⊕ α )
k k k
2.3.4.1)
k =n k =0 k =0
= (1 + α ) − (1 + α ) 1 − (1 ⊕ α ) ( n
)
= (1 + α )(1 ⊕ α )
n
Ejemplos.-
Capítulo II: Fundamentos Teóricos 22
∞ k ∞ k
⎛2⎞ ⎛ 2⎞
2.3.5.- ∑ ⎜ ⎟
k =3 ⎝ 7 ⎠
= ∑ ⎜1 ⊕ ⎟
k =3 ⎝ 5⎠
3
⎛ 2 ⎞⎛ 2⎞
= ⎜1 + ⎟ ⎜1 ⊕ ⎟ , (Prop. 2.3.4)
⎝ 5 ⎠⎝ 5⎠
2
2⎛2⎞ 8
= ⎜ ⎟ =
5⎝7⎠ 245
k
∞
1 ∞
⎛ 1 ⎞
2.3.6.- ∑ = ∑ ⎜1 ⊕ ⎟
(1 + 3 )
k
k =2 k =2 ⎝ 3⎠
2
⎛ 1 ⎞⎛ 1 ⎞
= ⎜1 + ⎟⎜1 ⊕ ⎟ , (Prop. 2.3.4)
⎝ 3 ⎠⎝ 3⎠
1 1
= .
3 1+ 3
1
=
3+ 3
2.3.7.- Problema.- Probar que para cada número real α > 1 y cada número entero
n ≥ 0,
∞
1 1
∑α
k =n
k
=
(α − 1) α n−1
Solución.-
Capítulo II: Fundamentos Teóricos 23
∞ ∞
1 1 k
2.3.7-1) ∑α
k =n
k
= ∑ (1 ⊕
k =n α −1
) , ( 2.1.4.4 )
1 1 n
= (1 + )(1 ⊕ ) , (Prop. 2.3.4)
α −1 α −1
1 1 n −1
= (1 ⊕ ) , ( 2.2.3)
α −1 α −1
1
=
(α − 1).α n −1
├
2.4.1) 0 ≤ 1(
q ,k α )
≤1
2.4.2) lim1(
q ,k α )
=0
k →∞
2.4.3) lim1(
q ,k α )
=1 , α > 0, k = 1, 2,...
q →∞
2.4.4) lim 1(
q ,k α )
=1 , k = 1, 2,...
α →∞
( q ,k α )
= 1(
k α)
2.4.5) lim1 , k = 1, 2,...
q →0
2.4.6) lim1(
q ,k α )
=0 , k = 1, 2,...
α →0
2.4.7) α ≥ β ⇒ 1(
q,k α )
≥ 1(
q ,k β )
, k = 1, 2,...
Capítulo II: Fundamentos Teóricos 24
2.4.8) n > k ⇒ 1(
q ,n α )
≤ 1(
q ,k α )
, n, k = 1, 2,...
α ⊕ β = α lim (1 ⊕ x −1β )
x →α +
Propiedades.-
2.5.2) 0 ⊕ β = β ⊕ 0 = 0
2.5.3) α ⊕ β = (α −1 + β −1 )
−1
, α,β > 0
2.5.4) α ⊕ β = β ⊕ α
2.5.5) (α ⊕ β ) (α + β ) = α .β
2.5.7) α ( β ⊕ γ ) = α β ⊕ α γ
2.5.8) α ⊕ ( β ⊕ γ ) = (α ⊕ β ) ⊕ γ
2.5.9) 0 ≤ α ⊕ β ≤ mín {α , β }
2.5.10) lim (α ⊕ β ) = β
α →∞
α α α
2.5.11) ⊕ = , β ,γ > 0
β γ β +γ
2 5 4 10 20 20 20 20 20 20
2.5.12) ⊕ ⊕ ⊕ = ⊕ ⊕ ⊕ = =
3 8 9 7 30 32 45 14 30 + 32 + 45 + 14 121
Teorema . Sean { xi }i =1 , {y }
i=n i =n
2.5.13.- i i =1 , n ≥ 2 , conjuntos de números reales
⎛ i=n ⎞ ⎛ i=n ⎞
⎜ ⊕ xi ⎟ ⎜ ∑ yi ⎟ = α
⎝ i =1 ⎠ ⎝ i =1 ⎠
i=n
donde, ⊕xi =1
i = x1 ⊕ x2 ⊕ K ⊕ xn .
2.5.13.1) α =0,
i=n
Si ∑y
i =1
i ≠ 0 , entonces existe un índice i0 para el cual yi 0 ≠ 0. En tal caso,
i=n
xio . yio = 0 ⇒ xio = 0. Por lo tanto, se tiene que ⊕x
i =1
i = 0 , lo que prueba el
teorema.
2.5.13.2) α >0,
Luego,
=α , (2.5.6)
Luego,
⎛ i=n ⎞ ⎛ i=n ⎞ ⎛ i =n
⎞⎛ i=n
⎞
2.5.13.7) ⎜⊕ i ⎟⎜
x ∑ yi⎟
⎝ i =1 ⎠ ⎝ i =1 ⎠ ⎝
= ⎜ n ⊕ i ⎟⎜ n
x +
i =1
x
⎠⎝
y + ∑
i =1
yi ⎟
⎠
Pero por Hipótesis de Inducción, debe ocurrir que,
⎛ i=n ⎞ ⎛ i=n ⎞
2.5.13.8) ⎜ ⊕ xi ⎟ ⎜ ∑ yi ⎟ = α
⎝ i =1 ⎠ ⎝ i =1 ⎠
Además, xn yn = α
⎛ i=n ⎞ ⎛ i=n ⎞
2.5.13.9) ⎜ ⊕ xi ⎟ ⎜ ∑ yi ⎟ = α
⎝ i =1 ⎠ ⎝ i =1 ⎠
├
“Cada obrero tiene una eficacia propia ei (trabajo por unidad de tiempo).
i=n
T .∑ ei = W . Pero el T.M.S. afirma que
i =1
⎛ i=n ⎞ ⎛ i=n ⎞
⎜ ⊕ Ti ⎟ ⎜ ∑ ei ⎟ = W
⎝ i =1 ⎠ ⎝ i =1 ⎠
i=n
Por lo tanto, T = ⊕ Ti es el tiempo estimado que el capataz desea conocer”.
i =1
Capítulo II: Fundamentos Teóricos 29
s k = n Ek
t ⊕
= λk
k =1 tk
⎛ k =n ⎞ ⎛ k =n ⎞
⎜ ⊕ λk ⎟ ⎜ ∑ Ek ⎟ = s
⎝ k =1 ⎠ ⎝ k =1 ⎠
k =n k =n
Pero ∑ Ek = s , de donde
k =1
⊕λ
k =1
k =1.
Ek
λk . .tk = s
tk
⎛ k =n E ⎞ ⎛ k =n ⎞
Luego, ⎜ ⊕ λk . k ⎟ ⎜ ∑ tk ⎟ = s , (T.M.S.)
⎝ k =1 tk ⎠ ⎝ k =1 ⎠
Capítulo II: Fundamentos Teóricos 30
k =n
donde, ∑t
k =1
k =t
Por lo tanto,
k =n
Ek s
⊕λ . t
k =1
k
k
=
t
├
−1
⎛ i=n ⎞ i =n
⎜∑ i ⎟x = ⊕ xi−1
⎝ i =1 ⎠ i =1
⎛ i = n −1 ⎞ ⎛ i = n ⎞
2.5.16.1) Luego, ⎜ ⊕ xi ⎟⎜ ∑ xi ⎟ = 1 , (T.M.S.)
⎝ i =1 ⎠⎝ i =1 ⎠
De donde,
−1
i =n
⎛ i =n ⎞
⊕ ⎜ ∑ xi ⎟
−1
2.5.16.2) x =
i
i =1 ⎝ i =1 ⎠
├
Capítulo II: Fundamentos Teóricos 31
(q −1
,k α ) ( k q ) ( k α ⊕q )
1 .1 =1 , q>0
( (
= 1 ⊕ 1 + ( kq )
−1
) k α ) (1⊕ kq ).1 (k α ⊕q )
= (1 ⊕ kq ⊕ k α ) .1(
k α ⊕q )
, (2.6.1.2) , (2.2.4)
= (1 ⊕ k (q ⊕ α ) ) .1(
k α ⊕q )
(k α ⊕q )
=1
Capítulo II: Fundamentos Teóricos 32
1(
k α)
= k (1 ⊕ α ) .1(
k −1 1⊕α )
, k = 1, 2,...
1( = ( q + k ) ( q −1 ⊕ 1 ⊕ α ) .1(
q ,k α ) q , k −1 1⊕α )
, q > 0, k = 1, 2,...
2.6.4.- Proposición.-
1(
k 1⊕α )
= 1(
k −1 1⊕α )
⊕ 1(
k α)
, k = 1, 2,...
2.6.5.- Proposición.-
i=k
1(
k 1⊕α )
= ⊕1(
k α)
, k = 1, 2,...
i =0
1(
q, n+k α )
= 1(
q ,n α )
.1(
q + n ,k α )
Capítulo II: Fundamentos Teóricos 33
1(
n+k α )
= 1(
n α)
.1(
n ,k α )
2.6.8.- Proposición.-
⎛ 1⎞
⎜ q ,1 ⎟
1(
q , k 1)
= 1⎝ k⎠
, k = 1, 2,...
⎛ 1⎞ ⎛ 1⎞
⎜ q ,k ⎟ ⎜ q ,n ⎟
1⎝ n⎠
= 1⎝ k⎠
Por ejemplo.
⎛ 1⎞
( 3,7 1 ) ⎜ 3,1 ⎟
2.6.10.- 1 =1 ⎝ 7⎠
3 +1
= 1⊕
7
3 +1
=
3 +8
Capítulo II: Fundamentos Teóricos 34
⎛ 1⎞ ⎛ 1⎞
⎜ 2 ,13 ⎟ ⎜ 2 ,3 ⎟
2.6.11.- 1 ⎝ 3⎠
=1 ⎝ 13 ⎠
⎛ 2 +1⎞⎛ 2 + 2 ⎞⎛ 2 +3⎞
= ⎜⎜ 1 ⊕ ⎟⎟ ⎜⎜ 1 ⊕ ⎟⎟ ⎜⎜ 1 ⊕ ⎟
⎝ 13 ⎠ ⎝ 13 ⎠ ⎝ 13 ⎟⎠
=
( )(
2 +1 2+2 )( 2 + 3)
( 2 + 14 )( 2 + 15 )( 2 + 16 )
∑1(
q ,k α )
2.7.1.-
k =0
∑1(
k 1)
k =0
es divergente.
⎧ 1 si k = 0
( k 1) ⎪
2.7.2.1) 1 =⎨ 1
⎪⎩ k + 1 si k = 1, 2,...
luego,
∞ ∞ ∞
( k 1) 1 1
2.7.2.2) ∑
k =0
1 = ∑
k =0 k + 1
= ∑
k =1 k
∑1(
k 1)
Por lo tanto, la serie es una representación de la serie armónica, la cual
k =0
es divergente.
├
∑1(
k 1+α )
k =0
es divergente.
1(
k 1+α )
≥ 1( )
k 1
2.7.3.1) , α ≥0 , (2.47)
∑1(
q , k 1+α )
k =0
es divergente.
k =n
∑1(
q , k 1⊕α )
= (1 + (q + 1)α ) (1 − 1(
q , n +1 α )
)
k =0
Demostración.-
k =0
∑1(
q , k 1⊕α )
= 1(
q ,0 1⊕α )
=1
k =0
(1 + (q + 1)α ) (1 − 1(
q ,0 +1 α )
) = (1 + (q + 1)α )(1 − (1 ⊕ (q + 1)α ) , (2.1.3)
=1
k =n
∑1(
q , k 1⊕α )
= (1 + (q + 1)α ) (1 − 1(
q , n +1 α )
)
k =0
2.7.5.5) Sea n = n + 1
k =n k =n
∑1(
q , k 1⊕α )
= 1(
q , n 1⊕α )
+ ∑ 1(
q , k 1⊕α )
k =0 k =0
= (q + n + 1)−1 (q + 1 + α −1 )1(
q , n +1 α )
+ (1 + (q + 1)α ) (1 − 1(
q ,n α )
) (T.I.F.), (2.7.5.4)
= (1 + (q + 1)α ) (1 − 1(
q , n +1 α )
)
├
∑1(
q , k 1⊕α )
= 1 + (q + 1) α
k =0
Demostración.-
∞ k =n
∑1(
q , k 1⊕α )
= lim ∑1(
q , k 1⊕α )
2.7.6.1)
n →∞
k =0 k =0
= lim(1 + ( q + 1)α ) (1 − 1(
q , n +1 α )
) , (Teor. 2.7.5)
n →∞
= 1 + ( q + 1) α , (2.4.2)
∑1(
q ,k x )
, x≥0
k =0
∑1(
q , k 1⊕α )
= (1 + (q + 1) α ).1(
q ,n α )
, n = 0,1,...
k =n
Demostración.-
∞ ∞ k = n −1
∑1(
q , k 1⊕α )
= ∑ 1(
q , k 1⊕α )
∑ 1(
q , k 1⊕α )
2.7.7.1) −
k =n k =0 k =0
= 1 + (q + 1) α − (1 + (q + 1) α ) (1 − 1(
q , n 1⊕α )
)
= (1 + (q + 1) α )1(
q , n 1⊕α )
, (2.7.5, 2.7.6)
├
2.7.8.- Ejemplo:
Solución.-
⎛ 7 ⎞⎛ 11 ⎞ ⎛ 7 ⎞⎛ 11 ⎞⎛ 15 ⎞
2.7.8.1) λ = ⎜ 1 ⊕ ⎟ ⎜1 ⊕ ⎟ + ⎜ 1 ⊕ ⎟⎜ 1 ⊕ ⎟⎜ 1 ⊕ ⎟ + K , (2.1.4.4)
⎝ 6 ⎠⎝ 6⎠ ⎝ 6 ⎠⎝ 6 ⎠⎝ 6⎠
⎛ 3 2⎞ ⎛ 3 2⎞
⎜ ,2 ⎟ ⎜ ,3 ⎟
=1 ⎝ 4 3⎠
+1 ⎝ 4 3⎠
+K
∞ ⎛3 2⎞
⎜ ,k ⎟
= ∑ 1⎝ 4 3⎠
k =2
∞ ⎛3 ⎞
⎜ , k 1⊕ 2 ⎟
2.7.8.2) λ = ∑1 ⎝4 ⎠
k =2
⎛3 ⎞
3 ⎜ ,2 2 ⎟
= (1 + ( + 1).2).1⎝ 4 ⎠ , (Teor. 2.7.7)
4
Capítulo II: Fundamentos Teóricos 41
⎛ 7 ⎞⎛ 7 ⎞⎛ 11 ⎞
= ⎜1 + ⎟⎜ 1 ⊕ ⎟ ⎜ 1 ⊕ ⎟
⎝ 2 ⎠⎝ 2 ⎠⎝ 2⎠
7 11
= .
2 13
77
=
26
Esto es,
7.11 7.11.15 77
2.7.8.3) + +K =
13.17 13.17.21 26
2.7.9.- Ejemplo:
8 8.10 8.10.12
σ= + + +K
8 + 2 (8 + 2)(10 + 2) (8 + 2)(10 + 2)(12 + 2)
Solución.-
2.7.9.1)
⎛ 8 ⎞ ⎛ 8 ⎞⎛ 10 ⎞ ⎛ 8 ⎞⎛ 10 ⎞⎛ 12 ⎞
σ = ⎜1 ⊕ ⎟ + ⎜1 ⊕ ⎟⎜1 ⊕ ⎟ + ⎜1 ⊕ ⎟⎜1 ⊕ ⎟⎜1 ⊕ ⎟ + K,(2.1.4.4)
⎝ 2⎠ ⎝ 2 ⎠⎝ 2⎠ ⎝ 2 ⎠⎝ 2 ⎠⎝ 2⎠
Capítulo II: Fundamentos Teóricos 42
( ) ( )(
= 1 ⊕ 4 2 + 1 ⊕ 4 2 1 ⊕ 5 2 + 1 ⊕ 4 2 1 ⊕ 5 2 1 ⊕ 6 2 +K ) ( )( )( )
∞
(3,k )
= ∑1
2
k =1
k =n
∑1(
k 1⊕α )
= (1 + α )(1 − 1(
n +1 α )
2.8.1.- )
k =0
∑1(
k 1⊕α )
2.8.2.- = 1+ α
k =0
∑1(
k 1⊕α )
= (1 + α )1(
n α)
2.8.3.-
k =n
k =n
∑ (1 ⊕ α ) = (1 + α )(1 − (1 ⊕ α )
k n +1
2.8.4.- ) (Prop. 2.3.2)
k =0
Capítulo II: Fundamentos Teóricos 43
∑ (1 ⊕ α ) = 1+ α
k
2.8.5.- (Prop. 2.3.3)
k =0
∑ (1 ⊕ α ) = (1 + α )(1 ⊕ α ) n
k
2.8.6.- (Prop. 2.3.4)
k =n
Obsérvese que la analogía entre las fórmulas (2.8.2) y (2.8.5) es más profunda.
Resumiremos este resultado en la siguiente forma:
∞ ∞
∑ (1 ⊕ α )k = ∑1(
k 1⊕α )
2.8.7.- = 1+ α , α >0
k =0 k =0
2.8.8.- Ejemplo:
2 3
2 ⎛2⎞ ⎛2⎞
σ = 1+ + ⎜ ⎟ + ⎜ ⎟ +K
3 ⎝3⎠ ⎝3⎠
2 2.4 2.4.6
λ = 1+ + + +K
5 5.7 5.7.9
Capítulo II: Fundamentos Teóricos 44
∞ ∞
λ = ∑ 1(
k 1⊕ 2 )
σ = ∑ (1 ⊕ 2 )
k
,
k =0 k =0
σ = λ = 1+ 2 = 3
1
σ= =3
2
1−
3
Capítulo II: Fundamentos Teóricos 45
1
2.9.1.- B ( x, y ) = ∫ t x −1 (1 − t )
y −1
dt , x, y > 0
0
β (α , k ) = α −1.1
( k −1 α ) −1
, k = 1, 2, K
1
2.9.2.1) k = 1, B (α ,1) = ∫ t α −1dt = α −1 = α −1.1
(1−1 α )
−1
2.9.2.3) Sea k = k + 1
1
B (α , k ) = ∫ t α −1 (1 − t ) dt
k
0
Capítulo II: Fundamentos Teóricos 46
1 1
= ∫ t α −1 (1 − t ) dt − ∫ t α (1 − t )
k −1 k −1
dt
0 0
= B (α , k ) − B (1 + α , k )
( k −1 α ) − 1 + α −1 1( k −1 (1+α ) )
−1 −1
= α −11 ( ) , (2.9.2.2)
( k −1 α ) − 1 ⊕ α −1 k −1 1 + α 1( k α )
( ) ( )
−1 −1
= α −11
(k α )
−1
= (α −1 (1 + k −1α ) − k −1 )1 , (SIF)
= α −11
(k α )
−1
Ejemplos.
⎛ 3⎞
⎛ 2 ⎞ 3 ⎜4 ⎟ 3 3.6.9.12 729
2.9.2.4) B ⎜ ,5 ⎟ = .1⎝ 2⎠
= . =
⎝3 ⎠ 2 2 5.8.11.14 1540
⎛ 1 ⎞
( )1 ⎜⎝ 2 1 1.2
⎟
2.9.2.5) B 5,3 = .1 5⎠
= .
5 5 (1 + 5)(2 + 5)
2
=
5(1 + 5)(2 + 5)
Capítulo II: Fundamentos Teóricos 47
1 (k α ) −1
β (1 + α , k ) = .1 , k = 1, 2, K
k
Demostración.-
2.9.3.1) β (1 + α , k ) = (1 + α ) −1.1
( k −1 (1+α ) ) −1
, (PFFβ)
( k −1 1⊕α )
−1
= (1 ⊕ α −1 ).1
= (1 ⊕ α −1 ) k −1 (1 + α ) .1
(k α −1 ) , (SIF)
1 (k α −1 )
= .1
k
├
2.9.4.- Teorema.-
∑ β (1 ⊕ α , k )
k =1
es divergente.
Capítulo II: Fundamentos Teóricos 48
Demostración.-
−1 ( k −1 )
∞ ∞
(1⊕α ) −1
2.9.4.1) ∑ β (1
k =1
⊕ α , k ) = ∑ (1 ⊕ α ) .1 k =1
, (PFFβ)
∞
= ∑ (1 + α −1 ).1
( k −1 1+α ) −1
k =1
∞
(k 1+α −1 )
= ∑ (1 + α −1 ).1
k =0
∞
(k 1+α −1 ) es divergente con arreglo a la Prop. 2.7.3 . Luego, la
Pero la serie ∑1
k =0
serie
∞
∑ β (1 ⊕ α , k ) también diverge.
k =1
├
∞
Nota: Obsérvese que la serie ∑ β (1, k ) también diverge.
k =1
∑ β (1 + α , k ) = α
k =1
−1
Demostración.-
) ∑ (1 + α ) .1( )
∞ ∞
(1+α ) −1
∑ (
−1 k −1
2.9.5.1) β 1 + α , k = , (PFFβ)
k =1 k =1
Capítulo II: Fundamentos Teóricos 49
∞
( k −1 1⊕α ) −1
= (1 ⊕ α −1 )∑ 1
k =1
∞
= (1 ⊕ α −1 )∑ 1
( k 1⊕α ) −1
k =0
= (1 ⊕ α −1 )(1 + α −1 ) , (2.8.2)
= α −1 , (2.2.3)
├
∑ β (1 + α , k ) = β (α , n )
k =n
, n = 1, 2,...
Demostración.-
∞ ∞
( k −1 (1+α ) −1 )
∑ β (1 + α , k ) = ∑ (1 + α )
−1
2.9.6.1) 1 , (PFFβ)
k =n k =n
∞
(k 1⊕α −1 )
= (1 ⊕ α −1 ) ∑ 1
k = n −1
( n −1 α ) −1
= (1 ⊕ α −1 ) (1 + α −1 )1 , (2.2.8.3)
Capítulo II: Fundamentos Teóricos 50
= α −11
( n −1 α ) −1
= β (α , n ) , (PFFβ)
k =m
∑ β (1 + α , k ) = β (α , n ) − β (α , m + 1)
k =n
, m ≥ n ≥1
Demostración.-
k =m ∞ ∞
2.9.7.1) ∑ β (1 + α , k ) = ∑ β (1 + α , k ) −
k =n k =n
∑ β (1 + α , k )
k = m +1
= β (α , n) − β (α , m + 1) , (Teor. 2.9.6)
├
∑ β ( x, k )
k =1
, x>0
2.9.8.- β (α , k + 1) = α −1.1
(k α ) −1
, k = 0,1, 2, K
Luego,
k!
2.9.9.- β (α , k + 1) = , (2.1.6)
α (α + 1)(α + 2 )L(α + k )
(α − 1)!
2.9.10.- β (α , k ) = , α = 1, 2,K
k ( k + 1) L( k + α − 1)
Ejemplos.
∞
1
∑ k (k + 1)(k + 2)(k + 3)(k + 4)
k =3
luego,
1 ∞ 4!
2.9.11.1) λ= ∑
4! k =3 k (k + 1)(k + 2)(k + 3)(k + 4)
Capítulo II: Fundamentos Teóricos 52
1 ∞
= ∑ β ( 5, k )
24 k =3
1
2.9.11.2) λ= β (4,3)
24
1 2!
= .
24 4.5.6
1
=
1440
Esto es,
∞
1 1
2.9.11.3) ∑ k (k + 1)(k + 2)(k + 3)(k + 4) = 1440
k =3
−1
∞
⎛ k + 5⎞
∑ ⎜ ⎟
k =0 ⎝ k + 1 ⎠
Solución.-
( k + 1)!.4!
−1
∞
⎛ k + 5⎞ ∞
2.9.12.1) ∑ ⎜ ⎟
k =0 ⎝ k + 1 ⎠
= ∑
k =0 ( k + 5 )!
∞
3!
= 4∑
k = 0 ( k + 2 )( k + 3 )( k + 4 )( k + 5 )
Capítulo II: Fundamentos Teóricos 53
∞
= 4∑ β ( 4, k + 2 )
k =0
∞
= 4∑ β ( 4, k )
k =2
= 4β ( 3, 2 )
1
=
3
Esto es,
−1
∞
⎛ k + 5⎞ 1
2.9.12.2) ∑ ⎜ ⎟ =
k =0 ⎝ k + 1 ⎠ 3
⎛ 1⎞
⎜ q, k
α ⎟⎠
La contracción factorial 1⎝ se extiende al caso α = 0 , definiendo,
⎛ 1⎞ ⎛ 1⎞
⎜ q, k ⎟ ⎜ q, k ⎟
2.9.13.1) 1⎝ 0⎠
= lim+ 1 ⎝ x⎠
x →0
⎛ 1⎞
⎜ q ,k ⎟
2.9.13.3) En cada caso, 1⎝ 0⎠
=1 , k = 1, 2, K
Además son válidos para q > −1 , todos los teoremas y proposiciones en los
cuales se aplica esta definición, siempre que no contemplen restricciones adicionales
para q.
2.10.1.- Proposición.-
d
(1 ⊕ x ) = x −2 (1 ⊕ x )
2
, x>0
dx
Demostración.-
d d
2.10.1.1) (1 ⊕ x ) = ( x(1 + x)−1 ) , (2.1.1)
dx dx
Capítulo II: Fundamentos Teóricos 55
= (1 + x) −1 − x(1 + x) −2
= (1 + x) −2 (1 + x − x)
= (1 + x ) −2
= x −2 ( x(1 + x) −1 ) 2
= x −2 (1 ⊕ x) 2
├
d
2.10.2.- (1 ⊕ x ) = (1 − (1 ⊕ x))2 , (2.2.8)
dx
2.10.3.- Proposición.-
d
(1 ⊕ x p ) = px − p −1 (1 ⊕ x p ) 2
dx
Demostración.-
d
2.10.3.1) (1 ⊕ x p ) = x −2 p (1 ⊕ x p ) 2 . px p −1 , (10.)
dx
= px − p −1 (1 ⊕ x p ) 2
├
2.10.4.- Proposición.-
d
(1 ⊕ x p ) q = pqx − p −1 (1 ⊕ x p ) q +1
dx
Capítulo II: Fundamentos Teóricos 56
Demostración.-
d
2.10.4.1) (1 ⊕ x p ) q = q (1 ⊕ x p ) q −1 px − p −1 (1 ⊕ x p ) 2 , (2.10.3)
dx
= pqx − p −1 (1 ⊕ x p ) q +1
d
2.10.5.- (1 ⊕ x p ) q = pq x −1 ((1 ⊕ x p ) q − (1 ⊕ x p ) q −1 ) , (2.2.9)
dx
∞
xα
∫ (1 + x )α
0
+ k +1
dx , α > 0, k = 1, 2,K
Solución.-
∞ ∞
xα
dx = ∫ (1 ⊕ x ) (1 ⊕ x −1 ) dx
α k +1
2.10.6.1) ∫ (1 + x )
0
α + k +1
0
∞
= ∫ (1 ⊕ x ) (1 − (1 ⊕ x)) k +1 dx
α
∞
xα
1
dx = ∫ t α (1 − t ) dt
k −1
2.10.6.2) ∫ (1 + x )
0
α + k +1
0
= β (1 + α , k )
∞ ⎛ 1⎞
xα 1 ⎜⎝ k α ⎟⎠
2.10.6.3) ∫0 (1 + x )α + k +1
dx =
k
.1 , α > 0, k = 1, 2, K
2.10.7.- Teorema.- Para cada número real positivo p y cada número entero
positivo k,
1
) dx = 1(
k p)
∫ (1 − x
p k
1 1 1
1
∫ (1 − x )
−1
2.10.7.1) p k
dx = ∫ u p (1 − u ) k du
0
p0
1 1
= β ( , k + 1)
p p
Capítulo II: Fundamentos Teóricos 58
= 1(
k p)
, (PFFβ)
├
1
1(
α p)
= ∫ (1 − x p )α dx
0
π
2
(α 2 )
2.10.12.- 1 = ∫ (cos t ) 2α +1 dt
0
La fórmula (2.10.12) puede ser usada en dos sentidos diferentes. Para calcular
la integral del segundo miembro, o para calcular la contracción factorial del primer
miembro.
Obsérvense los siguientes ejemplos.
π
2
16
∫ cos t dt = 1( ) =
7 3 2
2.10.12.1)
0
35
Capítulo II: Fundamentos Teóricos 59
π
2
256
∫ s en t dt = 1( ) =
11 5 2
2.10.12.2)
0
693
π
⎛1 ⎞
⎜ 2⎟ 2
π
2.10.12.3) 1⎝2 ⎠
= ∫ cos 2 t dt = =
0
4
π
⎛3 ⎞
⎜ 2⎟
2
3π
2.10.12.4) 1⎝2 ⎠
= ∫ cos 4 t dt = =
0
16
⎛ 1⎞
1 ⎜α ⎟
2.10.13.- β ( p,1 + α ) = 1⎝ p⎠
, p > 0, α ≥ 0
p
En efecto,
1
2.10.13.1) β ( p,1 + α ) = ∫ x p −1 (1 − x)α dx
0
1 1
1
2.10.13.2) β ( p,1 + α ) =
p0∫ (1 − t p )α dx
⎛ 1⎞
1 ⎜α ⎟
= .1⎝ p⎠
p
Capítulo II: Fundamentos Teóricos 60
El Teorema que sigue resume una de las propiedades más relevantes de las
contracciones factoriales generalizadas.
2.10.14.- Proposición.-
x β ( x,1 + y ) = y β (1 + x, y )
Demostración.-
x Γ( x) Γ(1 + y )
2.10.14.1) x β ( x,1 + y ) =
Γ( x + 1 + y )
Γ(1 + x) yΓ( y )
=
Γ( x + 1 + y )
= y β (1 + x, y )
├
1(
α p)
=1
(p −1
α −1 )
1(
α p)
2.10.15.1) = p −1 β ( p −1 ,1 + α )
2.10.15.2) 1
(p −1
α −1 ) = α β (α ,1 + p −1 )
2.10.15.3) 1(
α p)
=1
(p −1
α −1 )
├
⎛ 1⎞ ⎛ 1 ⎞
⎜ 2 ⎟ ⎜3 ⎟ 6
2.10.15.4) 1⎝ 3⎠
=1 ⎝ 2⎠
=
(1 + 2)(2 + 2)(3 + 2)
⎛1 2⎞ ⎛3 ⎞
⎜ ⎟ ⎜ 2⎟ 3π
2.10.15.5) 1 ⎝2 3⎠
=1 ⎝2 ⎠
= , (2.10.12.4)
16
1 ⎛1 1⎞
⎜ ⎟
∫ 1 − x dx = 1⎝ 3
3 2⎠
2.10.15.6)
0
9
= 1( ) =
2 3
14
1 ⎛ 1⎞
⎜ 5 ⎟
∫ (1 − x ) dx = 1⎝
3 5 3⎠
2.10.15.7)
0
⎛ 1 ⎞
⎜3 ⎟
=1 ⎝ 5⎠
Capítulo II: Fundamentos Teóricos 62
6
=
(1 + 5)(2 + 5)(3 + 5)
4
9 7
3
I = ∫ (1 − x ) 3 dx
0
2
4
Solución.- El cambio de variable x = t induce la siguiente transformación.
9
1 7
4
2.10.16.1) I = ∫ (1 − t ) 3 dt
90
⎛7 1⎞
4 ⎜ ⎟
= .1⎝ 3 2⎠
⎛ 3⎞
4 ⎜2 ⎟
= .1⎝ 7⎠
4
=
65
Capítulo II: Fundamentos Teóricos 63
∞
x4
I =∫ 20
dx
0
(1 + x) 3
∞ 8 20
−
2.10.17.1) I = ∫ x 3 (1 ⊕ x) 3 dx
0
1 2
1
2.10.17.2) I = ∫ (1 − u ) 3 du
5
50
⎛2 1⎞
1 ⎜ ⎟
= .1⎝ 3 5⎠
⎛ 3⎞
1 ⎜5 ⎟
= .1⎝ 2⎠
729
=
13090
Capítulo II: Fundamentos Teóricos 64
∞
x p −1 1
∫0 (1 + x) p +1 dx = p , p>0
Solución.-
∞ ∞
x p −1
∫0 (1 + x) p+1 dx = ∫0 x (1 ⊕ x) dx
−2 p +1
2.10.18.1)
t
= lim ∫ x −2 (1 ⊕ x) p +1 dx
t →∞
0
⎛1 t⎞
= lim ⎜ (1 ⊕ x) p ⎟ , (Prop. 2.10.)
t →∞
⎝p 0⎠
⎛1 ⎞
= lim ⎜ (1 ⊕ t ) ⎟
t →∞
⎝p ⎠
1
= , (2.2.7)
p
├
Capítulo II: Fundamentos Teóricos 65
β ( x, y ) = ( x −1 + y −1 )1
(y x −1 )
2.10.19.1) β ( x, y ) = β ( x, y + 1) + β ( x + 1, y )
luego,
(y x −1 ) (x y −1 )
2.10.19.2) β ( x, y) = x −1.1 + y −1.1 , (PFFβ)
(y x −1 ) (y x −1 )
= x −1.1 + y −1.1 , (Teor. 2.10.13)
(y x −1 )
= ( x −1 + y −1 ).1
├
Ejemplos.-
⎛1 ⎞
1 1 ⎜ 2⎟
2.10.19.3) β ( , ) = (2 + 2).1⎝ 2 ⎠
, (2.10.12.3)
2 2
Capítulo II: Fundamentos Teóricos 66
π
= 4.
4
=π
⎛3 ⎞
1 3 2 ⎜ 2⎟
2.10.19.4) β ( , ) = (2 + ).1⎝ 2 ⎠
2 2 3
8 3π
= . , (2.10.12.4)
3 16
π
=
2
⎛ 1 ⎞
1 1 ⎜⎝ 4 ⎟
2.10.19.5) β ( 3, 4) = ( + ).1 3⎠
3 4
4+ 3 24
= .
4 3 (1 + 3)(2 + 3)(3 + 3)(4 + 3)
24
=
3(1 + 3)(2 + 3)(3 + 3)
⎛ 1⎞
⎜x ⎟
2.10.20.- 1⎝ y⎠
= ( x ⊕ y ) β ( x, y ) , x, y > 0
⎛ 1⎞ ⎛ 1⎞
⎜x ⎟ ⎜y ⎟
2.10.20.1) 1⎝ y⎠
=1 ⎝ x⎠
Capítulo II: Fundamentos Teóricos 67
2.10.21.- Proposición.- Para cada par de números reales α , p tales que α > 0, p > 1 ,
∞ ⎛ 1⎞
xα −1 1 ⎜⎝ p −1 α ⎟⎠
∫0 (1 + x)α + p dx =
α
1
Demostración.-
∞ ∞
xα −1
∫0 (1 + x)α + p dx = ∫0 (1 ⊕ x) (1 ⊕ x ) dx
α −1 −1 p +1
2.10.21.1)
∞
= ∫ (1 ⊕ x)α −1 (1 − (1 ⊕ x)) p +1 dx
0
∞
xα −1
1
∫0 (1 + x)α + p dx = ∫0 t (1 − t ) dt
α −1 p −1
2.10.21.2)
= β (α , p )
= β (α , ( p − 1) + 1) , ( p > 1)
⎛ 1⎞
1 ⎜ p −1 ⎟
α⎠
= ⎝
1 , (PFFβ)
α
├
Capítulo II: Fundamentos Teóricos 68
∞ ⎛ 1⎞
xα 1 ⎜⎝ α ⎟
∫0 (1 + x)α + p +1 = p⎠
dx .1
p
Demostración.-
∞ ∞
xα
∫0 (1 + x)α + p +1 dx = ∫0 (1 ⊕ x) (1 ⊕ x ) dx
α −1 p +1
2.10.22.1)
∞
= ∫ (1 ⊕ x)α (1 − (1 ⊕ x)) p +1 dx
0
∞
xα
1
∫0 (1 + x)α + p +1 dx = ∫0 t (1 − t ) dt
α p −1
2.10.22.2)
= β (1 + α , p )
⎛ 1⎞
1 ⎜α ⎟
= .1⎝ p⎠
, (PFFβ)
p
├
∞ ⎛1 p ⎞
dx p ⎜⎜ p ⎟
p −1 ⎟⎠
∫0 1 + x p = p − 1 .1⎝
Demostración.- El cambio de variable t = x p induce la siguiente
trasformación:
1 1
−1 −1
∞ ∞ ∞
dx 1 t p
1 t (1 + t ) p
2.10.23.1) ∫ 1+ x
0
p
= ∫
p 0 1+ t
dt = ∫
p 0 (1 + t ) 2
dt
1 1
−1
∞ ∞
1 t p
1 t p
p ∫0 p ∫0
= 1 2 p −1
+
dt + 1 p −1
+ +1
dt
(1 + t ) (1 + t )
p p p p
∞ ⎛ p −1 ⎞ ⎛1 p −1 ⎞
dx ⎜⎜ p ⎟⎟
1 ⎜⎜⎝ p p ⎟⎠
⎟
∫0 1 + x ⎝= ⎠
+
p
2.10.23.2) 1 1
p
p −1
⎛1 p ⎞ ⎛1 p ⎞
⎜⎜ ⎟⎟
⎝ p p −1 ⎠ 1 ⎝⎜⎜ p ⎟
p −1 ⎠⎟
=1 + 1
p −1
⎛1 p ⎞
p ⎜⎜⎝ p ⎟
p −1 ⎟⎠
= 1
p −1
├
Ejemplo.
Capítulo II: Fundamentos Teóricos 70
∞ ⎛1 ⎞
dx ⎜ 2⎟ π π
2.10.23.3) ∫0 1 + x 2 = 2.1⎝2 ⎠
= 2.
4
=
2
2.10.24.- Teorema.- Para cada par de números reales positivos p, r tales que
p > r + 1,
∞ ⎛ r +1 p ⎞
xr p ⎜⎜ ⎟
p − ( r +1) ⎟⎠
∫0 1 + x p (r + 1)( p − (r + 1)) ⎝
=
p
dx .1
Ejemplo.
∞ ⎛1 ⎞
x 4 ⎜⎝ 2 2⎟ π
2.10.24.1) ∫0 1 + x3 dx =
3
.1 ⎠
=
3
∫0 (1 + x p )q ⎝
= ⎠
p
1
Ejemplos.
∞ ⎛ 3 ⎞
dx ⎜ 3− 2⎟
∫0 (1 + x p )3 ⎝
= 2 ⎠
2.10.25.1) 1
⎛3 ⎞
⎜ 2⎟
= 1⎝ 2 ⎠
3π
= , (2.10.12.4)
16
∞ ⎛ 1⎞ ⎛ 1⎞
dx ⎜7 ⎟ ⎜3 ⎟ 1
∫0 (1 + 3 x )11 = 1⎝ = 1⎝ =
3⎠ 7⎠
2.10.25.2)
120
∞ ⎛ r +1+ p p ⎞
xr 1 ⎜⎜⎝ q − ⎟
r +1 ⎟⎠
∫0 (1 + x p )q =
p
dx .1
r +1
Ejemplos.-
Capítulo II: Fundamentos Teóricos 72
∞ ⎛1 2⎞
x2 1 ⎜2 ⎟
∫0 (1 + x 2 )3 dx = 3 .1⎝
3⎠
2.10.26.1)
⎛3 ⎞
1 ⎜ 2⎟
= .1⎝ 2 ⎠
3
π
=
16
∞ ⎛ 1⎞
x3 1 ⎜4 ⎟
∫0 (1 + x )13 dx = 4 .1⎝
8⎠
2.10.26.2)
1
=
1980
∞ ⎛ 1⎞
x5 1 ⎜0 ⎟
∫0 (1 + x 2 )4 dx = 6 .1⎝
3⎠
2.10.26.3)
1
=
6
∞
xr 1 ⎛ r +1 r +1⎞
(2.10.27).- ∫0 (1 + x p )q dx = p β ⎜⎝ p , q − p ⎟⎠
Capítulo II: Fundamentos Teóricos 73
∞
dx 1 ⎛1 1⎞
2.10.27.1) ∫ 1+ x
0
p
= β ⎜ ,1 − ⎟
p ⎝p p⎠
⎛1 1⎞
El valor de β ⎜ ,1 − ⎟ se determina mediante el teorema de los
⎝p p⎠
complementos obteniéndose,
⎛1 1⎞ π
β ⎜ ,1 − ⎟ = π .csc
⎝p p⎠ p
luego,
∞
dx π π
2.10.27.2) ∫ 1+ x
0
p
=
p
.csc
p
, p >1
Capítulo II: Fundamentos Teóricos 74
Por ejemplo,
∞
dx π π 2π 3
2.10.27.3) ∫ 1+ x
0
3
=
3
.csc
3
=
9
∞ ∞
x2 x4
∫0 (1 + x 2 )4 dx = ∫0 (1 + x 2 )4 dx
∞
x2 1 ⎛3 3⎞
2.10.28.1) ∫0 (1 + x 2 )4 dx = 2 β ⎜⎝ 2 , 4 − 2 ⎟⎠ , (2.10.27)
1 ⎛3 5⎞
= β⎜ , ⎟
2 ⎝2 2⎠
1 ⎛ 5 5⎞
= β ⎜4− , ⎟
2 ⎝ 2 2⎠
∞
x4
=∫ dx , (2.10.27)
0
(1 + x 2 ) 4
Capítulo II: Fundamentos Teóricos 75
├
2.10.29.- Problema.- Probar que para cada par de números reales positivos
p +1
p, q , tales que q > ,
p
∞ ∞
xp 1 dx
∫0 (1 + x p )q dx = p ( q − 1) − 1 ∫0 (1 + x p )q
Solución.-
∞
xp 1 ⎛ p +1 p +1⎞
2.10.29.1) ∫0 (1 + x p )q dx = p β ⎜⎝ p , q − p ⎠⎟ , (2.10.27)
⎛1 p ⎞
1 p ⎜⎜ p ⎟
pq − p −1 ⎟⎠
= . .1⎝ , (PFFβ)
p p (q − 1) − 1
⎛ 1 ⎞
1 ⎜⎜ q − −1 p ⎟⎟
= .1⎝ ⎠
p
p (q − 1) − 1
p 1 ⎛1 1⎞
= . .β ⎜ , q − ⎟ , (PFFβ)
p(q − 1) − 1 p ⎝ p p⎠
∞
1 dx
= ∫
p (q − 1) − 1 0 (1 + x p ) q
, (2.10.27)
├
Capítulo II: Fundamentos Teóricos 76
2.11.1.- Teorema.- (CIF). Para cada par de números reales positivos α , p ; y cada
entero positivo k ,
1(
α +k p)
= 1(
α p)
.1(
α ,k p)
2.11.1.1) k = 1.
1
(α +1 p )
1 = ∫ (1 − x p )α +1 dx , (2.10.11)
0
1 1
= ∫ (1 − x ) dx − ∫ x p (1 − x p )α dx
p α
0 0
1 1
(α p ) 1
=1 − ∫ t p (1 − t )α dt , (t = x p )
p0
1 ⎛1 ⎞
= 1(
α p)
− β ⎜ + 1, α + 1⎟
p ⎝p ⎠
⎛1 1 ⎞
(α p ) 1 ⎜⎜ p α +1 ⎟⎟
=1 − .1⎝ ⎠
, (PFFβ)
p (α + 1)
Capítulo II: Fundamentos Teóricos 77
1
= 1(
α p)
.1(
α +1 p )
− , (2.10.15)
(α + 1) p
luego,
⎛ 1 ⎞ (α +1 p ) (α p )
2.11.1.2) ⎜1 + ⎟ .1 =1
⎝ (α + 1) p ⎠
De donde,
1(
α +1 p )
= 1(
α p)
2.11.1.3) (1 ⊕ (α + 1) p)
= 1(
α p)
.1(
α ,1 p )
2.11.1.5) Sea k = k + 1 .
(α + k p ) (α +1+ k p )
1 =1
= 1(
α +1 p )
.1(
α +1, k p )
, (2.11.1.4)
= 1(
α p)
.1(
α ,1 p )
.1(
α +1, k p )
, (2.11.1.3)
Capítulo II: Fundamentos Teóricos 78
= 1(
α p)
.1(
α , k +1 p )
, (Prop. 2.6.6)
(α , k p )
= 1(
α p)
.1
├
π
2 ⎛7 ⎞
⎜ 2⎟
∫ cos t dt = 1 ⎝2 ⎠
8
2.11.2.- , (2.10.12)
0
⎛1 ⎞
⎜ +3 2 ⎟
=1 ⎝2 ⎠
⎛1 ⎞ ⎛1 ⎞
⎜ 2⎟ ⎜ ,3 2 ⎟
=1 ⎝2 ⎠
.1 ⎝2 ⎠
, (CIF)
π
= (1 ⊕ 3)(1 ⊕ 5)(1 ⊕ 7 )
4
35π
=
256
Capítulo II: Fundamentos Teóricos 79
∞ ⎛ 1 2⎞
⎛5 3 ⎞ ∞ 2 ⎜⎝ k + 2 ⎟
2.11.3.- ∑
k =0
β ⎜
⎝2
, k + ⎟ = ∑ .1
2 ⎠ k =0 5
5⎠
, (PFFβ)
⎛1 2⎞ ⎛1 2⎞
2 ∞ ⎜⎝ 2 ⎟ ⎜ ,k ⎟
= ∑1
5 k =0
5⎠
.1⎝ 2 5⎠
, (CIF)
⎛1 2⎞ ∞ ⎛1 2⎞
2 ⎜ ⎟ ⎜ , k 1⊕ ⎟
= 1⎝ 2
5
5⎠
∑1
k =0
⎝2 3⎠
2 5π ⎛ ⎛ 1 ⎞ 2 ⎞
= . . ⎜ 1 + ⎜ + 1⎟ ⎟
5 32 ⎝ ⎝ 2 ⎠ 3 ⎠
π
=
8
β ( x, y + k ) = β ( x, y ) .1
( y −1,k x −1 ) , k = 0,1, K
Demostración.-
2.11.4.1) β ( x, y + k ) = x −1.1
( y + k −1 x −1 ). , (PFFβ)
= x −1.1
( y −1 x −1 ).1( y −1,k x −1 ) , (CIF)
Capítulo II: Fundamentos Teóricos 80
= β ( x, y ) .1
( y −1,k x −1 )
Ejemplos.-
⎛1 5⎞ ⎛1 1 ⎞
2.11.4.2) β ⎜ , ⎟ = β ⎜ , + 2⎟
⎝2 2⎠ 2 2 ⎝ ⎠
⎛ 1 ⎞
⎛ 1 1 ⎞ ⎜− , 2 2⎟
= β ⎜ , ⎟ .1⎝ 2 ⎠
⎝2 2⎠
= π (1 ⊕ 1)(1 ⊕ 3) , (2.10.19.3)
1 3
= π. .
2 4
3π
=
8
⎛7 5⎞ ⎛1 5⎞
2.11.4.3) β ⎜ , ⎟ = β ⎜ + 3, ⎟
⎝2 2⎠ 2 ⎝ 2 ⎠
⎛ 1 2⎞
⎛ 1 5 ⎞ ⎜− ,3 ⎟
= β ⎜ , ⎟ .1⎝ 2 5⎠
⎝2 2⎠
3π ⎛ 1 ⎞⎛ 3⎞
= ⎜ 1 ⊕ ⎟ ⎜ 1 ⊕ ⎟ (1 ⊕ 1) , (2.14.4.2)
8 ⎝ 5 ⎠⎝ 5⎠
Capítulo II: Fundamentos Teóricos 81
3π 1 3 1
= . . .
8 6 8 2
3π
=
256
⎛ 1 19 ⎞ ⎛1 3 ⎞
2.11.4.4) β⎜ , ⎟ = β ⎜ , + 4⎟
⎝4 4 ⎠ ⎝4 4 ⎠
⎛ 1 ⎞
⎛ 1 3 ⎞ ⎜− , 4 4⎟
= β ⎜ , ⎟ .1⎝ 4 ⎠
⎝4 4⎠
⎛1 3⎞
= β ⎜ , ⎟ (1 ⊕ 3)(1 ⊕ 7 )(1 ⊕ 11)(1 ⊕ 15 )
⎝4 4⎠
⎛ 1 3 ⎞ 3 7 11 15
= β ⎜ , ⎟. . . .
⎝ 4 4 ⎠ 4 8 12 16
1155 ⎛ 1 3 ⎞
= β⎜ , ⎟
2048 ⎝ 4 4 ⎠
⎛ 1 19 ⎞ 1155 π
β⎜ , ⎟= .π csc
⎝ 4 4 ⎠ 2048 4
1155π 2
=
2048
Capítulo II: Fundamentos Teóricos 82
∑ β (1 + α , p + k ) = β (α , p + n )
k =n
, n = 0,1, K
Demostración.-
∞ ∞
( p −1,k (1+α ) −1 )
2.11.5.1) ∑ β (1 + α , p + k ) = ∑ β (1 + α , p ).1
k =n k =n
, (FRFβ)
∞
( p −1, k 1⊕α )
−1
= β (1 + α , p ) ∑1
k =n
= β (1 + α , p ) (1 + p α −1 ) .1
( p −1,n 1⊕α ) −1
, (Teor. 2.7.7)
= β (α , p ) 1 , (FRFβ)
= β (α , p ) (1 ⊕ α p −1 )(1 + p α −1 ) .1
( p −1,n α ) −1
= β (α , p ) .1
( p −1,n α )−1
, (2.2.4)
= β (α , p + n ) , (FRFβ)
├
Capítulo II: Fundamentos Teóricos 83
Ejemplos.-
∞ ∞
1 1
2.11.5.2) ∑
k = 2 (3 + 4k )(7 + 4k )(11 + 4k )
= ∑ ⎛3 ⎞⎛ 7 ⎞⎛ 11 ⎞
k =2
43 ⎜ + k ⎟⎜ + k ⎟⎜ + k ⎟
⎝4 ⎠⎝ 4 ⎠⎝ 4 ⎠
1 ∞ 2!
= ∑
2!.64 k = 2 ⎛ 3 ⎞⎛ 3 ⎞⎛ 3 ⎞
⎜ + k ⎟⎜ + k + 1⎟⎜ + k + 2 ⎟
⎝4 ⎠⎝ 4 ⎠⎝ 4 ⎠
1 ∞ ⎛ 3 ⎞
= ∑ β ⎜ 3, + k ⎟
128 k = 2 ⎝ 4 ⎠
1 ⎛ 3 ⎞
= β ⎜ 2, + 2 ⎟ , (Teor. 2.11.5)
128 ⎝ 4 ⎠
1 ⎛ 11 ⎞
= β ⎜ 2, ⎟
128 ⎝ 4 ⎠
1
=
1320
∑ β ( 4, k − 2 ) = ∑ β ( 4, k + 2 − 2 )
∞ ∞
2.11.5.3)
k =5 k =3
(
= β 3,5 − 2 ) , (Teor. 2.11.5)
2
=
(5 − 2 )( 6 − 2 )( 7 − 2 )
Capítulo II: Fundamentos Teóricos 84
∞ ∞ ∞
2.11.5.4) ∑∑ β (α + k , p + n ) = ∑ β (α + k − 1, p + 1)
k =1 n =1 k =1
= β (α , p ) , α, p > 0
β ( x, y )
τ z ( x, y ) = , x, y > 0
β ( z, y )
2
( ) = 2(
β 3, 2 2 +1 )( 2 +1)
2.12.1.1) (
τ 2 3, 2 = ) β 2, 2
( ) 1
2 ( 2 +1 )
2
=
2+2
1
β ( x,1) x z
2.12.1.2) τ z ( x,1) = = =
β ( z,1) 1 x
z
Capítulo II: Fundamentos Teóricos 85
( k − 1)!
β ( x, k ) x ( x + 1)( x + 2 )K ( x + k − 1)
τ z ( x, k ) = =
β ( z, k ) ( k − 1)!
z ( z + 1)( z + 2 )K ( z + k − 1)
z ( z + 1)( z + 2 )K ( z + k − 1)
=
x ( x + 1)( x + 2 )K ( x + k − 1)
2.12.1.4) τ5 ( )
3, 4 =
5.6.7.8
3 ( 3 +1 )( 3+2 )( 3 +3 )
1680
=
3 ( 3 +1 )( 3+2 )( 3+3 )
2.12.1.5) τ z ( z, y ) = 1
⎛1 1⎞
β⎜ , ⎟
⎛1 1⎞ 2 2 ⎠ π 15π
2.12.1.6) τ3 ⎜ , ⎟ = ⎝ = =
⎝ 2 2 ⎠ β ⎛ 3, 1 ⎞ 16 16
⎜ ⎟
⎝ 2 ⎠ 15
2.12.2.- Proposición.-
τ z ( x, y ) .τ x ( z, y ) = 1
Capítulo II: Fundamentos Teóricos 86
Demostración.-
β ( x, y ) β ( z , y )
2.12.2.1) τ z ( x, y ) .τ x ( z , y ) = . =1
β ( z , y ) β ( x, y )
├
τ z ( z + x, y ) = τ z ( z + y , x )
Γ( x + z)Γ( y + z)
2.12.3.1)
Γ( z)Γ( x + y + z)
τ z + x ( z, y ) = τ z + y ( z, x )
Demostración.-
1
2.12.4.1) τ z + x ( z, y ) = , (Prop. 2.12.2)
τ z ( z + x, y )
1
= , (PITβ)
τ z ( z + y, x )
Capítulo II: Fundamentos Teóricos 87
= τ z + y ( z, x ) , (Prop. 2.12.2)
2.12.4.2) τ 32 ( 35, 27 ) = τ 32 ( 32 + 3, 27 )
= τ 32 ( 32 + 27,3) , (PITβ)
= τ 32 ( 59,3)
32.33.34
= , (2.12.1.3)
59.60.61
2992
=
17995
= τ 25+ 49 ( 25, 2 )
= τ 74 ( 25, 2 )
Capítulo II: Fundamentos Teóricos 88
74.75
=
25.26
111
=
13
τ a ( x, y + z ) = τ a ( x, y ) .τ a + y ( x + y, z ) , a, x, y, z > 0
Demostración.-
β ( x, y + z )
2.12.5.1) τ a ( x, y + z ) =
β ( a, y + z )
β ( x, y ) τ y ( y + z , x )
= , (2.12.1)
β ( a, y ) τ y ( y + z , a )
τ y ( x + y, z )
= τ a ( x, y ) , (PITβ)
τ y ( a + y, z )
β ( x + y, z )
= τ a ( x, y ) , (2.12.1)
β ( a + y, z )
= τ a ( x, y ) .τ a + y ( x + y, z ) , (2.12.1)
├
Capítulo II: Fundamentos Teóricos 89
2.12.6.-Corolario
a+ y
τ a ( x, y + 1) = τ a ( x, y )
x+ y
Demostración.-
a+ y
= τ a ( x, y )
x+ y
├
2.12.7.- β ( x, y + z ) = β ( x , y ) τ y ( x + y , z )
τ z ( z + x, 0 ) = 1
2.12.9.1) τ z ( z + x, 0 ) = τ z ( z + 0, x )
= τ z ( z, x )
=1
τ a ( x, z ) .τ x ( y, z ) = τ a ( y, z ) , a, x, y , z > 0
Demostración.-
β ( x, z ) β ( y , z )
2.12.10.1) τ a ( x, z ) .τ x ( y, z ) = .
β ( a , z ) β ( x, z )
β ( y, z )
=
β ( a, z )
= τ a ( y, z )
├
Capítulo II: Fundamentos Teóricos 91
β ( y, z )
2.12.10.2) τ 0 ( x, y ) .τ x ( y, z ) = β ( x, z ) .
β ( x, z )
= β ( y, z )
= τ 0 ( y, z )
⎛ 1⎞
1(
q, k α )
= τ 1+ q ⎜ 1 + q + k , ⎟ , q > −1, α > 0, k = 0,1,K
⎝ α⎠
⎛1 ⎞ ⎛1 ⎞ q, k α )
2.12.11.1) β⎜ ,1 + q + k ⎟ = β ⎜ ,1 + q ⎟ .1(
⎝α ⎠ ⎝α ⎠
De donde,
⎛ 1⎞
β ⎜1 + q + k , ⎟
α⎠
1( = ⎝
q ,k α)
2.12.11.2)
⎛ 1 ⎞
β ⎜ 1 + q, ⎟
⎝ α⎠
Capítulo II: Fundamentos Teóricos 92
⎛ 1⎞
= τ 1+ q ⎜1 + q + k , ⎟
⎝ α⎠
├
⎛ 1⎞
1(
k α)
2.12.11.3) = τ 1 ⎜1 + k , ⎟
⎝ α⎠
∑ τ ( x, k )
k =n
z , x > 0, z ≥ 0, n = 1, 2,...
β ( x, k )
τ z ( x, k ) = ≥1 , k = 1, 2,...
β ( z, k )
2.12.12.2) x>z,
∞
( )∞
β x, k
∑ τ ( x, k ) = ∑ β ( z , k )
k =n
z
k =n
∞
β ( x − z, k + z )
=∑
k =n β ( x − z, z )
∑τ (1 + x + z, k ) = τ ( x, z )τ ( x + z, n )
k =n
z 1+ x z , n = 1, 2,...
Demostración.-
∞ ∞
β (1 + x + z , k )
2.12.13.1) ∑τ z (1 + x + z, k ) = ∑
k =n k =n β ( z, k )
∞
β (1 + x, k + z )
=∑
k =n β (1 + x, z )
β ( x, n + z )
= , (Teor. 2.11.5)
β (1 + x, z )
Capítulo II: Fundamentos Teóricos 94
β ( x, z ) β ( x , n + z )
=
β (1 + x, z ) β ( x, z )
= τ 1+ x ( x, z ) τ z ( z + n, x )
= τ 1+ x ( x, z ) τ z ( z + x, n )
∑τ (1 + x + z, y + k ) = τ ( x, z ) τ ( x + z, y + n )
k =n
z 1+ x z , n = 1, 2,...
Demostración.-
∞ ∞
β (1 + x + z , y + k )
2.12.14.1) ∑τ z (1 + x + z, y + k ) = ∑
k =n k =n β ( z, y + k )
∞
β (1 + x, y + k + z )
=∑
k =n β (1 + x, z )
β ( x, y + n + z )
= , (Teor. 2.11.5)
β (1 + x, z )
β ( x, z ) β ( x , y + n + z )
=
β (1 + x, z ) β ( x, z )
Capítulo II: Fundamentos Teóricos 95
= τ 1+ x ( x, z ) τ z ( z + x, y + n )
2.12.15.-
∞
∑τ (1 + x + z, k ) = τ ( x, z ) τ ( x + z, n )
k =n
z 1+ x z , x, z > 0, n = 1, 2,...
∞
2.12.15.1) ∑τ (1 + x + z, k ) = τ ( x,1) τ ( x + z, n )
k =n
z x+ z z
x+ z
= τ z ( x + z, n )
x
∞
b −1
2.12.15.2) ∑τ ( b, k ) = b − a − 1τ ( b − 1, n )
k =n
a a
∞
b −1
2.12.15.3) ∑τ ( b, p + k ) = b − a − 1τ ( b − 1, p + n )
k =n
a a
∞
8 8 5.6 10
2.12.15.4) ∑τ ( 9, k ) = 3 τ (8, 2 ) = 3 . 8.9 = 9
k =2
5 5
∞
6 2.3.4.5 5
2.12.15.5) ∑τ ( 7, 2 + k ) = 3 τ ( 6,3) = 6.7.8 = 14
k =1
3 3
∞
b −1
2.12.15.6) ∑τ ( b, k ) = b − a − 1 τ ( b − 1, 0 )
k =0
a a
b −1
= , (2.12.9.1)
b − a −1
∞ 3 ( 3 +1 )( ) (
3+2 K 3+k )
∑
k =1 π (π + 1)(π + 2 ) K (π + k )
Capítulo II: Fundamentos Teóricos 97
∞
2.12.16.1) λ = ∑τ 3
(π , k + 1)
k =1
π −1
= τ (π − 1, 2 ) , (2.12.15.3)
π − 3 −1 3
=
π −1
.
3 ( 3 +1 )
π − 3 −1 (π − 1) π
=
3 ( 3 +1 )
(
π π − 3 −1 )
luego,
∞ 3 ( 3 +1 )( 3+2 K ) ( 3+k )= 3 ( )
3 +1
2.12.16.2) ∑ k =1 π (π + 1)(π + 2 ) K (π + k ) (
π π − 3 −1 )
∞
k!
∑ ( k + 4)!
k =2
Solución.-
Capítulo II: Fundamentos Teóricos 98
∞
k! 1 ∞ 1.2.3.L. (1 + k − 1)
2.12.17.1) ∑
k =2 ( k + 4 )!
= ∑
4! k = 2 5.6.7.L. ( 5 + k − 1)
1 ∞
= ∑τ 1 ( 5, k )
4! k = 2
1 5 −1
= . τ 1 ( 4, 2 )
4! 5 − 1 − 1
1 1.2
= .
18 4.5
1
=
180
∞
1.3.5.L.(1 + 2k )
∑2
k =1
k +1
.3.4.5.L.(3 + k )
1 3 5 ⎛1 ⎞
∞
. . .L. ⎜ + k ⎟ ∞
2 2 2 ⎝2 ⎠ = τ 3, k + 1
2.12.18.1) λ =∑ ∑ 1 ( )
k =1 3.4.5.L. ( 3 + k ) k =1 2
2
= τ 1 ( 2, 2 ) , (2.12.15.3)
1
3 − −1 2
2
Capítulo II: Fundamentos Teóricos 99
1 3
.
4 2 2
= .
3 2.3
1
=
6
luego,
∞
1.3.5.L.(1 + 2k ) 1
2.12.18.2) ∑2
k =1
k +1
=
.3.4.5.L.(3 + k ) 6
∑ (1 ⊕ α ) .1(
p q + k +1 q,k p)
k =0
2.13.2.- Proposición.-
∑ (1 ⊕ α ) .1( ≤ α p (1 ⊕ α p )
p q + k +1 q, k p) q
k =0
Capítulo II: Fundamentos Teóricos 100
∞ ∞
∑ (1 ⊕ α p ) .1( ≤ ∑ (1 ⊕ α p )
q + k +1 q, k p) q + k +1
2.13.2-1)
k =0 k =0
∞
= (1 ⊕ α p ) ∑ (1 ⊕ α )
q +1 p k
k =0
= (1 ⊕ α p ) . (1 + α p )
q +1
= α p (1 ⊕ α p )
q
∞
( x) = ∑ (1 ⊕ x p ) .1(
q + k +1 q, k p)
2.13.3.- p ,q
k =0
∞
( x) = ∑ (1 ⊕ x p ) .1(
k +1 k p)
2.13.3.1) p
k =0
1⊕ p , q ( x) ≤ 1 + ( q + 1) p
∞
( q , k 1⊕ p )
2.13.4.1) 1⊕ p , q ( x ) ≤ ∑ 1
k =0
= 1 + ( q + 1) p
2.13.6.- Proposición.-
lim 1⊕ p , q ( x ) = 1 + ( q + 1) p , p>0
x →∞
Demostración.-
1⊕ p , q ( x ) = lim ∑ (1 ⊕ x ) .1(
1⊕ p q + k +1 q , k 1⊕ p )
2.13.6-1) lim
x →∞ x →∞
k =0
∞
= ∑ 1(
q , k 1⊕ p )
k =0
= 1 + ( q + 1) p
Capítulo II: Fundamentos Teóricos 102
2.13.7.- Proposición.-
lim p ,q ( x) = 0 , p>0
x→0
( x) ≤ x p (1 ⊕ x p )
q
2.13.8.3) p ,q
luego,
( x) ≤ (1 ⊕ x p )
q
2.13.8.4) x− p p ,q
∞
.1(
1, k 1)
1,1 (1) = ∑ (1 ⊕ 1)
1+ k +1
2.13.9.1)
k =0
∞
1
=∑ k +2
.τ 2 ( 2 + k ,1)
k =0 2
∞
1
=∑ k 2(
.τ k ,1)
k =2 2
∞
1 2
=∑ .
k =2 2
k
k
∞
1
= 2∑
k = 2 k .2
k
Esto es,
∞
1
1,1 (1) = 2∑
k = 2 k .2
k
2 + k +1 ⎛ 1⎞
⎛1⎞ ∞ ⎛ 1⎞ ⎜ 2, k ⎟
1 ⎜ ⎟ = ∑ ⎜1 ⊕
⎝ 3⎠
2.13.9.2) ⎟ .1
3 ⎝8⎠ k =0 ⎝ 2⎠
,2
∞
1
=∑ k +3
.τ 3 ( 3 + k ,3)
k =0 3
Capítulo II: Fundamentos Teóricos 104
∞
1
=∑ k 3(
.τ k ,3)
k =3 3
∞
1 3.4.5
=∑ .
k = 3 3 k ( k + 1)( k + 2 )
k
∞
1
= 60 ∑
k = 3 k ( k + 1)( k + 2 ) .3
k
luego,
∞
⎛1⎞ 1
1 ⎜ ⎟
,2 ⎝ 8 ⎠
= 60 ∑
k = 3 k ( k + 1)( k + 2 ) .3
k
3
1
+ k +1 ⎛1 ⎞
⎛1⎞ ∞ ⎛ 1 ⎞3 ⎜ ,k 2 ⎟
1 ⎜ ⎟ = ∑ ⎜1 ⊕
⎝3 ⎠
2.13.9.3) ⎟ .1
2, ⎝ 5 ⎠
3 k =0 ⎝ 25 ⎠
∞
1 ⎛4 1⎞
=∑ 4
.τ 4 ⎜ + k , ⎟
3 ⎝3 2⎠
k =0 k+
26 3
∞
1 1 ⎛ 11 ⎞
= ∑ 26 .τ 4 ⎜ , k ⎟
3 ⎝ 6 ⎠
3 k
26 26 k =0
⎛ 4 7 10 ⎛4 ⎞ ⎞
⎜ ∞
. . .L. ⎜ + k − 1⎟ ⎟
1 1
= 3 ⎜1 + ∑ k . 3 3 3 ⎝3 ⎠ ⎟
26 26 ⎜ k =1 26 11 . 17 . 23 .L. ⎛ 11 + k − 1⎞ ⎟
⎜ ⎜ ⎟⎟
⎝ 6 6 6 ⎝6 ⎠⎠
Capítulo II: Fundamentos Teóricos 105
⎛ 4 7 10 ⎛1 ⎞ ⎞
⎜ ∞
. . .L. ⎜ + k ⎟ ⎟
1 1
= 3 ⎜1 + ∑ k . 3 3 3 ⎝3 ⎠ ⎟
26 26 ⎜ k =1 11 17 23 ⎛ 5 ⎞
. . .L. ⎜ + k ⎟ ⎟⎟
26
⎜ 6 6 6
⎝ ⎝ 6 ⎠⎠
⎛ 1 ∞
1 4.7.10.L. (1 + 3k ) ⎞
= 3 ⎜⎜1 + ∑ k . ⎟
26 26 ⎝ k =1 13 11.17.23.L. ( 5 + 6k ) ⎟⎠
Esto es,
⎛1⎞ 1 ⎛ ∞
1 4.7.10.L. (1 + 3k ) ⎞
⎜ ⎟= 3 ⎜⎜1 + ∑ k . ⎟
⎝ 5 ⎠ 26 26 ⎝ k =1 13 11.17.23.L. ( 5 + 6k ) ⎠⎟
1
2,
3
∞
.1(
q ,k 0)
0, q ( x ) = ∑ (1 ⊕ 1)
q + k +1
2.13.9.4)
k =0
∞
1
.1(
q ,k 0)
=∑ q + k +1
k =0 2
Pero,
⎧ 1 si k =0
1(
q ,k 0)
=⎨
⎩0 si k = 1, 2,...
Luego,
1
0, q ( x) =
2q +1
Capítulo II: Fundamentos Teóricos 106
2.13.10.- Teorema.-
d
p ,q ( x) = x −1 (( p − 1) p ,q ( x) + (1 + pq)(1 ⊕ x p ) q +1 )
dx
∞
px − p −1 .1(
d q ,k p )
p , q ( x ) = ∑ ( q + k + 1) (1 ⊕ x )
p q+k +2
2.13.10.1)
dx k =0
∞
= ∑ (q + k + 1) (1 ⊕ x p ) q + k + 2 px − p −1 .1(
q , k +1 p )
(1 + ( q + k + 1) −1 p −1 )
k =0
∞ ∞
= ∑ ( q + k + 1) (1 ⊕ x p ) px − p −11( + ∑ (1 ⊕ x p )
q,k +1 p )
x − p −11(
q+k +2 q+k +2 q,k +1 p )
k =0 k =0
Cambio de índices: i = k + 1
2.13.10.2)
∞ ∞ q + i +1
d
(x) = ∑ ( q + i ) (1 ⊕ x ) ( q,i p )
+ ∑ (1 ⊕ x ) x − p −11(
p q + i +1 − p −1 p q,i p )
p,q px 1
dx i =1 i =1
Capítulo II: Fundamentos Teóricos 107
∞ ∞ q + i +1
= ∑ (1 ⊕ x p ) px − p −11( + ∑ (1 ⊕ x p )
q,i p )
px − p −11(
q + i +1 q,i p )
i =1 i =1
(x) − x − p −1 (1 ⊕ x p ) − pqx − p −1 (1 ⊕ x p )
q +1 q +1
− px − p −1 p,q (x) + x − p −1 p,q
∞
= ∑ ( q + i + 1) (1 ⊕ x p ) px − p −11(
q + i +1 q,i p )
− ( p − 1) x − p −1 p ,q ( x)
i =1
− (1 + pq ) x − p −1 (1 ⊕ x p )
q +1
De donde,
d d
2.13.10.3) p ,q ( x) = (1 + x − p ) p ,q ( x) − x − p −1 (( p − 1) p ,q ( x) +
dx dx
(1 + pq)(1 ⊕ x p ) q +1 )
luego,
d
2.13.10.4) p ,q ( x) = x −1 (( p − 1) p ,q ( x) + (1 + pq)(1 ⊕ x p ) q +1 )
dx
├
d
2.13.10.5) p ( x) = x −1 (( p − 1) p ( x) + (1 ⊕ x p ))
dx
Capítulo II: Fundamentos Teóricos 108
2.14.2.- Proposición.-
p,q ( x) ≤ x
2.14.2.1) p ,q ( x) ≤ x p (1 ⊕ x p )q
De donde,
2.14.2.2) x1− p p ,q ( x) ≤ x (1 ⊕ x p )q
≤x
Esto es,
2.14.2.3) p ,q ( x) ≤ x
2.14.2.4) lim p ,q ( x) = 0
x →0
negativos, definiendo:
Si q = 0 , se escribe p en lugar de p ,0 .
Esto es,
2.14.3.- Teorema.-
d
p ,q ( x) = (1 + pq) x − p (1 ⊕ x p )q +1 , x>0
dx
Demostración.-
d d 1− p
2.14.3.1) p ,q ( x) = (x p ,q ( x) )
dx dx
d
= (1 − p) x − p p ,q ( x) + x1− p p ,q ( x)
dx
Capítulo II: Fundamentos Teóricos 110
= (1 − p) x − p p ,q ( x) + x1− p .x −1 (( p − 1) p ,q ( x) + (1 + pq)(1 ⊕ x p ) q +1 )
(Teor. 2.13.10)
= (1 + pq ) x − p (1 ⊕ x p ) q +1
├
d
2.14.3.2) p ,q ( x) = (1 + pq) ((1 ⊕ x p )q − (1 ⊕ x p )q +1 )
dx
d
2.14.3.3) p ( x) = 1 ⊕ x − p
dx
O de otra forma,
d 1
2.14.3.4) ( x) =
1+ x p
p
dx
2.14.3.5) −p ( x) = x − p ( x) , p≥0
Capítulo II: Fundamentos Teóricos 111
Para −p se tiene,
d 1
2.14.3.6) −p ( x) =
dx 1 + x− p
d 1
2.14.3.7) ( x) = , p∈
1+ x p
p
dx
α
dx
2.14.3.8) ∫ 1+ x
0
p
= p (α ) , p ∈ ,α ≥ 0
2.14.3.9) 1 (α ) = Ln (1 + α ) , α ≥0
2.14.3.10) 2 (α ) = Arctg (α ) , α ≥0
3 3 2
2.14.3.12) 1 (x) = ( x − 2 3 x + 2Ln(1 + 3 x ) )
3 2
4
2.14.3.13) 1 ( x ) = 4 x 3 − 2 x + 4 4 x − 4Ln(1 + 4 x )
4 3
2.14.3.14) 2 ( x ) = 3 3 x − 3Arctg 3 x
3
5 5 3
2.14.3.15) 2 (x) = ( x − 3 5 x + 3Arctg 5 x )
5 3
1 ⎛ 3x ⎞ 3 ⎛ 2x − 1 ⎞ π 3
2.14.3.16) 3 (x) = 1 ⎜ 2 ⎟
+ Arctg ⎜ ⎟+
6 ⎝1− x + x ⎠ 3 ⎝ 3 ⎠ 18
2.14.3.17) 1 ( 2x ) = 2 Arcth(1 ⊕ x)
2.14.3.18) 1 ( xy − 1) = Ln x + Ln y , x,y ≥1
3 x
2.14.3.19) 2,1 ( x) = ( Arctg ( x) − )
2 1 + x2
2.14.3.20) 1 ( x) = 3( Ln( x + 1 + x ) − 1 ⊕ x )
1,
2
1
2.14.3.21) 1 ( x) = 2(1 − )
2,
2 1 + x2
α
dx
2.15.1.- ∫ 1+ x p
= p (α) , α≥0
0
α
x r dx 1
2.15.2.- ∫0 1 + x p = 1 + r p (α ) 1+ r
, α ≥ 0 , r > −1
1+ r
∞
dx 1
2.15.3.- ∫ x(1 + x p
)
=
p
1 (α )
−p
, α > 0, p > 0
α
∞
dx 1
2.15.4.- ∫ x (1 + x
r p
)
=
r −1
p (α ) 1− r
, α > 0, p > 0, r > 1
α 1− r
∞
dx 1
2.15.5.- ∫ 1+ x p
=
p −1
p (α )
1− p
, α > 0, p >1
α p −1
∞
x r dx 1
2.15.6.- ∫α 1 + x p = p − (1 + r) p (α 1+ r − p
) , α > 0, p > 1+ r
p − (1+ r)
Capítulo II: Fundamentos Teóricos 114
2.16.1.- ∫ 1+ x
dx
2
= 2 (( 3) −1 ) , ( 2.15.5 )
3
1
= Arctg
3
π
=
6
3
2.16.2.- ∫ 1+ x
dx
2
= 2 ( 3) , ( 2.15.1)
0
= Arctg 3
π
=
3
Es claro que de (2.16.1) y (2.16.2) se tiene:
∞
dx π
2.16.3.- ∫ 1+ x
0
2
=
2
∞
dx
2.16.4.- ∫x = −2 (1) , ( 2.15.4 )
1
2
(1 + x 2 )
= 1− 2 (1)
= 1 − Arctg1
π
= 1−
4
Capítulo II: Fundamentos Teóricos 115
∞
dx 1
2.16.5.- ∫ x(1 + x ) = 5 5 1 (2 ) −5
, ( 2.15.3)
2
1 33
= Ln
5 32
2.16.6.-
4
∫ x (1 + x
3
dx
4
)
=
1
2
−2 (( 4
3) −2 ) , ( 2.15.4 )
3
1 ⎛ 1 ⎞
= −2 ⎜ ⎟
2 ⎝ 3⎠
1 1 ⎛ 1 ⎞
= ( − 2 ⎜ ⎟)
2 3 ⎝ 3⎠
1 1 1
= ( − Arctg )
2 3 3
1 1 π
= ( − )
2 3 6
1 ∞ ∞
dx dx dx
216.7.- ∫1 x 5 (1 + x 2 ) = ∫1 x 5 (1 + x 2 ) − ∫1 x 5 (1 + x 2 )
2 2
1 ⎛ 1 −4 ⎞ 1
= 1 ⎜( ) ⎟ − 1 (1) , ( 2.15.4 )
4 −
2 ⎝ 2 ⎠ 4 −
2
1 1
= (16 − 1 (16 )) − (1 − 1 (1))
4 2 4 2
Capítulo II: Fundamentos Teóricos 116
9 − 2Ln 2 + 2Ln 5
= , ( 2.14.3.11)
4
2 8
−
8
dx x
8 3 ⎛ 13 ⎞
2.16.8.- ∫ 2 5
=∫
1+ x
dx = 3 3⎜ x ⎟
⎝ ⎠
1
x3 + x3 1 1
= 3( 3 ( 2) − 3 (1))
π 3 + 3Ln3 − 6 Ln 2
= , ( 2.14.3.16 )
6
8 27 x 8 27 x
dydx dydx
2.16.9.- ∫∫ 3
x + 3 y ∫1
= ∫ y
1 x x 3
x (1 + 3 )
x
8 2 y = 27 x
⎛ y⎞
= ∫ (x 3
1⎜ ⎟ ) dx
1 3⎝ x ⎠ y=x
8 2
=( 1 ( 27 ) − 1 (1)) ∫ x 3
dx
3 3 1
93
= ( 1 ( 27 ) − 1 (1))
5 3 3
279 (2 + Ln 2)
= , (2.14.3.12)
5
2 x3 2 x3
x8 x2
2.16.10.- ∫∫
1 x2
x6 + y3
dydx = ∫ ∫
1 x2 ⎛ y ⎞
3
dy dx
1+ ⎜ 2 ⎟
⎝x ⎠
2 y = x3
⎛ y⎞
= ∫ (x 4
3⎜ 2 ⎟ ) dx
1 ⎝x ⎠ y = x2
Capítulo II: Fundamentos Teóricos 117
2
= ∫ x4 ( 3 ( x) − 3 (1)) dx
1
2 2
= ∫ x4 3 ( x ) dx − 3 (1) ∫ x dx
4
1 1
2 2
x5 1 x5
3 ( x ) dx = 3( x) 1 −
2
∫x 5 ∫1 1 + x3
4
2.16.10.1) dx
1
5
32 1 1
= 3 ( 2) − 3 (1) − ( 1 ( 64 ) − 1 (1))
5 5 30 2 2
2
31
2.16.10.2) 3 (1) ∫ x dx =
4
3 (1)
1
5
2 x3
x8 16π 3 + 54 Ln3 − 99 Ln2 − 21
2.16.10.3) ∫∫
1 x2
x +y
6 3
dydx =
45
Capítulo II: Fundamentos Teóricos 118
2.16.11.-Si a, b, r, t son números reales tales que, b > a > 0, r > 2, t > 0, entonces,
b tx
dydx 1 1 1
∫∫ x = (t ) ( r −2
− r −2
)
+y r−2
r r r
a 0
a b
En efecto,
b tx b tx b y = tx
dydx dydx 1 ⎛ y⎞
2.16.11.1) ∫a ∫0 x r + y r = ∫a ∫0 ⎛ y⎞
r
= ∫ ( r −1
x
r⎜
⎝x⎠
⎟ ) dx
x (1 + ⎜ ⎟ )
r a y =0
⎝x⎠
b
1
= ∫( ( t ) dx
x r −1
r
a
1 1 1
= (t ) ( r −2
− r −2
)
r−2
r
a b
Caso particular.
3 x
(1) ⎛⎜
dydx 1 1 1⎞
2.16.11-2) ∫∫ x
2 0
4
+y 4
=
2
4 2
− 2⎟
⎝2 3 ⎠
, (2.16.11)
=
(
5 π + 2 Ln 1 + 2 ( ))
288 2
Capítulo II: Fundamentos Teóricos 119
α
1
2.17.1.- ∫ p ( x ) dx = α p (α) −
2
1 (α ) ,
2
α ≥ 0, p ≥ 0
0 2
2.17.2.-
α
∫ p ( x ) dx = α
r
p ( α ) − (1 ⊕ r )
r
p (1 ⊕ r ) ( α ) , α ≥ 0 , p, r > 0
1+ r
Ejemplos.
1 1
2.17.3.- ∫ Arctg x dx = ∫
3
2 ( x ) dx
3
0 0
1
= 2 (1) − 1 (1) , ( 2.17.2 )
4 2
1
= Arctg1 − ( 2 − 2 Ln2 ) , ( 2.14.3.11)
4
π + 2 Ln2 − 2
=
4
3
2
2.17.4.- ∫ 1 ( x ) dx = 3
2
1 (9) −
3
1 ( 27 ) , ( 2.17.2 )
0 2 2 3
2 3 3
= 3(2 9 − 2Ln(1 + 9)) − . ( 729 − 2 3 27 + 2Ln(1 + 3 27))
3 2
, ( 2.14.3.11, 2.14.3.12 )
= 15 − 16 Ln2
Capítulo II: Fundamentos Teóricos 120
1
p (x ) =
p −1 p (x )
1− p
, x>0
p −1
d 1
2.18.2.- ( p (x ) + p (x )) = (1 ⊕ x − p ) + (1 ⊕ x p )(1 − p)x − p
dx p −1
= (1 ⊕ x − p ) − (1 ⊕ x − p )
=0 , x>0
Luego, existe una constante A(p) tal que, para cada número real x > 0 ,
2.18.3.- p (x ) + p (x ) = A (p)
Ahora bien,
Capítulo II: Fundamentos Teóricos 121
1
2.18.4.- lim
x →∞ p (x ) = lim
p − 1 x→∞ p (x )1− p
, p >1
p −1
=0
α
dx
2.18.8.- ∫ 1+ x
0
p
= p (α ) , α≥0
Capítulo II: Fundamentos Teóricos 122
∞ t
dx dx
2.18.9.- ∫0 1 + x p = lim ∫
t →∞ 1 + x p
0
= lim
t →∞
p (t)
= A ( p)
∞
dx 1 ⎛1 1⎞
2.18.10.- ∫ 1+ x
0
p
= β ⎜ ,1 − ⎟
p ⎝p p⎠
, p >1
π π
= csc
p p
1 ⎛1 1⎞
2.18.11.- A (p) = β ⎜ ,1 − ⎟ , p >1
p ⎝p p⎠
O bien,
π π
2.18.12.- A (p) = csc , p >1
p p
De otro modo,
Capítulo II: Fundamentos Teóricos 123
1 ⎛1 1⎞
2.18.13.- p (0 ) = β ⎜ ,1 − ⎟ , p >1
p ⎝p p⎠
π π
= csc
p p
∞ ∞
∫ Ln (1 + x ) dx = ∫ ( x ) dx ( 2.14.3.9 )
−3
2.19.1.- 1
−3
,
0 0
∞
=∫ 1 ( x ) dx
−3
, ( 2.14.2.6 )
0
∞
⎛ ∞ k 1 ⎞
= ∫ ⎜ ∑ (1 ⊕ x −3 ) .1( ) ⎟ dx
k +1
, ( 2.1)
0 ⎝ k =0 ⎠
∞⎛∞ ⎞
dx ⎟1( k 1)
=∑ ∫ ⎜
k = 0 ⎜ 0 (1 + x ) ⎟
3 k +1
⎝ ⎠
∞
1 ⎛1 1⎞ k 1
= ∑ β ⎜ , k + 1 − ⎟ 1( )
k =0 3 ⎝ 3 3⎠
∞
1 ⎛1 2⎞
= ∑ β ⎜ , k + ⎟ τ1 (1 + k,1)
k =0 3 ⎝ 3 3⎠
,( 2.12.11.3, 2.10.27)
Capítulo II: Fundamentos Teóricos 124
⎛1 2⎞
β⎜ , ⎟
∞
=∑ ⎝
3 3⎠
τ 2 (1, k ) τ1 ( 2, k ) , ( 2.12.7, 2.12.3)
k =0 3 3
⎛1 2⎞
β⎜ , ⎟
∞
=∑ ⎝
3 3⎠
τ 2 ( 2, k ) , ( 2.12.10 )
k =0 3 3
⎛1 2⎞
β⎜ , ⎟
1
= ⎝
3 3⎠
.
2
, ( 2.12.9.1)
3 2 − −1
3
⎛1 2⎞
= β⎜ , ⎟
⎝3 3⎠
π
= π csc
3
2π 3
=
3
Esto es,
∞
2π 3
∫ Ln (1 + x ) dx =
−3
2.19.1.1)
0
3
∞ ∞
2.19.2.- ∫ Arctg x dx = ∫
−4
2 ( x ) dx
−4
0 0
∞
= ∫ x4 2 ( x ) dx
−4
∞
⎛ ∞ k 2 ⎞
= ∫ ⎜ x 4 ∑ (1 ⊕ x −8 ) .1( ) ⎟ dx
k +1
0⎝ k =0 ⎠
Capítulo II: Fundamentos Teóricos 125
⎛∞ ⎞
∞
x4
=∑ ∫ ⎜ dx ⎟ .1( )
k 2
k = 0 ⎜ 0 (1 + x ) ⎟
8 k +1
⎝ ⎠
∞
1 ⎛5 5⎞ k 2
= ∑ β ⎜ , k + 1 − ⎟ .1( )
k =0 8 ⎝ 8 8⎠
∞
1 ⎛5 3⎞ ⎛ 1⎞
=∑ β ⎜ , k + ⎟ .τ1 ⎜ 1 + k, ⎟
k =0 8 ⎝8 8⎠ ⎝ 2⎠
⎛ 5 3⎞
∞
β⎜ , ⎟
⎛3 ⎞
=∑ ⎝
8 8⎠
τ 3 (1, k ) τ1 ⎜ , k ⎟
k =0 8 8 ⎝2 ⎠
⎛ 5 3⎞
∞
β⎜ , ⎟
8 8⎠ ⎛ 3 ⎞
=∑ ⎝ τ3 ⎜ , k ⎟
k =0 8 8 ⎝
2 ⎠
⎛ 5 3⎞ 1
β⎜ , ⎟
= ⎝
8 8⎠ 2
.
8 3 3
− −1
2 8
⎛ 5 3⎞
β⎜ , ⎟
= ⎝
8 8⎠
2
π 3π
= csc
2 8
π 4−2 2
=
2
Esto es,
∞
π 4−2 2
∫ Arctg x
−4
2.19.2.1) dx =
0
2
Capítulo II: Fundamentos Teóricos 126
( x ) dx = πp csc (
α − 1) π
∞
∫
0
p
−α
αp
Demostración.-
En efecto,
∞ ∞
2.19.3.1) ∫ p ( x ) dx = ∫ x
−α α p−α
p ( x ) dx
−α
0 0
∞ ∞
= ∫ (x α p −α ∑ (1 ⊕ x −α p ) .1(
k +1 k p)
) dx
0 k =0
∞ ⎛∞ ⎞
x α p −α ⎟.1( k p )
= ∑⎜ ∫ dx
k = 0 0 (1 + x
⎜ ) ⎟⎠
α p k +1
⎝
∞
1 α −1 α −1 ⎛ 1⎞
=∑ β (1 − ,k + ) τ1 ⎜1 + k, ⎟
k = 0 αp αp αp ⎝ p⎠
∞
1 α −1 α −1 ⎛ 1 ⎞
=∑ β(1 − , ) τ α−1 (1, k ) τ1 ⎜1 + , k ⎟
k = 0 αp αp αp αp ⎝ p ⎠
∞
1 α −1 α −1 ⎛ 1 ⎞
=∑ β(1 − , ) τ α−1 ⎜1 + , k ⎟
k = 0 αp αp αp αp ⎝ p ⎠
1
1 α −1 α −1 p
= β(1 − , ).
αp αp αp 1 + − α − 1 − 1
1
p αp
1 α −1 α −1
= β(1 − , )
p α p αp
Capítulo II: Fundamentos Teóricos 127
=
π
csc
( α − 1) π
p αp
Es claro que la fórmula (2.19.3) incluye los casos (2.19.1) y (2.19.2).
∞ ∞
1
2.19.4) ∫ p ( x ) dx = ∫
p −1
p ( x ) dx
1− p
, p > 1 , (2.18.1)
0 0 p −1
∞
x
= ∫ p −1 p ( x ) dx
1− p
, p >1
0 p −1
∞ ∞ ⎛ p ⎞
x
∑ (1 ⊕ x )
k +1 ⎜k ⎟
= ∫( −p
.1⎝ p −1 ⎠
)dx
0
p −1 k =0
∞ ∞ ⎛ p ⎞
1 x ⎜k ⎟
= ∫( ∑ .1 ⎝ p −1 ⎠
)dx
(1 + x )
k +1
0
p −1 k =0
p
∞
x
2.19.4.1 ∫ dx
(1 + x p )
k +1
0
2.19.4-2)
∞ ⎛∞ ⎞ ⎜⎛ k p ⎞
1 ∞ ⎜ x ⎟
∫
0
p (x ) dx = ∑
p − 1 k = 0 ⎜ ∫0 (1 + x p )k +1
d x ⎟ .1⎝
⎟
p −1 ⎠
, p>2
⎝ ⎠
1 ∞ 1 ⎛2 2⎞ ⎛ p −1⎞
= ∑ β ⎜ , k + 1 − ⎟ τ1 ⎜ 1 + k,
p − 1 k =0 p ⎝ p p⎠ ⎝
⎟
p ⎠
⎛2 2⎞
β ⎜ ,1 − ⎟ ∞
p p⎠ ⎛ p −1 ⎞
= ⎝ ∑ τ 2 (1, k ) .τ1 ⎜ 1 + ,k ⎟
p ( p − 1) k = 0 p
1 −
⎝ p ⎠
⎛2 2⎞
β ⎜ ,1 − ⎟ ∞
p p⎠ ⎛ p −1 ⎞
= ⎝ ∑τ 2 ⎜1 + ,k ⎟
p ( p − 1 ) k = 0 1− p ⎝ p ⎠
⎛2 2⎞ p −1
β ⎜ ,1 − ⎟
p p⎠ p
= ⎝ .
p ( p − 1) p −1 ⎛ 2⎞
1+ − ⎜1 − ⎟ − 1
p ⎝ p⎠
1 ⎛2 2⎞
= β ⎜ ,1 − ⎟
p ⎝p p⎠
π 2π
= csc , p>2
p p
∞
π π π
2.19.5.- ∫
0
4 ( x ) dx =
4
csc =
2 4
, (2.19.4.2)
∞ ∞
1
2.19.5.1) ∫ 4 ( x ) dx = ∫
3
4 ( x ) dx
−3
0 0 3
1 π 2π , (2.19.3)
= . . csc
3 4 3.
4
3 3
π
=
4
concordando con (2.19.5).
Tenemos que,
d d 1
2.19.6.-
dx
p (x ) = (
dx p − 1 p ( x ))
1− p
, p >1
p −1
1
= (1 ⊕ x p ) (1 − p ) x − p
p −1
= − (1 ⊕ x − p )
1
=−
1+ xp
∞ t
dx dx
2.19.6.1 ∫α 1 + x p = lim
t →∞ ∫ 1 + x p
α
, α≥0
Capítulo II: Fundamentos Teóricos 130
t
= lim ( − p (x ) )
t→∞ α
= lim (−
t →∞
p (t) + p ( α ))
Pero lim
t →∞
p (t) = 0 , p >1
Por lo tanto,
∞
dx
2.19.6.2) ∫ 1+ x p
= p (α ) , p > 1, α ≥ 0
α
∞∞ ∞
x2
2.19.7.- ∫0 ∫x 1 + y6 dy dx = ∫0 x
2
6 ( x ) dx , (2.19.6.2)
∞
x2
=∫
5 6 ( x ) dx
−5
0 5
∞
1
= ∫ x3
50 6 ( x ) dx
−5
∞ ∞ ⎛ 6⎞
1
∑ (1 ⊕ x ) −6 k +1 ⎜k ⎟
= ∫ (x 3 .1 ⎝ 5⎠
) dx
50 k =0
∞ ⎛ 6⎞
1 ∞ x3 ⎜k ⎟
= ∑ (∫ dx).1⎝ 5⎠
5 k =0 0 (1 + x 6 ) k +1
1 ∞ 1 ⎛2 2⎞ ⎛ 5⎞
= ∑ β ⎜ , k + 1 − ⎟ .τ1 ⎜ 1 + k, ⎟
5 k =0 6 ⎝ 3 3⎠ ⎝ 6⎠
Capítulo II: Fundamentos Teóricos 131
⎛ 2 1⎞
β⎜ , ⎟ ∞
⎛ 11 ⎞
= ⎝
3 3⎠
∑ τ 1 (1, k ) .τ1 ⎜ , k ⎟
30 k =0 3 ⎝6 ⎠
⎛ 2 1⎞
β⎜ , ⎟ ∞
⎛ 11 ⎞
= ⎝
3 3⎠
∑ τ1 ⎜ , k ⎟
30 k =0 3 ⎝ 6 ⎠
⎛ 2 1⎞ 5
β⎜ , ⎟
= ⎝
3 3⎠ 6
.
30 11 1
− −1
6 3
⎛ 2 1⎞
β⎜ , ⎟
= ⎝
3 3⎠
18
π π
= csc
18 3
π
=
9 3
Esto es,
∞∞
x2 π
2.19.7.1) ∫0 ∫x 1 + y6 dy dx = 9 3
∞ ∞ ∞
x 7 y2 x
2.19.8.- ∫ ∫ 1+ dy dx = ∫ ( x ) dx
− 16
( x y)
7 7
0 x 2
2
0
4 4
∞
1 13
=
4 ∫0
x 7 ( x ) dx
− 16
4
Capítulo II: Fundamentos Teóricos 132
∞∞ ⎛ 7⎞
1
= ∫ (x13 ∑ (1 ⊕ x −28 ) .1⎝
k +1 ⎜ k ⎟
4⎠
) dx
40 k =0
⎛∞ ⎞ ⎛⎜ k 7⎞
1 ∞ ⎜ x13 ⎟
= ∑ ∫
4 k =0 0 (1 + x )
⎜ 28 k +1
dx ⎟ .1⎝
⎟
4⎠
⎝ ⎠
1 ∞ 1 ⎛1 1⎞ ⎛ 4⎞
= ∑ β ⎜ , k + ⎟ .τ1 ⎜ 1 + k, ⎟
4 k =0 28 ⎝ 2 2⎠ ⎝ 7⎠
⎛1 1⎞
β⎜ , ⎟ ∞
⎛ 11 ⎞
= ⎝
2 2⎠
∑ τ 1 (1, k ) .τ1 ⎜ , k ⎟
112 k =0 2 ⎝7 ⎠
π ∞ ⎛ 11 ⎞
= ∑ τ1 ⎜ , k ⎟
112 k =0 2 ⎝ 7 ⎠
4
π 7
= .
112 11 − 1 − 1
7 2
π
=
14
Esto es,
∞ ∞
x 7 y2 π
2.19.8.1) ∫ ∫ 1+ dy dx =
( x y)
7
0 x2
2 14
k = n −1
∑ (1 ⊕ x ) .1(
q + k +1 q , k p)
2.20.1.- (n)
p ,q (x ) = p
, p, q ≥ 0
k =0
2.20.2.- (n )
p ,q (x ) = x 1− p (n )
p ,q (x ) , p, q ≥ 0
(x ) + 1(
q,n p)
2.20.3.1) p ,q (x ) = (n)
p ,q p ,q + n (x )
(x ) + 1(
q,n p)
2.20.3.2) p ,q (x ) = (n )
p ,q p ,q + n (x )
Demostración.-
∑ (1 ⊕ x ) .1(
q + k +1 q , k p)
2.20.3.3) p ,q (x ) = p
k =0
k = n −1 ∞
∑ (1 ⊕ x ) .1( + ∑ (1 ⊕ x p )
q, k p)
.1(
p q + k +1 q + k +1 q, k p)
=
k =0 k =n
∞
(x ) + ∑ (1 ⊕ x p ) .1(
q + n + k +1 q ,n + k p )
= (n)
p ,q
k =0
1(
q ,n + k p )
= 1(
q ,n p )
.1(
q + n ,k p )
2.20.3.4)
∞
(x ) + 1( ∑ (1 ⊕ x )
q , n p)
.1(
q + n + k +1 q+n , k p)
2.20.3.5) p ,q (x ) = (n)
p ,q
p
k =0
Capítulo II: Fundamentos Teóricos 134
(x ) + 1(
q,n p)
= (n )
p ,q p ,q + n (x )
(x ) + 1(
q ,n p)
2.20.3.6) p ,q (x ) = (n)
p ,q p ,q + n (x )
2.20.3.7)
( )
−1
(x ) = 1(
q ,n p )
p, q+n ( p, q (x ) − (n )
p, q (x ) ) , n = 1, 2,... , p>0
( )
−1
(x ) = 1(
0 ,1 2)
2.20.4.- 2 ,1 ( 2 ,0 (x ) − (1)
2,0 (x) ) , (2.20.3.7)
( )
−1
= 1( )
1 2
( 2 (x ) − (1)
2 (x ) )
( )
−1
= 1( )
1 2
( 2 (x ) − (1)
2 (x ) )
k =0
= (1 ⊕ 2 ) ( Arctg x − x −1 ∑ (1 ⊕ x 2 ) .1( )
−1 k +1 k 1
k =0
3
= ( Arctg x − x −1 (1 ⊕ x 2 ))
2
Capítulo II: Fundamentos Teóricos 135
3 x
= ( Arctg x − )
2 1 + x2
2.20.5.- 5 (x ) = 1 (x )
2, 2, + 2
2 2
⎛1 ⎞
⎜ ,2 2 ⎟
⎠ −1
= (1⎝ 2 ) ( 1 (x ) − (2)
1 (x ) ) , (2.20.3.7)
2, 2,
2 2
Pero,
⎛1 ⎞
⎜ ,2 2 ⎟ 3 5 5
2.20.5.1) 1⎝ 2 ⎠
= (1 ⊕ 3)(1 ⊕ 5 ) = . =
4 6 8
1
2.20.5.2) 1 (x ) = 2(1 − ) , (2.14.3.21)
2,
2 1+ x2
k =1 1 ⎛1 ⎞
∑ (1 ⊕ x )
+ k +1 ⎜ , k 2⎟
2.20.5.3) (2)
1 (x ) = 2 2 .1⎝2 ⎠
2,
2 k =0
3 5 ⎛1 ⎞
= (1 ⊕ x ) + (1 ⊕ x )
⎜ , 1 2⎟
2 2 2 2 ⎝2 ⎠
.1
3 5
3
= (1 ⊕ x 2 ) 2 + (1 ⊕ x )
2 2
luego,
3 3
8 2 3
2.20.5.4) 5 (x ) = (2 − − (1 ⊕ x 2 ) 2 − (1 ⊕ x 2 ) 2 )
2,
2 5 1+ x2 4
Capítulo II: Fundamentos Teóricos 136
2.20.6.- 4 (x ) = 1 (x )
1, 1, + 1
3 3
⎛1 ⎞
⎜ ,1 1⎟
⎠ −1
= (1 ⎝3
) ( 1 (x ) − (1)
1 (x ) )
1, 1,
3 3
Pero,
⎛1 ⎞
⎜ ,1 1⎟ 4 4
2.20.6.1) 1⎝3 ⎠
= 1⊕ =
3 7
3 3 2
2.20.6.2) 1 (x ) = ( x − 2 3 x + 2Ln (1 + 3
x) , (2.14.3.12)
1,
3 2
k =0 ⎛1 ⎞
1 ⎜ , k 1⎟
∑ (1 ⊕ x )
+ k +1
2.20.6.3) (1)
1 (x ) = 3 ⎝3
.1 ⎠
1,
3 k =0
4
= (1 ⊕ x ) 3
luego,
4
7 3 3 2
2.20.6.4) 4 (x ) = ( ( x − 2 3 x + 2Ln (1 + 3
x )) − (1 ⊕ x ) 3 )
1,
3
4 2
real α ≠ −1 .
Ejemplos:
3
2.20.7.1) 1 ⊕ (−3) =
2
1 1
2.20.7.2) 1 ⊕ (− ) = −
5 4
En general,
⎛ a⎞ a
2.20.7.3) 1⊕ ⎜ − ⎟ = , a ≠ b.
⎝ b ⎠ a −b
negativo k ; la notación 1(
q ,k p )
será usada con el siguiente significado:
1(
q ,0 p )
2.20.8.1) =1
1(
q, k p)
= (1 ⊕ ( q + k ) p ) .1(
q , k −1 p )
2.20.8.2) , k = 1, 2,...
Ejemplos.
1(
−2,4 3)
2.20.9.- . Obsérvese que en este caso se tiene que para cada i, 0 < i ≤ 4,
( −2,4 3)
3( −2 + i ) ≠ −1 . Luego, 1 está definido con arreglo a (2.20.8.2).
2.20.9.1)
1(
−2, 4 3)
= (1 ⊕ ( −2 + 1)3)(1 ⊕ (−2 + 2)3)(1 ⊕ (−2 + 3)3)(1 ⊕ (−2 + 4)3)
⎛ 1⎞
⎜ −5 , 3 ⎟ ⎛ ⎛ 4 ⎞ ⎞⎛ ⎛ 3 ⎞ ⎞⎛ ⎛ 2 ⎞ ⎞
2.20.10.- 1 ⎝ 7⎠
= ⎜1 ⊕ ⎜ − ⎟ ⎟⎜1 ⊕ ⎜ − ⎟ ⎟⎜1 ⊕ ⎜ − ⎟ ⎟
⎝ ⎝ 7 ⎠ ⎠⎝ ⎝ 7 ⎠ ⎠⎝ ⎝ 7 ⎠ ⎠
4 3 2
= (− )(− )(− )
3 4 5
2
=−
5
⎛ 1⎞
⎜ −4 , 5 ⎟
⎝ 2⎠
2.20.11.- 1 no está definido con arreglo a (2.20.8.2), puesto que
1
(− 4 + 2) = −1 .
2
k = n −1
(1 ⊕ x p ) q + k +1 .1(
q , k p)
2.20.12.- (n)
p ,q (x ) = ∑
k =0
, (2.20.1)
(q , k p)
En efecto, para que (n )
p ,q (x) exista, debe estar definido 1 con arreglo a
1
que (−4 + 2) = −1 . Sin embargo, (2)
1 (x ) está definida y toma el valor
2 2
, −4
k =1 1 ⎛ 1⎞
⎜ − 4, k ⎟
2.20.12.1) (2)
1
, −4
(x ) = ∑ (1 ⊕ x
k =0
2
) − 4 + k +1 ⎝
.1 2⎠
1 ⎛ 1⎞ 1
⎜ −4, 1 ⎟
2 −3 2 −2
= (1 ⊕ x ) + 1 ⎝ 2⎠
(1 ⊕ x )
1 1
3
= (1 ⊕ x ) + (1 ⊕ (− ))(1 ⊕ x 2 ) −2
2 −3
2
1 1
2 −3 2 −2
= (1 ⊕ x ) + 3(1 ⊕ x )
2.20.13.- Definiciones.-
2.20.13.1) 1, − 2 (x ) = (1 ⊕ x ) −1 − Ln x
Capítulo II: Fundamentos Teóricos 140
2.20.13.2) Si p (q + 1) = −1,
p, q (x) = x (1 ⊕ x p ) q − 1, q (x − p )
2.20.13.3) Si p (q + 1) ≠ −1,
(x ) = x 1− p (1 ⊕ x p ) q + 1(
q,1 p)
p, q p , q +1 (x )
Puede probarse por simple derivación que las funciones definidas en (2.20.13)
siguen la misma regla de derivación demostrada en el Teorema (2.14.3) o su forma
equivalente (2.14.3.2).
d
2.20.14.1) p, q (x ) = (1 + pq)x − p (1 ⊕ x p ) q +1
dx
= (1 + (−1)) x − p (1 ⊕ x p ) q +1
Capítulo II: Fundamentos Teóricos 141
=0
mostrando que p, q
es una función constante en el intervalo abierto ( 0, ∞ ) .
p, q+n
están definidos, (aunque por razones diferentes).
(x ) + 1(
q , n p)
2.20.14.2) p, q (x ) = (n )
p ,n p, q+n (x )
Donde,
2.20.14.3) (n )
p ,n (x ) = x 1− p (n )
p ,q (x)
k = n −1
∑ (1 ⊕ x ) .1(
p q + k +1 q, k p)
= x1− p
k =0
k = n −1
= x1− p (1 ⊕ x p ) ∑ (1 ⊕ x ) .1(
q +1 p k q, k p)
k =0
k = n −1
= x1− p . x pq + p (1 ⊕ x − p ) ∑ (1 ⊕ x ) .1(
q +1 p k q, k p)
(1 + )
k =1
k = n −1
1
∑ (1 ⊕ x ) .1(
p k q, k p)
= (1 + ) , pq = −1, n > 1
(1 + x ) p q +1
k =1
2.20.14.4) (n)
p ,n (0) = 1 , pq = − 1
2.20.14.6) p, q (0) = 1 , pq = −1
2.20.14.7) p, q ( x) = 1 , pq = −1 , x≥0
p, −n ( x) = (n )
p ,− n (x ) , x>0
(x ) + 1(
p)
2.20.15.1) p, −n ( x) = (n )
p ,− n
−n , n
p, 0 ( x)
Capítulo II: Fundamentos Teóricos 143
Pero, 1(
− n, n p)
=0
Luego,
2.20.15.2) p, −n ( x) = (n )
p ,− n (x)
Ejemplos.-
2.20.15.3) p , −1 ( x) = (1)
p , −1 (x )
= x1− p (1)
p , −1 (x )
k =0
= x1− p ∑ (1 ⊕ x p ) −1+ k +1.1(
−1, k p )
k =0
k =0
= x1− p ∑ (1 ⊕ x p ) k .1(
−1, k p )
k =0
= x1− p , x>0
2.20.15.4) 1, −1 ( x) = 1 , x>0
2.20.15.5) p, −2 ( x) = (2)
p ,−2 (x ) , p ≠1
= x1− p (2)
p, −2 (x)
k =1
= x1− p ∑ (1 ⊕ x p ) −2+ k +1.1(
−2, k p )
k =0
= x1− p (1 + x − p + (1 ⊕ − p))
p
= x1− p (1 + x − p + )
p −1
2 p − 1 1− p 1− 2 p
= x +x , p ≠ 1, x > 0
p −1
2.20.15.6) 1, − 2 ( x) = (1 ⊕ x) −1 − Ln x , x>0
⎛ 1 ⎞
⎜⎜ − p , n p ⎟⎟ −1
n p −1 ( x) = (1 ⎝ ⎠
) (1 − (n )
1 (x ) )
p, p, −
p p
⎛ 1 ⎞
⎜⎜ − p , n p ⎟⎟
2.20.16.1) n p −1 ( x) = (1 ⎝ ⎠ −1
) ( 1 ( x) − (n )
1 (x ) )
p, p, − p, −
p p p
luego,
⎛ 1 ⎞
⎜⎜ − , n p ⎟⎟
⎠ −1
2.20.16.2) n p −1 ( x) = (1 ⎝ p
) ( 1− (n )
1 (x ) )
p, p, −
p p
Ejemplos.-
2.20.16.3) 1 ( x) = 1 ( x)
2, 2, − + 1
2 2
Capítulo II: Fundamentos Teóricos 146
⎛ 1 ⎞
⎜ − ,1 2 ⎟
⎠ −1
= (1 ⎝ 2
) (1 − (1)
1 (x ) ) , (Prop. 2.20.16)
2, −
2
⎛ 1 ⎞
⎜ − ,1 2⎟ 1 1
Pero, 1 ⎝ 2 ⎠
= 1 ⊕ (− + 1) 2 = 1 ⊕ 1 =
2 2
(1)
1 (x ) = x − 1 (1)
1 (x)
2, − 2, −
2 2
k =0 1 ⎛ 1 ⎞
− + k +1 ⎜ − , k 2⎟
=x −1
∑ (1 ⊕ x )
k =0
2 2
.1 ⎝ 2 ⎠
1
= x −1 (1 ⊕ x 2 ) 2
1
=
1 + x2
luego,
1
2.20.16.4) 1 ( x) = 2( 1 − )
2,
2 1 + x2
2.20.16.5) 2 ( x) = 1 ( x)
3, 3, − + 1
3 3
Capítulo II: Fundamentos Teóricos 147
⎛ 1 ⎞
⎜ − , 1 3⎟
⎠ −1
= (1 ⎝ 3
) (1 − (1)
1 (x) ) , (Prop. 2.20.16)
3, −
3
3 1
= (1 − 2
)
2
(1 + x ) 3 3
p 1
2.20.16.6) p −1 ( x) = (1 − p −1
)
p, p −1
p
(1 + x ) p p
2.20.16.7) 2 1 ( x) = 2 5 ( x)
, ,− +3
5 2 5 2
⎛ 5 2⎞
⎜− , 3 ⎟
5 ⎠ −1
= (1 ⎝ 3
) (1 − (3)
2 5 (x ) )
,−
5 2
Pero,
⎛ 5 2⎞
⎜− ,3 ⎟ ⎛ 5 2 ⎞⎛ 5 2 ⎞⎛ 5 2⎞
2.20.16.8) ⎝ 2
1 5⎠
= ⎜1 ⊕ (− + 1) ⎟⎜1 ⊕ (− + 2) ⎟⎜1 ⊕ (− + 3) ⎟
⎝ 2 5 ⎠⎝ 2 5 ⎠⎝ 2 5⎠
⎛ 3 ⎞⎛ 1 ⎞⎛ 1⎞
= ⎜ 1 ⊕ (− ) ⎟ ⎜ 1 ⊕ (− ) ⎟⎜ 1 ⊕ ⎟
⎝ 5 ⎠⎝ 5 ⎠⎝ 5⎠
Capítulo II: Fundamentos Teóricos 148
⎛ 3 ⎞ ⎛ 1 ⎞⎛ 1 ⎞
= ⎜ − ⎟ ⎜ − ⎟⎜ ⎟
⎝ 2 ⎠ ⎝ 4 ⎠⎝ 6 ⎠
1
=
16
3
2.20.16.9) ( 3)
2 5 (x ) = x 5 (3)
2 5 (x )
,− ,−
5 2 5 2
3 k =2 2 5 ⎛ 5 2⎞
− + k +1 ⎜− , k ⎟
=x 5
∑ (1 ⊕ x
k =0
5 2
) .1 ⎝ 2 5⎠
3 2 3 ⎛ 5 2⎞ 2 1 ⎛ 5 2⎞ 2 1
− ⎜ − ,1 ⎟ − ⎜− , 2 ⎟
= x 5 ((1 ⊕ x 5 ) 2
+ 1⎝ 2 5⎠
(1 ⊕ x 5 ) 2
+ 1⎝ 2 5⎠
(1 ⊕ x 5 ) 2 )
3 3 2 1 2
− − −
3
⎛ 3⎞ − − −
1
3 1 −
2 1
. = x 5 ( x 5 (1 ⊕ x 5 ) 2
+ ⎜ − ⎟ x 5 (1 ⊕ x 5 ) 2 + x 5 (1 ⊕ x 5 ) 2 )
⎝ 2⎠ 8
1
2 3 2 2 1
3 3x 5
= (1 + x ) − x (1 + x ) +
5 5 5 5 2
2 1
2
8(1 + x ) 2 5
1
2 3 2 2 1
6x 5
2.20.16.10) 2 1 ( x) = 16 − 16(1 + x ) − 24 x (1 + x ) +
5 5 5 5 2
, 2
5 2
1+ x5
Capítulo II: Fundamentos Teóricos 149
1(
− 1, 3 1)
no está definido.
siguiente procedimiento:
2.20.17.- 1, 2 ( x) = 1, 0 + 2 ( x)
= (1(
0, 2 1) −1
) ( 1,0 ( x) − (2)
1, 0 (x ) )
= (1( ) ) −1 (
2 1
1 ( x) − (2)
1 (x ) )
1 2 1
Pero, 1( ) = (1 ⊕ 1)(1 ⊕ 2) = . =
2 1
2 3 3
1 ( x) = Ln (1 + x)
(2)
1 (x ) = (2)
1 (x )
k =1
= ∑ (1 ⊕ x) k +1.1( )
k 1
k =0
= (1 ⊕ x) + (1 ⊕ x) 2 .1( )
1 1
Capítulo II: Fundamentos Teóricos 150
(1 ⊕ x) 2
= (1 ⊕ x) +
2
luego,
(1 ⊕ x) 2
2.20.17.1) 1, 2 ( x ) = 3( Ln (1 + x ) − (1 ⊕ x ) − ) , x≥0
2
⎛1⎞ ⎛1⎞
⎜ ⎟= ⎜ ⎟
⎝α ⎠
1, q 1,q
⎝α⎠
∞ q + k +1
⎛ 1⎞
.1(
q , k 1)
= ∑ ⎜1 ⊕ ⎟
k =0 ⎝ α⎠
∞
1
=∑ q + k +1 1+ q (
τ 1 + q + k ,1) , (Teor. 2.12.11)
k = 0 (1 + α )
∞
1
=∑ τ 1+ q ( q + k ,1)
k =1 (1 + α ) q + k
1 ∞
1+ q
=
(1 + α ) q
∑ (k + q)(1 + α )
k =1
k
Esto es,
Capítulo II: Fundamentos Teóricos 151
⎛1⎞ 1+ q ∞
1
2.20.18.1) ⎜ ⎟=
⎝ α ⎠ (1 + α )
∑ , q > − 1, α > 0
( k + q )(1 + α )
1,q q k
k =1
∞
1
2.20.18.2) Ln 2 = ∑
k =1 k .2
k
Capítulo II: Fundamentos Teóricos 152
p, q (x ) = x (1 ⊕ x p ) q −1 − p , q −1 ( x) , x>0
Ejemplos.-
2.21.1.1) p, 0 (x ) = x (1 ⊕ x p ) − 1 − p , −1 ( x)
= x(1 + x − p ) − x1− p
=x
Es decir,
p, 0 (x ) = x , x≥0
2.21.1.2) 0, q (x ) = x (1 ⊕ x 0 ) q −1 − 0, q −1 ( x)
x x
= q −1
−
2 2q
x
=
2q
Capítulo II: Fundamentos Teóricos 153
Esto es,
x
0,q (x ) = , x≥0
2q
2.21.1.3) p, 1 (x ) = x − 1 ( x)
Si p = 1 y p = 2 se tiene respectivamente,
1, 1 (x ) = x − Ln (1 + x ) , x≥0
2, 1 (x ) = x − ArcTg (x ) , x≥0
1
(x ) = x (1 ⊕ x 2 ) ( x)
−
2.21.1.4) 1
2 − 1
2, 2, −
2 2
1
= x(1 + x −2 ) 2 − 1
= 1 + x2 − 1
Esto es,
1 (x ) = 1 + x 2 − 1 , x≥0
2,
2
Capítulo II: Fundamentos Teóricos 154
2.21.2.- Teorema.-
d
p,q (x ) = (1 ⊕ x p ) q , x>0
dx
Demostración.-
d
2.21.2.1) p,q (x ) = (1 ⊕ x p ) q −1 + p(q − 1)x − p (1 ⊕ x p ) q − (1 + p(q − 1))x − p (1 ⊕ x p ) q
dx
= (1 ⊕ x p ) q −1 − x − p (1 ⊕ x p ) q
= (1 ⊕ x p ) q −1 − ((1 ⊕ x p ) q −1 − (1 ⊕ x p ) q )
= (1 ⊕ x p ) q
├
1 1
x3 x3
2.21.3.1) ∫ (1 + x 2
) 1 + x2
dx = ∫ 3
dx
0 0
(1 + x ) 2 2
1 3
= ∫ x 3 (1 ⊕ x −2 ) 2 dx
0
1 3
= ∫ (1 ⊕ x 2 ) 2 dx
0
= 3 (x ) 1
0 , (Teor. 2.21.2)
2,
2
Capítulo II: Fundamentos Teóricos 155
= 3 (1) − 3 (0)
2, 2,
2 2
Pero,
1
2.21.3.2)
2,
3 (x ) = x (1 ⊕ x 2 ) 2 −
2,
1 ( x) , (Def. 2.21.1)
2 2
Además,
1
2.21.3.3) 1 ( x ) = 2(1 − ) , (2.20.16.4)
2,
2 1 + x2
Luego,
1
1
2.21.3.4) 3 (x ) = x (1 ⊕ x ) − 2(1 −
2 2
), (2.21.3.2)
2,
2 1+ x2
De donde,
3 2−4
2.21.3.5) 3 (0) = 0 , 3 (1) =
2,
2
2,
2 2
Por lo tanto,
1
x3 3 2 −4
2.21.3.6) ∫ (1 + x )
0
2
1 + x2
dx =
2
, (2.21.3.1)
Capítulo II: Fundamentos Teóricos 156
1 1
x14
∫0 (1 + x6 )2 dx = ∫0 x (1 ⊕ x ) dx
14 −6 2
2.21.3.7)
1
= ∫ x 2 (1 ⊕ x 6 ) 2 dx
0
1
= 2, 2 (x 3 ) 1
0 , (Teor. 2.21.2)
3
1
= ( 2, 2 (1) − 2, 2 (0))
3
Pero,
Además,
3 x
2.21.3.9) 2,1 ( x) = ( ArcTg x − ) , (2.14.3.19)
2 1 + x2
Luego,
3 x
2.21.3.10) 2, 2 (x ) = x (1 ⊕ x 2 ) − (Arctg x − )
2 1+ x2
10 − 3 π
2.21.3.11) 2, 2 (0) = 0 , 2, 2 (1) =
24
10 − 3π
1
x14
2.21.3.12) ∫0 (1 + x6 )2 dx = 24
2 2
x5
∫0 (1 + x3 )2 dx = ∫0 x (1 ⊕ x ) dx
5 −3 2
2.21.3.13)
2
= ∫ x −1 (1 ⊕ x 3 ) 2 dx
0
2
= ∫ x 2 .x −3 (1 ⊕ x 3 ) 2 dx
0
2
= ∫ x 2 ((1 ⊕ x3 ) −(1 ⊕ x 3 ) 2 ) dx
0
1 1
= 1, 1 (x 3 ) 2
0 − 1, 2 (x 3 ) 2
0
3 3
1 1
= 1, 1 (8) − 1, 2 (8)
3 3
2.21.3.14) 1, 1 (x ) = x − Ln (1 + x )
1, 2 (x ) = x (1 ⊕ x ) − 1,1 ( x)
= x (1 ⊕ x ) − 2( Ln (1 + x ) − (1 ⊕ x ))
De (2.21.3.14) se tiene,
80
1, 2 (8) = − 4Ln (3)
9
2
x5 2
2.21.3.16) ∫0 (1+ x3 )2 dx = 27 ( 9 Ln 3 − 4 )
2.22.1.- p, q (x ) = x (1 ⊕ x p ) q −1 − p , q −1 ( x) , x>0
Capítulo II: Fundamentos Teóricos 159
p
p −1 (x ) = 1 + x p − 1
p,
p
Demostración.-
1
−
2.22.2.1) p −1 (x ) = x (1 ⊕ x )
p p
− 1 (x )
p, p, −
p p
1
= (1 ⊕ x − p )
−
p −1
1
= (1 + x p ) p − 1
= 1+ x p −1
p
Por ejemplo,
2.22.2.2) 1 (0) = 0
, −2
3
Capítulo II: Fundamentos Teóricos 160
= x(1 + 2 x −1 + x −2 ) − (1 + x −1 ) + Ln x
= 1 + x + Ln x , x>0
La función 1, −1
no está definida en x = 0 .
2.22.3.-Teorema.- Si pq ≠ −1 , entonces
p, q (x ) = x (1 ⊕ x p ) q − (1 ⊕ pq ) p, q ( x) , x>0
Demostración.-
2.22.3.1) p, q (x ) = x (1 ⊕ x p ) q −1 − p , q −1 ( x) , x>0
Pero pq ≠ −1 implica,
2.22.3.2) p , q −1 ( x) = (1)
p , q −1 (x ) + 1(
q −1, 1 p )
p, q ( x)
= x1− p (1 ⊕ x p ) q + (1 ⊕ pq) p, q ( x)
Capítulo II: Fundamentos Teóricos 161
Luego,
2.22.3.3) p, q (x ) = x (1 ⊕ x p ) q −1 − x 1− p (1 ⊕ x p ) q − (1 ⊕ pq) p, q ( x)
= x (1 ⊕ x p ) q − (1 ⊕ pq) p, q ( x)
├
2.22.4.-Teorema.- Si q ≥ 0 , entonces p, q
admite una extensión continua a
x = 0 y además, p, q (0) = 0 .
2.22.5.-Teorema.- Si q ≥ 0 , entonces,
1
p, q (x ) − p , q +1 (x ) = p, q ( x) , x≥0
1 + pq
continua en x = 0 y además,
1
= p, q ( 0) , q≥0
1 + pq
2.22.5.2)
d
( p, q (x ) − p , q +1 (x)) = (1 ⊕ x p ) q − (1 ⊕ x p ) q +1 , x>0
dx
= x − p (1 ⊕ x p )q +1
d 1
= ( p, q ( x ))
dx 1 + pq
├
Capítulo II: Fundamentos Teóricos 163
∫ p ,q ( x ) dx = α
r
p ,q (α ) − (1 ⊕ r )
r
p (1⊕ r ), q (α )1+ r
α α
2.23.1.1) ∫ p ,q ( x ) dx = α
r
p ,q (α ) − r (1 + pq)∫ x
r r − pr
(1 ⊕ x pr ) q +1 dx
0 0
α
=α p ,q (α ) − r (1 + pq)∫ x ((1 ⊕ x
r r pr q
) − (1 ⊕ x pr ) q +1 ) dx
0
=α p ,q (α ) − r (1r++ pq
r
1
)
( pr
,q
( α r +1 ) − pr
, q +1
( α r +1 ) )
r +1 r +1
=α p ,q (α ) − (1 ⊕ r )(1 + pq)(
r
p (1⊕ r ), q ( α r +1 ) − p(1⊕ r ), q +1 (α r +1 ))
=α p ,q (α ) − (1 ⊕ r )
r
p (1⊕ r ), q (α ) ,
1+ r
(Teor. 22.5)
├
Capítulo II: Fundamentos Teóricos 164
∫ p ,q ( x ) dx = α
r
p ,q (α ) − (1 ⊕ r )
r
p (1⊕ r ), q (α )
1+ r
α α
2.23.2.1) ∫ p ,q ( x ) dx = α
r
p ,q (α ) − r ∫ x (1 ⊕ x
r r
) dx
pr q
0 0
=α p ,q (α ) − r r+ 1
r
pr
,q
(α )
r +1
r +1
=α p ,q (α ) − (1 ⊕ r )
r
p (1⊕ r ), q (α )
r +1
1 y 1 y
x7
∫0 ∫0 1 + x6 dx dy = ∫0 ∫0 x (1 ⊕ x ) dx dy
7 −6
2.23.3.1)
1 y
= ∫ ∫ x (1 ⊕ x 6 ) dx dy
0 0
1
1
(x )
x= y
= ∫( 3,1
2
)dy
0
2 x =0
Capítulo II: Fundamentos Teóricos 165
1
1
=
2 ∫0
3,1 ( y ) dy
2
1 2
= ( 3,1 (1) − 2,1 (1) ) , (Teor. 2.22.4)
2 3
1 2
= (1 − 3 (1) − (1 − 2 (1))
2 3
1 1 2
= ( + 2 (1) − 3 (1))
2 3 3
π
Pero: 2 (1) = , (2.14.3.10)
4
π 3 Ln 2
3 (1) = + , (2.14.3.16)
9 3
De donde,
1 y
x7 1 2 3 − 3 π Ln 2 ( )
2.23.3.2) ∫0 ∫0 1 + x6 dx dy =
6
−
36
−
6
1 1
2 2
2.23.3.3) ∫
3
1 + x 3 dx = ∫ (1+
3,
2 ( x ) dx)
0 0 3
Capítulo II: Fundamentos Teóricos 166
1 1 ⎛1⎞ 1 ⎛1⎞
= + 2 ⎜ ⎟− 3 2 ⎜ ⎟
2 2 3,
3 ⎝2⎠ 2 ,
2 3 ⎝4⎠
1 ⎛1⎞ 1 ⎛1⎞
= (1 + 2 ⎜ ⎟)− 3 2 ⎜ ⎟
2 3,
3 ⎝2⎠ 2 ,
2 3 ⎝4⎠
13 1 1 ⎛1⎞
= 1+ − 3 2 ⎜ ⎟ , (Prop. 2.22.2)
2 8 2 ,
2 3 ⎝4⎠
Ahora bien,
3 2
2.23.3.4) 3 2 ( x ) = x (1 ⊕ x ) − (1 ⊕ 1) ( x)
2 3
3 2
, ,
2 3 2 3
luego,
⎛1⎞ 1 1 23 1 ⎛1⎞
2.23.3.5) 3 2⎜ ⎟ = (1 ⊕ ) − 3 2 ⎜ ⎟
, ⎝4⎠
2 3
4 8 2 ,
2 3 ⎝4⎠
1
2
17 3 9 1 ⎛1⎞
∫ 1 + x 3 dx = +
3
2.23.3.6) 3 2 ⎜ ⎟
0
72 4 ,
2 3 ⎝4⎠
Pero,
⎛1⎞ ⎛1⎞
2.23.3.7) 3 2 ⎜ ⎟=2 3 2 ⎜ ⎟
,
2 3 ⎝4⎠ ,
2 3 ⎝4⎠
Capítulo II: Fundamentos Teóricos 167
5
∞ +k ⎛2 3⎞
⎛ 1 ⎞3 ⎜ ,k ⎟
= 2∑ ⎜1 ⊕ ⎟ .1⎝ 3 2⎠
k =0 ⎝ 8⎠
∞
1 ⎛5 2⎞
= 2∑ 5
τ 5 ⎜ + k, ⎟
k =0 +k 3
3 ⎝ 3 ⎠
9 3
∞
23 9 1 ⎛7 ⎞
= (1 + ∑ k τ 5 ⎜ , k ⎟)
81 k =1 9 3 ⎝3 ⎠
23 9 ∞
5.8.11.L.(2 + 3k )
= (1 + ∑ k )
81 k =1 9 .7.10.13.L (4 + 3k )
1
2 3
9 157 ∞ 5.8.11.L.(2 + 3k )
2.23.3.8) ∫
3
1 + x 3 dx = ( +∑ k )
0
162 4 k =1 9 .7.10.13.L (4 + 3k )
Capítulo II: Fundamentos Teóricos 168
1
p, q (x ) = p (x 1− p ) , x>0
pq − 1 p −1
, q −1
p, q
.
En efecto,
1
p, 1 (x ) =
p −1 p
,0
(x )
1− p
, (2.24.1)
p −1
1
=
p −1 p (x )
1− p
p −1
= p (x ) , (2.18.1)
Capítulo II: Fundamentos Teóricos 169
2.24.2 Teorema.-
lim p ,q (x ) = 0
x →∞
Tenemos que,
∞ ⎛ p ⎞
⎜ q −1, k
= lim( x∑ (1 ⊕ x )
⎟
− p q+k ⎝ p −1 ⎠
.1 )
x →∞
k =0
∞ ⎛ p ⎞
⎜ q −1, k
= lim( x (1 ⊕ x ) ∑ (1 ⊕ x )
⎟
−p q −p k ⎝ p −1 ⎠
.1 )
x →∞
k =0
∞ ⎛ p ⎞
⎜ q −1, k
(1 ⊕ x ) (1 + ∑ (1 ⊕ x )
⎟
1− pq p q −p k p −1 ⎠
= lim( x .1 ⎝
)
x →∞
k =1
2.24.3 Teorema.-
d
p ,q (x ) = − (1 ⊕ x − p ) q , x>0
dx
d 1 p(q − 1) p
2.24.3.1) p ,q (x ) = (1 + x (1 ⊕ x − p ) q (1 − p)x − p ) q
dx pq − 1 p −1
= −(1 ⊕ x − p ) q
├
∞
dx
∫
α (1 + x
p q
)
= p ,q (α )
Demostración.-
∞ t
dx dx
2.24.4.1) ∫α (1 + x p )q = lim ∫
t →∞ (1 + x p ) q
α
= lim(−
t
p ,q (x ) α
) , (Teor. 2.24.3)
t →∞
Capítulo II: Fundamentos Teóricos 171
= lim(− p ,q (t) + p ,q ( α ))
t →∞
= p ,q (α ) , (Teor. 2.24.2)
∞
xr 1
∫ dx = ( α r +1 ) , α>0
(1 + x ) r +1 p
p q ,q
α r +1
∞
dx
2.24.6.1) ∫ = (1) , (Teor. 2.24.2)
(1 + x ) 3 2
3,2
1
1
= 3 (1)
5 2
,1
5 1
Pero 3 (1) = ( 3 (1) − )
2
,1 3 2 2
Luego
Capítulo II: Fundamentos Teóricos 172
∞
dx 1 1
2.24.6.2) ∫ = ( (1) − )
(1 + x ) 3 2 3
1
3 2 2
Por otra parte, 3 (1) está relacionado con 3 (1) , con arreglo a la Def.
2
(2.18.1).Así se obtiene,
4π 3
2.24.6.3) 3 (1) = −2 3 (1)
2 9
Ahora bien,
π 3 ln 2
2.24.6.4) 3 (1) = + , (2.14.3.16)
9 3
Entonces,
2 π 3 2 ln 2
2.24.6.5) 3 (1) = −
2 9 3
∞
dx 2π 3 2 Ln 2 1
2.24.6.6) ∫ = − −
1 (1 + x ) 3 2 27 9 6
1 ∞ ∞
x x x
2.24.6.7) ∫ dx = ∫ dx − ∫ dx
(1 + x )
4 2
(1 + x )
4 2
(1 + x4 )
2
0 0 1
Capítulo II: Fundamentos Teóricos 173
1 ⎛1 3⎞ 1
= β ⎜ , ⎟− 2 ,2 (1) , (2.24.5)
4 ⎝2 2⎠ 2
1 ⎛1 1⎞ 1
= β ⎜ , ⎟τ 1 (1,1) − 2 ,1 (1)
4 ⎝2 2⎠ 2 6
π 1 ⎛ 3π 3 ⎞
= − ⎜ − ⎟
8 6⎝ 8 4⎠
π +2
=
16
∞
x 1
2.24.6.8) ∫ dx = (4)
(1 + x )
5 2 5
2
2 2
,2
1 1
= 5 ( )
8 3
,1 8
1 1
= 5 ( )
2 3
,1 8
⎛ 5⎞
1 ∞ 1 ⎜1, k ⎟
= ∑ (1 ⊕ ) k + 2 .1⎝ 3⎠
2 k =0 32
1 ∞ 1 ⎛ 3⎞
= ∑
2 k = 0 33
τ 2 + k, ⎟
2+ k 2 ⎜
⎝ 5⎠
Capítulo II: Fundamentos Teóricos 174
1 ∞ 1 ⎛ 13 ⎞
= ( ∑ k + 2 τ 2 ⎜ , k ⎟)
2 k =0 33 ⎝5 ⎠
(k + 1)!
∞ k
1 ⎛ 5 ⎞
= (1 + ∑ ⎜ ⎟ )
2178 k =1 ⎝ 33 ⎠ 13.18.L .(8 + 5k )
≈ 0.0004701168975
Esto es,
∞
x
2.24.6.9) ∫
2 (1 + x )
5 2
dx ≈ 0.0004701168975
∞∞ ∞
dx dy
2.24.6.10) ∫∫ =∫ ( y) dy
(1 + x )
4 2
4 ,2
0 y 0
∞
1
7 ∫0
= 4 (y − 3 ) dy
,1
3
∞
1
7 ∫0
= y 4 (y − 3 ) dy
,1
3
∞
∞ ⎛ 4⎞
1 ⎜ 1, k ⎟
= ∫ ( y ∑ (1 ⊕ y −4 ) 2+ k .1⎝ 3⎠
) dy
7 0 k =0
∞
1 ∞ y ⎛ 3⎞
= ∑ (∫ 4 2+ k
7 k = 0 0 (1 + y )
dy ) τ 2 ⎜ 2 + k , ⎟
⎝ 4⎠
Capítulo II: Fundamentos Teóricos 175
1 ∞ 1 1 3 ⎛ 11 ⎞
= ∑ β ( , + k) τ2 ⎜ , k ⎟
7 k =0 4 2 2 ⎝4 ⎠
1 ∞ 1 3 ⎛ 11 ⎞
= ∑ β ( , ) τ 3 ( 2, k ) τ 2 ⎜ , k ⎟ , (2.12.5)
28 k =0 2 2 2 ⎝4 ⎠
1 1 3 ∞ ⎛ 11 ⎞
= β ( , )∑ τ 3 ⎜ , k ⎟ , (2.12.10)
28 2 2 k =0 2 ⎝ 4 ⎠
7
π 4
= . , (2.12.15.6)
56 11 − 3 − 1
4 2
π
=
8
Esto es,
∞∞
dx dy π
2.24.6.11) ∫∫ =
0 y (1 + x )
4 2 8
Capítulo II: Fundamentos Teóricos 176
x
2.25.1.- 0, q ( x) = q +1
, x≥0
2
2.25.4.- 1, −1 ( x) = 1 , x ≥ 0
3
2.25.9.- 1 1 ( x) = ( x 1 ⊕ x + 1 ⊕ x − Ln( x + 1 + x )) , x≥0
,−
2 2 2
3 3 2
2.25.14.- 1 ( x) = ( x − 2 3 x − 2 Ln(1 + 3 x )) , x≥0
3 2
5
2.25.16.- 2 ( x) = ( 5 x 3 − 3 5 x + 3 ArcTan 5 x ) , x≥0
5 3
1 3x 3 2x −1 π 3
2.25.18.- 3 ( x) = 1 ( )+ ArcTan( )+ , x≥0
6 1− x + x 2
3 3 18
2 3 4
1 1 5 5 5
x x x
2.25.19.- 1 ( x) = 5( Ln(1 + x ) − x + 5 5
− + ) , x≥0
5 2 3 4
3 5
1 7 1 7
x x
2.25.20.- 2 ( x ) = 7( x − − − ArcTan( x 7 )) , x≥0
7
7 3 5
Capítulo II: Fundamentos Teóricos 178
x+ y
2.25.21.- 2 ( x) + 2 ( y) = π − 2 ( ) , x, y > 1
xy − 1
1 1 x+ y
2.25.22.- 2 ( )+ 2 ( )= 2 ( ) , x, y > 1
x y xy − 1
1 α ∞ 4 k
2.25.23.- 2 (
α
) = ∑
4 k =1
β (k , k ) (
1+ α 2
) , α >0
k =n
1
2.25.24.- 1 ( n) = ∑ 1 ( ) , n = 1, 2,...
k =1 k
∞
1 1 1 1
2.25.25.- 1 ( n) = H n − ∑ ( k + + ... + ) , n = 1, 2,...
k =1 k ( k + 1) 1.2 2.3 n.(n + 1) k
k
k =n
1
Donde H n es el número armónico, H n = ∑
k =1 k
∞
1 1 1 1
2.25.26.- 1 ( n − 1) = ∑ ( k + k + ... + k ) ,
k =1 k 2 3 n
n = 2,3,...
2.25.27.- p ( x) = x(1 − p −1 (1 + p −1
,1 + x − p )) , p > 0, x > 0
∞
β ( p, k )
( p, α ) = ∑ , p, α ∈ , p, α ≥ 1
k =1 αk
Capítulo II: Fundamentos Teóricos 179
2.25.31.- Si p > 0, p ≠ 1,
p 1
p −1 ( x) = (1 − p −1
) , x≥0
p, p −1
p
(1 + x )p p
1
2.25.32.- 1 ( x) = 2(1 − ) , x≥0
2,
2 1 + x2
1
2.25.33.- 1 ( x) = ((1 + 3 x ) 2 − 1) , x≥0
3
, −2 2
2.25.34.- Si p > 0, p ≠ 1,
1
( x) = ((1 + x ) p −1 − 1) , x≥0
p
1
p
,1− p p −1
Capítulo II: Fundamentos Teóricos 180
2.25.35.- 1, −2 ( x) = (1 ⊕ x) −1 − Ln x , x>0
2.25.37.-
1 1 + x 2 + x2
4 ( x) = (2 2 ( x 2 + 1) + 2 ArcTan( x 2 − 1) + Ln ( ))
4 2 1 − x 2 + x2
2.25.38.-
1 1 1 3 2x 3
6 ( x) = 2 ( x) + 2 (2 x + 3) + ArcTan(2 x − 3) + 1 ( )
3 6 6 12 1 − x 3 + x2
p ,q ( x) = x(1 ⊕ x p )q − 1, q ( x− p ) , x>0
3
−
3 ( x ) = x (1 ⊕ x ) − ( x −2 ) , x>0
2
2.25.42.- 2
3
2, − 1, −
2 2
Capítulo II: Fundamentos Teóricos 181
r +1
( x) = (1) + ( (1) − ( x r +1− p ))
p −1
r r p r p r
p, p, , ,
p p p − ( r +1) p p − ( r +1) p
( x ) + 1(
q ,n p )
p ,q ( x) = (n)
p ,q p ,q + n ( x) , x>0 , n = 1, 2,...
k = n −1
.1(
q, k p)
Donde, (n)
p ,q ( x) = x1− p (n)
p ,q ( x) y (n)
p ,q ( x) = ∑ (1 ⊕ x
k =0
p q + k +1
)
x
t pq
p , q ( x ) = (1 + pq ) ∫ dt , x≥0
0
(1 + t p ) q +1
p ,q ( x ), p > 0, pq > −1 .
Capítulo II: Fundamentos Teóricos 182
2.25.49.-
1 1
2, 3
( x) = x1+ 6 Hypergeometric 2 F1[ + 3,1 + 3,1 + + 3, − x 2 ], x ≥ 0
2 2
2.25.50.-
1
1 2 4
3x 21
1 15 ( x) = 1 15
(−38280 − 81345 x − 45617 x − 1740 x + 420 x
3 3 3
,
3 7
490(1 + x ) 3 7
1 15 1
1 1 8
+38280(1 + x 3 ) 7 Hypergeometric2 F1[ , , , − x 3 ]) , x ≥ 0
7 7 7
2.25.51.-
1 1
3 + 3 3+ 3 1
2.25.52.-
6 + 5 16 (3+ 5) 5 5 5
( x) = x ( Hypergeometric 2 F1[1 + , ,2+ , − x ])
1
,
2 3
5
3+ 5 3 3 3
,x ≥ 0
2.25.53.-
1 1
2,1+ 5
( x) = x1+ 2 + 10
( Hypergeometric2F1[1 + + 5,2 + 5,2 + + 5, − x 2 ])
2 2
,x ≥ 0
Capítulo II: Fundamentos Teóricos 183
1
2.25.54.- 1 ( x) = 2(1 − 1
) , x>0
2+ 2 ,
2+ 2
2
(1 + x ) 2
2.25.55.- 3 + 2, 3 − 2
( x) = 1 , x>0
2.25.56.- Si p > 0, q ≥ 0,
∞
1
1, q ( x ) = p (1 + q ) ∫
−p
dt
x
t (1 + t p ) q +1
π
2.25.58.- 2 (1) =
4
π 3 Ln(2)
2.25.59.- 3 (1) = +
9 3
π + 2 Ln(1 + 2)
2.25.60.- 4 (1) =
4 2
1 1
2.25.61.- 5 (1) = (2π 10(5 + 5) + 5(4 Ln(2) + 5 Ln( (7 + 3 5)))
100 2
Capítulo II: Fundamentos Teóricos 184
2π + 3Ln(7 + 4 3)
2.25.62.- 6 (1) =
12
2π 3 − 18 Ln(2)
2.25.63.- 3 (1) =
2 27
1 π 3 − 3Ln(3)
2.25.64.- 3 ( )=
2 18
5 3 11
2.25.65.- 1 (1) = Hypergeometric 2 F1[ , , , −1]
3,
2 6 2 6
2+ 2 1
PolyGama[0, ] − PolyGama[0, ]
4 2 2
2.25.66.- 2
(1) =
2 2
119 2 2 7
2.25.67.- 1 2 (1) = (12 Hypergeometric 2 F1[ , , , −1] − 7 5 8)
,
3 5 100 5 5 5
2.25.68.- Si p > 0,
1+ p 1
PolyGama[0, ] − PolyGama[0, ]
2p 2p
p (1) =
2p
1 1
2.25.69.- 2, 3
(1) = Hypergeometric 2 F1[ + 3,1 + 3,1 + + 3, −1]
2 2
Capítulo II: Fundamentos Teóricos 185
2.25.70.-
1 22 3
22 (1) = (1 + )(3 4(17290420 − 9441561 3) −
3,
3 97377280(3 + 3) 3
1 1 1 4 1
1104(83679 + 46130 3) Hypergeometric 2 F1[ + , , + , −1]
3 3 3 3 3
1 1
Hypergeometric 2 F1[1 + q, + q,1 + + q, −1]
p p
p ,q (1) =
1 + pq
1 1
2.25.72.- 2
(2) = 2 Hypergeometric 2 F1[ ,1,1 + , −2 2 ]
2 2
5 3 11
2.25.73.- 1 (2) = 4 2 Hypergeometric 2 F1[ , , , −8]
3,
2 6 2 6
2.25.74.-
2 2 7 42 + 12 3 2 + 5 3 4
17(42 Hypergeometric 2 F1[ , , , − 3 2] − 2
)
5 5 5
(1 + 2) 5
3
1 2 (2) =
,
3 5 2515 8192
2.25.75.- Si p > 0,
1 1
p (2) = 2 Hypergeometric 2 F1[1, ,1 + , −2 p ]
p p
Capítulo II: Fundamentos Teóricos 186
2.25.76.-
1 1
2, 3
(2) = 21+ 6
Hypergeometric 2 F1[ + 3,1 + 3,1 + + 3, −2 2 ]
2 2
1 1 1 1
2.25.78.- 2
( ) = Hypergeometric 2 F1[ ,1,1 + , −2 − 2 ]
2 2 2 2
2.25.79.-
3+ 2
1 (1) = (−(2 + 2) Hypergeometric 2 F1[1 + 2, 2, 2 + 2, −1]
3
, 2 4+3 2
2.25.80.-
1 2
+
(2 + 2)(3 + 2) 2 6 3
⎧
′
(1 + q ) p xr
⎪⎪ xy = ry − , p, r > 0, q ≥ 0, x > 0
(1 + x p )
q +1
⎨ (3.1)
⎪
⎪⎩lim y=0
x →∞
dy r
− y=0 , x>0 (3.2)
dx x
Luego,
dy dx
=r , x>0 (3.3)
y x
yh = C x r , C : constante (3.4)
(3.1) se obtiene:
Capítulo III Solución del Primer Problema de Valor Inicial 188
Generación de Funciones de Densidad de Probabilidad f p(,nq),r ( x)
du p (q + 1)
=− , x>0 (3.5)
dx x(1 + x p ) q +1
u ( x) = 1, q ( x− p ) , x > 0 (3.6)
Luego, la función
y p = xr 1, q ( x− p ) , x > 0 (3.7)
lim 1, q ( x− p ) = 0
x→∞
Capítulo III Solución del Primer Problema de Valor Inicial 189
Generación de Funciones de Densidad de Probabilidad f p(,nq),r ( x)
Demostración.-
lim 1, q ( x − p ) = lim 1, q ( x− p )
x→∞ x →∞
∞
= lim ∑ (1 ⊕ x − p ) .1(
q + k +1 q , k 1)
x →∞
k =0
=0
├
Demostración.-
1
3.3.4.- lim x r 1, q ( x − p ) = lim 1, q ( x− p )
x →∞ x →∞ x−r
= lim
(1 + q ) x p (1 ⊕ x − p ) q +1 (− p) x − p −1
x →∞ − r x − r −1
Capítulo III Solución del Primer Problema de Valor Inicial 190
Generación de Funciones de Densidad de Probabilidad f p(,nq),r ( x)
p (1 + q ) (1 ⊕ x − p ) q +1
= lim
x →∞ r x−r
De donde,
p (q + 1) r − p ( q +1)
3.3.5.- lim x r 1, q ( x − p ) = lim x (1 ⊕ x p ) q +1
x →∞ x →∞ r
= lim x r 1, q ( x− p ) = 0
x →∞
Por lo tanto, la solución del problema de valor inicial (3.1) tiene la forma
Capítulo III Solución del Primer Problema de Valor Inicial 191
Generación de Funciones de Densidad de Probabilidad f p(,nq),r ( x)
lim 1, q ( x− p ) = ∞
x → 0+
Demostración.-
∞
= lim+ ∑ (1 ⊕ x − p ) q + k +1.1(
q , k 1)
x →0
k =0
∞
= ∑1(
q , k 1)
k =0
=∞
├
lim+ x r 1, q ( x− p ) = 0
x →0
Demostración.-
1
3.5.1.- lim+ x r 1, q ( x − p ) = lim+ 1, q ( x− p )
x →0 x→0 x−r
(1 + q ) x p (1 ⊕ x − p ) q +1 (− p) x − p −1
= lim+
x →0 −r x − r −1
Capítulo III Solución del Primer Problema de Valor Inicial 192
Generación de Funciones de Densidad de Probabilidad f p(,nq),r ( x)
p (1 + q ) r
= lim+ x (1 ⊕ x − p ) q +1
x →0 r
=0
├
De la Prop. (1.5) se deduce que las funciones que tienen la forma 3.3.9 gozan
de la siguiente propiedad:
3.5.2.- lim y = 0
x → 0+
3.6.3.- ϕr ( p, q)( x) ≥ 0 , x ≥ 0
3.6.4.- lim ϕ r ( p, q )( x) = 0
x →∞
3.6.5.- lim+ ϕ r ( p, q )( x) = 0
x →0
= x r Ln(1 + x − p ) , x > 0
De donde,
1
3.6.9.- ϕ1 (2, )( x) = x 1 ( x −2 ) , x > 0
2 1,
2
1
Pero, 1 ( x −2 ) = 3( Ln(1 + 1 + x 2 ) − Lnx − ) , x>0
1,
2 1 + x2
Luego,
1 1
3.6.10.- ϕ1 (2, )( x) = 3 x( Ln(1 + 1 + x 2 ) − Ln x − ) , x>0
2 1 + x2
Capítulo III Solución del Primer Problema de Valor Inicial 194
Generación de Funciones de Densidad de Probabilidad f p(,nq),r ( x)
3
Figura 3.3: Gráfica de ϕ 3 ( , 2)
2 2
∞
q +1 ⎛ r +1 r +1⎞
∫ ϕ ( p, q)( x) dx = r + 1 β ⎜⎝
0
r
p
, q +1− ⎟
p ⎠
(3.10)
Demostración.-
∞ ∞
3.7.1.- ∫ ϕr ( p, q)( x) dx = ∫ x ( x − p ) dx
r
1, p
0 0
∞
= ∫ xr 1, q ( x − p ) dx
0
∞ ∞
= ∫ ( x r ∑ (1 ⊕ x − p ) q + k +1.1(
q , k 1)
) dx
0 k =0
Capítulo III Solución del Primer Problema de Valor Inicial 200
Generación de Funciones de Densidad de Probabilidad f p(,nq),r ( x)
∞ ∞
xr
= ∑ (∫ dx)1( )
q ,k 1
p q +1+ k
k =0 0
(1 + x )
∞
1 r +1 r +1
=∑ β( , q +1+ k − ) τ q +1 (q + 1 + k ,1)
k =0 p p p
1 ∞ r +1 r +1
= ∑
p k =0
β(
p
, q +1−
p
) τ r +1 (q + 1, k ) τ q +1 (q + 2, k )
q +1−
p
1 r +1 r +1 ∞
= β( , q +1− )∑ τ r +1 (q + 2, k )
p p p k = 0 q +1− p
1 r +1 r +1 q +1
= β( , q +1− )
p p p q + 2 − ( q + 1 − r + 1) − 1
p
q +1 r +1 r +1
= β( , q +1− )
r +1 p p
├
Ejemplos.-
∞ ∞
∫ x ( Ln(1 + x ) − 6 Ln x) dx = ∫ x Ln(1 + x ) dx
2 6 2 −6
3.7.2.-
0 0
∞
= ∫ x2 1,0 ( x −6 ) dx , (3.6.6)
0
∞
= ∫ ϕ 2 ( 6, 0 )( x ) dx , (3.6)
0
1 1 1
= β ( ,1 − ) , Teor. 3.7
3 2 2
1 1 1
= β( , )
3 2 2
π
=
3
Capítulo III Solución del Primer Problema de Valor Inicial 201
Generación de Funciones de Densidad de Probabilidad f p(,nq),r ( x)
∞∞ ∞
y y
3.7.3.- ∫0 ∫y x(1 + x 2 )4 dx dy = ∫0 8 1,3 ( y −2 ) dy
∞
1
8 ∫0
= ϕ1 (2,3)( y ) dy
1
= .2 β (1,3) , Teor. 3.7
8
1
=
12
Nota: Si p, q > 0 , entonces,
∞
dx 1
3.7.4.- ∫
α x (1 + x )
p q
=
pq
1, q −1 (α − p ) , α >0 (3.11)
Demostración.-
1
β ( u , v ) = ∫ t u −1 (1 − t )
v −1
3.8.1.1.- dt
0
1 ∞
= ∫ x − (1+ v ) (1 ⊕ x ) dx + ∫ x − (1+ v ) (1 ⊕ x )
u+v u +v
dx
0 1
∞
x u −1
1
= ∫ x − v ( (1 ⊕ x ) − (1 ⊕ x )
u + v −1 u +v
)dx + ∫ dx
(1 + x )
u +v
0 1
1 1 1
= 1 (1) − 1 (1) + 1 (1)
1− v 1− v
,u + v −1 1− v 1− v
,u + v v 1−u
,u + v −1
1 1 1
= . (1) + (1)
1− v 1+ u + v −1
1 1
,u + v −1 v ,u + v −1
1− v 1−u
1− v
1 1
= 1 (1) + 1 (1)
u ,u + v −1 v ,u + v −1
1− v 1−u
3.8.2.- Teorema.- Si u , v son números reales tales que 0 < u < 1 , 0 < v < 1 y n es
un número entero positivo, entonces
1 1
β ( u, v + n ) = ( 1 (1) + 1 (1)) τ v (u + v, n) (3.14)
u ,u + v −1 v ,u + v −1
1− v 1− u
Demostración.-
3.8.2.1.- β ( u , v + n ) = β ( u , v ) τ v ( u + v, n ) Teor. de factorización
1 1
=( 1 (1) + 1 (1))τ v (u + v, n) Teor.3.8
u ,u + v −1 v ,u + v −1
1− v 1− u
├
Capítulo III Solución del Primer Problema de Valor Inicial 203
Generación de Funciones de Densidad de Probabilidad f p(,nq),r ( x)
3.8.3.- Teorema.- Si u , v son números reales tales que, 0 < u < 1 y 0 < v < 1 y k , n
son números enteros positivos, entonces,
1 1
β (u + k, v + n) = ( 1 (1) + 1 (1) ) τ u (u + v, k ) τ v (u + v + k , n) (3.15)
u , u + v −1 v , u + v −1
1− v 1− u
Demostración.-
3.8.3.1.- β ( u + k , v + n ) = β ( u + k , v ) τ v ( u + v + k , n )
= β ( u , v ) τ u ( u + v, k ) τ v ( u + v + k , n )
1 1
=( 1 (1) + 1 (1) ) τ u (u + v, k ) τ v (u + v + k , n)
u , u + v −1 v , u + v −1
1− v 1− u
├
Los Teoremas (3.8.1), (3.8.2) y (3.8.3) constituyen fórmulas de evaluación
para la función beta a través de la función contráctil, con alta precisión.
Ejemplos.-
⎛1 1⎞
3.8.4.- β ⎜ , ⎟ = 2 2 (1) + 2 2 (1) , Teor. 3.8
⎝2 2⎠
=4 2 (1)
=π
⎛ 4 8⎞ ⎛4 2 ⎞
3.8.5.- β ⎜ , ⎟ = β ⎜ , + 2 ⎟
⎝ 5 3⎠ ⎝5 3 ⎠
5 3 22
=( 7 (1) + 7 (1) ) τ 2 ( , 2) , Teor. 3.9
4 3,
15 2 5,
15 3 15
Capítulo III Solución del Primer Problema de Valor Inicial 204
Generación de Funciones de Densidad de Probabilidad f p(,nq),r ( x)
125 5 3
= ( 7 (1) + 7 (1) )
407 4 3,
15 2 5,
15
3.8.6 β ( 71, 37 = β ) ( 71 − 8 + 8, 37 − 6 + 6 )
1 1
=( 1 (1) + 1 (1) ) *
71 − 8 7 − 37
, 37 + 71 −15 37 − 6 9 − 71
, 37 + 71 −15
τ 71 −8
( 37 + 71 − 14,8) *τ 37 − 6
( 37 + 71 − 6, 6) Teor. 3.10
3.9.- Calculo de la constante K. para que f p(,nq),r ( x) sea una función de densidad
de probabilidad.
3.9.1.- f p(,nq),r ( x) ≥ 0 , x ≥ 0
∫f ( x)dx = ∫ K ϕ r ( p, q )( x) dx , r + n + 1 < p (q + 1)
(n)
3.9.3.- p ,q ,r
0 0
∞
= K ∫ ϕ r ( p, q )( x)dx
0
q +1 ⎛ r +1 r +1⎞
=K β⎜ , q +1− ⎟
r +1 ⎝ p p ⎠
= K K −1
=1
q +1 ⎛ s + r +1 s + r + 1⎞
E(xs ) = K β⎜ , q +1− ⎟ (3.18)
s + r +1 ⎝ p p ⎠
Demostración.-
∞
E ( x ) = ∫ x s f p(,nq),r ( x)dx
s
0
Capítulo III Solución del Primer Problema de Valor Inicial 206
Generación de Funciones de Densidad de Probabilidad f p(,nq),r ( x)
∞
E ( x s ) = ∫ x s Kϕ r ( p, q )( x)dx , r + n + 1 < p (q + 1)
0
∞
= K ∫ xs xr 1, q ( x − p ) dx
0
∞
= K ∫ xr+s 1, q ( x − p ) dx
0
∞
= K ∫ ϕ r + s ( p, q )( x)dx , s + r + 1 < p (q + 1)
0
q +1 ⎛ s + r +1 s + r +1⎞
=K β⎜ , q +1− ⎟ Teor. 3.7
s + r +1 ⎝ p p ⎠
├
3.10.1.1.- Si r + 2 < p ( q + 1) ,
q +1 ⎛ r + 2 r+2⎞
µ1 = E ( x) = K . β⎜ , q +1− ⎟
r+2 ⎝ p p ⎠
⎛r+2 r+2⎞
β⎜ , q +1−
r +1 ⎝ p p ⎟⎠
= (3.19)
r + 2 ⎛ r +1 r +1⎞
β⎜ , q +1−
⎝ p p ⎟⎠
Capítulo III Solución del Primer Problema de Valor Inicial 207
Generación de Funciones de Densidad de Probabilidad f p(,nq),r ( x )
3.10.1.2.- Si r + 3 < p ( q + 1) ,
q +1 ⎛ r + 3 r +3⎞
µ2 = E ( x 2 ) = K . β⎜ , q +1− ⎟
r+2 ⎝ p p ⎠
⎛ r +3 r +3⎞
β⎜ , q +1−
r +1 ⎝ p p ⎟⎠
= . (3.20)
r + 3 ⎛ r +1 r +1⎞
β⎜ , q +1−
⎝ p p ⎟⎠
3.10.1.3.- Si r + 4 < p ( q + 1) ,
q +1 ⎛ r + 4 r+4⎞
µ3 = E ( x 3 ) = K . β⎜ , q +1− ⎟
r+4 ⎝ p p ⎠
⎛r+4 r+4⎞
β⎜ , q +1−
r +1 ⎝ p p ⎟⎠
= . (3.21)
r+4 ⎛ r +1 r +1⎞
β⎜ , q +1−
⎝ p p ⎟⎠
3.10.1.4.- Si r + 5 < p ( q + 1) ,
q +1 ⎛ r + 5 r +5⎞
µ4 = E ( x 4 ) = K . β⎜ , q +1− ⎟
r +5 ⎝ p p ⎠
⎛ r +5 r +5⎞
β⎜ , q +1−
r +1 ⎝ p p ⎠⎟
= . (3.22)
r + 5 ⎛ r +1 r +1⎞
β⎜ , q +1−
⎝ p p ⎟⎠
Capítulo III Solución del Primer Problema de Valor Inicial 208
Generación de Funciones de Densidad de Probabilidad f p(,nq),r ( x )
σ 2 = V ( x) = E ( x 2 ) − ( E ( x)) 2
Luego,
2
⎛ r +3 r +3⎞ ⎛ ⎛r+2 r+2⎞⎞
β⎜ , q +1− ⎟ ⎜ β⎜ , q +1− ⎟
r +1 ⎝ p p ⎠ ⎜ r +1 ⎝ p p ⎟⎠ ⎟
σ = V ( x) =
2
. − , (3.23)
r + 3 ⎛ r +1 r +1⎞ ⎜ r + 2 ⎛ r +1 r +1⎞ ⎟
β⎜ , q +1− ⎜ β⎜ , q +1− ⎟
⎝ p p ⎟⎠ ⎝ ⎝ p p ⎟⎠ ⎠
r + 3 < p ( q + 1)
⎢ β⎜ , q +1− ⎟ ⎜ β⎜ , q +1− ⎟ ⎥
⎢ r +1 . ⎝ p p ⎠ ⎜ r +1 ⎝ p p ⎟⎠ ⎟ ⎥
⎢ r + 3 ⎛ r +1 − ⎥
r +1⎞ ⎜ r + 2 ⎛ r +1 r +1⎞ ⎟
⎢ β⎜ , q +1− ⎟ ⎜ β⎜ , q +1− ⎟ ⎥
⎢⎣ ⎝ p p ⎠ ⎝ ⎝ p p ⎟⎠ ⎠ ⎥⎦
r + 4 < p ( q + 1)
Capítulo III Solución del Primer Problema de Valor Inicial 209
Generación de Funciones de Densidad de Probabilidad f p(,nq),r ( x )
µ4
α4 = , (Freund-Walpole, 1987)
σ4
Por lo tanto,
⎛ r +5 r +5⎞
(r + 1) β ⎜ , q +1−
⎝ p p ⎟⎠
⎛ r +1 r +1⎞
(r + 5) β ⎜ , q +1−
⎝ p p ⎟⎠
α4 = 2
, (3.25)
⎡ ⎛ r +3 r +3⎞ ⎛ ⎛r+2 r+2⎞⎞ ⎤
2
⎢ β⎜ , q +1− ⎜ β , q +1− ⎟ ⎥
⎢ r +1 . ⎝ p p ⎟⎠ ⎜ r + 1 ⎜⎝ p p ⎟⎠ ⎟ ⎥
⎢ r + 3 ⎛ r +1 −
r +1 ⎞ ⎜ r + 2 ⎛ r +1 r +1⎞ ⎟ ⎥
⎢ β⎜ , q +1− ⎜ β , + 1 − ⎟ ⎥
p ⎟⎠ ⎝ ⎜ p p ⎟⎠ ⎠ ⎥
q
⎢⎣ ⎝ p ⎝ ⎦
r + 5 < p ( q + 1)
⎛ ⎛s⎞
∞ i=s
⎞
= ∫ ⎜ ∑ ⎜ ⎟ ( −1) x s −i µ i ⎟ f p(,nq),r ( x) dx
i
0 ⎝ i =0 ⎝ ⎠ ⎠
i
∞
i=s s
⎛ ⎞
= ∑ ⎜ ⎟ ( −1) µ i ∫ x s −i f p(,nq),r ( x) dx
i
i =0 ⎝ i ⎠ 0
∞
i=s s
⎛ ⎞
= ∑ ⎜ ⎟ ( −1) µ i ∫ x s −i K ϕ r ( p, q )( x) dx
i
i =0 ⎝ i ⎠ 0
∞
i=s s
⎛ ⎞
= ∑ ⎜ ⎟ ( −1) µ i K ∫ x s −i x r ( x − p ) dx
i
1, q
i =0 ⎝ i ⎠ 0
Capítulo III Solución del Primer Problema de Valor Inicial 210
Generación de Funciones de Densidad de Probabilidad f p(,nq),r ( x )
∞
i=s s
⎛ ⎞
= K ∑ ⎜ ⎟ ( −1) µ i ∫ x s + r −i ( x − p ) dx
i
1, q
i =0 ⎝ i ⎠ 0
∞
i=s s
⎛ ⎞
= K ∑ ⎜ ⎟ ( −1) µ i ∫ ϕ r + s −i ( p, q )( x) dx , s + r + 1 < p ( q + 1)
i
i =0 ⎝ i ⎠ 0
⎛ ⎞
i =s s ⎛ q +1 ⎛ r + s − i +1 r + s − i +1 ⎞ ⎞
= K ∑⎜ ⎟ ( −1) µ i ⎜ β⎜ , q +1−
i
⎟⎟ Teor. 3.7
i =0 ⎝ i ⎠ ⎝ r + s − i +1 ⎝ p p ⎠⎠
3º) r + 1 < p ( q + 1) , r + 1 = p
Primer caso:
Evidentemente, r + 1 < p < p ( q + 1) . En tal caso para la función de
∞ ∞
= K ( ∫ ϕ r ( p, q )(t ) dt − ∫ ϕ r ( p, q )(t ) dt )
0 x
Capítulo III Solución del Primer Problema de Valor Inicial 211
Generación de Funciones de Densidad de Probabilidad f p(,nq),r ( x )
∞
= K ( K −1 − ∫ ϕ r ( p, q )(t ) dt )
x
∞
= 1 − K ∫ ϕ r ( p, q )(t ) dt )
x
∫ ϕr ( p, q )( t ) dt = ∫ t ( x − p ) dx
r
1, q
x x
∞
1 p (q + 1) tr
r + 1 ∫x (1 + t p ) q +1
=− ϕ r +1 ( p, q )( x) + dt
r +1
1 p(q + 1) 1
=− ϕr +1 ( p, q )( x) + . ( x r +1− p )
r +1 r + 1 p(q + 1) − (r + 1)
p
,q
p − ( r +1)
, r + 1 < p < p ( q + 1)
K p (q + 1)
Fp(,nq), r ( x) = 1 + (ϕ r +1 ( p, q)( x) + ( x r +1− p ) ) (3.26)
r +1 p(q + 1) − (r + 1)
p
,q
p − ( r +1)
Capítulo III Solución del Primer Problema de Valor Inicial 212
Generación de Funciones de Densidad de Probabilidad f p(,nq),r ( x )
Segundo caso:
x ∞ ∞
Fp(,nq),r ( x) = ∫ f p(,nq),r (t ) dt = ∫ K ϕ r ( p, q )(t ) dt = K ∫ t r 1, q (t − p ) dt
0 0 0
∞
p (q + 1) r
x
1
∫t ϕ r +1 ( p, q )( x) + ∫
−p
r
1, q (t ) dt = t (1 ⊕ t − p ) q +1 dt
0
r +1 r +1 0
p (q + 1) r − p ( q +1)
x
1
=
r +1
ϕ r +1 ( p, q )( x) +
r +1 0 ∫ t (1 ⊕ t p ) q +1dt
p (q + 1) r − p ( q +1) + mp − mp
x
1
=
r +1
ϕ r +1 ( p, q )( x) +
r +1 0 ∫ t .t (1 ⊕ t p ) q +1dt
> −1
p(q + 1) r − p ( q+1)+mp i =m ⎛ m ⎞
x x
1
∫t
r
1,q (t
−p
) dt =
r +1
ϕr +1 ( p, q)( x) +
r +1 0 ∫ (t ∑
i =0 ⎝ i ⎠
i p q +1−( m−i )
⎜ ⎟ (−1) (1 ⊕ t ) )dt
0
p (q + 1) i = m ⎛ m ⎞
x
1
= ϕ r +1 ( p, q )( x) + ∑ ⎜ ⎟ ( −1) ∫ t
r − p ( q +1) + mp
(1 ⊕ t p ) q +1− ( m −i ) dt
i
r +1 r + 1 i =0 ⎝ i ⎠ 0
Luego,
x
1 p(q + 1) i =m ⎛ m ⎞ 1
∫t
r
1,q (t
−p
) dt =
r +1
ϕr +1 ( p, q)( x) + ∑ ⎜ ⎟ (−1)
r + 1 i =0 ⎝ i ⎠
i
(r − p(q + 1) + mp + 1)
0
x
* p (t r − p ( q +1) + mp +1 )
, q +1− ( m − i ) 0
r − p ( q +1) + mp +1
Por lo tanto,
x
1 p(q + 1) ⎛ ⎞
i =m m
∫t
r
1,q (t
−p
) dt =
r +1
ϕr +1 ( p, q)( x) + ∑ ⎜ ⎟ (−1)
(r + 1)(r − p(q + 1) + mp + 1) i =0 ⎝ i ⎠
i
* p ( x r − p ( q +1) + m p +1 ) (3.27)
, q +1− ( m − i )
r − p ( q +1) + mp +1
K p(q + 1) ⎛ ⎞
i =m m
Fp(,nq), r ( x) =
r +1
(ϕr +1 ( p, q)( x) + ∑ ⎜ ⎟ (−1)
r − p(q + 1) + mp + 1 i =0 ⎝ i ⎠
i
* p ( x r − p ( q +1) + m p +1 )) (3.28)
, q +1− ( m − i )
r − p ( q +1) + mp +1
Capítulo III Solución del Primer Problema de Valor Inicial 214
Generación de Funciones de Densidad de Probabilidad f p(,nq),r ( x )
Tercer caso:
q +1 ⎛ r +1 r +1⎞
K −1 = β⎜ , q +1− ⎟
r +1 ⎝ p p ⎠
q +1
= β (1, q )
p
q +1
=
pq
De donde,
pq
K=
1+ q
Luego,
x x
F (n)
p ,q ,r ( x) = ∫ f (n)
p ,q ,r (t ) dt = ∫ K ϕ r ( p, q ) (t ) dt
0 0
x
= K ∫ tr 1, q (t − p ) dt
0
x
= K ∫ t p −1 1, q (t − p ) dt
0
x x
1
∫t ϕ p ( p, q )( x) + (q + 1) ∫ t p −1 (1 + t p ) − q −1 dt
p −1 −p
1, q (t ) dt =
0
p 0
Capítulo III Solución del Primer Problema de Valor Inicial 215
Generación de Funciones de Densidad de Probabilidad f p(,nq),r ( x )
⎛ ⎞
1 q +1⎜ 1 ⎟
= ϕ p ( p, q)( x) − 1−
p pq ⎜ (1 + t p )q ⎟
⎝ ⎠
q 1
Fp(,nq),r ( x) = ϕ p ( p, q)( x) − (3.29)
1+ q (1 + x p ) q
g (pn, q) , r
Capítulo IV Solución del Segundo Problema de Valor Inicial 217
Generación de Funciones de Densidad de Probabilidad g (pn, q) ,r ( x)
⎧
′ = −
(1 + pq ) x r + p −1 , p, q, r > 0, x > 0
⎪⎪ xy ry
(1 + x p )
q +1
⎨ (4.1)
⎪
⎪⎩lim y=0
x →∞
yh = C x r , C : constante (4.4)
(4.1) se obtiene:
du (1 + pq ) x p − 2
=− , x>0 (4.5)
dx (1 + x p )q +1
Capítulo IV Solución del Segundo Problema de Valor Inicial 218
Generación de Funciones de Densidad de Probabilidad g (pn, q) ,r ( x)
Luego, la función
4.2.2.- r = 1 + pq ⇒ lim x r p ,q ( x −1 ) = 1
x →∞
Demostración.-
∞
= lim x r + p −1 ∑ (1 ⊕ x − p ) q + k +1.1(
q , k p)
x →∞
k =0
∞
= lim x r + p −1 (1 ⊕ x − p ) q +1 (1 + ∑ (1 ⊕ x − p ) k .1(
q , k p)
)
x →∞
k =1
⎧ 0 si r < 1 + pq
⎪
= ⎨ 1 si r = 1 + pq
⎪∞ si r > 1 + pq
⎩
├
= lim x r p ,q ( x −1 ) = 0
x →∞
Por lo tanto, la solución del problema de valor inicial (4.1) tiene la forma
1 + pq
4.3.2.- r + p = 1 ⇒ lim+ x r p ,q ( x −1 ) =
x →0 r
Demostración.-
4.3.4.- lim p ,q ( x −1 ) = l , l ∈
x → 0+
4.3.5.- lim x r p ,q ( x −1 ) = 0
x →0
1
4.3.7.- lim+ x r p ,q ( x −1 ) = lim+ p ,q ( x −1 )
x →0 x→0 x−r
(1 + pq ) x p (1 ⊕ x − p ) q +1 (−1x −2 )
= lim+
x →0 −r x − r −1
1 + pq r + p −1
= lim+ x (1 ⊕ x − p ) q +1
x →0 r
⎧ 0 , r + p >1
⎪1 + pq
⎪
=⎨ , r + p =1
⎪ r
⎩⎪ ∞ , r + p < 1
Consideremos nuevamente la solución del problema de valor inicial 4.1 que tiene la
forma:
Obsérvese que si r + p > 1 , con arreglo a la proposición (4.3) debe tenerse, que
4.4.3.- ψ r ( p, q )( x) ≥ 0 , x ≥ 0
4.4.4.- limψ r ( p, q )( x ) = 0
x →∞
4.4.5.- lim+ ψ r ( p, q )( x) = 0
x →0
3
= ( x ArcTan( x −1 ) − (1 ⊕ x 2 )) , x > 0
2
Capítulo IV Solución del Segundo Problema de Valor Inicial 223
Generación de Funciones de Densidad de Probabilidad g (pn, q) ,r ( x )
De donde,
⎧3 −1
⎪ ( x ArcTan( x ) − (1 ⊕ x )) si x > 0
2
4.4.8.- Si ψ 1 (2,1)( x) = ⎨ 2
⎩⎪ 0 si x = 0
1
1
4.4.9.- ψ 1 (2, )( x) = x 3 1 ( x −1 ) , x > 0
3
2 2,
2
= 2 3 x (1 − 1 ⊕ x 2 ) , x > 0
Luego,
1
4.4.10.- ψ 1 (2, )( x) = 2 3 x (1 − 1 ⊕ x 2 ) , x ≥ 0
3 2
Capítulo IV Solución del Segundo Problema de Valor Inicial 224
Generación de Funciones de Densidad de Probabilidad g (pn, q) ,r ( x )
1
Figura 4.2: Gráfica de ψ 1 (2, )
3 2
17 3
Figura 4.3: Gráfica de ψ 5 ( , )
3 2
17
Figura 4.7: Gráfica de ψ 5 ( , q)
3
Demostración:
∞ ∞
4.5.1.- ∫ψ r ( p, q )( x) dx = ∫ x r p ,q ( x −1 )
0 0
∞
= ∫ x r x p −1 p,q ( x −1 ) dx
0
Capítulo IV Solución del Segundo Problema de Valor Inicial 229
Generación de Funciones de Densidad de Probabilidad g (pn, q) ,r ( x )
∞ ∞
= ∫ x r + p −1 ∑ (1 ⊕ x − p ) q + k +1.1(
q, k p)
0 k =0
∞
∞
x r + p −1
dx)1(
q, k p)
= ∑ (∫ p q + k +1
k =0 0
(1 + x )
∞
x r + p −1
4.5.2.- ∫0 (1 + x p )q+ k +1 dx
converge para cada valor k = 0,1, 2,... si r < pq . En tal caso, se tiene,
∞ ∞
1 ⎛r+ p r+ p⎞ 1
4.5.3.- ∫ψ r ( p, q )( x) dx = ∑ β⎜ , q +1+ k − ⎟ τ 1+ q (1 + q + k , )
0 k =0 p ⎝ p p ⎠ p
1 ∞ ⎛r r ⎞ 1
= ∑ β ⎜ + 1, q − + k ⎟ τ 1+ q (1 + q + , k )
p k =0 ⎝ p p ⎠ p
1 ∞ ⎛r r⎞ 1
= ∑ β ⎜ + 1, q − ⎟ τ r (q + 1, k ) τ 1+ q (1 + q + , k )
p k =0 ⎝ p p ⎠ q− p p
1 ⎛r r⎞ ∞ 1
= β ⎜ + 1, q − ⎟ ∑τ r (1 + q + , k )
p ⎝p p ⎠ k =0 q −
p p
1
q+
1 ⎛ r r⎞ p
= β ⎜1 + , q − ⎟
p ⎝ p p ⎠ 1 + q + 1 − (q − r ) − 1
p p
1 + pq ⎛ r r⎞
= β ⎜1 + , q − ⎟
p(r + 1) ⎝ p p⎠
├
Capítulo IV Solución del Segundo Problema de Valor Inicial 230
Generación de Funciones de Densidad de Probabilidad g (pn, q) ,r ( x )
4.6.- Calculo de la constante K. para que g (pn,q) ,r ( x) sea una función de densidad
de probabilidad
1 + pq ⎛ r r⎞
K −1 = β ⎜1 + , q − ⎟ (4.12)
p(r + 1) ⎝ p p⎠
4.7.1.- g (pn,q) ,r ( x) ≥ 0 , x ≥ 0
∞
= K ∫ψ r ( p, q )( x ) dx
0
1 + pq ⎛ r r⎞
=K β ⎜1 + , q − ⎟
p(r + 1) ⎝ p p⎠
= K K −1
=1
Capítulo IV Solución del Segundo Problema de Valor Inicial 231
Generación de Funciones de Densidad de Probabilidad g (pn, q) ,r ( x )
Las propiedades 4.7.1, 4.7.2, y 4.7.3, muestran que g (pn,q) ,r ( x) es una función de
densidad de probabilidad.
1 + pq ⎛ r+s r+s⎞
E( xs ) = K β ⎜1 + ,q − ⎟ (4.14)
p(r + s + 1) ⎝ p p ⎠
Demostración.-
∞
E ( x ) = ∫ x s g (pn, q) ,r ( x) dx , r + n < pq
s
∞
E ( x ) = ∫ x s Kψ r ( p, q )( x)dx
s
∞
= K ∫ xr+s p,q ( x −1 ) dx
0
∞
= K ∫ψ r + s ( p, q )( x) dx , r + s < pq
0
1 + pq ⎛ r+s r+s⎞
=K β ⎜1 + ,q − ⎟
p( s + r + 1) ⎝ p p ⎠
├
Capítulo IV Solución del Segundo Problema de Valor Inicial 232
Generación de Funciones de Densidad de Probabilidad g (pn, q) ,r ( x )
4.8.1.1.- Si r + 1 < pq ,
1 + pq ⎛ r + 1 r +1⎞
µ1 = E ( x) = K . β ⎜1 + ,q − ⎟
r+2 ⎝ p p ⎠
⎛ r +1 r +1⎞
β ⎜1 + ,q −
r +1 ⎝ p p ⎟⎠
= (4.15)
r+2 ⎛ r r⎞
β ⎜1 + , q − ⎟
⎝ p p⎠
4.8.1.2.- Si r + 2 < pq ,
1 + pq ⎛ r + 2 r+2⎞
µ2 = E ( x 2 ) = K . β ⎜1 + ,q − ⎟
r +3 ⎝ p p ⎠
r+2⎛ r+2⎞
β ⎜1 + ,q −
r +1 ⎝ p p ⎠⎟
= . (4.16)
r +3 ⎛ r r⎞
β ⎜1 + , q − ⎟
⎝ p p⎠
4.8.1.3.- Si r + 3 < pq ,
1 + pq ⎛ r + 3 r +3⎞
µ3 = E ( x 3 ) = K . β ⎜1 + ,q − ⎟
r+4 ⎝ p p ⎠
r +3⎛ r +3⎞
β ⎜1 +,q −
r +1 ⎝ p p ⎟⎠
= . (4.17)
r+4 ⎛ r r⎞
β ⎜1 + , q − ⎟
⎝ p p⎠
Capítulo IV Solución del Segundo Problema de Valor Inicial 233
Generación de Funciones de Densidad de Probabilidad g (pn, q) ,r ( x )
4.8.1.4.- Si r + 4 < pq ,
1 + pq ⎛ r + 4 r+4⎞
µ4 = E ( x 4 ) = K . β ⎜1 + ,q − ⎟
r +5 ⎝ p p ⎠
⎛
r+4 r+4⎞
β ⎜1 + ,q −
r +1 ⎝ p p ⎟⎠
= . (4.18)
r +5 ⎛ r r⎞
β ⎜1 + , q − ⎟
⎝ p p⎠
4.8.2.1.- Varianza:
Luego,
2
⎛ r+2 r+2⎞ ⎛ ⎛ r +1 r +1⎞ ⎞
β ⎜1 + ,q − ⎟ ⎜ β ⎜1 + ,q − ⎟
r +1 ⎝ p p ⎠ ⎜ r +1 ⎝ p p ⎟⎠ ⎟
σ = V ( x) =
2
. − , (4.19)
r +3 ⎛ r r⎞ ⎜r+2 ⎛ r r⎞ ⎟
β ⎜1 + , q − ⎟ ⎜ β ⎜1 + , q − ⎟ ⎟
⎝ p p⎠ ⎝ ⎝ p p⎠ ⎠
r + 2 < pq
Capítulo IV Solución del Segundo Problema de Valor Inicial 234
Generación de Funciones de Densidad de Probabilidad g (pn, q) ,r ( x )
⎢ β ⎜1 + ,q − ⎟ ⎜ β ⎜1 + ,q − ⎟ ⎥
⎢ r +1 . ⎝ p p ⎠ ⎜ r +1 ⎝ p p ⎟⎠ ⎟ ⎥
⎢r +3 − ⎥
⎛ r r⎞ ⎜r+2 ⎛ r r⎞ ⎟
⎢ β ⎜1 + , q − ⎟ ⎜ β ⎜1 + , q − ⎟ ⎟ ⎥
⎢⎣ ⎝ p p⎠ ⎝ ⎝ p p⎠ ⎠ ⎥⎦
r + 3 < pq
4.8.2.3.- El coeficiente de kurtosis se calcula mediante la definición:
µ4
α4 = , (Freund-Walpole, 1987)
σ4
Por lo tanto,
⎛ r+4 r+4⎞
(r + 1) β ⎜1 + ,q −
⎝ p p ⎟⎠
⎛ r r⎞
(r + 5) β ⎜ 1 + , q − ⎟
α4 = ⎝ p p⎠
, (4.21)
2
⎡ ⎛ r+2 r+2⎞ ⎛ ⎛ r +1 r +1⎞ ⎞ ⎤
2
⎢ β ⎜1 + ,q − ⎜ β 1+ ,q − ⎟ ⎥
⎢ r +1 . ⎝ p p ⎟⎠ ⎜ r + 1 ⎜⎝ p p ⎟⎠ ⎟ ⎥
⎢r +3 −
⎛ r r⎞ ⎜r+2 ⎛ r r⎞ ⎟ ⎥
⎢ β ⎜1 + , q − ⎟ ⎜ β ⎜ 1 + , − ⎟ ⎥
p ⎟⎠ ⎠ ⎥
q
⎢⎣ ⎝ p p⎠ ⎝ ⎝ p
⎦
r + 5 < p ( q + 1)
Capítulo IV Solución del Segundo Problema de Valor Inicial 235
Generación de Funciones de Densidad de Probabilidad g (pn, q) ,r ( x )
⎛ ⎛s⎞
∞ i=s
⎞
= ∫ ⎜ ∑ ⎜ ⎟ ( −1) x s −i µ i ⎟ g (pn,q) ,r ( x) dx
i
0 ⎝ i =0 ⎝ ⎠ ⎠
i
∞
i=s s
⎛ ⎞
= ∑ ⎜ ⎟ ( −1) µ i ∫ x s −i g (pn,q) , r ( x) dx
i
i =0 ⎝ i ⎠ 0
∞
i=s s
⎛ ⎞
= ∑ ⎜ ⎟ ( −1) µ i ∫ x s −i K ψ r ( p, q )( x) dx
i
i =0 ⎝ i ⎠ 0
∞
i=s
⎛s⎞
= ∑ ⎜ ⎟ ( −1) µ K ∫ x s −i x r ( x −1 ) dx
i i
p,q
i =0 ⎝ i ⎠ 0
∞
⎛s⎞
i=s
= K ∑ ⎜ ⎟ ( −1) µ ∫ x s + r −i ( x −1 ) dx
i i
p,q
i =0 ⎝ i ⎠ 0
∞
⎛s⎞
i=s
= K ∑ ⎜ ⎟ ( −1) µ ∫ψ r + s −i ( p, q )( x) dx , s + r < pq
i i
i =0 ⎝ i ⎠ 0
⎛ ⎞
i =s s ⎛ 1+ pq ⎛ r + s −i r + s −i ⎞⎞
= K ∑⎜ ⎟ ( −1) µ i ⎜ β ⎜1+ ,q−
i
⎟⎟
i =0 ⎝ i ⎠ ⎝ r + s − i +1 ⎝ p p ⎠⎠
Luego,
x
G p( n, q) ,r ( x) = ∫ Kψ r ( p, q )(t ) dt
0
x
= K ∫ tr p ,q (t −1 ) dt
0
Capítulo IV Solución del Segundo Problema de Valor Inicial 236
Generación de Funciones de Densidad de Probabilidad g (pn, q) ,r ( x )
1 + pq r + p −1
x x
1
(1 ⊕ t − p ) dt
q +1
∫t ψ r +1 ( p, q )( x) + ∫
−1
p , q (t ) dt =
r
t
0
r +1 r +1 0
1 + pq r −1− pq
x
1
(1 ⊕ t p ) dt
q +1
=
r +1
ψ r +1 ( p, q )( x) + ∫
r +1 0
t
1 + pq r −1− pq + mp − mp
x
1
(1 ⊕ t p ) dt
q +1
=
r +1
ψ r +1 ( p, q )( x) + ∫
r +1 0
t
x
1 + pq r −1− pq + mp i = m ⎛ m ⎞
x
1
∫t
r −1
p , q (t ) dt =
r +1
ψ r +1 ( p, q)( x) +
r + 1 ∫0
(t ∑ ⎜ ⎟ ( − 1)
i
(1 ⊕ t )
p q +1− ( m −i )
) dt
0 i =0 ⎝ i ⎠
1 + pq i = m ⎛ m ⎞
x
1
(t r −1− pq + mp (1 ⊕ t p )
q +1− ( m −i )
= ψ r +1 ( p, q )( x) + ∑ ( − ) ∫
i
⎜ ⎟ 1 ) dt
r +1 r + 1 i =0 ⎝ i ⎠ 0
1 1 + pq i = m ⎛ m ⎞ 1
= ψ r +1 ( p, q)( x) + ∑ ⎜ ⎟ ( −1) ( x r − p ( m− q ) )
i
r +1 r + 1 i =0 ⎝ i ⎠ r + p(m − q)
p
, q +1− ( m −i )
r − p ( m−q )
1 1 + pq i=m m
⎛ ⎞
= ψ r +1 ( p, q)( x) + ∑ ⎜ ⎟ ( −1) ( x r − p ( m− q ) )
i
5.1.-Definición
La siguiente definición constituye una síntesis de los resultados obtenidos a partir la
solución de los problemas de valor inicial 1 y 2.
Definición.- Sea r un número real positivo.
Se dice que una función de densidad de probabilidad f : +0 → , es de tipo
Omega-r, si satisface a lo menos una de las siguientes condiciones:
5.1.1.- Existen números reales p, q tales que, p > 0, q ≥ 0, r + 1 < p(q + 1), f = f p(,nq),r .
5.1.2.- Existen números reales p, q tales que, p, q > 0, r + p > 1, r < pq, f = g (pn,q) ,r .
⎧x 3
⎪ ( Ln(1 + x 6 ) − 6 Ln x) , x > 0
h( x ) = ⎨ π
⎪ 0 , x=0
⎩
q +1 r +1 r +1
K −1 = β( , q +1− )
r +1 p p
Es decir,
1 1 2
K −1 = β( , )
2 3 3
π π
= Csc( )
2 3
π
=
3
3
De donde, K =
π
h( x ) = K x r 1, q ( x− p )
= Kϕ r ( p, q )( x)
3
con K = , r = 1, p = 6, q = 0, r + 1 < p ( q + 1)
π
Esto es, h( x) = f 6,0,1
(4)
( x)
⎧ 315 x 2 x 2x 8x 16 x
⎪ ( ArcTan x −1 − − − − ) , x>0
i ( x) = ⎨ 16 1 + x 3(1 + x ) 15(1 + x ) 35(1 + x 2 ) 4
2 2 2 2 3
⎪ , x=0
⎩0
315 x 2x 8x 16 x
( x −1 ) = ( ArcTan x −1 − − − − )
1 + x 3(1 + x ) 15(1 + x ) 35(1 + x 2 ) 4
2,4 2 2 2 2 3
128
Luego,
i ( x) = 8 x 2 2,4 ( x −1 )
Capítulo V Generación de Funciones de Densidad de Probabilidad 242
Omega-r
Esto es,
i ( x) = Kψ r ( p, q)( x)
5 5x4 x4 9 x4
j ( x) = 10 x ( −
4
4
− 9
− 14
), x≥0
4
4(1 + x )5 5
(1 + x )5 5
10(1 + x ) 5 5
−1 25 5 5x4 x4 9x4
14 ( x ) = ( − 4
− 9
− 14
)
5, 21 4
5
4(1 + x )5 5
(1 + x )5 5
10(1 + x )5 5
luego,
42 4
j ( x) = x 14 ( x −1 ) , x > 0
5 5,
5
j (0) = 0
Por lo tanto, la función j ( x) tiene la forma
j ( x ) = kψ r ( p, q)( x)
42 14
donde, k = , r = 4, p = 5, q = , r + p > 1, r < pq
5 5
Otra forma para la función j .es
j ( x ) = g (9)14 ( x )
5, ,4
5
6 1 1 2+ x 3 2− x 3
l ( x) = x ( ArcTan[ x −1 ] + ( ArcTan[ ] + ArcTan[ ]) +
π 3 6 x x
3 x2 + x 3 + 1 x5
Log[ 2 ]− ) , x>0
x − x 3 +1 1+ x
5
12
l (0) = 0
Probaremos que l es una función de densidad de probabilidad de tipo Omega-r.
Tenemos que,
7 1 1 2+ x 3 2− x 3
6,1 ( x −1 ) = ( ArcTan[ x −1 ] + ( ArcTan[ ] + ArcTan[ ]) +
6 3 6 x x
3 x2 + x 3 + 1 x5
Log[ 2 ]− )
x − x 3 +1 1+ x
5
12
luego,
l ( x ) = Kx 6,1 ( x −1 ) , x ≥ 0
donde,
36
K=
7π
Esto es,
36
l ( x) = ψ 1 (6,1)( x)
7π
Por lo tanto,
l ( x ) = g1,6,1
(4)
( x)
1
k =10 β ( , k )
6 235 515 2 1
m( x ) = x (2 ArcSen( ) − x∑ 2 ) , x≥0
131 072 1+ x 2
k =1 (1 + x 2 )k
Esto es,
180
m( x ) = ψ 2 (2,10)( x) , x ≥ 0
7
Por lo tanto,
m( x) = g 2,10,2
(17)
( x) donde 17 = máx {k ∈ / 2 + k < 20}
Capítulo V Generación de Funciones de Densidad de Probabilidad 246
Omega-r
6q(q − 1) 2
mq ( x) = x ( x −1 ) , q = 2,3,... , x > 0
(1 + 2q)
2, q
mq (0) = 0
6q (q − 1)
Esto es, mq ( x) = ψ 2,q ,2 ( x) , q = 2,3,... , x ≥ 0
(1 + 2q)
Por lo tanto,
mq ( x) = g 2,( nq),2 ( x) , q = 2,3,... , x ≥ 0
para r = 2 .
Es decir, mq ∈ Ω 2 , q = 2,3,...
Observación:
Los cinco ejemplos anteriores ilustran las variadas formas que pueden adoptar
las funciones de densidad de probabilidad Omega-r.
Las gráficas mostradas a continuación ilustran dos ejemplos de la subfamilia
de f.d.p. mq .para los casos q = 2 y q = 3 .
Capítulo V Generación de Funciones de Densidad de Probabilidad 248
Omega-r
6.1- CONCLUSIONES
• Cada una de las diversas formas que adoptan las funciones de densidad de
probabilidad Omega-r puede ser analizada mediante el Cálculo Contractivo.
Capítulo VI: Conclusiones y Recomendaciones 253
6.2-RECOMENDACIONES
REFERENCIAS BIBLIOGRÁFICAS
−1
∞
⎛ 3k ⎞
Batir, N.(2005). “On the Series ∑ ⎜ ⎟ k − n x k ”.Proc. Indian Acad. Sci. (Math.
k =1 ⎝ k ⎠
Bailey, D.; Borwein, P., and Plouffe, S. ( 1997). "On the Rapid Computation of
Various Polylogarithmic Constants". Mathematics of Computation 66
(218): 903-913
Gray, R. (2002). “Course Notes”. Advanced Statistical Computing. BIO 248 CD.
Urra N., Saavedra B., (2004). “Lección Nº 1 del Curso sobre Funciones
Contráctiles”, [Documento en línea]. Disponible en:
http://contractil.com/Lección Nº 1.pdf [Consulta: 2006, Marzo 15].
Urra N., Saavedra B., (2005). “Lección Nº 2 del Curso sobre Funciones
Contráctiles”, [Documento en línea]. Disponible en:
http://contractil.com/Lección Nº 2.pdf [Consulta: 2006, Marzo 15].
Urra N., Saavedra B., (2006). “Funciones Tau-Beta, Teoría de Series, Segunda
Separata de la Lección Nº 3 del Curso sobre Funciones Contráctiles”,
[Documento en línea]. Disponible en: http://contractil.com/Separata de la
Lección Nº 3. [Consulta: 2006, Marzo 15]
Xavier Gourdon and Pascal Sebah. (2004) “The Logarithmic Constant: log 2”
[Documento en línea]. Disponible en:
http://numbers.computation.free.fr/Constants/constants.html[Consulta: 2006,
Enero 10].
Xavier Gourdon and Pascal Sebah. (2003) “Pi and its computation through the
ages” [Documento en línea]. Disponible en:
http://numbers.computation.free.fr/Constants/constants.html[Consulta:
2006, Enero 10].
Xavier Gourdon and Pascal Sebah. (2002) “Collection of approximations for Pi.”
[Documento en línea]. Disponible en:
http://numbers.computation.free.fr/Constants/constants.html[Consulta:
2006, Enero 10].