Riemannin hypoteesi
Riemannin hypoteesi
Riemannin hypoteesi
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Prime Obsession<br />
Bernhard Riemann and the Greatest Unsolved<br />
Problem in Mathematics<br />
John Derbyshire
Sisältö<br />
1. Kirjasta<br />
2. <strong>Riemannin</strong> elämästä<br />
3. <strong>Riemannin</strong> <strong>hypoteesi</strong><br />
4. Loppusanat<br />
– p.1/22
Kommentteja kirjasta<br />
Kertomus <strong>Riemannin</strong> <strong>hypoteesi</strong>sta.<br />
Itse Riemannista tietoa on varsin vähän.<br />
Laajoja historiallisia osuuksia muista <strong>Riemannin</strong><br />
aikakauden matemaatikoista.<br />
Sisältää myös kohtalaisesti matematiikkaa.<br />
Toisinaan vähän sekava ja epäloogisesti jäsennelty.<br />
– p.2/22
Esitiedoista<br />
Kirjailija uskoo kirjan olevan luettava myös<br />
“epämatemaattisille” henkilöille.<br />
Yleisemmällä tasolla mahdollista — aiheen parempi<br />
ymmärtäminen vaatinee enemmän esitietoja<br />
Osa tarvittavasta taustatiedosta yritetty selittää<br />
pelkästään sanallisesti.<br />
Omasta mielestäni vaikutti paikoitellen hankalalta.<br />
Vaikeahko aihe esittää kovin yksinkertaisesti.<br />
– p.3/22
<strong>Riemannin</strong> nuoruus<br />
Bernhard Riemann (1826-1866) syntyi köyhään<br />
perheeseen Quickbornessa 17.9.1826.<br />
Aloitti varsinaisen koulunkäynnin (gymnasium) vasta<br />
14-vuotiaana Hanoverissa, Lüneburgiin 16-vuotiaana.<br />
Ei ollut koskaan kovin hyvä oppilas, oli kiinnostunut<br />
vain harvoista aineista.<br />
Hyväksyttiin Göttingenin yliopistoon teologian<br />
opiskelijaksi vuonna 1846.<br />
– p.4/22
Väitöskirjatyö<br />
“Göttingen seven” 1837.<br />
Yksi professori herätti <strong>Riemannin</strong> mielenkiinnon —<br />
professori Carl Friedrich Gauss.<br />
Teologista matemaatikoksi ensimmäisenä vuonna.<br />
Akatemiat ja yliopistot.<br />
Berliiniin 1847, takaisin Göttingeniin 1849.<br />
Tutustui toiseen Gaussin oppilaaseen, Richard<br />
Dedekindiin.<br />
– p.5/22
Habilaatio<br />
Aloitti habilaatiotyönsä 25-vuotiaana.<br />
Kirjallinen työ valmistui 1853 ja käsitteli Fourier sarjoja.<br />
Perusta nykyiselle <strong>Riemannin</strong> integraalille.<br />
Luento: “On the Hypotheses that Lie on the<br />
Foundations of Geometry” vuonna 1854.<br />
Nykyisen n-ulotteisena <strong>Riemannin</strong> moniston ja<br />
<strong>Riemannin</strong> tensorin käsitteet.<br />
Dosentuuri ei korjannut rahanpuutetta.<br />
– p.6/22
Yksi suurista<br />
Professuuri Dirichleelle 1855.<br />
<strong>Riemannin</strong> isän ja siskon kuolemat samana vuonna.<br />
Veljen ja siskon kuolemat vuonna 1858.<br />
Gaussin ja Dirichleen professuuri Riemannille 1859.<br />
Berliinin akatemian jäseneksi samana vuonna.<br />
<strong>Riemannin</strong> <strong>hypoteesi</strong> artikelissa “On the Number of<br />
Primes Less Than a Given Quantity”.<br />
Kuoli tuberkuloosiin vuonna 1866.<br />
– p.7/22
<strong>Riemannin</strong> <strong>hypoteesi</strong><br />
Kaikki zeta-funktion<br />
ζ(s) =<br />
∞�<br />
n=1<br />
n −s = 1 + 1 1 1<br />
+ + + · · ·<br />
2s 3s 4s ei-triviaalit nollakohdat sijaitsevat kompleksitason kriittisellä<br />
suoralla ℜ(s) = 1/2.<br />
– p.8/22
<strong>Riemannin</strong> <strong>hypoteesi</strong><br />
Kysymyksiä<br />
Mitä ovat ei-triviaalit nollakohdat?<br />
Mitä ovat triviaalit nollakohdat?<br />
Mikä merkitys zeta-funktiolla ja sen nollakohdilla on?<br />
– p.9/22
Alkuluvuista<br />
Alkuluku on yhtä suurempi luonnollinen luku, joka ei<br />
ole jaollinen muilla positiivisilla kokonaisluvuilla kuin<br />
yhdellä ja itsellään.<br />
Ensimmäiset alkuluvut ovat 2, 3, 5, 7, 11, 13, 17 ja 19.<br />
Alkulukuja on ääretön määrä (Eukleides, n. 300 eaa).<br />
– p.10/22
Alkulukuteoreema<br />
Alkulukujen esiintymistiheys laskee mitä suurempia<br />
lukuja tarkastellaan.<br />
N π(N) N/π(N) log(N) N/Li(N)<br />
1, 000 168 5.9524 6.9078 5.6306<br />
1, 000, 000 78, 498 12.7392 13.8155 12.7182<br />
1, 000, 000, 000 50, 847, 534 19.6666 20.7233 19.6660<br />
1, 000, 000, 000, 000 37, 607, 912, 018 26.5901 27.6319 26.5901<br />
π(N) ∼ N<br />
log(N)<br />
∼ Li(N) =<br />
� N<br />
0<br />
dx<br />
log(x)<br />
– p.11/22
Alkulukujen oheneminen<br />
Pi[N]<br />
1200<br />
1000<br />
800<br />
600<br />
400<br />
200<br />
0<br />
2000 4000 6000 8000 10000<br />
Kuva 1. Alkulukujen lukumäärä π(N) (punainen, keskellä) ja sen approksimaatiot<br />
N/ log(N) (sininen, alin) sekä Li(N) (vihreä, ylin).<br />
N<br />
– p.12/22
Virhetermi<br />
Voimme kirjoittaa<br />
π(x) = Li(x) + R(x),<br />
missä R(x) antaa approksimointivirheen arvolle x<br />
Virhetermistä R(x) on esitetty asymptoottisia arvioita,<br />
joista tarkimmat nojaavat <strong>Riemannin</strong> <strong>hypoteesi</strong>in.<br />
Vuoden 1859 artikkelissaan Riemann johti kaavat<br />
π(x):n tarkan arvon laskemiseen.<br />
– p.13/22
ζ(s)-funktion nollakohdat<br />
Sarjamuodossa<br />
ζ(s) = 1 + 1 1 1<br />
+ + + · · ·<br />
2s 3s 4s zeta-funktio on määritelty, kun C ∋ ℜ(s) > 1.<br />
Seuraavilla kalvoilla toteamme, että tämän funktion<br />
nollakohdat ovat<br />
T>1 = {s ∈ C : ζ(s) = 0, ℜ(s) > 1} = ∅.<br />
Mitä zeta-funktion triviaalit / ei-triviaalit nollakohdat<br />
ovat?<br />
– p.14/22
ζ(s)-funktion nollakohdat<br />
Eräs <strong>Riemannin</strong> artikkelissa “On the Number of Primes<br />
Less Than a Given Quantity” todistetty tulos oli<br />
ζ(s) = 2 s π s−1 �<br />
πs<br />
�<br />
sin Γ(1 − s)ζ(1 − s), ∀s ∈ C \ {1},<br />
2<br />
missä Γ(x), x ∈ C on nk. gamma-funktio. Luonnollisille<br />
luvuille pätee Γ(n) = (n − 1)! missä n! = 1 · 2 · · · · · n<br />
on luvun n ∈ N kertoma.<br />
Tulos laajentaa zeta-funktion koko kompleksitasolle,<br />
pois lukien kohta s = 1.<br />
– p.15/22
ζ(s)-funktion nollakohdat<br />
ζ(s)<br />
8<br />
6<br />
4<br />
2<br />
0<br />
−2<br />
−4<br />
−6<br />
−8<br />
−10 −8 −6 −4 −2 0<br />
s<br />
2 4 6 8 10<br />
Kuva 2. ζ(s)-funktion kuvaaja reaalisella argumentin arvolla.<br />
– p.16/22
ζ(s)-funktion nollakohdat<br />
Olkoon ensin s ∈ R \ {1}. Jos s ∈ {−2, −4, −6, . . . },<br />
niin ζ(s) = 0, koska<br />
sin<br />
�<br />
πs<br />
�<br />
Γ(1 − s) = 0.<br />
2<br />
Muilla s ∈ R zeta-funktio on aina erisuuri kuin nolla,<br />
joten T = {s ∈ R : ζ(s) = 0} = {−2, −4, −6, . . . }..<br />
Nollakohtia ei myöskään ole, jos s ∈ C, ℜ(s) /∈ ]0, 1[.<br />
– p.17/22
Kriittinen suora<br />
Zeta-funktion ei-triviaalit nollakohdat ovat<br />
S = {s ∈ C \ R : ζ(s) = 0, ℜ(s) ∈]0, 1[}.<br />
<strong>Riemannin</strong> <strong>hypoteesi</strong>: Jos s ∈ S, niin ℜ(s) = 1/2.<br />
Im(ζ(1/2 + ix))<br />
2<br />
1.5<br />
1<br />
0.5<br />
0<br />
−0.5<br />
−1<br />
−1.5<br />
−2<br />
−1.5 −1 −0.5 0 0.5 1 1.5 2 2.5 3<br />
Re(ζ(1/2 + ix))<br />
– p.18/22
Todistuksen ongelmia<br />
G. H. Hardy (1914): Nollakohtia, jotka toteuttavat<br />
<strong>Riemannin</strong> <strong>hypoteesi</strong>n on äärettömän monta.<br />
Laskennallisesti voidaan etsiä vain vastaesimerkkejä.<br />
<strong>Riemannin</strong> <strong>hypoteesi</strong>n rikkovat nollakohdat (jos niitä<br />
on) voivat olla niin suuria ettemme löydä niitä koskaan.<br />
S-funktion käyttäytyminen suurilla funktion arvoilla<br />
saattaisi aiheuttaa <strong>Riemannin</strong> oletukselle vaikeuksia.<br />
Kyseistä funktiota pitäisi pystyä tutkimaan argumentin<br />
arvoilla, jotka ovat luokkaa 101010000. – p.19/22
<strong>Riemannin</strong> <strong>hypoteesi</strong> ja lukuteoria<br />
Kertaus: π(x) = Li(x) + R(x)<br />
Mitä pienempi R(x) on, sitä tarkemmin tiedämme<br />
funktion Li(x) esittävän funktiota π(x).<br />
Helge von Koch (1901): Jos <strong>Riemannin</strong> <strong>hypoteesi</strong> on<br />
tosi, niin π(x) = Li(x) + O ( √ x log(x)).<br />
Myös arvioita, jotka eivät nojaa <strong>hypoteesi</strong>in on<br />
R(x) = O<br />
�<br />
xe −0.009[log(x) 3/5 /(log(log(x)) 1/5 ] �<br />
– p.20/22
<strong>Riemannin</strong> <strong>hypoteesi</strong> ja lukuteoria<br />
Vuoden 1859 artikkelissaan Riemann johti kaavat joilla<br />
voidaan laskea π(x):lle tarkka-arvo<br />
π(x) =<br />
∞�<br />
n=1<br />
µ(n)<br />
n J � n √ x �<br />
J(x) = Li(x) − �<br />
Li (x ρ ) − log 2 +<br />
ρ∈S<br />
� ∞<br />
Yllä oleva on riippumaton <strong>hypoteesi</strong>sta!<br />
dt<br />
t (t 2 − 1) log t<br />
�<br />
x<br />
��<br />
−0.694
Loppusanat<br />
Edellisen sivun kaavat olivat <strong>Riemannin</strong> vuoden 1859<br />
artikkelin päätulokset; eivät riipu <strong>hypoteesi</strong>sta!<br />
Hypoteesi ottaa kantaa vain joukon S alkioihin<br />
Tiivistelmästä löytyy tarkemmat kuvaukset <strong>Riemannin</strong><br />
<strong>hypoteesi</strong>in liittyen.<br />
Derbyshiren kirjassa on lisäyksiä joihinkin kohtiin, jotka<br />
myös tiivistelmässä on ohitettu.<br />
– p.22/22