Stolz - PDF Demostracion

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 7

Tema

Clculo de lmites
El presente tema tiene un inters eminentemente prctico, pues vamos a estudiar algunos
mtodos concretos para resolver indeterminaciones. Entre ellos destaca el criterio de Stolz, del
que se deduce, como caso particular ms importante, el criterio de la media aritmtica. Tambin
estudiaremos el llamado criterio de la raz, que permite estudiar la convergencia de sucesiones
de un tipo muy concreto, y es equivalente al criterio de la media geomtrica.

8.1.

Criterio de Stolz

Para indeterminaciones del tipo [ / ] es til un mtodo ideado por el matemtico austriaco
O. Stolz (1842-1905), basndose en trabajos previos del italiano E. Cesro (1859-1906):
Criterio de Stolz. Sea {n } una sucesin de nmeros positivos, estrictamente creciente y
no mayorada, es decir: 0 < n < n+1 para todo n N y {n } +. Entonces, para toda
sucesin {xn } y todo L R , se tiene:

 

xn
xn+1 xn
L =
L
n+1 n
n
y la misma implicacin es cierta, sustituyendo en ambos miembros L por + o por .
Demostracin. Partimos de una igualdad de fcil comprobacin. Para m, n N con m < n,
n1

tenemos claramente que xn = xm + (xn xm ) = xm +

(xk+1 xk ), de donde:
k=m



xn
xm
1 n1
xk+1 xk
=
+
(k+1 k ) k+1 k
n
n
n k=m
Fijado L R, la misma idea se aplica a la sucesin {n L} para obtener:
L=

m L
1 n1
+
(k+1 k ) L
n
n k=m
62

(1)

8. Clculo de lmites

63

Restando ambas igualdades y tomando valores absolutos, tenemos






n1

xk+1 xk
xn

1
1
L 6
|xm m L| +
(k+1 k )
L


n
n
n k=m
k+1 k

(2)

donde hemos usado que {n } es una sucesin estrictamente creciente de nmeros positivos.
Tenemos pues que la desigualdad (2) es vlida para cualesquiera m, n N con m < n, y para
demostrar ya la implicacin buscada, fijamos > 0.



xk+1 xk

L < . Entonces, para
Por hiptesis, existe m N tal que, para k > m se tiene
k+1 k
2
n > m, aplicando (2) tenemos


n1

xn
L 6 1 |xm m L| + (k+1 k ) < 1 |xm m L| +

n
n
2 n k=m
n
2

(3)

Manteniendo m fijo, como por hiptesis {1/n } 0, podemos encontrar q N tal que
n N , n > q =

|xm m L| <
n
2

Esta
desigualdad,
junto con (3),


 nospermite concluir que, para n > max{m + 1, q}, se tiene
xn

L < . Esto prueba que xn L , como se quera.
n

n
Veamos ahora lo que ocurre al sustituir
 L por +,en cuyo caso el razonamiento anterior ya
xn+1 xn
+ encontramos m N tal que:
no es vlido. Dado C R+ , usando que
n+1 n
k N , k > m =

xk+1 xk
> 2C
k+1 k

Para n > m podemos entonces usar la igualdad (1) para obtener


xn
xm
2C
>
+
n
n
n

n1

(k+1 k ) =
k=m

xm 2C m
+ 2C
n

(4)

Manteniendo m fijo y usando que {1/n } 0, encontramos q N tal que


n N , n > q =

xm 2C m
> C
n

Esta desigualdad, junto con (4), nos permite concluir que para n > max {m + 1, q} se tiene
xn /n > C. Esto prueba {xn /n } + , como se quera.
Finalmente, para ver lo que ocurre al sustituir L por basta aplicar lo recin demostrado
sustituyendo la sucesin {xn } por {xn }:






 
xn+1 xn
xn xn+1
xn
xn

+
+

n+1 n
n+1 n
n
n

8. Clculo de lmites

64

Como fcil aplicacin, consideremos la sucesin {n/2 n }. Tomando xn = n y n = 2 n para


todo n N, se tiene obviamente 0 < n < n+1 para todo n N y {n } +. Puesto que
{(xn+1 xn )/(n+1 n )} = {1/2 n } 0, el criterio de Stolz nos dice que {n/2 n } 0.
n

