Formule de Hadjicostas-Chapman

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é[modifier | modifier le code]

Soit un nombre complexe $s\neq -1$ tel que $\operatorname {Re} (s)>-2$ . On a alors

\int _{0}^{1}\int _{0}^{1}{\frac {1-x}{1-xy}}(-\log(xy))^{s}\,\mathrm {d} x\,\mathrm {d} y=\Gamma (s+2)\left(\zeta (s+2)-{\frac {1}{s+1}}\right)

.

Ici, ${\textstyle \Gamma }$ désigne la fonction gamma et ${\textstyle \zeta }$ est la fonction zêta de Riemann.

Contexte[modifier | modifier le code]

Le premier exemple de la formule a été prouvé et utilisé par Frits Beukers (en) dans son article de 1978 donnant une preuve alternative du théorème d'Apéry^[1]. Il a prouvé la formule lorsque $s = 0$ , et a prouvé une formulation équivalente pour le cas $s = 1$ . Cela a conduit Petros Hadjicostas à conjecturer la formule ci-dessus en 2004^[2] et en une semaine, elle avait été prouvée par Robin Chapman^[3]. Il a prouvé que la formule est vraie lorsque $Re(s) > -1$ , puis a étendu le résultat par suite analytique pour obtenir le résultat complet.

Cas particuliers[modifier | modifier le code]

Outre les deux cas utilisés par Beukers pour obtenir des expressions alternatives pour $ζ(2)$ et $ζ(3)$ , la formule peut être utilisée pour exprimer la constante d'Euler-Mascheroni comme une intégrale double en faisant $s$ tendre vers $-1$ :

\gamma =\int _{0}^{1}\int _{0}^{1}{\frac {1-x}{(1-xy)(-\log(xy))}}\,\mathrm {d} x\,\mathrm {d} y

.

Cette dernière formule a été découverte pour la première fois par Jonathan Sondow^[4] et elle est mentionnée dans le titre de l'article de Hadjicostas.

Références[modifier | modifier le code]

↑ (en) F. Beukers, « A note on the irrationality of ζ(2) and ζ(3) », Bull. London Math. Soc., vol. 11, n^o 3,‎ 1979, p. 268-272 (DOI 10.1112/blms/11.3.268).
↑ (en) Petros Hadjicostas, « A conjecture-generalization of Sondow's formula », 21 mai 2004 (arXiv math/0405423).
↑ (en) Robin Chapman, « A proof of Hadjicostas's conjecture », 15 juin 2004 (arXiv math/0405478).
↑ (en) J. Sondow, « Criteria for irrationality of Euler's constant », Proc. Amer. Math. Soc., vol. 131,‎ 2003, p. 3335-3334 (DOI 10.1090/S0002-9939-03-07081-3).

Voir également[modifier | modifier le code]

(en) K. H. Pilehrood et T. H. Pilehrood, « Vacca-type series for values of the generalized-Euler-constant function and its derivative », J. Integer Seq., vol. 13, n^o 7,‎ 2010 (arXiv 0808.0410)
(en) J. Sondow, « Double integrals for Euler's constant and ln 4/π and an analog of Hadjicostas's formula », American Mathematical Monthly, vol. 112,‎ 2005, p. 61-65 (DOI 10.2307/30037385, arXiv math.CA/0211148)
(en) Jonathan Sondow et Hadjicostas, « The generalized-Euler-constant function γ(z) and a generalization of Somos's quadratic recurrence constant », Journal of Mathematical Analysis and Applications (en), vol. 332,‎ 2008, p. 292-314 (DOI 10.1016/j.jmaa.2006.09.081, arXiv math/0610499)

Portail des mathématiques

[1] (en) F. Beukers, « A note on the irrationality of ζ(2) and ζ(3) », Bull. London Math. Soc., vol. 11, n^o 3,‎ 1979, p. 268-272 (DOI 10.1112/blms/11.3.268).

[2] (en) Petros Hadjicostas, « A conjecture-generalization of Sondow's formula », 21 mai 2004 (arXiv math/0405423).

[3] (en) Robin Chapman, « A proof of Hadjicostas's conjecture », 15 juin 2004 (arXiv math/0405478).

[4] (en) J. Sondow, « Criteria for irrationality of Euler's constant », Proc. Amer. Math. Soc., vol. 131,‎ 2003, p. 3335-3334 (DOI 10.1090/S0002-9939-03-07081-3).

[1]

[2]

[3]

[4]