Supongamos que $a_n>0$ y $\sum_{n=1}^{\infty}{a_n}$ diverge. Determine si $\sum_{n=1}^{\infty}{\frac{a_n}{s_n^2}}$ converge, donde $s_n=a_1+a_2+ \cdots + a_n$ .
Mi intento:
Al probar algunos ejemplos, la serie $\sum_{n=1}^{\infty}{\frac{a_n}{s_n^2}}$ converge. Procedemos a demostrarlo.
Tenga en cuenta que
$$\frac{a_n}{s_n^2} \leq \frac{a_n}{n^2(a_1a_2\cdots a_n)}$$
Ahora bien, si consigo demostrar que $a_1a_2\cdots a_n \geq 1$ entonces la desigualdad anterior se convierte en
$$\frac{a_n}{s_n^2} \leq \frac{1}{n^2}$$ . Mi opinión es que debe tener algo que ver con la serie divergente $\sum_{n=1}^{\infty}{a_n}$ .
Entonces, por la prueba de Comparación, hemos terminado. Sin embargo, tengo dificultades para demostrar la afirmación. ¿Puede alguien dar alguna pista?
ACTUALIZACIÓN: He cometido un error en mi trabajo. Aquí está mi otro reclamo 'prometedor': $$a_n \leq (\frac{a_1+...+a_n}{n})^2$$ Parece que funciona para cualquier serie que satisfaga la pregunta. Pero no puedo probarlo.
0 votos
¿Cómo conseguiste eso? $s_n^2 \ge n^2(a_1a_2\cdots a_n)$ ? Estoy bastante seguro de que falla para secuencias divergentes simples como $a_n = 2$ .
0 votos
Además, no es cierto en general que $a_1\cdots a_n \ge 1$ (por ejemplo no es cierto para la serie armónica)
0 votos
@JimmyK4542: ¿Por la desigualdad AM-GM?
4 votos
La media geométrica de $n$ números es el $n$ -raíz de $a_1a_2\cdots a_n$ no la raíz cuadrada.
1 votos
La conjetura de actualización es falsa: Piensa en $a_n = 1$ excepto en una subsecuencia muy escasa, en la que es igual a $2.$ Entonces la media será cercana a $1$ para todos $n,$ por lo que también lo hará su cuadrado, pero $a_n = 2$ de vez en cuando, y la desigualdad no puede mantenerse para estos $n.$
2 votos
math.stackexchange.com/questions/411817/