Sur les plus grands facteurs premiers d'entiers cons\'ecutifs

TL;DR

This paper investigates the distribution of the largest prime factors of consecutive integers, proving positive proportions for certain patterns and improving known bounds on the frequency of increasing prime factors.

Contribution

It establishes that specific prime factor patterns occur with positive density and improves the lower bound for the proportion of integers where the largest prime factor increases.

Findings

Positive proportion of triples with local maxima and minima in prime factors.

Generalization to J-tuple consecutive integers with extremal prime factor patterns.

Lower bound of 0.1356 for the proportion of integers with increasing largest prime factors.

Abstract

Let $P^+(n)$ denote the largest prime factor of the integer $n$ and $P_y^+(n)$ denote the largest prime factor $p$ of $n$ which satisfies $p\leqslant y$. In this paper, firstly we show that the triple consecutive integers with the two patterns $P^+(n-1)>P^+(n)<P^+(n+1)$ and $P^+(n-1)<P^+(n)>P^+(n+1)$ have a positive proportion respectively. More generally, with the same methods we can prove that for any $J\in \mathbb{Z}, J\geqslant3$, the $J-$tuple consecutive integers with the two patterns $P^+(n+j_0)= \min\limits_{0\leqslant j\leqslant J-1}P^+(n+j)$ and $P^+(n+j_0)= \max\limits_{0\leqslant j\leqslant J-1}P^+(n+j)$ also have a positive proportion respectively. Secondly for $y=x^{\theta}$ with $0<\theta\leqslant 1$ we show that there exists a positive proportion of integers $n$ such that $P_y^+(n)<P_y^+(n+1)$. Specially, we can prove that the proportion of integers $n$ such that $P^+(n)<P^+(n+1)$ is larger than 0.1356, which improves the previous result "0.1063" of the author.

Equations

$$\mathrm{Prob}[P^{+}(n+a_1)<P^{+}(n+a_2)<\cdots <P^{+}(n+a_k)]=\frac{1}{k!},$$

$$\frac{1}{x}\sum _{\begin{array}{c}n⩽x\\ P^{+}(n+a_1)<P^{+}(n+a_2)<\cdots <P^{+}(n+a_k)\end{array}}1\to \frac{1}{k!}$$

$$P^{+}(n-1)>P^{+}(n)<P^{+}(n+1)$$

$$P^{+}(n-1)<P^{+}(n)>P^{+}(n+1)$$

$$P^{+}(n-1)<P^{+}(n)<P^{+}(n+1)$$

$$P^{+}(n-1)>P^{+}(n)>P^{+}(n+1),$$

$$\displaystyle\big{|}\big{\{}n\leqslant x:P^{+}(n-1)>P^{+}(n)>P^{+}(n+1)\big{\}}\big{|}\gg x^{1/2}$$

$$\displaystyle\big{|}\big{\{}n\leqslant x:\,P^{+}(n-1)>P^{+}(n)<P^{+}(n+1)\big{\}}\big{|}>1,063\times 10^{-7}x.$$

$$\displaystyle\big{|}\big{\{}n\leqslant x:\,P^{+}(n-1)<P^{+}(n)>P^{+}(n+1)\big{\}}\big{|}>8,84\times 10^{-4}x.$$

$$|\{n⩽x:P^{+}(n)<P^{+}(n+1)\}|\sim \frac{1}{2}x.$$

$$\big{|}\big{\{}n\leqslant x:\,P^{+}(n)<P^{+}(n+1)\big{\}}\big{|}>0,0099x\qquad(x\rightarrow\infty).$$

$$|\{n⩽x:P_y^{+}(n)<P_y^{+}(n+1)\}|\sim \frac{1}{2}x?$$

$$f_y(n):=\{\begin{array}{ll}1& \text{si Py+(n+1)>Py+(n),}\\ \text{vskip}2.84526pt& \\ -1& \text{si Py+(n+1)<Py+(n),}\end{array}$$

$$\Big{|}\sum_{\begin{subarray}{c}1\leqslant an+b\leqslant x\end{subarray}}f_{y}(an+b)\Big{|}\ll_{a,b}x\exp\bigg{(}-\frac{\log x}{10\log y}\bigg{)}$$

$$\displaystyle x\geqslant 3\qquad\text{et}\qquad 3\leqslant y\leqslant\exp\bigg{(}\frac{\log x}{100\log_{2}x}\bigg{)}.$$

$$\displaystyle\big{|}\big{\{}n\leqslant x:\ P^{+}_{y}(n)<P^{+}_{y}(n+1)\big{\}}\big{|}\geqslant C(\alpha)x$$

$$\displaystyle C\Big{(}\frac{1}{3}\Big{)}>0,0506,\qquad C\Big{(}\frac{1}{2}\Big{)}>0,0914,\qquad C\Big{(}\frac{2}{3}\Big{)}>0,0948.$$

$$\underset{\alpha \to 0}{\lim }C(\alpha )\to 0,$$

$$\displaystyle\big{|}\big{\{}n\leqslant x:\,P^{+}(n)<P^{+}(n+1)\big{\}}\big{|}>0,1356x.$$

$$\big{|}\big{\{}n\leqslant x:\,P^{+}(n+j_{0})=\min_{0\leqslant j\leqslant J-1}P^{+}(n+j)\big{\}}\big{|}\sim J^{-1}x$$

$$\displaystyle\big{|}\big{\{}n\leqslant x:P^{+}(n+j_{0})=\min_{0\leqslant j\leqslant J-1}P^{+}(n+j)\big{\}}\big{|}\geqslant\{C_{3}(J)+o(1)\}x$$

$$\displaystyle C_{3}(J):=\max_{0<\alpha<\frac{1}{2(J-1)}}\rho\bigg{(}\frac{1}{\alpha}\bigg{)}\bigg{(}\alpha\log\frac{1}{2\alpha(J-1)}\bigg{)}^{J-1}>0$$

$$\displaystyle\big{|}\big{\{}n\leqslant x:P^{+}(n+j_{0})=\max_{0\leqslant j\leqslant J-1}P^{+}(n+j)\big{\}}\big{|}\geqslant\{C_{4}(J)+o(1)\}x$$

$$\displaystyle C_{4}(J):=\max_{\begin{subarray}{c}\frac{2J-2}{2J-1}<\alpha<1\\ 1-\alpha\leqslant\beta<\gamma<\frac{\alpha}{2(J-1)}\end{subarray}}\bigg{(}\beta\log\frac{\gamma}{\beta}\bigg{)}^{J-1}\log\frac{1}{\alpha}>0.$$

$$\delta (n):=\underset{\begin{array}{c}m\in {\mathbb{N}}^{\ast }\setminus \{n\}\\ P^{+}(m)⩽P^{+}(n)\end{array}}{\min }|m-n|$$

$$\sum _{n⩽x}\delta (n{)}^{-1}\sim (4\log 2-2)x$$

$$\sum _{n⩽x}\delta (n{)}^{-1}>\frac{2}{3}x+o(x)$$

$$\sum _{n⩽x}\delta (n{)}^{-1}<(1-5,315\times 10^{-8})x.$$

$${\delta }_{\ast }(n):=\underset{\begin{array}{c}m\in {\mathbb{N}}^{\ast }\setminus \{n\}\\ P^{+}(m)⩾P^{+}(n)\end{array}}{\min }|n-m|.$$

$$\displaystyle\sum_{n\leqslant x}\delta_{*}(n)^{-1}>\big{\{}\tfrac{2}{3}+o(1)\big{\}}x.$$

Full text

L’auteur est partiellement soutenu par une bourse de “China Scholarship Council”.

1. 1 Introduction

2. 1.1 Les plus grands facteurs premiers de trois entiers consécutifs

3. 1.2 Les plus grands facteurs premiers de deux entiers consécutifs

4. 1.3 Les plus grands facteurs premiers de plusieurs entiers consécutifs

5. 1.4 Application : distance entre les entiers friables

6. 2 Deux lemmes de cribles

7. 2.1 Borne supérieure du crible linéaire

8. 2.2 Entiers sans facteur premier dans un intervalle donné

9. 2.3 Entiers friables

10. 3 Deux théorèmes de type Bombieri-Vinogradov

11. 3.1 Théorème de type Bombieri-Vinogradov pour $S(x;\,y,z)$

12. 3.2 Théorème de type Bombieri-Vinogradov avec une fonction bien factorisable

13. 4 Démonstration du Théorème 1: cas des $n$ tels que $P^{+}(n-1)>P^{+}(n)<P^{+}(n+1)$

14. 5 Démonstration du Théorème 1: cas des $n$ tels que $P^{+}(n-1)<P^{+}(n)>P^{+}(n+1)$

15. 6 Démonstration du Théorème 3

16. 7 Démonstration du Théorème 4

17. 8 Démonstration du Théorème 2(i)

18. 9 Démonstration du Théorème 2(ii)

19. 9.1 Point de départ

20. 9.2 Estimation de la somme $\mathscr{S}_{A}$

21. 9.3 Estimation de la somme $\mathscr{S}_{B}$

22. 9.4 Estimation de la somme $\mathscr{S}_{C}$

23. 10 Démonstration du Corollaire 1

24. 11 Démonstration du Corollaire 2

25. 12 Démonstration du Corollaire 3

\dottedcontents

section[1.16cm]1.8em5pt \dottedcontentssubsection[2.00cm]2.7em5pt

1. Introduction

Les entiers naturels ont deux structures fondamentales: additive et multiplicative. En général, les propriétés multiplicatives d’un entier et celles de sa perturbation additive sont indépendantes. Les nombres premiers de Fermat et les nombres premiers jumeaux sont deux exemples typiques. Dans cet article, nous nous intéressons aux facteurs premiers des entiers consécutifs. Désignons par $P^{+}(n)$ le plus grand facteur premier d’un entier générique $n\geqslant 1$ avec la convention que $P^{+}(1)=1$. En tenant compte de la raison mentionnée ci dessus, il est naturel d’escompter que $P^{+}(n)<P^{+}(n+1)$ pour un entier sur deux et plus généralement:

Hypothèse** (A).**

Soit $k\geqslant 2$ un entier fixé. Alors pour toute permutation $(a_{1},a_{2},\ldots,a_{k})$ de $\{0,1,\ldots,k-1\}$, on a

[TABLE]

c’est-à-dire,

[TABLE]

pour $x\to\infty$.

Cette conjecture est formulée par De Koninck et Doyon [4] dans le cadre de leur article sur la distance entre les entiers friables. Sans doute, une telle conjecture est très difficile à démontrer. Même dans le cas le plus simple, i.e. $k=2$, cette conjecture reste encore ouverte. Ce cas est un des “unconventional problems in number theory” d’Erdős (voir par exemple [7] ou [17]).

1.1. Les plus grands facteurs premiers de trois entiers consécutifs

En 1978, Erdős et Pomerance observent dans leur article [8] que les deux configurations

[TABLE]

ou

[TABLE]

ont lieu pour une infinité d’entiers $n$, et conjecturent qu’elles se produisent pour une proportion positive d’entiers. Par ailleurs, ils démontrent l’existence d’une infinité d’entiers $n$ satisfaisant

[TABLE]

en considérant des entiers $n$ de la forme $n=p^{k_{0}}$ avec $k_{0}$ judicieusement choisi. Finalement, ils remarquent que «  On the other hand we cannot find infinitely many $n$ for which

[TABLE]

but perhaps we overlook a simple proof.  »  En 2001, Balog [1] démontre leur conjecture et il obtient

[TABLE]

pour $x\rightarrow\infty$.

Dans cet article, nous montrons qu’il existe une proportion positive d’entiers $n$ tels que (1.2) et (1.3) sont vraies.

Notre résultat est le suivant.

Théorème 1**.**

Pour $x\rightarrow\infty$, on a

[TABLE]

et

[TABLE]

L’idée de la preuve est de considérer pour (1.6) des entiers $n$ friables et pour (1.7) des entiers de la forme $mp$, où $p$ est un nombre premier de taille assez grande. On introduit ensuite un système de poids bien adapté et on utilise des théorèmes de type Bombieri-Vinogradov pour les entiers friables et pour les entiers avec un grand facteur premier.

1.2. Les plus grands facteurs premiers de deux entiers consécutifs

Dans ce sous-paragraphe, nous considérons les plus grands facteurs premiers de deux entiers consécutifs. Dans ce cas, la conjecture (1.1) peut être simplifiée de la manière suivante :

[TABLE]

En 1978, Erdős et Pomerance [8] démontrent qu’il existe une proportion positive d’entiers $n$ avec $P^{+}(n)<P^{+}(n+1)$. Plus précisément, ils obtiennent

[TABLE]

En 2005, La Bretèche, Pomerance et Tenenbaum [5] améliorent la constante 0,0099 en 0,05544. De plus, dans leur article ils indiquent que 0,05544 peut être remplacée par 0,05866, grâce à une observation de Fouvry. Récemment, nous [21] avons réussi à généraliser ce problème dans les petits intervalles. En particulier, nous avons amélioré la constante 0,05866 en 0,1063.

Rivat [15] propose une autre voie pour approcher (1.8). Pour $2\leqslant y\leqslant x,$ notons $P_{y}^{+}(n)$, le plus grand facteur premier de $n$ inférieur à $y$, $P_{y}^{+}(n)=\max\{p|n:\,p\leqslant y\},$ avec la convention $P_{y}^{+}(n)=1$ si le plus petit facteur premier de $n$ est strictement supérieur à $y$.

Pour quels $y$, avons-nous la formule

[TABLE]

En posant

[TABLE]

Rivat montre que

[TABLE]

est valable pour \big{(}a,\,b(b+1)\big{)}=1 et

[TABLE]

Cela implique que la formule asymptotique (1.10) a lieu uniformément dans le domaine (1.11). Puisque (1.8) est équivalente à (1.10) avec $y=x$, il serait intéressant d’étendre le domaine de $y$ dans (1.11) ci-dessus à $y=x^{\alpha}$ où $0<\alpha\leqslant 1$ est une constante.

Nous n’avons pas réussi à obtenir une telle extension de (1.11). Notre théorème fournit cependant une minoration du membre de gauche de (1.10) quand $y=x^{\alpha}$.

Théorème 2**.**

Soit $\alpha\in]0,\,1].$ Il existe $C(\alpha)>0$ tel que

[TABLE]

pour $x\rightarrow\infty$.

Notre démonstration fournit des expressions explicites de $C(\alpha)$ admissibles. On renvoie le lecteur à (8.6) et (9.20) pour une définition précise de $C(\alpha)$ respectivement dans les intervalles $]0,1/2]$ et $]1/2,1].$ Le suivant est trois exemples de valeurs de $C(\alpha)$ admissibles:

[TABLE]

Lorsque $\alpha$ tend vers [math], notre résultat devient moins intéressant, en effet,

[TABLE]

ce qui est contraire à l’intuition. Cela est dû au système de poids que nous utilisons qui est certainement très perfectible pour des petites valeurs de $\alpha.$

Dans cet article nous souhaitons donner un premier résultat valable pour tout $\alpha\in]0,1].$ Nous espérons dans un prochain travail améliorer les valeurs de $C(\alpha)$ pour $\alpha$ proche de $0.$

Pour $\alpha=1$, le Théorème 2 fournit une amélioration de la proportion $0,1063$ obtenue dans [21]. Nous montrons ainsi que $P^{+}(n)<P^{+}(n+1)$ (ou $P^{+}(n)>P^{+}(n+1)$) a lieu pour au moins 2 entiers sur 15, plus précisément on a le corollaire suivant.

Corollaire 1**.**

Pour $x\rightarrow\infty$, on a

[TABLE]

Signalons que la constante 0,1356 peut être remplacée par 0,411 sous l’hypothèse d’Elliott-Halberstam et l’hypothèse d’Elliott-Halberstam pour des entiers friables (avec “$q\leqslant x^{1-\varepsilon}\,$” à la place de “$q\leqslant x^{1/2}/(\log x)^{B}\,$” dans (3.4) du Lemme 3.2 ci-dessous).

1.3. Les plus grands facteurs premiers de plusieurs entiers consécutifs

De Koninck et Doyon [4] ont remarqué que sous l’Hypothèse (A) on a

[TABLE]

pour $x\to\infty$. Notre méthode permet d’obtenir une proportion positive inconditionnelle.

Théorème 3**.**

Soient $J\geqslant 3$ un entier et $j_{0}\in\{0,\dots,J-1\}$. Alors on a

[TABLE]

pour $x\rightarrow\infty$, où

[TABLE]

Nous avons un résultat similaire pour le max à la place de min.

Théorème 4**.**

Soient $J\geqslant 3$ un entier et $j_{0}\in\{0,\dots,J-1\}$. Alors on a

[TABLE]

pour $x\rightarrow\infty$, où

[TABLE]

1.4. Application : distance entre les entiers friables

Pour mesurer la distance entre les entiers friables, De Koninck et Doyon [4] ont introduit la fonction suivante :

[TABLE]

et ont montré sous l’Hypothèse (A) la formule asymptotique

[TABLE]

pour $x\rightarrow\infty$. De plus, le Théorème 10 de [4] entraîne la minoration inconditionnelle

[TABLE]

pour $x\rightarrow\infty$.

Nous pouvons obtenir grâce au Théorème 1, une majoration inconditionnelle.

Corollaire 2**.**

Pour $x\rightarrow\infty$, on a

[TABLE]

On remarque qu’on peut très légèrement améliorer ce résultat (voir (11.1)) en appliquant le Théorème 3 à la place du Théorème 1.

Par analogie à $\delta(n)$, nous proposons étudier la zone de $P(n)-$friabilité autour de $n$

[TABLE]

En adaptant la démonstration du Théorème 10 de [4], on peut facilement montrer que pour $x\rightarrow\infty$

[TABLE]

De façon similaire à la démonstration du Corollaire 2, on peut obtenir une majoration pour $\delta_{*}(n)$ en utilisant l’inégalité (1.7) du Théorème 1.

Corollaire 2***.**

Pour $x\rightarrow\infty$, on a

[TABLE]

On peut obtenir respectivement une majoration des quatre cas de figure pour les triplets d’entiers consécutifs en utilisant les minorations (1.19) et (1.21), ou en combinant le Théorème 1 avec le Corollaire 1.

Corollaire 3**.**

Pour $x\rightarrow\infty$, on a

[TABLE]

Dans le paragraphe 2 de cet article, on rappelle la majoration du crible linéaire obtenue par Iwaniec et des résultats de Hildebrand, Fouvry et Tenenbaum sur les entiers friables ainsi que sur les entiers sans facteur premier dans un intervalle donné.

Le paragraphe 3 porte sur divers théorèmes de type Bombieri-Vinogradov. Nous obtenons notamment pour la suite des entiers avec un grand facteur premier un niveau de distribution en $x^{4/7-\varepsilon}$ lorsque la moyenne est prise avec un poids bien factorisable. C’est une “ légère ”

généralisation du théorème de Bombieri-Friedlander-Iwaniec qui pourra peut-être servir dans d’autres contextes.

Les paragraphes suivants sont dévolus aux preuves des différents résultats annoncés dans cette introduction.

Remarque**.**

Peu après la présentation des ces travaux en mai 2017 lors de la conférence «  Prime Numbers and Automatic Sequences   » au CIRM à Marseille, Joni Teräväinen [19] m’a annoncé qu’il avait une autre preuve de la densité inférieure strictement positive des ensembles étudiés au Théorème 1. Sa démonstration ne fournit pas de minoration explicite des densités inférieures mais présente une approche différente et intéressante sur ce problème.

Remerciements**.**

Ce travail a été réalisé sous la direction de mes directeurs de thèse Cécile Dartyge et Jie Wu. Je les remercie vivement pour les nombreuses suggestions cruciales qu’ils ont proposées dans l’élaboration de ce travail.

2. Deux lemmes de cribles

2.1. Borne supérieure du crible linéaire

Dans ce paragraphe nous rappelons un résultat d’Iwaniec sur le crible linéaire. Nous énonçons ici seulement la majoration car seule celle-ci sera utilisée dans cet article.

Soient $\mathcal{A}$ une suite finie d’entiers, $\mathcal{P}$ un ensemble de nombres premiers, $z\geqslant 2$ un nombre réel, $d$ un entier sans facteur carré dont les facteurs premiers appartiennent à $\mathcal{P}$. Notons

[TABLE]

On souhaite évaluer

[TABLE]

On suppose que $|\mathcal{A}_{d}|$ vérifie une formule de la forme

[TABLE]

où $X$ est une approximation de $|\mathcal{A}|$ indépendante de $d$, $w$ une fonction multiplicative vérifiant $0<w(p)<p$ pour $p\in\mathcal{P}$, $w(d)d^{-1}X$ un terme principal et $r(\mathcal{A},d)$ un terme d’erreur que l’on espère petit en moyenne sur $d$. De plus, on définit

[TABLE]

On a ainsi [12]

Lemme 2.1**.**

On suppose qu’il existe une constante $K\geqslant 2$ telle que

[TABLE]

pour tout $v>u\geqslant 2$. Alors pour tout $\varepsilon>0$ et $D^{1/2}\geqslant z\geqslant 2$, on a

[TABLE]

où $F(s)=2\mathrm{e}^{\gamma}s^{-1}\;(0<s\leqslant 3)$, $\gamma$ est une constante d’Euler, $\lambda_{\ell}^{+}(d)$ désigne un coefficient bien factorisable de niveau $D$ et d’ordre $1$. Le terme d’erreur $E$ satisfait

