Does the "alternating" harmonic series where only prime terms are negative converge?

498 Views Asked by At

We know that the harmonic series $\sum \frac{1}{n}$ diverges, yet the alternating harmonic series $\sum \frac{(-1)^n}{n}$ converges.

Euler famously gave a proof of the infinitude (and of the "density") of primes by showing that the series $\sum_p \frac{1}{p}$ diverges; this reasoning can be applied more generally to show Dirichlet's theorem on primes in arithmetic progression.

Can this reasoning lead to the stronger statement that $\sum \frac{\epsilon(n)}{n}$ converges, where $\epsilon(n)$ is $1$ if $n$ is prime and $-1$ otherwise? If this isn't true (which I suspect but can't easily prove), is there any relationship between whether an "alternating" harmonic series like this, where we give a $+$ sign to numbers in some set $S$ and a $-$ to others, converged and whether the sum of the harmonic series restricted to $S$ converges? Perhaps the case where $S$ is an arithmetic progression is easy?

What if we generalize further to partitions of the positive integers into $n$ parts and consider the harmonic sum where there's a different $n^{th}$ root of unity for each part? This feels like something related to Dirichlet zeta functions and characters of finite groups, but I don't know how to make this precise.

1

There are 1 best solutions below

0
On

We have two well-known asymptotics,

$$ \begin{align} \sum_{n \leq N} \frac{1}{n} &\sim \log N \\ \sum_{p \leq N} \frac{1}{p} &\sim \log \log N. \end{align}$$

The difference in magnitude between these is so large that $$ \sum_{n \leq X} \frac{\epsilon(n)}{n} \gg \log N$$ still, and so your sum still diverges.

More generally, you can hope for convergence if you choose $\epsilon(n)$ in such a way that the partial sums $$ \sum_{n \leq N} \epsilon(n)$$ are uniformly bounded by some number $M$. This is the case in the regular harmonic series, as the partial sums are bounded by $1$. In the case of primes, the resulting partial sums diverge to infinity as "most" integers are not prime.

However, if the partial sums are uniformly bounded, then one can use Dirichlet's convergence test to show that the resulting pseudo-alternating harmonic series converges. This applies even if one chooses the weights to be roots of unity instead of $\pm 1$.