# Série (matemática)

Em matemática, a série infinita, ou simplesmente série, defini-se a partir de uma sequência ${a_{n}}$, até a soma infinita. Ou seja, representa uma somátoria de várias parcelas sucessivamente sem que essa operação tenha um fim.
    $\sum _{n=1}^{\infty }$ $a_{n}=a_{1}+a_{2}+a_{3}+...+a_{n}+...$

## Dificuldades na definição

Esta generalização pode trazer diversas dificuldades:
* Nem sempre é possível definir um valor resultante da soma para uma série;
Exemplo: $\sum _{n=1}^{\infty }$ $(-1)^{n-1}=\underbrace {(1-1)} _{0}+\underbrace {(1-1)} _{0}+\underbrace {(1-1)} _{0}+\cdots =0$.
Ou,
$\sum _{n=1}^{\infty }$ $(-1)^{n-1}=1+\underbrace {(-1+1)} _{0}+\underbrace {(-1+1)} _{0}+\underbrace {(-1+1)} _{0}+\cdots =1$.
* Algumas séries possuem o valor de sua soma infinito;
Exemplo: $\sum _{n=1}^{\infty }1=1+1+1+1+1+1+1+1+...=\infty$.
* Nem sempre é possível trocar a ordem dos termos da série, porque o seu valor se altera, isso acontece nas séries condicionalmente convergentes;
Exemplo: $S=\sum _{n=1}^{\infty }$ ${\frac {(-1)^{n}}{n+1}}$ = ${\frac {1}{1}}-{\frac {1}{2}}+{\frac {1}{3}}-{\frac {1}{4}}+...$ e ${\frac {3}{2}}S={\frac {3}{2}}\sum _{n=1}^{\infty }{\frac {(-1)^{n}}{n+1}}=\sum _{n=1}^{\infty }\left({\frac {1}{4n-3}}+{\frac {1}{4n-1}}-{\frac {1}{2n}}\right)={\frac {1}{1}}+{\frac {1}{3}}-{\frac {1}{2}}+{\frac {1}{5}}+{\frac {1}{7}}-{\frac {1}{4}}+\cdots$
Podemos ver que neste caso ${\frac {3}{2}}S=S$ devido a uma mudança na ordem dos termos, colocando dois positivos seguido de um negativo. Alterou-se o valor da soma.
Embora a ideia de soma infinita seja bastante antiga, uma formulação matemática rigorosa só veio a surgir no século XVIII, com o advento da análise real, que denota e define uma série de termos $u_{1},u_{2},u_{3}...$, da seguinte forma:
$\sum _{n=1}^{\infty }$ $u_{n}$= $u_{1}+u_{2}+u_{3}+u_{4}+...$
Observe que é necessária a soma ordenada, para fugir dos problemas apontados acima.

## Corrida de Aquiles

O primeiro exemplo foi a corrida de Aquiles vista pelo Paradoxo de Zenão; o filósofo grego pré-socrático Zenão de Eleia estudou o ramo da filosofia que trata da lógica e criou alguns paradoxos, nos quais afirmava que tempo e movimento não existem.
“Numa manhã de sábado, o guerreiro Aquiles, o melhor do exército grego, resolveu apostar uma corrida com uma tartaruga para mostrar que era muito veloz. Entretanto, como sua vitória parecia iminente, resolveu dar uma colher de chá, deu uma vantagem de 1 km para a tartaruga.” Dos relatos históricos, descobriu-se que a velocidade de Aquiles era dez vezes maior do que a tartaruga. Assim, se Aquiles corria a 10 m/s, a tartaruga corria a 1 m/s.
Nessa situação, Zenão afirma que Aquiles nunca ultrapassará a tartaruga. Para isso, ele conjectura que, quando Aquiles alcança o ponto em que a tartaruga partiu ela já haveria andado uma distância e, quando ele chegasse ao segundo ponto, ela já haveria andado mais uma pequena distância e, assim, indefinidas vezes. Zenão usa a tartaruga como referencial para sabermos a posição de Aquiles, isso mostra que a diferença entre os dois diminui, mas Aquiles nunca irá alcançar, quanto menos ultrapassar a tartaruga.
Os argumentos lógicos usados por Zenão estão corretos mas, por que ele erra? Sabe-se que Aquiles, no mundo real, ultrapassa a tartaruga, então qual o equívoco dos argumentos?
Analisando os dados que temos usando as proposições lógicas do filósofo:
| Tempo (s) | Posição da tartaruga (m) | Posição de Aquiles (m) | Diferença da tartaruga em relação a Aquiles (m) |
| 0 | 1000 | 0 | 1000 |
| 100 | 1100 | 1000 | 100 |
| 110 | 1110 | 1100 | 10 |
| 111 | 1111 | 1110 | 1 |
| 111,1 | 1111,1 | 1111 | 0,1 |
| 111,11 | 1111,11 | 1111,1 | 0,01 |
| 111,111[…]1 | 1111,111[…]1 | 1111,11[…]1 | 0,000[…]1 |
A questão se resume em somar todas as diferenças da posição tartaruga em relação a Aquiles e com esse resultado descobrir, de forma exata, que distância Aquiles precisa caminhar para alcançar a tartaruga. Ou seja, quer encontrar-se a soma S, tal que: S = 1000 + 100 + 10 + 1 + 0,1 + 0,01 + …
Perceba que deseja-se uma soma com infinitas parcelas, a qual denomina-se de soma de uma série. Olhando mais de perto essa não é uma soma qualquer, os termos utilizados na soma tem uma peculiaridade: o posterior é sempre o anterior dividido por 10, ou seja, essa é uma progressão geométrica (PG) de razão 1/10.
Observa-se na tabela, a soma desta série é 1111,11... Uma dízima periódica que tem por fração geratriz ${\frac {10000}{9}}$. (Na sequência apresenta-se uma maneira mais prática para obter este resultado).
Escreve-se assim, $S=1000+100+10+1+0,1+0,01+\cdots ={\frac {10000}{9}}$.
Conclui-se, então, que mesmo tendo infinitas parcelas é possível encontrar um número real como resposta para essa soma e, por este motivo, Zenão erra. Ele aborda o problema de forma que o tempo caminhe de forma geométrica, o que não é errado, mas não serve para provar sua conclusão.
Para analisar se houve ultrapassagem ou não, deve-se abordar o problema tal que a referência seja o tempo, não mais a posição da tartaruga. Veja:
| Tempo (s) | Posição da tartaruga (m) | Posição de Aquiles (m) | Diferença da tartaruga em relação a Aquiles (m) |
| 0 | 1000 | 0 | 1000 |
| 20 | 1020 | 200 | 820 |
| 40 | 1040 | 400 | 640 |
| 60 | 1060 | 600 | 460 |
| 80 | 1080 | 800 | 280 |
| 100 | 1100 | 1000 | 100 |
| 112 | 1112 | 1120 | -8 |
| 120 | 1120 | 1200 | -80 |
Analisando a tabela, é possível observar que no instante 80 s Aquiles está 280 m atrás da tartaruga, mas no instante 112 s Aquiles ultrapassou-a em 8 m. Assim, conclui-se que a intuição inicial e o mundo real estão corretos, Aquiles realmente ultrapassa a tartaruga, quebrando definitivamente o paradoxo de Zenão.

