Sicrsioxrs rr xxrnos nr.trs Drrixicix . rnorirr.

rrs
|
Sucesiones de nmeros reales
4
4.1 Denicin y propiedades 47 4.2 Sucesiones parciales 49 4.3 Monoto-
na 50 4.4 Sucesiones divergentes 53 4.5 Criterios de convergencia 54 4.6 Ve-
locidad de convergencia 56 4.7 Ejercicios 57
El concepto de lmite es bsico en Clculo y, de entre las diversas posibilidades, hemos elegido
que haga su aparicin asociado a sucesiones de nmeros reales. La idea intuitiva de sucesin es
sencilla: una sucesin es una lista ordenada.
4.1 Denicin y propiedades
Denicin 4.1. Una sucesin de nmeros reales es una aplicacin del conjunto de los Sucesin
nmeros naturales en el conjunto de los nmeros reales, esto es,
N R,
n x
n
.
Llamaremos trmino general a x
n
y, usualmente, no mencionaremos la funcin sino slo la Trmino general
imagen de la funcin. Dicho de otra manera, hablaremos de sucesin con trmino general x
n
y la
notaremos {x
n
}
nN
o (x
n
)
nN
.
x
x
x +
1 2 3

n
x
n
Figura 4.1 Lmite de una sucesin
Ejemplo 4.2. Hay dos formas usuales de denir una su-
cesin: mediante una frmula general que nos permita ob-
tener todos los trminos de la sucesin o, por recurrencia,
o sea obtenemos cada trmino en funcin de los anterio-
res. Por ejemplo, la sucesin
_
1
2n1
_
nN
es la sucesin 1,
3, 5, 7,... Como puedes ver, sabemos todos los trminos
de la sucesin. El que ocupa el lugar 53 es
1
105
. En cam-
bio, la sucesin denida como x
1
= 0, x
2
= 1 y x
n+2
=
x
n+1
+ x
n
conocida como sucesin de Fibonacci est de-
nida por recurrencia. Para calcular un trmino tenemos
que conocer previamente el valor de los dos anteriores. No
importa. Puesto que sabemos los dos primeros, podemos calcular el tercero y as sucesivamente:
0, 1, 2, 3, 5, 8, 13, 21, . . .
Denicin 4.3. Diremos que la sucesin {x
n
}
nN
es convergente si existe x R vericando Sucesin conver-
gente
que para cada > 0 existe n
0
N tal que |x
n
x| < , para cualquier n n
0
. En ese caso
escribiremos que lim
n
x
n
= x o {x
n
} x.
Se puede comprobar fcilmente que
lim
n
x
n
= x si, y slo si, lim
n
| x
n
x | = 0.
Drrixicix . rnorirr.rrs Sicrsioxrs rr xxrnos nr.trs
|8
Ejemplo 4.4.
a) La sucesin constantes son convergentes y su lmite es dicha constante.
b) La sucesin
_
1
n
_
nN
es convergente a cero.
c) La sucesin {n}
nN
no es convergente.
d) La sucesin {(1)
n
}
nN
no es convergente.
4.1.1 Sucesiones y acotacin
Denicin 4.5.
a) La sucesin {x
n
}
nN
est acotada superiormente (respectivamente inferiormente) si existe
M R vericando que x
n
M para todo n N (respectivamente x
n
M).
b) La sucesin est acotada si lo est superior e inferiormente o, lo que es lo mismo, si existe Sucesin acotada
M R tal que | x
n
| M, para cualquier natural n.
Proposicin 4.6. Toda sucesin convergente est acotada.
Demostracin. Aplicamos la denicin de convergencia para = 1. Entonces existe un natural
n
0
tal que | x
n
x | < 1 para n n
0
. En particular, el conjunto {x
n
: n n
0
} est acotado superior-
mente por x + 1 e inferiormente por x 1. El resto de los trminos de la sucesin tambin est
acotado por ser un conjunto nito. Por tanto, la unin de ambos est acotado.
Observacin 4.7. El recproco no es cierto. La sucesin {(1)
n
}
nN
est acotada pero no es
convergente.
4.1.2 lgebra de lmites
Despus de denir el lmite de una sucesin, los siguientes resultados relacionan su comporta-
miento y las operaciones usuales de nmeros reales. En primer lugar, comenzamos con la suma y
el producto.
Proposicin 4.8. Sean {x
n
} e {y
n
} dos sucesiones convergentes. Entonces
a) lim
n
(x
n
+ y
n
) = lim
n
x
n
+ lim
n
y
n
,
b) lim
n
(x
n
y
n
) =
_
lim
n
x
n
_

