You are on page 1of 78

Descargado de http://www.contractil.

com
LECCION N° 2
(07 de Julio de 2005)

El objetivo principal de esta lección es el desarrollo del concepto de Contracción


Factorial. Sin embargo, hemos considerado necesario introducir previamente el operador de
“Suma Contractiva”.
La importancia de este operador y sus propiedades especiales, se pondrán de
manifiesto de maneras diversas, en relación al cálculo con contracciones.

A.- SUMA CONTRACTIVA.

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
β γ β +γ

Las propiedades anteriores muestran enlaces sintácticos muy fuertes entre el


operador de suma contractiva y el operador de suma usual en el conjunto de los números
reales. En realidad, existen diferencias sintácticas no advertidas aquí; y además, profundas
diferencias semánticas entre ambos operadores.
Nuestro objetivo inmediato, es la simplificación algebraica de algunos procesos de
cálculo.
Obsérvese en detalle el siguiente ejemplo numérico de suma contractiva, basado en
la propiedad 2.10.

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

La reducción de la suma contractiva a las operaciones usuales en los números


reales, se nos presenta de manera oportuna; y también imperativa, si necesitamos ajustarnos
al contexto universal del cálculo numérico.
El teorema que sigue registra una relación fundamental. Será referido como
Teorema de Multiplicación de Sumas (T.M.S.).

2.13.- Teorema. (T.M.S.). Sean { xi }i =1 , { yi }i =1 , n ≥ 2, conjuntos de números reales no


i=n i=n

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 .

Demostración. Sólo insinuaremos un método de prueba.

2.13.1.- Si α = 0, pruébese que


i=n i =n

∑y
i =1
i ≠0 ⇒ ⊕x
i =1
i =0

2.13.2.- Si α ≠ 0, aplíquese Inducción Completa, usando la propiedad 2.5.

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.

3.1.- Un capataz de obras contrata n obreros altamente especializados, con el objeto de


formar un equipo (trabajo simultáneo) para realizar un trabajo de magnitud W. Como desea
tener una estimación del tiempo en el cual concluirá la obra; ejecuta una consulta individual
sobre el tiempo en que cada trabajador supone que realizaría la tarea trabajando solo. Los
datos obtenidos son T1 , T2 ,..., Tn .
El siguiente razonamiento permite al capataz obtener el valor buscado.
“Cada obrero tiene una eficacia propia ei (trabajo por unidad de tiempo), luego,
para cada i, 1 ≤ i ≤ n, se tiene Ti .ei = W .

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

Sugerimos al lector comprobar que el tiempo promedio de trabajo para los


trabajadores es:
⎛ i =n ⎞
3.1.2 Tm = n ⎜ ⊕ Ti ⎟
⎝ i =1 ⎠
Tm es el “Promedio Contractivo” de los tiempos T1 , T2 ,..., Tn .

3.2.- Si R1 , R2 ,..., Rn son los valores de n resistencias eléctricas conectadas en paralelo, en


un circuito en el cual es válida la Ley de Ohm, comprobar que el valor de la resistencia
única equivalente RT , viene dada por,
k =n
3.2.1 RT = ⊕ Rk
k =1

Si se desea reemplazar las resistencias de valores R1 , R2 ,..., Rn por otras de igual


valor R, entonces
⎛ k =n ⎞
3.2.2 R = n ⎜ ⊕ Rk ⎟
⎝ k =1 ⎠
La resistencia de valor R en la fórmula 3.2.2 es la resistencia media.

El próximo ejemplo 3.3 se sustenta en elementos teóricos que en esta ocasión, no


intentaremos analizar. Únicamente, solicitamos al lector que realice una prueba de la
veracidad del enunciado.

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

Es claro que si la sustancia es homogénea, entonces 3.4.1 se reduce a una identidad.


El lector debería percatarse de que las fórmulas 3.1.2, 3.2.2, 3.3.1 y 3.4.1 tienen
exactamente la misma forma.

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

B.- CONTRACCIONES FACTORIALES

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 )

Esta fórmula se prueba fácilmente, por Inducción Completa.

2.5.- La fórmula 2.4 puede ser usada para escribir


7.13.19.25.31.37.43
λ=
17.23.29.35.41.47.53
en forma de contracción factorial.

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⎠

2.6.- Si α > 0 , q = 0, la fórmula 2.4 se reduce a la siguiente:


⎛ 1⎞
⎜k
⎝ α⎠
⎟ k!
1 =
(α +1)(α + 2) ...(α + k ) , k =1,2,…

2.7.- Si α es un entero positivo, entonces aplicando 2.6 se tiene,


⎛ 1⎞
⎜k


α⎠ α !.k !
1 = , k =1,2,…
(α + k )!

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,…

La fórmula 2.9, además de constituir una importante identidad, tiene incidencia


significativa en operaciones numéricas. Obsérvense los ejemplos 2.10 y 2.11.

⎛ 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.

4.1.- Teorema. Primera Identidad Factorial. (P.I.F.)

( q−1 , k α ) ( k α ⊕ q)
1
( k q)
.1 = 1 , q > 0.

Demostración: Inducción Completa.

4.1.1 Para k = 0, la identidad es obvia.

4.1.2 Hipótesis de Inducción. Sea válida la identidad para un entero k ≥ 0,


arbitrario.

4.1.3 Sea k = k + 1, luego,

(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)

(1 ⊕ (1 ⊕ k q )−1. k α )(1 ⊕ k q ).1(


k α ⊕q )
=

( k α ⊕q )
= (1 ⊕ k ( α ⊕ q )) .1

(k α⊕q )
= 1

4.2.- Teorema. Segunda Identidad Factorial. (S.I.F.)

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,…

Sustituyendo ahora 4.2.4 en 4.2.1, se tiene

k (1 ⊕α ).1(
( k α) k − 1 1 ⊕α )
4.2.5 1 = , k =1,2,…

4.3.- Teorema. Tercera Identidad Factorial. (T.I.F.)

( q , k −1 1 ⊕ α )
= (q + k )(q −1 ⊕ 1 ⊕ α ) . 1
( q , k α)
1 , q>0, k =1,2,…

Demostración.- Inducción Completa.

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.

Sea válida la Identidad para un entero k ≥ 1, arbitrario.

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)1(
q , k 1⊕ α )