## Notação

Generalizando para todo caso temos que, se forem $u_{1},u_{2},u_{3},\ldots ,u_{n},\ldots$ os termos da sequência que desejamos somar, a soma $S$ da série será: $S=\sum _{n=1}^{\infty }u_{n}$.
Considera-se deste modo sempre a genericidade: Uma letra maiúscula como o valor da soma da série e uma letra minúscula seguida do índice como uma sequência.
Quando estiver tratando de somas em que o índice superior é infinito e se tratando de uma série genérica, não precisa-se evidenciar nenhum dos dois índices. Essa observação prevê praticidade para demonstrações que se seguem neste texto e, ainda mais porque não existe influência na conclusão a omissão destes índices. Ou seja, para casos em que temos uma soma de uma sequência genérica denota-se da seguinte forma: $S=\sum _^u_{n}$.
Quando se tratar de um caso numérico em que busca-se a soma S, é indispensável saber os índices e essa observação, então, não se aplica. Como uma forma de ilustrar esta colocação, utiliza-se o primeiro exemplo: $u_{1}=1000,u_{2}=100,u_{3}=10$,
$u_{n}={\frac {1000}{1}}*\left({\frac {1}{10}}\right)^{n-1}$ e $S=\sum _{n=1}^{\infty }u_{n}=\sum _{n=1}^{\infty }1000\left({\frac {1}{10}}\right)^{n-1}$.
Para estudar com mais exatidão a soma de uma série infinita, (re)parte-se esta soma e chama-se de soma parcial até o termo k de $S_{k}$. Sendo , $S_{k}$ a soma dos k primeiros termos de uma série, denotando isso por:
$S_{k}=\sum _{n=1}^{k}u_{n}=u_{1}+u_{2}+u_{3}+...+u_{k}$.

## Definição

Define-se a soma S de uma série infinita, o limite das somas parciais quando o limite dessas somas parciais existe, ou seja, quando S é um número real.
$S=\sum _{n=1}^{\infty }u_{n}=\lim _{k\to \infty }\sum _{n=1}^{k}u_{n}=\lim _{k\to \infty }S_{k}$.

## Aspectos históricos

Somas infinitas surgiram há séculos. A fim de obter a área de um segmento parabólico, Arquimedes ( 250 a.C.) necessitou calcular a soma da progressão 1 + ¼ + (¼)2 + (¼)3 + ... = 4/3 . Embora seu cálculo não tenha sido feito por processos infinitos, que eram mal vistos em seu tempo, este foi um dos primeiros cálculos de somas infinitas. Por volta de 1350, utilizando “processos infinitos”, R. Suiseth (mais conhecido como Calculator).
A consideração de somas infinitas é um problema estreitamente ligado ao problema da passagem ao limite. A falta por longo período de conceitos adequados e de uma teoria razoável levou os matemáticos a numerosas especulações e paradoxos a respeito da natureza das séries infinitas, a exemplo do paradoxo de Zenão.
O paradoxo de Zenão segundo Aristóteles em Fisica VI, 239 b 9 ss consiste basicamente em decompor o movimento em um número infinito de partes. Pressupondo de que é impossível realizar infinitos movimentos em tempo finito, o deslocamento torna-se impossível. O experimento mental tradicional propõe uma competição entre o herói Aquiles e uma tartaruga. A tartaruga parte com uma vantagem inicial. É impossível que Aquiles alcance a tartaruga, porque, quando Aquiles atinge a posição inicial da tartaruga (A), ela já avançou para o ponto (B). Quando Aquiles chega ao ponto B, a tartaruga já está em C e assim até o infinito.
O matemático e astrônomo Madhava foi o primeiro, no século XIV, a considerar tais séries. Seus trabalhos receberam continuidade por seus sucessores da escola de Kerala, região ao sul da Índia e foram registrados no livro Yuktibhasa. Madhava se dedica ao estudo das funções trigonométricas, propondo-lhe desenvolvimento em séries de Taylor e em séries trigonométrica. Ele utiliza esses conceitos para o cálculo de aproximações (notavelmente para estimar o valor numérico da constante $\pi$) e estabelece estimativas para o erro assumido. Também introduz os primeiros critérios de convergência.
No século XVII, James Gregory redescobre vários desses resultados, em especial o desenvolvimento de séries trigonométricas em séries de Taylor e sua série que permita calcular o valor numérico de $\pi .$ Em 1715, Brook Taylor, ao publicar a construção geral das séries que recebem seu nome, estabelece uma frutífera ligação da teoria de séries infinitas com o cálculo diferencial.
Em 1748, L. Euler publicou o texto Introductio in analysin infinitorum, em dois volumes. O primeiro deles versava sobre processos infinitos, entre os quais séries infinitas. Euler era pouco cuidadoso no uso de tais séries, e as manipulava arriscadamente. Usando a série da função sen z = z – z3/3 + z5/5! - ... e de artifícios engenhosos, Euler conseguiu resolver uma difícil questão que J. Bernoulli não tivera sucesso, a de obter a soma dos recíprocos dos quadrados perfeitos. Leonhard Euler estabelece numerosas relações sobre séries, calcula diversas somas notáveis e introduz o conceito de série hipergeométrica
A teoria das séries infinitas se estabelece finalmente com o advento da análise matemática ao longo dos séculos XVIII e XIX com os trabalhos sobretudo de Augustin Louis Cauchy.