_
lim
n
y
n
_
,
c) si lim
n
y
n
= 0, se tiene que lim
n
x
n
y
n
=
lim
n
x
n
lim
n
y
n
.
Proposicin 4.9. Sea {x
n
} una sucesin convergente a cero e {y
n
} una sucesin acotada. Entonces
{x
n
y
n
} es convergente a cero.
Ejemplo 4.10. Vamos a calcular lim
n
log
_
3n
4
2n + 7
_
log
_
2n
2
+ 2n 1
_ .
lim
n
log(3n
4
2n + 7)
log(2n
2
+ 2n 1)
= lim
n
log
_
n
4
(3
2
n
3
+
7
n
4
)
_
log
_
n
2
(2 +
2
n

1
n
2
)
_
= lim
n
log(n
4
) + log
_
3
2
n
3
+
7
n
4
_
log(n
2
) + log
_
2 +
2
n

1
n
2
_
= lim
n
4 log(n) + log
_
3
2
n
3
+
7
n
4
_
2 log(n) + log
_
2 +
2
n

1
n
2
_
Sicrsioxrs rr xxrnos nr.trs Sicrsioxrs r.nci.trs
|
dividimos por log(n) numerador y denominador
=
4
2
= 2.
4.1.3 Convergencia y orden
x
y
1 2 3

n
Figura 4.2 El orden se conserva al to-
mar lmites
En esta seccin vamos a hacer relacionar convergencia y or-
den. El primer resultado nos dice que las desigualdades entre
los trminos de dos sucesiones se trasladan a sus respectivos
lmites. De hecho, no hace falta que todos los trminos veri-
can la desigualdad. Es suciente con que, por ejemplo, para
los trminos pares o los impares tengamos la desigualdad.
Proposicin 4.11. Sean {x
n
} e {y
n
} dos sucesiones convergen-
tes. Supongamos que el conjunto {n N : x
n
y
n
} es innito.
Entonces lim
n
x
n
lim
n
y
n
.
1 2 3

n
Figura 4.3 Lmites y sucesiones en-
cajadas
Proposicin 4.12. Sean {x
n
}, {y
n
} y {z
n
} sucesiones de nmeros Regla del sandwich
reales vericando que
a) lim
n
x
n
= lim
n
z
n
y que
b) x
n
y
n
z
n
, para cualquier n natural.
Entonces {y
n
} es convergente y lim
n
x
n
= lim
n
y
n
= lim
n
z
n
.
Ejemplo 4.13. Vamos a calcular el lmite
lim
n
1
n
2

n
+
2
n
2

n
+ +
n
n
2

n
.
Usando que
1
n
2

n

m
n
2

n

n
n
2

n
para cualquier natural m entre 1 y n, podemos acotar superior e inferiormente la sucesin:
n
1
n
2

n

1
n
2

n
+
2
n
2

n
+ +
n
n
2

n
n
n
n
2

n
, n N.
Como nuestra sucesin est encajada entre dos sucesiones que tienden a cero, se tiene que
lim
n
1
n
2

n
+
2
n
2

n
+ +
n
n
2

