9 Series de números reales

En este capítulo se estudian las series de números reales, un tipo especial de sucesiones que se construyen a partir de la suma de los términos de otras sucesiones. Este tipo de sucesiones son las más importantes del Análisis pues, como se verá más adelante, aparecen en multitud de contextos reales.

Como ejemplo introductorio puede servir la paradoja de la dicotomía de Zenon, que establece que para que un corredor pueda recorrer una distancia hasta la meta, primero tiene que recorrer la mitad de la distancia, después la mitad de la distancia restante, después la mitad de la distancia restante, y así hasta el infinito, por lo que, aparentemente, nunca llegaría a la meta.

Paradoja de la dicotomía de Zenon.(imagen tomada de Wikipedia)

La distancia recorrida por el corredor puede expresarse como una suma infinita

$\frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \frac{1}{16} + \frac{1}{32} + \dots$

que puede representarse, de manera más concisa, mediante el sumatorio

$\sum_{n = 1}^{\infty} \frac{1}{2^{n}} .$

Por supuesto, por experiencia, sabemos que el corredor acaba llegando a la meta, por lo que la suma de estas distancias debe ser la distancia total, es decir,

$\sum_{n = 1}^{\infty} \frac{1}{2^{n}} = 1.$

En este capítulo estudiaremos estas sumas infinitas y veremos técnicas para calcularlas cuando existan.

9.1 Concepto de serie

Definición 9.1 (Serie) Dada una sucesión de números reales $(a_{n})_{n = 1}^{\infty}$ , se llama serie de término general $a_{n}$ a la sucesión $(A_{n})_{n = 1}^{\infty}$ , cuyos términos se obtienen sumando consecutivamente los $n$ primeros términos de $(a_{n})_{n = 1}^{\infty}$ , es decir,

$(A_{n})_{n = 1}^{\infty} = {(\sum_{i = 1}^{n} a_{i})}_{n = 1}^{\infty} .$

El número $A_{n} = \sum_{i = 1}^{n} a_{i}$ se llama suma parcial de orden $n$ de la serie, y habitualmente utilizaremos la notación $\sum a_{n}$ para referirnos a la serie de término general $n$ .

Importante

Debe quedar claro que una serie no es una suma, sino una sucesión cuyos términos se forman mediante sumas de los términos de otra sucesión. Por tanto, todos lo visto en el capítulo de sucesiones es válido también para series.

Ejemplo 9.1 A partir de la sucesión ${(\frac{1}{n})}_{n = 1}^{\infty}$ , se puede construir la serie $\sum \frac{1}{n} = (A_{n})_{n = 1}^{\infty}$ tal que

$\begin{aligned} A_{1} & = 1 \\ A_{2} & = 1 + \frac{1}{2} \\ A_{3} & = 1 + \frac{1}{2} + \frac{1}{3} \\ ⋮ \\ A_{n} & = 1 + \frac{1}{2} + \frac{1}{3} + \dots \frac{1}{n} = \sum_{i = 1}^{n} \frac{1}{i} \end{aligned}$

Esta serie se conoce como serie armónica. En la siguiente gráfica se puede apreciar cómo evoluciona la sucesión de sus sumas parciales.

En ocasiones es posible expresar el valor de la suma parcial de orden $n$ mediante una fórmula explícita que depende de $n$ y que se conoce como forma cerrada de la serie. Si una serie puede expresarse mediante una forma cerrada, resulta más rápido calcular el valor de la suma parcial de orden $n$ mediante la forma cerrada, que haciendo la propia suma de los $n$ primeros términos de la sucesión.

Ejemplo 9.2 Dada la serie $\sum n$ , su suma parcial de orden $n$ $A_{n} = \sum_{i = 1}^{n} n$ puede expresarse mediante la forma cerrada $A_{n} = \frac{1}{2} n (n + 1)$ .

9.2 Convergencia de series

Definición 9.2 (Serie convergente) Se dice que una serie $\sum a_{n}$ es convergente, o que la sucesión $(a_{n})_{n = 1}^{\infty}$ es sumable, si la sucesión de las sumas parciales ${(\sum_{i = 1}^{n} a_{i})}_{n = 1}^{\infty}$ es convergente, y en tal caso, utilizaremos la notación $\sum_{n = 1}^{\infty} a_{n}$ para referirnos a su límite.

$\sum_{n = 1}^{\infty} a_{n} = lim A_{n} = lim_{n \to \infty} \sum_{i = 1}^{n} a_{i} .$

Si una serie no es convergente, se dice que es divergente.

A veces interesa considerar series que empiezan en un índice distinto de 1. En tal caso, se usará la notación $\sum_{n \geq k} a_{n}$ para referirse a la serie, y $\sum_{n = k}^{\infty} a_{n}$ para referirse a su límite.

Ejemplo 9.3 Veamos que la serie $\sum {(\frac{1}{2})}^{n}$ de la paradoja de la dicotomía de Zenon converge.

$\sum_{i = 1}^{n} {(\frac{1}{2})}^{i} = 1 + \frac{1}{2} + \dots + \frac{1}{2^{n}} = \frac{1 - \frac{1}{2^{n + 1}}}{1 - \frac{1}{2}} = 2 - \frac{1}{2^{n}} .$

Y, por tanto,

$\sum_{n = 1}^{\infty} {(\frac{1}{2})}^{n} = lim_{n \to \infty} \sum_{i = 1}^{n} {(\frac{1}{2})}^{i} = lim_{n \to \infty} 2 - \frac{1}{2^{n}} = 2.$

Ejemplo 9.4 La serie $\sum (- 1)^{n}$ diverge. Para probarlo, basta con ver que las sumas parciales de orden $n$ forman una sucesión alternada.

$\begin{aligned} A_{1} & = - 1 \\ A_{2} & = - 1 + (- 1)^{2} = 0 \\ A_{3} & = - 1 + (- 1)^{2} + (- 1)^{3} = - 1 \\ A_{4} & = - 1 + (- 1)^{2} + (- 1)^{3} + (- 1)^{4} = 0 \\ ⋮ \end{aligned}$

y por tanto, $(A_{n})_{n = 1}^{\infty}$ diverge.

Ejemplo 9.5 La serie armónica $\sum \frac{1}{n}$ diverge. Una prueba bastante intuitiva se debe a Nicole Oresme y se basa en agrupar los términos de la serie en potencias de 2 de la siguiente manera

$\sum_{n = 1}^{\infty} \frac{1}{n} = 1 + \frac{1}{2} + [\frac{1}{3} + \frac{1}{4}] + [\frac{1}{5} + \frac{1}{6} + \frac{1}{7} + \frac{1}{8}] + \dots$

Es fácil ver que los términos de esta serie son mayores que los de esta otra

$\begin{matrix} 1 + \frac{1}{2} + [\frac{1}{4} + \frac{1}{4}] + [\frac{1}{8} + \frac{1}{8} + \frac{1}{8} + \frac{1}{8}] + \dots \\ = 1 + \frac{1}{2} + \frac{1}{2} + \frac{1}{2} + \dots \end{matrix}$ que claramente diverge, por lo que la serie armónica también diverge.

Sin embargo, la serie armónica alternada $\sum \frac{(- 1)^{n + 1}}{n}$ converge. La prueba es una consecuencia de la serie de Taylor para el logaritmo y se deja como ejercicio.

Proposición 9.1 Dadas dos sucesiones $(a_{n})_{n = 1}^{\infty}$ y $(b_{n})_{n = 1}^{\infty}$ tales que $a_{n} = b_{n}$ $\forall n > k \in N$ . Entonces, $\sum a_{n}$ converge si y solo si $\sum b_{n}$ converge, y en caso de converger se cumple que $\sum_{n = 1}^{\infty} a_{n} - \sum_{i = 1}^{k} a_{i} = \sum_{n = 1}^{\infty} b_{n} - \sum_{i = 1}^{k} b_{i} .$

Demostración

Prueba. Pongamos $A_{n} = a_{1} + a_{2} + \dots + a_{n}$ , $B_{n} = b_{1} + b_{2} + \dots + b_{n}$ , $α = \sum_{i = 1}^{k} a_{i}$ , $β = \sum_{i = 1}^{k} b_{i}$ . Las afirmaciones hechas se deducen todas de que para todo $n \geq q + 1$ se verifica la igualdad:

Como $a_{n} = b_{n}$ $\forall n > k \in N$ , se tiene que

$\sum_{i = k + 1}^{\infty} a_{i} = \sum_{i = k + 1}^{\infty} b_{i}$

y, por tanto,

$\sum_{n = 1}^{\infty} a_{n} - \sum_{i = 1}^{k} a_{i} = \sum_{i = k + 1}^{\infty} a_{i} = \sum_{i = k + 1}^{\infty} b_{i} = \sum_{n = 1}^{\infty} b_{n} - \sum_{i = 1}^{k} b_{i} .$

Proposición 9.2 Dadas dos series convergentes $\sum a_{n}$ y $\sum b_{n}$ , entonces se cumple

La serie $\sum (a_{n} + b_{n})$ es convergente y $\sum_{n = 1}^{\infty} (a_{n} + b_{n}) = \sum_{n = 1}^{\infty} a_{n} + \sum_{n = 1}^{\infty} b_{n}$ .
La serie $\sum (c \cdot a_{n})$ es convergente y $\sum_{n = 1}^{\infty} (c \cdot a_{n}) = c \sum_{n = 1}^{\infty} a_{n}$ .

