Abstract
We establish effective mean-value estimates for a wide class of multiplicative arithmetic functions, thereby providing (essentially optimal) quantitative versions of Wirsing’s classical estimates and extending those of Halász. Several applications are derived, including estimates for the difference of mean-values of so-called pretentious functions, local laws for the distribution of prime factors in an arbitrary set, and weighted distribution of additive functions.
Similar content being viewed by others
Change history
15 July 2020
The original version of the article unfortunately contained a number of inaccuracies in equations and statement which however do not essentially scrutinize the validity of the statements, but may perturb the reading of the paper. The list of corrections are as follows:
Notes
Le second produit est en fait fini.
Un résultat qualitatif antérieur, de même nature mais valide sous des hypothèses plus fortes, est dû à Levin & Timofeev [24].
Voir également [30] pour des variantes relatives à des sommes pondérées.
Cette hypothèse est en particulier impliquée, pour une valeur convenable de \(\eta _x\), par la convergence des trois séries \(\sum _{p}\{1-\mathfrak {R}e\,h(p)\}/p\).
Le cas où E(x) est borné relève de techniques de crible élémentaires.
Une estimation essentiellement équivalente découle d’ailleurs du Théorème 1.2 appliqué aux fonctions \(f(n):=r^{\Omega (n;E)}\), \(r(n):=\{\max (1,r)\}^{\Omega (n)}\). On peut en effet supposer \(\sigma :=1-\kappa \) arbitrairement petit et choisir alors
$$\begin{aligned} {\mathfrak {b}}:=\tfrac{1}{2}, A:=1+\sigma , \varrho :=\max (1,r), {\mathfrak h}{:=}1, \varepsilon {:=}\sigma ^4/\{1+\sigma ^4(\log x)^{5\sigma }\}, \delta :=\log (1/\sigma )/\log (1/\varepsilon )\leqslant \tfrac{1}{4}. \end{aligned}$$Voir le th. III.3.5 de [33] pour une version simplifiée suffisante ici.
Nous avons également utilisé ici l’inégalité élémentaire
$$\begin{aligned} \sum _{1\leqslant \nu \leqslant (\log z)/\log p}{z\over p^\nu }\log ^{\varrho -1} \left( {2z\over p^\nu }\right) \ll {z\over p}\log ^{\varrho -1} \left( {2z\over p}\right) \quad (2\leqslant p\leqslant z), \end{aligned}$$valable uniformément pour \(0\leqslant \varrho \ll 1\), et dont nous omettons la démonstration.
Nous omettons les détails, qui sont essentiellement identiques à ceux de la preuve de (4.4).
Ce choix est licite puisque \(1\leqslant \alpha \log x\leqslant 1/\varepsilon \).
Notons que cette minoration de \(D_1\) est optimale: lorsque \(\varrho =2{\mathfrak {b}}\), elle devient une égalité pour
$$\begin{aligned} r(p):={\left\{ \begin{array}{ll} A&{} \hbox {si }\cos (\tau \log p)\geqslant \cos {\mathfrak p},\\ 0&{} \hbox {si }\cos (\tau \log p)<\cos {\mathfrak p}.\\ \end{array}\right. } \end{aligned}$$
Bibliographie
Alladi, K.: Moments of additive functions and the sequence of shifted primes. Pac. J. Math. 118(2), 261–275 (1985)
Balazard, M.: Remarques sur un théorème de G. Halász et A. Sárközy. Bull. Soc. Math. France 117(4), 389–413 (1989)
Balazard et M., Smati, A.: Travaux de Pomerance sur la fonction \(\varphi \) d’Euler. Publ. Math. d’Orsay 87, 5–36 (1989/1990)
Balog, A., Granville, A., Soundararajan, K.: Multiplicative functions in arithmetic progressions. Ann. Math. Qué. 37(1), 3–30 (2013)
Biró, A., Szamuely, T.: A Turán-Kubilius inequality with multiplicative weights. Acta Math. Hung. 70(1–2), 39–56 (1996)
de la Bretèche, R., Tenenbaum, G.: Sur la concentration de certaines fonctions additives. Math. Proc. Camb. Philos. Soc.152(1), 179–189 (2012); Erratum ibid, 191
Elliott, P.D.T.A.: Probabilistic Number Theory: Central Limit Theorems. Grundlehren der mathematischen Wissenschaften, vol. 240. Springer, New York (1980)
Elliott, P.D.T.A.: Multiplicative functions mean values: asymptotic estimates. Funct. Approx. 56(2), 217–238 (2017)
Erdős, P., Pomerance, C.: On the normal number of prime factors of \(\varphi (n)\). Rocky Mt. J. Math. (2) 15, 343–352 (1985)
Gallagher, P.X.: A large sieve density estimate near \(\sigma =1\). Invent. Math. 11, 329–339 (1970)
Granville, A., Soundararajan, K.: Decay of mean values of multiplicative functions. Canad. J. Math. 55(6), 1191–1230 (2003)
Granville, A., Soundararajan, K.: Pretentious multiplicative functions and an inequality for the zeta-function. In: CRM Proceedings on Anatomy of integers, Lecture Notes vol. 46, pp. 191–197. American Mathematical Society, Providence, RI (2008)
Halász, G.: Über die Mittelwerte multiplikativer zahlentheoretischer Funktionen. Acad. Math. Acad. Sci. Hungar. 19, 365–403 (1968)
Halász, G.: On the distribution of additive and the mean values of multiplicative arithmetic functions. Stud. Sci. Math. Hungar. 6, 211–233 (1971)
Halász, G.: Remarks to my paper, On the distribution of additive and the mean values of multiplicative arithmetic functions. Acta Math. Acad. Scient. Hungar. 23, 425–432 (1972)
Halász, G.: On the distribution of additive functions. Acta Arith. 27, 143–152 (1975)
Halberstam, H., Richert, H.-E.: On a result of R.R. Hall. J. Number Theory (1) 11, 76–89 (1979)
Hall, R.R.: A sharp inequality of Halász type for the mean value of a multiplicative arithmetic function. Mathematika 42(1), 144–157 (1995)
Hall, R.R., Tenenbaum, G.: Effective mean value estimates for complex multiplicative functions. Math. Proc. Camb. Phil. Soc. 110, 337–351 (1991)
Indlekofer, K.-H.: On a quantitative form of Wirsing’s mean-value theorem for multiplicative functions. Publ. Math. Debrecen 75(1–2), 105–121 (2009)
Indlekofer, K.-H., Kátai, I., Wagner, R.: A comparative result for multiplicative functions. Lith. Math. J. 41(2), 143–157 (2001)
Karamata, J.: Sur un mode de croissance des fonctions régulières. Math. (Cluj) 4, 38–53 (1930)
Koukoulopoulos, D.: Pretentious multiplicative functions and the prime number theorem for arithmetic progressions. Compos. Math. 149(7), 1129–1149 (2013)
Levin, B.V., Timofeev, N.M.: Un théorème de comparaison pour les fonctions multiplicatives (en russe). Acta Arith. 42(1), 21–47 (1982/83); Corrigendum ibid. 42(3), 325 (1983)
Mangerel, A.P.: A strengthening of theorems of Halász and Wirsing, prépubl. arXiv:1604.00295v3
Mangerel, A.P.: On the number of restricted prime factors of an integer, II, prépubl. arXiv:1604.01658v2
Marie-Jeanne, F., Tenenbaum, G.: Une propriété de concentration liée à la fonction d’Euler. Indag. Math., N.S. 9(3), 382–403 (1998)
Montgomery, H.L.: A note on mean values of multiplicative functions. Report no. 17, p. 9. Djursholm, Institut Mittag-Leffler (1978)
Montgomery, H.L., Vaughan, R.C.: Hilbert’s inequality. J. London Math. Soc. (2) 8, 73–82 (1974)
Montgomery, H.L., Vaughan, R.C.: Mean values of multiplicative functions. Per. Math. Hung. 43(1–2), 199–204 (2001)
Sárközy, A.: Remarks on a paper of G. Halász. Period. Math. Hungar. 8(2), 135–150 (1977)
Shiu, P.: A Brun-Titchmarsh theorem for multiplicative functions. J. reine angew. Math. 313, 161–170 (1980)
Tenenbaum, G.: Introduction à la théorie analytique et probabiliste des nombres, 4ème éd., coll. Échelles. Berlin, Paris (2015); English translation: Graduate Studies in Mathematics 163, Amer. Math. Soc. (2015)
Tenenbaum, G.: Fonctions multiplicatives, sommes d’exponentielles, et loi des grands nombres. Indag. Math. 27, 590–600 (2016)
Wirsing, E.: Das asymptotische Verhalten von Summen über multiplikative Funktionen II. Acta Math. Acad. Sci. Hung. 18, 411–467 (1967)
Remerciements
L’auteur tient à exprimer sa gratitude à Régis de la Bretèche pour son aide lors de la préparation de cet article.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Tenenbaum, G. Moyennes effectives de fonctions multiplicatives complexes. Ramanujan J 44, 641–701 (2017). https://doi.org/10.1007/s11139-017-9949-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11139-017-9949-7
Keywords
- Quantitative estimates
- Multiplicative functions
- Effective mean-value theorems
- Weighted distribution of additive functions