n
= 0.
4.2 Sucesiones parciales
Si una sucesin es una lista de nmeros, podemos construir una lista nueva escogiendo algunos
de estos, por ejemplo los que ocupan un lugar par o impar. Aeste tipo de sucesiones las llamaremos
parciales de la sucesin original.
Moxo+ox. Sicrsioxrs rr xxrnos nr.trs
o
Denicin 4.14. Sea {x
n
} una sucesin de nmeros reales. Diremos que {y
n
} es una sucesin
parcial de {x
n
} si existe una aplicacin estrictamente creciente : N N tal que y
n
= x
(n)
Sucesin parcial
para cualquier natural n.
Ejemplo 4.15.
a) El primer ejemplo de sucesin parcial de una sucesin dada es simple: eliminemos una cantidad
nita de trminos al inicio de la sucesin. Por ejemplo, eliminar los tres primeros trminos se
consigue con la aplicacin (n) = n + 3. La sucesin {x
n+3
}
nN
es lo que se llama una cola de
la sucesin {x
n
}
nN
.
En general, si p es un nmero natural, las sucesin parcial {x
n+p
}
nN
es una cola de la sucesin Cola
{x
n
}
nN
. La convergencia de una sucesin y de sus colas es equivalente: la sucesin converge si,
y slo si, lo hacen todas o alguna de sus colas.
b) Quedarnos slo con los trminos que ocupan una posicin par o impar consiste en considerar
las parciales {x
2n
}
nN
o {x
2n1
}
nN
.
Proposicin 4.16. Sea {x
n
} una sucesin de nmeros reales convergente. Entonces cualquier
parcial es convergente y con el mismo lmite.
Este resultado se suele usar para demostrar que una sucesin no es convergente: si existe alguna
parcial no convergente o existen parciales distintas convergentes a lmites distintos, la sucesin
original no es convergente.
Ejemplo 4.17. La sucesin {(1)
n
} no es convergente puesto que la parcial de los pares converge
a 1 mientras que la de los impares lo hace a 1.
4.3 Monotona
La denicin de monotona para funciones cualesquiera se puede enunciar para sucesiones.
Denicin 4.18. Una sucesin {x
n
}
nN
es creciente si cumple que x
n
x
n+1
para todo Sucesin creciente
natural n. Dicho de otra forma, cuando avanzamos en la lista los trminos son mayores:
n m = x
n
x
m
.
Anlogamente, diremos que {x
n
}
nN
es decreciente si cumple que x
n
x
n+1
para todo natural
n o, lo que es lo mismo, n m = x
n
x
m
.
Evidentemente no todas las sucesiones son montonas al igual que no todas las funciones son
montonas. Por ejemplo, la sucesin {cos(n)}
nN
no es montona ni tampoco lo es la sucesin
{(1)
n
}.
2 4 6 8 10 12 14 16 18 20
1
1
0
Figura 4.4 La sucesin {cos(n)}
nN
no es montona
Eso s, de cualquier sucesin siempre podemos elegir trminos cada vez mayores o cada vez me-
nores. En otras palabras, siempre podemos elegir una sucesin parcial montona.
Proposicin 4.19. Toda sucesin tiene una parcial montona.
Sicrsioxrs rr xxrnos nr.trs Moxo+ox.
1
Sucesiones
Acotadas
Montonas
Convergentes
Figura 4.5 Distintos tipos de sucesiones
Cul es el inters de las sucesiones montonas? Son ms
fciles de estudiar. Por ejemplo, la convergencia de las su-
cesiones montonas se reduce al estudio de su acotacin.
Proposicin 4.20. Una sucesin montona es convergen-
te si, y slo si, est acotada. De hecho, si {x
n
}
nN
es una
sucesin creciente y acotada se tiene que
lim
n
x
n
= sup {x
n
: n N} .
El hecho de que las sucesiones montonas y acotadas
sean convergentes nos permite demostrar que una sucesin
es convergente sin, tericamente, conocer su lmite.
Ejemplo 4.21. Vamos a estudiar la convergencia de la
sucesin
x
1
= 1, x
n+1
=
_
x
n
+ 1, n 1.
Para demostrar que esta sucesin es convergente vamos a comprobar que es una sucesin montona
y acotada.
a) Observa que x
2
=

2 > x
1
= 1. Vamos a demostrar por induccin que la sucesin es creciente.
i) El primer paso ya lo tenemos dado: x
2
=

2 > x
1
= 1.
ii) Si ahora suponemos que x
n
< x
n+1
, veamos que x
n+2
> x
n+1
:
x
n+2
=
_
x
n+1
+ 1 >
_
x
n
+ 1 = x
n+1
.
Luego la sucesin es montona creciente.
b) Veamos que tambin est mayorada, concretamente que x
n
2 , n N. De nuevo lo compro-
bamos por induccin.
i) Es inmediato para n = 1.
ii) Si x
n
2, veamos que para x
n+1
tambin se verica:
x
n+1
=
_
x
n
+ 1

2 + 1 =

3 2.
Por tanto, existe x = lim
n
x
n
y lo calculamos haciendo uso de la frmula de recurrencia. Toman-
do lmites
x
2
n+1
= x
n
+ 1 = x
2
x 1 = 0 = x =
1

5
2
.
Como {x
n
} es creciente y el primer trmino es 1, la nica posibilidad que cabe es que x =
1+

5
2
.
Ejemplo 4.22. Consideremos la sucesin {x
n
}
nN
denida por recurrencia como x
1
=
3
2
y E
3x
n+1
= 2 + x
3
n
para cualquier natural n. Estudia si {x
n
}
nN
es convergente y, caso de que lo sea,
calcula su lmite.
a) Si calculas algunos trminos de la sucesin, parece que la sucesin es creciente. Vamos a com-
probarlo por induccin.
i) x
1
=
3
2
x
2
=
11
24
.
ii) Supongamos que x
n
x
n+1
para un natural n, entonces
Moxo+ox. Sicrsioxrs rr xxrnos nr.trs
z
x
n+1
=
2 + x
3
n
3

2 + x
3
n+1
3
= x
n+2
ya que la funcin f (x) = x
3
es creciente.
Acabamos de demostrar que el conjunto {n N : x
n
x
n+1
} es inductivo y que, por tanto, la
sucesin es creciente.
b) Est acotada la sucesin? Por ser una sucesin creciente, est acotada inferiormente. Slo
nos falta encontrar una cota superior. De hecho, la sucesin ser convergente si, y slo si, est
acotada superiormente. Si la sucesin fuera convergente a un nmero L, como lim
n
x
n
=
lim
n
x
n+1
= L, se tiene que cumplir que 3L = 2 + L
3
. Las soluciones de este polinomio son
1 y 2 (comprubalo por ejemplo por el mtodo de Runi). Dado que la sucesin es creciente
y su primer trmino es
3
2
, queda descartado que el lmite sea 2. Vamos a comprobar por
induccin que 1 es una cota superior.
i) Es evidente que x
1
=
3
2
1.
ii) Supongamos que x
n
1 para un natural n, entonces
x
n+1
=
2 + x
3
n
3

2 + 1
3
1.
En resumen, la sucesin es creciente y mayorada y, por lo visto anteriormente, su lmite es 1.
Ejemplo 4.23. Sea a R
+
y consideremos la siguiente sucesin: x
1
= a, x
n+1
=
1
2
_
x
n
+
a
x
n
_
,
para cualquier n N. Vamos a ver que {x
n
}
nN
es convergente y que su lmite, x, verica x
2
= a.
Estudiamos en primer lugar si la sucesin es montona:
x
n+1
x
n
=
1
2
_
x
2
n
+ a
x
n
_
x
n
=
a x
2
n
2x
n
.
La sucesin ser decreciente si x
n+1
x
n
0 o, equivalentemente, si a x
2
n
0. Si se da la
desigualdad opuesta, la sucesin ser creciente. En cualquier caso, tenemos que estudiar la relacin
entre x
2
n
y a. Como no tenemos una frmula para x
n
, vamos a trabajar con x
n+1
.
x
n+1
x
n+2
a x
2
n+1
0 a
_
1
2
_
x
n
+
a
x
n
__
2
4a x
2
n
+
a
2
x
2
n
+ 2a 0 x
2
n
+
a
2
x
2
n
2a
0
_
x
n

a
x
n
_
2
.
Esta ltima armacin es claramente cierta. Por tanto la sucesin {x
n+1
} es decreciente. Al mismo
tiempo hemos demostrado que est acotada inferiormente:

a x
n
, para cualquier n natural. Por
tanto, la sucesin {x
n+1
} (que no es ms que la sucesin {x
n
} comenzando en el segundo trmino)
es convergente. Llamemos L a su lmite. Debe vericar que
L =
1
2
_
L +
a
L
_
L =

