Semana 10 [1/24]

Sucesiones (II)

2 de mayo de 2007

Sucesiones (II)
Sandwich de sucesiones Semana 10 [2/24]

Lmites y Orden.
Teorema
Sean (un ) y (wn ) sucesiones convergentes a u y w, respectivamente. Si n0 tal que para n n0 se cumple que

un wn

entonces u w.

Demostracin
Usando el lgebra de lmites podemos suponer que un = 0 y entonces que u = 0. Si w < 0 entonces a partir
de algn n0 los trminos de la sucesin (wn ) deben ser todos negativos, lo que es contrario a la hiptesis del
teorema.

Observacin
El teorema dice que una sucesin convergente cuyos trminos son positivos, lo hace a un lmite ` 0.
Recordando que lim n1 = 0, notamos que no es posible cambiar la conclusin anterior por ` > 0.

El teorema permite probar que si (un ), (vn ) y (wn ) son sucesiones convergentes a u, v y w, respectivamente y,
un vn wn , entonces u v w. En particular, si u = w entonces v = u = w. El prximo teorema garantiza
esta misma conclusin, sin asumir que la sucesin (vn ) sea convergente.

Sucesiones (II)
Sandwich de sucesiones Semana 10 [3/24]

Teorema (Sandwich de sucesiones)

Teorema
Sean (un ), (vn ) y (wn ) sucesiones reales. Si (un ) y (wn ) convergen al real ` y adems n0 N tal que

n n0 , un vn wn ,

entonces la sucesin (vn ) tambin converge y lim vn = `.

Demostracin.
Al ser las sucesiones (un ) y (wn ) convergentes a ` tenemos que:

( > 0) (n00 N) (n n00 ) |un `|

y
( > 0) (n000 N) (n n00 ) |wn `| .

ax {n00 , n000 } se cumplen simultneamente las desigualdades

Para > 0 y n m

un `

y
wn ` .
Por otra parte, para n m ax {n0 , n00 , n000 } se cumple que un vn wn . De este modo para todo > 0 existe
0 00
n0 = ma
x {n0 , nn , n0 } que para todo n n0 satisface

un ` vn ` wn ` .

