[obm-l] RES: [obm-l] Série Divergente

Seja t_n = Soma(n>=1) ((a_n)/(s_n)). Para todo k >=1 temos que t_(n+k) - t_n = (a_(n+1))/(s_(n+1)) ...+... (a_(n+k))/(s_(n+k)). Como a_n tem termos positivos, s_n eh monotonicamente crescente e, portanto, t_(n+k) - t_n > (a_(n+1))/(s_(n+k)) ...+... (a_(n+k))/(s_(n+k)) = (a_(n+1) ...+... a_(n+k))/(s_(n+k)) = (s_(n+k) - s_n))/(s_(n+k)) = 1 - (s_n)/(s_(n+k)) . Como a_n >0 para todo n e s_n diverge, segue-se que s_n => oo. Logo, para n fixo, temos que (s_n)/(s_(n+k)) => 0 quano k=> oo, o que implica que, quando k => oo, 1 - (s_n)/(s_(n+k)) => 1. Assim, para todo n, escolhendo-se k suficientemente grande, obtemos 1 - (s_n)/(s_(n+k)) > 1/2 e, portanto, t_(n+k) - t_n >1 - (s_n)/(s_(n+k)) > 1/2. Observamos, assim,que t_n, a sequencia das somas parciais de (a_n)/(s_n), nao satisfaz ao criterio de Cauchy, sendo portanto divergente para infinito.

Um outro problema que me parece interessante, envolvendo sequencias e series, que eu acho que jah circulou aqui (eu andei meio fora do ar) eh o seguinte:

Se a_n uma sequecia real, p_n uma sequencia de pesos positivos e s_n = (Soma(n>=1)(p_n*a_n))/(Soma(n>=1)a_n) a seq. das medias ponderadas de a_n com relacao a p_n.

Se Soma(n>=1)a_n divergir, entao liminf a_n <= liminf s_n <= limsup s_n <= limsup a_n.

Se Soma(n>=1)a_n convergir em R e a_n for limitada, entao s_n converge em R.

Como corolarios:

Se Soma(n>=1)a_n divergir e a_n => a nos reais expandidos, entao s_n => a.

Se Soma(n>=1)a_n convergir em R e a_n => a em R, entao s_n => s em R, podendo-se ter s<>a.

Abracos

Artur