[TABLE]

Les $\lambda_{\ell}^{+}(d)$ sont les poids de Rosser-Iwaniec. On pourra trouver une définition précise dans [12]. Ici nous indiquons simplement que $|\lambda_{\ell}^{+}(d)|\leqslant 1.$ La notation de fonction bien factorisable est définie au début du paragraphe 3.2.

2.2. Entiers sans facteur premier dans un intervalle donné

Soit

[TABLE]

On désigne pour $z<y\leqslant x$

[TABLE]

l’ensemble des entiers sans facteur premier dans l’intervalle $(z,\,y]$ et n’excédant pas $x$. On note le cardinal

[TABLE]

Alors $\Psi_{0}(x;\,y,z)$ est évaluée par le lemme suivant (voir [16, Exercice 299] ou [18] pour la correction).

Lemme 2.2**.**

On a

[TABLE]

uniformément pour $y\geqslant z\geqslant 2$ et $x\geqslant yz$, où

[TABLE]

et

[TABLE]

avec la convention $\vartheta_{0}(0,u)=0$. La fonction de Buchstab $\omega(u)$ est définie comme la solution continue du système

[TABLE]

De plus, nous prolongeons $\omega(u)$ par [math] pour $u<1$. La fonction de Dickman $\rho(u)$ est définie par l’unique solution continue de l’équation différentielle aux différences

[TABLE]

2.3. Entiers friables

Posons

[TABLE]

et

[TABLE]

Les deux lemmes respectivement suivants, dus à Hildebrand [11, Theorem 1] et à Fouvry-Tenenbaum [9, Théorème 1], serviront dans la démonstration du Théorème 1.

Lemme 2.3**.**

Soit $\varepsilon>0$. Alors on a

[TABLE]

uniformément pour

[TABLE]

où $u=\log x/\log y$ et $\rho(u)$ est définie par (2.4).

Lemme 2.4**.**

Soit $\varepsilon>0$. Alors on a

[TABLE]

uniformément pour

[TABLE]

et

[TABLE]

3. Deux théorèmes de type Bombieri-Vinogradov

Dans cette section, nous démontrons deux théorèmes de type Bombieri-Vinogradov que l’on utilisera dans la démonstration du Théorème 2.

3.1. Théorème de type Bombieri-Vinogradov pour $S(x;\,y,z)$

Soit $S(x;\,y,z)$ l’ensemble défini comme dans (2.2). Notre théorème de type Bombieri-Vinogradov pour $S(x;\,y,z)$ est le suivant.

Proposition 1**.**

Pour tout $A>0$ et tout $\varepsilon>0$, il existe une constante $B=B(A)>0$ telle que l’on ait

[TABLE]

uniformement pour

[TABLE]

où $\varphi(q)$ est la fonction d’Euler.

Pour démontrer cette proposition, rappelons d’abord un résultat général de Motoshashi [13]. Soit $f$ une fonction arithmétique vérifiant les propriétés suivantes:

• $(\mathscr{A})$

$f(n)\ll\tau(n)^{C}$, où $\tau(n)$ désigne la fonction diviseur et $C$ est une constante.

• $(\mathscr{B})$

Si le conducteur d’un caractère de Dirichlet non principal $\chi$ est $O((\log x)^{D})$, alors

[TABLE]

où $D$ est une constante positive.

• $(\mathscr{C})$

Soit

[TABLE]

alors pour tout $A>0$, il existe une constante $B=B(A)>0$ telle que

[TABLE]

Les constantes $A,B,C,D$ ne dépendent que la fonction $f$.

Le résultat suivant est dû à Motohashi [13, Theorem 1].

Lemme 3.1**.**

Soient $f$ et $g$ deux fonctions arithmétiques vérifiant les propriétés $(\mathscr{A})$, $(\mathscr{B})$ et $(\mathscr{C})$. Alors la convolution multiplicative $f\ast g$ vérifie aussi $(\mathscr{A})$, $(\mathscr{B})$ et $(\mathscr{C})$.

De manière analogue à $P^{+}(n)$, désignons par $P^{-}(n)$ le plus petit facteur premier d’un entier $n\geqslant 1$ avec la convention $P^{-}(1)=\infty$. Posons

[TABLE]

et

[TABLE]

Nous utilisons des théorèmes de type Bombieri-Vinogradov pour les entiers criblés et pour les entiers friables.

Lemme 3.2**.**

Pour tout $A>0$, il existe une constante $B=B(A)>0$ telle que l’on ait

[TABLE]

uniformément pour $x\geqslant y\geqslant 2$.

La formule (3.5) a été démontrée par Wolke [22], qui dans le même article annonce une formule équivalente pour les friables. La formule (3.4) a été démontrée par Fouvry-Tenenbaum [9]. On trouvra dans l’article [10] de Fouvry-Tenenbaum (voir également les travaux récents de Drappeau [6]) une formule avec une majoration en $\Psi(x,y)(\log x)^{-A}$ à la place de $x(\log x)^{-A}$ lorsque $y>\exp\{(\log x)^{2/3+\varepsilon}\}$. Cependant, dans nos preuves, l’inégalité (3.4) sera suffisante. En particulier, nous exploitons l’uniformité en $``\max\limits_{z\leqslant x}"$ dans (3.4) et qui n’apparaît pas dans [10].

Nous somme maintenant prêts pour la preuve de la Proposition 1.

Démonstration.

Soient $\lambda$ la fonction caractéristique de l’ensemble $S(x;\,y,z)$, c’est-à-dire,

[TABLE]

Définissons deux fonctions arithmétiques $v_{z}$ et $u_{y}$ par

[TABLE]

Alors $v_{z}$ et $u_{y}$ sont multiplicatives et on a

[TABLE]

En fait, si $n\not\in S(x;\,y,z)$, il existe un premier $p$ tel que $p\mid n$ et $z\leqslant p<y$. D’où

[TABLE]

Si $n\in S(x;\,y,z)$, alors cet entier peut être écrit de manière unique sous la forme

[TABLE]

Ainsi

[TABLE]

Donc pour démontrer le résultat souhaité, grâce au Lemme 3.1, il suffit de vérifier que les deux fonctions $v_{z}$ et $u_{y}$ possèdent les propriétés $(\mathscr{A})$, $(\mathscr{B})$ et $(\mathscr{C})$.

La première est triviale.

Soient $D>0$, $1<q\leqslant(\log x)^{D}$ et $c_{0},c_{1},c_{2}$ des constantes strictement positives, alors pour tout caractère de Dirichlet $\chi$ non principal modulo $q$, on a, d’après le Théorème 4 de [9]

[TABLE]

sous la condition

[TABLE]

De plus, si $2\leqslant z<\exp\{c_{0}(\log_{2}x)^{2}\}$, le Théorème III.5.1 de [16] implique trivialement que

[TABLE]

Cela montre que $v_{z}$ possède la propriété $(\mathscr{B})$ pour $2\leqslant z\leqslant x$. De manière similaire, par le résultat de [23, Theorem 1], $u_{y}$ satisfait $(\mathscr{B})$ pour $\exp\{(\log x)^{2/5+\varepsilon}\}\leqslant y\leqslant x^{1/2}.$ Si $y>x^{1/2}$, $m$ est premier et on sait que $u_{y}(m)$ satisfait $(\mathscr{B})$ (voir [16]). Donc $u_{y}$ satisfait $(\mathscr{B})$ pour