Esto prueba la convergencia de (vn ) a `.

Sucesiones (II)
Sandwich y Bernoulli (I). Semana 10 [4/24]

Desigualdad de Bernoulli (I)

Desigualdad de Bernoulli (I)
La siguiente propiedad conocida como desigualdad de Bernoulli, nos ser muy til en el uso del Teorema del
Sandwich.
(n N)(h > 1)(1 + h)n 1 + nh.

Demostracin.
La propiedad se demuestra mediante el siguiente argumento de induccin. Claramente la desigualdad es
vlida para n = 0. Si aceptamos que es cierta para algn n entonces tendremos que para h > 1 se cumple
que:
(1 + h)n 1 + nh.

Como 1 + h > 0 podemos deducir que

(1 + h)n (1 + h) (1 + nh) (1 + h)

Sabemos que (1 + h)n+1 = (1 + h)n (1 + h) y que (1 + nh) (1 + h) = 1 + (n + 1) h + nh2 .

Entonces, como nh2 0, concluimos que: (h > 1),

(1 + h)n+1 (1 + nh) (1 + h)
= 1 + (n + 1) h + nh2
1 + (n + 1) h

Sucesiones (II)
Sandwich y Bernoulli (I). Semana 10 [5/24]

Sandwich y Bernoulli (I) (q n )

La sucesin (q n ), para q R.
1 lim q n = 1, si q = 1.
2 lim q n = 0, si |q| < 1.
3 lim q n no existe si q (, 1] (1, ).

Caso q (0, 1].

El primer caso, q = 1, es directo.
Para el caso q (0, 1) aplicamos la desigualdad (1 + h)n 1 + nh, con h tal que 1
1+h
= q, es decir 1
q
= 1 + h, y
nos queda  n  
1 1
1+n 1 .
q q

Como q (0, 1), la desigualdad anterior implica las desigualdades:

1
  q n 0.
1
1+n q
1

El lado izquierdo de la ltima desigualdad es una sucesin convergente a cero.

Su lado derecho es la sucesin constante que converge a cero.
Aplicando el Teorema del Sandwich concluimos que (q n ) 0.

Sucesiones (II)
Sandwich y Bernoulli (I). Semana 10 [6/24]

Sandwich y Bernoulli (I) (q n ).

Caso q (1, 1)
Reducimos este caso al anterior observando que si q (1, 1) entonces |q| [0, 1).
Como ya vimos que en esta situacin se cumple que

|q|n 0,

concluimos que (q n ) 0.

Caso q (, 1) (1, )
 n
Para q (, 1) (1, ) la sucesin q1 es nula, pues q1 (1, 1).
Usando lo que sabemos para los recprocos de sucesiones nulas concluimos que la sucesin (q n ) diverge.

Caso q = 1
Este caso es directo ya que sabemos que la sucesin (1)n no converge.

Ejemplos
1 n

n
= 0, lim 35


Los siguientes casos son parte de los resultados anteriores: lim 2 = 0, lim 2n no existe y
lim (3)n tampoco existe.

Sucesiones (II)
Sandwich y Bernoulli (I). Semana 10 [7/24]
n

Sandwich y Bernoulli (I) (qn ) (1)
La sucesin (qn )n , para (qn ) q, con |q| < 1.
Usando el resultado anterior podemos estudiar la sucesin (qn )n cuando (qn ) es una sucesin convergente

a un real q (1, 1). En efecto, existe n0 N, tal que n n0 se cumple que

|q| + 1
0 |qn | .
2
Por lo tanto, elevando a la potencia n se obtiene que
 n
n |q| + 1
0 |qn | .
2
|q|+1
De aqu, tomando lmite, aplicando sandwich de sucesiones y considerando que 2
(0, 1), se concluye que

lim |qn |n = 0.
n

La sucesin (qn )n , para (qn ) q, con |q| > 1.

Notemos que si |q| > 1, la sucesin (qn )n no es acotada, ya que su recproco converge a cero. Por lo tanto,

es una sucesin divergente.

Ejemplos
1 1 n 2n+1 n 1 n




Los siguientes casos son parte de los resultados anteriores: lim 2
+ n 2 = 0, lim 3n+5
= 0, lim 2 n 2

n
no existe y lim 3n+2
1n
tampoco existe.
Sucesiones (II)
Sandwich y Bernoulli (I). Semana 10 [8/24]

n


Sandwich y Bernoulli (I) a .

La sucesin ( n a), para a (0, )


Probaremos que n
a 1 separando el anlisis en los casos a > 1 y a (0, 1); el caso a = 1 es evidente.

Caso a > 1.
a1
Al aplicar la desigualdad de Bernoulli con h = n
se obtiene.
 n
a1 (a 1)
1+ 1+n = a.
n n

n
Usando la monotona de la funcin x se obtiene

 
a1
1+ n a.
n

Como a > 1 se logra el acotamiento

 
a1 n
1+ a 1,
n
donde las sucesiones de los extremos convergen a 1. Usando el Teorema del Sandwich, concluimos que
n


a 1.

Sucesiones (II)
Sandwich y Bernoulli (I). Semana 10 [9/24]

n


Sandwich y Bernoulli (I) a .

Caso a (0, 1).

Como

n 1
a= q
n 1
a
q 
1 1
y > 1 podemos aplicar el caso anterior y obtener que
a
n
a
1 . Aplicando el lgebra de lmites de

sucesiones, concluimos que lim n a = 1.

Ejemplos
q
1

n
Como antes, tenemos los siguientes casos: lim n 10 = 1 y lim 1010 = 1. En el siguiente anlisis se


extender lo hecho para n a al caso de ( n an ) con (an ) a > 0. En particular probaremos que:
q q
1  8 2  n1
1 7n +1
lim n 10 + n12 = 1, lim n 1010 n12 = 1, lim 1 + n1 n = 1 y lim n 3n 8 +1 = 1.

Sucesiones (II)
Sandwich y Bernoulli (I). Semana 10 [10/24]

Sandwich y Bernoulli (I) ( n an ).

La sucesin ( n an ), para (an ) a > 0.

Usando el resultado anterior podemos estudiar la sucesin n an cuando (an ) es una sucesin convergente a
un real a > 0. En efecto, existe n0 N, tal que n n0 se cumple que

a 3a
an .
2 2
Por lo tanto, tomando raz n-esima se obtiene que
r r
n a
n 3a
n an .
2 2
De aqu, tomando lmite y aplicando sandwich de sucesiones, se concluye que

lim n an = 1.
n

Observacin
Notemos que
qen este ejemplo, es importante que a > 0. Qu ocurre cuando a = 0?. Un ejemplo de esto es
la sucesin n n1 . Tendremos que posponer el anlisis de la convergencia de esta sucesin, hasta discutir la
variante de la desigualdad de Bernoulli que veremos a continuacin.

Sucesiones (II)
Sandwich y Bernoulli (II) Semana 10 [11/24]

Desigualdad de Bernoulli (II)

Desigualdad de Bernoulli (II)
Para lograr estudiar los prximos ejemplos necesitaremos la siguiente variante de la desigualdad de Bernoulli.

n (n 1) 2
n N h > 0, (1 + h)n 1 + nh + h
2
o equivalentemente
1 1
n N h > 0, n .
(1 + h) 1 + nh + n(n1)
2
h 2

Su demostracin es muy similar a la realizada para la desigualdad de Bernoulli y queda como ejercicio.

Sucesiones (II)
Sandwich y Bernoulli (II) Semana 10 [12/24]

n


Sandwich y Bernoulli (II) n .

La sucesin ( n n).
Haciendo uso de la desigualdad de Bernoulli (II), para h = 2 y n > 0 se obtiene
n

 n
2 2 n (n 1) 4
1+ 1 + n + 1 + 2 (n 1) n
n n 2 n

De este modo,
2
1+ nn 1
n


Como ambos extremos convergen a 1, concluimos que n n 1.

Observacin
q 
1
Notemos que lo anterior implica que la sucesin n
n
1, lo que responde nuestra interrogante pendiente.

Sucesiones (II)
Sandwich y Bernoulli (II) Semana 10 [13/24]

Sandwich y Bernoulli (II) (nq n ).

La sucesin (nq n ), para q (1, 1).
Veamos que (|nq n |) 0, para q (1, 1). Con esto tendremos que (nq n ) 0, para q (1, 1). Como
n (0)n = 0 podemos suponer que q 6= 0.
1
Usando la segunda forma de la desigualdad de Bernoulli (II) para h = |q|
1 obtenemos

1 1
n
(1 + h) 1 + nh + n(n1)
2
h2

Al multiplicar esta expresin por n y reemplazar el valor de h en el lado izquierdo, se obtiene que
n
0 n |q|n n(n1) 2
.
1 + nh + 2
h

Siendo h una constante, ambos extremos convergen a cero. Concluimos que n |q|n es una sucesin nula.

Ejemplos
Como antes, tenemos los siguientes casos: lim 2nn = 0 y lim (1,000001)
n
n = 0. En el siguiente anlisis se

extender lo hecho antes al caso de potencias de n. Todas estas sucesiones resultarn ser nulas. En
particular probaremos que:
10
n10
lim = 0.
(1, 000001)n

Sucesiones (II)
Sandwich y Bernoulli (II) Semana 10 [14/24]

Sandwich y Bernoulli (II) nk q . n

La sucesin (nk q n ), para k N y q (1, 1).

Este caso ser analizado haciendo uso del lgebra de lmites de sucesiones nulas.
Notemos que se cumple la siguiente igualdad.
  p n k
k n
n |q| = n k |q| .
p
Como q 0 = k
|q| [0, 1), segn lo antes analizado se satisface que
n

n (q 0 ) 0.

La conclusin se obtiene al recordar la siguiente propiedad del las sucesiones nulas,

 
n
n
k
n (q 0 ) 0 n (q 0 ) 0.

Sucesiones (II)
Sandwich y Bernoulli (III) Semana 10 [15/24]

Desigualdad de Bernoulli (III)

Desigualdad de Bernoulli (III)
Usando la desigualdad de Bernoulli podemos deducir la validez de otra desigualdad que ser til en la
n

aplicacin del teorema del sandwich al estudio de la sucesin (1 + hn ) , cuando (hn ) 0. La desigualdad es
 
1 1
(n N) u, u 1, , (1 + u)n
n 1 nu

Demostracin.
1
Al aplicar la desigualdad de Bernoulli con h = 1+u
1, que para 1 + u > 0 cumple que h > 1, se obtiene:
 n  
n 1 1
(1 + h) = 1+n 1 .
1+u 1+u
1 nu


La expresin n 1+u
1 = 1+u nu cuando 1 + u > 0. Con esto
 n
1
1 nu.
1+u

Finalmente, como 1 nu > 0, es posible tomar los recprocos y obtener la conclusin.

1
(1 + u)n .
1 nu

Sucesiones (II)
Sandwich y Bernoulli (III) Semana 10 [16/24]

(1 + hn )n , para (hn ) y (nhn ) nulas.

Proposicin
Se tiene que
lim (1 + hn )n = 1,
cuando (hn ) y (nhn ) son sucesiones nulas.

Demostracin
Como (hn ) 0, existe n0 N tal que hn (1, 1), para n n0 .
Al aplicar la desigualdad de Bernoulli (I) con h = hn > 1 se obtiene

1 + nhn (1 + hn )n .
Como (nhn ) 0, existe n00 tal que nhn (1, 1), para n n00 .
Al aplicar la desigualdad de Bernoulli (III) con u = hn se obtiene

1
(1 + hn )n .
1 nhn
ax {n0 , n00 } se obtiene el acotamiento siguiente.
De este modo, para n m

1
1 + nhn (1 + hn )n
1 nhn
Entonces, como (nhn ) 0, las sucesiones en los extremos convergen a 1. Aplicando el Teorema del
Sandwich se concluye que lim (1 + hn )n = 1.

Sucesiones (II)
Sandwich y Bernoulli (III) Semana 10 [17/24]
n

Sandwich y Bernoulli (III) (an )
Ejemplos
 n
1 n 1


Con lo recin hecho es posible calcular los siguientes lmites: lim 1 + n 2 = 1, lim 1 (n+1)2
= 1 y ms,
generalmente, para todo x e y ,  n
xy
lim 1 = 1.
(n + x) (n + y )

Observacin
Hasta ahora hemos determinado la convergencia de sucesiones de la forma (1 + hn )n en dos casos:
(hn ) h, con h 6= 0, 2, y (hn ) 0 y (nhn ) 0.
 
n
Como ejercicio se le pedir analizar el caso de una sucesin (1 + hn ) que satisface (hn ) 0 y nh1n 0 en
dos situaciones especiales: cuando todos los trminos de (hn ) son positivos y cuando todos son negativos.

n
Con la ayuda del teorema de la seccin siguiente se probar la convergencia de la sucesin 1 + xn , para
x R. sta corresponde a elegir hn = xn y con esto (nhn ) x. El caso x = 0 ya fue considerado. Al final de
esta semana veremos el caso x = 1. El estudio de los sucesiones restantes de esta familia y otras ms
complejas, se realizar en el captulo de la funcin exponencial en la semana 11.

Sucesiones (II)
Sucesiones montonas Semana 10 [18/24]

Sucesiones montonas
Definicin
Sea (sn ) una sucesin real. Entonces:
Diremos que (sn ) es una sucesin creciente a partir de n0 si n n0 se tiene sn+1 sn .
Diremos que (sn ) es una sucesin decreciente a partir de n0 si n n0 se tiene sn+1 sn .

Observacin
Usualmente omitiremos la expresin a partir de n0 diciendo simplemente que la sucesin es creciente o
que es decreciente.
Esto conlleva un abuso de lenguaje pues no es lo mismo decir que una sucesin es creciente que decir
que una funcin es creciente.
Si las desigualdades se satisfacen en forma estricta, es decir > o <, entonces hablaremos de sucesiones
estrictamente crecientes o estrictamente decrecientes, segn sea el caso.
Si una sucesin es creciente, decreciente, estrictamente creciente o estrictamente decreciente, entonces
la llamaremos sucesin montona.

Ejemplo
La sucesin
1 3 5 7 (2n 1)
tn = .
2 4 6 8 (2n)
es estrictamente decreciente.
En efecto,
1 3 5 7 (2n 1) (2n + 1) 2n + 1
tn+1 = = tn < tn .
2 4 6 8 (2n) (2n + 2) 2n + 2
Adems esta sucesin es acotada inferiormente por 0 y superiormente por t1 = 12 .
Sucesiones (II)
Sucesiones montonas Semana 10 [19/24]

Ejemplo de sucesiones montonas

Ejemplo

Consideremos la sucesin (sn ) definida por la recurrencia s1 = 2 y
p
sn+1 = 2 + sn .

(sn ) es acotada.
Veamos que es acotada superiormente por 2, probando que

n N, sn 2.

Para n = 1 es cierto ya que s1 = 2.

Suponiendo que sn 2 tenemos que 2 + sn 4 lo que permite concluir que

p
sn+1 = 2 + sn 4 = 2.

Sucesiones (II)
Sucesiones montonas Semana 10 [20/24]

Ejemplos de sucesiones montonas.

(sn ) es creciente.
Veamos ahora que es creciente, probando que

n N, sn+1 sn .

De la definicin de sn+1 se tiene que

2
sn+1 sn2 = 2 + sn sn2 .
Entonces,
2
sn+1 sn2 = (2 sn ) (1 + sn ) .
El lado derecho de la ltima igualdad es mayor o igual a cero, ya que 0 sn 2. Concluimos que
2
sn+1 sn2 0.
Esto ltimo demuestra que sn+1 sn .

Sucesiones (II)
Sucesiones montonas Semana 10 [21/24]

Teorema de las Sucesiones montonas

Teorema
Si (sn ) es una sucesin (estrictamente) creciente a partir de n0 y acotada superiormente entonces es
convergente y
lim sn = sup {sn : n n0 } .

Si (sn ) es una sucesin (estrictamente) decreciente a partir de n0 y acotada inferiormente entonces es

convergente y
lim sn = nf {sn : n n0 } .

Demostracin.
Slo demostraremos la primera afirmacin. La segunda ser parte de los ejercicios.
Supongamos que (sn ) es creciente a partir de n0 .
El acotamiento de la sucesin (sn ) nos dice que el siguiente conjunto A es no vaco y acotado superiormente.

A = {sn : n N, n n0 } .

En virtud del Axioma del Supremo existe s, supremo de A, que cumple n N, n n0 sn s.

Dado > 0 el real s no es cota superior del conjunto A. Entonces, existe m0 n0 con s < sm0 .
El crecimiento de (sn ) implica que para todo n m0 , se cumple que sm0 sn .
As, para todo n m0 ,
s sn s s + .
Esto demuestra que (sn ) converge a s.

Sucesiones (II)
Sucesiones montonas Semana 10 [22/24]

Aplicacin del Teorema de las Sucesiones Montonas

Ejemplo
Como ya vimos la sucesin
1 3 5 7 (2n 1)
tn = ,
2 4 6 8 (2n)
es estrictamente decreciente y acotada inferiormente por 0. En virtud del Teorema de las Sucesiones
Montonas la sucesin converge.

Ejemplo
Para la sucesin (sn ) definida anteriormente sabemos que es creciente y acotada superiormente. En virtud del
Teorema de las Sucesiones Montonas se concluye que (sn ) es convergente. Veremos que en este caso, la
recurrencia p
sn+1 = 2 + sn ,
permite calcular ` = lim sn .
Recordando

