Generalized Ramanujan Primes

Abstract

In 1845, Bertrand conjectured that for all integers x ≥ 2, there exists at least one prime in (x/2, x]. This was proved by Chebyshev in 1860, and then generalized by Ramanujan in 1919. He showed that for any n ≥ 1, there is a (smallest) prime R n such that π(x) − π(x/2) ≥ n for all x ≥ R n . In 2009 Sondow called R n the nth Ramanujan prime and proved the asymptotic behavior R n ∼ p 2n (where p m is the mth prime). He and Laishram proved the bounds p 2n < R n < p 3n , respectively, for n > 1. In the present paper, we generalize the interval of interest by introducing a parameter c ∈ (0, 1) and defining the nth c-Ramanujan prime as the smallest integer R c,n such that for all x ≥ R c,n , there are at least n primes in (cx, x]. Using consequences of strengthened versions of the Prime Number Theorem, we prove that R c,n exists for all n and all c, that R c,n ∼ p n 1−c as n → ∞, and that the fraction of primes which are c-Ramanujan converges to 1 − c. We then study finer questions related to their distribution among the primes, and see that the c-Ramanujan primes display striking behavior, deviating significantly from a probabilistic model based on biased coin flipping. This model is related to the Cramer model, which correctly predicts many properties of primes on large scales, but has been shown to fail in some instances on smaller scales.

On generalized Ramanujan primes

“…Remark. Amersi, Beckwith, Miller, Ronan and Sondow [1] showed that there exists a positive constant c = c(k) such that…”

“…Let π k (x) be the number of k-Ramanujan primes less than or equal to x. Amersi, Beckwith, Miller, Ronan and Sondow [1] proved that…”

“…Further, he proved that R n > p 2n (2) for every n ≥ 2. In 2011, Amersi, Beckwith, Miller, Ronan and Sondow [1] generalized the asymptotic formula (1) to k-Ramanujan primes by showing that R (k) n ∼ p ⌈kn/(k−1)⌉ (n → ∞).…”

“…Then for every n ≥ n 1 , R (k) n ≤ (1 + ε 1 )p ⌈(1+ε2)kn/(k−1)⌉ . By [1], there exists a positive constant β 1 = β 1 (k) such that for every sufficiently large n, |R (k) n − p ⌊kn/(k−1)⌋ | < β 1 n log log n.…”

“…Let π k (x) be the number of k-Ramanujan primes less than or equal to x. Using PNT, Amersi, Beckwith, Miller, Ronan and Sondow [1] proved that there exists a positive constant β 2 = β 2 (k) such that for every sufficiently large n, k − 1 k − π k (n) π(n) ≤ β 2 log log n log n .…”