RUS  ENG
Full version
JOURNALS // Chebyshevskii Sbornik // Archive

Chebyshevskii Sb., 2024 Volume 25, Issue 1, Pages 164–169 (Mi cheb1409)

BRIEF MESSAGE

On coprime elements of the Beatty sequence

A. V. Begunts, D. V. Goryashin

Lomonosov Moscow State University (Moscow)

Abstract: This note discusses two applications of the asymptotic formula obtained by the authors for the number of values of the Beatty sequence in an arithmetic progression with increasing difference: asymptotic formulas are obtained for the number of elements of the Beatty sequence that are coprime to the (possibly growing) natural number $a$, as well as for the number of pairs of coprime elements of two Beatty sequences. Here are the main results.
Let $\alpha>1$ be an irrational number and $N$ be a sufficiently large natural number. Then if the partial quotients of the continued fraction of the number $\alpha$ are limited, then for the number $S_{\alpha,a}(N)$ of elements of the Beatty sequence $[\alpha n]$, $1\leqslant n\leqslant N$, coprime to the number $a$, the following asymptotic formula holds
$$ S_{\alpha,a}(N)=N\frac{\varphi(a)}{a} + O\left(\min(\sigma(a)\ln^3 N, \sqrt{N}\tau( a)(\ln\ln N)^3)\right), $$
where $\tau(a)$ is the number of divisors of $a$ and $\sigma(a)$ is the sum of the divisors of $a$.
Let $\alpha>1$ and $\beta>1$ be irrational numbers and $N$ be a sufficiently large natural number. Then if the incomplete quotients of continued fractions of the numbers $\alpha$ and $\beta$ are bounded, then for the number $S_{\alpha,\beta}(N)$ of pairs of coprime elements of Beatty sequences $[\alpha m]$, $1\leqslant m\leqslant N$, and $[\beta n]$, $1\leqslant n\leqslant N$, the following asymptotic formula holds
$$ S_{\alpha,\beta}(N)=\frac{6}{\pi^2}N^2 + O\left(N^{3/2}(\ln\ln N)^6 \right). $$


Keywords: Beatty sequence, coprime numbers, asymptotic formula.

UDC: 511.35, 517.15

Received: 14.11.2023
Accepted: 21.03.2024

DOI: 10.22405/2226-8383-2024-25-1-164-169



© Steklov Math. Inst. of RAS, 2025