a.
Volveremos a este ejemplo ms adelante.
Si unimos los dos resultados anteriores: toda sucesin acotada tiene una parcial montona que,
por ser parcial, sigue siendo acotada y, por tanto, convergente.
Sicrsioxrs rr xxrnos nr.trs Sicrsioxrs rivrnorx+rs
j
Teorema 4.24 (de BolzanoWeierstrass). Toda sucesin acotada tiene una parcial con- Teorema de
Bolzano
Weierstrass
vergente.
Aunque lo usaremos poco en los ejemplos prcticos, este teorema es la clave que permite probar
la existencia de mximo y mnimo de funciones continuas en intervalos cerrados y acotados.
4.4 Sucesiones divergentes
La sucesin {n}
nN
no es convergente, pero tiene un comportamiento muy particular. Los trmi-
nos de esta sucesin toman valores tan grandes como se desee siempre que dicho trminos sean lo
sucientemente avazandos. A esto nos solemos referir como que la sucesin {n}
nN
tiende a +.
Denicin 4.25.
a) Sea {x
n
}
nN
una sucesin de nmeros reales. Diremos que {x
n
}
nN
diverge positivamente
o tiende a +si para cualquier M R existe un natural n
0
tal que x
n
M para cualquier
n n
0
. En ese caso escribiremos lim
n
x
n
= +.
b) De manera similar, diremos que {x
n
}
nN
diverge negativamente o que tiende a si para
cualquier K R existe un natural n
0
tal que x
n
K para cualquier n n
0
. En ese caso
escribiremos lim
n
x
n
= .
c) En general, diremos que una sucesin es divergente si diverge positiva o negativamente.
De la denicin se deduce directamente que las sucesiones divergentes no estn acotadas: las
sucesiones divergentes positivamente no estn acotadas superiormente y las que divergen negati-
vamente no estn acotadas inferiormente.
Observacin 4.26. Un error muy comn es decir que una sucesin tiende a +si sus trminos
son cada vez ms grandes o si hay trminos tan grandes como se quiera. Comprubalo en los
siguientes ejemplos:
a) La sucesin 1, 1, 2, 4, 3, 9,...,n, n
2
,... no es creciente pero es divergente.
b) La sucesin 1, 1, 2, 1, 3, 1,...,n, 1,... tiene trminos tan grandes como se quiera pero no es
divergente.
Proposicin 4.27. Sean {x
n
}
nN
y {y
n
}
nN
sucesiones de nmeros reales.
a) Si lim
n
x
n
= +y {y
n
} est acotada inferiormente, entonces lim
n
x
n
+ y
n
= +.
b) lim
n
| x
n
| = +si, y slo si, lim
n
1
x
n
= 0.
c) Si lim
n
x
n
= + y existe un natural n
0
y un nmero positivo k tal que y
n
k para n n
0
,
entonces lim
n
x
n
y
n
= +.
Ejemplo 4.28. Vamos a probar que
lim
n
x
n
=
_
+, si x > 1,
0, si | x | < 1.
Comencemos con el caso x > 1. Vamos a demostrar que la sucesin {x
n
}, que claramente es
creciente, no est acotada. Por reduccin al absurdo, supongamos que s est acotada. En ese caso,
la sucesin es convergente al supremo de sus elementos por ser creciente. Notemos L a dicho
supremo. Se tiene que x
n
L, n N. En particular,
x
n+1
L, n N = x
n

L
x
< L,
Cni+rnios rr coxvrnorxci. Sicrsioxrs rr xxrnos nr.trs
|
lo que contradice que L sea el supremo.
Si x < 1, entonces
1
x
> 1 y podemos aplicar el apartado anterior para obtener que lim
n
1
x
n
= +
y, por tanto, lim
n
x
n
= 0.
4.5 Criterios de convergencia
El primer criterio que vamos a ver, el criterio de Stolz, permite resolver indeterminaciones de
la forma
0
0
o

. En cierta manera juega un papel similar a la regla de LHpital para cocientes

de funciones.
Proposicin 4.29. Sean {x
n
}
nN
e {y
n
}
nN
dos sucesiones de nmeros reales. Supongamos que Criterio de Stolz
se verica alguna de las siguientes condiciones:
a) {y
n
}
nN
es creciente y diverge positivamente, o bien
b) lim
n
x
n
= lim
n
y
n
= 0 e {y
n
}
nN
es montona.
Entonces se verica que:
a) Si lim
n
x
n+1
x
n
y
n+1
y
n
= L R, entonces lim
n
x
n
y
n
= L.
b) Si lim
n
x
n+1
x
n
y
n+1
y
n
= +, entonces lim
n
x
n
y
n
= +.
c) Si lim
n
x
n+1
x
n
y
n+1
y
n
= , entonces lim
n
x
n
y
n
= .
Veamos un ejemplo de su uso.
Ejemplo 4.30. Vamos a calcular
lim
n
1
2
+ 2
2
+ 3
2
+ + n
2
n
3
.
Aplicando el criterio de Stolz, tenemos que estudiar
lim
n
(1
2
+ 2
2
+ + n
2
+ (n + 1)
2
) (1
2
+ 2
2
+ + n
2
)
(n + 1)
3
n
3
= lim
n
(n + 1)
2
3n
2
+ 3n + 1
=
1
3
.
Por tanto, lim
n
1
2
+2
2
+3
2
++n
2
n
3
=
1
3
.
Proposicin 4.31. Sea {x
n
}
nN
una sucesin de nmeros reales positivos. Se verica que: Criterio de la raz
a) Si lim
n
x
n+1
x
n
= L R, entonces lim
n
n

