Tercera Separata de La Lección 3

Descargado de http://www.contractil.
com
Palabras a los lectores
La Lección Nº 3 correspondiente al curso sobre Funciones Contráctiles estaba

completa y en proceso de revisión en el mes de Diciembre- 2006. Es necesario advertir que
el proceso de revisión no ha concluido todavía.
La publicación de una “Tercera Separata” tiene como objetivo responder a las dos
preguntas más frecuentes formuladas por los lectores: ¿Qué es Cálculo Contractivo? y ¿Qué
es Función Contráctil?
Hay una respuesta general y aparentemente simple para la primera pregunta:
- Por Cálculo Contractivo se entiende el “Estudio de las propiedades analíticas y las
aplicaciones de una familia de funciones denominadas Funciones Contráctiles”.
Para dar respuesta a la segunda pregunta, aquella que interroga sobre la Función
Contráctil, es absolutamente necesario entrar en materia.
El estudio en detalle y a profundidad de la Función Contráctil es tema a desarrollar
en lecciones posteriores. Sin embargo, el contenido matemático de esta separata es
suficiente para que el lector comprenda su definición, algunas de sus propiedades y el
contexto en el cual se aplican tales funciones.
Las personas motivadas para el estudio de la Matemática o interesadas en conocer
métodos no convencionales en Cálculo Numérico, encontrarán aquí un material que pudiera
satisfacer sus inquietudes.
Ahora bien, aunque el contenido de esta separata está referido al estudio de dos
constantes matemáticas importantes, a saber, el número pi y la constante logarítmica: Ln 2,
los lectores comprenderán, que en realidad se trata de la continuación del estudio y de las
aplicaciones de las funciones Beta y Tau-beta, que comenzó en las dos primeras separatas
de esta misma lección.
URRA-SAAVEDRA
1
Descargado de http://www.contractil.com
PREÁMBULOS
1.- Serie de Contracciones. (Caso uniparamétrico)
∑ (1 ⊕ x ) p k +1
.1( )
k p
p (x) = , p, x ≥ 0
k =0
Es necesario que p y x no se anulen simultáneamente.
2.- Funciones Contráctiles. (Caso uniparamétrico)
2.1 p (x) = x1− p p (x) , x>0 , p≥0
2.2 p (0) =0
2.3 -p (x) = x − p (x) , p≥0
d
3.- p (x) = x −1 ((p − 1) p (x) + (1 ⊕ x
p
)) , x>0
dx
d
4.- p (x) = 1⊕ x −p , p∈ , x>0
dx
5.- Proposición.-
p (x) = x − (1 ⊕ p ) −1
1⊕ p (x 1+ p ) , p>0
Demostración.- Para cada número real x > 0 ,
d
5.1. (x − (1 ⊕ p −1 ) 1⊕ p (x1+ p )) = 1 − (1 ⊕ p −1 )(1 ⊕ x − p )(1 + p)x p , (4)
dx
= 1 − (1 ⊕ x − p ) x p
= (1 ⊕ x − p )(1 + x p − x p )
= 1⊕ x −p
d
= p(x)
dx
5.2. Por otra parte, p

