Constante d'Euler-Mascheroni

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).

Sommaire

1 Définition
2 Valeur approchée et propriétés
3 Formules diverses
4 Généralisation
5 Références
6 Voir aussi
- 6.1 Articles connexes
- 6.2 Liens externes

Définition

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

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 4^e 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 2^e décimale dans le sens naturel, et la 4^e 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 20^e, erreur corrigée en 1809 par Johann Georg von Soldner (de). 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

Formules intégrales

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 \frac1{\ln(x)} + \frac{1}{1-x} \,{\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)}$

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 Mesure secondaire.

Formules en relation avec certaines

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

Fonction gamma :

$\Gamma(z) = \int_0^\infty e^{-t}t^{z-1}\,{\rm d}t = \frac{e^{-\gamma z}}{z} \prod_{n=1}^\infty \frac{ne^{z/n}}{n+z}$

$\Gamma(x) = \frac{1}{x} - \gamma + o(1)$ quand x tend vers 0.

$\Gamma'(1) = \int_0^\infty { e^{-x} \ln x }\,{\rm d}x= -\gamma$

$\Gamma''(1) = \int_0^\infty { e^{-x} (\ln(x))^2 }\,{\rm d}x = \gamma^2 + \frac{\pi^2}{6}$ .

$\Gamma'(1/2) = 4 \int_0^\infty { e^{-x^2} \ln(x) }\,{\rm d}x = - (\gamma+2 \ln 2) \sqrt{\pi}$

Fonction exponentielle intégrale :

$E_1(z) = \int_z^\infty {e^{-t} \over t}\,{\rm d}t = \int_1^\infty {e^{-zt} \over t}\,{\rm d}t = e^{-z}\int_0^\infty {e^{-zt} \over {1+t}}\,{\rm d}t$

$= {e^{-z} \over z} \int_0^\infty {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!}$

Fonction logarithme intégral :

${\rm pour} \; x > 1,\ \mathrm{li} (x) = \gamma + \ln(\ln(x)) + \sum_{n=1}^{\infty} \frac{\ln(x)^{n}}{n \cdot n!}$

Fonction cosinus intégral :

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

Fonction psi :

