UNIVERSIDAD PEDAGÓGICA NACIONAL

FRANCISCO MORAZÁN
CENTRO UNIVERSITARIO DE EDUCACIÓN A DISTANCIA
ESPACIO DE ECUACIONES DIFERENCIALES
DE LOS DOCUMENTOS DE MAURICIO MONCADA

OTROS EJERCICIOS CON CRITERIO DE CAUCHY

Ejemplo 1: Usando cada criterio de Cauchy demuestre la convergencia de la

sucesión dada: Sn : A definida por  Sn    n  n  1 , n ,n  1 

1) Gráfica de la sucesión:

2) Demostración:
Para todo   0, existe m 0  tal que para todo p , q  , con p  m 0 , q  m 0 se cumple que

p  p 1   
q  q  1   , luego:

p p 1  q q  1  p  p 1  q  q 1

 p  p  1  q  q  1 , truncando para q se tiene:

 p  p  1   , para todo p  1, p  p  1  0, entonces:

 p  p 1 

Por otro lado, p  m 0 implica p  m 0 , además p  1  m 0  1 , luego:

 p  1   m0  1
 p  1  p   m0  1  m0

p  p  1  m0  m0  1
Comprobación:
54  32  54  54  1  32  32  1  0.06835  0.08908
  
2
Entonces m 0  m 0  1    m0  m0  1  2

     
2 2
m0 2 m0 m0  1  m0  1  2

 m 0  2 m 0 m 0  1  m 0  1  2 
 2 m 0  1  2 m 02  m 0   2

  2 m 02  m 0   2  2 m 0  1
 2 m0  1   2
  2 m  m0  2

2
0

2 m 0  1   2 
  2 m  m0  2
0
2
 2 1
  2 m 02  m 0  m 0   
 2 
2

     2  1
2
 m  m0
2
0   m0   
  2 
  2  1     1
2 2

 m 0  m 0  m 0  2m 0 
2 2

 2  4

  2  1     1
2 2

 m  m 0  m  2m 0 
2
0 
2
0
 2  4

  2  1
2
 2 1
 2m 0    m0 
 2  4

     1
2
   2 1
2

m0  2   1  
  2   4

  1
2 2

 m 0 2

4
  1
2 2

 m0 
4 2

  1
2 2

Basta tomar m 0  para que el límite exista y la sucesión sea de Cauchy.

4 2
  0.01 
2
1
2

Por ejemplo, si   0.01 entonces m 0   2500.5  2500 . La sucesión es

4  0.01
2

convergente excepto para los primeros 2500 términos.

Ejemplo 2: Usando cada criterio de Cauchy demuestre la convergencia de la

 m 2  2m 
sucesión dada: Sn :  A  definida por S m    
 m2 
a) Graficar la sucesión en el plano cartesiano
 S    0,1, 2, 3, 4, 5,6,7,8,9,10...
m

b) Demostración por el criterio del límite:

m 2  2m m m  2
lim  lim  lim m   
m m 2 m    m  2 m

 m 2  2m 
 
Como el límite no existe, S m    es divergente.
 m2 
Tarea: Demostrarlo por los demás criterios. Además revisar los ejemplos 1 al 5 de las
página 50 y 51 del texto.
  m 2  2m   m  m  2  
 
Sm      m
 m  2    m  2  
Para todo   0, existe m 0  tal que para todo p , q  , con p  m 0 , q  m 0 se cumple que
p  q   , luego, si pérdida de generalidad, suponga que p  q , entonces, para todo p , q
que se tomen, la diferencia mínima es de 1. Esto porque si p  m 0 , q  m 0 el orden estos números
sería: m 0  q  p. Por ejemplo, m 0  0  q  1  p  2. En general:
p  q  pq  0
 p  q  1, quiere decir que si 0    1, p  q   .
Como la condición es que para todo   0 existe m 0  , entonces para 0    1 no existiría m 0 ,

 
por tal razón S m   m  no es de Cauchy y por ende es divergente.

Ejemplo 2: Usando cada criterio de Cauchy demuestre la convergencia de la

ln m 
sucesión dada: Sm :  A  definida por  Sm    , n  
 m 

Para todo   0, existe m 0  tal que para todo p , q  , con p  m 0 , q  m 0 se cumple que
ln m
  , luego:
m
ln p ln q
 , racionalizando se tiene:
p q
p ln p q ln q
 
p q
q p ln p  p q ln q
 , truncando para q se tiene:
pq
q p ln p  p

p
p ln p  p
   , con p  0 y como para todo p  , p ln p  p  0, luego:
p
p ln p  p    
p ln p  p  p  p ln p. Entonces:
p  p ln p
   , sacando factor común p:
p

p  p  ln p  
p

p  ln p
   , truncando p del numerador se tiene:
p

ln p  ln p ln p  ln p  ln p
    , por definición de valor absoluto, como  0, entonces,     
p p p  p p
 
ln p
 
p
1 1
Por otro lado, p  m 0 implica que  , luego:
p m0

1 1  1   1 
  ln p    ln m 0  
p m0  p  m0 
   
ln p ln m
 
0

p m0
Comprobación:
ln 39 ln 17
p  39  m 0  17  
39 17
 0.586639362...  0.687155169...
Despejando para m 0 se tiene:
ln m 0
   ln m 0  m0 
m0
m0 
 ln m 0   m0  e  m0
Esta ecuación no se resuelve algebraicamente, debe utilizarse un método numérico para
resolverla. Es un ejemplo de una expresión en la que tratar de despejar m 0 en términos de 
0.01 m0
no es una tarea que se pueda realizar. Por ejemplo, si   0.01 entonces e  m 0 . Usando
el método numérico Newton – Raphson, resulta que se debe tomar m 0  1.0101  1 para
que la sucesión cumpla la condición de convergencia de Cauchy.

TAREA: Siguiendo los ejemplos anteriores, demostrar por el criterio de Cauchy

el ejercicio 25 de la página 97, incisos a), d), f), i), l), n)