es continua en x = 0 y además,
5.3 0 − (1 ⊕ p −1 ) 1⊕ p ( 0) = 0 = p (0 )
├
Observación.- La Prop. 5 concuerda con 2.1 y 2.3 cuando p = 0 , x > 0
2
En efecto,
5.4 De la Prop.5 se tiene,
lim
p →0 p (x ) = lim (x − (1 ⊕ p − 1 )
p→0
1⊕ p (x1+ p ))
De donde,
5.5 0 (x) = x − 0 (x) , x>0
Concordando con 2.3 y obteniéndose en ambos casos,
x
5.6 0 (x) = , x>0
2
Considerando ahora 2.1 se tiene,
5.7 0 (x) = x 0 (x) , x>0
∞
= x ∑ (1 ⊕ 1) .1( ) (1)
k +1 k 0
,
k =0
Pero,
⎧ 1 si k = 0
1( ) = ⎨
k 0
5.8
⎩ 0 si k = 1, 2,...
Introduciendo 5.8 en 5.7 queda,
5.9 0 ( x ) = x(1 ⊕ 1)
x
= , x>0
2
Es claro que en todos los casos se obtiene también,
5.10 0 (0) = 0
concordando con 2.2.
3
6.- Ejemplos de funciones contráctiles uniparamétricas que pueden
representarse mediante funciones elementales.
6.1 1 ( x ) = Ln(1 + x)
6.2 2 ( x ) = Arctg x
6.3 1 ( 2x ) = 2Arcth(1 ⊕ x)
6.4 1 ( x ) = 2 x − 2Ln(1 + x)
2
3 3 2
6.5 1 (x) = ( x − 2 3 x + 2Ln(1 + 3 x )
3 2
4
6.6 1 ( x ) = 4 x 3 − 2 x + 4 4 x − 4Ln(1 + 4 x )
4 3
6.7 2 ( x ) = 3 3 x − 3Arctg 3 x
3
5 5 3
6.8 2 (x) = ( x − 3 5 x + 3Arctg 5 x )
5 3
6.9 1 ( xy − 1) = Ln x + Ln y , x,y ≥1
1 ⎛ 3x ⎞ 3 ⎛ 2x − 1 ⎞ π 3
6.10 3 (x) = 1 ⎜ 2 ⎟
+ Arctg ⎜ ⎟+
6 ⎝ 1− x + x ⎠ 3 ⎝ 3 ⎠ 18
7.- Aplicaciones de la función contráctil p

al cálculo integral.
Ejemplos.
α
dx
7.1 ∫ 1+ x p
= p (α) , α≥0
0
α
x r dx 1
7.2 ∫0 1 + x p = 1 + r p (α ) 1+ r
, α ≥ 0, r > −1
1+ r
∞
dx 1
7.3 ∫ x(1 + x p
)
=
p
1 (α )
−p
, α > 0, p > 0
α
∞
dx 1
7.4 ∫ x (1 + x
r p
)
=
r −1
p (α ) 1− r
, α > 0, p > 0, r > 1
α 1− r
∞
dx 1
7.5 ∫ 1+ x p
=
p −1
p (α )
1− p
, α > 0, p > 1
α p −1
∞
x r dx 1
7.6 ∫α 1 + x p = p − (1 + r) p (α
1+ r − p
) , α > 0, p > 1 + r
p − (1+ r)
4
8.- Ejemplos de Integración Numérica,
∞
8.1 ∫ 1+ x
dx
2
= 2 (( 3) −1 ) , ( 7.5)
3
1
= Arctg
3
π
=
6
3
8.2 ∫ 1+ x
0
dx
2
= 2 ( 3) , ( 7.1)
= Arctg 3
π
=
3
Es claro que de 8.1 y 8.2 se tiene,

∞
dx π
8.3 ∫ 1+ x
0
2
=
2
∞
dx
8.4 ∫x = −2 (1) , ( 7.4 )
1
2
(1 + x 2 )
= 1− 2 (1)
= 1 − Arctg1
π
= 1−
4
∞
dx 1
8.5 ∫ x(1 + x ) = 5 5 1 (2 ) −5
, ( 7.3)
2
1 33
= Ln
5 32
∞
8.6 ∫ x (1 + x
4
3
dx
4
)
=
1
2
−2 (( 4
3) −2 ) , ( 7.4 )
3
1 ⎛ 1 ⎞
= ⎜ ⎟ −2
2 ⎝ 3⎠
1 1 ⎛ 1 ⎞
= ( − 2 ⎜ ⎟)
2 3 ⎝ 3⎠
5
1 1 1
= ( − Arctg )
2 3 3
1 1 π
= ( − )
2 3 6
1 ∞ ∞
dx dx dx
8.7 ∫1 x 5 (1 + x 2 ) = ∫1 x 5 (1 + x 2 ) − ∫1 x 5 (1 + x 2 )
2 2
1 ⎛ 1 −4 ⎞ 1
= 1 ⎜( ) ⎟ − 1 (1) , ( 7.4 )
4 −
2 ⎝ 2 ⎠ 4 −
2
1 1
= (16 − 1 (16 )) − (1 − 1 (1))
4 2 4 2
1 1
= (16 − (2 16 − 2Ln(1 + 16)) − (1 − (2 1 − 2Ln(1 + 1)) , ( 6.4 )
4 4
9 − 2Ln 2 + 2Ln 5
=
4
9.- Integración de la función contráctil p

,
α
1
9.1 ∫ p ( x ) dx = α p (α) −
2
p (α ) ,2
α ≥ 0, p ≥ 0
0 2
α
9.2 ∫ p ( x ) dx = α
r
p ( α ) − 1 +r r
r
pr ( α ) , α ≥ 0, p, r > 0
1+ r
0 1+ r
Nota.- En 9.1 y 9.2 se practicó integración por partes,
Ejemplos.
1 1
9.3 ∫ Arctg x dx = ∫
0
3
0
2 ( x ) dx
3
1
= 2 1 (1)
(1) − , ( 9.2 )
4 2
1
= Arctg1 − ( 2 − 2 Ln2 ) , ( 6.4 )
4
π + 2 Ln2 − 2
=
4
3
2
9.4 ∫ 1 ( x ) dx = 3
2
1 (9) −
3
1 ( 27 ) , ( 9.2 )
0 2 2 3
6
2 3
= 3(2 9 − 2Ln(1 + 9)) − . ( 3 729 − 2 3 27 + 2Ln(1 + 3 27)) , ( 6.4, 6.5 )
3 2
= 15 − 16 Ln2
Hay otra manera de calcular la integral 9.4. En efecto,
1
9.4.1 1 (x) = x −
2
1 (x ) 2
, ( Pr op.5)
2
Luego,
3 3
∫ 1 ( x ) dx = ∫ 2(x − ( x ))dx ( 9.4.1)

2
9.4.2 1 ,
0 2 0
3
= 9 − 2∫ 1 ( x ))dx
0
1
= 9 − 2(3 1 ( 3) −
2
1 ( 3 ))
2
, ( 9.1)
2
= 9 − 6 Ln4 + 2 ( 3 − Ln4) , ( 6.4 )

= 15 − 16 Ln2
10.- Relación entre la función contráctil p

y la función beta:
10.1 Definición.- Para cada número real p > 1 , la función
1
p (x ) =
p −1
p (x )
1− p
, x>0
p −1
será referida como Complemento Contráctil de p

.
Mostraremos algunas propiedades de p

y p
.
d 1
10.2 ( p (x ) + p (x )) = (1 ⊕ x − p ) + (1 ⊕ x p )(1 − p)x − p
dx p −1
= (1 ⊕ x ) − (1 ⊕ x − p )
−p
=0 , x>0
Luego, existe una constante A(p) tal que, para cada número real x > 0 ,
10.3 p (x ) + p (x ) = A (p)
7
Ahora bien,
1
10.4 lim
x →∞ p (x ) = lim
p − 1 x→∞
p (x ) 1− p
, p >1
p −1
=0
De donde, aplicando límite en 10.3 se tiene,
10.5 lim p (x ) = A (p) , p >1

x →∞
De 10.5 se deduce que para p > 1 , la función p

es acotada y tiene como
asíntota horizontal la recta y = A (p) . (Asíntota Contráctil de p
)
Por otra parte, de 10.3 se obtiene también
10.6 lim p (x ) = A (p)

x →0
Permitiendo la extensión continua de p

a x = 0 , definiendo
10.7 p (0) = A (p)
Consideremos nuevamente la fórmula 7.1

α
dx
10.8 ∫ 1+ x
0
p
= p (α ) , α≥0
Sea ahora p > 1
∞ t
dx dx
10.9 ∫0 1 + x p = lim ∫
t →∞ 1 + x p
0
= lim
t →∞
p (t)
= A ( p) , (10.5)
Pero,
∞
dx 1 ⎛1 1⎞
10.10 ∫ 1+ x
0
p
= β ⎜ ,1 − ⎟
p ⎝p p⎠
, p >1
8
π π
= csc
p p
De 10.9 y 10.10 se tiene,
⎛ ⎞
10.11 A (p) = 1 β ⎜ 1 ,1 − 1 ⎟ , p >1
p ⎝p p⎠
O bien,
10.12 A (p) = π csc π , p >1

p p
De otro modo,
1 ⎛1 1⎞
10.13 p (0 ) = β ⎜ ,1 − ⎟ , p >1
p ⎝p p⎠
π π
= csc
p p
Relaciones más fuertes entre p

y la función beta aparecen en el proceso de
integración bajo la serie de contracciones. Esta es materia a tratar en lecciones
posteriores. Sin embargo, presentaremos aquí algunos ejemplos en los cuales se
observa el poder de resolución de las funciones contráctiles, la función beta, las
funciones tau-beta y las contracciones factoriales.
11.- Integración bajo la Serie de Contracciones.
Las siguientes fórmulas son útiles en el proceso de integración.-
11.1 Ley de Inversión para funciones Tau-beta.
τ z ( x, y ) .τ x ( z , y ) = 1
11.2 Primera Identidad Tau-beta
τ z ( z + x, y ) = τ z ( z + y , x )
11.3 Segunda Identidad Tau-beta
τ z + x ( z, y ) = τ z + y ( z, x )
9
11.4 Definición.- Para cada par de números reales x, z tales que x ≥ 0 ,

z > 0.
τ z ( z + x, 0 ) = 1
11.5 Teorema de Factorización para funciones Tau-beta.
τ a ( x, y + z ) = τ a ( x, y ) .τ a + y ( x + y, z )
El teorema de factorización es aplicable también a la función beta, en la forma,
11.5.1 β ( x, y + z ) = β ( x, y ) τ y ( x + y , z )
La fórmula 11.5.1 es compatible con la siguiente definición:
11.5.2 Definición:
τ 0 ( x, y ) = β ( x, y ) , x, y > 0
La definición 11.5.2 incluye la función beta en la familia de las funciones tau-beta.

Obsérvese que la Ley de Inversión (11.1) no es aplicable a la función τ 0 ( x, y ) .
11.6 Teorema de Simplificación para funciones Tau-beta.
τ a ( x, z ) .τ x ( y, z ) = τ a ( y, z )
⎛ 1⎞
1(
p)
= τ 1 ⎜1 + k , ⎟ p>0
k
11.7 ,
⎝ p⎠
∞
b −1
11.8 ∑ τ ( b, k ) = b − a − 1
k =0
a , a>0
∞
a
11.9 ∑ τ ( b, k ) = b − a − 1
k =1
a , a>0
∞
b −1
11.10 ∑τ ( b, k ) = b − a − 1τ ( b − 1, n )
k =n
a a , a > 0, n = 0,1,...
∞
xr 1 ⎛ r +1 r +1⎞ r +1
11.11 ∫ dx = β ⎜ ,q − ⎟ , p > 0, q > >0
0 (1 + x ) p q p ⎝ p p ⎠ p
10
∞
erx 1 ⎛r r⎞ r
11.12 ∫ dx = β ⎜ , q − ⎟ , p > 0, q > >0
−∞ (1 + e )
px q p ⎝p p⎠ p
12.- Ejemplos. (Integración bajo la Serie de Contracciones)

∞ ∞
∫ Ln (1 + x ) dx = ∫ ( x ) dx ( 6.1)
−3 −3
12.1 1
,
0 0
∞
=∫ 1 ( x ) dx
−3
, ( 2.1)
0
∞
⎛ ∞ k 1 ⎞
= ∫ ⎜ ∑ (1 ⊕ x −3 ) .1( ) ⎟ dx
k +1
, (1)
0 ⎝ k =0 ⎠
∞ ⎛∞ ⎞
dx ⎟1( k 1)
= ∑⎜ ∫
k = 0 ⎜ 0 (1 + x ) ⎟
3 k +1
⎝ ⎠
∞
1 ⎛1 1⎞ k 1
= ∑ β ⎜ , k + 1 − ⎟ 1( ) , (11.11)
k =0 3 ⎝ 3 3⎠
∞
1 ⎛1 2⎞
= ∑ β ⎜ , k + ⎟ τ1 (1 + k,1) , (11.7 )
k =0 3 ⎝ 3 3⎠
⎛1 2⎞
∞
β⎜ , ⎟
=∑ ⎝
3 3⎠
τ 2 (1, k ) τ1 ( 2, k ) , (11.5.1)
k =0 3 3
⎛1 2⎞
∞
β⎜ , ⎟
3 3⎠
=∑ ⎝ τ 2 ( 2, k ) , (11.6 )
k =0 3 3
⎛1 2⎞
β⎜ , ⎟
1
= ⎝
3 3⎠
.
2
, (11.8)
3 2 − −1
3
⎛1 2⎞
= β⎜ , ⎟
⎝3 3⎠
π
= π csc
3
2π 3
=
3
11
∞ ∞
12.2 ∫ Arctg x
−4
dx = ∫ 2 ( x ) dx
−4
0 0
∞
= ∫ x4 2 ( x ) dx
−4
0
∞
⎛ ∞ k 2 ⎞
= ∫ ⎜ x 4 ∑ (1 ⊕ x −8 ) .1( ) ⎟ dx
k +1
0⎝ k =0 ⎠
∞ ⎛∞ ⎞
x4 ⎟ .1( k 2)
= ∑⎜ ∫ dx
k = 0 0 (1 + x )
⎜ ⎟
8 k +1
⎝ ⎠
∞
1 ⎛5 5⎞ k 2
= ∑ β ⎜ , k + 1 − ⎟ .1( )
k =0 8 ⎝ 8 8⎠
∞
1 ⎛5 3⎞ ⎛ 1⎞
= ∑ β ⎜ , k + ⎟ .τ1 ⎜1 + k, ⎟
k =0 8 ⎝8 8⎠ ⎝ 2⎠
⎛5 3⎞
∞
β⎜ , ⎟
8 8⎠ ⎛3 ⎞
=∑ ⎝ τ 3 (1, k ) τ1 ⎜ , k ⎟
k =0 8 8 ⎝2 ⎠
⎛5 3⎞
∞
β⎜ , ⎟
8 8⎠ ⎛ 3 ⎞
=∑ ⎝ τ3 ⎜ , k ⎟
k =0 8 8 ⎝2 ⎠
⎛5 3⎞ 1
β⎜ , ⎟
= ⎝ ⎠.
8 8 2
8 3 3
− −1
2 8
⎛5 3⎞
β⎜ , ⎟
= ⎝
8 8⎠
2
π 3π
= csc
2 8
π 4−2 2
=
2
12.3.- Sea p ≥ 1, α > 1
∞ ∞
∫ p (x
−α
) dx = ∫ x α p − α p ( x ) dx
−α
0 0
∞ ∞
= ∫ (x α p −α ∑ (1 ⊕ x −α p ) .1( ) ) dx
k +1 k p
0 k =0
12
∞ ⎛∞ ⎞
x α p −α ⎟.1( k p )
= ∑⎜ ∫ dx
k = 0 ⎜ 0 (1 + x ) ⎟⎠
α p k +1
⎝
∞
1 α −1 α −1 ⎛ 1⎞
=∑ β (1 − ,k + ) τ1 ⎜1 + k, ⎟
k = 0 αp αp αp ⎝ p⎠
∞
1 α −1 α −1 ⎛ 1 ⎞
=∑ β(1 − , ) τ α−1 (1, k ) τ1 ⎜1 + , k ⎟
k = 0 αp αp αp αp ⎝ p ⎠
∞
1 α −1 α −1 ⎛ 1 ⎞
=∑ β(1 − , ) τ α−1 ⎜1 + , k ⎟
k = 0 αp αp αp αp ⎝ p ⎠
1
1 α −1 α −1 p
= β(1 − , ).
αp αp αp 1 + − α − 1 − 1
1
p αp
1 α −1 α −1
= β(1 − , )
p α p αp
π
= csc
( α − 1) π
p αp
Es claro que la fórmula general,
( x ) dx = πp csc (
α − 1) π
∞
12.3.1 ∫
0
p
−α
αp
, p ≥ 1, α > 1
incluye los casos 12.1 y 12.2.
Comentario.- En los ejemplos 12.1, 12.2 y 12.3 sólo se muestra la

técnica de integración bajo la serie de contracciones. Sin embargo, para aplicar
dicha técnica es necesario conocer en cada caso, las condiciones de convergencia de
la integral impropia cuyo valor límite se intenta calcular.
Además, se deben satisfacer las condiciones para el intercambio entre
el signo integral y el signo de sumatoria en la serie de contracciones.-
En los ejemplos citados anteriormente tales condiciones aparecen
señaladas en 12.3 ( p ≥ 1, α > 1 ).
Obsérvese en detalle el siguiente ejemplo:
∞ ∞
1
12.4 ∫ p ( x ) dx = ∫
p −1
p ( x ) dx
1− p
, p > 1 , (10.1)
0 0 p −1
∞
x
= ∫ p −1 p ( x ) dx
1− p
, p >1
0 p −1
13
∞ ∞ ⎛ p ⎞
x
∑ (1 ⊕ x )
k +1 ⎜k ⎟
= ∫( −p
.1⎝ p −1 ⎠
)dx
0
p −1 k =0
∞ ∞ ⎛ p ⎞
1 x ⎜k ⎟
= ∫( ∑ .1⎝ p −1 ⎠
)dx
(1 + x )
k +1
0
p −1 k =0
p
Ahora bien, la integral impropia

∞
x
12.4.1 ∫ dx
0 (1 + x )p k +1
converge para cada número entero k = 0,1,... , solamente si p > 2.

En tal caso, 12.4 queda,
∞ ⎛∞ ⎞ ⎜⎛ k p ⎟⎞
1 ∞ ⎜ x
12.4.2 ∫
0
p (x ) dx = ∑
p − 1 k = 0 ⎜ ∫0 (1 + x p )k +1
dx ⎟ .1⎝ p −1 ⎠ , p > 2
⎟
⎝ ⎠
1 ∞
1 ⎛2 2⎞ ⎛ p −1⎞
= ∑
p − 1 k =0 p ⎝ p
β ⎜ , k + 1 − ⎟ τ1 ⎜ 1 + k,
p⎠ ⎝
⎟
p ⎠
⎛2 2⎞
β ⎜ ,1 − ⎟ ∞
p p⎠ ⎛ p −1 ⎞
= ⎝ ∑ τ 2 (1, k ) .τ1 ⎜ 1 + ,k⎟
p ( p − 1) k = 0 p
1 −
⎝ p ⎠
⎛2 2⎞
β ⎜ ,1 − ⎟ ∞
p p⎠ ⎛ p −1 ⎞
= ⎝ ∑τ 2 ⎜1 + ,k⎟
p ( p − 1 ) k = 0 1− p ⎝ p ⎠
⎛2 2⎞ p −1
β ⎜ ,1 − ⎟
p p⎠ p
= ⎝ .
p ( p − 1) p −1 ⎛ 2⎞
1+ − ⎜1 − ⎟ − 1
p ⎝ p⎠
1 ⎛2 2⎞
= β ⎜ ,1 − ⎟
p ⎝p p⎠
π 2π
= csc , p>2
p p
Consideremos un ejemplo de integración numérica.

∞
π π π
12.5 ∫
0
4 ( x ) dx =
4
csc =
2 4
, (12.4.2)
La integral impropia en 12.5 puede calcularse también mediante 12.3.

En efecto,
14
∞ ∞
1
12.5.1 ∫ 4 ( x ) dx = ∫3 4 ( x ) dx
−3
, (10.1)
0 0 3
1 π 2π , (12.3)
= . .csc
3 4 3.
4
3 3
π
=
4
concordando con 12.5.

Consideremos nuevamente la función p
, p > 1.
Tenemos que,
d d 1
12.6
dx
p (x ) = (
dx p − 1
p ( x ))
1− p
, p >1
p −1
1
= (1 ⊕ x p ) (1 − p ) x − p
p −1
= − (1 ⊕ x − p )
1
=−
1+ xp
Luego, si p > 1 entonces,

∞ t
dx dx
12.6.1 ∫α 1 + x p = lim ∫
t →∞ 1 + x p
α
, α≥0
t
= lim (− p (x ) )
t →∞ α
= lim (−
t →∞
p (t ) + p ( α ))
Pero lim
t →∞
p (t ) = 0 , p >1 , (10.4)
Por lo tanto,
∞
dx
12.6.2 ∫ 1+ x
α
p
= p (α ) , p > 1, α ≥ 0
A modo de ejercicio didáctico, resolveremos el siguiente problema:
15
12.7 Problema.- Calcular el valor numérico de la integral doble,
∞∞
x2
∫0 ∫x 1 + y6 dy dx
Solución.-
12.7.1.-
∞∞ ∞
x2
∫0 ∫x 1 + y6 dy dx = ∫0 x ( x ) dx
2
6
, (12.6.2)
∞
x2
=∫
5 6 ( x ) dx
−5
, (10.1)
0 5
∞
1 3
=
5 ∫0
x 6 ( x ) dx
−5
5
∞ ∞ ⎛ 6⎞
1
∑ (1 ⊕ x ) −6 k +1 ⎜k ⎟
= ∫ (x 3 .1 ⎝ 5⎠
) dx
50 k =0
∞ ⎛ 6⎞
1 ∞ x3 ⎜k ⎟
= ∑ ( ∫
5 k =0 0 (1 + x 6 ) k +1
dx).1⎝ 5⎠
1 ∞ 1 ⎛2 2⎞ ⎛ 5⎞
= ∑ β ⎜ , k + 1 − ⎟ .τ1 ⎜1 + k, ⎟ , (11.11, 11.7)
5 k =0 6 ⎝ 3 3⎠ ⎝ 6⎠
⎛ 2 1⎞
β⎜ , ⎟ ∞
⎛ 11 ⎞
= ⎝
3 3⎠
∑
30 k =0 3
τ 1 (1, k ) .τ1 ⎜ , k ⎟
⎝6 ⎠
, (11.5, 11.2)
⎛ 2 1⎞
β⎜ , ⎟ ∞
3 3⎠ ⎛ 11 ⎞
= ⎝ ∑ τ1 ⎜ , k ⎟ , (11.6)
30 k =0 3 ⎝ 6 ⎠
⎛ 2 1⎞ 5
β⎜ , ⎟
= ⎝
3 3 ⎠. 6 , (11.8)
30 11 1
− −1
6 3
⎛ 2 1⎞
β⎜ , ⎟
= ⎝
3 3⎠
18
π π
= csc
18 3
π
=
9 3
16
Sugerimos al lector, aplicar el procedimiento aplicado en 12.7.1 para
resolver el siguiente problema:
12.8 Problema.- Probar que,
∞∞
x dy dx π 2
∫∫
0 x
1 + y4
=
8
El lector puede ahora resolver el problema más general, que incluye los
casos 12.7 y 12.8.
12.9 Problema.- Probar que si p, r son números reales positivos tales que
p > r + 2 , entonces
∞∞
x r dy dx π ( r + 2) π
∫0 ∫x 1 + yp = p ( r + 1) csc p
Los siguientes problemas constituyen también, un ejercicio didáctico.
12.10 Problema.- Determinar el valor límite de la integral doble.

∞ ∞
x 7 y2
∫ ∫ 1+ dy dx
( x y)
2 7
0 x2
Solución.- Aplicando directamente la fórmula 7.6 se tiene,
12.10.1
∞ ∞ ∞
x 7 y2 x
∫ ∫ 1+ dy dx = ∫ ( x ) dx
− 16
( x y)
7 7
0 x 2
2
0
4 4
∞
1
= ∫ x13
40 7 ( x ) dx
− 16
4
∞ ∞ ⎛ 7⎞
1
(1 ⊕ x −28 ) .1⎝
k +1 ⎜ k ⎟
=
40∫ (x 13
∑
k =0
4⎠
) dx
⎛∞ ⎞ ⎛⎜ k 7 ⎞⎟
1 ∞ ⎜ x13
= ∑ ∫ dx ⎟ .1⎝ 4 ⎠
4 k =0 ⎜ 0 (1 + x 28 )k +1 ⎟
⎝ ⎠
∞
1 1 ⎛1 1⎞ ⎛ 4⎞
= ∑ β ⎜ , k + ⎟ .τ1 ⎜1 + k, ⎟
4 k =0 28 ⎝ 2 2⎠ ⎝ 7⎠
17
⎛1 1⎞
β⎜ , ⎟ ∞
2 2⎠ ⎛ 11 ⎞
= ⎝ ∑ τ 1 (1, k ) .τ1 ⎜ , k ⎟
112 k =0 2 ⎝7 ⎠
π ∞ ⎛ 11 ⎞
= ∑ τ1 ⎜ , k ⎟
112 k =0 2 ⎝ 7 ⎠
4
π 7
= .
112 11 1
− −1
7 2
π
=
14
12.11 Problema.- Determinar el valor límite de la integral doble.

∞ ∞
eax + by
∫ ∫ 1 + ecy dy dx
−∞ x
siendo a, b y c números reales positivos, tales que a + b < c.
Solución.-
12.11.1
∞ ∞ ∞
eax + by eax
∫ ∫ 1 + ecy dy dx = ∫ b c ( e ) dx
bx
−∞ x −∞ b
∞
1
= ∫
c − b −∞
eax c (e (b−c)x
) dx
c−b
∞
1
= ∫
c − b −∞
eax .ebx c (e (b−c)x
) dx
c−b
∞ ∞ ⎛ c ⎞
1
( )
k
− cx k +1 ⎜⎝ ⎟
= ∫
c − b −∞
(e (a + b)x
∑
k =0
1 ⊕ e .1 c−b ⎠
) dx
⎛∞ ⎞ ⎛⎜ k c ⎞⎟
1 ∞ ⎜ e(a + b) x
= ∑ ∫ dx ⎟1⎝ c − b ⎠
⎝ (1 + e )
c − b k =0 ⎜ −∞ cx k +1 ⎟
⎠
1 ∞ 1 ⎛a+b a+b⎞ ⎛ c−b⎞
= ∑ β⎜
c − b k =0 c ⎝ c
, k +1− ⎟.τ1 ⎜ 1 + k,
c ⎠ ⎝
⎟
c ⎠
1 ⎛a+b a+b⎞ ∞ ⎛ c−b ⎞

= β⎜ ,1 − ⎟ ∑ τ1− a + b (1, k ) .τ1 ⎜ 1 + ,k⎟
c (c − b) ⎝ c c ⎠ k =0 c ⎝ c ⎠
18
π ( a + b ) π ∞ τ ⎛1 + c − b , k ⎞
=
c (c − b)
csc
c
∑ a +b ⎜ ⎟
c ⎝ c ⎠
1−
k =0
c−b
⎛
= ⎜⎜
π
csc
( a + b ) π ⎞ c
⎟⎟ .
⎝ c (c − b) c ⎠ 1+ c − b
−1 +
a+b
−1
c c
π
= csc
(a + b) π
ac c
19
FUNCIÓN BETA-CONTRACTIVA ( )
1. Definición. Se entenderá por Función Beta-Contractiva ( ) la función,
∞
B ( p, k )
( p, α ) = ∑ , p, α ∈ , p, α ≥ 1
k =1 αk
Donde, además, p y α no toman simultáneamente el valor 1.

Para cada par de números reales p, α que satisfacen las condiciones de la
Def. 1, la serie
∞
B ( p, k )
1.1 ∑
k =1 αk
será referida como Serie Beta-Contractiva.
Las siguientes propiedades son importantes en el análisis y las aplicaciones

de la función beta-contractiva.
∞
1
1.2 ∑ B ( p, k ) = B ( p − 1,1)
k =1
=
p −1
, p >1
∞ ∞ k
1 ⎛ 1 ⎞ ⎛ 1 ⎞⎛ 1 ⎞ 1
1.3 ∑
k =1 α
k
= ∑ ⎜1 ⊕
k =1 ⎝
⎟ = ⎜1 + ⎟ ⎜1 ⊕ ⎟=
α −1 ⎠ ⎝ α −1 ⎠ ⎝ α −1 ⎠ α −1
, α >1
De 1.2 y 1.3 se tiene,
∞ ∞
1 1
1.4 ∑ B ( x, k ) = ∑
k =1 k =1 x
k
=
x −1
, x >1
De 1.2 y 1.3 se deduce también la notable propiedad,
⎧ 1 1 1 ⎫
1.5 ( p, α ) < mín ⎨ , , ⎬ , p, α > 1
⎩ p − 1 α − 1 (p − 1)(α − 1) ⎭
Casos especiales.
1.6 p >1 , α =1
∞
1
( p,1) = ∑ B ( p, k ) = B ( p − 1,1) =
k =1 p −1
20
1.7 p =1 , α >1
∞
B (1, k )
(1, α ) = ∑
k =1 αk
∞ k
⎛ 1 ⎞ ( k −1 1)
= ∑ ⎜1 ⊕ ⎟ .1
k =1 ⎝ α −1 ⎠
∞ k +1
⎛ 1 ⎞ ( k 1)
= ∑ ⎜1 ⊕ ⎟ .1
k =0 ⎝ α −1 ⎠
⎛ 1 ⎞
= 1⎜ ⎟
⎝ α −1 ⎠
⎛ 1 ⎞
= 1⎜ ⎟
⎝ α −1 ⎠
⎛ 1 ⎞
= Ln ⎜1 + ⎟
⎝ α −1 ⎠
Escribiremos 1.7 en la forma siguiente:
⎛ 1⎞
1.8 Ln ⎜1 + ⎟ = (1,1 + α ) , α>0
⎝ α⎠
Si α = 1 se tiene,
1.9 Ln 2 = (1, 2 )
∞
B (1, k )
=∑
k =1 2k
∞
1
=∑ k
k =1 k2
En general, de 1.8 se deduce,
α +1 ∞ 1
1.10 Ln =∑ , α>0
α k =1 k (1 + α )
k
Por ejemplo,
3 ∞ 1
1.11 Ln =∑
2 k =1 k.3k
( ) ( ( ))
∞
2 1
1.12 Ln 2 + 2 = Ln 2 2 + 1 = Ln =∑ k
2 − 1 k =1
k.2 2
21
2. Teorema.- Para cada número real positivo α,
k=n
⎛ α⎞
∑
k=1
(1, k + α ) = ⎜1,1 + ⎟
⎝ n⎠
Demostración.- Procederemos por Inducción Completa.
2.1 Si n = 1 el teorema es evidente.
2.2 Hipótesis de Inducción. Para algún número entero positivo n,
k=n
⎛ α⎞
∑
k=1
(1, k + α ) = ⎜ 1,1 + ⎟
⎝ n⎠
Para n + 1 se tiene,
k=n+1 k=n
2.3 ∑
k=1
(1, k + α ) = ∑
k=1
(1, k + α ) + (1, n + 1 + α )
⎛ α⎞
= ⎜1,1 + ⎟ + (1,1 + n + α ) , (2.2)
⎝ n⎠
⎛ n⎞ ⎛ 1 ⎞
= Ln ⎜1 + ⎟ + Ln ⎜ 1 + ⎟ , (1.8)
⎝ α⎠ ⎝ n+α⎠
⎛ n +1⎞
= Ln ⎜1 + ⎟
⎝ α ⎠
⎛ α ⎞
= ⎜1,1 + ⎟
⎝ n +1 ⎠
2.4 Corolario.
⎛ 1 ⎞ k=n
⎜1,1+ ⎟=∑ (1, k ) , n≥2
⎝ n −1⎠ k=2
Escribiremos el Teor. 2 en la forma siguiente:
⎛ α ⎞ k=n
2.5 ⎜ 1,1 + ⎟=∑ (1, k + α ) , α > 0, n = 1, 2,...
⎝ n ⎠ k=1
22
3. Teorema.- (J. N. Urra). Para cada número real positivo α y cada número
entero positivo n ,
α + n k =n
Ln =∑ (1, α + k )
α k =1
Demostración.-
α+n ⎛ n⎞
3.1 Ln = Ln ⎜1 + ⎟
α ⎝ α⎠
⎛ α⎞
= ⎜1,1 + ⎟ , (1.8)
⎝ n⎠
k =n
=∑ (1, α + k ) , ( 2.5)
k =1
├
3.2 Corolario.
α+n ∞ 1 1 1
Ln =∑ ( + ... + ) , α > 0, n = 1, 2,...
α k =1 k ( α + 1) (α + n )
k k
Ejemplos.
7 3+ 4
3.3 Ln = Ln
3 3
k =4
=∑ (1,3 + k )
k =1
= (1, 4 ) + (1,5) + (1, 6 ) + (1, 7 )

∞ ∞ ∞ ∞
1 1 1 1
=∑ k
+ ∑ k
+ ∑ k
+ ∑ k
k =1 k.4 k =1 k.5 k =1 k.6 k =1 k.7
∞
1⎛ 1 1 1 1 ⎞
=∑ ⎜ k + k + k + k ⎟
k =1 k ⎝ 4 5 6 7 ⎠
3 +3
3.4 (
Ln 1 + 3 = Ln ) 3
∞
1 1 1 1
=∑ ( + + )
( ) ( 2 + 3 ) (3 + 3 )
k k k
k =1 k 1+ 3
∞
1⎛ 1 1 1 ⎞
3.5 Ln n = ∑ ⎜ k + k + ... + k ⎟ , n = 2,3,...
k =1 k ⎝ 2 3 n ⎠
23
4. Teorema.- Para cada número real p > 0 ,
1⊕ p ( x ) = (1 + p ) (1+ p
1+ p −1 −1
,1+ x−p ) , x>0
Demostración.-
∞
4.1 1⊕ p ( x ) = ∑ (1 ⊕ x ) .1( )
1+ p p k +1 k 1⊕ p
k =0
=∑
(1 + p ) B (1 + p , k + 1)
∞ −1 −1
k =0 (1 + x ) − p k +1
B (1 + p , k )
∞ −1
= (1 + p ) ∑ −1
(1 + x )k =1
−p k
= (1 + p ) (1+ p ,1+ x ) ,
−1 −1 −p
x>0
├
5. Teorema.- Para cada número real p > 0 ,
p ( x ) = x(1 − p −1 (1+ p−1 ,1+ x−p ))
Demostración.-
5.1.- p ( x ) = x − (1 ⊕ p −1 ) (x 1⊕ p
1+ p
)
= x − (1 ⊕ p ) x (x
−1
1⊕ p
1+ p
)
= x(1 − (1 ⊕ p )(1 + p ) −1 −1
(1+ p
−1
,1+ x−p )) , (Teor.4)
= x(1 − p (1+ p ,1+ x
−1 −1 −p
)) , x>0
├
Casos especiales.
5.2 p =1
1 ( x ) = x(1 − ( 2,1+ x−1 )) , x>0
Si en 5.2 se coloca x = 1 , entonces,
5.2.1 1 (1) = 1 − ( 2,2)
24
∞
B ( 2, k )
= 1− ∑
k =1 2k
De donde,
∞
1
5.2.2 Ln 2 = 1 − ∑
k =1 k ( k + 1) 2
k
5.3.- p=2
1 ⎛3 −2 ⎞
2 ( x ) = x(1 − ⎜ ,1+ x ⎟ ) , (Teor.5)
2 ⎝2 ⎠
1
Si x = se tiene,
3
⎛ 1 ⎞ 1 1 ⎛3 ⎞
5.3.1 2 ⎜ ⎟= (1 −
2
⎜ ,4⎟ )
⎝ 3⎠ 3 ⎝2 ⎠
⎛3 ⎞
∞
B⎜ , k ⎟
1 1
(1 − ∑ ⎝ k ⎠ )
2
=
3 2 k =1 4
Pero,
⎛3 ⎞ ⎛ 1 ⎞
5.3.2 B ⎜ , k ⎟ = B ⎜ k, + 1⎟
⎝2 ⎠ ⎝ 2 ⎠
⎛ 1⎞ ⎛ 1 ⎞
= B ⎜ k, ⎟ τ 1 ⎜ k + ,1⎟
⎝ 2⎠ 2 ⎝ 2 ⎠
⎛1 ⎞
B⎜ , k ⎟
= ⎝
2 ⎠
2k + 1
Luego, introduciendo 5.3.2 en 5.3.1 queda,
⎛1 ⎞
B⎜ , k ⎟
⎛ 1 ⎞ 1 1 ∞
(1 − ∑ ⎝
2 ⎠
5.3.3 2⎜ ⎟= 2 k =1 ( 2k + 1) .4k
)
⎝ 3⎠ 3
1 ⎛ 1 ∞ B ( k, k ) ⎞
= ⎜1 − ∑ ⎟
3 ⎝ 4 k =1 2k + 1 ⎠
25
Por otra parte,
⎛ 1 ⎞ 1 π
5.3.4 2 ⎜ ⎟ = Arctg =
⎝ 3⎠ 3 6
De 5.3.3 y 5.3.4 se tiene,
π 1 ⎛ 1 ∞ B ( k, k ) ⎞
5.3.5 = ⎜1 − ∑ ⎟
6 3 ⎝ 4 k =1 2k + 1 ⎠
De donde,
⎛ 1 ∞ B ( k, k ) ⎞
5.3.6 π = 2 3 ⎜1 − ∑ ⎟
⎝ 4 k =1 2k + 1 ⎠
6. Aplicaciones del Teor. 5 a la Integración Numérica.
3 3
x 2 dx 1
6.1 ∫ 1+ x 5
=−
3
5 (x )
3
2 3 2
1 1
= 5 (8) − 5 ( 27 )
3 3 3 3
Pero,
3 ⎛1⎞
6.1.1 5 (8) = ⎜ ⎟ 5
3 2 ⎝4⎠ 2
3 2 ⎛7 ⎞
= (1 − ⎜ ,33 ⎟ ) , (Teor.5)
8 5 ⎝5 ⎠
3 ⎛1⎞
6.1.1.2 5 ( 27 ) = 5⎜ ⎟
3 2 2⎝9⎠
3 2 ⎛7 ⎞
= (1 − ⎜ , 244 ⎟ ) , (Teor.5)
18 5 ⎝ 5 ⎠
Introduciendo 6.1.1 y 6.1.2 en 6.1 queda,

3
x2 5 1 ⎛7 ⎞ 1 ⎛7 ⎞
6.1.3 ∫2 1 + x 5 dx = 72 − 20 ⎜ ,33 ⎟ +
⎝5 ⎠ 45
⎜ , 244 ⎟
⎝5 ⎠
26
1 1
5 1 ∞ ⎛7 ⎞ 4
= − ∑ β ⎜ , k ⎟( − 9 )
72 5 k =1 ⎝ 5 ⎠ 33k 244k
π π
4 4
cos x cos x
6.2 ∫ cos
π
3
x + sen x
3
dx = ∫
π cos x (1 + tg x )
3 3
dx
6 6
π
4
sec 2 x
=∫ dx
π 1 + tg x
3
6
π
= 3 ( tg x ) π
4
⎛ 1 ⎞
= 3 (1) − 3 ⎜ ⎟
⎝ 3⎠
Pero,
⎛4 ⎞ 1
6.2.1 3 (1) = 1 −
⎜ , 2⎟ , (Teor.5)
⎝3 ⎠ 3
⎛ 1 ⎞ 1 1 ⎛4 ⎞
6.2.2 3 ⎜ ⎟= (1 − ⎜ ,1 + 3 3 ⎟ , (Teor.5)
⎝ 3⎠ 3 3 ⎝3 ⎠
π
4
cos x 3− 3 1 ⎛4 ⎞ 1 ⎛4 ⎞
6.2.3 ∫ cos
π
3
x + sen x
3
dx =
3
−
3
⎜ , 2⎟ +
⎝3 ⎠ 3 3
⎜ ,1 + 3 3 ⎟
⎝3 ⎠
6
De donde,
π 1
4
cos x 3− 3 1 ⎛4 ⎞ 1 ∞
3
6.2.4 ∫ cos dx = − ∑ β ⎜ , k ⎟( k − )
x + sen x
( )
3 3 k
π 3 3 k =1 ⎝ 3 ⎠ 2 1+ 3 3
6
Para el siguiente ejemplo, existe una alternativa que permite eludir el Teor.5.
3Ln 2
dx 1
(e )
3Ln 2
∫
−2x
6.3 5x
=− 1
2 0
0
e 2x + e 3 6
1 1 ⎛ 1 ⎞
= 1 (1) − 1 ⎜ ⎟
2 6 2 6 ⎝ 64 ⎠
27
Pero 1 puede representarse mediante funciones elementales. En efecto.

6
x2 x3 x4 x5
1 ( x ) = 6(x − + − + − Ln(1 + x))
6
6.3.1
6 2 3 4 5
Aplicando 6.3.1 se obtiene,
47
6.3.2 1 (1) = − 6Ln2
6 10
⎛ 1 ⎞ 391
6.3.3 1 ⎜ ⎟= − 6 Ln3 + 6 Ln2
6 ⎝ 64 ⎠ 160

3Ln 2
dx 361
6.3.4 ∫ 5x
=
320
+ 3Ln3 − 6Ln2
0
e 2x + e 3
7. Teorema.- Para cada número entero positivo n,
k =n
⎛1⎞
Ln ( n +1) = ∑ 1 ⎜ ⎟
k =1 ⎝k⎠
Demostración.- Procederemos por el axioma de inducción completa
7.1 Para n = 1 se tiene la conocida igualdad
Ln 2 = 1 (1)
7.2 Hipótesis de Inducción.- Para algún número entero n ≥ 1 ,
k =n
⎛1⎞
Ln ( n +1) = ∑ 1 ⎜ ⎟
k =1 ⎝k⎠
7.3 Para n + 2 se tiene,
⎛ 1 ⎞
Ln ( n + 2) = Ln ( n +1) + Ln ⎜1+ ⎟
⎝ n +1 ⎠
28
k =n
⎛1⎞ ⎛ 1 ⎞
=∑ 1 ⎜ ⎟+ 1 ⎜ ⎟ , (7.2)
k =1 ⎝k⎠ ⎝ n +1 ⎠
k =n +1
⎛1⎞
= ∑
k =1
1⎜
⎝k⎠
⎟
├
8. Teorema.- Para cada número entero positivo n,
∞
1 1 1 1
Ln ( n +1) = Hn − ∑ ( k+ k+ + )
k =1 k ( k + 1) 1.2 n.( n +1)
k
2.3
k =n
1
Donde H n es el número armónico, H n = ∑
k =1 k
Demostración.-
i =n
⎛1⎞
8.1 Ln ( n +1) = ∑ 1 ⎜ ⎟ , (Teor.7)
i =1 ⎝i⎠
i =n
1
= ∑ (1 − ( 2,1 + i )) , (Teor.5)
i =1 i
i =n
1 i =n 1
= ∑ −∑ ( 2,1 + i ))
i =1 i i =1 i
i =n
1 ∞ B( 2,k )
= Hn − ∑ ∑
i =1 i k =1 (1 + i )
k
∞ i =n
1
= Hn − ∑ B( 2,k )∑
i (1 + i )
k
k =1 i =1
∞
1 1 1 1
= Hn − ∑ ( k+ k+ + )
k =1 k ( k + 1) 1.2 n.( n +1)
k
2.3
├
9. Problema. (Urra-Saavedra). Probar que,
∞
1
∑ k ( 2,1 + k ) = γ
k =1
Siendo γ la constante de Euler- Mascheroni.

Solución.-
29
∞ k =n
1 1
9.1 ∑ k ( 2,1 + k ) = lim ∑ k ( 2,1 + k )
k =1
n →∞
k =1
k =n
1 ⎛1⎞
= lim ∑ ( − 1⎜ ⎟) , (5.2)
k =1 k ⎝k⎠
n →∞
k =n
1 k =n ⎛1⎞
= lim (∑ − ∑ 1⎜ ⎟)
k =1 k ⎝k⎠
n →∞
k =1
1
= lim (− + H n +1 − Ln(n + 1)) , (Teor.7)
n →∞ n +1
= lim (H n +1 − Ln(n + 1))
n →∞
=γ
Observación.- La igualdad proporcionada en el Prob. 9 puede escribirse en la

siguiente forma:
∞ ∞
1
9.2 γ = ∑∑
n(n +1)k (1+ k )
n
k =1 n =1
Aunque la serie del segundo miembro en 9.2 permite la evaluación de γ , debemos

advertir que esta fórmula tiene más importancia teórica que práctica. En efecto, se
trata de una serie de convergencia lenta.
Por ejemplo, la suma finita
k =6000 n =200
1
9.3 ∑ ∑ n(n +1)k 1+ k = 0.577(1323)
( )
n
k =1 n =1
proporciona sólo 3 dígitos decimales correctos para γ .
El problema relativo a la velocidad de convergencia de series numéricas,

interesa en la actualidad, particularmente, a los especialistas en evaluación de
constantes matemáticas. Otro grupo de investigadores a los cuales interesa este
problema es, probablemente, aquel que trabaja en la elaboración de programas de
matemática para cálculo computarizado.
Consideremos nuevamente la serie beta-contractiva (1, α ) .

Tenemos que,
∞
B (1, k )
9.4 (1, α ) = ∑ , α >1
k =1 αk
30
∞
1
=∑
k =1 kα
k
A partir de 9.4 se prueba la siguiente identidad:
k =r ∞
1 λ1 λ
9.5 ∑ λk
k =1
(1, α k ) = ∑ ( k + ... + kr )
k =1 k α1 αr
Donde, λ k , α k ∈ , α k > 1, 1 ≤ k ≤ r
Nota: La combinación lineal de series beta-contractiva del primer miembro en la

igualdad 9.5, puede ser reemplazada en forma equivalente por la serie del segundo
miembro; en cualquiera de sus apariciones; y viceversa.
Hay algunos problemas sobre logaritmos, asociados de manera natural a la fórmula

9.5.
Por ejemplo,
9.6 Problema.- Probar que la serie,
∞
1 5 7 14 10
∑ k ( 25
k =1
k
+ k
+ k + k)
49 64 81
converge a Ln 2.
Solución.- Sea λ el valor límite de la serie 9.6.
9.6.1 λ=5 (1,25) + 7 (1,49) +14 (1,64) +10 (1,81)

25 49 64 81
= 5 Ln + 7 Ln + 14 Ln + 10 Ln
24 48 63 80
= Ln2
9.7 Problema.- Probar que la serie,
∞
1 11 8 5
∑ k (16
k =1
k
+ k
25 81
+ k)
converge a Ln 3.
Solución.- Sea λ el valor límite de la serie 9.7.
31
9.7.1 λ = 11 (1,16) + 8 (1,25) + 5 (1,81)

16 25 81
= 11Ln + 8 Ln + 5 Ln
15 24 80
= Ln 3
10. Teorema Constructivo (TC).- Para cada número entero n ≥ 2 , existen

números reales λ1 ,..., λ r , no todos iguales a 1; y α1 ,..., α r > 1 tales que,
k =r
Ln (n) = ∑ λ k (1, α k )
k =1
Demostración.- Inducción Completa.
10.1 Para n = 2 , el Problema 9.6 afirma que,
∞
1 5 7 14 10
Ln 2 = ∑ ( k + k + k + k )
k =1 k 25 49 64 81
k =4
= ∑ λk (1, α k ) , (9.5)
k =1
Donde,
λ1 = 5, λ 2 = 7, λ 3 = 14, λ 4 = 10, α1 = 25, α 2 = 49, α 3 = 64, α 4 = 81
Satisfaciendo la hipótesis del Teorema Constructivo.
10.2 Hipótesis de Inducción.- Para algún número entero n ≥ 2 , existen números

reales λ1 ,..., λ r , no todos iguales a 1; y α1 ,..., α r > 1 tales que,
k =r
Ln (n) = ∑ λ k (1, α k )
k =1
10.3 Para n+1 se tiene,
1
Ln (n + 1) = Ln n(1 + )
n
1
= Ln (n) + Ln(1 + )
n
k =r
= ∑ λk (1,αk ) + (1,1+ n )
k =1
32
k = r +1
= ∑λ
k =1
k (1,αk )
siendo λ r +1 = 1, α r +1 = 1 + n
├
11. Teorema.- Para cada número entero n ≥ 2 , existen números reales

λ1 ,..., λ r , no todos iguales a 1; y α1 ,..., α r > 1 tales que,
k =r
1 λ λ
Ln (n) = ∑ ( 1k + ... + kr )
k =1 k α1 αr
Demostración.- El enunciado de este teorema es equivalente al enunciado del

Teorema 10.
Comentario sobre el Teorema Constructivo.- Considérese el siguiente problema:
12. Problema Constructivo.- Dado un número entero n ≥ 2 , determinar un

conjunto finito de números reales λ1 ,..., λ r , α1 ,..., α r tales que,
k =r
Ln (n) = ∑ λ k (1, α k )
k =1
Esto es, describir Ln (n) como una combinación lineal finita de series beta-
contractiva.
Este problema admite una solución obvia que se obtiene a partir del corolario
2.4.
En efecto, para n ≥ 2 .
12.1 Ln ( n ) = Ln (1+ (n −1))

⎛ 1 ⎞
= ⎜1,1 + ⎟ , (1.8)
⎝ n −1 ⎠
k =n
=∑ (1, k ) , (Corolario 2.4)
k =2
= (1, 2 ) + (1,3) + ... + (1, n )

Llamaremos a esta solución, “Solución Natural del Problema Constructivo”.
Obsérvese que la solución natural es equivalente a la fórmula 3.5.
∞
1 1 1 1
12.2 Ln (n) = ∑ ( k + k + ... + k )
k =1 k 2 3 n
33
La serie del segundo miembro en 12.2 es una “Serie Natural” para Ln(n),
con arreglo al Problema Constructivo.
Ahora bien, el Teorema Constructivo afirma que el Prob. 12 admite soluciones
diferentes de la solución natural. Esto es, “Soluciones No – Naturales”.
Las siguientes fórmulas constituyen soluciones no- naturales del Prob. 12, para Ln2,
Ln3 y Ln5.
∞
1 11 8 5
12.3 Ln 3 = ∑ ( k + k + k )
k =1 k 16 25 81
∞
1 16 12 7
12.4 Ln 5 = ∑ ( k + k + k )
k =1 k 16 25 81
∞
1 7 5 3
12.5 Ln 2 = ∑ ( k + k + k )
k =1 k 16 25 81
∞
1 17 19 15 10
12.6 Ln 2 = ∑ ( k + k + − )
k =1 k 49 64 169 ⎛ 2197 ⎞ k
k
⎜ ⎟
⎝ 10 ⎠
∞
1 19 17 32 10
12.7 Ln 2 = ∑ ( k + k
+ k
− k
)
k =1 k 64 ⎛ 343 ⎞ 169 ⎛ 2197 ⎞
⎜ ⎟ ⎜ ⎟
⎝ 5 ⎠ ⎝ 10 ⎠
∞
1 55 38 13 28 19
12.8 Ln 2 = ∑ ( k
− k
+ k
+ k
− )
k =1 k ⎛ 343 ⎞ ⎛ 245 ⎞ 169 ⎛ 2197 ⎞ 2401k
⎜ ⎟ ⎜ ⎟ ⎜ ⎟
⎝ 5 ⎠ ⎝ 2 ⎠ ⎝ 10 ⎠
∞
1 34 38 21 12 14
12.9 Ln 2 = ∑ ( k + k
− k
− k
+ k
)
k =1 k 81 ⎛ 245 ⎞ 289 2401 ⎛ 4913 ⎞
⎜ ⎟ ⎜ ⎟
⎝ 2 ⎠ ⎝ 13 ⎠
∞
1 109 41 35 27 37 19
12.10 Ln 2 = ∑ ( k
− k
+ k
+ + − )
k =1 k 156 169 217 625 961 2401k
k k
∞
1 41 17 45 76 19 45
12.11 Ln 2 = ∑ ( k + + − − − )
k =1 k 81 145 271 841 2401 24390k
k k k k
Es necesario observar que cada solución no-natural del Prob.12, proporciona una
serie (una serie logarítmica) mediante la cual se puede evaluar Ln(n) (n entero,
n ≥ 2 ).
34
13.- Soluciones No - Naturales del Problema Constructivo.
Sean p, q números reales tales que p > q > 0.

Entonces,
⎛ p−q ⎞
13.1 Ln p = Ln q + Ln ⎜1 + ⎟
⎝ q ⎠
⎛ p ⎞
= Ln q + ⎜1, ⎟
⎝ p−q ⎠
De otra forma,
p ⎛ p ⎞
13.2 Ln = ⎜1, ⎟
q ⎝ p−q ⎠
Esto es,
p ∞ 1
13.3 Ln =∑
q k=1 ⎛ p ⎞k
k⎜ ⎟
⎝ p−q ⎠
Si q = 1 , entonces 13.2 queda,
⎛ p ⎞
13.4 Ln p = ⎜1, ⎟ , p>1
⎝ p −1 ⎠
La expresión del segundo miembro en 13.4 será referida como “Forma Beta-
Contractiva” para Ln p.
Obsérvese que el segundo miembro en 13.2 es la forma beta-contractiva de
p
Ln , con arreglo a 13.4.
q
La fórmula 13.4 tiene implicaciones teóricas importantes.-
Las siguientes propiedades son consecuencia de 13.4.
x
13.4.1 (1, x ) = Ln , x>1
x −1
13.4.2 lim
n →∞
(1, x ) = 0
n
, x>1
13.4.3 (1, x ) = (1, y ) ⇒ x = y , x, y > 1
13.4.4 Ln x = (1, y ) ⇒ Ln y = (1, x ) , x, y > 1
35
13.4.5 Teorema.- Para cada número entero no negativo n y cada número real
x > 1,
Ln (1 ⊕ x ⊕ ... ⊕ x n ) = (1, x ) − (1, x )

n +1
Antes de demostrar este teorema, demostraremos una identidad, útil en el

cálculo contractivo.
13.4.6 Proposición.- Para cada número entero positivo n y cada número real x > 0 ,
1 ⎛ 1 ⎞
1− = (1 ⊕ x ⊕ ... ⊕ x n ) ⎜1 − n +1 ⎟
x ⎝ x ⎠
Demostración. Aplicaremos el Teorema de la Multiplicación de Sumas.

(Lección Nº 2, A-2.13).
1 ( x − 1) (1 + x + ... + x )(1 ⊕ x ⊕ ... ⊕ x )

n −1 −n
13.4.6.1 1− =
x x
=
( x − 1)(1 ⊕ x ⊕ ... ⊕ x n ) x − n
n +1
x
⎛ 1 ⎞
= (1 ⊕ x ⊕ ... ⊕ x n ) ⎜1 − n +1 ⎟
⎝ x ⎠
├
De 13.4.6.1 se deduce el notable resultado,
x −1
lim (1 ⊕ x ⊕ ... ⊕ x n ) = , x >1
n →∞ x
Esto es,
∞ x −1
13.4.6.3 ⊕ xn = , x >1
n =1 x
Demostración del Teorema 13.4.5.- De la Prop. 13.4.6 se tiene,
−1
x n +1 ⎛ x ⎞
13.4.6.4 1 ⊕ x ⊕ ... ⊕ x = n +1 . ⎜
n
⎟
x −1 ⎝ x −1 ⎠
Luego,
36
⎛ x n +1 ⎞ ⎛ x ⎞
Ln(1 ⊕ x ⊕ ... ⊕ x n ) = Ln ⎜ n +1 ⎟ − Ln ⎜ ⎟
⎝ x −1 ⎠ ⎝ x −1 ⎠
= (1, x n +1 ) − (1, x )
├
13.4.7 Corolario del Teor. 13.4.5,
∞
1 1 1
Ln(1 ⊕ x ⊕ ... ⊕ x n ) = ∑ ( ( n +1)k − k )
k =1 k x x
El Corolario 13.4.7 puede aplicarse, en algunos casos, a la construcción de

series para evaluar logaritmos naturales de números reales comprendidos en el
intervalo (0,1).
Examínense en detalle los siguientes ejemplos:
∞
7 1 1 1
13.4.7−1) Ln = Ln (1 ⊕ 7 ) = ∑ ( k − k )
8 k =1 k 49 7
∞
4 1 1 1
−2) Ln = Ln (1 ⊕ 2 ⊕ 22 ) = ∑ ( k − k )
7 k =1 k 8 2
1 ⎛3 2⎞
−3) Ln = Ln ⎜ . ⎟
2 ⎝4 3⎠
⎛3⎞ ⎛2⎞
= Ln ⎜ ⎟ + Ln ⎜ ⎟
⎝4⎠ ⎝3⎠
= Ln (1 ⊕ 3) + Ln (1 ⊕ 2 )
∞ ∞
1 1 1 1 1 1
= ∑ ( k − k )+∑ ( k − k )
k =1 k 9 3 k =1 k 4 2
∞
1 1 1 1 1
=∑ ( k + k − k − k)
k =1 k 9 4 3 2
3 ⎛6 5 4 3⎞
−4) Ln = Ln ⎜ . . . ⎟
7 ⎝7 6 5 4⎠
= Ln ( (1 ⊕ 6 )(1 ⊕ 5 )(1 ⊕ 4 )(1 ⊕ 3) )
= Ln (1 ⊕ 6 ) + Ln (1 ⊕ 5 ) + Ln (1 ⊕ 4 ) + Ln (1 ⊕ 3)
∞
1 1 1 1 1 1 1 1 1
=∑ ( k + k + k + k − k − k − k − k)
k =1 k 36 25 16 9 6 5 4 3
Consideremos ahora un número real α∈ ( 0,1) . Es claro que existen números