Demostración

Prueba. Sean $(A_{n})_{n = 1}^{\infty}$ y $(B_{n})_{n = 1}^{\infty}$ las sucesiones de las sumas parciales de $\sum a_{n}$ y $\sum b_{n}$ respectivamente. Si $\sum a_{n}$ y $\sum b_{n}$ convergen, entonces $(A_{n})_{n = 1}^{\infty}$ y $(B_{n})_{n = 1}^{\infty}$ convergen y, por las propiedades de las sucesiones convergentes, $(A_{n} + B_{n})_{n = 1}^{\infty}$ converge, y además

$lim_{n \to \infty} A_{n} + B_{n} = lim_{n \to \infty} A_{n} + lim_{n \to \infty} B_{n} .$

En consecuencia, $\sum (a_{n} + b_{n})$ converge y $\sum_{n = 1}^{\infty} (a_{n} + b_{n}) = \sum_{n = 1}^{\infty} a_{n} + \sum_{n = 1}^{\infty} b_{n}$ .

Teorema 9.1 (Criterio de Cauchy) La serie $\sum a_{n}$ converge si y solo si para cada $ε > 0$ existe $k \in N$ tal que

$| a_{n + 1} + a_{n + 2} + \dots + a_{m} | < ε \forall m > n \geq k .$

Demostración

Prueba. Sea $(A_{n})_{n = 1}^{\infty}$ la sucesión de las sumas parciales de $\sum a_{n}$ . Entonces, $\sum a_{n}$ converge si y solo si $(A_{n})_{n = 1}^{\infty}$ converge, y por el criterio de convergencia de Cauchy para sucesiones (Teorema 4.8) esto es equivalente a que $(A_{n})_{n = 1}^{\infty}$ es una sucesión de Cauchy, de manera que se cumple que para cualquier $ε > 0$ existe un $k \in N$ tal que $| A_{m} - A_{n} | < ε$ $\forall m > n \geq k$ , lo que es equivalente a que $| a_{n + 1} + a_{n + 2} + \dots + a_{m} | < ε \forall m > n \geq k$ .

El siguiente teorema establece una condición necesaria para la convergencia de una serie.

Teorema 9.2 (Criterio de divergencia) Dada una serie $\sum a_{n}$ , si $lim_{n \to \infty} a_{n} \neq 0$ , entonces la serie diverge.

Demostración

Prueba. Probaremos que si la serie converge, entonces $lim_{n \to \infty} = 0$ .

Sea $(A_{n})_{n = 1}^{\infty}$ la sucesión de las sumas parciales de de $\sum a_{n}$ . Si la serie $\sum a_{n}$ es convergente, entonces existe $lim_{n \to \infty} A_{n} = l$ , y por las propiedades de las colas de sucesiones, también se cumple que $lim_{n \to \infty} A_{n - 1} = l$ .

Por otro lado, como $a_{n} = A_{n} - A_{n - 1}$ $\forall n \geq 2$ , se deduce que

$lim_{n \to \infty} a_{n} = lim_{n \to \infty} A_{n} - A_{n - 1} = lim_{n \to \infty} A_{n} - lim_{n \to \infty} A_{n - 1} = l - l = 0.$

Advertencia

El teorema anterior permite establecer la divergencia de una serie cuando $lim_{n \to \infty} a_{n} \neq 0$ , pero no dice nada cuando $lim_{n \to \infty} a_{0} = 0$ . De hecho, en este último caso, puede ocurrir que la serie converja, como ocurre con la serie $\sum \frac{1}{2^{n}}$ o que diverja como ocurre con la serie armónica $\sum \frac{1}{n}$ .

Ejemplo 9.6 Ya hemos visto antes que la serie $\sum (- 1)^{n}$ no converge, porque la sucesión $((- 1)^{n})_{n = 1}^{\infty}$ no converge.

La serie $\sum \frac{2 n^{2}}{3 n^{2} + n}$ tampoco converge, pues $lim_{n \to \infty} \frac{2 n^{2}}{3 n^{2} + n} = \frac{2}{3} \neq 0$ .

Corolario 9.1 Dada una serie $\sum a_{n}$ convergente, si $a_{n} \neq 0$ $\forall n \in N$ , entonces la serie de los términos inversos $\sum a_{n}^{- 1}$ diverge.

Demostración

Prueba. La demostración es una consecuencia inmediata del criterio de divergencia, ya que si $\sum a_{n}$ converge, entonces $lim_{n \to \infty} a_{n} = 0$ y, por tanto, $lim_{n \to \infty} a_{n}^{- 1} = \frac{1}{lim_{n \to \infty} a_{n}} = \infty$ , por lo que la serie $\sum a_{n}^{- 1}$ diverge.

9.3 Series geométricas

En muchas casos de la vida real, aparecen sucesiones cuyo término $n$ se obtiene multiplicando el término anterior por un mismo valor.

Definición 9.3 (Series geométricas) Dados dos números $a, r \in R$ , la sucesión $(a + a r + a r^{2} + \dots + a r^{n})_{n = 1}^{\infty}$ se llama serie geométrica de razón $r$ y se representa $\sum a r^{n}$ .

Ejemplo 9.7 La serie $\sum \frac{1}{2^{n}}$ de la paradoja de la dicotomía de Zenon es una serie geométrica de razón $1 / 2$ .

Proposición 9.3 La suma parcial de orden $n$ de una serie geométrica $\sum a r^{n}$ es

$A_{n} = \sum_{i = 0}^{n} = a \frac{1 - r^{n + 1}}{1 - r}$

Demostración

Prueba. La suma parcial de orden $n$ de la serie geométrica de razón $r$ es

$A_{n} = a + a r + a r^{2} + a r^{3} + \dots + a r^{n}$

Si multiplicamos $A_{n}$ por la razón de las serie se obtiene

$r A_{n} = a r + a r^{2} + a r^{3} + \dots + a r^{n} + a^{n + 1} .$

Y si restamos las dos expresiones anteriores se obtiene

$A_{n} - r A_{n} = a - a^{n + 1} \Leftrightarrow A_{n} = \frac{a - a^{n + 1}}{1 - r} .$

Ejemplo 9.8 La suma parcial de orden $10$ de la serie $\sum \frac{1}{2^{n}}$ es $A_{n} = \sum_{i = 0}^{n} \frac{1}{2^{n}} = \frac{1 - \frac{1}{2^{11}}}{1 - \frac{1}{2}} \approx 1.9990234375$ .

Corolario 9.2 Una serie geométrica $\sum a r^{n}$ de razón $r$ converge si y solo si $| r | < 1$ .

Demostración

Prueba. La demostración es fácil a partir de la proposición anterior y se deja como ejercicio.

Ejemplo 9.9 La serie geométrica $\sum \frac{1}{2^{n}}$ converge ya que su razón es $\frac{1}{2} < 1$ . Sin embargo, la serie geométrica $\sum {(\frac{3}{2})}^{n}$ no converge, ya que $\frac{3}{2} \geq 1$ .

9.4 Series $p$

Otro tipo de series que aparece con bastante frecuencia en contextos reales son las llamadas series $p$ , de las que la serie armónica es un caso particular.

Definición 9.4 (Series $p$ ) Dado un número $p \in R$ , la serie $\sum \frac{1}{n^{p}}$ se conoce como serie $p$ .

Ejemplo 9.10 La serie armónica $\frac{1}{n}$ es una serie $p$ con $p = 1$ , y la serie de los inversos de los cuadrados $\frac{1}{n^{2}}$ es otra serie $p$ con $p = 2$ .

Proposición 9.4 Una serie $p$ $\sum \frac{1}{n^{p}}$ converge si y solo si $p > 1$ .

Demostración

Prueba. Usando el criterio de divergencia, es fácil probar que la serie diverge para $p \leq 0$ , ya que $lim_{n \to \infty} \frac{1}{n^{p}} = \infty$ si $p < 0$ y $lim_{n \to \infty} \frac{1}{n^{p}} = 1$ si $p = 0$ .

Más adelante se probará también que la serie $p$ diverge para $0 < p \leq 1$ y converge para $p > 1$ .

Ejemplo 9.11 Ya se ha visto que la serie armónica $\sum \frac{1}{n}$ diverge, ya que $p = 1$ , mientras que la serie $\sum \frac{1}{n^{2}}$ converge al ser $p = 2 > 1$ . De hecho, la suma exacta de esta última serie es el famoso problema de Basilea que consiguió resolver Euler, demostrando que que $\sum_{n = 1}^{\infty} \frac{1}{n^{2}} = \frac{π^{2}}{6}$ (la demostración se escapa de los conocimientos de este curso y puede verse en el enlace anterior).

Graficador de Series

9.5 Series telescópicas

Otro tipo de serie, menos frecuente, pero también interesante, son las series cuyos términos se van cancelando sucesivamente, de manera que la serie colapsa.

Definición 9.5 Dada una sucesión $(a_{n})_{n = 1}^{\infty}$ , las series de la forma $\sum (a_{n} - a_{n + 1})$ se llaman series telescópicas.

Ejemplo 9.12 La serie $\sum \frac{1}{n^{2} + n}$ es una serie telescópica, ya que

