En la sección anterior vimos unas series especiales llamadas series geométricas, donde, dependiendo del valor de $r$ la serie converge o diverge, además, vimos algunas propiedades de las series, lo cual usaremos en adelante. En esta sección veremos algunos teoremas sobre los criterios de divergencia o convergencia de series. Comencemos con anunciando el teorema del criterio de Cauchy.

Criterios de convergencia

Teorema. (Criterio de Cauchy)

La sucesión $\left\{a_n\right\}$ es sumable (convergente) si y solo si $\mathrm{\forall }m,nϵ\mathbb{N}$

$$\underset{m,n\to \mathrm{\infty }}{lim}(a_{m+1}+a_{m+2}+\dots .+a_n)=0$$

Para $n>m\ge N$

Demostración:

Utilizando el criterio de Cauchy para sucesiones, como $\left\{a_n\right\}$ es sumable $\iff \underset{n\to \mathrm{\infty }}{lim}{S}_n$ converge $\iff \mathrm{\forall }ϵ>0,\mathrm{\exists }Nϵ\mathbb{N}$ tal que si $m,n\ge N\Rightarrow |S_n-S_m|<\epsilon$

$$\iff |(a_1+a_2+\dots .+a_n)-(a_1+a_2+\dots .+a_m)|<\epsilon$$

Como $n>m$, entonces:

$$=|(a_1+a_2+\dots .+a_m+a_{m+1}+\dots .+a_n)-(a_1+a_2+\dots .+a_m)|\iff |a_{m+1}+\dots .+a_n|<\epsilon$$

$\mathrm{\forall }n>m$

En particular:

$$\iff |a_{m+1}+\dots .+a_n-0|<\epsilon \iff \underset{m,n\to \mathrm{\infty }}{lim}(a_{m+1}+\dots .+a_n)=0$$

Por tanto, la serie $a_n$ es convergente.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Teorema. Si la serie $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ es convergente, entonces $\underset{n\to \mathrm{\infty }}{lim}{a}_n=0$.

Demostración:

Puesto que la serie $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ es convergente, la sucesión $\left\{a_n\right\}$ es convergente $\Rightarrow \underset{n\to \mathrm{\infty }}{lim}{S}_n$ converge a un numero $L$.

$$\Rightarrow \underset{n\to \mathrm{\infty }}{lim}{S}_{n+1}=L$$

Pero: $$\underset{n\to \mathrm{\infty }}{lim}{a}_{n+1}=\underset{n\to \mathrm{\infty }}{lim}[(a_1+a_2+\dots .+a_{n+1})-(a_1+a_2+\dots .+a_n)]=\underset{n\to \mathrm{\infty }}{lim}(S_{n+1}-S_n)$$

$$\underset{n\to \mathrm{\infty }}{lim}(S_{n+1})-\underset{n\to \mathrm{\infty }}{lim}(S_n)=L-L=0$$

$$\therefore \underset{n\to \mathrm{\infty }}{lim}{a}_{n+1}=0$$

Como $a_{n+1}$ converge, entonces también lo hace $a_n$.

$$\therefore \underset{n\to \mathrm{\infty }}{lim}{a}_n=0$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Nota: En general, el inverso de este teorema no es valido, si $li{m}_{n\to \mathrm{\infty }}{a}_n=0$ no se puede concluir que $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ es convergente.

Criterio de la divergencia

Teorema. (La prueba o criterio de la divergencia):

Si $\underset{n\to \mathrm{\infty }}{lim}{a}_n$ no existe o si $\underset{n\to \mathrm{\infty }}{lim}{a}_n\ne 0$ entonces la serie $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ diverge.

La demostración se infiere del teorema anterior porque si la serie no es divergente, entonces es convergente y, por tanto, $\underset{n\to \mathrm{\infty }}{lim}{a}_n=0$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Veamos unos ejemplos.

Ejemplos

• $$\sum _{n=1}^{\mathrm{\infty }}\frac{n}{4n+1}$$

Tomando el límite, obtenemos lo siguiente:

$$\underset{n\to \mathrm{\infty }}{lim}\frac{1}{4+\frac{1}{n}}=\frac{1}{4}\ne 0$$

Por el criterio de la divergencia:

$$\sum _{n=1}^{\mathrm{\infty }}\frac{n}{4n+1}diverge$$

• $$\sum _{n=1}^{\mathrm{\infty }}\frac{n!}{2n!+1}$$

Tomamos el límite y multiplicamos por el factor $\frac{\frac{1}{n!}}{\frac{1}{n!}}$, por lo que se tiene que:

$$\underset{n\to \mathrm{\infty }}{lim}\frac{n!}{2n!+1}=\underset{n\to \mathrm{\infty }}{lim}\frac{\frac{n!}{n!}}{2\frac{n!}{n!}+\frac{1}{n!}}=\underset{n\to \mathrm{\infty }}{lim}\frac{1}{2+\frac{1}{n!}}=\frac{1}{2}\ne 0$$

$$\therefore \sum _{i=1}^{\mathrm{\infty }}\frac{n!}{2n!+1}diverge$$

Existe otro criterio de convergencia llamado el criterio de acotación

Series con términos no negativos

Teorema. (Criterio de acotación)

Una sucesión no negativa $\left\{a_n\right\}$ es sumable, $\iff$ sus sumas parciales $\left\{S_n\right\}$ está acotada.

Demostración:

$\Rightarrow ⌟$

Si $\left\{a_n\right\}$ es sumable $\iff \underset{n\to \mathrm{\infty }}{lim}{S}_n=L$ converge por el teorema visto anteriormente.

Habiamos visto en cálculo 1 que si, converge $S_n$ $\Rightarrow S_n$ esta acotada.

$\Leftarrow ⌟$

Supongamos que $\left\{S_n\right\}$ está acotado, observemos que:

$$S_{n+1}=S_n+a_{n+1}\ge S_n$$

Ya que:

$$a_{n+1}\ge 0$$

$$\Rightarrow S_n\le S_{n+1}\mathrm{\forall }nϵ\mathbb{N}$$

$\therefore S_n$ es creciente y además, está acotado por hipótesis, por cálculo I, si una sucesión es creciente y acotada, entonces se tiene que:

$\Rightarrow \left\{S_n\right\}$ es convergente $\Rightarrow \left\{a_n\right\}$ es sumable.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Teorema. Sea $kϵ\mathbb{N}$ fijo. La serie$\sum _{n=k}^{\mathrm{\infty }}{a}_n$ converge$\iff \sum _{n=0}^{\mathrm{\infty }}{a}_n$ converge.

Demostración:

Como la serie converge por hipótesis, entonces:

$$\sum _{n=k}^{\mathrm{\infty }}{a}_n\iff \underset{n\to \mathrm{\infty }}{lim}(a_k+a_{k+1}+\dots +a_n)\iff$$

$$a_0+a_1+\dots +a_{k-1}+\underset{k\to \mathrm{\infty }}{lim}(a_k+a_{k+1}+\dots +a_n)\iff$$

$$\underset{n\to \mathrm{\infty }}{lim}(a_0+a_1+\dots +a_k+a_{k+1}+\dots a_n)converge$$

$$\iff \sum _{n=0}^{\mathrm{\infty }}{a}_{n}converge$$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Tarea moral

Los siguientes ejercicios no son para evaluación, pero son ejercicios para que practiques lo aprendido que te ayudaran en el desarrollo del entendimiento del tema, por lo que te invitamos a resolver los siguientes ejercicios propuestos relacionados con el tema visto.

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Diga si la siguientes series convergen o divergen.

1. $$\sum _{i=1}^{\mathrm{\infty }}\frac{1}{\sqrt{n}}$$
2. $$\sum _{i=1}^{\mathrm{\infty }}\frac{n^2}{5n^2+4}$$
3. $$\sum _{i=1}^{\mathrm{\infty }}\frac{-n}{2n+5}$$
4. $$\sum _{n=0}^{\mathrm{\infty }}{e}^{-2n}$$
5. $$\sum _{n=1}^{\mathrm{\infty }}ln\left(\frac{1}{n}\right)$$

Más adelante…

En esta sección vimos dos teoremas importantes de criterios de convergencia, el criterio de la divergencia, en el cual nos dice que si el límite de la sucesión es diferente de cero o no existe, entonces la serie diverge, y el criterio de acotación que nos dice la reciprocidad entre una sucesión convergente y la acotación de sus sumas parciales. En la siguiente sección veremos otros dos criterios de acotación, el criterio de comparación y comparación del límite.

Entradas relacionadas

• Ir a Cálculo Diferencial e Integral II.
• Entrada anterior del curso: Cálculo Diferencial e Integral II: Series Geométricas – El blog de Leo (nekomath.com)
• Siguiente entrada del curso: Cálculo Diferencial e Integral II: Criterio de comparación y comparación del limite – El blog de Leo (nekomath.com)