Discussion about the definition and convergence of the complex function $\sum_{n=1}^\infty\frac{1}{n}\sum_{k=n+1}^\infty\frac{\mu(k)}{k^s}$

44 Views Asked by At

We denote for integers $n\geq 1$, $\mu(n)$ the Möbius function, see its definition from this MathWorld. And we define informally

$$f(s):=\sum_{n=1}^\infty\frac{1}{n}\sum_{k=n+1}^\infty\frac{\mu(k)}{k^s}$$

where $s$ is the complex variable. I don't know if this definition and next exercise were in the literature, or are interesting. If you know such definition refers the literature.

Question. Where can I say that is defined our function $f(s)$, and what about the convergence of $f(s)$ for regions of the complex plane, improving my simple deductions below? Many thanks.

I know that for $\Re s>1$ one has $$f(s)=\sum_{n=1}^\infty\frac{1}{n}\left(\frac{1}{\zeta(s)}-\sum_{k=1}^n\frac{\mu(k)}{k^s}\right).\tag{1}$$

Additionally from the definition and using the triangle inequality, one has that $$ \left| f(s) \right|\leq\sum_{n=1}^\infty\frac{1}{n} \left| \sum_{k=n+1}^\infty\frac{\mu(k)}{k^s}\right| . \tag{2} $$

and from here I know that there was in the literature upper bounds for $\left| \sum_{k=1}^n\frac{\mu(k)}{k^s} \right|$ but I don't know if it help here and if my approach is good.

You can add an answer both in the case that your answer depends on the solution of open problems, and also in the case where you want to provide unconditionally a result.