Beruflich Dokumente
Kultur Dokumente
com
LECCION N° 2
(07 de Julio de 2005)
1.- Definición.
Para cada par de números reales no negativos α, β, se define la Suma Contractiva α ⊕ β ,
del modo siguiente:
α ⊕ β = α lim (1 ⊕ x −1 β )
x →α +
Aunque pudiera parecer que la Def. 1. generaliza el concepto de primera contracción,
puesto que genera una identidad cuando α = 1 ; debemos advertir que la suma contractiva
tiene su origen en la geometría, fundamentándose en rigor, en los axiomas de Euclides. Por
ahora no necesitamos explorar esa materia.
Dejaremos como ejercicio la demostración de las siguientes propiedades:
2.- Propiedades.
2.1.- 0 ⊕ β = β ⊕ 0 = 0
2.2.- α ⊕ β = (α −1 + β −1 ) −1 , α , β > 0
2.3.- α ⊕ β = β ⊕ α
2.4.- (α ⊕ β )(α + β ) = αβ
2.5.- (α ⊕ β ) (α −1 + β −1 ) = 1 , α , β > 0
2.6.- α ( β ⊕ γ ) = αβ ⊕ αγ
2.7.- α ⊕ ( β ⊕ γ ) = (α ⊕ β ) ⊕ γ
2.8.- 0 ≤ α ⊕ β ≤ min {α , β }
2.9.- lim(α ⊕ β ) = β
α →∞
α α α
2.10.- ⊕ = , β ,γ > 0
β γ β +γ
1
Descargado de http://www.contractil.com
2 5 4 10 20 20 20 20 20 20
2.12.- ⊕ ⊕ ⊕ = ⊕ ⊕ ⊕ = =
3 8 9 7 30 32 45 14 30 + 32 + 45 + 14 121
negativos.
Si existe un número real α , tal que para cada i, 1 ≤ i ≤ n, xi yi = α , entonces
⎛ i =n ⎞ ⎛ i =n ⎞
⎜ ⊕ xi ⎟ ⎜ ∑ yi ⎟ = α
⎝ i =1 ⎠ ⎝ i =1 ⎠
i =n
donde, ⊕x
i =1
i = x1 ⊕ x2 ⊕ ... ⊕ xn .
∑y
i =1
i ≠0 ⇒ ⊕x
i =1
i =0
El T.M.S. puede ser usado como modelo para resolver problemas en los cuales, las
variables principales varían en relación inversa con otras variables que también pueden
afectar la solución.
3.- Ejemplos.
2
Descargado de http://www.contractil.com
i =n
La eficacia del equipo es ∑e .
i =1
i Si T es el tiempo buscado, debe ocurrir que
i =n
T .∑ ei = W . Pero el T.M.S. afirma que
i =1
⎛ i =n ⎞ ⎛ i =n ⎞
3.1.1 ⎜ ⊕ 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
3.3.- Supóngase que un móvil recorre rectilíneamente con velocidad variable una
distancia s en un tiempo t. Subdividamos s en n etapas Ek , 1 ≤ k ≤ n (En general,
diferentes); y t en n periodos tk , donde tk es el tiempo de duración del movimiento en la
etapa correspondiente Ek . Bajo estas condiciones, existen n números reales λ1 , λ2 ,..., λn con
k =n
la propiedad ⊕λ
k =1
k = 1 , tales que,
k =n
= ⊕ λk . k
s E
3.3.1
t k =1
tk
Obsérvese que si el movimiento es uniforme, 3.3.1 es una identidad.
3
Descargado de http://www.contractil.com
3.4 Considérese una sustancia de masa total m que ocupa una región espacial R de
m
volumen V. La densidad promedio será δ = . Si { Rk }k =1 es una partición de R, siendo δ k
k =n
V
la densidad promedio en la subregión Rk , entonces existen n números reales λ1 , λ2 ,..., λn
k =n
con la propiedad ⊕λ
k =1
k = 1 , tales que,
k =n
3.4.1 δ = ⊕ λk .δ k
k =1
3.5 Tres personas trabajan en una obra, de tal modo que en ocasiones lo hacen en
equipo (en forma simultánea) y a veces individualmente, por turnos. Se estima que
el trabajo en equipo cubrirá un 40% de la obra total; y el trabajo individual un 20%
por cada trabajador. Se ha determinado que si los tres trabajaran al ritmo del
trabajador más calificado, terminarían la obra en 55 días. Pero ocurre que los otros
dos realizan 20% y 25% menos cantidad de trabajo por unidad de tiempo que el
trabajador más efectivo. Se pide determinar el tiempo que demoran en hacer la obra
total.
Solución. Si x, y, z son los tiempos correspondientes en que cada trabajador pudiera hacer
la obra total trabajando solo, entonces el tiempo t buscado viene dado por la ecuación:
2 1
3.5.1 t = ( x ⊕ y ⊕ z) + ( x + y + z)
5 5
Si suponemos que x es el tiempo del trabajador más calificado, y del segundo y z del
5x 4x
tercero, entonces debe tenerse que y = , z= .
4 3
De donde,
2⎛ 5x 4 x ⎞ 1 ⎛ 5x 4 x ⎞
3.5.2 t = ⎜x⊕ ⊕ ⎟+ ⎜x+ + ⎟
5⎝ 4 3 ⎠ 5⎝ 4 3 ⎠
Esto es,
⎛2⎛ 5 4 ⎞ 1 ⎛ 5 4 ⎞⎞
3.5.3 t = x ⎜ ⎜1 ⊕ ⊕ ⎟ + ⎜1 + + ⎟ ⎟
⎝5⎝ 4 3 ⎠ 5 ⎝ 4 3 ⎠⎠
297
Luego, t = x.
340
Pero x debe satisfacer la ecuación,
2 1
3.5.4 55 = ( x ⊕ x ⊕ x ) + ( x + x + x)
5 5
⎛2 1 ⎞
55 = x ⎜ (1 ⊕ 1 ⊕ 1) + (1 + 1 + 1) ⎟
⎝5 5 ⎠
Obteniéndose
4
Descargado de http://www.contractil.com
x = 75 días.
Para el valor de t se tiene entonces,
297
t = 75. ≈ 65.5 días.
340
Introducción.
La Contracción Factorial es un instrumento del Cálculo Numérico. Es el operador
que forma la estructura de los coeficientes de una importante serie de funciones, llamada
“Serie de Contracciones” (Serie Geométrico-Factorial), la cual constituye una parte
esencial de la Función Contráctil.
Es imperativo, conocer en profundidad sus propiedades; y desarrollar habilidad en
la manipulación sintáctica de este operador; si se desea progresar en el estudio de esta área
de la Matemática, es decir, el Cálculo Contractivo.
La contracción factorial tiene como una de sus componentes, la suma contractiva.
Es necesario ver la suma contractiva como un operador independiente de la suma
usual en los números reales, aunque, existan fuertes enlaces sintácticos entre ambos
operadores. Debe suponerse (aunque por su definición, parezca paradójico) que existe un
tercer operador elemental, ajustado a los números reales no negativos, la “Suma
Contractiva”.
En el contexto más amplio del “Álgebra Circular”, teoría que esperamos exponer
más adelante, la suma contractiva es un operador primario, independiente de todo otro
operador.
Un aspecto relevante de las contracciones factoriales, que se muestra en esta
lección, es su aplicación al cálculo de la función Beta. También se estudia el
comportamiento de la Serie Factorial (serie cuyos términos son contracciones factoriales);
y se muestran nuevas relaciones con la función Beta, además, de una particular analogía
con la serie geométrica.
Otra de las aplicaciones particularmente importante está referida al estudio de las
condiciones de convergencia de cierto tipo de integrales impropias. Allí se observarán
innovaciones teóricas y métodos realmente no convencionales en el cálculo del valor límite
de tales integrales.
En la preparación de la lección se usaron dos instrumentos de cálculo numérico para
operaciones interactivas. El primero de ellos es un programa de computación para calcular
contracciones factoriales. Tal programa ha sido elaborado por Daniel Saavedra, miembro
activo del Grupo de Investigación en Cálculo Contractivo (G.I.C.C.). El otro instrumento es
una calculadora Casio fx-3600Pv.
Los problemas que se dejan propuestos en la parte final de la Lección, deberían
servir a su objetivo, esto es, preparar al lector para el estudio de las funciones contráctiles y
sus aplicaciones.
5
Descargado de http://www.contractil.com
1.- Definición.
Sean α , q números reales no negativos y k un número entero positivo o nulo. La “q-
α)
Contracción Factorial de α en grado k”, denotada por 1( q , k , se define por recurrencia
mediante las siguientes relaciones:
( q ,0 α )
1.1.- 1 =1
(q,k α ) ( q , k −1 α )
1.2.- 1 = (1 ⊕ (q + k )α ). 1 , k =1,2,…
(k α ) ( 0 , k α)
Nota: Cuando q = 0, se escribe 1 en lugar de 1 .
2.- Ejemplos.
Los siguientes ejemplos deberían ayudar al lector a entender la naturaleza de los algoritmos
que se representan por medio de contracciones factoriales.
⎛ 2⎞
⎜4 ⎟ ⎛ 2 ⎞⎛ 4 ⎞⎛ 6 ⎞⎛ 8⎞
2.1.- 1 ⎝ 3⎠
= ⎜ 1 ⊕ ⎟ ⎜ 1 ⊕ ⎟ ⎜ 1 ⊕ ⎟ ⎜ 1 ⊕ ⎟ = 2 . 4 . 6 . 8 = 128
⎝ 3 ⎠⎝ 3 ⎠⎝ 3 ⎠⎝ 3 ⎠ 5 7 9 11 1155
⎛ 2 ⎞
⎜ , 3 2⎟ ⎛
⎝ 5 ⎠ ⎛ 2 ⎞ ⎞⎛ ⎛ 2 ⎞ ⎞⎛ ⎛2 ⎞ ⎞
2.2.- 1 = ⎜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
⎛ 1⎞
⎜ 3, 5 ⎟ ⎛
⎝ 2⎠ 3 +1⎞ ⎛ 3 + 2 ⎞⎛ 3 + 3 ⎞⎛ 3 + 4 ⎞⎛ 3+5⎞
2.3.- 1 = ⎜⎜1 ⊕ . ⎟⎟ ⎜⎜1 ⊕ . ⎟⎟ ⎜⎜ 1 ⊕ . ⎟⎜
⎟⎜ 1⊕ . ⎟⎜
⎟⎜ 1⊕ . ⎟
⎝ 2 ⎠⎝ 2 ⎠⎝ 2 ⎠⎝ 2 ⎠⎝ 2 ⎟⎠
3 +1 3 + 2 3 + 3 3 + 4 3 + 5 3 +1 3 + 2
= . . . . = . .
3 +3 3 +4 3 +5 3 +6 3 +7 3+6 3+7
⎛ 1⎞
⎜q , k ⎟
α⎠ (q + 1)(q + 2)...(q + k )
2.4.- 1 ⎝
= , α > 0 , k =1,2,…
(α + q + 1)(α + q + 2)...(α + q + k )
6
Descargado de http://www.contractil.com
En efecto,
⎛ 1 ⎞⎛ 1 ⎞⎛ 1 ⎞⎛ 1 ⎞⎛ 1 ⎞⎛ 1 ⎞⎛ 1 ⎞
⎜ + 1⎟ ⎜ + 2 ⎟ ⎜ + 3 ⎟⎜ + 4 ⎟⎜ + 5 ⎟⎜ + 6 ⎟⎜ + 7 ⎟
λ= ⎝ 6 ⎠⎝ 6 ⎠⎝ 6 ⎠⎝ 6 ⎠⎝ 6 ⎠⎝ 6 ⎠⎝ 6 ⎠
⎛ 5 1 ⎞⎛ 5 1 ⎞⎛ 5 1 ⎞⎛ 5 1 ⎞⎛ 5 1 ⎞⎛ 5 1 ⎞⎛ 5 1 ⎞
⎜ + + 1⎟⎜ + + 2 ⎟⎜ + + 3 ⎟ ⎜ + + 4 ⎟⎜ + + 5 ⎟⎜ + + 6 ⎟⎜ + + 7 ⎟
⎝ 3 6 ⎠⎝ 3 6 ⎠⎝ 3 6 ⎠⎝ 3 6 ⎠⎝ 3 6 ⎠⎝ 3 6 ⎠⎝ 3 6 ⎠
De donde,
⎛1 3⎞
⎜ ,7 ⎟
λ =1 ⎝6 5⎠
De 2.7 se deducen los siguientes resultados importantes, para el caso en que α es un entero
positivo.
⎛ 1⎞ −1
⎜k
⎝
⎟
α⎠ ⎛α + k ⎞
2.8 1 =⎜ ⎟ , k =1,2,…
⎝ α ⎠
⎛ 1⎞ ⎛ 1⎞
⎜k ⎟ ⎜α ⎟
⎝ α⎠ ⎝ k⎠
2.9 1 = 1 , k =1,2,…
⎛ 1⎞
( k 1) ⎜1 ⎟
1 1
2.10 1 =
⎝ k⎠
1 = 1⊕ = , k =1,2,…
k k +1
⎛ 1⎞ ⎛ 1⎞
⎜13 ⎟ ⎜2 ⎟
2⎠ ⎝ 13⎠ ⎛ 1 ⎞⎛ 2⎞ 1 2 1
2.11 1 ⎝
=1 = ⎜1 ⊕ ⎟⎜1 ⊕ ⎟ = . =
⎝ 13 ⎠⎝ 13 ⎠ 14 15 105
7
Descargado de http://www.contractil.com
3.- Propiedades.
Proponemos al lector, demostrar las siguientes propiedades.
( q, k α )
3.1 0≤ 1 ≤1
( q , k α)
3.2 lim 1 =0
k →∞
( q , k α)
3.3 lim
q→∞
1 =1 , α >0, k =1,2,…
( q , k α)
3.4 lim
α →∞
1 =1 , k =1,2,…
( q , k α) ( k α)
3.5 lim
q→ 0
1 =1 , k =1,2,…
( q , k α)
3.6 lim 1 =0 , k =1,2,…
α →0
( q , k α) ( q, k β)
3.7 α ≥β ⇒ 1 ≥ 1 , k =1,2,…
n > k ⇒ 1(
q , n α)
≤ 1(
q , k α)
3.8 , n, k =1,2,…
8
Descargado de http://www.contractil.com
4. Teoremas. Proposiciones, Resultados, Problemas, Definiciones, Ejercicios
Didácticos.
Serán referidas como teoremas, aquellas proposiciones en las cuales deseamos hacer
énfasis, porque las consideramos especialmente relevantes en el cálculo con contracciones
factoriales.
( q−1 , k α ) ( k α ⊕ q)
1
( k q)
.1 = 1 , q > 0.
(q )
= (1⊕ ( q + k ) α ) .1 .(1 ⊕ k q ) .1(
k q)
−1
( q−1, k α) ( k q) , k α
.1
−1
1
( k α ⊕ q)
= (1 ⊕ (1 + ( k q ) ) k α )(1⊕ k q ) .1
−1
(4.1.2)
( k α ⊕q )
= (1 ⊕ k ( α ⊕ q )) .1
(k α⊕q )
= 1
├
k (1⊕α ).1(
(k α) k −1 1 ⊕ α )
1 = , k =1,2,…
9
Descargado de http://www.contractil.com
Demostración.- De la Def. 1, es obvio que,
(k α ) ( 1 , k −1 α )
4.2.1 1 = ( 1 ⊕ α ) .1 , k =1,2,…
Pero,
( 1 , k −1 α) ( k−1 1) ( k −1 1⊕ α )
4.2.2 1 .1 =1 , k =1,2,… (P.I.F.)
Además,
( k − 1 1) 1
4.2.3 1 = , k =1,2,…
k
Luego,
k .1( )
(1, k −1 α ) k −1 1 ⊕ α
4.2.4 1 = , k =1,2,…
k (1 ⊕α ).1(
( k α) k − 1 1 ⊕α )
4.2.5 1 = , k =1,2,…
├
( q , k −1 1 ⊕ α )
= (q + k )(q −1 ⊕ 1 ⊕ α ) . 1
( q , k α)
1 , q>0, k =1,2,…
4.3.1 k = 1.
( q ,1 α )
1 = 1 ⊕ (q + 1)α
= (q + 1)((q + 1) −1 ⊕ α )
= (q + 1)(q −1 ⊕ 1 ⊕ α )
( q ,1−1 1 ⊕ α )
= (q + 1)(q −1 ⊕ 1 ⊕ α ) . 1
10
Descargado de http://www.contractil.com
4.3.2 Hipótesis de Inducción.
4.3.3 Sea k = k + 1,
1
( q , k α)
= (1 ⊕ (q + k )α ) .1( q , k α)
( )
= 1 ⊕ (q + k )α .(q + k ).(q ⊕1⊕α ).1
−1 ( q, k −1 1 ⊕ α )
, (4.3.2)
( ) −1 ( q, k 1 ⊕ α )
= 1⊕ (q + k )α .(q + k).(q ⊕1⊕α).(1+ (q + k) (1⊕α) )1
−1 −1
= (1⊕ (q + k ) α ) .(q −1
⊕1⊕α ).(q + k + α −1 )1(
q , k 1 ⊕α )
= ( q + k ) .( q −1
⊕ 1 ⊕ α ).1(
q , k −1 1⊕α )
4.4.- Proposición.
( k 1⊕α ) ( k − 1 1 ⊕α ) (k α )
1 = 1 ⊕ 1 , k =1,2,…
Demostración.
k (1 ⊕ α ) .1( )
k −1 1⊕ α (k α)
4.4.1 =1 , (S.I.F.)
Luego,
1(
k −1 1 ⊕ α )
4.4.2 (1⊕ k (1⊕α ) ) .1( k −1 1⊕ α )
= ⊕ 1
(k α)
11
Descargado de http://www.contractil.com
De donde,
( k−1 1 ⊕α )
1( )
k 1⊕α ( k α)
4.4.3 =1 ⊕ 1
├
4.5.- Proposición.
i=k
(k 1 ⊕ α) (i α )
1 = ⊕1 i=0
Demostración.
4.5.2 k =1.
(1 1 ⊕ α ) (0 α ) (1 α )
1 = 1 ⊕ (1 ⊕ α ) = 1 ⊕ 1
4.5.3 Hipótesis de Inducción. Sea válida la proposición para un entero k ≥ 1 , arbitrario.
4.5.4 Sea k = k + 1,
(k 1 ⊕ α) (k 1⊕α ) (k α)
1 = 1 ⊕ 1 , (4.4)
⎛ i = k (i α ) ⎞ (k α)
= ⎜⊕ 1 ⎟ ⊕ 1 , (4.5.3)
⎝ i=0 ⎠
⎛ i=k ( i )⎞
= ⎜⊕ 1
α
⎟
⎝ i=0 ⎠
├
12
Descargado de http://www.contractil.com
4.7.- Proposición.- Si n, k son números enteros no negativos, entonces.
1(
α)
1( )
n+k (n α ) n, k α
= 1 .
4.8.- Proposición.-
⎛ 1⎞
(q, k 1) ⎜q , 1 ⎟
1 =1 ⎝ k⎠
, k =1,2,…
4.8.3 1
( q , k+1 1 )
(
= 1⊕ ( q + k +1) .1
( q , k 1)
)
( q, 1 )
( )
k −1
= 1 ⊕ ( q + k + 1) .1 , (4.8.2)
= (1 ⊕ ( q + k + 1) ) . (1 ⊕ ( q + 1) k −1 )
= ((q + 1) −1 ⊕ k −1 ⊕ 1)(q + 1)
(
= 1 ⊕ ( q + 1)( k + 1)
−1
)
⎛ 1 ⎞
⎜⎜ q , 1 k +1⎟⎟
⎝ ⎠
= 1
├
⎛ 1 ⎞ ⎛ 1⎞
⎜q , k ⎟ ⎜q , n ⎟
⎝ n ⎠ ⎝ k⎠
1 = 1
13
Descargado de http://www.contractil.com
Demostración.- Inducción Completa.
4.9.1 k = 1,
⎛ 1⎞
1(
⎜ q ,1 ⎟
⎝ n⎠ q , n 1)
1 = , (4.8)
⎛ 1⎞ ⎛ 1⎞
⎜ q , k +1 ⎟ ⎜q , k ⎟
−1
4.9.3 1⎝ n⎠
= (1 ⊕ ( q + k + 1).n ).1 ⎝ n⎠
⎛ 1⎞
⎜q , n ⎟
−1
= (1 ⊕ ( q + k + 1).n ).1 ⎝ k⎠
, (4.9.2)
(q + k + 1) (q + 1)(q + 2)...(q + n)
= . , (2.4)
(q + k + 1 + n) (k + q + 1)(k + q + 2)...(k + q + n)
(q + 1)(q + 2)...(q + n)
=.
(k + q + 2)(k + q + 3)...(k + q + n + 1)
(q + 1)(q + 2)...(q + n)
=
(k + 1 + q + 1)(k + 1 + q + 2)...(k + 1 + q + n)
⎛ 1 ⎞
⎜⎜ q , n ⎟
k + 1 ⎟⎠
⎝
= 1 , (2.4)
├
Las proposiciones 4.8 y 4.9 son fórmulas de reducción, que sirven a los procesos de
cálculo, de manera análoga a los ejemplos mostrados en 2.10 y 2.11.
∑ 1(
q, k 1)
es divergente.
k =0
Demostración.-
14
Descargado de http://www.contractil.com
1(
q, k 1) 1
>
k
∞
∑1(
1 ∞ q, k 1)
Comparando ahora con la serie armónica ∑ , se concluye que la serie
k =1 k k =0
es divergente.
∑ 1( )
q, k 1+α
, es divergente.
k =0
k =n
∑1( (1 + ( q + 1)α ) . (1 − 1( )
q , k 1 ⊕α ) q , n +1 α )
=
k =0
Demostración.-
∑ 1( )
q, k 1⊕α
4.12.3.- n = 0, Para el primer miembro de 4.12 se tiene: = 1 ; y para el
k =0
segundo miembro,
(1 + ( q + 1) α ) (1 − 1( q ,0 +1 α )
) = (1 + ( q + 1)α ) (1 − (1⊕ ( q + 1)α )) = 1 + (q + 1)α − ( q + 1)α =1
4.12.4.- Hipótesis de Inducción.- Sea válido el teorema para un entero n ≥ 0 , arbitrario.
4.12.5 n = n +1
k =n k =n
( q, n 1⊕ α )
( q, k )
∑ 1( )
1⊕ α
∑1
1⊕ α q, k
= 1 +
k =0 k =0
15
Descargado de http://www.contractil.com
= (q + n +1)−1(q +1+α−1).1 ( q , n +1 α)
(
+ (1 + (q +1) α ) 1−1
( q, n α )
)
(T.I.F.), (4.12.4)
( (
= (1 + (q + 1) α ) 1 + ( q + n + 1) .α − 1+ ( q + n + 1) α
−1 −1 −1
(.1
−1
)) ( q , n+1 α )
)
= (1 + ( q + 1) α ) (1 − 1 )
( q , n +1 α )
La fórmula 4.12 fue obtenida por J. N. Urra por métodos analíticos, a través de la
serie de contracciones y la función contráctil.
∑1( )
q , k 1⊕ α
= 1 + (q + 1) α
k =0
Demostración.-
∞ k=n
∑ 1( )
= lim ∑ 1( )
q, k 1⊕α q, k 1⊕α
4.13.1 n→∞
k =0 k=0
= lim (1 + (q + 1) α ) 1 − 1
n →∞
(
( q , n +1 1⊕ α )
), (4.12)
= 1+ ( q + 1 ) α , (3.2)
├
En realidad, el intento por hacer una demostración algebraica de 4.13 fue lo que nos
acercó al método de Hardy, referido anteriormente.
∞
∑ 1(
q,k x)
La serie se denominará “Serie Factorial”. Las Proposiciones 4.11 y 4.13
k =0
se refieren entonces, al comportamiento de la serie factorial. En efecto, la Prop. 4.11 afirma
16
Descargado de http://www.contractil.com
que la serie diverge para x ≥ 1 y 4.13 afirma que converge para 0 ≤ x < 1 , proporcionando
además, el valor límite de la serie.
Las notaciones usadas son adecuadas y útiles en cálculo contractivo. Es necesario
percatarse de lo siguiente: “Si α es un número real no negativo, entonces 1 + α ∈ [1, ∞) y
1 ⊕ α ∈ [0,1) ”.
En algunas ocasiones nos referiremos a 1 + α y 1 ⊕ α como “variables
contractivas” y supondremos α ≥ 0 , a menos que se especifique lo contrario.
4.14 Proposición.-
∞
∑1( )
q , k 1 ⊕α
(q, n α )
= (1 + ( q + 1) α ).1 , n = 0,1,2,…
k =n
Demostración.- Basta aplicar 4.12 y 4.13.
⎛ 3 ⎞⎛ 3 ⎞ ⎛ 3 ⎞⎛ 3 ⎞⎛ 3 ⎞
⎜ + 1⎟⎜ + 2 ⎟ ⎜ + 1⎟ ⎜ + 2 ⎟⎜ + 3 ⎟
λ= ⎝ 4 ⎠⎝ 4 ⎠ + ⎝ 4 ⎠⎝ 4 ⎠⎝ 4 ⎠ + ...
⎛ 3 3 ⎞⎛ 3 3 ⎞ ⎛ 3 3 ⎞⎛ 3 3 ⎞⎛ 3 3 ⎞
⎜ + + 1⎟⎜ + + 2 ⎟ ⎜ + + 1⎟⎜ + + 2 ⎟⎜ + + 3 ⎟
⎝ 2 4 ⎠⎝ 2 4 ⎠ ⎝ 2 4 ⎠⎝ 2 4 ⎠⎝ 2 4 ⎠
⎛ 3 2⎞ ⎛ 3 2⎞
⎜ ,2 ⎟ ⎜ ,3 ⎟
λ =1 ⎝ 4 3⎠
+1⎝ 4 3⎠
+ ...
De donde,
∞ ⎛3 2⎞
⎜ ,k ⎟
λ = ∑1 ⎝4 3⎠
k =2
Se observa de inmediato que la serie converge.
2
Escribiendo ahora, = 1 ⊕ 2 , se tiene,
3
∞ ⎛3 ⎞
⎜ , k 1⊕ 2 ⎟
λ = ∑1
k=2
⎝4 ⎠
⎛ 3 ⎞
⎛ ⎛ 3 ⎞ ⎞ ⎜ 4, 2 2⎟
= ⎜ 1 + ⎜ + 1 ⎟ .2 ⎟ .1⎝ ⎠
, (4.14)
⎝ ⎝4 ⎠ ⎠
17
Descargado de http://www.contractil.com
⎛ 7 ⎞⎛ 7 ⎞⎛ 11 ⎞
= ⎜1 + ⎟⎜1 ⊕ ⎟⎜ 1 ⊕ ⎟
⎝ 2 ⎠⎝ 2 ⎠⎝ 2⎠
77
=
26
σ = ∑1
∞
( 3, k 2 )
k =1
Mostrando que la serie diverge.
Es conveniente destacar la forma del teorema 4.12 y las proposiciones 4.13 y 4.14, para el
caso q = 0.
Se obtienen los siguientes resultados.
( )
n
∑ 1( )
= (1 + α ) 1 − 1( )
k 1⊕α n +1 α
4.15
k =0
∞
∑ 1(
k 1⊕ α )
4.16 = 1+α
k =0
∞
∑ 1(
k 1⊕ α )
= (1 + α ).1(
n α)
4.17
k =n
Por otra parte, haciendo leves modificaciones en los segundos miembros de dos de
las fórmulas, 2.12.3, 2.12.1 y 2.12 en la Lección N° 1, se tiene.
∑ (1 ⊕ α ) = (1 + α ) (1 − (1 ⊕ α ) ),
k =n
k n +1
4.18 α > 0.
k =0
∞
∑ (1 ⊕ α ) = 1+α
k
4.19 , α > 0.
k =0
∞
∑ (1 ⊕ α ) = (1 + α )(1 ⊕ α ) n ,
k
4.20 α > 0.
k =n
La perfecta analogía que se observa entre las parejas de fórmulas 4.15 ↔ 4.18,
4.16 ↔ 4.19 y 4.17 ↔ 4.20, tiene gran importancia teórica; y será referida como “Analogía
Geométrico-Factorial”
18
Descargado de http://www.contractil.com
Pero hay que advertir que la relación entre 4.16 y 4.19 es más profunda. Se trata de
un resultado sorprendente, el cual es necesario resumir.
∞ ∞
∑ (1 ⊕ α ) ∑ 1( )
k 1⊕ α
= =1+α ,
k
4.21. α > 0.
k =0 k =0
∑ 1(
k 1⊕ 2 )
σ = ∑ (1 ⊕ 2 ) λ =
k
,
k =0 k =0
Por lo tanto, según 4.21 debe tenerse que,
σ = λ = 1+ 2 = 3
Es claro que σ puede obtenerse por métodos convencionales. En efecto,
1
σ= =3
2
1−
3
β (α , k ) = α .1
( k −1 α )
−1
−1
, k = 1,2,…
19
Descargado de http://www.contractil.com
1 1 1
β (α , k ) = ∫ t α −1
(1 − t ) dt = ∫ tk α −1
(1 − t ) k −1
dt − ∫ t α (1 − t ) k −1 dt
0 0 0
= β (α , k ) − β (1 + α , k )
( k −1 α ) − 1 + α −1 .1( k −1 (1+α ) )
−1 −1
= α −1.1 ( ) , ( 4.22.2 )
( k−1 α ) − 1⊕α−1 .1( k−1 1⊕α )
( )
−1 −1
= α−1.1
( k α ) − 1⊕α−1 .k−1. 1+α .1( k )
( ) ( ) (
−1
α−1
= α−1 1+ k−1α .1 ) , (S.I.F.)
= (α (1+ k α ) − k ) .1( k
−1 −1 −1 α−1 )
= α −1 .1
(k α −1 )
├
Ejemplos.
⎛ 3⎞
⎛ 2 ⎞ 3 ⎜4 ⎟ 3 3.6.9.12 729
1.- β ⎜ ,5 ⎟ = .1⎝ 2⎠
= . =
⎝3 ⎠ 2 2 5.8.11.14 1540
⎛ 1 ⎞
( ) 1 ⎜⎝ 2 1 1.2 2
⎟
2.- β 5, 3 = .1 5⎠
= . =
5 (
5 1+ 5 2 + 5 )( ) (
5 1+ 5 )( 2 + 5 )
4.23.- Teorema. Segunda Forma Factorial de Beta (S.F.F. β .)
Para cada número real positivo α ,
1 (k α −1
)
β (1 + α , k ) = .1 , k = 1,2,…
k
Demostración.-
β (1 + α , k ) = (1 + α ) .1
( k −1 (1+α ) ) −1
−1
4.23.1 (P.F.F. β .)
= (1 ⊕ α
( k −1 1⊕ α )
) .1
−1
−1
= (1⊕α ) .k .(1+ α ) .1
−1 (k α ) −1
−1
, (S.I.F.)
1 (k α −1 )
= .1
k
├
20
Descargado de http://www.contractil.com
∑ β (1 ⊕ α , k )
k =1
diverge
Demostración.-
∞
( k −1 ∞
( 1 ⊕ α )−1 )
∑ = ∑ ( )
−1
4.24.1 β (1 ⊕ α , k ) 1 ⊕ α .1 (P.F.F. β .)
k =1 k =1
∞
( )
= ∑ (1 + α ).1
−1 k −1 1 + α − 1
k =1
∞
(k )
= ∑ (1 + α )
−1 1 + α −1
.1
k =0
∞
∞
(k )
∑ β (1 ⊕ α , k )
1+α −1
Pero la serie ∑ k =0
1 diverge según 4.11, luego, la serie
k =1
también diverge.
∞
Nota: Obsérvese que ∑ β (1, k ) es también divergente.
k =1
∑ β (1 + α , k ) = α
k =1
−1
Demostración.-
∞
( k −1 ∞
( 1 + α ) −1 )
∑ β ( 1 + α , k ) = ∑ (1 + α ) .1
−1
4.25.1 , (P.F.F. β .)
k =1 k =1
∞
( k −1 )
(1 ⊕ α ) ∑1
−1 1 ⊕ α −1
=
k =1
∞
(k )
( )∑
−1
1⊕ α
= 1⊕ α −1
1
k =0
= 1⊕ α( −1
)(1 + α ) , −1
(4.16)
= α −1
├
21
Descargado de http://www.contractil.com
∑
k =n
β (1 + α , k ) = β (α ,n ), n =1,2,...
Demostración.-
∞
( k −1
∞
(1+ α ) − 1 )
4.26.1 ∑ β (1 + α , k ) = ∑ (1 + α ) .1
k =n k =n
−1
, (P.F.F. β .)
∞
(k )
(1 ⊕ α ) . ∑ −1 1⊕ α − 1
= 1
k = n −1
( n −1 α )
( )( )
−1
= 1 ⊕α . 1 + α
−1
.1 ,
−1
(4.17)
α −1
.1
(n −1 α −1
)
=
= β (α ,n ), (P.F.F. β .)
├
∑ β (1 + α , k ) = β (α , n ) − β (α , m + 1) ,
k =n
m ≥ n ≥1
Demostración.-
m ∞ ∞
4.27.1 ∑ β (1 + α , k ) = ∑ β (1 + α , k ) −
k =n k =n
∑
k = m +1
β (1 + α , k )
= β (α , n ) − β (α , m + 1 ) , (U-S)
├
22
Descargado de http://www.contractil.com
Con la más profunda admiración a Hardy, nos atrevemos a invadir algunas áreas de
su trabajo.
Plantearemos el problema en su forma original.
SUM THE SERIE
∞
1
∑1 ϑ (ϑ + 1) ... (ϑ + k )
Solución:
∞ ⎛ 1⎞
1 1 ∞ 1 ⎜⎝ k ⎟
∑
ϑ =1 ϑ (ϑ + 1) ... (ϑ + k )
= ∑ 1
k ! ϑ =1 ϑ
ϑ⎠
, (2.6)
⎛ 1 ⎞
1 ∞ 1 ⎜⎝ ϑ ⎟
= ∑ 1
k ! ϑ =1 ϑ
k ⎠
, (2.9)
1
= β ( k ,1) , (4.28)
k !
1
=
k !k
Nos proponemos ahora hacer un segundo ejercicio didáctico. Mostraremos una
relación entre la función Gama y las contracciones factoriales.
En el libro “Higher Trascendental Functions”. Volumen 1. Segunda Edición, basado
en parte en las notas manuscritas dejadas por Harry Bateman, quien fue profesor del
Instituto Tecnológico de California; impreso y publicado por Robert E. Krieger, Publishing
Company Inc. Malabar, Florida. 1981, se afirma que la definición 1.1.(2) presentada en la
Pág. 1. del capitulo 1, para la función Gama, es decir,
n !.n z
Γ ( z ) = lim , Re(z) > 0
n →∞ z ( z + 1) ... ( z + n )
23
Descargado de http://www.contractil.com
Demostración.
n ! nα
4.29.1 Γ (α ) = lim , (Gauss)
n → ∞ α (α + 1)... (α + n )
lim n α .α − 11
(n α −1 )
= , (2.6)
n→∞
= lim n α
.β (α , n +1) , (P.F.F. β .)
n→∞
├
lim n .1( ) ,
n 1
= n→ ∞ (P.F.F. β .)
⎛ 1⎞
⎜1 ⎟
⎝ n⎠
= lim n .1
n→ ∞
⎛ 1⎞
= lim n. ⎜ 1 ⊕ ⎟
n →∞
⎝ n⎠
= lim
n→ ∞
(1 ⊕ n )
= 1
24
Descargado de http://www.contractil.com
k!
= lim
n→∞ ⎛ 1 ⎞⎛ 2 ⎞ ⎛ 1+ k ⎞
⎜ 1 + ⎟ ⎜ 1 + ⎟ ... ⎜ 1 + ⎟
⎝ n ⎠⎝ n⎠ ⎝ n ⎠
= k! , k=1,2…
n 1+ α
1 (n +1 α −1
)
= lim 1 , (S.F.F. β .)
n→ ∞ n +1
lim n (1 ⊕ n ) (1 ⊕ ( n + 1) α
(n α )
)
−1
α −1
= 1
n →∞
= ( )
lim nα 1 ⊕ n (1 ⊕ α −1 ) αβ (α , n + 1) , (P.F.F. β .)
n →∞
Pero,
n→∞
(
lim 1 ⊕ n (1 ⊕ α −1 ) = 1) y lim nα β (α , n + 1) = Γ (α )
n →∞
Luego, Γ (1 + α ) = α Γ (α ) .
⎛ 1 ⎞
⎜ q,k ⎟
⎝ α ⎠
Es necesario dar sentido a la contracción factorial 1 para el caso α = 0
4.30. Definición,
⎛ 1⎞ ⎛ 1⎞
⎜q , k ⎟ ⎜q , k ⎟
1 ⎝ 0⎠
= lim+ 1 ⎝ x⎠
x→ 0
El lector debe percatarse de los siguientes aspectos relevantes de la Def. 4.30.
⎛ 1⎞
⎜ q,k ⎟
⎝ 0⎠
4.30.1. La Def. 4.30 da sentido formal a la contracción factorial 1 , pero no al
1
cociente “ ”.
0
⎛ 1⎞
⎜ q,k ⎟
4.30.2 En cada caso, 1⎝ 0⎠
= 1, k = 1,2,…
Haremos un tercer ejercicio didáctico. Resolveremos otro problema tomado del libro de
Hardy, referido previamente. Iremos al párrafo 73 de la Pág. 142.
Se trata del clásico problema de identificar el valor del número e.
Nuestro método lleva otra vez el sello de Hardy en su parte inicial. En este caso, el uso de
la fórmula de Newton para calcular las potencias enteras de un binomio.
25
Descargado de http://www.contractil.com
4.31. Problema.-
n
⎛ 1⎞
Determinar lim ⎜ 1 + ⎟
n→ ∞
⎝ n⎠
Solución:
⎛ ⎞
n k =n n
⎛ 1⎞
4.31.1. lim ⎜ 1 + ⎟ = lim ∑ ⎜ ⎟ n − k , (Newton)
n →∞
⎝ n⎠ n →∞
k =0 ⎝ k ⎠
k =n
⎛ n ⎞ −k
= lim ∑ ⎜ ⎟.n
k =0 ⎝ n − k ⎠
n→∞
⎛ k = n ⎛ ⎛⎜ k 1 ⎞⎟ ⎞
−1
⎞
⎜
= lim 1 + ∑ ⎜ 1 ⎝ n−k ⎠
⎟ .n −k ⎟
, (2.8)
n→ ∞ ⎜ ⎟⎟
⎜ k =1 ⎜ ⎟
⎝ ⎝ ⎠ ⎠
⎛ k =n
= lim ⎜ 1 + ∑ n − k
( n − k + 1)( n − k + 2 ) ... ( n − k + k ) ⎞
⎟
n→∞
⎝ k =1 k! ⎠
⎛ ⎛ k −1 ⎞⎛ k−2⎞ ⎛ k−k ⎞⎞
⎜ k =n ⎜
1− ⎟ ⎜1 − ⎟ ... ⎜ 1 − ⎟⎟
= lim ⎜ 1 + ∑ ⎝
n ⎠⎝ n ⎠ ⎝ n ⎠⎟
n→∞
⎜ k =1 k! ⎟
⎜ ⎟
⎝ ⎠
∞
1
=1 + ∑
k =1 k !
Observación: “La Def. 1 puede aplicarse sin modificaciones, para valores q > -1”. Además
son válidos si q > -1, todos los teoremas y proposiciones en los cuales se aplica esta
definición, siempre que no contemplen restricciones adicionales para q.
La relación
∞ i = n + p −1 ∞
1 1
4.32.1 ∑k = 0 ( k + n )( k + n + p )
= ∑ ∑
i = n k = 0 (i + kp )(i + ( k + 1) p )
se obtiene por reordenación de términos. Lo que es posible, por tratarse de una serie
convergente de términos positivos.
En lo que sigue, recurriremos al cálculo contractivo.
26
Descargado de http://www.contractil.com
∞ ∞
1 1 1
4.32.2 ∑ (i + kp )(i + ( k + 1) p ) = ∑ i (i + p ) . kp kp
k =0 k =0
(1 + )(1 + )
i i+ p
1 ∞
i i+ p
= ∑
i (i + p ) k = 0
(1 ⊕
kp
)(1 ⊕
kp
)
∞ ⎛ i 1⎞
1 ⎜ −1 , 2 ⎟
=
i (i + p )
∑
k =0
1⎝ p k ⎠
∞ ⎛ i ⎞
1 ⎜ − 1 , k 1⊕ 1 ⎟
= ∑
i (i + p ) k = 0
1⎝ p ⎠
, (4.9)
1 ⎛ i ⎞
= .⎜1 + ⎟ , (4.13)
i (i + p ) ⎝ p⎠
1
=
p i
i =n
⎛ i ⎞ ⎛ n + 1⎞
4.33. ∑ ⎜ k ⎟ = ⎜ k + 1⎟ , n≥k
i =k ⎝ ⎠ ⎝ ⎠
Demostración:
4.33.1 Sean n, k enteros no negativos, tales que n ≥ k .
4.33.2 Para cada i, k ≤ i ≤ n,
27
Descargado de http://www.contractil.com
⎛ 1⎞
⎛i⎞ ⎜ i−k ⎟
⎜ ⎟ .1
⎝ k⎠
= 1, (2.8)
⎝k ⎠
Luego,
⎛ i = n ⎛ i ⎞ ⎞ ⎛ i = n ⎜⎝ i−k ⎞
⎛ 1⎞
⎟
⎜ ∑⎜ ⎟ ⎟ ⎜⎜ i⊕ ⎟ =1,
k⎠
4.33.3 1 (T.M.S.)
⎝ i = k ⎝ ⎠⎠⎝
k =k ⎟
⎠
Pero
⎛ 1⎞ ⎛ 1⎞
i=n ⎜ i−k ⎟ j =n−k ⎜ j ⎟
4.33.4 ⊕1 ⎝ k⎠
= ⊕ 1 ⎝ k⎠
, i = j+k
i =k j =0
⎛ 1⎞
⎜ n − k 1⊕ ⎟
=1⎝ k⎠
, ( Prop. 4.5)
⎛ 1 ⎞
⎜ n−k ⎟
k +1 ⎠
=1⎝
−1
⎛ n + 1⎞
=⎜ ⎟ (2.8)
⎝ k + 1⎠
i=n
⎛ i ⎞ ⎛ n + 1⎞
4.33.5 ∑ ⎜ k ⎟ = ⎜ k + 1⎟
i =k ⎝ ⎠ ⎝ ⎠
├
4.34. Proposición. Para cada par de números reales positivos a, b y cada entero no
negativo n,
⎛ 1⎞
k =n ⎜ n−k ⎟
(a ⊕ b) = ⊕1 .a n − k .b k
n ⎝ k⎠
k =0
28
Descargado de http://www.contractil.com
Demostración:
⎛ 1⎞
⎛ n ⎞ −1 n − k ⎜ n−k
( ) ( )
⎟
−1 k
4.34.1 ⎜ ⎟ a . b .1⎝ k⎠
.a n − k .b k = 1 , 0≤k ≤n
⎝ ⎠
k
4.34.2 ⎜ ∑⎜ ⎟ ( a ) .( b ) ⎟ ⎜⎜ k⊕ 1 .a .b ⎟ = 1 ,
⎟ (T.M.S.)
⎝ k =0 ⎝ k ⎠ ⎠⎝ =0
⎠
Pero,
k=n
⎛ n⎞ −1 n−k −1 k
∑ ⎜ ⎟( ) ( ) ( ),
−1 −1 n
4.34.3
a . b = a + b (T. Binomio de Newton)
k=0 ⎝ k ⎠
Además,
(a + b−1 ) .( a ⊕b) =1
−1 n n
4.34.4
∞ xα
4.35.- ∫ (1 + x )
0 α + k +1
dx , α > 0, k = 1,2,…
En general, este tipo de integrales se ubica en el ámbito de las funciones contráctiles, pero
veremos que en este caso, por ser un caso particular (k entero), las contracciones factoriales
son suficientes para obtener el resultado.
29
Descargado de http://www.contractil.com
Solución:
xα
dx = ∫ (1⊕ x ) (1⊕ x−1 )
∞ ∞ α k +1
4.35.1 ∫ (1+ x)
0 α+k +1 0
dx
∞ xα 1
dx = ∫ t α (1 − t )
k −1
4.35.2 ∫ (1 + x )
0 α + k +1 0
dt
= β (1 + α , k )
El resultado se obtiene ahora aplicando S.F.F. β .
⎛ 1⎞
∞ xα 1 ⎜⎝ k ⎟
∫
α⎠
4.35.3 dx = .1 , α > 0, k = 1, 2,...
(1 + x )
α+ k +1
0 k
Los lectores pueden comprobar directamente que, con arreglo a la Def. 4.30, la fórmula
4.35.3 es válida también para α = 0 .
4.36.- Teorema.- Para cada número real positivo p y cada entero positivo k,
1
) k dx =1(
k p)
∫ (1 − x
p
0
Demostración.- Haciendo el cambio de variable u = x p se tiene,
4.36.1
1 1 1
1 −1
∫0 (1 − ) = ∫ (1 − u ) k du
p k p
x dx u
p0
1 1
= β ( ,1+ k)
p p
= 1(
k p)
( P . F . F .β )
├
30
Descargado de http://www.contractil.com
4.37. Definición. Para cada par de números reales positivos α , p, se define la Contracción
Factorial Generalizada, por la relación:
1
(α p)
1 = ∫ (1 − x p )α dx
0
El lector puede probar que para el caso p = 2, el cambio de variable x = sen t induce
la transformación
π
2
(α 2 )
∫ (cos t )
2α +1
4.37.1 1 = dt
0
La fórmula 4.37.1 puede ser usada en dos sentidos diferentes. Para calcular la
integral del segundo miembro o para calcular la contracción factorial del primer miembro.
Veamos los siguientes ejemplos:
π
2
16
∫ cos t dt = 1( ) =
7 3 2
4.37.2
0
35
π
2
256
t dt = 1(
5 2)
∫ s en =
11
4.37.3
0
693
π
⎛1 ⎞
⎜ 2⎟ 2
π
4.37.4 1 ⎝2 ⎠
= ∫ cos 2 t dt =
0
4
π
⎛3 ⎞
⎜ 2⎟ 2
3π
= ∫ cos t dt =
⎝2 ⎠ 4
4.37.5 1
0
16
La primera forma factorial para la función Beta (P.F.F. β .), se extiende también a
contracciones factoriales generalizadas, tomando la forma siguiente:
31
Descargado de http://www.contractil.com
⎛ 1⎞
1 ⎜⎜ α ⎟
p ⎟⎠
4.38 β ( p,1 + α ) = 1 ⎝
, p > 0 ,α ≥ 0
p
En efecto,
1
4.38.1 β ( p,1 + α ) = ∫ x p −1 (1 − x )α dx
0
1
1 1 ⎛ 1⎞
1 1 ⎜⎜⎝α ⎟
p ⎟⎠
4.38.2 β ( p , 1 + α ) = ∫ (1 − t ) dt = 1
p α
p0 p
El teorema que sigue resume una de las propiedades más relevantes de las
contracciones factoriales generalizadas.
1 ( α p)
=1
(p −1
α −1 )
Demostración: A partir de la P.F.F. β se tienen las siguientes relaciones:
1(
α p)
4.39.1 = p −1 .β ( p −1 , 1 + α )
1
(p −1
α −1
) = α . β (α , 1 + p − 1 )
4.39.2
4.39.3 p − 1 . β ( p − 1 ,1 + α ) = α .β (α , 1 + p − 1 )
Luego,
1 (α p)
=1
(p −1
α−1 )
4.39.4
├
32
Descargado de http://www.contractil.com
⎛ 1⎞ ⎛ 1 ⎞
⎜ 2 ⎟ ⎜3 ⎟ 6
4.39.5 1⎝ 3⎠
=1 ⎝ 2⎠
=
(1 + 2 )(2 + 2 )(3 + 2)
⎛1 2⎞ ⎛3 ⎞
⎜ ⎟ ⎜ 2⎟ 3π
4.39.6 1 ⎝ 2 3⎠
=1 ⎝2 ⎠
= (4.37.5)
16
1 ⎛1 1⎞
⎜ ⎟ 9
∫ = 1( ) =
2 3
4.39.7
3
1 − xdx = 1 ⎝3 2⎠
0
14
1 ⎛ 1⎞
⎜ 5 ⎟
∫ (1 − x ) dx = 1
3 5 ⎝ 3⎠
4.39.8
0
⎛ 1 ⎞
⎜3 ⎟ 6
=1 ⎝ 5⎠
=
(1+ 5)(2 + 5)(3 + 5)
1(
1+α p )
= 1(
α p)
− (1 ⊕ p −1 ).1(
α 1⊕ p )
Demostración:
1
1(
1+α p )
4.40.1 = ∫ (1 − x p )1+α dx
0
1
= ∫ (1 − x p )α (1 − x p )dx
0
1 1
= ∫ (1 − x p )α dx − ∫ x p (1 − x p )α dx
0 0
Pero,
33
Descargado de http://www.contractil.com
1
1
∫x (1 − x p )α dx = .β (1 + p −1 ,1 + α )
p
4.40.2
0
p
Luego,
1
1(
1+ α p )
= 1(
α p)
4.40.3 − .β (1 + p −1 ,1 + α )
p
De donde,
1(
1+α p )
= 1(
α p)
− (1 ⊕ p −1 )1(
α 1⊕ p )
4.40.4 , (P.F.F. β .)
4.41. Ejemplos.
⎛3 ⎞ ⎛1 ⎞ ⎛1 ⎞
⎜ 2⎟ ⎜ 2⎟ 1 ⎜ 1⊕ 2 ⎟
1) 1 ⎝2 ⎠
=1 ⎝2 ⎠
− (1 ⊕ ).1⎝ 2 ⎠
2
⎛1 2⎞
π 1 ⎜ ⎟
= − 1⎝ 2 3⎠
4 3
⎛1 2⎞ ⎛3 ⎞
⎜ ⎟ ⎜ 2⎟
Pero, 1 ⎝2 3⎠
=1 ⎝2 ⎠
, (4.39)
⎛3 ⎞
⎜ 2⎟ 3π
Luego, 1 ⎝2 ⎠
=
16
⎛5 ⎞ ⎛3 ⎞ ⎛3 ⎞
⎜ 2⎟ ⎜ 2⎟ 1 ⎜ 1⊕ 2 ⎟
2) ⎝2 ⎠
1 =1 ⎝2 ⎠
− (1 ⊕ ).1⎝ 2 ⎠
2
⎛3 2⎞
3π 1 ⎜⎝ 2 ⎟
= − 1 3⎠
16 3
Luego,
⎛5 ⎞ ⎛3 2⎞
⎜ 2⎟ 1 ⎜ ⎟ 3π
2-1) 1 ⎝2 ⎠
+ 1⎝ 2 3⎠
=
3 16
Por otro lado,
34
Descargado de http://www.contractil.com
⎛3 2⎞ ⎛1 2⎞ ⎛1 2⎞
⎜ ⎟ ⎜ ⎟ 3 ⎜ 1⊕ ⎟
2-2) 1⎝2 3⎠
=1 ⎝2 3⎠
− (1 ⊕ ).1⎝ 2 3⎠
2
⎛1 2⎞
3π 3 ⎜⎝ 2 ⎟
= − .1 5⎠
16 5
De donde,
⎛5 ⎞ ⎛3 2⎞
3 ⎜⎝ 2 2 ⎟ ⎜ ⎟ 3π
2-3) 1 ⎠
+1 ⎝2 3⎠
=
5 16
Resolviendo el sistema de ecuaciones formado por 2-1) y 2-3) se obtiene,
⎛ 3 2⎞ ⎛5 ⎞
⎜ ⎟ 3π ⎜ 2⎟ 5π
2-4)
⎝ 2 3⎠
1 = , 1⎝2 ⎠
=
32 32
4.42. En los siguientes ejemplos haremos integración numérica.
1) Calcular la integral definida,
4
9 7
3
I = ∫ (1 − x ) dx3
0
2
4
Solución.- El cambio de variable x = t induce la siguiente transformación.
9
1 7 ⎛7 1⎞
4 4 ⎜ ⎟
1-1) I = ∫ (1 − t ) 3 dt = .1⎝ 3 2⎠
90 9
⎛ 3⎞
4 ⎜2 ⎟
= .1⎝ 7⎠
9
4
=
65
35
Descargado de http://www.contractil.com
∞ 8 20
−
2-1) I = ∫ x (1 ⊕ x) dx
3 3
1 2
1
I = ∫ (1 −
5
2-2) u ) 3 du
5 0
⎛ 2 1⎞
1 ⎜ ⎟
= .1⎝ 3 5⎠
5
⎛ 3⎞
1 ⎜5 ⎟ 729
= .1⎝ 2⎠
=
5 13090
En el ejemplo que sigue se aplica la idea inicial que se usó en le problema 2). Pero
hay una variante que resuelve el problema sin necesidad de recurrir a contracciones
factoriales.
La presentación de este caso se hace por razones didácticas.
3) Probar que,
∞
x p −1 1
∫
0
(1 + x ) p + 1
d x =
p
, p > 0
Solución:
∞ ∞
x p −1
∫0 (1 + x) ∫0
−2 p +1
3-1) p +1
dx = x (1 ⊕ x ) dx
∞
x p −1
t
3-2) ∫0 (1 + x ) p +1 dx = lim
t→∞ ∫
0
x −2 (1 ⊕ x ) p +1 dx
⎛1 ⎞
= lim ⎜ (1 ⊕ t ) p ⎟
t →∞
⎝p ⎠
1
=
p
36
Descargado de http://www.contractil.com
Debemos advertir que los ejemplos anteriores son casos particulares de integrales
cuyo valor numérico puede calcularse mediante el uso de funciones contráctiles.
β ( x , y ) = ( x − 1 + y − 1 ) .1
(y x −1 )
4.43.1 β ( x , y ) = β ( x , y + 1) + β ( x + 1, y )
Luego,
β (x, y) = x .1
( y x ) + y−1.1( x y ) ,
−1
−1 −1
4.43.2 (P.F.F. β )
= x−1.1
( y x ) + y−1.1( y x )
−1 −1
(4.39)
= ( x − 1 + y − 1 ) .1
(y x −1 )
├
Ejemplos.
⎛3 ⎞
⎛1 3⎞ ⎛ 2⎞ ⎜ 2⎟ 8 3π π
1) β ⎜ , ⎟ = ⎜ 2 + ⎟ .1⎝ 2 ⎠
= . =
⎝2 2⎠ ⎝ 3⎠ 3 16 2
⎛ 1 ⎞
2) β ( ) ⎛ 1 1 ⎞ ⎜⎝ 4 3 ⎟⎠
3, 4 = ⎜ + ⎟ .1
⎝ 3 4⎠
4+ 3 24
= .
4 3 (1 + 3)(2 + 3)(3 + 3)(4 + 3)
6
=
3(1 + 3)(2 + 3)(3 + 3)
37
Descargado de http://www.contractil.com
1(
n+1 p )
< 1(
p)
< 1(
α n p)
4.44
El intervalo abierto
4.44.1 ( 1( n +1 p )
, 1(
n p )
)
1( )
α p
será referido como Intervalo de Aproximación Factorial para la contracción
y se denotará por IAF (α p ) .
La longitud de IAF (α p ) es
4.44.2 (
l IAF (α p ) = 1( ) n p )
− 1(
n +1 p )
1
= .1( )
n p
1 + ( n + 1) p
Es claro que,
4.44.3 (
0 < l I A F (α p ) < 1 )
El Intervalo de Aproximación Factorial es de gran utilidad en el cálculo con
contracciones factoriales.
⎛ 33 ⎞
π
⎜⎜ 2 2 ⎟⎟
∫ ( cos x )
1+ 33
1)
2
dx = 1 ⎝ ⎠
0
33
No es fácil intuir una aproximación decimal al resultado. Pero 2 < < 3.
2
Luego,
⎛ 33 ⎞
⎜⎜ 2 ⎟⎟
(3 )
< 1( )
2 ⎝ 2 2 2
1 < 1 ⎠
De donde,
38
Descargado de http://www.contractil.com
π
16 8
∫ ( cos x )
1+ 33
< 2
dx <
35 0 15
La longitud del intervalo es:
⎛ ⎛ 33 ⎞ ⎞ 8
l ⎜ IAF ⎜⎜ 2 ⎟⎟ ⎟ = ≈ 0.076
⎜ 2 ⎟ 105
⎝ ⎝ ⎠⎠
⎛ 6π −8 7 ⎞
∞ xπ 1 ⎜⎝ ⎟
∫
π +1 ⎠
dx = .1 7
(1+ x )
2) 7 π
0 π + 1
⎛ 7 ⎞ ⎛ 6π − 8 7 ⎞ ⎛ 7 ⎞
⎜2 ⎟ ⎜ ⎟ ⎜1 ⎟
⎝ π +1 ⎠ π +1 ⎠ ⎝ π +1 ⎠
Pero, 1 <1 ⎝ 7
<1
Luego,
98 ∞ xπ dx 7
<∫ <
(π + 1)(π + 8)(π + 15) 0 (1 + x7 ) (π + 1)(π + 8)
π
De donde,
∞ xπ
0 .1 1 7 < ∫ d x < 0 .1 5 2
(1 + x 7 )
0 π
⎛ 1 ⎞
⎛ 1 1 ⎞ ⎜⎝ 39 ⎟
3) β ( 2, 39 ) = ⎜ + ⎟ .1
2 ⎠
, (F.F.G. β )
⎝ 2 39 ⎠
Pero,
⎛ 1 ⎞ ⎛ 1 ⎞ ⎛ 1 ⎞
⎜7 ⎟ ⎜ 39 ⎟ ⎜6 ⎟
1 ⎝ 2 ⎠
< 1 ⎝ 2 ⎠
<1 ⎝ 2 ⎠
Luego,
39
Descargado de http://www.contractil.com
⎛ 1 ⎞
⎜ 39 ⎟
0.063937169 < 1 ⎝ 2 ⎠
< 0.076854428
4.46.- Proposición.- Para cada par de números reales α ,p tales que α >0, p>1,
∞ ⎛ 1⎞
xα −1 1 ⎜ p −1 ⎟
∫ (1 + x )α
α⎠
dx = .1 ⎝
0
+p
α
Demostración:
∞ ∞
xα −1
4.46.1 ∫ (1+ x )α +p
dx = ∫ (1⊕ x )
α −1
(1⊕ x ) −1 p +1
dx
0 0
∞
(1 − (1 ⊕ x ) )
p +1
= ∫ (1 ⊕ x )
α −1
dx
0
40
Descargado de http://www.contractil.com
∞ α −1 1
x
dx = ∫ t α −1 (1 − t )
p −1
4.46.2 ∫ (1 + x )α
0
+p
0
dt
= β (α , p )
= β (α , ( p −1) + 1) , ( p > 1)
⎛ 1⎞
1 ⎜ p −1 ⎟
= ⎝
.1 α ⎠
, ( P.F.F.β .)
α
├
∞ ⎛ 1⎞
xα 1 ⎜⎜⎝α ⎟
p ⎟⎠
∫0 (1+ x)α+ p+1 dx = p .1
Demostración.-
∞ ∞
xα
dx = ∫ (1 ⊕ x ) (1 ⊕ x −1 )
α p +1
4.47.1 ∫ (1 + x )
0
α + p +1
0
dx
∞
= ∫ (1⊕ x ) (1 − (1⊕ x ) )
α p +1
dx
0
∞
xα
1
dx = ∫ t α (1 − t )
p −1
4.47.2 ∫ (1 + x )
0
α + p +1
0
dt
= β (1 + α , p )
⎛ 1⎞
1 ⎜⎜α ⎟
p ⎟⎠
= .1⎝ , ( P.F.F.β .)
p
41
Descargado de http://www.contractil.com
∞ ⎛1 p ⎞
dx p ⎜⎜ ⎟
− 1 ⎟⎠
∫ 1+ x = ⎝ p p
.1
0
p
p −1
Demostración.-
4.48.1.- El cambio de variables t = x p induce la siguiente transformación:
1
−1
∞ ∞
dx 1 t p
∫ 1+ x
0
p
=
p ∫0 1 + t
dt
1
−1
1 t (1 + t )
∞ p
p ∫0 (1 + t )2
= dt
1 1
−1
∞ ∞
1 t p
1 t p
p ∫0 1 + t 1p + 2 pp−1 p ∫0 1 + t 1p + pp−1+1
= dt + dt
( ) ( )
⎛ p −1 ⎞ ⎛1 p ⎞
⎜ p⎟
1 ⎝⎜⎜ p ⎟
p −1 ⎠⎟
=1 ⎝ p ⎠
+ .1 , ( 4.46) , ( 4.47 )
p −1
⎛1 p ⎞
p ⎜⎜⎝ p ⎟
p −1 ⎟⎠
= .1 , ( 4.39)
p −1
Ejemplos:
∞ ⎛1 ⎞
dx ⎜ 2⎟ π π
∫0 1+ x2 ⎝ ⎠ = 2. 4 = 2
= 2
1) 2.1
4.49.- Proposición.- 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 dx = ( r +1) ( p − ( r +1) ) .1⎝
p
42
Descargado de http://www.contractil.com
Nota: La Prop. 4.49 es también aplicable si r > -1.
Ejemplo:
∞ ⎛1 ⎞
x 4 ⎜2 2⎟ π
1) ∫0 1 + x3 dx = 3 1⎝ ⎠
=
3
1+ p
4.50.- Proposición: Para cada par de números reales p, q, tales que p > 0, q ≥ ,
p
∞ ⎛ 1+ p ⎞
dx ⎜q − p⎟
∫ = 1⎝ ⎠
p
0
(1 + x )
p q
Ejemplos:
∞ ⎛ 3 ⎞ ⎛3 ⎞
dx ⎜ 3 − 2⎟ ⎜ 2⎟ 3π
∫ =1 ⎝
=1 =
2 ⎠ ⎝2 ⎠
(1 + x )
1) 2 3
0
16
∞ ⎛ 1⎞ ⎛ 1⎞
dx ⎜7 ⎟ ⎜3 ⎟ 1
∫ =1 ⎝ 3⎠
=1 ⎝ 7⎠
=
(1+ x )
2) 11
0
3 120
r +1+ p
4.51.- Proposición.- Si p, q, r son números reales positivos tales que q ≥ ,
p
entonces
∞ ⎛ r +1+ p p ⎞
xr 1 ⎜⎝ q − ⎟
∫
r + 1⎠
dx = .1 p
0 (1 + x ) p q r +1
Ejemplo:
43
Descargado de http://www.contractil.com
∞ ⎛1 2⎞
x2 1 ⎜⎝ 2 ⎟ π
∫0 1 + x2 3 = =
3⎠
dx .1
( )
1)
3 16
∞ ⎛ 1⎞
x3 1 ⎜⎝ 4 ⎟ 1
∫ dx = .1 =
8⎠
( )
2) 13
0 1+ x 4 1980
∞ ⎛ 2⎞
x5 1 ⎜0 ⎟ 1
∫ dx = .1⎝ =
3⎠
(1 + x )
3) 2 4
0
6 6
4.52.- Teorema.- Cuarta Identidad Factorial (C.I.F.) Para cada par de números reales
positivos α , p; y cada entero positivo k,
( α+ k p ) ( α p ) ( α ,k p )
1 =1 .1
Demostración: (Inducción Completa).
1( = ∫ (1 − x p )
α+1 p ) 1 α+1
4.52.1. k=1, dx , (4.37)
0
= ∫ (1 − x p ) dx − ∫ x p (1 − x p ) dx
1 α 1 α
0 0
1
1 1
=1 (α p)
− ∫ t p (1 − t ) dt
p 0
α
, (t = x )p
44
Descargado de http://www.contractil.com
1 ⎛1 ⎞
= 1( ) − β ⎜ + 1, α + 1⎟
αp
p ⎝p ⎠
⎛1 1 ⎞
(α p) 1 ⎜ , ⎟
=1 − .1⎝ p α+1 ⎠ (P.F.F. β )
p ( α + 1) ,
1
= 1( ) − .1( )
αp α+1 p
( α + 1) p , (4.39)
Luego,
⎛ 1 ⎞ (α p)
1(
α+1 p )
⎜⎜ 1 + ⎟⎟ = 1
⎝ ( ) ⎠
4.52.2.
α + 1 p
De donde,
1( = 1( ). (1 ⊕ ( α + 1) p )
α+1 p ) αp
4.52.3.
= 1( ).1( )
αp α ,1 p
( α+ k p )
= 1(
α+1+ k p )
4.52.5. Sea k = k + 1, 1
= 1( ).1( )
α+1 p α+1,k p
, (4.52.4)
= 1( ).1( ).1(
αp α ,1 p α+1,k p )
, (4.52.3)
( α p ) ( α ,k +1 p )
=1 .1 , (Prop. 4.6)
( α ,k p )
= 1( ).1
αp
4.53. Ejemplos.
45
Descargado de http://www.contractil.com
π ⎛7 ⎞
⎜ 2⎟
4.53.1. ∫0
2
cos8 tdt = 1 ⎝2 ⎠
, (4.37.1)
⎛1 ⎞
⎜ +3 2 ⎟
=1 ⎝2 ⎠
⎛1 ⎞ ⎛1 ⎞
⎜ 2⎟ ⎜ ,3 2 ⎟
=1 ⎝2 ⎠
.1 ⎝2 ⎠
, (C.I.F.)
π
= (1 ⊕ 3)(1 ⊕ 5 )(1 ⊕ 7 ) , (4.37.4)
4
35π
=
256
∞ ⎛ 1 2⎞
⎛5 3 ⎞ ∞ 2 ⎜⎝ k + 2 ⎟
4.53.2. ∑
k =0
β ⎜
⎝ 2
, k +
2
⎟ = ∑ .1
⎠ k =0 5
5⎠
, (P.F.F. β )
⎛1 2⎞ ⎛1 2⎞
2 ∞ ⎜ ⎟ ⎜ ,k ⎟
= ∑1⎝ 2 5 ⎠.1⎝ 2 5⎠
, (C.I.F.)
5 k =0
⎛1 2⎞ ⎛1 2⎞
2 ⎜ ⎟ ∞ ⎜ ,k 1⊕ ⎟
= .1⎝ 2 5 ⎠.∑1⎝ 2 3 ⎠
5 k =0
2 5π ⎛ ⎛ 1 ⎞ 2 ⎞
= . . ⎜1 + ⎜ + 1⎟ . ⎟ , (4.13), (4.41)
5 32 ⎝ ⎝ 2 ⎠ 3 ⎠
π
=
8
∑β( )
∞ ∞ 2 +k
1 ⎜⎝ ⎟
2 + 1 + k, 3 =∑ .1 3⎠
, (P.F.F. β )
k =1 k =1 3
⎛ 1 ⎞ ⎛ 1 ⎞
1 ∞ ⎜⎝ 2 ⎟ ⎜ 2 ,k ⎟
= ∑1
3 k =1
3⎠ ⎝
.1 3⎠
, (C.I.F.)
⎛ 1 ⎞ ∞ ⎛ 1 ⎞
1 ⎝⎜ 2 ⎟ ⎜ 2 ,k 1⊕ ⎟
=
3
.1 3⎠
∑1
k =1
⎝ 3 −1 ⎠
46
Descargado de http://www.contractil.com
⎛ 1 ⎞
⎛ 2 + 1 ⎞ ⎜⎝
( )
2 ,1 ⎟
3 −1 ⎠
= β 1 + 2, 3 ⎜⎜1 + ⎟ .1 , (4.14) (P.F.F. β )
⎝ 3 − 1 ⎟⎠
⎛ 2 +1⎞ ⎛ 2 +1⎞
( )
= β 1 + 2, 3 ⎜⎜1 + ⎟⎟ . ⎜⎜ 1 ⊕
3 −1 ⎠ ⎝
⎟
3 − 1 ⎟⎠
⎝
2 +1
=
3 −1
(
. β 1 + 2, 3 )
├
47
Descargado de http://www.contractil.com
5. PROBLEMAS PROPUESTOS
⎛ 3⎞ ⎛2 1⎞ ⎛ 3⎞
⎜ 31 ⎟ ⎜ , 31 ⎟ ⎜ 31 ⎟
5.2.2 1⎝ 14 ⎠
=1 ⎝3 4⎠
.1 ⎝ 2⎠
⎛ 1⎞ ⎛ 1⎞
⎜ 2 , 11 ⎟ 13 ⎜ 2 , 10 ⎟
5.2.3 1⎝ 5⎠
= .1⎝ 6⎠
5.3.1 1
⎜2
⎝
⎟
⎜ 1+ 3 ⎟
⎠
= 1⊕1
(1 3 ) ⊕ 1( 2 3 )
⎛ 5⎞ ⎛ 5⎞
⎜3 ⎟ ⎜2 ⎟
⊕ 1( )
35
5.3.2 1⎝ 6⎠
= 1⎝ 6⎠
λ=
2+ 3
+
2+ 3 4+ 3
+
(
2+ 3 4+ 3 6+ 3
+ ...
)( ) ( )( )( )
2+3 3 2+3 3 4+3 3 (
2+3 3 4+3 3 6+3 3 )( ) ( )( )( )
5.6.- Comprobar que las series:
3 9 27
5.6.1 λ = 1 + + + + ...
( ) ( )
2 3
3+ 2 3+ 2 3+ 2
3 3.6 3.6.9
5.6.2 σ = 1+ + + + ...
6+ 2 6+ 2 9+ 2 (
6 + 2 9 + 2 12 + 2 )( ) ( )( )( )
48
Descargado de http://www.contractil.com
2+3 2
son ambas convergentes al valor .
2
5.10.- Calcular.
∞
1
5.10.1 ∑ k ( k + 1)( k + 2 ) ... ( k + 13)
k =1
∞
1
5.10.2 ∑ ( k + 1)( k + 2 ) ... ( k + 13)
k =0
∞
1
5.10.3 ∑⎛ k ⎞⎛ k ⎞⎛ k ⎞
⎜1 + ⎟ ⎜1 + ⎟ ⎜1 + ⎟
k =19
⎝ 5 ⎠⎝ 6 ⎠⎝ 7 ⎠
∞
1
5.10.4 ∑
k = 7 ( k + 8 )( k + 9 )( k + 10 )( k + 11)
es convergente. Además, calcular los valores límite de la serie para esos valores de α.
49
Descargado de http://www.contractil.com
5.12.- Probar que para cada número real positivo α , se satisfacen las siguientes
identidades:
∞ í=k
1
5.12.1 ∑ ⊕ β ( α,1 + i ) = α
k =1
í=0 2
∞
β ( α,1 + k ) 1
5.12.2 ∑k =1 k
= 2
α
k = 3 ⎛⎜ − 1 , k 1⎞
⎟
5.13.- Sea λ = ∑1 ⎝ 3 2⎠
k =0
5.13.1 Calcular λ mediante el desarrollo directo de la sumatoria.
5.13.2 Calcular λ aplicando la Prop. 4.12.
k =5 ⎛⎜ − 2 , k 1⎞
⎟
5.14.- Sea λ = ∑1 ⎝ 3 3⎠
k =0
5.14.1 Similar a 5.13.1
5.14.2 Similar a 5.13.2
5.15 Calcular.
k = 48 ⎛⎜ − 5 , k 1⎞
⎟
5.15.1 ∑1
k =0
⎝ 7 3⎠
∞ ⎛ 5 1⎞
⎜− , k ⎟
5.15.2 ∑1
k =0
⎝ 7 3⎠
5.16.- Calcular.
∞
1
5.16.1 ∑ ( 2 + 5k )( 7 + 5k )
k =3
∞
1
5.16.2 ∑ ( 3 + 4k )( 7 + 4k )(11 + 4k )
k =1
5.17.- Calcular.
1 1 1
5.17.1 λ= + + + ...
5.7 7.9 9.11
1 1 1
5.17.2 σ= + + + ...
7.11.15 11.15.19 15.19.23
50
Descargado de http://www.contractil.com
( a + b )( a + 2b ) ... ( a + nb ) b .n !
5.19.- Si a, b son números reales positivos y k un entero no negativo, probar que:
⎛ b⎞ ⎛a 1 ⎞
1 1 ⎜ n ⎟ ⎜ −1 , k ⎟
n+1 ⎠
= n .1⎝ a ⎠.1⎝ b
( a + kb) ( a + ( k + 1) b) ( a + ( k + 2) b) ...( a + ( k + n) b) a.b .n!
5.20.- Si q > 0, probar que:
(1 ⊕ qα ) .1( q , k α ) = 1( q −1 , k +1 α)
5.25.- Usar contracciones factoriales para probar que las siguientes series son
divergentes:
1 1 1
5.25.1 λ = + + + ...
5 7 9
∞
1
5.25.2 σ =∑
k =5 3 + 7 k
51
Descargado de http://www.contractil.com
5.26.- Estudiar el comportamiento de la serie
5 5.12 5.12.19
λ = 1+ + + + ...
11 11.18 11.18.25
∑ k β (α , k ) ,
k =1
converge.
52
Descargado de http://www.contractil.com
5.39.- Calcular
k = 35
λ= ∑ k.β (3, k )
k =7
∑ k.β (2 + α , k ) = (1 + α ) ( β (α , 2 ) − β (α , n + 2) )
k =1
∑ k.β (2 + α , k ) = α
k =1
−1
∑ k β (2 + α , k ) = (1 + α ) β (α ,1 + n) ,
k =n
n = 1,2,…
53
Descargado de http://www.contractil.com
k =1
β ⎜ ,k ⎟ k =0
⎝7 ⎠
k =1 3k + 1
54
Descargado de http://www.contractil.com
55
Descargado de http://www.contractil.com
∑ k β (1 +
k =2
3 , k) = 1
∫ (1 − )
135 1
3
x dx =
0
428536
56
Descargado de http://www.contractil.com
∫ (1 − x ) dx = ∫ (1 − x ) dx
k n
5.70.1.- n k
, n , k = 1, 2,...
0 0
1 1
∫ (1 − )
x dx = ∫ (1 − x k ) dx
n
5.70.2.- k n
, n , k = 1, 2,...
0 0
1
−
5
∫ 1 − 3 5 x + 2 dx
13
5.72.1.-
2
−
5
2
∫ (1 − )
3 71
5.72.2.- 2 − 3t dt
1
3
57
Descargado de http://www.contractil.com
∞
dx
5.77.1.- ∫ (1 +
0
7
x ) 22
∞
dx
5.77.2.- ∫ (1 +
0
5
x )36
⎛n⎞
k =n
( − 1) k ⎜ ⎟
⎝ k ⎠ = 1( n α )
∑
k =0 1 + kα
, n = 1, 2 , ...
58
Descargado de http://www.contractil.com
5.84.- Comprobar que,
∞ ⎛n⎞
⊕⎜ ⎟=3
n =5 4
⎝ ⎠
5.85.- Demostrar que para cada número real α > 0 y cada entero positivo n,
⎛n⎞
( −1)
k
k =n ⎜ ⎟
β (α ,1 + n ) = ∑ ⎝k ⎠
k =0 α +k
⎛1 2 ⎞
⎜ ⎟
⎝ 2 2k +1 ⎠
5.86.- Calcular el valor numérico de las contracciones factoriales de la forma 1
para los valores k = 1, 2,3, 4,5.
∫
0
s e n 13td t
∫ cos
12
td t
0
59
Descargado de http://www.contractil.com
Demostrar que,
⎛n ⎞ k=
n+1
⎛ n +1 ⎞ ⎛ 2k −1 ⎞
⎜ 2⎟ π 2
⎜ 2 ⎟ ( −1)k 1⎜⎝ 2 ⎟⎠
2
1⎝2 ⎠
=
2
+ ∑k =1
⎜⎜ ⎟⎟
⎝ k ⎠
⎛1 ⎞
⎜ 2⎟
⎝2 ⎠
5.93.- Aplicar 5.92. Para determinar el valor de 1 .
⎛3 ⎞
⎜ 2⎟
⎝2 ⎠
Obsérvese que no es posible determinar el valor numérico de 1 por medio de 5.92.-
⎛3 ⎞
⎜ 2⎟
⎝2 ⎠
Para calcular 1 es suficiente aplicar el Teorema 4.40.
⎛1 ⎞ ⎛3 ⎞ ⎛5 ⎞
⎜ 2⎟ π ⎜ 2⎟ 3π ⎜ 2⎟
5.94.- Sabiendo que 1⎝2 ⎠
= y 1 ⎝2 ⎠
= , determinar el valor de 1 ⎝2 ⎠
4 16
aplicando 5.92.
⎛3 5⎞
5.95.- Determinar el valor de β ⎜ , ⎟ .
⎝2 2⎠
⎛5 7⎞
5.96.- Determinar el valor de β ⎜ , ⎟ .
⎝2 2⎠
60
Descargado de http://www.contractil.com
∞
dx
0.552 < ∫ < 0.675
0
3
x (1 + x ) 4 6 1 + x
π
1 2
∫ 1− t dt = ∫ cos
3 7
td t
0 0
5.104.- Demostrar que para cada par de números reales positivos α,p,
= (1 ⊕ α
(p )
)
−1
(α 1⊕ p ) 1⊕ α − 1
(1 ⊕ p ) .1 −1
1
∞
x6 5π
∫ dx =
(1 + )
4
0 x2 32
∞
8 x6
< ∫ dx < 2
(1 + x )
2
5 −∞
4
61
Descargado de http://www.contractil.com
Este problema está relacionado con el ejercicio 16-31 de la Pág. 516, del libro
“Análisis Matemático” de TOM APOSTOL. EDITORIAL REVERTÉ S.A., Barcelona,
1960.
En efecto, en 16-31 se solicita integrar en variable compleja y calcular mediante
residuos la integral impropia, para comprobar que,
∞
x6 3π 2
∫ dx =
5.106.1
(1 + x )
2
−∞
4 16
∞
x6
∫ d x ≈ 1 .7
5.106.2
(1 + x ) 4 2
−∞
62
Descargado de http://www.contractil.com
5.111.- Demostrar que para cada par de números reales positivos p,r tales que r > -1,
p > r +1,
∞
p2 xr p
<∫ <
( r + 1) ( p2 − ( r + 1) )
dx
2
0
1+ x p ( r +1) ( p − ( r + 1) )
∞
x
5.112.-Calcular, ∫
0
1 + x 4
dx
∞
dx
5.113.-Calcular, ∫
0 x (1 + x )
5.114.- Probar que
∞ ∞
x2 x4
∫ 1+ x dx = ∫ dx
( )
2 4
(1+ x2 )
4
0 0
p +1
5.115.- Probar que para cada par de números reales positivos p, q, tales que q > ,
p
∞ ∞
xp 1 dx
∫ dx = ∫
p ( q − 1) − 1 0 (1 + x p )q
0 (1 + x )p q
63
Descargado de http://www.contractil.com
5.116.- Verificar los valores de las contracciones factoriales que aparecen en la siguiente
tabla.
Tabla 1
Contracción Factorial Valor Numérico
⎛1 ⎞
2⎟
π
⎜
⎝2 ⎠
1 22
⎛ 1
⎜
2 ⎞
⎟
3π
⎝ 2 3 ⎠
1 24
⎛ 1
⎜
2 ⎞
⎟
5π
⎝ 2 5 ⎠
1 25
⎛ 1
⎜
2 ⎞
⎟
3 5π
⎝ 2 7 ⎠
1 28
⎛ 1
⎜
2 ⎞
⎟
6 3π
⎝ 2 9 ⎠
1 29
⎛ 1
⎜
2 ⎞
⎟
3 . 7 . 1 1π
⎝ 2 11 ⎠
1 2 11
⎛ 3
⎜
2 ⎞
⎟
3π
⎝ 2 3 ⎠
1 25
⎛ 3
⎜
2 ⎞
⎟
1 5π
⎝ 2 5 ⎠
1 28
⎛ 5
⎜
2 ⎞
⎟
1 5π
⎝ 2 5 ⎠
1 29
⎛ 3
⎜
2 ⎞
⎟
2 1π
⎝ 2 7 ⎠
1 29
⎛ 5
⎜
2 ⎞
⎟
3 5π
⎝ 2 7 ⎠
1 2 11
⎛ 3
⎜
2 ⎞
⎟
6 3π
⎝ 2 9 ⎠
1 2 11
⎛ 7
⎜
2 ⎞
⎟
3 5π
⎝ 2 7 ⎠
1 2 12
⎛ 5
⎜
2 ⎞
⎟
4 5π
⎝ 2 9 ⎠
1 2 12
64
Descargado de http://www.contractil.com
p +1
5.117.- Sea p > 0. Probar que, si existe un entero positivo n > 2, tal que: n = , entonces
p
∞ ∞ dx 1
∑∫ =
k =n
0
(1 + x ) p k 1− p
p +1
5.118.- Sea 0 < p < 1 y n un entero tal que n − 1 < < n . Probar que,
p
∞
p ∞ dx 1
< ∑∫ <
1 − p k = n (1 + x ) 1 − p
0 p k
diverge.
⎝ ⎠
5.123.- Probar que,
∞ ∞ dx 2
∑∫ =
(1 + x )
k
k =7
0 4 15
diverge.
diverge.
65
Descargado de http://www.contractil.com
5.126.- Si 0 < p < 1, probar que
∞ ∞ dx p
∑∫ =
(1 + x )
−1
k =1
0 p k + p +1 1− p
5.127.- Probar que
∞ 3 −1
∞ x 1
∑∫ dx =
(1 + x )
3+k
k =1
0
3 −1
∑ kβ ( 2 + α, k ) = (1 + α ) β ( α,1 + n )
k =n
5.135.- Comprobar que
∞
⎛3 ⎞ 512
∑ β ⎜⎝ 2 , k + 5 ⎟⎠ = 693
k =1
5.136.- Calcular:
∞
k2 +1 ⎛ 5 ⎞
∑
k =1 k
β ⎜ , k + 1⎟
⎝2 ⎠
5.137.- Calcular:
∞
⎛ 13 ⎞
∑ kβ ⎜⎝ 4 , k + 3 ⎟⎠
k =1
66
Descargado de http://www.contractil.com
5.138.- Determinar:
∞
1
∑ k β ( α, k + 3 ) ,
k =1
α>0
∑∑ β ( n, k )
n =3 k =3
∑∑ kβ ( 2 + n, k )
n =1 k =1
es divergente.
⎛ 1⎞
⎜k ⎟
∞ ⎝ 3⎠
1
5.145.1.- ∑ ⎛ 2⎞
k = 0 ⎜⎝ k 3 ⎟⎠
1
⎛ 2⎞
⎜k ⎟
∞ ⎝ 5⎠
1
5.145.2.- ∑ ⎛ 3⎞
k = 0 ⎜⎝ k 7 ⎟⎠
1
67
Descargado de http://www.contractil.com
5.146.- Calcular el valor límite de la serie
⎛ 5 ⎞
⎜k ⎟
∞ ⎝ 38 ⎠
1
∑
k =0
⎛ 5⎞
⎜k ⎟
⎝ 3⎠
1
∑∫ ( )
∞ 1 2 +k 3
1− 3 x dx =
k =0
0
4+3 2
5.153.- Calcular,
1
+k
∞
⎛ 2
⎞ 2
∑ ∫ ⎜1 − x
1
3
⎟ dx
0
k =0 ⎝ ⎠
5.154.- Si α > 0, p >1, probar que
∞
p+α
∑ β ( p, α + k ) =
k =1 p −1
β ( p,1 + α )
68
Descargado de http://www.contractil.com
5.155.- Calcular por medio de contracciones factoriales,
π
∫ 0
2
cos14 tdt
5.156.- Si α, p > 0, calcular,
∞
∑ β (1 + p, α + k )
k =1
5.157.- Calcular,
3
∞
⎛ 1
⎞
∑
1
k =0
∫0
⎜
⎝
1 − x ⎟ dx
k +1
⎠
5.158.- Calcular,
⎛ 1 ⎞
∞ ⎜5 ⎟
∑1
k =2
⎝ 3 +k ⎠
5.159.- Calcular,
∞ ⎛ 2 ⎞
⎜7 ⎟
∑1
k =3
⎝ 3+ 2k ⎠
5.160.- Calcular,
∑ β ( 4, k − 3 )
∞
k =3
5.161.- Demostrar que para cada número real p > 1,
∞ dx ⎛ p +1 p −1 ⎞
∫ 0 1+ x p
= β⎜
⎝ p
,
p ⎠
⎟
5.162.- Demostrar que para cada par de números reales p, r tales que p > r +1 > 0
∞ xr 1 ⎛ r +1 r +1⎞
∫0 1+ x p
dx = β ⎜1 +
r +1 ⎝ p
,1 − ⎟
p ⎠
69
Descargado de http://www.contractil.com
5.166.- Comprobar que,
π 3
8 10
< ∫ 2 sen 2 x cos 2 x dx <
35 0 35
5.167.- Comprobar que,
π 13
64 64
< ∫ 2 sen 2 x cos 4 x dx <
4165 0 3570
5.168.- Probar que para cada número entero positivo par n,
⎛1 ⎞ ⎛1 ⎞
⎜ ,n 2 ⎟ 1 k = n ⎛ n + 1⎞ k ⎜⎝ 2 ,k −1 2 ⎟⎠
⎝2
1 ⎠
= 1+ ∑ ⎜ ⎟ ( − 1) 1
2 k =1 ⎝ k ⎠
5.169.- Demostrar la Fórmula de Reducción Factorial para la función Beta (F.R.F. β )
β ( x, y + k ) = β ( x, y )1
( y −1,k x ) , x, y > 0 , k = 0,1, 2,...
−1
5.170.- Probar que para cada par de números enteros positivos k, n, y cada par de números
reales positivos x, y, se tiene,
β ( x + k, y + n ) = β ( x, y )1
( x −1,k y )1( y −1,n x
−1 −1
⊕ k −1 )
Comentario sobre la fórmula 5.170.- Esta fórmula reduce el cálculo de la función Beta al
cálculo de β ( x, y ) , para valores x, y ∈ ( 0,1] . Los otros factores son contracciones
factoriales algebraicas.
⎛1 1⎞
Por ejemplo. El valor β ⎜ , ⎟ = π se obtiene aplicando la forma factorial generalizada de
⎝2 2⎠
beta. Entonces, para cada par de números enteros positivos k, n se tiene:
5.170.1 .- ⎛1 1 ⎞
⎛ 1 ⎞ ⎛ 1
−1
⎜ − ,k 2 ⎟ ⎜ − ,n 2 ⊕ k ⎟
⎞
β ⎜ + k, + n ⎟ = π.1⎝ 2 ⎠1⎝ 2 ⎠
⎝ 2 2 ⎠
5.171.1 .- ∞
⎛ 1⎞
∑ β ⎜⎝ 5, k + 3 ⎟⎠
k =0
5.171.2 .- ⎛ 7 11 ⎞ ⎛ 3 13 ⎞
β⎜ , ⎟ , β⎜ , ⎟
⎝2 2 ⎠ ⎝2 2 ⎠
70
Descargado de http://www.contractil.com
5.172.- Probar que cada número entero no negativo n, satisface la identidad,
⎛1 ⎞ ⎛3 ⎞
⎜ ,2n +1 2 ⎟ ⎜ ,2n 2 ⎟
4.1 ⎝2 ⎠
= 3.1 ⎝2 ⎠
1 ( ) ( )
5.181.- Usar la F. β -C.I.F. para calcular el valor límite de la serie,
∞ ⎛7 2 ⎞
⎜ ⎟
∑1
k =0
⎝ 2 3+ 2k ⎠
71
Descargado de http://www.contractil.com
5.182.- Probar que,
⎛ 2 + 3 + 2k ⎞
β⎜ , 3⎟
∞
⎝ 2 ⎠ = 5+3 3
∑k =1 ⎛ 3⎞ 8
β ⎜1 + 3, ⎟
⎝ 2 ⎠
Sugerencia: Aplicar F.R.F.B.
5.184.1 π
∫ ( 2sen x + 5cos x ) dx
3 2 3
2
0
5.184.2 π
∫ ( 3cos − 2sen 2 x ) dx
4 4
2
0
1( ) = (1 + α (1 ⊕ p ) )1(
αp α 1⊕ p )
, α, p > 0
⎛ 1 1⎞
(α + p) M < β ⎜ , ⎟<α+p
⎝α p⎠
⎛2 5 ⎞
5.188.1.- 39.8 < β ⎜ , ⎟ < 40.9
⎝ 3 197 ⎠
72
Descargado de http://www.contractil.com
⎛ 1 1⎞
5.188.2.- 305.0164 < β ⎜ 5 , ⎟ < 306.0197
⎝π −2 2⎠
5.189.- Comprobar que
∞ ∞
1
∑∑ β ( 5,3 + n + k ) = 60
n =1 k = 0
5.190.- Demostrar la Identidad Serial para la Función Beta (I.S. β .).- Para cada par de
números reales positivos α , p
∞ ∞
∑∑ β ( α + n, p + k ) = β ( α, p )
n =1 k =1
Demostración de la I.S. β .
∞ ∞
1.- Sea λ = ∑∑ β ( α + n, p + k ) , α, p > 0
n =1 k =1
2.- Aplicando la F.R.F. β . se tiene,
∞ ∞ ⎛ 1 ⎞
⎜ p −1,k ⎟
λ = ∑∑ β ( α + n, p )1 ⎝ α+ n⎠
n =1 k =1
3.- Luego,
∞ ∞ ⎛ 1 ⎞
⎜ p −1,k 1⊕ ⎟
λ = ∑ β ( α + n, p ) ∑1 ⎝ α+ n −1 ⎠
n =1 k =1
4.- Ahora, según la Prop. 4.14,
∞ ⎛ 1 ⎞
⎛ p ⎞ ⎜⎝ p −1,1 α+ n −1 ⎟⎠
λ = ∑ β ( α + n, p ) ⎜1 + ⎟1
n =1 ⎝ α + n −1 ⎠
∞
⎛ p ⎞⎛ p ⎞
λ = ∑ β ( α + n, p ) ⎜ 1 + ⎟ ⎜1 ⊕ ⎟
n =1 ⎝ α + n −1 ⎠ ⎝ α + n −1 ⎠
73
Descargado de http://www.contractil.com
5.- De donde,
∞
β ( α + n, p )
λ = p∑
n =1 α + n − 1
6.- Aplicando nuevamente la F.R.F. β . se tiene,
⎛ 1⎞
∞
1 ⎜⎜ α−1,n ⎟
p ⎟⎠
λ = pβ ( α , p ) ∑ 1⎝
n =1 α + n − 1
En esta etapa de la demostración original, se usó una forma de T.I.F. que es válida
solamente en el contexto del Álgebra Circular.
⎛1 ∞ ⎛1 1 ⎞
⎛ 1⎞ ⎞
⎜⎜ α ,n − 2 1⊕ p ⎟⎟
λ = ( α ⊕ p ) β ( α, p ) ⎜ + ∑ ⎜ ⊕ 1 ⊕ ⎟1 ⎝ ⎠⎟
⎜ α n =2 ⎝ α p⎠ ⎟
⎝ ⎠
λ = ( α ⊕ p ) β ( α, p ) ⎜ +∑ ⎟
⎝ p⎠
1
⎜ α i =0 α + 1 + p ⎟
⎝ ⎠
10.- De donde,
⎛1 1 ⎛ α +1⎞⎞
λ = ( α ⊕ p ) β ( α, p ) ⎜ + ⎜1 + ⎟⎟
⎝ α α +1+ p ⎝ p ⎠⎠
11.- Luego,
λ = ( α ⊕ p ) β ( α, p ) ( α −1 + p −1 )
74
Descargado de http://www.contractil.com
12.- Probando definitivamente la I.S. β .
λ = β ( α, p )
5.190.1.- Aplicar la I.S. β . para resolver los problemas 5.139 y 5.140.
∑∑ β ( α + n, p + k )
n = r k =s
Siendo α, p números reales positivos y r, s números enteros positivos.
∞ ∞
5.190.3.- Si α, p son números reales positivos y λ = ∑∑ β ( α + n, p + k ) , determinar una
n =3 k = 7
∑ β (1 + α, p + k ) =β ( α, p + n )
k =n
, α, p > 0, n = 1, 2,...
∑ β (1 + α, p + k ) =β ( α, p )
k =0
, α, p > 0
5.193.- Aplicar la fórmula de Urra-Saavedra para resolver los problemas 5.135, 5.151,
5.154, 5.156 y 5.160.
75
Descargado de http://www.contractil.com
Sugerencia:
Sugerimos a los lectores que necesiten información adicional para resolver alguno de los
problemas propuestos o deseen aclarar conceptos teóricos, dirigirse a nuestro correo
electrónico: webmaster@contractil.com. Pueden comunicarse en Inglés o Español.
Daremos respuesta a sus preguntas tan pronto como nos sea posible.
76
Descargado de http://www.contractil.com
PALABRAS A LOS LECTORES
Los lectores que hayan resuelto los problemas propuestos, siguiendo la lección
número 2, se habrán percatado del extraordinario poder de resolución de las contracciones
factoriales, así como de la economía de pensamiento que supone el uso del cálculo
contractivo.
Solicitamos a los lectores, que nos hagan llegar sus críticas, inquietudes y
comentarios sobre el material presentado en las dos primeras lecciones, a nuestro correo
electrónico: webmaster@contractil.com
BIBLIOGRAFÍA RECOMENDADA
SOFTWARE RECOMENDADO
77
Descargado de http://www.contractil.com
ADVERTENCIA SOBRE LA BIBLIOGRAFÍA Y SOFTWARE
Consideramos necesario hacer saber a nuestros lectores que los libros que hemos
recomendado han sido de invalorable ayuda en la preparación de la Lección No. 2. Los
lectores podrían encontrar en ellos los métodos para resolver – sin recurrir al cálculo
contractivo – algunos de los problemas propuestos en la última sección.
Pero debemos advertir que, nosotros, los miembros del Grupo de Investigación en
Cálculo Contractivo, no hemos encontrado allí los métodos que nos permitan hallar la
solución de problemas tales como: 5.44, 5.45, 5.142, 5.143 y otros, incluyendo problemas
de la misma naturaleza que 5.151 y 5.154.
78