[TABLE]

On en déduit ensuite que $v_{z}$ et $u_{y}$ satisfont $(\mathscr{C})$ en utilisant (3.4) et (3.5) du Lemme 3.2 respectivement. Finalement, à l’aide du Lemme 3.1 on déduit que $\lambda=v_{z}\ast u_{y}$ satisfait des propriétés $(\mathscr{A})$, $(\mathscr{B})$ et $(\mathscr{C})$ sous la condition

[TABLE]

La Proposition 1 est ainsi démontrée. ∎

3.2. Théorème de type Bombieri-Vinogradov avec une fonction bien factorisable

Pour un entier positif $k$, on définit $\tau_{k}(n)$ par

[TABLE]

Une fonction arithmétique $\lambda(q)$ est dite de niveau $Q$ et d’ordre $k$ si

[TABLE]

On dit que $\lambda$ est bien factorisable de niveau $Q$ si pour toute décomposition $Q=Q_{1}Q_{2}$ avec $Q_{1},Q_{2}\geqslant 1$, il existe deux fonctions arithmétiques $\lambda_{1},\lambda_{2}$ de niveaux $Q_{1},Q_{2}$ et d’ordre $k$ telles que

[TABLE]

Pour $q\in\mathbb{N}^{*}$ et $(a,q)=1$, on définit

[TABLE]

pour $\ell=1$, on retrouve $\pi(x;\,a,q)$ la fonction de compte des nombres premiers dans les progressions arithmétiques.

Le théorème de Bombieri-Vinogradov assure que $\pi(x;\,a,q)$ est proche de $\text{li}(x)/\varphi(q)$ en moyenne pour $q\leqslant x^{1/2}/(\log x)^{A}$. Bombieri, Friedlander et Iwaniec montrent que la borne $q\leqslant x^{1/2}/(\log x)^{A}$ peut être remplacée par $x^{4/7-\varepsilon},$ si on insère un poids bien factorisable. Nous présentons ici une légère généralisation de résultat de [3].

Proposition 2**.**

Soient $a\in\mathbb{Z}^{*}$, $A>0$ et $\varepsilon>0$. Alors pour toute fonction bien factorisable $\lambda(q)$ de niveau $Q$, la majoration suivante

[TABLE]

ait lieu pour

[TABLE]

La constante implicite dépend au plus de $a$, $A$ et $\varepsilon$.

Démonstration.

En approchant $\text{li}(x/\ell)$ par $\sum_{\ell n\leqslant x}\Lambda(n)$ puis en observant que la contribution des $n$ tels que $(n,\,qP(z))\neq 1$ est négligeable, on vérifie qu’il suffit de montrer

[TABLE]

avec $z=\exp(\log x/\log_{2}x)$.

Puisque la démonstration est très proche de celle de [3, Theorem 10], nous indiquons les points essentiels et les différences entre les deux démonstrations. Pour cela, on introduit

[TABLE]

où $\sum^{*}$ désigne que la somme est restreinte à des entiers $m_{1},\ldots,m_{j},n_{1},\ldots,n_{j}$ sans facteur premier $<z$, et $\mathscr{L},\mathscr{M}_{i},\mathscr{N}_{i}$ sont les intervalles suivants

[TABLE]

avec

[TABLE]

et $\Delta=(\log x)^{-A_{1}}$ ($A_{1}$ est une constante assez grande dépendant de $A$).

Dans la démonstration de [3, Theorem 10], on remplace, pour $j\leqslant J=7$,

[TABLE]

par

[TABLE]

On va montrer que

[TABLE]

pour tout $A_{2}$. Notons

[TABLE]

avec

[TABLE]

On utilise ensuite un argument combinatoire similaire à [3, Theorem 10]. La différence est qu’on ne peut pas appliquer [3, Theorem 1] et [3, Theorem 2] à $L=x^{\nu_{0}}$, car on n’a pas la condition $(\ell,\,P(z))=1$ pour $\ell$. Pour surmonter cette difficulté, nous observons tout d’abord que, si $\nu_{0}\geqslant\tfrac{3}{7}$, on peut appliquer le théorème 5 de [3] avec

[TABLE]

pour obtenir (3.9). Sinon, c’est-à-dire, dans le cas où $\nu_{0}<\tfrac{3}{7}$, on utilise le théorème 1 ou 2 de [3] avec

[TABLE]

selon

[TABLE]

ou

[TABLE]

Si (3.10) a une somme partielle $\lambda$ de $\mu_{1},\ldots,\mu_{j},\nu_{1},\ldots,\nu_{j}$ avec

[TABLE]

on complète la preuve d’après (3.11) ou (3.12). Sinon, on peut supposer qu’il n’y a pas de somme partielle de $\mu_{1},\ldots,\mu_{j},\nu_{1},\ldots,\nu_{j}$ de (3.10) dans (3.11) ou (3.12). Ainsi, toutes les $\mu_{i}$ et $\nu_{i}$ avec $\nu_{i}\leqslant\tfrac{1}{7}$ donnent un produit $\eta$ avec

[TABLE]

d’où l’on peut déduire que

[TABLE]

On a ainsi $\nu_{1}\geqslant\tfrac{3}{7}$. En utilisant [3, Theorem $5^{*}$] avec

[TABLE]

ce qui termine la démonstration de la Proposition 2. ∎

Le lemme suivant, dû à Pan-Ding-Wang [14], sera aussi utile dans la démonstration du Théorème 2(ii).

Lemme 3.3**.**