## Classificação

Classificação quanto à convergência:
| Nome | Nome | Limite $\sum _{n=1}^{\infty }a_{n}$ existe? | Limite $\sum _{n=1}^{\infty }|a_{n}|$ existe? | Exemplo deste tipo de série |
| Série convergente (seus termos formam uma sequência dita somável) | absolutamente convergente | Sim e é finito | Sim e é finito | $\sum _{n=1}^{\infty }a^{n},\forall |a|<1$. |
| Série convergente (seus termos formam uma sequência dita somável) | condicionalmente convergente | Sim e é finito | Não existe | A soma $\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}}$ converge, mas se a tomarmos em módulo teremos uma soma divergente. |
| Série divergente | Série divergente | Não existe | - | Os somatórios $\sum _{n=1}^{\infty }{\frac {1}{n}}$ e $\sum _{n=1}^{\infty }n$ divergem. |
| Série oscilante | Série oscilante | Não | - | O somatório $\sum _{n=0}^{\infty }(-1)^{n}$. |
* Obs.: Alguns autores, sobretudo fora do escopo da análise real ou na teoria das séries divergentes, definem como série divergente toda aquela que não é convergente.

## Convergência e divergência de séries

Diversos são os teoremas para provar que determinada série numérica converge ou diverge, esses costumam ser chamados de testes (ou critérios), eis alguns exemplos:

### Termos positivos
#### Teste da integral

O teste da integral é um método para estabelecer a convergência de um série comparando a soma de seus termos à integral de uma função adequada.
Seja $\sum _{n=1}^{\infty }a_{n}$ uma série de números positivos e $f(x):[1,\infty ]\to \mathbb {R}$ uma função com as seguintes propriedades:
* $f(x)\geq 0;$
* $f(x)$ é decrescente;
* $f(n)=a_{n}.$
Então $\sum _{n=1}^{\infty }a_{n}$ converge se e somente se $\int _{1}^{\infty }f(x)dx$ converge.

#### Teste da comparação do limite (2º Critério de Comparação)

O teste da comparação do limite é uma generalização do teste da comparação. Sejam $\sum _{n=1}^{\infty }a_{n}$ e $\sum _{n=1}^{\infty }b_{n}$ séries de termos positivos. Então:
* Se $\lim _{n\rightarrow \infty }{\frac {a_{n}}{b_{n}}}=C,$ sendo $C$ um número e $0<C<\infty ,$ temos:
    ambas as séries divergem ou ambas as séries convergem.
Obs.: Se $C=0,$ então:
    Se ${b_{n}}$ é convergente → ${a_{n}}$ é convergente.
Este teste admite uma ligeira modificação através do uso do limite superior:
* Se $\limsup _{n\rightarrow \infty }{\frac {a_{n}}{b_{n}}}<\infty ,$ temos que:
    Se ${b_{n}}$ é convergente → ${a_{n}}$ é convergente.

#### Critério da comparação de razões

O critério da comparação de razões serve como base para muitos dos critérios utilizados para estudar convergência e divergência de séries. Este é sugerido pela lógica da progressão geométrica.
Sejam as séries de termos positivos $\sum _{k=1}^{\infty }a_{k}$ e $\sum _{k=1}^{\infty }b_{k},$ imaginemos que existe um número natural $p$ tal que, para $k\geq p,$ temos:
* ${\frac {a_{k+1}}{a_{k}}}\leq {\frac {b_{k+1}}{b_{k}}}$.
Então
* $\sum _{k=1}^{\infty }b_{k}$ convergente ⇒ $\sum _{k=1}^{\infty }a_{k}$ convergente;
* $\sum _{k=1}^{\infty }a_{k}$ divergente ⇒ $\sum _{k=1}^{\infty }b_{k}$ divergente;

#### Teste da divergência

O teste da divergência ou teste do termo geral estabelece que uma série numérica não pode convergir se o seu termo geral não converge para zero. Ou seja:
Se $\sum _{n=1}^{\infty }a_{n}$ converge, então seu termo geral $a_{n}$ converge para zero.
Observe cuidadosamente que a recíproca não é verdadeira, um contra-exemplo simples é a série harmônica:
    $\sum _{n=1}^{\infty }{\frac {1}{n}}$
onde o termo geral ${\frac {1}{n}}$ tende a zero, mas a soma diverge.

#### Teste da comparação (1º Critério de Comparação)

O teste da comparação estabelece um critério para convergência de séries de termos positivos, ou para a convergência absoluta. Sejam as séries:
* $\sum _{n=1}^{\infty }a_{n}$
* $\sum _{n=1}^{\infty }b_{n}$.
Então se $0\leq a_{n}\leq b_{n}$ e se a segunda série converge a primeira também converge (e a soma não é superior). Ou ainda, se a primeira diverge a segunda também deve divergir. Podemos também estabelecer que se $|a_{n}|\leq b_{n},$ então a primeira série converge contanto que a segunda também convirja.

#### Teste da razão (critério de d'Alembert)

