¿Cuál es la Mobius suma $\sum_{n=1}^\infty \frac{(-1)^{n+1}|\mu(n)|}{n^s}$?

Question

Puede observarse que,

$$A(s) := \sum_{n=1}^\infty \frac{\mu(n)}{n^s} = \frac{1}{\zeta(s)}$$

$$B(s) := \sum_{n=1}^\infty \frac{|\mu(n)|}{n^s} = \frac{\zeta(s)}{\zeta(2s)}$$

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

P: ¿Es cierto que,

$$D(s) := \sum_{n=1}^\infty \frac{(-1)^{n+1}|\mu(n)|}{n^s} = \frac{2^s-1}{2^s+1}\frac{\zeta(s)}{\zeta(2s)}$$ por lo tanto, $$A(s)\,B(s) = C(s)\,D(s) = \frac{1}{\zeta(2s)}?$$

Answer 1

Sí, es cierto. Deje $\mathbb{P}$ ser el conjunto de todos los positivos números primos. Para $T\subseteq\mathbb{P}$, escribir $\prod(T)$ para el producto de los elementos de la $T$. Deje $s\in\mathbb{C}$$\text{Re}(s)>1$. Tenemos $$D(s)=\sum_{T\subseteq \mathbb{P}}\,\frac{(-1)^{\prod(T)+1}}{\big(\prod(T)\big)^s}=\sum_{T\subseteq \mathbb{P}\setminus\{2\}}\left(\frac{1}{\big(\prod(T)\big)^s}-\frac{1}{\big(2\,\prod(T)\big)^s}\right)\,.$$ Por lo tanto, $$D(s)=\left(1-\frac{1}{2^s}\right)\,\sum_{T\subseteq \mathbb{P}\setminus\{2\}}\,\frac{1}{\big(\prod(T)\big)^s}=\frac{2^s-1}{2^s+1}\,\sum_{T\subseteq \mathbb{P}\setminus\{2\}}\left(\frac{1}{\big(\prod(T)\big)^s}+\frac{1}{\big(2\,\prod(T)\big)^s}\right)\,.$$ Por lo tanto, $$D(s)=\frac{2^s-1}{2^s+1}\,\sum_{T\subseteq \mathbb{P}}\,\frac{1}{\big(\prod(T)\big)^s}=\frac{2^s-1}{2^s+1}\,B(s)\,.$$