reales x, y > 0 , tales que
37
x
13.4.8 α=
x+y
Luego,
13.4.8.1 α = τx ( x + y,1)
Aplicando la Primera Identidad tau-beta se tiene,
13.4.8.2 α = τx ( x +1, y)
Esto es, α puede representarse en términos de una función tau-beta.

Ejemplos,
−1)
1
1+ 3
=
3
3 +3
=τ 3 ( 3 +1,3 )
3 3
−2) = = τ3 ( 4,5)
8 3+ 5
13.4.9 Proposición.- Para cada número real x > 0 y cada número entero positivo n,
k = n −1
τx ( x +1,n ) = ∏ (1⊕ ( x + k ) )
k =0
Demostración. Sólo mostraremos las propiedades necesarias para aplicar el

método de Inducción Completa.
x
13.4.9.1 τx ( x +1,1) = = 1⊕ x
x +1
13.4.9.2 τx ( x +1,n +1) = τx ( x + 1,n ) .τx + n ( x + 1+ n,1) , (T.F.)
= τx ( x +1,n ) .(1⊕ ( x + n ) )
├
Ejemplos.
⎛ 5 ⎞ k=3 ⎛ ⎛ 2 ⎞ ⎞
−1) τ2 ⎜ ,4 ⎟ = ∏⎜1⊕ ⎜ + k ⎟ ⎟
3 ⎝3 ⎠ k=0 ⎝ ⎝ 3 ⎠ ⎠
⎛ 2 ⎞⎛ 5 ⎞⎛ 8 ⎞⎛ 11 ⎞
= ⎜1⊕ ⎟⎜1⊕ ⎟⎜1⊕ ⎟⎜1⊕ ⎟
⎝ 3 ⎠⎝ 3 ⎠⎝ 3 ⎠⎝ 3⎠
−2) τ3 ( 4,7) = (1⊕ 3)(1⊕ 4)(1⊕ 5)(1⊕ 6)(1⊕ 7)(1⊕ 8)(1⊕ 9)
38
13.4.10 Teorema.- Para cada número real x > 1 y cada número entero positivo n,
(1, ( x + i ) ) −
i =n −1
Ln τx ( x +1,n ) = ∑( (1, x + i ))
2
i =0
Demostracion.-
⎛ i=n−1 ⎞
13.4.10.1 Ln τx ( x +1,n ) = Ln ⎜ ∏ (1⊕ ( x + i ) ) ⎟ , (13.4.9)
⎝ i=0 ⎠
i =n −1
= ∑ Ln (1⊕ ( x + i) )
i =0
(1, ( x + i ) ) −
i =n −1
∑( (1, x + i ))
2
= , (13.4.5)
i =0
├
13.4.11. Corolario.- Para cada número real x > 1 y cada número entero positivo
n,
∞
x 1 1 1 1 1 1
Ln = ∑ ( 2k + + ... + − k − ... − )
x + n k=1 k x ( x +1) ( x + n −1) x ( x + n −1)
2k 2k k
Ejemplos.
∞
3 3 1 1 1 1 1 1 1 1 1
−1) Ln = Ln =∑ ( k + k + k + k − k − k − k − k)
7 3 + 4 k=1 k 9 16 25 36 3 4 5 6
1 2
−2) Ln = Ln
1+ 2 2 +2
∞
1 1 1 1 1
=∑ ( k + − − )
( ) ( ) ( )
2k k k
k =1 k 2 2 +1 2 2 +1
Consideremos ahora dos números reales p,q > 1. Supóngase que p y q

satisfacen las siguientes relaciones:
⎧p7 = q3 + 3
13.5 ⎨
⎩ q = p +1
2
Escribamos 13.5 en la siguiente forma:
39
⎧ 7 3⎛ 3 ⎞
⎪p = q ⎜1 + 3 ⎟
⎪ ⎝ q ⎠
13.5.1 ⎨
⎪ q = p2 ⎛1+ 1 ⎞
⎪ ⎜ 2 ⎟
⎩ ⎝ p ⎠
De donde,
13.5.2
⎛ p7 ⎞
7 Ln p = 3Ln q + ⎜1, ⎟ , (1.4)
⎝ 3⎠
Ln q = 2 Ln p + (1, q )
Otra forma para 13.5.2 es,
13.5.3
⎛ p7 ⎞
7 Ln p − 3Ln q = ⎜1, ⎟
⎝ 3⎠
−2 Ln p + Ln q = (1, q )
Podemos considerar 13.5.3 como un “sistema de ecuaciones lineales” cuyas
incógnitas son unicamente, Ln p y Ln q.
El determinante principal del sistema es
7 −3
13.5.4 =1
−2 1
Las soluciones del sistema son:
⎛ p7 ⎞
13.5.5 Ln p = 3 (1, q ) + ⎜1, ⎟
⎝ 3⎠
⎛ p7 ⎞
Ln q = 7 (1, q ) + 2 ⎜1, ⎟
⎝ 3⎠
Mostrando que bajo el supuesto 13.5; Ln p y Ln q pueden representarse

como combinaciones lineales de series beta-contractiva; o bien, como series
logarítmicas no- naturales.
40
∞
1 3 1
13.5.6 Ln p = ∑ ( k + k
)
k =1 k q ⎛ p7 ⎞
⎜ ⎟
⎝ 3⎠
∞
1 7 2
Ln q = ∑ ( k + k
)
k =1 k q ⎛ p7 ⎞
⎜ ⎟
⎝ 3⎠
Ahora bien, los números enteros p = 2 y q = 5, satisfacen el supuesto 13.5.-
Reemplazando estos valores de p y q en 13.5.6 se obtienen series no-naturales para
Ln 2 y Ln 5.
∞
1 3 1
13.5.7 Ln 2 = ∑ ( k + k
)
k =1 k 5 ⎛ 128 ⎞
⎜ ⎟
⎝ 3 ⎠
∞
1 7 2
Ln 5 = ∑ ( k + k
)
k =1 k 5 ⎛ 128 ⎞
⎜ ⎟
⎝ 3 ⎠
A modo de ejercicio didáctico, construiremos series logarítmicas no-

naturales para Ln 2, Ln 3 y Ln 11, con arreglo al Problema Constructivo.
Es necesario encontrar relaciones entre 2, 3, y 11 tal como se muestra en
13.5 para p y q. Sin embargo, no debemos en esta ocasión hacer supuestos. Hay que
“descubrir” relaciones que conduzcan a un “sistema de ecuaciones lineales”,
semejante a 13.5.3, pero de orden 3x3 y cuyas “incógnitas” sean Ln 2, Ln 3 y Ln 11.
Las siguientes relaciones serán útiles en este caso.
13.6 22.3 = 11 + 1
3.11 = 25 + 1
23.11 = 34 + 7
Luego,
⎛ 1⎞
13.6.1 22.3 = 11⎜1 + ⎟
⎝ 11 ⎠
⎛ 1 ⎞
3.11 = 25 ⎜1 + ⎟
⎝ 32 ⎠
⎛ 7⎞
23.11 = 34 ⎜1 + ⎟
⎝ 81 ⎠
De 13.6.1 se obtiene el “sistema de ecuaciones”,
41
13.6.2 2 Ln 2 + Ln 3 − Ln11 = (1,12 )

−5 Ln 2 + Ln 3 + Ln11 = (1,33)
⎛ 88 ⎞
3Ln 2 − 4Ln 3 + Ln11 = ⎜1, ⎟
⎝ 7 ⎠
Es necesario conocer el valor del determinante principal.
2 1 −1
13.6.3 −5 1 1 =1
3 −4 1
Las soluciones son:
⎛ 88 ⎞
13.6.4 Ln 2 = 5 (1,12 ) + 3 ⎜1, ⎟ (1,33) + 2
⎝ 7 ⎠
⎛ 88 ⎞
Ln 3 = 8 (1,12 ) + 5 (1,33) + 3 ⎜1, ⎟
⎝ 7 ⎠
⎛ 88 ⎞
Ln11 = 17 (1,12 ) + 11 (1,33) + 7 ⎜1, ⎟
⎝ 7 ⎠
De 13.6.4 se construyen series no-naturales para Ln 2, Ln 3 y Ln 11.

En efecto,
∞
1 5 3 2
13.6.5 Ln 2 = ∑ k ( 12
k =1
k
+ +
33 ⎛ 88 ⎞k
k
)
⎜ ⎟
⎝ 7 ⎠
∞
1 8 5 3
Ln 3 = ∑ k ( 12
k =1
k
+ k+
33 ⎛ 88 ⎞ k
)
⎜ ⎟
⎝ 7 ⎠
∞
1 17 11 7
Ln11 = ∑ k ( 12
k =1
k
+ k+
33 ⎛ 88 ⎞ k
)
⎜ ⎟
⎝ 7 ⎠
Nota: Las series 12.3, 12.4, … ,12.11 fueron obtenidas por el mismo
método seguido para obtener las series 13.6.5.
A partir de 13.6.5 se pueden obtener otras series. No sólo para evaluar logaritmos de
números enteros.
Por ejemplo,
42
∞
1 10 6 4
13.6.6 Ln 4 = ∑ k (12
k =1
k
+ +
33 ⎛ 88 ⎞ k
k
)
⎜ ⎟
⎝ 7 ⎠
∞
1 13 8 5
Ln 6 = ∑ ( k + k + )
k =1 k 12 33 ⎛ 88 ⎞ k
⎜ ⎟
⎝ 7 ⎠
∞
11 1 9 6 4
Ln = ∑ ( k+ k+ )
3 k =1 k 12 33 ⎛ 88 ⎞k
⎜ ⎟
⎝ 7 ⎠
5 2
∞
1 1
Ln 3 2 = ∑ ( 3k + k + 3 k )
k =1 k 12 33 ⎛ 88 ⎞
⎜ ⎟
⎝ 7 ⎠
2 ∞
1 −3 −2 −1
Ln = ∑ ( k + k + )
3 k =1 k 12 33 ⎛ 88 ⎞k
⎜ ⎟
⎝ 7 ⎠
Proponemos al lector resolver los tres problemas siguientes:
13.7 Problema.- Construir series no-naturales para Ln 2, Ln 3, Ln 5, Ln 7 y Ln