= (1⊕ (q + k ) α ) .(q −1
⊕1⊕α ).(q + k + α −1 )1(
q , k 1 ⊕α )

= (1⊕(q +k )α) .(q −1


⊕1⊕α).(q + k ).(1+ (q + k )−1α−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.1. Si k = 0, la proposición es obvia.

Para k =1,2,… haremos la prueba por Inducción completa.

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 ⎠

4.6. Proposición.- Si n, k son números enteros no negativos, entonces

(q, n+k α) (q, n α ) (q+n , k α )


1 = 1 . 1
Demostración.- Proponemos al lector que realice la prueba de esta proposición.

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 .

Demostración.- Esta proposición es un caso especial de 4.6.

4.8.- Proposición.-

⎛ 1⎞
(q, k 1) ⎜q , 1 ⎟
1 =1 ⎝ k⎠
, k =1,2,…

Demostración. Inducción Completa.

4.8.1 Para k = 1 , es obvio.

4.8.2 Hipótesis de Inducción.- Sea válida la Proposición para un entero k ≥ 1 ,


arbitrario.

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 + k ) ((q + 1 + k ) −1 ⊕ 1)(q + 1)((q + 1) −1 ⊕ k −1 )

= ((q + 1) −1 ⊕ k −1 ⊕ 1)(q + 1)

(
= 1 ⊕ ( q + 1)( k + 1)
−1
)
⎛ 1 ⎞
⎜⎜ q , 1 k +1⎟⎟
⎝ ⎠
= 1

4.9. Proposición.- Si k, n son números enteros positivos, entonces,

⎛ 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)

4.9.2 Hipótesis de Inducción.- Sea válida la fórmula para un entero k ≥ 1 , arbitrario.

⎛ 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.

4.10. Proposición.- La serie,

∑ 1(
q, k 1)
es divergente.
k =0

Demostración.-

4.10.1. Para q = 0, la prueba es simple a partir del ejemplo 2.10.

4.10.1.- Si q > 0, es fácil ver que para k > 1 + q −1 se tiene que

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.

4.11. Proposición.- Para cada número real no negativo α , la serie

∑ 1( )
q, k 1+α
, es divergente.
k =0

Demostración.- La proposición se prueba a partir de la Propiedad 3.7 y la Proposición 4.10.

4.12. Teorema.- Para cada número real no negativo α ,

k =n

∑1( (1 + ( q + 1)α ) . (1 − 1( )
q , k 1 ⊕α ) q , n +1 α )
=
k =0

Demostración.-

4.12.1.- Si α = 0 , el teorema es evidente.

4.12.2.- Para α > 0 , razonamos por Inducción Completa.


0

∑ 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 α )

El teorema 4.12 tiene un extraordinario valor teórico. La demostración algebraica


que hemos presentado aquí, está inspirada en un método usado por el matemático inglés G.
H. Hardy en su libro: “A Course of Pure Mathematics”.Pág. 169. ex. 25. Cambridge. at the
University Press. 1955. Tenth edition.

Sin embargo, la fórmula proporcionada en el teorema 4.12 no está relacionada con


los trabajos de Hardy. Además, ignoramos si algún otro matemático ha encontrado un
resultado semejante.

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.

4.13. Proposición.- Para cada número real no negativo α .


∑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.

Los siguientes ejemplos ayudarán al lector a entender la naturaleza de la serie


factorial.
1.- Estudiar el comportamiento de la serie:
7.11 7.11.15
λ= + + ...
13.17 13.17.21
y calcular su valor límite, si es convergente.

Solución.- Escribiendo los términos de la serie λ en la forma 2.4, se tiene,

⎛ 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

2.- Estudiar el comportamiento de la serie.


8 8.10 8.10.12
σ= + + + ...
8 + 2 8 + 2 10 + 2 ( )( ) (
8 + 2 10 + 2 12 + 2 )( )( )
Solución.- Escribiendo los términos de la serie en la forma 2.4, se tiene,

σ = ∑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

El siguiente ejemplo permitirá al lector ver el alcance de la fórmula 4.21.

Ejemplos: Considérense las series numéricas


2 3
2 ⎛2⎞ ⎛2⎞
σ = 1 + + ⎜ ⎟ + ⎜ ⎟ + ...
3 ⎝3⎠ ⎝3⎠
2 2.4 2.4.6
λ = 1+ + + + ...
5 5.7 5.7.9
Estas series pueden escribirse en las formas siguientes:
∞ ∞

∑ 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

Veremos ahora una importante aplicación de las contracciones factoriales,


relacionada con el cálculo de la función Beta.
Usaremos la definición:
1
β ( x, y ) = ∫ t x − 1 ( 1 − t ) y − 1 dt
0

4.22.- Teorema. Primera Forma Factorial de Beta (P.F.F. β .)


Para cada número real positivo α ,

β (α , k ) = α .1
( k −1 α )
−1
−1

, k = 1,2,…

Demostración.- Inducción Completa.


4.22.1 k = 1
( 1−1 α )
1 −1

β (α ,1) = ∫ tα − 1dt = α −1.1


0

4.22.2 Hipótesis de Inducción.- Sea válido el teorema para un entero k ≥ 1 , arbitrario


4.22.3 Sea k = k + 1

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

4.24. Teorema.- Para cada número real positivo α , la serie


∑ β (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

4.25. Teorema.- (J. N. Urra)


Para cada número real positivo α ,

∑ β (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

4.26.- Teorema.- Urra-Saavedra (U-S)


Para cada número real positivo α ,


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. β .)

4.27. Proposición.- Para cada número real positivo α ,


m

∑ β (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)

4.28. Proposición.- Para cada número real positivo α ,



1 (k
∑ )
= β (α − 1 , n ) , n =1,2,...
α
.1
k =n k
Demostración.- Es suficiente aplicar la S.F.F. β . y el teorema de Urra-Saavedra.

A modo de un primer ejercicio didáctico, usaremos la Prop. 4.28 para resolver el


Ex.25 que aparece en la Pág. 169 del libro A Course of Pure Mathematics de Hardy, del
cual se hizo referencia a continuación de la demostración del teorema 4.12.

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 )

fue utilizada por Gauss en sus trabajos.