Soient $\alpha\in\,]0,1[$ et $f(\ell)$ une fonction arithmétique vérifiant $|f(\ell)|\leqslant 1$. Alors pour tout $A>0$, il existe une constante $B=B(A)>0$ telle que l’on ait

[TABLE]

uniformément pour

[TABLE]

où la constante implicite ne dépend que de $\alpha$ et $A$.

4. Démonstration du Théorème 1: cas des $n$ tels que $P^{+}(n-1)>P^{+}(n)<P^{+}(n+1)$

Soit $y=x^{\alpha}$ où $0<\alpha<\frac{1}{4}$ est un paramètre à choisir plus tard. Il est clair que

[TABLE]

où $S(x,\,y)$ et $P(x,y)$ sont définis respectivement par (2.5) et (2.1).

Pour $n\leqslant x$ et $z<y$, on a

[TABLE]

d’où

[TABLE]

Ainsi on peut détecter les conditions $(n\pm 1,\,P(x,y))>1$ dans la formule (4.1) par (4.5) :

[TABLE]

où $B$ est une constante convenable. Pour la somme intérieure du membre de droite, on utilise le théorème des restes chinois. Il existe un entier $a$ tel que les congruences $n\equiv 1\,(\text{mod}\,p_{1}),\,n\equiv-1\,(\text{mod}\,p_{2})$ soient équivalents à $n\equiv a\,(\textrm{mod}\,p_{1}p_{2})$. On en déduit donc

[TABLE]

où (avec la notation (2.6))

[TABLE]

Pour $\mathcal{S}_{2}$, en utilisant l’inégalité de Cauchy-Schwarz on obtient

[TABLE]

où

[TABLE]

$\Omega(n)$ est la fonction dénombrant le nombre total des facteurs premiers de $n$ compté avec leur ordre de multiplicité.

Pour $\mathcal{S}_{22}$ on utilise une majoration triviale :

[TABLE]

et pour $\mathcal{S}_{21}$ on applique le Lemme 3.2. Cela donne

[TABLE]

Dans $\mathcal{S}_{1}$ on peut retirer la condition $p_{1}\neq p_{2}$ au prix d’une erreur inférieur à:

[TABLE]

On évalue ensuite $\mathcal{S}_{1}$ à l’aide du Lemme 2.4 sur les entiers friables.

[TABLE]

où on a appliqué la formule suivante

[TABLE]

avec $c_{1}\approx 0,261497$ la constante de Meissel-Mertens. Par une intégration par parties, on a

[TABLE]

En reportant (4.9) et (4.8) dans (4.7), on déduit que

[TABLE]

À l’aide de Mathematica 9.0, on peut trouver la constante $1,063\times 10^{-7}$ avec $\alpha\approx\frac{1}{4,6}$. La preuve du Théorème 1 est complète.

5. Démonstration du Théorème 1: cas des $n$ tels que $P^{+}(n-1)<P^{+}(n)>P^{+}(n+1)$

Soient $\alpha,\beta,\gamma$ tels que

[TABLE]

trois paramètres à choisir plus tard. Étant donnés un entier $m$ et deux nombres premiers distincts $p_{1}$ et $p_{2}$ vérifiant

[TABLE]

on considère le système d’équations de congruences:

[TABLE]

En remarque que les conditions (5.1) et (5.2) garantissent que $(p_{1}p_{2},m)=1$. D’après le théorème chinois, il existe $b<p_{1}p_{2}$ (dépendant de $m$) tel que

[TABLE]

Pour ces $m$ et $p>x^{\alpha}$, on peut donc déduire que

[TABLE]

De même,

[TABLE]

Ce qui implique

[TABLE]

Ainsi, en reprenant les poids $\omega(n;\,y,z)$ définis par (4.2), on a d’après (4.5),

[TABLE]

D’après (5.3) et (5.4), on a donc

[TABLE]

où

[TABLE]

On majore $\mathbb{S}_{2}$ en utilisant le théorème de Bombieri-Vinogradov [2, 20] qui est le cas du Lemme 3.3 avec $l=1$. On impose une condition sur $\gamma$ et $\alpha$:

[TABLE]

On en déduit, en combinant les conditions (5.1) et (5.6)

[TABLE]

En procédant de manière similaire à l’estimation de $\mathcal{S}_{2}$ dans (4.8), c’est-à-dire, à l’aide de l’inégalité de Cauchy-Schwarz et le théorème de Bombieri-Vinogradov, on obtient pour tout $A>0$

[TABLE]

Puis pour $\mathbb{S}_{1}$, on utilise le théorème des nombres premiers:

[TABLE]

À l’aide de Mathematica 9.0, on obtient

[TABLE]

avec

[TABLE]

Ainsi, on obtient

[TABLE]

De manière similaire, on peut montrer que

[TABLE]

et

[TABLE]

En combinant les minorantions (5.10), (5.11) et (5.12), on obtient finalement l’estimation

[TABLE]

Ce qui implique le résultat.

6. Démonstration du Théorème 3

Sans perte de la généralité, on peut supposer que $j_{0}=0,$ c’est-à-dire,

[TABLE]

Soient $y:=x^{\alpha}$ avec

[TABLE]

La méthode est analogue à la preuve de (1.6). On considère les entiers $y-$friables $n$ tels que $P^{+}(n+j)>y$:

[TABLE]

où $Y:=(x^{1/2}/(\log x)^{B})^{1/(J-1)}$.

D’après le théorème des restes chinois, il existe un entier $a$ tel que les congruences de la somme intérieur du membre de droite s’écrivent sous la forme $n\equiv a(\textrm{mod}\ p_{1}\cdots p_{J-1})$ car $p_{1},\ldots,p_{J-1}$ sont premiers entre eux. On a donc

[TABLE]

où

[TABLE]

La somme $\mathcal{S}_{4}$ se majore de la même façon que $\mathcal{S}_{2}$, en utilisant l’inégalité de Cauchy-Schwarz et le Lemme 3.2:

[TABLE]

Pour $\mathcal{S}_{3}$, la condition $p_{i}\neq p_{j}\,(i\neq j)$ peut être supprimée, car la contribution des puissances de nombres premiers est néglisable (puisque tous les $p_{j}>y$). On a donc

[TABLE]

On peut donc déduire que, par (6.1) (6.2) et (6.3)

[TABLE]

où

[TABLE]

La fonction $\alpha\mapsto f(J,\alpha)$ est continue et strictement positive sur $]0,\frac{1}{2(J-1)}[$ et

[TABLE]

Il existe donc un $\alpha_{0}\in\,]0,\frac{1}{2(J-1)}[$ tel que

[TABLE]

Ce qui achève la démonstration du Théorème 3.

7. Démonstration du Théorème 4

Comme (1.6) du Théorème 1 et le Théorème 3, la démonstration du Théorème 4 suit le même fil que celle de (1.7) du Théorème 1.

Pour $J\in\mathbb{Z}$, $J\geqslant 3$, on peut supposer, sans perte de généralité, que $j_{0}=0$, i.e.

[TABLE]

Soient $\alpha,\beta,\gamma$ tels que

[TABLE]

trois paramètres à choisir plus tard. Étant donnés un entier $m$ et $J-1$ nombres premiers distincts $p_{1},\dots,p_{J-1}$ vérifiant

[TABLE]

on considère le système d’équations de congruences :

[TABLE]

En remarquant que la condition (7.1) garantit que $p_{j}\nmid m$ pour $1\leqslant j\leqslant J-1$, le théorème chinois et (7.3), il existe $b<p_{1}p_{2}\cdots p_{J-1}$ tel que (7.3) soit équivalent à

[TABLE]

Pour ces $m$ et $p>x^{\alpha}$, il est facile de voir que

[TABLE]

On a donc

[TABLE]

Comme pour (6.3), la condition que $p_{1},\,\dots,\,p_{J-1}$ soient distincts peut être supprimée puisque tous les $p_{j}>x^{\beta}$. En remarquant que $p_{1}\cdots p_{J-1}\leqslant x^{\alpha/2}$, on peut appliquer le théorème de Bombieri-Vinogradov (voir le Lemme 3.3 ci-dessus)

[TABLE]

Il est clair que la fonction continue (\alpha,\beta,\gamma)\mapsto\big{(}\beta\log\frac{\gamma}{\beta}\big{)}^{J-1}\log\frac{1}{\alpha} est strictement positive et on peut prendre

[TABLE]

ce qui achève la démonstration du Théorème 4.

8. Démonstration du Théorème 2(i)

Soient $y=x^{\alpha}$ et $z=x^{\beta}$ avec $0<\beta<\alpha\leqslant\frac{1}{2}$. Comme précédemment, on peut écrire

[TABLE]

où

[TABLE]

Pour $S_{1}$, en appliquant le Lemme 2.2 avec $u=1/\alpha$ et $\lambda=\beta/\alpha$, on obtient pour $\alpha+\beta\leqslant 1$

[TABLE]

Pour $S_{2}$, si $y\leqslant x^{1/2}/(\log x)^{B}$, où $B=B(A)$ est une grande constante, on a en appliquant la Proposition 1

[TABLE]

De plus, si $x^{1/2}/(\log x)^{B}<y\leqslant x^{1/2}$, une estimation triviale permet d’obtenir

[TABLE]

En reportant (8.2), (8.3) et (8.4) dans (8.1), on obtient pour $0<\alpha\leqslant\frac{1}{2}$

[TABLE]

où $C(\alpha)$ est définie par

[TABLE]

et $\vartheta_{0}$ est définie par (2.3). Ce qui achève la démonstration du Théorème 2(i).

9. Démonstration du Théorème 2(ii)

9.1. Point de départ

Pour $y=x^{\alpha}$ avec $\frac{1}{2}<\alpha\leqslant 1$ et $1-\alpha\leqslant c\leqslant\frac{1}{2}$, on peut écrire

[TABLE]

Il reste à maintenant minorer $\mathscr{S}_{A}$, $\mathscr{S}_{C}$ et majorer $\mathscr{S}_{B}.$

9.2. Estimation de la somme $\mathscr{S}_{A}$

Pour $\mathscr{S}_{A}$, d’après le Lemme 2.3, on a

[TABLE]

pour $\frac{1}{2}\leqslant 1-c\leqslant\alpha\leqslant 1$, où on a utilisé le fait que $\rho(u)=1-\log u\;(1\leqslant u\leqslant 2)$.

9.3. Estimation de la somme $\mathscr{S}_{B}$

Pour $\mathscr{S}_{B}$, on utilise le crible de Rosser-Iwaniec comme l’auteur l’a fait dans [21]. On observe tout d’abord que, $\mathscr{S}_{B}$ compte le nombre des entiers $n$ tels que $n=ap=bp^{\prime}-1,$ avec $x^{1-c}<p^{\prime}<p\leqslant y.$ On a ainsi

[TABLE]

où

[TABLE]

On prend $\mathcal{P}=\{p:\ p\ \text{est premier}\}$, et on déduit que, pour $b\leqslant x^{c}$ et $d\mid P(z):=\prod_{p<z}p$, où $z$ sera explicité plus tard,

[TABLE]

où

[TABLE]

Pour la première somme du membre de droit de (9.3), en utilisant le théorème des nombres premiers et la formule d’inversion de Möbius, on a

[TABLE]

Par une intégration par parties, on obtient

[TABLE]

Compte tenu de (9.3) et (9.4), on en déduit que

[TABLE]

avec

[TABLE]

On peut donc appliquer le Lemme 2.1 avec $D=z^{2}=x^{4/7-\varepsilon}/b$ et obtenir

[TABLE]

où $L:=\exp(8/\varepsilon^{3})$ et on a utilisé la formule de Mertens

[TABLE]

Compte tenu de l’évaluation

[TABLE]

on obtient

[TABLE]

où

[TABLE]

Nous allons majorer $\mathscr{S}_{B2}$ à l’aide de la Proposition 2. Pour cela, écrivons d’abord,

[TABLE]

De plus, on impose une condition sur $c$

[TABLE]

telle que

[TABLE]

Désignons la fonction $\lambda_{\ell}$ par

[TABLE]

où

[TABLE]

Pour utiliser la Proposition 2, il faut démontrer que $\lambda_{\ell}(q)$ est bien factorisable de niveau $Q=\mathcal{B}D.$ Pour toute décomposition $x^{4/7-\varepsilon}=\mathcal{B}D=Q_{1}Q_{2},$ $Q_{1},Q_{2}\geqslant 1$, compte tenu de $\mathcal{B}\leqslant D,$ il existe un $i\in\{1,2\}$ tel que $Q_{i}\leqslant x^{2/7-\varepsilon}\leqslant D$. Sans perte de la généralité, on peut supposer que $Q_{1}\leqslant D$. Puisque $\lambda_{\ell}^{+}$ est une fonction bien factorisable de niveau $D$, il existe deux fonctions arithmétiques $\lambda_{1}^{+}$ de niveau $Q_{1}$ et $\lambda_{2}^{+}$ de niveau $D/Q_{1}$ telles que

[TABLE]

Ainsi, on peut trouver deux fonctions arithmétiques $\lambda_{1}^{+}$ de niveau $Q_{1}$ et $\lambda_{2}^{+}\ast\mathbb{1}_{]\mathcal{B}/2,\,\mathcal{B}]}$ de niveau $Q_{2}=(D/Q_{1})\cdot\mathcal{B}$ telles que