13, con arreglo al Problema Constructivo; a partir de las relaciones,
⎛ 1 ⎞
36 = 23.7.13 ⎜1 + ⎟
⎝ 728 ⎠
⎛ 1 ⎞
54 = 24.3.13 ⎜1 + ⎟
⎝ 624 ⎠
⎛ 1 ⎞
7 4 = 25.3.52 ⎜1 + ⎟
⎝ 2400 ⎠
⎛ 1 ⎞
2.32.7 = 53 ⎜1 + ⎟
⎝ 125 ⎠
⎛ 1 ⎞
132 = 23.3.7. ⎜1 + ⎟
⎝ 168 ⎠
Nota: Sugerimos al lector comprobar que el primer término (T1) de la serie

obtenida para Ln 2 tiene el valor:
13.7.1 T1 = 0.69(0591371...)
Esto es, T1 contiene los dos primeros dígitos decimales correctos para Ln 2.
43
13.8 Problema.- Con arreglo al enunciado del Problema Constructivo,
construir una serie no-natural para Ln 2, cuyo primer término (T1) contenga los tres
primeros dígitos del desarrollo decimal. Esto es T1 debe tener la forma siguiente:
13.8.1 T1 = 0.693(...)
13.9 Problema.- Con arreglo al Problema Constructivo construir una serie

para Ln 2, de tal modo que el primer término (T1), tenga la forma decimal.
T1 = 0.6931(...)
A continuación se presenta una colección de series para Ln 2. Tales series han sido
construidas con arreglo al problema constructivo.
En cada caso se usarán las siguientes notaciones:
- Primer término de la serie: T1

- Suma de los n primeros términos: Tn
- Resto de la serie: T ( n +1) = Ln 2 − Tn
14.- Series convergentes a Ln 2
∞
1 27 15 7 21 10 9
14-1) Ln 2 = ∑ k ( 39
k =1
k
+ − k− +
91 96 169 361 2401k
k k k
− )
T1 = 0.6(83918...)
∞
1 41 17 45 76 19 45
14-2) Ln 2 = ∑ k ( 81
k =1
k
+ + − −
145 271 841 2401 24390k
k k k k
− )
T1 = 0.6(89338...)
∞
1 27 14 79 36 48
14-3) Ln 2 = ∑ k ( 81
k =1
k
+ + −
96 361 2401 6860k
k k k
+ )
T1 = 0.69(0006563...)
∞
1 109 41 35 27 37 19
14-4) Ln 2 = ∑ k ( 156
k =1
k
−
169 k
+
217 k
+ +
625 961 2401k
k k
− )
T1 = 0.69(1192912...)
44
∞
1 103 37 37 10 33 19 35
14-5) Ln 2 = ∑ k ( 182
k =1
k
+ + − + −
315 2198 625 2353 2401 32761k
k k k k k
+ )
T1 = 0.69(140749...) (Urra-Saavedra)
14-6)
∞
1 202 27 202 120 363 77 130 202
Ln 2 = ∑ k ( 253
k =1
k
+ + − − − +
513 1013 1296 1369 2401 6860 ⎛ 50653 ⎞k
k k k k k k
+ )
⎜ ⎟
⎝ 3 ⎠
T1 = 0.69(1552829...) (J. N. Urra)
14-7)
∞
1 202 297 53 267 198 198 58 58
Ln 2 = ∑ k ( 512
k =1
k
+ + + + +
1681 2401 5041 1095 68922 1801 389017k
k k k k k
− k
−
178 178
− k
− k
)
⎛ 5113 ⎞ 357911
⎜ ⎟
⎝ 3 ⎠
T1 = 0.69(2655926...) (J. N. Urra)
∞
1 58 157 260 212 41 53 130
14-8) Ln 2 = ∑ k (− 361
k =1
k
+ + + + +
513 730 1296 1369 2401 5329k
k k k k k
− )
T1 = 0.69(2750878...) (J. N. Urra)
14-9)
∞
1 2281 13 1151 110 55 136 513 1539
Ln 2 = ∑ 3k ( 961
k =1
k
+ − + − +
1681 2401 2501 3721 6561 6860 29792k
k k k k k
+ k
+ )
T1 = 0.69(2762862...) (J. N. Urra)
14-10)
∞
1 1162 1162 190 190 222 676 403
Ln 2 = ∑ 2k ( 1512
k =1
k
− + − +
3022 2188 15317 2401 2809 3250k
k k k k
+ k
+
656 656 163 109

+ − − + )
185193 6615 4914 28561k
k k k
T1 = 0.69(2963169...) (J. N. Urra)
45
14-11)
∞
1 486 692 492 209 581 486 328 243
Ln 2 = ∑ k ( 2188
k =1
k
+ + + + +
2401 3250 4914 5832 15317 185193 2809k
k k k k k
+ k
−
328 236
− − )
6615 28561k
k
T1 = 0.693(018459...) (J. N. Urra, Diciembre 06-2006)
14-12)
∞
1 1178 6182 1749 935 1920 1498 354 1627
Ln 2 = ∑ k ( − 15625
k =1
k
+ − + + − −
4200 6860 29792 28561 4914 5832k 8960k
k k k k k
− )
T1 = 0.693(03758...) (Urra-Saavedra, Diciembre 11-2006)
14-13)
∞
1 810 490 593 3059 2056 1634 1634 354
Ln 2 = ∑ k ( 15625
k =1
k
− + + − +
83521 6860 29792 28561 6518 26072 8425k
k k k k k
− k
+
225 4112 4112 354 354 354

+ + + + + + )
8960 20301 162409 9437 37749 3774901k
k k k k k
14-14)
∞
1 1164 844 593 4121 2764 2342 2342 354
Ln 2 = ∑ k ( 15625
k =1
k
− + + − +
83521 6860 29792 28561 6518 26072 5832k
k k k k k
− k
−
129 5528 5528

− + + )
8960 20301 162409k
k k
14-15)
∞
1 810 1144 593 209 422 1634 1280 3493
Ln 2 = ∑ k ( 15625
k =1
k
+ + − − +
83521 6860 29792 28561 113569 8425k 8960k
k k k k k
− +
844 844 1988 1988 1988

+ + + + + )
20301 162409 9437 37749 3774901k
k k k k
46
14-16)
∞
1 2254 1580 3366 1784 5284 5284 5387
Ln 2 = ∑ k ( 15625
k =1
k
− + − +
83521 29792 28561 20301 162409 12289k
k k k k
+ k
−
5387 2309 8240 544 544 272

− + + − − −
294937 117649 13889 49071 785137 491401k
k k k k k
3704 3704
+ + )
346921 53041k
k
14-17)
∞
1 802744 35556 317702 174176 200460 226744
Ln 2 = ∑18k ( 3418801
k =1
k
− − + + +
152881k 978121k 101761k 474721k 279841k
117288 210129 361614 729731 729731 51347
− − + + + +
312481k 421201 116281 129200 1033592 125001k
k k k k
2690 420258 348352 106040

+ − + − )
117649k 346921k 165649k 1771561k
(Urra-Saavedra, Diciembre 24-2006)
T1 = 0.69314(4396...)
T2 = 0.69314 71805 (4468...)
T3 = 0.69314 71805 59945(2144...)
T4 = 0.69314 71805 59945 30941 (6594...)
T15 = 0.69314 71805 59945 30941 72321 21458 17656 80755
00134 36025 52541 20680 00949 33936 21969 6(8854...)
T30 = 0.69314 71805 59945 30941 72321 21458 17656 80755
00134 36025 52541 20680 00949 33936 21969 69471
56058 63326 99641 86875 42001 48102 05706 85733
68552 02357 58130 55703 26707 51635 07(4078...)
Para el Resto de la serie 14-17 se tiene,
14-17-1) T ( n +1) < 2 .(101761) − n , n = 1,2,…
La fórmula 14-17 permite hacer la aproximación
14-17-2) Ln 2 ≈ Tn , n = 1,2,…
47
con un error en la evaluación de Ln 2, menor que: 2 .(101761) − n .
Por ejemplo, para n = 120 000 se obtiene el valor aproximado
14-17-3) Ln 2 ≈ T120 000
con un error menor que: 10− 600 910 .
48
15.- Fórmula de Descomposición de p ,(p>0)
Observación.-En algunas ocasiones se usarán las notaciones alternativas

( x p ) y ( x p ) en lugar de p ( x ) y p ( x ) , respectivamente.
Consideremos la Prop. 5 proporcionada en los Preámbulos.
15.1.- p ( x ) = x − (1 ⊕ p−1 ) 1⊕ p (x )
1+ p
, (p>0)
Otra forma para 15.1 es,
1 ⎛ 1+ p p ⎞
15.2.- p (x) = x − ⎜x ⎟ , (p>0)
1+ p ⎝ 1+ p ⎠
Aplicando 15.2 de manera recurrente, se obtiene la fórmula
( −1) ( −1)
k n+ 1
k =n
x1+ kp ⎛ 1+( n +1)p p ⎞
15.3.- (x) = ∑ + ⎜⎜ x ⎟
1 + ( n + 1) p 1 + ( n + 1) p ⎟⎠
p
k =0 1 + kp ⎝
, n = 0,1,...
Usaremos la siguiente notación:
( −1)
k
k =n
x1+ kp
15.4.- (n)
p (x) = ∑
k =0 1 + kp
Introduciendo 15.4 en 15.3 queda,
( −1)
n+ 1
⎛ 1+( n +1)p p ⎞
15.5 (x) = (n )
(x) + ⎜⎜ x ⎟ , n = 0,1,...
1 + ( n + 1) p 1 + ( n + 1) p ⎟⎠
p p
⎝
La fórmula 15.5 será referida como “Fórmula de Descomposición de p ” (p > 0) ,

( FD p )
Por razones prácticas, usaremos la FD p en la forma restringida,
(2n −1) 1 ⎛ 1+ 2np p ⎞

15.6 p (x) = p (x) + ⎜x ⎟ , n = 1,2,…
1 + 2np ⎝ 1 + 2np ⎠
Ahora bien,
49
⎛ 1+ 2np p ⎞ 1+( 2n −1)p ⎛ 1+ 2np p ⎞

15.7 ⎜x ⎟= x ⎜x ⎟
⎝ 1 + 2np ⎠ ⎝ 1 + 2np ⎠
∞ ⎛ p ⎞
∑ (1 ⊕ x )
⎜k ⎟
1+ ( 2n −1) p p k +1 ⎝ 1+ 2np ⎠
=x .1
k =0
(1 + 2np ) x ( )
1+ 2n −1 p ∞ B ( 2n + p −1 , k + 1)
= ∑
p k =0 (1 + x ) − p k +1
(1 + 2np ) x1+( 2n −1)p B ( 2n + p , k )

∞ −1
= ∑
p (1 + x )
k =1
−p k
(1 + 2np ) x1+( 2n −1)p

=
p
( 2n + p −1
,1 + x − p )
De donde,
15.8 p (x) = (2n −1)

p (x) + p −1 x1+( 2n −1)p ( 2n + p −1
,1 + x − p ) , n = 1,2,…
La fórmula 15.8 es la forma beta-contractiva de la FD p .
16.- Evaluación de la constante logarítmica: Ln 2.
Podemos aplicar la fórmula 15.8 para evaluar Ln 2.

En efecto,
16.1 Ln 2 = 1 (1)
Luego, aplicando 15.8 se obtiene la notable fórmula:
16.2 Ln 2 = (2n −1)

1 (1) + ( 2n + 1, 2 ) , n = 1,2,…
Pero, para cada número entero positivo n,
( −1)
k
k = 2n −1
16.3 (2n −1)
1 (1) = ∑ 1+ k
k =0
k =n
1
=∑
k =1 2k ( 2k − 1)
Introduciendo 16.3 en 16.2 se obtiene la fórmula de J. N. Urra para Ln 2.
50
k =n
1
16.4 Ln 2 = ∑ + ( 2n + 1, 2 ) , n = 1,2,…
k =1 2k ( 2k − 1)
La fórmula 16.4 tiene especial importancia teórica.

A partir de 16.4 pueden obtenerse algunas series conocidas, que convergen
a Ln 2.
Por ejemplo, aplicando a ( 2n + 1, 2 ) la desigualdad 1.5 se tiene,
( 2n + 1, 2 ) < mín ⎧⎨
1 ⎫
16.5 ,1⎬ , n = 1,2,…
⎩ 2n ⎭
De donde,
16.5.1 lim
n →∞
( 2n + 1, 2 ) = 0
De 16.4 y 16.5.1 se deduce la fórmula
∞
1
16.5.2 Ln 2 = ∑ , Mercator-Mengoli
k =1 2k ( 2k − 1)
También, de 16.2, 16.3 y 16.5.1 se obtiene la conocida serie alternante,
1 1 1
16.5.3 Ln 2 = 1 − + − + ... Mercator-Mengoli
2 3 4
Por otra parte, la fórmula 16.4 genera directamente, una familia infinita
contable de series numéricas convergentes a la constante logarítmica Ln 2.
Mostraremos algunos ejemplos.-
Escribiremos 16.4 en la forma siguiente:
k =n
1 ∞
B ( 2n + 1, k )
16.6 Ln 2 = ∑ +∑ , n = 1,2,…
k =1 2k ( 2k − 1) k =1 2k
Para los valores n = 1, 2, 3, 4, 5 se obtienen las series
1 ∞ 2
16.6-1) n = 1, Ln 2 = +∑
2 k =1 k ( k + 1)( k + 2 ) 2k
∞
7 24
-2) n = 2, Ln 2 = +∑
12 k =1 k ( k + 1)( k + 2 )( k + 3)( k + 4 ) 2k
51
En los ejemplos siguientes es preferible mantener la forma sintáctica de la
fórmula 16.6.
37 ∞ B ( 7, k )
-3) n = 3, Ln 2 = +∑
60 k =1 2k
533 ∞ B ( 9, k )
-4) n = 4, Ln 2 = +∑
840 k =1 2k
1627 ∞ B (11, k )
-5) n = 5, Ln 2 = +∑
2520 k =1 2k
A partir de 16.6 se obtiene también una fórmula de aproximación para Ln2.

Escribamos la fórmula 16.6 en la forma,
k =n
1 k =r
B ( 2n + 1, k ) ∞ B ( 2n + 1, k )
16.7 Ln 2 = ∑ +∑ +∑ , n, r = 1,2,…
k =1 2k ( 2k − 1) k =1 2k k = r +1 2k
Consideremos la desigualdad
∞
B ( 2n + 1, k ) B ( 2n, r + 1)
16.8 ∑
k = r +1 2k
<
2r
r B ( 2n, r )
= , n, r = 1,2,…
( 2n + r ) 2r
Restringiendo los valores de r a la relación r = 2n y sustituyendo en 16.8 se
tiene,
∞
B ( 2n + 1, k ) B ( 2n, 2n )
16.9 ∑
k = 2n +1 2k
<
2.22n
Pero,
2
16.10 B ( 2n, 2n ) < , n≥2
42n
Luego,
∞
B ( 2n + 1, k ) 1
16.11 ∑
k = 2n +1 2 k
< n
64
, n≥2
9n
−
< 10 5
De 16.7 y 16.11 se obtiene la fórmula de aproximación
52
k =n
1 k = 2n
B ( 2n + 1, k )
16.12 Ln 2 ≈ ∑ +∑ , n = 2,3,…
k =1 2k ( 2k − 1) k =1 2k
9n
−
Donde el error cometido en la evaluación de Ln 2 es menor que 10 5
.
Por ejemplo, la fórmula
k =1000
1 k = 2000
B ( 2001, k )
16.13 Ln 2 = ∑
k =1 2k ( 2k − 1)
+ ∑
k =1 2k
Permite evaluar la constante logarítmica Ln 2 con un error menor que 10−1800 .

Usando el programa Mathematica ®, versión 5.2, de Wolfram´s Research, Inc., se
hicieron evaluaciones de Ln 2 aplicando la fórmula 16.12, para los casos n = 10 ,
n = 15 y n = 20 .
Se obtuvieron los siguientes resultados.
16.14 Ln 2 = 0.693147180559945309(3044...)
16.15 Ln 2 = 0.693147180559945309417232121(3720...)
16.16 Ln 2 = 0.6931471805599453094172321214581765680(058...)
Posteriormente, se usó el mismo programa para comprobar la fórmula 16.12 en los

casos n = 10 , n = 20 y n = 25 .
Los resultados obtenidos fueron,
k =10
1 k = 20
B ( 21, k )
16.17 Ln 2 − ( ∑ +∑ ) = 1,1279 .10−19
k =1 2k ( 2k − 1) k =1 2k
k = 20
1 k = 40
B ( 41, k )
16.18 Ln 2 − ( ∑ +∑ ) = 6,9722 .10−38
k =1 2k ( 2k − 1) k =1 2k
k = 25
1 k =50
B ( 51, k )
16.19 Ln 2 − ( ∑ +∑ ) = 5,8175 .10−47
k =1 2k ( 2k − 1) k =1 2k
Obsérvese que los valores de las diferencias dadas en los primeros miembros de
16.17, 16,18 y 16.19 concuerdan con los errores correspondientes estipulados en
16.12 para cada caso.
Esto es 10−18 , 10−36 y 10−45 respectivamente.
Advertencia.- Las aplicaciones que se hacen en esta separata, en relación con la

evaluación de la constante logarítmica Ln 2 tienen principalmente, objetivos
didácticos.
Los lectores interesados en la investigación sobre la evaluación de las constantes
logarítmicas con alta precisión, disponen de valiosa información sobre esta materia
en los siguientes trabajos.
53
- Xavier Gourdon and Pascal Sebah. The Logarithmic Constant: log 2.

www.numbers.computation.free.fr/Constants/constants.html.
- Weisstein, Eric W. " Natural Logarithm of 2." From MathWorld--A
Wolfram Web Resource. www. mathworld.wolfram.com/NaturalLogarithmof2.html
54
17.- Series relacionadas con la constante Pi ( π )
Considérese la relación,
π
17.1 = 2 (1)
4
Aplicando 15.8 se tiene,
π (2n −1) 1 ⎛ 1 ⎞
17.2 = 2 (1) + ⎜ 2n + , 2 ⎟ , n = 1,2,…
4 2 ⎝ 2 ⎠
Pero,
1 ⎛ 1 ⎞ 1
17.3 ⎜ 2n + , 2 ⎟ < , (1.5)
2 ⎝ 2 ⎠ 4n − 1
Luego,
1 ⎛ 1 ⎞
17.4 lim ⎜ 2n + , 2 ⎟ = 0
n →∞ 2
⎝ 2 ⎠
De 17.2 y 17.4 se deduce,
π (2n −1)
17.5 = lim 2 (1)
4 n →∞
Ahora bien,
( −1)
k
k = 2n −1
17.6 (2n −1)
2 (1) = ∑
k =0 1 + 2k
, (15.4)
De 17.5 y 17.6 se obtiene la serie alternante,
π 1 1 1
17.7 = 1 − + − + ... (Leibnitz-Gregory-Madhava)
4 3 5 7
Además de 17.6, existe otra forma para determinar el valor de la parte algebraica
(2n −1)
2 (1) de 2 (1) .
En efecto,
55
k =n
1
17.8 (2n −1)
(1) = 2∑ , n = 1,2,…
2
k =1 ( 4k − 3)( 4k − 1)
π
De 17.5 y 17.8 se obtiene para la serie,
8
π ∞ 1
17.9 =∑
8 k =0 ( 4k + 1)( 4k + 3)
Introduciendo ahora 17.8 en 17.2 queda,
π k =n
1 1 ⎛ 1 ⎞
17.10 = 2∑ + ⎜ 2n + , 2 ⎟
4 k =1 ( 4k − 3 )( 4k − 1) 2 ⎝ 2 ⎠
Otra forma para 17.10 es,
π k =n
1 ⎛ 1 ⎞
17.11 = 4∑ + ⎜ 2n + , 2 ⎟
2 k =1 ( 4k − 3 )( 4k − 1) ⎝ 2 ⎠
π
La serie 17.11 genera una familia infinita contable de series convergentes a .
2
Algunos ejemplos son:
⎛5 ⎞
B⎜ , k ⎟
π 4 2 ∞
17.11-1) n = 1, = +∑ ⎝ k ⎠
2 3 k =1 2
⎛9 ⎞
B⎜ , k ⎟
π 152 ∞
+∑ ⎝ k ⎠
2
-2) n = 2, =
2 105 k =1 2
⎛ 13 ⎞
B⎜ , k ⎟
π 15468 ∞
2
-3) n = 3, = +∑ ⎝ k ⎠
2 10395 k =1 2
Resulta interesante desarrollar término a término cada una de las series en los
ejemplos anteriores.
Para 17.11-1, 17.11-2 y 17.11-3 se tiene, respectivamente.
π 4 1 1! 2! 3!
17.11-4) n = 1, = + + + + + ...
2 3 5 5.7 5.7.9 5.7.9.11
π 152 1 1! 2! 3!
-5) n = 2, = + + + + + ...
2 105 9 9.11 9.11.13 9.11.13.15
π 15468 1 1! 2! 3!
-6) n = 3, = + + + + + ...
2 10395 13 13.15 13.15.17 13.15.17.19
56
Considérese ahora la relación,
π 1
17.12 = 2 ( )
6 3
Luego,
π (2n −1) 1 3 ⎛ 1 ⎞
17.13 = 2 ( )+ n ⎜ 2n + , 4 ⎟ , (15.8)
6 3 2.9 ⎝ 2 ⎠
De 17.13 se tiene,
π (2n −1) 1
17.14 = lim 2 ( )
6 n →∞ 3
Pero,
1 k = 2n −1 ( −1)
k
1
17.15 (2n −1)
2 ( )=
3
∑
3 k =0 (1 + 2k ) .3
k
, n = 1,2,…
De 17.14 y 17.15 se obtiene la serie
( −1)
k
π 3 ∞
17.16 =∑ , (Sharp)
k = 0 (1 + 2k ) .3
k
6
Por otra parte,
k =n
1 k
17.17 (2n −1)
( ) = 8 3∑ , n = 1,2,…
k =1 ( 4k − 3 )( 4k − 1) .9
2 k
3
De 17.14 y 17.17 se deduce,
π 3 ∞ k +1
17.18 =∑ , (B. Saavedra)
k = 0 ( 4k + 1)( 4k + 3 ) .9
k
16
La fórmula de aproximación
π 3 k =n k +1
17.19 ≈∑ , n = 1,2,…
k = 0 ( 4k + 1)( 4k + 3 ) .9
k
16
π 3 1
permite la evaluación de con un error menor que
16 20 ( 4n + 7 ) .9n
57
Introduciendo ahora 17.17 en 17.13 se obtiene la fórmula
π k =n
k 3 ⎛ 1 ⎞
17.20 = 8 3∑ + ⎜ 2n + , 4 ⎟ , n = 1,2,…
k =1 ( 4k − 3 )( 4k − 1) .9
k
6 2.9n ⎝ 2 ⎠
Una forma equivalente para 17.20 es,
k =n
k +1 1 ⎛ 5 ⎞
17.21 π 3 = 16∑ + n ⎜ 2n + , 4 ⎟ , n = 0,1,…
k = 0 ( 4k + 1)( 4k + 3 ) .9
k
9 ⎝ 2 ⎠
La fórmula 17.21 genera una familia infinita se series convergentes a π 3 .