un ejercicio de la semana pasada, sabemos que si (sn ) ` entonces (sn+1 ) ` y
2 + sn 2 + `. De este modo, se tiene la siguiente ecuacin para `.

`= 2 + `.

Esta ecuacin tiene como nica solucin a ` = 2.

Se concluye que
(sn ) 2.

Sucesiones (II)
Sucesiones montonas Semana 10 [23/24]

El nmero e
Ejemplo
Como ltimo ejemplo estudiaremos la sucesin (sn ) dada a continuacin, que pertenece a la familia de
n

sucesiones de la forma (1 + hn ) , con (hn ) 0.
 n
1
sn = 1+
n

(sn ) es creciente
1 n+1 1 n+2 sn+1
Como 1 + n
= n
y1+ n+1
= n+1
, al reemplazar sn+1 y sn en sn
se obtiene.

1

n+1  n+1 
1 + n+1

sn+1 n (n + 2) 1
=
n = 1+ .
sn 1 + n1 (n + 1) (n + 1) n

n (n+2) 1 1 1



La expresin n+1 (n+1)
es igual a 1 n+1
1+ n+1
, que a su vez es igual a 1 (n+1)2
. Entonces, podemos
1
aplicar la desigualdad de Bernoulli, para h = (n+1) 2 y obtener
!n+1     
sn+1 1 1 1 1
= 1 1+ 1 1+ =1
sn (n + 1)2 n n+1 n

Sucesiones (II)
Sucesiones montonas Semana 10 [24/24]

El nmero e
(sn ) es acotada superiormente
Como ya vimos que la
1

sucesin es creciente, sabemos que sn s2n . Usando la desigualdad de Bernoulli (III)
para u = 2n 1, n1 obtenemos lo siguiente.
 n
1 1
1+ 1
= 2.
2n 1 n 2n

De aqu, podemos concluir que

 2n
1
sn s2n = 1+ 4.
2n

Conclusin
1 n


El Teorema de las Sucesiones Montonas permite concluir que lim 1 + n
existe.
Se define  n
1
e = lim 1 + .
n
Recordando que (sn ) es creciente y rehaciendo la demostracin de su acotamiento, se obtiene:
 k  k
k +1 k
k N, k 2, 2 e 4.
k k 1

e 2.718281828 . . .

Sucesiones (II)