Série (matemática)

Aspeto mover para a barra lateral ocultar

As referências deste artigo necessitam de formatação. Por favor, utilize fontes apropriadas contendo título, autor e data para que o verbete permaneça verificável. (Agosto de 2016)

Esta página cita fontes, mas que não cobrem todo o conteúdo. Ajude a inserir referências. Conteúdo não verificável pode ser removido.—Encontre fontes: ABW • CAPES • Google (N • L • A) (Janeiro de 2012)

Cálculo
Teorema fundamental Limite de funções Continuidade Teorema do valor médio Teorema de Rolle
CálculoDefinições Derivada Diferencial Diferencial de uma função Generalizações da derivada Conceitos Notações para diferenciação Segunda derivada Terceira derivada Mudança de variáveis Derivação implícita Taxas relativas Teorema de Taylor Tabela de derivadas Somas Produto Regra da cadeia Potências Quocientes Fórmula de Faà di Bruno
Cálculo integral Tábua de integrais Definições Primitiva Integral Integral imprópria Integral de Riemann Integral de Lebesgue Integral de linha Integração por partes discos cascas cilíndricas substituição substituição trigonométrica Frações parciais mudança de ordem fórmulas de redução
Série Geométrica Aritmético-geométrica Harmônica Alternada Potências Binomial Taylor Laurent Fourier Testes de convergência Teste da divergência Razão Raiz Integral Comparação direta Comparação no limite Série alternada Condensação de Cauchy Dirichlet Abel
Cálculo vetorial Gradiente Divergência Rotacional Laplaciano Teorema do gradiente Teorema de Green Teorema de Stokes Teorema da divergência Derivada direcional
Cálculo com múltiplas variáveisFormalismo Matriz Tensor Exterior Geométrico Definições Derivada parcial Integral múltipla Integral de linha Integral de superfície Integral de volume Matriz jacobiana
Cálculo especializado Cálculo de variações Fracional Malliavin Estocástico
v d e

Em matemática, define-se uma série ou série infinita, a partir de uma sequência a n {\displaystyle {a_{n}}} ${a_{n}}$ , a soma infinita

∑ n = 1 ∞ {\displaystyle \sum _{n=1}^{\infty }}

\sum _{n=1}^{\infty }

a n = a 1 + a 2 + a 3 + . . . + a n + . . . {\displaystyle a_{n}=a_{1}+a_{2}+a_{3}+...+a_{n}+...}

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: ∑ n = 1 ∞ {\displaystyle \sum _{n=1}^{\infty }} $\sum _{n=1}^{\infty }$ ( − 1 ) n − 1 = ( 1 − 1 ) ⏟ 0 + ( 1 − 1 ) ⏟ 0 + ( 1 − 1 ) ⏟ 0 + ⋯ = 0 {\displaystyle (-1)^{n-1}=\underbrace {(1-1)} _{0}+\underbrace {(1-1)} _{0}+\underbrace {(1-1)} _{0}+\cdots =0} $(-1)^{n-1}=\underbrace {(1-1)} _{0}+\underbrace {(1-1)} _{0}+\underbrace {(1-1)} _{0}+\cdots =0$ .

Ou,

∑ n = 1 ∞ {\displaystyle \sum _{n=1}^{\infty }} $\sum _{n=1}^{\infty }$ ( − 1 ) n − 1 = 1 + ( − 1 + 1 ) ⏟ 0 + ( − 1 + 1 ) ⏟ 0 + ( − 1 + 1 ) ⏟ 0 + ⋯ = 1 {\displaystyle (-1)^{n-1}=1+\underbrace {(-1+1)} _{0}+\underbrace {(-1+1)} _{0}+\underbrace {(-1+1)} _{0}+\cdots =1} $(-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: ∑ n = 1 ∞ 1 = 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + . . . = ∞ {\displaystyle \sum _{n=1}^{\infty }1=1+1+1+1+1+1+1+1+...=\infty } $\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 = ∑ n = 1 ∞ {\displaystyle S=\sum _{n=1}^{\infty }} $S=\sum _{n=1}^{\infty }$ ( − 1 ) n n + 1 {\displaystyle {\frac {(-1)^{n}}{n+1}}} ${\frac {(-1)^{n}}{n+1}}$ = 1 1 − 1 2 + 1 3 − 1 4 + . . . {\displaystyle {\frac {1}{1}}-{\frac {1}{2}}+{\frac {1}{3}}-{\frac {1}{4}}+...} ${\frac {1}{1}}-{\frac {1}{2}}+{\frac {1}{3}}-{\frac {1}{4}}+...$ e 3 2 S = 3 2 ∑ n = 1 ∞ ( − 1 ) n n + 1 = ∑ n = 1 ∞ ( 1 4 n − 3 + 1 4 n − 1 − 1 2 n ) = 1 1 + 1 3 − 1 2 + 1 5 + 1 7 − 1 4 + ⋯ {\displaystyle {\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 } ${\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 3 2 S = S {\displaystyle {\frac {3}{2}}S=S} ${\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 . . . {\displaystyle u_{1},u_{2},u_{3}...} $u_{1},u_{2},u_{3}...$ , da seguinte forma:

∑ n = 1 ∞ {\displaystyle \sum _{n=1}^{\infty }} $\sum _{n=1}^{\infty }$ u n {\displaystyle u_{n}} $u_{n}$ = u 1 + u 2 + u 3 + u 4 + . . . {\displaystyle u_{1}+u_{2}+u_{3}+u_{4}+...} $u_{1}+u_{2}+u_{3}+u_{4}+...$

Observe que é necessária a soma ordenada, para fugir dos problemas apontados acima.

Um primeiro exemplo: A corrida de Aquiles vista pelo Paradoxo de Zenão

Zenão foi um filósofo grego pré-socrático. Ele 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,1111	1111,1111	1111,111	0,0001

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 10000 9 {\displaystyle {\frac {10000}{9}}} ${\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 + ⋯ = 10000 9 {\displaystyle S=1000+100+10+1+0,1+0,01+\cdots ={\frac {10000}{9}}} $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

Cauchy formalizou o estudo das séries.

Generalizando para todo caso temos que, se forem u 1 , u 2 , u 3 , … , u n , … {\displaystyle u_{1},u_{2},u_{3},\ldots ,u_{n},\ldots } $u_{1},u_{2},u_{3},\ldots ,u_{n},\ldots$ os termos da sequência que desejamos somar, a soma S {\displaystyle S} $S$ da série será: S = ∑ n = 1 ∞ u n {\displaystyle S=\sum _{n=1}^{\infty }u_{n}} $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 = ∑ u n {\displaystyle S=\sum _{}^{}u_{n}} $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 {\displaystyle u_{1}=1000,u_{2}=100,u_{3}=10} $u_{1}=1000,u_{2}=100,u_{3}=10$ ,

u n = 1000 1 ∗ ( 1 10 ) n − 1 {\displaystyle u_{n}={\frac {1000}{1}}*\left({\frac {1}{10}}\right)^{n-1}} $u_{n}={\frac {1000}{1}}*\left({\frac {1}{10}}\right)^{n-1}$ e S = ∑ n = 1 ∞ u n = ∑ n = 1 ∞ 1000 ( 1 10 ) n − 1 {\displaystyle S=\sum _{n=1}^{\infty }u_{n}=\sum _{n=1}^{\infty }1000\left({\frac {1}{10}}\right)^{n-1}} $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 {\displaystyle S_{k}} $S_{k}$ . Sendo , S k {\displaystyle S_{k}} $S_{k}$ a soma dos k primeiros termos de uma série, denotando isso por:

S k = ∑ n = 1 k u n = u 1 + u 2 + u 3 + . . . + u k {\displaystyle S_{k}=\sum _{n=1}^{k}u_{n}=u_{1}+u_{2}+u_{3}+...+u_{k}} $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 = ∑ n = 1 ∞ u n = lim k → ∞ ∑ n = 1 k u n = lim k → ∞ S k {\displaystyle S=\sum _{n=1}^{\infty }u_{n}=\lim _{k\to \infty }\sum _{n=1}^{k}u_{n}=\lim _{k\to \infty }S_{k}} $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

Aquiles

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 π {\displaystyle \pi } $\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 π . {\displaystyle \pi .} $\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 das séries quanto à convergência

Nome		Limite ∑ n = 1 ∞ a n {\displaystyle \sum _{n=1}^{\infty }a_{n}} $\sum _{n=1}^{\infty }a_{n}$ existe?	Limite ∑ n = 1 ∞ \| a n \| {\displaystyle \sum _{n=1}^{\infty }\|a_{n}\|} $\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	∑ n = 1 ∞ a n , ∀ \| a \| < 1 {\displaystyle \sum _{n=1}^{\infty }a^{n},\forall \|a\|<1} $\sum _{n=1}^{\infty }a^{n},\forall \|a\|<1$ .
	condicionalmente convergente	Sim e é finito	Não existe	A soma ∑ n = 1 ∞ ( − 1 ) n + 1 n {\displaystyle \sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}}} $\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}}$ converge, mas se a tomarmos em módulo teremos uma soma divergente.
Série divergente		Não existe	-	Os somatórios ∑ n = 1 ∞ 1 n {\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n}}} $\sum _{n=1}^{\infty }{\frac {1}{n}}$ e ∑ n = 1 ∞ n {\displaystyle \sum _{n=1}^{\infty }n} $\sum _{n=1}^{\infty }n$ divergem.
Série oscilante		Não	-	O somatório ∑ n = 0 ∞ ( − 1 ) n {\displaystyle \sum _{n=0}^{\infty }(-1)^{n}} $\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 ∑ n = 1 ∞ a n {\displaystyle \sum _{n=1}^{\infty }a_{n}} $\sum _{n=1}^{\infty }a_{n}$ uma série de números positivos e f ( x ) : → R {\displaystyle f(x):\to \mathbb {R} } $f(x):\to \mathbb {R}$ uma função com as seguintes propriedades:

f ( x ) ≥ 0 ; {\displaystyle f(x)\geq 0;} $f(x)\geq 0;$
f ( x ) {\displaystyle f(x)} $f(x)$ é decrescente;
f ( n ) = a n . {\displaystyle f(n)=a_{n}.} $f(n)=a_{n}.$

Então ∑ n = 1 ∞ a n {\displaystyle \sum _{n=1}^{\infty }a_{n}} $\sum _{n=1}^{\infty }a_{n}$ converge se e somente se ∫ 1 ∞ f ( x ) d x {\displaystyle \int _{1}^{\infty }f(x)dx} $\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 ∑ n = 1 ∞ a n {\displaystyle \sum _{n=1}^{\infty }a_{n}} $\sum _{n=1}^{\infty }a_{n}$ e ∑ n = 1 ∞ b n {\displaystyle \sum _{n=1}^{\infty }b_{n}} $\sum _{n=1}^{\infty }b_{n}$ séries de termos positivos. Então:

Se lim n → ∞ a n b n = C , {\displaystyle \lim _{n\rightarrow \infty }{\frac {a_{n}}{b_{n}}}=C,} $\lim _{n\rightarrow \infty }{\frac {a_{n}}{b_{n}}}=C,$ sendo C {\displaystyle C} $C$ um número e 0 < C < ∞ , {\displaystyle 0<C<\infty ,} $0<C<\infty ,$ temos:

ambas as séries divergem ou ambas as séries convergem.

Obs.: Se C = 0 , {\displaystyle C=0,} $C=0,$ então:

Se b n {\displaystyle {b_{n}}}

{b_{n}}

é convergente → a n {\displaystyle {a_{n}}}

{a_{n}}

é convergente.

Este teste admite uma ligeira modificação através do uso do limite superior:

Se lim sup n → ∞ a n b n < ∞ , {\displaystyle \limsup _{n\rightarrow \infty }{\frac {a_{n}}{b_{n}}}<\infty ,} $\limsup _{n\rightarrow \infty }{\frac {a_{n}}{b_{n}}}<\infty ,$ temos que:

Se b n {\displaystyle {b_{n}}}

{b_{n}}

é convergente → a n {\displaystyle {a_{n}}}

{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 ∑ k = 1 ∞ a k {\displaystyle \sum _{k=1}^{\infty }a_{k}} $\sum _{k=1}^{\infty }a_{k}$ e ∑ k = 1 ∞ b k , {\displaystyle \sum _{k=1}^{\infty }b_{k},} $\sum _{k=1}^{\infty }b_{k},$ imaginemos que existe um número natural p {\displaystyle p} $p$ tal que, para k ≥ p , {\displaystyle k\geq p,} $k\geq p,$ temos:

a k + 1 a k ≤ b k + 1 b k {\displaystyle {\frac {a_{k+1}}{a_{k}}}\leq {\frac {b_{k+1}}{b_{k}}}} ${\frac {a_{k+1}}{a_{k}}}\leq {\frac {b_{k+1}}{b_{k}}}$ .

Então

∑ k = 1 ∞ b k {\displaystyle \sum _{k=1}^{\infty }b_{k}} $\sum _{k=1}^{\infty }b_{k}$ convergente ⇒ ∑ k = 1 ∞ a k {\displaystyle \sum _{k=1}^{\infty }a_{k}} $\sum _{k=1}^{\infty }a_{k}$ convergente;
∑ k = 1 ∞ a k {\displaystyle \sum _{k=1}^{\infty }a_{k}} $\sum _{k=1}^{\infty }a_{k}$ divergente ⇒ ∑ k = 1 ∞ b k {\displaystyle \sum _{k=1}^{\infty }b_{k}} $\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 ∑ n = 1 ∞ a n {\displaystyle \sum _{n=1}^{\infty }a_{n}} $\sum _{n=1}^{\infty }a_{n}$ converge, então seu termo geral a n {\displaystyle a_{n}} $a_{n}$ converge para zero.

Observe cuidadosamente que a recíproca não é verdadeira, um contra-exemplo simples é a série harmônica:

∑ n = 1 ∞ 1 n {\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n}}}

\sum _{n=1}^{\infty }{\frac {1}{n}}

onde o termo geral 1 n {\displaystyle {\frac {1}{n}}} ${\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:

∑ n = 1 ∞ a n {\displaystyle \sum _{n=1}^{\infty }a_{n}} $\sum _{n=1}^{\infty }a_{n}$
∑ n = 1 ∞ b n {\displaystyle \sum _{n=1}^{\infty }b_{n}} $\sum _{n=1}^{\infty }b_{n}$ .

Então se 0 ≤ a n ≤ b n {\displaystyle 0\leq a_{n}\leq b_{n}} $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 | ≤ b n , {\displaystyle |a_{n}|\leq b_{n},} $|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 ∑ n = 1 ∞ a n {\displaystyle \sum _{n=1}^{\infty }a_{n}} $\sum _{n=1}^{\infty }a_{n}$ , com a n > 0 {\displaystyle a_{n}>0} $a_{n}>0$ para todo n > q {\displaystyle n>q} $n>q$ , onde q {\displaystyle q} $q$ é um natural fixo.

Suponha que: lim n → ∞ a n + 1 a n {\displaystyle \lim _{n\to \infty }{\frac {a_{n+1}}{a_{n}}}} $\lim _{n\to \infty }{\frac {a_{n+1}}{a_{n}}}$ exista, finito ou infinito .

Seja: L = lim n → ∞ a n + 1 a n {\displaystyle L=\lim _{n\to \infty }{\frac {a_{n}+1}{a_{n}}}} $L=\lim _{n\to \infty }{\frac {a_{n}+1}{a_{n}}}$ , então:

A) L < 1 ⇒ ∑ n = 0 ∞ a n {\displaystyle L<1\Rightarrow \sum _{n=0}^{\infty }a_{n}} $L<1\Rightarrow \sum _{n=0}^{\infty }a_{n}$ é convergente;

