Constante de Catalan

La constante de Catalan vue comme intégrale entre 0 et 1 de la fonction .

En mathématiques, la constante de Catalan, portant le nom du mathématicien Eugène Charles Catalan, est le nombre défini par : est la fonction bêta de Dirichlet.

Ses décimales sont répertoriées par la suite A006752 de l'OEIS.

On ne sait pas si la constante est rationnelle ou irrationnelle.

Autres expressions

La constante de Catalan est aussi égale à :

Expressions intégrales

  • , où Ti2 désigne la fonction arc tangente intégral
  • est l'intégrale elliptique complète de première espèce
  • est l'intégrale elliptique complète de deuxième espèce

Développements en série

Cette constante peut aussi être définie par la fonction de Clausen : , ce qui donne les formules suivantes :

  • (intégrale en log-sinus),
  • ,
  • .

Puisque est l'image de 2 par la fonction bêta, il existe un lien avec le polylogarithme : , d'où : .

Utilisation

K apparaît dans les valeurs de la fonction polygamma de deuxième ordre, aussi appelée la fonction trigamma : , .

Simon Plouffe donne une famille infinie d'identités entre la fonction trigamma, π2 et la constante de Catalan, par un algorithme de génération de formules[1],[2].

K apparaît dans le calcul de l'entropie de la loi sécante hyperbolique.

En topologie, la constante de Catalan est égale au quart du volume d'un octaèdre hyperbolique idéal, soit un quart du volume hyperbolique du complément de l'entrelacs de Whitehead[3]. Elle vaut aussi 1/8 du volume du complément des anneaux borroméens[4].

En combinatoire et en mécanique statistique, elle apparait dans le dénombrement des pavages en domino[5] des arbres couvrants[6], et des cycles hamiltoniens de graphes grilles[7]

En théorie des nombres, la constante de Catalan apparait dans une formule conjecturée du nombre de nombres premiers de la forme selon la conjecture F de Hardy et Littlewood. Cela reste cependant un problème non résolu (un des problèmes de Landau) pour lequel on ignore s'il y a un nombre infini de nombres premiers de cette forme[8].

La constante de Catalan apparait aussi dans le calcul de la distribution de la masse de galaxies spirales[9],[10].

Propriétés

On ignore encore si K est irrationnel, encore moins s'il est transcendant[11] K a été désigné comme "assurément la plus basique des constantes dont l'irrationalité et la transcendance (bien que fortement soupçonnée) reste à prouver"[12]

Il existe cependant des résultats partiels. On sait qu'il existe un nombre infini de nombres irrationnels parmi les valeurs β(2n), où β(s) est la fonction bêta de Dirichlet[13]. En particulier, au moins une des valeurs parmi β(2), β(4), β(6), β(8), β(10) et β(12) doit être irrationnel, avec β(2) valant la constante de Catalan[14]. Ces résultats par Wadim Zudilin et Tanguy Rivoal sont liés à des résultats obtenus par le calcul de valeurs de la fonction zêta de Riemann aux entiers positifs impairs ζ(2n + 1).

La constante de Catalan est connue pour être périodique algébrique, liés à des égalités à partir d'intégrales doubles.

Séries convergeant rapidement

Les trois formules suivantes convergent rapidement vers K et sont donc appropriées pour le calcul numérique :

.

Les calculs théoriques pour cette deuxième série ont été donnés par Broadhurst[15].

et

Troisième série découverte par Jesús Guillera, de l'université de Saragosse, en 2008 via la technique de l'y-cruncher (en)[16].

Décimales connues

Le nombre de chiffres connus de la constante de Catalan a augmenté radicalement pendant les dernières décennies. Ceci est dû à l'augmentation des performances des ordinateurs et aux améliorations algorithmiques[17].

