Constante d'Euler-Mascheroni

Infos
En mathématiques, la constante d'Euler-Mascheroni 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.
Constante d'Euler-Mascheroni

En mathématiques, la constante d'Euler-Mascheroni 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.

Définition

La constante d'Euler-Mascheroni \gamma est définie comme étant : :\gamma = \lim_n \rightarrow \infty \left( 1+ \frac + \frac + \frac + ... + \frac - \ln(n) \right), ou, de façon condensée : :\gamma = \lim_n \rightarrow \infty \left( \sum_^ \frac - \ln(n) \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.

Propriétés

Propriétés générales

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 10242080 chiffres décimaux.

Autres formulations

La constante peut être définie sous la forme explicite d'une série (telle qu'elle fut d'ailleurs introduite par Euler) : :\gamma = \sum_^\infty \left. Elle est également donnée par plusieurs intégrales : ::\gamma = \int_1^\infty\left(1\over E(x)-1\over x\right)\, dx (où E est la fonction partie entière) ::= - \int_0^\infty e^ \log x \, dx ::= - \int_0^1 \log\log\left(\frac\right) \, dx ::= \int_0^\infty \left(\frac-\frac \right)e^\, dx ::= \int_0^\infty \frac \left( \frac-e^ \right) \, dx. D'autres intégrales mettant en scène \gamma sont : :\int_0^\infty e^ \log(x) \, dx = -1/4(\gamma+2 \log 2) \sqrt\pi :\int_0^\infty e^ (\log(x))^2 \, dx = \gamma^2 + \frac\pi^2. Il est possible d'exprimer \gamma sous forme d'une intégrale double (avec ici la série équivalente) : : \gamma = \int_^\int_^ \frac(1-x\, y)\log(x\, y) \, dx\, dy = \sum_^\infty \left( \frac-\log \left( \frac \right) \right). Par ailleurs : :\log \left( \frac\pi \right) = \int_^\int_^ \frac(1+x\, y)\log(x\, y) \, dx\, dy = \sum_^\infty (-1)^ \left( \frac-\log \left( \frac \right) \right). Les deux constantes sont également liées par deux séries : :\gamma = \sum_^\infty \frac :\log \left( \frac\pi \right) = \sum_^\infty \frac où 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 Mesures secondaires

Relation avec certaines fonctions

La constante d'Euler-Mascheroni possède des liens avec d'autres fonctions particulières :
- Fonction gamma :
-:\Gamma(z) = \int_0^\infty e^t^\, dt = 1 \over ze^\gamma z \displaystyle\prod_^\infty (1+z/n)e^
- Fonction exponentielle intégrale :
-:E_1(z) = \int_z^\infty e^ \over t\, dt = \int_1^\infty e \over t\, dt = e^\int_0^\infty e^ \over \, dt
-:= e^ \over z \int_0^\infty e \over \, dt = - lnz - \gamma + \sum_^\infty (-1)^z^n \over n.n!
- Fonction psi :
-:\Psi(z) = \Gamma'(z) \over \Gamma(z) = - \gamma - 1 \over z + \sum_^\infty 1 \over n - 1 \over n+z
-:En particulier, \Psi(1) = \Gamma'(1) = - \gamma \, et \sum_^n 1 \over k= \Psi(n+1) + \gamma

Généralisation

Il est possible de généraliser le sujet en définissant les constantes suivantes : :\gamma (m) = \lim_n \rightarrow \infty \left( \sum_^n \frac(\ln k)^m - \frac(\ln n)^ \right). On constate que \gamma (0) = \gamma, la constante d'Euler.

Valeur approchée

La 100 premières décimales de la constante d'Euler-Mascheroni sont : :\gamma\, ≈ 0, 57721 56649 01532 86060 65120 90082 40243 10421 59335 93992 35988 05767 23488 48677 26777 66467 09369 47063 29174 67495

Calcul numérique de \gamma

Le calcul numérique de \gamma est un moyen pédagogique simple pour se sensibiliser aux problèmes de propagation d'erreur d'arrondi. En simple précision, pour 100 000 points, en sommant dans l'ordre naturel, on obtient une erreur sur la 4 décimale, erreur beaucoup plus faible si on fait cette somme dans l'ordre inverse (du plus petit au plus grand), ou si on utilise l'algorithme de Kahan (cf. Somme (algorithmique)). Pour 1 000 000 de points, la divergence atteint la 2 décimale dans le sens naturel, et la 4 décimale dans le sens inverse ; par contre, par la méthode de Kahan, on a atteint les 6 décimales exactes.

Voir aussi

===
Sujets connexes
Constante   Constante de Brun   Constante de Meissel-Mertens   Dénominateur   Exponentielle intégrale   Fonction digamma   Fonction gamma   Fraction continue   Leonhard Euler   Limite (mathématiques)   Logarithme naturel   Lorenzo Mascheroni   Mathématiques   Mesures secondaires   Nombre rationnel   Partie entière   Somme (algorithmique)   Suite (mathématiques)   Série divergente   Série harmonique   Théorie des nombres  
#
Accident de Beaune   Amélie Mauresmo   Anisocytose   C3H6O   CA Paris   Carole Richert   Catherinettes   Chaleur massique   Championnat de Tunisie de football D2   Classement mondial des entreprises leader par secteur   Col du Bonhomme (Vosges)   De viris illustribus (Lhomond)   Dolcett   EGP  
^