Seja a série $\sum _{n=1}^{\infty }a_{n}$ , com $a_{n}>0$ para todo $n>q$, onde $q$ é um natural fixo.
Suponha que: $\lim _{n\to \infty }{\frac {a_{n+1}}{a_{n}}}$ exista, finito ou infinito .
Seja: $L=\lim _{n\to \infty }{\frac {a_{n}+1}{a_{n}}}$ , então:
A) $L<1\Rightarrow \sum _{n=0}^{\infty }a_{n}$ é convergente;
B) $L>1$ ou $L=+\infty \Rightarrow \sum _{n=0}^{\infty }a_{n}$ é divergente ;
C) Se $L=1$, o teste é inconclusivo.
Demonstração:
A)Tomando $r$ tal que $L<r<1$. Segue que existe um natural $p\geqslant q$ tal que, para $n\geqslant p$, ${\frac {a_{n}}{a_{n+1}}}<1$.
Exemplo:
A série $\sum _{n=0}^{\infty }$ é convergente?
Pois, como $a_{n}={\frac {2}{n!}}^{n}$, tem-se:
${\frac {a_{n+1}}{a_{n}}}={\frac {2}{n+1!}}^{n+1}\div {\frac {2}{n!}}^{n}={\frac {2}{n+1}}$.
segue que:$\lim _{n\to \infty }{\frac {a_{n+1}}{a_{n}}}=\lim _{n\to \infty }{\frac {2}{n+1}}=0$
B) segue da hipótese que existe um natural $p\geqslant q$ tal que, para $n\geqslant p$, ${\frac {a_{n}}{a_{n+1}}}\geqslant 1$.
Exemplo: A série:$\sum _{n=1}^{\infty }{\frac {1\times 4\times 7...\times (3n+1)}{n^{5}}}$.
Solução:
$a_{n}={\frac {1\times 4\times 7...\times (3n+1)}{n^{5}}}$
${\frac {a_{n}}{a_{n+1}}}={\frac {1\times 4\times 7...\times (3n+1)\times (3n+4)}{(n+1)^{5}}}\times {\frac {n^{5}}{1\times 4\times 7...\times (3n+1)}}$$={\frac {3}{(n+1/n)^{5}}}$.
Segue que
$\lim _{n\to \infty }{\frac {a_{n+1}}{a_{n}}}=\infty$.
Teste da Raiz (Critério de Cauchy)
Considere a série $\sum _{n=1}^{\infty }a_{n}$, com $a_{n}>0$ para todo $n>q$, onde $q$ é um natural fixo. Suponha que $\lim _{n\to \infty }{\sqrt[{n}]{a_{n}}}$ exista, finto ou infinito.
seja: $L=\lim _{n\to \infty }{\sqrt[{n}]{a_{n}}}$.
Então:
A) $L<1\Rightarrow \sum _{n=0}^{\infty }a_{n}$ é convergente;
B) $L>1$ ou $L=+\infty \Rightarrow \sum _{n=0}^{\infty }a_{n}$ é divergente ;
C) Se $L=1$, o teste é inconclusivo
Demonstração :
Tomando-se $r$ tal que $L<r<1$, existe um natural $p\geqslant q$ tal que, para $n\geqslant p$, ${\sqrt[{n}]{a_{n}}}<r$ e, portanto, $a_{n}<r^{n}$.
A convergência da série segue por comparação com a série geométrica
$\sum _{n=0}^{\infty }r^{n}$.
Exemplo:
A série $\sum _{n=0}^{\infty }{\frac {n^{3}}{3^{n}}}$ é convergente?
Sim, pois:
aplicando o teste da raiz, temos:
$\lim _{n\to \infty }{\sqrt[{n}]{a_{n}}}=\lim _{n\to \infty }{\sqrt[{n}]{\frac {n^{3}}{3^{n}}}}={\frac {1}{3}}$, pois $\lim _{n\to \infty }{\sqrt[{n}]{n^{3}}}=1$ e $\lim _{n\to \infty }{\sqrt[{n}]{3^{n}}}=3$.
Logo, a série é divergente.
Observação: seja a série $\sum _{n=0}^{\infty }a_{n}$, com $a_{n}>0$. Se ocorrer $\lim _{n\to \infty }{\frac {a_{n+1}}{a_{n}}}=1$, o critério da razão não decide se a série é ou não convergente. Conforme se $\lim _{n\to \infty }{\frac {a_{n+1}}{a_{n}}}=1$.Então teremos, também $\lim _{n\to \infty }{\sqrt[{n}]{a_{n}}}$=1. Isto significa que se $\lim _{n\to \infty }{\frac {a_{n+1}}{a_{n}}}=1$, o critério da raiz nada revela também, sobre a convergência ou divergência da série.

### Séries de termos positivos ou negativos

Supondo que numa sucessão há termos positivos e negativos, havendo uma infinidade numerável de termos de cada sinal. Chama-se Série de Termos Quaisquer a série
$\sum _{n=1}^{\infty }a_{n}$, se nesta série somarmos os termos consecutivos.
$S_{n}=u_{0}-u_{1}+u_{2}-u_{3}+u_{4}+...+(-1)^{n}.u_{n}+...$, onde a série de termos alternadamente positivos e negativos é chamada Série Alternada.

#### Série alternada (critério de Leibnitz)

Seja uma série qualquer $\sum _{n=1}^{\infty }a_{n}$ em que os termos $(a_{n})\forall n\in \mathbb {N}$ são alternadamente positivos e negativos, ou vice-versa. Isto é, para uma sequência positiva qualquer $(u_{n})>0$ tem-se $a_{n}=(-1)^{n-1}.u_{n}$ ou $a_{n}=(-1)^{n}.u_{n}$. Sendo assim, define-se série alternada toda série do tipo
$\sum _{n=1}^{\infty }a_{n}=\sum _{n=1}^{\infty }(-1)^{n-1}.u_{n}=u_{1}-u_{2}+u_{3}-u_{4}+...+(-1)^{n-1}.u_{n}+...$ ou $\sum _{n=1}^{\infty }a_{n}=\sum _{n=1}^{\infty }(-1)^{n}.u_{n}=-u_{1}+u_{2}-u_{3}+u_{4}+...+(-1)^{n}.u_{n}+...$
O estudo da convergência da série alternada é feito a partir do critério de Leibnitz.

#### Testes de Abel e Dirichlet

O teste de Abel e o teste de Dirichlet demonstram a convergência de séries numéricas que podem ser escritas na forma:
    $\sum _{n=1}^{\infty }a_{n}b_{n}$
quando os coeficiente $b_{n}$ forma uma sequência monotônica com limite $b_{\infty }.$
O teste de Abel garante a convergência de $\sum _{n=1}^{\infty }a_{n}b_{n}$ quando $\sum _{n=1}^{\infty }a_{n}$ é convergente. Já o teste de Dirichet se aplica quando $b_{\infty }=0,$ mas exige apenas que as somas parcial sejam limitadas:
    $\left|\sum _{n=1}^{N}a_{n}\right|\leq M$.

## Tipos importantes

Grande parte do estudo de séries numéricas se resume, na verdade, a analisar sua convergência ou divergência. Há alguns tipos específicos de séries em que é muito simples observar se estas convergem ou não, fato que as permite serem usadas como comparação para estudar a convergência de outras séries semelhantes. São elas:

### Série telescópica (de Mengoli)

Considere uma série qualquer $\sum _{n=1}^{\infty }a_{n}$ tal que $a_{n}=u_{n}-u_{n+1}$. Define-se série telescópica, toda série do tipo
$\sum _{n=1}^{\infty }(u_{n}-u_{n+1})=(u_{1}-u_{2})+(u_{2}-u_{3})+...+(u_{n}-u_{n+1})+...$
e então a sequência $S_{k}$ das somas parciais tem a seguinte característica:
$S_{k}=\sum _{n=1}^{k}(u_{n}-u_{n+1})=(u_{1}-u_{2})+(u_{2}-u_{3})+...+(u_{k-1}-u_{k})+(u_{k}-u_{k+1})=u_{1}-u_{k+1}$.
Observação: a expressão “telescópica” dada a esse tipo de série é uma analogia aos antigos telescópios que eram compostos por várias partes. Quando abertos se viam todas essas partes, mas se fechados, conseguia-se ver apenas a primeira e a última parte. Em toda série telescópica isso também acontece com suas somas parciais, os termos intermediários se cancelam, restando apenas o primeiro e o último termo.
Teorema: Uma série telescópica converge quando a sequência $(u_{k})$ converge. Então, sua soma será $S=u_{1}-\lim _{k\to \infty }u_{k+1}$.
Demonstração:
Tomando o limite da sequência $S_{k}$
$S=\lim _{k\to \infty }S_{k}=\lim _{k\to \infty }(u_{1}-u_{k+1})=u_{1}-\lim _{k\to \infty }u_{k+1}$
observa-se que $u_{1}$ é o primeiro termo da sequência, portanto um número real e por hipótese a sequência $(u_{k})$ converge, o que implica que $(u_{k+1})$ também converge, logo a sequência $S_{k}$ das somas parciais também converge e por fim, a série converge.
$\therefore$ A soma de uma série telescópica existe (a série converge) quando a sequência $(u_{k})$ converge e é igual a $S=u_{1}-\lim _{k\to \infty }u_{k+1}$. $\blacksquare$
Exemplo 1: A série $\sum _{n=1}^{\infty }{\frac {1}{n(n+1)}}\Rightarrow a_{n}={\frac {1}{n(n+1)}}$ é convergente e o valor de sua soma é igual a $1$. Pode-se observar isso ao manipular o termo geral da série utilizando a técnica de frações parciais:
${\frac {1}{n(n+1)}}={\frac {A}{n}}+{\frac {B}{(n+1)}}={\frac {A(n+1)+Bn}{n(n+1)}}={\frac {(A+B)n+A}{n(n+1)}}$
dessa igualdade obtém-se que $(A+B)n+A=1$, donde ${\begin{cases}A+B=0\\A=1\end{cases}}\Rightarrow {\begin{cases}B=-1\\A=1\end{cases}}$, ou seja:
$a_{n}={\frac {1}{n(n+1)}}={\frac {1}{n}}-{\frac {1}{(n+1)}}=u_{n}-u_{n+1}$$\Rightarrow \sum _{n=1}^{\infty }{\frac {1}{n(n+1)}}=\sum _{n=1}^{\infty }{\biggl{\frac {1}{n}}-{\frac {1}{(n+1)}}{\biggr ]}$.
Agora, na forma de série telescópica, a sequência $S_{k}$ das somas parciais fica $S_{k}=1-{\frac {1}{(k+1)}}$ e tomando o limite de $S_{k}$, tem-se $S=\lim _{k\to \infty }S_{k}=1-\lim _{k\to \infty }{\frac {1}{(k+1)}}=1-{\frac {1}{\infty }}=1$.
Exemplo 2: A série $\sum _{n=1}^{\infty }\ln {\biggl{\frac {n}{n+1}}{\biggr )}\Rightarrow a_{n}=\ln {\biggl{\frac {n}{n+1}}{\biggr )}$ é divergente, porque manipulando o termo geral $(a_{n})$, observa-se que:
$a_{n}=\ln {\biggl{\frac {n}{n+1}}{\biggr )}=\ln(n)-\ln(n+1)=u_{n}-u_{n+1}$$\Rightarrow \sum _{n=1}^{\infty }\ln {\biggl{\frac {n}{n+1}}{\biggr )}=\sum _{n=1}^{\infty }{\bigl\ln(n)-\ln(n+1){\bigr ]}$.
Assim, a série tem a sequência das somas parciais da forma $S_{k}=0-\ln(k+1)\Rightarrow \lim _{k\to \infty }S_{k}=-\lim _{k\to \infty }\ln(k+1)=-\infty$.

### Série geométrica

