Does $\sum_{p\in\mathbb P}\frac {( - 1)^{[\sqrt p\,]}}{p}$ converges?

364 Views Asked by At

Does $$\sum_{p\in\mathbb P}\frac {( - 1)^{[\sqrt p\,]}}{p}$$ converges ?

I know that the following $\sum_{p\in\mathbb P} \frac{1}{p}$ diverges, we can find proofs on Wikepedia Divergence of the sum of the reciprocals of the primes

Unfortunately this one is more complicated.

I think one needs to use some non-trivial facts about their distribution.

3

There are 3 best solutions below

1
On BEST ANSWER

With partial summation, or summation by parts, in Riemann-Stieltjes integration by parts (they're all the same, just a choice of name), we get something which makes the distribution question more clear:

$$ \sum_{p \leq x} \frac{(-1)^{\lfloor \sqrt p \rfloor}}{p} = \left(\sum_{p \leq x} (-1)^{\lfloor \sqrt p \rfloor} \right)\frac{1}{x} + \int_1^x \frac{\sum_{p \leq t} (-1)^{\lfloor \sqrt p \rfloor} }{t^2}\mathrm dt,$$

and the first term on the right clearly goes to $0$ as $x \to \infty$. The second term is more exciting, and I do not have a complete answer for it.

If we naively and grossly overestimate the integral, using that there are $t/\log t$ primes up to $t$, then the integral becomes

$$ \int_1^x \frac{1}{t\log t} \mathrm{d}t,$$

which just barely diverges as $x \to \infty$. Really, essentially any savings at all on the naive estimate would give convergence.

If we go to the other side and assume that the parity of $\lfloor \sqrt p \rfloor$ is a random, independent event (which I actually would suspect is true asymptotically), so that it's $\pm 1$ with coin flip probability, then you expect square root cancellation. That is, we might heuristically expect that

$$ \left\lvert\sum_{p \leq x} (-1)^{\lfloor \sqrt p \rfloor} \right\rvert \lessapprox \sqrt{x}.$$

If this is the case, then the integral is bounded above in absolute value by

$$\int_1^x \frac{1}{t^{1.5}}\mathrm{d}t,$$

which trivially converges, and thus leads us to believe that the overall sum converges.

A very reasonable question is, what do we actually know about the distribution of primes in this case? And unfortunately, the answer is that we know extremely little about the distribution of primes along almost any curve that's not linear. We do not know of any nonlinear polynomial that hits infinitely many primes. Relatedly are Landau's 4th problem (is $n^2 + 1$ prime infinitely often?) and Schinzel's Hypothesis H (similar problem about multiple polynomials at once). To be fair, what we are asking for feels weaker than either of those results, but it's still very nontrivial.

So heuristically, it should converge.


What follows are heuristics and numerical evidence supporting the above heuristic for convergence (read: not conclusive, but convincing).

If $2n \leq \sqrt p < 2n+1$, then $\lfloor \sqrt p \rfloor$ is even. Similarly, if $2n + 1 \leq \sqrt p < 2(n+1)$, then $\lfloor \sqrt p \rfloor$ is odd. So we wish we understood numbers of primes in the segments of the form

$$\begin{align} (2n)^2 &\leq p < (2n+1)^2 \\ (2n+1)^2 &\leq p < (2n+2)^2 \end{align}$$

Asymptotically in $n$, we expect there to be $$\pi( (2n+1)^2) - \pi( (2n)^2) \approx \frac{(2n+1)^2}{2\log(2n + 1)} - \frac{(2n)^2}{2\log 2n} \approx \frac{4n}{2\log 2n}$$ primes in the first range, and $$\pi( (2n+2)^2 - \pi ((2n+1)^2 ) \approx \frac{(2n+2)^2}{2\log (2n + 2)} - \frac{(2n+1)^2}{2\log 2n+1} \approx \frac{4n}{2\log 2n}$$ in the second range, and where these approximations become better and better as $n$ increases. Thus we expect the number of positive terms of $(-1)^{\lfloor \sqrt p \rfloor}$ one interval to cancel the negative terms of $(-1)^{\lfloor \sqrt p \rfloor}$ in the subsequent interval, and we should expect more than square root cancellation as $n \to \infty$ (We should expect an extremely high amount of cancellation), as long as we're looking at an enpoint of one of these intervals.

If we suppose that this cancellation really does happen, this means that we might heuristically say that in the sum $\displaystyle \sum_{p \leq m} (-1)^{\lfloor \sqrt p \rfloor}$, the terms below the largest square less than $m$ roughly cancel each other, leaving only those terms after that square to contribute to the sum. How many terms is this? The largest square below $m$ is $\lfloor \sqrt m \rfloor ^2$, so there are $m - \lfloor \sqrt m \rfloor ^2$ terms. To be safe and handle parity concerns, let's say we have twice as many terms, $2(m - \lfloor \sqrt m \rfloor ^2)$.

To get a handle on this size, recall that $\sqrt m = \lfloor \sqrt m \rfloor+ \{ \sqrt m \}$, to that $$2(m - \lfloor \sqrt m \rfloor^2) = 2(m - (\sqrt m - \{ \sqrt m \})^2) = 4\sqrt m \{ \sqrt m \} - 2 \{\sqrt m\}^2 < 4\sqrt m, $$ leading us back to square root cancellation (and this is a pretty generous estimation).

So I feel pretty content in the claim that we should expect $$\left\lvert\sum_{p \leq m} (-1)^{\lfloor \sqrt p \rfloor} \right\rvert \lessapprox 4\sqrt{m}$$ for all $m$ sufficiently large, and that it is almost always much smaller. In fact, I might even believe that this argument could be made rigorous if you wanted to pay attention to enough error terms and carry all the $O(\cdot)$ terms around (which I certainly don't).

For verification, I ran some tests against the first several million primes, and I've included the start of that data here. The actual value is the value of the sum, and the naive value is assuming square root cancellation. So it seems pretty convincing that we get more than square root cancellation almost always, as expected.

##################TABLE WITH NUMERICAL DATA ###################
0        primes used | Actual value -1.0   : Naive value 0.0 
50000    primes used | Actual value 203.0  : Naive value 223.60 
100000   primes used | Actual value 171.0  : Naive value 316.22 
150000   primes used | Actual value 315.0  : Naive value 387.29 
200000   primes used | Actual value 441.0  : Naive value 447.21 
250000   primes used | Actual value 57.0   : Naive value 500.0 
300000   primes used | Actual value 169.0  : Naive value 547.72 
350000   primes used | Actual value 91.0   : Naive value 591.60 
400000   primes used | Actual value -107.0 : Naive value 632.45 
450000   primes used | Actual value -345.0 : Naive value 670.82 
500000   primes used | Actual value -343.0 : Naive value 707.10 
550000   primes used | Actual value -357.0 : Naive value 741.61 
600000   primes used | Actual value -261.0 : Naive value 774.59 
650000   primes used | Actual value -739.0 : Naive value 806.22 
700000   primes used | Actual value -885.0 : Naive value 836.66 
750000   primes used | Actual value -1053. : Naive value 866.02 
800000   primes used | Actual value -1017. : Naive value 894.42 
850000   primes used | Actual value -525.0 : Naive value 921.95 
900000   primes used | Actual value -607.0 : Naive value 948.68 
950000   primes used | Actual value -387.0 : Naive value 974.67 
1000000  primes used | Actual value -291.0 : Naive value 1000.0 
1050000  primes used | Actual value -279.0 : Naive value 1024.6 
1100000  primes used | Actual value -357.0 : Naive value 1048.8 
1150000  primes used | Actual value -687.0 : Naive value 1072.3 
1200000  primes used | Actual value -651.0 : Naive value 1095.4 
1250000  primes used | Actual value -605.0 : Naive value 1118.0
1
On

Try use Abel summation (http://en.wikipedia.org/wiki/Abel's_summation_formula) with $f(x)=\frac1x$ and $a_n = 0$ if $n\neq p$ and $a_n = (-1)^{[p]}$

0
On

Looks like a partial sum of https://oeis.org/A078437 to me.