[TABLE]

Cela montre que $\lambda$ est une fonction bien factorisable de niveau $\mathcal{B}D=x^{4/7-\varepsilon}$. En appliquant la Proposition 2 avec $\lambda(q)$ définie par (9.6) et $(L_{1},L_{2},a,\ell)=(x^{1-\alpha},b,-1,a)$, on obtient

[TABLE]

D’où

[TABLE]

Pour $\mathscr{S}_{B1}$, en utilisant une intégration par parties on a

[TABLE]

En reportant (9.7) et (9.8) dans (9.5), on arrive à l’inégalité

[TABLE]

avec

[TABLE]

De manière similaire, en utilisant le Lemme 3.3 à la place de la Proposition 2, on peut montrer

[TABLE]

avec

[TABLE]

9.4. Estimation de la somme $\mathscr{S}_{C}$

En vue de traiter $\mathscr{S}_{C}$, on a tout d’abord pour $B$ assez grand

[TABLE]

où $\frac{1}{2}\leqslant 1-c<\alpha\leqslant 1$, $\delta$ est un paramètre satisfaisant $c\leqslant\delta\leqslant\frac{1}{2}$. On rappelle la définition de $\omega(n+1;\,y,\,y_{1})$ dans (4.2) et obtient

[TABLE]

d’où

[TABLE]

On a donc

[TABLE]

avec

[TABLE]

Pour évaluer $\mathscr{S}_{C2}$, on déduit de la Proposition 1 que

[TABLE]

pour tout $A>0$.

Il reste à évaluer $\mathscr{S}_{C1}$. On utilise le Lemme 2.2 sur les entiers sans facteur premier dans un intervalle donné.

[TABLE]

D’après (9.14), (9.15) et (9.16), on a ainsi pour $c\leqslant\delta\leqslant 1/2$

[TABLE]

En reportant (9.2), (9.9), (9.10) et (9.17) dans (9.1), on obtient finalement pour $\frac{1}{2}<\alpha\leqslant 1$

[TABLE]

où $g(\alpha;c,\delta)$ est définie par

[TABLE]

et

[TABLE]

Il est clair que $g(\alpha;c,\delta)>0$ pour $1/2<\alpha\leqslant 1$. On peut vérifier de la même manière que lors de la preuve du Théorème 3, qu’il existe des $c_{0}$, $\delta_{0}$ satisfaisant les conditions ci-dessus telles que pour $\frac{1}{2}<\alpha\leqslant 1$

[TABLE]

ce qui achève la démonstration du Théorème 2(ii).

