En mathématiques, la constante de Catalan, portant le nom du mathématicien Eugène Charles Catalan, est le nombre défini par : où 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
modifierLa constante de Catalan est aussi égale à :
Expressions intégrales
modifier- , où Ti2 désigne la fonction arc tangente intégral
- où est l'intégrale elliptique complète de première espèce
- où est l'intégrale elliptique complète de deuxième espèce
Développements en série
modifierCette 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
modifierK 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
modifierOn 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
modifierLes 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
modifierLe 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].
| 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
modifier- ↑ (en) David H. Bailey et Simon Plouffe, « Recognizing Numerical Constants », viXra, 1995 (lire en ligne)
- ↑ (en) Helaman R. P. Ferguson, David H. Bailey et Paul Kutler, « A Polynomial Time, Numerically Stable Integer Relation Algorithm », viXra, 1998 (lire en ligne)
- ↑ (en) Ian Agol, « The minimal volume orientable hyperbolic 2-cusped 3-manifolds », Proceedings of the American Mathematical Society, vol. 138, no 10, 2010, p. 3723–3732 (DOI 10.1090/S0002-9939-10-10364-5, MR 2661571, arXiv 0804.0043, S2CID 2016662).
- ↑ (en) William Thurston, « 7. Computation of volume », dans The Geometry and Topology of Three-Manifolds, mars 2002 (lire en ligne [archive du 25 janvier 2011]), p. 165.
- ↑ (en) H. N. V. Temperley et Michael E. Fisher, « Dimer problem in statistical mechanics—an exact result », Philosophical Magazine, vol. 6, no 68, août 1961, p. 1061–1063 (DOI 10.1080/14786436108243366, Bibcode 1961PMag....6.1061T)
- ↑ (en) F. Y. Wu, « Number of spanning trees on a lattice », Journal of Physics, vol. 10, no 6, 1977, L113–L115 (DOI 10.1088/0305-4470/10/6/004, Bibcode 1977JPhA...10L.113W, MR 489559)
- ↑ (en) P. W. Kasteleyn, « A soluble self-avoiding walk problem », Physica, vol. 29, no 12, 1963, p. 1329–1337 (DOI 10.1016/S0031-8914(63)80241-4, Bibcode 1963Phy....29.1329K, MR 159642)
- ↑ (en) Daniel Shanks, « A sieve method for factoring numbers of the form », Mathematical Tables and Other Aids to Computation, vol. 13, 1959, p. 78–86 (DOI 10.2307/2001956, JSTOR 2001956, MR 105784)
- ↑ (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, janvier 1942, p. 24–47 (DOI 10.1086/144370 , Bibcode 1942ApJ....95...24W)
- ↑ (en) P. C. van der Kruit, « The three-dimensional distribution of light and mass in disks of spiral galaxies. », Astronomy & Astrophysics, vol. 192, mars 1988, p. 117–127 (Bibcode 1988A&A...192..117V)
- ↑ (en) Yu. V. Nesterenko, « On Catalan's constant », Proceedings of the Steklov Institute of Mathematics, vol. 292, no 1, janvier 2016, p. 153–170 (DOI 10.1134/s0081543816010107, S2CID 124903059).
- ↑ (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, 2013, p. 844–854 (DOI 10.1090/noti1015 , MR 3086394)
- ↑ (en) T. Rivoal et W. Zudilin, « Diophantine properties of numbers related to Catalan's constant », Mathematische Annalen, vol. 326, no 4, 1er août 2003, p. 705–721 (ISSN 1432-1807, DOI 10.1007/s00208-003-0420-2, hdl 1959.13/803688, lire en ligne)
- ↑ (en) Wadim Zudilin, « Arithmetic of Catalan's constant and its relatives », Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, vol. 89, 26 avril 2018, p. 45–53 (DOI 10.1007/s12188-019-00203-w, arXiv 1804.09922)
- ↑ (en) D. J. Broadhurst, Polylogarithmic ladders, hypergeometric series and the ten millionth digits of ζ(3) and ζ(5), arXiv : math.CA/9803067, 1998.
- ↑ (en) Alexander Yee, « Formulas and Algorithms », numberworld, 25 octobre 2023 (lire en ligne)
- ↑ (en) Constants and Records of Computation sur le site de X. Gourdon et P. Sebah.
Voir aussi
modifierBibliographie
modifier- E. Catalan, « Mémoire sur la transformation des séries, et sur quelques intégrales définies : Extrait par l'auteur », CRAS, vol. 59, 1864, p. 618-620 (lire en ligne)
- (en) Henri Cohen, Number Theory, vol. II : Analytic and Modern Tools, New York, Springer, 2000, 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, 2001, 388 p. (ISBN 978-0-7923-7054-3, lire en ligne), p. 30
- (en) D.M. Bradley, Representations of Catalan's constant, KluwerAcademic, 28 janvier 2001 (lire en ligne)
Liens externes
modifier(en) Eric W. Weisstein, « Catalan's Constant », sur MathWorld