surat university, svnit december 1, 2017 - imj-prgmichel.waldschmidt/articles/pdf/euler... · surat...
TRANSCRIPT
![Page 1: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/1.jpg)
Surat University, SVNIT December 1, 2017
Is the Euler constant a rational number,
an algebraic irrational number
or else a transcendental number ?
Michel Waldschmidt
Universite Pierre et Marie Curie (Paris 6) France
http://www.math.jussieu.fr/~miw/
![Page 2: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/2.jpg)
Abstract
To decide the arithmetic nature of a constant from analysis isalmost always a di�cult problem. Most often, the answer isnot known. This is indeed the case for Euler’s constant, thevalue of which is approximately
0, 577 215 664 901 532 860 606 512 090 082 402 431 042 1 . . .
However we know several properties of this number. We surveya few of them.
![Page 3: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/3.jpg)
Reference
Jeffrey C. LagariasEuler’s constant : Euler’s workand modern developmentsBulletin Amer. Math. Soc. 50(2013), No. 4, 527–628.
arXiv:1303.1856 [math.NT]Bibliography : 314 references.
![Page 4: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/4.jpg)
Archives Euler and index Enestrom
http://eulerarchive.maa.org/
Gustaf Enestrom (1852–1923)Die Schriften Euler’schronologisch nach den Jahrengeordnet, in denen sie verfasstworden sindJahresbericht der DeutschenMathematiker–Vereinigung,1913.
http://www.math.dartmouth.edu/~euler/index/enestrom.html
![Page 5: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/5.jpg)
Harmonic numbers
H1 = 1, H2 = 1 +1
2=
3
2, H3 = 1 +
1
2+
1
3=
11
6,
Hn = 1 +1
2+
1
3+ · · ·+
1
n=
nX
j=1
1
j·
Sequence :
1,3
2,
11
6,
25
12,
137
60,
49
20,
363
140,
761
280,
7129
2520, . . .
![Page 6: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/6.jpg)
Harmonic numbers
H1 = 1, H2 = 1 +1
2=
3
2, H3 = 1 +
1
2+
1
3=
11
6,
Hn = 1 +1
2+
1
3+ · · ·+
1
n=
nX
j=1
1
j·
Sequence :
1,3
2,
11
6,
25
12,
137
60,
49
20,
363
140,
761
280,
7129
2520, . . .
![Page 7: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/7.jpg)
Harmonic numbers
H1 = 1, H2 = 1 +1
2=
3
2, H3 = 1 +
1
2+
1
3=
11
6,
Hn = 1 +1
2+
1
3+ · · ·+
1
n=
nX
j=1
1
j·
Sequence :
1,3
2,
11
6,
25
12,
137
60,
49
20,
363
140,
761
280,
7129
2520, . . .
![Page 9: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/9.jpg)
Numerators et denominators
Numerators : https://oeis.org/A001008
1, 3, 11, 25, 137, 49, 363, 761, 7129, 7381, 83711, 86021, 1145993,
1171733, 1195757, 2436559, 42142223, 14274301, 275295799,
55835135, 18858053, 19093197, 444316699, 1347822955, . . .
Denominators : https://oeis.org/A002805
1, 2, 6, 12, 60, 20, 140, 280, 2520, 2520, 27720, 27720, 360360,
360360, 360360, 720720, 12252240, 4084080, 77597520,
15519504, 5173168, 5173168, 118982864, 356948592, . . .
![Page 10: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/10.jpg)
Euler (1731)De progressionibus harmonicis observationes
The sequence
Hn � log n
has a limit � = 0, 577 218 . . .when n tends to infinity.
Leonhard Euler(1707–1783)
Moreover,
� =1X
m=2
(�1)m⇣(m)
m·
![Page 11: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/11.jpg)
Riemann zeta function
⇣(s)=X
n�1
1
ns
=Y
p
1
1� p�s
Euler : s 2 R. Riemann : s 2 C.
![Page 12: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/12.jpg)
Numerical value of the Euler constant
The online encyclopaedia of integer sequenceshttps://oeis.org/A001620
Decimal expansion of Euler’s constant(or Euler–Mascheroni constant) gamma.
Yee (2010) computed 29 844 489 545 decimal digits of gamma.
� = 0, 577 215 664 901 532 860 606 512 090 082 402 431 042 . . .
![Page 13: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/13.jpg)
Nicholas Mercator (1668)
Nicholas Mercator (1620–1687)
log(1 + x) = x�x2
2+
x3
3�
x4
4+ · · · =
X
k�1
(�1)k+1xk
k·
![Page 14: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/14.jpg)
Gerardus Mercator (1512–1594)
Nicholas is not Gerardus, the Mercator of the eponymusprojection :http://www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Mercator_Gerardus.html
![Page 15: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/15.jpg)
Computation of his constant by Euler in 1731Euler replaces x by 1/m with m = 1, 2, 3, 4 . . . in Mercator’sformula for log(1 + x) :
log 2=1
1�
1
2
✓1
1
◆2
+1
3
✓1
1
◆3
� · · ·
log3
2=
1
2�
1
2
✓1
2
◆2
+1
3
✓1
2
◆3
� · · ·
log4
3=
1
3�
1
2
✓1
3
◆2
+1
3
✓1
3
◆3
� · · ·
log5
4=
1
4�
1
2
✓1
4
◆2
+1
3
✓1
4
◆3
� · · ·
Adding the first n terms of this sequence of formulae(telescoping series), Euler finds
log(n+ 1) = Hn �1
2Hn,2 +
1
3Hn,3 � · · ·
![Page 16: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/16.jpg)
Euler’s m–harmonic numbers
We have
log(n+ 1) = Hn �1
2Hn,2 +
1
3Hn,3 � · · ·
with
Hn,m =nX
j=1
1
jm
for n � 1 and m � 1.
Hence, Hn,1 = Hn and, for m � 2,
limn!1
Hn,m = ⇣(m).
![Page 17: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/17.jpg)
Euler’s m–harmonic numbers
We have
log(n+ 1) = Hn �1
2Hn,2 +
1
3Hn,3 � · · ·
with
Hn,m =nX
j=1
1
jm
for n � 1 and m � 1.
Hence, Hn,1 = Hn and, for m � 2,
limn!1
Hn,m = ⇣(m).
![Page 18: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/18.jpg)
Euler’s proof (1731)
In the formula
Hn � log(n+ 1) =1
2Hn,2 �
1
3Hn,3 + · · · ,
when n tends to infinity,the right hand side tends to
1X
m=2
(�1)m⇣(m)
m
which is the sum of an alternating series with a decreasinggeneral term. Hence the left hand side has a limit, which is �.
![Page 19: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/19.jpg)
Lorenzo Mascheroni (1792)
He produced 32 decimals
� = 0, 577 215 664 901 532 860 618 112 090 082 39
the first 19 of them arecorrect ; the first 15 decimalwere already found by Euler in1755 and then in 1765.
Von Soldner (1809) : 22 decimals
� = 0, 577 215 664 901 532 860 606 5
C.F. Gauss, F.G.B. Nicolai : 40 decimals
![Page 20: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/20.jpg)
Computation of the decimal of Euler’s constant
1872 : J.W.L. Glaisher 100 decimals
1878 : J.C. Adams 263 decimals
1952 : J.W. Wrench Jr 328 decimals
1962 : D. Knuth 1272 decimals
1963 : D.W. Sweeney 3566 decimals
1964 : W.A. Beyer and M.S. Waterman 7114 decimals(4879 correct)
1977 : R.P. Brent 20 700 decimals
1980 : R.P. Brent and E.M. McMillan 30 000 decimals
2010 : Yee 29 844 489 545 decimals.
![Page 21: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/21.jpg)
Computation of the decimal of Euler’s constant
1872 : J.W.L. Glaisher 100 decimals
1878 : J.C. Adams 263 decimals
1952 : J.W. Wrench Jr 328 decimals
1962 : D. Knuth 1272 decimals
1963 : D.W. Sweeney 3566 decimals
1964 : W.A. Beyer and M.S. Waterman 7114 decimals(4879 correct)
1977 : R.P. Brent 20 700 decimals
1980 : R.P. Brent and E.M. McMillan 30 000 decimals
2010 : Yee 29 844 489 545 decimals.
![Page 22: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/22.jpg)
Computation of the decimal of Euler’s constant
1872 : J.W.L. Glaisher 100 decimals
1878 : J.C. Adams 263 decimals
1952 : J.W. Wrench Jr 328 decimals
1962 : D. Knuth 1272 decimals
1963 : D.W. Sweeney 3566 decimals
1964 : W.A. Beyer and M.S. Waterman 7114 decimals(4879 correct)
1977 : R.P. Brent 20 700 decimals
1980 : R.P. Brent and E.M. McMillan 30 000 decimals
2010 : Yee 29 844 489 545 decimals.
![Page 23: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/23.jpg)
Euler Gamma function (1765)
De curva hypergeometrica hac aequationes expressay = 1 · 2 · 3 · · · x.
�(z) =
Z 1
0
e�ttz·dt
t
= e��z
1
z
1Y
n=1
⇣1 +
z
n
⌘�1
ez/n
.
�0(1) = �� =
Z 1
0
e�x log x dx.
�(z + 1) = z�(z), �(n+ 1) = n!
![Page 24: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/24.jpg)
Euler Gamma function (1765)
De curva hypergeometrica hac aequationes expressay = 1 · 2 · 3 · · · x.
�(z) =
Z 1
0
e�ttz·dt
t
= e��z
1
z
1Y
n=1
⇣1 +
z
n
⌘�1
ez/n
.
�0(1) = �� =
Z 1
0
e�x log x dx.
�(z + 1) = z�(z), �(n+ 1) = n!
![Page 25: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/25.jpg)
Euler Gamma function (1765)
De curva hypergeometrica hac aequationes expressay = 1 · 2 · 3 · · · x.
�(z) =
Z 1
0
e�ttz·dt
t
= e��z
1
z
1Y
n=1
⇣1 +
z
n
⌘�1
ez/n
.
�0(1) = �� =
Z 1
0
e�x log x dx.
�(z + 1) = z�(z), �(n+ 1) = n!
![Page 26: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/26.jpg)
Letter from Daniel Bernoulli to Christian GoldbachOctobre 6, 1729
http://fr.wikipedia.org/wiki/Fonction_gamma
Daniel Bernoulli(1700 - 1782)
Christian Goldbach(1690 - 1764)
![Page 27: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/27.jpg)
Euler’s formulae (1768)
� =
Z 1
0
✓e�t
1� e�t�
e�t
t
◆dt.
� =
Z 1
0
✓1
1� z+
1
log z
◆dz.
� =1X
n=2
n� 1
n(⇣(n)� 1) .
� =3
4�
1
2log 2 +
1X
k=1
✓1�
1
2k + 1
◆(⇣(2k + 1)� 1) .
![Page 28: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/28.jpg)
Quoting Euler (1768)
“O = 0, 5772156649015325 qui numerus eo maiori attentionedignus videtur, quod eum, cum olim in hac investigationemultum studii consumsissem, nullo modo ad cognitumquantitatum genus reducere valui.”
This number seems also the more noteworthy becauseeven though I have spent much e↵ort in investigating it,I have not been able to reduce it to a known kind ofquantity.
“Manet ergo quaestio magni momenti, cujusdam indolis sitnumerus iste O et ad quodnam genus quantitatum sitreferendus.”
Therefore the question remains of great moment, ofwhat character the number O is and among whatspecies of quantities it can be classified.
![Page 29: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/29.jpg)
Jonathan Sondow http://home.earthlink.net/~sondow/
� =
Z 1
0
1X
k=2
1
k2�t+k
k
�dt
� = lims!1+
1X
n=1
✓1
ns�
1
sn
◆
� =
Z 1
1
1
2t(t+ 1)2F 3
✓1, 2, 23, t+ 2
���� 1◆dt.
![Page 30: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/30.jpg)
Jonathan Sondow and Wadim Zudilin
Jonathan Sondow & Wadim Zudilin, Euler’sconstant, q-logarithms, and formulas of Ramanujan andGosper, Ramanujan J. 12 (2006), 225–244.
![Page 31: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/31.jpg)
Irrationality of Euler’s constant
Conjecture. Euler constant is irrational.
If � = p/q, then q > 1015 000.Continued fraction expansion : 30 000 first terms have beencomputed.http://oeis.org/A002852
� = [0, 1, 1, 2, 1, 2, 1, 4, 3, 13, 5, 1, 1, 8, 1, 2, 4, 1, 1, 40, 1, 11, 3, . . . ]
![Page 32: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/32.jpg)
Irrationality of Euler’s constant
Conjecture. Euler constant is irrational.
If � = p/q, then q > 1015 000.Continued fraction expansion : 30 000 first terms have beencomputed.http://oeis.org/A002852
� = [0, 1, 1, 2, 1, 2, 1, 4, 3, 13, 5, 1, 1, 8, 1, 2, 4, 1, 1, 40, 1, 11, 3, . . . ]
![Page 33: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/33.jpg)
http://mathworld.wolfram.com/Euler-MascheroniConstant.html
The famous English mathematician G.H. Hardy isalleged to have o↵ered to give up his Savilian Chairat Oxford to anyone who proved gamma to beirrational, although no written reference for thisquote seems to be known. Hilbert mentioned theirrationality of gamma as an unsolved problem thatseems “unapproachable” and in front of whichmathematicians stand helpless. Conway and Guy(1996) are “prepared to bet that it istranscendental,” although they do not expect a proofto be achieved within their lifetimes.
![Page 34: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/34.jpg)
Hendrik W. Lenstra (1977)
At least one of the two numbers �, e� is transcendental.
Euclidische getallenlichamenPh.D. thesis,Mathematisch Centrum,Universiteit van Amsterdam,1977.
http://www.math.leidenuniv.nl/~hwl/PUBLICATIONS/1977c/art.pdf
Stellingen. Behorende bij het proefschrift van H.W. Lenstra Jr.
![Page 35: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/35.jpg)
Theorems of Hermite and Lindemann
Charles Hermite (1873) :transcendence of e.
Ferdinand Lindemann (1882) :transcendence of ⇡.
Hermite–Lindemann Theorem
For any non–zero complex number z, one at least of the twonumbers z, ez is transcendental.
Corollaries : transcendence of log↵ and of e� for ↵ and �nonzero algebraic numbers with log↵ 6= 0.
![Page 36: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/36.jpg)
Theorems of Hermite and Lindemann
Charles Hermite (1873) :transcendence of e.
Ferdinand Lindemann (1882) :transcendence of ⇡.
Hermite–Lindemann Theorem
For any non–zero complex number z, one at least of the twonumbers z, ez is transcendental.
Corollaries : transcendence of log↵ and of e� for ↵ and �nonzero algebraic numbers with log↵ 6= 0.
![Page 37: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/37.jpg)
Theorems of Hermite and Lindemann
Charles Hermite (1873) :transcendence of e.
Ferdinand Lindemann (1882) :transcendence of ⇡.
Hermite–Lindemann Theorem
For any non–zero complex number z, one at least of the twonumbers z, ez is transcendental.
Corollaries : transcendence of log↵ and of e� for ↵ and �nonzero algebraic numbers with log↵ 6= 0.
![Page 38: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/38.jpg)
e�
http://oeis.org/A073004
e� = 1, 781 072 417 990 197 985 236 504 103 107 179 549 169 . . .
Conjecture. The number e� is irrational.
If e� = p/q, then q > 1015 000.Continued fraction expansion of e� : 30 000 first termscomputed.http://oeis.org/A094644
e� = [1, 1, 3, 1, 1, 3, 5, 4, 1, 1, 2, 2, 1, 7, 9, 1, 16, 1, 1, 1, 2, 6, 1, . . . ]
![Page 39: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/39.jpg)
e�
http://oeis.org/A073004
e� = 1, 781 072 417 990 197 985 236 504 103 107 179 549 169 . . .
Conjecture. The number e� is irrational.
If e� = p/q, then q > 1015 000.Continued fraction expansion of e� : 30 000 first termscomputed.http://oeis.org/A094644
e� = [1, 1, 3, 1, 1, 3, 5, 4, 1, 1, 2, 2, 1, 7, 9, 1, 16, 1, 1, 1, 2, 6, 1, . . . ]
![Page 40: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/40.jpg)
e�
http://oeis.org/A073004
e� = 1, 781 072 417 990 197 985 236 504 103 107 179 549 169 . . .
Conjecture. The number e� is irrational.
If e� = p/q, then q > 1015 000.Continued fraction expansion of e� : 30 000 first termscomputed.http://oeis.org/A094644
e� = [1, 1, 3, 1, 1, 3, 5, 4, 1, 1, 2, 2, 1, 7, 9, 1, 16, 1, 1, 1, 2, 6, 1, . . . ]
![Page 41: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/41.jpg)
Conjectures on the arithmetic nature of �
Conjecture 1. The Euler constant is irrational.
Conjecture 2. The Euler constant is transcendental.
Conjecture 3. The Euler constant is not a period in the senseof Kontsevich and Zagier.
![Page 42: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/42.jpg)
Conjectures on the arithmetic nature of �
Conjecture 1. The Euler constant is irrational.
Conjecture 2. The Euler constant is transcendental.
Conjecture 3. The Euler constant is not a period in the senseof Kontsevich and Zagier.
![Page 43: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/43.jpg)
Conjectures on the arithmetic nature of �
Conjecture 1. The Euler constant is irrational.
Conjecture 2. The Euler constant is transcendental.
Conjecture 3. The Euler constant is not a period in the senseof Kontsevich and Zagier.
![Page 44: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/44.jpg)
Periods : Maxime Kontsevich and Don Zagier
Periods,Mathematicsunlimited—2001and beyond,Springer 2001,771–808.
A period is a complex number with real and imaginary partsgiven by absolutely convergent integrals of rational fractionswith rational coe�cients on domains of Rn defined by(in)equalities involving polynomials with rational coe�cients.
![Page 45: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/45.jpg)
Periods
Benjamin FriedrichPeriods and Algebraic de Rham CohomologyDiplomarbeit im Studiengang Diplom-MathematikUniversitat Leipzig, Fakultat fur Mathematik und InformatikMathematisches Instituthttp://arxiv.org/abs/math/0506113
Joseph AyoubPeriods and the Conjectures of Grothendieck andKontsevich–ZagierEuropean Mathematical Society, Newsletter N�91, March2014, 12–18.http://www.ems-ph.org/journals/journal.php?jrn=news
![Page 46: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/46.jpg)
Periods
Benjamin FriedrichPeriods and Algebraic de Rham CohomologyDiplomarbeit im Studiengang Diplom-MathematikUniversitat Leipzig, Fakultat fur Mathematik und InformatikMathematisches Instituthttp://arxiv.org/abs/math/0506113
Joseph AyoubPeriods and the Conjectures of Grothendieck andKontsevich–ZagierEuropean Mathematical Society, Newsletter N�91, March2014, 12–18.http://www.ems-ph.org/journals/journal.php?jrn=news
![Page 47: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/47.jpg)
Examples of periods
p2 =
Z
2x21
dx
and all algebraic numbers are periods.
log 2 =
Z
1<x<2
dx
x
and all logarithms of algebraic numbers are periods.
⇡ =1
2i
Z
|z|=1
dz
z= 2
Z 1
0
dt
1 + t2·
The set of periods is a subalgebra of the field of complexnumbers over the field of algebraic numbers ; it is expectedthat it is not a field.
![Page 48: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/48.jpg)
Examples of periods
p2 =
Z
2x21
dx
and all algebraic numbers are periods.
log 2 =
Z
1<x<2
dx
x
and all logarithms of algebraic numbers are periods.
⇡ =1
2i
Z
|z|=1
dz
z= 2
Z 1
0
dt
1 + t2·
The set of periods is a subalgebra of the field of complexnumbers over the field of algebraic numbers ; it is expectedthat it is not a field.
![Page 49: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/49.jpg)
Examples of periods
p2 =
Z
2x21
dx
and all algebraic numbers are periods.
log 2 =
Z
1<x<2
dx
x
and all logarithms of algebraic numbers are periods.
⇡ =1
2i
Z
|z|=1
dz
z= 2
Z 1
0
dt
1 + t2·
The set of periods is a subalgebra of the field of complexnumbers over the field of algebraic numbers ; it is expectedthat it is not a field.
![Page 50: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/50.jpg)
Examples of periods
p2 =
Z
2x21
dx
and all algebraic numbers are periods.
log 2 =
Z
1<x<2
dx
x
and all logarithms of algebraic numbers are periods.
⇡ =1
2i
Z
|z|=1
dz
z= 2
Z 1
0
dt
1 + t2·
The set of periods is a subalgebra of the field of complexnumbers over the field of algebraic numbers ; it is expectedthat it is not a field.
![Page 51: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/51.jpg)
Examples of periods
p2 =
Z
2x21
dx
and all algebraic numbers are periods.
log 2 =
Z
1<x<2
dx
x
and all logarithms of algebraic numbers are periods.
⇡ =1
2i
Z
|z|=1
dz
z= 2
Z 1
0
dt
1 + t2·
The set of periods is a subalgebra of the field of complexnumbers over the field of algebraic numbers ; it is expectedthat it is not a field.
![Page 52: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/52.jpg)
Examples of periods
p2 =
Z
2x21
dx
and all algebraic numbers are periods.
log 2 =
Z
1<x<2
dx
x
and all logarithms of algebraic numbers are periods.
⇡ =1
2i
Z
|z|=1
dz
z= 2
Z 1
0
dt
1 + t2·
The set of periods is a subalgebra of the field of complexnumbers over the field of algebraic numbers ; it is expectedthat it is not a field.
![Page 53: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/53.jpg)
Euler Gamma and Beta functions
For p/q 2 Q,
�
✓p
q
◆q
is a period.
For a and b rational numbers with �(a+ b) 6= 0),
B(a, b) =�(a)�(b)
�(a+ b)
=
Z 1
0
xa�1(1� x)b�1
dx.
is a period.
![Page 54: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/54.jpg)
Euler Gamma and Beta functions
For p/q 2 Q,
�
✓p
q
◆q
is a period.
For a and b rational numbers with �(a+ b) 6= 0),
B(a, b) =�(a)�(b)
�(a+ b)
=
Z 1
0
xa�1(1� x)b�1
dx.
is a period.
![Page 55: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/55.jpg)
⇣(s) is a period
For s an integer � 2,
⇣(s) =
Z
1>t1>t2···>ts>0
dt1
t1· · ·
dts�1
ts�1·
dts
1� ts·
is a period.
Proof: by induction.
Z
t1>t2···>ts>0
dt2
t2· · ·
dts�1
ts�1·
dts
1� ts=X
n�1
tn�11
ns�1·
![Page 56: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/56.jpg)
⇣(s) is a period
For s an integer � 2,
⇣(s) =
Z
1>t1>t2···>ts>0
dt1
t1· · ·
dts�1
ts�1·
dts
1� ts·
is a period.
Proof: by induction.
Z
t1>t2···>ts>0
dt2
t2· · ·
dts�1
ts�1·
dts
1� ts=X
n�1
tn�11
ns�1·
![Page 57: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/57.jpg)
Maxime Kontsevich and Francis Brown
Multizeta values MZV
![Page 58: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/58.jpg)
Numbers which are not periods ?
Problem (Kontsevich – Zagier) : Produce an explicit exampleof a number which is not a period.
Several levels :
• analog of Cantor : the set of periods is countable.
• analog of Liouville : find a property which is satisfied by allperiods and construct a number which does not satisfy it.
• analog of Hermite : prove that given constants arisingfrom analysis are not periods.Candidates : 1/⇡, e, �, e
�, �(p/q), �(1/2) =p⇡, . . .
![Page 59: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/59.jpg)
Numbers which are not periods ?
Problem (Kontsevich – Zagier) : Produce an explicit exampleof a number which is not a period.
Several levels :
• analog of Cantor : the set of periods is countable.
• analog of Liouville : find a property which is satisfied by allperiods and construct a number which does not satisfy it.
• analog of Hermite : prove that given constants arisingfrom analysis are not periods.Candidates : 1/⇡, e, �, e
�, �(p/q), �(1/2) =p⇡, . . .
![Page 60: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/60.jpg)
Numbers which are not periods ?
Problem (Kontsevich – Zagier) : Produce an explicit exampleof a number which is not a period.
Several levels :
• analog of Cantor : the set of periods is countable.
• analog of Liouville : find a property which is satisfied by allperiods and construct a number which does not satisfy it.
• analog of Hermite : prove that given constants arisingfrom analysis are not periods.Candidates : 1/⇡, e, �, e
�, �(p/q), �(1/2) =p⇡, . . .
![Page 61: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/61.jpg)
Numbers which are not periods ?
Problem (Kontsevich – Zagier) : Produce an explicit exampleof a number which is not a period.
Several levels :
• analog of Cantor : the set of periods is countable.
• analog of Liouville : find a property which is satisfied by allperiods and construct a number which does not satisfy it.
• analog of Hermite : prove that given constants arisingfrom analysis are not periods.Candidates : 1/⇡, e, �, e
�, �(p/q), �(1/2) =p⇡, . . .
![Page 62: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/62.jpg)
Elementary numbers Masahiko Yoshinaga
Analog of Liouville : find a property which is satisfied by allperiods and construct a number which does not satisfy it.
Masahiko Yoshinaga (2008)
• defines the class of elementary functions and the class ofelementary numbers
• proves that any real period is an elementary number
• produces an example of a number which is not anelementary number (hence is not a period).
http://arxiv.org/abs/0805.0349v1
![Page 63: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/63.jpg)
Elementary numbers Masahiko Yoshinaga
Analog of Liouville : find a property which is satisfied by allperiods and construct a number which does not satisfy it.
Masahiko Yoshinaga (2008)
• defines the class of elementary functions and the class ofelementary numbers
• proves that any real period is an elementary number
• produces an example of a number which is not anelementary number (hence is not a period).
http://arxiv.org/abs/0805.0349v1
![Page 64: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/64.jpg)
Elementary numbers Masahiko Yoshinaga
Analog of Liouville : find a property which is satisfied by allperiods and construct a number which does not satisfy it.
Masahiko Yoshinaga (2008)
• defines the class of elementary functions and the class ofelementary numbers
• proves that any real period is an elementary number
• produces an example of a number which is not anelementary number (hence is not a period).
http://arxiv.org/abs/0805.0349v1
![Page 65: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/65.jpg)
Elementary numbers Masahiko Yoshinaga
Analog of Liouville : find a property which is satisfied by allperiods and construct a number which does not satisfy it.
Masahiko Yoshinaga (2008)
• defines the class of elementary functions and the class ofelementary numbers
• proves that any real period is an elementary number
• produces an example of a number which is not anelementary number (hence is not a period).
http://arxiv.org/abs/0805.0349v1
![Page 66: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/66.jpg)
Masahiko Yoshinaga
The set of elementaryfunctions is countable, theconstruction of a numberwhich is not a period rests onan enumeration of this set.
![Page 67: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/67.jpg)
Euler constant and arithmetic functions
The function sum of divisors
�(n) =X
d|n
d.
T.H. Gronwall(1877- 1932)
T.H. Gronwall (1913)
lim supn!1
�(n)
n log log n= e
�.
![Page 68: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/68.jpg)
Guy Robin
Criterion of Guy Robin (1984) : Riemann hypothesis isequivalent to
�(n) < e�n log log n
for all n � 5 041.
Grandes valeurs de la fonctionsomme des diviseurs ethypothese de Riemann, J.Math. Pures Appl. 63 (1984),187–213.
![Page 69: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/69.jpg)
Je↵rey C. Lagarias (2001)
Riemann hypothesis isequivalent to
�(n) < Hn + eHn logHn
for all n > 1.
http://arxiv.org/pdf/math/0008177v2.pdf
![Page 70: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/70.jpg)
The function number of divisors
The function number of divisors d(n) is defined for n apositive integer by
d(n) =X
d|n
1 = Card{d | d|n, 1 d n}.
https://oeis.org/A000005
1, 2, 2, 3, 2, 4, 2, 4, 3, 4, 2, 6, 2, 4, 4, 5, 2, 6, 2, 6, 4, 4,
2, 8, 3, 4, 4, 6, 2, 8, 2, 6, 4, 4, 4, 9, 2, 4, 4, 8, 2, 8, . . .
![Page 71: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/71.jpg)
The function number of divisors
The function number of divisors d(n) is defined for n apositive integer by
d(n) =X
d|n
1 = Card{d | d|n, 1 d n}.
https://oeis.org/A000005
1, 2, 2, 3, 2, 4, 2, 4, 3, 4, 2, 6, 2, 4, 4, 5, 2, 6, 2, 6, 4, 4,
2, 8, 3, 4, 4, 6, 2, 8, 2, 6, 4, 4, 4, 9, 2, 4, 4, 8, 2, 8, . . .
![Page 72: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/72.jpg)
Average value of the function number of divisors
In 1849, Dirichlet gave anestimate for the average valueof this function
nX
k=1
d(k) = n log n+ (2� � 1)n+O(pn).
J.P.G. Lejeune Dirichlet(1805–1859)
sequencenX
k=1
d(k), n � 0 : http://oeis.org/A006218
0, 1, 3, 5, 8, 10, 14, 16, 20, 23, 27, 29, 35, 37, 41, 45, 50, . . .
![Page 73: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/73.jpg)
Dirichlet’s proof (1849)
Denote by bxc the integral part of x :
nX
k=1
d(k) =nX
k=1
X
d|k
1 =X
1j,dnjdn
1 =nX
j=1
�n
j
⌫
The right hand side is approximately
nX
j=1
n
j= nHn = n log n+ �n+O(1).
![Page 74: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/74.jpg)
Method of the hyperbola (Dirichlet)
The di↵erence between thesum of the integral parts andthe harmonic sum is the sumof the fractional parts thatDirichlet estimates using hishyperbola method :
nX
j=1
⇢n
j
�= (1� �)n+O(
pn).
![Page 75: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/75.jpg)
Dirichlet divisor problem
Let ✓ be the infimum of the exponents � for which
nX
k=1
d(k) = n log n+ (2� � 1)n+O(n�).
Dirichlet’s Theorem yields ✓ 1
2·
This estimate was improved by Voronoi in 1903 : ✓ 1
3,
and van der Corput in 1922 : ✓ 33
100·
In 1915, Hardy and Landau proved ✓ �1
4·
The exact value of ✓ is not yet known.
![Page 76: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/76.jpg)
0, 25 ✓ 0, 33
Georgy Voronoy(1868 - 1908)
Johannes van der Corput(1890 - 1975)
Edmund Landau(1877 - 1938)
Godfrey Harold Hardy(1877 - 1947)
![Page 77: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/77.jpg)
0, 25 ✓ 0, 3149
✓ is the infimum of the numbers � for which
nX
k=1
d(k) = n log n+ (2� � 1)n+O(n�).
The best known upper boundis due to Martin Huxley in2003 :
✓ 131
416⇠ 0, 314 903 8 . . .
One conjectures ✓ =1
4·
![Page 78: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/78.jpg)
Florian Luca and Jorge Jimenez Urroz (2012)
F. Luca, J.J. Urroz & M. WaldschmidtGaps in binary expansions of some arithmetic functions, andthe irrationality of the Euler constant,Journal of Prime Research in Mathematics, GCU, Lahore,Pakistan, Vol. 8 (2012), 28–35.
![Page 79: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/79.jpg)
The sequence Tk
For k � 0, setTk =
X
n2k
d(n).
Consider the binary expansion
Tk =vkX
i=0
ai2i.
If a`+i = 0 for 0 i L� 1, we say that the binaryexpansion of Tk has a gap of length at least L starting with `.
![Page 80: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/80.jpg)
Connection with the irrationality of Euler’sconstant
Proposition. Assume that for infinitely many positive k, thereexist ` and L satisfying
2 +3 log k
log 2 k � ` L
and that the binary expansion of Tk has a gap of length atleast L starting at `. Then Euler’s constant is irrational.
In other terms, one at least of the following two properties istrue :(i) the binary expansion of Tk does not have extremely longgaps ;(ii) the Euler constant is irrational.One expects that both properties are true !
![Page 81: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/81.jpg)
Connection with the irrationality of Euler’sconstant
Proposition. Assume that for infinitely many positive k, thereexist ` and L satisfying
2 +3 log k
log 2 k � ` L
and that the binary expansion of Tk has a gap of length atleast L starting at `. Then Euler’s constant is irrational.
In other terms, one at least of the following two properties istrue :(i) the binary expansion of Tk does not have extremely longgaps ;(ii) the Euler constant is irrational.One expects that both properties are true !
![Page 82: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/82.jpg)
Proof
The relation
nX
j=1
d(j) = n log n+ (2� � 1)n+O(n✓)
for n = 2k and ✓ = 1/2 can be written
Tk = 2kk log 2 + 2k(2� � 1) +O(2k/2).
To say that the binary expansion of Tk has a gap of length atleast L starting at ` means
Tk =vkX
i=`+L
ai2i +
`�1X
i=0
ai2i.
![Page 83: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/83.jpg)
Proof
The relation
nX
j=1
d(j) = n log n+ (2� � 1)n+O(n✓)
for n = 2k and ✓ = 1/2 can be written
Tk = 2kk log 2 + 2k(2� � 1) +O(2k/2).
To say that the binary expansion of Tk has a gap of length atleast L starting at ` means
Tk =vkX
i=`+L
ai2i +
`�1X
i=0
ai2i.
![Page 84: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/84.jpg)
Proof (continued)
Setting
b = 1 +vkX
i=`+L
ai2i�k
and dividing by 2k yields
|k log 2 + 2� + b| < 2`�k + c2�k/2
with a constant c > 0.Using the irrationality measure for log 2 :
����log 2�p
q
���� �1
q3,58
which is valid for su�ciently large q, we deduce, under theassumptions of the proposition, that the number � is irrational.
![Page 85: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/85.jpg)
Irrationality measure for log 2����log 2�
p
q
���� �1
qpour q � q0.
D. Mordukhai-Boltovskoi (1923), K. Mahler (1932),N.I. Fel’dman (1949 – 1966)A. Baker (1964) : = 12, 5E.A. Rukhadze (1987) : = 3, 891 399 78 . . .R. Marcovecchio (2009) : = 3, 574 553 91 . . .
Method of Rhin–Viola (1996)
![Page 86: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/86.jpg)
F. Luca, J.J. Urroz, M. Waldschmidt (2012)
More generally, assume that there exist > 0 and B0 > 0such that, if b0, b1, b2 are integers with b1 6= 0, we have
|b0 + b1 log 2 + b2�| � B�
withB = max{|b0|, |b1|, |b2|, B0}.
Then for su�ciently large k, if ` and L satisfy
2 + log k
log 2 k � ` L,
the binary expansion of Tk does not have a gap of length atleast L starting at `.
![Page 87: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/87.jpg)
Vincel Hoang Ngoc Minh (2013)
http://hal.archives-ouvertes.fr/hal-00423455
On a conjecture by PierreCartier about a group ofassociators.Acta Math. Vietnam (2013)38 :339–398.
. . .we give a complete description of the kernel of polyzeta anddraw some consequences about a structure of the algebra ofconvergent polyzetas and about the arithmetical nature of theEuler constant.
![Page 88: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/88.jpg)
Irrationality
Lemma. Let � be a real number. Assume that for anysubfield K of R, the number � is either in K, or else istranscendental over K. Then � is a rational number.
Proof. If the number � is irrational, from the hypothesis itfollows that it is transcendental over Q. In this case � isalgebraic over the field K = Q(�2) and does not belong to K.
![Page 89: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/89.jpg)
Divergent series
Euler (1760) : On divergent series. Four methods forevaluating
1� 1 + 2� 6 + 24� 120 + · · ·
=
0!� 1! + 2!� 3! + 4!� 5! + ...
Wallis hypergeometric seriesJohn Wallis(1616 - 1703)
![Page 90: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/90.jpg)
Hypergeometric series of WallisThe divergent power series
0!� 1!x+ 2!x2� 3!x3 + 4!x4
� 5!x5 + ...
satisfies the linear di↵erential equation
y0 +
1
x2y =
1
x;
a solution which is convergent at x = 1 is given by the integral
e1x
Zx
0
1
te� 1
t dt
which can be expanded into a continued fraction
[1, x, x, 2x, 2x, 3x, 3x, . . . ]
for which Euler gives the value at x = 1
0, 596 347 362 123 7 . . .
![Page 91: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/91.jpg)
Benjamin Gompertz (1779–1865)
� = �
Z 1
0
e�t log t dt
� =
Z 1
0
e�t log(t+ 1) dt
(A.I. Aptekarev)
![Page 92: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/92.jpg)
The Euler–Gompertz constant
0!� 1! + 2!� 3! + 4!� 5! + · · ·
� =
Z 1
0
dt
1� log t=
Z 1
0
e�t log(t+ 1) dt =
0, 596 347 362 323 194 074 341 078 499 369 279 376 074 177 . . .
https://oeis.org/A073003
![Page 93: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/93.jpg)
Letter of Ramanujan to Hardy (January 16, 1913)
Srinivasa Ramanujan Godfrey Harold Hardy(1887 – 1920) (1877 – 1947)
1� 2 + 3� 4 + · · · =1
41� 1! + 2!� 3! + · · · = 0, 596 . . .
![Page 94: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/94.jpg)
G.H. Hardy : Divergent Series (1949)
Niels Henrik Abel(1802 – 1829)
Divergent series arethe invention of thedevil, and it isshameful to base onthem anydemonstrationwhatsoever.
![Page 95: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/95.jpg)
Andrei Borisovich Shidlovskii (1959)
One at least of the two numbers �, � is irrational. .
![Page 96: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/96.jpg)
K. Mahler (1968)
The number
⇡
2
Y0(2)
J0(2)� �
is transcendental.
The Bessel functions of first and second kind
J0(z) =1X
n=0
(�1)n
(n!)2
⇣z
2
⌘2n,
Y0(z) =2
⇡
⇣log⇣z
2
⌘+ �
⌘J0(z) +
2
⇡
1X
n=0
(�1)nHn
(n!)2
✓z2
4
◆n!.
![Page 97: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/97.jpg)
Alexander Ivanovich Aptekarev (2007)
A.I. Aptekarev
Quantitative version of theirrationality result due toA.B. Shidlovskii for at leastone of the two numbers �, �.
Construction of (linear recurrent) sequences (un)n�0 , (vn)n�0
and (wn)n�0 of rational integers with upper bounds for
max{|un|, |vn|, |wn|}
and formax{|wn + un(e� + �)| , |vn + eun|}.
![Page 98: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/98.jpg)
Tanguy Rivoal (2009)
Approximation of the function � + log x.Consequence : rational approximations for � and ⇣(2)� �
2.
![Page 99: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/99.jpg)
T. Rivoal, Kh. Pilehrood, T. Pilehrood (2012)
At least one of the two numbers �, � is transcendental.
TanguyRivoal
KhodabakhshHessami Pilehrood
TatianaHessami Pilehrood
![Page 100: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/100.jpg)
Tanguy Rivoal (2012)
Simultaneous rational approximations for the Euler constantand for the Euler–Gompertz constant.
����� �p
q
����+����� �
r
q
���� >C(✏)
q3+✏·
Method of Mahler :Two of the numbers e, �, � are algebraically independent.
![Page 101: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/101.jpg)
Peter Bundschuh (1979)
.
For p/q 2 Q \ Z, the number
�0
�
✓p
q
◆+ �
is transcendental.
![Page 102: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/102.jpg)
The harmonic series
1� xn
1� x= 1 + x+ x
2 + · · · ,
Z 1
0
xjdx =
1
j + 1,
hence
Hn =nX
j=1
1
j=
Z 1
0
1� xn
1� xdx.
L. Euler (1729) : for z � 0,
Hz =
Z 1
0
1� xz
1� xdx.
H 12= 2� 2 log 2 = 0, 613 705 638 880 . . .
![Page 103: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/103.jpg)
The harmonic series
1� xn
1� x= 1 + x+ x
2 + · · · ,
Z 1
0
xjdx =
1
j + 1,
hence
Hn =nX
j=1
1
j=
Z 1
0
1� xn
1� xdx.
L. Euler (1729) : for z � 0,
Hz =
Z 1
0
1� xz
1� xdx.
H 12= 2� 2 log 2 = 0, 613 705 638 880 . . .
![Page 104: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/104.jpg)
The harmonic series
1� xn
1� x= 1 + x+ x
2 + · · · ,
Z 1
0
xjdx =
1
j + 1,
hence
Hn =nX
j=1
1
j=
Z 1
0
1� xn
1� xdx.
L. Euler (1729) : for z � 0,
Hz =
Z 1
0
1� xz
1� xdx.
H 12= 2� 2 log 2 = 0, 613 705 638 880 . . .
![Page 105: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/105.jpg)
The harmonic series and the digamma function
The function
Hz =
Z 1
0
1� xz
1� xdx
which is defined for z � 0 and satisfies
Hn =nX
j=1
1
jfor n 2 Z, n � 0
is related with the digamma function
(z) =d
dzlog�(z)
by (z + 1) = �� +Hz.
![Page 106: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/106.jpg)
The harmonic series and the digamma function
The function
Hz =
Z 1
0
1� xz
1� xdx
which is defined for z � 0 and satisfies
Hn =nX
j=1
1
jfor n 2 Z, n � 0
is related with the digamma function
(z) =d
dzlog�(z)
by (z + 1) = �� +Hz.
![Page 107: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/107.jpg)
The digamma function
For z 2 C \ {0,�1,�2, . . .},
(z) =d
dzlog�(z) =
�0(z)
�(z)·
(z) = �� �1
z�
1X
n=1
✓1
n+ z�
1
n
◆
(z + 1) = �� +1X
n=2
(�1)n⇣(n)zn�1.
![Page 108: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/108.jpg)
The digamma function
For z 2 C \ {0,�1,�2, . . .},
(z) =d
dzlog�(z) =
�0(z)
�(z)·
(z) = �� �1
z�
1X
n=1
✓1
n+ z�
1
n
◆
(z + 1) = �� +1X
n=2
(�1)n⇣(n)zn�1.
![Page 109: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/109.jpg)
The digamma function
For z 2 C \ {0,�1,�2, . . .},
(z) =d
dzlog�(z) =
�0(z)
�(z)·
(z) = �� �1
z�
1X
n=1
✓1
n+ z�
1
n
◆
(z + 1) = �� +1X
n=2
(�1)n⇣(n)zn�1.
![Page 110: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/110.jpg)
Special values of the digamma function
(1) = �� = �0, 577 215 . . . ,
✓1
2
◆= �2 log(2)� � = �1, 963 510 . . . ,
✓1
4
◆= �
⇡
2� 3 log(2)� � = �4, 227 453 . . . ,
✓3
4
◆=⇡
2� 3 log(2)� � = �1, 085 860 . . . .
Hence
(1) + (1/4)� 3 (1/2) + (3/4) = 0.
![Page 111: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/111.jpg)
Special values of the digamma function
(1) = �� = �0, 577 215 . . . ,
✓1
2
◆= �2 log(2)� � = �1, 963 510 . . . ,
✓1
4
◆= �
⇡
2� 3 log(2)� � = �4, 227 453 . . . ,
✓3
4
◆=⇡
2� 3 log(2)� � = �1, 085 860 . . . .
Hence
(1) + (1/4)� 3 (1/2) + (3/4) = 0.
![Page 112: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/112.jpg)
Special values of the digamma function
(1) = �� = �0, 577 215 . . . ,
✓1
2
◆= �2 log(2)� � = �1, 963 510 . . . ,
✓1
4
◆= �
⇡
2� 3 log(2)� � = �4, 227 453 . . . ,
✓3
4
◆=⇡
2� 3 log(2)� � = �1, 085 860 . . . .
Hence
(1) + (1/4)� 3 (1/2) + (3/4) = 0.
![Page 113: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/113.jpg)
Special values of the digamma function
(1) = �� = �0, 577 215 . . . ,
✓1
2
◆= �2 log(2)� � = �1, 963 510 . . . ,
✓1
4
◆= �
⇡
2� 3 log(2)� � = �4, 227 453 . . . ,
✓3
4
◆=⇡
2� 3 log(2)� � = �1, 085 860 . . . .
Hence
(1) + (1/4)� 3 (1/2) + (3/4) = 0.
![Page 114: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/114.jpg)
Ram Murty and N. Saradha (2007)
Conjecture (2007) : Let K be a number field over which theq-th cyclotomic polynomial is irreducible. Then the '(q)numbers (a/q) with 1 a q and (a, q) = 1 are linearlyindependent over K.
![Page 115: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/115.jpg)
Baker periods, following (Ram Murty andN. Saradha)
�1 log↵1 + · · ·+ �n log↵n
A Baker periodis an element of the Q–vectorspace spanned by thelogarithms of nonzeroalgebraic numbers.
A Baker period is a period in the sense of Kontsevich andZagier.According to Baker’s Theorem, such a number is either 0 ortranscendental.
![Page 116: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/116.jpg)
Ram Murty and N. Saradha (2007)
Murty and Saradha : at least one of the following statement istrue :
• The Euler constant � is not a Baker period.
• The '(q) numbers (a/q) with 1 a q and (a, q) = 1are linearly independent over any number field over which theq–th cyclotomic polynomial is irreducible.
![Page 117: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/117.jpg)
Transcendental Numbers
Ram Murty and Purusottam Rath, Springer–Verlag, (2014), 217 p.
Let q > 1. For any integer a satisfying gcd(a, q) = 1, thenumber
��0
�
✓a
q
◆+ �
is transcendental (it is a Baker period and > 0)and at most one of the '(q) numbers
�0
�
✓a
q
◆
(1 a q satisfying gcd(a, q) = 1) is algebraic.
![Page 118: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/118.jpg)
Transcendental Numbers
Ram Murty and Purusottam Rath, Springer–Verlag, (2014), 217 p.
Let q > 1. For any integer a satisfying gcd(a, q) = 1, thenumber
��0
�
✓a
q
◆+ �
is transcendental (it is a Baker period and > 0)and at most one of the '(q) numbers
�0
�
✓a
q
◆
(1 a q satisfying gcd(a, q) = 1) is algebraic.
![Page 119: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/119.jpg)
Euler–Lehmer constants
�(h, k) =
limx!1
0
@X
1nxn⌘h mod k
1
n�
log x
k
1
A
�(2, 4) =1
4� Derrick Henry Lehmer
(1905 - 1991)
At most one of the numbers
�(h, k), 1 h < k, k � 2
is algebraic (Ram Murty and N. Saradha, 2010).
![Page 120: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/120.jpg)
Euler and the digamma function (1765)
(n) = �� +Hn�1
for n � 1, withH0 = H�1 = 0.For n � 0,
✓n+
1
2
◆= �� � 2 log 2 + 2H2n�1 �Hn�1.
For |z| < 1,
(z + 1) = �� +1X
k=1
(�1)k+1⇣(k + 1)zk.
![Page 121: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/121.jpg)
Euler and the digamma function (1765)
(n) = �� +Hn�1
for n � 1, withH0 = H�1 = 0.For n � 0,
✓n+
1
2
◆= �� � 2 log 2 + 2H2n�1 �Hn�1.
For |z| < 1,
(z + 1) = �� +1X
k=1
(�1)k+1⇣(k + 1)zk.
![Page 122: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/122.jpg)
⇣(1) = � ?
We have
�(1 + t) = exp
��t+
1X
n=2
(�1)n⇣(n)
ntn
!.
We can write
�(1 + t) = exp
1X
n=1
(�1)n⇣(n)
ntn
!.
provided that we set ⇣(1) = �.This normalisation is sometimes used in the study of multizetavalues ; another option is to replace ⇣(1) by an unknown in theformulae involving ⇣(n).
![Page 123: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/123.jpg)
⇣(1) = � ?
We have
�(1 + t) = exp
��t+
1X
n=2
(�1)n⇣(n)
ntn
!.
We can write
�(1 + t) = exp
1X
n=1
(�1)n⇣(n)
ntn
!.
provided that we set ⇣(1) = �.This normalisation is sometimes used in the study of multizetavalues ; another option is to replace ⇣(1) by an unknown in theformulae involving ⇣(n).
![Page 124: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/124.jpg)
Thomas Johannes Stieltjes (1885)
The Laurent expansion of theRiemann zeta function at thepole s = 1 is
⇣(s) =1
s� 1+
1X
n=0
(�1)n
n!�n(s� 1)n
with �0 = � and, for n � 1,T. Stieltjes(1856- 1894)
�n = limm!1
mX
k=1
(log k)n
k�
(logm)n+1
n+ 1
!
![Page 125: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/125.jpg)
Exponential periods
Paper by Kontsevich and Zagier :
The last chapter, which is at a more advanced level and alsomore speculative than the rest of the text, is by the firstauthor only.
There have been some recent indications that onecan extend the exponential motivic Galois group stillfurther, adding as a new the Euler constant �, whichis, incidentally, the constant term of ⇣(s) at s = 1.Then all classical constants are periods in anappropriate sense.
![Page 126: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/126.jpg)
Exponential periods
Lagarias quotes Kontsevich : the Euler constant is anexponential period :
� =
Z 1
0
Z 1
x
e�x
ydydx�
Z 1
1
Zx
1
e�x
ydydx.
Rests on
�� =
Z 1
0
e�x log xdx.
The Euler–Gompertz constant is an exponential period :
� =
Z 1
0
e�t
1 + tdt,
One conjectures that � is not a period.
![Page 127: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/127.jpg)
Exponential periods
Lagarias quotes Kontsevich : the Euler constant is anexponential period :
� =
Z 1
0
Z 1
x
e�x
ydydx�
Z 1
1
Zx
1
e�x
ydydx.
Rests on
�� =
Z 1
0
e�x log xdx.
The Euler–Gompertz constant is an exponential period :
� =
Z 1
0
e�t
1 + tdt,
One conjectures that � is not a period.
![Page 128: Surat University, SVNIT December 1, 2017 - IMJ-PRGmichel.waldschmidt/articles/pdf/Euler... · Surat University, SVNIT December 1, 2017 ... 1964 : W.A. Beyer and M.S. Waterman 7114](https://reader031.vdocument.in/reader031/viewer/2022020109/5b65c8507f8b9aed528c3ff5/html5/thumbnails/128.jpg)
Surat University, SVNIT December 1, 2017
Is the Euler constant a rational number,
an algebraic irrational number
or else a transcendental number ?
Michel Waldschmidt
Universite Pierre et Marie Curie (Paris 6) France
http://www.math.jussieu.fr/~miw/