Introducción

En la sección anterior vimos dos criterios de convergencia: el criterio de comparación y el criterio de comparación del límite, en esta sección veremos el criterio de la prueba del cociente o de la razón, y el criterio de la raíz, comencemos enunciando el teorema del criterio de la razón.

Criterio de la razón

Teorema. (Prueba de la razón o del cociente)

Sea $\left\{a_n\right\}$ una sucesión positiva y supón que:

$$\underset{n\to \mathrm{\infty }}{lim}\frac{a_{n+1}}{a_n}=r$$

Entonces $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ converge si $r<1$, diverge si $r>1$ y si $r=1$ no es concluyente.

Demostración:

Observemos que:

$$a_n>0\mathrm{\forall }nϵ\mathbb{N}\Rightarrow \frac{a_{n+1}}{a_n}>0\mathrm{\forall }nϵ\mathbb{N}\Rightarrow \underset{n\to \mathrm{\infty }}{lim}\frac{a_{n+1}}{a_n}=r\ge 0$$

Para demostrar este teorema, dividamos por los casos siguientes:

• Caso $1)$: Si $0\le r<1$, entonces:

$$\underset{n\to \mathrm{\infty }}{lim}\frac{a_{n+1}}{a_n}=r$$

Podemos escoger un número $S$ tal que $r<S<1\Rightarrow \mathrm{\exists }kϵ\mathbb{N}$

Tal que:

$$\mathrm{\forall }n\ge k\Rightarrow |\frac{a_{n+1}}{a_n}|<S\Rightarrow a_{n+1}<S{a}_n$$

En particular:

$$a_{k+1}<S{a}_{k}y{a}_{k+2}<S{a}_{k+1}<S(S{a}_k)=S^2{a}_k$$

Por tanto:

$$a_{k+2}<S^2{a}_k\Rightarrow a_{k+3}<S{a}_{k+2}<S^3{a}_k$$

Continuando de esta manera hasta $n$, se tiene que:

$$a_n=a_{k+m}<S^m{a}_k$$

Por otro lado, como $S<1$, entonces la siguiente serie:

$$\sum _{m=1}^{\mathrm{\infty }}{S}^{m}conm\ge 1$$

Es una serie geométrica, por tanto:

$\Rightarrow \sum _{m=1}^{\mathrm{\infty }}{S}^m$ converge $\Rightarrow \sum _{m=1}^{\mathrm{\infty }}{S}^m{a}_k$ converge

$\Rightarrow \sum _{m=1}^{\mathrm{\infty }}{a}_{k+m}$ converge.

Por el criterio de comparación, así $\sum _{n=k+1}^{\mathrm{\infty }}{a}_n$ converge,

$$\therefore \sum _n^{\mathrm{\infty }}{a}_{n}converge$$

• Caso $2)$: Si $r>1$

Vemos que:

$$\underset{n\to \mathrm{\infty }}{lim}\frac{a_{n+1}}{a_n}=r$$

Podemos escoger un número $S$ tal que $r>S>1\Rightarrow \mathrm{\exists }kϵ\mathbb{N}$

Tal que:

$$\mathrm{\forall }n\ge k|\frac{a_{n+1}}{a_n}|>S\Rightarrow \mathrm{\forall }n\ge k\Rightarrow a_{n+1}>S{a}_n$$

Se tiene que para:

$$a_{k+1}>S{a}_k$$

$$a_{k+2}>S{a}_{k+1}>S(S{a}_k)=S^2{a}_k$$

$$a_{k+3}>S{a}_{k+2}>S(S^2{a}_k)=S^3{a}_k$$

Continuando de esta manera, $\mathrm{\forall }n\ge k$, entonces:

$$a_{k+n}>S^n{a}_k$$

$\sum _{n=1}^{\mathrm{\infty }}{S}^n$ es una serie geométrica con $|S|>1$

$\Rightarrow \sum _{n=1}^{\mathrm{\infty }}{S}^n$ diverge $\Rightarrow \sum _{n=1}^{\mathrm{\infty }}{S}^n{a}_k$ diverge $\Rightarrow \sum _{n=1}^{\mathrm{\infty }}{a}_{k+n}$ diverge

$\Rightarrow \sum _{n=k+1}^{\mathrm{\infty }}{a}_n$ diverge

$$\therefore \sum _{n=1}^{\mathrm{\infty }}{a}_{n}diverge$$

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

• Caso $3)$: Para este caso solo hay que dar un ejemplo, veamos:

Tomemos siguientes las series:

$$\sum _{i=1}^{\mathrm{\infty }}\frac{1}{n^2}y\sum _{i=1}^{\mathrm{\infty }}1$$

Es fácil ver que la segunda serie diverge cuando $n\to \mathrm{\infty }$, para la primera serie, tenemos que:

$$\underset{n\to \mathrm{\infty }}{lim}\frac{a_{n+1}}{a_n}=\underset{n\to \mathrm{\infty }}{lim}\frac{\frac{1}{(n+1{)}^2}}{\frac{1}{n^2}}=\underset{n\to \mathrm{\infty }}{lim}\frac{n^2}{(n+1{)}^2}=\underset{x\to \mathrm{\infty }}{lim}\frac{1}{(1+\frac{1}{n^2}{)}^2}=1$$

