Serie (matemáticas)

thumb|Animación que explica por que a serie \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \frac{1}{16} + \frac{1}{32} + \cdots  é igual a 1.
En matemáticas, unha **serie** é a suma dos termos dunha sucesión. Represéntase unha serie con termos a_n como

:a_0 + a_1 + a_2 + \cdots \quad \text{ou comezando polo subíndice 1,} \quad a_1 + a_2 + a_3 + \cdots, 

onde os termos a_k son os membros dunha secuencia de númeross, funcións ou calquera outra cousa que se poida sumar.

Unha serie tamén se pode representar con notación sigma-maiúscularef name=":5" />(a_0 + b_0) + (a_1 + b_1) + (a_2 + b_2) + \cdots \, ou, en notación de suma,
:\sum_{k=0}^{\infty} a_k + \sum_{k=0}^{\infty} b_k = \sum_{k=0}^{\infty} a_k + b_k. 

Usando os símbolos s_{a, n}  e s_{b, n}  para as sumas parciais da serie sumada e s_{a + b, n}  para as sumas parciais da serie resultante, esta definición implica que as sumas parciais da serie resultante serían s_{a + b, n} = s_{a, n} + s_{b, n}. 

Logo a suma da serie resultante, é dicir, o límite da secuencia de sumas parciais da serie resultante, satisfai
:\lim_{n \rightarrow \infty} s_{a + b, n} = \lim_{n \rightarrow \infty} (s_{a, n} + s_{b, n}) = \lim_{n \rightarrow \infty} s_{a, n} + \lim_{n \rightarrow \infty} s_{b , n},
cando os límites existen.

### Multiplicación escalar 
O produto dunha serie a_0 + a_1 + a_2 + \cdots  por un número constante c, chamado escalar neste contexto, vén dado polo produto termo a termoca_0 + ca_1 + ca_2 + \cdots , ou, en notación de sumatorio

:c\sum_{k=0}^{\infty} a_k = \sum_{k=0}^{\infty} ca_k.  

### Multiplicación de series 
A multiplicación de dúas series a_0 + a_1 + a_2 + \cdots  e b_0 + b_1 + b_2 + \cdots  para xerar unha terceira serie c_0 + c_1 + c_2 + \cdots , chamada produto Cauchy pódese escribir en notación de sumatorio como
:
\biggl( \sum_{k=0}^{\infty} a_k \biggr) \cdot  \biggl( \sum_{k=0}^{\infty} b_k \biggr)
= \sum_{k=0}^{\infty} c_k = \sum_{k=0}^{\infty} \sum_{j=0}^{k} a_{j} b_{k-j},

con cada 
:c_k = \sum_{j=0}^{k} a_{j} b_{k-j} = a_0 b_k + a_1 b_{k-1} + \cdots + a_{k-1} b_1 + a_k b_0.

A multiplicación de series absolutamente converxentes de números reais e de números complexos é asociativa, conmutativa e distributiva sobre a suma. 

Xunto coa suma de series, a multiplicación de series dá aos conxuntos de series absolutamente converxentes de números reais ou complexos a estrutura dun anel conmutativo, e xunto coa multiplicación escalar tamén a estrutura dunha álxebra conmutativa; estas operacións tamén dan aos conxuntos de todas as series de números reais ou complexos a estrutura dunha álxebra asociativa.
## Algúns tipos de series 
* Unha *serie xeométrica* é unha serie onde cada termo sucesivo está producido multiplicando o termo previo por unha constante. Exemplo: 
:Comezando por 1 e multiplicando cada novo sumando o anterior por \tfrac{1}{2}.
::1 + {1 \over 2} + {1 \over 4} + {1 \over 8} + {1 \over 16} + \cdots=\sum_{n=0}^\infty{1 \over 2^n} = 2.
:En xeral, as series xeométricas
::\sum_{n=0}^\infty z^n
:converxen se e soamente se |*z*| 1 + {1 \over 2} + {1 \over 3} + {1 \over 4} + {1 \over 5} + \cdots =\sum_{n=1}^\infty {1 \over n}. 
:(Diverxe, isto é, tende a infinito. Neste caso moi lentamente.)

