# Serie convergente

En matemáticas, una serie (suma de los términos de una secuencia de números), resulta convergente si la sucesión de sumas parciales tiene un límite en el espacio considerado. De otro modo, constituiría lo que se denomina serie divergente.

## Definición formal

Las series consideradas son numéricas (con términos reales o complejos) o vectoriales (con valores en un espacio vectorial formado).
La serie de término general $a_{n}$ converge cuando la sucesión $(A_{n})_{n\in \mathbb {N} }$ de sumas parciales converge, donde para todo entero natural n,
    $A_{n}=\sum _{k=0}^{n}a_{k}$.
En este caso la suma de la serie es el límite de la sucesión de sumas parciales
    $\sum _{k=0}^{+\infty }a_{k}=\lim _{n\to +\infty }A_{n}$.
La naturaleza de convergencia o no-convergencia de una serie no se altera si se modifica una cantidad finita de términos de la serie.

## Ejemplos

Resultan convergentes las series de las secuencias:
* de los recíprocos de los enteros impares, con signos alternados $({1 \over 1},-{1 \over 3},{1 \over 5},-{1 \over 7},{1 \over 9},-{1 \over 11},\cdots )$, conocida como Serie de Leibniz:
    ${1 \over 1}-{1 \over 3}+{1 \over 5}-{1 \over 7}+{1 \over 9}-{1 \over 11}+\cdots ={\pi \over 4}$;
* de los recíprocos de los números triangulares:
    ${1 \over 1}+{1 \over 3}+{1 \over 6}+{1 \over 10}+{1 \over 15}+{1 \over 21}+\cdots =2$;
* de los recíprocos de los sucesivos factoriales (n!):
    ${\frac {1}{1}}+{\frac {1}{1}}+{\frac {1}{2}}+{\frac {1}{6}}+{\frac {1}{24}}+{\frac {1}{120}}+\cdots =e$;
* de los recíprocos de los sucesivos cuadrados perfectos (ver Problema de Basilea):
    ${1 \over 1}+{1 \over 4}+{1 \over 9}+{1 \over 16}+{1 \over 25}+{1 \over 36}+\cdots ={\pi ^{2} \over 6}$;
* de los recíprocos de las potencias de 2:
    ${1 \over 1}+{1 \over 2}+{1 \over 4}+{1 \over 8}+{1 \over 16}+{1 \over 32}+\cdots =2$;
* de los recíprocos de las potencias de 2 con signos alternados:
    ${1 \over 1}-{1 \over 2}+{1 \over 4}-{1 \over 8}+{1 \over 16}-{1 \over 32}+\cdots ={2 \over 3}$;
* de los recíprocos de los números de Fibonacci (ver Constante de los inversos de Fibonacci):
    ${\frac {1}{1}}+{\frac {1}{1}}+{\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{5}}+{\frac {1}{8}}+\cdots =\psi$;
* de los de recíprocos de los naturales con signos alternados $(1,-{\frac {1}{2}},{\frac {1}{3}},-{\frac {1}{4}},{\frac {1}{5}},-{\frac {1}{6}},{\frac {1}{7}},\cdots )$:
    $\sum _{k=1}^{\infty }{\frac {(-1)^{k+1}}{k}}=\ln 2$.
Resultan divergentes las series de las secuencias:
* de los de recíprocos de los naturales $(1,{\frac {1}{2}},{\frac {1}{3}},{\frac {1}{4}},{\frac {1}{5}},{\frac {1}{6}},{\frac {1}{7}},\cdots )$:
    ${1 \over 1}+{1 \over 2}+{1 \over 3}+{1 \over 4}+{1 \over 5}+{1 \over 6}+\cdots \rightarrow \infty$
(es la conocida como serie armónica);
* de los recíprocos de los números primos ( ${1 \over 2},{1 \over 3},{1 \over 5},{1 \over 7},{1 \over 11},{1 \over 13},\cdots$):
    ${1 \over 2}+{1 \over 3}+{1 \over 5}+{1 \over 7}+{1 \over 11}+{1 \over 13}+\cdots \rightarrow \infty$.

## Convergencia absoluta

Si $\sum a_{n}$ es una serie a valores en un espacio vectorial normado completo, se dice que es absolutamente convergente si la serie de término general $\|a_{n}\|$ es convergente.
En este caso, la serie $\sum a_{n}$ converge.
La convergencia absoluta resulta de gran interés para el estudio de series con valores en un espacio de Banach (ese es el caso de las series numéricas), donde es suficiente la convergencia absoluta de la serie para probar que es convergente. Esta técnica permite en muchos casos restringir el estudio a las series de términos positivos; para los cuales existen numerosos métodos.

## Criterios de convergencia

* Criterio del límite: sea $\sum _{k=1}^{\infty }a_{k}$esta no convergerá si $\lim _{k\rightarrow \infty }(a_{k})\neq 0$ o si no existe dicho límite.

### Series de reales positivos

* Criterio de d'Alembert (Criterio del cociente o Criterio de la razón): sea $\sum _{k=1}^{\infty }a_{k}$ una serie de términos estrictamente positivos; si
    $\lim _{k\rightarrow \infty }{\frac {a_{k+1}}{a_{k}}}=L\in [0,+\infty ]$,
