Consecutive primes and Beatty sequences
Fix irrational numbers α,α^>1 of finite type and real numbers β,β^≥0, and let B and B^ be the Beatty sequences B:=(⌊αm+β⌋)m≥1andB^:=(⌊α^m+β^⌋)m≥1. In this note, we study the distribution of pairs (p,p♯) of consecutive primes for which p∈B and p♯∈B^. Under a strong (but widely accepted) form of the Hardy-Littlewood conjectures, we show that {p≤x:p∈B and p♯∈B^}=(αα^)−1π(x)+O(x(logx)−3/2+ε), where π(x) is the prime counting function.