Skip to main content
5 of 5
deleted 129 characters in body; edited title
Subhajit Jana
  • 1.7k
  • 1
  • 12
  • 18

A convergence issue [Edited]

Let $\{x_n\}_{n=1}^\infty$ be a sequence of vectors in a Hilbert space $$l^2_{k^{-2}}:=\{z=\{z(k)\}_{k=1}^\infty:\sum\limits_{k=1}^\infty z(k)^2k^{-2}<\infty\}.$$ It is known that for some $x\in l^2_{k^{-2}}$ $$x_n(k)=k(x_n(1)-x(1))+\sum_{r=1}^n\left[\frac{k}{r}\right]\sum_{d|r}\mu\left(\frac{r}{d}\right)y(d),$$where $y\in l^2_{k^{-2}}$ such that $y(n)=x(n-1)-x(n); \ x(0)=0.$ One can deduce from here, $$x_n(k)-x(k)=k(x_n(1)-x(1)), \ \ \forall k\leq n-1. \ \ \ \dots(A),$$ and, $$x_n(1)-x(1)=\sum_{r\leq n}\frac{(\mu*y)(r)}r=\sum_{r=1}^n\frac{1}{r}\sum_{d|r}\mu\left(\frac{r}{d}\right)y(d)=\sum_{ab\leq n}\frac{\mu(a)}{a}\frac{y(b)}{b}.\dots(B)$$ where $\mu$ is the Mobius inversion function and $*$ is the Dirichlet convolution. From above its not difficult to see that $\lim\limits_{n\to\infty}x_n(1)=x(1)$ and hence for a fixed $k$; $\lim\limits_{n\to\infty}x_n(k)=x(k),$ from $(A)$ and $(B)$.

My question is from here how one can show that ,$$\|x_n-x\|_{l^2_{k^{-2}}}=\sum_{k=1}^\infty\frac{(x_n(k)-x(k))^2}{k^2}\xrightarrow{n\to\infty} 0?$$Using the information above it can be seen that the convergence highly depends on a good bound of $\sum\limits_{n\leq x}\frac{\mu(n)}{n}$. Even if assuming Riemann Hypothesis I am being unable to prove this.

ANY help is highly appreciated.

Subhajit Jana
  • 1.7k
  • 1
  • 12
  • 18