¿Esta serie diverge si $a_n\to 0$?

Question

Considere la posibilidad de una determinada secuencia $\{a_n\}$ de términos positivos y la serie $$\frac {a_ 1^2}{a_1}+\frac{a_2^2}{a_1+a_2}+\frac {a_ 3^2}{a_1+a _2+a_3}+\cdots.$$ Puedo demostrar que esta serie diverge si la secuencia está delimitada a continuación. Esto no es difícil. Pero me pregunto si alguna vez divergen si $\lim_{n\to\infty}a_n=0.$ Si es posible, la convergencia a cero tendría que ser bastante lento. Así que quizás $a_ n=1/\ln{(n+1)}$ o $a_n= 1/\sqrt{\ln {(n+ 1)}}$ haría el truco. Lo que se dispone de técnicas para el estudio de estas series? Y acaso hay un mejor ejemplo?

Answer 1

La expansión en Winther del comentario, para $x\ge3$, $$ \begin{align} \frac{\mathrm{d}}{\mathrm{d}x}\frac{x}{\log(x)} &=\frac{\log(x)-1}{\log(x)^2}\\ &=\frac1{\log(x)}\left(1-\frac1{\log(x)}\right)\\ &\ge\frac1{\log(x)}\left(\frac{\log(3)-1}{\log(3)}\right)\\ \end{align} $$ Por lo tanto, $$ \begin{align} \sum_{k=4}^n\frac1{\log(k)} &\le\int_3^n\frac{\mathrm{d}x}{\log(x)}\\ &\le\int_3^n\frac{\mathrm{d}x}{\log(x)}\\ &\le\frac{\log(3)}{\log(3)-1}\left[\frac{x}{\log(x)}\right]_3^n\\ &\le\frac{\log(3)}{\log(3)-1}\frac{n}{\log(n)} \end{align} $$ Por lo tanto, $$ \sum_{n=4}^N\frac{\frac1{\log(n)^2}}{\sum\limits_{k=4}^n\frac1{\log(k)}} \ge\frac{\log(3)-1}{\log(3)}\sum_{n=4}^N\frac1{n\log(n)} $$ que diverge.

Answer 2

Considere la posibilidad de $a_n = \dfrac1{\log^s(n+1)}$$s>0$. Luego tenemos el $n^{th}$ términos de su nuevo secuencia $$b_n = \dfrac{a_n^2}{a_1+a_2+\cdots+a_n} = \dfrac1{\log^{2s}(n+1) \left(\displaystyle\sum_{k=1}^n \dfrac1{\log^s(k+1)}\right)}$$ Además, hemos $$\displaystyle \sum_{k=1}^n \dfrac1{\log^s(k+1)} \leq \dfrac{n}{\log^s(2)}$$ Por lo tanto, tenemos $$b_n \geq \dfrac{\log^s(2)}{n\log^{2s}(n+1)}$$ Ahora si $s \leq 1/2$, podemos ver que $\displaystyle \sum_{n=1}^{\infty} \dfrac{\log^s(2)}{n\log^{2s}(n+1)}$ diverge. Por lo tanto, la elección de $a_n= \dfrac1{\log^s(n+1)}$ $s \in (0,1/2]$ asegurarse de que $a_n \to 0$, mientras que el $\displaystyle \sum \dfrac{a_n^2}{a_1+a_2+\cdots+a_n}$ diverge.

Answer 3

Deje $A_n= \displaystyle \sum_{k=2}^n \frac{1}{(\log k)^{2\alpha} \sum_{m=2}^k 1/(\log m)^\alpha}.$ Ya que es fácil lidiar con el caso de $0<\alpha\le\frac12$ muestra $A_k>\displaystyle\frac{1}{k\log k}$, es natural considerar a $$L= \lim_{n\to\infty}=\frac{\sum_{m=2}^n 1/(\log m)^\alpha}{n/(\log n)^\alpha}, \ \ \ \frac12<\alpha\le1.$$ Mientras $\displaystyle \frac{n}{(\log n)^\alpha}$ es a la vez positivo y monótonamente creciente para $n>2$, el Stolz-Cesàro teorema de los rendimientos $$\begin{align}L&=\lim_{n\to\infty} \frac{1}{(\log(n+1))^\alpha\left(\frac{n+1}{ (\log(n+1))^\alpha} - \frac{n}{ (\log n)^\alpha} \right)} \\ &= \lim_{n\to\infty} \frac{1}{1+n\left(1- \left(\frac{\log(n+1)}{\log n}\right)^\alpha\right)}=1,\end{align}$$ hence $\suma A_k$ diverges by limit comparison with $\displaystyle \sum \frac{1}{k(\log k)^\alpha}.$ In fact, this argument also shows that $\suma A_k$ converges for $\alpha>1.$ We are then tempted to investigate the behaviour of $B_n= \displaystyle \sum_{k=2}^n\frac{1}{(\log k)^2 (\log\log k)^2 \sum_{m=1}^k 1/( \log k \log\log k) }$. Applying again Stolz-Cesàro shows that $B_n$ diverges, too, and in fact that taking your $a_n$ to be $\displaystyle \frac{1}{\log n(\log\log n)^\beta}$, with any real $1\le\beta<2$, still gives divergence. In particular, the conjecture you state in a comment to robjohn's answer is implied by $\frac{a_n^2}{\sum a_k}\sim \frac{a_n}{n} \ffi \frac{a_n}{\sum a_k}\sim\frac1n$, which, assuming monotonical decreasingness of $a_n$ , indeed follows from proving $\lim \frac{n a_n}{\sum a_k}=1$ using Stolz-Cesàro, and the fact that $\frac{a_{n+1}}{a_n}\to1$ faster than $\frac{\log n}{\log(n+1)}\left(\frac{\log\log n}{\log\log(n+1)}\right)^2=: \frac{b_{n+1}}{b_n},$ as a consequence of the convergence of your series with $b_n$ in place of $a_n$.