Introducción

En la sección anterior vimos la definición de sumas parciales y series infinitas, también vimos en que caso se dice que una serie converge o diverge, en esta sección veremos unas series especiales llamadas series geométricas, además, veremos algunas propiedades importantes de las series.

Series geométricas

Las series geométricas son series de la forma:

$$\sum _{n=0}^{\mathrm{\infty }}c{r}^n=c{r}^0+c{r}^1+c{r}^2+\dots .+c{r}^n+\dots .$$

Donde $c$ es una constante.

Veamos el teorema siguiente que nos dice en que casos las series geométricas convergen o divergen.

Teorema. Sea $rϵ\mathbb{R}$ entonces la serie:

$$\sum _{n=0}^{\mathrm{\infty }}c{r}^n$$

Diverge si $|r|\ge 1$ y converge al valor $\frac{1}{1-r}$ si $|r|<1$.

Demostración: Para demostrar este teorema supongamos que $c=1$, dividamos la demostración por los casos siguientes:

• Caso $1)$: Si $r=1$.

Vemos que:

$$\sum _{n=0}^{\mathrm{\infty }}1(r{)}^n=\sum _{n=0}^{\mathrm{\infty }}1$$

Entonces:

$$S_0=1,$$

$$S_1=2,$$

$$\dots .,$$

$$S_n=n+1$$

Tomando el límite:

$$\underset{n\to \mathrm{\infty }}{lim}{S}_n=\underset{n\to \mathrm{\infty }}{lim}n+1\to \mathrm{\infty }$$

Ya que sabemos que:

$$\underset{n\to \mathrm{\infty }}{lim}n\to \mathrm{\infty }$$

Por tanto, la serie diverge si $r=1$.

$$\therefore \sum _{n=0}^{\mathrm{\infty }}{1}^n\to \mathrm{\infty }$$

• Caso $2)$: Si $r=-1$.

Entonces tenemos que la serie es:

$$\sum _{n=0}^{\mathrm{\infty }}{r}^n=\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n$$

Ya habíamos visto en un ejemplo de la entrada de series y series infinitas que: $$\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n$$

Es una serie oscilante. Por tanto:

$$\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n=\sum _{n=0}^{\mathrm{\infty }}{S}_n\nexists lim$$.

Es decir, el límite no existe y, por tanto, diverge.

• Caso $3)$: Si $r\ne 1$ y $r\ne -1$.

Entonces tenemos que:

$$\sum _{n=0}^{\mathrm{\infty }}{r}^n=1+r+r^2+\dots .+r^n+\dots$$

Las sumas parciales los calculamos como:

$$S_n=1+r+r^2+\dots .+r^n$$

$$\Rightarrow r{S}_n=r+r^2+\dots .+r^{n+1}$$

$$\Rightarrow S_n-r{S}_n=1-r^{n+1}$$

$$\Rightarrow S_n(1-r)=1-r^{n+1}$$

$$\Rightarrow S_n=\frac{1-r^{n+1}}{1-r}$$

$$\begin{array}{}\text{(1)}& \therefore \sum _{n=0}^{\mathrm{\infty }}{r}^n=\underset{n\to \mathrm{\infty }}{lim}{S}_n=\underset{n\to \mathrm{\infty }}{lim}\frac{1-r^{n+1}}{1-r}=\frac{1}{1-r}\underset{n\to \mathrm{\infty }}{lim}(1-r^{n+1})\end{array}$$

Para resolver este límite, nuevamente veamos que pasa en cada uno de los siguientes casos:

• Caso cuando $|r|>1$:

$$\Rightarrow r>1ór<-1$$

Si $r>1$:

$$\underset{n\to \mathrm{\infty }}{lim}{r}^{n+1}\to \mathrm{\infty }$$

Si $r<-1$:

$$\underset{n\to \mathrm{\infty }}{lim}{r}^{n+1}\nexists$$

$$\therefore \frac{1}{1-r}\underset{n\to \mathrm{\infty }}{lim}(1-r^{n+1})\to \mathrm{\infty }$$

Es decir, la serie diverge si $|r|>1$.

• Caso cuando $|r|<1$:

$$\Rightarrow -1<r<1$$

$$\Rightarrow \underset{n\to \mathrm{\infty }}{lim}{r}^{n+1}=0$$

Entonces, de la relación $(1)$ se tiene que:

$$\Rightarrow \frac{1}{1-r}\underset{n\to \mathrm{\infty }}{lim}(1-r^{n+1})=\frac{1}{1-r}\cdot (1)=\frac{1}{1-r}$$