$\sum \frac{1}{n^{2} + 1} = \sum \frac{1}{n} - \frac{1}{n + 1} .$

Proposición 9.5 Una serie telescópica $\sum (a_{n} - a_{n + 1})$ converge si y solo si la sucesión $(a_{n})_{n = 1}^{\infty}$ converge.

Demostración

Prueba. Es fácil ver que la suma parcial de los $n$ primeros términos es

$\begin{aligned} A_{n} & = \sum_{i = 1}^{n} (a_{i} - a_{i + 1}) \\ = (a_{1} - a_{2}) + (a_{2} - a_{3}) + (a_{3} - a_{4}) + \dots (a_{n} - a_{n + 1}) \\ = a_{1} - a_{n + 1} . \end{aligned}$

Por tanto,

$lim_{n \to \infty} A_{n} = lim_{n \to \infty} a_{1} - a_{n + 1} = a_{1} - lim_{n \to \infty} a_{n + 1},$

de manera que si existe $lim_{n \to \infty} a_{n} = l$ , la serie telescópica converge y $\sum_{n = 1}^{\infty} (a_{n} - a_{n + 1}) = a_{1} - l$ , y si no existe $lim_{n \to \infty} a_{n}$ , la serie diverge.

Ejemplo 9.13 La serie telescópica $\sum \frac{1}{n} - \frac{1}{n + 1}$ converge ya que $lim_{n \to \infty} \frac{1}{n} = 0$ , y por tanto, $\sum_{n = 1}^{\infty} \frac{1}{n} - \frac{1}{n + 1} = 1$ .

9.6 Convergencia de series de términos positivos

En esta sección se presentan algunos criterios para estudiar la convergencia de series $\sum a_{n}$ tales que todos sus términos son positivos, es decir, $a_{n} \geq 0$ $\forall n \in N$ . Este tipo de series aparecen de manera frecuente en muchos problemas donde siempre se suman cantidades positivas.

Teorema 9.3 (Criterio de acotación) Una serie $\sum a_{n}$ de términos positivos converge si y solo si la sucesión de sus sumas parciales está acotada.

Demostración

Prueba. Como $a_{n} \geq 0$ $\forall n \in N$ , la sucesión $(A_{n})_{n = 1}^{\infty}$ de las sumas parciales de $\sum a_{n}$ es monótona creciente y por el teorema de la convergencia monótona para sucesiones se tiene que $(A_{n})_{n = 1}^{\infty}$ converge si y solo si está acotada.

Teorema 9.4 (Criterio de comparación de series) Dadas dos series de términos positivos $\sum a_{n}$ y $\sum b_{n}$ tales que $a_{n} < b_{n}$ $\forall n \in N$ , entonces:

Si $\sum b_{n}$ converge, $\sum a_{n}$ converge.
Si $\sum a_{n}$ diverge, $\sum b_{n}$ diverge.

Demostración

Prueba. Sean $(A_{n})_{n = 1}^{\infty}$ y $(B_{n})_{n = 1}^{\infty}$ las sucesiones de las sumas parciales de $\sum a_{n}$ y $\sum b_{n}$ respectivamente. Como $a_{n} < b_{n}$ $\forall n \in N$ , se tiene que $A_{n} < B_{n}$ $\forall n \in N$ .

Supongamos que $\sum b_{n}$ converge. Entonces, por el teorema anterior, la sucesión de sus sumas parciales $(B_{n})_{n = 1}^{\infty}$ está acotada. Sea $k$ una cota de $(B_{n})_{n = 1}^{\infty}$ . Entonces $A_{n} < B_{n} \leq k$ $\forall n \in N$ , de manera que $(A_{n})_{n = 1}^{\infty}$ está acotada y, por el teorema anterior converge.

Supongamos ahora que $\sum a_{n}$ diverge. Entonces, por el teorema anterior, $(A_{n})_{n = 1}^{\infty}$ no está acotada y como $A_{n} < B_{n}$ $\forall n \in N$ , $(B_{n})_{n = 1}^{\infty}$ tampoco está acotada, así que, de nuevo por el teorema anterior, se concluye que $(B_{n})_{n = 1}^{\infty}$ diverge.

Ejemplo 9.14 Veamos que la serie $\sum \frac{2 + sen (n + 1)}{2^{n} + n^{2}}$ converge.

Para ello basta ver que se trata de una serie de términos positivos, y que

$\frac{2 + sen (n + 1)}{2^{n} + n^{2}} \leq \frac{3}{2^{n} + n^{2}} \leq \frac{3}{2^{n}}$

Como se ha visto antes, la serie $\sum \frac{1}{2^{n}}$ converge, de manera que $\sum \frac{3}{2^{n}}$ también converge, y por el teorema anterior, $\sum \frac{2 + sen (n + 1)}{2^{n} + n^{2}}$ también converge.

Una forma bastante intuitiva de estudiar la convergencia de una serie es mediante la integral impropia del término general de la serie.

Teorema 9.5 (Criterio de la integral) Dada una serie $\sum a_{n}$ de términos positivos, si $a_{n} = f (n)$ para una función $f$ continua, positiva y decreciente en el intervalo $[1, \infty)$ , entonces la serie converge si y solo si la integral impropia $\int_{1}^{\infty} f (x) d x$ converge.

Demostración

Prueba. Sea $f$ una función continua, positiva y decreciente, tal que $a_{n} = f (n)$ $\forall n \in N$ . Si tomamos la partición $P = {1, 2, \dots, n}$ del intervalo $[1, n]$ , al ser $f$ decreciente, se tiene que la suma inferior de Riemann de $f$ es

$s (f, P) = \sum_{i = 1}^{n - 1} f (i + 1) Δ x_{i} = f (2) + f (3) + \dots + f (n) = a_{2} + a_{3} + \dots + a_{n},$

Serie como suma inferior de Riemann

y, del mismo modo, la suma superior de Riemann de $f$ es

$S (f, P) = \sum_{i = 1}^{n - 1} f (i) Δ x_{i} = f (1) + f (2) + \dots + f (n - 1) = a_{1} + a_{2} + \dots + a_{n - 1},$

Serie como suma superior de Riemann

por lo que se cumple que

$s (f, P) = \sum_{i = 2}^{n} a_{i} \leq \int_{1}^{n} f (x) d x \leq \sum_{i = 1}^{n - 1} a_{i} = S (f, P) \forall n \in N .$

Por tanto, si la integral impropia $\int_{1}^{\infty} f (x) d x$ converge, entonces la sucesión de las sumas parciales está acotada, ya que

$A_{n} = \sum_{i = 1}^{n} a_{i} = a_{1} + \sum_{i = 2}^{n} a_{i} \leq a_{1} + \int_{1}^{n} f (x) d x \leq a_{1} + \int_{1}^{\infty} f (x) d x \forall n \in N,$

y al ser una sucesión monótona creciente, por ser $a_{n} > 0$ $\forall n \in N$ , se tiene, por el Teorema 4.4, que $(A_{n})_{n = 1}^{\infty}$ converge.

Por otro lado, si la integral impropia diverge, entonces la sucesión de las sumas parciales no está acotada, ya que

$A_{n} = \sum_{i = 1}^{n} a_{i} \geq \sum_{i = 1}^{n - 1} a_{i} \geq \int_{1}^{n} f (x) d x \forall n \in N,$

y como $lim_{n \to \infty} \int_{1}^{n} f (x) d x = \infty$ , se tiene que $lim_{n \to \infty} A_{n} = \infty$ , por lo que la serie diverge.

Ejemplo 9.15 Veamos cómo podemos probar que la serie $p$ $\sum_{n = 1}^{\infty} \frac{1}{n^{p}}$ converge para $p > 1$ usando el criterio de la integral.

Para ello, consideramos la función $f (x) = \frac{1}{x^{p}}$ , que es continua, positiva y decreciente en el intervalo $[1, \infty)$ . Entonces, la integral impropia de $f$ es

$\int_{1}^{\infty} \frac{1}{x^{p}} d x = lim_{n \to \infty} \int_{1}^{n} \frac{1}{x^{p}} d x = lim_{n \to \infty} {[\frac{x^{1 - p}}{1 - p}]}_{1}^{n} = lim_{n \to \infty} [\frac{n^{1 - p}}{1 - p} - \frac{1}{1 - p}] = \frac{1}{p - 1},$

y de acuerdo al criterio de la integral, la serie $\sum_{n = 1}^{\infty} \frac{1}{n^{p}}$ converge.

Sin embargo, para $p < 1$ se tiene que la integral impropia es

$\int_{1}^{\infty} \frac{1}{x^{p}} d x = lim_{n \to \infty} [\frac{n^{1 - p}}{1 - p} - \frac{1}{1 - p}] = \infty,$

por lo que, de acuerdo al criterio de la integral, la serie $\sum_{n = 1}^{\infty} \frac{1}{n^{p}}$ diverge.

Finalmente, para $p = 1$ , tenemos la serie armónica, y la integral impropia es

$\int_{1}^{\infty} \frac{1}{x} d x = lim_{n \to \infty} {[\log (x)]}_{1}^{n} = lim_{n \to \infty} \log (n) = \infty,$

por lo que, de acuerdo al criterio de la integral, la serie armónica $\sum_{n = 1}^{\infty} \frac{1}{n}$ diverge, algo que ya habíamos probado.

Advertencia

