Lähdekoodi sivulle Millsin vakio

{{lähteetön}}
'''Millsin vakio''' on [[matematiikka|matematiikassa]] pienin sellainen [[positiivinen luku|positiivinen]] [[reaaliluku]] ''A'', jolle [[Kaksoiseksponenttifunktio|kaksoiseksponenttifunktion]] <math>A^{3^{n}}</math> [[lattiafunktio]]n

:<math>\lfloor A^{3^{n}}\;\rfloor</math>

arvo on [[alkuluku]] kaikilla <math>n\in\mathbb{N}.</math>

Vakio on nimetty [[William H. Mills]]in mukaan, joka todisti sen olemassaolon vuonna 1947 tietämättä kuitenkaan mitään sen arvosta. Todistus perustui seuraavaan [[Guido Hoheisel]]in ja [[Albert Ingham]]in tulokseen alkulukujen väleistä:

Olkoon p<sub>n</sub> ''n'':s alkuluku. On olemassa vakio K siten, että
<math>p_{n+1}-p_n<K p_n^{\frac{5}{8}}</math>

Mikäli [[Riemannin hypoteesi]] on tosi, Millsin vakio on 

:<math> A \approx 1{,}30637788386308069046861449260260571291678458515671364436805375996643405376682659882...</math>

==Millsin alkuluvut==
Alkulukuja, jotka Millsin vakio tuottaa kutsutaan Millsin alkuluvuiksi.
Ensimmäiset Millsin alkuluvut ovat [[2 (luku)|2]], [[11 (luku)|11]], 1361 ja 2 521 008 887 {{OEIS|id=A051254}}.

Olkoon M(''n'') ''n'':s Millsin alkuluku. Jos Riemannin hypoteesi on tosi, niin M(''n'') on suurin alkuluku luvun <math>M(n-1)^3\!\ </math> jälkeen. Tätä voidaan käyttää hyväksi Millsin alkulukujen laskemisessa, ensimmäinen Millsin alkuluku on 2; <math>2^3</math> on 8, jota seuraava alkuluku on 11.  <math>11^3</math> on 1331 jota seuraava alkuluku on 1361 ja niin edelleen. Näin saamme Millsin alkuluvut, edelleen olettaen että Riemannin hypoteesi on tosi. Suurin tunnettu Millsin alkuluku (olettaen että Riemannin hypoteesi on tosi) on 
:<math>\displaystyle (((((((((2^3+3)^3+30)^3+6)^3+80)^3+12)^3+450)^3+894)^3+3636)^3+70756)^3+97220,</math>
jossa on 20562 numeroa. 

==Millsin vakion määrittäminen==
Millsin vakion laskeminen on vaikeaa, sillä ei tiedetä muuta menetelmää kuin määrittää ensin alkuluvut, jotka se tuottaa.
Etsimällä Millsin alkulukuja, Millsin vakiota voidaan arvioida seuraavasti:
:<math>A\approx M(n)^{1/3^n}.</math>
Caldwell ja Cheng laskivat tällä tavoin Millsin vakion 6850 desimaalin tarkkuudella, olettaen että Riemannin hypoteesi on tosi. Millsin vakiolle ei tunneta esityssä suljetussa muodossa, eikä edes tiedetä onko se [[Irrationaaliluku|irrationaalinen]].

== Aiheesta muualla ==
* [http://mathworld.wolfram.com/MillsConstant.html MathWorld: Mill's constant] {{en}}
* [http://www.cs.uwaterloo.ca/journals/JIS/VOL8/Caldwell/caldwell78.pdf Caldwellin ja Chengin artikkeli] {{en}}

{{Tynkä/Matematiikka}}

[[Luokka:Vakiot]]
[[Luokka:Lukuteoria]]