title: Classe de Selberg
text: # Classe de Selberg
  
  En mathématiques , la classe de Selberg est une définition axiomatique d'une classe de fonctions L. Les éléments de la classe sont des séries de Dirichlet qui obéissent à quatre axiomes ayant pour objectif d'énoncer les propriétés fondamentales satisfaites par la plupart des fonctions communément appelées fonctions L ou fonctions zêta.
  
  Bien que la nature exacte de la classe soit encore à l'état de conjecture, on espère que sa définition conduira à une classification de son contenu et à une élucidation de ses propriétés, y compris une idée plus claire de leurs liens avec les formes automorphes et avec l'hypothèse de Riemann. La classe a été introduite par Atle Selberg dans (Selberg 1992), qui a préféré ne pas utiliser le terme axiome utilisé ultérieurement par d'autres auteurs.
  
  ## Définition
  
  La définition formelle de la classe S est l’ensemble de toutes les séries de Dirichlet
  
      $F(s)=\sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}}$
  
  absolument convergentes pour Re ( s ) > 1 qui satisfont quatre axiomes (ou hypothèses telles que les nomme Selberg):
  
  * analyticité: $F(s)$ se prolonge en une fonction méromorphe dans tout le plan complexe, avec un unique pôle (s'il existe) quand s vaut 1;
  * conjecture de Ramanujan: $a_{1}=1$ et $a_{n}\ll _{\epsilon }n^{\epsilon }$ pour tout $\epsilon >0$;
  * équation fonctionnelle: il existe un facteur $\gamma$ de la forme
  
         $\gamma (s)=Q^{s}\prod _{i=1}^{k}\Gamma (\omega _{i}s+\mu _{i})$
      où Q est réel et positif, $\Gamma$ est la fonction gamma, les $\omega _{i}$ sont réels et positifs et les $\mu _{i}$ sont des nombres complexes de partie réelle positive, et il existe également une racine de l'unité
         $\alpha \in \mathbb {C} ,|\alpha |=1$
      tel que la fonction
         $\Phi (s)=\gamma (s)F(s)$
      satisfasse
         $\Phi (s)=\alpha {\overline {\Phi (1-{\overline {s}}))}};$
  * produit eulérien: pour Re(s) > 1, F(s) peut s'écrire comme le produit portant sur tous les nombres premiers:
  
         $F(s)=\prod _{p}F_{p}(s)$
      avec $F_{p}(s)=\exp \sum _{n=1}^{\infty }{\frac {b_{p^{n}}}{p^{ns}}}$
         et pour $\theta <{\frac {1}{2}}$,
         $b_{p^{n}}=O(p^{n\theta }).$
  
  ### Commentaires sur la définition
  
  La condition que la partie réelle de μ $_i$ soit positive est qu'il existe des fonctions L qui ne satisfont pas l'hypothèse de Riemann lorsque μ $_i$ est négatif. Plus précisément, il existe des formes de Maass associées à des valeurs propres exceptionnelles, pour lesquelles la conjecture de Ramanujan-Peterssen est vérifiée , et ont une équation fonctionnelle, mais ne vérifient pas l'hypothèse de Riemann.
  
  La condition que θ < 1/2 est importante, car le cas θ = 1/2 inclut la fonction eta de Dirichlet, qui viole l'hypothèse de Riemann.
  
  C’est une conséquence de 4. que les a $_n$ sont multiplicatifs et que
  
      $F_{p}(s)=\sum _{n=0}^{\infty }{\frac {a_{p^{n}}}{p^{ns}}}{\text{ for Re}}(s)>0.$
  
  ### Exemples
  
  L'exemple prototypique d'un élément en S est la fonction zêta de Riemann. Un autre exemple est la fonction L du discriminant modulaire Δ
  
      $L(s,\Delta )=\sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}}$
  
  où $a_{n}=\tau (n)/n^{11/2}{\text{ et }}\tau (n)$est la fonction tau de Ramanujan .
  
  Tous les exemples connus sont des fonctions L automorphes et les inverses de F $_p$ ( s ) sont des polynômes en p $^{-s}$ de degré lié.
  
  Les meilleurs résultats sur la structure de la classe de Selberg sont dus à Kaczorowski et Perelli, qui montrent que les fonctions L de Dirichlet (y compris la fonction zêta de Riemann) sont les seuls exemples avec un degré inférieur à 2.
  
  ## Propriétés de base
  
  Comme avec la fonction zêta de Riemann, un élément F de S a des zéros triviaux issus des pôles du facteur gamma γ ( s ). Les autres zéros sont appelés zéros non triviaux de F. Ceux-ci seront tous situés dans une bande 1 − A ≤ Re(s) ≤ A. En indiquant le nombre de zéros non triviaux de F avec 0 ≤ Im(s) ≤ T par N $_F$ ( T ), Selberg a montré que
  
      $N_{F}(T)d_{F}{\frac {T\log(T+C)}{2\pi }}+O(\log T)$
  
  Ici, d $_F$ est appelé le degré (ou dimension) de F. Il est donné par
  
      $d_{F}=2\sum _{i=1}^{k}\omega _{i}$
  
  On peut montrer que F = 1 est la seule fonction en S dont le degré est inférieur à 1.
  
  Si F et G appartiennent à la classe de Selberg, leurs produits aussi et
  
      $d_{FG}=d_{F}+d_{G}.$
  
  Une fonction F ≠ 1 en S est appelée primitive si chaque fois qu'elle est écrite en tant que F = F $_1$ F $_2$ , avec F $_i$ dans S , puis F = F $_1$ ou F = F $_2$ . Si d $_F$ = 1, alors F est une primitive. Toute fonction F ≠ 1 de S peut être écrite comme un produit de fonctions primitives. Les conjectures de Selberg, décrites ci-dessous, impliquent que la factorisation en fonctions primitives est unique.
  
  Des exemples de fonctions primitives incluent la fonction zêta de Riemann et les fonctions L de Dirichlet des caractères de Dirichlet primitifs. En supposant les conjectures 1 et 2 ci-dessous, les fonctions L de représentations automorphes cuspidiennes irréductibles qui satisfont la conjecture de Ramanujan sont primitives.
  
  ## Les conjectures de Selberg
  
  Dans (Selberg 1992), Selberg a formulé des conjectures concernant les fonctions de S :
  
  * Conjecture 1: pour tout F dans S , il existe un entier n $_F$ tel que
  
         $\sum _{p\leq x}{\frac {|a_{p}|^{2}}{p}}=n_{F}\log \log x+O(1)$
      et où $n_{F}=1$ quand F est primitive.
  * Conjecture 2: Pour des primitives distinctes F , F ′ ∈ S ,
  
         $\sum _{p\leq x}{\frac {a_{p}a_{p'}}{p}}=O(1)$
  * Conjecture 3: Si F appartient à S avec une factorisation primitive
  
         $F=\prod _{i=1}^{m}F_{i},$
      si χ est un caractère de Dirichlet primitif, et si la fonction
         $F^{\chi }(s)=\sum _{n=1}^{\infty }{\frac {\chi (n)a_{n}}{n^{s}}}$
      est également dans S, alors les fonctions F $_i$ $^χ$ sont des éléments primitifs de S (et, par conséquent, ils forment la factorisation primitive de F $^χ).$
  * Hypothèse de Riemann pour S: pour tout F dans S, les zéros non triviaux de F se trouvent tous sur la droite Re (s) = 1/2.
  
  ### Conséquences des conjectures
  
  Les conjectures 1 et 2 impliquent que si F a un pôle d'ordre m en s = 1, alors $F(s)/ζ(s)^m$ est entier. En particulier, elles impliquent la conjecture de Dedekind.
  
  M. Ram Murty a montré dans (Murty 1994) que les conjectures 1 et 2 impliquent la conjecture d'Artin. En fait, Murty a montré que les fonctions d’ Artin L correspondant aux représentations irréductibles du groupe de Galois d’une extension des rationnels résoluble sont automorphes, comme le prédisent les conjectures de Langlands.
  
  Les fonctions S satisfont aussi un analogue du théorème des nombres premiers : F(s) n'a pas de zéros sur la droite Re(s) = 1. Comme mentionné ci-dessus, les conjectures 1 et 2 impliquent la factorisation unique des fonctions de S en fonctions primitives. Une autre conséquence est que la primitivité de F est équivalente à n $_F$ = 1.
  
  ## Voir également
  
  * Liste de fonctions zêta
  