Constante d'Euler-Mascheroni

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

En mathématiques, la constante d'Euler-Mascheroni, ou constante d'Euler, est une constante mathématique, utilisée principalement en théorie des nombres, définie comme la limite de la différence entre la série harmonique et le logarithme naturel.

Liste des nombres
γ - ζ(3) - √2 - √3 - √5 - φ - α - e - π - δ
Binaire 0,100 100 111 100 010 001 1…
Décimal 0,577 215 664 901 532 860 6…
Hexadécimal 0,93C 467 E37 DB0 C7A 4D1 B…
Fraction continue 0 + \cfrac{1}{1 + \cfrac{1}{1 + \cfrac{1}{2 + \cfrac{1}{1 + \cfrac{1}{\ \ddots\ {}}}}}}
(on ignore encore si cette fraction continue se termine ou non).

Définition[modifier | modifier le code]

La constante d'Euler-Mascheroni \gamma est définie comme étant :

\gamma = \lim_{n \rightarrow \infty } \left( 1+ \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + ... + \frac{1}{n} - \ln(n) \right),

ou, de façon condensée :

\gamma = \lim_{n \rightarrow \infty } \left( \sum_{k=1}^{n} \frac {1}{k} - \ln(n) \right).

La constante peut également être définie sous la forme explicite d'une série (telle qu'elle fut d'ailleurs introduite par Euler) :

\gamma = \sum_{k=1}^\infty \left[ \frac{1}{k} - \ln \left( 1 + \frac{1}{k} \right) \right]

La série harmonique diverge, tout comme la suite de terme général \ln(n) ; l'existence de cette constante indique que les deux expressions sont asymptotiquement liées.

Valeur approchée et propriétés[modifier | modifier le code]

Les 10 premières décimales de la constante d'Euler-Mascheroni (suite A001620 de l'OEIS) sont : γ ≈ 0,577 215 664 9.

Le calcul au moyen de la suite \sum_{k=1}^n \frac{1}{k} - \ln(n) est extrêmement lent et imprécis. Il présente néanmoins un intérêt pédagogique pour se sensibiliser aux problèmes de propagation d'erreurs d'arrondi. En simple précision, pour 100 000 termes, en sommant dans l'ordre naturel, il y a une erreur sur la 4e décimale, erreur beaucoup plus faible si la somme est effectuée dans l'ordre inverse (du plus petit au plus grand), ou si on utilise l'algorithme de Kahan (voir somme (algorithmique)). Pour un million de termes, l'erreur atteint la 2e décimale dans le sens naturel, et la 4e décimale dans le sens inverse ; par contre, par la méthode de Kahan, on a atteint les 6 décimales exactes.

Des méthodes plus efficaces doivent être mises en œuvre pour obtenir une précision suffisante. Par exemple, l'utilisation de la formule d'Euler-Maclaurin permet d'obtenir des développements asymptotiques tels que :

\gamma = \sum_{k=1}^n \frac{1}{k} - \ln(n) - \frac{1}{2n} + \frac{1}{12n^2} - \frac{1}{120n^4} + ...

Cela permit à Euler d'obtenir 16 décimales de \gamma. Puis Lorenzo Mascheroni en proposa 32 en 1790, mais avec une erreur à partir de la 20e, erreur corrigée en 1809 par Johann Georg von Soldner. Donald Knuth donne 1271 décimales en 1962, Thomas Papanikolaou donne un million de décimales en 1997, P. Dechimel et X. Gourdon en donnent cent millions deux ans plus tard. En 2008, le record est de dix milliards de décimales, par Shigeru Kondo et Steve Pagliarulo.

On ignore toujours si la constante d'Euler-Mascheroni est ou non un nombre rationnel. Cependant, l'analyse en fraction continue de la constante indique que si elle est rationnelle, son dénominateur possède plus de 242 080 chiffres (Havil 2003, p. 97).

Formules diverses[modifier | modifier le code]

Formules intégrales[modifier | modifier le code]

La constante d'Euler-Mascheroni intervient dans plusieurs intégrales :

