Static Wikipedia February 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Web Analytics
Cookie Policy Terms and Conditions Alkulukulause – Wikipedia

Alkulukulause

Wikipedia

Lukuteoriassa alkulukulause antaa alkulukujen jakauman asympoottisen arvion. Karkeasti ottaen alkulukulauseen mukaan satunnaisesti valittu positiivinen kokonaisluku N on todennäköisyydellä 1 / log N alkuluku, missä log on luonnollinen logaritmi. N:n kasvaessa alkuluvut käyvät yhä harvemmiksi. Esimerkiksi kun N=10 000 , keskimäärin joka yhdeksäs luku on alkuluku, kun taas arvolla N=1 000 000 000 suunnilleen joka 21. luku on alkuluku. Alkulukulause antaa arvion tälle harvenemisnopeudelle.

[muokkaa] Väite

Funktioiden π(x), x / log x ja Li(x) kuvaajat.
Funktioiden π(x), x / log x ja Li(x) kuvaajat.

Olkoon π(x) lukua x+1 pienempien alkulukujen lukumäärä. Tällöin alkulukulauseen mukaan osamäärän π(x) log(x) / x raja-arvo on 1, kun x kasvaa rajatta. Käyttäen Landaun symbolia, tulos voidaan ilmoittaa muodossa

\pi(x)\sim\frac{x}{\ln x}.

Tämä ei tarkoita sitä, että näiden funktioiden erotus lähenee nollaa.

Lauseen otaksui Adrien-Marie Legendre vuonna 1796 ja sen todistivat Hadamard ja de la Vallée Poussin toisistaan riippumatta vuonna 1896. Molempien todistus perustui funktioteoriaan, tarkemmin sanottuna he osoittivat, että Riemannin zeeta-funktiolla ζ(s) ei ole nollakohtia kun Re(s) = 1.

[muokkaa] π(x) logaritmisten integraalien avulla

Carl Friedrich Gauss otaksui alkulukulausetta tarkemman asymptoottisen arvion. Määritellään logaritminen integraali Li(x) asettamalla

\mbox{Li}(x) = \int_2^x \frac1{\ln t} \,\mbox{d}t = \mbox{li}(x) - \mbox{li}(2).

Tästä huomataan, että alkulukujen ”tiheyden” lähellä t:tä tulisi olla 1/logt. Funktion yhteys logaritmiin nähdään asymptoottisesta kehitelmästä

\mbox{Li}(x) = \frac{x}{\ln x} \sum_{k=0}^\infty \frac{k!}{(\ln x)^k}  = \frac{x}{\ln x} + \frac{x}{(\ln x)^2} + \frac{2x}{(\ln x)^3} + \cdots

Siten alkulukulause voidaan kirjoittaa myös muodossa π(x) ~ Li(x). Tämän etuna on se, että arvion virhetermiä voidaan pienentää. Hadamard ja de la Vallée Poussin todistivat, että

\pi(x)={\rm Li} (x) + O \left(x \mathrm{e}^{-a\sqrt{\ln x}}\right) \quad\mbox{as } x \to \infty

jollain positiivisella vakiolla a, missä O(…) iso O notaatio. Arviota on parannettu muotoon

\pi(x)={\rm Li} (x) + O \left(x \, \exp \left( -\frac{A(\ln x)^{3/5}}{(\ln \ln x)^{1/5}} \right) \right).

Yhteys Riemannin zeetafunktion ja π(x) välillä on niin vahva, että Riemannin hypoteesi parantaisi virhetermin arviota. Helge von Koch osoitti vuonna 1901, että Riemannin hypoteesi on tosi jos ja van jos alkulukulause voidaan kirjoittaa muodossa

\pi(x) = {\rm Li} (x) + O\left(\sqrt x \ln x\right).

Vakiota ison O:n sisällä pystyi arvioimaan Lowell Schoenfeld. Riemannin hypoteesin mukaan

|\pi(x)-{\rm Li}(x)|<\frac{\sqrt x\,\ln x}{8\pi}

kaikilla x ≥ 2657. Hän osoitti myös samantapaisen arvion Tšebyševin funktiolle ψ:

|\psi(x)-x|<\frac{\sqrt x\,\ln^2 x}{8\pi}

kaikilla x ≥ 73,2.

Logaritminen integraali Li(x) on suurempi kuin π(x) kaikilla riittävän pienillä luvuilla x Kuitenkin vuonna 1914 J. E. Littlewood todisti, että lausekkeiden suuruusjärjestys vaihtuu riittävän suurella luvulla. Ensimmäisen kerran tämä tapahtuu kun xon suuruusluokkaa 10316.

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2006 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu