ANALISIS MATEMATICO

Sucesiones (Segunda Parte)

Sucesiones montonas
(Ver Fascculo 2)
Las sucesiones son funciones que tienen por dominio a los nmeros naturales.
Estudiaremos en esta clase, aquellas sucesiones que son funciones crecientes o
decrecientes de su variable natural (sucesiones montonas). Es decir
an1 an para (casi) todo n. En tal caso ser decreciente o
an1 an para (casi) todo n. En tal caso ser creciente
Observemos que, si la sucesin es de trminos positivos es equivalente decir que
an 1
1 equivalente a an decreciente.
an
an 1
1 equivalente a an creciente.
an

Teorema sobre sucesiones montonas

El estudiar una clase particular de sucesiones nos permite decir ms sobre esa
clase. Este es un recurso habitual de la matemtica: si no puedes decir mucho
sobre un conjunto de objetos (en nuestro caso las sucesiones), toma un
subconjunto (las sucesiones montonas) y trata de decir algo ms sobre ellos.
Si an es una sucesin creciente puede ser que el conjunto A an : n est
acotado superiormente o que no lo est. Para cada uno de estos dos casos se
tiene el siguiente teorema.
o Si A an : n est acotado superiormente, entonces existe
lim an L
n

o Si A an : n no est acotado superiormente, entonces lim an

n
De forma anloga, hay una versin del teorema cambiando creciente por
decreciente y acotada superiormente por acotada inferiormente y lim an
n
por lim an .
n

En otras palabras, el teorema dice que la sucesin no puede oscilar: o tiene lmite
finito o tiende a infinito (ms o menos segn sea creciente o decreciente)
El teorema es de los llamados teoremas de
existencia, esto es, asegura que el lmite s sup(an )
existe (en el caso de acotacin) pero no dice
cunto vale (ni cmo calcularlo).
Aunque pueda parecer poca cosa, el slo
hecho de saber que el lmite existe, nos
permitir en varios casos poder calcularlo
efectivamente.
La demostracin del teorema se encuentra
en la pgina 30 del Apunte terico y es un lim an s
n
buen ejemplo (otro ms) de la necesidad de
contar con el axioma de completitud de los nmeros reales que presentamos en
la primera clase.
 Algunos ejemplos importantes
Estudiaremos algunos ejemplos importantes de sucesiones, no slo por los
ejemplos en s, sino por las tcnicas usadas para calcular sus lmites. Haremos
uso del teorema recin enunciado.
o an r n , 0 r 1
1
Si experimentamos con algn caso particular ( r por ejemplo,
2
1
an n
) es fcil convencerse de que la sucesin tiende a 0 ya que 2n
2
crece a ms infinito. Veamos cmo este convencimiento se puede
plasmar en una demostracin.
an 1
La sucesin es de trminos positivos. Estudiamos el cociente a los
an
efectos de compararlo con 1. Se tiene que

an 1 r n 1
n r 1 para todo n.
an r
Entonces la sucesin es decreciente. Adems, dijimos que es de trminos
positivos, por lo que 0 an , es decir, est acotada inferiormente. El
teorema nos dice entonces que existe el lmite lim an L 0 . Apostamos
n

a que L 0 . Pues bien, veamos qu pasa si fuera L 0 . En tal caso,

an 1
podemos aplicar el Teorema de lgebra de lmites al cociente y
an
obtenemos la siguiente contradiccin:
an 1 nlim an 1 L a
Por un lado: lim 1 , por otro lado lim n1 lim r r
n a lim an L n a n
n n
n
Como el lmite es nico, debe ser 1 r . Pero r 1 . Luego no queda otra
que L 0 . En consecuencia
0 r 1 lim r n 0
n
Con una cuenta similar se obtiene que si
r 1 lim r n
n
n
r
o bn , r 1
n
Otra vez tenemos una sucesin de trminos positivos. Estamos ante una

indeterminacin del tipo . Si tuviramos que conjeturar un resultado,

habra que decidir quin va ms rpido a ms infinito, si el numerador
bn 1
o el denominador. Calculamos el cociente y lo comparamos con 1.
bn
r n 1
n n 1 r
bn 1 n
(*)
bn r n 1
n
 n
Observamos que como r 1 y 1 , el
n 1 n 1
r 1 si n
producto r
n
1 para casi todo n. Entonces n 1 r 1
n 1
rn
la sucesin bn es creciente. El teorema de las sucesiones montonas
n
nos dice que si est acotada superiormente tiene limite finito, caso
contrario, tiende a ms infinito.
Supongamos que efectivamente, est acotada superiormente. En tal caso
lim bn L 0 y se puede usar el lgebra de lmites en la expresin (*) y
n
obtener:
bn 1 L b n
Por un lado lim 1 y por otro lado lim n 1 lim r r
n b L n b n n 1
n n
Se llega a la contradiccin: r 1 cuando tenamos de movida que r 1 .
rn
Esta contradiccin proviene de suponer que la sucesin creciente bn
n
n
r
est acotada superiormente. Por lo tanto bn no est acotada
n
superiormente. El teorema nos dice entonces que
rn
r 1 lim
n n

