El fin de la divergencia de una serie infinita

Question

Deje $(a_n)_{n\in\mathbb N}$ $(b_n)_{n\in\mathbb N}$ ser dos secuencias que

• $a_n\geq0$ $b_n\geq0$ todos los $n\in\mathbb N$;
• $\sum_{n=1}^{\infty} a_n=\infty$;
• $(b_n)_{n\in\mathbb N}$ es no creciente ($b_1\geq b_2\geq\ldots$);
• $\lim_{n\to\infty} b_n=0$; y
• $\sum_{n=1}^{\infty}a_nb_n<\infty$.

Quiero mostrar que la $\sum_{n=1}^Na_n=o(b_N^{-1})$, que es, $$\lim_{N\to\infty}\left\{b_N\sum_{n=1}^N a_n\right\}=0.$$ In words, the sequence $(b_n)_{n\in\mathbb N}$ converges so quickly that it not only soothes but suppresses the divergence of $\sum_{n=1}^Na_n$.

Cualquier sugerencias sería muy apreciada.

---

Mi trabajo: es bastante claro que la secuencia en cuestión es acotado, es decir, $\sum_{n=1}^N a_n=O(b_N^{-1})$, como para cualquier $N\in\mathbb N$, uno tiene que $$b_N\sum_{n=1}^N a_n=\sum_{n=1}^N a_nb_N\leq\sum_{n=1}^Na_n b_n\leq\sum_{n=1}^{\infty}a_nb_n(<\infty),$$ but I can't seem to prove convergence to $0$.

Answer 1

Ya lo he conseguido. Cualquier comentario sobre mi solución sería apreciada.

---

Fix $\varepsilon>0$. Desde $\sum_{n=1}^{\infty}a_n b_n<\infty$, existe alguna $N_0\in\mathbb N$ tal que $$\sum_{n=N_0+1}^{\infty}a_n b_n<\frac{\varepsilon}{2}.$$ Since $\lim_{n\to\infty} b_n=0$, there is some $N_1\in\mathbb N$ such that if $N\in\mathbb N$ and $N\geq N_1$, then $$b_N<\frac{\varepsilon}{2\left(\sum_{n=1}^{N_0} a_n+1\right)}$$ (the $+1$ added to deal with a potentially vanishing denominator). Hence, if $N\in\mathbb N$ and $N\geq \max\{N_0+1,N_1\}$, then one has that $$0\leq b_N\sum_{n=1}^Na_n= b_N\sum_{n=1}^{N_0}a_n+\sum_{n=N_0+1}^{N}a_n b_N<\frac{\varepsilon}{2}+\sum_{n=N_0+1}^{N}a_n b_n<\frac{\varepsilon}{2}+\frac{\varepsilon}{2}=\varepsilon.$$ (Nota de la prueba pasa a través de la misma manera, incluso si $\sum_{n=1}^{\infty} a_n<\infty$.)