Sommes des chiffres de multiples d'entiers

Dartyge, Cécile; Tenenbaum, Gérald

Annales de l'Institut Fourier, Tome 55 (2005) no. 7, pp. 2423-2474

Soit $q\in \mathbb{N}$, $q\ge 2$. Pour $n\in \mathbb{N}$, on note $s_q\left(n\right)$ la somme des chiffres de $n$ en base $q$. Nous donnons des majorations de sommes d’exponentielles de la forme

$$G(x,y,\theta ;\alpha ,𝐡)=\sum _{x<n\le x+y}exp\left(2i\pi ({\alpha }_1{s}_q\left(h_{1}n\right)+\cdots +{\alpha }_r{s}_q\left(h_{r}n\right)+\theta n)\right),$$

pour $r\in {\mathbb{N}}^{*}$, $𝐡\in {\mathbb{N}}^{*r}$ et $\theta \in r$. De telles sommes ont déjà été étudiées dans le cas $r=1$ par Gelfond, et pour $r\ge 2$ entre autre par Coquet et Solinas. Nos résultats étendent le domaine de validité en $𝐡$ de ces précédents travaux pour $r\ge 2$, sont plus précis et ont l’avantage d’être uniformes en $x$ et $r$ et effectifs en $𝐡$. Ce contrôle soigneux des paramètres nous permet d’obtenir divers types d’applications. Nous montrons par exemple que pour $k\ge 2$ il existe une infinité d’entiers $n$ avec exactement $k$ facteurs premiers et vérifiant $s_q\left(n\right)\equiv am$ (pour $(m,q-1)=1$). Nous obtenons également des majorations de sommes de la forme ${\sum }_{n\le x}exp\left(2i\pi \alpha s_q\left(hn\right)\right)f\left(n\right)$ où $f$ est une fonction multiplicative de module au plus $1$.

Let $q\in \mathbb{N}$, $q\ge 2$. For $n\in \mathbb{N}$, denote by $s_q\left(n\right)$ the sum of digits of $n$ in the $q$-ary digital expansion. We give upper bounds for exponential sums like

$$G(x,y,\theta ;\alpha ,bfh)=\sum _{x<n\le x+y}exp\left(2i\pi ({\alpha }_1{s}_q\left(h_{1}n\right)+\cdots +{\alpha }_r{s}_q\left(h_{r}n\right)+\theta n)\right),$$

with $r\in {\mathbb{N}}^{*}$, $𝐡\in {\mathbb{N}}^{*r}$ and $\theta \in r$. The case $r=1$ has already been studied by Gelfond and the case $r\ge 2$ by Coquet and Solinas. For $r\ge 2$, our results are more precises and significative for a wider range of $𝐡$. Furthermore they are uniform in $x$ and $\theta$ and explicits in $𝐡$. The control of these parameters is crucial for various applications given in the paper. For example we prove that if $k\in \mathbb{N}$, $k\ge 2$, there exists infinitely many integers $n$ with exactly $k$ prime factors and such that $s_q\left(n\right)\equiv am$ (for $(m,q-1)=1$). We also obtain upper bounds of sums of the form ${\sum }_{n\le x}exp\left(2i\pi \alpha s_q\left(hn\right)\right)f\left(n\right)$ where $f$ is a multiplicative fonction of modulus less than $1$.

Classification : 11L07, 11B85, 11A63
Mots-clés : sommes des chiffres, répartition dans les progressions arithmétiques, fonctions multiplicatives
Keywords: Sums of digits, arithmetic progression, multiplicatives functions, Sums of digits, arithmetic progression, multiplicatives functions

[F8] Fouvry, É.; Mauduit, C. Méthodes de crible et fonctions sommes des chiffres, Acta Arith., Volume 77 (1996) no. 4, pp. 339-351 | Zbl | MR

[1] Balazard, M. Unimodalité de la distribution du nombre de diviseurs premiers d'un entier, Ann. Inst. Fourier, Grenoble, Volume 40 (1990) no. 2, pp. 255-270 | DOI | Zbl | MR | Numdam

[2] Balog, A.; Ruzsa, I. On an additive property of stable sets (London Math. Soc. Lecture Note Ser.), Volume 237, Cambridge Univ. Press, Cambridge, 1997, pp. 55-63 (Cardiff, 1995) | Zbl | MR

[3] Bombieri, E. The asymptotic sieve, Rend. Accad. Naz., Volume XL (5) 1/2 (1975/76), pp. 243-269 (1977) | Zbl | MR