B) L > 1 {\displaystyle L>1} $L>1$ ou L = + ∞ ⇒ ∑ n = 0 ∞ a n {\displaystyle L=+\infty \Rightarrow \sum _{n=0}^{\infty }a_{n}} $L=+\infty \Rightarrow \sum _{n=0}^{\infty }a_{n}$ é divergente ;

C) Se L = 1 {\displaystyle L=1} $L=1$ , o teste é inconclusivo.

Demonstração:

A)Tomando r {\displaystyle r} $r$ tal que L < r < 1 {\displaystyle L<r<1} $L<r<1$ . Segue que existe um natural p ⩾ q {\displaystyle p\geqslant q} $p\geqslant q$ tal que, para n ⩾ p {\displaystyle n\geqslant p} $n\geqslant p$ , a n a n + 1 < 1 {\displaystyle {\frac {a_{n}}{a_{n+1}}}<1} ${\frac {a_{n}}{a_{n+1}}}<1$ .

Exemplo:

A série ∑ n = 0 ∞ {\displaystyle \sum _{n=0}^{\infty }} $\sum _{n=0}^{\infty }$ é convergente?

Pois, como a n = 2 n ! n {\displaystyle a_{n}={\frac {2}{n!}}^{n}} $a_{n}={\frac {2}{n!}}^{n}$ , tem-se:

a n + 1 a n = 2 n + 1 ! n + 1 ÷ 2 n ! n = 2 n + 1 {\displaystyle {\frac {a_{n+1}}{a_{n}}}={\frac {2}{n+1!}}^{n+1}\div {\frac {2}{n!}}^{n}={\frac {2}{n+1}}} ${\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 → ∞ a n + 1 a n = lim n → ∞ 2 n + 1 = 0 {\displaystyle \lim _{n\to \infty }{\frac {a_{n+1}}{a_{n}}}=\lim _{n\to \infty }{\frac {2}{n+1}}=0} $\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 ⩾ q {\displaystyle p\geqslant q} $p\geqslant q$ tal que, para n ⩾ p {\displaystyle n\geqslant p} $n\geqslant p$ , a n a n + 1 ⩾ 1 {\displaystyle {\frac {a_{n}}{a_{n+1}}}\geqslant 1} ${\frac {a_{n}}{a_{n+1}}}\geqslant 1$ .

Exemplo: A série: ∑ n = 1 ∞ 1 × 4 × 7... × ( 3 n + 1 ) n 5 {\displaystyle \sum _{n=1}^{\infty }{\frac {1\times 4\times 7...\times (3n+1)}{n^{5}}}} $\sum _{n=1}^{\infty }{\frac {1\times 4\times 7...\times (3n+1)}{n^{5}}}$ .

Solução:

a n = 1 × 4 × 7... × ( 3 n + 1 ) n 5 {\displaystyle a_{n}={\frac {1\times 4\times 7...\times (3n+1)}{n^{5}}}} $a_{n}={\frac {1\times 4\times 7...\times (3n+1)}{n^{5}}}$

a n a n + 1 = 1 × 4 × 7... × ( 3 n + 1 ) × ( 3 n + 4 ) ( n + 1 ) 5 × n 5 1 × 4 × 7... × ( 3 n + 1 ) {\displaystyle {\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 {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)}}$ = 3 ( n + 1 / n ) 5 {\displaystyle ={\frac {3}{(n+1/n)^{5}}}} $={\frac {3}{(n+1/n)^{5}}}$ .

Segue que

lim n → ∞ a n + 1 a n = ∞ {\displaystyle \lim _{n\to \infty }{\frac {a_{n+1}}{a_{n}}}=\infty } $\lim _{n\to \infty }{\frac {a_{n+1}}{a_{n}}}=\infty$ .

Teste da Raiz (Critério de Cauchy)

Considere a série ∑ n = 1 ∞ a n {\displaystyle \sum _{n=1}^{\infty }a_{n}} $\sum _{n=1}^{\infty }a_{n}$ , com a n > 0 {\displaystyle a_{n}>0} $a_{n}>0$ para todo n > q {\displaystyle n>q} $n>q$ , onde q {\displaystyle q} $q$ é um natural fixo. Suponha que lim n → ∞ a n n {\displaystyle \lim _{n\to \infty }{\sqrt{a_{n}}}} $\lim _{n\to \infty }{\sqrt{a_{n}}}$ exista, finto ou infinito.

seja: L = lim n → ∞ a n n {\displaystyle L=\lim _{n\to \infty }{\sqrt{a_{n}}}} $L=\lim _{n\to \infty }{\sqrt{a_{n}}}$ .

Então:

A) L < 1 ⇒ ∑ n = 0 ∞ a n {\displaystyle L<1\Rightarrow \sum _{n=0}^{\infty }a_{n}} $L<1\Rightarrow \sum _{n=0}^{\infty }a_{n}$ é convergente;

C) Se L = 1 {\displaystyle L=1} $L=1$ , o teste é inconclusivo

Demonstração :

Tomando-se r {\displaystyle r} $r$ tal que L < r < 1 {\displaystyle L<r<1} $L<r<1$ , existe um natural p ⩾ q {\displaystyle p\geqslant q} $p\geqslant q$ tal que, para n ⩾ p {\displaystyle n\geqslant p} $n\geqslant p$ , a n n < r {\displaystyle {\sqrt{a_{n}}}<r} ${\sqrt{a_{n}}}<r$ e, portanto, a n < r n {\displaystyle a_{n}<r^{n}} $a_{n}<r^{n}$ .

A convergência da série segue por comparação com a série geométrica

∑ n = 0 ∞ r n {\displaystyle \sum _{n=0}^{\infty }r^{n}} $\sum _{n=0}^{\infty }r^{n}$ .

Exemplo:

A série ∑ n = 0 ∞ n 3 3 n {\displaystyle \sum _{n=0}^{\infty }{\frac {n^{3}}{3^{n}}}} $\sum _{n=0}^{\infty }{\frac {n^{3}}{3^{n}}}$ é convergente?

Sim, pois:

aplicando o teste da raiz, temos:

lim n → ∞ a n n = lim n → ∞ n 3 3 n n = 1 3 {\displaystyle \lim _{n\to \infty }{\sqrt{a_{n}}}=\lim _{n\to \infty }{\sqrt{\frac {n^{3}}{3^{n}}}}={\frac {1}{3}}} $\lim _{n\to \infty }{\sqrt{a_{n}}}=\lim _{n\to \infty }{\sqrt{\frac {n^{3}}{3^{n}}}}={\frac {1}{3}}$ , pois lim n → ∞ n 3 n = 1 {\displaystyle \lim _{n\to \infty }{\sqrt{n^{3}}}=1} $\lim _{n\to \infty }{\sqrt{n^{3}}}=1$ e lim n → ∞ 3 n n = 3 {\displaystyle \lim _{n\to \infty }{\sqrt{3^{n}}}=3} $\lim _{n\to \infty }{\sqrt{3^{n}}}=3$ .

Logo, a série é divergente.

Observação: seja a série ∑ n = 0 ∞ a n {\displaystyle \sum _{n=0}^{\infty }a_{n}} $\sum _{n=0}^{\infty }a_{n}$ , com a n > 0 {\displaystyle a_{n}>0} $a_{n}>0$ . Se ocorrer lim n → ∞ a n + 1 a n = 1 {\displaystyle \lim _{n\to \infty }{\frac {a_{n+1}}{a_{n}}}=1} $\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 → ∞ a n + 1 a n = 1 {\displaystyle \lim _{n\to \infty }{\frac {a_{n+1}}{a_{n}}}=1} $\lim _{n\to \infty }{\frac {a_{n+1}}{a_{n}}}=1$ .Então teremos, também lim n → ∞ a n n {\displaystyle \lim _{n\to \infty }{\sqrt{a_{n}}}} $\lim _{n\to \infty }{\sqrt{a_{n}}}$ =1. Isto significa que se lim n → ∞ a n + 1 a n = 1 {\displaystyle \lim _{n\to \infty }{\frac {a_{n+1}}{a_{n}}}=1} $\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

