Constante d'Euler-Mascheroni

{{#ifeq:||Un article de Ziki, l'encyclopédie libre.|Une page de Ziki, l'encyclopédie libre.}}

Modèle:Voir homonymesModèle:Sources à lier En mathématiques, la constante d'Euler-Mascheroni, ou constante d'Euler, est une constante mathématique définie comme la limite de la différence entre la série harmonique et le logarithme népérien. On la note usuellement <math>\gamma</math> (gamma minuscule).

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 <math>0+\cfrac1{1+\cfrac1{1+\cfrac1{2+\cfrac1{1+\cfrac1{\ \ddots\ {}}}}}}</math>
(on ignore encore si cette fraction continue se termine ou non).

Définition

La constante d'Euler-Mascheroni Modèle:Math est définie de la manière suivante :

<math>\gamma=\lim_{n\to\infty}\left(1+\frac12+\frac13+\frac14+\dots+\frac1n-\ln(n)\right)</math>

De façon condensée, on obtient :

<math>\gamma=\lim_{n\to\infty}\left(\sum_{k=1}^n\frac1k-\ln(n)\right)</math>

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

<math>\gamma=\sum_{k=1}^\infty\left[\frac1k-\ln\left(1+\frac1k\right)\right]</math>

La série harmonique diverge, tout comme la suite de terme général Modèle:Math ; l'existence de cette constante indique que les deux expressions sont asymptotiquement liées.

Valeur approchée et propriétés

Les 10 premières décimales de la constante d'Euler-Mascheroni (Modèle:OEIS) sont : Modèle:Formule.

Le calcul au moyen de la suite <math>\sum_{k=1}^n\frac1k-\ln(n)</math> 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 Modèle:4e, 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 Modèle:2e dans le sens naturel, et la Modèle:4e 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 :

<math>\gamma=\sum_{k=1}^n\frac1k-\ln(n)-\frac1{2n}+\frac1{12n^2}-\frac1{120n^4}+\dots</math>.

Cela permit à Euler d'obtenir 16 décimales de Modèle:Math. Puis Lorenzo Mascheroni en proposa 32 en 1790, mais avec une erreur à partir de la Modèle:20e, erreur corrigée en 1809 par Johann Georg von Soldner. Donald Knuth donne Modèle:Unité 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 2020, le record vérifié semble être détenu par Seungmin Kim et Ian Cutress, avec plus de 600 milliards de décimales (600 000 000 100 pour être précis) en utilisant y-cruncher<ref>Modèle:Lien web</ref>.

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, le dénominateur de sa fraction irréductible possède plus de Modèle:Unité Modèle:Harv.

Formules diverses

Formules intégrales

Fichier:Gamma-area.svg
Constante gamma (somme des aires des surfaces bleues) comme intégrale de Modèle:Math de 1 à ∞.
Fichier:Euler mascheroni constant.svg
Constante gamma comme intégrale de Modèle:Math de 0 à 1.

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

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

Il est possible (Modèle:Harvsp, Modèle:Harvsp) d'exprimer Modèle:Math sous forme d'une intégrale double (avec ici la série équivalente) :

<math>\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(\frac1n-\ln\left(\frac{n+1}n\right)\right)</math>.

Une autre constante s'exprime de façon analogue Modèle:Harv :

<math>\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)</math>.

Ces deux constantes sont également liées par deux séries Modèle:Harv :

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

où Modèle:Math et Modèle:Math sont le nombre de 1 et de 0 dans l'écriture de Modèle:Mvar 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

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

  • Fonction gamma :
    • <math>\Gamma(z)=\int_0^\infty\mathrm e^{-t}t^{z-1}\,{\rm d}t=\frac{\mathrm e^{-\gamma z}}z\prod_{n=1}^\infty\frac{n\mathrm e^{z/n}}{n+z}</math>,
    • <math>\Gamma(x)=\frac1x-\gamma+o(1)</math> quand x tend vers 0,
    • <math>\Gamma'(1)=\int_0^\infty{\mathrm e^{-x}\ln x}\,{\rm d}x=-\gamma</math>,
    • <math>\Gamma(1)=\int_0^\infty{\mathrm e^{-x}(\ln(x))^2}\,{\rm d}x=\gamma^2+\frac{\pi^2}6</math>,
    • <math>\Gamma'(1/2)=4\int_0^\infty {\mathrm e^{-x^2}\ln(x)}\,{\rm d}x=-(\gamma+2\ln 2)\sqrt{\pi}</math> ;
  • Fonction exponentielle intégrale :
    • <math>E_1(z)=\int_z^\infty{\mathrm e^{-t}\over t}\,{\rm d}t=

\int_1^\infty{\mathrm e^{-zt}\over t}\,{\rm d}t= \mathrm e^{-z}\int_0^\infty{\mathrm e^{-zt}\over{1+t}}\,{\rm d}t</math>

    • <math>={\mathrm e^{-z}\over z}\int_0^\infty{\mathrm e^{-t}\over {1+t/z}}\,{\rm d}t=

-\ln z-\gamma+\sum_{n=1}^\infty {(-1)^{n-1}z^n\over n\cdot n!}</math>;

  • Fonction logarithme intégral :
    • <math>{\rm pour} \; x > 1,\ \mathrm{li}(x)=\gamma+\ln(\ln(x))+\sum_{n=1}^{\infty}\frac{\ln(x)^n}{n\cdot n!}</math> ;
  • Fonction cosinus intégral :
    • <math>\forall x > 0,\ \mathrm{Ci}(x)=\gamma+\ln(x)+\sum_{n=1}^{+\infty}(-1)^n\frac{x^{2n}}{(2n)!(2n)}</math> ;
  • Fonction psi :
    • <math>\psi(z)={\Gamma'(z)\over\Gamma(z)}=-\gamma-{1\over z}+\sum_{n=1}^\infty{1\over n}-{1\over n+z}</math>,
      en particulier, <math>\psi(1)=\Gamma'(1)=-\gamma</math> et <math>\sum_{k=1}^n{1\over k}=\psi(n+1)+\gamma</math> ;
  • Fonction zêta de Riemann :
    • <math>\zeta(1+x)=\frac1x+\gamma+o(1)</math> quand x tend vers 0,
    • <math>\sum_{n=2}^\infty\frac1n(\zeta(n)-1)=1-\gamma</math>,
    • <math>\sum_{n=1}^\infty\frac1{(2n+1)2^{2n}}(\zeta(2n+1)-1)=1-\gamma-\ln\frac32</math>,
    • <math>\sum_{n=2}^\infty\frac{(-1)^n}n\zeta(n)=\gamma</math>.

Formules en relation avec certaines fonctions arithmétiques

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

  • <math>\lim_{n \to \infty}\frac1{\ln(n)}\prod_{p\le n}\left(1-\frac1p\right)^{-1}=\mathrm e^\gamma</math> (théorème de Mertens).
  • <math>\lim_{n \to \infty}\frac1{\ln(n)}\prod_{p\le n}\left(1+\frac1p\right)=\frac{6\mathrm e^\gamma}{\pi^2}</math>.
  • Soit <math>\Lambda</math> la fonction de von Mangoldt, définie sur les entiers par <math>\Lambda(n)=\ln(p)</math> si n est une puissance du nombre premier p et <math>\Lambda(n)=0</math> sinon. Alors <math>\sum_{n=2}^\infty\frac{\Lambda(n)-1}n=-2\gamma</math>.
  • Soit <math>d(n)</math> le nombre de diviseurs de n (y compris 1 et n lui-même). Alors <math>\frac1n\sum_{k=1}^n d(k)=\ln(n)+2\gamma-1+O\left (\frac 1{\sqrt n}\right )</math> quand n tend vers l'infini<ref name ="HardyWright18"/>.
  • Soit <math>\sigma(n)</math> la somme des diviseurs de l'entier n. Alors <math>\limsup\frac{\sigma(n)}{n\ln(\ln(n))}=\mathrm e^\gamma</math>, où lim sup désigne la limite supérieure de la suite<ref name ="HardyWright18"/>.
  • Soit <math>\varphi</math> la fonction indicatrice d'Euler. Alors <math>\liminf\frac{\varphi(n)\ln(\ln(n))}n=\mathrm e^{-\gamma}</math>, où lim inf désigne la limite inférieure de la suite<ref name ="HardyWright18">Modèle:HardyWrightFr, chapitre 18 (« L'ordre de grandeur des fonctions arithmétiques »), sections 18.2 à 18.4.</ref>.

Généralisation

Modèle:Article détaillé Il est possible de généraliser le sujet en définissant les constantes suivantes, appelées constantes de Stieltjes :

<math>\gamma(m)=\lim_{n\to\infty}\left(

\sum_{k=1}^n\frac{(\ln k)^m}k-\frac{(\ln n)^{m+1}}{m+1}\right)</math>.

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

Notes et références

Modèle:Références

Voir aussi

Modèle:Autres projets

Articles connexes

Bibliographie

Liens externes

Modèle:Portail

Récupérée de « https://wiki.trucsazeb.re:443/index.php?title=Constante_d%27Euler-Mascheroni&oldid=43946 »