3
$\begingroup$

denote by $\zeta_{p}(s)$ the Prime Zeta Function. Now, consider the infinite sum: $D(s)=\sum_{n=0}^{\infty}\zeta_{p}(s)^{n}=\frac{1}{1-\zeta_{p}(s)}\;\;\;\left | \zeta_{p}(s)\right|<1$ $D(s)$ could be thought of as a Dirichlet series in some half plane of convergence : $D(s)=\sum_{n=1}^{\infty}\frac{a_{n}}{n^{s}}$ Using the fundamental theorem of arithmetic, we can prove that: $a_{n}\neq 0,\forall n\in \mathbb{Z}^{+}$ Now, I'm having a hard time making sense of the coefficients $a_{n}$. In particular, they seem to bear some interesting arithmetical information with respect to the factorization of their corresponding indices. I have the feeling that I'm missing something basic !!

Any insights on the numbers $a_{n}$ are appreciated.

  • 0
    I think so, yes. My reasoning is in the comment above, but I might wrong...2012-11-28

1 Answers 1

3

Write $P(s)$ for the prime zeta function. By the multinomial theorem,

$D(s)=\sum_{r=0}^\infty P(s)^r=1+\sum_{r=1}^\infty\sum_{e_{\large i}}\sum_{p_{\large i}~\mathrm{dstct}}{r\choose e_1,\cdots,e_r}\frac{1}{(p_1^{e_1}\cdots p_r^{e_r})^s}.$

So the Dirichlet coefficients of $D(s)$ are given by multinomial coefficients in $p$-adic orders:

$a_n={\displaystyle\sum_p v_p(n)\choose v_2(n),v_3(n),v_5(n),\cdots}.$

(This expression makes sense because only finitely many $v_p(n)$ are nonzero for any natural $n$.)