Fonction êta de Dirichlet

La fonction êta de Dirichlet est une fonction utilisée en théorie analytique des nombres. Elle peut être définie par :

Représentation de la fonction êta de Dirichlet dans le plan complexe.

ζ est la fonction zêta de Riemann. Inversement, cette relation peut aussi être utilisée pour définir la fonction zêta sauf aux zéros du facteur 1–21–s. Elle possède une expression sous forme de série de Dirichlet suivante, valable pour tout nombre complexe s de partie réelle strictement positive :

, d'où son nom parfois donné de fonction zêta alternée.

Cette série converge seulement pour s de partie réelle strictement positive, mais elle est sommable au sens d'Abel pour tout nombre complexe, ce qui permet de définir la fonction êta comme fonction entière, et montre que la fonction zêta est méromorphe avec un pôle singulier en s = 1, et peut-être aussi des pôles aux autres zéros du facteur 1–21–s.

De manière équivalente, on peut commencer par définir la fonction êta, également pour s de partie réelle strictement positive, par l'intégrale :

Ceci présente la fonction êta comme une transformation de Mellin.

Hardy a donné une démonstration simple de l'équation fonctionnelle pour la fonction êta suivante :

.

Cette équation fonctionnelle se déduit immédiatement de celle de la fonction zêta, mais elle est plus complexe car la fonction êta n'est pas une série L de Dirichlet (elle n'est pas déduite d'un caractère de Dirichlet).

Zéros de la fonction êta

modifier

Les zéros de la fonction êta incluent tous les zéros de la fonction zêta : les entiers pairs strictement négatifs (les zéros simples) ; les zéros de la droite critique   , dont aucun n'est connu pour être multiple et dont la simplicité a été démontrée pour 40% d'entre eux, et les zéros hypothétiques de la bande critique non situés sur la droite critique, qui, s'ils existent, se trouvent aux sommets de rectangles symétriques autour de l'axe des abscisses et la droite critique, zéros dont la multiplicité est inconnue. Par ailleurs, le facteur 1 – 21 – s ajoute un nombre infini de zéros complexes, situés en des points équidistants sur la droite  , en    est un entier non nul.

Sous l'hypothèse de Riemann, les zéros de la fonction êta seraient situés symétriquement par rapport à l'axe des réels sur deux droites parallèles  , et sur la demi-droite perpendiculaire formée par l'axe réel négatif.

Représentations intégrales

modifier

On compte plusieurs formules intégrales impliquant la fonction êta. On trouve la première par un changement de variables dans la représentation intégrale de la fonction Gamma (Abel, 1823), ce qui donne une transformation de Mellin qui peut être exprimé de différentes façons comme une intégrale double (Sondow 2005). Ces formules sont valables pour    

La transformation de Cauchy-Schlömilch (Amdeberhan, Moll et al. 2010) peut être utilisée pour prouver cette autre représentation, vraie pour  . Une intégration par parties de la première intégrale donne une autre forme.

 

La formule suivante, trouvée par Lindelöf 1905, est valide sur tout le plan complexe, où la valeur principale est prise sur le logarithme implicite dans l'exponentielle.   Elle correspond à une formule de Jensen (1895) pour la fonction entière  , valide sur le plan complexe et également démontrée par Lindelöf.   Jensen écrit à son sujet en 1895 : « This formula, remarquable by its simplicity, can be proven easily with the help of Cauchy's theorem, so important for the summation of series ». De la même façon, en convertissant les chemins d'intégration en intégrales de contour, on peut obtenir d'autres formules pour la fonction êta, comme cette généralisation (Milgram 2013) valide pour 0 < c < 1 et pour tous s :   Les zéros sur l'axe réel négatif sont factorisés en prenant   (Milgram 2013) pour obtenir une formule vraie pour  :  

Méthode de Borwein

modifier

Peter Borwein a utilisé des approximations impliquant les polynômes de Tchebychev pour concevoir une méthode d'évaluation efficace de la fonction êta.

Pour un entier n, si :

 ,

alors :

 

où, pour  , le terme d'erreur γn est majoré par :

 

avec  .

Valeurs particulières

modifier

On a aussi :

  •   (série harmonique alternée)
  •    A072691
  •    A197070
  •  
  •  
  •  
  •  
  •  

La forme générale pour les entiers strictement positifs pairs est :  

En faisant tendre  , on obtient  .

Notes et références

modifier

Voir aussi

modifier

Bibliographie

modifier
  • (en) P. Borwein, « An Efficient Algorithm for the Riemann Zeta Function », Canadian Mathematcial Society Conference Proceedings, vol. 27,‎ , p. 29-34 (lire en ligne)
  • (en) Jonathan Sondow, « Zeros of the Alternating Zeta Function on the Line R(s)=1 », Amer. Math. Monthly, vol. 110,‎ , p. 435–437 (arXiv math/0209393)
  • (en) Jonathan Sondow, « Double integrals for Euler's constant and ln 4/π and an analog of Hadjicostas's formula », Amer. Math. Monthly, vol. 112,‎ , p. 61–65 (arXiv math.CO/0211148)
  • (en) T. Amdeberhan, M. L. Glasser, M. C. Jones, V. H. Moll, R. Posey et al., « The Cauchy–Schlomilch Transformation », .
  • (en) Ernst Lindelöf, Le calcul des résidus et ses applications à la théorie des fonctions, Gauthier-Villars, (lire en ligne), 103
  • (en) Michael S. Milgram, « Integral and Series Representations of Riemann's Zeta Function, Dirichlet's Eta Function and a Medley of Related Results », Journal of Mathematics, vol. 2013,‎ , p. 1–17 (DOI 10.1155/2013/181724, arXiv 1208.3429).

Articles connexes

modifier

Liens externes

modifier