Como ejemplo ms interesante, fijado p N tomamos xn =

k p y n = n p+1 para todo


k=1

n N. De nuevo {n } cumple las hiptesis del criterio de Stolz. Usando la frmula del binomio
de Newton podemos escribir
(n + 1) p
n p + R(n)
xn+1 xn
=
=
n+1 n (n + 1) p+1 n p+1 (p + 1)n p + S(n)

n N


donde R y S son polinomios de grado menor que p. Tenemos por tanto


y el criterio de Stolz nos dice que lm

n n p+1

8.2.

xn+1 xn
n+1 n

1
p+1

k p = p + 1.

k=1

Criterio de la media aritmtica

Como ya se ha visto en un ejemplo, el criterio de Stolz es especialmente til cuando alguna


de las sucesiones que en l aparecen se obtiene sumando consecutivamente los trminos de otra.
El caso particular ms sencillo se presenta cuando {xn } se construye de esa forma y tomamos
n = n para todo n N. Obtenemos entonces el siguiente resultado:
Criterio de la media aritmtica. Sea {yn } una sucesin de nmeros reales y consideremos
la sucesin {n } de sus medias aritmticas, definida por
n =

1
n

yk =
k=1

y1 + y2 + . . . + yn
n

n N

Para L R se tiene que {yn } L = {n } L , y la misma implicacin es cierta,


sustituyendo en ambos miembros, L por + o .
n

Demostracin. Basta aplicar el criterio de Stolz, con xn =


con lo cual se tiene {(xn+1 xn )/(n+1 n )} = {yn+1 } y

yk y n = n para
k=1
{xn /n } = {n }.

1
n n

Por ejemplo, tomando {yn } = {1/n} 0, tenemos: lm

todo n N,


= 0.

k=1

Conviene observar que el criterio de la media aritmtica equivale al criterio de Stolz en el


caso particular {n } = {n}. Ello se debe a que, para cualquier sucesin {xn }, siempre podemos
n

encontrar {yn } de forma que xn =


n

x0 = 0, pues entonces:

yk

para todo n N. Basta tomar {yn } = {xn xn1 }, con

k=1
n

yk = (xk xk1) = xn x0 = xn, para todo n N.


k=1

k=1

8. Clculo de lmites

65

La implicacin que aparece en el criterio de la media aritmtica no es reversible, en ninguno


de los casos. Para comprobarlo, basta tomar {yn } = {(1)n }, que no es convergente, pero la
sucesin de medias aritmticas s converge, pues 2n = 0 y 2n1 =
 1/(2n n1)
 2para
todo
n N, luego {n } 0. Para el caso de divergencia, tomamos {yn } = 1 + (1) n , que no
es divergente, pues y2n1 = 0 para todo n N, pero {n } +, ya que
2n >

y2n
= 4n
2n

2n+1 =

2n
2n
2n + 1

n N

En resumen, la convergencia o divergencia de la sucesin de medias aritmticas {n } no nos da


informacin sobre la sucesin de partida {yn }.
Por otra parte, conviene tambin resaltar que, cuando la sucesin {yn } es divergente, pero
no diverge positiva ni negativamente, no podemos asegurar que {n } sea divergente. En efecto,
la sucesin {yn } = {(1)n (2n 1)} = {(1)n n (1)n1 (n 1)}, es divergente, pero en este
caso es fcil ver que {n } = {(1)n }, luego {n } no es divergente.
Como el criterio de la media aritmtica no es ms que un caso particular del de Stolz,
las dos observaciones anteriores se aplican tambin e este ltimo. Ms concretamente, siendo
0 < n < n+1 para todo n N y {n } +, supongamos que queremos usar el criterio de
Stolz para estudiar el comportamiento de una sucesin de la forma {xn /n }, considerando por
tanto la sucesin {zn } = {(xn+1 xn )/(n+1 n )}. Las observaciones anteriores nos dicen
que, si slo sabemos que {zn } diverge, no podemos asegurar que {xn /n } diverja, y si {zn } no
converge ni diverge, el criterio tampoco nos da informacin.

8.3.

Criterio de la raz para sucesiones