Nombres de chiffres connus de la constante de Catalan
Date Décimales Calculé par
2009 31 026 000 000 R. Shan et A. J. Yee
Octobre 2006 5 000 000 000 Shigeru Kondo
2002 201 000 000 Xavier Gourdon et Pascal Sebah
2001 100 000 500 Xavier Gourdon et Pascal Sebah
4 janvier 1998 12 500 000 Xavier Gourdon
1997 3 379 957 Patrick Demichel
1996 1 500 000 Thomas Papanikolaou
29 septembre 1996 300 000 Thomas Papanikolaou
14 août 1996 100 000 Greg J. Fee et Simon Plouffe
1996 50 000 Greg J. Fee
1990 20 000 Greg J. Fee
1913 32 James W. L. Glaisher
1877 20 James W. L. Glaisher

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Catalan's constant » (voir la liste des auteurs).
  1. (en) David H. Bailey et Simon Plouffe, « Recognizing Numerical Constants », viXra,‎ (lire en ligne)
  2. (en) Helaman R. P. Ferguson, David H. Bailey et Paul Kutler, « A Polynomial Time, Numerically Stable Integer Relation Algorithm », viXra,‎ (lire en ligne)
  3. (en) Ian Agol, « The minimal volume orientable hyperbolic 2-cusped 3-manifolds », Proceedings of the American Mathematical Society, vol. 138, no 10,‎ , p. 3723–3732 (DOI 10.1090/S0002-9939-10-10364-5, MR 2661571, arXiv 0804.0043, S2CID 2016662).
  4. (en) William Thurston, « 7. Computation of volume », dans The Geometry and Topology of Three-Manifolds, (lire en ligne [archive du ]), p. 165.
  5. (en) H. N. V. Temperley et Michael E. Fisher, « Dimer problem in statistical mechanics—an exact result », Philosophical Magazine, vol. 6, no 68,‎ , p. 1061–1063 (DOI 10.1080/14786436108243366, Bibcode 1961PMag....6.1061T)
  6. (en) F. Y. Wu, « Number of spanning trees on a lattice », Journal of Physics, vol. 10, no 6,‎ , L113–L115 (DOI 10.1088/0305-4470/10/6/004, Bibcode 1977JPhA...10L.113W, MR 489559)
  7. (en) P. W. Kasteleyn, « A soluble self-avoiding walk problem », Physica, vol. 29, no 12,‎ , p. 1329–1337 (DOI 10.1016/S0031-8914(63)80241-4, Bibcode 1963Phy....29.1329K, MR 159642)
  8. (en) Daniel Shanks, « A sieve method for factoring numbers of the form  », Mathematical Tables and Other Aids to Computation, vol. 13,‎ , p. 78–86 (DOI 10.2307/2001956, JSTOR 2001956, MR 105784)
  9. (en) A. B. Wyse et N. U. Mayall, « Distribution of Mass in the Spiral Nebulae Messier 31 and Messier 33. », The Astrophysical Journal, vol. 95,‎ , p. 24–47 (DOI 10.1086/144370 Accès libre, Bibcode 1942ApJ....95...24W)
  10. (en) P. C. van der Kruit, « The three-dimensional distribution of light and mass in disks of spiral galaxies. », Astronomy & Astrophysics, vol. 192,‎ , p. 117–127 (Bibcode 1988A&A...192..117V)
  11. (en) Yu. V. Nesterenko, « On Catalan's constant », Proceedings of the Steklov Institute of Mathematics, vol. 292, no 1,‎ , p. 153–170 (DOI 10.1134/s0081543816010107, S2CID 124903059).
  12. (en) David H. Bailey, Jonathan M. Borwein, Andrew Mattingly et Glenn Wightwick, « The computation of previously inaccessible digits of and Catalan's constant », Notices of the American Mathematical Society, vol. 60, no 7,‎ , p. 844–854 (DOI 10.1090/noti1015 Accès libre, MR 3086394)
  13. (en) T. Rivoal et W. Zudilin, « Diophantine properties of numbers related to Catalan's constant », Mathematische Annalen, vol. 326, no 4,‎ , p. 705–721 (ISSN 1432-1807, DOI 10.1007/s00208-003-0420-2, hdl 1959.13/803688, lire en ligne)
  14. (en) Wadim Zudilin, « Arithmetic of Catalan's constant and its relatives », Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, vol. 89,‎ , p. 45–53 (DOI 10.1007/s12188-019-00203-w, arXiv 1804.09922)
  15. (en) D. J. Broadhurst, Polylogarithmic ladders, hypergeometric series and the ten millionth digits of ζ(3) and ζ(5), arXiv : math.CA/9803067, 1998.
  16. (en) Alexander Yee, « Formulas and Algorithms », numberworld,‎ (lire en ligne)
  17. (en) Constants and Records of Computation sur le site de X. Gourdon et P. Sebah.

Voir aussi

Bibliographie

  • E. Catalan, « Mémoire sur la transformation des séries, et sur quelques intégrales définies : Extrait par l'auteur », CRAS, vol. 59,‎ , p. 618-620 (lire en ligne)
  • (en) Henri Cohen, Number Theory, vol. II : Analytic and Modern Tools, New York, Springer, , 596 p. (ISBN 978-0-387-49893-5, lire en ligne), p. 127
  • François Le Lionnais, Les nombres remarquables, Hermann, 1983 puis 1999 (ISBN 2-7056-1407-9)
  • (en) H. M. Srivastava et Choi Junesang, Series Associated With the Zeta and Related Functions, KluwerAcademic, , 388 p. (ISBN 978-0-7923-7054-3, lire en ligne), p. 30
  • (en) D.M. Bradley, Representations of Catalan's constant, KluwerAcademic, (lire en ligne)

Liens externes

(en) Eric W. Weisstein, « Catalan's Constant », sur MathWorld

  • icône décorative Arithmétique et théorie des nombres