É formada pela soma dos termos de uma progressão geométrica (P.G.), que tem como termo geral $u_{n}=u_{1}.q^{n-1}$ com $u_{1}\in \mathbb {R} ^{*}$(primeiro termo da sequência) e $q\in \mathbb {R}$ (razão). Portanto, define-se série geométrica, toda série da forma
$\sum _{n=1}^{\infty }u_{1}.q^{n-1}=u_{1}+u_{1}.q+u_{1}.q^{2}+...+u_{1}.q^{n-1}+...$
Teorema: Uma série geométrica diverge se $\left\vert q\right\vert \geq 1$ e converge quando $\left\vert q\right\vert <1$, neste caso, $S=\sum _{n=1}^{\infty }u_{1}.q^{n-1}={\frac {u_{1}}{(1-q)}}$.
Demonstração:
Para $q=1$: $\sum _{n=1}^{\infty }u_{1}.q^{n-1}=\sum _{n=1}^{\infty }u_{1}.1^{n-1}=\sum _{n=1}^{\infty }u_{1}$, como $u_{1}\neq 0$, $\lim _{n\to \infty }u_{1}=u_{1}\neq 0$. Pelo teste do termo geral, conclui-se que a série é divergente quando $q=1$;
Para $q=-1$: $\sum _{n=1}^{\infty }u_{1}.q^{n-1}=\sum _{n=1}^{\infty }u_{1}.(-1)^{n-1}=u_{1}-u_{1}+u_{1}-u_{1}+...+u_{1}.(-1)^{n-1}+...$, tomando a sequência $S_{k}$ das somas parciais e analisando as subsequências $S_{2N}$ e $S_{2N+1}$, $\forall N\in \mathbb {N}$, tem-se que
$\lim _{N\to \infty }S_{2N}=(u_{1}-u_{1})+(u_{1}-u_{1})+...+(u_{1}-u_{1})=0$ e $\lim _{N\to \infty }S_{2N+1}=u_{1}+(-u_{1}+u_{1})+(-u_{1}+u_{1})+...+(-u_{1}+u_{1})=u_{1}$
ou seja, a sequência $S_{k}$ admite subsequências com limites diferentes, logo diverge e portanto, por definição, a série é divergente quando $q=-1$;
Para $\left\vert q\right\vert <1$ ou $\left\vert q\right\vert >1$: $\sum _{n=1}^{\infty }u_{1}.q^{n-1}\Rightarrow S_{k}=\sum _{n=1}^{k}u_{1}.q^{n-1}=u_{1}+u_{1}.q+u_{1}.q^{2}+...+u_{1}.q^{k-1}$.
Multiplicando esta pela razão $q$, $q.S_{k}=\sum _{n=1}^{k}u_{1}.q^{n}=u_{1}.q+u_{1}.q^{2}+u_{1}.q^{3}+...+u_{1}.q^{k}$ e fazendo
$S_{k}-q.S_{k}=\sum _{n=1}^{k}{\biglu_{1}.q^{n-1}-u_{1}.q^{n}{\bigr )}=u_{1}-u_{1}.q^{k}\Rightarrow S_{k}(1-q)=u_{1}(1-q^{k})\Rightarrow S_{k}={\frac {u_{1}(1-q^{k})}{(1-q)}}$.
Agora, aplicando o limite em $S_{k}$ vê-se que: $S=\lim _{k\to \infty }S_{k}=\lim _{k\to \infty }{\frac {u_{1}(1-q^{k})}{(1-q)}}={\frac {u_{1}}{(1-q)}}.\lim _{k\to \infty }(1-q^{k})=$${\begin{cases}{\frac {u_{1}}{(1-q)}},se\left\vert q\right\vert <1\\\pm \infty ,se\left\vert q\right\vert >1\end{cases}}$
pois a convergência deste limite está vinculada à convergência da sequência $(q^{k})$, que tende para $0$ se $-1<q<1$ e diverge para $\pm \infty$, se $\left\vert q\right\vert >1$.
$\therefore$ Uma série geométrica converge quando $\left\vert q\right\vert <1$, com $S={\frac {u_{1}}{(1-q)}}$ e diverge quando $\left\vert q\right\vert \geq 1$. $\blacksquare$
Para usar este teorema em uma série é preciso garantir que se trata de uma série geométrica, isto é, seja uma série qualquer $\sum _{n=1}^{\infty }a_{n}$, é preciso mostrar que $a_{n}=u_{1}.q^{n-1}=u_{n}$. Pode-se mostrar diretamente ao manipular algebricamente o termo geral. Ou também calcular a razão ${\frac {a_{n+1}}{a_{n}}}$ que, por definição, deve resultar em um número real para tratar-se de uma progressão geométrica. Esse número real será a razão $q$ da P.G. e tem-se que $a_{n}=u_{1}.q^{n-1}=u_{n}$, basta apenas calcular $u_{1}=a_{1}$.
Em ambos os casos $\sum _{n=1}^{\infty }a_{n}=\sum _{n=1}^{\infty }u_{1}.q^{n-1}=\sum _{n=1}^{\infty }u_{n}$.
Exemplo 1: A série $\sum _{n=1}^{\infty }{\bigl3^{2n}.5^{1-n}{\bigr )}\Rightarrow a_{n}={\bigl3^{2n}.5^{1-n}{\bigr )}$ diverge, pois consegue-se mostrar que $3^{2n}.5^{1-n}={\bigl3^{2}{\bigr )}^{n}.5^{-(n-1)}=9^{n}.{\frac {1}{5^{n-1}}}=9.{\frac {9^{n-1}}{5^{n-1}}}=9\left({\frac {9}{5}}\right)^{n-1}$ e assim, $\sum _{n=1}^{\infty }{\bigl3^{2n}.5^{1-n}{\bigr )}=\sum _{n=1}^{\infty }9\left({\frac {9}{5}}\right)^{n-1}$, pois na verdade $a_{n}=u_{1}.q^{n-1}=u_{n}$, donde $u_{1}=9$ e $q={\frac {9}{5}}$, logo, trata-se de uma série geométrica com $\left\vert q\right\vert ={\frac {9}{5}}>1$.
Exemplo 2: A série $\sum _{n=1}^{\infty }\left({\frac {4^{n}}{7^{n-1}}}\right)\Rightarrow a_{n}={\frac {4^{n}}{7^{n-1}}}$ é convergente, pode-se concluir isso ao calcular a razão ${\frac {a_{n+1}}{a_{n}}}={\frac {4^{n+1}}{7^{n}}}.{\frac {7^{n-1}}{4^{n}}}=4.7^{-1}={\frac {4}{7}}$ que resulta no número real ${\frac {4}{7}}$. Logo, trata-se de uma série geométrica com $q={\frac {4}{7}}$, $u_{1}=a_{1}={\frac {4^{1}}{7^{1-1}}}={\frac {4}{7^{0}}}=4$ e $a_{n}=4\left({\frac {4}{7}}\right)^{n-1}=u_{n}$.
Como $\left\vert q\right\vert ={\frac {4}{7}}<1$, sua soma é dada por $S={\frac {u_{1}}{(1-q)}}={\frac {4}{{\bigl1-{\frac {4}{7}}{\bigr )}}}={\frac {4}{{\bigl{\frac {7}{7}}-{\frac {4}{7}}{\bigr )}}}={\frac {4}{{\bigl{\frac {3}{7}}{\bigr )}}}=4.{\frac {7}{3}}={\frac {28}{3}}$.

### Séries harmônica e hiper-harmônica