Dada una sucesin


 {xn } de nmeros reales positivos, vamos a estudiar el comportamiento
de la sucesin n xn . Empezamos considerando el caso en que {xn } es constante:
Para todo a R+ se tiene: lm

a = 1.

Supongamos en primer lugar que a > 1, con lo que tambin


tenemos que n a > 1 para todo

n N, y vamos a comprobar que entonces la sucesin { n a } es decreciente. En efecto, para


n+1

todo n N tenemos claramente n a


= a n a > a de donde deducimos que n a > n+1 a.
Tenemos pues una sucesin decreciente y minorada, luego convergente.

Poniendo L = lm n a, sabemos de momento que L > 1. Consideremos ahora la sucesin


n

{ 2n a }, que es una sucesin parcial de { n a }, luego { 2n a } n


L . Ahora
bien, para todo n N,
 2n
2n
2 n

2 o
2n
n
2n
es claro que a =
a
=
a
, luego { a } =
a
L2 . Deducimos que
L2 = L, lo que siendo L 6= 0 no deja ms salida que L = 1, como queramos.
n p
o

n
n
En el caso a < 1, basta pensar que { a } = 1/ 1/a y, por lo ya demostrado, tenemos
np
o

n
1/a 1, luego tambin { n a } 1.


8. Clculo de lmites

66

En general, para una sucesin de la forma { n xn }, vamos a obtener ahora dos importantes
desigualdades, que sugieren una estrategia: estudiar la sucesin de cocientes {xn+1 /xn }.
Lema. Sea xn R+ para todo n N y supongamos
 que la sucesin de cocientes {xn+1 /xn }
est acotada. Entonces la sucesin de races n xn tambin est acotada y se verifica que:

(5)
lm inf {xn+1 /xn } 6 lm inf { n xn } 6 lm sup { n xn } 6 lm sup {xn+1 /xn }
Demostracin. Fijamos R tal que lm sup {xn+1 /xn } < , y la definicin de lmite
superior nos dice que existe m N tal que sup {xn+1 /xn : n > m} < , luego para n > m
tenemos xn+1 6 xn .
Encadenemos las desigualdades obtenidas para sucesivos valores de n: para n = m tenemos
xm+1 6 xm ; para n = m+1 deducimos que xm+2 6 xm+1 6 2 xm , y una obvia induccin nos
dice que xm+k 6 k xm para todo k N. Equivalentemente, para n > m tenemos xn 6 nm xm .
En resumen, escribiendo b = xm /m , hemos encontrado m N y b R+ tales que

n
n > m = n xn 6 b


La sucesin n b converge a y, en particular, est acotada, luego la sucesin n xn
tambin est acotada, que es la primera
afirmacin
Pero adems, siempre para

 del enunciado.

n > m, tenemos sup k xk : k > n 6 sup k b : k > n , y usando la definicin de lmite


superior llegamos finalmente a:


n
lm sup n xn 6 lm sup b =
(7)
La ltima desigualdad de (5) se deduce ahora fcilmente de la libertad para
 elegir
: si fuese

lm sup {xn+1 /xn } < lm sup { n xn }, habramos podido tomar < lm sup n xn y al llegar a
(7) habramos obtenido una flagrante contradiccin.
Queda probar la primera desigualdad de (5), para lo cual hacemos un razonamiento muy
similar al anterior. Suponiendo que dicha desigualdad no es cierta, tomamos R tal que

0 6 lm inf n xn < < lm inf {xn+1 /xn : n > m}
La definicin de lmite inferior nos permite encontrar m N tal que nf{xn+1 /xn : n > m} > ,
con lo que, para n > m tenemos xn+1 > xn .
Encadenemos desigualdades: tenemos xm+1 > xm ; entonces xm+2 > xm+1 > 2 xm , y por
induccin obtenemos que xm+k > k xm para todo k N. En resumen, escribiendo a = xm / m ,
hemos encontrado m N y a R+ tales que

n > m = n xn > n a




Deducimos, siempre para n > m,que nf k xk : k>
n > nf k a : k > n , y la definicin

de lmite inferior nos da lm inf n xn > lm inf n a = , una contradiccin.



