Teste da integral

Predefinição:Sem fontes O Predefinição:PBPE é um método para estabelecer a convergência de séries numéricas comparando a soma de seus termos à integral de uma função adequada. É um dos testes de convergência mais precisos entre os possiveis.

Enunciado

Seja $\sum _{n=1}^{\mathrm{\infty }}{a}_n$ uma série de números positivos com $f(x):[\delta ,\mathrm{\infty })\to ℝ$ e $\delta \in {ℝ}_{+}$ uma função com as seguintes propriedades:

• $f(x)\ge 0$;
• $f(x)$ é decrescente;
• $f(n)=a_n$.

Então $\sum _{n=\delta }^{\mathrm{\infty }}{a}_n$ converge se e somente se $\underset{\delta }{\overset{\mathrm{\infty }}{\int }}f(x)dx$ converge. Geralmente $\delta =1$

Demonstração

Como $f(x)$ é decrescente e $f(n)=a_n$, podemos enquadrar os termos da seguinte forma:

$a_{n+1}=f(n+1)\le f(x)\le f(n)=a_n$, se $x\in [n,n+1]$

integrando no intervalo, temos:

$a_{n+1}\le \underset{n}{\overset{n+1}{\int }}f(x)dx\le a_n$

Somando até $N$:

$\sum _{n=1}^N{a}_{n+1}\le \underset{1}{\overset{N+1}{\int }}f(x)dx\le \sum _{n=1}^N{a}_n$

Agora basta observar que $f(x)\ge 0$ implica que a integral ou tende a infinito ou converge. E resultado segue pelo teste da comparação.

O melhor enunciado

O Critério do Integral faz uma "ponte" entre dois importantes capítulos da base matemática, o Cálculo Integral e as Séries.
Ele pode ser enunciado sob a condição única da monotonia!

• É frequente encontrarmos enunciados que exigem, para além da positividade e da monotonia decrescente, que a função seja contínua, talvez a pensar numa condição de integrabilidade, mas as funções monótonas num intervalo limitado e fechado são limitadas nesse intervalo e portanto são integráveis, pelo que a continuidade não é, de todo, necessária.
  As demonstrações mais conhecidas, como a que se encontra acima, não fazem qualquer referência à condição de integrabilidade (nós podemos dar estas demonstrações abreviadas aos alunos, mas não podemos deixar de os sensibilizar para o facto de elas não estarem completas).
• Pode mostrar-se que a positividade também não é necessária, pois as funções monótonas têm sempre limite - se a função é decrescente e o limite é nulo então ela é necessariamente positiva e se o limite não é nulo, falham as condições necessárias de convergência duma série e de um integral impróprio.
• Também a exigência da função ter que ser decrescente não é necessária, pois são da mesma natureza as séries e os integrais com f ou com -f.

Em breve copiarei para aqui a demonstração completa de Jaime Campos Ferreira. Jmegsalazar 23h57min de 9 de fevereiro de 2021 (UTC)

Exemplo

Considera a Série de Dirichlet com expoente $\alpha >1$:

$\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^{\alpha }}$

e considere a função:

$f(x)=\frac{1}{x^{\alpha }}$

é sabido que:

$\underset{1}{\overset{N}{\int }}f(x)dx=\underset{1}{\overset{N}{\int }}{x}^{-\alpha }=\frac{1-N^{(1-\alpha )}}{\alpha -1}\to \frac{1}{\alpha -1},N\to \mathrm{\infty }$

Portanto, tal série converge.