Ningún miembro de nuestro grupo de investigación sobre funciones contráctiles ha
tenido acceso a los trabajos originales de Gauss.
Pero sabemos de la magnitud de su Obra; y de nuestra gran admiración al genio.
Lo que haremos es simple. A partir de la definición usada por Gauss, probaremos la
siguiente proposición.

4.29. Proposición.- Para cada número real positivo α ,


Γ (α ) = lim n α β (α , n + 1 )
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→∞

A partir de la Prop. 4.29, se deducen directamente y de manera muy simple, algunas


propiedades algebraicas de la función Gama, que son de uso común.- Veamos los
siguientes ejemplos.

1.- Γ (1) = lim n β (1, n + 1) , (4.29)


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

2. Γ (1 + k ) = lim n1+k β (1 + k , n + 1) , k=1,2… (4.29)


n→∞
⎛ 1 ⎞
n 1+ k ⎜ n +1


k ⎠
lim
= n→ ∞ .1 , (S.F.F. β .)
n +1
⎛ 1 ⎞
n 1+ k ⎜k


n +1 ⎠
lim
= n→ ∞ .1 , (2.9)
n +1
n1+ k k!
lim .
= n →∞ n + 1 ( n + 2 )( n + 3 ) ... ( n + 1 + k )

24
Descargado de http://www.contractil.com
k!
= lim
n→∞ ⎛ 1 ⎞⎛ 2 ⎞ ⎛ 1+ k ⎞
⎜ 1 + ⎟ ⎜ 1 + ⎟ ... ⎜ 1 + ⎟
⎝ n ⎠⎝ n⎠ ⎝ n ⎠
= k! , k=1,2…

3.- Γ (1+ α ) = lim n1+α β (1+ α , n +1) , (4.29)


n→∞

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 !

Antes de realizar la próxima aplicación es necesario hacer una importante observación


sobre la definición de contracción factorial.

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.

Calcularemos ahora el valor límite de la serie.



1
4.32. ∑
k = 0 ( k + n)( k + n + p )
, siendo n, p números enteros positivos.

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

Introduciendo este resultado en 4.32.1, se tiene,



1 1 i = n + p −1 1
4.32.3 ∑
k = 0 ( k + n )( k + n + p )
= ∑
p i= n i

No conocemos bibliografía que haga referencia a la fórmula 4.32.3. Pero Hardy,


Ramanujan y algunos matemáticos anteriores a ellos, disponían de los métodos para
encontrar el valor límite de la serie 4.32.2. Por esta razón, debemos suponer que la fórmula
4.32.3 es conocida.

Consideremos ahora el siguiente ejemplo:

i =n
⎛ i ⎞ ⎛ n + 1⎞
4.33. ∑ ⎜ k ⎟ = ⎜ k + 1⎟ , n≥k
i =k ⎝ ⎠ ⎝ ⎠

La demostración de esta fórmula se ubica en el ámbito del álgebra convencional. En


efecto, basta aplicar el axioma de Inducción Completa.
Pero nuestro interés, es aproximarnos a la esencia del cálculo contractivo, por lo
tanto recurriremos a las contracciones factoriales y haremos una demostración que
consistirá en calcular el valor de la suma del primer miembro de 4.33. Así, veremos
además, un método para generar la fórmula.

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⎠

Introduciendo este valor en 4.33.3 se tiene,

i=n
⎛ i ⎞ ⎛ n + 1⎞
4.33.5 ∑ ⎜ k ⎟ = ⎜ k + 1⎟
i =k ⎝ ⎠ ⎝ ⎠

Mostraremos ahora la forma contractiva del Teorema del Binomio de Newton.

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

⎛ k =n ⎛ n ⎞ −1 n−k −1 k ⎞ ⎛ k =n ⎜⎝ n−k k ⎟⎠ n−k k ⎞


⎛ 1⎞

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

Relacionando 4.34.2, 4.34.3 y 4.34.4 se completa la demostración.

La siguiente aplicación se relaciona con el cálculo de integrales impropias de la forma

∞ 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:


dx = ∫ (1⊕ x ) (1⊕ x−1 )
∞ ∞ α k +1
4.35.1 ∫ (1+ x)
0 α+k +1 0
dx

= ∫ (1⊕ x ) (1− (1⊕ x ) )


∞ α k +1
dx
0

Haciendo el cambio de variable 1 ⊕ x = t , se tiene,

∞ 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 .

Veremos ahora una aplicación relevante desde el punto de vista teórico.


Probaremos el siguiente teorema:

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

Usaremos la fórmula 4.36 para generalizar el concepto de contracción factorial.

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

= ∫ 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

Haciendo el cambio de variable x = t , se tiene p

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.

4.39 Teorema. Para cada par de números reales positivos α , p,

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

Pero ocurre que,

4.39.3 p − 1 . β ( p − 1 ,1 + α ) = α .β (α , 1 + p − 1 )
Luego,

1 (α p)
=1
(p −1
α−1 )
4.39.4

Veamos algunos ejemplos prácticos del teorema 4.39.

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)

El teorema que sigue es útil en el cálculo contractivo.

4.40 Teorema. Para cada par de números reales positivos α , p,

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

2) Calcular el valor límite de la integral impropia



x4
I =∫ 20
dx
0
(1 + x) 3

Solución: La integral puede escribirse en la forma,

35
Descargado de http://www.contractil.com
∞ 8 20

2-1) I = ∫ x (1 ⊕ x) dx
3 3

Haciendo el cambio de variable u = (1 ⊕ x)5 se tiene,

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

Esta es la idea inicial en la solución de 2). Pero en lugar de cambiar variable,


seguiremos el método convencional.


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.

Probaremos ahora una importante fórmula, referida como Forma Factorial


Generalizada para la función Beta (F.F.G. β .).

4.43.- Teorema.- (F.F.G. β .)


Para cada par de números reales positivos x, y,

β ( x , y ) = ( x − 1 + y − 1 ) .1
(y x −1 )

Demostración.- Partimos de la conocida relación

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

Consideremos ahora dos números reales positivos α , p. Si α no es entero, entonces


existe un número entero n tal que n < α < n + 1 . Luego, debe ocurrir que:

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.

Veamos algunos ejemplos.

⎛ 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 π

La longitud de este intervalo de aproximación es l = 0.035

⎛ 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

Para β ( 2, 39 ) se obtiene el intervalo de aproximación


