Teorema de Stolz-Cesàro

En matemáticas, el teorema de Stolz-Cesàro es un criterio para probar la convergencia de una sucesión. Su aplicación permite la resolución de algunos tipos de indeterminaciones. Este teorema puede ser visto en cierta forma como una generalización del promedio de Cesàro. Recibe su nombre por los matemáticos Otto Stolz y Ernesto Cesàro.

Criterio de Stolz del cociente

Sean $\{ a_n \} \$ y $\{ b_n \} \$ dos sucesiones tales que:

• $\lim_{n \to \infty} a_n = 0$
• $\{ b_n \} \$ es monótona decreciente y $\lim_{n \to \infty} b_n = 0$ o monótona creciente y divergente a $+ \infty \$.
• $\lim_{n \to \infty} \frac {a_{n+1}-a_n}{b_{n+1}-b_n} = \lambda, ~ \lambda \in \mathbb{R}$

Entonces, el límite:

$\lim_{n \to \infty} \frac {a_n}{b_n} = \lambda$

Es utilizado frecuentemente para resolver indeterminaciones del tipo $\frac{\infty}{\infty}$.Otra forma de enunciación es la siguiente:

Sean $(a_n)_{n \geq 1}$ y $(b_n)_{n \geq 1}$ dos sucesiones de números reales. Asumiendo que $(b_n)$ sea positiva, estrictamente creciente y no acotada y que exista el siguiente límite:

$\lim_{n \to \infty} \frac{a_{n+1}-a_n}{b_{n+1}-b_n}=l.$

Entonces podemos asegurar que el limite

$\lim_{n \to \infty} \frac{a_n}{b_n}$

existe y es igual a $l$ siempre y cuando el denominador sea distinto de cero.

Criterio de Stolz de la raíz

Sean $\{ a_n \} \$ y $\{ b_n \} \$ dos sucesiones tales que,

• $a_n > 0 , \forall n \in \mathbb{N}$
• $b_n \$ es monótona creciente y divergente $( b_n > 0 , \forall n)$
• $\lim_{n \to \infty} \sqrt[b_{n+1}-b_n]{ \frac {a_{n+1}}{a_n}}=\lambda,\lambda \in \mathbb{R}$

Entonces,

$\lim_{n \to \infty} \sqrt[b_n]{a_n}= \lambda$

Enlaces externos

• Prueba del teorema de Stolz–Cesàro