$$\therefore \sum _{n=0}^{\mathrm{\infty }}{r}^n=\frac{1}{1-r}$$

Es decir, la serie converge si $|r|<1$.

$$\therefore \sum _{n=0}^{\mathrm{\infty }}{r}^n=\frac{1}{1-r}$$

Converge si $|r|<1$ y diverge si $|r|\ge 1$.

$\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

Diga si las siguientes series convergen o divergen.

• $$\sum _{n=0}^{\mathrm{\infty }}{\left(\frac{1}{2}\right)}^n$$

Vemos que es una serie geométrica, en este caso $r=\frac{1}{2}$, por lo que, por el teorema anterior, tenemos que:

$$\frac{1}{1-r}=\frac{1}{1-\frac{1}{2}}=2$$

• $$\sum _{n=0}^{\mathrm{\infty }}{2}^n$$

Vemos que $|2|>1$, por el teorema anterior, la serie diverge.

Ahora veamos algunas propiedades de las series que nos serán de utilidad en el resto del curso.

Teorema. Sea $\left\{a_n\right\}$ y $\left\{b_n\right\}$ sucesiones tales que si $\sum _{n=k}^{\mathrm{\infty }}{a}_n$ converge y $\sum _{n=k}^{\mathrm{\infty }}{b}_n$ converge, entonces:

$1)$ $$\sum _{n=k}^{\mathrm{\infty }}(a_n+b_n)=\sum _{n=k}^{\mathrm{\infty }}{a}_n+\sum _{n=k}^{\mathrm{\infty }}{b}_n$$

$2)$ $$\sum _{n=k}^{\mathrm{\infty }}(a_n-b_n)=\sum _{n=k}^{\mathrm{\infty }}{a}_n-\sum _{n=k}^{\mathrm{\infty }}{b}_n$$

$3)$ $$\sum _{n=k}^{\mathrm{\infty }}C{a}_n=C\sum _{n=k}^{\mathrm{\infty }}{a}_n\mathrm{\forall }Cϵ\mathbb{R}$$

Demostración:

Sea $\left\{S_n\right\}$, $\left\{t_n\right\}$, $\left\{w_n\right\}$ las sucesiones de las sumas parciales de $a_n$, $b_n$ y $a_n+b_n$ respectivamente, por hipótesis $a_n$ y $b_n$ convergen, por lo que:

$$\sum _{n=k}^{\mathrm{\infty }}\left\{a_n\right\}\Rightarrow \underset{n\to \mathrm{\infty }}{lim}{S}_{n}converge$$

$$\sum _{n=k}^{\mathrm{\infty }}\left\{b_n\right\}\Rightarrow \underset{n\to \mathrm{\infty }}{lim}{t}_{n}converge$$

Demostremos la primera propiedad $1)$.

$$\sum _{n=k}^{\mathrm{\infty }}(a_n+b_n)=\sum _{n=k}^{\mathrm{\infty }}{a}_n+\sum _{n=k}^{\mathrm{\infty }}{b}_n$$

Por hipótesis tenemos que:

$$\sum _{n=k}^{\mathrm{\infty }}(a_n+b_n)=\underset{n\to \mathrm{\infty }}{lim}{w}_n=\underset{n\to \mathrm{\infty }}{lim}(a_k+b_k+a_{k+1}+b_{k+1}+\dots ..+a_n+b_n)$$

$$=\underset{n\to \mathrm{\infty }}{lim}[(a_k+a_{k+1}+\dots .+a_n)+(b_k+b_{k+1}+\dots .+b_n)]=\underset{n\to \mathrm{\infty }}{lim}(S_n+t_n)$$

$$=\underset{n\to \mathrm{\infty }}{lim}{S}_n+\underset{n\to \mathrm{\infty }}{lim}{t}_n=\sum _{n=k}^{\mathrm{\infty }}{a}_n+\sum _{n=k}^{\mathrm{\infty }}{b}_n$$

$$\therefore \sum _{n=k}^{\mathrm{\infty }}(a_n+b_n)=\sum _{n=k}^{\mathrm{\infty }}{a}_n+\sum _{n=k}^{\mathrm{\infty }}{b}_n$$

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

Demostremos la propiedad $3)$.

$$\sum _{n=k}^{\mathrm{\infty }}C{a}_n=C\sum _{n=k}^{\mathrm{\infty }}{a}_n$$

Sea $\left\{Y_n\right\}$ la sucesión de sumas parciales de $C{a}_n$