* Unha *serie alternada* é unha serie onde os termos alternan o signo. Exemplos:
::1 - {1 \over 2} + {1 \over 3} - {1 \over 4} + {1 \over 5} - \cdots =\sum_{n=1}^\infty (-1)^{n+1} {1 \over n}= \ln{2}.

::
-1+\frac{1}{3} - \frac{1}{5} + \frac{1}{7} - \frac{1}{9} + \cdots
= \sum_{n=1}^\infty \frac{\left(-1\right)^n}{2n-1} = -\frac{\pi}{4}.

* Unha serie telescópica 
:
\sum_{n=1}^\infty \left(b_n-b_{n+1}\right)
 converxe se a secuencia  converxe ata un límite  mentres  vai ao infinito. O valor da serie é entón .
* Unha *serie aritmético-xeométrica* é unha serie que ten termos que son cada un o produto dun elemento dunha progresión aritmética co elemento correspondente dunha progresión xeométrica. Exemplo: 
:3 + {5 \over 2} + {7 \over 4} + {9 \over 8} + {11 \over 16} + \cdots=\sum_{n=0}^\infty{(3+2n) \over 2^n}.
* A serie de Dirichlet 
:
\sum_{n=1}^\infty\frac{1}{n^p}
 
:converxe para  e diverxe para . Como función de , a suma desta serie é función zeta de Riemann.
* Serie hiperxeométrica: 
:
_pF_q \left[ \begin{matrix}a_1, a_2, \dotsc, a_p \\ b_1, b_2, \dotsc, b_q \end{matrix}; z \right]
:= \sum_{n=0}^{\infty} \frac{\prod_{r=1}^{p} (a_r)_n}{\prod_{s=1}^{q} (b_s)_n} \frac{z^n}{n!}
 e as súas xeneralizacións (como as series hiperxeométricas básicas e series hiperxeométricas elípticas) aparecen con frecuencia nos sistemas integrábeis e na física matemática.
* Existen algunhas series elementais cuxa converxencia aínda non está coñecida/probada. Por exemplo, descoñécese se a serie Flint Hills, 
:
\sum_{n=1}^\infty \frac{1}{n^{3}\sin^{2} n},
 converxe ou non. 

* Pi 

: \sum_{n=1}^{\infty} \frac{1}{n^2} = \frac{1}{1^2} + \frac{1}{2^2} + \frac{1}{3^2} + \frac{1}{4^2} + \cdots = \frac{\pi^2}{6}

: \sum_{n=1}^\infty \frac{(-1)^{n+1}(4)}{2n-1} = \frac{4}{1} - \frac{4}{3} + \frac{4}{5} - \frac{4}{7} + \frac{4}{9} - \frac{4}{11} + \frac{4}{13} - \cdots = \pi

* Logaritmo natural de 2 

:\sum_{n=1}^\infty \frac{(-1)^{n+1}}{n} = \ln 2

: \sum_{n=1}^\infty \frac{1}{2^{n}n} = \ln 2

* Número  

:\sum_{n = 0}^\infty \frac{(-1)^n}{n!} =  1-\frac{1}{1!}+\frac{1}{2!}-\frac{1}{3!}+\cdots = \frac{1}{e}

: \sum_{n = 0}^\infty \frac{1}{n!} = \frac{1}{0!} + \frac{1}{1!} + \frac{1}{2!} + \frac{1}{3!} + \frac{1}{4!} + \cdots = e 

## Criterios de converxencia 
Clasificar unha serie é determinar se converxe a un número real ou se diverxe (\pm \infty ou oscilante). Para isto existen distintos criterios que, aplicados á serie en cuestión, mostrarán de que tipo é (converxente ou diverxente).

