Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3...
-
Upload
gervase-morgan -
Category
Documents
-
view
217 -
download
3
Transcript of Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3...
![Page 1: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/1.jpg)
Series: Oresme to Euler to $1,000,000
© Joe ConradSolano Community College
December 8, 2012CMC3 Monterey [email protected]
![Page 2: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/2.jpg)
Series
= 0.3 + 0.03 + 0.003 + 0.0003 + …
= 0.3333…
=
3 3 3 310 100 1000 10000
13
![Page 3: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/3.jpg)
Series
Harmonic Series:
Nicole Oresme (ca. 1323 – 1382)
1
1
n n
1
22n
n
n
![Page 4: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/4.jpg)
Pietro Mengoli (1626 – 1686)
1
( 1) ln2n
nn
2
1
1 ?n n
![Page 5: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/5.jpg)
Jacob Bernoulli (1654 – 1705)
p-Series:
1
1p
n n
![Page 6: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/6.jpg)
Basel Problem
“If anyone finds and communicates to us that which thus far has eluded our efforts, great will be our gratitude.”
- Jacob Bernoulli, 1689
21
1 ?n n
1.6449
![Page 7: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/7.jpg)
Enter Euler! Euler (1707 - 1783)
in 1735 computed the
sum to 20 decimal places.
“Quite unexpectedly I have
found an elegant formula involving the quadrature of the circle.”
2
21
16n n
![Page 8: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/8.jpg)
Euler’s First “Proof”
Recall that if P(x) is a nth degree polynomial with roots a1, a2, …, an, then P(x) can be factored as
for some constant A.
1 2( ) ( )( )(...)( )nP x A x a x a x a
![Page 9: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/9.jpg)
Euler let P(x) be
Note: xP(x) = sin(x), so
So if a is a root of P(x), then sin(a) = 0
which implies that a = ±, ±2, ±3, …
2 4 6 8
( ) 13! 5! 7! 9!x x x xP x
sin( )( )
xP x
x
![Page 10: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/10.jpg)
So, we can factor P(x) as
Letting x = 0, we get B = 1.
2 4 6 8
( ) 13! 5! 7! 9!x x x xP x
( ) ( )( )( 2 )( 2 )P x A x x x x 2 2 2 2 2 2 2 2( )( 4 )( 9 )( 16 )A x x x x
2
21 xB
2 2 2
2 2 21 1 1
4 9 16x x x
![Page 11: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/11.jpg)
2 4 6 8
( ) 13! 5! 7! 9!x x x xP x
2 2 2 2
2 2 2 2( ) 1 1 1 1
4 9 16x x x xP x
2 1 1 1 16 1 4 9 16
12
2x
2 2 2
2 2 24 9 16x x x
13!
2 2 2 21 1 1 1
4 9 16
![Page 12: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/12.jpg)
Extending this argument, Euler got:
In 1750, he generalized this to …
44
1
190n n
66
1
1945n n
2626
1
1315862111094481976030578125n n
![Page 13: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/13.jpg)
But, first!
1 2 3 n ( 1)2
n n
2 2 2 2 ( 1)(2 1)1 2 36
n n nn
2 23 3 3 3 ( 1)1 2 3
4n nn
![Page 14: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/14.jpg)
Bernoulli discovered how to compute these in general:
1
01
111
pnp p j
jjk
pk B njp
1 1 1 12 6 30 42
{ } {1, , ,0, ,0, ,0, }jB
![Page 15: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/15.jpg)
4 3 20 1 2 3
3
1
4 4 4 40 1 2 3
14
n
kB n B n B n B nk
4 3 21 24
n n n
2 2( 1)4
n n
4 3 212
1 11 1 4 6 4 04 6
n n n n
![Page 16: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/16.jpg)
“…it took me less than half of a quarter of an hour to find that the tenth powers of the first 1000 numbers being added together will yield the sum
91 409 924 241 424 243 424 241 924 242 500.”
![Page 17: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/17.jpg)
What about ?
The first 20 Bernoulli numbers:
51 1 1 1 11, , ,0, ,0, ,0, ,0, ,2 6 30 42 30 66
691 7 3617 438670, ,0, ,0, ,0, ,02730 6 510 798
{ }nB
![Page 18: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/18.jpg)
What did Euler know and when?
He knew Bernoulli’s work.
He knew his p-series sums (1735).
He knew the Euler-MacLaurin formula (1732):
11
( ) ( )n n
kf k f x dx
(1) ( )2
f f n
( , )n f pR ( 2 1) ( 2 1)
1
( ) (1)p
k kn
k
A f n f
![Page 19: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/19.jpg)
He knew the Taylor series for many functions.
Somehow, he noticed that the Bernoulli numbers tied these things together.
![Page 20: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/20.jpg)
Appear in Taylor series:
01 !
nn
xn
B xxe n
![Page 21: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/21.jpg)
Euler-Maclaurin became:
11
( ) ( )n n
kf k f x dx
(1) ( )2
f f n
(2 1) (2 1)2
1(1)( )
(2 )!( , )k kk
n
p
k
Bf n f
kf pR
![Page 22: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/22.jpg)
1 2 1 22
21
( 1) 21(2 )!
k k kk
kn
Bkn
1 1 1 2 22( 1) 2
Check 1:(2 1)! 6
Bk
42 1 3 4 1 4304 ( )8( 1) 2
2 :(2 2)! 24 90
Bk
![Page 23: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/23.jpg)
What about ?
Nobody knows the exact sum!
Roger Apéry (1916 – 1994) proved this is irrational in 1977.
31
1n n
31
1 1.202056903n n
![Page 24: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/24.jpg)
Where to next?
Being calculus, we define a function:
This function is defined for all
real x > 1.
1
1( ) xn
xn
![Page 25: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/25.jpg)
Bernhard Riemann (1826 – 1866)
Define a function:
where s complex. 1
1( ) sn
sn
![Page 26: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/26.jpg)
This function can be extended to all the complex numbers except s = 1.
Riemann’s Functional Equation:
Note: , n a natural number
1( ) 2(2 ) ( )! (1 )sin( ), 02
s ss s s s
( 2 ) 0n
![Page 27: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/27.jpg)
![Page 28: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/28.jpg)
![Page 29: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/29.jpg)
![Page 30: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/30.jpg)
![Page 31: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/31.jpg)
Question: Are there any other zeros?
Riemann found three:
½ + 14.1347i
½ + 21.0220i
½ + 25.0109i
![Page 32: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/32.jpg)
The Riemann Hypothesis
All the nontrivial zeros of the zeta
function have real part equal to ½.
![Page 33: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/33.jpg)
Carl Siegel
(1896 – 1981)
![Page 34: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/34.jpg)
What is known?• All nontrivial zeros have 0 < Rez < 1.• If z is a zero, then so is its conjugate.• There are infinitely many zeros on the
critical line.• At least 100 billion zeros have been
found on the critical line.• The first 2 million have been calculated.• This verifies the RH up to a height of
about 29.5 billion.
![Page 35: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/35.jpg)
What is known?
• The 100,000th is ½ + 74,920.8275i. • The 10,000,000,000,000,000,010,000th is
½+1,370,919,909,931,995,309,568.3354i
Andrew Odlyzko
![Page 36: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/36.jpg)
In 2000, the Clay Institute of Mathematics offered a prize for solving the Riemann Hypothesis:
$1,000,000
![Page 37: Series: Oresme to Euler to $1,000,000 © Joe Conrad Solano Community College December 8, 2012 CMC 3 Monterey Conference joseph.conrad@solano.edu.](https://reader036.fdocuments.in/reader036/viewer/2022062517/56649eda5503460f94bea1b5/html5/thumbnails/37.jpg)
Main Sources
Julian Havil, Gamma, Princeton University Press, Princeton, NJ, 2003.
William Dunham, Euler: The Master of Us All, MAA, 1999.
Ed Sandifer, How Euler Did It: Bernoulli Numbers, MAA Online, Sept. 2005.