En otras palabras, la exponencial r n es ms rpida que n ( r 1 )

Con una cuenta similar se obtiene que

0 r 1 lim nr n 0
n

o cn nn

Nos apoyaremos en el lmite anterior. Observemos en primer lugar que

cn n n 1 para todo n.
Vamos a probar que lim n n 1 .
n
Cualquiera sea 0 , basta probar que
1 n n 1 para casi todo n.
Llamamos r 1 1 y la desigualdad a probar es equivalente a probar
que
n (1 )n r n para casi todo n
rn rn
Es decir 1 para casi todo n. Pero sabemos que pues r 1 .
n n
rn
Entonces seguro que 1 para casi todo n. Luego
n
lim n n 1
n
 El ejemplo biolgico
Recordemos que tenamos la sucesin dada en forma recurrente por la frmula
pn1 rpn (1 pn ) , 0 p0 1
Vamos a probar que si la vitalidad de la poblacin es baja ( 0 r 1 ), entonces la
poblacin a la larga se extingue. Es decir lim pn 0 .
n

Solucin
La sucesin pn est acotada tanto superior como inferiormente pues
0 pn 1 para todo n
pn 1
Adems, se puede fcilmente comparar con 1 el cociente
pn
pn 1
r (1 pn ) 1
pn
Entonces la sucesin pn es decreciente. Entonces, de acuerdo al teorema
de las sucesiones montonas, existe lim pn p con 0 p 1 . Veamos
n

que p 0 . Si as no lo es, resulta p 0 y se llega a la siguiente

contradiccin:
pn 1 p
Por un lado lim 1 y por otro lado
n pn p
pn1
lim lim r (1 pn ) r (1 p)
n pn n

Como el lmite es nico, ambos valores deben coincidir, de donde

1
p 1 0
r
Contradiciendo la suposicin de que p 0 . Se sigue que
lim pn 0 , es decir, la poblacin a la larga, se extingue.
n

El Criterio de Cauchy o de la raz ensima

Hemos visto que r n tiende a 0 si r est entre 0 y 1 y tiende a ms infinito si r es
mayor que 1. Se puede extender fcilmente este resultado para valores negativos
de r diciendo que
r n 0 si 1 r 1
r n si r 1
Este ejemplo sirve para dar un criterio que ser muy til para el clculo de
lmites. Se quiere calcular el lim an . El criterio de Cauchy dice que
n

Si lim n an L vale que:

n
Si 0 L 1 entonces lim an 0
n

Si L 1 o es ms infinito entonces lim an

n
Si L 1 entonces el criterio no sirve para decidir el lim an
n
 Demostracin (caso 0 L 1 )
Del grfico se deduce que n an r 1 . 1
Entonces an r n . Entonces, aplicando la r n an
L
propiedad del sndwich resulta lim an 0 ,
n
de donde lim an 0
n

n
1 2
Ejemplo: Calcular lim
n 2 n
Aplicamos el criterio de la raz ensima:
n
1 2 1 2 1
n
1
2 n 2 n 2

n
1 2
El criterio dice entonces que lim 0
n 2 n

El Criterio de DAlembert o del cociente

Se basa en la idea que usamos en el problema biolgico y en los primeros
ejemplos. Se quiere calcular el lim an . El criterio de DAlembert se enuncia
n
como sigue
an 1
Si lim L vale que:
n an
Si 0 L 1 entonces lim an 0
n

Si L 1 o es ms infinito entonces lim an

n
Si L 1 entonces el criterio no sirve para decidir el lim an
n
Demostracin (caso L 1 )
Mirando el grfico, se deduce, en este caso, que
an 1 an 1
r 1 . Entonces an1 an . Entonces la L an
an r
sucesin an es creciente. Si llegara a estar 1
acotada superiormente, tendra lmite finito y
mayor que cero. En tal caso se llega a la contradiccin:
an 1 nlim an 1
L lim 1
n an lim an
n
En contradiccin con el hecho de que L 1 . La contradiccin proviene de
suponer que an est acotada superiormente. Luego an no est acotada
superiormente, adems vimos que es creciente. Entonces lim an
n
 n3
Ejemplo: Calcular lim
n n !

Aplicamos el criterio del cociente:

(n 1)3 1
n 2 (1 ) 2
an 1 (n 1)! (n 1)3 n! (n 1) 2 n 1 (1 1 ) 2 0

an n 3
(n 1)! n 3
n 3
n 3
n n
n!
n3
Como 0 1 , el criterio dice que lim 0
n n !

Observe que, en general, el lmite de cociente de DAlembert no tiene

por qu coincidir (como ocurre en este ejemplo) con el lmite de la sucesin
original.