Mémoire de première année de

Magistère de mathématiques

De l’analyse complexe à la répartition des

nombres premiers
réalisé par Emilie Kaufmann
sous la direction de Henri Carayol

Strasbourg, le 17 septembre 2008

Table des matières

Introduction 4

Notations 5

I Fonctions arithmétiques et séries de Dirichlet 7

1.1 Définition et domaine de convergence . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.1.1 Abscisse de convergence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.1.2 Prolongements des séries de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . 10
1.1.3 Produit de convolution de deux séries de Dirichlet . . . . . . . . . . . . . . . . 11
1.2 Formule du produit Eulérien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3 Quelques exemples liés à la fonction ζ . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.4 La fonction de Von Mangoldt, Λ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.4.1 Dérivation d’une série de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.4.2 Dérivée logarithmique et fonction de Von Mangoldt . . . . . . . . . . . . . . . 14

II Caractères de groupes abéliens finis et fonctions L 17

2.1 Théorie des caractères . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.1.1 Caractère d’un groupe abélien fini . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.1.2 Relations d’orthogonalité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.1.3 Caractères de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.1.4 Caractère primitif . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.2 Fonctions L de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.3 Dérivée logarithmique des fonctions L . . . . . . . . . . . . . . . . . . . . . . . . . . . 24

III Fonctions sommatoires 26

3.1 Fonctions sommatoires et fonctions sommatoires lissées . . . . . . . . . . . . . . . . . . 27
3.2 Exemples importants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28

2
 3.2.1 Fonctions π et ψ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.2.2 Théorèmes des nombres premiers et fonctions ψ . . . . . . . . . . . . . . . . . . 29
3.3 Transformée de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.3.1 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.3.2 Exemple important . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.3.3 Formule d’inversion de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.3.4 Formule de Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.3.5 Etude des fonctions θ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.4 Transformée de Mellin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.4.1 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.4.2 Etude de l’exemple de Γ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.4.3 Formule d’inversion de Mellin . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.5 Formule intégrale évaluant une fonction sommatoire lissée . . . . . . . . . . . . . . . . 40
3.5.1 Formule intégrale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.5.2 Application à des fonctions connues . . . . . . . . . . . . . . . . . . . . . . . . 41
3.6 Technique de déplacement du contour d’intégration . . . . . . . . . . . . . . . . . . . . 43

IV Prolongement analytique des fonctions L sur Re(s) > 0 et théorème de la

progression arithmétique 46
4.1 Prolongement sur Re(s) > 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
4.2 Non annulation des fonctions L en 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.3 Théorème de la progression arithmétique . . . . . . . . . . . . . . . . . . . . . . . . . . 51

V Prolongement des fonctions L sur C 55

5.1 Le cas de la fonction ζ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
5.1.1 Equation fonctionnelle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
5.1.2 Prolongement de ζ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
5.2 Equation fonctionnelle plus générale et singularités des fonctions L . . . . . . . . . . . 58
5.2.1 Equation fonctionnelle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
5.2.2 Conséquences sur les propriétés des fonctions L . . . . . . . . . . . . . . . . . . 63

VI Zéros des fonctions L 67

6.1 Zéros de fonctions holomorphes d’ordre 1 . . . . . . . . . . . . . . . . . . . . . . . . . 68
6.1.1 Fonction d’ordre fini . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
6.1.2 Formule de Jensen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70

3
 6.1.3 Application aux fonctions d’ordre 1 . . . . . . . . . . . . . . . . . . . . . . . . . 72
6.2 Zéros triviaux des fonctions L . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
6.3 Zéros non triviaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75

VII Théorèmes des nombres premiers 85

7.1 Le théorème des nombres premiers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
7.1.1 Non annulation de ζ sur σ = 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
7.1.2 Démonstration du théorème des nombres premiers . . . . . . . . . . . . . . . . 88
7.1.3 Equivalence avec la non-annulation de ζ . . . . . . . . . . . . . . . . . . . . . . 89
7.1.4 Théorème des nombres premiers avec un terme d’erreur . . . . . . . . . . . . . 90
7.2 Le théorème de nombres premiers en progression arithmétique . . . . . . . . . . . . . . 101
7.2.1 Résultats sur des sommes lisses . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
7.2.2 Démonstration du théorème . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106

VIII Hypothèse de Riemann et amélioration du terme d’erreur pour le théorème

des nombres premiers 109
8.1 Retour sur les termes d’erreur des théorèmes précédents . . . . . . . . . . . . . . . . . 110
8.2 Hypothèse de Riemann et théorème des nombres premiers . . . . . . . . . . . . . . . . 110
8.3 Hypothèse de Riemann généralisée . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112

Conclusion 112

Remerciements 114

4
 Le but de ce mémoire est de présenter quelques résultats importants de théorie analytique des
nombres. Il s’agit d’utiliser des outils d’analyse complexe (estimation de sommes à l’aide d’intégrales
sur des contours bien choisis, théorème des résidus, résultats sur les zéros fonctions des holomorphes
d’ordre fini...) et d’arithmétique (nombre premiers, caractères de Dirichlet et fonctions L...) pour mon-
trer des résultats sur la répartition des nombres premiers.

Un des objectfis de ce mémoire est la démonstration du théorème des nombres premiers : en notant
x
π(x) le nombre de nombres premiers inférieurs ou égaux à x il s’agit de montrer que π(x) ∼ lnx lorsque
x tend vers l’infini. Ce théorème a été démontré simultanément par Hadamard et de la Vallée Poussin
en 1896 en se servant de l’analyse complexe, avec notamment la fonction ζ et sa non-annulation au
voisinage de la droite Re(s) = 1. Dans ce mémoire, on trouvera une démonstration de ce type du
théorème des nombres premiers. Mais on montrera des résultats plus généraux sur la répartition des
nombres premiers congrus à a modulo q avec le théorème de la progression arithmétique et le théorème
des nombres premiers en progression arithmétique. Le théorème des nombres premiers est en fait un
corollaire de ce dernier résultat, mais il sera démontré séparément, de manière un peu différente. Nous
verrons enfin le lien entre le théorème des nombres premiers et la célèbre conjecture de Riemann

Le lien que nous ferons entre l’arithmétique et l’analyse complexe passe tout d’abord par les séries
de Dirichlet, auxquelles nous allons nous intéresser dans la première partie. La somme d’une série as-
sociée à une fonction arithmétique donnée peut en effet être vue comme une fonction complexe dont on
peut étudier les propriétés. La fonction ζ est l’exemple le plus simple d’une série de Dirichlet, et nous
nous intéresserons aussi à la fonction de Von Mangoldt qui intervient dans la dérivée logarithmique de
ζ. Si le théorème des nombres premiers a un lien avec la seule fonction ζ, pour étudier la répartition des
nombres premiers congrus à a modulo q, il faut s’intéresser aux fonctions L de Dirichlet, ce que nous
ferrons dans la seconde partie. Nous verrons en effet comment transformer des sommes ne prenant en
compte que des termes congrus à a modulo q en faisant intervenir des caractères de Dirichlet.

Nous étudierons ensuite les propriétés des fonctions sommatoires, qui apparaissent intuitivement
lorsqu’on étudie des fonctions du type π(x), qui peuvent se voir comme des sommes de fonctions
arithmétiques. Certaines fonctions sommatoires, ψ(x) ou ψ(x; q, a) sont très importantes car l’étude
de leur comportement asymptotique suffit à montrer les théorèmes des nombres premiers. Nous intro-
duirons également les fonctions sommatoires lissées, que nous utiliserons pour démontrer le théorème
des nombres premiers en progression arithmétique et à la fin de la 3ème partie nous obtiendrons une
formule intégrale exprimant une fonction sommatoire lissée comme une tranformée de Mellin inverse.
En l’appliquant aux fonctions ψ(x) et ψ(x; q, a), on obtient des formules intégrales faisant intervenir
0 (χ,s) 0 (s)
les fonctions − LL(χ,s) et − ζζ(s) pour le théorème des nombres premiers.

Comme la dérivée logarithmique des fonctions L intervient, nous devrons prolonger ces fonctions de
manière méromorphe sur C (ce que nous ferons dans la cinquième partie) mais aussi étudier leurs zéros
(sixième partie). Nous verrons qu’il existe une autre façon de prolonger ces fonctions, sur Re(s) > 0,
que nous mettrons en oeuvre dans la cinquième partie. Pour donner une première application à ce pro-
longement, nous démontrerons également dans cette partie le théorème de la progression arithmétique :
il existe une infinité de nombres premiers congrus à a modulo q.

La septième partie est consacrée aux démonstrations des deux théorèmes des nombres premiers, qui
se basent surtout sur la transformation des formules intégrales précédemment obtenues. Enfin, nous
étudierons dans la dernière partie plusieurs formulations équivalentes de la conjecture de Riemann et
montrerons en particulier en quoi elle donne un bon terme d’erreur dans le théorème des nombres
premiers.

5
 Notations

Dans toute la suite on désignera par s une variable complexe et on écrira s = σ + it, où σ est la
partie réelle de s et t sa partie imaginaire.

Si m et n sont deux entiers, (n, m) désigne leur pgcd.

On notera P l’ensemble des nombres premiers, et p désignera un entier premier.

Si x est un réel, [x] désigne la partie entière de x, soit le plus grand entier inférieur ou égal à x.

On rappelle la définition du symbole de Landau O. Soit f (s) une fonction à valeurs dans C et g(s)
une fonction à valeurs dans R.

f (s) = O (g(s))

dans une région R de C si il existe une constante A telle que pour tout s dans la région R on ait :

|f (s)| ≤ A g(s)

A est appelée constante implicite (relative au O) : lorsque la fonction f dépend de plusieurs

paramètres, on peut être amené à préciser de quels paramètres cette constante dépend. La constante
est ici uniforme sur tout la région R : ce sera toujours le cas lorsqu’on donnera aucune précision
supplémentaire.
Lorsqu’on parle de O au voisinage d’un certain point, cela signifie qu’il existe un voisinage du point
considéré sur lequel on a une majoration de ce type (la constante A dépend alors du voisinage).

On utilisera la notation log(x) pour désigner la détermination principale du logarithme sur C, qui
coı̈ncide avec le logarithme népérien sur R. On pourra donc énoncer indifféremment le théorème des
nombres premiers des deux manières suivantes :

x x
π(x) ∼ ou π(x) ∼
log(x) ln(x)

6
 Première partie

Fonctions arithmétiques et séries de

Dirichlet

7
1.1 Définition et domaine de convergence

Définition 1.1.1 (Fonction arithmétique) Une fonction arithmétique est une application
f : N∗ −→ C : c’est une suite de nombres complexes.

Une fonction arithmétique est dite multiplicative si

∀(m, n) ∈ N2 | (m, n) = 1, f (mn) = f (m)f (n)

Une fonction arithmétique est dite totalement multiplicative si

∀(m, n) ∈ N2 , f (mn) = f (m)f (n)

Définition 1.1.2 (Série de Dirichlet associée à une fonction arithmétique) La série de Diri-
chlet associée à la fonction arithmétique f est définie en s par :

X
Df (s) = f (n)n−s
n≥1

On note parfois an au lieu de f (n), puisque cela correspond à une suite de nombres complexes.
Cette définition est
P celle donnée à l’origine par Dirichlet, mais on peut généraliser ce concept à
une série de la forme n≥1 f (n)e −λ n s avec λn nombre complexe dont la partie réelle tend vers l’infini
lorsque n → ∞. Le cas précédent correspond alors à λn = ln(n). Dans la suite, on ne s’intéressera
qu’aux séries de Dirichlet définies dans 1.1.2.
Une fonction arithmétique telle que la série de Dirichlet associée converge dans un domaine du
plan complexe est dite à croissance modérée.

1.1.1 Abscisse de convergence

On s’intéresse maintenant aux parties du plan complexe sur lesquelles une série de Dirichlet
converge.
Si f (n) = O nβ , alors f (n)n−s = O nβ−σ et la série de Dirichlet Df (s) converge absolument

dans la région σ > β + 1.

On note σconv = inf {Re(s) | Df (s) < ∞}, abscisse de convergence d’une série de Dirichlet. On
peut également définir de la même façon σabs , abscisse de convergence absolue d’une série de Dirichlet.

P∞ −s converge pour s = s alors elle converge uni-

Théorème 1.1.1 Si la série g(s) = n=1 an n 0
formément sur tout domaine de la forme Re(s − s0 ) ≥ 0, |arg(s − s0 )| ≤ α avec α < π2 .

Démonstration
La démonstration repose sur le résultat suivant

|z|  −αRe(z) 
e−αz − e−βz ≤ e − e−βRe(z)
Re(z)

si 0 < α < β

8
 En effet,

Z β
−αz −βz
e −e = z e−tz dt
α
β
|z|  −αRe(z)
Z 
−αz −βz
e −e ≤ |z| e−tRe(z) dt = e − e−βRe(z)
α Re(z)

Nous allons maintenant montrer la convergence uniforme de la série de Dirichlet sur la zone
considérée en utilisant le critère de Cauchy uniforme. Soit  > 0
Comme la série ∞ −s0 converge, il existe N tel que si n, n0 ≥ N alors
P
n=1 an n

n 0
X
ak k −s0 ≤ 
k=n

Soit n, n0 ≥ N .
Pn0 −s0
Pn0 −s .
Notons An,n0 = k=n−1 ak k et Sn,n0 (s) = k=n ak k

n 0 n 0
X X
−s0 −(s−s0 )
Sn,n0 (s) = ak k k = (An,k − An,k−1 ) k −(s−s0 )
k=n k=n
0 −1
nX  
= An,k k −(s−s0 ) − (k + 1)−(s−s0 ) + An,n0 n0−(s−s0 )
k=n
0 −1
nX  
= An,k e−(s−s0 )ln(k) − e(s−s0 )ln(k+1) + An,n0 n0−(s−s0 )
k=n

Et en notant x la partie réelle de s − s0

0 −1
nX
Sn,n0 (s) ≤ |An,k | e−(s−s0 )ln(k) − e(s−s0 )ln(k+1) + An,n0 n0−x
k=n
0 −1
nX
|s − s0 |  −xln(k) 
≤  e − e−xln(k+1) + n0−x
x
k=n
n0 −1
!
|s − s0 | X −x
k − (k + 1)−x + n0−x


≤ 
x
k=n
 
|s − s0 | −x 0−x

0−x
≤  n −n +n
x
≤ (2k + 1)

|s−s0 | 1 1
en notant k = x = cos(arg(s−s0 )) ≤ cos(α) donc
 
2
Sn,n0 (s) ≤  +1
cos(α)

La série n≥1 an n−s vérifie le critère de Cauchy uniforme sur Re(s − s0 ) ≥ 0, |arg(s − s0 )| ≤ α,
P
elle converge donc uniformément dans cette région.

9
 

Corollaire 1.1.1 Si une série de Dirichlet converge pour s = s0 , elle converge uniformément sur tout
compact du demi-plan Re(s) > σ0 : en particulier elle converge sur le demi-plan de convergence
σ > σconv . Df (s) est donc une fonction holomorphe sur σ > σconv .

Démonstration
Ce corollaire est immédiat, puisque tout compact de ce demi-plan s’inclut dans une zone du type
celle donnée dans le théorème 1.1.1 avec α suffisamment proche de π2 . On a convergence uniforme sur
tout compact, la somme de la série est donc une fonction holomorphe.

1.1.2 Prolongements des séries de Dirichlet

On a vu qu’une série de Dirichlet définit une fonction holomorphe sur le demi-plan de convergence.
Nous allons voir que dans certains cas, bien qu’une série de Dirichlet ne converge que sur une zone du
type σ > σconv , on peut la prolonger analytiquement à gauche en une fonction holomorphe : ce sera
le cas par exemple pour les fonctions L de Dirichlet.

En revanche, dans le cas des séries de Dirichlet à coefficients réels positifs (ie. la fonction arithmétique
f prend ses valeurs dans R+ ), on ne peut pas prolonger Df en une fonction holomorphe à gauche de
l’abscisse de convergence. Pour justifier ceci, montrons le théorème suivant :

−λn s une série de Dirichlet à coefficients a réels positifs.

P
Théorème 1.1.2 Soit g(s) = n≥1 an e n
Supposons que f converge pour σ > ρ avec ρ ∈ R et que f soit prolongeable analytiquement en une
fonction holomorphe au voisinage de s = ρ. Alors il existe  > 0 tel que f converge pour σ > ρ − .

Démonstration
On peut se ramener par translation au cas ρ = 0.
Comme g est holomorphe au voisinge de zéro, il existe  tel que sur le disque fermé de centre  et
de rayon 2, g est somme de sa série de Taylor en .

∞
X 1
g(z) = (z − )p g (p) ()
p!
p=0

Mais on a aussi par dérivation terme à terme :

∞
X
g (p) (z) = an (−λn )p e−λn z
n=1

Et en prenant z =  on obtient :

10
 ∞ ∞
X 1 X
g(z) = (z − )p
an (−λn )p e−λn 
p!
p=0 n=1
∞ X∞
X 1
g(−) = (−2)p an (−λn )p e−λn 
p!
p=0 n=1
∞ X
∞
X 1
g(−) = an e−λn  (2λn )p
p!
p=0 n=1

On a une série double à termes positifs qui est sommable car en sommant d’abord par rapport à
p, la série converge.

∞
X ∞
X
g(−) = an e−λn  e2λn = an eλn  < +∞
n=1 n=1

La série de Dirichlet converge en s = − donc sur Re(s) > − d’après le théorème 1.1.1.

Ce théorème justifie l’affirmation précédente, car si un prolongement holomorphe était possible

au niveau de l’absisse de convergence, la série convergerait pour un σ < σconv , ce qui est exclu par
définition de l’abscisse de convergence.
Par contre, un prolongement méromorphe est possible pour les série à termes positifs, mais avec
dans ce cas un pôle en s = σconv : c’est le cas pour la fonction ζ, comme on le verra plus loin.

1.1.3 Produit de convolution de deux séries de Dirichlet

Soit f (resp. g) une fonction arithmétique à croissance modérée telle que la série de Dirichlet
associée converge pour σ > σf (resp. σg ). Soit σ > max(σf , σg ). On a

X
Df (s) × Dg (s) = Dh (s) = h(n)n−s
n≥1

où h est une fonction arithmétique appelée produit de convolution de Dirichlet de f et g.On
note h = f ∗ g et

X n X
h(n) = f (d)g = f (a)g(b)
d
d|n ab=n

La convolution de deux fonctions arithmétiques est clairement commutative, comme le montre la

dernière formule obtenue.

Inverse pour la convolution

On définit la fonction arithmétique δ par :


1 si n = 1
δ(n) =
0 sinon

11
 Dδ = 1, δ est donc l’élément neutre pour la convolution de deux fonctions arithmétiques.

Proposition 1.1.1 Il existe une inverse (f ∗ )−1 de f pour la convolution (ie f ∗ (f ∗ )−1 = δ) si et
seulement si f (1) 6= 0.

Démonstration
Supposons que (f ∗ )−1 existe. Notons h la convolution de f et (f ∗ )−1 . h(1) = 1 donc
f (1)(f ∗ )−1 (1) = 1 d’où f (1) 6= 0.
De plus, on peut alors définir (f ∗ )−1 de manière unique, par récurrence. En effet,

1
(f ∗ )−1 (1) =
f (1)

Ensuite on a

1 X n
(f ∗ )−1 (n) = − f (d)(f ∗ )−1
f (1) d
d|n
d>1

1.2 Formule du produit Eulérien

Proposition 1.2.1 (Formule du produit Eulérien) Si f est une fonction arithmétique multiplicative,
à croissance modérée, alors pour tout s tel que Df (s) converge absolument, on a :

 
∞
X Y X
Df (s) = f (n)n−s =  f (pk )p−ks  (1.1)
n=1 p∈P k≥0

Démonstration
Montrons d’abord la convergence absolue du produit ci-dessus. On note (pn )n∈N∗ la suite croissante
des nombres premiers.

pn X
Y pn X
Y X
−ks
k
f (p )p ≤ f (pk ) p−kσ ≤ |f (m)| m−σ
p=2 k≥0 p=2 k≥0 m≥1
m ayant des
f acteurs premiers
∈[|2;pn |]
X
≤ |f (m)| m−σ0 = A< ∞
m≥1

Montrons maintenant la convergence de ce produit vers la série de Dirichlet de f . Pour cela, notons
E(N ) l’ensemble des entiers dont tous les diviseurs premiers sont inférieurs à N .
 
Y X X
 f (pk )p−ks  = f (n)n−s
p≤N k≥0 n∈E(N )

12
 En effet, f est multiplicative donc f (pk )p−ks
Qf (q
r )q −rs = f (pk q r )(pk q r )−s = f (m)m−s où m ∈

E(N ). Réciproquement, tout n ∈ E(N ) s’écrit pi d’où f (n)n−s = f (pαi i )p−α

αi is
Q
i , qui est bien un
terme du produit de gauche.

X X X
f (n)n−s − f (n)n−s = f (n)n−s
n∈N n∈E(N ) n∈L(N )

où L(N ) = { entiers ayant un diviseur premier > N }.

 
Y X X
Df (s) −  f (pk )p−ks  ≤ |f (n)|n−s
p≤N k≥0 n∈L(N )
X
≤ |f (n)|n−s −→ 0 lorsque N → ∞
n≥N

d’où la limite souhaitée

Cette formule, due à Euler, permet de faire un lien important entre les séries de Dirichlet et les
nombres premiers : on passe en effet d’une somme à un produit sur l’ensemble des nombres premiers.

1.3 Quelques exemples liés à la fonction ζ

La fonction ζ de Riemann est définie sur σ > 1 par

∞
X 1
ζ(s) =
ns
n=1

Il s’agit en fait d’une série de Dirichlet, associée à la fonction arithmétique f : n → 1. Le produit

Eulérien nous donne alors le lien entre cette fonction et les nombres premiers :

YX Y 1
ζ(s) = p−ks =
1 − p−s
p∈P k≥0 p∈P

Cette formule est valable pour σ > 1, région sur laquelle ζ converge absolument.
Nous allons maintenant voir maintenant à titre d’exemple que les séries de Dirichlet des fonctions
arithmétiques connues ont un lien avec la fonction ζ.
Fonction de Möbius µ
On rapelle que µ(1) = 1 , µ(n) = (−1)k si n est produit de k nombres premiers distincts, µ(n) = 0
si n possède un facteur premier multiple. Pour σ > 1, la série de Dirichlet associée à µ converge
absolument et on peut utiliser la formule du produit Eulérien :

Y Y
Dµ (s) = (1 + µ(p)p−s ) = (1 − p−s ) = (ζ(s))−1
p∈P p∈P

13
 Donc si σ > 1 :

Dµ (s)ζ(s) = 1 (1.2)

Fonction nombre de diviseurs τ

P
On définit τ (n) = d|n 1, ie τ (n) est le cardinal de l’ensemble des diviseurs de n.

X YX YX
Dτ (s) = τ (n)n−s = τ (pk )p−ks = (1 + k)p−ks
n≥0 p∈P k≥0 p∈P k≥0

car pk possède k + 1 diviseurs : 1, p, ..., pk−1 , pk .

YX Y 1
Dτ (s) = (k)(p−s )k−1 = = ζ 2 (s)
(1 − p−s )2
p∈P k≥1 p∈P

donc si σ > 1,

Dτ (s) = ζ 2 (s)

Fonction d’Euler φ
P
φ(n) ≤ n donc Dφ converge si σ > 2 et la formule n = d|n φ(n) peut s’interpréter comme une
convolution : Id = φ ∗ 1. Et donc DId = Dφ · ζ.
Or DId (s) = n≥1 n−s+1 = ζ(s − 1). Donc, si σ > 2 :
P

ζ(s − 1)
Dφ (s) =
ζ(s)

1.4 La fonction de Von Mangoldt, Λ

1.4.1 Dérivation d’une série de Dirichlet

On suppose que Df (s) converge absolument pour σ ≥ σ0 . Alors on peut dériver terme à terme et
on a :

X
Df0 (s) = (−log(n))f (n)n−s
n≥1
0
(Df ) = D−f log

Démonstration
|−log(n)f (n)n−s | ≤ log(n)|f (n)|n−σ0 , série convergente : on peut donc dériver terme à terme.

1.4.2 Dérivée logarithmique et fonction de Von Mangoldt

Si f est à croissance modérée et telle que f (1) 6= 0, sur la zone de convergence absolue on peut
définir (Df )0 et Df ∗ −1 . On définit alors la dérivée logarithmique d’une série de Dirichlet comme un
produit de convolution :

14
 (Df )0 (s)
− = −(Df )0 (s)Df ∗ −1 (s)
Df (s)

Définition 1.4.1 (Fonction de Von Mangoldt) La fonction de Von Mangoldt, Λ est définie par
rapport à la dérivée logarithmique de la fonction ζ, qui peut être considérée comme une série de
Dirichlet :

ζ 0 (s) X
− = DΛ (s) = Λ(n)n−s
ζ(s)
n≥1

0
D’après (1.2), la formule − ζζ(s)
(s)
= DΛ (s) est équivalente à

−ζ 0 (s)Dµ (s) = DΛ (s)

Λ se présente donc comme le produit de convolution de log(n), fonction arithmétique correspondant

à l’opposé de ζ 0 et de µ. Λ = log ∗ µ = µ ∗ log d’où

X n X
Λ(n) = µ(d)log( ) = µ(d)(log(n) − log(d))
d
d|n d|n
 
X X
= log(n)  µ(d) − µ(d)log(d)
d|n d|n

P
Or d|n µ(d) = 0 si n ≥ 1 donc

X
Λ(n) = − µ(d)log(d)
d|n