Del lema anterior deducimos fcilmente lo siguiente:

8. Clculo de lmites

67

Criterio de la raz para sucesiones. Sea {xn } una sucesin de nmeros reales positivos.

Si la sucesin de cocientes {xn+1 /xn } es convergente, entonces la sucesin de races n xn
tambin es convergente y se verifica que

xn+1
n
xn = lm
n xn

Si {xn+1 /xn } +, entonces tambin n xn + .
lm

Demostracin. La primera afirmacin se deduce directamente del lema anterior:

xn+1
lm inf { n xn } = lm sup { n xn } = lm
n xn
En caso de divergencia, basta considerar
claramente
 la sucesin
 {y n } = {1/xn }, pues
tenemos

n
n
n
{yn+1 /yn } = {xn /xn+1 } 0, luego 1/ xn =
yn 0, de donde
xn +.


n
n = 1.
n

Para tener otro ejemplo interesante, consideremos la sucesin { n 1 + x n }, con x R+ . El


criterio de la raz nos lleva a pensar en la sucesin {(1 + x n+1 )/(1 + x n )}. Para x 6 1 tenemos
claramente {(1 + x n+1 )/(1 + x n )} 1, mientras que si x > 1, comprobamos sin dificultad
n+1
n
que {(1 + x n+1 )/(1 + x n )} x. En general, tenemos
que
{(1 + x )/(1 + x )} max{1, x}.

n
1 + x n max{1, x}. Dados ahora y, z R+ ,
El criterio de la raz nos dice que tambin
podemos tomar x = z/y para obtener:
 p

p
n
y n + z n = y n 1 + (z/y)n y max{1, z/y} = max{y, z}
Por ejemplo, el criterio de la raz nos dice claramente que lm

Puesto que {(n + 1)!/n!} = {n + 1} +, el criterio de la raz nos dice tambin que

n
{ n!} +. Inspirndonos en este ltimo ejemplo, pero de manera ms general, tenemos:
Criterio de la media geomtrica. Sea {yn } una sucesin de nmeros reales positivos y
consideremos la sucesin de medias geomtricas definida por
s
n

n = n yk = n y1 y2 . . . yn n N
k=1

Si {yn } L R , se tiene {n } L , y si {yn } + , entonces tambin {n } + .


n

Demostracin. Tomando xn = yk para todo n N, tenemos {xn+1 /xn } = {yn+1 } y


k=1

n x

n = {n }, con lo que basta aplicar el criterio de la raz.
Los dos criterios anteriores son equivalentes. Para deducir el primero del segundo, dada
una sucesin {xn } de nmeros positivos, tomamos yn = xn /xn1 para todo n N con x0 = 1.
Tenemos entonces {xn+1/xn } =
{yn+1 } y al calcular la sucesin de las medias geomtricas de

n
{yn } obtenemos {n } =
xn , luego al aplicar el criterio de la media geomtrica a la sucesin
{yn } obtenemos el criterio de la raz para la sucesin {xn }.

8. Clculo de lmites

68

Finalmente, en relacin con el criterio de la raz, conviene observar que la sucesin { n xn }


puede ser convergente sinque {xn+1 /xn } lo sea. Para ello basta tomar {xn } = {2 + (1)n }.

Puesto que { 2n x2n } = { 2n 3} 1 y x2n1 = 1 para todo n N, tenemos { n xn } 1, pero la


sucesin {xn+1 /xn } no es convergente, pues para n impar se tiene xn+1 /xn = 3, mientras que
para n par es xn+1 /xn = 1/3.

8.4.

Ejercicios

1. Estudiar la convergencia de las siguientes sucesiones y, cuando exista, calcular su lmite:


)
(



n2 n
1 n

(b)
(a)

n n k=1
1+2 2+3 3+...+n n
)
(
)
(
1 n k
1 n
(d)
(c)
k!
k
n ! k=1
n n k=1
(
2. Sea {xn } x R . Para p N, estudiar la convergencia de la sucesin

1 n
k xk
n p k=1

3. Probar que las siguientes sucesiones son convergentes y calcular sus lmites:

s
(s )
3n3 2
2n
n
n
(b)
(a)
2
n +1
n

)
.

También podría gustarte