Antes de mostrar algunos ejemplos daremos otra forma a 17.21.
Tenemos que,
⎛ 5 ⎞ ⎛ 5 ⎞
∞
B ⎜ 2n + , k ⎟ ∞ B ⎜ 2n + , k + 1⎟
⎛ 5 ⎞ ⎝ 2 ⎠= ⎝ 2 ⎠
17.22 ⎜ 2n + , 4 ⎟ = ∑ k ∑ k +1
⎝ 2 ⎠ k =1 4 k =0 4
∞
k!
= ∑ k +1 , n = 0,1,…
k =0 2 ( 4n + 5)( 4n + 7 ) ... ( 4n + 5 + 2k )
De 17.21 y 17.22 se tiene,
k =n
k +1 1 ∞
k!
17.23 π 3 = 16∑ + n ∑ 2 ( 4n + 5) ... ( 4n + 5 + 2k )
k = 0 ( 4k + 1)( 4k + 3 ) .9
k k +1
9 k =0
, n = 0,1,…
Algunas series obtenidas a partir de 17.23 son:
16 1 1! 2!
17.23-1) n = 0, π 3 = + + 2 + 3 + ...
3 2.5 2 .5.7 2 .5.7.9
5072 1 1! 2!
-2) n = 1, π 3 = + 2
+ 2 2 + 3 2 + ...
945 2.9 2 .9 .11 2 .9 .11.13
-3)
1527072 1 1! 2!
n = 2, π 3 = + 2
+ 2 2 + 3 2 + ...
280665 2.9 .13 2 .9 .13.15 2 .9 .13.15.17
Volveremos a la fórmula 17.21
k =n
k +1 1 ⎛ 5 ⎞
17.24 π 3 = 16∑ + n ⎜ 2n + , 4 ⎟ , n = 0,1,…
k = 0 ( 4k + 1)( 4k + 3 ) .9
k
9 ⎝ 2 ⎠
58
La fórmula 17.24 puede escribirse en la forma,
17.25
⎛ 5 ⎞ ⎛ 5 ⎞
B ⎜ 2n + , k ⎟ B ⎜ 2n + , k ⎟
k =n
k +1 1 k =r
2 ⎠ 1 ∞
+ n∑ ⎝ ⎝ 2 ⎠
π 3 = 16∑ + n ∑
k = 0 ( 4k + 1)( 4k + 3 ) .9
k k k
9 k =1 4 9 k = r +1 4
, r = 1,2,…
Ahora bien,
⎛ 5 ⎞ ⎛ 3 ⎞
∞
B ⎜ 2n + , k ⎟ B ⎜ 2n + , r + 1⎟
17.26 ∑ ⎝
2 ⎠
< ⎝ ⎠
2
k r
k = r +1 4 3.4
B ( 2n + 1, r + 1)
<
3.4r
Si en la desigualdad 17.26 se restringe el valor de r a la relación r = 2n ,

n = 0,1,…, se tiene,
⎛ 5 ⎞
B ⎜ 2n + , k ⎟
∞
2 ⎠ B ( 2n + 1, 2n + 1)
17.27 ∑ ⎝ k
< , n≥2
k = 2n +1 4 3.42n
2
< 2n 2n +1
, n≥2
3.4 .4
1
=
6.256n
Introduciendo 17.27 en 17.25 se obtiene la fórmula de aproximación,
⎛ 5 ⎞
B ⎜ 2n + , k ⎟
k =n
k +1 1 k = 2n
⎝ 2 ⎠
17.28) π 3 ≈ 16∑ + n ∑ , n = 1,2,…
k = 0 ( 4k + 1)( 4k + 3 ) .9
k k
9 k =1 4
Donde el error cometido en la evaluación de π 3 es menor que ( 2304 ) .

−n
Otras series relacionadas con la constante π pueden ser obtenidas a partir de

la relación,
π
17.29) = 2 (2 − 3)
12
En efecto, aplicando la fórmula 15.8 se deduce
59
π (2n −1)
17.30) = lim 2 (2 − 3)
12 n →∞
De 17.30 se obtienen de inmediato las siguientes series:
( −1)
k
π ∞
17.30-1) =∑
( )
1+ 2k
12 k =0 (1 + 2k ) 2 + 3
-2)
π
=∑
∞
( 6k + 5 ) + ( 4k + 3) 3
48 k =0 ( 4k + 1)( 4k + 3) 2 + 3 4k +3
( )
Proponemos al lector, comprobar que la fórmula,
17.31) π =
⎛8 5+3 3
⎜ 6
+∑
∞ ( ) k!
⎞
⎟
3 ⎜ ⎟
( ) ( )
2(k +1)
2+ 3 ⎜ 3 k =0 1 + 3 .5.7... ( 5 + 2k ) ⎟
⎝ ⎠
puede ser deducida de 17.29.
El lector interesado, puede intentar deducir nuevas series a partir de 15.8 y 17.29.
18. Series relacionadas con el número π y algunas constantes logarítmicas.
Partiremos de la fórmula 6.10 proporcionada en los Preámbulos.

Esto es,
1 ⎛ 3x ⎞ 3 ⎛ 2x − 1 ⎞ π 3
18.1 3 (x) = 1 ⎜ 2 ⎟
+ Arctg ⎜ ⎟+
6 ⎝ 1− x + x ⎠ 3 ⎝ 3 ⎠ 18
Para x = 2 se tiene,
18.2 3 ( 2) =
1
6
1 ( 2) +
3
3
2 ( 3 ) + π183
De donde,
π 3 + Ln3
18.3 3 ( 2) =
6
60
Necesitamos ahora introducir el complemento contráctil de 3 ( 2) .

(Preámbulos 10.1).
18.4
1 ⎛1⎞
3 (2) = 3 ⎜ ⎟
2 2 ⎝4⎠
Tenemos que,
18.5 3 (2) + 3 (2) = A (3)

π π
= csc
3 3
2π 3
= , (Preámbulos 10.3,10.12)
9
De 18.3, 18.4 y 18.5 se deduce,
18.6 ⎛ 1 ⎞ π 3 − 3Ln3
3 ⎜ ⎟=
2 ⎝4⎠ 9
Aplicando a ⎛ 1 ⎞ la fórmula 15.8 queda,

3 ⎜ ⎟
2 ⎝4⎠
⎛1⎞ (2n −1) 1 4 ⎛ 2 ⎞

18.7 ⎜ ⎟= 3 ( )+ ⎜ 2n + ,9 ⎟ , n = 1,2,…
3
2 ⎝4⎠ 2 4 3.64n ⎝ 3 ⎠
Luego,
⎛1⎞ (2n −1) ⎛1⎞

18.8 3 ⎜ ⎟ = nlim 3 ⎜ ⎟
2 ⎝4⎠ →∞
2 ⎝4⎠
De 18.8 se obtienen dos series convergentes a ⎛1⎞

3 ⎜ ⎟
2 ⎝4⎠
( − 1)
k
∞
⎛1⎞
18.8-1) 3⎜ ⎟=∑
k = 0 ( 6k + 4 ) .8
k
2⎝ 4 ⎠
⎛1⎞ 1 ∞ 21k + 19
-2) 3⎜ ⎟= ∑
16 k = 0 ( 3k + 1)( 6k + 5 ) .64 k
2⎝ 4 ⎠
Por lo tanto,
( − 1)
k
-3) π 3 − 3Ln3 = ∑
∞
, (18.6)
9 k =0 ( 6k + 4 ) .8 k
61
∞
21k + 19
-4) π 3 − 3Ln3 = 9 ∑ ( 3k + 1)( 6k + 5 ) .64 k
, (18.6)
16 k =0
Escribamos ahora la parte algebraica de ⎛ 1 ⎞ en la forma,

3 ⎜ ⎟
2 ⎝4⎠
⎛ 1 ⎞ k =n 21k − 2
⎜ ⎟=∑
(2n −1)
18.9)
⎝ 4 ⎠ k =1 ( 3k − 2 )( 6k − 1) .64
3 k
2
Introduciendo 18.9 en 18.7 y haciendo algunas modificaciones en los índices

se tiene,
n
21k + 19 ⎛ 8 ⎞
18.10) π 3 − 3Ln3 = 9 ( ∑ +
1
⎜ 2n + ,9 ⎟ )
16 k = 0 ( 3k + 1)( 6k + 5 ) .64 k 3.64 n ⎝ 3 ⎠
n = 0,1,…
Daremos otra forma a 18.10
⎛ 8 ⎞ ∞ k!
18.11) ⎜ 2n + ,9 ⎟ = ∑ k +1
⎝ 3 ⎠ k =0 3 ( 6n + 8 )( 6n + 11) ... ( 6n + 8 + 3k )
n = 0,1,…
Reemplazando 18.11 en 18.10 queda,
18.12)
9 k =n 21k + 19
π 3 − 3Ln3 = (∑
16 k = 0 ( 3k + 1)( 6k + 5 ) .64 k
∞
1 k!
+
3.64 n
∑ 3 ( 6n + 8 )( 6n + 11) ... ( 6n + 8 + 3k ) )
k =0
k +1
n = 0,1,…
Algunas fórmulas obtenidas a partir de 18.12 son:
171 1 1 1! 2!
18.12-1) n = 0, π 3 − 3Ln3 = + ( + + 2 + ...)
80 16 8 3.8.11 3 .8.11.14
60417 1 1 1! 2!
-2) n = 1, π 3 − 3Ln3 = + ( + + 2 + ...)
28160 16.64 14 3.14.17 3 .14.17.20
Consideremos ahora la relación,
1 3 ⎛ 1 ⎞ π 3
18.13 3 (1) = 1 ( 3) + 2 ⎜ ⎟+ , (18.1)
6 3 ⎝ 3 ⎠ 18
Luego,
62
π 3 + 3Ln 2
18.14 3 (1) =
9
Para el complemento contráctil 3 (1) se tiene,
1
18.15 3 (1) = 3 (1)
2 2
Además,
2π 3
18.16 3 (1) + 3 (1) = , (18.5)
9
Nota: 3 (x ) + 3 (x ) = A (3) , (Preámbulos 10.3,10.7)
De 18.14 y 18.16 se tiene,
π 3 − 3Ln 2
18.17 3 (1) =
9
Esto es,
2 π 3 − 6Ln 2
18.18 3 (1) =
2 9
Por otra parte,
1 ⎛ 1 ⎞
18.19 3 (1) = (2n −1)
3 (1) + ⎜ 2n + , 2 ⎟ , n = 1,2,…
3 ⎝ 3 ⎠
y
2 ⎛ 2 ⎞
3 (1) = (2n −1)
3 (1) + ⎜ 2n + , 2 ⎟ , n = 1,2,…
2 2 3 ⎝ 3 ⎠
De las relaciones 18.19 se deduce,

∞
1
18.20 (1) = 3∑
k =0 ( )( 6k + 4 )
3
6k + 1
y
∞
1
3 (1 ) = 3 ∑
2 k =0 ( 3k + 1)( 6k + 5 )
63
Introduciendo 18.14 y 18.18 en 18.20 queda,
18.21 2 π 3 + 6Ln 2 = ∑
∞
1
27 k =0 ( 3k + 2 )( 6k + 1)
y
2 π 3 − 6Ln 2 ∞
1
27
= ∑ ( 3k + 1)( 6k + 5 )
k =0
De las relaciones 18.21 se obtienen las fórmulas

∞
2k + 1
18.22 4Ln 2 = ∑
27 k = 0 ( 3k + 1 )( 3k + 2 )( 6k + 1 )( 6k + 5 )
4π 3 ∞ 36 ( k 2 + k + 1) − 29
27
= ∑ ( 3k + 1)( 3k + 2 )( 6k + 1)( 6k + 5 )
k =0
Otras series relacionadas con el número π y Ln2 pueden ser obtenidas de las
fórmulas 18.19.
64
19. Sobre la función contráctil 2
La función contráctil 2
admite una representación trigonométrica.
En efecto,
19.1 2 (x ) = ArcTg x , x≥0 , (Preámbulos, 6.2)
Sin embargo, las propiedades más relevantes de 2

derivan de su naturaleza
contractiva. Como función contráctil, la componente esencial de 2
es la serie de
contracciones.
En este apartado se desarrollan aspectos teóricos de 2
y se hacen aplicaciones al
análisis de convergencia y al cálculo del valor límite de series numéricas
relacionadas con el número π .
19.2 Propiedades de 2
y 2
19.2-1) (x ) = ⎛1⎞
2 2 ⎜ ⎟ , x>0
⎝x⎠
π
-2) 2 (x ) + 2 (x ) = , x≥0
2
-3) (x ) + ⎛1 ⎞ π
2 ⎜ 2 ⎟= , x>0
⎝x ⎠ 2
π
2(x ) =
-4) lim
x→∞ 2
-5) lim
x→∞
2 (x ) = 0
π
-6) 2 (0 ) = , (Preámbulos, 10.3)
2
19.3 Teorema.- Para cada número real α > 0,
⎛1⎞ α ∞
4 k B ( k, k )
2⎜ ⎟= ∑
⎝α⎠ 4 (1 + α )
2 k
k =1
Demostración.-
19.3.1 ⎛1⎞ ⎛1⎞

2 ⎜ ⎟=α 2 ⎜ ⎟
⎝α⎠ ⎝α⎠
65
α k +1
⎛ 1 ⎞
= α ∑ ⎜ 1 ⊕ 2 ⎟ .1( )
k 2
k =0 ⎝ α ⎠
⎛1 ⎞
B , k + 1⎟
α ∞ ⎜⎝ 2 ⎠
= ∑
2 k = 0 (1 + α 2 )k +1
⎛1 ⎞
B⎜ ,k ⎟
α ∞
⎝2 ⎠
=
2
∑
k =1 (1 + α )
2 k
Pero,
⎛ 1 ⎞ 4 B ( k, k )
k
19.3.2 B ⎜ , k ⎟ =
⎝2 ⎠ 2
Luego,
⎛1⎞ α ∞
4 k B ( k, k )
19.3.3 2⎜ ⎟= ∑ , α>0
⎝α⎠ 4 (1 + α )2 k
k =1
La aplicación del Teorema 19.3 para algunos valores de α, permite obtener

resultados importantes.
Por ejemplo,
19.3.4 Si α = 1, de 19.3 se tiene,
∞
π = ∑ 2k B ( k , k )
k =1
19.3.5 Si α = 3 , se deduce,
2π 3 ∞
= ∑ B (k, k )
9 k =1
Es preferible escribir este notable resultado haciendo énfasis en la

determinación del valor límite de la serie del segundo miembro.
Esto es escribiendo,
∞
2π 3
19.3.6 ∑ B (k, k ) =
k =1 9
66
Otro resultado relevante se obtiene a partir de 19.3.6.
Tenemos que,
2
19.3.7 B ( k , k ) = 2 B ( k , k + 1) = , k = 1, 2,...
⎛ 2k ⎞
k⎜ ⎟
⎝k ⎠
De 19.3.6 y 19.3.7 se tiene,
∞
1 π 3
19.3.8 ∑
k =1 ⎛ 2k ⎞
=
9
k⎜ ⎟
⎝k ⎠
Proponemos al lector, demostrar la siguiente fórmula aplicando directamente el

Teorema 19.3.
( 2 − 3 )π = ∞
2k B ( k , k )
19.4 ∑
(1 + 3 )
2k
3 k =1
Mostraremos ahora otra variante en la solución de este tipo de problemas.
∞
4π 3
∑ 3 B (k, k ) = 3
k =1
k
Solución.-
⎛1 ⎞
∞ ∞
2B⎜ ,k ⎟
19.5.1 ∑ 3k B ( k , k ) = ∑ 3k . ⎝2 ⎠
k =1 k =1 4k
⎛1 ⎞
∞ k B⎜ ,k ⎟
⎛ ⎞
3 ⎝ 2 ⎠
= 4∑ ⎜ ⎟ .
k =1 ⎝ 4 ⎠ 2
∞
= 4∑ (1 ⊕ 3) .1(
k k −1 2 )
k =1
( ( ))
2 k +1
∞
= 4∑ 1 ⊕ .1( )
k 2
3
k =0
=4 2 ( 3)
67
=4 3 2 ( 3)
4π 3
=
3
19.6 Problema.- Determinar el valor límite de la serie,
∞
B (k, k )
∑
k =1 2k + 1
Solución.-
⎛1 ⎞
2B⎜ ,k ⎟
∞
B (k, k ) ∞
=∑ k ⎝
2 ⎠
19.6.1 ∑
k =1 2k + 1 k =1 4 ( 2k + 1)
⎛1 ⎞
∞ k B⎜ ,k ⎟
⎛ ⎞
1
= 2∑ ⎜ ⎟ . ⎝
2 ⎠
k =1 ⎝ 4 ⎠ 2⎛ k + 1 ⎞
⎜ ⎟
⎝ 2⎠
∞ k
⎛ 1⎞ ⎛1 ⎞ ⎛ 1 ⎞
= 2∑ ⎜1 ⊕ ⎟ B ⎜ , k ⎟ τ 1 ⎜ k + ,1⎟
k =1 ⎝ 3⎠ ⎝ 2 ⎠ 2 ⎝ 2 ⎠
∞ k
⎛ 1⎞ ⎛1 ⎞ ⎛ 3 ⎞
= 2∑ ⎜ 1 ⊕ ⎟ B ⎜ , k ⎟ τ 1 ⎜ , k ⎟ , (Preámbulos, 11.2)
k =1 ⎝ 3⎠ ⎝ 2 ⎠ 2 ⎝ 2 ⎠
∞ k
⎛ 1⎞ ⎛ 3 ⎞
= 2∑ ⎜ 1 ⊕ ⎟ B ⎜ , k ⎟ , (Preámbulos, 11.6)
k =1 ⎝ 3⎠ ⎝ 2 ⎠
∞ k ⎛ 2⎞
⎛ 1 ⎞ 2 ⎜ k −1 ⎟
= 2∑ ⎜1 ⊕ ⎟ . .1⎝ 3⎠
k =1 ⎝ 3⎠ 3
k +1 ⎛ 2⎞
4 ∞ ⎛ 1⎞ ⎜k ⎟
= ∑ ⎜1 ⊕ ⎟ .1⎝ 3⎠
3 k =0 ⎝ 3⎠
4 ⎛ ⎛ 1 ⎞3 ⎞
= ⎜ ⎟
3 23 ⎜⎝ ⎜⎝ 3 ⎟⎠ ⎟⎠
4 3 ⎛ ⎛ 1 ⎞3 ⎞
= 2⎜⎜ ⎟ ⎟
3 ⎜
3⎝⎝ 3 ⎠ ⎟⎠
4 3 3 ⎛ 1 ⎞
= ( −3 2 ⎜ ⎟) , (Preámbulos, 6.7)
3 3 ⎝ 3⎠
2π 3
= 4−
3
12 − 2π 3
=
3
68
El siguiente problema se deja como ejercicio al lector.
∞
1 9 −π 3
∑
k =1 ⎛ 2k + 1⎞
=
9
k⎜ ⎟
⎝ k ⎠
19.8 Problema.- Determinar el valor límite de la serie.
∑ B ( k, k + 2)
k =1
Solución.-
∞ ∞
19.8.1 ∑
k =1
B ( k , k + 2 ) = ∑ B ( k , k + 1) .τ k +1 ( 2k + 1,1)
k =1
∞
B (k, k ) k +1
=∑ .
k =1 2 2k + 1
∞ ⎛
k .B ( k , k ) B ( k , k ) ⎞
= ∑ ⎜⎜ + ⎟
k =1 ⎝ 2 ( 2k + 1) 2 ( 2k + 1) ⎟⎠
∞
1 ∞ B (k, k )
= ∑ B ( k + 1, k + 1) + ∑
k =1 2 k =1 2k + 1
∞
1 ∞
B (k, k )
= ∑ B (k, k ) + ∑
k =2 2 k =1 2k + 1
∞
1 ∞ B (k, k )
= −1 + ∑ B ( k , k ) + ∑
k =1 2 k =1 2k + 1
2π 3 1 12 − 2 3
= −1 + + . , (19.3.6, 19.6.1)
9 2 3
9 −π 3
=
9
19.9 Problema.- Probar que la serie
∑ 4 B ( k , k ) es divergente.
k =1
k
69
Solución.-
∞ ∞
⎛1 ⎞
19.9.1 ∑
k =1
4k B ( k , k ) = ∑ 2 B ⎜ , k ⎟
k =1 ⎝2 ⎠
∞ ∞
⎛1 ⎞
Pero la serie ∑ B ⎜⎝ 2 , k ⎟⎠ es divergente, luego ∑ 4 B ( k , k ) también diverge.
k =1 k =1
k
∞
Nota: A partir del Problema 19.9, se prueba que la serie ∑ α B ( k , k ) diverge para
k =1
k
cada número real α ≥ 4 .
Consideraremos ahora algunas funciones contráctiles relacionadas con 2

.
Recurriremos a la Proposición 5 de los Preámbulos.
19.10 p ( x ) = x − (1 ⊕ p −1 ) 1⊕ p (x ) 1+ p
Escribiremos 19.10 en la forma,
19.11 1⊕ p ( x ) = (1 + p ) (x1⊕p
−1
− p (x )) 1⊕ p −1
Para p = 2 se tiene,
19.12 1⊕ 2 = 2
3
luego,
1
⎛ 13 ⎞
19.13 2 ( x ) = 3( x 3
− 2⎜ x ⎟ )
3 ⎝ ⎠
Hay una sencilla aplicación de 2

3
1
dx
19.13-1) ∫ 2
= 2 (1)
0
1+ x 3 3
= 3(1 − 2 (1) ) , (19.13)

π
= 3(1 − )
4
3(4 − π )
=
4
70
2
19.14 Si p =
3
2 = 2
1⊕
3 5
Pero
5 53 ⎛ 53 ⎞
19.15 2 ( x) = (x − 2⎜x ⎟ )
1⊕
3 3 3⎝ ⎠
De 19.15 se obtiene para 2 la fórmula,

5
5 53 1
⎛ 15 ⎞
19.16 2 ( x) = ( x − 3x 5 + 3 2⎜ x ⎟ )
5 3 ⎝ ⎠
Una sencilla aplicación de 2 es la siguiente:

5
1
dx
19.16-1) ∫ 2
= 2 (1)
0
1+ x 5 5
5
= (1 − 3 + 3 2 (1) )
3
5 3π
= (−2 + )
3 4
5 ( 3π − 8 )
=
12
Proponemos al lector calcular las integrales siguientes:

1 1
dx dx
19.17. a) ∫ 2
, b) ∫ 2
0
1+ x 7 0
1+ x9
Volveremos nuevamente a la teoría de series.
71
19.18. Problema. Determinar el valor limite de la serie,
⎛3 ⎞
∞
B⎜ ,k ⎟
⎝2 ⎠
∑
k =1 4k
Solución.-
⎛3 ⎞
∞
B⎜ ,k ⎟ ∞ k ⎛ 2⎞
⎝ 2 ⎠ = 2 ⎛1 ⊕ 1 ⎞ .1⎜⎝ k −1 3 ⎟⎠
19.18.1 ∑
k =1 4k
∑ ⎜ 3 ⎟⎠
3 k =1 ⎝
k +1 ⎛ 2⎞
2 ∞ ⎛ 1⎞ ⎜k ⎟
= ∑ ⎜1 ⊕ ⎟ .1⎝ 3⎠
3 k =0 ⎝ 3⎠
⎛ ⎞
2 ⎜ 1 ⎟
= 2⎜ ⎟
3
( 3)
3
3⎜ ⎟
⎝ ⎠
⎛ ⎞
2 3 ⎜ 1 ⎟
= 2⎜ ⎟
3
( 3)
3
3⎜ ⎟
⎝ ⎠
2 3 1 ⎛ 1 ⎞
= .3( − 2 ⎜ ⎟) , (19.13)
3 3 ⎝ 3⎠
2π 3
= 2−
6
6 −π 3
=
3
⎛5 ⎞
∞
B⎜ ,k ⎟
⎝2 ⎠
∑
k =1 4k
Solución.-
⎛5 ⎞
∞
B⎜ ,k ⎟ ∞ k ⎛ 2⎞
⎝ 2 ⎠ = 2 ⎛1 ⊕ 1 ⎞ .1⎜⎝ k −1 5 ⎟⎠
19.19.1 ∑
k =1 4k
∑ ⎜ 3 ⎟⎠
5 k =1 ⎝
k +1 ⎛ 2⎞
2 ∞ ⎛ 1⎞ ⎜k ⎟
= ∑ ⎜1 ⊕ ⎟ .1⎝ 5⎠
3 k =0 ⎝ 3⎠
72
⎛ ⎞
2 ⎜ 1 ⎟
= 2⎜ ⎟
5
( 3)
5
5⎜ ⎟
⎝ ⎠
⎛ ⎞
6 3 ⎜ 1 ⎟
= 2⎜ ⎟
5
( 3)
5
5⎜ ⎟
⎝ ⎠
6 3 5 1 3 ⎛ 1 ⎞
= . ( − +3 2 ⎜ ⎟)
5 3 3 3 3 ⎝ 3⎠
8 3π
= 2 3 (− + )
3 3 6
3π 3 − 16
=
3
El siguiente problema se deja como ejercicio.
19.20. Problema. Determinar el valor limite de cada una de las series,
⎛7 ⎞ ⎛9 ⎞
∞
B⎜ ,k ⎟ ∞
B⎜ ,k ⎟
⎝2 ⎠ ⎝2 ⎠
a) ∑
k =1 4k
, b) ∑
k =1 4k
∞
B (k, k )
∑ ( 2k + 1)( 2k + 3)
k =1
Solución.-
∞
B (k, k ) ∞
B (k, k )
19.21.1 ∑ ( 2k + 1)( 2k + 3) =∑
⎛ 1 ⎞⎛ 3⎞
k =1 k =1
4 ⎜ k + ⎟⎜ k + ⎟
⎝ 2 ⎠⎝ 2⎠
∞
1 ⎛ 1 ⎞
= ∑ B ( k , k ) .τ 1 ⎜ k + , 2 ⎟
3 k =1 2 ⎝ 2 ⎠
⎛1 ⎞
∞
B⎜ ,k ⎟
2 2 ⎛5 ⎞
= ∑ ⎝ k ⎠ .τ 1 ⎜ , k ⎟
3 k =1 4 2 ⎝2 ⎠
⎛5 ⎞
B ,k
2 ∞ ⎜⎝ 2 ⎟⎠
= ∑
3 k =1 4k
73
2 3π 3 − 16
= . , (19.19)
3 3
=
(
2 3π 3 − 16 )
9
El siguiente problema se deja como ejercicio.
∞
B (k, k )
∑ ( 2k + 1)( 2k + 3)( 2k + 5)
k =1
⎛1 ⎞
∞
B⎜ ,k ⎟
⎝2 ⎠
∑
k =1 2k
Solución.- Usaremos aquí el notable resultado 19.3.4

⎛1 ⎞ ⎛1 ⎞
∞
B ⎜ , k ⎟ ∞ 2k B ⎜ , k ⎟
⎝2 ⎠ = ⎝2 ⎠
19.23.1 ∑k =1 2 k ∑
k =1 4k
1 ∞
= ∑ 2k B ( k , k )
2 k =1
π
= , (19.3.4)
2
19.24.- Problema. Determinar el valor limite de la serie,
1 1.2 1.2.3
+ + + ...
3.5 3.5.7 3.5.7.9
Solución.- Sea λ el valor límite de la serie 19.24

∞
k!
19.24.1 λ=∑
k =1 3.5.7 ( 3 + 2k )
∞
k!
=∑
3 5 ⎛3 ⎞
k =1
2k +1. . ⎜ +k⎟
2 2 ⎝2 ⎠
74
⎛3 ⎞
∞
B ⎜ , k + 1⎟
= ∑ ⎝ k +1 ⎠
2
k =1 2
⎛3 ⎞
∞
B⎜ ,k ⎟
2
=∑ ⎝ k ⎠
k =2 2
⎛3 ⎞
∞
B⎜ ,k ⎟
1
= − +∑ ⎝ k ⎠
2
3 k =1 2
⎛ 2⎞
1 2 ∞ ⎜ k −1 ⎟
= − + ∑ (1 ⊕ 1) .1⎝ 3 ⎠
k
3 3 k =1
⎛ 2⎞
1 2 ∞ k +1 ⎜ k ⎟
= − + ∑ (1 ⊕ 1) .1⎝ 3⎠
3 3 k =0
1 2
=− + (1)
3 3 23
1 2
2 (1 )
=− +
3 3 3
1 2
= − + (3 − 3 2 (1 ) )
, (Preámbulos, 6.7)
3 3
1 π
= − +2−
3 2
10 − 3π
=
6
Luego,
1 1.2 1.2.3 10 − 3π
19.24.2 + + + ... =
3.5 3.5.7 3.5.7.9 6
75
20.- La Función Sigma ( )
En el contexto de esta separata, se entenderá por Función Sigma la función
∞
20.1 ( x ) = ∑ B ( xk , xk ) , x>0
k =1
Nota.- La denominación de Función Sigma para la función 20.1 ha sido sugerida

por los investigadores J. N. Urra y B. Saavedra.
La siguiente tabla muestra los valores de ( x) con veinte cifras

significativas correctas para algunos valores de x .
⎛1⎞
20.2-1) ⎜ ⎟ = 15.021817238622040603
⎝4⎠
⎛1⎞
20.2-2) ⎜ ⎟ = 4.8367983046245809349
⎝2⎠
⎛3⎞
20.2-3) ⎜ ⎟ = 2.2462655248191434577
⎝4⎠
20.2-4) (1) = 1.2091995761561452337
⎛3⎞
20.2-5) ⎜ ⎟ = 0.42979408259872804963
⎝2⎠
20.2-6) ( 2 ) = 0.17419084711406857798
⎛5⎞
20.2-7) ⎜ ⎟ = 0.075259658860138857627
⎝2⎠
20.2-8) ( 3) = 0.033698716792401033480
Para cada par de números enteros n, k tales que n ≥ 2, k ≥ 1 , se usarán las
siguientes notaciones.
n −1
20.3-1) Bn = ∑ B ( k , k )
k =1
n −1
1 ⎛ 1⎞
Bn( ) = ∑ τ nk ⎜ nk + i, ⎟
k
-2)
i =0 4 i
⎝ 2⎠
20.4. Proposición.-
4
1 < Bn( k ) < , n ≥ 2, k = 1, 2,...
3
76
Demostración.- Tenemos que,
⎛ 1⎞
20.4.1 τ nk ⎜ nk + i, ⎟ = 1 si i = 0
⎝ 2 ⎠
Por otra parte,
⎛ 1⎞ ⎛ 1 ⎞
20.4.2 τ nk ⎜ nk + i, ⎟ = τ nk ⎜ nk + , i ⎟ , i = 1, 2,...
⎝ 2 ⎠ ⎝2 ⎠
⎛ 1 ⎞
B ⎜ nk + , i ⎟
= ⎝
2 ⎠
, i = 1, 2,...
B ( nk , i )
<1
De 20.3-2, 20.4.1 y 20.4.2 se tiene,
n −1
1
1 < Bn( ) ≤ ∑
k
20.4.3
i =0 4i
n −1 i
⎛ 1⎞
= ∑ ⎜1 ⊕ ⎟
i =0 ⎝ 3⎠
⎛ 1 ⎞⎛ ⎛ 1⎞ ⎞
n
= ⎜1 + ⎟ ⎜1 − ⎜1 ⊕ ⎟ ⎟
⎝ 3 ⎠ ⎜⎝ ⎝ 3 ⎠ ⎟⎠
4⎛ 1 ⎞
= ⎜1 − n ⎟ , n≥2
3⎝ 4 ⎠
4
<
3
├
20.5 Teorema.- Para cada número entero n ≥ 2
∑ B( ) B ( nk , nk ) = (1) − B
k =1
n
k
n
Demostración.-
∞
20.5.1 (1) = ∑ B ( k , k )
k =1
n −1 ∞
= ∑ B (k, k ) + ∑ B (k, k )
k =1 k =n
77
∞
= Bn + ∑ B ( k , k )
k =n
Ahora bien, por simple asociatividad podemos escribir,
∞ ∞ n −1
20.5.2 ∑ B ( k , k ) = ∑∑ B ( nk + i, nk + i )
k =n k =1 i = 0
Pero,
⎛1 ⎞
2 B ⎜ , nk + i ⎟
20.5.3 B ( nk + i, nk + i ) = ⎝ 2 ⎠ , i = 0,1,...
4nk +i
⎛1 ⎞
2 B ⎜ , nk ⎟
= ⎝2 ⎠ τ ⎛ nk + 1 , i ⎞
nk ⎜ ⎟
4 .4
nk i
⎝ 2 ⎠
B ( nk , nk ) ⎛ 1⎞
= τ nk ⎜ nk + i, ⎟
4 i
⎝ 2⎠
Introduciendo 20.5.3 en 20.5.2 queda,
∞ ∞ n −1
1 ⎛ 1⎞
20.5.4 ∑ B ( k , k ) = ∑ (∑ 4 τ
k =n k =1 i =0
i nk ⎜ nk + i, ⎟) B(nk , nk )
⎝ 2⎠
∞
= ∑ Bn( ) B(nk , nk )
k
k =1
A partir de 20.5.1 y 20.5.4 se prueba el teorema.

├
Mostraremos ahora, que para valores grandes de n, la serie

∞
∑ B( ) B(nk , nk )
k =1
n
k
es una serie de convergencia rápida.
Escribamos,
∞ r ∞
20.6 ∑ B( ) B(nk , nk ) = ∑ B( ) B(nk , nk ) + ∑ B( ) B(nk , nk )
k =1
n
k
k =1
n
k
k = r +1
n
k
Aplicando la Proposición 20.4 se tiene,
78
∞ ∞
4
20.6.1 ∑ B( ) B(nk , nk ) < 3 ∑
k = r +1
n
k
k = r +1
B (nk , nk )
1
2 B( , nk )
4 ∞
= ∑ 2
3 k = r +1 4nk
∞
8 1 1
< B( , n ( r + 1)) ∑ nk
3 2 k = r +1 4
1
8B ( , n ( r + 1))
= 2
3 ( 4n − 1) 4r
1
8.4n B ( , n ( r + 1))
= 2
3 ( 4n − 1) 4 ( )
n r +1
4⎛ 1 ⎞
= ⎜1 + n ⎟ B(n ( r + 1) , n ( r + 1)) , n ≥ 2
3 ⎝ 4 −1 ⎠
4⎛ 1 ⎞
≤ ⎜1 + ⎟ B (n ( r + 1) , n ( r + 1)) , n ≥ 2
3 ⎝ 16 − 1 ⎠
64 B (n ( r + 1) , n ( r + 1))
=
45
De 20.6 y 20.6.1 se obtiene la fórmula de aproximación,
∞ r
20.6.2 ∑ B( ) B(nk , nk ) ≈ ∑ B( ) B(nk , nk )
k =1
n
k
k =1
n
k
Donde el error cometido en la evaluación del valor límite de la serie es

menor que:
64 B (n(r + 1), n(r + 1))
45
Para cada número entero n ≥ 2 , denotaremos por ν ( n ) el valor límite de la
serie:
∞
∑ B( ) B(nk , nk )
k =1
n
k
Examinaremos los casos particulares n = 2 y n = 3 .
∞
20.7 n = 2 , ν ( 2 ) = ∑ B2( k ) B(2k , 2k )
k =1
Pero,
79
1
1 1
B2( ) = ∑ τ (2k + i, )
k
20.7.1 i 2k
i =0 4 2
1 1
= 1 + τ 2 k (2k + ,1)
4 2
2k
= 1+
⎛ 1⎞
4 ⎜ 2k + ⎟
⎝ 2⎠
k
= 1+
4k + 1
5k + 1
=
4k + 1
Luego,
1
5k + 1
20.7.2 ν ( 2) = ∑ B (2k , 2k )
i =0 4k + 1
A partir de 20.7.2 se deduce,
∞
5k + 1
20.7.3 (1) = 1 + ∑ B ( 2 k , 2k )
k =1 4k + 1
∞
20.8 n = 3 , ν ( 3) = ∑ B3( k ) B ( 3k ,3k )
k =1
Pero,
2
1 1
B3( ) = ∑ τ (3k + i, )
k
20.8.1 i 3k
i =0 4 2
1 1 1 1
= 1 + τ 3k (3k + ,1) + τ 3k (3k + , 2)
4 2 16 2
3k 3k ( 3k + 1)
= 1+ +
⎛ 1⎞ ⎛ 1 ⎞⎛ 3⎞
4 ⎜ 3k + ⎟ 16 ⎜ 3k + ⎟⎜ 3k + ⎟
⎝ 2⎠ ⎝ 2 ⎠⎝ 2⎠
3k 3k ( 3k + 1)
= 1+ +
2 ( 6k + 1) 4 ( 6k + 1)( 6k + 3)
De donde,
∞
3k 3k ( 3k + 1)
20.8.2 ν ( 3) = ∑ (1 + + ) B(3k ,3k )
k =1 2 ( 6k + 1) 4 ( 6k + 1)( 6k + 3)
80
Para (1) se tiene,

7 ∞ 3k 3k ( 3k + 1)
20.8.3 (1) = + ∑ (1 + + ) B (3k ,3k ))
6 k =1 2 ( 6k + 1) 4 ( 6k + 1)( 6k + 3)
Existe otra fórmula para determinar Bn( k ) . En efecto,
j =i
n −1
1 nk + j − 1
Bn( ) = 1 + ∑ ∏ 2nk + 2 j − 1
k
20.9
i =1 2i j =1
De 20.9 se tiene para ν ( n ) ,
j =i
∞ n −1
1 nk + j − 1
20.10 ν ( n ) = ∑ (1 + ∑ ∏ 2nk + 2 j − 1) B(nk , nk )
k =1 i =1 2i j =1
De la fórmula 20.6.2 se tiene,
k =r
20.11 ν ( n ) ≈ ∑ Bn( k ) B(nk , nk ) , n ≥ 2, r = 1, 2,...
k =1
64 B(n(r + 1), n(r + 1))

con un error menor que: .
45
Pero,
3 n ( r +1 )
64 B (n(r + 1), n(r + 1)) −
20.11.1 < 3.10 5
, n ≥ 2, r = 1, 2,...
45
La desigualdad 20.11.1 es significativa para valores grandes de n y r. Si n y r

son números enteros suficientemente grandes, puede hacerse énfasis en la
desigualdad 20.11.1, escribiendo,
3 n ( r +1 )
64 B (n(r + 1), n(r + 1)) −
20.11.2 < < 3.10 5
45
Para valores grandes de n, puede evaluarse ν ( n ) con alta precisión,

mediante la fórmula de aproximación 20.11.
Por ejemplo,
100
20.11.3 ν ( 500 ) ≈ ∑ B500
(k )
.B ( 500k ,500k )
k =1
81
con un error menor que: 3.10−30 300
Ahora bien, la relación,
20.12 (1) = Bn +ν ( n ) , n≥2
implica que (1) puede evaluarse también con alta precisión.

En adelante denotaremos (1) simplemente por . La expresión “El
número sigma” hará referencia exclusiva al valor numérico de (1) .
La siguiente igualdad contiene los primeros 80 dígitos y los últimos 80
dígitos tomados de 1.500.000 dígitos decimales correctos para el número .
20.13 = 1.2091995761 5614523372 9385505094 7704881893

7749872849 3717046589 9569254154 5408423592
7107610177 0312
848823 4328559998 6247425673 7512442994 2494627712 39332721
69 4316356260
Consideremos las siguientes fórmulas:
20.13-1) = B70 000 + ν ( 70 000 )
∞
-2) ν ( 70 000 ) = ∑ B70( k )000 B ( 70 000k , 70 000k )
k =1
El término constante B70 000 (20.13-1) contiene aproximadamente 42 000

dígitos decimales correctos para ; y cada término de la serie 20.13-2 aporta más
de 42 000 nuevos dígitos correctos.
El investigador B. Saavedra, usando el programa Mathematica ®, versión
5.2, de Wolfram´s Research, Inc. obtuvo más de 420 000 dígitos decimales
correctos para , mediante la fórmula:
9
20.13-3) ≈ B70 000 + ∑ B70( k )000 B ( 70 000k , 70 000k )
k =1
82
Obsérvese ahora en detalle la solución del siguiente problema:
20.13-4) Problema.- Probar que,

1
dx
∫x
0
2
− x +1
=
Solución.-
1 1
dx 4 dx
∫0 x2 − x + 1 = 3 ∫0 2 x − 1 2
1+ ( )
3
1
1
4 2 dx dx
= (∫ +∫ )
3 0 1 + (1 − 2 x ) 2 1 1 + ( 2 x − 1) 2
3 2 3
1
1
4 3 ⎛ 1 − 2x ⎞ 2 3 ⎛ 2x − 1 ⎞
= (− 2⎜ ⎟ + 2 2⎜ ⎟ )
3 2 ⎝ 3 ⎠0 ⎝ 3 ⎠1
2
2 3 ⎛ 1 ⎞ ⎛ 1 ⎞
= ( 2 ⎜ ⎟+ 2 ⎜ ⎟)
3 ⎝ 3⎠ ⎝ 3⎠
4 3 ⎛ 1 ⎞
= 2 ⎜ ⎟
3 ⎝ 3⎠
4 3 3 ∞ 4 B (k, k )
k
= . ∑ , (19.3.3)
3 4 k =1
1+ 3
2 k
( )
∞
= ∑ B (k, k )
k =1
20.14.- Colección de resultados notables, que pueden expresarse en

términos de los números , π y algunas constantes logarítmicas.
∞
20.14-1) ∑ B (k, k ) =
k =1
∞
-2) ∑ 2 B (k, k ) = π
k =1
k
∞
-3) ∑ 3 B (k, k ) = 6
k =1
k
83
∞
-4) ∑ 4 B (k, k )
k =1
k
, diverge
( k − 1) B ⎛⎜
3 ⎞
∞
,k ⎟
⎝2 ⎠
-5) ∑k =1 2k
=π −3
∞
-6) ∑ B ( k + 1, k + 1) =
k =1
−1
Observación.- La serie 20.14-5) converge a la “parte” decimal del número π

y la serie 20.14-6) converge a la “parte” decimal del número .
⎛1 1⎞
-7) B⎜ , ⎟ = π
⎝2 2⎠
⎛1 2⎞
-8) B⎜ , ⎟ = 3
⎝3 3⎠
π
-9) lim 2 (x ) =
x→∞ 2
-10) lim
x→∞
3 (x ) =
∞
B (k, k ) π 2
-11) ∑
k =1 k
=
9
∞
B (k, k )
-12) ∑
k =1 2k + 1
= 4−3
π
-13) 2 (1) =
4
1 Ln 2
3 (1 ) =
-14) +
2 3
3 Ln 3
3(2) =
-15) +
4 6
2 Ln 2
-16) 3 (1) = −
2
3
3 1 ∞ 21k + 19
-17) Ln 3 =
2
( − ∑
8 k =0 ( 3k + 1)( 6k + 5 ) .64k
)
∞
2
-18) ∑ k B (k, k ) = 3 (
k =1
+1)
∞
-19) ∑2
k =1
k
k B (k, k ) = π + 2
∞
2
-20) ∑ k B (k, k ) = 3 (
k =1
2
+2 )
84
∞
2
-21) ∑ k B ( k , k ) = 9 (5
k =1
3
+12 )
∞
-22) ∑2
k =1
k
k 2 B ( k , k ) = 2(π + 3)
∞
⎛ 1 1⎞
-23) ∑ B ⎜⎝ k + 2 , k + 2 ⎟⎠ = 3
k =0
∞
⎛ 1 1⎞
-24) ∑2
k =0
B⎜k + ,k + ⎟ = π 2
k
⎝ 2 2⎠
∞
B ( 2k , k ) 3 (π − 2 Ln 2 )
-25) ∑
k =1 2k
=
20
∞
k B ( 2k , k ) 3 ⎛ 6 Ln2 11π ⎞
-26) ∑
k =1 2 k
= ⎜2−
50 ⎝ 5
+
10 ⎠
⎟
⎛ 27 ⎞ B ( 2k , k )
∞ k
-27) ∑ ⎜ ⎟
k =1 ⎝ 4 ⎠ k
= π 2 − 3( Ln 2) 2
Nota: Las fórmulas 20.14-25, 20.14-26 y 20.14-27 son consecuencia inmediata de

las siguientes fórmulas:
∞
1 π Ln 2
20.14-28) ∑
k =1 ⎛ ⎞
3 k
= −
10 5
k ⎜ ⎟ 2k
⎝k ⎠
∞
1 2 6 Ln 2 11π
-29) ∑
k =1 ⎛ 3k ⎞ k
= − +
25 125 250
⎜ ⎟2
⎝k ⎠
k
⎛ 27 ⎞
∞ ⎜ ⎟
⎝ 4 ⎠ = 2π − 2( Ln 2) 2
2
-30) ∑
k =1 2 ⎛ 3k ⎞ 3
k ⎜ ⎟
⎝k ⎠
Las fórmulas 20.14-28, 20.14-29 y 20.14-30 fueron demostradas por el

matemático Necdet Batir y publicadas en su trabajo titulado: “On the series
−1
∞
⎛ 3k ⎞ − n k
∑ ⎜ ⎟ k x ”; bajo las referencias: (3.9), (3.11) y (3.4) respectivamente. Indian
k =1 ⎝ k ⎠
Acad. Sci. (Math Sci), vol. 115. Nº 4. November 2005. pp. 371-381. email:
necdetbatir@hotmail.com.
Hay además, otros resultados notables presentados en el trabajo de Necdet

Batir y recomendamos su lectura.
85
21.- Relación entre el número y el número π
∞
21.1 = ∑ B (k, k )
k =1
⎛1 ⎞
B⎜ ,k ⎟
∞
= 2∑ ⎝ k ⎠
2
k =1 4
∞ k
⎛ 1 ⎞ k −1 2)
= 4∑ ⎜1 ⊕ ⎟ .1(
k =1 ⎝ 3⎠
∞ k +1
⎛ 1⎞
= 4∑ ⎜ 1 ⊕ ⎟ .1( )
k 2
k =0 ⎝ 3⎠
⎛ 1 ⎞
=4 ⎜ ⎟ 2
⎝ 3⎠
4 ⎛ 1 ⎞
= 2⎜ ⎟
3 ⎝ 3⎠
2π 3
=
9
La importante relación 21.1 puede escribirse de dos maneras notables.
2π
21.2-1) 3=
3
9
-2) π 3=
2
En el contexto del Cálculo Contractivo, es apropiado reemplazar en cada una

2π 9
de sus apariciones la expresión 3 por y π 3 por .
3 2
Lo expresado anteriormente es sólo una “sugerencia” hecha por J. N. Urra y
B. Saavedra.
Ejemplos.- En los siguientes ejemplos, se ha seguido la “sugerencia de

Urra-Saavedra”.
1
dx
21.3-1) ∫x
0
2
− x +1
=
1
dx 1
-2) ∫x
0
2
=
+ x +1 2
86
1
x dx 1
-3) ∫x
0
4
=
+ x +1 4
2
⎛1 2⎞
-4) B⎜ , ⎟ = 3
⎝3 3⎠
El ejemplo que sigue se sustenta en algunas relaciones que aparecen en el