El criterio de la integral permite averiguar si una serie de términos positivos converge o no, pero, cuando la serie converge, no tiene porqué cumplirse que la suma sea el valor de la integral indefinida.

Por ejemplo, $\sum_{n = 1}^{\infty} \frac{1}{n^{2}} = \frac{π^{2}}{6}$ , pero $\int_{1}^{\infty} \frac{1}{x^{2}} d x = 1$ .

Aunque la integral impropia no siempre coincide con la suma de la serie, podemos usarla para calcular la suma de la serie de manera aproximada.

Si tomamos la suma parcial $A_{n} = \sum_{i = 1}^{n} a_{i}$ como una aproximación de la suma $\sum_{n = 1}^{\infty} a_{n}$ , entonces el error de la aproximación viene dado por

$R_{n} = \sum_{n = 1}^{\infty} a_{n} - A_{n} = a_{n + 1} + a_{n + 2} + \dots,$

que se conoce también como residuo de la serie.

Proposición 9.6 Dada una serie $\sum a_{n}$ de términos positivos, si $a_{n} = f (n)$ para una función $f$ continua, positiva y decreciente en el intervalo $[n, \infty)$ , y $\sum a_{n}$ converge, entonces

$\int_{n + 1}^{\infty} f (x) d x \leq R_{n} \leq \int_{n}^{\infty} f (x) d x .$

Demostración

Prueba. Si $f$ es decreciente en el intervalo $[n, \infty)$ , entonces, tal y como se aprecia en la siguiente figura, el residuo se puede acotar superiormente por la integral impropia de $f$ en el intervalo $[n, \infty)$ , es decir,

$R_{n} = a_{n + 1} + a_{n + 2} + \dots \leq \int_{n}^{\infty} f (x) d x .$

Y del mismo modo, puede acortarse inferiormente por la integral impropia de $f$ en el intervalo $[n + 1, \infty]$ , es decir,

$R_{n} = a_{n + 1} + a_{n + 2} + \dots \geq \int_{n + 1}^{\infty} f (x) d x .$

Ejemplo 9.16 Vamos a dar una aproximación para la serie $\sum \frac{1}{n^{2}}$ usando la suma parcial de orden 5, que vale

$A_{5} = \sum_{i = 1}^{5} \frac{1}{n^{2}} = 1 + \frac{1}{4} + \frac{1}{9} + \frac{1}{16} + \frac{1}{25} = 1.4636111111 .$

Usando la proposición anterior se puede obtener una cota para el residuo de la serie, que es

$\begin{matrix} \int_{6}^{\infty} \frac{1}{x^{2}} d x \leq R_{5} \leq \int_{5}^{\infty} \frac{1}{x^{2}} d x, \Leftrightarrow \\ {[- \frac{1}{x}]}_{6}^{\infty} \leq R_{5} \leq {[- \frac{1}{x}]}_{5}^{\infty}, \Leftrightarrow \\ \frac{1}{6} \leq R_{5} \leq \frac{1}{5} . \end{matrix}$

Por tanto, la suma de la serie $\sum \frac{1}{n^{2}}$ está acotada por

$1.4636111111 + \frac{1}{6} \leq \sum_{n = 1}^{\infty} \frac{1}{n^{2}} \leq 1.4636111111 + \frac{1}{5} .$

Teorema 9.6 (Criterio del cociente) Dadas dos series de términos positivos $\sum a_{n}$ y $\sum b_{n}$ , si existe el límite

$lim_{n \to \infty} \frac{a_{n}}{b_{n}} = l$

con $l > 0$ , entonces $\sum a_{n}$ converge si y solo si $\sum b_{n}$ converge.

Demostración

Prueba. Supongamos que $lim_{n \to \infty} \frac{a_{n}}{b_{n}} = l > 0$ . Entonces, por la definición de límite, dado un $ε = l / 2$ existe un $k \in N$ tal que $\forall n \geq k$ se tiene

$| \frac{a_{n}}{b_{n}} - l | < \frac{l}{2} \Leftrightarrow \frac{l}{2} < \frac{a_{n}}{b_{n}} < \frac{3 l}{2} \Leftrightarrow \frac{l}{2} b_{n} < a_{n} < \frac{3 l}{2} b_{n} .$

Así pues, si $\sum b_{n}$ converge, también converge $\sum \frac{3 l}{2} b_{n}$ , y como $a_{n} < \frac{3 l}{2} b_{n}$ $\forall n \geq k$ , por el criterio de comparación de series, se tiene que $\sum a_{n}$ también converge.

Por otro lado, si $\sum b_{n}$ diverge, también diverge $\sum \frac{l}{2} b_{n}$ , y como $\frac{l}{2} b_{n} < a_{n}$ $\forall n \geq k$ , por el criterio de comparación de series, se tiene que $\sum a_{n}$ también diverge.

Ejemplo 9.17 Veamos que la serie $\sum \frac{1}{2^{n} - n}$ converge. Ya hemos visto que la serie $\sum \frac{1}{2^{n}}$ converge, pero no podemos usar directamente el criterio de comparación de series porque $\frac{1}{2^{n} - n} > \frac{1}{2^{n}}$ $\forall n \in N$ . Sin embargo, usando el criterio del cociente se tiene

$lim_{n \to \infty} \frac{\frac{1}{2^{n} - n}}{\frac{1}{2^{n}}} = lim_{n \to \infty} \frac{2^{n}}{2^{n} - n} = lim_{n \to \infty} \frac{1}{1 - \frac{n}{2^{n}}} = 1 > 0,$

por lo que, como $\sum \frac{1}{2^{n}}$ converge, $\sum \frac{1}{2^{n} - n}$ también.

Advertencia

Para poder aplicar el criterio del cociente, es necesario que $lim_{n \to \infty} \frac{a_{n}}{b_{n}}$ exista y sea estrictamente positivo, ya que si $lim_{n \to \infty} \frac{a_{n}}{b_{n}} = 0$ , es posible que una sucesión converja y la otra no.

Ejemplo 9.18 Si tomamos la serie geométrica $\sum \frac{1}{2^{n}}$ y la serie armónica $\frac{1}{n}$ , se cumple que

$lim_{n \to \infty} \frac{\frac{1}{2^{n}}}{\frac{1}{n}} = lim_{n \to \infty} \frac{n}{2^{n}} = 0.$

Sin embargo, ya hemos visto que una converge y la otra no.

9.7 Convergencia de series alternadas

Los resultados de la sección anterior solo se aplican a series de términos positivos, pero en ocasiones, la sucesión a partir de la que se construye la serie es de términos alternados, es decir, el signo de los sucesivos términos va cambiando. Un ejemplo es la serie armónica alternada que ya se ha tratado. A continuación se presentan algunos resultados para estudiar este tipo de series.

Teorema 9.7 (Criterio de la serie alternada (Leibniz)) Dada una serie alternada $\sum (- 1)^{n - 1} a_{n}$ , con $a_{n} > 0$ , si $(a_{n})_{n = 1}^{\infty}$ es monótona decreciente y $lim_{n \to \infty} a_{n} = 0$ , entonces la serie converge.

Demostración

Prueba. Supongamos que $(a_{n})_{n = 1}^{\infty}$ es monótona decreciente, es decir, $a_{n + 1} \leq a_{n}$ $\forall n \in N$ , y además $lim_{n \to \infty} a_{n} = 0$ . Entonces, si construimos la sucesión de las sumas parciales de orden par, se tiene

$\begin{aligned} A_{2} & = a_{1} - a_{2} \geq 0 \\ A_{4} & = a_{1} - a_{2} + a_{3} - a_{4} = A_{2} + (a_{3} - a_{4}) \geq A_{2} \\ A_{6} & = a_{1} - a_{2} + a_{3} - a_{4} + a_{5} - a_{6} = A_{4} + (a_{5} - a_{6}) \geq A_{4} \\ ⋮ \\ A_{2 n} & = a_{1} - a_{2} + a_{3} - a_{4} + \dots + a_{2 n - 1} - a_{2 n} = A_{2 n - 2} + a_{2 n - 1} - a_{2 n} \geq A_{2 n - 2}, \end{aligned}$

de manera que se obtiene una sucesión monótona creciente.

Por otro lado, si agrupamos los términos de la sucesión de la siguiente manera,

$A_{2 n} = a_{1} - (a_{2} - a_{3}) - (a_{4} - a_{5}) - \dots - (a_{2 n - 2} - a_{2 n - 1}) - a_{2 n},$

es fácil ver que $A_{2 n} \leq a_{1}$ , ya que todos los términos entre paréntesis son positivos, y también $a_{2 n}$ . Así pues, por el Teorema 9.3 la serie converge y $lim_{n \to \infty} A_{2 n} = l$ .

Si calculamos ahora el límite de la sucesión de las sumas parciales de orden impar, se tiene,

$lim_{n \to \infty} A_{2 n + 1} = lim_{n \to \infty} A_{2 n} + a_{2 n + 1} = lim_{n \to \infty} A_{2 n} + lim_{n \to \infty} a_{2 n + 1} = l + 0 = l .$

Por consiguiente, como las subsucesiones de los términos pares e impares convergen al mismo número, la sucesión de las sumas parciales de orden $n$ también converge a ese número, es decir $\sum_{n = 1}^{\infty} (- 1)^{n - 1} a_{n} = lim_{n \to \infty} A_{n} = l$ .