x
n
= L.
b) Si lim
n
x
n+1
x
n
= +, entonces lim
n
n

x
n
= +.
Ejemplo 4.32. Aplicando el criterio de la raz, lim
n
n

n = 1 ya que lim
n
n+1
n
= 1.
Proposicin 4.33. Sea {x
n
}
nN
una sucesin de nmeros reales convergente a uno, y sea {y
n
}
nN
Regla del nmero e
una sucesin cualquiera. Entonces se verica que:
a) lim
n
y
n
(x
n
1) = L R lim
n
x
y
n
n
= e
L
.
b) lim
n
y
n
(x
n
1) = + lim
n
x
y
n
n
= +.
c) lim
n
y
n
(x
n
1) = lim
n
x
y
n
n
= 0.
Ejemplo 4.34. Calcular lim
n
_
n
2
n+3
n
2
+2n2
_
n+3
.
Sicrsioxrs rr xxrnos nr.trs Cni+rnios rr coxvrnorxci.

lim
n
_
n
2
n + 3
n
2
+ 2n 2
_
n+3
= e
L
lim
n
(n + 3)
_
n
2
n + 3
n
2
+ 2n 2
1
_
= L.
Para terminar, resolvemos el segundo lmite
lim
n
(n + 3)
_
n
2
n + 3
n
2
+ 2n 2
1
_
= lim
n
(n + 3)
_
n
2
n + 3
n
2
+ 2n 2

n
2
+ 2n 2
n
2
+ 2n 2
_
= lim
n
(n + 3)(3n + 5)
n
2
+ 2n 2
= 3.
Ejemplo 4.35. La sucesin
__
1 +
1
n
_
n
_
nN
es creciente y tiene lmite e.
Para comprobar que, en efecto, es creciente vamos a escribir el trmino n-simo utilizando el
binomio de Newton
_
1 +
1
n
_
n
=
n

k=0
_
n
k
_
1
nk
1
n
k
= 1 + n
1
n
+
n(n 1)
2!

1
n
2
+
n(n 1)(n 2)
3!

1
n
3
+ +
n(n 1) 2 1
n!

1
n
n
= 1 + 1 +
_
1
1
n
_
1
2!
+
_
1
1
n
_ _
1
2
n
_ _
1
3
n
_
1
3!
+
+
_
1
1
n
_ _
1
2
n
_ _
1
3
n
_

_
1
n 1
n
_
1
n!
.
Es fcil imaginar cul es el trmino siguiente:
_
1 +
1
n
_
n+1
= 1 + 1 +
_
1
1
n + 1
_
1
2!
+
_
1
1
n + 1
_ _
1
2
n + 1
_ _
1
3
n + 1
_
1
3!
+
+
_
1
1
n + 1
_ _
1
2
n + 1
_ _
1
3
n + 1
_

_
1
n 1
n + 1
_
1
n!
+
_
1
1
n + 1
_ _
1
2
n + 1
_

_
1
n 1
n + 1
_
_
1
n
n + 1
_
1
(n + 1)!
.
Observa los dos trminos que acabamos de escribir. Hay dos diferencias:
a) Este ltimo tiene un sumando ms que el trmino n-simo. Dicho trmino de ms, el ltimo, es
positivo. En realidad, todos los sumandos son positivos.
b) Si nos jamos en el resto de sumandos y vamos comparando uno a uno
1 1,
1
1
n
1
1
n + 1
,
_
1
1
n
_ _
1
2
n
_

_
1
1
n + 1
_ _
1
2
n + 1
_
,
y as sucesivamente.
Vrtocir.r rr coxvrnorxci. Sicrsioxrs rr xxrnos nr.trs
6
Uniendo estos dos apartados, obtenemos la desigualdad que estbamos buscando, esto es, que
_
1
1
n
_
n

