Professional Documents
Culture Documents
1 Integral formulae
Euler’s constant γ appears in many integrals (often related, for example, to
the gamma function or the logarithmic integral function), we propose here to
enumerate a selection of such integrals. Some of those can be deduced from
others by elementary changes of variable.
We use the notation bxc for the floor function and {x} for the fractional part
of a real number x.
Z ∞ Z ∞
t − btc {t}
1−γ = 2
dt = dt
1 t 1 t2
Z ∞
−γ = e−t log tdt = Γ0 (1)
0
Z ∞
π2
γ2 + = e−t log2 t dt = Γ(2) (1) (Euler-Mascheroni)
6 0
Z ∞
γπ 2
−γ 3 − − 2ζ(3) = e−t log3 t dt = Γ(3) (1) (Euler-Mascheroni)
2 0
Z 1
1
γ = − log log dt
0 t
Z ∞
2
γ + 2 log 2 = −4 π −1/2 e−t log t dt
Z ∞ µ 0 ¶
−t 1 1
γ = e − dt
0 1 − e−t t
Z ∞µ ¶2
1 1 1
log 2π − γ − = − dt ([4])
2 0 et − 1 t
Z 1µ ¶
1 1
γ = + dt
0 t log(1 − t)
Z ∞µ ¶
1 dt
γ = − e−t
0 1 + t t
Z ∞µ ¶
1 dt
γ = 2
− cos t
0 1 + t t
1
Z ∞
log(1 + e−t )et
γ = dt (Prévost [11])
−∞ t2 + π 2
Z ∞ α β
e−t − e−t
(α − β)γ = αβ dt α > 0, β > 0
0 t
Z 1Z 1
1−x
γ = − dxdy (Sondow [15])
0 0 (1 − xy) log(xy)
Z 1 ̰ !
1 X k
2
γ = 1− t dt (Catalan)
0 1+t k=1
Z 1 ̰ !
1 + 2t X k
γ = 1− 2
t3 dt (Ramanujan [13])
0 1+t+t k=1
Z ∞
1 t dt
γ = +2 2 + 1)(e2πt − 1)
(Hermite)
2 0 (t
Z ∞
1 1 1 2t dt
γ = 1 + + ··· + + − log n +
2 n − 1 2n 0 (t + n )(e2πt − 1)
2 2
Z 1
1 − e−t − e−1/t
γ = dt (Barnes [1])
0 t
Z x Z ∞
1 − cos t cos t
γ = dt − dt − log x x>0
0 t x t
Z x Z ∞ −t
1 − e−t e
γ = dt − dt − log x x>0
0 t x t
2 Series formulae
In this section we provide a list of various series for γ.
2
à n
!
X 2
γ = lim − log(4n)
n→∞ 2k − 1
k=1
à n µ ¶!
X1 1 1
γ = lim − log n2 + n +
n→∞ k 2 3
k=1
à n õ ¶2 !!
X1 1 1 1
2
γ = lim − log n +n+ −
n→∞ k 4 3 45
k=1
µ µ ¶ ¶
(n − 1) (n − 1) (n − 2)
γ = lim 2 1 + + + · · · − log(2n) (Kruskal [9])
n→∞ 2n 3n2
X 1 µ ¶
1
γ = lim+ s
− k (Sondow [14])
s→1 k s
k≥1
µ µ ¶¶
1
γ = lim n − Γ (Demys)
n→∞ n
log 2 1 X log k
γ = + (−1)k
2 log 2 k
k≥2
with the variable p = 21 n(n + 1), which extends Cesaro’s estimation. This rep-
resentation may also be deduced from the classical Euler-Maclaurin expansion
with Bernoulli’s numbers.
3
Xµ1 µ
1
¶¶
= 1+ + log 1 −
k k
k≥2
So we have ve just demonstrated a first relation between γ and the zeta func-
tions. Because it is clear that ζ(`) − 1 is equivalent to 1/2` when ` becomes
large, some of those series have geometric convergence (of course one has to
evaluate ζ(`) for different integral values of `).
A general improvement can be made if we start the series with k > 2 by
computing its first terms, that is, for any integer n > 1:
Xn µ µ ¶¶ X µ1 µ ¶¶
1 k−1 k−1
γ =1+ + log + + log
k k k k
k=2 k≥n+1
4
2.2.1 Zeta series
X ζ(k) − 1
γ = 1− (Euler)
k
k≥2
X (k − 1)(ζ(k) − 1)
γ = (Euler)
k
k≥2
log 2 X ζ(2k + 1) − 1
γ = 1− −
2 2k + 1
k≥1
X ζ(2k + 1) − 1
γ = log 2 −
k+1
k≥1
µ ¶ X
3 ζ(2k + 1) − 1
γ = 1 − log − (Euler-Stieltjes)
2 4k (2k + 1)
k≥1
X ζ(2k + 1) − 1
γ = 2 − 2 log 2 − (Glaisher)
(k + 1)(2k + 1)
k≥1
X ζ(k)
γ = (−1)k (Euler)
k
k≥2
X ζ(k) − 1
γ = 1 − log 2 + (−1)k
k
k≥2
3 X ζ(k) − 1
γ = − log 2 − (−1)k (k − 1) (Flajolet-Vardi)
2 k
k≥2
5 1X ζ(k) − 1
γ = − log 2 − (−1)k (k − 2)
4 2 k
k≥3
X ζ(k) − 1
γ = log(8π) − 3 + 2 (−1)k
k+1
k≥2
µ ¶ X
16 ζ(k) − 1
γ = 1 + log +2 (−1)k
9π 2k k
k≥2
X
1
2 (X
3` −1)
1
γ = log 2 − 2` 3 (Ramanujan [2])
`≥1 k= 21 (3`−1 +1)
(3k) − 3k
X blog2 kc
γ = (−1)k (Vacca [17])
k
k≥1
5
à !
1 X nno
n
1−γ = lim (de la Vallée Poussin [18])
n→∞ n k
k=1
X ak
γ = (Kluyver)
k
k≥1
X ak
γ = 1 − log 2 + (Kluyver)
k(k + 1)
k≥1
n−1
X X µ ¶
1 ak
γ = − log n + (n − 1)! (Kluyver [8])
k k(k + 1) · · · (k + n − 1)
k=1 k≥1
k−1
1 1 X k−`
a1 = , ak = ak−`
2 k+1 `(` + 1)
`=1
1
and 0 < ak ≤ k+1 . Here are the first values:
1 1 1 19 3 863 275
a1 = ,a = ,a = ,a = ,a = ,a = ,a = .
2 2 12 3 24 4 720 5 160 6 60480 7 24192
Kluyver’s last relation may be used to compute a few thousand digits of γ.
while 2γ − 1 = 0.1544313298....
6
µ ¶
6eγ 1 Y 1
= lim 1+ (4)
π2 n→∞ log n p
p≤n
ζ 0 (s) X Λ(k)
− = , s>1 (6)
ζ(s) ks
k≥1
ζ 0 (s) X Λ(k) − 1
ζ(s) + =− , s>1
ζ(s) ks
k≥1
from which, by taking the limits as s tends to 1, we deduce the interesting series
expansion:
1 X Λ(k) − 1
γ=− . (7)
2 k
k≥1
It is a very slow and irregular converging series, partial sums Sn with n terms
are
S1,000 = 0.57(835...),
S10,000 = 0.57(648...),
S100,000 = 0.57(694...),
S1,000,000 = 0.577(417...).
7
4 Approximations
Unlike the constant π, few approximations are available for γ, it may be useful
to list a few of those.
· ¸
1 3 4 11 15 71 228 3035 15403 18438 33841 289166 323007
0, 1, , , , , , , , , , , , , , ... .
2 5 7 19 26 123 395 5258 26685 31943 58628 500967 559595
For example, by mean of the continued fractions, we get the two approximative
values
¯ ¯
¯ 33841 ¯
¯ ¯ −11
¯ 58628 − γ ¯ < 3.2 × 10
and
¯ ¯
¯ 376566901 ¯
¯ ¯ −19
¯ 652385103 − γ ¯ < 2.0 × 10 .
1
γ ≈ √ = 0.577(350...)
3
√
41 − 1241
γ ≈ = 0.57721(700...)
q10
3 √
γ ≈ 66 + 6 = 0.577215(396...)
43
59 ³ √ ´
γ ≈ 1 + 11 7 = 0.577215664(894...)
3077
8
µ ¶2/9
7
γ ≈ = 0.577215(209...) (Castellanos [3])
83
µ ¶1/6
803 + 92
γ ≈ = 0.577215664(572...) (Castellanos [3])
614
4
γ ≈ √ = 0.57721(411...)
2 3 + 5 log 2
3
γ ≈ = 0.5772(311...)
3 + 2 log 3
µ ¶
73 71
γ ≈ log = 0.57721566(601...)
293 7
µ ¶
16 5
γ ≈ + log = 0.57721566(525...)
241 3
3696
γ ≈ log (840) = 0.5772156649015(627...)
43115
References
[1] E.W. Barnes, On the expression of Euler’s constant as a definite integral,
Messenger, (1903), vol. 33, pp. 59-61
[2] B.C. Berndt and T. Huber, A fragment on Euler’s constant in Ramanujan’s
lost notebook, (2007)
[3] D. Castellanos, The Ubiquitous Pi. Part I., Math. Mag., (1988), vol. 61,
pp. 67-98
[4] S. Finch and P. Sebah, Comment on ”Volumes spanned by random points
in the hypercube”, to appear in Random Structures and Algorithms, (2008)
[5] F. Franklin, On an expression for Euler’s constant, J. Hopkins circ., (1883),
vol. 2, p. 143
[6] X. Gourdon and P. Sebah, Numbers, Constants and
Computation, World Wide Web site at the adress:
http://numbers.computation.free.fr/Constants/constants.html,
(1999)
[7] G.H. Hardy and E.M. Wright, An Introduction to the Theory of Numbers,
Oxford Science Publications, (1979)
[8] J.C. Kluyver, De constante van Euler en de natuurlijhe getallen, Amst.
Ak., (1924), vol. 33, pp. 149-151
[9] M.D. Kruskal, American Mathematical Monthly, (1954), vol. 61, pp. 392-
397
[10] F. Mertens, Journal für Math., (1874), vol. 78, pp. 46-62
9
[11] M. Prévost, A Family of Criteria for Irrationality of Euler’s Constant,
preprint, (2005)
[12] S. Ramanujan, A series for Euler’s constant γ, Messenger, (1916), vol. 46,
p. 73-80
[13] S. Ramanujan, The Lost Notebook and Other Unpublished Papers, Narosa,
New Delhi, (1988)
[14] J. Sondow, An antisymmetric formula for Euler’s constant, Mathematics
Magazine, (1998), vol. 71, number 3, pp. 219-220
[15] J. Sondow, Criteria for irrationality of Euler’s constant, Proc. Amer. Math.
Soc., (2003), vol. 131, pp. 3335-3344
P∞
[16] T.J. Stieltjes, Tables des valeurs des sommes Sk = n=1 n−k ,Acta Math-
ematica, (1887), vol. 10, pp. 299-302
[17] G. Vacca, A New Series for the Eulerian Constant, Quart. J. Pure Appl.
Math, (1910), vol. 41, pp. 363-368
[18] C. de la Vallée Poussin, Sur les valeurs moyennes de certaines fonctions
arithmétiques, Annales de la société scientifique de Bruxelles, (1898), vol.
22, pp. 84-90
10