0
$\begingroup$

If $f(x)>0$ is any function st. $\sum_{j=1}^{\infty}f(j)=\infty$. And $a_n=f(n)$ with probability 50%, else 0.

Does $\lim_{n\rightarrow\infty}((1/\sum_{j=1}^nf(j)) \sum_{k=1}^n a_k)=1/2$ almost surely?

  • 0
    @KannappanSampath There was an Irish author/playwright who was wonderful at inventing names, he is usually just referred to as Lord Dunsany, http://en.wikipedia.org/wiki/Edward_Plunkett,_18th_Baron_of_Dunsany Here is the entire text of his first book: http://en.wikisource.org/wiki/The_Gods_of_Peg%C4%81na2012-01-23

2 Answers 2

2

No, not for every $f$. If you choose $f$ growing so rapidly that $f(n)>3\sum_{j=1}^{n-1}f(j)$, then every time that $a_n=f(n)$ we get $(\sum_{k=1}^n a_k)/\sum_{j=1}^nf(j)\geq f(n)/\sum_{j=1}^nf(j) >3/4$. And this happens infinitely often with probability 1.

2

Call $F_n=\sum\limits_{k=1}^nf(k)$ and assume that $\frac{F_{n+1}}{F_n}\to c$ for a given $c\geqslant1$ and that $\frac1{F_n}\sum\limits_{k=1}^na_k$ converges almost surely to a limit $\ell$. Then, $\frac1{F_n}\sum\limits_{k=1}^{n+1}a_k=\frac{F_{n+1}}{F_n}\cdot\frac1{F_{n+1}}\sum\limits_{k=1}^{n+1}a_k$ converges almost surely to $c\ell$, hence $\frac{a_{n+1}}{F_n}=\frac1{F_n}\sum\limits_{k=1}^{n+1}a_k-\frac1{F_n}\sum\limits_{k=1}^{n}a_k$ converges almost surely to $(c-1)\ell$. Since $a_{n+1}=0$ infinitely often almost surely, this shows that $(c-1)\ell=0$.

Hence, $\frac1{F_n}\sum\limits_{k=1}^na_k$ cannot converge almost surely to a nonzero limit unless $\frac{F_{n+1}}{F_n}\to1$.

If $f(n)=c^n$ with $c\gt1$, then $\frac{F_{n+1}}{F_n}\to c\ne1$ hence $\frac1{F_n}\sum\limits_{k=1}^na_k$ does not converge almost surely to any positive limit.