Mean values and correlations of multiplicative functions : the ``pretentious" approach

Le sujet principal de cette thèse est l’étude des valeurs moyennes et corrélations de fonctions multiplicatives. Les résultats portant sur ces derniers sont subséquemment appliqués à la résolution de plusieurs problèmes. Dans le premier chapitre, on rappelle certains résultats classiques concernant les valeurs moyennes des fonctions multiplicatives. On y énonce également les théorèmes principaux de la thèse. Le deuxième chapitre consiste de l’article “Mean values of multiplicative functions over the function fields". En se basant sur des résultats classiques de Wirsing, de Hall et de Tenenbaum concernant les fonctions multiplicatives arithmétiques, on énonce et on démontre des théorèmes qui y correspondent pour les fonctions multiplicatives sur les corps des fonctions Fq[x]. Ainsi, on résoud un problème posé dans un travail récent de Granville, Harper et Soundararajan. On décrit dans notre thése certaines caractéristiques du comportement des fonctions multiplicatives sur les corps de fonctions qui ne sont pas présentes dans le contexte des corps de nombres. Entre autres, on introduit pour la première fois une notion de “simulation” pour les fonctions multiplicatives sur les corps de fonctions Fq[x]. Les chapitres 3 et 4 comprennent plusieurs résultats de l’article “Correlations of multiplicative functions and applications". Dans cet article, on détermine une formule asymptotique pour les corrélations X n6x f1(P1(n)) · · · fm(Pm(n)), où f1, . . . ,fm sont des fonctions multiplicatives de module au plus ou égal à 1 ”simulatrices” qui satisfont certaines hypothèses naturelles, et P1, . . . ,Pm sont des polynomes ayant des coefficients positifs. On déduit de cette formule plusieurs conséquences intéressantes. D’abord, on donne une classification des fonctions multiplicatives f : N ! {−1,+1} ayant des sommes partielles uniformément bornées. Ainsi, on résoud un problème d’Erdos datant de 1957 (dans la forme conjecturée par Tao). Ensuite, on démontre que si la valeur moyenne des écarts |f(n + 1) − f(n)| est zéro, alors soit |f| a une valeur moyenne de zéro, soit f(n) = ns avec iii Re(s) < 1. Ce résultat affirme une ancienne conjecture de Kátai. Enfin, notre théorème principal est utilisé pour compter le nombre de représentations d’un entier n en tant que somme a+b, où a et b proviennent de sous-ensembles multiplicatifs fixés de N. Notre démonstration de ce résultat, dû à l’origine à Brüdern, évite l’usage de la “méthode du cercle". Les chapitres 5 et 6 sont basés sur les résultats obtenus dans l’article “Effective asymptotic formulae for multilinear averages and sign patterns of multiplicative functions," un travail conjoint avec Alexander Mangerel. D’après une méthode analytique dans l’esprit du théorème des valeurs moyennes de Halász, on détermine une formule asymptotique pour les moyennes multidimensionelles x−l X n2[x]l Y 16j6k fj(Lj(n)), lorsque x ! 1, où [x] := [1,x] et L1, . . . ,Lk sont des applications linéaires affines qui satisfont certaines hypothèses naturelles. Notre méthode rend ainsi une démonstration neuve d’un résultat de Frantzikinakis et Host avec, également, un terme principal explicite et un terme d’erreur quantitatif. On applique nos formules à la démonstration d’un phénomène local-global pour les normes de Gowers des fonctions multiplicatives. De plus, on découvre et explique certaines irrégularités dans la distribution des suites de signes de fonctions multiplicatives f : N ! {−1,+1}. Visant de tels résultats, on détermine les densités asymptotiques des ensembles d’entiers n tels que la fonction f rend une suite fixée de 3 ou 4 signes dans presque toutes les progressions arithmétiques de 3 ou 4 termes, respectivement, ayant n comme premier terme. Ceci mène à une généralisation et amélioration du travail de Buttkewitz et Elsholtz, et donne un complément à un travail récent de Matomäki, Radziwiłł et Tao sur les suites de signes de la fonction de Liouville.

Keyphrases: Théorie analytique des nombres, Fonctions multiplicatives, Corrélations de fonctions multiplicatives, Problème d'Erdős, Les corps des fonctions, Multiplicative functions, Function fields