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.

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

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

modifier

La constante   de Catalan est aussi égale à :

Expressions intégrales

modifier
  •  , 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

modifier

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

modifier

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

modifier

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

modifier

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

modifier

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

modifier
(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,‎ 1995 (lire en ligne)
  2. (en) Helaman R. P. Ferguson, David H. Bailey et Paul Kutler, « A Polynomial Time, Numerically Stable Integer Relation Algorithm », viXra,‎ 1998 (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,‎ 2010, 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, mars 2002 (lire en ligne [archive du 25 janvier 2011]), 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,‎ août 1961, 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,‎ 1977, 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,‎ 1963, 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,‎ 1959, 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,‎ janvier 1942, p. 24–47 (DOI 10.1086/144370  , 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,‎ mars 1988, 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,‎ janvier 2016, 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,‎ 2013, p. 844–854 (DOI 10.1090/noti1015  , MR 3086394)
  13. (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)
  14. (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)
  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,‎ 25 octobre 2023 (lire en ligne)
  17. (en) Constants and Records of Computation sur le site de X. Gourdon et P. Sebah.

Voir aussi

modifier

Bibliographie

modifier

Liens externes

modifier

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

📚 Artikel Terkait di Wikipedia

Algorithme de Gale et Shapley

int[][] MPref, int[][] WPref) { int n = M.length; LinkedList<Integer> Libre= new LinkedList<Integer>(); int[] Prochain = new int[n] ; int[] Actuel = new int[n];

Algorithme récursif

Un algorithme récursif est un algorithme qui résout un problème en calculant des solutions d'instances plus petites du même problème. L'approche récursive

Calcul infinitésimal

idées majeures complémentaires : Le calcul différentiel, qui établit une relation entre les variations de plusieurs fonctions, ainsi que la notion de dérivée

Master theorem

les notations en O) pour des relations de récurrence d'un certain type rencontrées dans l'analyse de complexité d'algorithmes qui sont régis par le paradigme

Espace latent

les intégrations en exploitant des techniques statistiques et des algorithmes d'apprentissage automatique. Voici quelques modèles d'intégration couramment

Programmation informatique

'main' : c'est toujours ici qu'un programme commence // 'int' signifie integer : nombre entier en anglais int A, B; // on déclare deux variables A et

Chatbot

que le cœur du problème n'est pas tant l'âge des utilisateurs que les algorithmes de recommandations (aussi mis en cause par la Commission européenne en

Informatique

aspects de l'informatique sont très abstraits, comme la complexité algorithmique, d'autres sont plus proches d'un public profane. Ainsi, la théorie des