0
$\begingroup$

While playing around with prime gaps, I found out that the following formula seems to be a rather good approximation of the ratio $\dfrac{p_{b}-p_{a}}{b-a}$ where $a<b$ are positive integers:

$$H_{m}-\log_{2} m-2\gamma$$

where $m:=\frac{a+b}{2}$, $\gamma$ is Euler-Mascheroni's constant, $\log_{2}x=\log\log x$ and $H_{x}=\{x\}H_{\lceil x\rceil}+(1-\{x\})H_{\lfloor x\rfloor}$ is a rather natural generalization of harmonic numbers.

Writing $\dfrac{p_{b}-p_{a}}{b-a}=H_{m}-\log_{2} m-2\gamma+R_{m}$, is it true that $R_{m}=O_{\varepsilon}(\dfrac{1}{m^{1/2+\varepsilon}})$?

Thanks in advance.

Improve this question
$\endgroup$
7
  • 14
    $\begingroup$ Setting $b=a+1$, this would imply $p_{n+1}-p_n = (1+o(1)) \log n$, which is known to be false by known results on large or small gaps between primes (the first result on the former by Westzynthius in 1931, the first (unconditional) result on the latter by Erdos in 1940). $\endgroup$
    – Terry Tao
    Commented Jan 22, 2015 at 18:21
  • 8
    $\begingroup$ The claim is also inaccurate in the opposite extreme $a=1$, as it would imply that $p_n = n \log n - n \log \log n - \gamma n - n \log 2 + o(n)$, whereas the prime number theorem in fact gives $p_n = n \log n + n \log \log n - n + o(n)$ (Cesaro, 1894). $\endgroup$
    – Terry Tao
    Commented Jan 22, 2015 at 18:31
  • 1
    $\begingroup$ Also, the approximation is poor when a=1, as the prime number theorem gives the left hand side is close to log b, while the right hand side is close to log (b/2). Gerhard "Primes Seem Even More Gappy" Paseman, 2015.01.22 $\endgroup$
    – Gerhard Paseman
    Commented Jan 22, 2015 at 18:33
  • 1
    $\begingroup$ Is it a common notation to write $\log_2$ for $\log\log$? I've never seen such. $\endgroup$
    – Yaakov Baruch
    Commented Jan 22, 2015 at 19:02
  • 2
    $\begingroup$ @YaakovBaruch: It is common to use this notation where higher iterates of log frequently occur, e.g. in certain branches of number theory and combinatorics. For example, Maynard's paper (arxiv.org/abs/1408.5110) uses this notation. $\endgroup$
    – GH from MO
    Commented Jan 22, 2015 at 19:07

2 Answers 2

Reset to default
6
$\begingroup$

Even the weaker statement that $\frac{p_b-p_a}{b-a}$ tends to infinity with $a,b\to\infty$ is false, because there are infinitely many bounded prime gaps (Yitang Zhang's theorem).

Improve this answer
$\endgroup$
3
  • $\begingroup$ I think you need Maynard's theorem for this unless $|b-a|=1.$ $\endgroup$
    – Charles
    Commented Mar 9, 2015 at 19:41
  • $\begingroup$ @Charles: Yes, but $b=a+1$ and $a\to\infty$ is enough to falsify the "weaker statement that $\frac{p_b-p_a}{b-a}$ tends to infinity with $a,b\to\infty$". So what I said was correct, although Terry Tao's comment (below the OP's post) is a better answer, because it uses much less. $\endgroup$
    – GH from MO
    Commented Mar 10, 2015 at 6:02
  • 1
    $\begingroup$ Yes, I just thought it was worth pointing out. $\endgroup$
    – Charles
    Commented Mar 10, 2015 at 14:17
3
$\begingroup$

Just out of curiosity - here is the plot of $\frac{p_{n+h}-p_n}h$ for $1\leqslant n,h\leqslant500$

enter image description here

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .