ORSAY

n° d'ordre :

UNIVERSITÉ de PARIS-SUD
Centre d'ORSAY

THESE

présentée
pour obtenir

le titre de Docteur ès Sciences

Spécialité : Mathématiques

par

Joël RIVAT

Suiet : Autour d'un théorème de Piatetski-Shapiro

(Nombres premiers dans la suite [«c])

soutenue le 13 février 1992 devant la Commission d'examen

M. Michel RAYNAUD, Président
M. HediDABOUSSI
M. Jean-Marc DESHOUILLERS
M. Etienne FOUVRY
M. Jean-Louis NICOLAS
R e m erciem en ts

Je tiens à exprimer ici mes plus vifs remerciements aux personnes sans lesquelles ce
travail n’aurait pu voir le jour, et plus particulièrement à:

✓
• Etienne FOUVRY, pour avoir gentiment accepté de diriger ce travail de recherche,
pour les connaissances mathématiques précieuses qu’il m ’a communiquées, pour
sa patience et le temps qu’il a bien voulu fréquemment me consacrer, et pour les
nombreuses corrections et suggestions qu’il proposa,

• Michel RAYNAUD, pour avoir accepté d’être président du jury,

• Jean-Marc DESHOUILLERS, pour s’être vivement intéressé à ce travail qui reprend

certaines questions abordées dans sa thèse, sa gentillesse à mon égard et pour avoir
accepté d’être rapporteur, ainsi que de faire partie du jury,

• Gérald TENENBAUM, pour avoir suivi de manière approfondie l’évolution de ce

travail et lui avoir complaisamment consacré un temps précieux,

• H edi DABOUSSI, qui a largement contribué à l’enrichissement de mon savoir ma­

thématique, et a bien voulu être membre du jury,

• Jean-Louis NICOLAS, pour avoir bien voulu participer au jury,

• Jie WU, pour s’être beaucoup intéressé à ce travail, et en avoir abondamment dis­
cuté,

• Roger BAKER et John FRIEDLANDER, pour s’être intéressés à ce travail et avoir

accepté d’en être rapporteurs,

• Martin HUXLEY, pour ses remarques et ses suggestions, nées de sa maîtrise absolue
de la théorie des sommes d’exponentielles, qui m ’ont aidé à progresser en même
temps que ce travail,

1
• Henryk IWANIEC\ pour Ie temps qu’il a bien voulu me consacrer, et les connais­
sances que je lui dois,

• François CLANCHÉ, Guillaume LE BLANC, et Claude MARCHÉ (grand spécia­

liste de I^TjrX), pour leur amitié,

• Anne KASTNER, pour sa présence et ses encouragements quotidiens durant toute

l’élaboration de cette thèse, qui l’ont grandement facilitée.

2
N o ta tio n s

Nous utiliserons les notations suivantes:

• e(x) = exp(2î7rx),

• n ~ N pour N < n < 2N ou plus généralement n € X où X est un intervalle inclus

dans [N, 2iV], les majorations étant alors uniformes pour tout X de ce type,

• % <Ce y signifie qu’il existe une constante K (e) > 0 dépendant de e telle que:

1*1 < JT(e)l»l.

• V désignera l’ensemble des nombres premiers,

• A désignera un ensemble quelconque d’entiers naturels,

• [0] désignera la partie entière de 0,

• {0} désignera la partie fractionnaire de 0,

• A désignera la fonction de von Mangoîdt,

• d(n) désignera le nombre de diviseurs de n,

• rir(*) = /0 t t z — l dt
JO°°e
*00

• *(*.» )= !$SP-

3
Table des M atières

1 In trod u ction 7

1.1 Généralités 7
1.2 Résultats 10

2 T h éorèm es de som m es d ’exp on en tielles 17

2.1 La méthode des petits intervalles 17

2.2 Shift et paires d’exposants 20

2.3 Double grand crible 23

2.4 Shift et double grand crible 24

2.5 Poisson, shift et double grand crible 27

3 La partie fractionnaire de p9 28

3.1 Introduction 28
3.2 Réduction du problème 30

3.3 Passage aux sommes d’exponentielles 33

3.4 Utilisation du double grand crible 34
3.5 Commentaires 35

4 Sur un th éorèm e hybride de Balog - Friedlander 36

4.1 Introduction 36

4.2 Réduction du problème 37

4.3 Traitement des sommes de type I 39

4
 4.4 Conclusion 42

5 Le th éo rèm e de Piatetski-Shapiro 43

5.1 La suite de Piatetski-Shapiro 43

5.2 Sommes d’exponentielles 45

5.2.1 Sommes de type II 45

5.2.2 Sommes de type I 46

5.3 Conclusion 51

6 M inoration grâce au crible 53

6.1 Introduction 53

6.2 Estimation de 53

6.3 Préparation au crible 54

6.4 Estimation directe 55

6.5 Utilisation du crible 57

6.6 Terme d’erreur 60

7 P rob lèm e binaire 63

7.1 Réduction du problème 64

7.2 Evaluation de S \(N ) 64
7.3 Evaluation de 65
7.4 Evaluation de S$(N) 65
7.5 Evaluation de S ^ N ) 66

8 U n résu ltat presque partout 74

8.1 Introduction et notations 74
8.2 Un théorème général 75
8.3 Itération 76
8.4 Propriétés élémentaires 81

5
 8.5 Un peu de théorie de la mesure 81
8.6 Une majoration d’intégrale 84

8.6.1 Argument élémentaire 84

8.6.2 Séries de Fourier 84
8.6.3 Queue des séries de Fourier 84

8.6.4 Condition suffisante 85

8.6.5 L’inégalité de Weyl - van der Corput 85
8.6.6 La contribution du terme q = 0 86

8.6.7 La contribution des termes q ^ 0 86

A T ra n s fo rm a tio n s d e so m m e s 89
A .l L’inégalité de Weyl - van der Corput 89
A.2 La formule de Perron 89

B L a fo rm u le s o m m a to ire d e Poisson 90

C P a ire s d ’e x p o s a n t s 92

D L a fo n c tio n p a rtie fra c tio n n a ire 94

E Id e n tité s c o m b in a to ire s 96

E.l L’identité de Vaughan 96

E.2 L’identité de Heath-Brown 97

6
Chapitre 1
Introduction

1.1 G én éralités

Depuis 1955, la suite [nc] a suscité de nombreuses recherches. Le problème initial posé
par Piatetski-Shapiro était d’étudier le nombre de nombres premiers de la forme [nc]. Plus
précisément, on pense que l’équivalence:

X
*c(*) ~ —:---- X —> +00 (1.1)
cln x

où r c(x) = # { n < x | [nc] G V } est vraie pour tout c > 0 , c ^ 2 , 3 ,4 ,...

Le choix de la suite [nc] est motivé par plusieurs raisons. Tout d’abord, c’est une façon
de s’approcher de l’étude de la représentation de nombres premiers par des polynômes,
qui est résolue uniquement dans le cas des polynômes de degré 1. On ne connaît en effet