Lo cual sabemos que esta serie converge.

Por lo que para $r=1$ no hay conclusión de la convergencia de la serie.

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

Veamos un ejemplo.

Ejemplo

Diga si la siguiente serie converge o diverge.

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

Usamos el criterio de la razón, tomamos el límite de la sucesión como:

$$\underset{n\to \mathrm{\infty }}{lim}\frac{a_{n+1}}{a_n}=\underset{n\to \mathrm{\infty }}{lim}\frac{\frac{1}{(n+1)!}}{\frac{1}{n!}}=\underset{n\to \mathrm{\infty }}{lim}\frac{n!}{(n+1)!}=\underset{n\to \mathrm{\infty }}{lim}\frac{n!}{(n+1)n!}=\underset{n\to \mathrm{\infty }}{lim}\frac{1}{n+1}=0<1$$

Por tanto, por el criterio de la razón:

$$\therefore \sum _{n=1}^{\mathrm{\infty }}\frac{1}{n!}converge$$

Ahora veamos el criterio de la raíz.

Criterio de la raíz

Teorema. (Criterio de la raíz)

Sea $\left\{a_n\right\}$ una sucesión con $a_n\ge 0\mathrm{\forall }nϵ\mathbb{N}$ tal que:

$$\underset{n\to \mathrm{\infty }}{lim}\sqrt[n]{a_n}=L$$

Entonces $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ converge si $L<1$ y diverge si $L>1$.

Demostración:

Divimos esta demostración por casos:

• $1):L<1$

Supongamos que $L<1$, observamos que $L\ge 0$, tomamos $r$ tal que $L<r<1$, por definición del limite:

$$\mathrm{\exists }kϵ\mathbb{N}$$

Tal que:

$$\mathrm{\forall }n\ge k\Rightarrow \sqrt[n]{a_n}<r$$

$$\Rightarrow a_n<r^n$$

Pero:

$\sum _{n=k}^{\mathrm{\infty }}{r}^n$ converge ya que $r<1$ y es una serie geométrica, por el criterio de comparación.

$$\Rightarrow \sum _{n=k}^{\mathrm{\infty }}{a}_{n}converge$$

$$\therefore \sum _{n=1}^{\mathrm{\infty }}{a}_{n}converge$$

• $2):L>1$

Ahora, supongamos que $L>1$, toma $r$ tal que $1<r<L$, por definición del límite:

$$\mathrm{\exists }kϵ\mathbb{N}$$

Tal que:

$$\mathrm{\forall }n\ge k\Rightarrow \sqrt[n]{a_n}>r$$

$$\Rightarrow a_n>r^n$$

Pero $1<r$, por consiguiente por el criterio de las series geométricas:

$$\Rightarrow \sum _{n=k}^{\mathrm{\infty }}{r}^{n}diverge\Rightarrow \sum _{n=r}^{\mathrm{\infty }}{a}_{n}diverge$$

Por el criterio de comparación:

$$\therefore \sum _{n=1}^{\mathrm{\infty }}{a}_{n}diverge$$

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

Veamos un ejemplo.

Ejemplo

Diga si la siguiente serie converge o diverge.

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

Apliquemos el criterio de la raíz, tomamos el límite de la sucesión como:

$$\underset{n\to \mathrm{\infty }}{lim}\sqrt[n]{a_n}=\underset{n\to \mathrm{\infty }}{lim}\sqrt[n]{\frac{(1+\frac{1}{n}{)}^{2n}}{e^n}}=\underset{n\to \mathrm{\infty }}{lim}\frac{(1+\frac{1}{n}{)}^{2n}}{e}=\frac{1}{e}<1$$

Por tanto, por el criterio de la raíz:

$$\therefore \sum _{n=1}^{\mathrm{\infty }}\frac{(1+\frac{1}{n}{)}^{2n}}{e^n}converge$$

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.

Diga si la siguientes series convergen o divergen.

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.

1. $$\sum _{n=1}^{\mathrm{\infty }}\frac{9^n}{2^{n+1}n}$$
2. $$\sum _{n=1}^{\mathrm{\infty }}(\frac{1}{n^2}-\frac{1}{n^{10}}{)}^n$$
3. $$\sum _{n=1}^{\mathrm{\infty }}\frac{(2n)!}{n!n!}$$
4. $$\sum _{n=1}^{\mathrm{\infty }}{\left(\frac{1}{1+n}\right)}^n$$
5. $$\sum _{n=1}^{\mathrm{\infty }}{\left(\frac{2n+3}{3n+2}\right)}^n$$

Más adelante…

En esta sección vimos otros dos criterios más de convergencia que son el criterio de la razón en el cual el valor del límite de la división entre la sucesión $a_{n+1}$ y $a_n$ nos dice si la serie es convergente o divergente, y el criterio de la raíz que dependiente del valor se toma del límite de la raíz n-esima de la sucesión nos dice si la sucesión es convergente o divergente. En la siguiente sección veremos otro criterio de convergencia, que es el criterio de la integral.

Entradas relacionadas

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