Une région explicite sans zéro pour les fonctions L de Dirichlet

Abstract

Nous étudions la répartition des zéros non triviaux de la fonction Zêta de Riemann. Plus précisément, nous montrons qu'il n'y en a pas dans une région à gauche de l'axe $\Re s =1$ de la forme : \Re s \ge 1- \frac1(R_0 \log (|\Im s|+2)), où R_0=5.70175. Les méthodes élaborées dans ce cas se généralisent alors à celui des fonctions de Dirichlet et nous établissons que les fonctions L associées à un module q fixé ne s'annulent jamais dans la région~: \Re s \ge 1- \frac1(R_1 \log(q\max(1,|\Im s|))) où R_1=6.4355, à l'exception d'au plus une d'entre elles qui correspondrait alors à un caractère réel et qui aurait au plus un zéro réel dans cette zone (qu'on appelle zéro de Siegel). De plus, nous précisons que chaque fonction associée à un caractère donné possède au plus quatre zéros très proches de l'axe réel dans la région \Re s \ge 1- \frac1(R_4 \log(q\max(1,|\Im s|))) où R_4=2.58208. Enfin, nous appliquons nos résultats à la répartition des nombres premiers dans une progression arithmétique de la forme (a+nq). Nous établissons ainsi que le plus petit d'entre eux (qu'on notera P(a,q)) vérifie P(a,q) \le \exp\big(\alpha(\log q)^2\big) où \alpha=6.95015 pour q\ge10^6.