$\psi(z) = {\Gamma'(z) \over \Gamma(z)} = - \gamma - {1 \over z} + \sum_{n=1}^\infty {1 \over n} - {1 \over n+z}$

En particulier, $\psi(1) = \Gamma'(1) = - \gamma \,$ et $\sum_{k=1}^n {1 \over k}= \psi(n+1) + \gamma$

Fonction zêta de Riemann :

$\zeta(1+x) = \frac{1}{x} + \gamma + o(1)$ quand x tend vers 0.

$\sum_{n=2}^\infty \frac{1}{n} (\zeta(n)-1) = 1 - \gamma$

$\sum_{n=1}^\infty \frac{1}{(2n+1)2^{2n}} (\zeta(2n+1)-1) = 1 - \gamma - \ln\frac{3}{2}$

$\sum_{n=2}^\infty \frac{(-1)^n}{n} \zeta(n) = \gamma$

Formules en relation avec certaines fonctions arithmétiques

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

$\lim_{n \to \infty} \frac{1}{\ln(n)} \prod_{p \le n} \left(1 - \frac{1}{p}\right)^{-1} = e^\gamma$ (théorème de Mertens)
$\lim_{n \to \infty} \frac{1}{\ln(n)} \prod_{p \le n} \left(1 + \frac{1}{p}\right) = \frac{6e^\gamma}{\pi^2}$
Soit $\Lambda$ la fonction de von Mangoldt, définie sur les entiers par $\Lambda(n)= \ln(p)$ si n est une puissance du nombre premier p et $\Lambda(n)=0$ sinon. Alors $\sum_{n=2}^\infty \frac{\Lambda(n)-1}{n} = -2\gamma$
Soit $d(n)$ le nombre de diviseurs de n (y compris 1 et n lui-même). Alors $\frac{1}{n} \sum_{k=1}^n d(k) = \ln(n) + 2\gamma - 1 +o(1)$ quand n tend vers l'infini.
Soit $\sigma(n)$ la somme des diviseurs de l'entier n. Alors $\limsup \frac{\sigma(n)}{n\ln(\ln(n))}=e^\gamma$ , où limsup désigne la limite supérieure de la suite.
Soit $\varphi$ la fonction indicatrice d'Euler. Alors $\liminf \frac{\varphi(n)\ln(\ln(n))}{n}=e^{-\gamma}$ , où liminf désigne la limite inférieure de la suite.

Généralisation

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

(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

Voir aussi

Liens externes

(en) Eric W. Weisstein, « Euler-Mascheroni Constant », MathWorld
(en) Euler's Constant γ=0.577... Its Mathematics and History par Stefan Krämer, de l'université de Göttingen

Portail de l'analyse

Catégories :

Catégories cachées :

mentions légales Wikipédia

politique de confidentialité à propos de Wikipédia avertissements contacts logo wikimedia

faire un don

Retour en haut de page

Michael Jackson France Facebook Johnny Hallyday Apple Paris Harry Potter New York Lady Gaga Père Noël Twitter YouTube Canada Miss France Etats-Unis

People

Dr. Dre verse 70 millions de dollars à une université Dr. Dre n'est pas un rappeur comme les autres : avec le magnat de la musique Jimmy Iovine, il a décidé de faire don de 70 millions de dollars à l'Université de Californie du Sud, à Los Angeles, afin de créer un département enseignant notamment les arts et technologies. L'académie des arts...

Plus d'infos people

Bourse

En direct des marchés
Suivez vos titres en temps réel !

Plus d'infos sur la bourse

Actu : à la une

Heurts sanglants en Tunisie: le Premier ministre dénonce un groupe "terroriste" Le Premier ministre tunisien a qualifié de "terroriste" le groupe salafiste Ansar Ashariaa, jugé responsable des heurts dimanche à Tunis qui ont fait un mort et une quinzaine de blessés après l'interdiction du congrès de ce mouvement à Kairouan.

Plus d'infos sur l'actualité

Constante d'Euler-Mascheroni

En mathématiques , la constante d'Euler -Mascheroni , ou constante d'Euler, est une ... La constante d'Euler-Mascheroni \gamma est définie ...

11 Kio (1633 mots) - 12 mars 2013 à 04:08

Leonhard Euler

Il a aussi facilité l'utilisation des équations différentielles, en particulier en introduisant la constante d'Euler-Mascheroni :\ ...

51 Kio (6681 mots) - 10 mai 2013 à 12:04

Exponentielle intégrale

où \gamma est la constante d'Euler-Mascheroni . Elle est reliée à une autre fonction définie par :\ rm E_1(x) \int_x^\infty \frac e^-t t\,\ ...

3 Kio (468 mots) - 30 avril 2013 à 09:58

Lorenzo Mascheroni

ad calculum integrale Euleri (1790), il a donné le calcul de décimales supplémentaires de la constante appelée constante d'Euler-Mascheroni . ...

12 Kio (1647 mots) - 13 mars 2013 à 08:55

Fonction zêta de Riemann

On a en effet (γ 0,577… est la constante d'Euler-Mascheroni ) \ limsup_t \rightarrow \infty\frac | \zeta(1+\mathrm it) |\ln \ln t \ge\ ...

99 Kio (13968 mots) - 18 mai 2013 à 08:45

Somme des diviseurs

Somme des diviseurs et hypothèse de Riemann: où \gamma est la constante d'Euler-Mascheroni Le critère de Robin (1984) stipule que l'hypothèse ...

6 Kio (860 mots) - 30 mars 2013 à 01:03

Constante de Meissel-Mertens

En mathématiques , la constante de Meissel -Mertens (également nommée constante de ... reliée à la constante d'Euler-Mascheroni \gamma ( qui ...

3 Kio (315 mots) - 12 mars 2013 à 05:53

Nombre irrationnel

On ne sait pas plus si 2 e, π e, π 2 ou la constante d'Euler-Mascheroni γ sont irrationnels. Cependant, des calculs en haute précision ...

21 Kio (2743 mots) - 28 mars 2013 à 06:54

Régularisation (physique)

Régularisation dimensionnelle : où \gamma est la constante d'Euler-Mascheroni . On en déduit que l'intégrale I(d) présente un pôle simple en ...

5 Kio (657 mots) - 14 mars 2013 à 11:27

Nombre réel calculable

Statut de l'ensemble des réels calculables : mais aussi la constante d'Euler-Mascheroni. γ (dont on ignore si elle est rationnelle). ...

11 Kio (1417 mots) - 13 mars 2013 à 05:12

Formule sommatoire d'Abel

end align Exemples Constante d'Euler-Mascheroni Pour \scriptstyle a_n 1 et \scriptstyle\varphi(u)1/u, en notant \scriptstyle\lfloor x\ ...

4 Kio (535 mots) - 14 mars 2013 à 05:36

Logarithme intégral

Propriétés: où γ ≈ est la constante d'Euler-Mascheroni . se trouve en x ≈ ; ce nombre est connu comme étant la constante de Ramanujan-Soldner . ...

4 Kio (501 mots) - 12 mars 2013 à 12:07

Fonction gamma

En ce qui concerne ses dérivées, avec \gamma la constante d'Euler-Mascheroni. Gamma'(n+1)\Gamma(n+1)\psi_0(n+1)n!\ left(-\gamma+\sum_1\le k\ ...

14 Kio (1939 mots) - 24 avril 2013 à 08:33

Constante de Khintchine

cette propriété (d'après des études numériques) sont \pi\, \gamma\, (la constante d'Euler-Mascheroni ), et la constante de Khintchine elle-même. ...

2 Kio (233 mots) - 13 mars 2013 à 01:45

Logarithme

Deux fonctions logarithmes ne diffèrent que d’une constante ... fonction logarithme népérien, notée e , est appelée nombre de Néper ou nombre d'Euler. ...

17 Kio (2210 mots) - 28 avril 2013 à 02:17

E (nombre)

valant environ 2,71828 et parfois appelée nombre d'Euler ou constante de Néper en ... être confondu avec la constante d'Euler-Mascheroni notée γ. ...

22 Kio (2914 mots) - 9 mai 2013 à 04:14

Constante de Brun

En mathématiques , la constante de Brun des nombres premiers jumeaux (ou plus ... Voir aussi Articles connexes : Constante d'Euler-Mascheroni ...

6 Kio (813 mots) - 12 mars 2013 à 03:37

Gamma (homonymie)

la constante d'Euler-Mascheroni , une constante mathématique (γ ~ 0.57721) ; la Fonction gamma incomplète en probabilités et ...

4 Kio (463 mots) - 12 mars 2013 à 06:55

Nombre transcendant

la constante d'Euler-Mascheroni \gamma (dont on ignore même si elle est irrationnelle), la constante de Catalan (dont on ignore aussi ...

17 Kio (2389 mots) - 14 mai 2013 à 03:53

Constantes de Stieltjes

est la constante d'Euler-Mascheroni . Propriétés : En utilisant la formule intégrale de Cauchy on trouve :\gamma_n \frac(-1)^n n! ...

3 Kio (339 mots) - 15 mars 2013 à 04:54

Accueil

Portails thématiques

Index alphabétique

Un article au hasard

Catégories

Sélections

Aide

Constante d'Euler-Mascheroni

Sommaire

Définition

Valeur approchée et propriétés

Formules diverses

Formules intégrales

Formules en relation avec certaines

Formules en relation avec certaines fonctions arithmétiques

Généralisation

Références

Voir aussi

Articles connexes

Liens externes

People

Bourse

Actu : à la une