Ejemplo 9.19 La serie armónica alternada $\sum \frac{(- 1)^{n - 1}}{n}$ cumple las condiciones del teorema anterior, ya que, $\frac{1}{n + 1} \leq \frac{1}{n}$ $\forall n \in N$ , y además $lim_{n \to \infty} \frac{1}{n} = 0$ , por lo que converge.

Veamos ahora que la serie $\sum (- 1)^{n - 1} \frac{n}{n^{2} + 1}$ también cumple las condiciones del teorema. La primera condición se cumple ya que,

$\begin{matrix} \frac{n + 1}{(n + 1)^{2} + 1} \leq \frac{n}{n^{2} + 1} \Leftrightarrow \frac{(n + 1)^{2} + 1}{n + 1} \geq \frac{n^{2} + 1}{n} \\ \Leftrightarrow (n + 1) + \frac{1}{n + 1} \geq n + \frac{1}{n}, \end{matrix}$

lo cual es cierto $\forall n \in N$ , por que, en particular, $n + 1 \geq n + \frac{1}{n}$ .

Por otro lado,

$lim_{n \to \infty} \frac{n}{n^{2} + 1} = lim_{n \to \infty} \frac{1}{n + \frac{1}{n}} = 0,$ de manera que la segunda condición también se cumple, y por tanto, las serie converge.

9.8 Convergencia absoluta

Hemos visto en el caso de series de términos positivos que una serie converge cuando sus términos se hacen pequeños lo suficientemente rápido, o en el caso de series alternadas, cuando, a pesar de que los términos no decrezcan los suficiente mente rápido, los términos positivos se van cancelando con los negativos para obtener una suma finita. En general, si los términos de una serie decrecen lo suficiente mente rápido sin tener en cuenta su signo, es decir, en valor absoluto, se puede asegurar que la serie converge, independientemente de qué términos de la serie son positivos o negativos.

Definición 9.6 (Serie absolutamente convergente) Una serie $\sum a_{n}$ es absolutamente convergente si la serie de los valores absolutos de sus términos $\sum | a_{n} |$ converge.

Si la serie es de términos positivos, entonces $| a_{n} | = a_{n}$ $\forall n \in N$ y, por tanto, la convergencia y la convergencia absoluta son equivalentes. Pero si la serie es alternante o tiene tanto términos positivos como negativos, puede ocurrir que la serie sea convergente pero no absolutamente convergente.

Ejemplo 9.20 La serie $\sum \frac{(- 1)^{n}}{n^{2}}$ es absolutamente convergente ya que $\sum | \frac{(- 1)^{n}}{n^{2}} | = \sum \frac{1}{n^{2}}$ , que es convergente al ser una serie $p$ con $p = 2$ .

Que una serie sea absolutamente convergente quiere decir que sus términos se hacen pequeños (en valor absoluto) lo suficientemente rápido para garantizar que la suma converge sin tener en cuenta su signo.

Definición 9.7 (Serie condicionalmente convergente) Una serie $\sum a_{n}$ es condicionalmente convergente si es convergente pero no absolutamente convergente.

Ejemplo 9.21 Ya hemos visto que la serie armónica alternada $\sum \frac{(- 1)^{n}}{n}$ es convergente, pero no es absolutamente convergente, ya que $\sum | \frac{(- 1)^{n}}{n} | = \sum \frac{1}{n}$ , que se trata de la serie armónica, y por tanto, no converge. Por tanto la serie armónica alternada es condicionalmente convergente.

Teorema 9.8 Si una serie es absolutamente convergente, entonces es convergente.

Demostración

Prueba. Partimos del hecho de que $a_{n} = | a_{n} |$ o $a_{n} = - | a_{n} |$ , y por tanto, $a_{n} + | a_{n} | = 2 | a_{n} |$ o $a_{n} + | a_{n} | = 0$ , y se tiene que $0 \leq a_{n} + | a_{n} | \leq 2 | a_{n} |$ $\forall n \in N$ . Como $\sum | a_{n} |$ converge, $\sum 2 | a_{n} |$ también converge, y por el criterio de comparación de series se tiene que $\sum a_{n} + | a_{n} |$ converge. De aquí se deduce fácilmente que

$\sum a_{n} = \sum a_{n} + | a_{n} | - | a_{n} | = \sum (a_{n} + | a_{n} |) - | a_{n} | = \sum (a_{n} + | a_{n} |) - \sum | a_{n} |,$ que converge por ser la resta de dos series convergentes.

Teorema 9.9 (Criterio de la razón (D’Alembert)) Dada una serie $\sum a_{n}$ , se cumple:

Si $lim_{n \to \infty} | \frac{a_{n + 1}}{a_{n}} | = l < 1$ , entonces la serie es absolutamente convergente.
Si $lim_{n \to \infty} | \frac{a_{n + 1}}{a_{n}} | = l > 1$ o $lim_{n \to \infty} | \frac{a_{n + 1}}{a_{n}} | = \infty$ , entonces la serie es divergente.

Demostración

Prueba. Veamos la prueba de cada caso.

Supongamos que $lim_{n \to \infty} | \frac{a_{n + 1}}{a_{n}} | = l < 1$ y sea $r$ tal que $l < r < 1$ . Por la definición de límite se tiene que existe $k \in N$ tal que $| \frac{a_{n + 1}}{a_{n}} | < r$ $\forall n \geq k$ , es decir, $| a_{n + 1} | < | a_{n} | r$ $\forall n \geq k$ . De aquí se deduce que

$\begin{aligned} | a_{k + 1} | & < | a_{k} | r \\ | a_{k + 2} | & < | a_{k + 1} | r < | a_{k} | r^{2} \\ | a_{k + 3} 1 & < | a_{k + 2} | r < | a_{k + 1} | r^{2} < | a_{k} | r^{3} \\ ⋮ \\ | a_{k + n} | & < | a_{k} | r^{n} . \end{aligned}$

Así pues, como $\sum | a_{k} | r^{n}$ es una serie geométrica con $r < 1$ , converge, y aplicando el criterio de comparación de series de términos positivos, $\sum_{n \geq k} | a_{n} |$ también converge, y como un número finito de sumandos no influye en la convergencia de la serie, se concluye que $\sum a_{n}$ converge.
Supongamos ahora $lim_{n \to \infty} | \frac{a_{n + 1}}{a_{n}} | = l > 1$ . Entonces existe $k \in N$ tal que $| \frac{a_{n + 1}}{a_{n}} | > 1$ $\forall n \geq k$ , es decir, $| a_{n + 1} | > | a_{n} |$ $\forall n \geq k$ , de donde se deduce que $lim_{n \to \infty} a_{n} \neq 0$ , y según el criterio de la divergencia, $\sum a_{n}$ diverge.

El mismo razonamiento se puede aplicar si $lim_{n \to \infty} | \frac{a_{n + 1}}{a_{n}} | = \infty$ .

Ejemplo 9.22 Veamos que la serie $\sum (- 1)^{n} \frac{n^{2}}{2^{n}}$ es absolutamente convergente aplicando el criterio de la razón.

$\begin{aligned} lim_{n \to \infty} | \frac{a_{n + 1}}{a_{n}} | & = lim_{n \to \infty} | \frac{\frac{(- 1)^{n + 1} (n + 1)^{2}}{2^{n + 1}}}{\frac{(- 1)^{n} n^{2}}{2^{n}}} | = lim_{n \to \infty} \frac{(n + 1)^{2}}{2^{n + 1}} \frac{2^{n}}{n^{2}} \\ = lim_{n \to \infty} \frac{1}{2} {(\frac{n + 1}{n})}^{2} = \frac{1}{2} lim_{n \to \infty} {(1 + \frac{1}{n})}^{2} = \frac{1}{2} < 1, \end{aligned}$ y por tanto, la serie es absolutamente convergente.

Advertencia

$lim_{n \to \infty} | \frac{a_{n + 1}}{a_{n}} | = 1$ , el criterio de la razón no garantiza nada, es decir, la serie podría ser convergente o divergente.

Teorema 9.10 (Criterio de la raíz (Cauchy)) Dada una serie $\sum a_{n}$ , se cumple:

Si $lim_{n \to \infty} \sqrt[n]{| a_{n} |} = l < 1$ , entonces la serie es absolutamente convergente.
Si $lim_{n \to \infty} \sqrt[n]{| a_{n} |} = l > 1$ , o $lim_{n \to \infty} \sqrt[n]{| a_{n} |} = \infty$ , entonces la serie es divergente.

Demostración

Prueba. La demostración es similar a la del criterio de la razón.

Supongamos que $lim_{n \to \infty} \sqrt[n]{| a_{n} |} = l < 1$ y sea $r$ tal que $l < r < 1$ . Por la definición de límite se tiene que existe $k \in N$ tal que $\sqrt[n]{| a_{n} |} < r$ $\forall n \geq k$ , es decir, $| a_{n} | < r^{n}$ $\forall n \geq k$ . Como $\sum r^{n}$ es una serie geométrica con $r < 1$ , converge, y aplicando el criterio de comparación de series de términos positivos, $\sum_{n \geq k} | a_{n} |$ también converge, y como un número finito de sumandos no influye en la convergencia de la serie, se concluye que $\sum a_{n}$ converge.
Supongamos que $lim_{n \to \infty} \sqrt[n]{| a_{n} |} = l > 1$ y sea $r$ tal que $1 < r < l$ . Por la definición de límite se tiene que existe $k \in N$ tal que $\sqrt[n]{| a_{n} |} > r$ $\forall n \geq k$ , es decir, $| a_{n} | > r^{n}$ $\forall n \geq k$ . Como $\sum r^{n}$ es una serie geométrica con $r > 1$ , diverge, y aplicando el criterio de comparación de series de términos positivos, $\sum_{n \geq k} | a_{n} |$ también diverge, y por tanto $\sum a_{n}$ diverge.

Ejemplo 9.23 Veamos que la serie $\sum {(\frac{3 n}{2 n + 1})}^{n}$ diverge aplicando el criterio de la raíz. Para ello basta ver que

$lim_{n \to \infty} \sqrt[n]{{(\frac{3 n}{2 n + 1})}^{n}} = lim_{n \to \infty} \frac{3 n}{2 n + 1} = lim_{n \to \infty} \frac{3}{2 + \frac{1}{n}} = \frac{3}{2} > 1.$

9.9 Series de potencias

Del mismo modo que hemos estudiado las series que se obtienen a partir de una sucesión numérica, en Análisis resulta también interesante estudiar las series que se obtienen a partir de una sucesión de funciones.

Definición 9.8 (Serie funcional) Dada una sucesión de funciones $(f_{n})_{n = 1}^{\infty}$ , se llama serie de funciones o serie funcional de término general $f_{n}$ a la sucesión $(F_{n})_{n = 1}^{\infty}$ , cuyos términos se obtienen sumando consecutivamente las $n$ primeras funciones de $(f_{n})_{n = 1}^{\infty}$ , es decir,

$(F_{n})_{n = 1}^{\infty} = {(\sum_{i = 1}^{n} f_{i})}_{n = 1}^{\infty} .$

El número $F_{n} = \sum_{i = 1}^{n} f_{i}$ se llama suma funcional parcial de orden $n$ de la serie funcional, y habitualmente utilizaremos la notación $\sum f_{n}$ para referirnos a la serie funcional de término general $f_{n}$ .

Las primeras sumas funcionales parciales de la serie funcional $\sum \frac{x}{n^{2}}$ son

$\begin{aligned} F_{1} & = x \\ F_{2} & = x + \frac{x}{4} \\ F_{3} & = x + \frac{x}{4} + \frac{x}{9} \\ ⋮ \\ F_{n} & = \sum_{i = 1}^{n} \frac{x}{i^{2}} \end{aligned}$

Importante

Debe quedar claro que una serie funcional es una sucesión funcional, y por tanto, todos los resultados vistos para sucesiones funcionales son válidos para las series funcionales.

Una serie funcional puede ser convergente para algunos valores de $x$ y divergente para otros.

Ejemplo 9.24 La serie funcional $\sum x^{n}$ es una serie geométrica de razón $x$ , de modo que, será convergente cuando $| x | < 1$ y divergente en caso contrario.

Definición 9.9 (Dominio de convergencia puntual de una serie funcional) Dada una serie funcional $\sum f_{n}$ , se llama dominio de convergencia puntual de las serie al conjunto $C = {x \in R : \sum f_{n} (x) converge}$

Definición 9.10 (Función suma de una serie funcional) Dada una serie funcional $\sum f_{n}$ con dominio de convergencia puntual $C$ , se llama función suma de la serie, a la función $F : C \to R$ definida por $F (x) = \sum_{n = 1}^{\infty} f_{n} (x), \forall x \in C .$

Ejemplo 9.25 El dominio de convergencia puntual de la serie funcional $\sum \frac{x}{n^{2}}$ es $R$ , ya que $\forall x \in R$ , $\sum \frac{x}{n^{2}} = x \sum \frac{1}{n^{2}}$ , que converge al ser $\sum \frac{1}{n^{2}}$ convergente. Además, como vimos que $\sum_{n = 1}^{\infty} \frac{1}{n^{2}} = \frac{π^{2}}{6}$ , se tiene que su su función suma es $\sum_{n = 1}^{\infty} \frac{x}{n^{2}} = x \sum_{n = 1}^{\infty} \frac{1}{n^{2}} = \frac{π^{2}}{6} x$ .

De particular interés son las series que se obtienen a partir de sucesiones de la forma $(c_{n} x^{n})_{n = 1}^{\infty}$ que dan lugar a polinomios. Como ya vimos con los polinomios de Taylor, estas series nos permitirán estudiar funciones complicadas mediante simples polinomios.

Definición 9.11 (Serie de potencias) Dado un número real $a \in R$ y una sucesión de números reales $(c_{n})_{n = 0}^{\infty}$ , se llama serie de potencias centrada en $a$ a la serie $\sum c_{n} (x - a)^{n}$ .

La sucesión $(c_{n})_{n = 0}^{\infty}$ se llama sucesión de coeficientes de la serie, y al término $c_{0}$ se le llama término independiente.

Ejemplo 9.26 Tomando $a = 0$ y la sucesión de coeficientes ${(\frac{1}{n})}_{n = 1}^{\infty}$ , se tiene la serie de potencias $\sum \frac{x^{n}}{n}$ , cuyas primeras sumas funcionales parciales son

$\begin{aligned} F_{1} & = x \\ F_{2} & = x + \frac{x^{2}}{2} \\ F_{3} & = x + \frac{x^{2}}{2} + \frac{x^{3}}{3} \\ ⋮ \\ F_{n} & = \sum_{i = 1}^{n} \frac{x^{i}}{i} \end{aligned}$

Para cualquier serie de potencias $\sum c_{n} (x - a)^{n}$ , está claro que $a$ pertenece al dominio de convergencia puntual de la serie, pues para $x = a$ se tiene $\sum_{n = 1}^{\infty} c_{n} (a - a)^{n} = c_{0}$ . Veremos a continuación un par resultados que nos ayudarán a ver para qué otros valores de $x$ la serie de potencias converge.

Proposición 9.7 Dada una serie de potencias $\sum c_{n} x^{n}$ centrada en el $0$ ,

Si la serie converge para $x = b \neq 0$ , entonces converge para cualquier $x$ tal que $| x | < | b |$ .
Si la serie diverge para $x = d \neq 0$ , entonces diverge para cualquier $x$ con $| x | > | d |$ .

Demostración

Prueba. Veamos la prueba de cada parte.

Supongamos $\sum c_{n} b^{n}$ converge. Entonces, por el criterio de divergencia se tiene que $lim_{n \to \infty} c_{n} b^{n} = 0$ , y, por tanto, tomando $ε = 1$ , existe un $k \in N$ tal que $| c_{n} b^{n} | < 1$ $\forall n \geq k$ . De esta manera se cumple

$| c_{n} x^{n} | = | \frac{c_{n} b^{n} x^{n}}{b^{n}} | = | c_{n} b_{n} | {| \frac{x}{b} |}^{n} < {| \frac{x}{b} |}^{n},$

Como $\sum {(\frac{x}{b})}^{n}$ es una serie geométrica, converge para $| \frac{x}{b} | < 1$ , es decir, $| x | < | b |$ , y en tal caso, por el criterio de comparación de series, $\sum | c_{n} x^{n} |$ converge, de modo que $\sum c_{n} x^{n}$ es absolutamente convergente.
Supongamos ahora que $\sum c_{n} d^{n}$ diverge. Entonces para cualquier $| x | > | d |$ la serie $\sum c_{n} x^{n}$ no puede converger porque por el resultado anterior, si $\sum c_{n} x^{n}$ converge, también debería converger $\sum c_{n} d^{n}$ al ser $| d | < | x |$ .

Ejemplo 9.27 Ya se vio que la serie armónica $\sum \frac{1}{n}$ es divergente, y por tanto, la serie de potencias $\sum \frac{x^{n}}{n}$ es divergente para $x = 1$ , lo que significa, según la proposición anterior, que también diverge para $| x | > 1$ . Por otro lado, para $x = 1 / 2$ , se tiene la serie

$\sum \frac{{(\frac{1}{2})}^{n}}{n} = \sum \frac{1}{n 2^{n}},$

que, por el criterio de comparación de series, converge al ser $\frac{1}{n 2^{n}} \leq \frac{1}{2^{n}}$ $\forall n \in N$ y ser $\sum \frac{1}{2^{n}}$ convergente. Eso significa que la serie de potencias también converge para $| x | \leq \frac{1}{2}$ .

Más adelante se mostrará que el dominio de convergencia puntual de esta serie de potencias es el intervalo $[- 1, 1)$ .

Corolario 9.3 Dada una serie de potencias $\sum c_{n} (x - a)^{n}$ centrada en el $a$ ,

Si la serie converge para $x = b \neq a$ , entonces converge para cualquier $x$ tal que $| x - a | < | b - a |$ .
Si la serie diverge para $x = d \neq a$ , entonces diverge para cualquier $x$ con $| x - a | > | d - a |$ .

Demostración

Prueba. La demostración es sencilla a partir de la proposición anterior haciendo el cambio de variable $y = x - a$ , y se deja como ejercicio.

El siguiente teorema resulta de gran utilidad a la hora de determinar el dominio de convergencia puntual de una serie de potencias.