Λ(pα1 α2
1 p2 ) = −(µ(p1 )log(p1 )+µ(p2 )log(p2 )+µ(p1 p2 )log(p1 p2 )) car on supprime les diviseurs conte-
nant un nombre premier à une puissance supérieure à 1 (µ est nul pour de tels nombres). Alors
Λ(pα1 α2
1 p2 ) = −(log(p1 ) + log(p2 ) − log(p1 p2 )) = 0. De manière générale, si n possède au moins deux
facteurs premiers distincts, on voit que Λ(n) = 0.
A l’aide de la formule du produit Eulérien, calculons maintenant Λ(pk ).

ζ 0 (s) YX Y
− = log(pk )p−ks (1 − p−s )
ζ(s)
p∈P k≥0 p∈P
Y X Y
= log(p)p−s kp−ks (1 − p−s )
p∈P k≥0 p∈P
Y log(p)p−s
=
1 − p−s
p∈P
YX
= log(p)p−ks
p∈P k≥1

Donc Λ(pk ) = log(p) par identification avec la formule du produit.

15
 Finalement :

log(p) si n = pk avec k ≥ 1

Λ(n) =
0 sinon

La fonction de Von Mangoldt est particulièrement importante car la fonction sommatoire associée,
que nous étudierons dans la partie suivante joue un rôle important en théorie analytique. Nous verrons
notamment que pour démontrer le théorème des nombres premiers, il suffit d’étudier le comportement
asymptotique de cette fonction sommatoire.

16
 Deuxième partie

Caractères de groupes abéliens finis et

fonctions L

17
2.1 Théorie des caractères

2.1.1 Caractère d’un groupe abélien fini

Définition 2.1.1 Soit G un groupe abélien fini de cardinal n.

Un caractère de G est un morphisme χ : G −→ C∗ de G dans le groupe multiplicatif C∗ .

Propriétés
– Comme G est de cardinal n, pour tout x, xn = e d’où χ(x)n = 1 : χ(x) est donc une racine de
l’unité, d’où |χ(x)| = 1

– Pour un groupe cyclique, un caractère est déterminé de manière unique par l’image d’une
générateur s (qui est forcément une racine n-ième). Les caractères sont alors les χω : sa 7−→ ω a
où ω ∈ Wn , ensemble des racines n-ièmes de l’unité

– L’ensemble des caractères forme un groupe pour la multiplication des applications, appelé
groupe dual et noté Ĝ. L’élément neutre est le caractère trivial χ0 tel que ∀x ∈ G, χ0 (x) = 1
(il sera parfois aussi noté 1) et l’inverse d’un caractère χ est le caractère conjugué χ̄ tel que
χ̄(x) = χ(x). En effet,

χ(x)χ̄(x) = χ(x)χ(x) = |χ(x)|2 = 1

Proposition 2.1.1 (Prolongement d’un caractère d’un sous-groupe) H un sous-groupe de G

Tout caractère de H peut-être prolongé en un caractère de G.

Démonstration
La démonstration se fait par récurrence sur [G : H], indice de H dans G.
– Si [G : H] = 1, G = H et le « prolongement » est évident

– Supposons la proposition vraie pour un indice ≤ k.

Soit H d’indice (k + 1) et χ un caractère de H.
Soit x ∈/ H. G/H est fini donc il existe r tel que xr = 1 dans G/H ie xr ∈ H : on prend r le
plus petit entier vérifiant cette condition (r > 1) et on se donne ω ∈ C tel que χ(xr ) = ω r .
Soit H 0 le sous-groupe de G engendré par H et x. Tout élément h0 de H 0 s’écrit h0 = hxa , h ∈ H
et a ∈ Z . On définit un caractère sur H 0 par

χ0 (h0 ) = χ(h)ω a
H ( H 0 d’où [G : H 0 ] < [G : H]. On peut alors par hypothèse de récurrence prolonger χ0 en un
caractère χG de G.
χG coı̈ncide avec χ sur H donc on a bien prolongé χ en un caractère de G.

– La proposition est donc vraie quel que soit l’indice de H dans G

2.1.2 Relations d’orthogonalité

Les deux relations données par la proposition suivantes sont appelées relations d’orthogonalité sur
les caractères.

18
Proposition 2.1.2 
X Card(G) si χ = 1
χ(x) =
0 si χ 6= 1
x∈G


X Card(Ĝ) si x = 1
χ(x) =
0 si x 6= 1
χ∈Ĝ

Démonstration
Montrons d’abord la première relation
• Si χ = 1, la formule est évidente
• Si χ 6= 1, il existe x1 tel que χ(x1 ) 6= 1

X X X
χ(x1 ) χ(x) = χ(x1 x) = χ(x)
x∈G x∈G x∈G

car l’aplication x 7−→ x1 x est bijective

X
(χ(x1 ) − 1) χ(x) = 0
x∈G
X
χ(x) = 0
x∈G

Montrons la seconde relation

• Si x = 1 la formule est évidente
• Si x 6= 1, il existe un caractère χ1 tel que χ1 (x) 6= 1
En effet, H =< x >6= {1} est un sous-groupe de G d’ordre k > 1. Posons χ(x) = ω où ω est une
racine k-ième de 1 différente de 1. On définit ainsi un caractère χ sur le groupe cyclique H, que l’on peut
d’après la proposition 2.1.1 prolonger à un caractère χ1 sur G qui vérifie alors χ1 (x) = χ(x) = ω 6= 1.

X X X
χ1 (x) χ(x) = χ1 χ(x) = χ(x)
χ∈Ĝ χ∈Ĝ χ∈Ĝ

On a alors

X
(χ1 (x) − 1) χ(x) = 0
χ∈Ĝ
X
χ(x) = 0
χ∈Ĝ

Ces formules sont appelées « relations d’orthogonalité » car elles sont liées à un produit scalaire.
Soit V = {f : G −→ C}. C’est un C − ev de dimension Card(G) = n (une base est celle des
applications fi définies par fi (xj ) = δi,j où xj est un élément de G et 1 ≤ i ≤ n).

19
 On munit V du produit scalaire :

1 X
hf |gi = f (x)g(x)
|G|
x∈G

Proposition 2.1.3 Les caractères forment une base orthonormée de V pour le produit scalaire ci-
dessus.

Démonstration

1 X 1 X
hχ|χ0 i = χ(x)χ̄0 (x) = (χχ̄0 )(x)
|G| |G|
x∈G x∈G

D’après la première relation d’orthogonalité,

Si χχ̄0 = 1 (ie χ = χ0 ) alors x∈G (χχ̄0 )(x) = |G|
P

Si χχ̄0 6= 1 (ie χ 6= χ0 ) alors x∈G (χχ̄0 )(x) = 0

P

Donc

hχ|χ0 i = δχ,χ0

Montrons maintenant que cette famille libre orthogonale est aussi génératrice, en montrant que
{χ ∈ Ĝ}⊥ = {0}.
Soit f : G −→ C telle que pour tout χ ∈ Ĝ, hf | χi = 0 et soit y ∈ G

X
χ(y)hf |χi = 0
χ∈Ĝ
1 X X
χ(y) f (x)χ̄(x) = 0
|G|
χ∈Ĝ x∈G
1 X X
f (x) χ(y)χ̄(x) = 0
|G|
x∈G χ∈Ĝ

Or χ̄(x) = χ−1 (x) = χ(x−1 ) donc l’égalité devient :

1 X X
f (x) χ(yx−1 ) = 0
|G|
x∈G χ∈Ĝ

−1 = 0 sauf si yx−1 = 1 ie x = y, donc

P
Et χ∈Ĝ χ(yx )

1
f (y) × |G| = f (y) = 0
|G|

f (y) = 0 pour tout y donc f = 0

20
Corollaires

Comme V est de dimension n = Card(G) et que les caractères forment une base, on déduit que

Card(G) = Card(Ĝ)

On a aussi la formule de décomposition suivant les caractères. Pour tout f : G −→ C on a la

relation :

X
f (x) = < f |χ > χ(x)
χ∈Ĝ

2.1.3 Caractères de Dirichlet

Définition 2.1.2 Soit q un entier ≥ 1

χ, caractère de (Z/qZ)× - groupe multiplicatif des éléments inversibles de l’anneau Z/qZ - est
appelé caractère modulo q.
On le prolonge sur Z en son caractère de Dirichlet associé (modulo q) de la manière suivante :

0 si (n, q) 6= 1
χ(n) =
χ(n̄) si (n, q) = 1

n̄ désigne la classe de n dans (Z/qZ)

Les caractères de Dirichlet modulo q forment un groupe fini d’ordre φ(q) (car Card((Z/qZ)× ) =
φ(q), où φ désigne l’indicatrice d’Euler).
Le caractère trivial modulo q est noté q est défini par q (n) = 1 si (n, q) = 1 et q (n) = 0
sinon. Le caractère trivial modulo q sera parfois abusivement noté 1.
On peut parler aussi de parité d’un caractère de Dirichlet. En effet, on a (χ(−1))2 = 1 donc
χ(−1) = ±1. Un caractère est dit
– pair si χ(−1) = 1
– impair si χ(−1) = −1
On vérifie que pour tout n, n0 appartenant à Z on a les propriétés :
χ(nn0 ) = χ(n)χ(n0 )
χ(n + kq) = χ(n)

Les caractères de Dirichlet sont donc des fonctions arithmétiques totalement multiplicatives. On a
par ailleurs la relation suivante, qui est la traduction de la formule d’orthogonalité pour les caractères :

1 X 1 si (a, q) = 1 et a ≡ n[q]
χ(a)χ̄(n) = (2.1)
φ(q) 0 sinon
χ mod q

En effet,

X X
χ(a)χ̄(n) = χ̄(na−1 ) = φ(q) ssi na−1 ≡ 1[q]
χ mod q χ mod q

21
 Cette formule est très utile car elle permet de « détecter » la condition a ≡ n[q] : par exemple si
π(x; q, a) est le nombre de nombres premiers congrus à a modulo q inférieurs à x on pourra s’écrire

X 1 X
π(x; q, a) = χ(a)χ̄(p)
φ(q)
p≤x χ mod q

C’est pour cela qu’on étudie ici les caractères : ils vont intervenir dans les séries où on ne va
considérer que certaines nombres congrus à a modulo q.

2.1.4 Caractère primitif

χ un caractère de Dirichlet modulo q.

A partir de χ on peut construire un caractère χ1 modulo dq, d ≥ 2 de la façon suivante :

0 si (n, dq) 6= 1
χ1 (n) =
χ(n) si (n, dq) = 1 (⇒ (n, q) = 1)

χ1 est dit induit par χ

Définition 2.1.3 (Caractère primitif ) Un caractère de Dirichlet χ mod m est dit primitif s’il
n’est induit par aucun caractère mod m0 , où m0 est un diviseur propre de m.

Un caractère induit χ1 est égal au caracère primitif χ qui l’induit sauf aux points n tels que
(n, q) = 1 et (n, dq) 6= 1, où χ1 (x) = 0 mais χ(x) 6= 0
L’étude des caractères primitifs est très importante car tout caractère χ modulo q est induit par
un unique caractère primitif χ∗ (modulo q ∗ |q). On dit que q ∗ est le conducteur de χ (et du caractère
primitif χ∗ ).

2.2 Fonctions L de Dirichlet

Définition 2.2.1 Soit q ≥ 1, χ un caractère de Dirichlet modulo q. La fonction L de χ est la somme

de la série de Dirichlet associée à la fonction arithmétique χ :

X
L(χ, s) = Dχ (s) = χ(n)n−s
n≥1

La série convergent uniformément sur tout compact de σ > 1, L est holomorphe sur σ > 1. De
plus on peut appliquer la formule du produit Eulérien (1.1), puisque χ et multiplicative. On va même
utiliser le fait qu’elle est totalement multiplicative.
Pour σ > 1

X YX
χ(n)n−s = (χ(pk ))p−ks
n≥1 p∈P k≥0
YX
= (χ(p)p−s )k
p∈P k≥0
Y 1
=
1 − χ(p)p−s
p∈P

22
 On a donc la formule

Y 1
L(χ, s) = (2.2)
1 − χ(p)p−s
p∈P

pour σ > 1

Fonctions L et caractères primitifs

Proposition 2.2.1 Soit χ un caractère de Dirichlet modulo q induit par le caractère primitif χ∗
modulo q ∗ . On a

Y
L(χ, s) = L(χ∗ , s) 1 − χ∗ (p)p−s


(2.3)
p| qq∗

Démonstration
Soit s tel que σ > 1. On a d’après (2.2)

Y 1
L(χ, s) =
1 − χ(p)p−s
p∈P

Or χ(p) 6= χ∗ (p) ssi (p, q ∗ ) = 1 et (p, q) 6= 1 càd ssi p| qq∗ et (p, q ∗ ) = 1. Lorsque cette condition est
réalisée, χ(p) = 0 mais χ∗ (p) 6= 0. Ainsi,

Y 1 Y
1 − χ∗ (p)p−s


L(χ, s) = ∗ −s
1 − χ (p)p q
p∈P p| q∗

Et en réappliquant la formule (2.2),

Y
L(χ, s) = L(χ∗ , s) 1 − χ∗ (p)p−s

p| qq∗

Cette formule est a priori valable pour σ > 1, zone où on a pour l’instant défini les fonctions L,
mais les éventuels prolongements analytiques des fonctions L seront aussi égaux.
On peut appliquer le même raisonnement au caractère trivial :

Proposition 2.2.2 Soit q le caractère trivial modulo q

Y
1 − p−s


L(q , s) = ζ(s)
p|q

En effet, le caractère trivial modulo q est induit par le caractère trivial modulo 1, qui vaut 1 pour
tout n et dont la fonction L associée est la fonction ζ.

23
 Ces deux propositions montrent qu’on peut restreindre notre l’étude à celle des fonctions L associées
à des caractères primitifs. En particulier, pour avoir des informations sur les fonctions L des caractères
triviaux, il suffit d’étudier la fonction ζ.

2.3 Dérivée logarithmique des fonctions L

Comme dans la partie 1.3 où on faisait le lien entre ζ et d’autres séries de Dirichlet, on va ici chercher
un lien entre les fonctions L et des séries de Dirichlet de fonctions arithmétiques bien connues.
Fonction nombre de diviseurs τ
Pour σ > 1 :

Y ∞
YX
(L(χ, s))2 = (1 − χ(p)p−s )−2 = k(χ(p))k−1 p−s(k−1)
p∈P p∈P k=1
Y ∞
X ∞
YX
= (k + 1)(χ(p))k p−s(k) = τ (pk )(χ(p))k p−s(k)
p∈P k=0 p∈P k=0
YX ∞ X
= (τ χ)(pk )p−s(k) = τ (n)χ(n)n−s
p∈P k=0 n≥1

Ainsi,

X
(L(χ, s))2 = τ (n)χ(n)n−s
n≥1

Fonction De Möbius µ
Pour σ > 1 :

1 Y
= (1 − χ(p))
L(χ, s)
p∈P

X YX Y
µ(n)χ(n)n−s = µ(pk )χ(p)k p−sk = (1 − χ(p)p−s )
n≥1 p∈P k≥0 p∈P

car µ(pk ) = 0 si k ≥ 2 et µ(1) = 1, µ(p) = −1. On a donc

1 X
= µ(n)χ(n)n−s
L(χ, s)
n≥1

Dérivée logarithmique et fonction de Von Mangoldt Λ

On a d’abord pour σ > 1,

X
L0 (χ, s) = (−log(n))χ(n)n−s
n≥1

24
 L0 (χ, s) 1
− = −L0 (χ, s) ×
L(χ, s) L(χ, s)
 
X
log(n)χ(n)n−s  × µ(n)χ(n)n−s


= 
n≥1
 
X X n n
=  log(d)χ(d)µ χ  n−s
d d
n≥1 d|n
 
X X n
=  µ log(d) χ(n)n−s
d
n≥1 d|n
X
= Λ(n)χ(n)n−s
n≥1

On a effectué le produit de convolution des deux séries de Dirichlet −L0 (χ, s) et 1

L(χ,s) puis on s’est
rappelé que Λ(n) = d|n µ nd log(d). On a donc montré que :
P

L0 (χ, s) X
− = Λ(n)χ(n)n−s (2.4)
L(χ, s)
n≥1

pour σ > 1

25
 Troisième partie

Fonctions sommatoires

26
3.1 Fonctions sommatoires et fonctions sommatoires lissées

Définition 3.1.1 (Fonction sommatoire) Soit f une fonction arithmétique. La fonctions somma-
toire de f est la fonction Mf définie pour x ≥ 1 par

X
Mf (x) = f (n)
1≤n≤x

C’est le comportement asymptotique de certaines fonctions sommatoires que nous étudierons par
la suite. Comme on le verra, les propriétés de Mf (x) sont étroitement liées à celles de Df (s), la série
de Dirichlet associée.

Pour certaines séries de Dirichlet, on peut grâce à une transformation d’Abel, technique intervenant
souvent en théorie analytique, exprimer Df (s) en fonction de Mf (x) :

Proposition 3.1.1 Soit f une fonction arithmétique vérifiant f (n) = O (nα ) (α ≥ 0). On a alors

X
f (n) = O x1+α


Mf (x) =
1≤n≤x

Et la formule suivante :

X Z ∞
Df (s) = f (n)n−s = s Mf (x)x−s−1 dx
n≥1 1

pour σ > α + 1

Démonstration

X X
Mf (s) ≤ K nα ≤ K xα ≤ Kx1+α
1≤n≤x 1≤n≤x

ce qui justifie la première assertion. Pour la deuxième formule, on effectue une transformation
d’Abel en posant f (n) = Mf (n) − Mf (n − 1). On ne détaille pas ici, mais il y aura plus loin d’autres
exemples d’utilisation de cette même technique.

Par la suite on verra une formule intégrale qui permettra d’exprimer une fonction sommatoire
en fonction de la série de Dirichlet associée. Pour des raisons de régularité, il est parfois plus simple
d’évaluer le comportement asymptotique de fonctions sommatoires lissées.

Définition 3.1.2 (Fonction sommatoire lissée) Soit f une fonction arithmétique. On appelle fonc-
tion sommatoire lissée associée à f et à la fonction de Schwartz φ la série suivante :

X
Mf (φ) = f (n)φ(n)
n≥1

27
 On rappelle la définition d’une fonction de Schwartz :

Définition 3.1.3 (Fonction de Schwartz) Une fonction de Schwarz φ : R → C est une fonction
de classe C ∞ telle que

∀(n, m) ∈ N2 |xn f (m) (x)| −→ 0

|x|→∞

f est donc une fonction à décroissance plus rapide que tout polynôme à l’infini

Parmi les fonctions de Schwartz on retrouve bien sûr les fonctions à support compact. On va
maintenant présicer la notion de majorant lisse d’une fonction caractéristique, qui est une catégorie
de fonctions à support compact.

Définition 3.1.4 (Majorant lisse) Soit y > 0. Un majorant lisse de la fonction caractéristique de
[0; y], d’amplitude ∆ > 1 est une fonction φ : [0; +∞[→ R qui est C ∞ , à support compact dans [0; ∆y]
et telle que

0≤ φ ≤1
φ(x) = 1 si x ≤ y

3.2 Exemples importants

3.2.1 Fonctions π et ψ

On peut citer en exemple les fonctions sommatoires qui comptent le nombre de nombres premiers :

X
π(x) = 1
p≤x
X
π(x; q, a) = 1
p≤x
p≡a[q]

Mais ce sont les fonctions ψ que nous utiliserons par la suite pour démontrer les théorèmes des
nombres premiers. Il s’agit des fonctions sommatoires associées à la fonction de Von Mangoldt définie
précédemment.
On a d’abord la fonction sommatoire de Λ :

X
ψ(x) = Λ(n)
n≤x

On peut donner une application de la proposition 3.1.1 avec f (n) = Λ(n) ≤ log(n) = O (nα ) pour
tout α > 0. On obtient, pour σ > 1 :

∞
ζ 0 (s)
Z
ψ(x)
− =s dx (3.1)
ζ(s) 1 xs+1

28
 Pour s’intéresser à la répartition des nombres premiers congrus à a modulo q (a et q évidemment
premiers entre eux) on définit la fonction :

X
ψ(x; q, a) = Λ(n)
n≤x
n≡a[q]

La fonction ψ(x; q, a) est liée aux caractères de Dirichlet modulo q. En effet, on peut utiliser la
formule (2.1) pour introduire la condition p ≡ a mod q :

X
ψ(x; q, a) = Λ(n)g(n)
n≤x

où g(n) = 1 si la condition de congruence est remplie et 0 sinon. La formule (2.1) nous fournit un
candidat pour la fonction g(n) :
 
X 1 X
ψ(x; q, a) = Λ(n)  χ̄(a)χ(n)
φ(q)
n≤x χ mod q

Et en intervertissant les deux sommes :

 
1 X X
ψ(x; q, a) = χ̄(a)  Λ(n)χ(n) (3.2)
φ(q)
χ mod q n≤x

3.2.2 Théorèmes des nombres premiers et fonctions ψ

Nous allons maintenant voir en quoi ces deux fonctions jouent un rôle essentiel dans la démonstration
des théorèmes des nombres premiers, en montrant les propositions suivantes :

Proposition 3.2.1 Le théorème des nombres premiers, c’est-à-dire

x
π(x) ∼
ln(x)

lorsque x → ∞ est équivalent à

ψ(x) ∼ x
lorsque x → ∞

Proposition 3.2.2 Le théorème des nombres premiers en progression arithmétique, c’est-à-dire

1 x
π(x; q, a) ∼
φ(q) ln(x)

lorsque x → ∞ est équivalent à

x
ψ(x; q, a) ∼
φ(q)
lorsque x → ∞

29
 On peut noter que la proposition 2 implique la proposition 1 (prendre q = 2 et a = 1), nous allons
donc démontrer cette dernière proposition uniquement.
Démonstration
1 x x
• Montrons que π(x; q, a) ∼ φ(q) log(x) implique ψ(x; q, a) ∼ φ(q)

Comme Λ(n) = log(p) si n est une puissance du nombre premier p et 0 sinon, on a :

X X
ψ(x; q, a) = log(p) + log(p) = θ(x; q, a) + R(x; q, a)
p≤x pk ≤x
p≡a[q] k≥2
pk ≡a[q]

log(x) log(x)
Comme pk ≤ x et k ≥ 2, on a 2 ≤ k ≤ log(p) , d’où 2 ≤ k ≤ log(2) .

X
R(x; q, a) ≤ log(p)
√
p≤ x
log(x)
2≤k≤ log(2)

√ √
x(logx)2
On a donc R(x; q, a) ≤ log(2) soit R(x; q, a) = O( x(logx)2 ).
Notons N = E(x), et effectuons une transformation d’Abel dans le premier terme θ(x; q, a) :

X
θ(x; q, a) = log(n)(π(n; q, a) − π(n − 1; q, a))
1≤n≤N
X
= log(N )π(N ; q, a) + π(n; q, a)(log(n) − log(n + 1))
1≤n≤N −1
Z n+1
X 1
θ(x; q, a) = log(N )π(N ; q, a) − π(n; q, a) dt
n t
1≤n≤N −1
Z n+1
X π(t; q, a)
= log(N )π(N ; q, a) − dt
t
1≤n≤N −1 n

Ainsi :

Z N
π(t; q, a)
θ(x; q, a) = log(N )π(N ; q, a) − dt (3.3)
1 t

On a de plus :
Z x
π(t; q, a)
0 = π(x; q, a)(log(x) − log(N )) − dt (3.4)
N t

En effectuant (3.3)+(3.4) on obtient pour tout x :

Z x
π(t; q, a)
θ(x; q, a) = log(x)π(x; q, a) − dt
1 t

On a donc :

30
 Z x
ψ(x; q, a) π(x; q, a)log(x)φ(q) φ(q) π(t; q, a) R(x; q, a)φ(q)
x = + dt +
φ(q) x x 1 t x

1 x π(x;q,a)log(x)φ(q)
Comme π(x; q, a) ∼ φ(q) log(x) , x → 1 lorsque x → ∞.

√ R(x;q,a)φ(q)
Comme R(x; q, a) = O( x(logx)2 ), x → 0 lorsque x → ∞.

φ(q) Rx π(t;q,a)
Montrons qu’on a aussi x 1 t dt → 0 lorsque x → ∞.

Rx 1 x
Pour cela, montrons d’abord que 2 log(t) dt ∼ logx :

En faisant une intégration par parties :

Z x  x Z x Z x
1 t dt x 2 dt
dt = + 2
= − + 2
2 log(t) log(t) 2 2 (log(t)) log(x) log(2) 2 (log(t))

1 1
Rx dt
Rx dt
Mais (log(t))2
= o( log(t) ) et les intégrales divergent donc 2 (log(t))2 = o( 2 log(t) ).

D’où finalement l’équivalence voulue. On a par ailleurs

Z x Z x Z x
π(t; q, a) π(t; q, a) t
dt ∼ dt ∼ dt
1 t 2 t 2 φ(q)log(t)t

car les intégrales divergent. Donc :

Z x Z x
φ(q) π(t; q, a) φ(q) 1 1
dt ∼ dt
x 1 t x φ(q) 2 log(t)

Ainsi :
Z x
φ(q) π(t; q, a) 1 x
dt ∼ →0
x 1 t x log(x)

ψ(x;q,a) x
Et finalement x → 1, soit ψ(x; q, a) ∼ φ(q) .
φ(q)

x 1 x
• Montrons que ψ(x; q, a) ∼ φ(q) implique π(x; q, a) ∼ φ(q) log(x)

X X log(p) X Λ(n) X log(p)

π(x; q, a) = 1= = −
log(p) log(n) log(pk )
p≤x p≤x k 2≤n≤x p ≤x
p≡a[q] p≡a[q] k≥2
pk ≡a[q]

√ √
xlog 2 (x)
Le deuxième terme de cette somme, R(x; q, a) ≤ 2log(2) donc R(x; q, a) = O( xlog 2 (x)).

On effectue une transformation d’Abel pour le premier terme, appelé θ(x; q, a), en écrivant Λ(n) =
ψ(n) − ψ(n − 1) et on obtient finalement :

31
 Z x
ψ(x; q, a) ψ(t; q, a)
θ(x; q, a) = + dt
log(x) 2 t(log(t))2

Ainsi :

Z x
π(x; q, a) log(x)φ(q) ψ(x; q, a)φ(q) φ(q) log(x) ψ(t; q, a) R(x; q, a)log(x)φ(q)
= + 2
dt +
x x x 2 t(log(t)) x

x ψ(x;q,a)φ(q)
Comme ψ(x; q, a) ∼ φ(q) , x → 1.

√ R(x;q,a) log(x)φ(q)
Comme R(x; q, a) = O( x log2 (x)), x → 0.

Et on a également :
Z x Z x
φ(q)log(x) ψ(t; q, a) log(x) 1
2
dt ∼ dt
x 2 t(log(t)) x 2 (log(t))2
Rx 1
Et comme précédement, on montre en intégrant par parties 2 (log(t))2 dt que
Z x
1 x
2
dt ∼
2 (log(t)) (log(x))2

D’où finalement
Z x
φ(q)log(x) ψ(t; q, a) 1
2
dt ∼ →0
x 2 t(log(t)) log(x)

π(x;q,a)log(x)φ(q) 1 x
Et x → 1, soit π(x; q, a) ∼ φ(q) log(x) .

Dans la suite on va chercher à évaluer ces fonctions sommatoires, à l’aide d’une formule intégrale
faisant intervenir des transformées de Mellin : pour montrer la formule d’inversion de Mellin qui va
nous servir, il faut d’abord faire quelques rappels concernant la transformation de Fourrier et plus
particulièrement l’inversion de Fourier.

32
3.3 Transformée de Fourier

3.3.1 Définition

Définition 3.3.1 Soit f ∈ L1C (R) On définit la transformée de Fourier de la fonction f :

Z
T f (s) = f˜(s) = e−2iπsx f (x)dx
R

On définit aussi la transformée de Fourier conjuguée de f :

Z
T̄ f (s) = e−2iπsx f (x)dx
R

3.3.2 Exemple important

2
Nous allons étudier la transformée de Fourier des foction fa (x) = e−ax où a > 0.

Proposition 3.3.1 La transformée de Fourier de la fonction fa est la fonction

r
π − π 2 x2
f˜a (x) = e a
a

Démonstration
Soit s réel. f˜a (s) = −ax2 e−2iπsx dx
R
Re On peut dériver la transformée de Fourier par rapport à s
sous l’intégrale :

Z Z
0 −ax2 −2iπsx iπ 2
˜
fa (s) = −2iπ xe e dx = (−2ax)e−ax e−2iπsx dx
R a R
2π 2 s ˜
Z
iπ 2
= − e−ax (−2iπs)e−2iπsx dx = − fa (s)
a R a

2π 2 s
f˜a est donc solution de l’équation différentielle y 0 + a y = 0.
π 2 2
Il existe donc A telle que f˜a (s) = Ae− a s
. Et

Z r
−ax2 π
A = f˜a (0) = e dx =
R a
r
π − π 2 x2
f˜a (x) = e a
a

2
Corollaire 3.3.1 L’application x 7−→ e−πx est invariante par transformation de Fourier

Cette application correspond en effet à fa avec a = π

33
3.3.3 Formule d’inversion de Fourier

Théorème 3.3.1 Si f et f˜ ∈ L1 (R) alors T̄ f˜(t) = f (t). C’est-à-dire :

Z
f (s) = e2iπsx f˜(x)dx
R

3.3.4 Formule de Poisson

Proposition 3.3.2 (Formule de sommation de Poisson) Soit f : R −→ C une fonction de Schwartz.

Soit f˜ sa transformée de Fourier.
Pour tout x ∈ R on a :

X X
f (x + n) = f˜(h)e2iπ(hx)
n∈Z h∈Z

En particulier, pour x = 0 :

X X
f (n) = f˜(h) (3.5)
n∈Z h∈Z

3.3.5 Etude des fonctions θ

Nous allons ici appliquer les formules précédentes (inversion de Fourier, formule de sommation de
Poisson) pour étudier certaines fonctions qui nous servirons plus tard, notamment pour le prolonge-
ment des fonctions L.

Fonction θ

Soit θ la fonction définie pour y > 0 par

2y
X
θ(y) = e−πn
n∈Z

Proposition 3.3.3 On a pour tout y > 0

 
1 1
θ(y) = √ θ (3.6)
y y

Démonstration
2
2 − πx
Appliquons la formule (3.5) à f (x) = e−πx y dont la transformée de Fourier est f˜(x) = √1 e
y
y

(c’est une fonction de type fa avec a = πy). On a :

 
X
−πn2 y 1 X − πny 2 1 1
θ(y) = e =√ e =√ θ
y y y
n∈Z n∈Z

34
Fonction θ(y; q, a)

On introduit dans cette fonction θ la condition de congruence modulo q.

2y
X
θ(y; q, a) = e−πn
n∈Z
n≡a[q]

Proposition 3.3.4 Pour tout y > 0 on a :

 
1 X 2iπax 1
θ(y; q, a) = √ e q θ ; q, x (3.7)
q y q2y
x mod q

Démonstration

2y
X
θ(y; q, a) = e−π(a+mq)
m∈Z

2
Calculons la transformée de Fourier de f (x) = e−π(a+xq) y .

Z Z
2 1 2iπax 2 −2iπu( xq )
f˜(x) = e−π(a+uq) y e−2iπux du = e q e−πu y e du
R q R
1 2iπax − π2 x2
 
1 2iπax ˜ s
= e q fπy = √ e q e yq2
q q q y

En appliquant la formule de Poisson on trouve alors :

2
X
−π(a+mq)2 y 1 X 2iπam − π 2 m2
e = √ e q e yq
q y
m∈Z m∈Z

2iπam
e q ne dépend que de la classe de m modulo q : on peut donc transformer cette somme en une
somme sur les éléments x de (Z/qZ) :
 
1 X 2iπax 1
θ(y; q, a) = √ e q θ ; q, x
q y q2y
x mod q

Fonction θ(χ, y)

Soit q ≥ 1 et χ un caractère de Dirichlet modulo q. On définit la fonction

2y
X
θ(χ, y) = χ(n)e−πn
n∈Z

On peut transformer cette somme selon la parité du caractère χ

– Si χ est pair,
2y
X
θ(χ, y) = 2 χ(n)e−πn (3.8)
n∈N∗

35
 – Si χ est impair, θ(χ, y) = 0

Proposition 3.3.5 Si χ est primitif on a pour y > 0 :

 
τ (χ) 1
θ(χ, y) = √ θ χ̄, 2 (3.9)
q y q y

avec τ (χ) la somme de Gauss de χ définie par :

X 2iπx
τ (χ) = χ(x)e q

x mod q

Démonstration
On commence par scinder la somme suivant les classes modulo q :

X
θ(χ, y) = χ(a)θ(y; q, a)
a mod q

On utilise alors la formule (3.7) pour chaque terme :

 
1 X X 2iπax 1
θ(χ, y) = √ χ(a) e q θ ; q, x
q y q2y
a mod q x mod q
  X
1 X 1 2iπax
= √ θ 2
; q, x χ(a)e q
q y q y
x mod q a mod q
 
1 X 1 X 2iπax
= √ θ 2
; q, x χ̄(x) χ(ax)e q (∗)
q y q y
x mod q a mod q
 
1 X 1
= √ θ ; q, x χ̄(x)τ (χ)
q y q2y
x mod q
 
τ (χ) X 1
= √ χ̄(x)θ ; q, x
q y q2y
x mod q
 
τ (χ) 1
= √ θ χ̄, 2
q y q y

(*) : si x est premier avec a l’application a 7−→ ax est bijective et on obtient τ (χ) par changement
de variable, en revanche si ce n’est pas le cas, on utilise le fait que χ est primitif pour montrer que
τ (χ) = 0, de la même manière qu’on le fera plus loin pour démontrer le lemme 5.2.1

3.4 Transformée de Mellin

3.4.1 Définition

Définition 3.4.1 Soit f une fonction de Schwartz. On définit la transformée de Mellin de f :

Z ∞
fˆ(s) = f (x)xs−1 f x
0

36
 1
En l’infini, on a f (x)xs−1 = o xn+1−s


pour tout n donc la fonction est intégrable. f est continue
en 0 et xs−1 est intégrable en 0 ssi σ > 0.
fˆ est donc définie pour σ > 0
Soit a ∈]0; 1[ et b ∈]1; +∞[. Si Ré(s) ∈]a; b[, f (x)xs−1 est holomorphe sur cette bande et on a :
– si x ∈]0; 1], |f (x)xs−1 | ≤ |f (x)|xa−1 , fonction intégrable sur ]0; 1]

– si x ∈ [1; +∞[, |f (x)xs−1 | ≤ |f (x)|xb−1 , fonction intégrable sur [1; +∞[

fˆ est donc holomorphe sur la bande a ≤ σ ≤ b pour tout a ∈]0; 1[ et b ∈]1; +∞[. Donc fˆ est
holomorphe sur σ > 0.

Proposition 3.4.1 Soit f : [0; +∞[−→ C une fonction de Schwartz et fˆ sa transformée de Mellin.
Dans toute bande verticale A ≤ σ ≤ B avec 0 < A < B, on a pour tout k ≤ 1 :

lim sk fˆ(s) = 0
|t|→∞

Démonstration
Cette proposition se démontre par intégrations par parties successives. Montrons-la par exemple
pour k = 1

∞
f (x)xs ∞
Z   Z ∞
1
fˆ(s) = s−1
f (x)x dx = − f 0 (x)xs dx
0 s 0 σ + it 0
Z ∞
1 1 00
fˆ(s) = s
f (x)x dx
σ + it σ + 1 + it 0

On a donc lim |sfˆ(s)| = 0

|t|→∞

En faisant k + 1 intégration par parties, on montre la proposition pour k > 1

3.4.2 Etude de l’exemple de Γ

La fonction Γ est définie par

Z ∞
Γ(s) = e−x xs−1 dx
0

La fonction Γ va jouer un rôle important puisqu’elle intervient avec les fonction L dans une équation
fonctionnelle (voir partie 5). C’est en fait la transformée de Mellin de la fonction f (x) = e−x (qui est
bien une fonction de Schwartz). Elle est donc holomorphe sur σ > 0.
On montre grâce à une intégration par parties que pour tout s tel que σ > 0,

1
Γ(s) = Γ(s + 1) = g(s)
s
La fonction g est méromorphe sur σ > −1 avec un pôle simple en 0 (de résidu 1). Or g coı̈ncide
avec Γ sur σ > 0. On peut donc prolonger la fonction Γ de manière méromorphe sur σ > −1. En

37
itérant ce processus, on prolonge Γ en une fonction méromorphe sur C admettant des pôles simples
en les −k, k ∈ N.
On peut montrer la formule suivante où Γ intervient, appelée formule des compléments :

π
Γ(s)Γ(1 − s) =
sin(πs)
π
Supposons qu’il existe s0 tel que Γ(s0 ) = 0. Comme sin(πs 0)
6= 0, 1 − s0 est nécessairement un pôle
de Γ. Mais on a vu que les seuls pôles de Γ sont les −k, k ∈ N, donc s0 ∈ N∗ . Ceci est impossible car
Γ(n) = (n − 1)!. Cette formule nous permet donc de voir que Γ ne s’annule pas sur C.
Les formules suivantes détaillent le comportement asymptotique de Γ.

Formules de Stirling

Proposition 3.4.2 Soit σ réel, on a alors la formule de Stirling :

√  σ σ
Γ(σ) ∼ 2πσ (3.10)
e
σ→∞

Uniformément dans la région a ≤ σ ≤ b, |t| ≥ 1 on a la formule de Stirling généralisée :

  
1
σ− 12 −π|t| 1
|Γ(σ + it)| = (2π) |t|
2 e 1+O (3.11)
t

(la constante du O dépend de a et b)

On a aussi, uniformément pour |arg(s)| ≤ π −  la formule de Stirling dérivée :

Γ0
 
1
(s) = log|s| + O (3.12)
Γ s

(la constante du O dépend de )

Démonstration
Les formules (3.11) et (3.12) sont des conséquences du développement de Stirling (qui se démontre
par exemple à l’aide de la formule d’Euler - MacLaurin) :

p
X (−1)h−1 Bh 1  
1 1 1
log(Γ(z)) = zlog(z) − z − log(z) + log(2π) + + 2kz iπ + O
2 2 2h(2h − 1) z 2h−1 z 2p
h=1

Notons qu’on peut définir le logarithme de Γ car on a vu que Γ ne s’annule pas. Ce développement
fait intervenir les nombres de Bernoulli Bh . Pour obtenir (3.11) il faut prendre l’exponentielle des deux
membres et pour (3.12), il faut dériver.
On ne démontrera pas ici la formule de Stirling.

38
3.4.3 Formule d’inversion de Mellin

Posons s = σ + it avec σ > 0 fixé

Z ∞
dx
fˆ(s) = f (x)eslog(x)
x
Z0 ∞
dx
= f (x)eσlog(x) eitlog(x)
0 x

On effectue le changement de variable

u = log(x)
dx
du =
x

Z +∞
fˆ(s) = f (eu )eσu eiut du
−∞

u = −2πx
du = −2πdx

Z
fˆ(s) = 2π f (e−2πx )e−2πσx e−2iπtx dx
R

fˆ(σ + it) = f˜σ (t) se présente comme la transformée de Fourier de la fonction

gσ (x) = 2πf (e−2πx )e−2πσx

Utilisons la formule d’inversion de Fourier :

Z
gσ (t) = e2iπtx fˆ(σ + ix)dx
R

On en déduit donc en remplaçant gσ par son expression :

Z
−2πt −2πσt 1
f (e )e = e2iπtx fˆ(σ + ix)dx
2π R
Z
1
f (u)uσ = u−ix fˆ(σ + ix)dx
2π R

avec u = e−2πt

Z
1
f (u) = u−(σ+ix) fˆ(σ + ix)idx
2iπ R
Z
1
f (u) = fˆ(s)u−s ds
2iπ (σ)

39
 La notation (σ) indique que l’on intègre dans la plan complexe sur le contour constitué de la droite
verticale de partie réelle σ.
On vient de démontrer la formule d’inversion de Mellin :

Proposition 3.4.3 (Formule d’inversion de Mellin) Soit f : [0; +∞[→ C une fonction de Schwartz
et fˆ sa transformée de Mellin. Soit σ quelconque tel que l’intégrale définissant la transformée de Mellin
converge pour Re(s) = σ. Alors
Z
1
f (x) = fˆ(s)x−s ds (3.13)
2iπ (σ)

3.5 Formule intégrale évaluant une fonction sommatoire lissée

3.5.1 Formule intégrale

Proposition 3.5.1 Soit φ une fonction de Schwartz, f une fonction aithmétique à croissance modérée.
Soit c > 0 tel que la série de Dirichlet Df (s) converge absolument sur la droite Re(s) = c, avec c > 1.
Alors
Z
X 1
Mf (φ) = f (n)φ(n) = Df (s)φ̂(s)ds (3.14)
2iπ (c)
n≥1

Démonstration
D’après la formule (3.13) appliquée à la fonction de Schwartz φ au point n, on a :

Z
X 1
Mf (φ) = f (n) φ̂(s)n−s ds
2iπ (c)
n≥1
Z
1 X
Mf (φ) = φ̂(s)f (n)n−s ds
2iπ (c)
n≥1

On peut intervertir série et intégrale grâce à la convergence absolue de Df . En effet :

Z Z
−s −c
φ̂(s)f (n)n ds ≤ |f (n)|n |φ̂(s)|ds ≤ K|f (n)|n−c
(c) (c)

D’après la convergence absolue de la série de Dirichlet de f , |f (n)|n−c est le terme général d’une
série convergente. Ainsi :

∞ Z
X ∞
X
φ̂(s)f (n)n−s ds ≤ K |f (n)|n−c −→ 0
n=N (c) n=N

lorsque N → ∞
On a donc

40
 Z
1 X
Mf (φ) = φ̂(s) f (n)n−s ds
2iπ (c) n≥1
Z
1
Mf (φ) = φ̂(s)Df (s)ds
2iπ (c)

Dans la suite, on utilisera des sommes du type n≥1 f (n)φ nx avec φ une fonction de Schwartz
P

(par exemple une majorant lisse). L’application g : u 7−→ φ ux est une fonction de Schwartz et on a

d’après la formule précédente :

Z
1
Mg (φ) = ĝ(s)Df (s)ds
2iπ (c)

avec
Z ∞ u Z ∞
s−1
ĝ(s) = φ u du = φ(v)(vx)s−1 xdv = xs φ̂(s)
0 x 0

Finalement on a la formule :

n Z
X 1
f (n)φ = Df (s)φ̂(s)xs ds (3.15)
x 2iπ (c)
n≥1

Si on prend pour fonction φ un majorant lisse

P de [0; 1], la somme ci-dessus devient une somme
finie, proche de la fonction sommatoire Mf (x) = n≤x f (n).

3.5.2 Application à des fonctions connues

Cas des fonctions L

D’après la proposition 3.2.2, pour démontrer le théorème des nombres premiers en progression
arithmétique il faut étudier le comportement asymptotique de la fonction ψ(x; q, a). D’après la formule
(3.2), celle-ci est liée à la fonction sommatoire

X
MΛχ (x) = Λ(n)χ(n)
n≤x

On peut grâce à la formule (3.15) évaluer une fonction sommatoire lissée approchant cette dernière
fonction sommatoire :

n Z
X 1
Λ(n)χ(n)φ = DΛχ (s)φ̂(s)xs ds
x 2iπ (c)
n≥1

pour c > 1. Or d’après la formule (2.4), la série de Dirichlet de la fonction Λχ est l’opposé de la
dérivée logarithmique de la fonction L associée à χ. Ainsi :

L0 (χ, s)
n Z
X 1
Λ(n)χ(n)φ = − (s)φ̂(s)xs ds (3.16)
x 2iπ (c) L(χ, s)
n≥1

41
Cas de ζ

PourPle théorème des nombres premiers « simple », il suffit de s’intéresser à la fonctions sommatoire
ψ(x) = n≤x Λ(n). Soit ηδ un majorant lisse de [0; 1], d’amplitude 1 + δ. On a d’après la formule
(3.14) :

ζ 0 (s)
n Z
X 1
Λ(n)ηδ = − η̂δ (s)xs ds (3.17)
x 2iπ (c) ζ(s)
n≥1

Pour démontrer le théorème des nombres premiers en progression arithmétique on montrera d’abord
un résultat sur les sommes lisses. En revanche, on montrera le théorème des nombres premiers en es-
timant une intégrale ne faisant plus intervenir de fonction φ de lissage.
Soit x fixé.

Z ∞ Z 1 Z 1+δ
s−1 s−1
η̂δ (s) = ηδ (u)u du = u du + ηδ (u)us−1 du
0 0 1
Z 1+δ
1
= + ηδ (u)us−1 du
s 1

Z 1+δ
1
η̂δ (s) − ≤ |ηδ (u)|uc−1 du
s 1
Z 1+δ
≤ uc−1 du −→ 0
1
δ→0

1
Ainsi η̂δ (s) converge vers s uniformément pour s tel que σ = c. D’où

ζ 0 (s) ζ 0 (s) xs
Z Z
lim − η̂δ (s)xs ds = − ds
δ→0 (c) ζ(s) (c) ζ(s) s

D’autre part,

X n X X n
Λ(n)ηδ = Λ(n) + Λ(n)ηδ
x x
n≥1 n≤x x<n≤(1+δ)x
X n
= ψ(x) + Λ(n)ηδ
x
x<n≤(1+δ)x

Et lorsque δ est suffisamment petit, il n’y a aucun entier entre x et (1 + δ)x donc

X n
lim Λ(n)ηδ = ψ(x)
δ→0 x
n≥1

Finalement, en faisant tendre δ vers 0 dans la formule (3.17) , on obtient la formule suivante, ne
faisant plus intervenir de fonction φ de lissage :

ζ 0 (s) xs
Z
1
ψ(x) = − ds (3.18)
2iπ (a) ζ(s) s

42
3.6 Technique de déplacement du contour d’intégration

Les formules précédentes permettent d’évaluer des fonctions sommatoires lissées dépendant de
x (ou même directement des fonctions sommatoires comme c’est le cas dans (3.18)) à l’aide d’une
intégrale sur la droite verticale Re(s) = σ. En pratique, le x que l’on choisira sera souvent très grand
(on veut étudier le comportement asymptotique de telles sommes).
Comme |xs | = xσ et x > 1 on est tenté de prendre σ aussi petit que possible afin de minimiser
|xs |: on voudrait même pouvoir prendre σ inférieur à 1 (σ > 1 était une des hypothèses de validité
de la formule (3.14)) : c’est ce qu’on appelle « déplacer le contour d’intégration vers la gauche ». Ceci
exige de pouvoir prolonger Df au-delà du somaine de convergence absolue.

Exemple de déplacement du contour d’intégration

On se place sous les hypothèses suivantes :

– f une fonction arithmétique telle que ∀ > 0, f (n) = O (n )
– Df se prolonge à gauche de la zone σ > 1 en une fonction méromorphe
– il existe δ < 1 tel que Df soit méromorphe sur σ > δ et possède un nombre fini de pôles simples
s1 , s2 , ..., sk de résidus respectifs r1 , r2 , ..., rk dans δ < σ < c (avec c > 1)
– ∀, il existe C (dependant de ) telle que

|Df (s)| = O ((|s| + 1)c )

Soit  > 0 tel que δ +  < 1 et Df n’ait pas de pôle dans la zone δ < σ < δ + . Soit T tel que tous
les pôles de Df aient une partie imaginaire inférieure en valeur absolue à T . On considère le contour
CT suivant :

43
 D’après le théorème des résidus, on a

Z k
1 X
Df (s)φ̂(s)y s ds = ri y si φ̂(si ) (3.19)
2iπ CT i=1

Et le calcul de l’intégrale en décomposant sur les 4 côtés donne

Z Z Z
1 s 1 1 s
Df (s)φ̂(s)y ds = σ=c
Df (s)φ̂(s)y ds + Df (s)φ̂(s)y s ds
2iπ CT 2iπ t∈[−T,T ]
2iπ σ=δ+
t∈[−T,T ]
Z c Z c
1 1
+ Df (t − iT )φ̂(t − iT )y t−iT dt − Df (t + iT )φ̂(t + iT )y t+iT dt
2iπ δ+ 2iπ δ+

Evaluons maintenant les intégrales sur les bords verticaux :

Z c Z c
Df (t ± iT )φ̂(t ± iT )y t±iT dt ≤ |Df (t ± iT )φ̂(t ± iT )|y t dt
δ+ δ+

Or on a les majorations :

|Df (t ± iT )| = O ((1 + |t ± iT |)c )

 
1
|φ̂(t ± iT )| = O ∀k ∈ N
(1 + |t ± iT |)k

Ainsi,

c c
y t dt
Z Z 
t±iT
Df (t ± iT )φ̂(t ± iT )y dt = O −→ 0
δ+ δ+ (1 + |t ± |)2

lorsque T → ∞. En faisant tendre T vers l’infini dans (3.19), on obtient :

Z k Z
1 s
X
si 1
Df (s)φ̂(s)y ds = ri y φ̂(si ) + Df (s)φ̂(s)y s ds
2iπ (c) 2iπ (δ+)
i=1

Sous les hypothèses précédentes, on a donc

  Xk Z
X n si 1
f (n)φ = ri y φ̂(si ) + Df (s)φ̂(s)y s ds
y 2iπ (δ+)
n≥1 i=1

Ce qui nous donne l’estimation suivante pour la fonctions sommatoire lissée dépendant de y :

  Xk
X n  
f (n)φ = ri y si φ̂(si ) + O y δ+
y
n≥1 i=1

44
 Comme on l’a vu dans les exemples du 3.5.2, on voudra par la suite évaluer les deux intégrales
données dans les formules (3.16) et (3.18), c’est-à-dire :

L0 (χ, s) ζ 0 (s) xs
Z Z
− (s)φ̂(s)xs ds et − ds
(c) L(χ, s) (a) ζ(s) s

On aimerait, comme on vient de le faire dans l’exemple, pourvoir utiliser le théorème des résidus
pour pouvoir exprimer ces intégrales en fonctions d’intégrales sur des droites du type Re(s) = σ < 1
(terme plus petit que l’intégrale sur σ = c).
0
Mais ce déplacement du contour d’intégration n’est possible que si l’on peut prolonger − LL(χ,s)
(χ,s)
0
(resp. − ζζ(s)
(s)
) à gauche de σ > 1 (nous verrons en pratique que même une fois ce prolongement effectué,
on ne pourra pas faire un déplacement exactement similaire à celui de l’exemple)

Nous allons donc d’abord prolonger les fonctions L sur C en des fonctions méromorphes, et nous
0 (χ,s)
nous intéresserons également aux zéros de telles fonctions : en effet LL(χ,s) n’est holomorphe que si L
0
n’a pas de pôle (et donc L non plus) et L n’a pas de zéro dans une certaine région...

45
 Quatrième partie

Prolongement analytique des fonctions

L sur Re(s) > 0 et théorème de la
progression arithmétique

46
 Le théorème de la progression arithmétique est un premier résultat sur les nombres premiers en
progression arithmétique. Il a été démontré en 1838 par Dirichlet et son énoncé est le suivant :

Théorème 4.0.1 Soient a et q deux entiers non nuls premiers entre eux.
Il existe une infinité de nombres premiers congrus à a modulo q

Ce résultat est un corollaire du théorème des nombres premiers en progression arithmétique mais
il est intéressant de le démontrer séparement. En effet, sa démonstration nous donne une première
approche de la manipulation des fonctions L. En particulier, elle nécessite un prolongement de ces
fonctions sur Re(s) > 0, que nous pouvons faire directement, sans utiliser (comme on le fera plus loin)
une équation fonctionnelle.

4.1 Prolongement sur Re(s) > 0

Cas où χ = q = 1

Comme on l’a déjà vu, L(1, s) ne diffère de la fonction ζ que par une constante multiplicative : il
suffit donc de prolonger ζ sur Re(s) > 0 pour obtenir un prolongement de L(1, s).
1
Posons g(s) = ζ(s) − s−1
R∞ R n+1
1
= 1 t1s dt = ∞ 1
P
Si Re(s) > 1, s−1 n=1 n ts dt

∞  Z n+1  X ∞ Z n+1  
X 1 1 1 1
g(s) = − dt = − dt
ns n ts ns t s
n=1 n=1 n
∞ Z n+1  
X 1 1
= an (s) avec an (s) = − dt
n ns ts
n=1

On a a priori convergence de la série sur Re(s) > 1. Montrons qu’il y a aussi convergence uniforme
sur tout compact lorsque Re(s) ≥  > 0.

Z n+1
1 1
|an (s)| ≤ s
− s dt
n n t
1
D’après la formule des accroissements finis appliquée à la fonction f : t 7−→ ts et dont la dérivée
est f 0 (t) = − ts+1
s
, il existe r ∈]n; t[ tel que

1 1 s(t − n) |s| |s| |s|

s
− s = s+1
≤ σ+1 ≤ σ+1 ≤ +1
n t r |r| n n

D’où :

|s| K
|an (s)| ≤ +1
≤ +1
n n
sur un compact : la série converge donc uniformément sur tout tout compact de σ ≥ . g(s) est
donc holomorphe sur tout domaine de la forme σ ≥  donc sur le demi-plan σ > 0.
On en déduit que ζ est méromorphe sur σ > 0 avecQ un pôle simple en 1 de résidu 1. L(1, s) est
donc méromorphe avec un pôle simple en 1 de résidu p|m (1 − p−1 ).

47
Cas d’un caractère non trivial
P∞ −s .
L(χ, s) = n=1 χ(n)n Posons

n 0 k
X X
Sn,n0 (s) = χ(k)k −s et Ak = χ(r)
k=n r=1

On a alors χ(k) = Ak − Ak−1 pour tout k ≥ 1 avec A0 = 0 par convention. Effectuons une
transformation d’Abel :

n 0 n 0 n0
X X X
−s −s
Sn,n0 (s) = (Ak − Ak−1 ) k = Ak k − Ak−1 k −s
k=n k=n k=n
n0 0 −1
nX n0  
X
−s −s
X 1 1 An0 An−1
= Ak k − Ak (k + 1) = Ak s
− + 0s
−
k (k + 1)s n ns
k=n k=n−1 k=n

Montrons que (Ak ) est une suite bornée. D’après la relation d’orthogonalité pour les caractère :

X
χ(r) = 0
r∈Z/qZ

car χ 6= 1. Vu la façon dont χ est prolongé à un « caractère sur Z », on a :

q (k+1)q
X X
χ(r) = 0 ainsi que χ(r) = 0
r=1 r=kq

Pk Pk
Donc r=1 χ(r) = h i χ(r) d’où
r= kq

k  
X k
|Ak | ≤ |χ(r)| ≤ (k − )≤q
h i q
k
r= q

On a donc

0 −1
nX
!
1 1 1 1
|Sn,n0 (s)| ≤ q − + 0s + s
k s (k + 1)s |n | |n |
k=n

Supposons s réel avec s > 0. Alors

0 −1 
nX  !
1 1 1 1
|Sn,n0 (s)| ≤ q s
− + 0s + s
k (k + 1)s n n
k=n

La série de gauche est clairement télescopique et on a :

 
1 1 1 1 2q
|Sn,n0 (s)| ≤ q s
− 0s + 0s + s ≤
n n n n ns

48
 Si s ≥  > 0 on a

2m
|Sn,n0 (s)| ≤ −→ 0
n
n→∞

La suite des sommes partielles associée à la série de Dirichlet de χ vérifie le critère de Cauchy donc
la série de Dirichlet converge (R est complet) pour tout réel s > 0.
Soit  > 0. La série de Dirichlet converge pour s = . D’après le corollaire 1.1.1 du théorème 1.1.1,
cette série de Dirichlet converge uniformément sur tout compact du demi-plan σ > .
L(χ, s) est donc holomorphe sur le demi-plan σ >  pour tout  donc sur le demi-plan σ > 0.

Bilan
– L(1, s) est méromorphe sur Re(s) > 0, avec un pôle simple en 1

– Si χ 6= 1, L(χ, s) est holomorphe sur Re(s) > 0

4.2 Non annulation des fonctions L en 1

Pour démontrer le théorème de la progression arithmétique, on utilisera le logarithme de L(χ, 1) :

il faut donc montrer que pour χ non trivial, L(χ, 1) 6= 0.
On définit la fonction ζq de la manière suivante :

Y
ζq (s) = L(χ, s)
χmod q

Cette fonction est holomorphe sur σ > 0 sauf peut-être en 1. La fonction L(1, s) possède en effet
un pôle simple en 1, mais s’il existe un caractère non trivial tel que L(χ, s) s’annule en 1, ζq est
holomorphe en 1.
Etablissons d’abord une formule sous forme de produit pour ζq (s).
Pour σ > 1, d’après la formule du produit Eulérien,

Y 1
L(χ, s) =
1 − χ(p)p−s
p∈P

Si p|q, χ(p) = 0 donc

Y Y 1
ζq (s) =
1 − χ(p)p−s
χmod q p-q
Y 1
ζq (s) = (4.1)
− χ(p)p−s )
Q
χmod q (1
p-q

(1 − χ(p)p−s ).
Q
Transformons maintenant χmod q

49
 Soit p - q. p̄ ∈ (Z/qZ)× . On note f (p) l’ordre de < p̄ > dans (Z/qZ)× . Déterminons tous les
caractères vérifiant χ(p̄) = ω, où ω est une racine f (p)-ième de l’unité donnée.
∀x ∈< p̄ >, il existe k tel que χ(x) = χ(p̄k ) = ω k donc χ est uniquement déterminé sur < p̄ >.
Soit x quelconque dans (Z/qZ)× : il existe k ∈ N tel que x = mp̄k avec m le représentant de x
dans (Z/qZ)× / < p̄ >

χ(x) = χ(m)(χ(p̄))k = χ(m)ω k

φ(q)
χ est déterminé de manière unique par sa restriction à (Z/qZ)× / < p̄ > : or il y a g(p) = f (p)
caractères de ce groupe.
Il y a donc g(p) caractères de (Z/qZ)× vérifiant χ(p̄) = ω.
On a en notant W l’ensemble des racines f (p)-ièmes de l’unité

Y
(T − ω) = T f (p) − 1
ω∈W

On a donc :

f (p)
Y Y Y 2ikπ Y
f (p) −1
T −1 = w (ω T − 1) = e f (p) (ωT − 1)
ω∈W ω∈W k=1 ω∈W
 
f (p)
2iπ X Y Y
= exp  k (ωT − 1) = eiπ(f (p)+1) (ωT − 1)
f (p)
k=1 ω∈W ω∈W

– Si f(p) est pair, eiπ(f (p)+1) = −1 et

Q Q
ω∈W (ωT − 1) = ω∈W (1 − ωT ) donc on a
Y Y
1 − T f (p) = (ωT − 1) = (1 − ωT )
ω∈W ω∈W

– Si f(p) est impair, eiπ(f (p)+1) = 1 et

Q Q
(ωT − 1) = − ω∈W (1 − ωT ) donc on a
ω∈W
Y Y
1 − T f (p) =− (ωT − 1) = (1 − ωT )
ω∈W ω∈W

Ainsi, pour tout T et quel que soit la parité de f (p) on a :

Y
1 − T f (p) = (1 − ωT )
ω∈W

Par ailleurs,

Y Y Y
(1 − T χ(p)) = (1 − T χ(p)) = (1 − T f (p) )g(p)
χmod q ω∈W χ|χ(p̄)=ω

En prenant T = p−s et en remplaçant dans (4.1) on obtient :

Y 1
ζq (s) = (4.2)
(1 − p−sf (p) )g(p)
p-m

50
 De par sa définition, ζq (s) peut se voir comme le produit de convolution de φ(q) séries de Dirichlet,
donc comme une série de Dirichlet, qui a priori converge pour σ > 1. Cette dernière formule permet
1
de voir que c’est même une série de Dirichlet à coefficients réels positifs. En effet, si p est fixé, (1−x) g(p)
1 1
est la dérivée (g(p) − 1)-ième de la fonction (g(p)−1)! 1−x et pour |x| < 1, on a alors

1 X 1
g(p)
= n(n − 1)(n − g(q) + 1)xn−g(q)+1
(1 − x) (g(p) − 1)!
n≥0

En remplaçant x par p−sf (p) on obtient alors :

YX 1
ζq (s) = n(n − 1)(n − g(q) + 1)p−sf (p)(n−g(q)+1)
(g(p) − 1)!
p∈P n≥0

On reconstitue donc bien une série de Dirichlet à coefficients réels positifs.

Supposons maintenant qu’il existe un caractère χ tel que L(χ, 1) = 0. ζq est alors holomorphe sur
σ > 0 car holomorphe en 1 et sur le demi-plan σ > 0 privé de 1.
La série de Dirichlet à coefficients positifs ζq (s) converge pour σ > 1 et est prolongeable en une
fonction holomorphe sur σ > 0. D’après le théorème 1.1.2, la série converge pour σ > 0. En particulier,
la formule du produit Eulérien est valable pour σ > 0.
Prenons s > 0 réel. On a :

1
= (1 + p−f (p)s + ... + p−kf (p)s + ...)g(p) > (1 + p−f (p)s + ... + p−kf (p)s + ...)
(1 − p−sf (p) )g(p)
≥ (1 + p−φ(q)s + p−2φ(q)s + ...)

Donc

Y 1
 X
ζq (s) ≥ = n−φ(q)s
1 − p−φ(q)s
p-q (n,q)=1

1
Il y a divergence pour s = φ(q) ∈]0; 1[, en contradiction avec ce qui précède.
On a montré par l’absurde que pour tout caractère non trivial, la fonction L associée ne s’annule
pas en 1.

4.3 Théorème de la progression arithmétique

Nous allons montrer un résultat un peu plus fort que le théorème de la progression arithmétique,
en introduisant la notion de densité.

Définition 4.3.1 (Densité d’une partie A de P) Soit A une partie de P. Si il existe k ∈ N tel
que
P 
1
p∈A ps
lim  
s→1 1
s>1 log s−1

k est appelée densité de la partie A

51
 Montrons que la densité de P est 1 :

Proposition 4.3.1 Soit s un réel > 1

X 1  
1
∼ log
ps s−1
p∈P
s→1+

Démonstration

Y 1
ζ(s) = >0
1 − p−s
p∈P

 
X 1 X
log 1 − p−s


log(ζ(s)) = log =−
1 − p−s
p∈P p∈P
X X (p−s )k X 1 X X (p−s )k
= = s
+
∗
k p k
p∈P k∈N p∈P k≥2 p∈P

P P (p−s )k
Notons h(s) = k≥2 p∈P k : cette fonction est bornée lorsque s tend vers 1 car si s > 1 :

X 1 X 1 X 1 X 1
h(s) = 2s −s
= s s
≤ ≤ < ∞
p (1 − p ) p (p − 1) p(p − 1) n(n − 1)
p∈P p∈P p∈P n≥2

P 1
Ainsi log(ζ(s)) ∼ p∈P ps lorsque s tend vers 1
 
1 1
ζ(s) = s−1 + g(s) avec g(1) 6= 0 donc log(ζ(s)) = log s−1 + log(g(s)), avec log(g(s)) borné au
voisinage de 1.
 
1
Ainsi, log(ζ(s)) ∼ log s−1 lorsque s tend vers 1
Par transitivité de l’équivalence, on a alors :

X 1  
1
∼ log
ps s−1
p∈P

On peut ainsi noter que quelle que soit la partie A de P la densité k est comprise entre 0 et 1.
En effet, pour tout s réel plus grand que 1,
P 
1
p∈A ps
  ≥0
1
log s−1

donc la limite aussi si elle existe.

52
 P  P 
1 1
p∈A ps p∈P ps
  ≤   =1
1 1
log s−1 log s−1

il en est de même pour la limite éventuelle k.

On remarque également que la densité d’un ensemble fini est nulle.

Théorème 4.3.1 Soit q quelconque et a tel que (a, q) = 1

Notons Aa = {p ∈ P|p ≡ a[q]}
1
La densité de Aa est φ(q)

Ce théorème nous montre que Aa est infini, car il est de densité non nulle, ce qui démontre le
théorème de la progression arithmétique.
Démonstration
P χ(p)
Etudions d’abord fχ (s) = p-q ps
P 1 P 1
• Si χ est trivial, f1 (s) = p∈P ps − p|q ps donc

X 1  
1
f1 (s) ∼ ∼ log
ps s−1
p∈P

lorsque s est réel et tend vers 1 par valeur supérieure.

• Si χ est non trivial, montrons que fχ reste bornée.

Y 1
L(χ, s) =
1 − χ(p)p−s
p∈P

Soit s réel > 1. Alors L(χ, s) 6= 0 car aucun terme du produit infini n’est nul.

X
log 1 − χ(p)p−s


log(L(χ, s)) = −
p∈P

Et comme |χ(p)p−s | < 1 on a

X X χ(p)n
log(L(χ, s)) =
∗
npsn
p∈P n∈N
X χ(p) X X χ(p)n
log(L(χ, s)) = +
ps npsn
p∈P p∈P n≥2
X χ(p) X χ(p)n
log(L(χ, s)) = fχ (s) + +
ps npsn
p|q p,n≥2
| {z }
g(s)

X χ(p) n X 1 1 X X −sn X 1
≤ ≤ p ≥ < +∞
npsn p,n
np sn 2 p p
p(p − 1)
p,n≥2 n≥2

53
 donc g(s) est bornée au voisinage de 1. Comme L(χ, 1) 6= 0, log(L(χ, s)) reste borné lorsque s tend
vers 1. Ainsi, fχ est bornée au voisinage de 1.
Montrons maintenant le théorème.

X 1 X 1 X 1
ga (s) = = χ̄(a)χ(p)
ps φ(q) ps
p∈Aa p∈P χ mod q
1 X
= χ̄(a)fχ(s)
φ(q)
χ mod q

Dans cette somme, tous les termes restent bornés d’après l’étude précédente des fonctions fχ , sauf
le terme correspondant au caractère trivial. On a donc
 
1 1 1
ga (s) ∼ f1 (s) ∼ log
φ(q) φ(q) s−1
1
Ceci montre que Aa a pour densité φ(q) et démontre le théorème

54
 Cinquième partie

Prolongement des fonctions L sur C

55
5.1 Le cas de la fonction ζ

Pour σ > 1 on a déjà vu que

X 1 Y 1
ζ(s) = =
n s 1 − p−s
n≥1 p∈P

On a vu dans la partie précédente qu’on peut prolonger analytiquement la fonctions ζ sur σ > 0
en une fonction méromorphe ayant un unique pôle simple en 1 de résidu 1. Nous allons maintenant
prolonger ζ sur C.

5.1.1 Equation fonctionnelle

Proposition 5.1.1 Soit ξ la fonction définie par

s
s
ξ(s) = π − 2 Γ ζ(s) (5.1)
2
ξ est une fonction méromorphe sur C possédant deux pôles simples en 0 et en 1 et vérifiant
l’équation fonctionnelle :

ξ(s) = ξ(1 − s)

Démonstration

∞ ∞ s


u  2s −1 −u du − 2s Γ 2
Z Z s
s
−1 −n2 πx 2 − 2s
x 2 e dx = e = (n π) Γ = π
0 0 n2 π n2 π 2 ns

Pour σ > 1 on a :

X π − 2s Γ s ∞


s XZ
− 2s s 2 πx
ξ(s) = π Γ ζ(s) = 2
= x 2 −1 e−n dx
2 ns
n≥1 n≥1 0

R∞ s 2 πx σ
x 2 −1 e−n dx converge vers π − 2 Γ σ
P

Et n≥1 0 2 ζ(σ) donc on peut intervertir série et intégrale :
Z ∞ s 2 πx
X
ξ(s) = x 2 −1 e−n dx
0 n≥1

2
D’après la proposition 3.3.1, la fonction y 7−→ e−πxy admet pour transformée de Fourier la
πy 2
fonction y 7−→ √1 e− x .
x

D’après la formule de sommation de Poisson,

X 2 πx 1 X − πn2
e−n = √ e x
x
n∈Z n∈Z
!
X
−n2 πx 1 X
− πn
2
1+2 e = √ 1+2 e x
x
n∈N∗ n∈N∗

56
 2 πx
e−n
P
Avec la notation ψ(x) = n∈N∗ , la relation ci-dessus devient :

  
1 1
1 + 2ψ(x) = √ 1 + 2ψ
x x
 
1 1 1 1
ψ(x) = √ ψ + √ −
x x 2 x 2

Z 1 s
Z ∞ s
−1
ξ(s) = ψ(x)dx +
x 2 x 2 −1 ψ(x)dx
0 1
Z 1     Z ∞
s
−1 1 1 1 1 s
= x 2 √ ψ + √ − dx + x 2 −1 ψ(x)dx
0 x x 2 x 2 1
Z 1 Z 1  Z 1   Z ∞
1 s 1 s s 3 1 s
= x 2 −1− 2 dx − x 2 −1 dx + x2−2 ψ dx + x 2 −1 ψ(x)dx
2 x
"0 0
 0 1
s 1
# 1 " s
# 1 s
+ 1
∞ ∞ s
1  x2−2
Z   Z
x2  1 2 2
= s 1 − s + ψ (u)du + x 2 −1 ψ(x)dx
2 2 − 2 0 2 0 1 u 1
! Z
∞
1 1 1 − 2s − 12 s
−1

= − s + u + u 2 ψ(u)du
2 s−1 2 2 1

Finalement, pour σ > 1

Z ∞
1 1 s 1 s

ξ(s) = − + x− 2 − 2 + x 2 −1 ψ(x)dx (5.2)
s−1 s 1
 
L’intégrale converge pour toute valeur de s car ψ(x) = o e−π x . En effet, eπ x ψ(x) = ∞
2 2 P −n2 πx
n=0 e
2 πx 2 π2
et |e−n | ≤ e−n si x ≥ 1. La série converge donc uniformément pour x ∈ [1; +∞[. On a donc

2
lim eπ x ψ(x) = 0
x→+∞

L’intégrande est holomorphe sur tout compact K de C et

 s 1 s
  σinf 1 σsup 
x− 2 − 2 + x 2 −1 ψ(x) ≤ x− 2 − 2 + x 2 −1 ψ(x)

où σinf et σsup correspondent aux valeurs extrêmes de la partie réelle de s dans K. D’après cette
majoration uniforme par une fonction intégrable, l’intégrale définit une fonction holomorphe sur tout
compact K de C et donc sur C.

1
La fonction ξ(s) − s−1 + 1 holomorphe sur σ > 1 coı̈ncide sur ce demi-plan avec la fonction
R ∞  −s−1 s
 s
g(s) = 1 x 2 2 + x 2 −1 ψ(x)dx, holomorphe sur C. D’après le principe du prolongement analy-
1 1
tique, ξ(s) − s−1 + s est alors prolongeable sur C en la fonction holomorphe g(s).
La formule (5.1) est donc valable pour tout s ∈ C : ξ est donc méromorphe avec deux pôles simples
en 0 et en 1.
Cette formule nous ξ est invariante dans le changement s ↔ 1−s et donc que l’équation fonctionelle
est vérifiée.

57
5.1.2 Prolongement de ζ

Comme Γ(s) 6= 0 ∀s ∈ C, on peut écrire (pour par exemple σ > 1) :

ξ(s)
ζ(s) = s
π Γ( 2s )
2

ξ(s)
Comme Γ( 2s ) admet un pôle simple en 0, de même que ξ(s), la fonction s est holomorphe en
π 2 Γ( 2s )
0. Elle admet un pôle simple en 1, de résidu 1 à cause du pôle de ξ. Elle est holomorphe sur C − {0, 1}
car ξ y est holomorphe et Γ ne s’annule pas, donc sur C{ 1}.
Ainsi, par prolongement analytique, ζ est méromorphe sur C avec un pôle simple en 1.
Comme Γ a des pôles simples en les −k, k ∈ N et ξ holomorphe en les −2k, k ∈ N∗ , on peut
également remarquer qu’on a

∀m≥1 ζ(−2m) = 0

Vu les propriétés de ζ, ζ 0 est également méromorphe sur C avec un unique pôle en 1, d’ordre 2 et
0 (s)
de résidu -1. La fonction − ζζ(s) possède donc un pôle simple en 1 de résidu 1. Elle est holomorphe
sur σ > 1 puisque ζ ne s’annule pas dans cette région, mais on ne peut pas encore dire où elle est
holomorphe à gauche de σ = 1 : cela dépend des annulations éventuelles de ζ.

5.2 Equation fonctionnelle plus générale et singularités des fonc-

tions L

Nous allons uniquement étudier ici les fonctions L associées à un caractère primitif. Le but est
de prolonger de telles fonctions L, ce qui nous donnera alors un prolongement pour une fonction L
quelconque, d’après la formule (2.3)

5.2.1 Equation fonctionnelle

On pose
τ (χ)
W (χ) = √
q

On rappelle la notation pour un somme de Gauss :

X 2iπx
τ (χ) = χ(x)e q

x mod q

Lemme 5.2.1 Soit χ un caractère primitif modulo q. Alors :

τ (χ̄) = χ(−1)τ (χ)

|τ (χ)|2 = q

Démonstration

58
 2iπx
− 2iπx 2iπx
X X X
τ (χ̄) = χ̄(x)e q = χ(x)e q = χ(−x)e q

x mod q x mod q x mod q

X 2iπx
= χ(−1) χ(x)e q = χ(−1)τ (χ)
x mod q

Ceci démontre la première formule. Pour la seconde, montrons d’abord que pour tout n ≥ 1 on a
2iπ nx
X
χ(n)τ (χ̄) = χ̄(x)e q (5.3)
x[q]

1er cas : (n, q) = 1

2iπ xq
X
χ(n)τ (χ̄) = χ(n)χ̄(x)e
x[q]

Dans ce cas, n est inversible dans (Z/qZ) et

2iπ xq
X
χ(n)τ (χ̄) = χ̄(xn−1 )e
x[q]

L’application x 7−→ xn−1 est bijective donc on a

2iπ nx
X
χ(n)τ (χ̄) = χ̄(x)e q

x[q]

2eme cas : (n, q) = d > 1

/ (Z/qZ)× donc χ(n) = 0. Pour montrer que la relation (5.3) est vraie, montrons que
n∈

2iπ nx
X
χ̄(x)e q =0
x[q]

On note n = dn1 et q = dq1 avec (n1 , q1 ) = 1.

 
n1 x n1 x 1
2iπ nx 2iπ 2iπ
X X X  X 
χ̄(x)e q = χ̄(x)e q1 = e q1 
 χ̄(x) 

x[q] x[q] x1 [q1 ] x[q]
x≡x1 [q1 ]

On a regroupé P
les termes suivant leur classe modulo q1 . Montrons maintenant que pour tout x1 ,
la somme S1 (x) = x[q] χ̄(x) est nulle.
x≡x1 [q1 ]

Soit y ∈ (Z/qZ)× tel que y ≡ 1[q1 ].

X
χ̄(y)S(x1 ) = χ̄(yx) = S(x1 )
x[q]
x≡x1 [q1 ]

Donc (1 − χ̄(y))S(x1 ) = 0.

59
 (Z/q1 Z)× ∼ = (Z/qZ)× /K où K = {y ∈ (Z/qZ)× |y ≡ 1[q1 ]}. Si χ̄(y) = 1 pour tout y ∈ K,
χ̄(n) = χ̄(n̄) où n̄ est la classe de n modulo q1 , donc χ̄ coı̈ncide avec un caractère modulo q1 , ce qui
est exclu car χ est primitif. Il existe donc y ≡ 1[q1 ] tel que χ(y) 6= 1. D’où S(x1 ) = 0, ce qui démontre
que la somme est nulle.
Calculons maintenant |τ (χ)|2 :

¯ = χ(−1)τ (χ)τ (χ̄)

|τ (χ)|2 = τ (χ)τ (χ)
 
2iπ n 2iπ n 2iπ nx
X X X
|τ (χ)|2 = χ(−1) e q χ(n)τ (χ̄) = χ(−1) e q  χ̄(x)e q 
n[q] n[q] x[q]
n(x+1)
2iπ q
X X
= χ(−1) χ̄(x) e
x[q] n[q]

La somme des exponentielles est nulle sauf si x = −1 et dans ce cas elle vaut q donc :

|τ (χ)|2 = χ(−1) × χ(−1)q = q

Cas d’un caractère primitif et pair

Proposition 5.2.1 Soit χ un caractère pair non trivial. La fonction ξ définie par

s
s
ξ(χ, s) = π − 2 Γ L(χ, s)
2
est une fonction entière vérifiant l’équation fonctionnelle :

1
ξ(χ, s) = W (χ)q 2 −s ξ(χ̄, 1 − s)

Démonstration
Comme dans ce qu’on a fait pour ζ, la démonstration utilise la formule de sommation de Poisson,
par l’intermédiaire des fonction θ, qu’on avait étudié dans la partie 3.3.5.

s
s Z ∞ Z ∞
−s − 2s s
−1 −x −s − 2s s
π Γ
2 n =π x 2 e dxn = (n π)2
x 2 −1 e−x dx
2 0 0

Après la changement de variable x = n2 πu cela donne :

s
s Z ∞ s
−s 2
π Γ 2 n = e−πn x x 2 −1 dx
2 0

60
 s ∞
s X
s s
π− 2 Γ L(χ, s) = π − 2 Γ χ(n)n−s
2 2
n=1
∞ s
X s
= χ(n)π 2 Γ n−s
2
n=1
∞ Z ∞
X 2 s
= χ(n) e−πn x x 2 −1 dx
n=1 0
∞
!
Z ∞ s
−πn2 x
X
= χ(n)e x 2 −1 dx
0 n=1

Justifions l’interversion série intégrale :

2 s 2 σ
|χ(n)e−πn x x 2 −1 | = e−πn x x 2 −1

Et
Z ∞
2 σ σ σ
e−πn x x 2 −1 dx = (πn2 )− 2 Γ( ) < +∞
0 2
P∞ −πn2 x
On voit apparaı̂tre la fonction θ(χ, x). Comme dans la formule (3.8) , n=1 χ(n)e = 21 θ(χ, x)
car le caractère est supposé pair. On a alors :
Z ∞
1 s
ξ(χ, s) = θ(χ, x)x 2 −1 dx (5.4)
2 0

Les fonctions θ(χ, x) vérifient lorsque pour x ≥ 1

θ(χ, x) = O e−πx

1 2)
En effet, eπx θ(χ, x) = eπx(1−n
P
2 n∈N∗
2 2
Et |χ(n)eπx(1−n ) | ≥ eπ(1−n ) pour x ≥ 1 : c’est le terme générale d’une série convergente. Grâce à
cette domination, on peut appliquer le théorème de convergence dominée pour montrer que

2) 2)
X X
lim eπx(1−n = lim eπx(1−n =0
x→∞ x→∞
n∈N∗ n∈N∗

Donc eπx θ(χ, x) tend vers 0 lorsque x tend vers l’infini, cette grandeur est a fortiori bornée, d’où
le résultat.
Pour x ≥ 1 on peut donc majorer l’intégrande. En revanche, le comportement au voisinage de 0
est moins évident. On va donc séparer l’intégrale en deux et effectuer un changement de variable.
Soit α > 0
Z ∞ s
Z α s
Z ∞ s
−1 −1
θ(χ, x)x 2 dx = θ(χ, x)x 2 dx + θ(χ, x)x 2 −1 dx
0 0 α

On utilise la formule (3.9) pour remplacer θ(χ, x) dans la première intégrale :

61
 α
τ (χ) α 1
Z Z  
s
−1 1 s dx
θ(χ, x)x 2 dx = √ θ χ̄, 2 x2
0 q 0 x q x x
Z +∞
τ (χ) 1−s du
= q 1−s θ (χ̄, u) u 2
q 1 u
q2 α
Z +∞
1 s du
= W (χ)q 2 −s θ (χ̄, u) u 2
1
2
u
q α

1
En choisissant α = q on a :

Z ∞ Z +∞ Z ∞
s 1 1−s du s
θ(χ, s)x 2 −1 dx = W (χ)q 2 −s θ (χ̄, u) u 2 + θ(χ, x)x 2 −1 dx
0 1 u 1
q q
!
Z +∞ Z ∞
1 1
−s 1−s
−1 s
−1
ξ(χ, s) = W (χ)q 2 θ (χ̄, u) u 2 du + θ(χ, x)x 2 dx (5.5)
2 1 1
q q

s s σmax
A x fixé, s 7−→ θ(χ, s)x 2 −1 est holomorphe. De plus sur un compact K, θ(χ, x)x 2 −1 ≤Ce−πx x 2 −1
est une majoration uniforme en s (σmax est la partie réelle maximale sur le compact K) par une fonc-
tion intégrable.
R∞ s
g(s) = 1 θ(χ, x)x 2 −1 dx est donc une fonction holomorphe sur tout compact K de C donc sur C.
q
R +∞ 1−s
On montre de même que h(s) = 1 θ (χ̄, u) u 2 −1 du est aussi holomorphe sur C.
q

Ainsi, ξ(χ, s) est prolongeable en une fonction entière sur C. Montrons qu’elle satisfait l’équation
fonctionnelle :

!
Z +∞ Z ∞
1
−s 1 1
−s 1
−(1−s) s
−1 1
−s 1−s
−1
W (χ)q 2 ξ(χ̄, 1 − s) = W (χ)q 2 W (χ̄)q 2 θ (χ, u) u 2 du + W (χ)q 2 θ(χ̄, x)x 2 dx
2 1 1
q q
!
Z +∞ Z ∞
1 s
−1 1
−s 1−s
−1
= W (χ)W (χ̄) θ (χ, u) u 2 du + W (χ)q 2 θ(χ̄, x)x 2 dx
2 1 1
q q

τ (χ)τ (χ̄) χ(−1)|τ (χ)|2

Or W (χ)W (χ̄) = q = q = 1 d’après le lemme 5.2.1. Ainsi :

!
Z +∞ Z ∞
1
−s 1 s
−1 1
−s 1−s
−1
W (χ)q 2 ξ(χ̄, 1 − s) = θ (χ, u) u 2 du + W (χ)q 2 θ(χ̄, x)x 2 dx = ξ(χ, s)
2 1 1
q q

Cas d’un caractère primitif impair

Proposition 5.2.2 Soit χ un caractère impair non trivial. La fonction ξ définie par :
 
− s+1 s+1
ξ(χ, s) = π 2 Γ L(χ, s)
2

62
 est une fonction entière vérifiant l’équation fonctionnelle :

1
ξ(χ, s) = i−1 W (χ)q 2 −s ξ(χ̄, 1 − s)

Démonstration
La démonstration utilise la même technique que dans le cas pair : séparation de l’intégrale et
insertion d’une fonction θ : mais on ne peut pas utiliser la même fonction θ que dans le cas pair, qui
est nulle ici. On peut par exemple introduire la fonction :

2y
X
θ1 (χ, y) = nχ(n)e−πn
n∈Z

et démontrer une formule analogue à (3.9) qui nous permettra de faire un changement de variable
comme dans le cas précédent.

Formule générale

On introduit les notations :

– tχ = 0 si χ est pair et tχ = 1 si χ est impair
– (χ) = i−tχ W (χ)
On peut dans ce cas avoir une formule générale pour l’équation fonctionnelle :

Proposition 5.2.3 Soit χ un caractère de Dirichlet non trivial modulo q. La fonction ξ définie par :
 
−
s+tχ s + tχ
ξ(χ, s) = π 2 Γ L(χ, s) (5.6)
2

est une fonction entière vérifiant l’équation fonctionnelle :

1
ξ(χ, s) = (χ)q 2 −s ξ(χ̄, 1 − s)

5.2.2 Conséquences sur les propriétés des fonctions L

Prolongement des fonctions L

Si χ un caractère non trivial. On a pour σ > 1 par exemple :

s+tχ
ξ(χ, s)π 2
L(χ, s) =  
s+tχ
Γ 2

s+tχ
Comme Γ ne s’annule pas sur C,  1  est entière, de même que ξ(χ, s)π 2 .
s+tχ
Γ 2

L(χ, s) est donc prolongeable en une fonction entière sur C.

63
Croissance des fonctions L

Montrons que dans toute bande verticale finie A ≤ σ ≤ B les fonctions L sont à croissance
polynômiale : c’est-à-dire qu’il existe une fonction polynômiale P (s) telle que dans cette bande,

L(χ, s) = O (P (|s|))

Plus précisemment, on peut montrer la proposition suivante :

Proposition 5.2.4 (1) Pour σ > 1 on a pour tout χ et pout tout t ∈ R

 
1
|L(χ, σ + it)| ≤ ζ(σ) = O (5.7)
σ−1

(2) Soit A > 0. On a uniformément pour −A ≤ σ < 0 pour tout χ

 1

|L(χ, σ + it)| = O (q(|t| + 2)) 2 −σ (5.8)

(3) On a pour 0 ≤ σ ≤ 1 et pour tout χ

 
δ(χ) 1−σ
|L(χ, σ + it)| = O + (q(|t| + 2)) 2 + (5.9)
|s − 1|

pour tout  > 0 (la constante implicite du O dépendant de ). δ(χ) = 1 si χ est trivial, 0 sinon.

Démonstration
(1) L(χ, s) est dans ce cas somme d’une série de Dirichlet et
 
X
−σ 1
|L(χ, s)| ≤ n = ζ(σ) = O
σ−1
n≥1

lorsque σ > 1
(2) On
 utilise
 l’équation fonctionnelle pour se ramener au cas précédent. En notant γ(s) =
s+tχ
− s+tχ
π Γ 2
2 on a :

1 γ(1 − s)
L(χ, s) = (χ)q 2 −s L(χ̄, 1 − s)
γ(s)

Comme 1 < 1 − s < 1 + A, on a

 
1
−σ γ(1 − s)
L(χ, s) = O ζ(1 − σ)q 2
γ(s)

γ(1−s)
Et ζ(1 − σ) = O σ1 = O (1) dans la zone considérée. Evaluons maintenant


γ(s) à l’aide de la
formule de Stirling généralisée (3.11) :
Pour |t| ≥ 1 :

64
   σ+tχ −1   
s + tχ 1 t 2
−π 1
|t|
|Γ | = (2π) 2 e 1+O 2
2 2 t
  1−σ+tχ −1   
1 − s + tχ 1 t 2 |t| 1
|Γ | = (2π) 2 e−π 2 1 + O
2 2 t

tχ −σ−(σ+tχ −1)   
γ(1 − s) 1 t 2 1  1 1

= π σ− 2 1+O = O π σ− 2 (|t| + 2) 2 −σ
γ(s) 2 t

γ(1−s)
Comme γ(s) est bornée pour t ∈ [−1; 1], σ dans une bande verticale finie, pour tout t ∈ R :

γ(1 − s)  1 1

= O π σ− 2 (|t| + 2) 2 −σ
γ(s)

Et donc
 1

L(χ, s) = O (q(|t| + 2)) 2 −σ

(3) Pour montrer (3), on utilise le lemme d’analyse complexe suivant, qu’on ne démontrera pas
(pour le démontrer, on peut utiliser le principe de Phragmen-Lindelöf) :

Lemme 5.2.2 Soit f une fonction holomorphe sur une bande verticale A ≤ σ ≤ B et a, b tels que
A<a<b<B
Si on a les hypothèses suivantes :
– ∀t ∈ R, |f (a + it)| ≤ C(a)|s|D(a) et |f (b + it)| ≤ C(b)|s|D(b) , où C et D sont des constantes
dépendant de a ou b
– ∃α ≥ 0 tel que f (s) = O (exp(|s|α )) pour a ≤ σ ≤ b
Alors pour tout a ≤ σ ≤ b on a

|f (σ + it)| ≤ C(a)l(σ) C(b)1−l(σ) |s|l(σ)D(a)+(1−l(σ))D(b)

où l(σ) est la fonction affine vérifiant l(a) = 1 et l(b) = 0

Fixons  > 0. Montrons que L vérifie les hypothèses du lemme pour a = −, b = 1 +  et par
exemple A = −2, B = 1 + 2.
Pour la première hypothèse, on prend d’une part C(b) = ζ(1 + ) et D(b) = 0 (on se trouve dans
la zone du (1)) et pour a on est dans la zone du (2) donc on utilise (5.7) :

   1 + !
 1
+
 1
+ 2 2 1 1
|L(χ, − + it)| = O (q(|t| + 2)) 2 = O |t| 2 q 1+ ≤ C1 q 2 + |t| 2 +
|t|

1
on peut donc prendre C(a) = C1 q 2 + et D(a) = 1
2 + .
1 R∞ s 1−σ
 1

D’après la formule (5.5) on a ξ(χ, s) ≤ (1 + q 2 −σ ) 1 θ(x)(x 2 −1 + x 2
−1
)dx = O 1 + q 2 −σ si
q
le caractère est pair est non trivial (par exemple)

65
 s 1
!
π 2 (1 + q 2 −σ )
L(χ, s) = O
Γ 2s

D’après la formule de Stirling généralisée, dans une bande verticale allant de −2A à 2B :

σ
!
π2
L(χ, s) = O 1 |t|
= O (exp|σ + it|α )
σ− 12 −π 1



(2π) |t|
2 e 2 1+O t

π
pour tout α > 2 donc la deuxième hypothèse du lemme est vérifiée.
D’après le lemme on a alors dans la bande considérée (pour un caractère non trivial) :

1 1
 1

|L(σ + it)| ≤ (C1 q 2 + )l(σ) (ζ(1 + ))1−l(σ) |s|l(σ)( 2 +) = O (q|s|)( 2 +)l(σ)

1+ 1
Or l(σ) = 1+2 − 1+2 σ = K(1 − σ) dans cette bande :
 1

|L(σ + it)| = O (q|s| + 2)( 2 +)(1−σ)

En tenant compte du fait que χ peut être trivial, on obtient le majoration (5.9).

On a défini dans cette partie plusieurs fonctions ξ selon que la caractère χ est trivial ou non et
selon sa parité. Dans la suite, la fonction ξ désignera celle définie dans la formule (5.1) lorsque χ est
trivial, et celle définie dans la formule (5.6) dans le cas contraire.

Savoir que les fonctions L sont à croissance polynômiale sera utile par la suite, quand on parlera
de l’ordre de la fonction ξ (cf. partie 6.1.1)

66
 Sixième partie

Zéros des fonctions L

67
 Les résultats les plus délicats à montrer sont ceux concernant les zéros des fonctions L. A titre
d’exemple l’étude des zéros de la fonction ζ pose problème aux mathématiciens depuis plus d’un siècle.

Grâce à la formule du produit Eulérien, qui converge uniformément pour σ > 1, on sait que les
fonctions L ne s’annulent pas sur Re(s) > 1, mais ce qui nous intéresse est de trouver une zone à
gauche de 1 où elles ne s’annulent pas...

6.1 Zéros de fonctions holomorphes d’ordre 1

Une première propriété, vraie pour toutes les fonctions holomorphes est le fait qu’elles possèdent
un nombre dénombrable de zéros. En effet, dans tout compact, une fonction holomorphe a un nombre
fini de zéros (d’après le principe des zéros isolés) et l’ensemble des zéros de f peut s’écrire
[
E= {z ∈ C | |z| ≤ n et f (z) = 0}
n∈N

et est dénombrable car réunion dénombrable d’ensembles finis. On pourra ainsi étudier des suites des
zéros de f .
On ne connait pas d’autres résultats généraux sur les zéros des fonctions holomorphes, mais on
verra que pour une certaine catégorie de fonctions, celles d’ordre fini, on peut obtenir des résultats
utiles en appliquant la formule de Jensen.

6.1.1 Fonction d’ordre fini

Définition 6.1.1 Une fonction entière f est dite d’ordre fini s’il existe un réel α tel que lorsque
|z| = r → ∞

α
f (z) = O(er )

f est d’ordre ρ si ρ est la borne inférieure des réels α tels que l’assertion ci-dessus soit vraie. Si
f est d’ordre ρ on a alors, pour tout  > 0,

ρ+
f (z) = O(er )

La constante correspondant au O dépend bien sûr de .

Certaines fonctions bien connues sont d’ordre fini : les fonctions polynômiales sont d’ordre zéro, la
fonction exponentielle est d’ordre 1. Dans la suite, on s’intéressera surtout aux fonctions d’ordre 1.

Proposition 6.1.1 La fonction

f (s) = (s(s − 1))δ(χ) ξ(χ, s)

est une fonction entière d’ordre 1

68
 Démonstration
Si χ est non trivial, ξ est entière et si χ est trivial, ξ admet deux pôles simple en 0 et 1 donc f est
une fonction entière.
 1+ 
Soit  > 0. f vérifiant une équation fonctionnelle, il suffit de montrer qu’on a |f (s)| = O e|s|
uniformément sur σ > 0 par exemple.
Si σ > 1 ,

 
σ+tχ σ + tχ
|f (s)| ≤ |s(s − 1)|π − 2 Γ ζ(σ)
2
  
−|s|1+ −|s|1+ − σ2 σ + tχ
|f (s)|e = O |s|e π Γ
2

D’après la formule de Stirling

σ + tχ σ
   
σ + tχ
q
Γ ∼ 2π(σ + tχ )
2 2e

On a donc :

    
log(π) 1 1+
q
−|s|1+ − 21 |s|1+
|f (s)|e = O |s|e 2π(σ + tχ )exp σ log(σ + tχ ) − 2e − exp(− σ ) = O (1)
2 2
 1+ 
Ainsi, sur σ > 1, f (s) = O e|s|

Si 0 < σ ≤ 1, on utilise la formule de Stirling généralisée et le résultat (5.9) obtenu pour les
fonctions L :

  σ+tχ −1   
σ + tχ t 21 |t| 1
Γ = (2π) 2 e−π 2 1 + O
2 2 t
 
δ(χ) 1−σ
|L(χ, s)| = O + (q(|t| + 2)) 2 +
|s − 1|
 1+ 
On montre alors que dans 0 ≤ σ ≤ 1 on a aussi |f (s)| = O e|s| et on en déduit une majoration
de ce type pour s ∈ C.
f est donc d’ordre au plus 1.
P 1
Soit σ réel > 1. L(χ, σ) = 1 + → 1 lorsque σ → ∞.
n≥2 nσ
σ
On a donc lorsque σ tend vers l’infini f (σ) ∼ σ 2δ(χ) π − 2 Γ σ2 et d’après la formule de Stirling :

σ √  σ σ
f (σ) ∼ σ 2δ(χ) π − 2 πσ
2e
Et on voit alors que f (σ)e−σ n’est pas borné lorsque σ → ∞ donc f ne peut pas avoir un ordre
plus petit que 1.

69
6.1.2 Formule de Jensen

Soit f une fonction holomorphe. Si on se place sur un disque |z| < R, f possède un nombre fini de
zéros que l’on peut ranger dans l’ordre croissant de leurs modules : |z1 | ≤ |z2 | ≤ ... ≤ |zn |. Les zéros
sont comptés avec multiplicité. Dans la suite, on notera pour simplifier |zi | = ri .

La formule de Jensen fait un lien entre les modules de ces zéros et le comportement de f sur un
cercle les englobant :

Théorème 6.1.1 f une fonction analytique pour |z| < R avec f (0) 6= 0. Soient z1 , z2 , ...zn les zéros de
f dans ce disque et r1 , r2 , ..., rn leurs modules rangés dans l’ordre croissant. Soit r tel que rn < r ≤ R.
Alors :

2π
rn |f (0)|
  Z
1
log = log f (reiθ ) dθ
r1 r2 ...rn 2π 0

Démonstration
f holomorphe sur |z| < R peut s’écrire sous la forme :

n  
Y z
f (z) = 1− Φ(z)
zi
i=1

où Φ est une fonction holomorphe qui ne s’annule pas sur le disque de rayon R.
Nous allons d’abord montrer la formule de Jensen pour deux catégories de fonctions : celles qui ne
s’annulent pas et celles du type f (z) = 1 − zzi .

Cas où f ne s’annule pas

Dans ce cas, log(f (z)) est holomorphe sur |z| ≤ r et d’après la formule de Cauchy :

Z 2π
1
log(f (0)) = log(f (reiθ ))dθ
2π 0

f (0) = |f (0)| ei arg(f (0)) d’où log(f (0)) = log(|f (0)|) + i arg(f (0))

f (reiθ ) = f (reiθ ) ei arg(f (reiθ ) d’où log(f (reiθ )) = log( f (reiθ ) ) + i arg(f (reiθ ))

Ainsi on peut écrire :

Z 2π Z 2π
1 1
iθ
log(|f (0)|) + i arg(f (0)) = log f (re ) dθ + i arg(f (reiθ ))dθ
2π 0 2π 0

Et en identifiant les parties réelles on obtient la formule de Jensen :

Z 2π
1
log(|f (0)|) = log f (reiθ ) dθ
2π 0

70
 z
Cas où f (z) = 1 − z1

Evaluons le module de f (z) :

2 z 2 z1 2
|f (z)| = 1−
z1 z
r 2 r1 r1
|f (z)|2 = 2 (1 − ei(θ1 −θ) )(1 − e−i(θ1 −θ) )
r1 r r
  X ∞ ∞
r 1 r1 m im(θ1 −θ) X 1  r1 m −im(θ1 −θ)

log |f (z)|2 = 2 log − e − e
r1 m r m r
n=1 n=1
  ∞
r X 1 r1
  m
log |f (z)|2 = 2 log −2 cos(m(θ1 − θ))
r1 m r
n=1
  X ∞
r 1  r1 m
log |f (z)| = log − cos(m(θ1 − θ))
r1 m r
n=1

En intégrant :

Z 2π   ∞ Z 2π
1 iθ r X 1  r1 m 1
log f (re ) dθ = log − cos(m(θ1 − θ))dθ
2π 0 r1 m r 2π 0
n=1

L’intégrale du cosinus sur une période étant nulle on obtient :

  Z 2π
r 1
log = log f (reiθ ) dθ
r1 2π 0

Soit la formule de Jensen car f (0) = 1 :

  2π
r |f (0)|
Z
1
log = log f (reiθ ) dθ
r1 2π 0

Cas général
Q  
Soit f (z) = ni=1 1 − z
zi Φ(z). On pose gi (z) = 1 − z
zi

n 
!
rn |f (0)|
  
Y rgi (0)
log = log + log(Φ(0))
r1 r2 ...rn ri
i=1
n
rn |f (0)|
   
X rgi (0)
log = log + log(Φ(0))
r1 r2 ...rn ri
i=1

Or on sait la formule vraie pour les gi et pour Φ :

71
 n Z 2π Z 2π
rn |f (0)|
  X 1 1
log = log gi (reiθ ) dθ + log Φ(reiθ ) dθ
r1 r2 ...rn 2π 0 2π 0
i=1
Z 2π "X n
#
1
= log gi (reiθ ) + log Φ(reiθ ) dθ
2π 0
i=1
Z 2π
1
= log g1 ...gn Φ(reiθ ) dθ
2π 0
Z 2π
1
= log f (reiθ ) dθ
2π 0

Corollaire 6.1.1 Soit n(x) le nombre de zéros de f à l’intérieur du disque fermé |z| ≤ x.

Z r Z 2π
n(x) 1
dx = log f (reiθ ) dθ − log |f (0)|
0 x 2π 0

Démonstration
D’après la formule de Jensen,

2π
rn
Z  
1 iθ
log f (re ) dθ − log |f (0)| = log
2π 0 r1 r2 ...rn
 
rn
Rr n(x)
Il reste donc à montrer que log r1 r2 ...rn = 0 x dx

n
rn
  X
log = n logr − log(ri )
r1 r2 ...rn
i=1
Xn
= n log(r) − log(ri )(i − (i − 1))
i=1
n−1
X
= n(rn )(log(r) − log(rn )) + i(log(ri+1 ) − log(ri ))
i=1
Z r n−1 Z ri+1
n(x) X 1
= n dx + n(ri ) dx
rn x ri x
i=1
Z r
n(x)
= dx
0 x

6.1.3 Application aux fonctions d’ordre 1

Le théorème suivant est un résultat important sur les fonctions d’ordre 1 :

72
Théorème 6.1.2 Soit f une fonction entière d’ordre 1. Alors
1. Les zéros non nuls (ρn ) de f vérifient
X 1
< +∞
|ρ |1+
n∈N n

pour tout  > 0

2. De plus pour tout z ∈ C
Y z

z
a+bz
f (z) = e 1− eρ
ρ
ρ6=0

où ρ parcourt l’ensemble des zéros non nuls de f et où a et b sont des constantes complexes.

Démonstration
Montrons d’abord que si on note n(x) comme dans le corollaire 6.1.1 on a n(r) = 0(r1+ ) pour
tout  > 0. Ce résultat montre donc qu’une fonction d’ordre 1 a relativement peu de zéros dans une
région donnée...
f est d’ordre 1 donc ∀ > 0, il existe une constante A telle que ∀z ∈ C,
1+
f (reiθ ) ≤ A (er )

Soit  positif. On a pour tout z = reiθ :

log f (reiθ ) ≤ log(A )r1+

D’après le corollaire 6.1.1

Z r
n(x)
dx < log(A )r1+ + |log(f (0))|
0 x
Rr n(x)
Il existe donc une constante K telle quelle que 0 x dx < Kr1+ pour tout r > 0. Par ailleurs :

Z 2r Z 2r
n(x) 1
dx ≥ n(r) dx = n(r)log(2)
r x r x

Donc :

Z 2r Z 2r
1 1 1 1 1
n(r) ≤ dx ≤ dx ≤ Kr1+
log2 r x log2 0 x log2

On a donc n(r) = 0(r1+ ).

En notant P(ρn ) la suite des zéros (avec multiplicité) non nuls de f , de modules croissants, montrons
que la série n≥1 |ρ 1|1+ converge.
n
Soit  > 0. Il existe A > 0 tel que pour tout r > 0, n(r) < Ar1+ . On a donc en prenant r = |ρn |,
sachant que n(|ρn |) = n,

1 1
1+ < A n1+
|ρn |

73
 Et la série converge, son terme général étant majoré par celui d’une série de Riemann convergente.

Pour la démonstration de la deuxième partie de la proposition, considérons le produit infini :

Y z

z
g(z) = 1− e ρn
ρn
n∈N
 z z
− z
  
Ce produit converge uniformément car la série de terme général 1− 1 − ρzn e ρn = e ρn 1 − ρzn − e ρn
converge uniformément sur tout compact.
− z
   2
En effet, 1 − ρzn − e ρn = o ρz2 lorsque n → ∞, terme général d’une série qui converge
n
uniformément sur tout compact.
On montre que la fonction h(z) = fg(z)(z)
est une fonction entière d’ordre au plus 1. De plus, h ne
s’annule pas car f et g ont même zéros avec la même multiplicité.
On peu alors définir log(h(z)), fonction entière développable en série de Taylor au voisinage de
l’origine :
X∞
log(h(z)) = bn z n
n=0

Or log |f (z)| = O(r1+ ) implique que pour tout n ≥ 0, bn rn = O(r1+ ). Donc pour n ≥ 2,bn = 0.
Ainsi log(h(z)) = az + b et h(z) = eaz+b .
On a donc f (z) = g(z)eaz+b .

6.2 Zéros triviaux des fonctions L

On présente ici des résultats sur certains zéros des fonctions L associées à des caractères primitifs.

Proposition 6.2.1 L(χ, s) n’a pas de zéros sur le demi-plan σ > 1

Démonstration
Ce résultat est évident par la formule du produit Eulérien : L(χ, s) se présente pour σ > 1 comme
une produit infini absolument convergent donc aucun facteur n’est nul : le produit n’est donc pas nul.

Proposition 6.2.2 Si χ est primitif et pair, alors L(χ, s) a des zéros en s = −2k, k ≥ 1. Si χ est
non trivial, L(χ, s) s’annule également en s = 0

Démonstration
1er cas : χ est trivial
s
ξ(s) = π − 2 Γ 2s ζ(s)
est méromorphe avec des pôles simples en s = 0 et s = 1. Γ a des pôles

en −k, k ∈ N, donc Γ 2s a des pôles en −2k, k ∈ N. Λ étant holomorphe en −2k, k ∈ N∗ on a

nécessairement des zéros de ζ en ces points.
2eme cas : χ est non trivial
s
ξ(χ, s) = π − 2 Γ 2s Λ(χ, s) est holomorphe : comme Γ 2s a des pôles en −2k, k ∈ N, L(χ, s), pour

que ξ soit holomorphe en ces points, on doit avoir L(χ, −2k) = 0 pour tout k ∈ N.

74
Proposition 6.2.3 Si χ est primitif et impair, alors L(χ, s) a des zéros en s = −2k − 1, k ∈ N.

Démonstration
La raisonnement est le même que dans la démonstration de la proposition précédente, en utilisant
s+1
cette fois la fonction entière ξ(χ, s) = π − 2 Γ s+1


2 L(χ, s)

Proposition 6.2.4 Pour tout χ primitif, il existe une infinité de zéros de L(χ, s) satisfaisant s 6= 0
et 0 ≤ σ ≤ 1.

Démonstration
Montrons que f (s) = (s(s − 1))δ(χ) Λ(χ, s) admet une infinité de zéros dans o ≤ σ ≤ 1 : ces zéros
correspondent alors à un zéro de L(χ, s) puisque le facteur Γ n’en a pas dans la région considérée.
f est d’ordre 1. D’après le théorème 6.1.2 il existe des constantes a et b telles que
 
a+bz
Y z z
f (z) = e 1− eρ
ρ
ρ zero6=0

f (1 − s) = f (s), les zéros sont donc symétriques par rapport à la droite σ = 12 . Or si σ > 1, f n’a
pas de zéro (car ni Γ, ni L n’en ont). On peut donc réécrire
 
a+bz
Y z z
f (z) = e 1− eρ
ρ
ρ zero6=0
0≤Re(ρ)≤1

Si ces zéros sont en nombre finis, il existe une constante b0 et une fonction polynômiale P telles
que

0
f (s) = ea+b s P (s)
√ σ σ f (σ)
Or on a déjà vu que f (σ) ∼ σ 2δ(χ) πσ 2e


et alors P (σ)e a+b0 σ tend vers l’infini lorsque σ → ∞,

ce qui est impossible.

Les zéros évoqués dans les propositions 6.2.2 et 6.2.3 sont appelés zéros triviaux des fonctions
L associées à des caractères primitifs. Les zéros triviaux sont des zéros de L(χ, s) mais pas de ξ(χ, s) :
ce sont en quelque sorte des zéros qui « compensent »les pôles de Γ pour que ξ soit holomorphe.
Les autres zéros éventuels des fonctions L sont appelés zéros non triviaux.

6.3 Zéros non triviaux

Le but de cette section est d’expliciter une zone sans zéros pour L un peu à gauche de 1, où la
0 (χ,s) 0 (χ,s)
fonction LL(χ,s) sera alors holomorphe. Nous établirons également une majoration de LL(χ,s) dans cette
zone, qui nous sera utile dans la démonstration du théorème des nombres premiers en progression
arithmétique.
Dans cette partie, on prendra la notion ρ = β + iγ pour désigner un zéro non trivial de L. Comme
les zéros triviaux n’annulent pas ξ à cause des pôles de Γ, et que par ailleurs la fonction Γ ne s’annule
pas, les zéros non triviaux correspondent exactement aux zéros de ξ(χ, s) (et donc de f (χ, s)).

75
Résultats préliminaires sur les zéros non triviaux de L

Lemme 6.3.1 q ≥ 1, χ un caractère primitif modulo q.

Il existe un nombre b(χ) ∈ C tel que pour tout s ∈ C qui n’est ni zéro ni pôle de L(χ, s) on ait :

L0 (χ, s) 1 Γ0 s + tχ
  X 1   
1 1 1 1
− = δ(χ) + − + + − log(π) − b(χ) (6.1)
L(χ, s) s s−1 s−ρ ρ 2Γ 2 2
ρ6=0

où on fait la somme sur les zéros non triviaux de L(χ, s)

Démonstration
D’après la proposition 6.1.1, f (s) = ((s − 1)s)δ(χ) ξ(χ, s) est une fonction entière d’ordre 1. Et
d’après le théorème 6.1.2 sur les fonctions holomorphes d’ordres 1, il existe a et b tels que :
  Y 
δ(χ) −
s+tχ s + tχ a+bs s s
((s − 1)s) π 2 Γ L(χ, s) = e 1− eρ
2 ρ
ρ6=0

où on fait le produit sur les zéros de f , donc sur les zéros non triviaux de L.
En prenant la dérivée logarithmique, pour s ni zéro ni pôle de L :

1 Γ0 L0 (χ, s)
     
1 1 1 s + tχ X 1 1 s
δ(χ) + − log(π) + + =b+ + eρ
s s−1 2 2Γ 2 L(χ, s) s−ρ ρ
ρ6=0

D’où la formule (6.1) : la constante b dépend en fait de χ.

Lemme 6.3.2 Soit χ un caractère primitif. Notons ρ = β + iγ les zéros de ξ(χ, s) (zéros non triviaux
de L). Il vérifient les propriétés suivantes :
(1) 0 ≤ β ≤ 1
(2) ρ est un zéro de ξ(χ, s) ssi ρ̄ est un zéro de ξ(χ̄, s), ssi 1 − ρ est un zéro de ξ(χ̄, s).
(3) Pour tout  > 0, la série suivante converge absolument :

X 1
|ρ|1+
ρ6=0

(4) Pour tout s ∈ C qui n’est pas un zéro de ξ(χ, s), la série suivante converge absolument :
 
X 1
Re
s−ρ
ρ6=s

(5) Si b(χ) est le nombre complexe défini dans le lemme précédent, on a :

 
1 X 1
Re(b(χ)) = − log(q) − Re (6.2)
2 ρ
ρ6=0

76
 Démonstration
(1) Comme L ne s’annule pas sur σ >, ξ ne s’annule pas dans cette zone. L’équation fonctionnelle
nous montre aussi que ξ ne s’anulle pas sur σ < 0. Les zéros de ξ sont donc situés dans la « bande
critique » 0 ≤ σ ≤ 1.
(2) Comme L(χ̄, s) = L(χ, s̄), on a aussi ξ(χ̄, s) = ξ(χ, s̄) et donc par l’équation fonctionnelle on a
le résultat souhaité
(3) Comme la fonction f est d’ordre 1, d’après la partie 1 du théorème 6.1.2, la série ρ6=0 |ρ|11+
P

converge absolument, en sommant sur les zéros non nuls de f . Or ξ et f ont les même zéros.
1 s−ρ
(4) s−ρ = |s−ρ|2
donc
   
1 |Re(s − ρ)| 1
Re = =O
s−ρ |s − ρ|2 |ρ|2
P 1
La constante du O dépend de s, fixé. Or d’après la partie (3) de ce lemme, ρ6=0 |ρ|2 < ∞ donc
 
X 1
Re < ∞
s−ρ
ρ6=s

(5) Soit χ non trivial (la cas trivial se traite de manière similaire). D’après l’équation fonctionnelle :

1
ξ(χ, s) = (χ)q 2 −s ξ(χ̄, 1 − s)

En prenant la dérivée logarithmique :

ξ 0 (χ, s) ξ 0 (χ̄, 1 − s) 1
− + = − log(q)
ξ(χ, s) ξ(χ̄, 1 − s) 2

Or d’après le lemme précédent :

ξ 0 (χ, s)
 
X 1 1
= b(χ) + +
ξ(χ, s) s−ρ ρ
ρ6=0

En remplaçant dans l’équation précédente :

X 1 1 1 1

b(χ) + b(χ̄) + + + + = −log(q)
s − ρ ρ 1 − s − ρ̄ ρ̄
ρ6=0

D’après (2) on peut en effet noter ρ̄ les zéros de ξ(χ̄, s) où ρ désigne ceux de ξ(χ, s). Comme
L(χ̄, s) = L(χ, s̄), on voit en appliquant (6.1) à χ̄ que b(χ̄) = b(χ), donc :

X 1 1 1 1

2Re(b(χ)) = − + + + − log(q)
s − ρ ρ 1 − s − ρ̄ ρ̄
ρ6=0

 
1 1 1
s−ρ + 1−s−ρ̄ =O |ρ|2
: cette série converge absolument, on peut donc réordonner les termes :

1 1 1 1
+ = −
s − ρ 1 − s − ρ̄ s − ρ (1 − ρ̄) − s

77
  
P 1 1
Et 1 − ρ̄ est zéro de ξ(χ, s) d’après (2) donc ρ6=0 s−ρ + 1−s−ρ̄ = 0. Finalement :

1 X1
Re(b(χ)) = − log(q) −
2 ρ
ρ6=0

Lemme important

Lemme 6.3.3 Soit q ≥ 1 et χ un caractère primitif modulo q.

(1) Soit T ≥ 0. Le nombre m(T, χ) de zéros de L(χ, s) tels que 0 ≤ β ≤ 1 et T ≤ γ ≤ T + 1 vérifie

m(T, χ) = O (log(q(T + 2))) (6.3)

(2) Pour 0 ≤ σ ≤ 2, et s n’étant ni zéro ni pôle de L(χ, s) on a :

L0 (χ, s)
 
1 1 X 1
− = δ(χ) + − + O (log(q|s|)) (6.4)
L(χ, s) s s−1 s−ρ
|s−ρ|≤1

(3) Soit σ ≥ 1. Alors pour tout sous-ensemble fini X de zéros non triviaux ρ de L(χ, s) on a

L0 (χ, s)
     
X 1 1
Re < Re + δ(χ)Re + O (log(q|s|)) (6.5)
s−ρ L(χ, s) s−1
ρ∈X

Dans ces trois assertions, les constantes correspondant aux O sont absolues.

Démonstration
(1) Posons s = 2 + iT avec T ≥ 2. On a

L0 (χ, s) ζ 0 (2)
  X
Re ≤ Λ(n)n−2 = − = O (1)
L(χ, s) ζ(2)
n≥1

Grâce à la formule de Stirling dérivée (3.12) on a par ailleurs, pour s quelconque dans 0 ≤ σ ≤ 2 :

Γ0
 
s + tχ
= O (log(1 + |t|))
Γ 2

On rappelle
 que pour tout ρ, 0 ≤ β ≤ 1. On sait d’après le lemme 6.3.2 que la série de terme
1
général Re s−ρ converge. Minorons maintenant cette série :
 
1 2−β 1
Re = 2 2
≥
s−ρ (2 − β) + (T − γ) 4 + (T − γ)2
 
1 1
Si γ ∈ [T ; T + 1] alors (T − γ)2 ≤ 1 et Re s−ρ ≥ 5
 
1 1 1
Si γ ∈
/ [T ; T + 1] alors (T − γ)2 > 1 et Re s−ρ ≥ 4(T −γ)2 +(T −γ)2
= 5|t−γ|2

78
    
1
Ainsi, Re s−ρ ≥ 15 min 1, |T −γ|
1
2

En prenant la partie réelle de (6.1) :

   
X 1 X 1
min 1, ≤ 5 Re
|T − γ|2 s−ρ
ρ6=0 ρ6=0
 
L0 (χ, s) 1 Γ0
    
s + tχ 1 X1
= 5 Re + Re − log(π) − Re(b(χ)) − 
L(χ, s) 2 2Γ 2 ρ
ρ6=0
 
X1
= O 1 + log(T ) + Re(b(χ)) + 
ρ
ρ6=0

1
= 12 log(q) donc
P
D’après la formule (5) du lemme 6.3.2, Re(b(χ)) + ρ6=0 ρ

 
X 1
min 1, = O (log(qT )) (6.6)
|T − γ|2
ρ6=0

D’autre part,
 
X 1 X X 1
min 1, = 1+ = m(χ, T ) + A
|T − γ|2 |T − γ|2
ρ6=0 ρ6=0 ρ6=0
T ≤γ≤T +1 γ ∈[T
/ ;T +1]

A est une constante positive donc a fortiori, m(χ, T ) = O (log(qT ))

(2) Ecrivons la dérivée logarithmique de L de la manière suivante :

L0 (χ, s) L0 (χ, s) L0 (χ, 2 + it)

− =− + + O (1)
L(χ, s) L(χ, s) L(χ, 2 + it)

On utilise cette écriture pour supprimer la constante b(χ) intervenant dans le développement de
la formule (6.1) :

L0 (χ, s)
X 1     X 
1 1 1 1 1 1 1
− = δ(χ) − + + − δ(χ) + + + + O (1)
L(χ, s) s s−1
s−ρ ρ 2 + it 1 + it 2 + it − ρ ρ
ρ6=0 ρ6=0
  X   
1 1 1 1 1 1
= δ(χ) + + − − δ(χ) + + O (1)
s s−1 2 + it − ρ σ + it − ρ 2 + it 1 + it
ρ6=0
  X 
1 1 1 1
= δ(χ) + + − + O (log|t|) (6.7)
s s−1 2 + it − ρ σ + it − ρ
ρ6=0

Dans la somme sur les zéros, considérons séparemment les zéros proches de s, càd ceux vérifiant
|s − ρ| ≤ 1 et les zéros tels que |s − ρ| ≥ 1.
Si |s − q| ≥ 1, on a :
– |s − q|2 = (σ − β)2 + (t − γ)2 ≥ |t − γ|2 donc |s − q| ≥ |t − γ| Ainsi, |s − q| ≥ max(1, |t − γ|)

79
 – |2 + it − q|2 = (2 − β)2 + (t − γ)2 ≥ |t − γ|2 donc |2 + it − q| ≥ |t − γ|
Comme il n’y a aucun zéro dans la bande 1 < σ ≤ 2 on a de plus |2 + it − q|2 ≥ 1. Ainsi,
|2 + it − q| ≥ max(1, |t − γ|)
 
1 1 |2 − σ| 1
− = ≤ 2 min 1,
2 + it − ρ σ + it − ρ |s − ρ||2 + it − ρ| |t − γ|2

X  1 1
 X 
1

− ≤2 min 1, = O (log(q|t|)) (6.8)
2 + it − ρ σ + it − ρ |t − γ|2
|s−ρ|>1 ρ6=0

d’après l’équation (6.6)

P 1
Estimons maintenant |s−ρ|≤1 2+it−ρ . Comme on l’a déjà vu précédemment, pour tout ρ on a
1
|2 + it − ρ| ≥ 1 car il n’y a pas de zéro à droite de 1. Donc 2+it−ρ ≤ 1. Alors :

X 1
≤ Card{ρ | |s − ρ| ≤ 1} ≤ m(t, χ) = O (log(q|t|) (6.9)
2 + it − ρ
|s−ρ|≤1

d’après (6.3). Reprenons maintenant l’équation (6.7) :

L0 (χ, s)
  X X  1 
1 1 1 X 1 1
− = δ(χ) + − + + + +O (log(q|t|))
L(χ, s) s s−1 s−ρ 2 + it − ρ s − ρ 2 + it − ρ
|ρ−s|≤1 |ρ−s|≤1 |ρ−s|>1

Compte tenu de (6.8) et (6.9) on a alors :

L0 (χ, s)
 
1 1 X 1
− = δ(χ) + − + O (log(q|s|))
L(χ, s) s s−1 s−ρ
|ρ−s|≤1

(3) Prenons maintenant s tel que σ ≥ 1

 
1 σ−β
Re = ≥0 (6.10)
s−ρ |s − ρ|2

En prenant la partie réelle dans la formule (6.4) :

L0 (χ, s)
        
X 1 1 1
Re = Re + δ(χ) Re + Re + O (log(q|s|))
s−ρ L(χ, s) s s−1
|ρ−s|≤1

1 σ


Et Re s = σ 2 +t2
≤ 1.
Soit X un sous-ensemble fini de zéros de L et soit X 0 = X ∩ {ρ tq|s − ρ| ≤ 1}. Comme les sommes
sont à termes positifs d’après (6.10), on peut écrire :

L0 (χ, s)
       
X 1 X 1 1
Re ≤ Re = Re + δ(χ)Re + O (log(q|s|))
s−ρ s−ρ L(χ, s) s−1
ρ∈X 0 |ρ−s|≤1

80
    
X 1 X 1 X 1
Re ≤ Re ≤ = O (log(q|s|))
s−ρ s−ρ s−ρ
ρ∈X−X 0 |ρ−s|>1 |ρ−s|>1

Finalement,

L0 (χ, s)
     
X 1 1
Re = Re + δ(χ)Re + O (log(q|s|))
s−ρ L(χ, s) s−1
ρ∈X

Zone sans zéros pour L

Grâce aux lemmes précédents, on peut maintenant démontrer ce théorème :

Théorème 6.3.1 Soit q ≥ 1. Il existe une constante c > 0 telle que pour tout caractère χ modulo q,
la fonction L(χ, s) n’a pas de zéro pour s = σ + it dans la région :

1
σ >1− = 1 − 2σ(t) (6.11)
c(log(q(|t| + 2)))

De plus, pour s dans la région

σ ≥ 1 − σ(t) (6.12)

on a le majoration
L0 (χ, s)
 
δ(χ)
+ O log 2 (q|s|)


=O (6.13)
L(χ, s) |s − 1|

où les constantes implicites sont absolues

La figure suivante montre la zone sans zéro que l’on obtient alors :

81
 Démonstration
Pour σ > 1 on a :

L0 (χ, s) X
− = Λ(n)χ(n)n−s
L(χ, s)
n≥1
 0 
L (χ, s) X
−Re = Λ(n)Re(χ(n)n−it )n−σ
L(χ, s)
n≥1

3|z|+4Re(z)+Re(z 2 ) = |z|(3+4cos(θ)+cos(2θ)) = |z|(2+4cos(θ)+2cos2 (θ)) = 2|z|(cos(θ)+1)2 ≥ 0

Cette inégalité appliquée à z = χ(n)n−it , de module 1 donne

3 + 4Re(χ(n)n−it ) + Re(χ2 (n)n−2it ) ≥ 0

En multipliant par n−σ et on sommant sur n on obtient, pour σ > 1 :

ζ 0 (σ) L0 (χ, σ + it) L0 (χ2 , σ + 2it)

     
−3Re − 4Re − Re ≥0 (6.14)
ζ(σ) L(χ, σ + it) L(χ2 , σ + 2it)

Soit X un sous-ensemble de zéros non triviaux de L(χ, s). Appliquons maintenant la formule (6.5) :

L0 (χ, σ + it)
     
X 1 1
4 Re < 4Re + 4δ(χ)Re + O (log(q|s|))
σ + it − ρ L(χ, σ + it) σ + it − 1
ρ∈X
 0   0 2   
ζ (σ) L (χ , σ + 2it) 1
< −3Re − Re + 4δ(χ)Re + O (log(q|s|))
ζ(σ) L(χ2 , σ + 2it) σ + it − 1

d’après (6.14). On réapplique maintenant la formule (6.5) aux caractères 1 et χ2 en choisissant

pour ensemble fini de zéros X = ∅ :

ζ 0 (σ)

  
1
0 < Re + Re + O (log(q|s|))
ζ(σ) σ−1
 0 2   
L (χ , σ + 2it) 2 1
0 < Re + δ(χ )Re + O (log(q|s|))
L(χ2 , σ + 2it) σ + 2it − 1

D’où finalement la formule :

     
X 1 3 1 2 1
4 Re ≤ + 4δ(χ)Re + δ(χ )Re + O (log(q|s|))
σ + it − ρ σ−1 s−1 σ − 1 + 2it
ρ∈X

Précisons le terme d’erreur. Il existe une constante c > 0 telle que pour l(t) = c log(q(|t| + 2)) :

     
X 1 3 1 2 1 1
4 Re ≤ + 4δ(χ)Re + δ(χ )Re + l(t) (6.15)
σ + it − ρ σ−1 s−1 σ − 1 + 2it 2
ρ∈X

82
 Comme L(χ, 1) 6= 0 pour tout χ non trivial et que ζ possède un pôle en 1, il existe 0 <  ≤ 21 tel
que pour tout χ modulo q, L(χ, s) ne s’annule pas dans le carré suivant de centre 1 et de côté 2 :

On s’intéresse maintenant aux zéros éventuels de L situés dans la zone 1− ≤ σ ≤ 1. Soit ρ = β +iγ
un zéro quelconque dans cette région.
Prenons s = σ + it avec 1 < σ ≤ 2 et t = γ. On a |t| >  et (s − ρ) ∈ R.
 
1 4(σ − 1) 2 1
4Re = 2 2
< 2 ≤ l(t)
s−1 (σ − 1) + t  4

pour c assez grand. De même on a

 
1 1
Re ≤ l(t)
σ − 1 + 2it 4

Prenons maintenant pour ensemble X dans la formule (6.15) la singleton X = {ρ} :

 
1 3
4Re ≤ + l(γ)
(σ + iγ) − (β + iγ) σ−1
4 3
≤ + l(γ)
σ−β σ−1

1
Cette formule devient fausse pour σ proche de 1 si β est trop proche de 1. Posons σ = 1 + 2l(γ)

4
≤ 7l(γ)
σ−β
4 1
≤ 1−β+
7l(γ) 2l(γ)
1
β ≤ 1−
14l(γ)

On a donc une relation entre la partie réelle et la partie imaginaire d’un zéro non trivial. Il n’y a
pas de zéro pour s = σ + it dans la zone :
1
σ ≥1− et |t| > 
14clog(q(|t| + 2))

1
Pour c assez grand, on a même 14clog(2q) ≤  et dans ce cas, la formule devient aussi valable pour
|t| ≤ . Ainsi, il existe c tel que dans la région suivante, L(χ, s) n’admet pas de zéro :
1
σ ≥1−
clog(q(|t| + 2))

83
 Soit s = σ + it dans la zone σ ≥ 1 − σ(t). s n’est pas zéro de L(χ, s) et on a d’après (6.4) :

L0 (χ, s)
 
1 1 X 1
− = δ(χ) + − + O (log(q|s|))
L(χ, s) s s−1 s−ρ
|s−ρ|≤1

où la constante implicite est indépendante de χ (possible car il y φ(q) caractères mod q)
Si ρ vérifie |γ − t| > 1, le zéro est tel que |s − ρ| > 1, donc on ne prend en compte dans la somme
ci-dessus que les zéros de L situés dans la bande horizontale
t−1≤γ ≤t+1
Soit t ≥ 1

Dans la zone t − 1 ≤ γ ≤ t, on a |s − ρ| ≥ σ(t) et au plus m(t − 1, χ) zéros

Dans la zone t ≤ γ ≤ t + 1 on a |s − ρ| ≥ σ(t + 1) et au plus m(t, χ) zéros

X 1 X 1 1 1
≤ ≤ m(t − 1, χ) × + m(t, χ) ×
s−ρ |s − ρ| σ(t) σ(t + 1)
|s−ρ|≤1 |s−ρ|≤1

≤ K log(q(t + 2))log(q(t − 1 + 2)) + K 0 log(q(t + 1 + 2))log(q(t + 2))

= O log 2 (q|s|)

d’après (6.3)

P 1 P 1
Si t ≤ 1, |s−ρ|≤1 s−ρ ≤ |s̄−ρ̄≤1 |s−ρ| et on se ramène au cas précédent.

1 1
Comme de plus |s| ≥ 1 −  ≥ 2 on a s = O (1). Ainsi :

L0 (χ, s)
 
δ(χ)
+ O log 2 (q|s|)


− =O
L(χ, s) |s − 1|

84
 Septième partie

Théorèmes des nombres premiers

85
 Soit q et a deux entiers premiers entre eux.

7.1 Le théorème des nombres premiers

Nous allons montrer le théorème suivant, équivalent au théorème des nombres premiers, comme
on l’a vu dans la partie 3.2 :

Théorème 7.1.1 Lorsque x tend vers l’infini, ψ(x) ∼ x

Nous allons d’abord montrer que ∀t ∈ R, ζ(1 + it) 6= 0 puis nous verrons que le théorème précédent
est équivalent à cette non-annulation de la fonction ζ sur la droite de partie réelle 1.
Avec un tel résultat sur la fonction zeta de Riemann on montre, comme on le verra :

ψ(x) = x + o(x)

Mais pour obtenir un terme d’erreur plus précis que le o(x) ci-dessus, il faut trouver une zone
une peu à gauche de la droite σ = 1 sur laquelle ζ ne s’annule pas. On pourra alors déplacer le
contour d’intégration vers la gauche et obtenir le terme d’erreur grâce à des majoration de la dérivée
0 (s)
logarithmique − ζζ(s) dans de telles zones.

7.1.1 Non annulation de ζ sur σ = 1

Proposition 7.1.1 Pour σ > 1 on a

ζ 3 (σ)ζ 4 (σ + it)ζ(σ + 2it) ≥ 1 (7.1)

Démonstration
On se place sur le domaine σ > 1. ζ(s) 6= 0 , à cause de la formule du produit infini. On peut donc
définir log(ζ(s)).

Y 1
ζ(s) =
1 − p−s
p∈P
X 1
log(ζ(s)) = log( )
1 − p−s
p∈P
X
log(ζ(s)) = −log(1 − p−s )
p∈P

Comme |p−s | < 1, on a

X X (p−s )n X X p−sn
log(ζ(s)) = =
n n
p∈P n≤1 p∈P n≤1
 
X X p−sn
ζ(s) = exp  
n
p∈P n≤1

86
 Si s = exp(z), |s| = exp(Re(z)), donc :

  
X X p−sn
|ζ(s)| = exp Re  
n
p∈P n≤1
 
p−sn 
XX  
|ζ(s)| = exp  Re
n
p∈P n≤1

Or :

p−sn p−σn p−itn p−σn

= = exp(−itnlog(p))
n n n
p−σn
= (cos(nlog(p)t) − i sin(nlog(p)t))
n

Donc :
 
X X cos(nlog(p)t)
|ζ(s)| = exp  
npσn
p∈P n≤1

Et pour tout k ∈ N on a alors

 
X X k cos(nlog(p)t) 
|ζ(s)|k = exp 
npσn
p∈P n≤1

Et finalement, grâce aux propriétés de l’exponentielle on a :

ζ 3 (σ)ζ 4 (σ + it)ζ(σ + 2it) = |ζ(σ)|3 |ζ(σ + it)|4 |ζ(σ + 2it)|

 
X X 3 + 4cos(nlog(p)t) + cos(2nlog(p)t)
= exp  
npσn
p∈P n≤1

Posons φ = nlog(p)t. Alors 3 + 4cos(φ) + cos(2φ) ≥ 0. En effet :

3 + 4cosφ + cos(2φ) = 3 + 4cosφ + 2cos2 φ − 1

= 2(1 + 2cosφ + cos2 φ
= 2(1 + cosφ)2 ≥ 0

L’argument de l’exponentielle est donc positif d’où ζ 3 (σ)ζ 4 (σ + it)ζ(σ + 2it) ≥ 1.

Corollaire 7.1.1 Pour tout t ∈ R, ζ(1 + it) 6= 0

87
 Démonstration
Prenons σ > 1 et supposons qu’il existe t0 ∈ R∗ tel que ζ(1 + it0 ) = 0.

ζ 4 (σ + it0 )
 
3 4 3 3


ζ (σ)ζ (σ + it0 )ζ(σ + 2it0 ) = ζ (σ)(σ − 1) (ζ(σ + 2it0 )(σ − 1))
(σ − 1)4

Lorsque σ → 1, ζ 3 (σ)(σ − 1)3 est borné car ζ 3 possède un pôle d’ordre exactement 3 en 1. L’ex-
4 (σ+it )
pression ζ (σ−1) 4
0
est également bornée car ζ 4 possède un zéro d’ordre au moins 4 en 1 + it0 . Et
|ζ(σ + 2it0 )(σ − 1)| → 0 lorsque σ → 1.
Ainsi ζ 3 (σ)ζ 4 (σ + it)ζ(σ + 2it) → 0 lorsque σ → 1. En contradiction avec la proposition 7.1.1.

7.1.2 Démonstration du théorème des nombres premiers

La non-annulation de ζ que nous venons de prouver suffit à démontrer le théorème des nombres
premiers. Nous allons pour cela utiliser le théorème suivant, dû à Wiener et Ikehara, que nous admet-
trons.

ThéorèmeR7.1.2 (Théorème de Wiener-Ikehara) Soit α une fonction positive et croissante telle

∞
que f (s) = 0 e−su α(u)du soit définie pour σ > a > 0.
A
Si il existe A > 0 tel que f (s) − s−a soit holomorphe sur la droite σ = a. Alors

α(u) ∼ Aeau
u→∞

D’après la formule (3.1) on a l’expression suivante de la dérivée logarithmique de ζ :

∞
ζ 0 (s)
Z
ψ(x)
− =s dx
ζ(s) 1 xs+1

On obtient après le changement de variable x = eu :

∞
ζ 0 (s)
Z
− =s ψ(eu )e−su dx
ζ(s) 0

Donc

∞
1 ζ 0 (s)
Z
f (s) = e−su ψ(eu )dx = −
0 s ζ(s)
1
La fonction f (s) − s−1 est holomorphe sur σ = 1 car au vu de la non annulation de ζ sur cette
ζ 0 (s)
droite, la fonction − ζ(s) est méromorphe sur σ ≥ 1 avec un unique pôle simple en 1 de résidu 1.
D’après le théorème de Wiener-Ikehara, on a alors

ψ(eu ) ∼ eu
u→∞

88
 ψ(x)
On a donc lim x = 1 soit :
x→∞

ψ(x) ∼ x
x→∞

7.1.3 Equivalence avec la non-annulation de ζ

On a vu que ζ(1 + it) 6= 0 implique le théorème des nombres premiers, nous allons voir maintenant
que le théorème des nombres premiers implique que ζ(1 + it) 6= 0. Ces deux résultats sont donc
équivalents.

Proposition 7.1.2 Si ψ(x) ∼ x lorsque x → ∞, alors ζ(1 + it) 6= 0 pour tout t ∈ R

Démonstration
0
Soit t 6= 0. Nous allons montrer que la fonction ζζ(σ+it)
(σ+it)
n’admet pas de pôle lorsque σ → 1 : on
0
aura alors le résultat puisque le numérateur ζ (s) n’admet pas de pôle en s = 1 + it si t 6= 0.
On a pour s = σ + it avec σ > 1 et t 6= 0 , d’après (3.1) :

∞
ζ 0 (s)
Z
ψ(x)
− =s dx
ζ(s) 1 xs+1

Et d’après le théorème des nombres premiers, on peut écrire ψ(x) = x + δ(x), où δ(x) = o(x).

∞ Z ∞
ζ 0 (s)
Z
1 δ(x)
− = s s
dx + s dx
ζ(s) 1 x 1 xs+1
Z ∞
ζ 0 (s) s δ(x)
− = +s dx
ζ(s) s−1 1 xs+1

s
R∞ δ(x)
La fonction s−1 est holomorphe en 1 + it. montrons qu’il en est de même pour g(s) = 1 xs+1
dx
Comme δ(x) = o(x), pour tout  > 0, il existe un réel x0 (dépendant de ) tel que pour tout x ≥ x0 ,
|φ(x)| ≤ x. Ainsi :

x0 ∞
|δ(x)|
Z Z
1 
|g(s)| ≤ dx +  dx = K +
1 xσ+1 x0 x σ σ−1

Pour 1 < σ ≤ 1 + K− ,

|(σ − 1)g(s)| ≤ 2 (7.2)

Et |(σ − 1)g(s)| = |((σ + it) − (1 + it))g(σ + it)|.

Si g admet un pôle en 1 + it on a deux possibilités :
– Si ce pôle est simple, (σ + it) − (1 + it))g(σ + it) tend vers le résidu de ce pôle et donc vers une
limite non nulle lorsque σ tend vers 1

89
 – Si ce pôle est multiple, |(σ + it) − (1 + it))g(σ + it)| tend vers l’infini lorsque σ tend vers 1
Dans les deux cas on a une contradiction avec l’inégalité (7.2), valable pour tout .
0
Donc la fonction g est holomorphe en 1 + it , ce qui implique que − ζζ(s)
(s)
l’est aussi et donc que ζ
ne s’annule pas sur cette droite.

7.1.4 Théorème des nombres premiers avec un terme d’erreur

Nous allons maintenant obtenir une version « améliorée » du théorème des nombres premier avec
un terme d’erreur le plus précis possible. Grâce à la formule d’inversion de Mellin on obtient, pour
a > 1 (cf. formule (3.18)) :

ζ 0 (s) xs
Z
ψ(x) = − ds
(a) ζ(s) s

Comme ζ(1 + it) 6= 0, pour un réel fixé T , il existe une zone de la forme

1 − β(T ) ≤ σ ≤ 2
−T ≤ t ≤T

0
où − ζζ(s)
(s)
est méromorphe et n’a qu’un seul pôle, en 1. Le problème et que β(T ) peut tendre vers
0 s
0 lorsque T tend vers l’infini... On ne peut donc pas se ramener à une intégrale verticale de − ζζ(s) (s) x
s
sur une droite du type σ = 1 − β. Dans la suite, on ne va donc pas directement déplacer le contour
d’intégration vers la gauche comme on l’avait fait dans la partie 3.6 pour passer de l’intégrale verticale
sur une droite située à droite de 1 à l’intégrale sur une droite veticale située à gauche de 1, mais on
0 (s) s
va intégrer la fonction − ζζ(s) x
s sur un contour du type suivant pour essayer d’évaluer l’intégrale qui
définit ψ(x) à l’aide du théorème des résidus.

Fig. 7.1 – Contour d’intégration

90
 0
Pour évaluer ψ, on aura besoin de pouvoir évaluer ζ(s), ζ 0 (s) ou encore − ζζ(s)
(s)
dans des rectangles
bien choisis : nous allons d’abord établir les estimations qui nous serons utiles par la suite.

0
Estimations de ζ, ζ 0 et − ζζ

Proposition 7.1.3 Soit n ≥ 1 quelconque.

Pour tout s tel que σ > 0 on a la formule :

n−1
n−s n1−s ∞ x − [x] − 12
Z
X 1
ζ(s) = + + −s dx (7.3)
ks 2 s−1 n xs+1
k=1

Démonstration
Par intégration par partie, on a :

n+1   Z n+1
1 −s
Z
1 1 1 1
(x − [x] − ) s+1 dx = s
+ s
− dx
n 2 x 2 n (n + 1) n xs
   
1 1 1 1 1 1
= + + −
2 ns (n + 1)s s + 1 (n + 1)s−1 ns−1

Et

N N −1 
n−s X 1 1 N −s

X 1 1
= + + +
ks 2 2 ns (n + 1)s 2
k=n k=n
N −1 Z k+1 N −1 
n−s N −s X [x] − x + 12

1 X 1 1
= + + s dx + −
2 2 k xs+1 s+1 k s−1 (k + 1)s−1
k=n k=n
n−s N −s [x] − x + 12
Z N  
1 1 1
= + +s dx + −
2 2 n xs+1 s + 1 ns−1 N s−1

[x]−x+ 12 1


Lorsque N tend vers l’infini, l’intégrale converge car xs+1
=O xσ+1
et σ > 0.
On a donc lorsque N → ∞ la formule suivante, valable pour σ > 0 :

∞
[x] − x + 12
Z ∞
X 1 n−s n1−s
= + + s dx
ks 2 s+1 n xs+1
k=n

On en déduit la proposition

En utilisant cette nouvelle écriture de ζ montrons le théorème suivant :

91
Théorème 7.1.3 Soit A > 0 une constante. Il existe t0 > 0 tel que dans la région

A
1− ≤ σ ≤2
log|t|
|t| > t0 > 1

on ait ζ(s) = O(log|t|) uniformément.

En d’autres termes, il existe une constante K telle que pour tout s dans cette région,
|ζ(s)| ≤ K|log|t||

(la constante K dépend uniquement de A)

Démonstration
D’après la proposition 7.1.3 on a pour σ > 0

N
x − [x] − 12
Z ∞
X 1 N −s N 1−s
ζ(s) − = + − s dx
ns 2 s−1 N xs+1
n=1

On a donc :

N
|s| ∞ 1 N 1−σ N −σ
Z
X 1
ζ(s) − ≤ dx + +
ns 2 N x1+σ |s − 1| 2
n=1
√ √
Et |s| = σ 2 + t2 ≤ 4 + t2 ≤ 5|t| pour |t| > 1 (par exemple)

p 1 1
De plus, |s − 1| = (σ − 1)2 + t2 ≥ |t| donc |s−1| ≤ |t|

Ainsi,

N  Z ∞   1−σ 
X 1 1 N
+ O N −σ


ζ(s) − s
= O |t| 1+σ
dx + O
n N x |t|
n=1
 
log(n)
Si n ≤ |t| log|t| ≤1 ,

eA
     
−s −σ (−σlog(n)) A −1 Alog(n)
|n |=n =e ≤ exp − 1 − log(n) = n exp ≤
log|t| log|t| n

Prenons N = [ |t| ]. Dans ce cas si n ≤ N , n−s = O n1 et de même, N −σ = O N1 . Enfin,

N 1−σ = N N −σ = O(1).
Finalement,

N        
X 1 |t| 1 1
ζ(s) = O +O +O +O
n N |t| N
n=1
= O (log(N )) + O (1) = O (log|t|)

92
Théorème 7.1.4 Dans la même région que dans le théorème 7.1.3

ζ 0 (s) = O log 2 |t|

Démonstration
On procède comme dans la démonstration précédente en partant de la relation :

N ∞ [x] − x + 21 N 1−s log(N ) N 1−s

Z
X log(n) 1
ζ 0 (s) = − + (1 − s log(x))dx − − + N −s log(N )
ns N x s+1 s−1 (s − 1)2 2
2

Cette relation s’obtient en dérivant la relation (7.3) : on évalue ensuite chaque terme de la somme
en prenant N = [ |t| ] et voit apparaı̂tre un log|t| en facteur supplémentaire.

Théorème 7.1.5 Il existe une constante réelle positive c et t0 > 0 tels que ζ(s) n’a pas de zéro dans
la région

c
σ > 1−
log 9 |t|
|t| > t0

De plus dans cette même région,

1
= O log 7 |t|


ζ(s)

Démonstration
D’après la formule (7.1), pour σ > 1 on a

1 3 1
≤ |ζ(σ)| 4 |ζ(σ + 2it)| 4
ζ(σ + it)
 
1
Et (σ − 1)ζ(σ) est borné au voisinage de 1 et dans la région 1 ≤ σ ≤ 2 donc ζ(σ) = O (σ−1)
dans cette zone. On se trouve en particulier dans la zone définie dans la théorème 7.1.3 (avec une
valeur de A quelconque que l’on fixe) donc ζ(σ + 2it) = O (log(|t|)). Ainsi :

1
!
1 log 4 |t|
=O 3
ζ(σ + it) (σ − 1) 4
A
Avec σ > 1 − log(t) , |t| > t0 on a aussi :
Z σ
ζ 0 (u + it)du = O (σ − 1)log 2 |t|


ζ(1 + it) − ζ(σ + it) = − (7.4)
1

Il existe alors une constante A1 telle que

93
 |ζ(σ + it)| − |ζ(1 + it)| < A1 (σ − 1)log 2 |t|
1
1 1 log 4 |t|
Et il existe A2 telle que ζ(σ+it) < A2 3 (pour σ compris entre 1 et 2) et donc |ζ(σ + it)| >
(σ−1) 4
3
A2 (σ−1)
4
1 . On a alors l’inégalité :
log 4 |t|

3
(σ − 1) 4
|ζ(1 + it)| > A2 1 − A1 (σ − 1)log 2 |t|
log |t|4

Prenons maintenant σ − 1 = A3 log −9 |t|

3
|ζ(1 + it)| > (A2 A34 − A1 A3 )log −7 |t|

Pour A3 suffisement petit, le terme de droite et positif. Il existe donc B tel que

|ζ(1 + it)| > B log −7 |t| (7.5)

A
Reprenons maintenant la formule (7.4) avec cette fois 1 > σ > 1 − log|t| . On a l’inégalité

|ζ(σ + it)| > B log−7 |t| − A4 (1 − σ)log 2 |t|

Prenons maintenant σ tel que 1 − σ < c log −9 |t| alors :

|ζ(σ + it)| > (B − A4 c)log −7 (|t|)

B A
En prenant c suffisament petit, on réalise à la fois la condition B −A4 c > 2 et 1− log|t| < 1− logc9 |t| .

On a alors l’existence d’un triplet (c, A, t0 ) tel que dans la région σ > 1 − c log −9 |t|, |t| > t0 on ait
uniformément :

|ζ(σ + it)| > Alog −7 |t|

En particulier, ζ ne s’annule pas dans cette zone et on a bien

1
= O log 7 |t|


ζ(s)

c
Théorème 7.1.6 Il existe c et t0 tel que dans la région 2 ≥ σ > 1 − log 9 |t|
, |t| > t0

ζ 0 (s)
= O(log 9 (t))
ζ(s)

( la constante du O ne dépendant que de c)

Démonstration
Découle des théorème 7.1.4 et 7.1.5

94
Demonstration du théorème des nombres premiers

Théorème 7.1.7 (Théorème des nombres premiers) Il existe une constante d telle que
 1

ψ(x) = x + O xexp[−d(log(x)) 10 ]

lorsque x → ∞

Démonstration
c
Soit T > t0 . Posons s0 (T ) = 1 − log 9 (T )
.
On choisit T tel que ζ n’ait pas de zéro dans le rectangle de sommet s0 (T ) + it0 , so (T ) − it0 , 2 − it0 ,
2 + it − 0 : cela existe car ζ ne s’annule pas sur σ ≥ 1. (t0 est la constante définie dans le théorème
7.1.5).
Prenons maintenant σ + it avec T > |t|
c c
Posons a = 1 + log 9 (T )
et b = 1 − log 9 (T )
. On considère le rectangle RT (cf. figure 7.2)
c c
∀|t| > t0 à l’intérieur du rectangle ci-dessus on a σ > 1 − log 9 (T )
>1− log 9 |t|
donc :

ζ 0 (s)
= O(log 9 (T ))
ζ(s)

En particulier,

ζ 0 (σ ± iT )
= O(log 9 (T ))
ζ(σ ± iT )
0
A l’intérieur du rectangle considéré, ζ ne s’annule pas (voir figure) donc la fonction −ζ
ζ est
méromorphe et possède un unique pôle simple, 1, de résidu 1. Appliquons le théorème des résidus
0 (s) s
pour évaluer l’intégrale (a) − ζζ(s) x
R
s ds (qui vaut ψ(x)) :

ζ 0 (s) xs
Z
− ds = 2iπx
RT ζ(s) s

En décomposant l’intégrale sur chacun des côtés :

a+iT
ζ 0 (s) xs b−iT
ζ 0 (s) xs b+iT
ζ 0 (s) xs a+iT
ζ 0 (s) xs
Z Z Z Z 
1 1
− ds = x + − ds + − ds + − ds
2iπ a−iT ζ(s) s 2iπ a−iT ζ(s) s b−iT ζ(s) s b+iT ζ(s) s

D’autre part :

ζ 0 (s) xs a−iT
ζ 0 (s) xs a+iT
ζ 0 (s) xs a+i∞
ζ 0 (s) xs
Z Z Z Z
− ds = − ds + − ds + − ds
(a) ζ(s) s a−i∞ ζ(s) s a−iT ζ(s) s a+iT ζ(s) s

Des deux équations précédentes, on déduit que :

ζ 0 (s) xs
Z
1 1
− ds = x + [I1 + I2 + I3 + I4 + I5 ]
2iπ (a) ζ(s) s 2iπ

95
Fig. 7.2 – Rectangle RT

96
avec les notation

R a−iT ζ 0 (s) xs R a+i∞ 0 s

I1 = a−i∞ − ζ(s) s ds I2 = a+iT − ζζ(s)
(s) x
s ds

R b−iT 0 s R a+iT 0 s
I3 = a−iT − ζζ(s)
(s) x
s ds I4 = b+iT − ζζ(s)
(s) x
s ds

R b+iT 0 s
I5 = b−iT − ζζ(s)
(s) x
s ds

Evaluons chacune de ces intégrales :

Estimation de I1 et I2

∞
a+iU
ζ 0 (s) xs a+iU X
Λ(n) xs
Z Z
I2 = lim − ds = lim ds
U →∞ a+iT ζ(s) s U →∞ a+iT ns s
n=1

Comme la série converge uniformément pour σ > 1, on peut intervertir série et intégrale :

∞
X Z a+iU  x s 1
I2 = lim Λ(n) ds (7.6)
U →∞ a+iT n s
n=1

Estimons maintenant l’intégrale, en faisant une intégration par parties :

Z a+iU  x s 1
"
#a+iU
x s Z a+iU
n 1  x s ds
ds = +
a+iT n s slog( nx ) log( nx ) a+iT n s2
a+iT
" x x Z U x
#
1  x a eiU log( n ) eiT log( n ) eitlog( n )
= − + ids
log( nx ) n a + iU a + iT T (a + it)2

On a donc

Z a+iU  x s 1  x a  Z U !
1 1 1 dt
ds = O + +
a+iT n s log( nx ) n |a + iU | a + iT 2
T a +t
2

RU dt
R∞ dt 1


Or U > T et |a + iT | > T . D’autre part, T a2 +t2 < T a2 +t2
=O T lorsque T → ∞. Ainsi :

x a

!
Z a+iU  x s 1
n
ds = O
a+iT n s T log( nx )

lorsque T → ∞.
En majorant Λ(n) par log(n) on obtient donc pour (7.6) :

∞
!
xa X ln(n)n−a
I2 = O
T
n=1
log( nx )

pour T assez grand.

97
 Pour majorer la somme, on va étudier séparement 3 zones :

x x 3x 3x
(i) n < (ii) ≤n≤ (iii) n >
2 2 2 2
Pour n dans la région (i),
x
log > log(2)
n
Pour n dans la région (ii),

x n  
3
log = log > log
n x 2

Finalement pour n dans ces deux régions on a par exemple

x 1
log >
n 10
On a alors :

X ln(n)n−a X 
1

−a 0


= O ln(n)n = O ζ (a) = O (7.7)
x log( nx ) x (a − 1)2
n< 2 n< 2

En effet, ζ 0 a un pôle d’ordre 2 en 1, donc (x − 1)2 ζ 0 (x) est continue (en tant que fonction réelle)
sur par exemple 0 ≤ x ≤ 2 et donc bornée. De même , on a

X ln(n)n−a X 
1

−a 0


=O ln(n)n = O ζ (a) = O (7.8)
3x
log( nx ) 3x
(a − 1)2
n> 2
n> 2

Pour n dans (ii), en posant z = 1 − nx , on vérifie que |z| ≤ 1

2 et on peut développer en série entière
l’expression :

x
log = log(1 − z)−1
n
z z2
 
= z 1+ + + ...
2 3

Si 0 ≤ z ≤ 12 ,

z z2
 
1+ + + ... ≥ 1
2 3

Si − 12 ≤ z ≤ 0,
z z2
 
ln(1 − z) 3
1+ + + ... = − >
2 3 z 4

Finalement, il existe une constante c1 (qui vaut par exemple 34 ) telle que

98
 x
log ≥ c1 z
n
1 c2 c2 x
Ainsi, ≤ ≤ et
|log( nx )| |z| |x−n|

   
X ln(n)n−a X ln(n)n−a  1−a X 1 
= O x  = O x log(x)
 
log( nx ) |x − n| |x − n|

x
2
≤n≤ 3x
2
x
2
≤n≤ 3x
2
x
2
≤n≤ 3x
2

Notons x = [x]+δ. Dans la somme, |x−n| prend ses valeurs dans l’ensemble δ, |δ ±1|, |δ ±2|, ..., |δ ±
[x]
2 | donc
 
[x]
X 1 1 X 1
< +  = O (log(x))
x
|x − n| δ k
2
≤n≤ 3x
2
k=1

Finalement, en combinant (7.7), (7.8) et les deux dernières équations, on obtient :

xa
  
1 1−a 2
I2 = O + x log (x)
T (a − 1)2

On a la même majoration pour I4 (qui est valable pour T grand)

Estimation de I3 et I4

ζ 0 (u + iT ) xu+iT
a
Z
I4 = − du
b ζ(u + iT ) u + iT
Z a 0
ζ (u − iT ) xu
|I4 | < du
b ζ(u − iT ) |u − iT |
xa
|I4 | < K(a − b)log 9 (T )
T
x a
|I4 | < 2Klog 9 (T )
T

On obtient une majoration du même type pour I3 . On a donc

xa 9 xa 9
   
I3 = O log (T ) et I4 = O log (T )
T T

Estimation de I5

T
ζ 0 (b + it) xb+it
Z
I5 = − idt
−T ζ(b + it) b + it
ζ 0 (b + it)
T
xb
Z
|I5 | < − dt
−T ζ(b + it) |b + it|
Z T
b 9 1
|I5 | < Kx log (T ) √ dt
−T b2 + t2

99
 R 
RT RT T +|b| 1
Et on a √ 1 √ 1
−T b2 +t2 dt =2 0 b2 +t2
dt =O |b| t dt = O (log(T ))
D’où finalement :
 
|I5 | = O xb log 10 (T )

On combinant ces estimations,

φ(x) − x = R(x)

avec

xa xa 9
   
1 1−a 2 b 10
R(x) = O + x log (x) + log (T ) + x log (T )
T (a − 1)2 T

(si T est assez grand)

Il s’agit maintenant de choisir T en fonction de x de manière à avoir un reste aussi petit que
possible : pour se « débarasser » du terme en xa , qui est prépondérant devant x, on pose T = xa−b :
a
on a alors xT = xb , terme négligeable devant x.
2c
Demandons nous d’abord si un tel choix est possible. Comme a − b = log 9 (T )
cela revient à résoudre
l’équation

2c
T = x log9 (T )
2c
log(T ) = log(x)
log 9 (T )
log 10 (T ) = 2clog(x)
h 1
i
T = exp (2clog(x)) 10

On peut donc poser T = xa−b . Le O précédent est alors valable lorsque x tend vers l’infini.
 
R(x) = O xb log 18 (T ) + log 20 (T ) + xb log 9 (T ) + xb log 10 (T )

c 1
= O log 18 (T )


En effet, a − 1 = log 9 (T )
donc (a−1)2

De plus, log(x) = O log 10 (T ) et x1−a = O (1) lorsque x → ∞.

Finalement, R(x) = O xb log 20 (T ) lorsque T (et donc x) tend vers l’infini.

   1− c 
O xb log20 (T ) = O x log9 (T ) log20 (T )
  
c
= O x exp − 9 log(x) + 20 log(log(T ))
log (T )
  
1
= O x exp − log(T ) + 20 log(log(T ))
2

− 12 log(T )+20 log(log(T ))

Comme log(T ) → − 12 lorsque T → ∞, il existe une constante c3 (par exemple 1
4)
telle que

100
  
O xb log20 (T ) = O (x exp [−c3 log(T )])
 1

= O x exp(−d (log(x)) 10 )

On a donc bien l’existence d’une constante d telle que

 1

ψ(x) = x + O x exp[−d (log(x)) 10 ]

7.2 Le théorème de nombres premiers en progression arithmétique

Le théorème des nombres premiers

P en progression arithmétique donne le comportement asympto-
tique de la fonction ψ(x; q, a) = n≤x Λ(n).
n≡a [q]

X
φ(x; q, a) = Λ(n)χ[o;x] (n)
n≡a [q]
X n
= Λ(n)χ[o;1]
x
n≡a [q]

Or la fonction caractéristique de l’intervalle [0; 1] peut être approximée par un majorant lisse
d’amplitude très petite. Pour démontrer le théorème des nombres premiers en progression arithmétique,
on va d’abord établir un résultat pour la somme lissée , où on remplace χ[0;1] dans la somme ci-dessus
par un majorant lisse de [0; 1], qui est une fonction suffisamment régulière (en particulier une fonction
de Schwartz).

7.2.1 Résultats sur des sommes lisses

Théorème 7.2.1 Soit q ≥ 1, a ≥ 1 tel que (a, q) = 1. Soit η une fonction de Schwartz. Alors il existe
une constante c1 telle pour tout y suffisamment grand, on ait :
 
X n y η̂(1)  p 
Λ(n)η = + O y exp(−c log(y)) (7.9)
y φ(q)
n≡a [q]

où η̂ désigne la transformée de Mellin de η.

La constante du O dépend de η uniquement.

Démonstration
Soit η une fonction de Schwartz (on peut alors définir sa transformée de Mellin).
 
   
X n X
Λ(n)η n × 1
X
¯
Λ(n)η = χ(a)χ(n)
y ∗
y φ(q)
n≡a [q] n∈N χ mod q

101
 On a ainsi introduit la condition n ≡ a [q] grâce à la formule (2.1).

   
X n 1 X X n
Λ(n)η = χ̄(a) Λ(n)χ(n)η
y φ(q) ∗
y
n≡a [q] χ mod q n∈N
1 X
= χ̄(a)ψη (y, χ)
φ(q)
χ mod q

 
P n
avec la notation ψη (y, χ) = n∈N∗ Λ(n)χ(n)η y

D’après la formule (3.16), on a :

L0 (χ, s) s
Z
1
ψη (y, χ) = − y η̂(s)ds
2iπ (2) L(χ, s)

On veut maintenant déplacer le contour d’intégration vers la gauche et pour cela, il faut trouver
0 (χ,s)
une région la plus à gauche possible où on peut définir l’intégrale de − LL(χ,s) y s η̂(s) : on va pour cela
utiliser la zone sans zéros obtenue dans le théorème 6.3.1, où l’intégrande est holomorphe.
1
On pose σ(t) = 2c(log(q(|t|+2)) comme dans le théorème 6.3.1. L(χ, s) ne possède pas de zéro dans
la région σ > 1 − 2σ(t).
0
Soit Z le contour défini par s(t) = 1 − dσ(t) + it. A droite de Z, − LL(χ,s)
(χ,s)
:
- n’a aucun pôle si χ est non trivial
- possède un pôle simple en 1 de résidu 1 si χ est trivial
On considère le contour fermé suivant, CT composé du segment [AB] compris entre 2 − iT et 2 + iT ,
du segement [BC] compris entre 2 + iT et s(T ), de la portion de courbe s(t) où t va de T à −T , et du
segment [DA] d’extremités s(−T ), 2 − iT .

102
 D’après le théorème des résidus on a (en appelant g l’intégrande)

L0 (χ, s) s
Z
1
− y η̂(s)ds = res(g, 1) = δ(χ)η̂(1)y (7.10)
2iπ CT L(χ, s)

On peut ensuite découper le contour CT verticalement et horizontalement pour évaluer chaque

partie. Evaluons d’abord l’intégrale sur les bords horizontaux.
Le contour est contenu dans la région σ ≥ 1 − σ(t) donc d’après (6.13), il existe une constante C
telle que

L0 (χ, s) 1
+ O log 2 (q|s|)


≤C
L(χ, s) |s − 1|

Sur le bord supérieur (le raisonnement serait le même pour le bord inférieur) on a par exemple
1
s = t + iT avec t ∈ [s(T ); 2]. Lorsque T > 1, on a |s−1| = O(1).
√
|s| = σ 2 + T 2 ≤ σ + T ≤ 2 + T donc (log(q|s|)2 = O (log q(2 + T ))2

On a donc

L0 (χ, s)
= O (log q(2 + T ))2


L(χ, s)

sur le bord supérieur, pour T > 1. D’après la proposition 3.4.1 donnant la décroissance de la
transformée de Mellin :

lim |s|k fˆ(s) = 0

|t|→∞

pour tout k. Par exemple,

lim |σ + iT |2 |η̂(σ + iT )| = 0 donc lim (1 + T )2 |η̂(σ + iT )| = 0 et
T →∞ T →∞

 2 !
1
η̂(σ + iT ) = O
1+T

lorsque T → ∞
Finalement, on peut majorer l’intégrale sur le bord supérieur :

2+iT
L0 (χ, s) 2+iT
L0 (χ, s)
Z Z
− η̂(s)y s ds ≤ |η̂(s)|y σ ds
s(T ) L(χ, s) s(T ) L(χ, s)
!
Z 2+iT
2 2 −2
= O y (log(q(T + 2))) (1 + T ) ds
s(T )

y 2 (log(q(T + 2)))2
 
= O →0
(1 + T )2

lorsque T → ∞
L’intégrale sur les côtés horizontaux tend donc vers 0 lorsque T → ∞ donc l’égalité (7.10) devient :

103
 L0 (χ, s) s L0 (χ, s) s
Z Z
1 1
− y η̂(s)ds − − y η̂(s)ds = δ(χ)η̂(1)y
2iπ (2) L(χ, s) 2iπ Z L(χ, s)

D’où l’égalité

L0 (χ, s) s
Z
1
ψη (y, χ) = δ(χ)η̂(1)y + − y η̂(s)ds
2iπ Z L(χ, s)
 
La somme n≡a [q] Λ(n)η ny = φ(q)
P 1 P ¯
χ mod q χ(a)ψη (y, χ) qu’on veut évaluer est une somme finie
à φ(q) termes et on peut remplacer chaque φη (y, χ) par son expression précédente. La contribution
δ(χ)η̂(1)y n’est comptée que pour le caractère trivial. On a donc :

L0 (χ, s) s
  Z
X n 1 1 X 1
Λ(n)η = δ(χ)η̂(1)y + − y η̂(s)ds
y φ(q) φ(q) 2iπ Z L(χ, s)
n≡a [q] χ mod q

Comme la somme sur les caractères est une somme finie, pour montrer le théorème, il suffit de
montrer que si χ est un caractère quelconque modulo q on a

L0 (χ, s) s
Z  p 
I= − y η̂(s)ds = O y exp(−c1 log(y))
Z L(χ, s)

Montrons ce résultat :

+∞
L0
Z
I=y − (χ, 1 − dσ(t) + it)η̂(1 − dσ(t) + it)y −dσ(t)+it dt
−∞ L

Pour évaluer l’intégrale, intégrons séparément sur les zones |t| ≤ A et |t| > A, où A > 0 est une
constante qui sera choisie ultérieurement pour obtenir la majoration la plus fine possible.
Si |t| ≤ A
D’après (6.13), on a

L0
(χ, 1 − dσ(t) + it) = O (log(q|1 − dσ(t) + it|))2 = O (log(q(|t| + 2)))2



L
= O (log(q(A + 2)))2

Z ∞ Z ∞ 
1−dσ(t)+it 1−dσ(t)
η̂(1 − dσ(t) + it) = η(x)x dx = O η(x)x dx
0 0
Z 1
d
Z ∞ 
1− 2clog(2q) 1−dσ(A)
= O η(x)x + η(x)x = Oη (1)
0 1
   
y −dσ(t)+it = O y −dσ(t) = O y −dσ(A) si y > 1

On a ainsi :

A
L0
Z
(χ, 1 − dσ(t) + it)η̂(1 − dσ(t) + it)y −dσ(t)+it dt = O A(log q(A + 2))2 exp(−dσ(A)log(y))


−
−A L

104
 Si |t| > A on a

L0
(χ, 1 − dσ(t) + it) = O (log(q|1 − dσ(t) + it|))2


L
= O (log(q(|t| + 2)))2

 
y −dσ(t)+it = O y −dσ(t) = O(1)

D’après la propriété de décroissance de la transformée de Mellin, on a également

+ |t|)−2−


η̂(1 − dσ(t) + it) = O η, (1

pour tout  > 0.

Soit  > 0 quelconque mais fixé. On a :

!
L0
Z Z
− (χ, 1 − dσ(t) + it)η̂(1 − dσ(t) + it)y −dσ(t)+it dt = O (log(q(|t| + 2)))2 (1 + |t|)−2− dt
|t|>A L |t|>A
!
(log(q(|t| + 2)))2
Z
1
= O 
dt
|t|>A (1 + |t|) (1 + |t|)2

(log(q(|t|+2)))2
Or (1+|t|) = O (1) , donc

!
L0
Z Z  
dt 1
− (χ, 1 − dσ(t) + it)η̂(1 − dσ(t) + it)y −dσ(t)+it dt = O =O
|t|>A L |t|>A (1 + |t|)2 1+A

En regroupant ces deux majorations, on conclut que

   
1 d log(y)
I=O y + A(log(q(A + 2)))2 exp −
1+A 2c log(q(A + 2))

Il s’agit maintenant de choisir

p A pour obtenir la majoration souhaitée : on aimerait se ramener à
d
log(q(A + 2)) de l’ordre de log(y). On fixe une constante c2 telle que c22 < 2c (on verra pourquoi
plus loin)
On fixe A défini par

p
log(q(A + 2)) = c2 log(y)
1 p
A = exp(c2 log(y)) − 2
q

Pour y assez grand, on peut définir A > 0 ainsi. On a alors pour y assez grand
   
1 2 d p
I=O y + Ac2 log(y)exp − log(y)
1+A 2cc2

105
 D’une part

1 1  p 
= 1 p = O exp(−c2 log(y))
1+A q exp(c2 log(y)) − 1
 
D’autre part, en posant B = Ac22 log(y)exp − 2cdc2 log(y) on a
p

   
1 p 2 d p 2 d p
B = exp(c2 log(y))c2 log(y)exp − log(y) − 2c2 log(y)exp − log(y)
q 2cc2 2cc2
c2
     
d p d p
= 2 log(y)exp − − c2 log(y) − 2c22 log(y)exp − log(y)
q 2cc2 2cc2
    
d p
= O log(y)exp − − c2 log(y)
2cc2
 
d d
Posons 2c1 = min c2 , 2cc2 − c2 . c1 > 0 car on a choisi c22 < 2c . Alors :

1  p 
= O exp(−c1 log(y))
1+A
 
2 d p  p 
Ac2 log(y)exp − log(y) = O log(y)exp(−2c1 log(y))
2c c2
 p 
= O yexp(−c1 log(y))

valable lorsque y est assez grand (et la constante du O dépend de η).

On a donc bien
 p 
I = O y exp(−c1 log(y))

7.2.2 Démonstration du théorème

Théorème 7.2.2 (théorème des nombres premiers en progression arithmétique) Soit des en-
tiers q ≥ 1 et a tel que (a, q) = 1. Alors on a :

x
ψ(x; q, a) ∼
φ(q)

lorsque x → ∞. D’après la partie 3.2.2, ce résultat est équivalent à

1 x
π(x; q, a) ∼
φ(q) log(x)

lorsque x → ∞

106
 Démonstration
Soit ηδ un majorant lisse d’amplitude δ de [0, 1].

X n
φ(x; q, a) = Λ(n)χ[0;1]
x
n≡a [q]
X n xη̂(1)
≤ Λ(n)ηδ ∼
x φ(q)
n≡a [q]

d’après (7.13). En effet, y βe = o (y) lorsque y → ∞ (car βe est réel et < 1).
On a donc pour tout δ,

ψ(x; q, a) δ̂(1)
lim sup ≤ (7.11)
x→∞ x φ(q)

Et en faisant tendre δ vers 0 on obtient :

ψ(x; q, a) 1
lim sup ≤
x→∞ x φ(q)

ηδ est un majorant lisse d’amplitude 1 + δ. En particulier, η est à support compact dans [0; 1 + δ]
et ηδ = 1 sur [0,1]. Posons δ (x) = ηδ ((1 + δ)x). La fonction δ est C ∞ , à support compact dans [0 ;1]
1
et vérifie δ (x) = 1 si x ≤ 1+δ .

Fig. 7.3 – Fonctions approchant χ[0,1]

Lorsque δ tend vers 0, les fonctions δ et ηδ tendent vers χ[0,1] .

X n
φ(x; q, a) ≥ Λ(n)δ
x
n≡a [q]
X  n
= Λ(n)ηδ (1 + δ)
x
n≡a [q]

x
Posons y = 1+δ . y → ∞ ssi x → ∞. Alors

107
  
X n y ηˆδ (1) xηˆδ (1)
φ(x; q, a) ≥ Λ(n)ηδ ∼ =
y φ(q) (1 + δ)φ(q)
n≡a [q]

lorsque x → ∞. En faisant ensuite tendre δ vers 0 on obtient :

ψ(x; q, a) 1
lim inf ≥ (7.12)
x→∞ x φ(q)

ψ(x;q,a) 1
On déduit de (7.11) et (7.12) que x possède une limite et que cette limite vaut φ(q) . On a
donc

1 x
π(x; q, a) ∼
φ(q) log(x)

lorsque x tend vers l’infini.

Remarque
Vu le terme d’erreur mis en avant dans le théorème 7.3.1, on peut en fait démontrer le théorème
des nombres premiers en progression arithmétique avec un terme d’erreur :

x  p 
ψ(x; q, a) = + O x exp(−c1 log(x))
φ(q)

Pour passer à cette version « non lissée » du théorème, on peut utiliser des fonctions η de lissage
particulières, que nous ne détaillerons pas ici.

108
 Huitième partie

Hypothèse de Riemann et amélioration

du terme d’erreur pour le théorème
des nombres premiers

109
8.1 Retour sur les termes d’erreur des théorèmes précédents

Dans un premier temps, on a démontré dans la partie précédente le théorème des nombres premiers
en donnant :
  1

ψ(x) = x + O x exp −d(log(x)) 10

On a ensuite démontré le théorème des nombres premiers en progression arithmétique d’une autre
manière et obtenu le terme d’erreur suivant :

x   p 
ψ(x; q, a) = + O x exp −c1 log(x)
φ(x)

Soit en prenant q = 2 et a = 1, on trouve :

  p 
ψ(x) = x + O x exp −c1 log(x)

La seconde démonstration nous a donné un terme d’erreur plus précis. En effet :

 p 
x exp −c1 log(x) p  
− 52
 1
 = exp log(x) −c1 + d(log(x))
x exp −d(log(x)) 10
 2

Or, lim −c1 + d(log(x))− 5 = c1 < 0. Donc
x→+∞
 p 
x exp −c1 log(x)
lim  1
 =0
x→+∞
x exp −d(log(x)) 10

Dans deuxième démonstration, on avait une zone sans zéros de ζ plus éloignée de la droite verticale
σ = 1 que dans la première. On voit donc que plus la zone sans zéros utilisée est située à
gauche, meilleur est le terme d’erreur.

8.2 Hypothèse de Riemann et théorème des nombres premiers

La conjecture de Riemann, qui dit que tous les zéros non triviaux de ζ sont sur la droite Re(s) = 12
nous fournit alors une zone sans zéros pour ζ bien plus grande que celles utilisées dans les démonstrations
précédentes et on obtient alors un bon terme d’erreur dans le théorème des nombres premiers.

C’est ce que nous pouvons constater avec l’équivalence suivante :

Proposition 8.2.1 Les énnoncés ci-dessous sont équivalents :

1
(1) Les zéros nons triviaux ρ de ζ(s) vérifient β = 2
(2) Pour tout  > 0, on a si x ≥ 2
 1 
ψ(x) = x + O x 2 +

110
 où la constante implicite dépend de .
(3) Pour tout  > 0, on a si x ≥ 2
Z x
1  1 
π(x) = dt + O x 2 +
2 log(t)

où la constante implicite dépend de .

Rx 1
On note parfois Li(x) = 2 log(t) dt le logarithme intégral. On donne souvent le théorème des
x
nombres premiers sous la forme π(x) ∼ log(x) mais on a aussi ψ(x) ∼ Li(x).
Démonstration
(1) ⇒ (2) On utilise directement la technique du déplacement du contour d’intégration comme on
l’avait exposée dans l’exemple de la partie 3.6.
Si φ est une fonction de Schwartz, on a :

ζ 0 (s) ζ 0 (s)
Z Z
1 s 1
− φ̂(s)x ds = x + − φ̂(s)xs ds
2iπ (2) ζ(s) 2iπ 1
( +) ζ(s)
 12 
= x + O x 2 + (8.1)

Or, si ηδ est un majorant lisse de [0; 1] d’amplitude 1 + δ, on a :

ζ 0 (s) xs ζ 0 (s)
Z Z
1 1
ψ(x) = − ds = lim − ηˆδ (s)xs ds
2iπ (2) ζ(s) s δ→0 2iπ (2) ζ(s)

En faisant un passage à la limite on obtient :

 1 
ψ(x) = x + O x 2 +

En réalité, on ne peut pas faire un passage à la limite de cette manière car le O de la formule
(8.1) dépend de δ... Il faut utiliser d’autres fonctions de lissages que les majorants lisses pour passer
de la version lissée à la version non lissée du théorème des nombres premiers. (cf. remarque à la fin du
chapitre précédent)
On montre l’équivalence de (2) et (3) en utilisant une transformation d’Abel, de la même façon que
dans la partie 3.2.2 où on avait fait le lien entre la fonction ψ et le théorème des nombres premiers.
Montrons par exemple que (2) ⇒ (3).

X X Λ(n) √

π(x) = 1= + O x log x
log(n)
p≤x n≤x
Z x
ψ(x) ψ(2) ψ(t) √

= − + 2
dt + O x log(x)
log(x) log(2) 2 t(log t)
Z x 1 Z x !
x 2 dt x 2 + dt
= − + 2
+O + 1
log x log(2) 2 (log t) log(x) 2 t 2 − (log t)2
Z x
dt  1 
= + O x 2 +
2 log t

111
 Montrons maintenant que (2) ⇒ (1). D’après (3.1) on a :

∞
ζ 0 (s)
Z
ψ(x)
− =s dx
ζ(s) 1 xs+1
1
Soit s = σ + it avec 2 +  < σ < 1.
 1 
On a ψ(x) = x + δ(x) avec δ(x) = O x 2 + 2 alors :

∞
Z ∞
ζ 0 (s)
Z
1 δ(x)
− = s s
dx + s dx
ζ(s) 1 x 1 xs+1
Z ∞
s δ(x)
= +s s+1
dx
s−1 1 x

s 1
R∞ δ(x)
La fonction s−1 est holomorphe sur 2 +  < σ < 1. Soit g(s) = 1 xs+1
dx.

1 
δ(x) x2+2  1 

s+1
≤ K σ+1
= Kx−σ+ 2 − 2 ≤ x−1− 2
x x

Comme on a une majoration de l’intégrande par une fonction intégrable, g est holomorphe. Ainsi,
0 (s)
pour tout  > 0, − ζζ(s) est holomorphe sur 12 + < σ < 1. Comme ζ n’a pas de pôle dans cette région, ζ
ne possède aucun zéro sur 12 + < σ < 1. On a aussi vu précédemment que ζ ne s’annulait pas sur σ = 1.

ζ n’a donc pas de zéro sur 21 < σ ≤ 1. D’après l’équation fonctionnelle, les zéros non triviaux de ζ
sont symétriques par rapport à σ = 21 . Les seuls zéros triviaux éventuels sont donc sur la droite β = 21 .

8.3 Hypothèse de Riemann généralisée

Il existe une conjecture plus générale que l’hypothèse de Riemann présentée ci-dessus, faisant
intervenir les zéros des fonctions L de Dirichlet. Cette hypothèse de Riemann généralisée est équivalente
à un bon terme d’erreur dans le théorème des nombres premiers en progression arithmétique.

Proposition 8.3.1 (Formulations équivalentes de l’Hypothèse de Riemann Généralisée) Les

deux assertions suivantes sont équivalentes :
(1) Pour tout caractère χ primitif modulo q, les zéros non triviaux ρ de L(χ, s) vérifient β = 12 .
(2) Pour tout a tel que (a, q) = 1 on a pour x ≥ 2

x  1 
ψ(q; q, a) = + O x 2 +
φ(q)

où la constante implicite dépend de .

112
 Conclusion
Pour conjecturer le théorème des nombres premiers en 1792, Gauss avait observé, en se fondant sur
1
des données numériques, que la probabilité qu’un nombre n soit premier était d’environ log(n) . C’est de
n
là qu’il a tiré l’estimation bien connue π(n) ∼ log(n) . Avec ce mémoire, j’ai pu comprendre pourquoi il
a fallu attendre un siècle et le développement de l’analyse complexe pour pouvoir démontrer ce résultat.

J’ai en effet pu découvrir différentes techniques utiles en théorie analytique des nombres. La tech-
nique de la transformation d’Abel revient assez fréquement, pour passer d’une série de Dirichlet à
une fonction sommatoire. L’introduction des caractères de Dirichlet est aussi très importante, car ils
interviennent dans les progressions arithmétiques. Enfin, ce sont des théories comme celles de Fourier
ou Mellin qui permettent de démontrer la formule fondamentale exprimant une fonction sommatoire
lissée en fonction de la série de Dirichlet associée à l’aide d’une intégrale dans le plan complexe.

Cette formule est la base des deux démonstations que j’ai données des théorèmes des nombres
premiers. J’ai d’abord montré le théorème des nombres premiers était strictement équivalent à la non-
annulation de ζ sur σ = 1 en me servant d’un théorème dû à Wiener et Ikehara. Je me suis ensuite
0 (s)
concentrée sur l’obtention d’un terme d’erreur. Pour cela, je me suis servie des estimations de − ζζ(s)
proposées notamment par Ayoub ou Titchmarsch dans leurs ouvrages datant repectivement de 1963
et 1986.

L’approche utilisée dans la démonstration de théorème des nombres premiers en progression

arithmétique est plus moderne, elle a été présentée d’une manière un peu différente par Emmanuel
Kowalski dans Un cours de théorie analytique des nombres (2004). Elle utilise les propriétés des fonc-
tions entières d’ordre 1, et permet d’obtenir un terme d’erreur meilleur que le précédent.

Enfin ce mémoire m’a permis - et c’était là son objectif initial - de comprendre le lien entre la
formulation bien connue de la conjecture de Riemann, en termes de zéros de la fonction ζ et sa
formulation équivalente qui donne un bon terme d’erreur pour le théorème des nombres premiers.

113
Un grand merci à Henri Carayol pour toute l’aide qu’il m’a apportée ; pour les références qu’il
m’a fournies, les questions auxquelles il a patiemment répondu, quand bien même elles étaient
parfois plus analytiques qu’arithmétiques...

Un grand merci à mes parents et mes amis, qui m’ont soutenue et écoutée parler de choses
plus ou moins incompréhensibles, tout en admirant mes « hiéroglyphes » ...

114
Bibliographie

[1] Michèle Audin, Analyse complexe, 2007

[2] Raymond Ayoub, An introduction to the analytic theory of numbers, 1963
[3] Pierre Colmez, Eléments d’analyse et d’algèbre
[4] Hubert Delange, Distribution des nombres premiers et fonction ζ(s), 1960
[5] Jean Dieudonné, Calcul infinitésimal
[6] Claude Gasquet, Patrick Witomski, Analyse de Fourier et applications
[7] Emmanuel Kowalski, Un cours de théorie analytique des nombres, 2004
[8] Jean-Pierre Serre, Cours d’arithmétique, 1988
[9] E.C. Titchmarsch, Theory of functions, 1939
[10] E.C. Titchmarsch, The theory of the Riemann zeta-function, 1986

115