_
1
1
n+1
_
n+1
.
El clculo del lmite es fcil utilizando la Proposicin 4.33 (la regla del nmero e):
lim
n
_
1 +
1
n
_
n
= e
L
lim
n
n
_
1 +
1
n
1
_
= L,
y este segundo lmite es inmediato comprobar que vale uno.
4.6 Velocidad de convergencia
Las sucesiones {
1
n
}
nN
y {
1
n
2
}
nN
tienen lmite cero, pero un rpido vistazo a sus trminos en la
Tabla 4.1 nos convence de que los trminos de la segunda se acercan ms rpidamente al lmite.
Otra forma de ver esto es la siguiente. El cociente entre los trminos generales de las dos suce-
siones es
lim
n
1
n
2
1
n
= lim
n
1
n
= 0,
lo que indica que la sucesin del denominador,
1
n
, es mucho mayor que la del numerador, 1/n
2
.
Denicin 4.36. Sea {a
n
}
nN
una sucesin convergente con lmite l y sea {b
n
} otra sucesin
convergente a otro nmero m.
a) Diremos que la velocidad o el orden de convergencia de la sucesin {a
n
} es O(b
n
) si existe
una constante K tal que
| a
n
l |
| b
n
m|
K, n N
b) Diremos que la velocidad o el orden de convergencia de la sucesin es o(b
n
) si
lim
n
| a
n
l |
| b
n
m|
= 0.
n 1/n 1/n
2
1 1.0 1.0
2 0.5 0.25
3 0.3333333333333333 0.1111111111111111
4 0.25 0.0625
5 0.2 0.04
6 0.1666666666666667 0.02777777777777778
7 0.1428571428571428 0.02040816326530612
8 0.125 0.015625
9 0.1111111111111111 0.01234567901234568
10 0.1 0.01
Tabla 4.1 Primeros trminos
de las sucesiones 1/n y 1/n
2
Sicrsioxrs rr xxrnos nr.trs E:rncicios

La notacin O grande y o pequea es bastante comn a la hora de describir la convergencia de
un algoritmo. Obsrvese que {b
n
} m es una sucesin que converge a 0. Lo que se hace, en esencia,
es comparar la velocidad de convergencia de {a
n
} a su lmite con la velocidad de la convergencia
de otra sucesin que converge a 0. Normalmente como sucesin {b
n
} se toma la sucesin {
1
n
p
} para
un natural p.
La denicin anterior tambin tiene tambin una versin para sucesiones divergentes:
Denicin 4.37. Sea {a
n
}
nN
una sucesin divergente y sea {b
n
} otra sucesin divergente.
a) Diremos que la velocidad o el orden de divergencia de la sucesin {a
n
} es O(b
n
) si existe
una constante K tal que
| a
n
|
| b
n
|
K, n N
b) Diremos que la velocidad o el orden de divergencia de la sucesin {a
n
} es o(b
n
) si
lim
n
| a
n
|
| b
n
|
= 0.
Anlogamente a lo que es usual en sucesiones convergentes, para comparar con sucesiones
divergentes suelen utilizarse las sucesiones {n
p
} con p natural.
Ejemplo 4.38. Con la nomenclatura anterior la sucesin
_
n
2
+2n+1
n
3
2n
2
+3n+1
_
tiende a cero con veloci-
dad O(1/n). En el caso de divergencia se tiene que log(n) diverge con velocidad o(n).
4.7 Ejercicios
4.7.1 Sucesiones
Ejercicio 4.1. Prueba que si | x | < 1, entonces lim
n
1 + x + x
2
+ . . . + x
n
=
1
1x
.
Ejercicio 4.2. Sea a un nmero real positivo y denamos x
1
= a, x
n+1
=
x
n
1+x
n
para n N. Probar
que la sucesin {x
n
}
nN
converge a cero.
Ejercicio 4.3. Demuestra que la sucesin x
1
= 1, x
n+1
=

3x
n
, n 1 es convergente y calcular
su lmite.
Ejercicio 4.4. Se considera la sucesin denida por recurrencia por a
1
= 1 y a
n+1
=

2a
n
+ 3 E
para n N. Estudia si es convergente y, en caso de que lo sea, calcula el lmite.
Ejercicio 4.5. Se dene la sucesin {x
n
} por recurrencia como x
1
= 1, x
n+1
=

1 + 2x
n
1. E
Calcula lim
n
x
n
y lim
n
x
n
x
n+1
.
Ejercicio 4.6. Sea {x
n
}
nN
la sucesin denida por recurrencia como x
1
=
1
2
y x
n+1
= x
2
n
+
4
25
. E
a) Demuestra que
1
5
< x
n
<
4
5
para cualquier natural n.
b) Demuestra que {x
n
}
nN
es decreciente.
c) Calcula su lmite.
E:rncicios Sicrsioxrs rr xxrnos nr.trs
8
Ejercicio 4.7. Sea a R, a > 1. Estudiar el comportamiento de la sucesin x
1
= a, x
n+1
=
_
x
2
n
+a
2
para todo n N.
4.7.2 Criterios de convergencia
Ejercicio 4.8. Estudia la convergencia de las siguientes sucesiones y calcular su lmite cuando
exista.
a)
_
1 + 2
4
+ 3
4
+ + n
4
n
5
_
b)
_
1! + 2! + 3! + + n!
n!
_
c)
_
1 + 1/2 + 1/3 + + 1/n
n
_
d)
_
1 + 3 + 5 + + (2n 1)
n + 1

