Is known the function $\sum_{n=1}^\infty\frac{(-1)^n\mu(n)}{n^s}$, where $s$ is the complex variable and $\mu(n)$ the Möbius function?

153 Views Asked by At

Let $\mu(n)$ the Möbius function, see its definition for example from this MathWorld, and we denote with $s$ the complex variable.

I'm curious to know if some case of the series $$\sum_{n=1}^\infty\frac{(-1)^n\mu(n)}{n^s}$$ for $\Re s\geq \frac{1}{2}$, were in the literature.

I did simple experiments with Wolfram Alpha and from those my belief is that one can calculate a closed-form for the case $s=2+0\cdot i=2$, and write an identity in terms of the constant $\frac{1}{\zeta(3)}$ for the case $s=3$.

Question. Was in the literature the formal series (or complex function defined on a domain of the complex plane) $$\sum_{n=1}^\infty\frac{(-1)^n\mu(n)}{n^s}\,?\tag{1}$$ Then refer the literature and I try to find and read those known facts about the complex function $(1)$. Many thanks.

1

There are 1 best solutions below

2
On BEST ANSWER

Assume for a moment that $\operatorname{Re}(s) > 1$. Then using the fact that $\mu$ is multiplicative, we have

$$ \sum_{n\text{ even}} \frac{\mu(n)}{n^s} = \sum_{k=1}^{\infty} \frac{\mu(2k)}{(2k)^s} = - \frac{1}{2^s} \sum_{k\text{ odd}} \frac{\mu(k)}{k^s}. $$

So if we write $D(s) = \sum_{k\text{ odd}} \frac{\mu(k)}{k^s}$, then

$$ \frac{1}{\zeta(s)} = \sum_{n=1}^{\infty} \frac{\mu(n)}{n^s} = (1 - 2^{-s})D(s) $$

and hence

\begin{align*} \sum_{n=1}^{\infty} \frac{(-1)^n \mu(n)}{n^s} &= \sum_{n\text{ even}} \frac{\mu(n)}{n^s} - \sum_{n\text{ odd}} \frac{\mu(n)}{n^s} \\ &= -(1+2^{-s})D(s) = - \frac{2^s+1}{2^s-1} \cdot \frac{1}{\zeta(s)}. \end{align*}