No label defined (Q5614729)

On considère \(f(x)\), polynôme irréductible à coefficients entiers. On note \(d(n)\) le nombre de diviseurs de l'entier positif \(n\). On supposera que \(f(k) >0\) pour \(k=1,2,\ldots, n\) et \(s\) est un entier positif. On posera \(2^s - 1 = \ell\). Le but de ce papier est de montrer que \(\sum_{k \le x} \{d[f(k)]\}^s\) est du même ordre de grandeur que \(x(\operatorname{Log}x)^\ell\). Plusiers résultats sont déja connus: \[ \sum_{k\le x} [d(k)]^s \sim Kx(\log x) \] [\textit{S. Ramanujan}, Collected Papers. Cambridge: Cambridge University Press (1927; JFM 53.0030.02), p. 133]. \[ \sum_{k\le x} \{d[f(k)]\}^s = O\left(x(\log x)^{\ell_s}\right) \] où \(\ell_s\)est une constante dépendant de \(s\) non précisée. [\textit{J. G. van der Corput}, Proc. Akad. Wet. Amsterdam 42, 547--553 (1939; Zbl 0022.00804)] \[ \sum_{k\le x} d[f(k)] \text{ est du même ordre de grandeur que }x \log x \] [\textit{P. Erdős}, J. Lond. Math. Soc. 27, 7--15 (1952; Zbl 0046.04103)]. La démonstration d'Erdős est cependant incomplète; en effet le lemme 5 de son article, bien que très vraisemblabe n'est pas démontre (Erdős utilise une estimation de \(\rho(n)\) (loc. cit.) en dehors des limites pour lesquelles cette estimation a été démontrée). Il est à noter que le lemme 5 impliquerait le résultat suivant: (conjecturé par Nagell) si \(f\) est un polynôme irréductible à coefficients entiers et s'il existe un entier \(n\) tel que \(f(n)\) soit quadratfrei, alors il existe une infinité de tels \(n\). On peut montrer le résultat d'Erdős en remplaçant son lemme 5 par un résultat plus faible (notre lemme 5). On montre d'autre part par la même méthode, que la constante intervenant dans le résultat de van der Corput \(\ell_n\) est \(2^s - 1\). L'étude de la minoration de la somme est beaucoup plus longue, et utilise les propriétés de la fonction \(\zeta\) du corps de nombres \(\mathbb Q(\vartheta)\) (où \(f(\vartheta)=0)\).