23.11.2012 Views

Riemannin hypoteesi

Riemannin hypoteesi

Riemannin hypoteesi

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!