∑ n = 1 ∞ a n {\displaystyle \sum _{n=1}^{\infty }a_{n}} $\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 + . . . {\displaystyle S_{n}=u_{0}-u_{1}+u_{2}-u_{3}+u_{4}+...+(-1)^{n}.u_{n}+...} $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 ∑ n = 1 ∞ a n {\displaystyle \sum _{n=1}^{\infty }a_{n}} $\sum _{n=1}^{\infty }a_{n}$ em que os termos ( a n ) ∀ n ∈ N {\displaystyle (a_{n})\forall n\in \mathbb {N} } $(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 {\displaystyle (u_{n})>0} $(u_{n})>0$ tem-se a n = ( − 1 ) n − 1 . u n {\displaystyle a_{n}=(-1)^{n-1}.u_{n}} $a_{n}=(-1)^{n-1}.u_{n}$ ou a n = ( − 1 ) n . u n {\displaystyle a_{n}=(-1)^{n}.u_{n}} $a_{n}=(-1)^{n}.u_{n}$ . Sendo assim, define-se série alternada toda série do tipo

∑ n = 1 ∞ a n = ∑ n = 1 ∞ ( − 1 ) n − 1 . u n = u 1 − u 2 + u 3 − u 4 + . . . + ( − 1 ) n − 1 . u n + . . . {\displaystyle \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}+...} $\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 ∑ n = 1 ∞ a n = ∑ n = 1 ∞ ( − 1 ) n . u n = − u 1 + u 2 − u 3 + u 4 + . . . + ( − 1 ) n . u n + . . . {\displaystyle \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}+...} $\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:

∑ n = 1 ∞ a n b n {\displaystyle \sum _{n=1}^{\infty }a_{n}b_{n}}

\sum _{n=1}^{\infty }a_{n}b_{n}

quando os coeficiente b n {\displaystyle b_{n}} $b_{n}$ forma uma sequência monotônica com limite b ∞ . {\displaystyle b_{\infty }.} $b_{\infty }.$

O teste de Abel garante a convergência de ∑ n = 1 ∞ a n b n {\displaystyle \sum _{n=1}^{\infty }a_{n}b_{n}} $\sum _{n=1}^{\infty }a_{n}b_{n}$ quando ∑ n = 1 ∞ a n {\displaystyle \sum _{n=1}^{\infty }a_{n}} $\sum _{n=1}^{\infty }a_{n}$ é convergente. Já o teste de Dirichet se aplica quando b ∞ = 0 , {\displaystyle b_{\infty }=0,} $b_{\infty }=0,$ mas exige apenas que as somas parcial sejam limitadas:

| ∑ n = 1 N a n | ≤ M {\displaystyle \left|\sum _{n=1}^{N}a_{n}\right|\leq M}

\left|\sum _{n=1}^{N}a_{n}\right|\leq M

Tipos importantes de séries

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 ∑ n = 1 ∞ a n {\displaystyle \sum _{n=1}^{\infty }a_{n}} $\sum _{n=1}^{\infty }a_{n}$ tal que a n = u n − u n + 1 {\displaystyle a_{n}=u_{n}-u_{n+1}} $a_{n}=u_{n}-u_{n+1}$ . Define-se série telescópica, toda série do tipo

∑ n = 1 ∞ ( u n − u n + 1 ) = ( u 1 − u 2 ) + ( u 2 − u 3 ) + . . . + ( u n − u n + 1 ) + . . . {\displaystyle \sum _{n=1}^{\infty }(u_{n}-u_{n+1})=(u_{1}-u_{2})+(u_{2}-u_{3})+...+(u_{n}-u_{n+1})+...} $\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 {\displaystyle S_{k}} $S_{k}$ das somas parciais tem a seguinte característica:

S k = ∑ 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 {\displaystyle 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}} $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 ) {\displaystyle (u_{k})} $(u_{k})$ converge. Então, sua soma será S = u 1 − lim k → ∞ u k + 1 {\displaystyle S=u_{1}-\lim _{k\to \infty }u_{k+1}} $S=u_{1}-\lim _{k\to \infty }u_{k+1}$ .

Demonstração:

Tomando o limite da sequência S k {\displaystyle S_{k}} $S_{k}$

S = lim k → ∞ S k = lim k → ∞ ( u 1 − u k + 1 ) = u 1 − lim k → ∞ u k + 1 {\displaystyle 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}} $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 {\displaystyle u_{1}} $u_{1}$ é o primeiro termo da sequência, portanto um número real e por hipótese a sequência ( u k ) {\displaystyle (u_{k})} $(u_{k})$ converge, o que implica que ( u k + 1 ) {\displaystyle (u_{k+1})} $(u_{k+1})$ também converge, logo a sequência S k {\displaystyle S_{k}} $S_{k}$ das somas parciais também converge e por fim, a série converge.

∴ {\displaystyle \therefore } $\therefore$ A soma de uma série telescópica existe (a série converge) quando a sequência ( u k ) {\displaystyle (u_{k})} $(u_{k})$ converge e é igual a S = u 1 − lim k → ∞ u k + 1 {\displaystyle S=u_{1}-\lim _{k\to \infty }u_{k+1}} $S=u_{1}-\lim _{k\to \infty }u_{k+1}$ . ◼ {\displaystyle \blacksquare } $\blacksquare$

Exemplo 1: A série ∑ n = 1 ∞ 1 n ( n + 1 ) ⇒ a n = 1 n ( n + 1 ) {\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n(n+1)}}\Rightarrow a_{n}={\frac {1}{n(n+1)}}} $\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 {\displaystyle 1} $1$ . Pode-se observar isso ao manipular o termo geral da série utilizando a técnica de frações parciais:

1 n ( n + 1 ) = A n + B ( n + 1 ) = A ( n + 1 ) + B n n ( n + 1 ) = ( A + B ) n + A n ( n + 1 ) {\displaystyle {\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)}}} ${\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 {\displaystyle (A+B)n+A=1} $(A+B)n+A=1$ , donde { A + B = 0 A = 1 ⇒ { B = − 1 A = 1 {\displaystyle {\begin{cases}A+B=0\\A=1\end{cases}}\Rightarrow {\begin{cases}B=-1\\A=1\end{cases}}} ${\begin{cases}A+B=0\\A=1\end{cases}}\Rightarrow {\begin{cases}B=-1\\A=1\end{cases}}$ , ou seja:

a n = 1 n ( n + 1 ) = 1 n − 1 ( n + 1 ) = u n − u n + 1 {\displaystyle a_{n}={\frac {1}{n(n+1)}}={\frac {1}{n}}-{\frac {1}{(n+1)}}=u_{n}-u_{n+1}} $a_{n}={\frac {1}{n(n+1)}}={\frac {1}{n}}-{\frac {1}{(n+1)}}=u_{n}-u_{n+1}$ ⇒ ∑ n = 1 ∞ 1 n ( n + 1 ) = ∑ n = 1 ∞ {\displaystyle \Rightarrow \sum _{n=1}^{\infty }{\frac {1}{n(n+1)}}=\sum _{n=1}^{\infty }{\biggl }} $\Rightarrow \sum _{n=1}^{\infty }{\frac {1}{n(n+1)}}=\sum _{n=1}^{\infty }{\biggl }$ .

Agora, na forma de série telescópica, a sequência S k {\displaystyle S_{k}} $S_{k}$ das somas parciais fica S k = 1 − 1 ( k + 1 ) {\displaystyle S_{k}=1-{\frac {1}{(k+1)}}} $S_{k}=1-{\frac {1}{(k+1)}}$ e tomando o limite de S k {\displaystyle S_{k}} $S_{k}$ , tem-se S = lim k → ∞ S k = 1 − lim k → ∞ 1 ( k + 1 ) = 1 − 1 ∞ = 1 {\displaystyle S=\lim _{k\to \infty }S_{k}=1-\lim _{k\to \infty }{\frac {1}{(k+1)}}=1-{\frac {1}{\infty }}=1} $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 ∑ n = 1 ∞ ln ⁡ ( n n + 1 ) ⇒ a n = ln ⁡ ( n n + 1 ) {\displaystyle \sum _{n=1}^{\infty }\ln {\biggl (}{\frac {n}{n+1}}{\biggr )}\Rightarrow a_{n}=\ln {\biggl (}{\frac {n}{n+1}}{\biggr )}} $\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 ) {\displaystyle (a_{n})} $(a_{n})$ , observa-se que:

a n = ln ⁡ ( n n + 1 ) = ln ⁡ ( n ) − ln ⁡ ( n + 1 ) = u n − u n + 1 {\displaystyle a_{n}=\ln {\biggl (}{\frac {n}{n+1}}{\biggr )}=\ln(n)-\ln(n+1)=u_{n}-u_{n+1}} $a_{n}=\ln {\biggl (}{\frac {n}{n+1}}{\biggr )}=\ln(n)-\ln(n+1)=u_{n}-u_{n+1}$ ⇒ ∑ n = 1 ∞ ln ⁡ ( n n + 1 ) = ∑ n = 1 ∞ {\displaystyle \Rightarrow \sum _{n=1}^{\infty }\ln {\biggl (}{\frac {n}{n+1}}{\biggr )}=\sum _{n=1}^{\infty }{\bigl }} $\Rightarrow \sum _{n=1}^{\infty }\ln {\biggl (}{\frac {n}{n+1}}{\biggr )}=\sum _{n=1}^{\infty }{\bigl }$ .

Assim, a série tem a sequência das somas parciais da forma S k = 0 − ln ⁡ ( k + 1 ) ⇒ lim k → ∞ S k = − lim k → ∞ ln ⁡ ( k + 1 ) = − ∞ {\displaystyle S_{k}=0-\ln(k+1)\Rightarrow \lim _{k\to \infty }S_{k}=-\lim _{k\to \infty }\ln(k+1)=-\infty } $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 {\displaystyle u_{n}=u_{1}.q^{n-1}} $u_{n}=u_{1}.q^{n-1}$ com u 1 ∈ R ∗ {\displaystyle u_{1}\in \mathbb {R} ^{*}} $u_{1}\in \mathbb {R} ^{*}$ (primeiro termo da sequência) e q ∈ R {\displaystyle q\in \mathbb {R} } $q\in \mathbb {R}$ (razão). Portanto, define-se série geométrica, toda série da forma

∑ n = 1 ∞ u 1 . q n − 1 = u 1 + u 1 . q + u 1 . q 2 + . . . + u 1 . q n − 1 + . . . {\displaystyle \sum _{n=1}^{\infty }u_{1}.q^{n-1}=u_{1}+u_{1}.q+u_{1}.q^{2}+...+u_{1}.q^{n-1}+...} $\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 | q | ≥ 1 {\displaystyle \left\vert q\right\vert \geq 1} $\left\vert q\right\vert \geq 1$ e converge quando | q | < 1 {\displaystyle \left\vert q\right\vert <1} $\left\vert q\right\vert <1$ , neste caso, S = ∑ n = 1 ∞ u 1 . q n − 1 = u 1 ( 1 − q ) {\displaystyle S=\sum _{n=1}^{\infty }u_{1}.q^{n-1}={\frac {u_{1}}{(1-q)}}} $S=\sum _{n=1}^{\infty }u_{1}.q^{n-1}={\frac {u_{1}}{(1-q)}}$ .

Demonstração:

Para q = 1 {\displaystyle q=1} $q=1$ : ∑ n = 1 ∞ u 1 . q n − 1 = ∑ n = 1 ∞ u 1 .1 n − 1 = ∑ n = 1 ∞ u 1 {\displaystyle \sum _{n=1}^{\infty }u_{1}.q^{n-1}=\sum _{n=1}^{\infty }u_{1}.1^{n-1}=\sum _{n=1}^{\infty }u_{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 ≠ 0 {\displaystyle u_{1}\neq 0} $u_{1}\neq 0$ , lim n → ∞ u 1 = u 1 ≠ 0 {\displaystyle \lim _{n\to \infty }u_{1}=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 {\displaystyle q=1} $q=1$ ;

Para q = − 1 {\displaystyle q=-1} $q=-1$ : ∑ n = 1 ∞ u 1 . q n − 1 = ∑ n = 1 ∞ u 1 . ( − 1 ) n − 1 = u 1 − u 1 + u 1 − u 1 + . . . + u 1 . ( − 1 ) n − 1 + . . . {\displaystyle \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}+...} $\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 {\displaystyle S_{k}} $S_{k}$ das somas parciais e analisando as subsequências S 2 N {\displaystyle S_{2N}} $S_{2N}$ e S 2 N + 1 {\displaystyle S_{2N+1}} $S_{2N+1}$ , ∀ N ∈ N {\displaystyle \forall N\in \mathbb {N} } $\forall N\in \mathbb {N}$ , tem-se que

lim N → ∞ S 2 N = ( u 1 − u 1 ) + ( u 1 − u 1 ) + . . . + ( u 1 − u 1 ) = 0 {\displaystyle \lim _{N\to \infty }S_{2N}=(u_{1}-u_{1})+(u_{1}-u_{1})+...+(u_{1}-u_{1})=0} $\lim _{N\to \infty }S_{2N}=(u_{1}-u_{1})+(u_{1}-u_{1})+...+(u_{1}-u_{1})=0$ e lim N → ∞ S 2 N + 1 = u 1 + ( − u 1 + u 1 ) + ( − u 1 + u 1 ) + . . . + ( − u 1 + u 1 ) = u 1 {\displaystyle \lim _{N\to \infty }S_{2N+1}=u_{1}+(-u_{1}+u_{1})+(-u_{1}+u_{1})+...+(-u_{1}+u_{1})=u_{1}} $\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 {\displaystyle S_{k}} $S_{k}$ admite subsequências com limites diferentes, logo diverge e portanto, por definição, a série é divergente quando q = − 1 {\displaystyle q=-1} $q=-1$ ;

Para | q | < 1 {\displaystyle \left\vert q\right\vert <1} $\left\vert q\right\vert <1$ ou | q | > 1 {\displaystyle \left\vert q\right\vert >1} $\left\vert q\right\vert >1$ : ∑ n = 1 ∞ u 1 . q n − 1 ⇒ S k = ∑ n = 1 k u 1 . q n − 1 = u 1 + u 1 . q + u 1 . q 2 + . . . + u 1 . q k − 1 {\displaystyle \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}} $\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 {\displaystyle q} $q$ , q . S k = ∑ n = 1 k u 1 . q n = u 1 . q + u 1 . q 2 + u 1 . q 3 + . . . + u 1 . q k {\displaystyle 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}} $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 = ∑ n = 1 k ( u 1 . q n − 1 − u 1 . q n ) = u 1 − u 1 . q k ⇒ S k ( 1 − q ) = u 1 ( 1 − q k ) ⇒ S k = u 1 ( 1 − q k ) ( 1 − q ) {\displaystyle S_{k}-q.S_{k}=\sum _{n=1}^{k}{\bigl (}u_{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)}}} $S_{k}-q.S_{k}=\sum _{n=1}^{k}{\bigl (}u_{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 {\displaystyle S_{k}} $S_{k}$ vê-se que: S = lim k → ∞ S k = lim k → ∞ u 1 ( 1 − q k ) ( 1 − q ) = u 1 ( 1 − q ) . lim k → ∞ ( 1 − q k ) = {\displaystyle 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})=} $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})=$ { u 1 ( 1 − q ) , s e | q | < 1 ± ∞ , s e | q | > 1 {\displaystyle {\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}}} ${\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 ) {\displaystyle (q^{k})} $(q^{k})$ , que tende para 0 {\displaystyle 0} $0$ se − 1 < q < 1 {\displaystyle -1<q<1} $-1<q<1$ e diverge para ± ∞ {\displaystyle \pm \infty } $\pm \infty$ , se | q | > 1 {\displaystyle \left\vert q\right\vert >1} $\left\vert q\right\vert >1$ .

