Euler–Mascheroni constant
A mathematical constant denoted γ that links harmonic numbers and the natural logarithm; appears in analysis, special functions and number theory with several integral and series representations.
Overview
The Euler–Mascheroni constant, commonly written as γ, is a real constant that arises in analysis and number theory. It measures the limiting difference between the harmonic numbers and the natural logarithm and appears in many identities, integrals and limits. Historical accounts attribute the first systematic study of the quantity to Leonhard Euler and later computations and interest to Lorenzo Mascheroni. General background on the mathematical areas where the constant appears can be found in texts on analysis and number theory; biographical and historical treatments discuss the contributions of Euler and Mascheroni.
Image gallery
1 ImageDefinition and common representations
The constant is defined as the limit as n grows without bound of the difference between the nth harmonic number and the natural logarithm of n. In words: γ = lim as n → infinity of (H_n − ln n), where H_n = 1 + 1/2 + 1/3 + ... + 1/n. This definition immediately explains the role of γ as a correction term when replacing discrete harmonic sums by the continuous logarithm.
There are many equivalent series and integral representations used in analysis and computation. Common forms expressed in elementary terms include:
- a series form: γ = sum_{k=1}^∞ (1/k − ln(1 + 1/k));
- an integral related to the Gamma function: γ = − integral from 0 to ∞ of e^{−t} ln t dt, which follows from differentiating the Gamma function at 1;
- a floor integral: γ = integral from 1 to ∞ of (1/floor(t) − 1/t) dt, emphasizing the discrete-to-continuous comparison.
Other convenient expressions can be derived for numerical work and theoretical analysis. Standard expositions collecting these forms appear in references on series and special functions as well as treatments specifically devoted to the Gamma function and related topics.
Relations with special functions
The Euler–Mascheroni constant is tightly connected with the Gamma and digamma functions. If Γ(x) denotes the Gamma function, its logarithmic derivative ψ(x) = Γ'(x)/Γ(x) is the digamma function. The value at x = 1 gives ψ(1) = −γ, so γ equals −ψ(1). This relation places γ among the special values of classical functions that are central in analytic continuation and factorial generalization. More technical accounts of these relationships are available in sources on the digamma function and detailed references on the Gamma function and its derivatives.
Numeric value and computation
The constant begins approximately 0.5772156649... and is commonly rounded to several decimal places in elementary references. Historically, Mascheroni attempted decimal approximations and published results; some early hand computations contained errors in a few digits, which later computational work corrected. Modern computation has extended γ to very large numbers of digits using high-precision arithmetic and rapidly convergent series. For accessible discussions of algorithms and records of computed digits see sources on numerical computation and historical computational notes.
Arithmetic nature and open questions
Despite intensive study, the exact arithmetic nature of γ remains an open problem in mathematics. It is not known whether γ is rational or irrational, nor whether it is algebraic or transcendental. Several conditional results and partial theorems relate possible algebraic relations of γ to deep conjectures in transcendence theory and the arithmetic of special values of L-functions. Surveys and research-level discussions describe the state of knowledge and the principal lines of attack on these questions. Readers seeking an overview of the open problems and known partial results may consult research surveys and specialist articles. Surveys on the arithmetic status and research summaries provide further context.
Asymptotic expansions and related constants
Euler–Mascheroni appears as the leading constant in asymptotic expansions that compare discrete sums to integrals. For example, the harmonic numbers have the expansion H_n = ln n + γ + 1/(2n) − 1/(12 n^2) + O(1/n^4) as n → infinity, an expansion useful in numerical estimates and analytic proofs. More generally, γ is the zeroth Stieltjes constant, usually denoted γ_0, which arises as the constant term in the Laurent expansion of the Riemann zeta function around s = 1. The family of Stieltjes constants γ_n generalizes γ and appears in more refined expansions. Texts on asymptotic methods and zeta-function theory discuss these connections at greater length. Asymptotic expansions and Stieltjes constants are standard topics in such treatments.
Applications and examples
Euler–Mascheroni arises in diverse contexts: in evaluations of certain definite integrals that involve logarithms, in limits of combinatorial sums, in expansions of special functions, and in correction terms when approximating sums by integrals. It also appears in analytic number theory through special functions that model prime-counting behavior and related estimates. Practical examples include limits that convert sums to integrals with an explicit constant term, formulae for digamma values at rational points, and corrections to approximation formulas in probability and statistics. For expository examples and numerical tables, see introductory articles and computational guides on special functions and constants. Expository treatments and numerical guides give numerous worked examples and applications.
Summary: The Euler–Mascheroni constant γ ≈ 0.5772156649 is a fundamental constant linking discrete harmonic sums and the continuous logarithm. It appears throughout analysis and number theory, is deeply connected with the Gamma and digamma functions, and remains the subject of open problems about its arithmetic nature. The constant's many representations make it a useful and recurring quantity in both theoretical work and numerical computation.
General
Despite great efforts, it is still unknown whether this number is rational or irrational, whether it is algebraic or transcendental. However, it is strongly suspected that it is at least an irrational number. The first concrete attempt to prove this was made in 1926 by Paul Émile Appell with the help of Joseph Ser's development mentioned below. By calculating the continued fraction development of γ (sequence A002852 in OEIS)
lower bounds are obtained for positive integers and
with γ
(for example, 475,006 denominators give the estimate
).
In contrast to square roots of rational numbers in the Pythagorean theorem and to the circle number π in the circumference and area of a circle with rational radius, Euler's constant does not occur in finite elementary geometric problems. However, there are many engineering problems that lead to the summation of the finite harmonic series
, such as the centre of gravity problem of the cantilever or the problem of the optimal elevation of rows of seats in theatres and cinemas. Euler's constant appears in many problems in calculus, number theory and function theory and especially in special functions.
Convergence
The existence of Euler's constant results from the telescope sum
Since is a zero sequence, can be
used instead of
the defining limit. The following applies
About
therefore applies
and thus the sum converges according to the major criterion.
In particular, it follows from this elementary argument and
and the Basel problem that
applies.
The Euler-Mascheroni constant in mathematical problems
Euler's constant occurs frequently in mathematics and sometimes quite unexpectedly in various sub-areas. It mainly occurs in limit value processes of number sequences and functions as well as in limit values of differential and integral calculus. The occurrence can be subdivided (as with other mathematical constants) according to the type of limit value:
1. as a function value or limit value of special functions.
The value γ is the negative of the derivative of the gamma function at the point 1, i.e.
.
This gives the following limit representations, where denotes the Riemann zeta function and ψ
denotes the digamma function:
2. in the development of special functions, e.g. in the series development of the integral logarithm of Leopold Schendel, the Bessel functions or the Weierstrass representation of the gamma function.
3. in the evaluation of certain integrals.
There is a rich abundance here, for example:
or also
There are also many invariant parameter integrals, e.g.:
One can also express γ as a double integral (J. Sondow 2003, 2005) with the equivalent series:
.
There is an interesting comparison (J. Sondow 2005) of the double integral and the alternating series:
.
In this sense, we can say that is the "alternating Euler's constant" (sequence A094640 in OEIS).
Furthermore, these two constants are linked to the pair
of series, where and are
the number of ones and zeros, respectively, in the binary expansion of
(Sondow 2010).
Furthermore, there is an equally rich abundance of infinite sums and products, such as
4. as the limit value of series. The simplest example results from the limit value definition:
.
Series with rational terms come from Euler, Fontana and Mascheroni, Giovanni Enrico Eugenio Vacca, S. Ramanujan and Joseph Ser. There are countless variations on series with irrational members whose members consist of rationally weighted values of the Riemann zeta function at the odd argument positions ζ(3), ζ(5), .... An example of a particularly fast converging series is:
0.0173192269903...
Another series results from the Kummer series of the gamma function:
Designations
One can say that Euler's constant is the constant with the most designations. Euler himself designated it with C and occasionally with O or n. However, it is doubtful whether he intended to introduce an independent symbol for his constant. Mascheroni did not designate the constant with γ - as is often claimed - but with A. The γ-misunderstanding stems from the article by J. W. L. Glaisher, which is often quoted without verification (although Glaisher explicitly notes there that he has not seen Mascheroni's book):
"Euler's constant (which throughout this note will be called γ after Mascheroni, De Morgan, &c.) [...]It
is clearly convenient that the constant should generally be denoted by the same letter. Euler used C and O for it; Legendre, Lindman, &c., C; De Haan A; and Mascheroni, De Morgan, Boole, &c., have written it γ, which is clearly the most suitable, if it is to have a distinctive letter assigned to it. It has sometimes (as in Crelle, t. 57, p. 128) been quoted as Mascheroni's constant, but it is evident that Euler's labours have abundantly justified his claim to its being named after him."
- J. W. L. Glaisher: On the history of Euler's constant, 1872, p. 25 and 30
Other mathematicians use the designations C, c, ℭ, H, γ, E, K, M, l. The origin of the designation γ used today is not certain. Carl Anton Bretschneider used the designation γ alongside c in an article written in 1835 and published in 1837, Augustus De Morgan introduced the designation γ in a textbook published in parts from 1836 to 1842 as part of his treatment of the gamma function.
Generalisations
Euler's constant knows several generalisations. The most important and best known is that of the Stieltjes constant:
Number of calculated decimal places
In 1734, Leonhard Euler calculated six decimal places (five valid), later 16 places (15 valid). In 1790, Lorenzo Mascheroni calculated 32 decimal places (30 valid ones), of which, however, the three places 20 to 22 are wrong - apparently due to a clerical error, but they are given several times in the book. The error was the cause of several recalculations.
| Number of published valid decimal places of γ | ||
| Date | Jobs | Author |
| 1734 | 5 | Leonhard Euler |
| 1735 | 15 | Leonhard Euler |
| 1790 | 19 | Lorenzo Mascheroni |
| 1809 | 22 | Johann Georg Soldner |
| 1811 | 22 | |
| 1812 | 40 | Friedrich Bernhard Gottfried Nicolai |
| 1826 | 19 | Adrien-Marie Legendre |
| 1857 | 34 | Christian Fredrik Lindman |
| 1861 | 41 | Ludwig Oettinger |
| 1867 | 49 | William Shanks |
| 1871 | 99 | J. W. L. Glaisher |
| 1871 | 101 | William Shanks |
| 1877 | 262 | |
| 1952 | 328 | John William Wrench, Jr. |
| 1961 | 1.050 | Helmut Fischer & Karl Zeller |
| 1962 | 1.270 | Donald E. Knuth |
| 1962 | 3.566 | Dura W. Sweeney |
| 1973 | 4.879 | William A. Beyer & Michael S. Waterman |
| 1976 | 20.700 | Richard P. Brent |
| 1979 | 30.100 | Richard P. Brent & Edwin M. McMillan |
| 1993 | 172.000 | Jonathan Borwein |
| 1997 | 1.000.000 | Thomas Papanikolaou |
| 1998 | 7.286.255 | Xavier Gourdon |
| 1999 | 108.000.000 | Xavier Gourdon & Patrick Demichel |
| 8 December 2006 | 116.580.041 | Alexander J. Yee & Raymond Chan |
| 18 January 2009 | 14.922.244.771 | Alexander J. Yee & Raymond Chan |
| 13 March 2009 | 29.844.489.545 | Alexander J. Yee & Raymond Chan |
| 22 December 2013 | 119.377.958.182 | Alexander J. Yee |
| 15 March 2016 | 160.000.000.000 | Peter Trueb |
| 18 May 2016 | 250.000.000.000 | Ron Watkins |
| 23 August 2017 | 477.511.832.674 | Ron Watkins |
| 26 May 2020 | 600.000.000.100 | Seungmin Kim & Ian Cutress |
See also
- Meissel-Mertens constant - prime analogue of the Euler-Mascheroni constant
Related articles
Author
AlegsaOnline.com Euler–Mascheroni constant Leandro Alegsa
URL: https://en.alegsaonline.com/art/32512
Sources
- eulerarchive.maa.org : De Progressionibus harmonicus observationes
- eulerarchive.maa.org : "How Euler Did It - Gamma the constant"
- numbers.computation.free.fr : "The Euler Constant"