0.055 < β ( 2, 39 < 0.067)
la longitud de este intervalo es. l ≈ 0.012

Aplicaremos ahora la teoría de las contracciones factoriales al estudio de la integral


impropia

xr
4.45.- ∫0 1 + x p q dx
( )

Siendo p, q, r números reales no negativos.

Necesitamos demostrar previamente dos proposiciones que servirán


posteriormente como premisas.

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

Haciendo el cambio de variable t = 1 ⊕ x , se tiene

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.β .)
α

4.47.- Proposición.- Para cada par de números reales positivos α , p

∞ ⎛ 1⎞
xα 1 ⎜⎜⎝α ⎟
p ⎟⎠
∫0 (1+ x)α+ p+1 dx = p .1
Demostración.-
∞ ∞

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

mediante el cambio de variables t = 1 ⊕ x se tiene,



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

Nota: La Prop. 4.47 es también válida si α = 0 .

Sobre la integral impropia 4.45, demostraremos 4 proposiciones.


4.48.- Proposición.- Para cada número real p >1,

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

Demostración: Basta hacer el cambio de variable t = x r +1 y aplicar 4.48.


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

Demostración: Basta hacer el cambio de variable x p = t y aplicar 4.46.

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

Demostración.- Basta hacer el cambio de variable t = x r +1 y aplicar la Prop. 4.50.

Nota: La Prop. 4.51 es todavía válida si 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

El lector debe percatarse de que las proposiciones 4.50 y 4.51 se refieren a


condiciones suficientes para asegurar la convergencia de la integral impropia de la forma
4.45 y calcular al mismo tiempo su valor. Pero tales condiciones no son necesarias. En
efecto, las integrales que tienen la forma de la Prop. 4.48 no satisfacen la hipótesis de la
Prop. 4.50, sin embargo, son convergentes. Del mismo modo, las integrales que tienen la
forma de la Prop. 4.49 convergen, sin satisfacer la hipótesis de la Prop. 4.51.

Terminaremos la parte expositiva de esta lección, demostrando la “Cuarta


Identidad Factorial” o “Teorema del Ensamble”.
Se trata de un teorema fundamental, de fuerte impacto teórico, que muestra
una relación que conecta (ensambla) la Contracción Factorial Generalizada de la Def. 4.37,
con la Contracción Factorial Algebraica de la Def. 1.

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

Mostrando que el teorema es válido para k = 1.

4.52.4. Hipótesis de Inducción. Sea válido el teorema para un entero k ≥ 1, arbitrario.

( α+ 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

La cuarta identidad factorial tiene incidencia significativa en las aplicaciones


del cálculo numérico contractivo.

Veamos algunos ejemplos.

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

4.53.3. Probar que,


2 +1
∑β( ) ( )

2 + 1 + k, 3 = β 1 + 2, 3
k =1 3 −1
Demost.
⎛ 1 ⎞

∑β( )
∞ ∞ 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

Palabras previas.- Hemos advertido sobre la importancia de conocer en profundidad el


operador de contracción factorial, así como la necesidad de desarrollar habilidades para el
cálculo contractivo; si se tiene interés en progresar en el conocimiento de esta área de la
Matemática.
Los problemas que se presentan a continuación deberían servir para que los lectores
interesados se orienten en la dirección correcta, esto es, se preparen para el estudio de las
funciones contráctiles.

5.1.- Calcular el valor numérico de las siguientes contracciones factoriales-


⎛1 1 ⎞ ⎛2 1 ⎞
⎜ ,9 ⎟ ( 5 ,11 1 ) ⎜ ,35 ⎟
1⎝ 7 3 ⎠
, 1 , 1⎝ 3 2 ⎠

5.2.- Comprobar las siguientes igualdades.


⎛ 1⎞ ⎛ 1⎞
⎜ 32 ⎟ ⎜ 31 ⎟
5.2.1 1⎝ 7⎠
= 4.1⎝ 8⎠

⎛ 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.- Comprobar las siguientes igualdades


⎛ 3 ⎞

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⎠

5.4.- Calcular el valor límite de la serie:


24 24.27 24.27.30
σ= + + + ...
29 29.32 29.32.35

5.5.- Calcular el valor límite de la serie:

λ=
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.7.- Comprobar los siguientes resultados


k = 29 ⎛⎜ 3 , k 1 ⎞⎟
1944
5.7.1 ∑1
k =0
⎝2 3⎠
=
871
⎛1 2 ⎞
∞ ⎜ ,k ⎟
⎜3 1+ 2 ⎟⎠ 56
5.7.2 ∑1 ⎝
=
k =2 (
3 3+ 7 2 )
5.8.- Comprobar los siguientes resultados
12!.14!
5.8.1 β (13,15 ) =
27!
⎛1 ⎞ 39
5.8.2 β ⎜ , 7 ⎟ =
⎝ 3 ⎠ 13832

5.9.- Calcular el valor límite de las siguientes series:



⎛ 17 ⎞
5.9.1 ∑ β ⎜ , k ⎟
k =1 ⎝ 8 ⎠

⎛3 ⎞
5.9.2 ∑ β ⎜ , k ⎟
k =5 ⎝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)

5.11.- Determinar los valores de α, para los cuales la serie



6.11... (1 + 5k )
∑ ( 5α + 6 )( 5α + 11) ... ( 5α + 1 + 5k )
k =3

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

5.18.- Si a, b son números reales positivos, probar que:


⎛ b⎞
1 1 ⎜n ⎟
= n .1⎝ a⎠

