Enunciado
Cálculo - Guidorizzi - Vol. 4 - Ed: 5º - Capítulo 8.4 - Ex. 19
Seja um real dado, com não-natural. Prove que, para todo ,
Passo 1
Vamos seguir a sugestão dada no enunciado. Olhando para o exercício 6 da seção 3.5, vimos que a série
é convergente se e divergente se . Portanto, para , a série
é absolutamente convergente! Note que essa série pode ser escrita como
com .
Passo 2
Vamos lembrar o resultado do exercício anterior (18 da seção 8.4): se for absolutamente convergente, então será uniformemente convergente em .
Usando esse resultado, vemos que para , como
é absolutamente convergente, segue que
é uniformemente convergente no intervalo , que é pois . Com isso, podemos afirmar que a soma é contínua em todo o intervalo, considerando os extremos .
Passo 3
Por fim, olhamos para item (e) do exercício 14 da seção 8.4, que diz que para ,
Mas como provamos que essa soma converge uniformemente, ela é contínua de modo que o resultado também deve valer nos extremos. Assim, concluímos que para , vale
Resposta
Demonstração.