On a pu prendre ici le niveau $\nu(c)=4/7$ avec $c\leqslant 2/7-\varepsilon$ dans la somme $\mathscr{S}_{B}$ de (9.1) et on peut donner une minoration de $\mathscr{S}_{C}$, tandis que [21] le niveau était $1/2$ et le terme $\mathscr{S}_{C}$ minoré par 0. C’est pourquoi on peut améliorer le résultat de [21] et obtenir le Corollaire 1 suivant. Ces deux changements sont à l’origine de l’amélioration du résultat de [21], donnée dans le Corollaire 1.

10. Démonstration du Corollaire 1

En prenant $\alpha=1$ (c’est-à-dire, $y=x$) dans le Théorème 2(ii) et en remarquant que $\omega(u)=0$ pour $0\leqslant u\leqslant 1$, on obtient

[TABLE]

où

[TABLE]

Pour $h(c)$, on fait un calcul similaire à [21]. On a par Mathematica 9.0

[TABLE]

avec $c\approx 0,2056$.

Ainsi, il reste à trouver $\delta_{0}\in[0,2056,\,0,5[$ tel que $f(\delta_{0})$ soit proche de la valeur maximale de $f(\delta)$. Au premier abord, on peut calculer facilement que

[TABLE]

$\delta_{0}$ est ainsi dans l’intervalle $(1/3,\,1/2)$ et on a

[TABLE]

Le graphe de $f(\delta)$ sur $[1/3,\,1/2]$ est le suivant

À l’aide de Mathematica 9.0 on peut calculer que

[TABLE]

avec $\delta_{0}\approx 0,414$.

Compte tenu de (10.1), (10.2) et (10.3) on obtient finalement pour $x\rightarrow\infty$

[TABLE]

Cela achève la démonstration du Corollaire 1.

11. Démonstration du Corollaire 2

En remarquant que

[TABLE]

le Théorème 1 nous permet de déduire que

[TABLE]

On peut obtenir une meilleur majoration en utilisant le Théorème 3. Pour $j\geqslant 1,$ on note $C_{j}$ l’ensemble des creux d’ordre $j$:

[TABLE]

et pour $C_{0},$ on prend $C_{0}=(C_{1})^{c},$ le complémentaire de $C_{1}.$ Alors on a pour tout entier $J\geqslant 1$

[TABLE]

Puis, on applique la minoration de $|C_{j}|$, $j\geqslant 2$ du Théorème 3 et la minoration de $|C_{1}|$ du Théorème 1, on obtient

[TABLE]

où $C_{3}(j)$ est une constante strictement positive définie par (1.15). On peut donc obtenir une meilleure majoration pour $\delta(n)$. Mais le gain est minime, on ne calcule pas ici la valeur numérique.

La démonstration du Corollaire $2^{*}$ est analogue. De plus, en utilisant le Théorème 4, on peut aussi obtenir un meilleur résultat pour $\delta_{*}(n)$ comme (11.1) ci-dessus . On omet ici les détails.

12. Démonstration du Corollaire 3

On note pour $x\rightarrow\infty$

[TABLE]

où $0\leqslant a_{1}(x),a_{2}(x),a_{3}(x),a_{4}(x)\leqslant[x],\ a_{1}(x)+a_{2}(x)+a_{3}(x)+a_{4}(x)=[x].$

On a tout d’abord, d’après (1.13) du Corollaire 1

[TABLE]

La minoration de $a_{2}(x)$ dans (1.7) du Théorème 1 permet d’obtenir

[TABLE]

Pour $a_{1}(x)$, on déduit, en utilisant la minoration de (1.19)

[TABLE]

Par suite, (12.1) entraînent que

[TABLE]

Finalement, similaire à (12.1), on peut obtenir

[TABLE]

en utilisant la minoration de (1.21)

[TABLE]

Ce qui termine la démonstration du Corollaire 3.

Références

• [1]

A. Balog.

On triplets with descending largest prime factors.

Studia Sci. Math. Hungar., 38:45–50, 2001.

• [2]

E. Bombieri.

On the large sieve.

Mathematika, 12:201–225, 1965.

• [3]

E. Bombieri, J. B. Friedlander, and H. Iwaniec.

Primes in arithmetic progressions to large moduli.

Acta Math., 156:203–251, 1986.

• [4]

J. M. De Koninck and N. Doyon.

On the distance between smooth numbers.

Integers, 11:647–669, 2011.

• [5]

R. de la Bretèche, C. Pomerance, and G. Tenenbaum.

Products of ratios of consecutive integers.

Ramanujan J., 9:131–138, 2005.

• [6]

S. Drappeau.

Théorèmes de type fouvry–iwaniec pour les entiers friables.

Compos. Math., 151(05):828–862, 2015.

• [7]

P. Erdős.

Some unconventional problems in number theory.

Astérisque, 61:73–82, 1979.

• [8]

P. Erdős and C. Pomerance.

On the largest prime factors of $n$ and $n+1$.

Aequationes Math., 17(2-3):311–321, 1978.

• [9]

E. Fouvry and G. Tenenbaum.

Entiers sans grand facteur premier en progressions arithmétiques.

Proc. London Math. Soc., 3(63):449–494, 1991.

• [10]

E. Fouvry and G. Tenenbaum.

Répartition statistique des entiers sans grand facteur premier dans les progressions arithmétiques.

Proc. London Math. Soc., 72(3):481–514, 1996.

• [11]

A. Hildebrand.

On the number of positive integers $\leqslant x$ and free of prime factors $>y$.

J. Number Theory, 22:289–307, 1986.

• [12]

H. Iwaniec.

A new form of the error term in the linear sieve.

Acta Arith., 37:307–320, 1980.

• [13]

Y. Motohashi.

An induction principle for the generalization of bombieri’s prime number theorem.

Proc. Japan Acad., 52(6):273–275, 1976.

• [14]

C. D. Pan, X. Q. Ding, and Y. Wang.

On the representation of every large even integer as a sum of a prime and an almost prime.

Sci. Sinica, 18(5):599–610, 1975.

• [15]

J. Rivat.

On pseudo-random properties of ${P}(n)$ and ${P}(n+1)$.

Period. Math. Hungar., 43:121–136, 2001.

• [16]

G. Tenenbaum.

*Introduction à la théorie analytique et probabiliste des nombres, *3ième édition.

Collection Échelles, Édition Belin, 2008.

• [17]

G. Tenenbaum.

Some of Erdős’ unconventional problems in number theory, thirty-four years later.

Bolyai Society Mathematical Studies, 2013.

• [18]

G. Tenenbaum and J. Wu.

Théorie analytique et probabiliste des nombres, 307 exercices corrigés.

• [19]

J. Teräväinen.

A note on binary correlations of multiplicative functions.

prépublication.

• [20]

A.I. Vinogradov.

The density hypothesis for dirichet l-series.

Izv. Akad. Nauk SSSR Ser. Mat., 29:903–934, 1965.

• [21]

Z. W. Wang.

On the largest prime factors of consecutive integers in short intervals.

Proc. Amer. Math. Soc., 145(8):3211–3220, 2017.

• [22]

D. Wolke.

Über die mittlere verteilung der werte zahlentheoretischer funktionen auf restklassen. ii.

Math. Ann., 204(2):145–153, 1973.

• [23]

T. Z. Xuan.

Integers free of small prime factors in arithmetic progressions.

Nagoya Math. J., 157:103–127, 2000.