trabajo titulado, “Funciones Contráctiles”. Urra-Saavedra. V Congreso Científico de
la Universidad de Oriente. Venezuela, Octubre 2004. Disponible en el sitio web:
www.contractil.com.
Se trata de determinar el valor numérico de la integral definida,

1
3
x6
-5) ∫ dx
0 (1 + x ) 2 4
Recurriremos al Cálculo Contractivo. Consideremos la función: 2,3

.
Tenemos que,
d
( x ) = 7 x −2 (1 ⊕ x 2 )
4
-5.1) 2 ,3
, (Funciones Contráctiles, 3.2)
dx
7 x6
=
(1 + x ) 2 4
Luego,
1
3
x6 1 ⎛ 1 ⎞
-5.2) ∫ dx = ⎜ ⎟
(1 + x ) 2 4 2 ,3
0
7 ⎝ 3⎠
3 ⎛ 1 ⎞
= 2 ,3 ⎜ ⎟
7 ⎝ 3⎠
3+ k +1
3 ∞ ⎛ 1⎞
.1(
3, k 2 )
= ∑ ⎜1 ⊕ ⎟
7 k =0 ⎝ 3⎠
3 ∞ 1 1(
3+ k 2 )
= ∑ .
7 k =0 44+ k 1(3 2)
, (Lección 2, 4.52)
1
∞ B(4 + k , )
3 1
= ∑
7 k =0 4 4+ k
.
1
2
B (4, )
2
87
1
B(k , )
5 3 ∞
= ∑
32 k = 4 4k
2
5 3 ∞
= ∑ B (k, k )
64 k = 4
5 3 6
= ( − )
64 5
5 6 3
= ( 3− )
64 5
5 2π 6 3
= ( − ) , (Sugerencia de Urra-Saavedra)
64 3 5
5π − 9 3
=
96
Esto es,
1
3
x6 5π − 9 3
-5.3) ∫ dx =
0 (1 + x )2 4 96
88
22.- Problemas Propuestos
22.1.- Introducción.- A modo de Introducción, presentaremos algunos ejemplos de

problemas resueltos con el objeto de orientar a los lectores en la búsqueda de la
solución de los problemas que se dejarán propuestos.-
Consideremos la fórmula de descomposición de p .
( −1)
n
⎛ 1+ n p p ⎞
22.2 (x ) = (n −1)
p (x) + ⎜x ⎟ , p > 0, n = 1,2,…
p
1 + np ⎝ 1 + np ⎠
En la fórmula 22.2, (n −1)

p (x) es la “Parte Algebraica” de la descomposición de
p
.
En general, (n )
p (x) viene definido por,
( −1)
k
k =n
x1+ pk
22.3 (n )
p (x) = ∑ , n = 0,1...
k =0 1 + pk
De otro modo,
( −1)
n
x1+ p x1+ 2p x1+ np
22.4 (n )
p (x) = x − 1+ p
+ 1+ 2p
+ ... + , n = 0,1...
1 + np
Ejemplos.
( −1)
k
k =5
x1+ k
22.4-1) (5)
1 (x) = ∑
k =0 1+ k
x 2 x3 x 4 x5 x6
=x− + − + −
2 3 4 5 6
( −1)
k
k =6
-2) (6)
2 (1) = ∑
1 + 2k
k =0
1 1 1 1 1 1
= 1− + − + − +
3 5 7 9 11 13
110937
=
135135
3k
1+
( −1)
k
k =4
x 2
-3) (4)
3 ( x ) = 2∑
2 k =0 3k + 2
89
5 11
x x 2 x4 x 2 x4
= 2( − + − + )
2 5 8 11 8
( −1)
n
1 1 1
-4) (n )
1 (1) = 1 − + − + ... +
2 3 4 1+ n
( −1)
n
1 1 1
-5) (n )
2 (1) = 1 − + − + ... +
3 5 7 1 + 2n
( −1)
n
1 1 1
-6) (n )
p (1) = 1 − + − + ... +
1 + p 1 + 2p 1 + 3p 1 + np
Es útil escribir la fórmula 22.2 en la forma,
1 1
⎛ p ⎞
⎟ = ( − 1) (1 + np ) (
1+ n p (n −1)
22.5 ⎜x
n
p (x )− p (x 1+ n p ))
⎝ 1 + np ⎠
También son útiles las siguientes relaciones:
22.6-1) 1( x ) = Ln(1 + x)
-2) 2 ( x ) = Arctg x
1 ⎛ 3x ⎞ 3 2x −1 π 3
-3) 3 ( x) = 1 ⎜ 2 ⎟
+ Arctg +
6 ⎝1− x + x ⎠ 3 3 18
-4)
4 ( x) =
4 2
1
(2 2 (x ) (
2 + 1 + 2 Arctg x 2 − 1 + ) 1
⎛ 3x ⎞
⎜ 2 ⎟
⎝1− x + x ⎠
)
π
-5) 1 (1) = Ln 2 , 2 (1) =
4
1 Ln 2 π + 2 Ln 1 + 2 ( )
-6) 3 (1) = + , 4 (1) =
2 3 4 2
Ejemplos.-
2
22.7-1) 2 ( x) = (x )
7 1 + 3.2
Esto es, n = 3, p = 2
Luego,
90
⎛ 17 ⎞ ⎛ 17 ⎞
2 ( x ) = −7( 2⎜ x ⎟ −
(2)
2 ⎜ x ⎟) , (22.5)
7 ⎝ ⎠ ⎝ ⎠
Pero,
3 5
(2) ⎛ 7 ⎞
1 1
x7 x7
2 ⎜ x ⎟ = x 7
− +
⎝ ⎠ 3 5
De donde,
3 5
1 7 7 1
x x
2 ( x ) = 7( x − + − ArcTg ( x 7 ))
7
7 3 5
1
-2) 1 ( x) = (x )
5 1 + 4.1
Por lo tanto, n = 4 , p =1
Luego,
⎛ 15 ⎞ ⎛ 15 ⎞
1 ( x ) = 5( 1⎜ x ⎟ −
(3)
1 ⎜ x ⎟) , (22.5)
5 ⎝ ⎠ ⎝ ⎠
Pero,
2 3 4
(3) ⎛ 5 ⎞
1 1
x5 x5 x5
1 ⎜ x ⎟ = x 5
− + −
⎝ ⎠ 2 3 4
De donde,
2 3 4
1 1
x5 x5 x5
1 ( x ) = 5( Ln (1 + x ) −
5
x + − + )
5
5 2 3 4
3
-3) 3 ( x) = (x )
4 1 + 1.3
Luego, n =1, p = 3
⎛ 14 ⎞ (0) ⎛ 4 ⎞
1
3 ( x ) = −4( 3⎜ x ⎟ − 3 ⎜ x ⎟) , (22.5)
4 ⎝ ⎠ ⎝ ⎠
1
⎛ 14 ⎞
= −4( x 4 − 3 ⎜ x ⎟)
⎝ ⎠
⎛ 4⎞1
Nota: 3 ⎜ x ⎟ puede determinarse mediante, 22.6-3)
⎝ ⎠
Ahora, examínese en detalle la solución del siguiente problema.-
91
∞
1
∑ ( k + 2 )( k + 3)( k + 4 ) .5
k =1
k
Solución.- Sea λ el valor límite de la serie 22.8
1 ∞ B ( 3, k + 2 )
22.8.1 λ= ∑ 5k
2 k =1
25 ∞ B ( 3, k + 2 )
= ∑
2 k =1 5k + 2
25 ∞ B ( 3, k )
= ∑
2 k = 3 5k
25 B ( 3,1) B ( 3, 2 ) ∞ B ( 3, k )
= (− − +∑
2 5 25 k =1 5k
∞ k ⎛ 1⎞
5 1 ⎛ 1 ⎞ ⎜ k −1 ⎟
= (−1 − + 5∑ ⎜1 ⊕ ⎟ .1⎝ 3⎠
)
6 20 k =1 ⎝ 4⎠
∞ k +1 ⎛ 1⎞
5 21 ⎛ 1⎞ ⎜k ⎟
= (− + 5∑ ⎜1 ⊕ ⎟ .1⎝ 3⎠
)
6 20 k =0 ⎝ 4⎠
5 21
= (− + 5 1 ⎛⎜ 1 ⎞⎟ )
6 20 3 ⎝ 64 ⎠
5 21 ⎛ 1 ⎞
= (− + 80 1⎜ ⎟)
6 20 3 ⎝ 64 ⎠
Ahora bien, ⎛ 1 ⎞ puede determinarse mediante la fórmula 22.5,

1 ⎜ ⎟
3 ⎝ 64 ⎠
obteniéndose,
22.8.2 ⎛ 1 ⎞ 21 5
1 ⎜ ⎟=− + 3Ln
3 ⎝ 64 ⎠ 32 4
Introduciendo 22.8.2 en 22.8.1 queda,
357 5
22.8.3 λ=− + 200Ln
8 4
Esto es,
∞
1 1600( Ln 5 − Ln 4) − 357
22.8.4 ∑ ( k + 2 )( k + 3)( k + 4 ) .5
k =1
k
=
8
92
22.9. Problema.- Evaluar la integral definida,
1
x3 ( x 2 + 1)
∫ 12
dx
0
1+ x 7
Solución.-
1
x3 ( x 2 + 1) 1
x5
1
x3
22.9.1 ∫ 12
dx = ∫ 12
dx + ∫ 12
dx
0
1+ x 7
1+ x 0
1+ x 7 0 7
1 1
2 (x ) + 3 (x )
1 1
= 6 4
, (Preámbulos 7.2)
6 7
0 4 7
0
1 1
= 2 (1 ) + 3 (1)
6 7 4 7
Observación.- Desde el punto de vista del Cálculo Contractivo, el problema

22.9 se considera resuelto mediante la fórmula obtenida en 22.9.1, puesto que
2 (1 ) 3 (1 )
y pueden evaluarse con alta precisión a través de la función beta-
7 7
contractiva (Teorema 5). Pero si lo que se desea es, expresar el valor de la integral
22.9 en términos de funciones elementales, entonces puede aplicarse la fórmula
22.5.
En efecto,
22.9.2-1) 2 (1) = − 7( 2 (1) − (2)

2 (1)) , (22.5)
7
91 7 π
= −
15 4
-2) 3 (1) = 7( 3 (1) − (1)
3 (1)) , (22.5)
7
21
=7 3 (1) −
4
Pero,
Ln 2 π 3
22.9.2-3) 3 (1) = + , (Preámbulos, 6.10)
3 9
Luego,
7Ln 2 7 π 3 21
22.9.2-4) 3 (1) = + −
7 3 9 4
De 22.9-1, 22.9.2-2 y 22.9.2-4 se obtiene el resultado,
93
1
x3 ( x 2 + 1) 7 (10π (2 3 − 3) + 60 Ln 2 − 31)
22.9.2-5 ∫ 12
dx =
720
0
1+ x 7
De otra forma,
1
x3 ( x 2 + 1)
22.9.2-6 ∫ 12
dx ≈ 0.244698738
0
1+ x 7
22.10 Problema. Determinar el valor limite de la serie,
1.1 2.1.2 3.1.2.3 4.1.2.3.4

+ + + + ...
3.5 3.5.7 3.5.7.9 3.5.7.9.11
Solución. Sea λ el valor límite de la serie 22.10.
∞
k.k !
22.10.1 λ= ∑ 3.5.7 ( 3 + 2k )
k =1
∞
k.k !
= ∑ 3 5 7 ⎛3 ⎞
k =1
2 k +1. . . ⎜ +k⎟
2 2 2 ⎝2 ⎠
⎛3 ⎞
∞
k.B ⎜ , k + 1 ⎟
⎝2 ⎠
= ∑
k =1 2 k +1
⎛3 ⎞
∞ (
k − 1) .B ⎜ , k ⎟
⎝2 ⎠
= ∑
k =1 2 k
⎛3 ⎞ ⎛3 ⎞
∞
k.B ⎜ , k ⎟ ∞ B ⎜ , k ⎟
⎝2 ⎠− ⎝2 ⎠
= ∑
k =1 2 k ∑k =1 2k
⎛3 ⎞
∞
B ⎜ , k + 1⎟ ∞ ⎛ 2⎞
⎝ 2 ⎠−2 ⎜ k −1 ⎟
∑ ∑ ( )
k
= 1 ⊕ 1 .1 ⎝ 3⎠
k =1 2 k +1 3 k =1
⎛1 ⎞
∞
B⎜ ,k ⎟ ⎛ 2⎞
2 ∞
− 1 + ∑ ⎝ k ⎠ − ∑ (1 ⊕ 1) .1⎝ 3 ⎠
2 k +1 ⎜k ⎟
=
k =1 2 3 k =0
∞
1 2
= − 1 + ∑ 2 k B ( k, k ) − 2 (1 )
2 k =1 3 3
π 2
2 (1 )
= −1 + − , (19.3.4)
2 3 3
94
π 2 ⎛ 3π ⎞
= −1 + − ⎜3− ⎟ , (Preámbulos, 6.7)
2 3 ⎝ 4 ⎠
= π−3
Luego,
1.1 2.1.2 3.1.2.3 4.1.2.3.4

22.10.2 + + + + ... = π − 3
3.5 3.5.7 3.5.7.9 3.5.7.9.11
Nota: El problema 22.10 conduce a un resultado notable. En efecto, tal problema

presenta una serie numérica convergente a la “parte” decimal del número π .
Esto es,
1.1 2.1.2 3.1.2.3 4.1.2.3.4

22.10.3 + + + + ... = 0.14159265…
3.5 3.5.7 3.5.7.9 3.5.7.9.11
22.11 Problema. Evaluar la integral definida,

1
x9
∫0 1 + x15 dx
Solución.
1
x9 1
(x )
1
∫0 1 + x15 dx = 10
10
22.11.1 15 , (Preámbulos, 7.2)
0
10
1
= 3 (1)
10 2
1
= 3 (1) , (Preámbulos, 10.1)
5
1
= ( A(3) − 3 (1)) , (Preámbulos, 10.3)
5
1 1 Ln 2
= ( −( + ))
5 2 3
1 Ln 2
= −
10 15
22.12.- Problema. Probar que,
2π + 3Ln (7 + 4 3)
6 (1) =
12
95
Solución.- Para cada número real x > 0 se tiene,
d
22.12.1 6 (1) = 1 ⊕ x − 6 , (Preámbulos, 4)
dx
1
= , (x >0)
1 + x6
Considérese ahora la función,
22.12.2
⎛ 2x 3 ⎞
ϕ ( x) =
1
2 ( x) +
1
2 ( 2 x + 3 ) + 16 Arctg ( 2 x − 3 ) + 123 1 ⎜⎜ 2 ⎟
⎟
3 6 ⎝1− x 3 + x ⎠
Es un ejercicio de rutina, probar que
d 1
22.12.3 ϕ ( x) = , x>0
dx 1 + x6
Ahora bien, 6 y ϕ son funciones continuas en x = 0 y además,
22.12.4 ϕ ( 0) = 0 = 6 ( 0)
De 22.12.1, 22.12.3 y 22.12.4 se deduce que para cada número real x ≥ 0 ,
22.12.5 6 ( x) = ϕ ( x)
Obsérvese que la función ϕ es una representación de 6 en términos de funciones

elementales.
Para x = 1 se tiene,
22.12.6 6 (1) = ϕ (1)

⎛ 2 3 ⎞
=
1
2 (1) +
1
2 ( 2 + 3 ) + 16 Arctg ( 2 − 3 ) + 123 1 ⎜⎜ ⎟⎟
3 6 ⎝ 2− 3 ⎠
Pero,
22.12.7 Arctg 2 − 3 =( ) 2 (2 − 3) , 2− 3 > 0
⎛ 1 ⎞
= 2 ⎜ ⎟
⎝ 2+ 3 ⎠
96
Luego,
π
22.12.8 6 (1) =
1
+ (
12 6
2 (2 + 3) + 2
⎛ 1 ⎞
⎜
⎝ 2+ 3 ⎠
3
⎟) + 12 1 (6 + 4 3 )
πA(2) 3
= + + Ln(7 + 4 3) , (Preámbulos, 10.3)
12 6 12
π π 3
= + + Ln(7 + 4 3)
12 12 12
2π + 3Ln(7 + 4 3)
=
12
Nota: El lector observará que en 22.12.6 se tienen los casos particulares

5π π
(
2 2+ 3 = )12
( )
y Arctg 2 − 3 = . Por lo tanto, a partir de estos datos,
12
puede elegirse otra vía para resolver el problema.
1 1.2 1.2.3 1.2.3.4

+ 2 + 3 + 4 + ...
3.4 3 .4.7 3 .4.7.10 3 .4.7.10.13
Solución. Sea λ el valor límite de la serie 22.13.
∞
k!
22.13.1 λ= ∑ 3 .1.4.7.10. . (1 + 3.k )
k =1
k
∞
k!
= ∑
k =1 k k +1 1 4 7 10 ⎛1 ⎞
3 .3 . . . . . .⎜ + k ⎟
3 3 3 3 ⎝3 ⎠
⎛1 ⎞
∞
B ⎜ , k + 1⎟
3
= 3 ∑ ⎝ k +1 ⎠
k =1 9
⎛1 ⎞
∞
B⎜ ,k ⎟
= 3∑ ⎝ k ⎠
3
k =2 9
∞ k
⎛ 1⎞
= − 1 + 9 ∑ ⎜ 1 ⊕ ⎟ .1(
k −1 3 )
k =1 ⎝ 8⎠
∞ k +1
⎛ 1⎞
.1(
k 3)
= −1 + 9∑ ⎜ 1 ⊕ ⎟
k =0 ⎝ 8⎠
= − 1 + 9 3 ⎛⎜ ⎞⎟
1
⎝2⎠
97
9 ⎛1⎞
= −1 + 3⎜ ⎟
4 ⎝2⎠
9 1 1
= − 1 + ( Ln 3 + )
4 6 4
3Ln 3 − 8 9
= +
8 16
22.14. Problema.- Determinar el valor límite de la serie,
∞
B (k, k )
∑
k =1 2k + 1
Solución.-
∞
B (k, k ) ∞ ⎛ 2k ⎞
22.14.1 ∑
k =1 2 k + 1
= ∑ B ( k , k ) ⎜1 −
k =1 ⎝ 2k + 1 ⎠
⎟
∞ ∞
kB(k , k )
= ∑ B ( k , k ) − 2∑
k =1 k =1 2k + 1
∞
= − 4∑ B(k + 1, k + 1)
k =1
∞
= − 4(−1 + ∑ B (k , k )
k =1
= − 4(−1 + )
= 4−3
≈ 0.372401272
∞
B (k, k )
∑
k =1 k
Solución.-
∞
B (k, k ) ∞
2
22.15.1 ∑
k =1 k
=∑
k =1 2 ⎛ 2k ⎞
k ⎜ ⎟
⎝k ⎠
ζ ( 2)
=2
3
π 2
=
9
Nota: ζ es la función Zeta de Riemann.
98
∑ B ( k , k + 2)
k =1
Solución.-
∞ ∞
22.16.1 ∑ B ( k , k + 2 ) = ∑ B ( k , k )τ k ( 2k , 2 )
k =1 k =1
∞
B ( k , k ) k ( k + 1)
=∑
k =1 2k ( 2k + 1)
∞
k B (k, k ) ∞
B (k, k )
=∑ +∑
k =1 2 ( 2k + 1) k =1 2 ( 2k + 1)
∞
1 ∞ B (k, k )
= ∑ B ( k + 1, k + 1) + ∑
k =1 2 k =1 2k + 1
1
= − 1 + (4 − 3 ) , (22.14)
2
1
= (2 − )
2
∞
B (k, k )
∑
k =1 k3
Solución.-
∞
B (k, k ) ∞
1
22.17.1 ∑
k =1 k3
= 2 ∑
k =1 ⎛ 2k ⎞
k4 ⎜ ⎟
⎝k ⎠
17ζ ( 4 )
=
18
17π 4
=
1620

8
dx
∫ 2 5
1
x +x
3 3
99
Solución.-
2 8
−
8
dx
8
x 3 ⎛ 13 ⎞
22.18.1 ∫ 2 5
=∫
1+ x
dx = 3 3⎜ x ⎟
⎝ ⎠
1
x3 + x3 1 1
= 3( 3 ( 2) − 3 (1))
13 1 1
= 3( + Ln 3 − + Ln 2 )
64 2 3
3 2 Ln 3 − 4 Ln 2
= +
4 4
≈ 0.763058645

8 27 x
dydx
∫∫
1 x
3
x+3 y
Solución.-
8 27 x 8 27 x
dydx dydx
22.19.1 ∫∫ 3
=∫
x+3 y 1
∫ y
1 x x 3
x (1 + 3 )
x
8 2 y = 27 x
⎛ y⎞
= ∫ (x 3
1⎜ ⎟ ) dx
1 3⎝ x ⎠ y=x
8 2
=( 1 ( 27 ) − 1 (1)) ∫ x dx
3
3 3 1
93
= ( 1 ( 27 ) − 1 (1))
5 3 3
279 (2 + Ln 2)
= , (Preámbulos, 6.5)
5
22.20.- Problema.- Sean r, t, a, b números reales tales que, r > 2, t > 0, b > a > 0 .
Probar que,
b tx
dydx 1 1 1
∫∫ x = (t ) ( r −2
− r −2
)
+y r−2
r r r
a 0
a b
Solución.-
y =tx
⎛ y⎞
b tx b tx b
dydx dydx 1
22.20.1 ∫a ∫0 x r + y r = ∫a ∫0 ⎛ y⎞
r
= ∫ ( r −1
x
r⎜
⎝x⎠
⎟
y =0
) dx
x (1 + ⎜ ⎟ )
r a
⎝x⎠
100
b
1
= ∫( ( t ) dx
x r −1
r
a
1 1 1
= (t ) ( r −2
− r −2
)
r −2
r
a b
Ejemplos de aplicaciones del Problema 22.20.

2 x
dydx 1 1 1
22.20-1) ∫∫ x = 3 (1) = + Ln 2 , (22.6- 6)
1 0
3
+y 3
2 4 6
≈ 0.4178244241
3 x
(1) ⎛⎜
dydx 1 1 1⎞
-2) ∫∫ x
2 0
4
+y 4
=
2
4 2
− 2⎟
⎝2 3 ⎠
, (22.6- 6)
=
(
5 π + 2 Ln 1 + 2( ))
288 2
22.21.- Problema.- Evaluar la integral doble,
2 x3
x8
∫∫
1 x2
x6 + y3
dydx
Solución.-
2 x3 2 x3
x8 x2
22.21.1 ∫∫
1 x2
x6 + y3
dydx = ∫ ∫
1 x2 ⎛ y ⎞
3
dydx
1+ ⎜ 2 ⎟
⎝x ⎠
2 y = x3
⎛ y ⎞
= ∫ ( x4 3⎜ 2 ⎟ ) dx
1 ⎝x ⎠ y = x2
2
= ∫ x4 ( 3 ( x) − 3 (1)) dx
1
2 2
= ∫ x4 3 ( x ) dx − 3 (1) ∫ x dx
4
1 1
Integrando por partes la primera integral del segundo miembro de la igualdad

