Introducción

En esta entrada veremos la definición de series y sumas parciales para conocer lo básico en este nuevo tema que con llevará a teoremas que nos dirán si una serie es divergente o convergente.

Cabe recalcar que para este tema se debe tener noción de sucesiones que se estudió en Cálculo Diferencial e Integral I. Comenzamos estudiando las sumas parciales que se definen como sigue.

Sumas parciales

Definición. Sea $\left\{a_n\right\}$ una sucesión, definimos la nueva sucesión $S_n$ «la sucesión de la sumas parciales de $\left\{a_n\right\}$» como:

$$S_n=a_1+a_2+\dots .+a_n$$

Esta serie se denota comúnmente como:

$$S_n=a_1+a_2+\dots .+a_n=\sum _{i=1}^n{a}_i$$

Donde $a_i$ es el término general de la sucesión y se va sumando desde el valor inferior $i=1$ hasta el valor $i=n$.

Veamos unos ejemplos:

• Sea $\left\{a_n\right\}$ una sucesión dada por $a_n=\frac{1}{n}$

En este caso tenemos que $a_1=\frac{1}{1}$, $a_2=\frac{1}{2}$ y $a_3=\frac{1}{3}$ entonces tenemos que la sucesión de sumas parciales hasta $n=3$ es:

$$S_1=\sum _{i=1}^1{a}_i=a_1=1,$$

$$S_2=\sum _{i=1}^2{a}_i=a_1+a_2=1+\frac{1}{2}=\frac{3}{2},$$

$$S_3=\sum _{i=1}^3{a}_i=a_1+a_2+a_3=1+\frac{1}{2}+\frac{1}{3}=\frac{11}{6}$$

• Sea $\left\{a_n\right\}$ una sucesión dada por $a_n=(-1{)}^n$

Tenemos que las sumas parciales hasta $n=4$ son:

$$S_1=-1,$$

$$S_2=S_1+a_2=-1+1=0,$$

$$S_3=S_2+a_3=-1$$

$$S_4=S_3+a_4=0$$

A este tipo de series se les conoce como series oscilantes, ya que como vemos, las sumas parciales van oscilando sobre algunos valores.

• Sea $a_n={\left(\frac{1}{2}\right)}^n$

Tenemos que:

$$S_1=\frac{1}{2},$$

$$S_2=S_1+a_2=\frac{1}{2}+\frac{1}{4}=\frac{3}{4},$$

$$S_3=S_2+a_3=\frac{7}{8}$$

$$S_4=S_3+a_4=\frac{15}{16}$$

Se puede afirmar que las sumas parciales de esta sucesión tienden al valor siguiente:

Afirmación: $$\begin{array}{}\text{(1)}& \sum _{i=1}^n{\left(\frac{1}{2}\right)}^n=S_n=\frac{2^n-1}{2^n}=1-{\left(\frac{1}{2}\right)}^n\end{array}$$

Demostración:

Esta afirmación se demuestra por inducción, por lo que recordamos que demostrar por inducción consta de tres pasos siguientes:

$1)$ para $n=1$ tenemos que:

$$\sum _{i=1}^1{\left(\frac{1}{2}\right)}^1=S_1=\frac{2^1-1}{2^1}=1-{\left(\frac{1}{2}\right)}^1=\frac{1}{2}$$

Por lo que para $n=1$ cumple.

$2)$ Supongamos valido para $n=k$ entonces:

$$\sum _{i=1}^k{\left(\frac{1}{2}\right)}^k=\frac{2^k-1}{2^k}=1-{\left(\frac{1}{2}\right)}^k$$

$3)$ Demostremos para $n=k+1$, por lo que:

$$\sum _{i=1}^{k+1}{\left(\frac{1}{2}\right)}^{k+1}=S_{k+1}=S_k+a_{k+1}=\frac{2^k-1}{2^k}+{\left(\frac{1}{2}\right)}^{k+1}=\frac{2^k-1}{2^k}+\frac{1}{2^{k+1}}$$

Multiplicamos por $\frac{2}{2}$ en la fracción de la izquierda, por lo que se tiene que:

$$1-{\left(\frac{1}{2}\right)}^{k+1}=\frac{2(2^k-1)}{2^{k+1}}+\frac{1}{2^{k+1}}=\frac{2^{k+1}-2}{2^{k+1}}+\frac{1}{2^{k+1}}=\frac{2^{k+1}-2+1}{2^{k+1}}=\frac{2^{k+1}-1}{2^{k+1}}$$

$$\therefore \mathrm{\forall }nϵ\mathbb{N}\sum _{i=1}^n{\left(\frac{1}{2}\right)}^n=S_n=\frac{2^n-1}{2^n}=1-{\left(\frac{1}{2}\right)}^n$$

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

Ya que hemos estudiado un poco las sumas parciales, veamos cuando una serie converge o diverge.

Series

Definición. Si la sucesión de sumas parciales $S_n$ de la sucesión $a_n$, converge a un número $L$ con $Lϵ\mathbb{R}$, entonces:

$$\sum _{i=1}^n{a}_n=L$$

Es decir, la serie $a_n$ converge al valor $L$.

En caso contrario, si $S_n$ no converge, entonces la serie $\sum _{i=1}^n{a}_n$ diverge.

La anterior definición es para series que no son infinitas, a las series infinitas las definimos como sigue:

Definición. Se dice que la sucesión $\left\{a_n\right\}$ es sumable (o convergente) si la sucesión de sumas parciales $S_n$ converge, para $\underset{n\to \mathrm{\infty }}{lim}{S}_n$, es decir:

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