A série harmônica é uma das séries mais importantes da Matemática e como seu nome sugere, tem a ver com os sons harmônicos produzidos pela vibração de uma corda musical. A série harmônica é da forma $\sum _{n=1}^{\infty }{\frac {1}{n}}$ e trata-se de uma série divergente. Não é uma divergência trivial, pois o seu crescimento para o infinito é muito lento. Ao tomar apenas alguns termos da sequência $S_{k}$ das somas parciais parece que esta não diverge para o infinito:
$S_{10}=2,9289$
$S_{100}=5,1873$
$S_{1000}=7,485$
$S_{10^{6}}=14,392$
$S_{10^{9}}=21,300$
$S_{10^{12}}=28,208$.
Mas ao observar mais atentamente a subsequência $S_{2^{N}}\forall N\in \mathbb {N}$ de $S_{k}$, vê-se que:
$S_{2^{1}}=S_{2}=1+{\frac {1}{2}}>{\frac {1}{2}}+{\frac {1}{2}}={\frac {2}{2}}$
$S_{2^{2}}=S_{4}=S_{2}+{\frac {1}{3}}+{\frac {1}{4}}>S_{2}+{\frac {1}{4}}+{\frac {1}{4}}=S_{2}+{\frac {1}{2}}>{\frac {3}{2}}$
$S_{2^{3}}=S_{8}=S_{4}+{\frac {1}{5}}+{\frac {1}{6}}+{\frac {1}{7}}+{\frac {1}{8}}>S_{4}+{\frac {1}{8}}+{\frac {1}{8}}+{\frac {1}{8}}+{\frac {1}{8}}=S_{4}+{\frac {1}{2}}>{\frac {4}{2}}$
$S_{2^{4}}=S_{16}=S_{8}+{\frac {1}{9}}+{\frac {1}{10}}+{\frac {1}{11}}+{\frac {1}{12}}+{\frac {1}{13}}+{\frac {1}{14}}+{\frac {1}{15}}+{\frac {1}{16}}>S_{8}+{\frac {1}{16}}+{\frac {1}{16}}+{\frac {1}{16}}+{\frac {1}{16}}+{\frac {1}{16}}+{\frac {1}{16}}+{\frac {1}{16}}+{\frac {1}{16}}=S_{8}+{\frac {1}{2}}>{\frac {5}{2}}.$
Assim, pode-se intuir que $S_{2^{N}}>{\frac {N+1}{2}}\forall N\in \mathbb {N}$. Aplicando o limite em ambos os lados$\lim _{N\to \infty }S_{2^{N}}\geq \lim _{N\to \infty }{\frac {N+1}{2}}=+\infty$ vê-se que a subsequência $S_{2^{N}}$é divergente e portanto a sequência $S_{k}$ das somas parciais também diverge. Logo, a série harmônica é divergente.
Define-se série hiper-harmônica (p-série) as séries do tipo $\sum _{n=1}^{\infty }{\frac {c}{n^{p}}}$ com $c\in \mathbb {R}$ e $p>0$. Assim, pode-se perceber que a série harmônica nada mais é que um caso específico de série hiper-harmônica (quando $c=p=1$). Dá-se destaque à série harmônica pela sua importância tanto na teoria musical quanto na Matemática, já que ela é o “divisor de águas” entre as séries convergentes e divergentes, como observado no teorema:
Teorema: Uma série hiper-harmônica converge quando $p>1$ e diverge quando $p\leq 1$.
Demonstração:
Seja a série $\sum _{n=1}^{\infty }{\frac {c}{n^{p}}}=c.\sum _{n=1}^{\infty }{\frac {1}{n^{p}}}$, estuda-se apenas a convergência da série $\sum _{n=1}^{\infty }{\frac {1}{n^{p}}}$, pois a constante $c$ não afetará o comportamento desta. Observa-se o termo geral $u_{n}={\frac {1}{n^{p}}}$, como $p>0$ tem-se que $u_{n}>0$ e $u_{n+1}<u_{n}\forall n\in \mathbb {N}$, ou seja, a sequência é positiva e decrescente. Seja a função $f:\mathbb {R} \rightarrow \mathbb {R}$ tal que $f(n)=u_{n}\forall n\in \mathbb {N}$, isto é, $f(x)={\frac {1}{x^{p}}}$. Observa-se primeiramente que a função é contínua e positiva para $x\geq 1$. Mas também $f'(x)=-px^{-p-1}=-px^{-(p+1)}=-{\frac {p}{x^{p+1}}}<0$ vê-se que a função é decrescente, satisfazendo assim, todas as condições do critério da integral. Logo, pode-se usá-lo:
Para $p\neq 1$: $\int _{1}^{+\infty }f(x)dx=\lim _{b\to \infty }\int _{1}^{b}x^{-p}dx=\lim _{b\to \infty }\left({\frac {x^{1-p}}{1-p}}\right){\Biggl |}{\begin{matrix}b\\1\end{matrix}}=\lim _{b\to \infty }{\Biggl\left({\frac {b^{1-p}}{1-p}}\right)-\left({\frac {1}{1-p}}\right){\Biggr ]}=\left({\frac {1}{1-p}}\right).\lim _{b\to \infty }{\biglb^{1-p}-1{\bigr )}={\begin{cases}-{\frac {1}{1-p}},se1-p<0\Rightarrow p>1\\+\infty ,se1-p>0\Rightarrow p<1\end{cases}}$
pois a convergência deste limite está vinculada à convergência de $(b^{1-p})$, que converge para $0$ quando o expoente $(1-p)$ é negativo e para $+\infty$ quando este mesmo expoente é positivo, isto porque $b$ é positivo. Conclui-se que a série converge quando $p>1$ e diverge quando $p<1$.
Para $p=1$: $\int _{1}^{+\infty }f(x)dx=\lim _{b\to \infty }\int _{1}^{b}{\frac {1}{x}}dx=\lim _{b\to \infty }{\Bigl\ln \left\vert x\right\vert {\Bigr )}{\biggr |}{\begin{matrix}b\\1\end{matrix}}=\lim _{b\to \infty }{\bigl\ln b-\ln 1{\bigr )}=+\infty$. Logo, a série diverge quando $p=1$.
$\therefore$ Pelo critério da integral, uma série hiper-harmônica converge quando $p>1$ e diverge quando $p\leq 1$. $\blacksquare$
Exemplo 1: A série $\sum _{n=1}^{\infty }{\frac {\pi }{n^{\pi }}}$ converge, pois se trata de uma p-série com $p=\pi >1$. Observe que $c=\pi$.
Exemplo 2: A série $\sum _{n=1}^{\infty }{\frac {7}{2{\sqrt[{3}]{n}}}}$ diverge, pois se trata de uma p-série com $p={\frac {1}{3}}<1$. Observe que $c={\frac {7}{2}}$.