Teorema 9.11 (Radio de convergencia) Dada una serie de potencias $\sum c_{n} (x - a)^{n}$ , se cumple que, o bien el dominio de convergencia puntual es $R$ , o bien existe un número $R \geq 0$ , llamado radio de convergencia tal que la serie converge si $| x - a | < R$ y diverge si $| x - a | > R$ .

Demostración

Prueba. Sea el conjunto $A = {x - a : \sum c_{n} (x - a)^{n} converge}$ . Entonces $A \neq \emptyset$ ya que $\sum c_{n} (x - a)^{n}$ converge, al menos, para $x = a$ , y por tanto $0 \in A$ . Supongamos además que $A \neq R$ . Entonces existe un número $d \neq a$ tal que la serie $\sum c_{n} (d - a)^{n}$ diverge, y por el corolario anterior, también diverge para $| x - a | > | d - a |$ , de manera que $| x - a | \leq | d - a |$ $\forall (x - a) \in A$ , y por el axioma de completitud se tiene que existe el supremo de $A$ .

Sea $R = sup (A)$ . Si $| x - a | > R$ , entonces $(x - a) \notin A$ , por lo que $\sum c_{n} (x - a)^{n}$ diverge. Y si $| x - a | < R$ , entonces $| x - a |$ no es una cota superior de $A$ , de manera que existe $(b - a) \in A$ tal que $b - a > | x - a |$ . Como $b - a \in A$ , $\sum c_{n} (b - a)^{n}$ converge, y por el corolario anterior, $\sum c_{n} (x - a)^{n}$ también converge.

Advertencia

El teorema anterior no afirma nada sobre los puntos $| x - a | = R$ . De hecho, en estos los puntos la serie puede converger o divergir. Y tampoco proporciona un procedimiento para calcular el radio de convergencia de una serie de potencias. Afortunadamente, los siguientes teoremas permitirán su cálculo la mayoría de las veces.

Teorema 9.12 Dada una serie de potencias $\sum c_{n} (x - a)^{n}$ , si la sucesión $(\sqrt[n]{| c_{n} |})_{n = 1}^{\infty}$ converge, entonces el radio de convergencia de la serie de potencias es

$R = \frac{1}{lim_{n \to \infty} \sqrt[n]{| c_{n} |}} .$

Demostración

Prueba. Se deja como ejercicio usando el criterio de la raíz.

Ejemplo 9.28 Veamos cuál es el dominio de convergencia puntual de la serie de potencias $\sum \frac{(x - 2)^{n}}{n}$ . Utilizando el teorema anterior, el radio de convergencia de la serie es

$R = \frac{1}{lim_{n \to \infty} \sqrt[n]{| \frac{1}{n} |}} = \frac{1}{1} = 1$

Por tanto, la serie converge para todo $| x - 2 | < 1$ , es decir, $1 < x < 3$ . En $x = 1$ y $x = 3$ el teorema del radio de convergencia no dice nada, pero podemos estudiar la convergencia de estos dos casos particulares. En $x = 1$ tenemos la serie $\sum \frac{(- 1)^{n}}{n}$ que es la serie armónica alternada, y por tanto, converge. Y en $x = 3$ tenemos la serie $\sum \frac{1}{n}$ que es la serie armónica, y por tanto diverge.

Así pues, el dominio de convergencia puntal de la serie de potencias es el intervalo $[1, 3)$ .

Teorema 9.13 Dada una serie de potencias $\sum c_{n} (x - a)^{n}$ , si $c_{n} \neq 0$ $\forall n \in N$ y la sucesión ${(\frac{c_{n}}{c_{n + 1}})}_{n = 1}^{\infty}$ converge, entonces el radio de convergencia de la serie de potencias es

$R = lim_{n \to \infty} | \frac{c_{n}}{c_{n + 1}} | .$

Demostración

Prueba. Se deja como ejercicio usando el criterio de la razón.

Ejemplo 9.29 Veamos cuál es el dominio de convergencia puntual de la serie de potencias $\sum \frac{x^{n}}{n}$ . Utilizando el teorema anterior, el radio de convergencia de la serie es

$R = lim_{n \to \infty} \frac{1 / n}{1 / n + 1} = lim_{n \to \infty} \frac{n + 1}{n} = 1.$

Por tanto, la serie converge para $| x | < 1$ . En $x = 1$ la serie que resulta es la serie armónica, que es divergente, y en $x = - 1$ la serie que resulta es la serie armónica alternada que converge.

Así pues, el domino de convergencia puntual de la serie de potencias es el intervalo $[- 1, 1)$ .

Las funciones que pueden representarse mediante una serie de potencias en un intervalo de su dominio tienen propiedades muy interesantes, como que son infinitamente derivables en ese intervalo.

Definición 9.12 (Función analítica) Dada una función $f : R \to R$ , se dice que $f$ es analítica en un intervalo $I$ , si para cualquier $a \in I$ $f$ se puede expresar como una serie de potencias centrada en $a$ , es decir,

$f (x) = \sum_{n = 1}^{\infty} c_{n} (x - a)^{n}$

para cualquier $x$ en un entorno de $a$ .

Ejemplo 9.30 Cualquier polinomio de grado $n$ es una función analítica en todo $R$ ya que puede representarse trivialmente como una serie de potencias tomando coeficientes nulos para los términos de grado mayor que $n$ .

Otras funciones elementales como la función exponencial, la función logarítmica y las trigonométricas son también analíticas en cualquier intervalo abierto de su dominio.

9.10 Series de Taylor

En la sección Sección 7.10 se vio como aproximar el valor de una función en un punto mediante un polinomio de grado $n$ . En esta sección veremos como explotar la misma idea para expresar funciones mediante series de potencias. Esta técnica resulta útil para estudiar funciones complicadas usando su expresión como serie de potencias.

Definición 9.13 (Serie de Taylor) Dada una función $f (x)$ con derivadas de orden $n$ en $a$ $\forall n \in N$ , se define la serie de Taylor de $f$ centrada en $a$ , como

$\sum \frac{f^{(n)} (a)}{n!} (x - a)^{n} .$

Ejemplo 9.31 Veamos cuál es la serie de Taylor de la función $f (x) = \ln (x)$ en $a = 1$ . Para ello calculamos las primeras derivadas de $f$ en $a = 1$ .

$\begin{array}{lll} f (x) = \ln x & f (1) = \ln 1 = 0, \\ f^{'} (x) = 1 / x & f^{'} (1) = 1 / 1 = 1, \\ f^{″} (x) = - 1 / x^{2} & f^{″} (1) = - 1 / 1^{2} = - 1, \\ f^{‴} (x) = 2 / x^{3} & f^{‴} (1) = 2 / 1^{3} = 2, \\ f^{⁗} (x) = - 3! / x^{4} & f^{⁗} (1) = - 3! \\ ⋮ & ⋮ \\ f^{(n)} (x) = (- 1)^{n - 1} (n - 1)! / x^{n} & f^{(n)} (x) = (- 1)^{n - 1} (n - 1)! \end{array}$

Sustituyendo en la fórmula de la serie de Taylor se tiene

$\sum \frac{f^{(n)} (1)}{n!} (x - 1)^{n} = \sum \frac{(- 1)^{n - 1} (n - 1)!}{n!} (x - 1)^{n} = \sum \frac{(- 1)^{n - 1}}{n} (x - 1)^{n} .$

Su suma parcial de orden $n$ es

$\begin{aligned} A_{n} (x) & = \sum_{i = 1}^{n} \frac{(- 1)^{i - 1}}{i} (x - 1)^{i} \\ = (x - 1) - \frac{1}{2} (x - 1)^{2} + \frac{1}{3} (x - 1)^{3} + \dots + \frac{(- 1)^{n - 1}}{n} (x - 1)^{n}, \end{aligned}$

que resulta ser el polinomio de Taylor de orden $n$ de $f$ en $a = 1$ .

Un caso particular bastante habitual es la serie de Taylor en $a = 0$ .

Definición 9.14 (Serie de Maclaurin) Dada una función $f (x)$ con derivadas de orden $n$ en $0$ $\forall n \in N$ , se define la serie de Maclaurin de $f$ , como

$\sum \frac{f^{(n)} (0)}{n!} x^{n} .$

Ejemplo 9.32 Veamos cuál es la serie de Maclaurin de la función $f (x) = \frac{1}{1 - x}$ . Para ello calculamos las primeras derivadas de $f$ en $0$ .

$\begin{array}{lll} f (x) = \frac{1}{1 - x} & f (0) = 1, \\ f^{'} (x) = \frac{1}{(1 - x)^{2}} & f^{'} (0) = 1, \\ f^{″} (x) = \frac{2}{(1 - x)^{3}} & f^{″} (0) = 2, \\ f^{‴} (x) = \frac{3!}{(1 - x)^{4}} & f^{‴} (0) = 3!, \\ ⋮ & ⋮ \\ f^{(n)} (x) = \frac{n!}{(1 - x)^{(n + 1)}} & f^{(n)} (0) = n! \end{array}$

Sustituyendo en la fórmula de la serie de Maclaurin se tiene

$\sum \frac{f^{(n)} (0)}{n!} x^{n} = \sum \frac{n!}{n!} x^{n} = \sum x^{n}$

que es una serie geométrica de razón $x$ , y por tanto, converge para $| x | < 1$ , con suma $\sum_{n = 1}^{\infty} x^{n} = \frac{1}{1 - x}$ , es decir, $f (x)$ coincide con la suma de sus serie de Maclaurin para $| x | < 1$ .