( 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.21.- Calcular el valor límite de la serie:


1 1 1
λ= + + + ...
34.39.44.49 39.44.49.54 44.49.54.59

5.22.- Considérese la serie contractiva



⎛ i =n ⎞
⊕ xi = lim ⎜ ⊕ xi ⎟
i =1 n →∞ ⎝ i =1 ⎠
{ xi }i =1

5.22.1 Probar que para cada familia de números reales positivos, la serie

contractiva ⊕ xi es convergente.
i =1

5.23.- Probar que:



⊕ ( 3 + 2k )( 5 + 2k )( 7 + 2k ) = 140
k =1

5.24.- Probar que:


1 ⊕ 2 ⊕ 3 ⊕ ... = 0

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

5.27.- Calcular el valor límite de la serie:


1 8 1 8.10 1 8.10.12
λ = 1+ . + . + . + ...
2.3.4 9 3.4.5 9.11 4.5.6 9.11.13

5.28.- Calcular el valor límite de la serie:


1 9.12 1 9.12.15
λ= . + . + ...
( )( )
3.4 9 + 3 12 + 3 4.5 9 + 3 12 + 3 15 + 3 ( )( )( )
5.29.- Calcular el valor límite de la serie:

⎛ 19 ⎞
λ = ∑ ( k + 5) β ⎜ ,k ⎟
k =3 ⎝7 ⎠

5.30.- Calcular el valor límite de la serie:


⎛5 ⎞ ⎛ 13 ⎞ ⎛ 8 ⎞ ⎛ 13 ⎞ ⎛ 11 ⎞ ⎛ 13 ⎞
λ =⎜ + 2⎟β ⎜ , 1⎟ + ⎜ + 2 ⎟ β ⎜ , 2 ⎟ + ⎜ + 2 ⎟ β ⎜ , 3 ⎟ + ...
⎝3 ⎠ ⎝ 4 ⎠ ⎝3 ⎠ ⎝4 ⎠ ⎝3 ⎠ ⎝ 4 ⎠

5.31.- Probar que la serie:



⎛7 ⎞
∑ ( 2 + 3k )β ⎜⎝ 4 , k ⎟⎠ ,
k =1
diverge.

5.32.- Determinar los valores de α para los cuales la serie


∑ k β (α , k ) ,
k =1
converge.

5.33.- Probar que la serie:



1 (k 7)

k =2 k
.1 es convergente y

determinar su valor límite.

5.34.- Comprobar el siguiente resultado:



1
∑ k.β (5, k ) = 3
k =1

5.35.- Probar que la serie:



λ = ∑ ⎛⎜ ⊕ 1( ) ⎞⎟ es convergente y
i=k
i 5
i=0
k =3 ⎝ ⎠
determinar su valor límite.

52
Descargado de http://www.contractil.com

5.36.- Probar que para cada número real positivo α,


i =k
β (1 + α , 1 + k ) = (1 ⊕ α ) ⊕ β (α , 1 + i)
i =0

5.37.- Probar que para cada número real no negativo p,


∞ ⎛ 1 ⎞
⎜p,k ⊕ p⎟
∑1
k =1
⎝ 2 ⎠
= p

5.38.- Usar contracciones factoriales para probar la identidad


k .β (1 + α , k ) = α .β (α , 1 + k ) , α > 0, k = 1,2,…

5.39.- Calcular
k = 35
λ= ∑ k.β (3, k )
k =7

5.40.- Probar que para cada número real positivo α,


k =n

∑ k.β (2 + α , k ) = (1 + α ) ( β (α , 2 ) − β (α , n + 2) )
k =1

5.41.- Probar que para cada número real positivo α,


∑ k.β (2 + α , k ) = α
k =1
−1

5.42.- Probar que para cada número real positivo α,


∑ k β (2 + α , k ) = (1 + α ) β (α ,1 + n) ,
k =n
n = 1,2,…

5.43.- Probar que la serie:


⎛4 ⎞

β ⎜ ,k ⎟
⎝5 ⎠
∑ ⎛ 1 ⎞
es divergente.
k =1
β ⎜ ,k ⎟
⎝3 ⎠

53
Descargado de http://www.contractil.com

5.44.- Probar que la serie:


⎛7 ⎞ ⎛ 11 ⎞

β ⎜ ,k ⎟+ β ⎜ ,k ⎟
⎝5 ⎠ ⎝7 ⎠
∑ ⎛1 ⎞
es convergente y
k =1
β ⎜ ,k ⎟
⎝3 ⎠
determinar su valor límite.

5.45.- Determinar los valores de α para los cuales la serie


⎛2 ⎞

β ⎜ +α, k ⎟
⎝3 ⎠ , converge.
∑ ⎛1 ⎞
k =1
β ⎜ ,k ⎟
⎝7 ⎠

5.46.- Probar que,


⎛2 10 ⎞

β⎜ + ,k ⎟ ∞ ⎛ 1 ⎞
⎝ 3 21 ⎠ 1 ⎜⎝ , k 1⎟
∑ ⎛1 ⎞
= ∑ 8
1 7 ⎠

k =1
β ⎜ ,k ⎟ k =0

⎝7 ⎠

5.47.- Probar que la serie:


∞ ⎛ 1 ⎞
1 ⎜ , k 4⎟

k =3 1 + 7 k
.1⎝ 7 ⎠
es convergente y

determinar su valor límite.

5.48.- Comprobar que las series:



1 1
.1(
2 , k 5)
λ =
5

k =3 2+k
∞ ⎛ 5⎞
1 ⎜2 ,k ⎟
σ =
16
∑1
k =2
⎝ 6⎠

convergen a un límite común.

5.49.- Calcular el valor límite de la serie:


∞ ⎛ 1 5⎞
1 ⎜ , k ⎟
λ=∑ .1⎝ 3 2⎠

k =1 3k + 1

54
Descargado de http://www.contractil.com

5.50.- Probar que la serie:


∞ ⎛3 ⎞
⎛3 ⎞ ⎜ , k 1⎟
λ = ∑
k =0
β ⎜ , k + 1 ⎟ .1⎝ 5
⎝5 ⎠

es convergente y

determinar su valor límite.

5.51.- Probar que:



1 3
∑k
k =2
2
=
−1 4
5.52.- Probar que:

1 25
∑k
k =3
2
=
− 4 48
5.53.- Probar que:

1 1
∑ (2k )
k =1
2
−1
=
2
5.54.- Demostrar la fórmula:

1 1 2n 1
∑ 2 2 2n ∑
k = n +1 k − n
=
k =1 k
, n = 1,2,…

5.55.- Comprobar la fórmula 5.54 para n = 4, n = 5.

5.56.- Calcular el valor límite de la serie:



1
∑k
k =2
2
+ 4k − 5

5.57.- Calcular el valor límite de la serie:



1
∑ 36 − 13k
k =4
2
+ k4

5.58.- Calcular el valor límite de la serie:



1
∑ 4k
k =2
4
− 5k 2 + 1

5.59.- Calcular el valor límite de la serie:



1
∑ (k + 3)(k + 7)
k =0

5.60.- Calcular el valor límite de la serie:



1
∑ (k − 2)(k + 3)
k =3

55
Descargado de http://www.contractil.com

5.61.- Comprobar que:


∑ k β (1 +
k =2
3 , k) = 1

5.62.- Probar que:



x 1
∫ (1 + x)
0
9
dx =
56

5.63.- Probar que:


2
∞ ⎛ 5 ⎞
x5 5 ⎜⎝ 2 0 ⎟
∫ dx = 7 ⎠
112
.1
7
0
(1 + x ) 5

5.64.- Probar que:



x 21π
∫ (1 + x )
0
7
dx =
1024

5.65.- Probar que:



x 2
120( 2 − 1)
∫ (1 + x)
0
7+ 2
dx =
(2 + 2)(3 + 2)(4 + 2)(5 + 2)(6 + 2)

5.66.- Comprobar que:



dx 1
∫ 1
=
4
0
(1 + x ) 3 5

5.67.- Comprobar que:



x 2
∫(
0 1+ 3 x ) 11
dx =
3

5.68.- Calcular el valor numérico de la integral impropia,



(1 + 2 x) 2
∫0 (2 + 3x)5 dx

5.69.- Comprobar que,


1

∫ (1 − )
135 1
3
x dx =
0
428536

56
Descargado de http://www.contractil.com

5.70.- Demostrar las identidades.


1 1

∫ (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

5.71.- Comprobar que:


⎛ 1 ⎞
⎜ 2⎟ π
1 ⎝ 2 ⎠
=
4
5.72.- Calcular el valor numérico de las siguientes integrales:

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

5.73.- Comprobar que



dx
∫ (1 + x )
0
3 3
1 + x3
=1

5.74.- Demostrar que para cada número real p > 0,



dx
∫ (1 + x
0
p
) 1+ x p
p
=1

5.75.- Demostrar que para cada número real p > 0,



= 1(
dx k −1 p )
∫ (1 + x
0
p k p
) 1+ x p
, k = 1, 2,...

5.76.- Calcular el valor límite de la integral impropia:



dx
∫ (1 + x
0 ) 1 + x2
2 3

5.77.- Calcular el valor numérico de las integrales impropias,

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

5.78.- Comprobar que,


⎡ ⎤

⎢ ⎥
⎢ ∞ 1 ⎥
∫0 ⎢ ∑
k =1 ⎛
2

1 + k 2 ⎥
dx = 3
⎢ 1+ x3 ⎟ 1+ x3 ⎥
⎢ ⎝ ⎜ ⎥
⎣ ⎠ ⎦

5.79.- Demostrar que para cada número real positivo α ,

⎛n⎞
k =n
( − 1) k ⎜ ⎟
⎝ k ⎠ = 1( n α )

k =0 1 + kα
, n = 1, 2 , ...

5.80.- Calcular el valor numérico de:


k ⎛
35 ⎞
k =35
( −1) ⎜ ⎟
⎝k⎠
∑k =0 k +3

5.81.- Demostrar que para cada número real positivo α ,


k ⎛n⎞
k =n
( −1) ⎜ ⎟
lim ∑ ⎝k ⎠ = 0
n →∞
k =0 α +k

5.82.- Demostrar que,


⎛ 1 ⎞
k =n ⎜k ⎟
n−k ⎠ 1
⊕1 ⎝
= , n = 1, 2, ...
k =0 2n
5.83.- Calcular el valor de la suma contractiva
⎛n⎞
n = 50
⊕ ⎜ ⎟
n=4
⎝3⎠

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.

5.87.- Calcular el valor numérico de las siguientes contracciones factoriales.


⎛7 2⎞ ⎛5 2⎞ ⎛ 7 2⎞ ⎛ 7 2⎞
⎜ ⎟ ⎜ ⎟ ⎜ ⎟ ⎜ ⎟
⎝ 2 3⎠ ⎝ 2 5⎠ ⎝2 7⎠ ⎝ 2 5⎠
1 ,1 ,1 ,1
5.88.- Calcular el valor de la siguiente integral definida, usando contracciones factoriales.
π
2


0
s e n 13td t

5.89.- Determinar un intervalo de longitud l < 1 que contenga el valor de β ( 3, 97 .)


5.90.- Calcular, mediante contracciones factoriales,
π
2

∫ cos
12
td t
0

5.91.- Determinar un intervalo de longitud l < 1 que contenga el valor de la integral


impropia:

x3
∫ dx
(1 + )
5 13
0 x

5.92.- Sea n un entero positivo impar.

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⎠

5.97.- Comprobar que,



dx 3π

0 x (1 + x )
3
=
8

5.98.- Comprobar que,



x 2 dx 16
∫ 7
=
15
0 (1 + x ) 2
5.99.- Comprobar que,

xdx 5π
∫ (1 + x )
0
5
=
128

60
Descargado de http://www.contractil.com

5.100. Comprobar que,


5
13
1
⎛ 1 2

∫ (1 − )
2
14
x dx = 4 ∫ ⎜ 1 − x 7 ⎟ dx
0 0⎝ ⎠

5.101.- Comprobar la siguiente desigualdad:


dx
0.552 < ∫ < 0.675
0
3
x (1 + x ) 4 6 1 + x

5.103.- Comprobar la siguiente relación:

π
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

5.105.- Probar que:


x6 5π
∫ dx =
(1 + )
4
0 x2 32

5.106.- Probar la desigualdad,


8 x6
< ∫ dx < 2
(1 + x )
2
5 −∞
4

Comentario sobre el Problema 5.106.-

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

Pero este resultado no concuerda con la desigualdad 5.106. Puesto que


3π 2 ⎛ 8 ⎞
∉⎜ ,2⎟
16 ⎝5 ⎠

Ahora bien, usando un método de interpolación (no tratado en la Lección N° 2)


hemos obtenido el valor aproximado,


x6
∫ d x ≈ 1 .7
5.106.2
(1 + x ) 4 2
−∞

Además, aplicamos otros métodos para calcular la integral.


5.106.3 Las funciones contráctiles (tema de las próximas lecciones) arrojaron el valor
aproximado 1.7, concordando con 5.106.2. y 5.106.
5.106.4 El programa MATHEMATICA® versión 5.1 (de Wolfram Research)

permitió obtener el valor , concordando con 5.106 puesto que,
4 2
8 3π
< <2.
5 4 2
Esto nos hace suponer que siguiendo el método de los residuos en variable compleja,
debería obtenerse,

x6 3π 2
∫ dx =
(1 + )
2
−∞ x4 8

Dejamos esta tarea al lector.

Es necesario advertir que el libro Análisis Matemático de Tom Apóstol es un excelente


texto de estudio que recomendamos con gran entusiasmo a nuestros lectores.

62
Descargado de http://www.contractil.com

5.107.- Probar que para cada número real p >1.



dx
∫ 1+ x
0
p
>1

5.108.- Probar que para cada número real p > 1.



p2 dx p
<∫ <
p −1 0 1+ x
2 p
p −1

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 ⎞


⎝ 2 3 ⎠
1 24
⎛ 1

2 ⎞


⎝ 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 ⎞


⎝ 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

5.119.- Probar que, si 0 < p < 1, entonces


∞ dx p
∫0
x (1 + x
p p
) p
1+ x p
=
1− p
5.120.- Probar que, si p ≥ 1, la integral impropia
∞ dx

0
x p (1 + x p ) 1 + x p
p

diverge.

5.121.- Probar que,


∞ ∞ dx 3π
∑∫ k
=
4
k =3
0
⎛ 2

⎜ 1 + x 3

⎝ ⎠

5.122.- Probar que,


3 ∞ ∞ dx 7
< ∑∫ k
<
4 k =4 ⎛
0 3
⎞ 4
⎜1 + x ⎟
7

⎝ ⎠
5.123.- Probar que,
∞ ∞ dx 2
∑∫ =
(1 + x )
k
k =7
0 4 15

5.124.- Si p ≥ 1 y n ≥ 2, probar que la serie


∞ ∞ dx
∑∫
k =n
0
(1 + x ) p k

diverge.

5.125.- Si p ≥ 1 y n ≥ 2, probar que


∞ dx
∫0
x (1 + x p )
p n

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

5.128.- Si α >1, probar que


∞ ∞ x α−1 1
∑∫ dx =
(1 + x )
α+ k
k =1
0 α −1
5.129.- Si p > 1, probar que
∞ ∞ xk 1
∑∫ dx =
p ( p − 1)
(1 + x )
0 k + p +1
k =1

5.130.- Probar que


∞ ∞ dx
∑∫ =2
( )
0 k
k =3 1+ x
5.131.- Si α >0, probar que

1 1
∑ k β ( α,1 + k ) = α
k =1
2

5.132.- Si α >0, probar que



1 1 + 2α
∑ k β ( α, 2 + k ) = α
(1 + α )
2 2
k =1

5.133.- Si α >0, probar que



1 1
∑ k β ( α,1 + k ) = α β ( α, n )
k =n
5.134.- Si α >0, probar que

∑ 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

5.139.- Determinar el valor numérico de la serie doble,


∞ ∞

∑∑ β ( n, k )
n =3 k =3

5.140.- Probar que,


∞ ∞
1
∑∑ β ( 2 + n, k ) = 4
n =3 k = 2
5.141.- Probar que la serie
∞ ∞

∑∑ kβ ( 2 + n, k )
n =1 k =1
es divergente.

5.142.- Probar que la serie


∞ ∞
⎛5 ⎞
∑∑ kβ ⎜⎝ 2 , k ⎟⎠
n =1 k = n
es divergente.

5.143.- Probar que,


∞ ∞
⎛7 ⎞ 16
∑∑ kβ ⎜⎝ 2 , k ⎟⎠ =
n =3 k = n 7

5.144.- Probar que para cada número real α >0,


∞ ∞
2+α
∑∑ kβ ( 3 + α, k ) = α (1 + α )
n =1 k = n

5.145.- Estudiar el comportamiento de las series

⎛ 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

5.147.- Comprobar que


⎛ 3⎞
⎜k ⎟
k = 71 ⎝ 13 ⎠
1 468

k =0
⎛ 3⎞
⎜k ⎟
=
113
⎝ 7⎠
1

5.148.- Calcular el valor límite de la serie


⎛2 2⎞
⎜ ,k ⎟
∞ ⎝5 3⎠
1
∑ 2 + 5k
k =3

5.149.- Calcular el valor límite de la serie doble


∞ ∞ ⎛ 2 3⎞
⎜ ,k ⎟
∑∑1
n =3 k = n
⎝3 7⎠

5.150.- Calcular el valor límite de la serie doble


⎛ 1⎞
⎜k ⎟
∞ ∞ ⎝ 3⎠
1
∑∑ 1(
n =1 k = n
k 2)

5.151.- Probar que,


7+ 5
∑β(k + ) ( )

5, 7 = β 1 + 5, 7
k =1 7 −1

5.152.- Probar que,

∑∫ ( )
∞ 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 ⎠

5.163.- Comprobar que,


π

cos 2k +1 t
∑∫
k =1
0
2
k
dt = 2

5.164.- Comprobar que,


π

cos 2k t π
∑∫
k =2
0
2
2k − 1
dt =
4
5.165.- Usar contracciones factoriales para probar que,
π
1024
∫0
2
sen13 x cos 2 x dx =
45045

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 .- Usar la F.R.F. β . para calcular,

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 ⎠

5.173.- Calcular el valor límite de la serie,


∞ i=k
⎛5 ⎞
∑ ⊕ β ⎜⎝ 3 ,1 + i ⎟⎠
k =1
i =0

5.174.- Probar que,


1( )
∞ k5
625

k = 4 k ( k − 1)( k − 2 )( k − 3 )
=
16896
5.175.- Probar que,

1 1
∑ k ( k − 1)( k − 2 )( k + 1)( k + 2 )( k + 3)( k + 4 ) = 4320
k =3

5.176.- Calcular el valor límite de la serie,



β ( α, k + 1)
∑ k ( k − 1)
k =2
,α > 0

5.177.- Demostrar la Segunda Identidad Factorial, a partir de la Primera Identidad Factorial


y el Teorema del Ensamble.

5.178.- Probar que,



β ( α, k + 1) Γ (α)
∑ k ( k − 1)( k − 2 ) ...( k − n ) = α + n Γ α + n ,α > 0
( ) ( )
2
k = n +1

Sugerencia: Comparar el resultado obtenido en el problema 5.176 con la fórmula


proporcionada en el problema 5.178.

5.179.- Probar que,


Γ (α)
⎛ 1⎞
⎜k ⎟
1⎝ α⎠
= ( k − 1) !( α ⊕ k )
, α > 0, k = 1, 2,...
Γ (α + k)
5.180.- Demostrar la “Forma Beta” de la cuarta identidad factorial. (F. β -C.I.F.). Para cada
número entero no negativo k y cada par de números reales positivos x, y,
( k + y x ) = x ⊕ y β x, y 1( y,k x )
−1 −1

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.183.- Comprobar que,


∞( 2 + 3x ) 3 2
10240 + 3397π 15
∫ 5 + 3x dx =
0
( ) 2 7 1440000000
5.184.- Evaluar numéricamente las siguientes integrales:

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

Sugerencia: En la solución de los problemas 5.184.1 y 5.184.2 es oportuno combinar


métodos convencionales con los métodos del cálculo contractivo.

5.185.- Comprobar que,


3
∞ ∞ ∞ x2 π
∑∑ ∫ dx =
(1 + x )
k +3
n =1 k = n
0 2

5.186.- Demostrar la siguiente identidad,

1( ) = (1 + α (1 ⊕ p ) )1(
αp α 1⊕ p )
, α, p > 0

5.187.- Si α , p > 1 y M = máx {1 ⊕ α , 1 ⊕ p}, probar que

⎛ 1 1⎞
(α + p) M < β ⎜ , ⎟<α+p
⎝α p⎠

5.188.- Comprobar las siguientes desigualdades:

⎛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

Presentaremos a nuestros lectores una demostración de ésta fórmula; que difiere de


la demostración original. Tenemos las siguientes motivaciones para hacerlo:

-- En la I.S. β . yace en forma implícita una cantidad significativa de teoría sobre la


función beta.
-- Es necesario percatarse de que la función beta es un operador de cálculo
numérico, en el ámbito del Cálculo Contractivo. A esta propiedad nos hemos referido sólo
tangencialmente en ocasiones anteriores.
-- La demostración original de la I.S. β . contiene elementos de Álgebra Circular
(Álgebra Contractiva) que están fuera del alcance de esta lección.

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

Hasta aquí, la demostración es idéntica a la original. Ahora bien, obsérvese que no


es posible aplicar la tercera identidad factorial en su forma 4.3 – lo que daría acceso al
resultado – porque α − 1 puede ser negativo o nulo, con arreglo a la hipótesis de la I.S. β .

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.

En esta ocasión, recurriremos a la fórmula proporcionada en el Prob. 5.20 y así, nos


mantendremos dentro de las limitaciones de esta lección.

7.- Aplicando 5.20 queda,


⎛ 1⎞

1 ⎛ α ⎞ ⎜⎜⎝ α ,n −1 p ⎟⎟⎠
λ = pβ ( α , p ) ∑ ⎜ 1 ⊕ ⎟1
n =1 α + n − 1 ⎝ p⎠
⎛1 ∞ 1
⎛ 1⎞ ⎞
⎜⎜ α ,n −1 p ⎟⎟
λ = ( α ⊕ p ) β ( α, p ) ⎜ + ∑ 1 ⎝ ⎠⎟
⎜ α n =2 α + n − 1 ⎟
⎝ ⎠

8.- Ahora puede aplicarse T.I.F. en su forma 4.3, obteniendo,

⎛1 ∞ ⎛1 1 ⎞
⎛ 1⎞ ⎞
⎜⎜ α ,n − 2 1⊕ p ⎟⎟
λ = ( α ⊕ p ) β ( α, p ) ⎜ + ∑ ⎜ ⊕ 1 ⊕ ⎟1 ⎝ ⎠⎟
⎜ α n =2 ⎝ α p⎠ ⎟
⎝ ⎠

9.- Cambiando índices n = i + 2, se tiene,


⎛1 ∞ 1 ⎜⎜ α ,i 1⊕ ⎟⎟ ⎞
⎛ 1⎞

λ = ( α ⊕ 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.

5.190.2.- Aplicar la I.S. β . para determinar el valor límite de la serie


∞ ∞

∑∑ β ( α + 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

función M = M( α, p ), tal que λ = M ( α, p ) β ( α, p )

5.191.- Demostrar la forma generalizada de la fórmula de Urra-Saavedra


∑ β (1 + α, p + k ) =β ( α, p + n )
k =n
, α, p > 0, n = 1, 2,...

5.192.- Probar que la fórmula 5.191 es aplicable también si n = 0. En tal caso,


∑ β (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.

5.194.- Aplicar la fórmula de Urra-Saavedra para demostrar la Identidad Serial de la


función Beta.

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.

Sugerimos a los interesados en profundizar sus conocimientos, buscar bibliografía


que haga referencia a estos problemas, como también revisar software matemáticos
actualizados con la intención de hacer estudios metodológicos comparativos.

Nuestro grupo de investigación espera que la segunda lección logre producir en


nuestros lectores el estímulo necesario para continuar el estudio del cálculo contractivo.

SOLICITUD A LOS LECTORES

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

Esta solicitud va dirigida especialmente a aquellos que hayan estudiado a


profundidad la Lección N° 2. Particularmente a las personas interesadas en ampliar sus
conocimientos sobre el tema; y que deseen recibir material complementario sobre las
contracciones factoriales, la función beta y el teorema…

BIBLIOGRAFÍA RECOMENDADA

1.- HIGHER TRANSCENDENTAL FUNCTIONS. (BATEMAN MANUSCRIPT


PROJECT. CALIFORNIA 1NSTITUTE OF TECHNOLOGY). PUBLISHED BY
ROBERT E. KRIEGER PUBLISHING COMPANY INC. MALABAR, FLORIDA. 1981.

2.- A COURSE OF PURE MATHEMATICS. G. H. HARDY. CAMBRIDGE AT THE


UNIVERSITY PRESS. 1955.

3.- ANÁLISIS MATEMÁTICO, TOM APOSTOL. EDITORIAL REVERTÉ S.A.,


BARCELONA, 1960.

SOFTWARE RECOMENDADO

1.- Mathematica® 5.1 de Wolfram Research.

2.- Maple® 9 de Waterloo Maple Inc 2005.

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.

La advertencia es también aplicable al software que se ha recomendado.

78