$$\Rightarrow \sum _{n=k}^{\mathrm{\infty }}C{a}_n=\underset{n\to \mathrm{\infty }}{lim}{Y}_n=\underset{n\to \mathrm{\infty }}{lim}[C{a}_k+C{a}_{k+1}+\dots .+C{a}_n]$$

$$=\underset{n\to \mathrm{\infty }}{lim}C(a_k+a_{k+1}+\dots .+a_n)=\underset{n\to \mathrm{\infty }}{lim}C{S}_n$$

Y como $S_n$ converge, entonces por propiedad de los límites tenemos que:

$$C\underset{n\to \mathrm{\infty }}{lim}{S}_n=C\sum _{n=k}^{\mathrm{\infty }}{a}_n$$

$$\therefore \sum _{n=k}^{\mathrm{\infty }}C{a}_n=C\sum _{n=k}^{\mathrm{\infty }}{a}_n$$

Para la propiedad $2)$ se puede demostrar utilizando las propiedades $1)$ y $3)$, dejándose como ejercicio moral.

Observación: Si $\sum _{n=k}^{\mathrm{\infty }}{a}_n$ y $\sum _{n=k}^{\mathrm{\infty }}{b}_n$ no convergen, entonces no siempre se cumple que:

$$\sum _{n=k}^{\mathrm{\infty }}(a_n+b_n)=\sum _{n=k}^{\mathrm{\infty }}{a}_n+\sum _{n=k}^{\mathrm{\infty }}{b}_n$$

Veamos un ejemplo:

• $$\sum _{n=0}^{\mathrm{\infty }}7{(-\frac{3}{4})}^n$$

Utilizamos la propiedad $3$, se obtiene que:

$$\sum _{n=0}^{\mathrm{\infty }}7{(-\frac{3}{4})}^n=7\sum _{n=0}^{\mathrm{\infty }}{(-\frac{3}{4})}^n$$

Vemos que es una serie geométrica, entonces sea $r=-\frac{3}{4}$, por el teorema de la serie geométrica tenemos:

$$7\sum _{n=0}^{\mathrm{\infty }}{(-\frac{3}{4})}^n=7\frac{1}{1+\frac{3}{4}}=7(\frac{4}{7})=4$$

Series geométricas que no empiezan en $n=0$

Ahora veamos las series geométricas donde la serie no comienza en $n=0$, veamos el teorema siguiente que nos dice en que caso estas series convergen o divergen.

Teorema. Sea $\sum _{n=m}^{\mathrm{\infty }}{r}^n$ con $m\ne 0$ entonces: $$\sum _{n=m}^{\mathrm{\infty }}{r}^n=\frac{r^m}{1-r}$$

Si $|r|<1$

Demostración:

La demostración a este teorema es muy similar a la demostración del primer teorema que vimos en esta sección, por lo que solo veremos el caso cuando $|r|<1$, entonces:

$$\sum _{n=m}^{\mathrm{\infty }}{r}^n=\underset{n\to \mathrm{\infty }}{lim}\sum _{n=m}^n{r}^n=\underset{n\to \mathrm{\infty }}{lim}(r^m+r^{m+1}+\dots .+r^{m+n})=\underset{n\to \mathrm{\infty }}{lim}{r}^m(1+r+\dots ..+r^n)=r^m\frac{1}{1-r}$$

$$\therefore \sum _{n=m}^{\mathrm{\infty }}{r}^n=\frac{r^m}{1-r}$$

Es decir, la serie converge si $|r|<1$

$\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:

Diga si la siguiente serie converge o diverge.

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

Vemos que es una serie geométrica que no empieza con $n=0$, por lo que $r=\frac{1}{2}<1$ entonces por el teorema anterior obtenemos:

$$\sum _{n=4}^{\mathrm{\infty }}\frac{1}{2^n}=\frac{(\frac{1}{2}{)}^4}{1-\frac{1}{2}}=\frac{1}{8}$$

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.

1. Demuestra que: $$\sum _{n=k}^{\mathrm{\infty }}(a_n-b_n)=\sum _{n=k}^{\mathrm{\infty }}{a}_n-\sum _{n=k}^{\mathrm{\infty }}{b}_n$$.

Diga si la siguientes series convergen o divergen.

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

Más adelante…

En esta sección vimos las series geométricas para el caso cuando $n=0$ y $n\ne 0$, así como los casos en donde estas series convergen y divergen. También vimos algunas propiedades importantes de las series que nos serán útiles en el estudio de estas. Veremos en las siguientes secciones criterios de convergencia y divergencia de las series, en la siguiente entrada comenzaremos a estudiar el criterio de la divergencia y de acotación.

Entradas relacionadas

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