Teorema 9.14 Si $f$ es una función analítica en un intervalo $I$ , entonces para cualquier $a \in I$ se cumple que

$f (x) = \sum_{n = 1}^{\infty} \frac{f^{n} (a)}{n!} (x - a)^{n}$

$\forall x \in C$ .

Demostración

Prueba. Supongamos que $f$ es analítica en el intervalo $I$ . Entonces, para cualquier $a \in I$ , $f$ puede expresarse mediante una serie de potencias centrada en $a$ ,

$f (x) = c_{0} + c_{1} (x - a) + c_{2} (x - a)^{2} + c_{3} (x - a)^{3} + \dots$

$\forall x \in C$ . En particular, para $x = a$ se tiene

$f (a) = c_{0} + c_{1} (a - a) + c_{2} (a - a)^{2} + c_{3} (a - a)^{3} + \dots = c_{0} .$

Como las series de potencias se pueden derivar término a término (como si fuesen polinomios) en el interior del dominio de convergencia, es decir, son infinitamente derivables en $| x - a | < R$ , se tiene que la primera derivada de $f$ vale

$f^{'} (x) = c_{1} + 2 c_{2} (x - a) + 3 c_{3} (x - a)^{2} + 4 c_{4} (x - a)^{4} \dots$

y en $x = a$ se tiene

$f^{'} (a) = c_{1} + 2 c_{2} (a - a) + 3 c_{3} (a - a)^{2} + 4 c_{4} (a - a)^{4} \dots = c_{1}$

La segunda derivada de $f$ vale

$f^{″} (x) = 2 c_{2} + 3 \cdot 2 c_{3} (x - a) + 4 \cdot 3 c_{4} (x - a)^{2} \dots$

y en $x = a$ se tiene

$f^{″} (a) = 2 c_{2} + 3 \cdot 2 c_{3} (a - a) + 4 \cdot 3 c_{4} (a - a)^{2} \dots = 2 c_{2} \to c_{2} = \frac{f^{″} (a)}{2!}$

La tercera derivada de $f$ vale

$f^{‴} (x) = 3! c_{3} + 4 \cdot 3 \cdot 2 c_{4} (x - a) + 5 \cdot 4 \cdot 3 c_{5} (x - a)^{2} \dots$

y en $x = a$ se tiene

$f^{‴} (a) = 3! c_{3} + 4 \cdot 3 \cdot 2 c_{4} (a - a) + 5 \cdot 4 \cdot 3 c_{5} (a - a)^{2} \dots = 3! c_{3} \to \frac{f^{‴} (a)}{3!}$

Continuando con este proceso, se deduce que

$c_{n} = \frac{f^{(n)} (a)}{n!},$

por lo que la suma que se obtiene es

$f (x) = \sum_{n = 1}^{\infty} \frac{f^{n} (a)}{n!} (x - a)^{n},$

que es la serie de Taylor de $f$ centrada en $a$ .

Advertencia

El teorema anterior garantiza que si una función es analítica en un intervalo $I$ , entonces puede representarse mediante la serie es la serie de Taylor en $a$ , $\forall a \in I$ , pero no todas las funciones son analíticas.

Ejemplo 9.33 La función

$f (x) = {\begin{cases} e^{- 1 / x^{2}} & si x \neq 0 \\ 0 & x = 0 \end{cases}$

es infinitamente derivable en $x = 0$ y $f^{(n)} (0) = 0$ $\forall n \in N$ , de manera que su serie de Maclaurin es $\sum 0$ , que obviamente, converge para cualquier número $x \in R$ , pero su suma, que es nula, no coincide con $f$ salvo en $x = 0$ .

Cabe preguntarse, ¿cuándo $f (x) = \sum_{n = 1}^{\infty} \frac{f^{n} (a)}{n!} (x - a)^{n}$ ?

Evidentemente, esta igualdad no se cumple para los valores de $x$ fuera del dominio de $f$ , y tampoco para los valores fuera del dominio de convergencia puntual de la serie. Pero además se tiene que cumplir la siguiente condición.

Teorema 9.15 Si $f (x) = p_{f, a}^{n} (x) + r_{f, a}^{n} (x)$ , donde $p_{f, a}^{n} (x)$ es el polinomio de Taylor de grado $n$ de $f$ en $a$ y $r_{f, a}^{n} (x)$ es su resto, y

$lim_{n \to \infty} r_{f, a}^{n} (x) = 0$

para $| x - a | < R$ , entonces $f (x)$ es igual a la suma de su serie de Taylor centrada en $a$ en el intervalo $| x - a | < R$ .

Demostración

Prueba. Sea $f (x) = p_{f, a}^{n} (x) + r_{f, a}^{n} (x)$ y supongamos que $lim_{n \to \infty} r_{f, a}^{n} (x) = 0$ . Entonces $p_{f, a}^{n} (x) = f (x) - r_{f, a}^{n} (x)$ , y tomando límites se tiene

$lim_{n \to \infty} p_{f, a}^{n} (x) = lim_{n \to \infty} f (x) - r_{f, a}^{n} (x) = f (x) - lim_{n \to \infty} r_{f, a}^{n} (x) = f (x) .$

Ejemplo 9.34 Veamos que $sen (x) = \sum_{n = 0}^{\infty} (- 1)^{n} \frac{x^{2 n + 1}}{(2 n + 1)!}$ $\forall x \in R$ .

El polinomio de Maclaurin de grado $2 n + 1$ para la función $sen (x)$ es

$p_{f, 0}^{2 n + 1} (x) = \sum_{i = 0}^{n} (- 1)^{i} \frac{x^{2 i + 1}}{(2 i + 1)!}$

y su resto en la forma de Lagrange es

$r_{f, a}^{2 n + 1} (x) = (- 1)^{n + 1} \frac{x^{2 n + 3}}{(2 n + 3)!} \cos (c),$

donde $c \in (0, x)$ si $x > 0$ y $c \in (x, 0)$ si $x < 0$ .

Como $| \cos (c) | \leq 1$ $\forall c \in R$ , se tiene que

$- (- 1)^{n + 1} \frac{x^{2 n + 3}}{(2 n + 3)!} \leq (- 1)^{n + 1} \frac{x^{2 n + 3}}{(2 n + 3)!} \cos (c) \leq (- 1)^{n + 1} \frac{x^{2 n + 3}}{(2 n + 3)!}$

y como

$lim_{n \to \infty} - (- 1)^{n + 1} \frac{x^{2 n + 3}}{(2 n + 3)!} = lim_{n \to \infty} (- 1)^{n + 1} \frac{x^{2 n + 3}}{(2 n + 3)!} = 0,$

por el teorema de compresión de límites, se tiene que

$lim_{n \to \infty} r_{f, a}^{2 n + 1} (x) = lim_{n \to \infty} (- 1)^{n + 1} \frac{x^{2 n + 3}}{(2 n + 3)!} \cos (c) = 0.$

9.10.1 Series de Maclaurin de funciones elementales

La siguiente tabla recoge las series de Maclaurin de algunas funciones elementales habituales.

$f (x)$	$\sum_{n = 1}^{\infty} \frac{f^{(n)} (0)}{n!} x^{n}$	Dominio convergencia
$\frac{1}{1 - x}$	$1 + x + x^{2} + x^{3} + \dots = \sum_{n = 0}^{\infty} x^{n}$	$(- 1, 1)$
$e^{x}$	$1 + x + \frac{x^{2}}{2!} + \frac{x^{3}}{3!} + \dots = \sum_{n = 0}^{\infty} \frac{x^{n}}{n!}$	$R$
$\ln (1 + x)$	$x - \frac{x^{2}}{2} + \frac{x^{3}}{3} - \dots = \sum_{n = 0}^{\infty} (- 1)^{n - 1} \frac{x^{n}}{n}$	$(- 1, 1]$
$sen (x)$	$x - \frac{x^{3}}{3!} + \frac{x^{5}}{5!} - \dots = \sum_{n = 0}^{\infty} (- 1)^{n} \frac{x^{2 n - 1}}{(2 n - 1)!}$	$R$
$\cos (x)$	$1 - \frac{x^{2}}{2!} + \frac{x^{4}}{4!} - \dots = \sum_{n = 0}^{\infty} (- 1)^{n} \frac{x^{2 n}}{(2 n)!}$	$R$
$arctg (x)$	$x - \frac{x^{3}}{3} + \frac{x^{5}}{5} - \dots = \sum_{n = 0}^{\infty} (- 1)^{n} \frac{x^{2 n + 1}}{(2 n + 1)}$	$(- 1, 1)$
$(1 + x)^{k}$	$1 + k x + \frac{k (k - 1)}{2!} x^{2} + \frac{k (k - 1) (k - 2)}{3!} x^{3} + \dots = \sum_{n = 0}^{\infty} (\binom{k}{n}) x^{n}$	$(- 1, 1)$

9.1 Concepto de serie

9.2 Convergencia de series

9.3 Series geométricas

9.4 Series p

9.5 Series telescópicas

9.6 Convergencia de series de términos positivos

9.7 Convergencia de series alternadas

9.8 Convergencia absoluta

9.9 Series de potencias

9.10 Series de Taylor

9.10.1 Series de Maclaurin de funciones elementales

9.4 Series $p$