Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Calculo Cap07
Calculo Cap07
Sucesiones
7.1. Introduccin
Las sucesiones aparecen de manera natural en muchos clculos que responden a un es2
6
2 1
quema iterativo. Por ejemplo, al dividir 2 entre 3 obtenemos D
C
, igualdad que
3
10
3 10
podemos usar ahora para obtener
2 1
6
2 1
6
6
6
1
2
;
D
C
C
D
C 2C
3
10
10
3 10 10
10
3 102
10
y de nuevo
2
6
6
D
C 2C
3
10
10
6
2 1
C
10
3 10
6
6
2 1
6
1
D
:
C 2C 3C
2
10
3 103
10
10
10
Y as podemos continuar tantas veces como queramos, obteniendo para cada n 2 N la igualdad:
n
2 X 6
2 1
D
:
C
3
3 10n
10k
kD1
n
X
2 1
6
2
xn D
. Observa que, aunque los ntenemos que 0 <
k
3
3 10n
10
kD1
meros xn son todos ellos distintos de 2=3, dada una cota de error arbitrariamente pequea,
2 1
" > 0, y tomando n0 2 N de manera que
< " , deducimos que para todo nmero
3 10n0
natural n>n0 se verifica que jxn 2=3j < " , lo que se expresa escribiendo 2=3 D lKm fxn g.
Escribiendo xn D
n!1
325
Introduccin
326
El ejemplo anterior est relacionado con la expresin decimal de 2=3 que, como todos
sabemos, es un decimal peridico con perodo igual a 6, lo que suele escribirse 2=3 D 0; b
6
igualdad en la que, segn se dice a veces, el smbolo 0; b
6 debe interpretarse como que el 6
se repite infinitas veces. Qu quiere decir esto? Lo que est claro es que, por mucho tiempo
y paciencia que tengamos, nunca podremos escribir infinitos 6 uno detrs de otro... bueno,
podramos escribir algo como
2
D 0; b
6 D 0; 6666666:::. infinitos 6/
3
lo que tampoco sirve de mucho pues seguimos sin saber cmo se interpreta esta igualdad. Pues
bien, para dar un significado matemtico a lo que se quiere expresar con esa igualdad hay que
recurrir al concepto de lmite de una sucesin tal como hemos hecho antes.
Veamos otro ejemplo en esta misma lnea. Vamos a intentar calcular aproximaciones raciop
p
10 p
nales de 10. Si partimos inicialmente de un nmero x > 10, tendremos que
< 10 < x.
x
p
10
1
xC
. Entonces, en virtud de la desigualdad de las medias, 10 < y,
Pongamos y D
2
x
p
y como tambin y < x , deducimos que y est ms cerca de 10 que x. Podemos ahora
p
repetir este proceso sustituyendo x por y obteniendo una nueva aproximacin mejor de 10.
Ntese que si x es racional tambin lo ser
que, partiendo de
y. Esto sugiere
un valorinicial,
1
10
10
1
por ejemplo x1 D 4, calculemos x2 D
x1 C
x2 C
, y despus x3 D
, y as
2
x1
2
x2
podemos continuar tantas veces como queramos, obteniendo para cada n 2 N un nmero xn
tal que
10
1
xn C
xnC1 D
2
xn
con x1 D 4. Con una calculadora manual obtenemos enseguida los valores x2 D3; 25;
x3 D3; 1634615 I x4 D3; 1622779 con seis cifras decimales exactas:
p
x 2 10
x 2 10
0; 000005
1
<
< 6
10 D 4 p < 4
6
6
10
x4 C 10
p
p
es decir, x4 coincide con 10 hasta la sexta cifra decimal. De hecho, como xn > 10 tenemos
que:
p
p
p
p
10
1p
1
1
1
0 < xnC1
xn C
10 D
10 < xn C
10
10 D .xn
10/
2
xn
2
2
2
0 < x4
p
p
1
1
10 < n .x1
10/ < n , por tanto, dado cualquier
2
2
n0 < ", deducimos que para todo nmero natural n>n se
" > 0, y tomando np
0 2 N tal que 2
0
p
verifica que jxn
10 j < ", lo que simblicamente se expresa escribiendo 10 D lKm fxn g.
de donde se sigue que 0 < xnC1
n!1
En los ejemplos anteriores hemos dado por supuesto que ya tienes cierta familiaridad con
los conceptos de sucesin y de lmite de una sucesin de los cuales vamos a ocuparnos a
continuacin con detalle.
Universidad de Granada
Dpto. de Anlisis Matemtico
327
xj < "
(7.1)
Se dice tambin que el nmero x es lmite de la sucesin fxn g, y se escribe lKm fxn g D x o,
n!1
Teniendo en cuenta que la desigualdad jxn xj < " equivale a la doble desigualdad
x " < xn < x C " o, lo que es igual, xn 2x "; x C ", la definicin anterior lo que dice es
que fxn g converge a x cuando, dado cualquier intervalo abierto x "; x C ", se verifica que
todos los trminos de la sucesin a partir de uno en adelante estn en dicho intervalo.
El nmero natural m" , cuya existencia se afirma en la definicin anterior, cabe esperar que
dependa del nmero " > 0, lo que explica la notacin empleada. Lo usual es que m" tenga que
ser tanto ms grande cuanto ms pequeo sea el nmero " > 0. Conviene observar que si p es
un nmero natural tal que p > m" , entonces para p, al igual que para m" , se verifica que si
n es cualquier nmero natural mayor o igual que p se cumple que jxn xj < ". Es decir, si
Universidad de Granada
Dpto. de Anlisis Matemtico
Sucesiones convergentes
328
fxn g converge a x, entonces para cada " > 0 dado hay, de hecho, infinitos nmeros naturales
m" para los que se satisface la condicin 7.1.
La definicin 7.2 es tpica del Anlisis pues en ella se est definiendo una igualdad, a saber,
lKmfxn gDx , en trminos de desigualdades: jxn xj < " siempre que n>m" . Observa tambin
que, de la definicin dada, se deduce enseguida que fxn g ! x es lo mismo que fxn xg ! 0.
Veamos con unos sencillos, pero importantes ejemplos, cmo se usa la definicin 7.2 para
probar que una sucesin converge.
7.3 Ejemplo. La sucesin f1=ng es convergente a cero.
Para probarlo, dado " > 0, tenemos que encontrar un m 2 N tal que para todo n > m se
verifique que j1=n 0j D 1=n < ". Como 1=n 6 1=m siempre que n > m, bastar tomar como
nmero m cualquier natural que verifique que 1=m < ", es decir, m > 1=". Que, efectivamente,
hay nmeros naturales, m, que verifican la condicin m > 1=" cualquiera sea el nmero " > 0
dado, es justamente lo que dice la propiedad arquimediana (5.9) del orden de R. Pues bin,
cualquier m 2 N tal que m > 1=" nos sirve como apropiado m" , pero parece razonable tomar
el ms pequeo de todos ellos que ser la parte entera de 1=" ms una unidad, es decir, m" D
E.1="/ C 1 . Hemos demostrado as que lKmf1=ng D 0.
7.4 Ejemplo. Dado un nmero real x 2
x, fx n g, converge a cero.
En efecto, como jxj < 1 podemos escribir jxj en la forma jxj D 1=.1 C / para conveniente
> 0 (de hecho D 1 jxjjxj pero eso no interesa ahora). Dado " > 0, puesto que
1
1
1
6
<
n
.1 C /
1 C n
n
1
1
bastar tomar un m" tal que m
< ", por ejemplo, m" D E "
C 1, para garantizar que
"
jx n 0j < " siempre que n > m" .
jx n
0j D jxjn D
1 jxjnC1
1 C x C x 2 C C x n
D
1 x
1 x
poniendo, igual que antes, jxj D 1=.1 C / para conveniente > 0, y teniendo en cuenta que
0 < 1 jxj 6 1 x, y el ejemplo anterior deducimos que:
1
1
1
jxj
1 C x C x 2 C C x n
jxjn D jxjn < 2
6
1 x 1 jxj
n
por lo que, dado " > 0 para todo n > m" D E "12 C 1 se verifica que
1
1 C x C x 2 C C x n
< ":
1 x
Universidad de Granada
Dpto. de Anlisis Matemtico
Sucesiones convergentes
329
Si demostrar, aplicando la definicin 7.2, que una sucesin dada es convergente puede
ser complicado, suele serlo todava ms probar, usando dicha definicin, que una sucesin no
converge.
7.6 Ejemplo. La sucesin f. 1/n g no es convergente.
En efecto, sea x 2 R y definamos "x D mKaxfj1 xj=2; j1 C xj=2g. Claramente "x > 0.
Puesto que j. 1/2m xjD j1 xj, j. 1/2mC1 xjD j1C xj y alguno de estos nmeros es
mayor que "x deducimos que, dado x 2 R, se verifica que existe un nmero "x > 0, tal que
cualquiera sea m 2 N se verifica que hay algn natural n, por ejemplo n D 2m o n D 2m C 1,
mayor que m y para el que no se verifica que j. 1/n xj < "x . Es decir, hemos probado que
f. 1/n g no converge a x. Puesto que en nuestro razonamiento x puede ser cualquier nmero
real concluimos, finalmente, que f. 1/n g no es convergente.
Conviene precisar algunas expresiones de uso frecuente al tratar con sucesiones.
Cuando se dice que una cierta propiedad se satisface por todos los trminos de una sucesin fxn g a partir de uno en adelante, lo que se quiere decir es que existe m 2 N; tal
que para todo n > m el nmero xn satisface dicha propiedad.
Cuando se dice que una cierta propiedad se satisface por infinitos trminos de una sucesin fxn g, lo que se quiere decir es que el conjunto de todos los nmeros naturales n,
tales que xn satisface dicha propiedad, es infinito.
Cuando se dice que una cierta propiedad se satisface por un nmero finito de trminos
de una sucesin fxn g, lo que se quiere decir es que el conjunto de todos los nmeros
naturales n, tales que xn satisface dicha propiedad, es finito.
El siguiente resultado, muy sencillo, es tambin muy til.
7.7 Proposicin. Sea fxn g una sucesin y x un nmero real. Equivalen las siguientes afirmaciones:
i) fxn g converge a x.
ii) Para todo intervalo abierto I que contiene a x se verifica que todos los trminos de la
sucesin fxn g a partir de uno en adelante estn en I .
Demostracin. Que ii) implica i) es consecuencia inmediata del comentario que sigue a la
definicin 7.2. Probaremos que i) implica ii). Dado un intervalo abierto I tal que x 2 I , existir
un nmero " > 0 (que depender del intervalo I ) tal que x "; x C " I . Para dicho
" > 0 existe, por hiptesis, un nmero natural m tal que para todo n > m se verifica que
xn 2x "; x C " y, por tanto, xn 2 I .
2
Observa que en la definicin 7.2 no se exige que el lmite sea nico, por ello si fxn g converge a x es lcito preguntar si puede haber otro nmero real y distinto de x tal que fxn g tambin
converja a y. La respuesta es que no. En efecto, si fxn g ! x, dado y x, hay intervalos
abiertos I , J tales que x 2 I , y 2 J e I \ J D (por ejemplo las semirrectas ; xCy
2 y
xCy
2 ; !). Sabemos, por la proposicin anterior, que todos los trminos de fxn g a partir de
Universidad de Granada
Dpto. de Anlisis Matemtico
330
uno en adelante estn en I , por tanto slo puede haber un nmero finito de trminos en J .
Concluimos, en virtud de la misma proposicin, que fxn g no converge a y. Hemos probado
que si fxn g es convergente, el nmero real lKmfxn g est determinado de manera nica.
7.8 Proposicin. Una sucesin convergente tiene un nico lmite.
Para estudiar la convergencia de una sucesin dada no suele ser lo ms aconsejable usar, de
entrada, la definicin 7.2. Es preferible intentar primero otros caminos. Generalmente lo que
suele hacerse en la prctica consiste en relacionar dicha sucesin con otras ms sencillas o que
ya han sido previamente estudiadas y deducir de dicha relacin si nuestra sucesin es o no es
convergente y, cuando lo sea, el valor de su lmite. Por ello son de gran utilidad los resultados
que siguen en los que se estudia cmo se comportan las sucesiones convergentes respecto de
las estructuras algebraica y de orden de R.
7.10 Proposicin. Supongamos que lKmfxn g D x , lKmfyn g D y y que existe m 2 N tal que
para todo n > m se tiene que xn 6 yn . Entonces se verifica que x 6 y.
Demostracin. Sea " > 0, probaremos que x < y C ". Por hiptesis existen nmeros naturales
m1 y m2 tales que para todo p > m1 se tiene que x "=2 < xp < x C "=2 y todo q > m2
se tiene que y "=2 < yq < y C "=2. Tomando un nmero natural n > mKax fm; m1 ; m2 g, se
verifican las dos desigualdades anteriores y tambin la del enunciado, luego:
x
Respecto al resultado anterior, conviene advertir que aunque las desigualdades sean es~ trictas no puede asegurarse que lKmfxn g D x sea estrictamente menor que lKmfyn g D y. Por
Universidad de Granada
Dpto. de Anlisis Matemtico
Sucesiones montonas
331
7.11 Proposicin (Principio de las sucesiones encajadas). Supongamos que fxn g, fyn g, fzn g
son sucesiones tales que lKmfxn g D lKmfzn g D y existe un nmero natural m0 tal que para
todo n>m0 se verifica que xn 6yn 6zn , entonces la sucesin fyn g es convergente y lKmfyn gD.
Demostracin. Sea " > 0. Por hiptesis existen m1 ; m2 tales que para todo p > m1 y todo
q > m2
" < xp < C "
y
" < zq < C "
(7.2)
Sea m3 DmKaxfm0 ; m1 ; m2 g. Para todo n>m3 las desigualdades (7.2) se cumplen para pDqDn.
Adems como n > m0 se tiene que xn 6 yn 6 zn . Deducimos que, para todo n > m3 se verifica
que:
" < xn 6 yn 6 zn < C ";
y, por tanto,
Una consecuencia inmediata de este resultado es que si cambiamos arbitrariamente un nmero finito de trminos de una sucesin, la nueva sucesin as obtenida es convergente si lo era
la de partida y con su mismo lmite. Esto es lo que dice el siguiente resultado.
7.12 Corolario. Sean fxn g e fyn g sucesiones cuyos trminos son iguales a partir de uno en
adelante, es decir, hay un nmero natural m0 tal que para todo n > m0 es xn D yn . Entonces
fxn g converge si, y slo si, fyn g converge en cuyo caso las dos sucesiones tienen igual lmite.
El principio de las sucesiones encajadas es de gran utilidad y se usa con mucha frecuencia.
Naturalmente, cuando apliquemos dicho principio a un caso concreto, la sucesin fyn g del
enunciado ser la que queremos estudiar y tendremos que ser capaces de inventarnos las
sucesiones fxn g y fzn g de manera que se cumplan las condiciones del enunciado. Veamos un
ejemplo.
p
7.13 Ejemplo. La sucesin f n ng es convergente a 1.
p
Pongamos yn D n n. La eleccin de fxn g es inmediata: xn D 1. Un poco ms difcil es la
eleccin de fzn g. Para ello apliquemos la desigualdad de las medias a los nmeros x1 D x2 D
p
D xn 2 D 1; xn 1 D xn D n para obtener que para todo n > 2 es:
p
p
2
n 2C2 n
n
<1C p :
(7.3)
n6
n
n
2
Por tanto tomando zn D 1 C p , es inmediato que lKmfzn g D 1 y concluimos, por el principio
n
p
de las sucesiones encajadas, que lKmf n ng D 1.
Sucesiones montonas
332
Tomando M D mKaxf1Cjxj; jx1 j; ; jxm jg, tenemos que jxn j 6 M para todo n 2 N.
La proposicin anterior es til a veces para probar que una sucesin no es convergente:
para ello basta probar que no est acotada.
7.16 Ejemplo. La sucesin fHn g definida para todo n 2 N por:
Hn D
no es convergente.
n
X
1
kD1
D1C
1
1
1
C C C
2
3
n
Sucesiones montonas
333
En efecto, como
xnC1
xn D
1
1
C
2n C 2 2n C 1
1
1
1
>
C
n C 1 2n C 2 2n C 2
1
D0
nC1
se sigue que xnC1 > xn para todo n 2 N, es decir, es una sucesin creciente. Adems
xn 6
1
1
n
.n
C C
D
<1
nC1
nC1 nC1
por lo que tambin est mayorada. Concluimos, por el teorema anterior, que dicha sucesin es
convergente.
7.2.3.1.
El nmero e
1 n
es creciente y que la
En el ejercicio 30 hemos probado que la sucesin xn D 1 C
n
nC1
1
sucesin yn D 1 C
es decreciente. Como 0 < yn , se sigue que fyn g es convergente.
n
Puesto que
1 1
n
x n D yn 1 C
D yn
n
nC1
se sigue que fxn g tambin es convergente y lKmfxn g D lKmfyn g. El valor comn de este lmite
es un nmero real que se representa con el smbolo e. Como consecuencia del teorema 7.17, se
verifica que:
(
)
1 mC1
1 n
W n 2 N D Knf
1C
W m2N
e D sup 1 C
n
m
Universidad de Granada
Dpto. de Anlisis Matemtico
334
(7.5)
(7.6)
para todo p > m1 y todo q > m2 . Sea m0 D mKaxfm1 ; m2 g. Para todo n > m0 las desigualdades (7.6) se cumplen para pDqD n, por lo que, sumndolas trmino a trmino, deducimos que
x Cy " < xn Cyn < x Cy C" cualquiera sea n>m0 , lo que prueba que lKmfxnCyn gDx Cy.
Teniendo en cuenta que, por las proposiciones 7.15 y 7.19, se verifica que lKmf.xn x/yn gD
lKmfx.yn y/g D 0, y la igualdad
xn yn
deducimos que lKmfxn yn
xy D .xn
x/yn C x.yn
y/
Finalmente, para probar que lKmfxn =yn g D x=y, probaremos que la sucesin
xn x
x n y yn x
D
yn y
yn y
Universidad de Granada
Dpto. de Anlisis Matemtico
335
converge a cero, para lo cual, teniendo en cuenta que lKmfxn y yn xg D xy yx D 0, bastar probar que la sucesin f1=yn g est acotada. Puesto que lKmfyn g D y, se deduce de la
desigualdad
jjyn j jyjj 6 jyn yj
que lKmfjyn jg D jyj. Existir, por tanto, un nmero m0 2 N tal que para todo n > m0 es
jyn j > jyj=2. Pongamos
2
1
1
1
;
;
;:::;
:
K D mKax
jy1 j jy2 j
jym0 j jyj
1
6 K para todo n 2 N. Hemos probado as que la sucesin f1=yn g
jyn j
est acotada, lo que concluye la demostracin del teorema.
2
Se tiene entonces que
7.21 Observacin. Hay que leer con atencin las hiptesis del teorema anterior para no hacer
un uso incorrecto del mismo. En particular, no hay que olvidar que la suma de dos sucesio~ nes no convergentes puede ser una sucesin convergente. Por ejemplo, las sucesiones xn Dn,
ynD n, no son convergentes pues no estn acotadas, pero su suma xnCynD0 es, evidentemente, convergente. Por tanto, antes de escribir lKmfxnCyn gDlKmfxn gClKmfyn g, hay que asegurarse
de que estos ltimos lmites existen, es decir, que las sucesiones fxn g, fyn g convergen, pues
pudiera ocurrir que la sucesin fxn Cyn g fuera convergente y no lo fueran las sucesiones fxn g,
fyn g. Anlogamente, basta considerar las sucesiones xn Dyn D. 1/n , para convencerse de que
el producto de dos sucesiones no convergentes puede ser una sucesin convergente y, en consecuencia, antes de descomponer una sucesin como producto de otras dos, debes asegurarte
de que estas sucesiones convergen.
j gn2N
336
D 1. Por tanto
Observa que hay sucesiones, la de los nmeros naturales por ejemplo, que no tienen ningn
valor de adherencia. Tambin puede ocurrir que una sucesin tenga un nico valor de adherencia y no sea convergente. Por ejemplo, la sucesin dada por xn D .1C . 1/n /n C 1=n para
todo n 2 N, no es convergente y tiene a 0 como nico valor de adherencia. Vamos a ver a
continuacin que estos comportamientos no pueden darse con sucesiones acotadas.
7.26 Lema. Toda sucesin tiene una sucesin parcial montona.
Demostracin. Sea fxn g una sucesin y definamos
A D fn 2 N W xn > xp para todo p > ng
Podemos visualizar el conjunto A como sigue. Consideremos en el plano los segmentos de
extremos .n; xn / y .n C 1; xnC1 /, n D 1; 2; 3; : : :
b
b
b
10
11
12
13
14
15
16
17
18
19
20
Resulta as una lnea poligonal infinita y podemos imaginar que dicha lnea es el perfil de
una cordillera cuyas cumbres y valles son los puntos .n; xn /. Imaginemos ahora que los rayos
de luz del Sol, paralelos al eje de abscisas, iluminan dicha cordillera por el lado derecho (el Sol
Universidad de Granada
Dpto. de Anlisis Matemtico
337
estara, pues, situado en el infinito del eje de abscisas positivo). Pues bien, un nmero natural
n pertenece al conjunto A si el punto .n; xn / est iluminado y no pertenece a A si dicho punto
est en sombra.
Supongamos que A es infinito. Entonces podemos definir una aplicacin W N ! N
estrictamente creciente y tal que .N/ D A de la siguiente forma:
.1/ D mKn.A/
.n C 1/ D mKnfp 2 A W .n/ < pg para todo n 2 N
es decir la aplicacin va eligiendo los elementos de A de menor a mayor empezando por el
primero. Resulta ahora evidente que la sucesin parcial fx .n/g es decreciente, porque todos
los puntos . .n/; x .n/ / estn iluminados y, por tanto, ninguno de ellos puede hacerle sombra
a uno anterior.
Si A es finito podemos suponer que AD. En tal caso, para todo n 2 N hay algn p > n tal
que xn < xp (pues todo punto .n; xn / est en sombra). Podemos definir ahora una aplicacin
W N ! N estrictamente creciente de la siguiente forma:
.1/ D 1
.n C 1/ D mKnfp 2 N W .n/ < p y x .n/ < xp g para todo n 2 N
Es evidente que la sucesin parcial fx .n/g es creciente, pues cada punto . .n/; x .n/ / deja en
la sombra al anterior.
2
El siguiente resultado es uno de los ms importantes en la teora de sucesiones de nmeros
reales.
7.27 Teorema (Teorema de Bolzano - Weierstrass). Toda sucesin acotada de nmeros reales
tiene alguna sucesin parcial convergente.
Demostracin. Sea fxn g una sucesin acotada. En virtud el lema anterior, hay una sucesin
parcial de fxn g que es montona, dicha sucesin parcial est acotada por estarlo fxn g y, por
tanto, es convergente.
2
Si volvemos a leer la definicin de sucesin convergente, parece que para estudiar la convergencia de una sucesin fxn g debemos ser capaces de adivinar, de alguna manera, su posible
lmite. De hecho, una idea bastante extendida consiste en pensar que es lo mismo probar la
convergencia de una sucesin que calcular su lmite. Esto no es del todo correcto; son relativamente pocas las sucesiones convergentes cuyo lmite puede efectivamente calcularse. Cuando
se estudia la convergencia de una sucesin fxn g, la mayora de las veces, lo que conocemos es,
justamente, la sucesin y, naturalmente, se desconoce su posible lmite el cual pudiera, incluso,
no existir. Por ello interesa tener criterios de convergencia intrnsecos a la sucesin, es decir,
que no hagan intervenir a un objeto en principio extrao a ella como es su posible lmite. Conocemos ya un criterio de convergencia intrnseco para sucesiones montonas. Usando dicho
criterio hemos probado en el ejemplo 7.18 la convergencia de una sucesin sin necesidad de
conocer su lmite.
Universidad de Granada
Dpto. de Anlisis Matemtico
338
xj 6 jxn
xj <
"
"
C D"
2
2
Recprocamente, si fxn g es convergente y lKmfxn g Dx, dado " > 0, hay un nmero m" 2 N
tal que para todo nmero natural n > m" se tiene que jxn xj < "=2. Deducimos que si p; q
son nmeros naturales mayores o iguales que m" entonces
jxp
xq j 6 jxp
xj C jx
7.30 Observacin. La condicin de Cauchy para sucesiones dada en la definicin 7.28, puede
tambin expresarse de una manera equivalente, aunque formalmente distinta, como sigue.
Una sucesin fxn g satisface la condicin de Cauchy, si para cada nmero positivo, " > 0,
existe un nmero natural m" , tal que para todo p>m" y para todo nmero natural h, se verifica
que jxpCh xp j < ".
Equivalentemente, una sucesin fxn g verifica la condicin de Cauchy si, y slo si, la sucesin fn g dada para todo n 2 N por:
n D supfjxnCh
Universidad de Granada
Dpto. de Anlisis Matemtico
xn j W h 2 Ng
Prof. Javier Prez
Clculo diferencial e integral
339
converge a cero.
Puesto que, evidentemente, para cada h 2 N se tiene que jxnCh xn j 6 n para todo
n 2 N, si fxn g satisface la condicin de Cauchy entonces se verifica que lKm fxnCh xn g D 0
n!1
~ para cada h 2 N. Es importante observar que una sucesin fxn g puede verificar esta ltima
n!1
n o
h
n
Hn D
1
1
C
nCh
nCh
Hn D H22.mCn/
C C
1
h
<
nC1
n
Hn g D 0.
Hn > H22.mCn/
n>1CmCn
nDmC1
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
340
Demostracin. Sea fxn g acotada, D lKm inffxn g; D lKm supfxn g. Supongamos que fxn g
es convergente con lKmfxn g D x. Dado " > 0, existe m0 2 N tal que para todo p > m0 es
x "=2 < xp < x C "=2. Por tanto x "=2 es un minorante de Am0 D fxp W p > m0g y, en
consecuencia, x "=2 6 m0 . Tambin, por anlogas razones, m0 6 x C "=2. Como adems
m0 6 6 6 m0 , resulta que:
x
"=26m0 6 6 6 m0 6 x C "=2:
(7.7)
De donde se sigue que 6". Hemos probado que para todo " > 0 es 6 C" lo que, como
ya sabemos, implica que 6 y, en consecuencia D. Deducimos ahora de las desigualdades
(7.7) que, para todo " > 0, x "=2 6 D 6 x C "=2 y, por tanto, x 6 D 6 x, o sea,
x D D .
Recprocamente, supongamos que D . Dado " > 0, todos los trminos de cada una de
las sucesiones fn g y fn g estarn en el intervalo "; C "D "; C " a partir de uno
de adelante. Luego " < m0 6 m0 < C " para algn m0 2 N. Puesto que para n>m0
se verifica que m0 6 xn 6 m0 , concluimos que " < xn < C " para todo n>m0 . Hemos
probado as que fxn g es convergente y lKmfxn g D D .
2
312. Dado " > 0, calcula m" 2 N tal que para todo n>m" se verifique jxn
xn , x vienen dados en cada caso por:
p
p
2n C 3
2
3
; xD I
b/ xn D n C 1 3 n ; x D 0
3n 50
3
p
1 n
n
c/ xn D a .a > 0/; x D 1I
d / xn D p
; xD0
2
p
p
n
n C 1 n n ; x D 0I f / xn D n2 an .jaj < 1/; x D 0
e/ xn D n
a/ xn D
Sugerencia. Como consecuencia del binomio de Newton, para x 1 > 0 se verifica que
x n D.1C.x 1//n >1Cn.x 1/. Esta desigualdad, convenientemente usada, permite
resolver con facilidad los casos b), c), d) y e).
313. Sea A un conjunto no vaco y mayorado de nmeros reales. Prueba que un nmero real,
, es el supremo de A si, y slo si, es un mayorante de A y hay alguna sucesin de
puntos de A que converge a .
314. Supuesto que lKmfxn gDx, prueba que el conjunto ADfxn Wn 2 Ng[fxg tiene mximo y
mnimo.
315.
a) Sea fxn g una sucesin y supongamos que hay nmeros 20; 1; p 2 N, tales que
para todo n > p es jxnC1 j 6 jxn j . Prueba que lKmfxn g D 0.
jxnC1 j
b) Sea fxn g una sucesin de nmeros no nulos verificando que lKm
D , donde
jxn j
0 6 < 1. Prueba que lKmfxn g D 0.
Aplicacin. Dados a 2
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
341
317. Sea xn D
1 3 5 .2n 1/
1
. Prueba que xn < p
. Deduce que lKmfxn g D 0.
2 4 6 2n
2n C 1
Sugerencia. Relaciona
k
kC1
con
kC1
.
kC2
p
1 C an
318. Supongamos que fan g ! 0. Justifica, usando derivadas, que lKm
an
1
D .
2
319. Sean a0 ; a1 ; : : : ; ap nmeros reales cuya suma es igual a cero. Justifica que
n p
o
p
p
p
lKm a0 n C a1 n C 1 C a2 n C 2 C C ap n C p D 0
n!1
n
X
kD1
1
p
k
n
X
kD2
1
k log k
p
an C bn
; anC1 D an bn :
2
Justifica que las sucesiones as definidas son montonas y convergen al mismo nmero
(que se llama media aritmtico-geomtrica de a1 y b1 ).
bnC1 D
an C bn
2an bn
:
; anC1 D
2
an C bn
Justifica que las sucesiones as definidas son montonas y convergen al mismo nmero
(que se llama media aritmtico-armnica de a1 y b1 ).
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
342
anC2 D
2anC1 an
:
anC1 C an
xn 2
.
2; 1, definimos x1 D a, xnC1 D
xn C 4
p
p
Dado a > 0, definimos x1 D a, xnC1 D a C xn .
1
.
x1 D 0, xnC1 D
3 xn2
a
1
2xn C 2 .
Dado a > 0 y a 1, definimos x1 D a, xnC1 D
3
xn
1
Dado a 2 R, definimos x1 D a, xnC1 D C .xn /2 .
4
Dado a 2 2; 1, definimos x1 D a, 3xnC1 D 2 C .xn /3 .
d) Dado a 2
e)
f)
g)
h)
i)
Sugerencia. Estudia en cada caso monotona y acotacin. La convergencia puede depender del valor inicial de a.
326. Para cada n 2 N sea
1
1
xn D1C C C
2
n
log.n/;
yn D xn
1
:
n
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
343
327. Sea fxn g una sucesin y supongamos que hay dos sucesiones parciales fx .n/g y fxs.n/ g
que convergen a un mismo nmero x y tales que .N/ [ s.N/ D N. Prueba que fxn g
converge a x.
328. Sea fxn g una sucesin tal que las sucesiones parciales fx2n g, fx2n
vergentes. Prueba que fxn g es convergente.
1g
329. Puede existir alguna sucesin acotada, fxn g, verificando que jxn
que n m? Razona tu respuesta.
xm j>10
75
siempre
330. Sea fxn g una sucesin de nmeros reales y supongamos que hay nmeros 20; 1,
M > 0 y p 2 N tales que jxnC1 xn j 6 Mn para todo n > p. Prueba que fxn g es
convergente.
Sugerencia. Teniendo en cuenta que para todos n; h 2 N se verifica que:
nCh
C nCh
C C n <
n
1
332. Sea I un intervalo cerrado (puede ser I D R); f W I ! R una funcin, y supongamos
que hay un nmero 20; 1 tal que:
jf .x/
f .y/j 6 jx
yj;
para todos x; y en I :
(7.8)
1
I
1 C xn
b/ x1 D
2; xnC1 D
p
2
xn :
334. Supongamos que la ecuacin x 2 D bx C a tiene dos races reales distintas y . Dados
dos nmeros reales y , definamos fxn g por:
x1 D C ; x2 D C ; xnC2 D bxnC1 C axn
Prueba que xn D n
Universidad de Granada
Dpto. de Anlisis Matemtico
C n
para todo n 2 N.
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios propuestos
344
xnC2 D
p
xnC1 xn :
x2
6 log.1 C x/ 6 x:
2
1, la desigualdad
p
x
< 1Cx
2Cx
1<
x
.
2
r
n
X
kD1
Universidad de Granada
Dpto. de Anlisis Matemtico
n
Y
k
1C 2
n
1 .
.1 C k /.
kD1
1
y A D fxn W n 2 Ng. Calcula lKm supfxn g, lKm inffxn g,
n
Ejercicios resueltos
345
a/ xn D
Sugerencia. Como consecuencia del binomio de Newton, para x 1 > 0 se verifica que
x n D.1C.x 1//n >1Cn.x 1/. Esta desigualdad, convenientemente usada, permite
resolver con facilidad los casos b), c), d) y e).
Solucin. Como regla general, en este tipo de ejercicios hay que trabajar hacia atrs,
esto es, se calcula y simplifica jxn xj y se convierte la desigualdad jxn xj < " en
otra equivalente a ella de la forma n > '."/ donde '."/ es un nmero que depende
de ".
Basta entonces tomar m" como la parte entera de '."/ ms 1, m" D E '."/ C 1, con lo
cual para todo n > m" se tiene que n < '."/ y, por tanto, jxn xj < ".
Este procedimiento admite muchos atajos. Hay que tener en cuenta que no se pide calcular el m" ptimo, es decir, el menor valor posible de m" para el cual se verifica que
n > m" jxn xj < ", sino que se pide calcular cualquier valor de m" para el cual sea
cierta dicha implicacin. Para ello es suficiente con obtener, a partir de la desigualdad
jxn xj < ", otra desigualdad del tipo n > '."/ de forma que se verifique la implicacin
n > '."/jxn xj < ".
En este procedimiento hay que quitar valores absolutos. Esto siempre puede hacerse
porque la desigualdad jxn xj < " equivale a las dos desigualdades " < x n x < ".
Con frecuencia, el nmero xn x es siempre positivo o siempre negativo para todo n>n0 ,
lo que permite quitar directamente el valor absoluto y sustituirlo por la correspondiente
desigualdad.
Por supuesto, en estos ejercicios hay que trabajar con un valor genrico de " > 0, es
decir, no est permitido considerar valores particulares de " porque se trata de probar que
una cierta desigualdad es vlida para todo " > 0.
La verdad es que se tarda ms en escribir lo anterior que en hacer el ejercicio porque las
sucesiones que se dan son muy sencillas y la sugerencia muy til.
a) Tenemos que
jxn
2n C 3
xj D
3n 50
2 109
D
:
3 9n 150
Ejercicios resueltos
346
Deducimos que para que se tenga jxn xj < " es suficiente que tomar n D 17 C k donde
13
k se elige de forma que 13
< ", es decir, k > 13
" . Por tanto, poniendo m" D 18 C E. " /
k
podemos asegurar que para todo n > m" se verifica que jxn xj < ".
109
< 109
< 13
no son imprescindibles; de hecho,
Observa que las acotaciones 3C9k
9k
k
109
podemos despejar k de la desigualdad 3C9k < ", pero las acotaciones hechas facilitan
este paso (aunque se obtiene un valor de k mayor).
b) Tenemos que:
0D
0 < xn
Pongamos zn D
r
3
1C
p
3
1
n
nC1
Deducimos que:
xn D
m" D 1 C E
1 p
1
3 3 n
1
.
27"3
1 :
p
1 1
1 1
3
6 p :
n zn 6 p
3 3 n2 3 3 n
1
1C
n
1
1
> 1 C 3zn zn 6
n
3n
1 1
p < " xn < " jxn
3 3n
La desigualdad
p
nD 3 n
.1 C zn /3 D 1 C
Por tanto:
p
3
0j D xn < "
1
.
27"3
1 p
1
1 1
p
3 3 n2 6 3 3 n no es imprescindible; de hecho, podemos des1 p1
3 3 n2 < ", pero la acotacin anterior facilita este paso (aunque
pejar n en la desigualdad
se obtiene un valor mayor para n).
p
c) Sea a > 1. Entonces 1 < n a. Pongamos zn D jxn
1j D
p
n
a
1
n
Deducimos que:
a
1
n
1
a
1j < "
a 1
" .
p
n
aD
p
n
p
b 1
n
p
< b
n
b
1<
n
De donde se sigue que podemos tomar m" D 1 C E 1a"a .
Universidad de Granada
Dpto. de Anlisis Matemtico
a1
a n
Ejercicios resueltos
e) Sea xn D n
347
p
n
n . Tenemos que:
p
n
nC1
p
n
0j D n
nC1
0 < xn D jxn
Pongamos zn D
r
n
1C
1
n
p
p
n
n Dnn n
r
n
1
1C
n
1 :
.1 C zn /n D 1 C
1
1
> 1 C nzn zn < 2 :
n
n
Ejercicio resuelto 153 Sea A un conjunto no vaco y mayorado de nmeros reales. Prueba
que un nmero real, , es el supremo de A si, y slo si, es un mayorante de A y hay
alguna sucesin de puntos de A que converge a .
Solucin. Supongamos que D sup.A/. Entonces es, claro est, un mayorante de A.
Veamos que hay una sucesin de puntos de A que converge a . Como es el mnimo
mayorante de A, ningn nmero menor que puede ser mayorante de A. Por tanto,
dado " > 0, como " < , tiene que haber algn a" 2 A tal que " < a" . En
particular, para " D n1 tiene que haber algn an 2 A tal que n1 < an y, por supuesto,
an 6 . Deducimos as la existencia de una sucesin, fan g, de puntos de A que verifica
n1 < an 6 . Es claro que fan g ! .
La afirmacin recproca te la dejo apara que la hagas t.
Ejercicio resuelto 154 Supuesto que lKmfxn g D x, prueba que ADfxn Wn 2 Ng[fxg tiene
mximo y mnimo.
Solucin. Los elementos de A son los trminos de la sucesin junto con el lmite de la
misma. Observa que el conjunto A puede ser finito o infinito. El caso en que A es finito
es trivial porque sabemos que todo conjunto finito tiene mximo y mnimo. Conviene
considerar, por tanto, que A es infinito. La idea para hacer este ejercicio es la siguiente:
an siendo A infinito, todos sus elementos estn en un intervalo de la forma x "; x C",
con la posible excepcin de un nmero finito de elementos de A que pueden quedar fuera
de dicho intervalo. Para probar que A tiene mximo debemos fijarnos en los elementos
ms grandes de A. Dichos elementos deberan estar a la derecha del nmero x C " para
" > 0 suficientemente pequeo. Pero no tiene por qu haber ningn elemento de A en
estas condiciones, y eso pasa justamente cuando x es el mayor elemento de A, en cuyo
caso x sera el mximo de A.
Esto lleva a razonar de la siguiente forma. Si x es el mximo de A, hemos acabado. En
otro caso, tiene que haber algn elemento en A, digamos a 2 A que sea mayor que x,
a > x. Tomemos un " > 0 tal que x C" < a (por ejemplo "D.a x/=2). Entonces, todos
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
348
los elementos de A estn en x "; x C " excepto un nmero finito de ellos que quedan
fuera de dicho intervalo; adems, como a > x C ", el conjunto B D fu 2 A W u > x C "g
no es vaco (a 2 B), es finito y, evidentemente, se tiene que mKax.B/ D mKax.A/.
Solucin. a) Podemos hacer este apartado de dos maneras. La primera consiste en darse
cuenta de que la hiptesis
jxnC1 j 6 jxn j para todo n > p, junto con que 0 < < 1,
implica que la sucesin jxnCp j n2N es decreciente y, como es de nmeros positivos,
tiene que converger a un nmero >0. Por tanto lKmfjxn jgD. La desigualdad jxnC1 j6
jxnj implica que 6 y, como 0 < < 1, la nica posibilidad para que dicha
desigualdad se cumpla es que D 0.
Otra forma consiste en escribir para n > p:
jxnC1 j D
1j
2j
jxpC1 j
jxp j 6 n
jxp j
pC1
jxp j D nC1
jxp j
D MnC1
p
jx j
donde hemos puesto M D pp que es una constante que no depende de n. La desigualdad
anterior, teniendo en cuenta que, por ser 0 < < 1, se verifica que n ! 0, implica que
jxn j ! 0.
b) Tomando " > 0 de forma que D C " < 1 (basta tomar " D .1
que hay un nmero p 2 N tal que para todo n > p se verifica que:
/=2), se sigue
jxnC1 j
6 jxnC1 j 6 jxn j:
jxn j
Y, por lo visto en el apartado anterior, concluimos que fxn g ! 0.
La aplicacin que se propone en este ejercicio es un resultado importante que debes
memorizar.
Pongamos xn D nk an , donde se entiende que k es un nmero natural fijo y a es un
nmero real con jaj < 1. Tenemos que:
jxnC1 j
D
jxn j
nC1
n
k
jxnC1 j
D jaj < 1:
n!1 jxn j
jaj lKm
Y podemos aplicar el resultado del punto anterior para concluir que lKm fnk an g D 0.
n!1
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
349
Solucin. a) Tenemos que fx2ng ! 3=7, fx2n 1 g ! 1=7. Luego fxn g no converge
porque tiene dos sucesiones parciales que convergen a lmites distintos.
n
n
b) Tenemos que 0 6 xn 6 n 23 y, como n 32 ! 0 por lo visto en el ejercicio anterior,
se sigue que fxn g ! 0.
p
p
n
n
d) Sea DmKax a; b. Entonces 6xn 6 2. Como 2 ! 1, concluimos que fxn g ! .
e) Tenemos que:
n
X
n
n
1
p
p
6
6p
:
n C n2 kD1 k C n2
1 C n2
n
n
D lKm p
D1, el principio de las sucesiones encajadas
Puesto que lKm p
n!1
n!1
2
nCn
1 C n2
n
X
1
implica que lKm
D 1.
p
n!1
2
k
C
n
kD1
h)
q
p
n2 C n
p
p
p
p
n2 C n n2 p
n
n C 1 C 2n D p
n C 1 C 2n D
p
n2 C n C n
q
p
p
p
2
1 C n1 C 2
p
n C n C 2n
! 2
D p
Dq
p
1
n2 C n C n
C1
1 C np
n
n
X
kD1
1
p
k
p
p
1
2n C 1 2 n2 C n
2 n p
p
D
>
nC1
nC1
q
2n C 1 2 n2 C n C 14
>
D 0:
p
nC1
p
xn D 2 n C 1
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
350
2
Dp
p
k C1
k C1C k
1
1
p
<p
kC1
k
1
p
k C1
p
1
2 kDp
c
1
1
1
<p <p :
p
c
k C1
k
Deducimos que:
p
0<2 k C1
p
2 k
1
1
p
<p
k C1
k
1
p
:
kC1
Ejercicio resuelto 158 Prueba que la sucesin dada por x1 D 0 y para n > 2:
xn D log.log n/
n
X
kD2
1
k log k
xk D log.log.k C 1//
log.log k/
1
:
.k C 1/ log.k C 1/
Aplicando el teorema del valor medio a la funcin f .x/ D log.log x// en el intervalo
k; k C 1 para k > 2, tenemos que hay algn nmero c 2k; k C 1 tal que:
log.log.k C 1//
log.log k/ D
1
:
c log c
xk <
1
k log k
1
:
.k C 1/ log.k C 1/
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos
351
Esta desigualdad prueba que la sucesin fxn g es creciente. Adems, sumando las desigualdades anteriores desde k D 2 hasta k D n resulta que:
xnC1 x2 <
1
1
1
1
<
xnC1 < x2 C
Dlog.log 2/:
2 log 2 .n C 1/ log.n C 1/
2 log 2
2 log 2
p
an C bn
; anC1 D an bn :
2
Justifica que las sucesiones as definidas son montonas y convergen al mismo nmero
(que se llama media aritmtico-geomtrica de a1 y b1 ).
Solucin. Teniendo en cuenta que la media geomtrica de dos nmeros es menor que su
media aritmtica, y que ambas estn comprendidas entre dichos nmeros, se sigue que
a1 < a2 < b2 < b1 . Volvemos a razonar ahora igual con a2 < b2 para obtener que
a2 < a3 < b3 < b2 . Este proceso puede continuarse indefinidamente. Deducimos que
fan g es creciente y fbn g es decreciente. Adems, ambas estn acotadas porque para todo
n 2 N es a1 < an < bn < b1 . Por tanto, ambas convergen. Pongamos fan g ! a y
an C bn
aCb
fbn g ! b. De la igualdad anC1 D
se sigue que a D
, de donde se obtiene
2
2
que a D b.
Ejercicios resueltos
352
p
p
a) Supuesto que fxn g ! , de la igualdad xnC1 D 3xn , se sigue que D 3, por
lo que D 3. Observa que no hemos probado que fxn g sea convergente. Lo que hemos
probado es que, suponiendo que fxn g sea convergente, entonces p
su lmite es 3. Este dato
nos ayudar en lo que sigue. Por ejemplo, como x1 D 1 < x2 D 3, podemos sospechar
que fxn g es creciente. En tal caso debera verificarse que xn < 3 para todo n 2 N.
Empezaremos probando esta desigualdad.
p
p
Tenemos que x1 D 1 < 3; supuesto que xn < 3 deducimos que xnC1 D 3xn < 9 D 3.
Luego, por induccin, concluimos que xn < 3 para todo n 2 N. Probemos ahora que
fxn g es creciente. Tenemos que:
2
3xn D xnC1
D xnC1 xnC1 < 3xnC1
xn < xnC1
por tanto, la sucesin es estrictamente creciente y, como est mayorada por 3, es convergente y, por lo visto al principio, su lmite es 3.
3 C 3xn
3 C 3
b) Supuesto que fxn g ! , de la igualdad xnC1 D
, se sigue que D
,
3 Cp
xn
3C
de donde resulta que 2 D 3, por lo que deber ser D 3 ya que el lmite debe ser un
nmero no negativo pues, evidentemente, todos los trminos de la sucesin son positivos.
Observa que no hemos probado que fxn g sea convergente. Lo p
que hemos probado es que,
suponiendo que fxn g sea convergente, entonces su lmite es 3. Este dato nos ayudar
en lo que sigue. Por ejemplo, como x1 D 3 > x2 D p
2, podemos sospechar que fxn g es
decreciente. En tal caso debera verificarse que xn > 3 para todo n 2 N. Empezaremos
probando esta desigualdad.
p
Claramente x1 D 3 > 3. Por otra parte:
xnC1 >
p
p
p
3 C 3xn p
3
> 3 3 C 3xn > 3 3 C 3xn
3 C xn
p
p
p p
xn 3. 3 1/ > 3. 3 1/ xn > 3
p
p
Por tanto,
p si xn > 3 tambin es xnC1 > 3. Luego, por induccin, concluimos que
xn > 3 para todo n 2 N. Probemos ahora que fxn g es decreciente. Tenemos que:
xnC1
xn D
3 C 3xn
3 C xn
xn D
3 xn2
< 0 xnC1 < xn
3 C xn
p
3, es
7.32 Estrategia. Para estudiar las sucesiones recurrentes pueden usarse tcnicas de derivadas; para ello hay que expresar la sucesin recurrente en la forma xnC1 D f .xn /,
donde la funcin f generalmente es fcil de obtener a partir de la definicin de la suce3 C 3xn
, por lo que deberemos considerar la
sin. En nuestro caso, tenemos que xnC1 D
3 C xn
3 C 3x
. Con ello, tenemos que xnC1 D f .xn /. Esta relacin, junto con
funcin f .x/ D
3Cx
x1 D3 determina la sucesin. Seguidamente, hay que elegir un intervalo donde la funcin
f va a estar definida. Tenemos que elegir dicho intervalo de forma que la funcin tome
valores en l. En nuestro caso, la eleccin es fcil pues, si x > 0 tambin es f .x/ > 0, por
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
353
Lo primero que debemos observar es que la sucesin est bien definida pues x1 D 3 > 0
y, supuesto que xn > 0, tambin es xnC1 D f .xn / > 0 por lo que tiene sentido f .xnC1 /.
Si la sucesin converge, su lmite debe ser un nmero > 0 y, por ser f continua, f
permuta con el lmite, por lo que debe verificarse que
D lKmfxnC1 g D lKmff .xn /g D f .lKmfxn g/ D f ./:
p
De donde se obtiene que D 3.
6
.
.3 C x/2
Como f 0 .x/ > 0, se sigue que f es estrictamente creciente. Como x1 D 3 > x2 D
f .x1 / D 2 y, al ser creciente, f conserva las desigualdades, se sigue que x2 D f .x1 / >
f .x2 / D x3 . Este proceso puede seguirse indefinidamente, esto es, la misma relacin de
orden que hay entre dos trminos consecutivos se conserva siempre:
xn > xnC1
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
354
1C 5
D lKm
2
f) Tenemos que x1 D 0 y xnC1 D
1C
1C
q
p
1 C 1 C
1
1
a
g) Dado a > 0 y a 1, definimos x1 D a, xnC1 D
2xn C 2 . Tenemos, eviden3
xn
a
1
2x C 2
temente, que xn > 0 para todo n 2 N. Consideremos la funcin f .x/ D
3
x
donde, en principio, x > 0. Tenemos que:
2 x3 a
3
x3
p
p
Deducimos que f 0 .x/ < 0 para 0 < x < 3 a y f 0 .x/ > 0 para x > 3 a. Por
p
p
tanto f es estrictamente decreciente en 0; 3 a y estrictamente creciente en 3 a; C1.
p
Concluimos que en 3 a la funcin f tiene un mnimo absoluto en RC . Como todos los
trminos de la sucesin fxn g son (con la posible excepcin del primero x1 D a) valores
p
que toma f en puntos de RC , se sigue que xn > f . 3 a/ para todo n > 2. Un calculo
p
p
p
inmediato da f . 3 a/ D 3 a, es decir, resulta que 3 a es un punto fijo de f en RC . Como
f es continua en RC , si fxn g es convergente dicho punto debe ser el lmite de fxn g. Pero
antes debemos probar que fxn g es convergente.
p
Para estudiar la monotona debemos tener en cuenta que como xn > 3 a para todo n > 2,
p
todos los trminos de la sucesin estn en el intervalo I D 3 a; C1. No es por eso
f 0 .x/ D
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
355
restrictivo suponer que a > 1 (porque si fuera 0 < a < 1, podemos eliminar el primer
trmino de la sucesin lo que no afecta para nada a su estudio). Comparemos x1 con x2 .
Tenemos que:
x2
x1 D
1
a
3
a
a2
aD
2a2 C 1
3a
aD
a2
<0
3a
Por tanto se tiene que x2 < x1 y, como f es estrictamente creciente en I , las desigualdades se conservan por f , luego, supuesto que xn < xn 1 , se tiene tambin que
xnC1 D f .xn / < f .xn 1 / D xn . Resulta as que fxn g es decreciente. Adems es de
p
trminos positivos (de hecho mayores que 3 a), luego fxn g es convergente y su lmite es
p
3
a.
h) Consideremos la funcin f .x/ D 41 C x 2 . Tenemos que f .x/ > 41 . Como los trminos
de la sucesin dada, con la posible excepcin del primero, son todos ellos valores de f ,
se cumple que xn > 14 para todo n > 2. No es restrictivo por eso suponer que a > 14 .
Pongamos I D 1=4; C1. Tenemos que f .I / I . Como f 0 .x/ D 2x, se sigue que
f es estrictamente creciente en I . Por tanto la sucesin fxn g ser montona creciente si
x1 6 x2 y ser montona decreciente si x2 < x1 . Tenemos que:
x1 6 x2
1
a6a C
4
2
1
06a C
4
2
aD a
1
2
2
log.n/;
yn D xn
1
:
n
n!1
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
356
xnC1 D log.n C 1/
log n
1
1
D log 1 C
nC1
n
1
> 0:
nC1
Desigualdad que es consecuencia de que log.1 C x/ < x para todo x > 0. Tambin
podemos tomar logaritmos en las desigualdades 7.5 para obtener que:
1
1
1
< log 1 C
<
nC1
n
n
Deducimos que fxn g es estrictamente decreciente. Tenemos tambin:
1
1
1
yn ynC1 D log.n C 1/ log n
D log 1 C
< 0:
n
n
n
Deducimos que fyn g es estrictamente creciente. Adems, para todo n 2 N tenemos que
x1 < xn < yn < y1 , por lo que ambas sucesiones estn acotadas. Concluimos que dichas
sucesiones convergen. Como xn yn D n1 ! 0, deducimos que lKmfxn g D lKmfyn g.
a)
1 C 1=2 C C 1=n
log n C xn
xn
D
D1C
:
log.n/
log n
log n
xn
1
Como fxn g es convergente y
! 0, se sigue que
! 0.
log n
log n
1
1
b) Pongamos Hn D 1 C C C . Tenemos que:
2
n
1
1
1
C
C C
D H2n
nC1 nC2
2n
c) Pongamos An D 1
1
1
A2n D 1
C
3
2
1
1
D 1C C
3
5
1
1
D 1C C
3
5
xn g !
1
. 1/nC1
C C
. Tenemos que:
4
n
xn C log 2
D 0.
1
1
C
4
5
1
1
1
C C
D
6
2n 1 2n
1
1 1
1
1
C C
C C C C
D
2n 1
2
4 6
2n
1
1
1
1
C C
Hn D H2n
Hn
Hn D H2n
2n 1
2
2
2
Hn
1
,
Por el apartado anterior, tenemos que lKmfA2ng D log 2. Como A2n 1 D A2n C 2n
deducimos que tambin lKmfA2n 1g D log 2. Concluimos que (ver ejercicio resuelto
162) lKmfAn g D log 2.
1
1
C C
2
n
Ejercicios resueltos
357
Ejercicio resuelto 162 Sea fxn g una sucesin y supongamos que hay dos sucesiones parciales fx .n/g y fxs.n/ g que convergen a un mismo nmero x y tales que .N/ [ s.N/ D N.
Prueba que fxn g converge a x.
Solucin. Dado " > 0, existen nmeros naturales m" y n" tales que jx .n/ xj < " para
todo n > m" y jxs.n/ xj < " para todo n > n" . Sea p D mKax fm" ; n" g y pongamos
A D f .n/ W n > pg [ fs.n/ W n > pg. Como, por hiptesis es .N/ [ s.N/ D N, se sigue
que el conjunto B D N n A es finito pues B f .n/ W 1 6 n < pg [ fs.n/ W 1 6 n < pg.
Definamos mDmKax.B/C1. Para q >m se tiene que q 62 B, o sea, q 2 A, es decir, q es de
la forma q D .n/ o q D s.n/ con n > p, en cualquier caso se verifica que jxq xj < ".
Este resultado suele aplicarse cuando .n/ D 2n y s.n/ D 2n 1, es decir, a las sucesiones parciales de los trminos pares e impares. Cuando sabemos que fx2n g y fx2n 1 g
convergen a un mismo nmero, podemos concluir que fxn g converge a dicho nmero.
Este resultado puede generalizarse de manera fcil. Por ejemplo si fx3n g, fx3n 1 g y
fx3n 2 g convergen todas a un mismo nmero, tambin fxn g converge a dicho nmero.
Ejercicio resuelto 163 Sea fxn g una sucesin de nmeros reales y supongamos que hay nmeros 20; 1, M > 0 y p 2 N tales que jxnC1 xn j 6 Mn para todo n > p. Prueba
que fxn g es convergente.
Sugerencia. Teniendo ahora en cuenta que para todos n; h 2 N se verifica que:
nCh
C nCh
C C n <
n
1
h 1
h 1
X
X
jxnCh xn j D
.xnCkC1 xnCk / 6
jxnCkC1
kD1
kD0
D Mn
h
X1
kD0
k D Mn
M
xnCk j 6 M
h
X1
kD0
nCk D
M
1 h
< n
D Kn
1
1
ducimos que:
Kn < " jxnCh
Dado " > 0, determinamos m" por la condicin de que m" < "=K. Entonces para todo
n > m" y para todo h 2 N se verifica que jxnCh xn j < ", lo que prueba que la sucesin
fxn g verifica la condicin de Cauchy y, por tanto, es convergente.
Ejercicio resuelto 164 Sea fxn g una sucesin de nmeros reales y supongamos que existen
20; 1; p 2 N, tales que jxnC1 xn j 6 jxn xn 1j para todo n > p. Prueba que fxn g
es convergente.
Sugerencia. Justifica que jxnC1
de n.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
358
Solucin. Es muy fcil, basta iterar la desigualdad del enunciado. Sea n > p:
jxnC1
xn j 6 jxn
xn
1j
6 2 jxn
xn
2j
6 6 n
jxpC1
xp j D Mn :
jxpC1 xp j
es una constante independiente de n. El ejercicio anterior nos
p
dice que la sucesin fxn g es convergente.
Donde M D
Ejercicio resuelto 165 Sea I un intervalo cerrado (puede ser I D R); f W I ! R una funcin, y supongamos que hay un nmero 20; 1 tal que:
jf .x/
f .y/j 6 jx
yj;
para todos x; y en I :
(7.9)
Ejercicio resuelto 166 Estudia la convergencia de las sucesiones definidas para todo n 2 N
por:
p
p
1
I
b/ x1 D 2; xnC1 D 2 xn :
a/ x1 D 1; xnC1 D
1 C xn
1
. La sucesin que nos
1Cx
piden estudiar es la sucesin de iteradas de dicha funcin a partir del valor inicial x1 D 1.
1
< 0, la funcin f es estrictamente decreciente. Por tanto, la
Como f 0 .x/ D
.1 C x/2
sucesin xnC1 D f .xn / no es montona. Pues si, por ejemplo es xn 1 < xn , como f , al
ser decreciente, invierte las desigualdades, se tendr que xn Df .xn 1 / > f .xn /DxnC1 .
Solucin. a) Consideremos la funcin dada por f .x/ D
Es evidente que xn > 0 para todo n 2 N. Por tanto 1 C xn > 1xnC1 < 1, luego
xn 6 1 para todo n 2 N, de donde 1 C xn 6 2xnC1 > 21 . Deducimos que todos los
trminos de la sucesin estn en el intervalo I D 1=2; C1. Para x > 1=2 se tiene que
jf 0 .x/j 6 49 . Podemos aplicar, por tanto, el ejercicio anterior y deducimos que fxn g es
convergente. Adems, su lmite es el nico punto fijopde f en I , que viene dado por
1
1C 5
xD
x 2 C x 1 D 0, de donde, x D
.
1Cx
2
Ejercicio resuelto 167 Supongamos que la ecuacin x 2 D bx C a tiene dos races reales
distintas y . Dados dos nmeros reales y , definamos fxn g por:
x1 D C ; x2 D C ; xnC2 D bxnC1 C axn
Prueba que xn D n
Universidad de Granada
Dpto. de Anlisis Matemtico
C n
para todo n 2 N.
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos
359
D .b C a/ n
D b n
2
C b n
C .b C a/ n
C a n
C a n
D n C n
i) Como xnC2 D xnC1 C xn , deducimos que a D b D 1. Por tanto, y son las races
de x 2 D x C 1, las cuales vienen dadas por:
p
p
1
1C 5
5
D
;
D
2
2
Calculemos y por las condiciones x1 D 1 D C D, x2 D 1 D C . Fcilmente
se obtiene que:
p
p
5C 5
5
5
;
D
D
2
2
Deducimos, por lo antes visto, que:
p
p
p !n 1
p !n 1
5
5C 5 1C 5
5 1
5
C
xn D
2
2
2
2
iii) Pongamos x1 D a1 b 0 , x2 D a0 b 1 , xn D apn b qn . Entonces:
1
q1 D 0; q2 D 1; 2qnC2 D qnC1 C qn
Debemos ahora calcular 1 ; 1 y 2 ; 2 para que se verifiquen las respectivas condiciones iniciales p1 D 1; p2 D 0 y q1 D 0; q2 D 1. Fcilmente se obtiene que 1 D 31 , 1 D 23 ,
2 D 32 , 2 D 32 . Deducimos que:
n 1
n 1
p
1
2
2 2
1
1
1 2
3
xn D a 3 C 3 2
b3 3 2
! a 3 b 3 D ab 2 :
Universidad de Granada
Dpto. de Anlisis Matemtico
360
bargo, muchos textos usan la expresin sucesin divergente con el significado de sucesin
no convergente. Tambin es lamentablemente frecuente llamar sucesiones oscilantes a las
sucesiones acotadas no convergentes. No te dejes confundir: una sucesin o es convergente o
no es convergente. Un tipo especial de sucesiones no convergentes son las sucesiones positivamente divergentes y negativamente divergentes. Eso es todo, lo dems son ganas de confundir
al lector.
En la siguiente proposicin se exponen algunas propiedades elementales, pero importantes, de las sucesiones divergentes. Puesto que fxn g ! C si, y slo si f xng ! , es
suficiente enunciar dichas propiedades para sucesiones positivamente divergentes.
7.36 Proposicin. i) fjxn jg ! C si, y slo si, f1=xn g ! 0.
ii) La suma de una sucesin positivamente divergente con una sucesin acotada es una sucesin positivamente divergente.
iii) La suma de una sucesin positivamente divergente con una sucesin minorada es otra
sucesin positivamente divergente. En particular, la suma de dos sucesiones positivamente
divergentes es otra sucesin positivamente divergente.
Universidad de Granada
Dpto. de Anlisis Matemtico
361
yn D
yn D
yn D
yn D.
nI
2nI
nI
1/n nI
fxn C yn g D fng ! C
fxn C yn g D f ng !
fxn C yn g D f1g ! 1
fxn C yn g D f2. 1/ng
En consecuencia, las sucesiones del tipo fxn Cyn g donde fxn g ! C, fyn g ! , requieren
un estudio particular en cada caso. Tales sucesiones suele decirse que son una indeterminacin del tipo .
Anlogamente, si sabemos que fxn g ! 0 y que fyn g es divergente, ello no proporciona
ninguna informacin sobre el comportamiento de la sucesin fxn yn g; la cual se dice que es
una indeterminacin del tipo 0 . Las indeterminaciones que aparecen al estudiar el cociente de dos sucesiones divergentes o de dos sucesiones que convergen a cero, las llamadas
indeterminaciones de los tipos =, 0=0, pueden reducirse a una indeterminacin del
tipo 0 .
El siguiente resultado permite resolver en muchas ocasiones indeterminaciones de la forma
=.
7.37 Teorema (Criterio de Stolz). Sea fyn g una sucesin positivamente divergente y estrictamente creciente y sea fxn g cualquier sucesin. Supongamos que
xnC1 xn
!L
ynC1 yn
xn
! L:
donde L 2 R, o L D C, o L D . Entonces se verifica tambin que
yn
Demostracin. Supongamos, en primer lugar, que L 2 R. Dado " > 0, existe, por hiptesis, un
nmero natural k, tal que para todo n>k se verifica que
L
"
xnC1
<
2
ynC1
"
xn
<LC :
yn
2
xk xkC2
;
yk ykC2
Universidad de Granada
Dpto. de Anlisis Matemtico
xkC1
xn
; ;
ykC1
yn
xn
yn
1
1
xnC1
ynC1
xn
yn
362
se encuentran comprendidas entre L "=2 y L C "=2, por lo que, usando el ejercicio 8, obtenemos que:
xnC1 xk
"
"
<
<LC
(7.10)
L
2
ynC1 yk
2
cualquiera sea n>k. Teniendo en cuenta ahora la igualdad
xk Lyk
yk
xnC1
xnC1
LD
C 1
ynC1
ynC1
ynC1
ynC1
deducimos que:
xk
yk
L
xnC1
y
nC1
xk Lyk xnC1 xk
L :
L 6
(7.11)
C
ynC1
ynC1 yk
Lyk /=ynC1 D 0, existe un nmero natural q tal que, para todo n> q, se
xk Lyk "
<
2
y
nC1
Teniendo en cuenta (7.10) y (7.11), deducimos que para todo n> mKaxfk; qg se verifica que
xnC1
L < ":
y
nC1
Hemos probado, pues, que lKm xn =yn D L.
n!1
Supongamos ahora que L D C1. En tal caso, para todo n 2 N suficientemente grande,
se tendr que xnC1 xn > ynC1 yn > 0, por lo que la sucesin fxn g es, a partir de un
trmino en adelante, estrictamente creciente. Supondremos, pues no es restrictivo hacerlo, que
dicha sucesin es toda ella estrictamente creciente y que xqC1 xq > yqC1 yq para todo
q 2 N. Sumando estas desigualdades desde q D 1 hasta q D n, resulta xnC1 x1 > ynC1 y1 .
Y, como fyn g ! C1, deducimos que fxn g ! C1. Podemos usar ahora lo ya probado,
intercambiando las sucesiones fxn g e fyn g, para obtener que
ynC1 yn
yn
D lKm
D 0:
lKm
xn
xnC1 xn
Universidad de Granada
Dpto. de Anlisis Matemtico
363
xnC1
7.40 Corolario. Supongamos que
! L donde fxn g es una sucesin de nmeros
xn
p
positivos y L es un nmero real o bien L D C. Entonces se verifica que f n xn g ! L:
Demostracin. Basta aplicar el criterio de la media geomtrica a la sucesin fan g definida por
xnC1
para todo n 2 N.
2
a1 D1, anC1 D
xn
ii) Para toda sucesin fxn g de puntos de A tal que fxn g ! a con xn a, se verifica que
ff .xn /g ! L.
Demostracin. i/i i/. Supongamos que lKm f .x/ D L y sea fxn g ! a con xn 2 A y
x!a
xn a. Debemos probar que sucf .xn / ! L. Consideremos el caso en que a y L son nmeros
reales. Dado " > 0, por hiptesis, existe > 0 tal que para todo x 2 A con x a y jx aj <
Universidad de Granada
Dpto. de Anlisis Matemtico
364
se verifica que jf .x/ Lj < ". Como fxn g ! a, existe un nmero n0 2 N tal que para todo
n > n0 se verifica que jxn aj < . Por tanto, para todo n > n0 tenemos que xn 2 A, xn a
y jxn aj < ; en consecuencia, se verificar que jf .xn / Lj < ". Hemos probado as que
ff .xn /g ! L.
Para probar que i i/i/, probaremos que noi/noi i/. Que f no tiene lmite en a igual
a L, quiere decir que existe un "0 > 0, tal que para todo > 0 hay algn punto x 2 A, con
x a y jx aj < "0 pero jf .x / Lj > "0 . Tomando para cada n 2 N D n1 , obtenemos un
xn 2 A con xn a y jxn aj < 1n pero jf .xn / Lj > "0 . Claramente se tiene que fxn g ! a,
con xn 2 A y xn a pero ff .xn /g no converge a L.
Los dems casos en que o bien a o L son infinitos se hacen de manera parecida.
Una consecuencia inmediata de este resultado es que todo lmite funcional que conozcas te
va a permitir resolver muchos lmites de sucesiones. En particular, de la lista de lmites bsicos
que debes conocer se deducen los siguientes resultados.
7.42 Proposicin. Para toda sucesin fxn g ! 0 se verifica que
sen xn
D1
n!1 xn
arc sen xn
D1
n!1
xn
n!1
tg xn
D1
n!1 xn
arc tg xn
D1
n!1
xn
exn 1
D1
n!1
xn
lKm
lKm
lKm
n!1
lKm
n!1
xn
1
sen xn
D
3
6
.xn /
tg xn xn
1
D
3
3
.xn /
lKm
lKm
lKm
.1 C xn /
n!1
xn
lKm
lKm
n!1
log.1 C xn /
xn2
cos xn
1
D
2
2
xn
lKm
log.1 C xn /
D1
n!1
xn
D
xn
lKm
1
2
7.43 Estrategia. Una estrategia para calcular lmites de sucesiones consiste en convertir el
lmite de la sucesin que tienes que calcular en un caso particular de un lmite funcional. El
por qu de esta estrategia es que para calcular lmites de funciones disponemos de muchas ms
herramientas que las que tenemos para trabajar directamente con sucesiones.
Segn esta estrategia, para calcular el lmite de una sucesin fyn g lo que hay que hacer
es relacionar dicho lmite con un lmite funcional. Debemos inventarnos una funcin, f , y
una sucesin convergente, fxn g ! a, de forma que se tenga yn D f .xn /. Entonces, podemos
asegurar que si lKm f .x/ D , tambin es lKmfyn g D .
x!a
log.n/
.
p
n. n n 1/
p
p
Para ello nos fijamos en que en el denominador aparece n n 1. Poniendo xn D n n,
sabemos que xn ! 1. La sucesin cuyo lmite queremos calcular recuerda el lmite funcional
log x
log x
lKmx!1
D 1. Pongamos f .x/ D
. Como caso particular de este lmite funcional,
x 1
x 1
tenemos que f .xn / ! 1, y es claro que yn D f .xn /. Hemos probado as que yn ! 1 y todo lo
que hemos tenido que hacer es relacionar dicho lmite con un lmite funcional que ha resultado
ser (cosa muy frecuente) una derivada: la derivada de la funcin log x en el punto x D 1.
7.44 Ejemplo. Se trata de calcular el lmite de la sucesin yn D
Universidad de Granada
Dpto. de Anlisis Matemtico
365
n!1
El siguiente resultado nos dice que para estudiar la convergencia de un producto de varias
sucesiones podemos sustituir las que queramos por otras que sean asintticamente equivalentes,
sin que ello afecte a la convergencia o divergencia del producto ni a su eventual lmite.
7.48 Proposicin. Sean fxn g e fyn g sucesiones asintticamente equivalentes y fzn g una sucesin cualquiera. Se verifica que:
i) fxn zn g es convergente si, y slo si, fyn zn g es convergente, en cuyo caso ambas sucesiones
tienen el mismo lmite.
ii) fxn zn g es divergente si, y slo si, fyn zn g es divergente, en cuyo caso ambas sucesiones son
divergentes del mismo tipo.
En particular, fxn g es convergente (resp. divergente) si, y slo si, fyn g es convergente (resp.
divergente), en cuyo caso ambas tienen igual lmite (resp. son divergentes del mismo tipo).
Universidad de Granada
Dpto. de Anlisis Matemtico
Sucesiones de potencias
366
ynDnC1=n y znD n, es claro que fxn g fyn g pero fxnCzn gDf1gn2N no es asintticamente
equivalente a fyn C zn g D f1=ng.
El siguiente resultado, que es la versin para sucesiones del criterio de equivalencia logartmica para lmites funcionales, permite resolver en muchos casos las indeterminaciones 11
y 0 1.
7.50 Teorema (Criterio de equivalencia logartmica). Sean fxn g una sucesin de nmeros
positivos distintos de 1 que converge a 1, fyn g una sucesin cualquiera y L un nmero real.
Entonces se tiene que:
y
1/g D L.
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios propuestos
367
Demostracin. Puesto que xn n D exp.yn log.xn //, las afirmaciones hechas en el enunciado
se deducen de la proposicin 7.46, sin ms que tener en cuenta que, como fxn g ! 1, las
sucesiones flog.xn /g y fxn 1g son asintticamente equivalentes, por lo que, en virtud de la
proposicin 7.48, si una de las sucesiones fyn log.xn /g e fyn .xn 1/g es convergente (resp.
divergente a C1 o a 1), la otra tambin es convergente con igual lmite (resp. divergente a
C1 o a 1).
2
Los ejercicios que siguen son de clculo de lmites de sucesiones. Debers usar los criterios
de Stolz y de las medias aritmtica y geomtrica y el criterio de equivalencia logartmica. En
general, debes seguir la estrategia bsica de relacionar un lmite de una sucesin con un lmite
funcional apropiado.
p
342. Justifica que la sucesin n 1 C 1=n 1 es asintticamente equivalente a 1=nC1 ,
donde > 0.
343. Calcula los lmites de las sucesiones fxn g definidas por:
1 C 2 C 3 C C n
a) xn D
, donde > 1.
nC1
p
b) xn D k .n C a1 /.n C a2 / .n C ak /
n , donde k 2 N, aj 2 R; 16j 6k.
!n
p
p
n
n aC b
donde a > 0, b > 0 y ; 2 R, C 0.
c) xn D
C
!n
1 C 2p=n C 3p=n C C p p=n
d) xn D
, donde p 2 N.
p
!
1
1 C 2k C 3k C C nk
, donde k 2 N.
e) xn D n
k C1
nkC1
!n2
3 1 C 32 C 52 C C .2n 1/2
f) xn D
4
n3
n
1
g) xn D n 1 C 3
1
n log.1 C 1=n/
n 2
2
1
n 1
1
C
C C
C
log.n!/
nC
h) xn D
n
2
3
n 1
n
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
368
c) xn D
a1 C a2 =2 C C an =n
log n
p
n log.1 C 1=n/ 1
; b/ n n 2
n
.1 C 1=n/
e
Donde Hn D1C 12 C C n1 .
n1=n
1
2
; d / Hn n1=Hn
1 ; c/ n2
log.n/
2
1=n
1
xnC1
xn
! L 2 RC . Calcula el
349. Sean a, b nmeros positivos; definamos xk DaC.k 1/b para cada k 2 N y sea Gn la
media geomtrica de x1 ; x2 ; : : : ; xn y An su media aritmtica. Calcula el lmite de la
Gn
.
sucesin
An
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
369
350. Sea fxn g ! x, fyn g ! y, xy. Definamos z2n 1Dxn , y z2nDyn . Justifica que la sucesin
z1 C z2 C C zn
n
es convergente.
351. Definamos fxn g por:
x3m D
1
23m 1 3m
x3m
p
n
1
23m 3 3m 2
x3m
1
23m 4 3m
xnC1
xn
no converge.
352. Sean fxn g, fyn g sucesiones de nmeros positivos verificando que f.xn /n g ! x > 0
f.yn /n g ! y > 0. Dados ; 2 RC , con CD1, calcula lKm.xn Cyn /n .
353. Sea fan g una sucesin de nmeros positivos tal que fa1 C a2 C C an g es divergente,
y sea fbn g ! L, donde L puede ser un nmero real o . Justifica que
a1 b1 C a2 b2 C C an bn
! L:
a1 C a2 C C an
n
1 X n
Aplicacin. Supuesto que fxn g ! x, calcula lKm n
xk .
2
k
kD1
354. Dadas dos funciones polinmicas P; Q, tales que el grado de Qes mayor
o igual que el
P .n/
es convergente
grado de P y Q.n/0 para todo n 2 N, justifica que la sucesin
Q.n/
y calcula su lmite.
355. a) Sea f W a; b !a; b creciente y continua. Prueba que la sucesin fxn g definida para
todo n 2 N por x1 D a y xnC1 D f .xn /, converge a un punto u 2a; b tal que f .u/ D u.
b) Dado 0 < 6 14 , estudia la convergencia de la sucesin fzn g definida por:
z1 D ;
znC1 D C zn2
8n 2 N:
ex 1
ex 1
< x .x > 0/I x < log
< 0 .x < 0/:
x
x
exn 1
:
xn
x C 2.
Ejercicios resueltos
370
nC1
n
xn
.n C 1/ log.n C 1/ n log n
D
D
C1
yn
log.n C 1/
log.n C 1/
n
Teniendo
en cuenta
que n log nC1
D log 1 C 1n ! 1 y que log n ! C1, obtenemos
n
n
o
xnC1
ynC1
que
xnC1 xn
ynC1 yn
p
Ejercicio resuelto 169 Justifica que la sucesin n 1 C 1=n 1 es asintticamente equi
valente a 1=nC1 , donde > 0.
p
p
Solucin. Pongamos xn D n 1 C 1=n . Como 1 6 xn 6 n 2, deducimos, por el principio
log x
de las sucesiones encajadas, que fxn g ! 1. Sabemos que lKm
D 1, porque dicho
x!1 x
1
lmite es la derivada en 1 de la funcin logaritmo. Por tanto, en virtud de la proposicin
log.zn /
7.41, para toda sucesin fzn g ! 1 se verifica que lKm
D 1, esto es, zn 1
zn 1
log.zn /. Anlogamente, se tiene que log.1 C un / un para toda sucesin fun g ! 0.
Deducimos que:
1
1 1
1
1
D C1
xn 1 log.xn / D log 1 C
n
n
nn
n
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
371
Ejercicio resuelto 170 Calcula los lmites de las sucesiones fxn g definidas por:
1 C 2 C 3 C C n
, donde > 1.
nC1
p
n , donde k 2 N, aj 2 R; 16j 6k.
b) xn D k .n C a1 /.n C a2 / .n C ak /
!
p
n
p
n
n aC b
c) xn D
donde a > 0, b > 0 y ; 2 R, C 0.
C
!n
1 C 2p=n C 3p=n C C p p=n
d) xn D
, donde p 2 N.
p
!
1
1 C 2k C 3k C C nk
e) xn D n
, donde k 2 N.
k C1
nkC1
!n2
3 1 C 32 C 52 C C .2n 1/2
f) xn D
4
n3
n
1
1
g) xn D n 1 C 3
n log.1 C 1=n/
n 2
2
1
n 1
1
C
C C
C
log.n!/
nC
h) xn D
n
2
3
n 1
n
a) xn D
unC1 un
vnC1 vn
1
C1
1
C1 .
b)Tenemos que:
p
k
.n C a1 /.n C a2 / .n C ak /
r
a2
ak
a1
1C
1 C
1
n
n
n
h
1
a1
a2
ak i
n log 1 C
D
1C
1 C
k
n
n
n
k
aj
a1 C a2 C C ak
1X
:
n log 1 C
!
D
k
n
k
nDn
1C
j D1
Universidad de Granada
Dpto. de Anlisis Matemtico
a
n
D a.
Prof. Javier Prez
Clculo diferencial e integral
Ejercicios resueltos
372
n
n. n a 1/ C
n. b 1/ !
D
C
C
log a C
log b D log a C b C
!
C
C
1 C 2n C 3n C C p n
un D
;
p
vn D n
n!1
3 1 C 32 C 52 C C .2n
4
n3
1/2
vn D n2 :
1/2
.2n C 1/2
4n2 C 4n C 1
4
an
D
D
! :
3
3
2
bn
3
.n C 1/
n
3n C 3n C 1
Ejercicios resueltos
373
zn
D 3.2n C 1/2
wn
1/2
1
Deducimos que vn .un 1/ ! 43 y, por tanto, lKmfxn g D e 4 D p
4 3.
e
n
n
i
h
1
1
1 . Pongamos zn D 1 C n3 log.1C1=n/
. La sucesin
g) xn D n 1 C n3 log.1C1=n/
1
fzn g es una indeterminacin del tipo 1 . Tenemos que:
n3
1
1
1
D
! 0 zn ! 1:
n n log.1 C 1=n/
log.1 C 1=n/
En consecuencia:
xn n log.zn / D n2 log 1 C
Luego lKmfxn g D lKm
1
n3 log 1 C
1
1
n log 1C n
D 1.
1
n
n2
1
n3 log 1 C
1
n
D
1
n log 1 C
1
n
:
Ejercicio resuelto 171 Calcula los lmites de las sucesiones fxn g definidas por:
p
p p
log 1 C 21 C C n1
e e 3 e n e
a/ xn D
b/ xn D
log.log n/
n
n
log n
log.n C 2/ n log n
1
1C
d / xn D
c/ xn D
n
n
log.n C 1/
p
j
n
k
X
Y
.2 n n 1/n
1
1
1
log
f / xn D
e/ xn D
1C
n
k
j
n2
j D1
kD1
s
.pn/!
log.n C 1/ n
g/ xn D log n
.p; q 2 N/
1 h/ xn D n
log n
.q n/p n
!
n
P
5 nkD1 k 4
1 p
n
i/ xn D
n!
j / xn D log 1 C
5
n
n
p
.nC1/n
2
32
43
n
e esen.1=n/
1 C 2 C 32 C C n n 1
l/ xn D
k/ xn D n
1 n sen.1=n/
n2
Solucin. a) Usaremos la estrategia 7.33. Pongamos Hn D log n C xn donde fxn g ! .
Tenemos que:
xn
log 1 C 21 C C 1n
log
log
n
1
C
log n
log.log n C xn /
D
D
D
log.log n/
log.log n/
log.log n/
xn
xn
log.log n/ C log 1 C log
log 1 C log
n
n
D
D1C
! 1:
log.log n/
log.log n/
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
374
7.51 Observacin. Hemos visto en el ejercicio resuelto 161 que Hn log n, pero
de aqu no puede deducirse directamente que log.Hn / log.log n/ que es lo que hemos probado. La razn es que no es cierto en general que si fxn g fyn g tambin sea
1
log.xn / log.yn /. Por ejemplo, las sucesiones fe n g y fe n2 g son asintticamente equivalentes porque ambas convergen a 1, pero sus logaritmos son las sucesiones f n1 g y f n12 g
que no son asintticamente equivalentes.
En general, no hay garantas de que una equivalencia asinttica entre sucesiones se conserve por una determinada funcin.
c) Tomando logaritmos tenemos que:
log n
log xn D n log 1 C
n
log n
log n D n log 1 C
n
log.1 C x/
x!0
x2
log 1 C
log xn D
log n
n ,
anteriores converge a
tanto, fxn g ! 1.
log n
n
log n
n
Poniendo un D
lKm
Tenemos que:
log n
n
D
log n
n
2
1
2
.log n/2
n
y la segunda
.log n/2
n
n
k
Y
1X1
1 j
e) xn D
1C
log
. Pongamos:
n
k
j
kD1
j D1
k
X
k
Y
1
1 j j D1
zk D log
D
1C
k
j
j D1
1
j log 1 C
j
k
xn D
n
X
kD1
zk
:
Como fzn g es la sucesin de las medias aritmticas de la sucesin yn D n log 1 C n1 ,
y lKmfyn g D 1, se sigue, por el criterio de la media aritmtica, que fzn g ! 1. Como
fxn g es la sucesin de las medias aritmticas de fzn g, volviendo ahora a aplicar el mismo
criterio, deducimos que fxn g ! 1.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
375
p
.2 n n 1/n
. Pongamos:
f) xn D
n2
r
n
p
2nn 1
n 1
D 2
p
xn D
n
n
n2
r
n
1
n2
!n
q
q
n 1
Se trata de una sucesin de potencias de la forma xn D uvnn donde un D 2 n 1n
n2
1
y vn D n. Claramente un ! 1, por lo que se trata de una indeterminacin del tipo 1 .
Aplicaremos el criterio de equivalencia logartmica.
vn .un
!
r
1
n 1
1 D n
1/ D n 2
n
n2
!
r 2
log n
n 1
! 0:
D
n log
n
n
Deducimos que xn ! 1.
r
n
1
n
r
n
log.n C 1/
log n
n
!2
1 es de la forma bn .an
g) La sucesin xn D log n
1/ donde
n
, bn D log n. Veamos que fan g ! 1. Para ello, como se trata de una
an D log.nC1/
log n
indeterminacin del tipo 11 , aplicamos el criterio de equivalencia logartmica:
n
1
n log 1 C 1
log
1
C
log.n C 1/
n
n
n
1 D
D
!0
log n
log n
log n
Por tanto, fan g ! 1. Podemos aplicar ahora el criterio de equivalencia logartmica a la
sucesin bn .an 1/. Tenemos que:
log.n C 1/ n log n
bn
an D
log n
Esta sucesin es una indeterminacin del tipo 11 y podemos volver a aplicarle el criterio
de equivalencia logartmica.
log.n C 1/
1
n log n
1 D n log 1 C
! 1:
log n
n
Concluimos que fxn g ! 1.
s
.pn/!
p
.
donde p; q 2 N. Es una sucesin del tipo xn D n zn donde zn D .q.pn/!
h) xn D n
n/pn
.q n/pn
Tenemos que:
pn
.pn C p/! .q n/pn
.pn C 1/.pn C 2/ .pn C p/
n
znC1
D
D
zn
.q n C q/pnCp .pn/!
.q n C q/p
nC1
es un cociente de dos polinomios en la variable n
La fraccin .pnC1/.pnC2/.pnCp/
.q nCq/p
del mismo grado p y coeficientes lder iguales a p p y q p respectivamente, por tanto su
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios resueltos
376
p p
.
q
n pn
nC1
D 1
1
nC1
np
lmite es igual a
La sucesin
ex esen x
ex
D esen x
x sen x
x
sen x
1
esen x 1
sen x
ex sen x 1
x sen x
es de la forma
e h.x/ 1
h.x/
.x ! 0/
donde lKm h.x/D0,
x!0
Ejercicio resuelto 172 Sabiendo que fan g ! a, calcula el lmite de las sucesiones:
p
a) xn D n. n an 1/
b) xn D
c) xn D
a1 C a2 =2 C C an =n
log n
un
vn .
anC1
exp nC1
1
anC1
un
D
! a:
n
1
vn
nC1
log 1 C n
o
n
x
Ejercicio resuelto 173 Sea fxn g una sucesin de nmeros positivos tal que nC1
! L > 0.
xn
r
xn
.
Calcula el lmite de la sucesin n p
n
x1 x2 xn
xn
p
. Aplicaremos
Solucin. Es una sucesin del tipo wn D n yn donde yn D p
n
x1 x2 xn
el corolario 7.40. Tenemos que:
1
x1 x2 xn n
xnC1
ynC1
D
L
1
nC1
yn
xn x x x x
n nC1
1 2
Universidad de Granada
Dpto. de Anlisis Matemtico
1
1
x1 x2 xn n.nC1/
p
xnC1
nC1
1
p
xnC1 ! L. Sea zn D x1 x2 xn n.nC1/ .
nC1
Ejercicios resueltos
377
p
n
na C
n.n 1/
b
2
x1 x2 xn
DaC
1
a
n
1
n
r
n
b. Por tanto:
x1 x2 xn
nn
C n2n1 b
r
x1 x2 xn
p
n
Calcularemos el lmite de la sucesin Un D
, que es del tipo Un D n zn ,
n
n
usando el corolario 7.40, tenemos:
n
xnC1
znC1
xnC1
1
b
n
n
D
D
1
!
:
zn
nC1
nC1
e
.n C 1/nC1
aC
n 1
n b
Gn
g ! 2e .
Deducimos que f A
n
1 Dxn ,
y z2n Dyn .
z1 C z3 C C z2n 1
z2 C z4 C C z2n
C
D
2n
2n
1 y1 C y2 C C yn
x
y
xCy
1 x1 C x2 C C xn
C
! C D
:
D
2
n
2
n
2
2
2
u2n D
Observa que no se puede calcular el lmite de fun g aplicando el criterio de Stolz. Llan
mando Zn D z1 C z2 C C zn , Vn D n, tenemos un D Z
Vn y:
ZnC1 Zn
xmC1 ; si n D 2m es par;
D ZnC1 Zn D
ym ;
si n D 2m 1 es impar.
VnC1 Vn
Por tanto, la sucesin
ZnC1 Zn
VnC1 Vn
Universidad de Granada
Dpto. de Anlisis Matemtico
no es convergente.
Ejercicios resueltos
378
ex 1
ex 1
< x .x > 0/I x < log
< 0 .x < 0/:
x
x
exn 1
:
xn
ex 1
e0
D
D ec
0
x
Ejercicio resuelto 177 Se considera la funcin f W RC ! R definida para todo x > 0 por
f .x/ D log x x C 2.
a) Prueba que f tiene exactamente dos ceros, y , con < 1 < .
b) Dado x1 2; , se define la siguiente sucesin por recurrencia:
xnC1 D log xn C 2 ; 8n 2 N:
Prueba que fxn g es una sucesin montona creciente y acotada que converge a .
Solucin. a) Como lKm f .x/ D lKm f .x/ D 1 y f .1/ D 1 > 0 y, evidentemente,
x!0
x!C1
Universidad de Granada
Dpto. de Anlisis Matemtico
379
Ejercicio resuelto 177 Dado un nmero 20; , se define la sucesin fxn g dada por x1 D
sen , xnC1 D sen xn .
(a) Justifica que la sucesin fxn g es convergente y calcula su lmite.
1
1
(b) Calcula el lmite de la sucesin zn D 2
xn2
xnC1
Solucin. a) La conocida desigualdad 0 < sen x < x, vlida para todo x 20; , implica
que la sucesin es estrictamente decreciente y de nmeros positivos. De aqu se deduce
enseguida que es convergente y su lmite es 0.
b)
zn D
1
2
xnC1
xn2
1
xn2 sen2 .xn /
D
xn2
xn2 sen2 .xn /
1
1
D
2
2
xn
sen .xn /
1
sen.xn /
! :
3
3
xn
zj < "
Se dice que el nmero z es lmite de la sucesin fzn g y se escribe lKm fzn g D z o, simplen!1
jzn
zj!0
Recordemos que mKaxfjRe zj; jIm zjg6jz j6jRe zjCjIm zj. Gracias a esta desigualdad tenemos
que:
)
jRe zn Re zj
6 jzn zj 6 jRe zn Re zj C jIm zn Im zj
jIm zn Im zj
Deducimos que jzn zj ! 0 si, y slo si, jRe zn
probado as el siguiente resultado.
Re zj ! 0 y jIm zn
Im zj ! 0. Hemos
7.53 Proposicin. Una sucesin de nmeros complejos fzn g es convergente si, y slo si, las
sucesiones de nmeros reales fRe zn g y fIm zn g son convergentes. Adems, en dicho caso
lKmfzn g D z Re z D lKmfRe zn g
Universidad de Granada
Dpto. de Anlisis Matemtico
Im z D lKmfIm zn g
Prof. Javier Prez
Clculo diferencial e integral
380
Por tanto, una forma coherente de definir la exponencial de un nmero complejo sera calcular
el anterior lmite para z 2 C. Pongamos z D x C iy donde suponemos que y 0 (puesto que
si y D 0 tendramos que z D x sera un nmero real). Sea
x C iy n
zn D 1 C
:
n
Pongamos:
wn D 1 C
x C iy
x
y
D1C Ci ;
n
n
n
'n D arc tg
y=n
:
1 C x=n
Sea n0 tal que para n > n0 se verifique que Re.wn / > 0. Entonces, para n > n0 resulta que
'n D arg.wn /. Por otra parte, el mdulo de wn viene dado por:
x 2 y 2
z 2
C 2:
jwn j2 D 1 C D 1 C
n
n
n
x 2 y 2
C 2
lKmjwn jn D lKm 1 C
n
n
#n=2
n
D exp lKm
2
y2
x2
2x
C 2 C 2
n
n
n
!!
D ex :
y=n
. Por tanto
1 C x=n
Ejercicios propuestos
381
p
n
n C i n an
p
1
n
a C i sen
n
1Ci n
v) zn D
2
iii) zn D
.a 2 R; jaj < 1/
.a > 0/
ii) zn D
2n
in
C n
n
2
1
1
iv) zn D n sen C 5 i cos
n
n
1
1 n
vi) zn D p C i p
2
2
361. Sea fzn g una sucesin de nmeros complejos no nulos y sea 'n 2 Arg.zn /. Supongamos
que f'n g ! ' y fjzn jg ! . Justifica que la sucesin fzn g ! .cos ' C i sen '/.
!n
p
2 C i 3
.
362. Calcula el lmite de la sucesin zn D 1 C
n
Sugerencia. Expresa zn D jzn j.cos 'n C i sen 'n / y usa el ejercicio anterior.
p
n
363. Calcula el lmite de la sucesin zn D n
C i sen
1 .
2 cos
2n
2n
p
n
Sugerencia: Recuerda que el lmite de la sucesin n 2 1 es bien conocido.
364. Sea z 2 C, con jzj D 1, z 1. Prueba que la sucesin fz n g no converge (qu pasa si
supones que converge?). Deduce que si ' es un nmero real que no es un mltiplo entero
de , las sucesiones fcos.n'/g y fsen.n'/g no convergen.
C i sen
Ejercicio resuelto 178 Calcula el lmite de la sucesin zn D n
2 cos
2n
2n
p
n
Sugerencia. Recuerda que el lmite de la sucesin n 2 1 es bien conocido.
Universidad de Granada
Dpto. de Anlisis Matemtico
1 .
382
Solucin.
p
p
p
n
n
n
1 C i 2 sen
C 2 1 D
2 cos
2n
2n
p cos 1
p
p
sen 2n
n
n
n
2n
2 1 C 2
Dn
Ci 2
! log 2 C i
2
2
2
2n
2n
zn D n
Ejercicio resuelto 179 Sea z 2 C, con jzjD1, z1. Prueba que la sucesin fz n g no converge
(qu pasa si supones que converge?). Deduce que si ' es un nmero real que no es un
mltiplo entero de , las sucesiones fcos.n'/g y fsen.n'/g no convergen.
Sea ' un nmero real que no es un mltiplo entero de . Pongamos z D cos ' C i sen '.
Tenemos que z 1 y jzj D 1. Por lo antes visto, la sucesin fz n g D fcos.n'/ C i sen.n'/g
no converge. Veamos que esto implica que ninguna de las sucesiones fcos.n'/g, fsen.n'/g
converge.
En efecto, de la igualdad:
sen.n C 1/ D sen n cos 1 C cos n sen 1
cos n D
1
sen.n C 1/
sen 1
sen n cos 1
se deduce que si fsen.n'/g converge, tambin converge fcos.n'/g y, por tanto, la sucesin fcos.n'/ C i sen.n'/g converge, lo que es contradictorio.
Anlogamente, de la igualdad:
cos.n C 1/ D cos n cos 1
sen n sen 1
sen n D
1
cos.n C 1/
sen 1
cos n cos 1
se deduce que si fcos.n'/g converge, tambin converge fsen.n'/g y, por tanto, la sucesin fcos.n'/ C i sen.n'/g converge, lo que es contradictorio.
383
Continuidad uniforme
384
mayorante del mismo, es decir, M D sup f .a; b/. Usando el resultado probado en el ejercicio
resuelto 153, se sigue que hay una sucesin fzn g de puntos de a; b tal que lKmff .zn /gDM . La
sucesin fzn g est acotada por lo que, en virtud del teorema de BolzanoWeierstrass, tiene una
parcial, fz .n/g convergente. Pongamos wn Dz .n/ y sea lKmfwn gDc. Como a6w
n 6b se
tiene
que a 6 c 6 b. Por la continuidad de f se tiene que f .c/ D lKm ff .wn /g D lKm f .z .n/ / D M .
Luego la funcin f alcanza en c 2 a; b un mximo absoluto.
2
Continuidad uniforme
385