Donde $L$ es un número. La notación anterior se puede denotar de la siguiente manera:

$$\begin{array}{}\text{(2)}& \underset{n\to \mathrm{\infty }}{lim}{S}_n=\underset{n\to \mathrm{\infty }}{lim}(a_1+a_2+\dots .+a_n)=\underset{n\to \mathrm{\infty }}{lim}\sum _{i=1}^n{a}_i=\sum _{i=1}^{\mathrm{\infty }}{a}_i\end{array}$$

$\sum _{i=1}^{\mathrm{\infty }}{a}_i$ recibe el nombre de suma infinita de $a_n$ ó la serie infinita de $a_n$.

• Si $S_n$ converge se dice que la serie converge.
• Si $S_n$ diverge se dice que la serie diverge.

Veamos unos ejemplos.

Ejemplos

• Sea la serie $\sum _{i=1}^{\mathrm{\infty }}{a}_i$ con $a_i=\frac{1}{2^i}$, diga si esta serie converge o diverge.

De la definición $(2)$ tenemos que:

$$\sum _{i=1}^{\mathrm{\infty }}{a}_i=\underset{n\to \mathrm{\infty }}{lim}\sum _{i=1}^n\frac{1}{2^i}=\underset{n\to \mathrm{\infty }}{lim}{S}_n$$

Por la afirmación de la relación $(1)$, tenemos que:

$$\underset{n\to \mathrm{\infty }}{lim}{S}_n=\underset{n\to \mathrm{\infty }}{lim}\left(\frac{2^n-1}{2^n}\right)=\underset{n\to \mathrm{\infty }}{lim}(1-\frac{1}{2^n})=1$$

ya que:

$$\underset{n\to \mathrm{\infty }}{lim}\frac{1}{2^n}=0$$

$$\therefore \sum _{i=1}^{\mathrm{\infty }}\frac{1}{2^i}=\frac{1}{2}+\frac{1}{4}+\dots .+\frac{1}{2^i}=1$$

Por tanto, la serie converge a un valor y ese valor es $1$.

• Sea la serie $\sum _{i=1}^{\mathrm{\infty }}(\frac{1}{n}-\frac{1}{n+1})$, diga si esta serie converge o diverge.

Vemos que:

$$a_n=(\frac{1}{n}-\frac{1}{n+1})$$

Así :

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

$$S_2=(1-\frac{1}{2})+(\frac{1}{2}-\frac{1}{2})=\frac{2}{3}$$

$$S_3=(1-\frac{1}{2})+(\frac{1}{2}-\frac{1}{3})+(\frac{1}{3}-\frac{1}{4})=1-\frac{1}{4}$$

Vemos que sigue una secuencia, por lo que podemos afirmar lo siguiente:

Afirmación: $$\begin{array}{}\text{(3)}& \sum _{i=1}^{\mathrm{\infty }}(\frac{1}{n}-\frac{1}{n+1})=S_n=1-\frac{1}{n+1}\end{array}$$

La demostración se le dejará como tarea moral, recuerde que este tipo de demostraciones se usa comúnmente la demostración por inducción.

Entonces de la afirmación $(3)$ tenemos que:

$$\sum _{i=1}^{\mathrm{\infty }}(\frac{1}{n}-\frac{1}{n+1})=\underset{n\to \mathrm{\infty }}{lim}{S}_n=\underset{n\to \mathrm{\infty }}{lim}(1-\frac{1}{n+1})=1$$

ya que:

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

$$\therefore \sum _{i=1}^{\mathrm{\infty }}(\frac{1}{n}-\frac{1}{n+1})=1$$

Por lo tanto, la serie converge.

• Sea la serie $\sum _{i=1}^{\mathrm{\infty }}(-1{)}^n$, diga si esta serie converge o diverge.

Entonces tenemos que $a_n=(-1{)}^n$, vemos que:

$$S_1=-1,$$

$$S_2=0,$$

$$S_3=-1$$

$$S_4=0$$

Vemos que esta serie está oscilando, por lo que esta serie está dada como:

$$S_n=\{\begin{array}{lc}-1& sinesimpar\\ \\ 0& sinespar\end{array}$$

Por lo que:

$$\sum _{i=1}^{\mathrm{\infty }}(-1{)}^n=\underset{n\to \mathrm{\infty }}{lim}{S}_n\to diverge$$

No existe el límite, porque vemos que la serie oscila entre los valores $-1$ y $0$.

A este tipo de series se les conoce como series oscilantes.

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 las siguientes series convergen o divergen:

1. $$\sum _{i=1}^{5}1$$
2. $$\sum _{i=1}^{\mathrm{\infty }}\frac{1}{n}$$
3. $$\sum _{i=1}^{\mathrm{\infty }}{\left(\frac{1}{2}\right)}^n$$
4. $$\sum _{i=1}^{\mathrm{\infty }}\frac{2}{4n^2-1}$$ Hint: Utilice fracciones parciales y demuestre por inducción que $\sum _{i=1}^{\mathrm{\infty }}\frac{2}{4n^2-1}=\frac{1}{2n-1}-\frac{1}{2n+1}=1-\frac{1}{2n+1}$.
5. Demuestre por inducción que: $\sum _{i=1}^{\mathrm{\infty }}(\frac{1}{n}-\frac{1}{n+1})=1-\frac{1}{n+1}$

Más adelante…

En esta sección vimos la definición y notación de series y series infinitas viendo algunos ejemplos para entender las sumas parciales de estas series y determinando la convergencia y divergencia de algunas series, en la siguiente sección veremos unas series particulares que se llaman series geométricas.

Entradas relacionadas

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