∴ {\displaystyle \therefore } $\therefore$ Uma série geométrica converge quando | q | < 1 {\displaystyle \left\vert q\right\vert <1} $\left\vert q\right\vert <1$ , com S = u 1 ( 1 − q ) {\displaystyle S={\frac {u_{1}}{(1-q)}}} $S={\frac {u_{1}}{(1-q)}}$ e diverge quando | q | ≥ 1 {\displaystyle \left\vert q\right\vert \geq 1} $\left\vert q\right\vert \geq 1$ . ◼ {\displaystyle \blacksquare } $\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 ∑ n = 1 ∞ a n {\displaystyle \sum _{n=1}^{\infty }a_{n}} $\sum _{n=1}^{\infty }a_{n}$ , é preciso mostrar que a n = u 1 . q n − 1 = u n {\displaystyle a_{n}=u_{1}.q^{n-1}=u_{n}} $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 a n + 1 a n {\displaystyle {\frac {a_{n+1}}{a_{n}}}} ${\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 {\displaystyle q} $q$ da P.G. e tem-se que a n = u 1 . q n − 1 = u n {\displaystyle a_{n}=u_{1}.q^{n-1}=u_{n}} $a_{n}=u_{1}.q^{n-1}=u_{n}$ , basta apenas calcular u 1 = a 1 {\displaystyle u_{1}=a_{1}} $u_{1}=a_{1}$ .

Em ambos os casos ∑ n = 1 ∞ a n = ∑ n = 1 ∞ u 1 . q n − 1 = ∑ n = 1 ∞ u n {\displaystyle \sum _{n=1}^{\infty }a_{n}=\sum _{n=1}^{\infty }u_{1}.q^{n-1}=\sum _{n=1}^{\infty }u_{n}} $\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 ∑ n = 1 ∞ ( 3 2 n .5 1 − n ) ⇒ a n = ( 3 2 n .5 1 − n ) {\displaystyle \sum _{n=1}^{\infty }{\bigl (}3^{2n}.5^{1-n}{\bigr )}\Rightarrow a_{n}={\bigl (}3^{2n}.5^{1-n}{\bigr )}} $\sum _{n=1}^{\infty }{\bigl (}3^{2n}.5^{1-n}{\bigr )}\Rightarrow a_{n}={\bigl (}3^{2n}.5^{1-n}{\bigr )}$ diverge, pois consegue-se mostrar que 3 2 n .5 1 − n = ( 3 2 ) n .5 − ( n − 1 ) = 9 n . 1 5 n − 1 = 9. 9 n − 1 5 n − 1 = 9 ( 9 5 ) n − 1 {\displaystyle 3^{2n}.5^{1-n}={\bigl (}3^{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}} $3^{2n}.5^{1-n}={\bigl (}3^{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, ∑ n = 1 ∞ ( 3 2 n .5 1 − n ) = ∑ n = 1 ∞ 9 ( 9 5 ) n − 1 {\displaystyle \sum _{n=1}^{\infty }{\bigl (}3^{2n}.5^{1-n}{\bigr )}=\sum _{n=1}^{\infty }9\left({\frac {9}{5}}\right)^{n-1}} $\sum _{n=1}^{\infty }{\bigl (}3^{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 {\displaystyle a_{n}=u_{1}.q^{n-1}=u_{n}} $a_{n}=u_{1}.q^{n-1}=u_{n}$ , donde u 1 = 9 {\displaystyle u_{1}=9} $u_{1}=9$ e q = 9 5 {\displaystyle q={\frac {9}{5}}} $q={\frac {9}{5}}$ , logo, trata-se de uma série geométrica com | q | = 9 5 > 1 {\displaystyle \left\vert q\right\vert ={\frac {9}{5}}>1} $\left\vert q\right\vert ={\frac {9}{5}}>1$ .

Exemplo 2: A série ∑ n = 1 ∞ ( 4 n 7 n − 1 ) ⇒ a n = 4 n 7 n − 1 {\displaystyle \sum _{n=1}^{\infty }\left({\frac {4^{n}}{7^{n-1}}}\right)\Rightarrow a_{n}={\frac {4^{n}}{7^{n-1}}}} $\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 a n + 1 a n = 4 n + 1 7 n . 7 n − 1 4 n = 4.7 − 1 = 4 7 {\displaystyle {\frac {a_{n+1}}{a_{n}}}={\frac {4^{n+1}}{7^{n}}}.{\frac {7^{n-1}}{4^{n}}}=4.7^{-1}={\frac {4}{7}}} ${\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 4 7 {\displaystyle {\frac {4}{7}}} ${\frac {4}{7}}$ . Logo, trata-se de uma série geométrica com q = 4 7 {\displaystyle q={\frac {4}{7}}} $q={\frac {4}{7}}$ , u 1 = a 1 = 4 1 7 1 − 1 = 4 7 0 = 4 {\displaystyle u_{1}=a_{1}={\frac {4^{1}}{7^{1-1}}}={\frac {4}{7^{0}}}=4} $u_{1}=a_{1}={\frac {4^{1}}{7^{1-1}}}={\frac {4}{7^{0}}}=4$ e a n = 4 ( 4 7 ) n − 1 = u n {\displaystyle a_{n}=4\left({\frac {4}{7}}\right)^{n-1}=u_{n}} $a_{n}=4\left({\frac {4}{7}}\right)^{n-1}=u_{n}$ .

Como | q | = 4 7 < 1 {\displaystyle \left\vert q\right\vert ={\frac {4}{7}}<1} $\left\vert q\right\vert ={\frac {4}{7}}<1$ , sua soma é dada por S = u 1 ( 1 − q ) = 4 ( 1 − 4 7 ) = 4 ( 7 7 − 4 7 ) = 4 ( 3 7 ) = 4. 7 3 = 28 3 {\displaystyle S={\frac {u_{1}}{(1-q)}}={\frac {4}{{\bigl (}1-{\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={\frac {u_{1}}{(1-q)}}={\frac {4}{{\bigl (}1-{\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 ∑ n = 1 ∞ 1 n {\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n}}} $\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 {\displaystyle S_{k}} $S_{k}$ das somas parciais parece que esta não diverge para o infinito:

S 10 = 2 , 9289 {\displaystyle S_{10}=2,9289} $S_{10}=2,9289$

S 100 = 5 , 1873 {\displaystyle S_{100}=5,1873} $S_{100}=5,1873$

S 1000 = 7 , 485 {\displaystyle S_{1000}=7,485} $S_{1000}=7,485$

S 10 6 = 14 , 392 {\displaystyle S_{10^{6}}=14,392} $S_{10^{6}}=14,392$

S 10 9 = 21 , 300 {\displaystyle S_{10^{9}}=21,300} $S_{10^{9}}=21,300$

S 10 12 = 28 , 208 {\displaystyle S_{10^{12}}=28,208} $S_{10^{12}}=28,208$ .

Mas ao observar mais atentamente a subsequência S 2 N ∀ N ∈ N {\displaystyle S_{2^{N}}\forall N\in \mathbb {N} } $S_{2^{N}}\forall N\in \mathbb {N}$ de S k {\displaystyle S_{k}} $S_{k}$ , vê-se que:

S 2 1 = S 2 = 1 + 1 2 > 1 2 + 1 2 = 2 2 {\displaystyle S_{2^{1}}=S_{2}=1+{\frac {1}{2}}>{\frac {1}{2}}+{\frac {1}{2}}={\frac {2}{2}}} $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 + 1 3 + 1 4 > S 2 + 1 4 + 1 4 = S 2 + 1 2 > 3 2 {\displaystyle 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^{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 + 1 5 + 1 6 + 1 7 + 1 8 > S 4 + 1 8 + 1 8 + 1 8 + 1 8 = S 4 + 1 2 > 4 2 {\displaystyle 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^{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 + 1 9 + 1 10 + 1 11 + 1 12 + 1 13 + 1 14 + 1 15 + 1 16 > S 8 + 1 16 + 1 16 + 1 16 + 1 16 + 1 16 + 1 16 + 1 16 + 1 16 = S 8 + 1 2 > 5 2 . {\displaystyle 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}}.} $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 > N + 1 2 ∀ N ∈ N {\displaystyle S_{2^{N}}>{\frac {N+1}{2}}\forall N\in \mathbb {N} } $S_{2^{N}}>{\frac {N+1}{2}}\forall N\in \mathbb {N}$ . Aplicando o limite em ambos os lados lim N → ∞ S 2 N ≥ lim N → ∞ N + 1 2 = + ∞ {\displaystyle \lim _{N\to \infty }S_{2^{N}}\geq \lim _{N\to \infty }{\frac {N+1}{2}}=+\infty } $\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 {\displaystyle S_{2^{N}}} $S_{2^{N}}$ é divergente e portanto a sequência S k {\displaystyle S_{k}} $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 ∑ n = 1 ∞ c n p {\displaystyle \sum _{n=1}^{\infty }{\frac {c}{n^{p}}}} $\sum _{n=1}^{\infty }{\frac {c}{n^{p}}}$ com c ∈ R {\displaystyle c\in \mathbb {R} } $c\in \mathbb {R}$ e p > 0 {\displaystyle p>0} $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 {\displaystyle c=p=1} $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 {\displaystyle p>1} $p>1$ e diverge quando p ≤ 1 {\displaystyle p\leq 1} $p\leq 1$ .

Demonstração:

Seja a série ∑ n = 1 ∞ c n p = c . ∑ n = 1 ∞ 1 n p {\displaystyle \sum _{n=1}^{\infty }{\frac {c}{n^{p}}}=c.\sum _{n=1}^{\infty }{\frac {1}{n^{p}}}} $\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 ∑ n = 1 ∞ 1 n p {\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{p}}}} $\sum _{n=1}^{\infty }{\frac {1}{n^{p}}}$ , pois a constante c {\displaystyle c} $c$ não afetará o comportamento desta. Observa-se o termo geral u n = 1 n p {\displaystyle u_{n}={\frac {1}{n^{p}}}} $u_{n}={\frac {1}{n^{p}}}$ , como p > 0 {\displaystyle p>0} $p>0$ tem-se que u n > 0 {\displaystyle u_{n}>0} $u_{n}>0$ e u n + 1 < u n ∀ n ∈ N {\displaystyle u_{n+1}<u_{n}\forall n\in \mathbb {N} } $u_{n+1}<u_{n}\forall n\in \mathbb {N}$ , ou seja, a sequência é positiva e decrescente. Seja a função f : R → R {\displaystyle f:\mathbb {R} \rightarrow \mathbb {R} } $f:\mathbb {R} \rightarrow \mathbb {R}$ tal que f ( n ) = u n ∀ n ∈ N {\displaystyle f(n)=u_{n}\forall n\in \mathbb {N} } $f(n)=u_{n}\forall n\in \mathbb {N}$ , isto é, f ( x ) = 1 x p {\displaystyle f(x)={\frac {1}{x^{p}}}} $f(x)={\frac {1}{x^{p}}}$ . Observa-se primeiramente que a função é contínua e positiva para x ≥ 1 {\displaystyle x\geq 1} $x\geq 1$ . Mas também f ′ ( x ) = − p x − p − 1 = − p x − ( p + 1 ) = − p x p + 1 < 0 {\displaystyle f'(x)=-px^{-p-1}=-px^{-(p+1)}=-{\frac {p}{x^{p+1}}}<0} $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 ≠ 1 {\displaystyle p\neq 1} $p\neq 1$ : ∫ 1 + ∞ f ( x ) d x = lim b → ∞ ∫ 1 b x − p d x = lim b → ∞ ( x 1 − p 1 − p ) | b 1 = lim b → ∞ = ( 1 1 − p ) . lim b → ∞ ( b 1 − p − 1 ) = { − 1 1 − p , s e 1 − p < 0 ⇒ p > 1 + ∞ , s e 1 − p > 0 ⇒ p < 1 {\displaystyle \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 {1}{1-p}}\right).\lim _{b\to \infty }{\bigl (}b^{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}}} $\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 {1}{1-p}}\right).\lim _{b\to \infty }{\bigl (}b^{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 ) {\displaystyle (b^{1-p})} $(b^{1-p})$ , que converge para 0 {\displaystyle 0} $0$ quando o expoente ( 1 − p ) {\displaystyle (1-p)} $(1-p)$ é negativo e para + ∞ {\displaystyle +\infty } $+\infty$ quando este mesmo expoente é positivo, isto porque b {\displaystyle b} $b$ é positivo. Conclui-se que a série converge quando p > 1 {\displaystyle p>1} $p>1$ e diverge quando p < 1 {\displaystyle p<1} $p<1$ .

Para p = 1 {\displaystyle p=1} $p=1$ : ∫ 1 + ∞ f ( x ) d x = lim b → ∞ ∫ 1 b 1 x d x = lim b → ∞ ( ln ⁡ | x | ) | b 1 = lim b → ∞ ( ln ⁡ b − ln ⁡ 1 ) = + ∞ {\displaystyle \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 } $\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 {\displaystyle p=1} $p=1$ .

∴ {\displaystyle \therefore } $\therefore$ Pelo critério da integral, uma série hiper-harmônica converge quando p > 1 {\displaystyle p>1} $p>1$ e diverge quando p ≤ 1 {\displaystyle p\leq 1} $p\leq 1$ . ◼ {\displaystyle \blacksquare } $\blacksquare$

Exemplo 1: A série ∑ n = 1 ∞ π n π {\displaystyle \sum _{n=1}^{\infty }{\frac {\pi }{n^{\pi }}}} $\sum _{n=1}^{\infty }{\frac {\pi }{n^{\pi }}}$ converge, pois se trata de uma p-série com p = π > 1 {\displaystyle p=\pi >1} $p=\pi >1$ . Observe que c = π {\displaystyle c=\pi } $c=\pi$ .

Exemplo 2: A série ∑ n = 1 ∞ 7 2 n 3 {\displaystyle \sum _{n=1}^{\infty }{\frac {7}{2{\sqrt{n}}}}} $\sum _{n=1}^{\infty }{\frac {7}{2{\sqrt{n}}}}$ diverge, pois se trata de uma p-série com p = 1 3 < 1 {\displaystyle p={\frac {1}{3}}<1} $p={\frac {1}{3}}<1$ . Observe que c = 7 2 {\displaystyle c={\frac {7}{2}}} $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 = ∑ n = 0 ∞ 1 n ! {\displaystyle e=\sum _{n=0}^{\infty }{\frac {1}{n!}}} $e=\sum _{n=0}^{\infty }{\frac {1}{n!}}$ ;
A constante de Liouville, o primeiro número transcendente construído: γ = ∑ n = 1 ∞ 10 − n ! {\displaystyle \gamma =\sum _{n=1}^{\infty }10^{-n!}} $\gamma =\sum _{n=1}^{\infty }10^{-n!}$ ;
O número π {\displaystyle \pi } $\pi$ : π = ∑ n = 0 ∞ ( − 1 ) n 4 2 n + 1 {\displaystyle \pi =\sum _{n=0}^{\infty }(-1)^{n}{\frac {4}{2n+1}}} $\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 = ( 1 3 + 1 5 ) + ( 1 5 + 1 7 ) + ( 1 11 + 1 13 ) + ( 1 17 + 1 19 ) + ( 1 29 + 1 31 ) + ⋯ {\displaystyle 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 }

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 = 1 2 + 1 3 + 1 5 + 1 7 + 1 11 + 1 13 + 1 17 + 1 19 + ⋯ = ∞ {\displaystyle 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 }

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 {\displaystyle a_{n}} $a_{n}$ de uma série. Definimos um rearranjo dos termos uma nova sequência com os mesmos termos a σ ( n ) {\displaystyle a_{\sigma (n)}} $a_{\sigma (n)}$ onde σ ( n ) {\displaystyle \sigma (n)} $\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 , {\displaystyle S,} $S,$ existe um rearranjo de termos tal que a soma da série rearranjanda é S . {\displaystyle S.} $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:

ζ ( x ) = ∑ n = 1 ∞ 1 n x {\displaystyle \zeta (x)=\sum _{n=1}^{\infty }{\frac {1}{n^{x}}}}

\zeta (x)=\sum _{n=1}^{\infty }{\frac {1}{n^{x}}}

Se x {\displaystyle x} $x$ é um número real maior que 1 {\displaystyle 1} $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 é ζ ( 2 ) = ∑ n = 1 ∞ 1 n 2 = π 2 6 . {\displaystyle \zeta (2)=\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {\pi ^{2}}{6}}.} $\zeta (2)=\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {\pi ^{2}}{6}}.$ Se x {\displaystyle x} $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 ) = ∑ n = 1 ∞ x n n ! {\displaystyle S(x)=\sum _{n=1}^{\infty }{\frac {x^{n}}{n!}}}

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:

∑ i , j = 1 ∞ a i j := lim N i , N j → ∞ ∑ i = 1 N i ∑ j = 1 N j a i j {\displaystyle \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}}

\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

∑ i , j = 1 ∞ 1 2 i + 3 j {\displaystyle \sum _{i,j=1}^{\infty }{\frac {1}{2^{i}+3^{j}}}} $\sum _{i,j=1}^{\infty }{\frac {1}{2^{i}+3^{j}}}$
A função elíptica de Weierstrass é definida pela série dupla:

℘ ( z ; ω 1 , ω 2 ) = 1 z 2 + ∑ m 2 + n 2 ≠ 0 { 1 ( z − m ω 1 − n ω 2 ) 2 − 1 ( m ω 1 + n ω 2 ) 2 } . {\displaystyle \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\}.}

\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:

∑ i = 1 ∞ ∑ j = 1 ∞ a i j = ∑ i = 1 ∞ S i , S i = ∑ j = 1 ∞ a i j {\displaystyle \sum _{i=1}^{\infty }\sum _{j=1}^{\infty }a_{ij}=\sum _{i=1}^{\infty }S_{i},~~S_{i}=\sum _{j=1}^{\infty }a_{ij}} $\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

∑ i = 1 ∞ ∑ j = 1 ∞ 1 2 i + 3 j {\displaystyle \sum _{i=1}^{\infty }\sum _{j=1}^{\infty }{\frac {1}{2^{i}+3^{j}}}} $\sum _{i=1}^{\infty }\sum _{j=1}^{\infty }{\frac {1}{2^{i}+3^{j}}}$ .

Também podemos construir séries de somas finitas:

∑ i = 1 ∞ ∑ j = 1 i 1 2 i = ∑ i = 1 ∞ i 2 i {\displaystyle \sum _{i=1}^{\infty }\sum _{j=1}^{i}{\frac {1}{2^{i}}}=\sum _{i=1}^{\infty }{\frac {i}{2^{i}}}} $\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 ∞ {\displaystyle \{a_{n}\}_{n=1}^{\infty }} $\{a_{n}\}_{n=1}^{\infty }$ uma sequência real ou complexa e p ≥ 1 , {\displaystyle p\geq 1,} $p\geq 1,$ dizemos que { a n } n = 1 ∞ {\displaystyle \{a_{n}\}_{n=1}^{\infty }} $\{a_{n}\}_{n=1}^{\infty }$ pertence ao espaço lp se:

∑ n = 1 ∞ | a n | p {\displaystyle \sum _{n=1}^{\infty }|a_{n}|^{p}}

\sum _{n=1}^{\infty }|a_{n}|^{p}

converge.

Generalizações em espaços normados

Seja X {\displaystyle X} $X$ um espaço normado, { a n } n = 1 ∞ ⊆ X , {\displaystyle \{a_{n}\}_{n=1}^{\infty }\subseteq X,} $\{a_{n}\}_{n=1}^{\infty }\subseteq X,$ definimos de forma análoga:

S = ∑ n = 1 ∞ a n = lim N → ∞ ∑ n = 1 N a n , {\displaystyle S=\sum _{n=1}^{\infty }a_{n}=\lim _{N\to \infty }\sum _{n=1}^{N}a_{n},}

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

∑ n = 1 ∞ ‖ a n ‖ {\displaystyle \sum _{n=1}^{\infty }\|a_{n}\|}

\sum _{n=1}^{\infty }\|a_{n}\|

converge.

Nestes termos, X {\displaystyle X} $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 , {\displaystyle ,} $,$ L 2 {\displaystyle L^{2}} $L^{2}$ munido de sua norma:

‖ f ‖ L 2 = ( ∫ 0 1 | f ( t ) | 2 d t ) 1 / 2 {\displaystyle \|f\|_{L^{2}}=\left(\int _{0}^{1}|f(t)|^{2}dt\right)^{1/2}}

\|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 ) = ∑ n = − ∞ ∞ c n e i π n t d t , c n = ∫ 0 1 f ( t ) e − i π n t d t {\displaystyle 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}

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 = , {\displaystyle K=,} $K=,$ munidas da norma do supremo. Convergência neste espaço equivale a convergência uniforme.

Ver também

Bibliografia

Ávila, Geraldo Severo de Souza. Introdução à análise matemática. 2aedição. São Paulo: Edgard Blucher, 1999.
Bartle, Robert Gardner. The elements of real analysis. 2aedição. New York: Wiley, 1976.
CARELLI, Enori. FIGUEIREDO, Elisandra Bär de. MANDLER, Marnei Luis. SIPLE, Ivanete Zuchi. Apostila de cálculo diferencial e integral II. Joinville: UDESC, 2012. 221 p.
ERCOLE, Grey. Cálculo V: séries numéricas. Belo Horizonte: UFMG, 2010. 87 p.
GUIDORIZZI, Hamilton Luiz. Um curso de cálculo: volume 4. 5. ed. São Paulo: LTC, 2002. 527 p.
GUIDORIZZI, Hamilton Luiz. Um curso de cálculo: volume 4. 5. ed. Rio de Janeiro: LTC, 2012.
MASSAGO, Sadao. Sequências e séries. Florianópolis: UFSC, 2014. 33 p.
Rezende, Antonio. Curso de filosofia 5aedição. Rio de Janeiro: Jorge Zahar Editor / SEAF, 1992.
Rudin, Walter. Principles of mathematical analysis. 3aedição. Auckland: Mcgraw-Hill, 1976.
Simmons, George F.. Cálculo com geometria analítica, vol 2. 1aedição. São Paulo: McGraw-Hill Ltda, 1987.

Referências

↑ «Séries e Sequências». Só Matemática
↑ LIMA, Elon Lages. Curso de Análise volume 1. Rio de Raneiro, 11ª edição, 2004. Páginas 134-5

Séries e Sequência

Sequência aritmética

Séries divergentes	1 + 1 + 1 + 1 + ⋯ 1 + 2 + 3 + 4 + ⋯ Infinita série aritmética

Sequência geométrica

Série convergente	1/2 − 1/4 + 1/8 − 1/16 + ⋯ 1/2 + 1/4 + 1/8 + 1/16 + ⋯ 1/4 + 1/16 + 1/64 + 1/256 + ⋯
Séries geométricas divergentes	1 + 1 + 1 + 1 + ⋯ 1 + 2 + 4 + 8 + ⋯ 1 − 2 + 4 − 8 + ⋯ 1 − 1 + 1 − 1 + ⋯ (Série de Grandi) Potência de 2 Potência de 10

Sequência hipergeométrica

Sequência de inteiros

Outras sequências

Séries divergentes	1 − 2 + 3 − 4 + ⋯ 1 − 1 + 2 − 6 + 24 − 120 + ⋯ 1 + 1/2 + 1/3 + 1/4 + ⋯

Sequência periódica

v d e Tópicos sobre análise
Cálculo: Integração Diferenciação Equações diferenciais (ordinária - parcial) Teorema fundamental do cálculo Cálculo de variações Cálculo vetorial Cálculo tensorial Tábua de integrais Tabela de derivadas
Análise real Análise complexa Análise funcional Análise de Fourier Análise harmônica Teoria da medida Teoria de representação Funções Função contínua Funções especiais Limite Séries Infinito