2n + 1
2
_
Ejercicio 4.9. Calcula el lmite de las siguientes sucesiones
a)
_
log(1 2 n)
n log(n)
_
,
b)
_

_
n
2

n
1 + 2

2 + 3

3 + . . . + n

n
_

_
c)
_

_
1 +

2 +
3

3 + . . .
n

n
n
2
_

_
Ejercicio 4.10. Estudia la convergencia de las siguientes sucesiones:
a)
_
1
n

n!
_
b)
_
1
n
n
_
(3n + 1)(3n + 2) (3n + n)
_
c)
_

_
1
n
n
_
(2n)!
n!
_

_
d)
_

_
n

2 4 6 2n
n + 1
_

_
Ejercicio 4.11. Calcula el lmite de las siguientes sucesiones.
a)
_

_
_
1 +
1
n
2
+ 1
_
n
2
+56n+5
_

_
b)
_

_
_
n
2
5n + 6
n
2
+ 2n + 1
_
n
2
+5
n+2
_

_
c)
__
1 + log(n + 1) log(n)
_
n
_
Ejercicio 4.12. Calcula el lmite de las siguientes sucesiones.
a)
_

_
1 +
1
2
+ . . . +
1
n
log(n)
_

_
b)
_
log(n + 1)!
log(n + 1)
n
_
Ejercicio 4.13. Calcula el lmite de las siguientes sucesiones.
a)
_

_
_
n + 1
n
2
+ n + 5
_ 1
1+log(n)
_

_
b)
_
sen
_
1
n
__
c)
_

_
cos(

n
2
+ 1) log(n)
n
_

_
Ejercicio 4.14. Calcula el lmite de las siguientes sucesiones.
a)
_

_
n
_
n!
(2n)
n+1
_

_
b)
_

_
log(n!)

1 +

2 + . . . +

n
_

_
Sicrsioxrs rr xxrnos nr.trs E:rncicios

Ejercicio 4.15. Calcula el lmite de la sucesin E
_

_
2
1
+
3
2
2
+
4
3
3
2
+ +
(n+1)
n
n
n1
n
2
_

_
.
Ejercicio 4.16. Calcula el siguiente lmite E
lim
n
_
1 + log
_
3n
2
+ 2n + 1
3n
2
+ 5n
__
4n+1
.
4.7.3 Ejercicios complementarios
Ejercicio 4.1. Sea a 1. Estudia la convergencia de la sucesin denida por recurrencia como
x
1
= a, x
n+1
= 1

1 x
n
.
Ejercicio 4.2. Estudia la convergencia de la sucesin denida de forma recurrente por x
1
= a > E
0, y x
n+1
=

a + x
n
, para todo n N.
Ejercicio 4.3. Estudiar la convergencia de las siguientes sucesiones:
a)
_
n
2
n
_
, b)
_
2
n
+n
3
n
n
_
.
Ejercicio 4.4. Sea {a
n
} una sucesin de nmeros reales positivos convergente. Estudiar la con-
vergencia de la sucesin
_
a
1
+
a
2
2
+ . . . +
a
n
n
log(n)
_
.
Ejercicio 4.5. Calcular el lmite de la sucesin
_
e
a
1
+e
a
2
/2
+...+e
an/n
n
log(n+1)
_
, donde {a
n
} es una sucesin
convergente de nmeros reales positivos.
Ejercicio 4.6. Calcular el lmite de la siguiente sucesin de nmeros reales
__
5(1+2
4
+3
4
+...+n
4
)
n
5
_
n
_
.
Ejercicio 4.7. Calcula el siguiente lmite E
lim
n
cos(1) + cos
_
1

2
_
+ + cos
_
1

n
_
n
log
_
n
3
+ 1
_ .
Ejercicio 4.8. Sean a, b R
+
; estudiar el carcter de la sucesin
_
(a
n
+ b
n
)
1/n
_
.
6o