La fonction êta de Dirichlet est une fonction utilisée en théorie analytique des nombres. Elle peut être définie par :
où 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 . Elle possède une expression sous forme de série de Dirichlet suivante, valable pour tout nombre complexe de partie réelle strictement positive : , d'où son nom parfois donné de fonction zêta alternée.
Cette série converge seulement pour 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 , et peut-être aussi des pôles aux autres zéros du facteur .
De manière équivalente, on peut commencer par définir la fonction êta, également pour 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 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 ajoute un nombre infini de zéros complexes, situés en des points équidistants sur la droite , en où 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 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 . Ces formules sont valables pour
La transformation de Cauchy-Schlömilch 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 , 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 : . 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 valide pour et pour tous :
Les zéros sur l'axe réel négatif sont factorisés en prenant pour obtenir une formule vraie pour :
Méthode de Borwein 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 , si : , alors :
où, pour , le terme d'erreur est majoré par :
avec .
Valeurs particulières
, la somme d'Abel de la série de Grandi . , la somme d'Abel de la série alternée des entiers . pour k entier strictement positif, si est le k nombre de Bernoulli alors On a aussi : (série harmonique alternée)
La forme générale pour les entiers strictement positifs pairs est :
En faisant tendre , on obtient .
Notes et références
Voir aussi Bibliographie
.
Articles connexes Fonction bêta de Dirichlet
Liens externes
Dirichlet