entonces el Criterio de D'Alembert establece que si
* Criterio de la raíz: si los términos $a_{n}\,$ son estrictamente positivos y si existe una constante $C<1\,$ tal que $\lim _{n\rightarrow \infty }(a_{n})^{\frac {1}{n}}\leq C$ , entonces $\sum a_{n}$ es convergente.
* Criterio de Raabe: sea una serie $\sum _{k=1}^{\infty }a_{k}$, tal que $a_{k}>0$ (serie de términos positivos). Si existe el límite
    $\lim _{k\rightarrow \infty }k\left(1-{\frac {a_{k+1}}{a_{k}}}\right)=L$, siendo $L\,\in \,(-\infty ,+\infty )$
entonces, si $L>1$ la serie es convergente y si $L<1$ la serie es divergente. (Nota: el Criterio de Raabe es recomendado sólo en caso de fallar el Criterio de D'Alembert).
* Criterio de la integral de Cauchy: si f(x) es una función positiva y monótonamente decreciente definida en el intervalo
[1, ∞) tal que f(n) = a$_n$ para todo n, entonces $\textstyle \sum {a_{n}}$ converge si y sólo si $\textstyle \int _{1}^{\infty }f(x)\,dx$ es finita.
Más generalmente, y para el tipo de función definida antes, pero en un intervalo [N,∞), la serie
    $\sum _{n=N}^{\infty }f(n)$
converge si y sólo si la integral
    $\int _{N}^{\infty }f(x)\,dx$
converge.

## Otros métodos

* Criterio de Cauchy: una serie a valores en un espacio vectorial normado completo es convergente si y solo si la sucesión de sumas parciales es de Cauchy:
    $\forall \varepsilon >0,\exists N\in {\mathbb {N} },\forall n\geq N,\forall p\in {\mathbb {N} },\left\|u_{n+1}+\dots +u_{n+p}\right\|<\varepsilon$.
* Criterio de condensación de Cauchy: sea $\sum {a_{n}}$ una serie monótona de números positivos decrecientes. Entonces $\sum _{n=1}^{\infty }{a_{n}}$ converge si y sólo si la serie $\sum _{n=1}^{\infty }{2^{n}a_{2^{n}}}$ converge.
* Criterio de Leibniz: una serie de la forma $\sum _{n=1}^{\infty }(-1)^{n}{a_{n}}$ (con $a_{n}>0$) se llama serie alternada. Tal serie converge si se cumplen las siguientes condiciones:
a) $\lim _{n\rightarrow \infty }(-1)^{n}a_{n}=0$ para n par y n impar.
b) La serie tiene que ser absolutamente decreciente, es decir que: $|{a_{n}}|\geq |a_{n+1}|$.
Si esto se cumple, la serie $\sum _{n=1}^{\infty }{a_{n}}$ es condicionalmente convergente, de lo contrario la serie diverge.
Nota: Se debe descartar primero la convergencia absoluta de $\sum _{n=1}^{\infty }|{a_{n}}|$ antes de aplicar este criterio, usando los criterios para series positivas.

## Criterios de convergencia comparativos

Son aplicables en caso de disponer de otra serie $\sum (b_{n})$ tal que se conozca su condición de convergencia o no-convergencia.

### Criterio de comparación directa

(de la mayorante o de Gauss)
Si $0<a_{n}\leq b_{n},\forall n\geq n_{0}$
* Si $\sum (b_{n})$ converge $\Rightarrow \sum (a_{n})$ converge
* Si $\sum (a_{n})$ diverge $\Rightarrow \sum (b_{n})$ diverge
En otro caso no existe información de la serie.

### Criterio de comparación por paso al límite del cociente

Sean $\sum _{n=1}^{\infty }{a_{n}}$ y $\sum _{n=1}^{\infty }{b_{n}}$ series de términos no negativos. Si existe
$\lim _{n\rightarrow \infty }\left({\frac {a_{n}}{b_{n}}}\right)=L\in \,[0,+\infty )$, entonces:
* Si $L=0$ y la serie $\sum (b_{n})$ converge entonces $\sum (a_{n})$ converge.
* Si $L=+\infty \$ y $\sum (b_{n})$ diverge entonces $\sum (a_{n})$ diverge.
* Si $0<L<+\infty$ entonces las series $\sum _{n=1}^{\infty }{a_{n}}$ y $\sum _{n=1}^{\infty }{b_{n}}$ comparten la misma condición (ambas convergen, o bien ambas son divergentes).

## Teorema de Abel

Sea $\sum x_{n}$ una serie compleja donde $\forall n\in \mathbb {N} ,x_{n}=\alpha _{n}u_{n}$ tales que:
* La sucesión $(\alpha _{n})_{n\in \mathbb {N} }$ es real, decreciente y tiende a 0.
* $\exists M\in \mathbb {R}$ tal que $\forall n\in \mathbb {N} ,\left|\sum _{k=0}^{n}u_{k}\right|\leq M$.
Entonces $\sum x_{n}$ es convergente.