aucun polynôme de degré 2 dont on sache prouver qu’il prend une infinité de valeurs
premières. Pour 1 < c < 2, on peut donc s’imaginer [nc] comme un ’’polynôme de degré
c”, et voir la mesure de l’intervalle ]l,co[ des valeurs de c pour lesquelles on sait prouver
l’équivalence ( 1. 1), comme une façon de jauger les progrès accomplis dans les méthodes de
sommes d’exponentielles, qui constituent, pour l’instant, l’unique façon d’aborder ( 1. 1).
D’autre part, la suite [nc], que nous appellerons suite de Piatetski-Shapiro d’ordre c
(alors qu’un nombre de la forme [nc] sera dit nombre de Piatetski-Shapiro d’ordre c), est
la seule suite raisonnable pax sa définition dont le nombre de premiers qu’elle contient est

7
connu, et dont le cardinal est petit:

#{a < i | a = [nc]} = i H 0(1)

Pour illustrer ce fait, rappelons que le théorème de Siegel - Walfisz (sur les nombres
premiers dans les progressions arithmétiques) ne décrit que la répartition des p dans
A = {n < x | n = a (mod 9 )} avec (a ,q) = 1 et q < (lnx)"4, donc # A = fXq + 0o(1i), ce
qui est beaucoup plus grand que æ« + 0 ( 1) pour c > 1.
Le lien entre la suite [nc] et les méthodes de sommes d’exponentielles provient de
l’équivalence pour c > 1:

[nc] = m <*=>• [—me] — [—(m + 1) «] = 1

qui nous donne une fonction caractéristique des nombres de Piatetski-Shapiro, et de l’écri­
ture [x] = x —{x}, qui dans l’écriture précédente fera apparaître un terme régulier et une
différence de fonctions parties fractionnaires. Le terme régulier engendrera le terme princi­
pal du nombre de représentations, tandis que les fonctions parties fractionnaires formeront
un terme d’erreur, qui sera traité par développement en séries de Fourier, ce qui conduit
naturellement à des estimations de sommes d’exponentielles.
Typiquement, on aura à étudier des sommes d’exponentielles de la forme:

Y l£h'^2e(hpr)
h P

avec 7 = i , où la variable h correspond au développement en série de Fourier, et la

variable p appartient à l’ensemble sur lequel on étudie la suite de Piatetski-Shapiro, par
exemple l’ensemble des nombres premiers.
Dans ce dernier cas, par l’intermédiaire d’une identité combinatoire (voir en annexe
E), nous serons ramenés à l’étude de sommes de la forme:

XIe* H ambne ( h { m n y )
h m n

8
Ces sommes sont généralement appelées sommes de type II lorsque am et bn sont des
nombres complexes quelconques (de module < 1), alors qu’elles sont appelées sommes de
type I lorsque am ou bn est une variable régulière.
Les sommes de type I sont en général considérées comme plus souples: on peut s’oc­
cuper en premier de la sommation sur la variable régulière et lui appliquer la méthode
traditionnelle de van der Corput (voir pax exemple les ouvrages récents [26] et [11], ou la
référence classique [28]): formule de Poisson (voir annexe B) et paires d’exposants (voir
annexe C). Remarquons d’autre paxt que les sommes de type I peuvent toujours être
considérées comme étant de type II.
La méthode de van der Corput demeure pour l’instant incontournable lorsque l’on
veut estimer une somme simple d’exponentielles. Par contre, pour majorer les sommes
multiples d’exponentielles, on dispose depuis le célèbre travail de Bombieri et Iwaniec en
1986 sur l’ordre de grandeur de la fonction £ de Riemann [4] d’un outil puissant: le double
grand crible. Rappelons son énoncé sous la forme de la proposition 1 de [9] :

P rop osition 1.1 Soient <f>r, xj)a des nombres complexes, et X = (xr), y = (ys) des suites
finies de nombres réels tels que |xr| < X , |ya| < Y . On a alors:

B X y |2
20 1 X Y B X Y BV yx\
avec:

BM {X,y) = '52J2<j>nl’,e{xrys)
r s
B 4> X Y £ <t> <f>
¡JTrj — X t 2 Y -1
BV- y X £ V»1é
ly«! -y»2 1 X -1

On voit que le double grand crible est d’un type très général, et qu’il permet de

ramener l’estimation d’une somme multiple d’exponentielles à l’étude de deux problèmes

d’espacement.

9
 Dans ce travail, nous utiliserons plusieurs fois le double grand crible, après, bien en­

tendu, une préparation adéquate.

1.2 R é su lta ts

Piatetski-Shapiro a montré que l’équivalence (1.1) était vraie pour 0 < c < y|, puis

cet intervalle a été étendu plusieurs fois:

• Piatetski-Shapiro [24] en 1953:

12
0 < c < — = 1-090909..

• Kolesnik [19] en 1972:

10
O< c < 1.111111
9

• Graham et Leitmann, indépendamment (non publié):

69
0 < c < — = 1.112903...
62

• Heath-Brown [15] en 1983, en introduisant la méthode des petits intervalles et une

identité combinatoire appropriée:

755
0 < c < — = 1.140483...
662

• Kolesnik [20] en 1985 grâce à une meilleure paire d’exposants:

39
0 < c < — = 1.147058...
34

• Liu et Rivât [16] (indépendamment) en 1990, en introduisant l’utilisation du double

grand crible:
15
0 < c< = 1.153846...
lo

Nous montrerons dans ce travail le

10
T h éorèm e 1.2 Pour c < H || = 1.15447001..., on a l ’équivalence:

X
7Tc(x) ~ — -- X —* + 0 0
cmx

Ce théorème est dû à l’introduction d’une paire d’exposants dans le traitement des sommes
de type II, et à l’utilisation des conséquences du double grand crible (par exemple théorème
3 de [9]) pour le traitement des sommes de type I. Ces dernières imposaient la restriction
finale dans le travail de Heath-Brown, qui pourtant exploitait à fond l’existence d’une
variable régulière dans leur traitement. Nous améliorons ce traitement en utilisant le
double grand crible et en traitant ces sommes de type I comme des sommes de type II,
c’est-à-dire sans même utiliser la régularité, au point ”critique” qui bloquait Heath-Brown.
Ceci illustre la supériorité du double grand crible qui est une méthode multidimentionnelle,
sur une méthode unidimentionnelle même très sophistiquée. Remarquons de plus que
l’on peut améliorer cette condition avec une paire d’exposants plus appropriée que l’on
trouverait en appliquant l’algorithme de Graham à partir de la paire d’exposants (^ +
e, | | + e) pour e assez petit, qui a été établie par Huxley et Watt [17], mais l’amélioration
serait de toutes façons faible.
Devant la difficulté d’établir l’équivalence (1.1) sur un intervalle, on peut essayer de
l’établir pour un ensemble de valeurs de c moins contraignant, et bien sûr plus ’’grand”.
Deshouillers, dans sa Thèse [5], et dans [8], propose de démontrer le résultat pour presque
tout c au sens de la mesure de Lebesgue. Il démontre (remarque VI.3 de [5]) que l’ensemble
des c > 0 tels que ttc(x ) = o(jf^) est de mesure nulle.
Pour établir l’équivalence, nous avons adopté une démarche plus classique: établir
une majoration en moyenne quadratique, en déduire une sous-suite explicite vérifiant la
propriété grâce au lemme de Borel - Cantelli, puis utiliser le théorème des accroissements
finis pour conclure. Nous avons ainsi obtenu le théorème suivant, sans savoir qu’il avait
déjà été démontré dans l’article injustement peu cité de Leitmann et Wolke [22]:

T h éorèm e 1.3 Pour presque tout c de Vintervalle ]1,2[, au sens de la mesure de Le-

11
besgue, on a l ’équivalence:

X
X C{ X ) ~ —:------ X —► + 0 0
cm x

Notons que cette borne en 2, bien qu’elle apparaisse naturellement dans les calculs,
semble assez étrange. Tenenbaum, très intrigué, a donné une autre démonstration du
résultat précédant utilisant la formule de Plancherel, mais il a été lui aussi bloqué par la
borne au point 2 .
Contrairement à la démonstration de Leitmann et Wolke qui traitait directement le cas
des nombres premiers, notre approche montre que le théorème précédent résulte en fait
d’un théorème plus général dans lequel l’ensemble des nombres premiers ne joue aucun
rôle, et donne de plus explicitement un terme d’erreur exploitable.

T h éorèm e 1.4 Soit A un ensemble de nombres entiers, a désigne un élément de A.

On note A c(x) = # { n < x | [rcc] € A }, et A(x) = A \{x), a désigne un réel positif
vérifiant A (x) <C xa, alors pour presque tout c de l ’intervalle ] 1, 2 [, au sens de la mesure
de Lebesgue, on a:

A c(x) = c-1 YL a_1+c_1 + Oc,s{xx~s)

a<Xc

pour:
* € ] 0, ± - f [

En outre, ce théorème a pour conséquence intéressante de nous permettre d’étudier un pro­

blème de Piatetski-Shapiro multidimentionnel: pour quelles valeurs de ( c i,__, c/) l’équa­
tion

P = [«?] = [«?] = ••• = [nf]

a-t-elle le bon nombre de solutions?

Nous démontrons le

12
T h éorèm e 1.5 Soit k £ N*. Pour presque tout k-uplet (c j,. . . , c*) satisfaisant pour i =
1^ ^ »

- 1 n 1 r1 1 1 r1 1 w
7i - c , €J 1 0 0 V + (* + 9 ) r ’ 100( i2 (t + 9)!
on a pour tout 6k €]0, ^ — 1+'11+ ,+ ^ -i ~(*~]) ^ l ’égatité:

£ i = ' » - n E f 1,+^ ‘' ‘ + o ,„ i ,A ( * ' (1- w )

P<* p<X
p=[nj1]=*-[n£fc]

Remarquons que l’on peut, quitte à modifier C2, . . . , c„, obtenir un résultat du même genre
en appliquant comme premier pas de l’itération le théorème habituel de Piatetski-Shapiro,
6121
ce qui nous permet de choisir C\ dans l’intervalle 0 < c < 5302
= 1.15447001__
Une autre possibilité pour améliorer l’intervalle 0 < c < | | | | = 1.15447001... est de

réduire notre exigence, c’est-à-dire de prouver la minoration 7rc(x ) ^ ïïfï’ au lieude (1*1)-
Nous avons obtenu, en utilisant le crible linéaire de Rosser - Iwaniec, le

T h éorèm e 1.6 Pour c < | = 1.1666666..., on a la minoration:

/ X x
Kc(x) > c i—
mx
Le crible linéaire ne permettant jamais, seul de détecter des nombres premiers, nous avons
dû recourir à l’identité de Buchstab, introduisant ainsi un autre terme, qui heureusement
peut être traité sans recours au crible. D’autre part, bien entendu, le crible linéaire nous
ramène à un problème de majoration de sommes multiples d’exponentielles. Pour démon­
trer ce théorème, nous avons dû revenir à la construction des coefficients bien factorisables
pour gagner davantage de souplesse dans les formes multilinéaires. La borne | apparaît
comme une limite combinatoire imposée par la construction, au vu des intervalles sur
lesquels on sait majorer les sommes d’exponentielles qui interviennent.
D’autres problèmes viennent se greffer au problème de Piatetski-Shapiro tout naturel­
lement. Il en est ainsi de l’étude de la partie fractionnaire de pd, pour 0 < 1, car on a la
caractérisation, pour 0 < S < 1:

{n*} < 6 ^ = > [n0] - [n* - S] = 1

13
qui ressemble beaucoup à la caractérisation des nombres de Piatetski-Shapiro et qui de
la même manière permet de se ramener à des techniques de sommes d’exponentielles. On
peut démontrer ainsi le:

T h éorèm e 1.7 Soient 0 < 0 < 1 ei e > 0. On a l ’égalité:

# {p< x | {pe} < 6 } = Sx(x) + O e ^ x ^ 1- 6' ^ ' 3^ + Sx1'*)

uniformément pour 0 < 6 < 1 .

Ce théorème s’apparente au résultat de Balog [1]. De même que Balog, on en déduit le

C orollaire 1.8 Soit 0 < 9 < 1 . Alors on a:

# { P < x I {P°} < 6 } = S t(x )(1 + 0 (x~e))

uniformément pour
S > a;-min(i >1f 2>i)+3e

La preuve de Balog utilisait des techniques d’analyse complexe, l’équation fonctionnelle

approchée de £, des théorèmes de valeur moyenne... La démonstration ici est très simple
puisqu’il suffit, après une transformation classique de l’étude en un problème de sommes
d’exponentielles, d’appliquer le double grand crible. En particulier, nous n’utilisons pas
du tout d’analyse complexe. Notons que dans un article paru très récemment, Harman
donne une amélioration (théorèmes 3 et 4 de [13]) du théorème précédent pour les valeurs
0 < 0 < §, grâce à des résultats sophistiqués sur la fonction £. Remarquons enfin que notre
démarche élémentaire nous permet non seulement d’étudier {p°} < S, mais également
d’autres problèmes similaires, comme par exemple {{pipi)9} < S.
Deshouillers, dans sa Thèse [5], et dans [7] (voir aussi [6]), étudie le nombre de re­

présentations R C(N) d’un entier naturel N sous la forme N = [nj] + [n^]. Il donne une
minoration pour c < | dans ce problème binaire. Nous donnerons l’équivalence:

14
T h éorèm e 1.9 Pour 1 < c < | , 7 = on a, pour N —► + 00 , et tout e > 0 suffisamment
petit:
RC(N) = 7 2£ ( 7 , 7 )J\r2'*-1 + Oe(N 2'y~1~e)

La difficulté de ce théorème provient du fait qu’après transformation de l’étude en un

problème de majoration de sommes d’exponentielles, on doit être capable de majorer un
produit de deux séries de Fourier. Un terme typique est:

£ e ( M 7 + h2(N - n y )
n~N o

où h\ et h2 proviennent chacun d’un développement en série de Fourier, et peuvent éven­

tuellement être de signes différents, ce qui exclus de pouvoir utiliser directement la théorie
des paires d’exposants (voir en annexe C), cax si hih2 < 0 , on n’est pas assuré que les
dérivées de tous ordres de la fonction:

x — ► hj*» + h2(N - x y

conserve un signe constant sur l’intervalle [iVo,2JV0], cela dépend de la parité de l’ordre
de dérivation. Ceci nous oblige à un traitement spécifique de ces sommes d’exponentielles
par le théorème suivant qui est la clé de la démonstration:

T h éorèm e 1.10 Soient u et v G [0 , 1], hi et h2 G Z*. Soient 1 < TVq < y . On pose:

Fhuhtin) = hx{n + u )7 + h2(N - n + v )7

• Si h\h2 > 0 alors

Y , e (J W n )) « (IftiW 1 + MAP-* + l ) ( l * i W + MAP"1)-* +

n~N o

• Si h\h2 < 0 alors

£ e ( f W » ) ) < (1*1 I W '

+ |fcj|An-* + l)(\h1\N3-3 + \h2\N-'-3) - l> + lnN
n~N o

15
 Balog et Friedlander [3] ont démontré récemment un théorème hybride entre le théo­
rème de Vinogradov et celui de Piatetski-Shapiro, dont nous donnons l’amélioration sui­
vante:

T h éorèm e 1.11 Soit c < ^ff = 1.05851__ Tout entier naturel N impair assez grand
s ’écrit comme somme de trois nombres premiers de la forme [rac].

21
L’intervalle correspondant dans la preuve de Balog et Friedlander était c < 20
= 1.05.
Notre approche est identique pour ramener le problème à l’étude de sommes de type
I et de sommes de type II:

S(a,j;H,M,N) = ehambne(am n + h { m n y )
h ~ H m ~ M n„ M ÎL
m

mais le traitement des sommes de type I est différent: nous ne choisissons pas la même
vaxiable pour appliquer la formule sommatoire de Poisson, ce qui nous permet ensuite
d’utiliser une paire d’exposants, ce qui n’était pas possible par la méthode utilisée par
Balog et Friedlander.

16
Chapitre 2
Théorèm es de somm es
d ’exponentielles

Dans ce chapitre nous regroupons différentes majorations de sommes d’exponentielles

d’une forme particulière qui sont la clé de plusieurs questions traitées dans cette thèse, et
qui apparaissent naturellement dans la plupart des problèmes liés à l’étude de la suite de
Piatetski-Shapiro.
Soient a G [0, l]/y G]0,1[, H ,M ,N > 1 et £fc,om,6n des nombres complexes de module
au plus égal à 1.
On pose:

s a, 7 H M N = 53 X) 5Z ehambne(am n +h(mny) (2.1)

h ~ H m ~ M nr^MJL
Tft

Les premiers résultats relèvent de méthodes traditionnelles de sommes d’exponen­

tielles. Les trois derniers résultats sont des conséquences du double grand crible en di­
mension 1: seul, combiné avec le shift de Weyl- van der Corput, et combiné avec la formule
sommatoire de Poisson et le shift de Weyl - van der Corput.

2 .1 La m é th o d e des p e tits intervalles

Nous allons donner une légère amélioration du traitement par la méthode des petits
intervalles des sommes de type II fourni par Heath-Brown [15], grâce à l’utilisation d’une
paire d’exposants.

17
 Nous supposerons ici que a = 0.
Définissons pour 1 < q\ < Q:

Sqi = #{(n ,fc) € IN2 | 4HN'f{q1 - 1)Q~1 < hn> < AHN'1q1Q~x}

Grâce à l’introduction de l’ensemble Sqi, avant d’appliquer Cauchy-Schwarz, nous

avons un bon contrôle de l’ordre de grandeur de hinx1— ce qui augmente l’efficacité
de la théorie des paires d’exposants.

S (0 ,r,H ,M ,N )2 C Q M E E E lE '((M r - W K )|
1 < 9 1 < 0 ( n i , h i ) € 5 t t ( n 2 ,A2 ) € 5 n m gi

où I est un intervalle dépendant de ni, n 2-

Soit (p , q) une paire d’exposants. On applique maintenant le lemme D. 1 à la sommation
en m, et on regroupe tous les Sqi, d’où l’estimation:

5 (0 , 7 ; H, M, N )2 < Q M £ £ £ min (Ai, |A|- 1Àf1_'7+ |A|pM^Y-1)p+9) (2.2)

l < q i < Q h \ ih.2es*H n i , n 2 ~ i v

où A = (hiTii* —hin^1) vérifie |A| < 4HN^Q 1.

Pour évaluer le nombre de solutions de l’inégalité précédente, nous utilisons le résultat
classique suivant (lemme 1 de [9] par exemple), qui évalue le nombre de solutions de cette
dernière inégalité:

L em m e 2.1 Soient a/3 ^ 0, A > 0, Ai > 1 e i J V > l . Soit *4(Af, N\ A) le nombre de

quadruplets ( m i , m 2, n i , n 2) tels que:

mi a ni ß
< A
m2 n2

avec M < mi, m 2 < 2M et N < n i , n 2 < 2TV. On a alors:

A(M, iV; A) < at/? MiV In 2MJV + AM 2JV2

Suivant les valeurs de A, la valeur du minimum apparaissant dans (2 .2 ) prend une

expression différente, ce qui nous conduit à distinguer |A| < M -7 et |A| > M~y .

18
 Dans ce dernier cas nous effectuons un découpage dyadique de l’intervalle:

M ■7
AQHN i

Nous en déduisons l’estimation:

5 (0 , 7 ; H, M, N Y < (7\ + T2 + r 3) ln 2H M N

où T\ représente les termes |A| < M -7 , T2 la contribution de |À|- 1M 1_'r et T3 la contri­

bution de |À|pÀf(7-1)p+g dans le cas où |A| > M -7 :

Ti = Q M \ H N + H M -^ N 2~^)hi2HN

T2 = Q M 2"7 max (A - 1(iT/V + AÆ7V2”7) In 2HN)

H N 't , H 2N 2
T3 = Q M (—pr—)pM^t~1^p+q(H N H---- —— ) In 2H N
Q Q
Remarquons que T\ = T2.
D’autre part, en supposant N <C (MTV)7 et Q <C iïTV, les expressions de 7\ et T3 se
simplifient:

Tx < H Q (M N )2N~l In 2H N

T3 < Q - pH 2+p(M N )1+'yp+q~pN 1+p~9 \n 2H N

On choisit:
„ 1 , rl.+7P+a.-7f a+p-?
Q = l + H (M N ) *+p N !+*>

le 1 servant à assurer Q > 1, et l’autre terme permettant d’égaliser les contributions de

Tx et T3.
La condition Q <C H N équivaut à:

N 1-9 < (AfiV)1- 9+p(1-7^

ce qui est toujours vrai.

On en déduit le:

19
T h éorèm e 2.2 Sous la condition N <C (MN)'y, on a Vestimation:

1 1 l +*YP+<7+P 1—
Q
5 (0 , 7 ; H ,M , N ) < (H *(M N )N ~ s + H (M N ) \n 2 H M N

valable pour toute paire d ’exposants (p ,q ).

2.2 Shift et paires d ’ex p o sa n ts

Nous allons ici donner une estimation de 5 ( 0 , 7 ; /i, M, N ) en nous inspirant de la

méthode de Heath-Brown pour traiter les sommes de type I.
Nous supposons bn = 1.
Par l’inégalité de Cauchy-Schwarz, on a:

S ( a , r , H , M , N )2 < H M £ £ | £ e(amn + h ( m n y )\2

h~H m ~ M n„ M K
tn

Nous appliquons maintenant l’inégalité de Weyl - van der Corput sous la forme du
lemme A .l.
Soit 1 < Q 0 < f .
On note t(n, q) = (n -f q )*1 — (n —q)y.
On a l’estimation:

s (a , 7 ;H , M , N )2 < ~ ~ X X J2 e { 2 a q m + h r n < t{ n ,q ) )
h~H m~M \q\<Qo M2L<n- q ,n + q < 2 ^

En effectuant un découpage dyadique de l’intervalle de sommation sur q, on obtient:

„ B, ^ HMN , H M N \ n 2 N 1
S { a , r , H , M , N ) < — — + (------ pr--------) 2 (,.£&& T ( ^ ) ) 2
Q 02 vo i<Q<Qo

ou:

r (Q )=X X X X e( 2aqm + h m ,t(n,q))

h ~ H m ~ M q~ Q M K < n _-q n + g< 2 M*L
m m

Soient M < M i(n,q) < M 2(n,q) < 2M.

20
 Par la formule sommatoire de Poisson (voir en Annexe l’égalité B. 2 ):

TI e( 2aqm + hmP't^n, g)) =

Mi(n,g)<m<M3(n,q)
e( ~ b cÀ l ) ( ht{ni q))2(1-',>|u - 2a q \ ^ E^ e ( c 2(nf)(ht(n,q))T^ ( v - 2a q ) ^ )
° v€/

+ 0(ln2#A f7V + (ht(n,q)M'1~2)~*)

où:

/ = [2aq + 'yht(ni q)Mx(n, g)7- 1, 2aq + 7 /ii(ra, q)M2(n, g)7-1]

Remarquons que:
u - 2aq x Q H { M N f - x

Par conséquent les ordres de grandeur de tous les termes de l’expression précédente
sont bien déterminés, en particulier celui à l’intérieur de l’exponentielle complexe. Pour
chaque q, v, les conditions de sommation sur n et v définissent un intervalle en n, ce
qui nous autorise à intervertir les sommations. Cela nous permet d’appliquer une paire
d’exposants à la sommation en n, dans le cas où la dérivée en n est > 1 sur tout l’intervalle
de sommation en n. Dans l’autre cas, on applique la formule sommatoire de Poisson, ce
qui nous donne 0 ( 1) intégrales trigonométriques que l’on peut majorer par l’inverse de la
dérivée.
On a:

— ((¿ < (r a ,ç ))^ (v - 2a q ) ^ ) x QH{MN)'1N~2

Donc:

T(Q) < Q H i Q H i M N y - ' X Q H N ^ t ^ i Q H i M N y - 1) * ^

((Q H ( M N y N ~ 2)pN q + { Q H { M N y N ~ 2)_1)

+ Q H N ln 2 H M N

QHN Q H N 7-1M 7-2 1

2

< ( Q H ) ï +p( M N y ( p+1)N

î q- 2p- * + {Q H )*(M N )-ÏN Î
21
 + Q H N \n 2 H M N + {Q H )*{M N )X~1 N*

On constate dans cette expression que le quatrième terme domine le deuxième, d’où
l’estimation:

r,, rr w HMN ,H M N \a .2 N . t 3+ n /w , n^ [Link] ,» - 2„ -i

S (a ,r ,H ,M ,N ) < ----- — + (------ ----------) 2 ((QH)*+p( M N y {p+2>Nq 2p *
Qo2 Qo
+ (Q H )Ï(M N )-ÏN %

+ Q H N ln 2 H M N

+ ( Q H ) î(M N ) 1- l N * )

ce qui revient à:

„ ., HMN . _ 1±2£ 54-2P . . 3+-rf2p+Q 2a — 4p— 1

S{a,7\H,MyN) < 1—
----- h (Qo H * ( MN) * N *
Qo 2
+ H (M N )* N 5 ln 2 t f A/W

+ Qô* H * (M N )l ~ l N * )ln 2 N

On introduit une variable H' > H dont l’utilité sera expliquée plus loin.
Pour H ' > H, on peut remplacer H par H' dans les expressions précédentes.
Les deux termes principaux de la dernière estimation de S (a, 7 ; H , M, N ) sont les deux
premiers termes. Nous allons donc choisir Qo de manière à rendre égaux ces deux termes.

_ 2p+l 2— “y(2p+l) 4p+l-2<ï

Qo = 1 + H'~ 2"+3 (M N ) ¿+3

Nous sommes maintenant en mesure d’expliquer la présence de H': dans les applica­
tions, on risque d’être gêné par les petites valeurs de H (que nous aurons à considérer au
début d’un développement en série de Fourier), pour lesquelles la condition:

,,-=£±1 , , , A,x2z 2Î2£±n ..i£± 1^2a ^ N

H 2f>+3 (M N ) 2p+3 N 2p+3 < —

pourrait ne pas être vérifiée.

On peut donc énoncer le:

22
T héorèm e 2.3 Soit (p ,q ) une paire d ’exposants telle que 4 p + 1 —2q > 0, et H' > H tel
que:
. 2p+l 2— r(2 p + l) 4 o + l —2<r
H 2p+3 (M N ) ~2 p + 3 2ÿ+3 < iv

on a alors, pour tout 7/ > 0 suffisamment petit, l ’estimation:

6p+7 -r f2 p + l)+ 4 p + 4 4 p + l-2 < y

( M N ) - r> S {ct,r,H ,M ,N ) <„ H (MN)^*p+*~ N «p+s
5+2 p 2 + -y (2 p + l) 2 g -4 p -l
H 4 MN 4 JV 4

+ H\M N)*N2
..44p-f5
p -f5 ,, .. 44p+5—
p + 5 —-y
-y il+ <7— P
H'w (MN) “^+ïr n ~

2.3 D o u b le gran d crib le

On suppose dans ce paragraphe que a = 0.

La formule de Perron (voir le lemme A.2 en annexe) nous permet immédiatement de
séparer les variables m et n de leur condition multiplicative.
Le double grand crible en dimension 1 peut s’exprimer sous la forme de la proposition
1 de [9]:

P rop osition 2.4 Soient <f>r, if)8 des nombres complexes, et X = (arr), y = (ys) des suites
finies de nombres réels tels que |a:P| < X , |ya| < Y . On a alors:

\B^(X,y)\2 < 20(1 + XY)Bt (X,Y)Bi(y,X)

avec:

B * A * ,y ) = E E W 'M
b a x ,y ) = £ |ÿr, ^ |
\xrl - T r 2 \< y ~ ' 1

B*(y,x) = E 1&.1U
ys 1 ys 2 <X -1

Cette proposition permet de démontrer le théorème 2 de [9]:

23
T h éorèm e 2.5 Soient aij ^ 0, Mj > 1 pour j = 1,2,3,4, x > 0, et 4>mim2tâmatm des
nombres complexes tels que \<f>mxm.2 \ < 1» |0rn3m41 < 1. On a alors:
171°*771er2Tïi^ 771014
Sfafif^Àfh M 21 -W4 ) ^ v ^ 1 m2^m31 7 1 4 ^ M ai M a2M a3M a* ^
Ì
< ((xM iM 2M 3M4) ï + M 1 M 2 M 3 M4 2

+ (Ml M 2) 2M 3M 4 + x~%M 1M 2M 3M 4) ln 2 M 1M 2M 3M4

On majore 5 (0 , 7 ; iï, M, iV) en utilisant ce théorème avec le choix de paramètres Mi =

i / , M2 = M , À/3 = iV, M 4 = 1 et x — HM' 1N'1y on obtient le:

T h éorèm e 2.6 On a l ’estimation:

S ( 0 , r , H , M yN ) < (tf(MJV)1^ + (H M N )N ~*

+ (H M N )lN * + H ï ( M N ) 1~ l) \n 2 H M N

2 .4 S h ift e t d o u b le g r a n d c r ib le

On suppose dans ce paragraphe que a = 0.

La formule de Perron (voir le lemme A .2 en annexe) nous permet immédiatement de
séparer les variables m et n de leur condition multiplicative.
Nous allons maintenant énoncer le théorème 3 de [9] dont la preuve consiste à effectuer
un shift de Weyl - van der Corput en n puis à majorer la somme obtenue grâce à la formule
du double grand crible en dimension 1, donnée par la proposition 2 .4 .

T h éorèm e 2.7 Soient a , a i ,012 des constantes réelles telles que a / 1 et eta\ct 2 ^ 0.
Soient M ,M \ ,M 2,x > et <f>m>‘il>m1m2 des nombres complexes tels que \<f>m \ < 1, \4>m1m2\ <
1 . On a alors:

S<j,t^(M, M \,M 2) = E
E E
m ~ M m \~ M \
E V’mimîe (z M aM ai M “2)

< (x*M%(M\M 2)* + M ™ M i M 2

+ M (M iM 2)« + x - * M ^ M 1M 2)(ln 2 M M 1M 2)2

24
 Rappelons la preuve de Fouvry et Iwaniec.
D’après le lemme A .l, on a:

s - i M M M M M M:
<p,v < Q i 2 i 2 Q0 ln 2Q

pour tout Q < I et un certain Qo < Q, avec

m ai
t m ,q 1 m2
a2

sm - q~Q o
EE
E (1 -|)E
^ m m l m 2
E 4>m m 9e X
M M M
a2
1V111 1V12

et

t(m, q) = (m + 9 )" — (m —ç)a ~ Q qM 0-1

On applique le lemme 2.4 et on obtient:

S(Q0) « (ABxQ0M~x)*

où A est le nombre de quadruplets ( m i,m 2,fh i,m 2) tels que:

rh \
Kmi ' \ «1 /W 2 \« 2i

' m 2' I

et B le nombre de quadruplets (m, m, q, <7) tels que:

It(m,q) —t(rh,q)| <C x^xM a

Le lemme d’espacement permettant de majorer A est le lemme 2 . 1, tandis que le

difficile problème d’espacement permettant de majorer B est donné par la proposition 2
de [9]:

P ro p o sitio n 2.8 Soit B (M ,Q , A) le nombre de quadruplets (m, m, q, q), avec M < m <
2M , Q < q < 2Q et 3Q < M , tels que:

It(m, q) —t(m, g)| A Q M a~l

2
alors si Q < M 3 on a:

B(M, Q ,A ) < a (MQ + A M 2Q2 + M ~2Q6){In 2M f

25
 On obtient ainsi l’estimation:

S(Qo) < Qo(x M1M2)1H1 + M ^ ) k l + — )î(ln 2M M 1M2)t

X(Jo X

On observe que la plus ”mauvaise” valeur pour Qo est Q q = Q. En prenant Q = 31 M ,

on obtient le théorème précédent.
En choisissant optimalement Q0, grâce au lemme 2 de [25]:

L em m e 2.9 Soient M > 0, N > 0, um > 0, vn > 0, A m > 0, Bn > 0 pour 1 < m < M ,
1 < n < N.

Pour 0 < Qi < Q 2, il existe un q tel que Q\ < q < Q2 et:

M
M N M N
M i M
M N
E A m q -m +nE= l Bn q Vn
« mE= l nE= l
< AVf»
m Bn
um +vn
+ mE= l Am Q1 + nE= l BB^n Q~
2
m =l 171=1

Liu a obtenu le:

T h éorèm e 2 .1 0 Avec les mêmes hypothèses et les mêmes notations que le théorème pré­
cèdent, on a pour M < x l ’estimation:
cédent,

S<m (M ,M 1,M 2) < {M1M2)^M T*x^ + M t M 2M ^ (l + M 5x~3)^

23 4 23 14 1
+ M (M 1M2) ïî x~™ + (M i M2) ï *M™ x**

+ M (M 1M2)* + (AfiM2)* À fM

En appliquant ce théorème, on obtient le:

T h éorèm e 2.11 On suppose H(MN)'y N . On a l ’estimation:

13+-Y 4
5 (0 , 7 ; H, M, N ) < H (M N 14 N 14 + H (M N )N ~*
.19 23 4-y 1
+H*(MNy-*N» +H 24 MN 24 N 24

+ H i M N ^ N - à + H *(M N )* N*

+ H ( M N ) ^ N ~ *)(\n 2H M N )3

26
2.5 Poisson, shift et d ouble grand crible

On suppose dans ce paragraphe que a = 0 et bn = 1.

Ceci nous permet d’utiliser sur la variable n la formule sommatoire de Poisson (B.2),
et après une sommation par parties on obtient:

J2e(h{mn)'1) < -— ^ v-| £ e(c(7 )(/im7t; 7) ^ ) |

n (H(MN)'*)* v €/(fc,m )
N
+ ln2 N +
(H(MN)'r)*

où I(hym ) est un certain intervalle inclus dans [yHM'r(2N)'i~1, 2^H{2M )1N 1-1]
La somme d’exponentielles obtenue est ensuite traitée par la méthode expliquée au
paragraphe précédent, avec cette différence que la formule de Perron (lemme A.2) servira
à s’affranchir de la condition v G I(h,m).
L’estimation donnée par le théorème 2.10 s’appliquera donc à cette somme, avec le
choix de paramètres M\ H, A f2 M, M H(MN)'iN ~1, x H {M N)'1.
On obtient ainsi l’estimation:

T h éorèm e 2.12 On suppose H (M N )'1 N et bn = 1. On a l ’estimation:

sS (o0 , r , H ,. M ,. N )
7
< „*?
16
H 14 M N
13+ 3-y
14 N
8
14 + H * ( M N ) 1+*N~>

+ H*(MN)1+lN-% + H%(MN)^N-%
+HT T 26 / * S A T \ 23+3y
24(MN) 24 N~™ + H ^ M N ^ N - *
+ H i M N ^ N - * + H (M N )N ~ 1

+ H ?(M N )ï-l)(H M N )n

27
Chapitre 3
La partie fractionnaire de p

3.1 In tro d u ctio n

Soient £ > 0 , 0 < 0 < 1, 0 < £ < 1.

On s’intéresse au nombre de premiers p < x tels que {p6} < S.
On voudrait, pour des valeurs de 6 et S convenables, montrer que l’on a l’égalité:

# { P < x | { p 9} < 5 } = S t t ( x ) ( 1 + o ( l ) )

Balog [1] et [2] a démontré par des méthodes d’analyse complexe le:

T h éorèm e 3.1 Pour 0 arbitrairement fixé dans l ’intervalle \ < 6 < 1, le nombre de
premiers p < x satisfaisant {p0} < 6 est

Stt(x ) -f O ix 1^ w2(ln x)8 H— t — )

uj mx
1
uniformément pour 0 < £ < 1 e£ 1 < u? < X 25 .

En utilisant des méthodes de sommes d’exponentielles, et en particulier le double grand

crible, nous allons prouver très simplement les théorèmes suivants:

T h éorèm e 3.2 Soient 0 < 0 < 1 ef e > 0. On a l ’égalité:

# {P < * | {p6} < S } = Stt(x ) + Oe,e(xmax^ - e' ^ )+Ae + Sx1-*)

uniformément pour 0 < 6 < 1.

28
T h éorèm e 3.3 Soient 0 < 0 < 1 ei e > 0. On a l ’égalité:

£ A(n) = 6i>{x) + O e ^ x ^ 1- 6’1? ' * * 4* + 6xx~e)

n<x
{»«}<«

uniformément pour 0 < 6 < 1.

T h éorèm e 3.4 Soient OC (Pn)n~N> «wec M N = x, |am|, |/?n| < 1. 5oii i) > 0.
On a /es égalités:

a mPn = i X) “" A
*<mn<2i jr<mn<2x
{(mn)fl}<i
l+ g 3
+ o 6 ,17 'MN m ax 1 - 0 2 ^ •ri + ¿(MJV)1"? + (M N )1+TIN -*

+ 6$(M N )*+ÎN * + i*(ATJ\r)1“ M )

E «m = £ E
»<mn<2i ar<mn<2a:
{(mn)»}«
+ 0 ^ ((M iV )max(1- <,’1^ ’ï>+,i + ¿(MJV)1 -2 + 6 -'î(M N )1+*+^iV ~1)

uniformément pour 0 < 6 < 1.

La conséquence la plus importante du théorème 3.2 est le

C orollaire 3.5 Soit 0 < 0 < 1. Alors on a:

# {P < * I {P6} < <5} = ¿7r(a;)(l + 0 (x " e))

uniformément pour
6S > X
m in Qì -2e 4i *5e

Balog [1] a montré un corollaire similaire, obtenu à paxtir du théorème 3.1 en prenant
Uf = x*.

On voit donc que l’intervalle ]0,1[ est découpé en trois:

• sur ]0, |] , la condition précédente devient 6 > x~0+3e,

29
 i
• sur 4 i
la condition précédente devient 8 > x ~ ï+3e,
2

• sur [ |, 1[, la condition précédente devient 8 > x- i ^ +3£.

D’autre part, pour 9 au voisinage de 1, ce résultat pourrait être amélioré en employant

d’autre techniques que celles employées dans ce chapitre: l’identité de Heath-Brown (voir
en annexe E.2), et les théorèmes 2.11 et 2.12, et l’étude, qui ressemblerait beaucoup au
chapitre 5, ne sera donc pas répétée ici.

3.2 R é d u c tio n du p rob lèm e

Pax une sommation par parties, il est clair que le théorème 3.3 implique le théorème
3.2.
Nous allons maintenant montrer que la preuve du théorème 3.3 se réduit à prouver le
théorème 3.4.
Pour 0 < 9 < 1, définissons:

1+0 3
f(9) = max(l - 9, ?)
2 4

Pour prouver le théorème 3.3, il suffit d’établir le:

L em m e 3.6 Soient 0 < 9 < 1 ei e > 0. On a l ’égalité:

Y. A(n) = 6 é 2x) —ij>(x)) + Orie(xf W+e + Sx1 *

x<n<2*
{»*><«
uniformément pour 0 < S < 1.

En effectuant un découpage dyadique de l’intervalle [1, x], et en appliquant le lemme

précédent pour chaque intervalle obtenu, on est amené à sommer les termes d’erreur, ce
qui revient à sommer une progression géométrique, d’où le théorème 3.3.

Remarquons ensuite qu’il suffit de montrer le lemme précédent pour:

S > xm ~1+e

30
 En effet, pour 6 < x / ( B ) - l + e En effet, pour 6 < 1+e, on doit montrer l’estimation:

£ A(n )C o ,e xm + e
x < n < 2x

Cette estimation découle de l’inégalité:

] £ A( n) < 5Z A(n)
x<
* < nn<
< 22x
x xx<< nn<
< 2x
2s
{«»><« {n«}«0

pour ¿0 = x*(6)~1+e, et de l’étude du cas 8 = <50, que nous allons traiter: nous supposons
maintenant 6 > Sq.
On utilise à présent l’identité de Vaughan (voir en Annexe E .l), ce qui montre que la
démonstration du lemme 3.6 se réduit à prouver le:

L em m e 3.7 Soient (ctm)m~M, (ftn)n~N> auec M N = x, |am| , \fin\ < 1- Soit e > 0.

• On a l ’égalité:

£
E
x < m n < 2x
<*mßn = '6 £
E
x<mn< 2x
&mßn

{(m n)e }<6

+ O 0,e( ( M N y W +e + ¿ (M N )1 -*)

1 2
uniformément pour S > Sq et (MN)* <C N (M N )* .

• On a l ’égalité:

otm - 6 am
x < m n < 2x x < .m n < 2 x
{ ( m n ) e }<6

+ Oe,e((MN)f ^ +e + S(MN)1-*)

uniformément pour S > Sq et N (M N ) 3 .

Ce lemme découle directement du Theorème 3.4, en utilisant l’inégalité 6 > 60.

En effet, pour les sommes de type II, on a, pour 1} convenable, et (M N ) 2 < N <

(M N)*:

31
• trivialement:
{M N yW +r>< (M N )M +‘

• trivialement:
¿(MTV)1-? < ê(MN)1-^

• tout d’abord puisque N (MN)%:

(MN)1+T,N~% < (MN)*+e

donc:
(MN)1+,,N-> < (M N yW +e
2
• tout d’abord puisque N <C (MiV)â:

1 1 1 5 . 2Z
62 MN |2+Ì N 2 S 2 AfiV 6 2
'

et donc puisque Æ> So (AfiV)- 5+2c+n:

6 Î ( M N ) i +Î N * < 6(MNy~*

• puisque Æ> ¿o ^ (MiV)_i+e on a:

Ô * (M N y -M < ¿(M7V)1-ï

2
Pour les sommes de type I, on a, pour 77 convenable, et N ^ ( M N ) 3

• trivialement:
(MN)m+v < (M N )m+e

• trivialement:
6{MNy~2 < 6(M Ny~î

32
 2
• puisque N (MN)'s on a:

¿~2(MjV)1+2+^ i V 1 < 8~*{M N )5+§+^

si bien que:
S - ^ M N Ÿ + ^ N - 1 < 6 (M N )l ~î

pourvu que:
S » (MN)%~*+r,+*

ce qui est assuré par la condition 6 > 6q.

Il nous reste donc à prouver le théorème 3.4.

3.3 P a ssa g e au x som m es d ’ex p o n e n tie lle s

Pour x réel, 0 < S < 1, on a la caractérisation:

{x} < S *£=> [x] — [x —<$] = 1

On a:

E ctmpn = E a m^«([(mn)1 - [{mn)e - ¿])

x< m n < 2 i
i< x < m n < 2x
«<
{(mn)«}<i

d’où l’égalité:

E “ «A» = 6 E “» A “ £
x<mn<2i a?<mn<2x
{(mn)fl}<i

ou:

£ = E i*mAl({(rrmy?} - {{mn)e - ¿})

x < m n < 2x

On utilise à présent le développement en série de Fourier de la fonction partie frac­

tionnaire donné par D .l. On a donc:

e(h(mn)e) — e(h((mn)° —S))

e- E <w?»( E ~ ■ - » + g(mn,»,<))
x<m n<2x 0 < |/i|< // ¿ llM

33
ou
1 1
E mn 0 6 < min 1 min
H mn e H mn 6 6

En regroupant les variables mn en une seule et en utilisant l’estimation D.5, avec le

choix H 8 x
•î
la contribution des termes E(mn,0,5) est majorée par

¿(MiV)1"? + ( M N ) 1' 0 + Ô2(MN)2+2

Les deux derniers termes sont absorbé par les autres termes d’erreur des sommes de
type I et II. On retrouve par contre le premier terme dans le terme d’erreur des sommes
de type II comme dans celui des sommes de type I.
Par une sommation par parties, on se ramène ensuite à estimer:

S ^2 ctmPne(h(mn)0)
x< m n< 2 x 0<|h|</f

c’est-à-dire à majorer des sommes de type II si /?„ est quelconque, et des sommes de type
I si Pn = 1.

3.4 U tilisa tio n du d ou b le grand crible

Som m es de ty p e II

On utilise le théorème 2.6. On est ramené à évaluer les expressions suivantes:

8H (M N )^r

6(HMN)N~*

6(H MN)*N*

8 H * (M N )X~%

En remplaçant H par sa valeur, on retrouve immédiatement le terme d’erreur des

sommes de type II du théorème 3.4.

34
Som m es de ty p e I

On applique une majoration élémentaire sous la forme du lemme D .l avec (p,q) =

( 2 i 2) i ^ = N , i = 0. On es^ ramené à estimer:

6 H M ({H M d)~xN l ~6 + (H M eN *)*)

En remplaçant H par sa valeur, on retrouve immédiatement le terme d’erreur des

sommes de type I du théorème 3.4.

3.5 C om m en taires

Insistons une fois de plus sur la simplicité extrême de cette démonstration: après une
préparation tout à fait classique, il suffit d’appliquer le double grand crible.
De plus, la forme du théorème 3.4 nous assure que nous sommes en mesure d’éta­
blir, dans le même ordre d’idées, l’équirépartition de beaucoup de suites définies par des
contraites conduisant à des sommes de type I ou II, par exemple:

X)
n< x
d(n)> X )
n<x
d3( n ) , . . . ,
n< x
E dk(n)
n <x
«")*}<« {(")*}<« {(**)»}<«

ou bien:

E = 6 X pi) ~ '(fi))M2ft) - »(.fi))

{(P l P 2 ) e } < 6
où la sommation est faite pour P\ < p\ < 2PX et P2 < p2 < 2P2 avec Pi et P2 convena­
blement choisis.

35
Chapitre 4
Sur un théorèm e hybride de Balog -
Friedlander

4.1 In tro d u ctio n

Le théorème de Vinogradov [32] donne une formule asymptotique pour le nombre

de représentations de tout entier impair N suffisamment grand comme somme de trois
nombres premiers.
Ceci peut s’exprimer (voir [31]) sous la forme:

1 N2
RW = X! (lnpi)(lnp2)(lnp3) = ^<r(N)N2 + Oa ( )
Pi+P2+P3= N z )

avec A > 0 arbitraire et <r(N) la série singulière:

1 1
a A n1
p/N
p- 1 |2 n
pfN >-1
3

Balog et Friedlander [3] ont démontré que l’on pouvait se restreindre à des nombres
premiers de Piatetski-Shapiro. Plus précisément, ils ont démontré le théorème:

T h éorèm e 4.1 Soient 71, 72, 73 tels que 0 < 7; < 1 et:

9(1-73) < 1
9(1 - 72) + 6(1 - 73) < 1
9(1 - 7i) + 6(1 - 72) + 6(1 - 73) < 1

36
alors pour tout A > 0 on a:

T (N ) = — Z~2"'Z r ' X PÎ"71 (ln Pi )p \~^ (ln P2)P3~73 (ln P z)

7 i + 72 + 73 PI+P2+P3=^
x
p.=i»i',< J
1 N2
er N liV2 OA A
2 ln N

Ils en déduisent le corollaire:

21
C orollaire 4.2 Pour tout 1 < c < 20
= 1 . 0 5 . . /es nombres premiers de la forme [nc]
ont la propriété que tout entier impair suffisamment grand peut s ’écrire comme somme de
trois d ’entre eux.

Nous montrerons dans ce chapitre que l’on peut améliorer les conditions du théorème
précédent, avec comme conséquence une extension à l’intervalle 1 < c < j | | = 1.05851...
du corollaire.

4.2 R é d u c tio n du p rob lèm e

La démonstration de Balog et Friedlander consiste à se ramener au résultat de Vino-

gradov. En fait, ils montrent que pour e assez petit, on a T (N ) = R (N ) -f 0 ( N 2~e).
En écrivant pour g (oc) = Z)p<jv e(ap) ln p, on a:

R ( N ) = f ' g3( a ) e ( - N a ) d a
Jo

D’autre part pour:

fi(a) = — X e(a p )p 1 'Yi ln p ([-p 7<] - [ - ( p + l) 7*])

p <n

on a:

T (N ) = f fi(oi)f 2(a )f3(a)e(—N a )d a

J0

si bien que:

T ( N ) - R ( N ) < (s u p l/i—sr|) f |/ 2/ 3|oM -(sup \f2-g\) f |^/3|i/a + (su p \f3-g\) f \g\2da

a J0 a J0 a J0

37
 En utilisant l’inégalité de Cauchy-Schwarz, l’identité de Parsevaï ainsi que l’estimation
de Deshouillers [8 ] (conséquence directe d’une majoration de crible):

P rop osition 4.3 Pour tout 0 < 7 < 1, on a Vestimation:

T7
E i Ina;
p = [n T r]

ils en déduisent que le théorème 4.1 découle du:

T h éorèm e 4.4 Soient 7 , 6 tels que 0 < 7 < 1, 0 < S et:

9(1 - 7 ) + 128 < 1

Alors, uniformément en a, on a:

— E e(ap)p1~'f lnp = e(ap) lnp + OÇN1-6)

7 p<N p<N
p = ln t]

où la constante implicite dépend au plus de 7 et de 6.

Pour démontrer le théorème 4.1, Balog et Friedlander ont prouvé qu’il suffisait d’ap­
pliquer le théorème précédent aux couples (7 ;,£,), avec 63 = 0 , 62 = |( 1 - 73) et

£1 = ¿ (1 - 72) + |( 1 - 7 3 ), 7 i >72 et 73 étant fixés.

Il reste donc à établir le théorème 4.4. On se ramène à un problème de sommes d’ex­
ponentielles: il faut montrer pour tout l < x < N , e > 0 assez petit, H0 = z 1_7+5+£:,
Ht = x1"7, 0 < u < 1, H < H0:

min(l, — ) E I E A(k)e(ak + h(k + u)7)! < x1_5_e

** h~ H k~ x

Par une identité combinatoire inspirée de celle de Heath-Brown (voir en Annexe),

Balog et Friedlander ont prouvé qu’on est ramené à l’estimation de sommes de type I et
de sommes de type II:

S ( a ,T,H ,M ,N ) = E E E £hambne{amn + h {m n y)
h~H m ~ M n^MJL
m

38
avec bn = 1 et M < xa pour les sommes de type I, bn quelconque et xb < M < xc pour
les sommes de type II, avec les conditions combinatoires: 6 < | , 1 —c < c — 6, 1 —a < | .
Dans ce problème, ce sont les sommes de type I qui imposent les restrictions finales.
Nous allons donc améliorer le traitement des sommes de type I, ce qui aura pour consé­
quence une amélioration du théorème 4.4 et du théorème 4.1, ce qui entraînera un élar­
gissement de l’intervalle de validité du corollaire.

4.3 T raitem en t des som m es d e ty p e I

Pour Ho = (M7V)1-'r+5+£, H\ = MN i— i 1 < H < H0, nous voulons montrer

l’estimation:
m in(l, ^ ) S ( a , T, H , M , N ) < (M N )x~s~e
II

où S (a, 7 ; H , M , N ) est la somme étudiée au chapitre 2 avec: bn = 1.

D’après le théorème 2.3, avec une paire d’exposants (p, q) telle que 4p + 1 —2q > 0 et
H ' > H , il suffit d’avoir les estimations:
. 2--r(2p+l) 4p+1-2, N
H 2p+3( M N ) 2p+3 N 2p+3 N
2
• #1 x HJT , r x a E *»1?*«**4 . « p + 1 - 2 «
m in (l,— )H*p+6(M N ) *p+6 N 4j»+8 < (M N ) 1- 6-*-*
H
m ■m/(I l , —
H' \
)H AT\2+',(2P+1) y.T*q~*p- 1
4 (M N ) * N * < (M N ) 1- 8-*-”
H
m in(l, ^ ) H ’(M N)?N * < (M N ) 1- 8-*-*
H
Hi 4r+5 *P+s— r 1 + 0 —P
min
m in(l,
1. H 4p+6 MN 4p+6 N 4j>+6
< ( M N ) 1' 8-*-*
H

Choisissons pour H' — —

n u n il.- ÿ - )
• On a donc H' —
> H\.
Pour tout ß Gli), 1], on a l’inégalité:

tìì
min) 1 H 0 E ì3
H

et pour tout fi > 1, on a l’inégalité:

m i n ( l < HiHo?-1
H

39
 Il suffit d’avoir les estimations:
4t>+l— ■2 a
H x ~ w ( M N ) 2~$+3+1) N 2p+3 < K

H xH qW (M N ) M2ptpi+64p+4 N ~ ie^ i < (M N )1-*-'-"

HXH0^ (M N ) 2fy<2/ +1) N 23^ < (M N )1- 8-'-"

H^M N^N? < (M N )1- * - ' - ”

tfi^ M A O ^ ^ A T ^ < (M N )1~s~e~,}

On remplace Ho et H\ par leurs valeurs et l’on obtient:

N > (M N ) 2+V-2p
, , ■ 6 p + 5 - 7 (4 p + 6 H < (6 p + 7 )+ 1 0 (« + t ,)
N » (M N ) 4P+1-2«
AT ^ . x ; x l . * P + 3 -^ + * (2 p + S )+ e(* + r,)
N » (M N ) «H-1-2*

AT < (M N ) 27- l - 2i - 2(e+,).

-4 p -4 + n r (4 p + 6 )-< (4 p + 6 )-8 (« -f^ )
AT < (M N ) 4 P + 1 -2 ,

La première condition est satisfaite pourvu que N > (MN)%.

La deuxième condition implique la troisième.
Pour nous affranchir des deux dernières conditions, nous utiliserons une majoration
élémentaire par le théorème 5.9 de [28]:

L em m e 4.5 Si f est de classe C2 avec 0 < X2 < f"(x) < /iA2 (ou 0 < A2 < —f"(x) <
h \ 2) sur [a, 6], alors on a:

yi h(b —a + 1)A| + A2 *
a<n<6

L’estimation cherchée est vraie dès que:

(M N )1+1 HXHS N ' 1 + ( M N f - l H Ï < (M N )1' 8'*

donc dès que:

2(1 - 7 ) + 26 < 1

40
et:
jvr - ! , , Arxâz±LtM±3«
N » (M N ) 2

Ceci nous libère de la quatrième condition pourvu que:

6(1 - 7 ) + 76 < 1

et de la cinquième condition pourvu que:

(6p + 2q + 14)(1 —7 ) + (5p + 3q + 15)£ < p —q + 3

Il nous reste à traiter la deuxième condition, qui correspond au terme principal et

devrait donc être la plus contraignante. Nous devons vérifier la condition résultant de
l’étude combinatoire:

i-.<f
Ici, cela nous donne:

6p + 5 —7(4p + 6 ) + £( 6p + 7) 7 —2S
Ap + 1 —2 q < 2

ce qui revient à:

(12p - 2q + 13)(1 - 7 ) + (lOp - 2q + 8 )£ < 3 - 2q

En résumé, nous avons établi le

T h éorèm e 4.6 Soient 7 , 8 tels que 0 < 7 < 1, 0 < 8 . Soit (p ,q ) une paire d ’exposants.
On suppose:

6(1 —7 ) + 7£ < 1

( 6p + 2ç + 14)(l - 7 ) + (5p + 3ç + 15)5 < 3+ p -q

(I2p - 2q + 13)(1 - 7 ) + (10p - 2q + 8 )£ < 3 -2 q

4p + 1 —2q > 0

41
 Alors, uniformément en a, on a:

— ^ e(ctp)pl ~'1 lnp = ^ e(cxp) lnp + O jN 1-6)

1 P< N p<N
P = [n ^ ]

où la constante implicite dépend au plus de 7 et de 8 \

71,72 et 73 étant fixés, il suffit de vérifier les conditions précédentes pour les couples

(7 *>£*)> avec ^3 = 0 , 82 = |(1 - 73) et = |( 1 - 72) + 5(1 - 7 3 ).

Par exemple si 7i = 72 = 73 = 7, on a 82 = ^(1 —7) et ¿1 = 1 —7, donc il suffit de

vérifier les conditions pour (7 , 8 ) = (7,1 —7), et on obtient les conditions:

13
C < 12
llp + 5q + 29
c <
lOp + 6ç -f 26
32p - 6 g + 29
c <
32p —4g + 26
0 < 4p + 1 —2q

4.4 C on clu sion

Avec la paire d’exposants ( | | , | | ) , on obtient les conditions:

13
c < = 1.083333...
12
348 ,
c < — = 1.077399...
o Zü
199
c < — = 1.05851...
188
g
0 < 4p+l-2ç = —
41
21
Nous améliorons ainsi le résultat de Balog-Friedlander: c < 20
1.05, qui devient
c < f i = 1.05851....
Il ne fait aucun doute que l’on peut encore améliorer ce résultat en utilisant une paire
d’exposants plus sophistiquée.

42
Chapitre 5
Le théorèm e de Piatetski-Shapiro

5.1 La su ite de Piatetski-Shapiro

Nous allons rassembler ici quelques propriétés élémentaires de la suite de Piatetski-

Shapiro.
Désignons par V l’ensemble des nombres premiers.
Soit c > 1,7 = i et x > 1.
On note: ttc(x) = # { n < x | [nc] £ V }.
On pense que l’équivalence:

X
nJx) ~ —— x —* +oo
cln x
est vraie pour tout c > 0 , c ^ 2 , 3 , 4 , __

6121
T hh ééorèm
T o r è m ee 5.1 Pour c < 5302
= 1.15447001..., on a l ’équivalence:

. . x
7Tc ( x ) ~ —---- X —* +00
cln x

Donnons une caractérisation plus exploitable de irc(x).

On a p = [rac] si et seulement si />7 < n < (p + l) 7, c’est-à-dire si et seulement si

[-p 1 - [ - ( p + 1)1 = 1-
Ceci nous permet d’affirmer:

Mx) = E
p<xc
(l-r1) - 1-Ip + »r» + 0(i)

43
où le terme en 0 (1 ) correspond à un effet de bord éventuel de l’intervalle de sommation.
Nous pouvons alors faire intervenir la fonction partie fractionnaire:

»«(*) = p<xc
E ((p+1)’ -pT) - E ({-P1} - i-(p+ir» + 0(1)
D ’autre part, le théorème des nombres premiers implique:

X X
E P 1 CI P O 2
p<xc c ln X Inx

Il reste donc à montrer l’estimation:

7 X
E
p<!<
p< XC
P p + i :7
(lIna;
2
n i )2

L’équivalent recherché découlera donc, pour c < 2, de la preuve de l’estimation:

Ay
Y,Awtt-»1)-{-(«+in)«
a~A
<
ln A

On utilise maintenant le développement en séries de Fourier donné par l’estimation

D .l qui nous ramène à montrer les estimations:

£ ^A(a)e(A(a+ 1)p~e(^ <

o<|fc|</ra~A ^ ^
vE ' mm(l,
• „ 1 )> « A?
a~A « II“7 II (InA)»
Cette dernière estimation découle immédiatement de l’estimation D.5 pour H =
A i-y + v
Quant à l’autre estimation, une sommation par parties permet de la ramener à montrer:

E A (a )F (a )« £ .
a~A
ln A

ou:

?(<*) = E ^e(ha’)
0< h < H
avec |e^| < 1.

44
 Il ne reste alors plus qu’à utiliser une identité combinatoire pour se ramener à la
majoration de sommes de type I et de sommes de type II. Nous choisirons l’identité de
Heath-Brown (voir en Annexe le paragraphe E.2) qui donne le meilleur résultat ici.
Nous devons établir les estimations suivantes:

• pour les sommes de type II:

Eh £h Em En am e h(mn r < ( m
MNn ) x~c

• pour les sommes de type I:

E e* E E a™e(MmnD < (M N f ~ e
h m n

ce qui va nous permettre d’utiliser les estimations de 5 (0 , 7 ; H, M, N) établies au chapitre

2.

5.2 S om m es d ’e x p o n e n tie lle s

Soient e > 0 et rj > 0 deux réels que l’on choisira suffisamment petits.
Nous devons estimer 5(0, M, N ) définie au chapitre 2 pour H <C (M N )x~'1+ri,
dans le but d’obtenir 5 (0 , 7 ;//, Af, N) -C (M N ) x~e pour (M N ) ai <C N (M N ) a2, ce
qui correspond à la majoration des sommes de type II.
D’autre part lorsque bn = 1, nous devons prouver 5 (0 , 7 ; H, M, N) -C (M N )1'* pour
(.M N )a3 < N .
Ensuite le théorème sera acquis pourvu que les restrictions combinatoires de l’identité
de Heath-Brown soient satisfaites:a3 > 2a\ , 2a3 + ai > 1, 3a2 > 1

5.2,1 Som m es de ty p e II

Nous appliquons le théorème 2 .2 , et nous obtenons les conditions:

N < (MNf

45
 H ? (M N )N ~* < (M N )1”e- ’?

H (M N ) 1+$ + # PAT5(T^J < (m n y-*-"

\ \
ce qui nous ramene a:

2+P i+p+g 3e 6n
(M N )1~'1+2e+r' < N < ( M N ) ' ™ 1-q °*

On a donc le:

T h éorèm e 5.2 L ’estimation 5(0,7; H, M, TV) <C (M N )x~e esf urate <fès çue;

< (MiV)1" ^

et:
/ w » r \ l — v + 3 * » r / i j T<2 + P ) - ( 1 + P + < ) ~ 4 e
(M N )1 7+3e < AT < (ATAT) !-«

5.2.2 Som m es de ty p e I

Dans tout ce paragraphe, nous supposerons que (MJV)1-7+e <C N <C (M N )J~e.
Comme i f > 1, la condition N <C H (M N )'1 sera toujours vérifiée, ainsi que la condi­
tion symétrique M <C H (M N )'1.
Toute somme de type I peut clairement être considérée comme une somme de type II.
Nous allons commencer pax établir des résultats ne nécessitant pas que bn = 1, et nous
préciserons plus loin le moment où cette condition devient nécessaire.
En appliquant le théorème 2.11, nous voyons que l’estimation S(0,~f;H,M,N) <C
(MAT)1-* est satisfaite dès qu’on a les conditions:

H ( M N ) î^ l N - ^ < (MAT)1"*

H (M N )N ~ i < (MAT)1"6

H ^M N y-ÏN Ù < (MNy~e

19 23_4'v 1
H ^ (M N )~ ^ rLN ^ < (M N y ~ e

H (M N )^ N ~ ^ < (MAT)1"'

46
 H * (M N )* N i < (MTV)1-*

H (M N ) i *1 TV- * < (MTV)1-*

le cas le pire étant H <C (MTV)1-7+TI, d’où les conditions:

TV > (MTV)^1-7^ ^ )

TV > (MTV)3(1-7)+3(*+,J)

TV < (¿/-TV)127"9- 12*-9’»

TV < (MTV)237-18-24*-19”

TV > (MTV)^(1-7)+^ (e+,,)

TV < (MTV)37"2- 46- 3’'

TV > (MTV)3^1-7^+e+n

Il nous reste à éliminer les conditions inutiles.

Les inégalités ^2 < 3 < 12 indiquent que la première condition implique la deuxième,
la cinquième et la septième.
D’autre part pour 7 > | , on a les inégalités:

37-2 < 127-9

37-2 < 237-18

si bien que la sixième condition implique la troisième et la quatrième.

Enfin, pour que le résultat soit intéressant, il faut que:

^ (i-7 ) <37-2
ce qui est vrai pour 7 > | | .
Nous pouvons donc énoncer le:

T h éorèm e 5.3 Pour 7 > | | = 0.84, on a 5 ( 0 , 7 ; /T, M, TV) ^ (MTV)1-* dès que H •<

(MTV)1- 7*” et:

(MTV)^<1-7)+4* < TV < (MTV)37-2"5*

47
 En intervertissant les rôles de M et N, nous obtenons le:

T h éorèm e 5.4 Pour 7 > | | = 0.84, on a S (0,/y ] H ,M ,N ) ( M N )1-* dès que H <C
MN i l — Y+»7 et:
M
(M N )3-*<+5* < N < M N i 4 1-7 Ac

Pour 7 > ^5 , les domaines d’application de ces deux théorèmes se recoupent, ce qui
permet d’en déduire:

T h éorèm e 5.5 Pour 7 > ^3 = 0 .8 4 6 ..., on a 5 ( 0 ,7 ; ^ ,M , N ) -C (M N )1-e dès que

H < (M N e t :
(M N )3~ ^ +S* < N < (AT/V)37-2-5*

Précisons bien que ces trois théorèmes ne supposent nullement que bn = 1.

A partir de maintenant, nous supposons que 6n = 1.
Nous utilisons le théorème 2.12, qui donne l’estimation S (0 ,‘j ; H , M , N ) <C ( M N ) 1~S
dès qu’on a les conditions:

H™(MN)11™*N A < (M N )1'*

e+Tf 2
H Í. 'MN N' 3 < (M N )1- 6

tf*(MA0^Arï§ < ( M N ) 1'*

^¿(MNŸ-^N S < ( M N ) 1'*

^ ¿ (M ^ ^ N -Z < (M N f~ *

H^M N^N * < ( M N ) 1'*

H (M N )^ rLN~* < ( M N ) 1-*

H (M N )N ~ 1 < ( M N ) 1-*

H * ( M N )2^ < ( M N )1-*

le cas le pire étant H <C ( M N )1 7+TÎ, d’où les conditions:

1 5 —13-y 14e+16n
N » MN 8 8

48
 N > (M N )1^ ^

N > (M N )3* # 1* 1* # *
f * / , rN3° - « a , ?i«+3.i.a
N > ( M i V j 23 1 23

N > (M iV )^ + ^

N > (MAT)iïr1+l£i52

N > (MiV)3-37+4e+4’,

N > (MiV)1- ^ ”

>
1 e
»7
7 2 2

Si la première condition ainsi que la sixième sont vérifiées, alors les autres le sont
13
également. Suivant la position de 7 par rapport à ^|,
15 c’est l’une où l’autre de ces deux

conditions qui est la plus forte. Nous en déduisons les théorèmes suivants:

T h éorèm e 5.6 On suppose bn = 1 . Pour 7 > = 0.8666..., on a 5 (0 , 7 ; M, iV) <C

(MTV)1- ' dès que H < {M N )1-'1*" et:

(M N )3"7+2e < N < ( M N y ~ e

T h éorèm e 5.7 On suppose bn = 1 .

Pour | < 7 < g , on a 5 (0 , 7 ; tf, Af, JV) < (MJV)1“' dès que H < (M N )1- ^ et:

(M N )i*ïr2+2e < N < ( M N y ~ e

En combinant les trois derniers théorèmes, lorsque leurs domaines d’application se

recoupent, on obtient le:

T h éorèm e 5.8 On suppose bn = 1.

Pour 7 > 11
13
= 0 .8 4 6 ..., on a 5 (0 , 7 ; H, M, N ) -C (M N )x~e dès que H <C (M N )1~'1+V
et:
(MiV)3<1-'Y)+5e < i V < ( M N f ~ e

49
D iscussion

Il nous faut fournir encore une estimation pour nous affranchir de la condition N <C
(M N)'l~e. Pour cela nous appliquons directement le lemme D .l avec (p,q) = ( |, |) , et
nous obtenons le:

L em m e 5.9 On suppose bn = 1.
On a S (0 ,r , H , M , N ) < (MiV)1-c dès que:

N » (M N )*-^+2e

En combinant ce lemme avec le théorème précédent, nous en déduisons finalement:

T h éorèm e 5.10 On suppose bn = 1 .

11 l-'y+rç
Pour 7 > 13 = 0 .8 4 6 ..., on a 5 (0 , 7 ; H, M , N ) -C (MiV)1-e dès que H <C M N
et:
N » (MJV)3<1"^+5e

On peut aussi utiliser ce lemme lorsque 7 < f |, ce qui permet d’établir:

T h éorèm e 5.11 On suppose bn = 1 .

11
Pour | < 7 < 13 on a 5 (0 , 7 ; H, M, N ) < [M N )l ~e dès que H < (M N )l ^ +r> et:

N > (MAO1^ - * - 26

On notera que la constante | peut être légèrement améliorée. Pour cela, il suffit
d’utiliser une autre paire d’exposants dans le lemme. On peut prendre par exemple

(Pi 9 ) = (M’ 30)* Mais ces valeurs sont de toutes façons très éloignées du domaine d’appli­
cation actuel.

D’autre paxt, bien que nous ayons utilisé les théorèmes 2.11 et 2.12, il nous faut
souligner que c’est le théorème 3 de [9] qui est l’ingrédient déterminant pour améliorer le
théorème de Piatetski-Shapiro.

50
5.3 C on clu sion

En prenant:

ai = 1 —7 + 2e + T)
7(2 + p) - (1 + p + g) - 3e - 6rj
a2 =
1-g
03 = 3(1 - 7 ) + 5e

les conditions combinatoires de l’identité de Heath-Brown a3 > 2 ai, 2a$ + a\ > 1, 3a 2 > 1,
nous conduisent à vérifier:

• premièrement que
7(2 + p) ~ (1 + P + q) 1
1- q 3
ce qui est vrai pourvu que:
4 + 3p + 2ç
7 3(2 + p )
13
Si l’on prend (p,q) = ( | , | ) , on retrouve la condition 7 > 15 = 0 .866666 . . . , qui
apparaissait déjà dans l’axticle de Heath-Brown [15], mais qui n’était pas la plus

restrictive pour lui.

64
Par contre on peut prendre (p, q) = ( ^ , 126
= B A 5B (0 , 1), ce qui nous amène la
condition*^ > | p = 0.866235..., qui est très légèrement meilleure. Bien sûr cette
condition n’est pas optimale, et on peut certainement l’améliorer en prenant une
paire d’exposants plus sophistiquée. On peut néanmoins s’imposer raisonnablement
pour le traitement des autres conditions que 7 > 13 = 0.84615..., ce qui nous
permet d’utiliser le théorème 5.10 pour les sommes de type I.

• que:

3(1 - 7 ) < \

si bien que:

7 > - = 0.85714...

51
 • que:

2(1 - 7 ) < 3(1 - 7 )

ce qui est toujours vrai.

En définitive, le résultat est acquis dès que:

.4 + 3p + 2q 6.
7 > m a x ( 3(2 + p) '7

Par exemple pour:

803
0.866235
7 > 927 =
c’est-à-dire:
927 , ___
c < 803 = 1 15442 -
Notons qu’en appliquant l’algorithme de Graham (voir [10] ou [11] pages 55 à 69), on
obtient la condition:

c < 7 ^ 7 = 1.15447001...
5302
7552
en utilisant la paire d’exposants: B A sB A2B A2B A B A2B (0 ,1) = ( ^ 2° , 14923
On peut améliorer cette condition avec une paire d’exposants plus appropriée que l’on
trouverait en appliquant l’algorithme de Graham à partir de la paire d’exposants ( ^ +
£, Ü + e) pour e assez petit, qui a été établie pax Huxley et Watt [17], mais l’amélioration
serait de toutes façons faible.

52
Chapitre 6
M inoration grâce au crible

6.1 In tro d u ctio n

Grâce au crible de Rosser-Iwaniec, nous allons pouvoir légèrement augmenter la cons­

tante correspondant au problème de Piatetski-Shapiro, mais cette méthode ne donne
qu’une minoration de 7rc(x). Plus précisément, nous démontrons le:

T h éorèm e 6.1 Pour c < on a la minoration:

X
7T X » cìnx

Définissons:

A = {[nc] | N < n < 2N }

Ad = {a € A | d/ a}

S { A, z ) = #{a € A | (a,I]P) = l}
p<z

Pour minorer 7rc(x), il suffit de minorer non trivialement S (A, (2N)%).

6.2 E stim a tio n de \Ad\

Avant d’appliquer la formule de crible, on étudie |.4d|:

1^1 = #{jfc e N I 3 n , N < n < 2 N , [ n c] = kd}

53
 En utilisant la caractérisation classique des nombres de Piatetski-Shapiro (voir le début
du chapitre 5), on obtient:

|Ail = T(d) + E{d) + 0 (1)

où:

T(d) = ¿2 ((M + i r - (M T )

m = £ ({-(M+in-Mwn)
On montre aisément que:

T(d) = j + 0 C(N '- ')

On a donc le:

L em m e 6.2 On a l ’égalité:
\Ad\ = ^ + r(A ,J)

où:

r(^4, d) = E(d) + Oc(JV1-c)

6.3 P rép a ra tio n au crible

Le crible linéaire seul ne pourra jamais détecter les nombres premiers (phénomène de
parité), si bien qu’une transformation préliminaire s’avère indispensable.
Soit | < ¡3 < | , et D = N c(x~e\
On applique l’identité de Buchstab:

5 (A (2 iV )f) = 5 (A (2 iV )^ )- X S {A p, P) (6.1)
{2N)fi<p<(2N)%

S (A ,(2 N )0) sera minoré grâce au crible, tandis que ^ ( 2N)0<p<(2N)% S {A v,p) sera es­
timé par une méthode directe, ce qui permet de sortir du cadre du crible.

54
6.4 E stim a tio n d irecte

Comme /? > on a l’égalité:

E S { A , tp)
(2N)P<p<(2N)%
= # { [ n c], N < n < 2N | 3 pi,i>2,Pi < P2\ (2N)P < px < ( 2 iV)t, [nc] = pxp2}

Notre but étant de donner une majoration explicite de H(2N)P<p<(2N)i S{Ap,p), nous
supprimons dans la relation précédente la condition: p\ < pi.
Ainsi on a:

£ s (a , p )
(2N)P<p<(2N)%
< #{[n % N < n < 2 N \ 3 ^ , ^ ; ( 2 N f < p, < (2 JV)i, [n‘] =

Notons que la perte entraînée par cette majoration n’a pas d’incidence sur le résultat
final, car la contribution des termes tels que pi > p2 est négligeable.
Par la transformation classique sur le nombres de Piatetski-Shapiro, on a:

E S{Ap,p) < TX(N) + R i(N ) + 0(1)

(2N)P<p<(2N) $
où:

Ti(N) = E E ((PiP2 + 1)7 - (P1P2D

(2N)0<Pl<(2N)$ El<P2<i*îQï
R i (N) E E ({-(P1P2 + m - { -(P iftp })
(2N)0<pi<(2N)$ ^<P2<i^p£

Pour estimer TX(N ), on écrit, pax un développement à l’ordre 2:

Ti(N) = 7 E £ (PIP*)7' 1 + 0 ( N 1-')

(2N)»<p,<(2N)f ^ < „ < 0 ^ .

puis grâce au théorème des nombres premiers, on a:

(2 N)% Í2ÜÜÍ
(2JV)* , 7-1 dt\
dii dt2
‘i , 7-1 dt2
Tx N 1 n Nc q -1 N +00
'(2 N)e ln ii ln í2
«1

55
 Il ne reste plus qu’à donner un équivalent de cette expression. On peut par exemple
faire le changement de variables: <2 = puis le changement: ti = (2iV)u, et en inter­
vertissant les sommations, on est capable de calculer explicitement l’intégale en u, et il
ne reste plus qu’à trouver un équivalent à l’intégrale en v.
Plus précisément:

r2° rî du
1\ { N ) ~ 7N v'-'dv / -, ■■ . f., -----
Jv= 1 Ju=p u(ln v + c In N ) — u 2ln2 N

~ vN I ___- ___ - l n ( - ___Î L L j n N x

T Jv=ilnv + c \ n N { 0 + % $ J

On en déduit l’équivalent:

N c ß
Tx N ln N +00
clnN ß

R i(N ) est un terme d’erreur conduisant à des sommes d’exponentielles faciles à esti­
mer, en raison de la position des intervalles de sommation. Par le développement en série
de Fourier donné pax D.l, nous avons:

e{h{pxp2 + l)7) - e(h(pxp2y)

R•i N E E ( E + +g(M>,7))
( 2 N ) P < p i < (2 7 V )Î ^ < p 2 < i 2 ^ ü 0 < \h \< H

où:

E ( P m , l ) « m m (l, H || (pip2)ii B) + m m (l, H || (1 + p,p2)-> || >

On se débarrasse immédiatement des termes d’erreur YhYÏ E(PiP2, l ) , en regroupant les

variables P1P2 en une seule et en utilisant l’estimation D.5, avec le choix H = (N cy~'r+S.
On a donc:

^ 2 '52 e (p i p 2, i ) < n
(ln N )2
Nous sommes donc ramenés, après une sommation pax parties, à montrer l’estimation:

€
E £/> E N C
E (2 N ) c
4 h(pip¡y) < (N ‘)
C\l —

(2N)ß<P l<(2N)
PI
:p2 PI

56
et cette estimation découle, pour ¡3 assez proche de | , du théorème 5.5, si bien que:

N
Ri N <
< ln N 2

On peut donc en déduire la:

P rop osition 6.3 Pour fa assez proche de j , et fa < ¡3 < on a la majoration:

£ S ( 4 ,,p ) < ^ ln ( ^ ) ( l+ o ( l) ) N —» +oo

(2N)P<p< (2N) $ P

6.5 U tilisa tio n du crible

On utilise le crible linéaire sous la forme du théorème 4 de [18], dont nous donnons
l’énoncé uniquement pour la minoration:

P rop osition 6.4 Soit A un ensemble fini d fentiers, et V un ensemble de nombres pre­
miers. Notons:

P (z) = JJ p
p<z
pev

S (A ,V , z) = #{açA | (a ,P (z)) = 1}

Mdl = # { fl € *4 | a = 0 (mod d)}

On suppose que chaque \Ad\ peut être écrit:

\M =^X +r(.A ,i)

avec u>(d) multiplicative et 0 < u(p) < p pour p € V , X > 2 un nombre indépendant de d.
Soient R > 1, 0 < r) < S~R et D > 2. Supposons que les deux inégalités suivantes
soient vérifiées:

n d - ^ r s &ln u > +i£-)

w<p<z P
1
ln w

y- “ (P *) < L

w < p < z or > 2 P* ~ ln3w

57
pour tous z > w > 2, et des constantes K yL > 1 convenablement choisies. Posons:

V(z) n d-^)
p/p(*) p
Définissons les ensembles:

Q = {Z>»>2(i+»/9r | „>0}

7ï = {(-C^i, • • •, D r) | r > 1, Z?i,. . . , Dr € Q, Z)r < • • • < < Z?2}

D- = D. € W | V/, 1 < I < ^ , D i ' " D m- i D I i < D}

Notons que \D~\ < exp(8T}~3).

Soit f l ’habituelle fonction du crible linéaire.
Si z < D*, on a la minoration:

S { A , V , z) > V (* )* (/(a ) - E) - R ï - R-

avec:

In D
s =
ln z
E = E(r/, D, K , L) < i, + i r V ^ l n D )~i

«T = E V i(D " )r(A ,d)

d<D*l
dfPiDn2)

BT = £ £ \ ï t o , D 1, . . . , D r ) H i ( A , V , z ; t l , D , , . . . , D r)
(£>1... Dr)€î>- *<%
d / P { D rf )

avec les coefficients Ad V D î .. . , D r), et (pÂ(Dv) majorés en module par 1, et

Hd{A ,'P ,Z \T ),D i,...,D r) = E E r(A,dpi •-'Pr)

•-pr)
D1<P1<DJ+ '’9 Dr <Pr<D r+ ''9
Pl/P(z) Pr/P(*)

où la sommation est restreinte par la condition pi ^ pj pour (i , j ) € I { Di , . . . , D r), avec

I ( D i , . . . , D r) un ensemble arbitrairement choisi (qui peut être vide) de paires d ’indices

(i , j ) telles que i ^ j et 1 < i , j < r.

58
 ln D
On prend z — ( 2N)*3, a>(ra) = 1, X = N, ij assez petit, s = ßhi N
= ^(1 — e),
I ( D i , . . . , D r) = 0.
L’existence de K se déduit aisément de la formule (voir les expressions (22.7.3) et
(22.7.4) de [12]):
£ i = lnln* + C + 0 ( i ^ - )
p<x P lO *
L’existence de L est triviale. Rappelons que D = N c(l ~e\
Nous en déduisons la minoration:

5M ,(2JV)fl) > N n ( l - i ) ( / ( 4 0 - « ) ) - ^ ) + iM .(2A r)i )

p<(2N)^ ” "
où S (A, (2 N )13) est un terme d’erreur délicat qui sera défini et traité plus loin.
Appelons 7 e la constante d’Euler, et appliquons la formule de Mertens.
On obtient:
—7 |g
c
S(.4, (2N f ) > / ( - e)) - E ) + £(A, (2N f )
ln (2 NW ß
Mais comme pour 2 < s < 4:

ln(s —1)
f( s ) = 2 e™
s

on a donc, en utilisant l’égalité 6.1 et la proposition 6.3:

N 2 c 2 C c
Si A , 2N 2 > ln 1 ln £ ln 1
c\nN 1 £ 0 1 £ C ß ß
r ^ - J C + L V

-
P + (,n
c ( l - £ ) lun i V ) 3 + °W)7 + i (-4’<2JV> )
d’où, pour £ et 77 assez petits, finalement:
N c ß
s A 2N if ln 1 1 1 S A. [2N
cln N ß
Le théorème 6.1 se ramène donc à montrer l’inégalité:
N
sA 2N fi
ln A ,2

ce qui est l’objet du paragraphe suivant.

59
6.6 T erm e d ’erreur

S (A, (2 N)P) représente les deux termes du théorème d’Iwaniec R~ et R ï . La somma­

tion sur les (Z?i,. . . , D r) comportant moins de exp(8 tj~3) termes, on effectue cette somme
trivialement, en conservant un seul (£>i,. . . , Dr) qui réalise le maximum.
On a:

e(A,(2Nf) <C„ E E E lH ^ i •••<*-+ iD - •--drn

dKD't di dr k

où \tj)d\ < 1, la sommation sur les di se fait sur des intervalles de la forme [D;, D *+T)9] avec
( D i , . . . , D r) € et la restriction N c < dd\ • • • drk < (2N ) c.
En effectuant un découpage dyadique des intervalles [Di, D}W ], on voit que l’on est
ramené à estimer des sommes S = S{qi, («¿), (Di))

E E ••• E E ({ -(M .-4 + in -H w J r -i)1})

d~D*n. d ^ D *1 dr ~ D ? r k ~ K

où les variables de cette somme sont restreintes à vérifier les conditions suivantes:

kdd1 ---dr ~ Nc

0 < Tji < TJ

ori,...,aP € [1,1 + j/9]

D > Di > D2 > •••

£>i2 < D

D \ D 23 < D

D \ D 2D $ D 3 < D

D\D%Dz • • • D 2 3 < D

Signalons qu’il y a 0 ((ln N ) T>’) (où rf ne dépend que de rf) telles sommes S et qu’il
suffit de montrer S <C (iVc)1-e pour conclure.

60
 On utilise le développement en série de Fourier de la fonction partie fractionnaire
donné par D .l. On a donc:

_ . r-» v' / v' c{h{\ kddi • • • ¿r)"'f) e(h(kddi • • • ¿r)^)

< 2^, Wd 2 -r * * ’ 2 ^ ( 2 ^ --------------------------------------------------------- ï ---------------------------------------------------------
d^D *1 dr~D ?r k ~ K 0<\h\<H u
+ E(kdd\ • • • ¿r, 7 ))

où les sommations sur k,d,d\,... ,dT sont liées par la relation N c < kdd\ • • • dr < N ,c, avec
N < N ' < 2N, et:
1
kdd\ • • • cfr, 7 < min 1
E(kddt + m ind, g || (1 + ^ ^ „)
H\\ (kddi - • • dr)y

On se débarrasse des termes d’erreur E (k d d \" • dr,~f) en regroupant tout d’abord

kdd\ ■ • • dT en une seule variable n avec un nombre de représentations en 0(N™ ôô), puis
en appliquant l’estimation D.5, ce qui sous l’hypothèse H = ( 7Vc)1-7+fi, nous ramène à
l’estimation du terme principal.
Pax une sommation pax paxties, on est ramené à montrer l’estimation:

E
0< |ft|< J/
eh E
d~D'n
** E •••¿ r~ED “ r kE
~K
e(M*<«i—<*rr)«(jve)‘-
où les sommations sur k,d,d\ ,... ,dr sont liées pax la relation N c < kdd\ ■ ■ ■ dT < N'°, avec
N < N ' < 2 N.
Pour rûajorer cette somme, nous allons utiliser les estimations que nous avons démon­
trées pour le théorème de Piatetski-Shapiro. Il nous faut donc regrouper les variables de
sommation judicieusement de manière à ’’fabriquer” des variables se trouvant dans des
intervalles pour lesquels on sait estimer la somme.
D’après le théorème 5.2, avec (p, q) = ( |, |) , l’estimation recherchée est vraie dès que
du produit K D VlD i 1 • • • D “r, on peut en extraire un qui se trouve dans l’intervalle:

](Nc)1~'r+3e, (jVc)5^-4- 8e[

Par le théorème 5.5, il en est de même si 7 > 11

13
et si l’on a un produit dans:

NC 3—3 7+ 5 e
A C3^—2—5c

61
 I-------------------- 1/ / / / / / / / / / I / / / / / / 1 ----------- 1/ / / / / / / / / > / / / / / / / / / 1—
1-7 57-4 3-37 37-2

Figure 6.1: Contrôle des sommes de type II

La condition D \ < D implique pour rj suffisamment petit que D \+r> <C (_/Vc)3'r-2-5e,
ce qui nous permet donc de supposer: D*x <C (_/Vc)3-3rf5e.
D’autre part, D \D \ < D implique D \ < D, or avec 7 > on a 57 — 4 > | donc
pour rj suffisamment petit on a D \ +r}9 <C (Arc)57-4-8e si bien que l’on peut supposer
D %2 < (jVc)1_'r+3e (voir figure 6.1). Cette dernière condition va nous permettre de conclure
pourvu que 7 > comme nous allons le voir immédiatement.
Il nous reste en effet maintenant deux cas à étudier:

• si D f 1 • • • D °r (./Ve)37-2“5®, pour 7 > | , on a:

(37 —2 ) — (3 —37 ) > 1 —7

et donc il est impossible qu’il n’y ait pas un produit de D°* qui se trouve dans:

](iVc)3-37+5e, ( 7Vc)37-2-5e[

car aucun des D?', i > 2 n’a une taille suffisante pour faire "sauter” d’un seul bond
le produit d’une borne à l’autre de l’intervalle précédent.

• si Z)“1 • • • Z)"r < ( 7Vc)3-37+5£, alors K (TV0)37-2-5*, et nous sommes alors en

présence d’une somme de type I, à laquelle nous pouvons appliquer le théorème
5.10, qui nous donne l’estimation souhaitée avec le choix de variables N = K ,
M = D “1 • • • jD“r.

Il nous a semblé que le théorème 1 de [18] n’était pas assez fort pour conclure. Nous
avons dû revenir à la construction des coefficients bien factorisables pour gagner davantage
de souplesse dans les formes multilinéaires.

62
Chapitre 7
Problèm e binaire

Nous allons nous intéresser à un problème binaire déjà étudié par Deshouillers dans
sa thèse [5] au chapitre II. Il s’agit d’écrire tout entier comme somme de deux nombres
de Piatetski-Shapiro.
Nous allons chercher un équivalent de:

W = # ((» i,» .)e K " | n = (m*) + [r.2‘]}

et en fait nous montrerons le:

T h éorèm e 7.1 Pour 1 < c < | , 7 = on a, pour N —*■ + 00 , et tout e > 0 suffisamment
petit:
Rc(N) = A(7 )7V27_1 + Oen{N 2'1~1~e)

où:
A(7 ) = 7 2 jf x7_1(l - x y - xdx = 7^ ( 7 ,7 ) = 7 2^ |^ y

(voir par exemple [34] pages 253-254 pour ces égalités classiques sur les fonctions eulé-
riennes)

63
7.1 R é d u c tio n du p rob lèm e

Soit x (n) = [—n7] — [—(n + l) 7] la fonction caractéristique des nombres de la forme

[mc] On a alors l’égalité:

Rc(N) = 2 J 2 x (n )x (N - n) + 0 (1)
l<n<f
Cette transformation nous permet de ramener l’étude de R C(N ) à un problème de
sommes d’exponentielles. En utilisant l’écriture habituelle de x> on en déduit:

Rc(N) = S i{N ) + 0 ( S 2{N) + S 3(N ) + S 4(N))

ou:

S i(N ) = 2 £ ((n + l) 7 - n 7 ) ( ( j V - n + l) 7 - C / V - n ) 7)
l< n < y

S 2(N ) = 2 £ ( { - ( n + l) 7 } - { - n 7 } ) ( ( J V - n + l) 7 - ( A T - n ) 7)
1<«<T
Ss(N) = 2 £ ((n + l )7 - n7)({-(iV - n + l) 7} - { - ( N - n)7})
l<n<f
S 4(N ) = 2 Y : ( { - ( n + l) 7 } - { - n 7 » ( { - ( 7 V - n + l ) 7 } - { - ( J V - n ) 7»
l<n< y

S i(N ) donnera donc le terme principal, tandis que S 2(N ) et S 3(N) seront des termes
d’erreur relativement faciles, et S ^ N ) un terme d’erreur plus délicat.

7.2 E v alu ation d e S\(N )

Par un simple développement limité à l’ordre 1, il est facile de voir que:

Sl (N) = 2 ^ N ^ £ ( £ f - - ( i - i r >+ 0(1)

1<»<Ÿ

Ensuite, constatant que x —► f(x ) = æ7-1(l —x )7-1 est décroissante pour x G]0, ^],
une comparaison avec une intégrale nous amène à la conclusion que:

Si(JV) = 7 2W27_1 £ z7_1(l - x y - ' d x + 0 (1)

64
cax l’inconvénient d’avoir une intégrale impropre est pallié par les estimations:

f f(x)dx < a 1
Jo

pour 0 < a < ^ et:

j * f(x)dx < /(^ )(a - i )

pour | < a < | .

7.3 Evaluation de S2 (N)

Par une sommation pax parties, on voit que l’estimation de S 2(N) se réduit à montrer:

SUP I X ({“ (n + 1D ' “ { ~ n7})l Nii~e

§<*<£ i<n<t

On remarque la présence d’une somme ’’télescopique”:

l £ ( { - ( » + 1)7} - { - » ',})l < 2

5 <n<l

On a donc l’estimation:
S 2(N) < e jV5* - 1“*

7.4 Evaluation de Ss(N)

Par une sommation pax parties, on voit que l’estimation de S3(N) se réduit à montrer:

sup | £ ( { - ( i V - n + i n - { - ( i V - n n ) | < e iV7- e

5— T 5 <n<t

On remarque la présence d’une somme ”télescopique”:

| E ({-(* - » +1)7} - {-(* - ")7})l < 2

5<n<t

On a donc l’estimation:

S3(N) < e N 2**-1-*

65
7.5 E valu ation de S ^ N )

Pax un découpage dyadique, on a pour un certain No < %:

S*(N) < (lnN ) Y ( i - ( n + 1 D - { - n ^ } ) ( { - { N - n + 1)7} - { - ( N - n)7})

n ~N o

où l’intervalle de sommation n ~ No nous permet d’avoir l’inégalité: iV — n > y , ce qui

nous donne une très bonne connaissance du comportement de (N —n)y.
Notons:
e(h(n + l) 7) — e(/m7)
r * (» )= £
0 < \h \< H
2iirh
et:
R „(n) = { - ( n + 1)’ } - { - n ’ } - T„(n)

on prend: Ht = No ~'1+r)1 et H 2 = Arl_7+,?2, où t)i et t}2 seront fixés ultérieurement en

fonction de e.
Posons:

MN) = E T „ ,(n )T „ ,(N -n )

n~N o

02 (N ) = £ T h M R „ , ( N - n)
ti~ N q

« iW = £ -Rjf.M TH, ( N - n )
n~No
o*(N) = E R H,(n)RH,(N - n )
n~N o

On a:
S 4(N) < (ln N ){a t(N ) + * 2{N) + <t3{N) + <r4(N))

Pour montrer l’estimation précédente, nous devrons estimer des sommes d’exponen­
tielles sur lesquelles on ne peut apparemment pas appliquer directement la théorie des
paires d’exposants, car en dérivant n fois la fonction à l’intérieur de l’exponentielle com­
plexe, on obtient une fonction qui suivant la parité de n, peut ne pas conserver un signe
constant sur l’intervalle de sommation.

66
U n th éorèm e de som m es d ’exponentielles

Nous allons montrer le:

T h éorèm e 7.2 Soient u et v € [0,1], h\ et h2 € Z*, on pose:

Fhuh2(n) = hi(n + u )7 + h2(N - n + v )7

• Si h\h 2 > 0 alors

Y, e(Fh,M(n)) « (MJV?-1 + IfcalAf’-» + 1)(|A,|JVT2 + IMJV1’ 2)'* + lnJV

n~N o

• S* h\h 2 < 0 a/ors

E e ( f W » ) ) < (lAil « ? ' 1 + IMJV’- 1 + W 3 + |fc,|AP-»rl +lnJV

n~N o

Pour établir ce théorème, nous allons utiliser le fait que selon le signe de h\h 2, soit les
dérivées d’ordre pair, soit les dérivées d’ordre impair de ,h3 gardent un signe constant
sur l’intervalle de sommation.
En particulier F" est au moins monotone ou de signe constant:

F"(n) = 7 ( 7 — 1 ) / ^ ( n + m )7 - 2 + 7 ( 7 — l)h 2(N —n + u )7 -2

Ainsi, en excluant éventuellement un point, on peut découper l’intervalle [iVo, 2iV0] en

(au plus) deux intervalles I\ et I2, sur lesquels F " est de signe constant.

H eOFfci,*,(«)) < inax| £ e(^i.fc2(n))l

n~AT0 3 ' n Ç lj

Posons Ij =]<Zj, 6j[, oij = min (F'(aj), F \b j)) et = max (F'(aj), F'(bj))
Pax la formule sommatoire de Poisson donnée pax B.l, on a:

E e(FhiM(n)) = E f ’ e(F^,hAx ) ~ vx)dx + 0 (ln N)

n Ç lj otj—l < v < 0 j + l i

on a:

0 %+ 1) - (ai - 1) « |Ai|TV?"1 + |A2|An- 1 + 1

D’autre paxt, d’après le lemme B.3, on a les majorations d’intégrales:

67
 • Si h\h 2 > 0 alors avec n = 2 :

t ‘ ( J ’î . m M - vx)dx « ( |A ,|J V J - J + |fc2 | A P - 3)-5

Jaj

• Si hih 2 < 0 alors avec n = 3:

f 1 e{Fhlth2{x) - vx)dx < (\hi\N 2~3 + \h2\N'y~3)~*

Jaj

ce qui achève de prouver le théorème 7 .2 .

E stim ation de a\

On veut montrer l’estimation:

(Ti {N) < N 2**-1-*

En écrivant:

e(hi(n + l) 7) —e(hiny) r1 , x , . .
------------— —------------ = / 7 (n + u)7 1e(^i(n + u)7)dti
^27r/i>j 7o

et:

e(h2(N —n + l) “7) — e(h2(N —n)7) /■* />r

--------------------r—-r--------------------- --- I l i N —n + v )7 e(h2(N —n + u)7Wu
¿l'Kh,2 J0

on a l’estimation:

<ri{N) < JV^JV 7"1 F f Y Y IE < ln {n + u y + h2{ N - n + vy)\d u d v

J u - 0 J v - 0 Q<|Ai 0<|fc2| < / f 2 n~JV0

On applique le théorème 7.2, pour lequel on a:

N ^ _1 + IM ^ 7-1 + 1 < ^

où rj = m ax(j/i,7/2).

68
 • Pour h\h,2 > 0, on doit établir:

jV J -ijy ,-1 •£ J2 (|Ai|JVJ_j + |A2|JV '-2)~ i < iV2’ - l-e-T?

o<\hi\<th o<|fc2|<^2

ce qui revient à:

N2~xH îH 2n I ~ ’ + N2~xHxH ZN x- ï < N ‘y~e~,)

et, en remplaçant H\ et H 2 pax leurs valeurs,conduit à:

jV§ “'>+’» < 7- c-»7

et cette dernière estimation est vraie pourvu que 7 > |

• Pour h\Ii2 < 0, on doit établir:

1— €
N j-'ir -1 E £ (MJV3H, + l*»|J'r,_3r l < N *~I
0 < |/.i|< J/i 0<|fc2|<J?2

ce qui revient à:

N Z -'H fH tN l" * + N Z - 1H1H j N 1- l < N'*-'-*

et, en remplaçant H\ et H2 pax leurs valeurs, on obtient la condition:

| o - 7)+1 -1 < 7

et cette dernière estimation est vraie pourvu que 7 > |

E stim ation de <72

On veut montrer l’estimation:

a x{N) < N 2**-1-*

En écrivant:

e h\ n + 1 y e hi ri■7 i
7 (n + u)7 e(Ai(n + u)7)c/u
2iirhi 'o

69
 On obtient l’estimation:

MN) NZ 1 I X ) m in(l, 1 x ,.)| £ e( M n + « D l* *

Jo n~No 2 II (iV - n p II 0< hll<Hl

On utilise la majoration d’une progression géométrique:

£ e(h\(n + t i f ) < Ht m in(l, 1 )

o<\hi\<Hi H l» (n + ur II

On a donc l’estimation:

<T2 ( N ) < N q 1 sup 5 (u ,v )

(«.v)€[0,l]2
ou:
i 1
S(u,v) E min î.
n~No Hi n+ un
min 1
H2 N —n + v)
Il nous suffira donc de montrer l’estimation:

2*7— 1 — c— Tj
sup S(u,v) <C (7<1)
(u,v)€[0,l]2

où tj = max(i7i,i72).

E stim ation de 03

Par le* même raisonnement que pour er2(iV), on voit qu’en fait il suffit de montrer
l’estimation 7.1, car on a:

<73(iV) < TV” sup S(u,v)

(«,v)e[o,i]2

E stim ation de a 4

Il est immédiat de voir qu’en fait il suffit de montrer l’estimation 7.1 pour estimer
<r4(N).

70
Fin de l’estim ation de <7 2 ,(7 3 ,(7 4

D’après l’égalité D.2, on a:

1 +O O

min(1’^iKni) = k? ooo‘e('‘nl')
où pour tout fi € [—1 , 1 [

Y M W '’ « 0 H^(\a2Hf
0
On a donc:
+OO +O O

S(u, v ) = Y Y ahi<lh2 Y e( M n + «)** + h2 (N - n + u)7)

/il = —00 / i 2 = —00 ti~ N q

• Pour h\ — h2 — 0, la contribution à 5(u, v) est:

.. In 2Hi ln 2H2
No~m—nr
ce qui est:

< (ln N )2N 2‘y~1~m~ri2

< N 2'1- 1- ”-*

pour un choix convenable de 771 et r}2 en fonction de e, vérifiant la condition 771+ 772 >
77 + e, où rj = max(^i, tj2 ) .

• Pour hi = 0 et h2 0, la contribution à 5(u, v) est:

< ^ njri 1 hE
rfO
Kll n~AT0
E e(fcj(*-» + »r)|
1 'Y—1 Ì
E \h, -1 N 1 - 7 Ä2I2 AT 2 A/ 2
Hl h2* o0
< l^ 1 (ln2H2)2{H2 1N 1-'1 + H%N:l?-NS)

< (ln N )3N ‘y~*+'1

ce qui nous conduit à la condition:

1
27-1 7
2
1
c’est-à-dire 7 2*

71
Pour hi ^ 0 et h2 = 0, la contribution à S(u, v) est:

< Î ^ E K I I E«(M» + «ni

2 h\ 9ÉO n~N o

« E K K |A i|-lJVi“r + I M * ^ N$)
H* A./O
In 2Hi Ì
< ln 2 Hi 2 H N 1 -7 fi 2
A
iï2
h
< (ln N )3(N'y~*+11)

ce qui nous conduit à la condition:

27 - 1 > 7 - i

c’est-à-dire 7 >

Pour /ii ^ 0 et /i2 0, on applique le théorème 7.2. La contribution à S ( i l , v ) est:

U |M
< E E K I K K I f c W 1+ MAH-1 + i)(\hiW~2+ M N^-2)-
h\ >0 ^2>0

M|M
+ E E K I K I ( |A i W 1 + I M ^ ,' 1 + i)(l'>i|JVo'2 + l'î2|APi- T
h i < 0 h2 < 0

Cd|M
+ E E K I K K I ^ W 1 + |A2|Ar,- ‘ + 1)(|A.|iv?-3 + im jv t- T
h\ < 0 ^ 2>0

+ E E K I K I ( M J vo~1 + MJV7' 1 + W 3 + IM A P-3)

h\ > 0 /l2 < 0

Prenons a = 2 lorsque h\h2 > 0 et a = 3 lorsque kih2 < 0. En utilisant pour

X > 0,Y > 0 l’estimation:

(X + Y ) ~ ï < ( X Y ) - à

on est ramené à majorer les trois expressions suivantes:

(ln N ) 4H¡ 2“ M2 2“ 7 V r +^ N 3*?

(ln N ) aH x **h \ M2* ^ - 1 + ^

(ln N)*HX ^ H ^ N ^ N 2^

72
En remplaçant H\ et H2 par leurs valeurs, on montre que ces trois expressions sont
i
< nNi a ce qui amène la condition:

27 - 1 > 1 - -
a
2 o r-l
c’est-à-dire: 7 > 2er
Pour a = 2 cela donne 7 > et pour a = 3 cela donne 7 > | , condition déjà

rencontrée auparavant.

73
Chapitre 8
Un résultat presque partout

8.1 In tro d u ctio n et n o ta tio n s

Soient c et x deux réels positifs.

Posons pax commodité: 1 — \-
Soit A un ensemble d’entiers naturels.
a désigne un élément de A.
On note: A c(x) = # { n < x | [nc] € .4}, et A(x) = «4i(x)
a désigne un réel positif vérifiant A(x) <C x“, et l’on s’appliquera à le prendre le plus
petit possible pour que xa représente au mieux A X bien qu’il soit toujours possible de
prendre simplement a = 1.

Si A est l’ensemble des nombres premiers, on noté: 7rc(x) = A c(x).

Nous allons prouver le théorème suivant:

T h éorèm e 8.1 Pour presque tout c de l ’intervalle ]1,2[, au sens de la mesure de Le-
besgue, on a l ’équivalence:
X
*e(*) ~ - f — X- Ï +OO (8.1)
clnx
Ce théorème a déjà été démontré par Leitmann et Wolke [22], par une démonstration dire­
cte. Notre approche va nous conduire à démontrer un résultat plus général, car le fait que

A soit l’ensemble des nombres premiers n’a aucune importance dans notre démontration,
et plus précis, en ce sens que nous donnerons explicitement un terme d’erreur exploitable.

74
8.2 U n th éo rèm e général

Nous allons émontrer le

T h éorèm e 8.2 Pour presque tout c de Vintervalle ]1,2[, au sens de la mesure de Le-
besgue, on a:

M*) = c"1 £ a-1+c_1 + OcA^-e) (8.2)

a<xc

pour:

f€l°’è _ f 1 (8-3)
Notons que ce théorème est trivial si la fonction de comptage de A est Oc,s{x l~6). Plus
précisément, pax une sommation pax parties, on a:

y : a_1+c 1 = .4(:rc)a;1-c + (1 — - ) f A ( t ) t ‘ ~2dt

a<xc c Jh

on voit donc facilement que si

xp ,4(a:) < a xa

alors on a:
x i - c ( i - 0 ) <C>/J £ a _ i +c_1 < c,a j j i - c(i~ a)
a<xc

si bien que le théorème 8.2 est intéressant, si on a l’inégalité:

1
1 c ß] 1
4c 8
Cette condition devient si l’on peut choisir a suffisamment proche de f3:

l - c ( l - « > l - ( i - f )

c’est-à-dire:
_ 8c2 - 2 8 - 27 2
> 8 c2 —c ~ 8 - 7
Ceci nous permet d’illustrer notre théorème pour les valeurs extrêmes de c dans l’in­
tervalle de validité ] 1, 2 [:

75
 • lorsque c est très proche de 1, disons c = 1 + e avec e assez petit, alors le théorème
est intéressant pour /? > | + 3e.

• lorsque c est très proche de 2, disons c — 2 —e avec e assez petit, alors le théorème
est intéressant pour 0 > 1 —

a et ¡3 réalisant x 13 <C A{x) <C a:", et a —0 étant supposé choisi suffisamment petit pour
bien approcher l’ordre de grandeur de *4 (x).
On en déduit que dans le cas où a = 1, et où /? peut être choisi aussi proche de 1 que
nécessaire, le théorème donne un résultat intéressant pour presque tout c e]l,2 [. C’est le
cas en particulier si A est l’ensemble des nombres premiers: le théorème 8.2 implique le
théorème 8.1.

8.3 Itéra tio n

Nous allons, par itération du théorème 8.2, donner une application attrayante de ce
théorème.
Notre but est d’exhiber des suites finies de réels c*, de longueur arbitrairement grande,
telles que l’équation:

P = [«?] = [«?] = • • • = [nf]

ait le ”bon nombre” de solutions.

Notons que Leitmann [21] s’est intéressé à cette question et a démontré le:

T h éorèm e 8.3 Pour 1 < ci < c2 < 2 , 7,• = ^ , 71 + 72 > §§, on a:

tZi
E 1= 7i7aJ*lX ln*
dt + 0 ( x ^ - 'e - ^ )
p=[nJ1]=l"^2l
avec une certaine constante absolue c > 0.

Introduisons tout d’abord quelques notations utiles. Soit c* une suite d’éléments de
] 1, 2[. Soit «4 ° un ensemble d’entiers naturels, et pax récurrence sur k > 0:

.4 *+' = {„ e A k | a = K +1“ -»]}

76
ainsi:
A k = {a € «4° | a = [rziCl] = • • • = [ïifcc*]}

On suppose:
inf{a | A?(x) -C s “} = snp{p | A°(x) x&}

Il existe ainsi ao et j30 tels que:

x^° -C .4°(a:) -C xa°

avec oro —Po aussi petit qu’on le souhaite.

On définit ensuite:

<*k = ao + 7i H-------\ - l k ~ k

Pk = Po + 7i + -----1-7k - k

Nous allons montrer le:

T h éorèm e 8.4 Soit k € N*. On suppose:

in f{a | v4°(x) <C xa} = sup{/? | -4°(x) >• x&}

Pour presque tout k-uplet (c i,. . . , c*) satisfaisant les conditions:

• 7, = ^ pour i = 1 ,. . . , k,

• 7 i < 7 2 < • • • < lk < 1,

8—2*y2
• Pi > s—fi+i > p °ur i = 1» • • • »k - 1*

on a pour ¿oui €]0, ^ l ’égalité:

A k(x) = 7 i • • - 7 ifc E a7l+- +7k_A + 0 7li...f7fc)fik(a:7*(1- i*))

a<x
aÇA0

et d ’autre part on a les estimations:

x^k <C «4*(x) <C xak

77
Par exemple en prenant pour A 0 = V , et

11 1 (1 1 1 1 1
7i€J ÎOOS2 + (* + 9 ) r ’ 100 V (i + 9)!

les hypothèses du théorème précédent sont assurées:

• les intervalles sont disjoints, ce qui assure la croissance des 7

• la suite a, vérifie les inégalités:

1 1 1 1 8 - 27l2 8 - 27t?+1
°° 100 ¿ Î i 2 100ho 0 + 9)! > 8 - ^i > 8 “ 7.+i
On en déduit le:

T h éorèm e 8.5 Soit k € N**. On suppose:

inf{a | .4 °(x) <C x“} = sup{/? | .4 °(x) >> x0}

Pour presque tout k-uplet (ci, . . . , c*) satisfaisant pour i = 1 , . . . , k:

- 1 11 1 (l 1 1 (l 1
7i ” ^ €J 100 V + (i + 9)! 100 S '2 (i + 9)!

on a pour tout 8k €] 0 , ^ Ofc-1 l ’égalité:

8

1 = 71 • • • i k 32 p li+""H k ~ k + ,...„k ,Sk (x 7 * ( 1 — 6k)

p<X p<x
p = [ n j 1] = - = [ n ^ Asl

Insistons sur le fait que ce théorème est un exemple d’utilisation du théorème précédent,
et que les intervalles auraient pu être choisis autrement.
La démonstration du théorème 8.4 se fait par récurrence sur k, en itérant le théorème
8.2.

• pour k = 1, c’est exactement le théorème 8 .2 .

• Supposons que pour presque tout A:-uplet (ci,. . . ,c*) satisfaisant les conditions:

- li = Ti Pour i = 1 k.

78
 - 7i < 72 < *• • < lk < 1,
8-2 t?+1 k — 1.
Pi 8-7.+1
pour i = l

on a pour tout 6k €]0, ^ l’égalité:

&k)
A X 7i Ik E
a<x
a 71+ — +7fc-* o yi fikJh X

aeA°
et d’autre part on a les estimations:

x0k -C A k(x) <C xak

• D’après cette hypothèse de récurrence, pour presque tout k + 1-uplet ( c i , . . . , c*+i)

satisfaisant les conditions:

~ H = il Pour * = 1, • • •, fc + 1,

- 7i < 7 2 < *• ’ < 7*+i < 1»

” & > 8- 7T+11 » Pour * = !»•••»*•

on a pour tout €] 0 , ^ l’égalité:

71 7* k o Yl>—,7*»ô* t
.4‘ (0 = 7 l — 7» E a
a<t
o€^°
et d’autre part on a les estimations:

t Pk < A k(t) < i “fc

De plus, d’après le théorème 8.2, pour presque tout cjt+i on a les égalités:

-4*+1( z ) = '4 Î U ( * y*+1) = 7*+i Z ) a7fc+1_1 + ^ fc+1,ifc+1(* 7*+l(1“ 5*+l))

a<x
a£Ak

s.
avec fc+1 €]0, 7fc+l
4 8 L’hypothèse a* >
g q ^.2

8 ” 7*+1
nous assure que ce théorème
donne un résultat non trivial, si bien que l’on peut a

tpk+1 < A k+1(t) < t ak+1

79
Par une sommation par parties:

y ; à yk+1 1 = A k(x)x'rk+1 1 + (1 —7fc+i) / A k(t)tyk+1-2

Ja.«
<'«x J^

or pour presque tout fc-uplet (ci , . . . , c*) on a l’égalité:

Ik -k
A k{t) = 7 .-" 7 » £ a7l O Ylf— rtkfOk t
a<t
o€^°
En effectuant le remplacement de A k(t), on obtient d’une part un terme principal
qui est exactement celui qu’on cherchait (en faisant la sommation par parties dans
l’autre sens), d’autre paxt un terme d’erreur qu’il nous faut estimer. En définitive,
il reste à montrer:

7 *(1 — 6k) + 7fc+i — 1 < 7 * + i ( l — < W i )

donc il suffit de vérifier l’inégalité:

7M-i£fc+i ~ lk6k < 1 —7k

On écrit:

g 7fc+l <*k
à k+1 - -------- — ~ e k+1

Sk = = l - £k
k 4 4

avec £k+i, £k suffisamment petits. On a l’égalité:

7fc+i^fc+i —7k6k —
7*+i ~ 7k 7k+i + lk ak-\{lk+\ ~ lk) , I k + i i l - l k ) , _. _
------------------ 2
------------------------------------- 2--------------------------------------------------------------- 8
------------------------------- ------------------------ 8
------------------------ 7 ~ l k £ k + x

d’où:
f C ^ 1 - 7* , 1 - lk , 1 ~ 7* .
7*+i®fc+i — 7*®* < ~ ^ ------1----- g------1------g------•" 7*e* — 7Jk£Jk+i

ce qui assure l’inégalité recherchée.

80
8.4 P r o p r ié tés élém en ta ires

Posons pax commodité: 7 =

Donnons une expression exploitable de A c(x), en utilisant la caractérisation classique
de nombres de Piatetski-Shapiro.
On a:

M *) = £ ([-<■’] - [-(« +1)1) + o(i)

a<xc

si bien que:

AM = a£< x c ((<*+ i r -o7)+ aE

<xc
({-(« +1)’} - { - “’}) + 0(1) (8 .4 )

Il est clair que la première somme donne le terme principal. C’est donc de la deuxième
somme dont il faut s’occuper.
On notera dans la suite:

/ 7
a = {-(<* + i)7} - { - ^ }

Pour A < B, on a l’estimation:

A C(B^) - Ac^A1) <C -B7 — A7 + 1

ainsi que l’estimation:

32 ((a + l) 7 - a 7) < £ 7 - A 7 + l
A<a<B

si bien que grâce à (8.4):

32
A<a<B
/ » < & - & + 1 (8.5)

8.5 U n p e u de th éo rie de la m esu re

Dans cette section, nous allons montrer que la preuve du théorème 8.2 se déduit du
lemme suivant:

81
L em m e 8.6 On a l ’inégalité:

r Y A (a)
a<x
d'y <Ce,-7i,T2 X (8.6)

pour

7i < 72, (8.7)

a
7i > 2 + 72 - 7i + «• (8.8)

Comme on veut montrer:

.-(•y-«) 0 X +00
A ( a)
a<x
on doit supposer 71 > § + 72 —71 + 4e, pour avoir l’existence d’un K ( e , 7 1 , 7 2 ) > 0 tel
que:

r7
Ai
- 2 x - 2 (7 - e)
a<a?
¿7 < K x -2 e

d’où la condition 8.3, qui provient de l’inégalité 4e < 71 — ^ — (7 2 —7 1 ), en prenant

7i et 72 suffisamment proches l’un de l’autre.
Posons pour k € N*,

1
Ek{x) = {7 €bi,72[ I * (7 c) Y /»(°) > k
a<x

On a les inégalités:
2
/ 7 2^7 < r - - 2 (7 - « ) ¿7 < K x —2e
JIEe m(x)
k (x) k2 ~ JE
e ik.((x)
x)
7 2x
E /ya
a<x

donc si /i désigne la mesure de Lebesgue, on a:

/<(£*(*)) < ilk2Kx~2e

Soit m € N tel que me < 1 < (m + l)e < 2 me.

On a alors:

E /<W « “ )) < + ~
n>0

82
 Donc d’après le lemme de Borei- Cantelli, presque tout 7 n’est élément que d’un nombre
fini de {Ek(nm) \ n € N*}, c’est-à-dire que pour presque tout 7 ,

(7 -e ) 1
lim sup (»m) Y, f M <
n — *>+00 a< n m
k

et par intersection (dénombrable) sur k, que pour presque tout 7 :

lim
n— 00
nm H
En f7 a = 0
a m

Pour un tel 7 , on va maintenant en déduire:

1 —ce
lim
X — *+00
X E
a<xc
/y a 0

On note: n(x) = [(x0)”* ]

(ainsi n(a;) est l’unique entier vérifiant: n(x)m < xc < (n(a;) + l ) m)
On écrit:

1—ce
X E M “)) - ((n(*)”)-('’- ) 22 A(«))|
a<xc a^n(a?)T
1
< \x (1 ~>( 5 3 / y ( « ) - 53 /r (a))|
a<xc a<n(x)m

+ |(*-<i~>-(„(*)»)-<•*-•>) 22 A(<0|
a<n(x)m

(grâce à l’inégalité (8.5))

< x - ^ - ^ j x ^ - n(x)my + 1 | + ¡x^1- ^ - (n(x)m) - ^ \ ( n { x ) my

< |xc - n ( z ) m| X
1—ce n\ X + x ( n ( x ) m)~ 1- 7+e)

< \xc - n(x)m\x-<l~e)

< m (xc)m^ ( x c) - ix-^

< m(x°)~™+e

qui tend vers zéro puisque: me < 1.

83
8.6 U n e m a jora tion d ’in tégrale

Il reste donc à prouver la majoration du lemme 8 .6 .

8 .6.1 A rgum ent élém entaire

Soit Tj > 0. On se servira systématiquement de xv pour éliminer des puissances de

ln(x), et tj sera choisi suffisamment petit en fonction de 7 1 ,7 2 et e.
Grâce à l’estimation(8.5) et à un découpage dyadique, notre preuve se réduit à montrer:
2
r'ft
F
•'71
7 2x 27 32Ma)
a~z
d'y < e ,7 l» 7 2 X -e-T)

pour:

z € [x1 *, a:] (8.9)

et les conditions (8.7) et (8 .8 ) satisfaites.

8 .6.2 Séries de Fourier

Supposons les conditions (8.7), (8 .8 ) et (8.9) satisfaites.

Posons H = z1-7l+%+v.
Par le développement en série de Fourier des parties fractionnaires donné pax D .l, on
est ramené à majorer les trois intégrales:
2

r2x 27 32 32 i (a + u ) 7 1e(h(a + uy/)du ¿7 < «»71.72 X n (8 . 1 0 )

71 o<|/i|<,ir<»~*^u=0
2
1
r v « - * 3 2 min(l, d 'y ^ e . - y i ,72 X - £- ’7 (8.11)
J'Y
'7 11 a~z H ay
2

F
J71
7 - 2 aT27 32 nnn(i,
CL~z
1
H II (a + I ) 7 II
d'y ^ ¿ ,7 1 ,-72 x 77 (8 . 1 2 )

8.6.3 Q ueue des séries de Fourier

Grâce à l’estimation D.5, on a pour 7 >

i 7-
X m in (l,
a~z H a7

84
ainsi que:
1
£ m in (l, r) * 7 -f
a~z #11 (a + i r II
Sous les conditions (8.7), (8.8), on a les estimations précédentes, ce qui nous permet
de disposer des inégalités (8.11) et (8.12).
Il reste donc à prouver l’estimation (8.10).

8.6.4 C ondition suffisante

Appliquons successivement les deux formes suivantes de l’inégalité de Cauchy-Schwarz:

1 2 1
f/I( uu) ddu
u < | // ( uu) | 3 <iti
du
o r0
2

E m
0<h<H
< H Y . I/TOI!
0<h<H
On est ainsi ramené à prouver pour tout u G [0,1]:

K (u ) e,7li72 X— »

ou:

k {u) = h y, r t ~* Z x ( n)(n + ur 1e(h(n + u)y) dy

o<lhl<if •''Y
Jrfl'
A ^ l L l ^ T r

avec: x (n) = 1 si n € A et 0 sinon.

Le reste de la preuve consiste à intervertir les sommations (après avoir développé le
carré), de façon à avoir à majorer une intégrale, les sommations sur h et n étant faites
ensuite.

8.6.5 L’in égalité de Weyl - van der Corput

En appliquant le lemme A .l, on obtient:

Hz
K ^u) < c ~ ô E H J2
0 < \ h \ < H |g|<Q z < n - q , n + q < 2 z
x(n + q ) x ( n - q )

P 2 e(h((n + g + u)7 — (n —g + it)7))

(8.13)
•Ai x2~<(n + g + u)1-'>,(n —g + u)l ~'1 ^
avec Q = z x~v

85
8.6.6 La contribution du term e q = 0

On doit avoir l’estimation:

H z
- q -H A ( 2 z ) x 2'|,1z 2'» 2(72 — 7 l) ■< x~e~v

c’est-à-dire:
£ - 2 1 1 z ‘x + 2 ( ‘n - ’n )+ e+ 3 » 7 ^ x -e -V

Cette estimation est vraie pourvu que:

oc
11 > g- + 72 - 71 + e + 2 tj

Or cette inégalité est claire sous la condition(8 .8 ), pour un choix convenable de ij.

8.6.7 La contribution des term es q ^ 0

Pax symétrie on peut supposer q > 0.

On va majorer l’intégrale qui apparaît dans l’expression(8.13) en utilisant la seconde
formule de la moyenne dont nous suivons la variante suivante (voir [27] paragraphe 12.3):

L em m e 8.7 Soit f réelle intégrable sur [a, 6]. Soit <j>positive, bornée, monotone sur [a, 6].

• Si <f> est décroissante alors il existe £ <E]a, 6[ tel que:

f f(x)<f>(x)dx = <j){a + 0) f f(x)dx

Ja Ja

• Si <f> est croissante alors il existe £ €]«, &[ tel que:

J f(x)<f>(x)dx = <f>(b — 0) J f ( x ) d x

On sépare la partie réelle et la partie imaginaire de(8.13). Les deux expressions réelles
que l’on obtient seront majorées de la même façon.

Traitons le terme en cosinus.

86
 Remarquons que la partie réelle de l’intégrale de l’expression(8.13) contient les termes
suivants:

7 —* x~2~*

7 —»■ (n + q + u )7“1

7 —> (n —q + w)7_1

7
¿;(/*((n + g + u )7 - (n - q + u)7))
d . cos(2x^((n + q + iî )7 — (n —q + u)7)) x
7 0 ?------ ------} 2Îr

Les quatre premières expressions sont des fonctions monotones de 7 , donc en appli­
quant quatre fois le second théorème de la moyenne et en utilisant la monotonie de ces
fonctions on obtient l’estimation pour l’intégrale de l’expression(8.13):

x~2yi (n + q -f li)72-1 (n —q -f u )72-1

k((n + q + it)71 ln(n -f q + 11) — (n —q + u )71 ln(n —q + u))

Pour n ~ 2 , 0 < g < Q e t 0 < u < l , on sait bien estimer l’expression précédente. En
particulier, on a la minoration:

(n + q + ii)71 ln(n -)- q + u) —(n —q + u )71 ln(n —q + u) £,7l qzyx~x

on en déduit la condition suffisante:

Hz x - 2-77i1Z-2-72-2
X
27 2
tt £ £ E . 71-1 < e 71 75 X ■£
0 < |f c |< i i0 < |g| < Q 2 < n - 9,n+9<2z Aqz
n(i z
\ \
ce qui nous ramene a:

Z1-'>1+i +t,z 1)ln (H )ln(Q )A (2z)x-2-lllz 2^ - 2z 1-'11 < e,7l)Ti

71/72 x~e~v • *»

et cette dernière relation est vraie pourvu que:

_ a 3s
7 i > ^ + 72 - 7i + + 27?

ce qui se déduit aisément de la condition(8 .8 ) pour un choix convenable de 77.

87
 La preuve est ainsi complète.
Au lieu d’appliquer le shift, remarquons qu’il était possible d’utiliser l’inégalité de
Cauchy-Schwarz. On aurait ensuite pu faire un découpage suivant les valeurs de |n7 —n21
et traiter un problème très simple d’espacement. Le résultat aurait été le même puisque
la condition la plus restrictive provient de la diagonale (la contribution de q = 0 ).

88
Annexe A
Transformations de som m es

A .l L ’in ég a lité de Weyl - van der Corput

Nous la donnons sous la forme symétrique du lemme 2 de [9].

L em m e A .l Soit L > K , Q > 0, et z* des nombres complexes. On a alors:

L K
IK <Ek < L **l2< (2+ V
E (1 - M)
1, 1« } V
E w * -,
K < k -q ,k + q < L

A .2 La form ule de Perron

Cette formule classique permet de libérer des doubles sommes d’une condition multi­
plicative, ce qui permet de rendre les variables de sommations indépendantes.

L em m e A .2 Soient 0 < L < fiN < vN < XL, et soit c* une suite de nombres complexes
(\cn\ < 1). On a Végalité:

£ c- = è / 1, ( £ c,ri0iV«(*'“ : ^ dt + OA(ln(2 + £))

nN<n<uN •/ - L L < K \L 1

89
Annexe B
La formule som m atoire de Poisson

La formule sommatoire de Poisson s’écrit, pour une fonction f convenable, de trans-

A

formée de Fourier f :

£ /M = £ /(')
n I
Elle permet donc de transformer une somme sur des entiers en une autre, que l’on
espère pouvoir traiter plus efficacement. En effet, d’après le lemme 4.7 de [28], on a le:

L em m e B .l Soit f( x ) une fonction réelle ayant une dérivée f'(x) continue et strictement
décroissante sur [a, b], et soit f'(b) = a, f'(a) = /?. Alors:

32 e( / ( n)) = 5 2 J e(f(x - t/x))dx + 0( l n(j3 - a + 2))

a<n<6 a —rj<u</3+rj a

où tj est une constante positive quelconque plus petite que 1 .

Dans cette formule, il reste encore à évaluer l’intégrale, ce qui en général s’accomplit
pax la méthode dite de la phase stationnaire.
Pour avoir un terme d’erreur précis, on fait souvent une petite hypothèse supplémen­
taire sur / (voir pax exemple [33] page 89).
Une forme particulièrement utile est donnée par le lemme 6 de [15] que nous énoncerons
de la façon suivante:

L em m e B .2 Soient 0 < a < b < 2a. Soit R un ouvert convexe contenant le segment
réel [1, 6/a]. Soit f une fonction holomorphe sur aR = {az | z € R} et vérifiant

90
/ z <
< M pourM pour z G aR. Supposons de plus que f ( x) est réel lorsque x € aR est réel et
que f"(x) < —kM avec k > 0. Soit f'(b) = a, f { a ) = fi, et définissons xv pour chaque
entier v de l ’intervalle a < v < fi par f'(x „) = v. Alors:

£ e(/(n)) = e ( - i ) £ |/" (* ,)r M /(* , - ra,)) + 0 ( M ^ ) + 0( ln(M(t - a) + 2))

a<n<6 ® a < i/< p

où les constantes implicites dépendent uniquement de k et R.

Dans le cas où l’on ne désire pas une estimation si précise, on peut se contenter de la
majoration suivante (voir par exemple [28] section 4.19):

L em m e B .3 Soit f une fonction n fois dérivable telle que |/ ^ ( x ) | > An > 0. Alors on
a l ’estimation:
[ be(f(t))dt < n A;."
Ja

91
A nnexe C
Paires d ’exposants

La méthode des paires d’exposants est due à van der Corput [29] et [30] et Phillips
[23].
Nous reprenons la définition du paragraphe 5.20 de [28].

D éfin ition C .l Soient s,c des constantes positives, et soit ¿F(s, c) l ’ensemble des qua­
druplets (N, / , / , y) tels que:

• N et y sont positifs et satisfont yN~* > 1,

• I est un sous intervalle de ]jV, 2N],

• f est une fonction réelle sur I, indéfiniment dérivable, telle que pour tout n > 0;

n +1 dn dn
/ ya 's
< c
dxr (y* *)
X
dx n

On dit que (p,q) est une paire d ’exposants si 0 < p < | < q < 1 et si pour tout s > 0
il existe c = c(p, q, s) > 0 suffisamment petit tel que l ’on ait l ’estimation:

£«(/(»)) ««„(vAr*)'*'
n€/
uniformément pour (N , / , / , y) € T(s< c)

Observons que yN ~8 est l’ordre de grandeur de f'(x).

Il est est immédiat que (0,1) est une paire d’exposants. Pour en fabriquer d’autres plus
intéressantes, on dispose des méthodes suivantes:

92
L em m e C.2 (P rocessu s A ) Supposons que (p ,q ) soit une paire d ’exposants. Alors on
fabrique une nouvelle paire d ’exposants A(p, q) par:

P P i
p + q + 1’
A P,Ç.
2p 2 2p 2

L em m e C .3 (P rocessu s B ) Supposons que (p,q) soit une paire d ’exposants telle que
3
p + 2q > 2 Alors on fabrique une nouvelle paire d ’exposants B(p, q) par:

B(p,q) = { q - ^ , p + ^)

On obtient ainsi les paires d’exposants:

* 0 .1 ) = (i i)

AB ( 0,1) = ( |,|)
11 *>7
ABA*B( 0,1) = ( - ,- )

BA*BA2B A 2B A B A 2B(0,1) = ( ^ , ^ )

93
Annexe D
La fonction partie fractionnaire

Nous allons résumer ici quelques résultats classiques.

Soit H > 1.
Un développement en série de Fourier de {0} est:

i e eh 1
e E O min 1, D.l
w = ^2 „ < L 2 iwh
^ + 0 ( m i n ( 1’ H Oe
T )) (IU )

On développe aussi le terme d’erreur en série de Fourier:

1 +oo

min^ ’ ff|| e|p = ^ ake(ehï (D-2)

avec:
. AnH 1 H .
ah < m in (-^ -, - ^ j , — ) (D.3)

si bien que pour tout fi G [—1 ,1[:

£ laftll^F ^ 0 H^(\ü 2H)2 (D.4)

hjiO

D’autre part on a le lemme élémentaire:

L em m e D .l Soient N < N\ < 2N, A > 0, 0 < 7 < 1, alors uniformément pour
0 < u < 1 on a l ’estimation:

£ e(A(n + u)7) < min (JV, lAI“1^ 1“^ + \\\ pN p^ +q)

N<n<N!

où (p ,q ) est une paire d ’exposants.

94
 On en déduit, en prenant (p, g) = ( | , | ) , l’estimation:

£ min(l 1 ) < NH-'QniH) + N ' ^ + (H fP)i (D.5)

N<n<2N H W 717 ~ 6 H

uniformément pour 0 < 6 < 1.

95
Annexe E
Identités combinatoires

Ces identités permettent de transformer des sommes sur les nombres premiers en
sommes sur des intervalles particuliers vérifiant certaines conditions.

E .l L ’id e n tité de Vaughan

On peut lui donner la forme suivante:

L em m e E .l II existe six fonctions arithmétiques a,(n) (\ < i < 6) vérifiant Vinégalité:

|a,(n)| < d(n)lnn

telles que, pour tous les nombres K et K ' (100 < K ' < K < 2 K ') et toute fonction
arithmétique g, on ait Végalité:

£ A (% (i) = S, + Si + S3 + St
K '< k < K

où:

Sx = Y a i(m) X) g{mn)
m<K$ K '< m n < K

s2 = Y a 2(m) Y (lnn)j(mn)
K' <mn<K

Sz = E E a 3(m )a 4(n)g(mn)
K$<m<K$ K$<n<K$
K '< m n < K

SA = Y a s(m )a 6{n)g(mn)
K$<m<K$ K$<n<K%
“ K '< m n < K

96
 On a l’habitude de dire que Si et S 2 sont des sommes de type I, c’est-à-dire que l’une
au moins des sommations se fait sur une variable régulière, alors que S 3 et S 4 sont des
sommes de type II, c’est-à-dire qu’aucune des sommations n’est a priori sur une variable
régulière, mais chacune des sommations est longue.
Pour les sommes de type II, on a la possibilité d’utiliser la majoration symétrique,
en échangeant les rôles de m et de n, ce qui réduit l’étude à l’intervalle [^, |] au lieu de
l’intervalle [ |, |].

E .2 L ’id e n tité de Heath-Brown

Essayons tout d’abord d’exposer l’intérêt pratique de cette identité.

Comme dans l’identité de Vaughan, on se ramène à un problème d’estimation de
sommes de type I et de type II, mais ici les intervalles de sommation ne sont pas les
mêmes:

• pour les sommes de type II, on doit savoir les majorer lorsque l’on a une variable
de sommation dans l’intervalle [ Kai, K ai],

• pour les sommes de type I, on doit savoir les majorer lorsque la variable de somma­
tion régulière est dans l’intervalle [K a3, K]

où K désigne la même chose que pour l’identité de Vaughan, et ai,a 2,<Z3 vérifient les
conditions «3 > 2ai, 2a3 + ai > 1, 3a 2 > 1.
Cette identité est apparue dans le lemme 3 de [15]:

L em m e E .2 Soient 3 < u < v < z < x et supposons que z — | € N, et que z > 4 it2,
x > 64z 2u, v 3 > 32a:. On suppose de plus que f(n) = 0 lorsque n < | ou n > x et que

|/(rc)| ^ fo ailleurs. Alors:

s = E^W/W
n
= S1 + E,1- S 2 - E ,2 - E 3 - E ,3
97
avec:
oo
E 1, S , 1, E 2, S ,2 < (lnx)max X ) d3(n)| 3 2 f {mn)I
m =l z< n <N
OO

E3,E '3 < / 0 + (lnx)8sup 3 2 ^ ( n)| 3 2 9 (n) f ( m n)\

m =l u<n<v

où le sup est pris sur toutes les fonctions arithmétiques g(n) telles que |<7(n)| < dz(n)

Dans ce lemme, S i , E ' i , E 2,E '2 peuvent être cataloguées comme sommes de type I,
tandis que E3, E^ seront de type II.
Pour une autre approche, on pourra se reporter à [14].

98
B ibliogr aphie

[1] A. Balog. On the fractional part of p6. Arch. Math., 40:434-440, 1983.

[2] A. Balog. On the distribution of p 6 mod 1. Acta Mathematica Hungarica, 35:179-199,

1985.

[3] A. Balog and J. Friedlander. A Hybrid of Theorems of Vinogradov and Piatetski-

Shapiro. to appear, 1990.

[4] E. Bombieri and H. Iwaniec. On the Order of £ ( | + î î ) . Annali Scuola [Link],

13(3):449-472, 1986.

[5] J.-M. Deshouillers. Propriétés additives et arithmétiques de suites à croissance po­

lynomiale. Thèse de Doctorat, Université de Paris VI, 1972.

[6] J.-M. Deshouillers. Problème de Waring avec exposants non entiers. Bulletin Société
mathématique de France, 101:285-295, 1973.

[7] J.-M. Deshouillers. Un problème binaire en théorie additive. Acta Arithmetica,

25:393-403, 1974.

[8] J.-M. Deshouillers. Nombres premiers de la forme [nc]. Comptes Rendus de

VAcadémie des Sciences de Paris Séries A-B, 282(3):A131-A133, 1976.

[9] E. Fouvry and H. Iwaniec. Exponential Sums with Monomials. Journal of Number
Theory, 33(3):311-333, Nov. 1989.

99
[10] S. Graham. An algorithm for computing optimal exponent pairs. J. London Math.
Soc., 33(2):203-218, Apr. 1986.

[11] S. Graham and [Link]. Van der corput’s Method of Exponential Sums, volume
126. Cambridge University Press, Lecture Note Series, 1991.

[12] G. H. Hardy and E. M. Wright. An Introduction to the Theory of Numbers. Oxford

Science Publications, 1938.

[13] G. Harman. Fractional and integral parts of px. Acta Arithmetical 58(2):141-152,

1991.

[14] D. R. Heath-Brown. Prime numbers in short intervals and a generalized Vaughan

identity. [Link]., 34(6):1365-1377, Dec. 1982.

[15] D. R. Heath-Brown. The Piatetski-Shapiro Prime Number Theorem. Journal of

Number Theory, 16:242-266, Apr. 1983.

[16] L. Hong-Quan and J. Rivat. On the Piatetski-Shapiro Prime Number Theorem.

preprint, 1990.

[17] M. Huxley and N. Watt. Exponential Sums and the Riemann zeta function. Procee­
dings London Math. Soc., 53(l):l-24, July 1988.

[18] H. Iwaniec. A new form of the error term in the linear sieve. Acta Arithmetical
37(l):307-320, 1980.

[19] G. Kolesnik. The distribution of primes in sequences of the form [nc]. Mat. Zametki,

2(2):117-128, 1972.

[20] G. Kolesnik. Primes of the form [nc]. Pacific J. Math., 118(2):437-447, 1985.

[21] D. Leitmann. Durchschnitte von Piatetski-Shapiro Folgen. Monatshefte fur Mathe-

matik, 94:33-44, 1982.

100
[22] D. Leitmann and D. Wolke. Primzahlen de Gestalt [/(n)]. Math. Z., 145:81-92, 1975.

[23] E. Phillips. The zeta-function of Riemann; Further developments of van der Corput’s
method. Quart. J. Math. Oxford, 4(l):209-225, 1933.

[24] I. Piatetski-Shapiro. On the distribution of prime numbers in sequences of the form

[f(n)j. Math. Sbomik, 33(l):559-566, 1933.

[25] G. Srinivasan. On the number of Abelian groups of a given order. Acta Arithmetical
23:195-205, 1973.

[26] G. Tenenbaum. Introduction à la théorie analytique et probabiliste des nombres.

Institut Elie Cartan, Université de Nancy I, 1990.

[27] E. C. Titchmarsh. The Theory of Functions. Oxford University Press, 1932.

[28] E. C. Titchmarsh. The Theory of the Riemann Zeta-function, revised by D.R. Heath-
Brown. Oxford Science Publications, second edition, 1986.

[29] J. van der Corput. Zahlentheoretische Abschâzungen. M.A., 84:53-79, 1921.

[30] J. van der Corput. Verschärfung der Abschäzung beim Teilerproblem. M.A., 87:39-
65, 1922.

[31] R. Vaughan. The Hardy-Littlewood Method. Cambridge University Press, 1981.

[32] I. Vinogradov. Representation of an odd number as the sum of three primes. Dokl.
Akad. Nauk SSSR, 15:291-294, 1937.

[33] I. Vinogradov. Selected Works. Springer Verlag, 1985.

[34] E. Whittaker and G. Watson. A course of modem analysis. Cambridge University

Press, 1962.

101