SMF

Répartition des valeurs irrationnelles de zêta

Distribution of irrational zeta values

Stéphane Fischler
Répartition des valeurs irrationnelles de zêta
  • Consulter un extrait
  •  
                
  • Année : 2017
  • Fascicule : 3
  • Tome : 145
  • Format : Électronique
  • Langue de l'ouvrage :
    Anglais
  • Class. Math. : 11J72; 33C20, 11M06, 11M32.
  • Pages : 381-409
  • DOI : 10.24033/bsmf.2741
Dans cet article on raffine le théorème de Ball-Rivoal en démontrant que pour tout entier impair $a$ suffisamment grand en fonction de $\epsilon >0$, il existe $\lfloor { \frac {(1-\epsilon )\log a }{1+\log 2}}\rfloor $ entiers impairs $s$ entre 3 et $a$, écartés les uns des autres d'au moins $a^\epsilon $, en lesquels la fonction zêta de Riemann prend des valeurs $\Q $-linéairement indépendantes. En conséquence, si il y a très peu d'entiers impairs $s$ tels que $\zeta (s)$ soit irrationnel, alors ils sont assez bien répartis. La preuve utilise des séries de type hypergéométrique, une astuce pour appliquer la méthode du col en présence de paramètres, et la généralisation aux vecteurs du critère d'indépendance linéaire de Nesterenko.
In this paper we refine the Ball-Rivoal theorem by proving that for any odd integer $a$ sufficiently large in terms of $\epsilon >0$, there exist $\lfloor { \frac {(1-\epsilon )\log a }{1+\log 2}}\rfloor $ odd integers $s$ between 3 and $a$, with distance at least $a^\epsilon $ from one another, at which the Riemann zeta function takes $\Q $-linearly independent values. As a consequence, if there are very few odd integers $s$ such that $\zeta (s)$ is irrational, then they are rather evenly distributed. The proof involves series of hypergeometric type, a trick to apply the saddle point method with parameters, and the generalization to vectors of Nesterenko's linear independence criterion.
Indépendance linéaire, irrationalité, fonction zêta de Riemann, série de type hypergéométrique, méthode du col.
Linear independence, irrationality, Riemann zeta function, series of hypergeometric type, saddle point method.