22.21.1 se tiene,
2 2
x5 1 x5
3 ( x ) dx = 3( x) 1 −
2
22.21.2 ∫ x 4
5 ∫ 1 + x3
dx
1
5 1
101
32 1 1
= 3 ( 2) − 3 (1) − ( 1 ( 64 ) − 1 (1))
5 5 30 2 2
Por otra parte,
2
31
22.21.3 3 (1) ∫ x 4 dx = 3 (1)
1
5
Introduciendo 22.21.2 y 22.21.3 en 22.21.1 queda,
2 x3
x8 32 1
22.21.4 ∫∫ dydx = ( 3 ( 2) − 3 (1)) − ( 1 ( 64 ) − 1 (1))
1 x2
x +y
6 3
5 30 2 2
Pero,
3 1 1 1
22.21.5-1) 3 ( 2) − 3 (1) = + Ln 3 − + Ln 2
4 6 2 3
-2) 1 ( 64 ) − 1 (1) = 16 − 2 Ln 9 − 2 + 2 Ln 2
2 2
= 14 − 4 Ln 3 + 2 Ln 2
Luego,
2 x3
x8 18 Ln 3 − 33Ln 2 − 7 8
22.21.6 ∫∫
1 x2
x +y
6 3
dydx =
15
+
5
≈ 1.261463604
22.22.- Problema.- Determinar el valor límite de la serie,

( k !)
2
∞
∑
k =1 ( 2 k ) !
Solución.- Consideremos las siguientes relaciones:
−1
⎛n+ k ⎞
22.22-1) ⎜ ⎟ = n B ( n , k + 1) = kB ( k , n + 1) , n, k = 1, 2,...
⎝ n ⎠
−1
⎛ (1 + m ) k ⎞
-2) ⎜ ⎟ = (1 ⊕ m ) kB ( mk , k ) , m, k = 1, 2,...
⎝ k ⎠
La relación 22.22-1 es evidente. Demostraremos la 22.22-2
102
−1
⎛ (1 + m ) k ⎞
−1
⎛ k + mk ⎞
22.22.3. ⎜ ⎟ =⎜ ⎟
⎝ k ⎠ ⎝ k ⎠
= kB ( k , mk + 1) , (22.22-1)
= kB ( k , mk ) τ mk ( k + mk ,1) , (Preámbulos, 11.5)
k B ( k , mk ) .mk
=
k + mk
= (1 ⊕ m ) k B ( mk , k )
├
Ahora resolveremos el problema 22.22.
( k !) = ∞ 1
2
∞
22.22.4 ∑
k =1 ( 2k ) !
∑
k =1 ⎛ 2k ⎞
⎜ ⎟
⎝k ⎠
∞
= ∑ (1 ⊕ 1) k B ( k , k ) , (22.22.3)
k =1
1 ∞
= ∑ k B (k, k )
2 k =1
1
= (1 + ) , (20.14-18)
3
Esto es,
( k !) = 1 (1 +
2
∞
22.22.5. ∑
k =1 ( 2 k ) ! 3
)
Nota.- Más información sobre la serie 22.22.5 y otras series similares, se encuentra
en la publicación: “Collection of series for π” de los autores “Pascal Sebah and
Xavier Gourdon”. March 31, 2004. Página 8. En el sitio web: //
www.numbers.computations.free.fr/constants/constants.html.
Consideraremos otra serie tomada de la misma publicación de Pascal Sebah y

Xavier Gourdon.
103
( k !) .k .2k
2
∞
∑
k =1 ( 2k ) !
Solución.-
( k !) .k .2k = ∞ k .2k
2
∞
22.23.1. ∑
k =1 ( 2k ) ! ∑ k =1 ⎛ 2k ⎞
⎜ ⎟
⎝k ⎠
1 ∞ k 2
= ∑ 2 .k .B ( k , k )
2 k =1
, (22.22.3)
De donde,
( k !) .k .2k = π + 3
2
∞
22.23.2. ∑
k =1 ( 2k ) !
, (20.14-22)
En la solución del próximo problema, último de esta Introducción, recurriremos a

relaciones que están fuera del alcance de esta separata.- Pretendemos así, que los
lectores interesados tengan una visión ligeramente más amplia del Cálculo
Contractivo y los métodos que serán expuestos en lecciones posteriores.
22.24.- Problema.- Determinar el valor límite de la serie,
∞
⎛ 1 1⎞
∑2
k =1
k
B⎜k + ,k + ⎟
⎝ 2 2⎠
Solución.-
⎛1 1⎞
∞ ∞
2k .2.B ⎜ , k + ⎟
⎛ 1 1⎞ ⎝2 2⎠
22.24.1. ∑2
k =1
k
B⎜k + ,k + ⎟ = ∑
⎝ 2 2 ⎠ k =1 k+
1
4 2
⎛1 1 ⎞
∞
B⎜ , + k ⎟
=∑ ⎝ k
2 2 ⎠
k =1 2
∞ ⎛1 ⎞
⎜ + k −1 2 ⎟
= 2∑ (1 ⊕ 1) 1
k ⎝2 ⎠
k =1
∞ ⎛1 ⎞
k +1 ⎜⎝ 2 + k 2 ⎟⎠
= 2∑ (1 ⊕ 1) 1
k =0
104
⎛1 ⎞ ∞ ⎛1 ⎞
⎜ 2⎟ k +1 ⎝⎜ 2 , k 2 ⎠⎟
= 2.1⎝ 2 ⎠
∑ (1 ⊕ 1)
k =0
1 , (Lección Nº 2-4.52)
⎛1 ⎞
⎛3 1⎞ ∞ 1
+ k +1 ⎜ , k 2 ⎟
= 2 B ⎜ , ⎟ ∑ (1 ⊕ 1) 2 1⎝ 2 ⎠
⎝ 2 2 ⎠ k =0
π 2
1 (1 )
= , (“Funciones Contráctiles”)
2 2,
2
π 2
= 1 (1)
2 2,
2
Ahora bien, la función contráctil 1

admite la siguiente representación en
2,
2
términos de funciones elementales:
⎛ 1 ⎞
22.24.2. 1 ( x ) = 2 ⎜1 − ⎟ , x≥0
2,
2 ⎝ 1+ x ⎠2
De donde,
22.24.3.
2,
1 (1) = 2 − 2
2
Introduciendo 22.24.3 en 22.24.1 se obtiene el resultado,
( )
∞
⎛ 1 1⎞
22.24.4. ∑2
k =1
k
B⎜k + ,k + ⎟ = π
⎝ 2 2⎠
2 −1
A continuación presentamos la lista de problemas cuya solución se deja propuesta al

lector.-
22.25. Problema.- Comprobar que,

1
dx
∫x
0
2
− x +1
=
Observación.- La igualdad proporcionada en el problema 22.25 puede ser

usada para resolver el problema 22.11, combinando métodos convencionales con los
métodos del Cálculo Contractivo.
En efecto,
105
1
x9 1
(x )
1
∫0 1 + x15 dx = 10
10
22.25.1 15 (Prob. 22.11)
0
10
1
= 3 (1)
10 2
1
1 x
= ∫
5 0 1 + x3
dx (Preámbulos 7.2)
1 1
1 x +1 1 1
= ∫
5 0 1+ x 3
dx − ∫
5 0 1 + x3
dx
1
1 dx 1
= ∫ − 3 (1)
5 0 x − x +1 5
2
1 1 1 1
= − ( + Ln 2) , (Prob. 22.25, 22.6-6)
5 5 2 3
1 1
= − Ln 2
10 15
22.26. Problema.- Comprobar que para cada número real positivo a ,
a
dx π + 2 Ln (1 + 2)
∫a
0
4
+x 4
=
4a 3 2
22.27. Problema.- Sean a, r y t números reales positivos.- Probar que,
at
dx 1
∫a = r −1 (t )
+x
r r r
0
a
22.28. Problema.- Comprobar que,

3
3(π + 3Ln (2 + 3))
3 3
dx
∫
0
9+ x 6
=
54
22.29. Problema.- Probar que para cada par de números reales x,y >1,
⎛1⎞ ⎛1⎞ ⎛ x+ y ⎞
2 ⎜ ⎟+ 2 ⎜ ⎟= 2 ⎜ ⎟
⎝ x⎠ ⎝ y⎠ ⎝ xy − 1 ⎠
106
22.30. Problema.- Probar que para cada par de números reales x,y >1,
⎛ x+ y ⎞
2 ( x) + 2 ( y) = π − 2 ⎜ ⎟
⎝ xy − 1 ⎠
22.31. Problema.- Probar que para cada número real positivo α ,
⎛1⎞ α ∞
k
⎛ 4 ⎞
2⎜ ⎟ = ∑ B(k , k ) ⎜ 2 ⎟
⎝ α ⎠ 4 k =1 ⎝ 1+ α ⎠
Observación.- Las igualdades proporcionadas en los problemas 22.29 y

22.31 pueden ser usadas para probar la siguiente fórmula para el número π .
∞
B(k , k )
22.32 π =∑
5 k ( 2.4k + 3.2k )
k =1
En efecto,
k
⎛1⎞ 1 ∞ ⎛4⎞
22.32-1) 2⎜ ⎟ = ∑ B(k , k ) ⎜ ⎟ , (Prob. 22.31)
⎝ 2 ⎠ 2 k =1 ⎝5⎠
k
⎛1⎞ 3 ∞ ⎛2⎞
22.32-2) 2⎜ ⎟ = ∑
⎝ 3 ⎠ 4 k =1
B(k , k ) ⎜ ⎟
⎝5⎠
, (Prob. 22.31)
De donde,
⎛1⎞ ⎛ 1 ⎞ 1 ∞ B(k , k )
22.32-3) 2⎜ ⎟+
⎝2⎠
2⎜ ⎟ = ∑
⎝ 3 ⎠ 4 k =1 5
k ( 2.4k + 3.2k )
Pero,
⎛1⎞ ⎛1⎞ ⎛ 2+3 ⎞

22.32-4) 2 ⎜ ⎟+ 2 ⎜ ⎟= 2 ⎜ ⎟ , (Prob. 22.29)
⎝2⎠ ⎝3⎠ ⎝ 2.3 − 1 ⎠
De 22.32-3 y 22.32-4 se obtiene el resultado,
∞
B(k , k )
22.32-5) π =∑
5 k ( 2.4k + 3.2k )
k =1
107
Comentario.- Consideremos nuevamente el trabajo “Collection of series for π ” de
Pascal Sebah and Xavier Gourdon, referido a continuación del problema 22.22.- En
la página 5 de esa publicación aparecen las fórmulas:
π
22.33-1) = 4 L(5) − L ( 70 ) + L ( 99 ) (Euler)
4
π
-2) = 12 L(18) + 8 L ( 57 ) − 5L ( 239 ) (Gauss)
4
Donde,
⎛1⎞
L( p ) = Arctg ⎜ ⎟
⎝ p⎠
22.34. Problema.- Probar que la fórmula de Euler (22.33-1) puede escribirse en la

forma,
∞
⎛ 20 70 99 ⎞
π = ∑ 4k B (k , k ) ⎜ − + k ⎟
⎝ 26 4901 9802 ⎠
k k
k =1
22.35. Problema.- Probar que la fórmula de Gauss (22.33-2) puede escribirse en la

forma siguiente:
∞
⎛ 216 456 1195 ⎞
π = ∑ 4k B(k , k ) ⎜ + − k ⎟
⎝ 325 3250 57122 ⎠
k k
k =1
Hay 18 fórmulas relacionadas con el número π , presentadas en la página 5 del

trabajo “Collection of series for π ” de Pascal Sebah and Xavier Gourdon, citado
previamente.- En el sitio web: www.numbers.computations.free.fr/
El siguiente párrafo ha sido tomado textualmente de la Enciclopedia Virtual

“WIKIPEDIA”.- Nada, absolutamente nada se le ha agregado y nada,
absolutamente nada se le ha quitado:
Métodos Eficientes.-
1
Los primeros millones de dígitos de π y de se pueden consultar en el Proyecto
π
Gutemberg (Véase los enlaces externos). Uno de los records mas recientes
(Diciembre de 2002) por Yasumasa Kanada de la Universidad de Tokio fija el
número pi con 1.241.100.000.000 dígitos, calculado durante unas 602 horas con un
superordenador de 64 nodos Hitachi SR8000, con una memoria de un terabyte
capaz de llevar a cabo 2 billones de operaciones por segundo, más de seis veces el
108
record previo (206 mil millones de dígitos). Para ello se emplearon las siguientes
fórmulas modificadas de Machin:
π 1 1 1 1
= 12 Arc tan + 32 Arc tan − 5 Arc tan + 12 Arc tan
4 49 57 239 110443
K. Takano (1982)
π 1 1 1 1
= 44 Arc tan + 7 Arc tan − 12 Arc tan + 24 Arc tan
4 57 239 682 12943
F. C. W. Störmer (1896)
Estas aproximaciones proporcionaron una cantidad tan ingente de dígitos que puede
decirse que ya no es útil sino para comprobar el funcionamiento de
superordenadores. La limitación no está en la computación sino en la memoria
necesaria para almacenar una cadena con una cantidad tan grande de números.
Fin del párrafo de Wikipedia.
Los dos problemas siguientes se refieren a las fórmulas de K. Takano (1982) y F. C.

W. Störmer (1896) proporcionadas en el párrafo anterior, tomado de Wikipedia.
22.36 Problema.- Probar que la fórmula de K. Takano (1982), Wikipedia,

puede escribirse en la forma:
∞
⎛ 588 1824 1195 1325316 ⎞
π = ∑ 4k B ( k , k ) ⎜ + − + k ⎟
⎝ 2402 3250 57122 12197656250 ⎠
k k k
k =1
22.37 Problema.- Probar que la fórmula de F. C. W. Störmer (1896), Wikipedia,

puede escribirse en la forma:
∞
⎛ 2508 1673 8184 310632 ⎞
π = ∑ 4k B ( k , k ) ⎜ + − + k ⎟
⎝ 3250 57122 465125 167521250 ⎠
k k k
k =1
22.38. Problema.- Probar que,
⎞ π
∞ k
⎛4⎞ ⎛ 1
∑ ⎜ ⎟ B ( k , k ) ⎜1 + k
k =1 ⎝ 3 ⎠ ⎝ 3
⎟=
⎠ 2
109
∞ ⎛ 3 ⎛ 4 ⎞ ⎞ 1
k
∑ B (k, k ) ⎜ k + 2⎜ ⎟ ⎟ =
⎜7 ⎝ 49 ⎠ ⎟⎠ 2
k =1 ⎝
∑ k B (k, k )
k =1
4
∞
⎛ 5 3⎞
∑ B ⎜⎝ k + 2 , k + 2 ⎟⎠
k =1
∞
1
∑ k (k
k =1
2
− 1) .2k
⎛ 9k ⎞
∞ k
⎛2⎞
∑ ⎜ ⎟ (
k =1 ⎝ 5 ⎠
B k , k ) ⎜ − 2k ⎟
⎝ 6 ⎠

1
x 1
∫x
0
4
+ x +1
2
dx =
4
22.45. Problema.- A partir de las definiciones 1 y 2.1 proporcionadas en los

Preámbulos, probar que,
3( 4 − π )
2 (1) =
3 4
110
22.46. Problema.- Usar el valor de 2 (1) proporcionado en el Prob. 22.45 y la

3
Prop. 5 de los preámbulos para probar que,
(3π − 8)
1
x14
∫0 1 + x6 dx = 36
22.47. Problema.- Determinar el valor numérico de la integral definida,

1
x 35
∫0 1 + x8 dx
2971
lim π ( x) ≈
x →∞ 2500
∞
1 1 ⎛ 37 ⎞
∑ k ( k + 1)( k + 2 )( k + 3)( k + 4 )( k + 5)( k + 6 ) .2
k =1
k
= ⎜ Ln 2 − ⎟
720 ⎝ 60 ⎠
22.50. Problema.- Determinar el valor límite de la serie beta-contractiva,
( 5, 2 )
22.51. Problema.- Usar los métodos de integración bajo la serie de

contracciones para probar que,
∞
∫ ( Ln (1 + x ) − 4 Ln ( x ) ) dx = π
4
2
0
⎛1⎞ 1
lim p ⎜ ⎟=
p →∞
⎝2⎠ 2
111
∞
k 3 + 3k 2 + 2k + 2.3k
∑ k =1 k (k + 1)(k + 2)3k
=1
∞
5.8.11. (2 + 3k )
∑
k =1 6 k
.( k + 1)!
= 33 4 − 4
Ln(1 + 2) ∞
1
= 1− ∑
k = 0 (2k + 1)(2k + 3).2
k
2
∞
1
∑ (2k + 3)(2k + 5)(2k + 7).2
k =0
k
∞
1
∑ (2k + 1)(2k + 3)(2k + 5).3
k =0
k
1.3.5.7. .(1 + 2k )
( )
∞
∑
k =0 4k .(k + 2)!
= 4 3− 2 2
22.59. Problema.- Probar que para cada número real p ≥ 1 ,
1
dx 1 ∞ 1
∫ = p ∑
2 k =0 ( pk + 1).2
k
1+ x p
p
0
112
22.60. Problema.- Probar que para cada número real α > 0 ,
∞
4 1 1 4π
∑ (1 + α
k =1
2
)k B(k − , k − ) =
2 2 α 1+ α 2
∞
2 1 1 3π 2
∑ ( 3)
k =0
2k
B(k + , k + ) =
2 2 4
∞
2 k + 1 2k + 1 2π
∑π
k =0
k
B(
2
,
2
)=
4 −π
∞
1 1
∑3k =1
k
B(k + , k + ) = π
2 2
∞
2.5.8. .(3k − 1) 3 3 3
∑
k =1 k !.27 k
=
4
−1
∞
2.5.8. .(3k − 1) 3
∑ k =1 k !.6k
= 4 −1
∞
(π − 1)(2π − 1)(3π − 1). .(kπ − 1) 2
∑
k =1 k !.(2π ) k
= π −1
2
113
∞
1.3.5.7. .(2k − 1) 49 6
∑
k =1 k !.4802k
=
120
−1
22.68. Problema.- Probar que para cada par de números reales α , p tales que
α > 0, p >1 se tiene,
∞
( p − 1)( 2 p − 1)( 3 p − 1) . .(kp − 1)
= (1 ⊕ α p )
1− p
∑
k =1 k ! p k (1 + α p ) k
p −1
22.69. Problema.- Probar que para cada número real p >1 ,
∞
( p − 1)( 2 p − 1)( 3 p − 1) . .(kp − 1) 2
∑
k =1 k ! (2 p ) k
= p
2
−1
∞
4 1 1 49π 6
∑ ( 2401)
k =0
k
B(k + , k + ) =
2 2 120
1 7
2 ∞
6.13.20. .(6 + 7 k )
∫
7
1 + x dx =
7
(6 + ∑ k )
0
8 k = 0 2 .8.15.22. .(8 + 7 k )
∞
16.19.22. .(16 + 3k ) 23328 3 2 − 29317
∑6
k =0
k +1
.6.7.8. .(6 + k )
=
91
22.73. Problema.- Usar el Teorema 3 (J.N. Urra) para probar que,
∞
1 9 3 1 1 1 1
Ln(347) = ∑ ( k − k + + + + )
k =1 k 2 8 344 345 346 347 k
k k k
114
∞
1 20 5 i =30 1
Ln(1 419 887) = ∑ ( k + k + ∑ )
i =1 (i + 17 )
5 k
k =1 k 2 17
Nota: Obsérvese que los problemas 22.73 y 22.74 se refieren a series no-naturales
para Ln(347) y Ln(1 419 887) respectivamente.
22.75. Problema.- Probar que para cada número real no negativo x ,
∞
1 1
∑ k (1 + x)
k =1
k
(x +
1+ k
) =1
22.76. Problema.- Probar que para cada número real x > 1 ,
∞ ∞
1 1 1 1
∑
k =1 k x
2k
= ∑
k =1 k
( k−
x ( x + 1) k
)
22.77. Problema.- Probar que para cada número real positivo α y cada número
entero positivo n ,
1
α (n, 1 + α ) + (n + 1, 1 + α ) =
n
Nota: La fórmula proporcionada en el Problema 22.77 es referida como Primera

Identidad Beta-Contractiva.
22.78. Problema.- Usar la Primera Identidad Beta-Contractiva para demostrar la

siguiente fórmula para Ln 2 :
1 1 1
Ln 2 = 1 − + − + ... Mercator-Mengoli
2 3 4
22.79. Problema.- Usar la Primera Identidad Beta-Contractiva para demostrar la

fórmula de J. N. Urra para Ln 2 :
k =n
1
Ln 2 = ∑ + (2n + 1, 2) , n = 1, 2,....
k =1 2k (2k − 1)
115

Tercera Separata de La Lección 3

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Tercera Separata de La Lección 3

Uploaded by

Copyright:

Available Formats

Descargado de http://www.contractil.

La Lección Nº 3 correspondiente al curso sobre Funciones Contráctiles estaba

1.- Serie de Contracciones. (Caso uniparamétrico)

Es necesario que p y x no se anulen simultáneamente.

2.- Funciones Contráctiles. (Caso uniparamétrico)

2.1 p (x) = x1− p p (x) , x>0 , p≥0

2.3 -p (x) = x − p (x) , p≥0

Demostración.- Para cada número real x > 0 ,

5.2. Por otra parte, p

5.4 De la Prop.5 se tiene,

5.5 0 (x) = x − 0 (x) , x>0

Concordando con 2.3 y obteniéndose en ambos casos,

Considerando ahora 2.1 se tiene,

5.7 0 (x) = x 0 (x) , x>0

Introduciendo 5.8 en 5.7 queda,

Es claro que en todos los casos se obtiene también,

7.- Aplicaciones de la función contráctil p

Es claro que de 8.1 y 8.2 se tiene,

9.- Integración de la función contráctil p

Nota.- En 9.1 y 9.2 se practicó integración por partes,

Hay otra manera de calcular la integral 9.4. En efecto,

∫ 1 ( x ) dx = ∫ 2(x − ( x ))dx ( 9.4.1)

= 9 − 6 Ln4 + 2 ( 3 − Ln4) , ( 6.4 )

10.- Relación entre la función contráctil p

10.1 Definición.- Para cada número real p > 1 , la función

será referida como Complemento Contráctil de p

Mostraremos algunas propiedades de p

De donde, aplicando límite en 10.3 se tiene,

10.5 lim p (x ) = A (p) , p >1

De 10.5 se deduce que para p > 1 , la función p

Por otra parte, de 10.3 se obtiene también

10.6 lim p (x ) = A (p)

Permitiendo la extensión continua de p

10.7 p (0) = A (p)

Consideremos nuevamente la fórmula 7.1

Sea ahora p > 1

De 10.9 y 10.10 se tiene,

10.12 A (p) = π csc π , p >1

Relaciones más fuertes entre p

11.- Integración bajo la Serie de Contracciones.

Las siguientes fórmulas son útiles en el proceso de integración.-

11.1 Ley de Inversión para funciones Tau-beta.

11.2 Primera Identidad Tau-beta

11.3 Segunda Identidad Tau-beta

11.4 Definición.- Para cada par de números reales x, z tales que x ≥ 0 ,

11.5 Teorema de Factorización para funciones Tau-beta.

El teorema de factorización es aplicable también a la función beta, en la forma,

La fórmula 11.5.1 es compatible con la siguiente definición:

La definición 11.5.2 incluye la función beta en la familia de las funciones tau-beta.

11.6 Teorema de Simplificación para funciones Tau-beta.

12.- Ejemplos. (Integración bajo la Serie de Contracciones)

12.3.- Sea p ≥ 1, α > 1

Es claro que la fórmula general,

incluye los casos 12.1 y 12.2.

Comentario.- En los ejemplos 12.1, 12.2 y 12.3 sólo se muestra la

Ahora bien, la integral impropia

converge para cada número entero k = 0,1,... , solamente si p > 2.

Consideremos un ejemplo de integración numérica.

La integral impropia en 12.5 puede calcularse también mediante 12.3.

concordando con 12.5.

Luego, si p > 1 entonces,

A modo de ejercicio didáctico, resolveremos el siguiente problema:

12.8 Problema.- Probar que,