:Se unha serie \sum_{k=1}^{\infty} a_k é converxente, entón \lim_{k \rightarrow \infty} a_k=0.

O recíproco non é certo. Por iso, o contra recíproco é:

:Se \lim_{k \rightarrow \infty} a_k\neq 0 entón \sum_{k=1}^{\infty} a_k é diverxente.
### Tres exemplos famosos 
* Serie harmónica,  S= \dfrac{1}{1} + \dfrac{1}{2} +  \dfrac{1}{3} \cdots , **diverxe** (tende lentamente a infinito).
* Serie da función zeta de Riemann para o parámetro 2 (problema de Basilea),  S= \zeta(2)=\dfrac{1}{1^2} + \dfrac{1}{2^2} +  \dfrac{1}{3^2} \cdots , **converxe** a \dfrac{\pi^2}{6} \approx 	1.644934  .
* Serie alternada  S= 1 -1 + 1 - 1 + 1 \cdots , **diverxe** (tende a 1? tende a 0? tende a 1/2?). 

### Criterio de D'Alembert 
Sexa unha serie \sum_{k=1}^{\infty} a_k, tal que a_k>0 (termos non negativos).

Se existe 
:\lim_{k \rightarrow \infty} \frac {a_{k+1}}{a_k}=l

con l \, \varepsilon \, [0, +\infty], o Criterio de D'Alembert establece que:
* se l  1, a serie diverxe. 
* se l = 1, non é posible dicir nada sobre o comportamento da serie.

Neste caso, é necesario probar outro criterio, coma o criterio de Raabe.

### Criterio de Cauchy (raíz enésima) 
Sexa unha serie \sum_{k=1}^{\infty} a_k, tal que a_k>0 (termos non negativos). E supoñamos que existe
:\lim_{k \rightarrow \infty} \sqrt [k] {a_k}=l, sendo l \, \varepsilon \, [0, +\infty]
Entón, se l  1 entón a serie é diverxente. 
Ó igual que o criterio de D'Alembert, se l=1, non podemos concluír nada a priori, debemos ver o criterio de Raabe, para ver se podemos concluír algo.

### Criterio de Raabe 
Normalmente utilizase despois de comprobrar os criterios de D'Alembert e da raíz. Nalgunhas series, pode ocorrer que o límite que nos de a_k, sexa distinto usando os dous criterios. Cando isto ocorre, recorremos ó criterio de Raabe. Tamén debemos recorrer a el cando o límite de a_k que nos produce é igual a 1 (mediante os criterio de D'Alembert e da raíz).

Sexa unha serie \sum_{k=1}^{\infty} a_k, tal que a_k>0 (termos non negativos). E supoñamos que existe
:\lim_{k \rightarrow \infty} k \left ( 1 - \frac {a_{k+1}}{a_k} \right ), sendo l \, \varepsilon \, (-\infty , +\infty )
Polo tanto, se l > 1, entón a serie é converxente
e se l \sum a_n converxe **absolutamente** se
:\sum_{i=1}^\infty | {a_n} |
é converxente,  isto é, se a suma dos seus valores absolutos converxe.

As series utilízanse moito na análise complexa e a análise funcional, onde é relevante se unha serie converxe.

## Series de funcións 
En cálculo, unha **serie de funcións** é unha serie onde cada un dos seus termos é unha función, non só un real ou un número complexo.

Exemplos de series de funcións inclúen serie de potencias ordinaria,  serie de Fourier, serie de Liouville-Neumann, serie formal de potencias e serie de Puiseux.

Existen moitos tipos de converxencia para unha serie de funcións, como a converxencia uniforme, converxencia puntual e converxencia case en todas as partes. Cada tipo de converxencia corresponde a unha métrica diferente para o espazo de funcións que se suman na serie e, polo tanto, un tipo diferente de límite.

A proba M de Weierstrass é un resultado útil para estudar a converxencia de series de funcións.