\gamma = \int_1^\infty\left({1\over E(x)}-{1\over x}\right)\,{\rm d}x (où E est la fonction partie entière)
= 1 - \int_1^\infty\ \frac{x - E(x)}{x^2} \,{\rm d}x
= - \int_0^1 { \ln\ln\left(\frac{1}{x}\right) }\,{\rm d}x
= \int_0^1 \left(\frac1{\ln(x)} + \frac{1}{1-x}\right) \,{\rm d}x
= \int_0^\infty {\left(\frac1{1-e^{-x}}-\frac1x\right)e^{-x}}\,{\rm d}x
= \int_0^\infty { \frac{1}{x} \left( \frac1{1+x}-e^{-x} \right) }\,{\rm d}x.

Il est possible (Sondow 2003, Sondow 2005) d'exprimer \gamma sous forme d'une intégrale double (avec ici la série équivalente) :

\gamma = \int_0^1\int_0^1\frac{x-1}{(1-x\,y)\ln(x\,y)} \, {\rm d}x\,{\rm d}y = \sum_{n=1}^\infty \left( \frac{1}{n}-\ln \left( \frac{n+1}{n} \right) \right).

Une autre constante s'exprime de façon analogue (Sondow 2005) :

\ln \left( \frac4{\pi} \right) =  \int_0^1\int_{0}^{1} \frac{x-1}{(1+x\,y)\ln(x\,y)} \, {\rm d}x\,{\rm d}y = \sum_{n=1}^\infty (-1)^{n-1} \left( \frac1n-\ln \left(  \frac{n+1}{n} \right) \right).

Ces deux constantes sont également liées par deux séries (Sondow 2010) :

\gamma = \sum_{n=1}^\infty \frac{N_1(n) + N_0(n)}{2n(2n+1)}
\ln \left( \frac4{\pi} \right) = \sum_{n=1}^\infty \frac{N_1(n) - N_0(n)}{2n(2n+1)}

N_1(n) et N_0(n) sont le nombre de 1 et de 0 dans l'écriture de n en base 2.

On trouvera d'autres expressions non classiques de la constante d'Euler dans l'article Mesure secondaire.

Formules en relation avec certaines fonctions analytiques[modifier | modifier le code]

La constante d'Euler-Mascheroni possède des liens avec d'autres fonctions analytiques particulières :

\forall x > 0,\ \mathrm{Ci}(x) = \gamma + \ln(x) + \sum_{n=1}^{+\infty} (-1)^n \frac{x^{2n}}{(2n)!(2n)}

Formules en relation avec certaines fonctions arithmétiques[modifier | modifier le code]

Dans ce paragraphe, p désigne un nombre premier.

Généralisation[modifier | modifier le code]

Article détaillé : Constantes de Stieltjes.

Il est possible de généraliser le sujet en définissant les constantes suivantes :

\gamma (m) = \lim_{n \rightarrow \infty } \left(
\sum_{k=1}^n \frac{(\ln k)^m}{k}  - \frac{(\ln n)^{m+1}}{m+1} \right).

On constate que \gamma (0) = \gamma, la constante d'Euler.

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

  • (en) G. H. Hardy et E. M. Wright, An Introduction to the Theory of Numbers [détail des éditions], pour les formules en relation avec les fonctions arithmétiques.
  • (en) Julian Havil (de), Gamma: Exploring Euler's Constant, PUP,‎ 2003 (ISBN 0-691-09983-9)
  • (en) Jonathan Sondow, « Criteria for irrationality of Euler's constant », Proc. Amer. Math. Soc., vol. 131,‎ 2003, p. 3335-3344, arXiv:math.NT/0209070
  • (en) Jonathan Sondow, « Double integrals for Euler's constant and ln 4/π and an analog of Hadjicostas's formula », Amer. Math. Month., vol. 112,‎ 2005, p. 61-65, arXiv:math.CA/0211148
  • (en) Jonathan Sondow, « New Vacca-type rational series for Euler's constant and its 'alternating' analog ln 4/π », Additive Number Theory,‎ 2010, p. 331-340, arXiv:math.NT/0508042
  • M. Lerch, Expressions nouvelles de la constante d'Euler. Sitzungsberichte der Königlich Böhmischen Gesellschaft der Wissenschaften 42, 5 p. (1897)
  • Jeffrey C. Lagarias, Euler's constant: Euler's work and modern developments, 83 pages, 258 references. http://arxiv.org/abs/1303.1856v3 (2013)

Voir aussi[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

Liens externes[modifier | modifier le code]