Prime divisors in Beatty sequences (Q2370192)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Prime divisors in Beatty sequences
scientific article

    Statements

    Prime divisors in Beatty sequences (English)
    0 references
    0 references
    0 references
    22 June 2007
    0 references
    For two fixed real numbers \(\alpha>0\) and \(\beta\), the corresponding \textit{Beatty sequence} is the sequence of integers of general term \(\lfloor \alpha n+\beta\rfloor\), \(n=0,1,\ldots\). In this paper, the authors prove that the arithmetic properties of these numbers resemble the arithmetic properties of numbers of the form \(an+b\) where \(a\) and \(b\) are fixed integers. For example, with \(\omega(m)\) and \(\Omega(m)\) being the number of distinct prime factors of \(m\) and the total number of prime factors of \(m\), respectively, one has \[ \sum_{n\leq N} \omega(\lfloor \alpha n+\beta\rfloor )\sim N\log\log N\quad \text{and}\qquad \sum_{n\leq N} (-1)^{\Omega(\lfloor \alpha n+\beta\rfloor)}=o(N) \] as \(N\to\infty\). The maximal order of the number of distinct prime factors function of a number of the type \(\lfloor \alpha n+\beta\rfloor\) for \(n\leq N\) is \((1+o(1))(\log N)/(\log\log N)\) as \(N\to\infty\), and also there are numbers \(n\leq N\) such that the largest prime factor of \(\lfloor \alpha n+\beta\rfloor\) is of order \(N\). Finally, the number of \(Q\)-smooth numbers among the numbers of the shape \(\lfloor \alpha n+\beta\rfloor\) for \(n\leq N\) is, as expected, asymptotically equal to \((1+o(1))\rho(u)N\) as \(N\to\infty\), where as usual \(u=(\log N)/(\log Q)\) provided that \(\exp((\log N)^{2/3+\varepsilon})<Q\leq N\). There is also a result showing that the sum of the binary digits of \(\lfloor \alpha n+\beta\rfloor\) is uniformly distributed modulo \(2\) when \(n\leq N\) and \(N\) is large. The proofs rely heavily on a series of results from some papers of Sárközy and co-authors (Erdős, Maier, Pomerance, Stewart) concerning arithmetic functions of numbers of the form \(a+b\), with \(a\in {\mathcal A}\) and \(b\in {\mathcal B}\), where \({\mathcal A}\) and \({\mathcal B}\) are subsets of \([1,M]\) with the property that the product of their cardinalities is large.
    0 references
    0 references
    0 references
    0 references