### Serie de potencias
:

Unha **serie de potencias** é unha serie da forma

:\sum_{n=0}^\infty a_n(x-c)^n.

A serie de Taylor nun punto  dunha función é unha serie de potencias que, en moitos casos, converxe á función nun contorno de . Por exemplo, a serie

\sum_{n=0}^{\infty} \frac{x^n}{n!}

é a serie de Taylor de e^x na orixe e converxe a ela para todo .

### Serie formal de potencias 
Aínda que moitos usos das series de potencias fan referencia ás súas sumas, tamén é posíbel tratar as series de potencias como *sumas formais*, o que significa que non se realiza ningunha operación de suma, e o símbolo "+" é un símbolo abstracto de conxunción que non se interpreta necesariamente como correspondente á suma. Neste escenario, a propia secuencia de coeficientes interesa máis que a converxencia da serie. 

As series de potencias formais utilízanse na combinatoria para describir e estudar sucesións que doutro xeito son difíciles de manexar, por exemplo, usando o método de funcións xeradoras. 

A serie de Hilbert-Poincaré é unha serie formal de potencias usada para estudar álxebras graduadas.

### Serie de Laurent
As series de Laurent xeneralizan as series de potencias admitindo termos na serie con expoñentes negativos e positivos. Unha serie de Laurent é, polo tanto, calquera serie da forma

:\sum_{n=-\infty}^\infty a_n x^n.

Se tal serie converxe, entón en xeral faino nunha coroa circular en vez de nun disco, e posibelmente nalgúns puntos límite. A serie converxe uniformemente en subconxuntos compactos do interior do anel de converxencia.

### Series trigonométricas
Unha serie de funcións nas que os termos son función trigonométricas chámase **serie trigonométrica**:

:A_0 + \sum_{n=1}^\infty \left(A_n\cos nx + B_n \sin nx\right).

O exemplo máis importante dunha serie trigonométrica é a serie de Fourier dunha función.

### Serie de Dirichlet
:

Unha serie de Dirichlet é unha serie da forma

:\sum_{n=1}^\infty {a_n \over n^s},

onde  é un número complexo. Por exemplo, se todos os  son iguais a , entón a serie de Dirichlet é a función zeta de Riemann

:\zeta(s) = \sum_{n=1}^\infty \frac{1}{n^s}.

Do mesmo xeito que a función zeta, as series de Dirichlet en xeral xogan un papel importante na teoría analítica de números. 

Xeralmente unha serie de Dirichlet converxe se a parte real de  é maior que un número chamado abscisa de converxencia. En moitos casos, unha serie de Dirichlet pódese estender a unha función analítica fóra do dominio de converxencia mediante  continuación analítica. Por exemplo, a serie de Dirichlet para a función zeta converxe absolutamente cando {{tmath|\operatorname{Re}(s)>1}}, mais a función zeta pódese estender a unha función holomorfa definida en \Complex\setminus\{1\} cun polo simple en .

Esta serie pódese xeneralizar directamente na serie xeral de Dirichlet.

### Serie asintótica 
As *series asintóticas*, normalmente chamadas expansións asintóticas, son series infinitas cuxos termos son funcións dunha secuencia de diferentes ordes asintóticas e cuxas sumas parciais son aproximacións dalgunha outra función nun límite asintótico.

En xeral non converxen, pero seguen sendo útiles como secuencias de aproximacións, cada unha das cales proporciona un valor próximo á resposta desexada para un número finito de termos. Son ferramentas cruciais na teoría da perturbación e na análise de algoritmos.

## Notas 
## Véxase tamén 
### Bibliografía 
* 
* 
* 

### Outros artigos 
* Fracción continua
* Tests de converxencia
* Serie converxente
* Serie  diverxente
* Produto infinito
* Expansión en serie
* Serie de Taylor
* Fracción exipcia

### Ligazóns externas 
* 
* Infinite Series Tutorial
* 
*