[4] Coquet, J. Sur la représentation des multiples d'un entier dans une base Publications mathématiques d'Orsay, 83.04, Colloque Hubert Delange (7-8 juin 1982), 20-37 | Zbl | MR

[5] Daboussi, H. On a convolution method, Congreso de Teoría de los Números (Universitad del País Vasco) (1989), pp. 110-137 | MR

[6] Dartyge, C.; Tenenbaum, G. Congruences de sommes de chiffres de valeurs polynomiales (Bull. London Math. Soc., à paraître) | Zbl

[7] Fouvry, É.; Mauduit, C. Sommes des chiffres et nombres presque premiers, Math. Ann., Volume 305 (1996), pp. 571-599 | DOI | Zbl | MR

[9] Gelfond, A.O. Sur les nombres qui ont des propriétés additives et multiplicatives données, Acta arith., Volume 13 (1968), pp. 259-265 | Zbl | MR

[10] Hall, R.R. Sets of multiples, Cambridge Tracts in Mathematics, Volume 118 (1996) (Cambridge University Press, Cambridge) | Zbl | MR

[11] Indlekofer, K.-H.; Katai, I. Investigations in the theory of $q$-additive and $q$-multiplicative functions, I, Acta Math. Hungar., Volume 91 (2001) no. (1-2), pp. 53-78 | DOI | Zbl | MR

[12] Indlekofer, K.-H.; Katai, I. Investigations in the theory of $q$-additive and $q$-multiplicative functions, II, Acta Math. Hungar., Volume 97 (2002) no. (1-2), pp. 97-108 | DOI | Zbl | MR

[13] Iwaniec, H. Rosser's sieve, Acta arith., Volume 36 (1980), pp. 171-202 | Zbl | MR

[14] Mauduit, C.; Sárközy, A. On finite pseudorandom binary sequences, II. The Champernowne, Rudin-Shapiro, and Thue-Morse sequences : a further construction, Journal number theory, Volume 72 (1998), pp. 1-21 | Zbl | MR

[15] Newman, D.J. On the number of binary digits in a multiple of three, Proc. Amer. Math. Soc., Volume 21 (1969), pp. 719-721 | DOI | Zbl | MR

[16] Newman, D.J.; Slater, M. Binary digit distribution over naturally defined sequences, Trans. Amer. Math. Soc., Volume 213 (1975), pp. 71-78 | DOI | Zbl | MR

[17] Schmid, J. The joint distribution of the binary digits of integer multiples, Acta arith., Volume 63 (1984), pp. 391-415 | Zbl | MR

[18] Schmidt, W.M. The joint distribution of the digits of certain integer $s$-tuples, Studies in Pure Mathematics in Memory of P. Turán, Birkhäuser (1983), pp. 605-622 | Zbl | MR

[19] Selberg, A. On elementary methods in prime-number theory and their limitations, Collected Works vol. I, Springer, Berlin, Proc. 11th Scand. Math Cong. Trondheim, 1949, 13-22 (1989), pp. 388-397 | Zbl

[20] Solinas, J.A. A theorem of metric diophantine approximation and estimates for sums involving binary digits, University of Michigan, août (1985) (Thèse)

[21] Solinas, J.A. On the joint distribution of digital sums, Journal number theory, Volume 33 (1989), pp. 132-151 | DOI | Zbl | MR

[22] Stolarsky, K. Integers whose multiples have anomalous digital frequencies, Acta arith., Volume 38 (1980), pp. 117-128 | Zbl | MR

[23] Tenenbaum, G.; A. Baker, B. Bollobás Sur une question d'Erdos et Schinzel, A Tribute to Paul Erdos, Cambridge University Press, 1990, pp. 405-443 | Zbl | MR

[24] Tenenbaum, G. Introduction à la théorie analytique et probabiliste des nombres, 2 ${}^{\text{ème}}$ édition, Cours spécialisés, Société mathématique de France, 1995 no. 1 | Zbl | MR

[25] Tenenbaum, G. A rate estimate in Billingsley's theorem for the size distribution of large prime factors, Quart. J. Math., Volume 51 (2000), pp. 385-403 | DOI | Zbl | MR

[26] G. Tenenbaum, en collaboration avec J. Wu Exercices corrigés de théorie analytique et probabiliste des nombres, Cours spécialisés, Société mathématique de France, 1996 no. 2 | Zbl | MR