Defina convergência de série

Passo 1

O que o enunciado pede: definir o que é convergência de uma série.
Informações dadas: nenhuma outra específica (não há uma série particular fornecida).
Pergunta a responder claramente: o que significa dizer que uma série numérica converge? Quais objetos matemáticos entram nessa definição?

Passo 2

Primeiro elemento que precisamos entender: o que é uma série numérica.
Seja \{a_n\}_{n=1}^\infty uma sequência de números reais (ou complexos). A série associada a essa sequência é a soma infinita
\sum_{n=1}^{\infty} a_n.
Para dar sentido a essa soma infinita construímos as somas parciais. Definimos a N-ésima soma parcial por
S_N=\sum_{n=1}^{N} a_n.
Aqui S_N é um número (a soma dos primeiros N termos). A série é, na prática, o comportamento da sequência \{S_N\}_{N=1}^\infty.

Passo 3

Definição formal de convergência de série (a parte essencial).
A série \sum_{n=1}^{\infty} a_n converge se, e somente se, a sequência das somas parciais \{S_N\} tem limite finito quando N\to\infty. Ou seja, existe um número S\in\mathbb{R} (ou \mathbb{C}) tal que
\lim_{N\to\infty} S_N = S.
Nesse caso escrevemos
\sum_{n=1}^{\infty} a_n = S.
Se esse limite não existir ou for infinito, dizemos que a série diverge.
Explicação do significado: dizer que \lim_{N\to\infty} S_N = S significa, pela definição clássica (epsilon–N), que para todo \varepsilon>0 existe N_0 tal que para todo N\ge N_0 vale |S_N-S|<\varepsilon. Em palavras: as somas parciais ficam arbitrariamente próximas de S para N suficientemente grande.

Passo 4

Um fato necessário e muito usado em provas (com prova curta): se \sum_{n=1}^{\infty} a_n converge então os termos a_n tendem a zero:
\lim_{n\to\infty} a_n = 0.
Prova simples: a_n = S_n - S_{n-1}. Se S_n\to S e S_{n-1}\to S, então a_n \to S-S=0. Portanto, sempre que em um exercício os termos a_n não tendem a zero, a série diverge imediatamente (teste rápido). Observação importante: essa condição é necessária, mas não é suficiente — isto é, a_n\to 0 não garante convergência da soma (ex.: série harmônica).

Passo 5

Diferença entre convergência absoluta e condicional (muito útil na prova).
  • Definição de convergência absoluta: a série \sum_{n=1}^{\infty} a_n converge absolutamente se a série de termos positivos \sum_{n=1}^{\infty} |a_n| converge.
  • Teorema útil: se \sum |a_n| converge, então \sum a_n converge (ou seja, convergência absoluta implica convergência).
    Breve justificativa: usa-se o teste de Cauchy ou o teste de comparação combinando somas parciais positivas; a ideia é que a soma das partes positivas e negativas fica controlada por \sum |a_n|.
Convergência condicional: quando \sum a_n converge mas \sum |a_n| diverge (ex.: série alternada harmônica).

Passo 6

Principais testes práticos (o que usar na prova, quando, e o que cada teste diz). Vou dar a ideia de uso e um enunciado curto.
  1. Teste da comparação (para termos não negativos):
    Se 0\le a_n\le b_n para n grande e \sum b_n converge, então \sum a_n converge. Se a_n\ge b_n\ge0 e \sum b_n diverge, então \sum a_n diverge.
  2. Teste da comparação limite (limit comparison):
    Se a_n>0, b_n>0 e \lim_{n\to\infty}\dfrac{a_n}{b_n}=L\in(0,\infty), então \sum a_n e \sum b_n têm o mesmo comportamento (ambas convergem ou ambas divergem).
  3. Teste da razão (d’Alembert):
    Se a_n\neq0 e L=\lim_{n\to\infty}\left|\dfrac{a_{n+1}}{a_n}\right| existe, então:
  • se L<1 a série converge absolutamente;
  • se L>1 a série diverge;
  • se L=1 o teste é inconclusivo.
  1. Teste da raiz (Cauchy):
    Se L=\lim_{n\to\infty}\sqrt[n]{|a_n|} existe, então:
  • se L<1 converge absolutamente;
  • se L>1 diverge;
  • se L=1 inconclusivo.
  1. Teste integral (quando a_n=f(n) com f positiva e decrescente):
    A série \sum_{n=1}^{\infty} a_n converge se, e somente se, a integral impropria \int_{1}^{\infty} f(x)\,dx converge. Útil para séries do tipo \dfrac{1}{n^p} e funções racionais.
  2. Teste da série p (caso clássico):
    A série
