En mathématiques, la formule de Hadjicostas-Chapman (ou formule de Hadjicostas) est une formule reliant une certaine double intégrale aux valeurs de la fonction gamma et de la fonction zêta de Riemann. Elle est nommée d'après Petros Hadjicostas qui l'a conjecturée et Robin Chapman qui l'a prouvée.
Énoncé Soit un nombre complexe tel que . On a alors
.
Ici, désigne la fonction gamma et est la fonction zêta de Riemann.
Contexte Le premier exemple de la formule a été prouvé et utilisé par dans son article de 1978 donnant une preuve alternative du théorème d'Apéry.. Il a prouvé la formule lorsque , et a prouvé une formulation équivalente pour le cas . Cela a conduit Petros Hadjicostas à conjecturer la formule ci-dessus en 2004. et en une semaine, elle avait été prouvée par Robin Chapman.. Il a prouvé que la formule est vraie lorsque , puis a étendu le résultat par suite analytique pour obtenir le résultat complet.
Cas particuliers Outre les deux cas utilisés par Beukers pour obtenir des expressions alternatives pour et , la formule peut être utilisée pour exprimer la constante d'Euler-Mascheroni comme une intégrale double en faisant tendre vers :
.
Cette dernière formule a été découverte pour la première fois par Jonathan Sondow. et elle est mentionnée dans le titre de l'article de Hadjicostas.
Références
Voir également
Catégorie:Fonction zêta Catégorie:Pages avec des traductions non relues