48 Pages
English

# Compositio Math

-

48 Pages
English

Description

Compositio Math. 144 (2008) 339–376. Moyennes de certaines fonctions multiplicatives sur les entiers friables, 3 Gerald Tenenbaum & Jie Wu Abstract. We consider logarithmic averages, over friable integers, of non-negative multiplicative functions. Under logarithmic, one-sided or two-sided hypotheses, we obtain sharp estimates that improve upon known results in the literature regarding both the quality of the error term and the range of validity. The one- sided hypotheses correspond to classical sieve assumptions. They are applied to provide an e?ective form of the Johnsen–Selberg prime power sieve. AMS Subject classification. 11N25, 11N35, 11N36, 11N56, 11C08. Keywords. Friable integers, Selberg's sieve, logarithmic averages of multiplicative functions. Sommaire 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2 Historique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

• equation di?erentielle aux di?erences

• application des resultats d'hypotheses unilaterales au crible

• hypothese d'estimation bilaterale en moyenne des memes quantites

• entier naturel

• solutions d'equations di?erentielles aux di?erences

Subjects

##### Entier naturel

Informations

Exrait

Compositio
1.
Math.144(2008) 339–376.
Moyennes de certaines
fonctions
multiplicatives sur les entiers friables, 3
Gerald Tenenbaum & Jie Wu ´
Abstract.We consider logarithmic averages, over friable integers, of non-negative multiplicative functions. Under logarithmic, one-sided or two-sided hypotheses, we obtain sharp estimates that improve upon known results in the literature regarding both the quality of the error term and the range of validity. The one-sided hypotheses correspond to classical sieve assumptions. They are applied to provide an eﬀective form of the Johnsen–Selberg prime power sieve.
AMS Subject classiﬁcation.11N25, 11N35, 11N36, 11N56, 11C08.
Keywords.Friable integers, Selberg’s sieve, logarithmic averages of multiplicative functions.
Sommaire
1Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1 2Historique. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.1Solutionsde´quationsdi´erentiellesauxdi´erences. . . . . . . . . . . . . . . . . . .4 2.2Re´sultatsante´rieurs. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .5 3Resultats. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .7 ´ 3.1 Objectifs. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . 7 ´ 3.2 Enonc´es. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .8 3.3 Description sommaire d’une extension. . . . . . . . . . . . . . . .. . . . . . . . . . . . . . 12 4Application au crible `a puissances de Johnsen–Selberg. . . . . . . . . .. . . . . . . . . 13 5Estimations relatives aux nombresf(p). . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . 19 6Majoration pr´eliminaire. . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . 24 ´ 7Equations fonctionnelles. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .25 7.1 Forme initiale. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . 25 7.2 Exploitation de l’equation adjointe. . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . 27 ´ 8Estimations initiales. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .29 9me´Dtsnotiraduon´eTh`eor13.me. . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . 31 10oidnrttaomsnDe´e3em.2h´uTr`eo. . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . 35 11De´omsn.3e3emdnoitart`roe´hTu. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .40 ´ 11.1 Etude d’un cas particulier. . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . 40 11.2Extensionaucasg´ene´ral. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .45
Introduction
Cetravailestletroisi`emevoletdunes´erieconsacre´e`al´etudedesvaleurs moyennes de certaines fonctions arithm´etiques sur les entiers friables. Danslapremie`repartie[19],nousavonsessentiellementexamin´elecasde fonctions multiplicativesf(n) pour lesquelles les nombresf(p,lordentsquee`ssop)p d´ecritlasuitedesnombrespremiers,unevaleurmoyennestrictementpositive.Dans laseconde[8],e´criteencollaborationavecGuillaumeHanrot,nousavonsexplor´e les cons´equences de renseignements concernant directement la s´erie de Dirichlet
2
G´eraldTenenbaum&JieWu
associe´e`afitnoofcntiedorudunpchedtproemenesdtaˆeszylanuqitsoppaee´su, Dedekind — ce qui a permis de relˆacher dans une certaine mesure l’hypoth`ese de multiplicativit´e. Nousnousproposons`apresentdeconside´rerdesmoyennesdetypelogarithmique, ´ a prioripohyessdousseel´sese`htusplserepte,ge´r`ilusceptiblartantsucenortoˆsedeˆrt plus faibles concernant les nombresf(p). Les moyennes de ce type sont importantes pour les applications, notamment dans les m´ethodes de crible : voir par exemple [7] et [4]. De´signonsparP(n) le plus grand facteur premier d’un entier naturel positifn, avec la conventionP(1) = 1, et parNy:={nN:P(n)y}l’ensemble des entiersy-friables. Pour tousx1,y1, nous posons S(x, y) :=Ny[1, x], S(x, y) :=Ny]x,[. Soitfune fonction multiplicative. La s´erie de Dirichlet def1Nyec´t,rinsdansos domaine de convergence, =nf(ns=)f(νpsν)· (1·1)F(s, y) :nNypy ν0p Nous supposons syst´ematiquement dans la suite quefest positive ou nulle et queF(s, y) converge ens= 1 — et donc sur toute la droite verticalee s= 1. Larare´factiona`linnidesentiersy-friables laisse alors augurer que la fonction sommatoirepond´er´ee (1·2)ψf(x, y) :=f(nn) nS(x,y) converge rapidement versF(1, y). Nous verrons que c’est eﬀectivement le cas sous deshypoth`esesassezg´en´erales.Ilestalorspluspertinent(etbienentenduplus de´licat)d´evaluerletermer´esiduel ) (1·3)ψf(x, y) :=F(1, y)ψf(x, y) =f(n· n nS(x,y)
Notonsu:= (logx)/logyltatsprincipauxc.oNrse´us`at,arnetsisnopenud,t ´etablir,sousunehypoth`esedemajorationunilat´eraleenmoyennedesnombres f(p)(logp)/pyteplatie´udunein´eg, (1·4)ψf(x, y)F(1, y)λκ(u)uCu/logy dans un tr`es vaste domaine en (x, yet, d’autre part, `a montrer, sous une hypoth`ese), d’estimation bilat´erale en moyenne des mˆemes quantit´es, une formule asymptotique du type (1·5)ψf(x, y) =F(1, y)λκ(u)1 +O(R)
Moyennes de certaines fonctions multiplicatives sur les entiers friables, 3
3
ou`Rest un terme d’erreur essentiellement comparable `au(logu)/logy. Ici,λκ de´signeunefonction`ad´ecroissancetre`srapide,d´eniecommelasolutiondune e´quationdi´erentielleauxdi´erences.Nousrenvoyonslelecteuraux´enonce´s respectifsdesTh´eor`emes3.1et3.2pouruneformulationpr´ecise.Bornons-nousici `adeuxremarques:dunepart,(1·4) est valable dans les hypoth`eses classiques du crible, d’autre part, l’estimation (1·tioplimaedt´1e()5e´tilatlb·4) dans l’intersection des domaines de validit´e. Commeindique´plushaut,lecomportementasymptotiquedelasommepond´er´ee ψf(x, yd´onnpnoe´eerdiuleceuemmosaleusr´replierqegul)seanutptra
Ψf(x, y) :=f(n). nS(x,y)
Unaspectremarquabledeceph´enomeneconcerne,ainsiquila´et´esouligne´dans[8], ` le terme d’erreur en 1/(logy)κdans la formule
Ψf(x, y) =Cκ(f)x(logy)κ11 +O1l(goy)κlo+ol(gu+gy1),
etablie dans [19], pour un domaine ad´equat en (x, y).(1)Lorsquef(p) est en ´ moyenne proche deκ´tenfaitsruqeriqeeuolet,ceudienlemrese´rx/y s necessa est relativement petit et, partant, comme nous le verrons plus loin, ne contribue pas, lorsque< terme1, ` d’erreur sp´eciﬁque dans la formule asymptotique κa un correspondante pourψf(x, y). La suite de cet article est organis´ee comme suit. Le paragraphe 2 contient lespre´requis,relatifsauxsolutionsd´equationsdi´erentiellesauxdi´erences, ne´cessairesa`le´nonce´denosre´sultats,ainsiquunebr`evepr´esentationdesestima-tions deψf(x, yst3eheapgrtna)ri´ereeuntmespdinobieldsnalslatit´erature.Lepara de´volua`laformulationpr´ecisedenos´enonce´sainsiqua`ladescriptionduneexten-sionpossible.Nousyd´ecrivonse´galementlincidencesurles´evaluationsdeψf(x, y) de la connaissance d’hypoth`eses plus fortes, mais standard, relatives aux moyennes nonponde´r´eesdesnombresf(p) logp. Le paragraphe 4 concerne l’application des re´sultatsdhypoth`esesunilat´eralesaucrible`apuissancesdeGallagherSelberg. Nousdonnonsun´enonc´eg´ene´raletd´etaillonsunexemplepratiquerepr´esentatif. Lesparagraphessuivantssontconsacr´esauxde´monstrations.Enparticulier,les ´equationsfonctionnelles,quiformentlecœurdelam´ethode,etleurtraitementvia le´quationditeadjointeauprobl`eme,sontpr´esente´sauparagraphe7.