\sum_{n=1}^{\infty} \frac{1}{n^p}
converge se, e somente se, p>1. Para p\le 1 diverge. Justifica-se com o teste integral.
  1. Teste de Leibniz (séries alternadas):
    Se \{b_n\} é uma sequência positiva, decrescente com \lim_{n\to\infty} b_n = 0, então a série alternada
\sum_{n=1}^{\infty} (-1)^{n} b_n
converge. Além disso, o resto R_N = \sum_{n=N+1}^{\infty} (-1)^{n} b_n satisfaz |R_N|\le b_{N+1} (isso dá um controle ótimo do erro).

Passo 7

Dois exemplos importantes trabalhados passo-a-passo (para gravar na prova):
Exemplo A — série geométrica: Seja \sum_{n=0}^{\infty} r^n com r\in\mathbb{R}.
A soma parcial é
S_N=\sum_{n=0}^{N} r^n = \frac{1-r^{N+1}}{1-r}\quad\text{se } r\neq1.
Se |r|<1 então r^{N+1}\to0 e
\sum_{n=0}^{\infty} r^n = \frac{1}{1-r}.
Se |r|\ge1 a série diverge (porque r^{N+1} não tende a zero ou oscila). Este é um exemplo-chave que aparece muito em provas.
Exemplo B — série harmônica: \sum_{n=1}^{\infty} \dfrac{1}{n}.
Os termos tendem a zero, mas a série diverge (comprovado por comparação com integrais ou por agrupamentos elementares). Contrasta com a série p: \sum 1/n^p converge só se p>1.
Exemplo C — série alternada harmônica: \sum_{n=1}^{\infty} (-1)^{n+1}\dfrac{1}{n}.
Aqui os termos b_n=1/n são decrescentes e vão a zero, então pelo teste de Leibniz a série converge. Porém \sum |(-1)^{n+1}/n|=\sum 1/n diverge, então a convergência é condicional e não absoluta. O valor da soma é \ln 2, mas esse cálculo usa expansão de séries ou integrar a série da função logaritmo.

Passo 8

Estratégia prática passo-a-passo para aplicar numa prova (checklist rápido):
  1. Verificar se os termos a_n tendem a zero. Se não, já conclui-se divergência.
  2. Identificar padrão: é geométrica? é do tipo \dfrac{1}{n^p}? envolve n! ou c^n? Isso guia o teste.
  3. Para fatores exponenciais ou fatoriais tente o teste da razão.
  4. Para potências do tipo n^{\alpha} use comparação com p-série ou o teste de raízes (às vezes).
  5. Para termos alternados veja o teste de Leibniz.
  6. Se todos falharem, tente comparação limite com uma série conhecida ou o teste integral.
  7. Se necessário, avalie convergência absoluta primeiro (às vezes simplifica muito).

Passo 9

Resumo dos pontos-chave que vale decorar (palavras de amigo encorajador):
  • A série converge se as somas parciais têm limite finito.
  • Sempre cheque primeiro \lim a_n = 0. É a porta de entrada.
  • Convergência absoluta é mais forte e implica convergência; condicional é mais frágil.
  • Tenha na ponta da língua: série geométrica (soma \dfrac{1}{1-r} se |r|<1), série p (converge ⇔ p>1), e o teste de Leibniz para alternadas.
  • No exame, siga o checklist do Passo 8 — é a maneira mais rápida de decidir qual teste usar.

Resposta

A série \displaystyle \sum_{n=1}^{\infty} a_n converge se, e somente se, a sequência das somas parciais \displaystyle S_N=\sum_{n=1}^{N} a_n tem limite finito quando N\to\infty; isto é, existe S tal que \displaystyle \lim_{N\to\infty} S_N = S.

Exercícios relacionados