## Constantes definidas por séries

Algumas constantes matemáticas são mais frequentemente definidas diretamente através de uma série, este é o caso de:
* O número de Euler: $e=\sum _{n=0}^{\infty }{\frac {1}{n!}}$;
* A constante de Liouville, o primeiro número transcendente construído: $\gamma =\sum _{n=1}^{\infty }10^{-n!}$;
* O número $\pi$: $\pi =\sum _{n=0}^{\infty }(-1)^{n}{\frac {4}{2n+1}}$;
* A constante de Brun, que vale aproximadamente 1,9021605823, é definida como a soma dos inversos dos pares de primos gêmeos:
    $B_{2}=\left({\frac {1}{3}}+{\frac {1}{5}}\right)+\left({\frac {1}{5}}+{\frac {1}{7}}\right)+\left({\frac {1}{11}}+{\frac {1}{13}}\right)+\left({\frac {1}{17}}+{\frac {1}{19}}\right)+\left({\frac {1}{29}}+{\frac {1}{31}}\right)+\cdots$
    Essa série é convergente, em contraste com a série dos inversos dos primos, que é divergente:
    $B_{1}={\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{5}}+{\frac {1}{7}}+{\frac {1}{11}}+{\frac {1}{13}}+{\frac {1}{17}}+{\frac {1}{19}}+\cdots =\infty$.

## Rearranjo de termos

Sejam os termos $a_{n}$ de uma série. Definimos um rearranjo dos termos uma nova sequência com os mesmos termos $a_{\sigma (n)}$ onde $\sigma (n)$ é uma permutação.
* Pode-se mostrar que se uma série converge absolutamente, então pode-se rearranjar os termos sem alterar a soma.
* Se uma série de números reais é condionalmente convergente mas não absolutamente convergente, então cada cada soma pré-fixada $S,$ existe um rearranjo de termos tal que a soma da série rearranjanda é $S.$

## Funções definidas por séries

Um procedimento bastante comum em análise matemática é o de definir funções atráves de séries. Veja o exemplo:
    $\zeta (x)=\sum _{n=1}^{\infty }{\frac {1}{n^{x}}}$.
Se $x$ é um número real maior que $1$ então esta função está bem definida, o que pode ser mostrado pelo teste da integral (veja série harmônica). Um caso importante é $\zeta (2)=\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {\pi ^{2}}{6}}.$ Se $x$ é um número complexo, esta função é a famosa função zeta de Riemann a respeito da qual há um dos mais importantes problemas em aberto da matemática moderna. Quanto os termos da série são potências, então a série é dita uma série de Taylor, por exemplo:
    $S(x)=\sum _{n=1}^{\infty }{\frac {x^{n}}{n!}}$.

## Séries duplas

Defíne-se como série dupla o limite duplo a seguir:
    $\sum _{i,j=1}^{\infty }a_{ij}:=\lim _{N_{i},N_{j}\to \infty }\sum _{i=1}^{N_{i}}\sum _{j=1}^{N_{j}}a_{ij}$.

### Exemplos de séries duplas

* $\sum _{i,j=1}^{\infty }{\frac {1}{2^{i}+3^{j}}}$
* A função elíptica de Weierstrass é definida pela série dupla:
    $\wp (z;\omega _{1},\omega _{2})={\frac {1}{z^{2}}}+\sum _{m^{2}+n^{2}\neq 0}\left\{{\frac {1}{(z-m\omega _{1}-n\omega _{2})^{2}}}-{\frac {1}{\left(m\omega _{1}+n\omega _{2}\right)^{2}}}\right\}.$

## Série iteradas

Chama-se série iterada aquela cujos termos são outras séries:
* $\sum _{i=1}^{\infty }\sum _{j=1}^{\infty }a_{ij}=\sum _{i=1}^{\infty }S_{i},~~S_{i}=\sum _{j=1}^{\infty }a_{ij}$.

### Exemplos

* $\sum _{i=1}^{\infty }\sum _{j=1}^{\infty }{\frac {1}{2^{i}+3^{j}}}$.
Também podemos construir séries de somas finitas:
* $\sum _{i=1}^{\infty }\sum _{j=1}^{i}{\frac {1}{2^{i}}}=\sum _{i=1}^{\infty }{\frac {i}{2^{i}}}$.

## Sequência dos termos de uma série

Seja $\{a_{n}\}_{n=1}^{\infty }$ uma sequência real ou complexa e $p\geq 1,$ dizemos que $\{a_{n}\}_{n=1}^{\infty }$ pertence ao espaço l$^p$ se:
    $\sum _{n=1}^{\infty }|a_{n}|^{p}$ converge.

## Generalizações em espaços normados

Seja $X$ um espaço normado, $\{a_{n}\}_{n=1}^{\infty }\subseteq X,$ definimos de forma análoga:
    $S=\sum _{n=1}^{\infty }a_{n}=\lim _{N\to \infty }\sum _{n=1}^{N}a_{n},$ quando este limite existe.
A série é somável em norma se
    $\sum _{n=1}^{\infty }\|a_{n}\|$ converge.
Nestes termos, $X$ é um espaço de Banach se e somente se todo série somável em norma for também convergente.

### Exemplo

* O espaço de Hilbert das funções quadrado-somável no intervalo $[0,1],$ $L^{2}[0,1]$ munido de sua norma:
    $\|f\|_{L^{2}}=\left(\int _{0}^{1}|f(t)|^{2}dt\right)^{1/2}$
é um dos espaços mais importantes da matemática aplicada à teoria do processamento de sinais analógicos. Neste espaço, todo elemento pode ser escrito como uma série de Fourier:
    $f(t)=\sum _{n=-\infty }^{\infty }c_{n}e^{i\pi nt}dt,~~c_{n}=\int _{0}^{1}f(t)e^{-i\pi nt}dt$.
* Considere o espaço de Banach das funções contínuas definidas no intervalo $K=[0,1],$ munidas da norma do supremo. Convergência neste espaço equivale a convergência uniforme.