Zenbaki lehenen teorema

Zenbakien teorian, zenbaki lehenen teorema zenbaki lehenen banaketa asintotikoa deskribatzen duen enuntziatua da. Teorema horrek deskribapen orokor bat ematen du, zenbaki lehenak zenbaki arrunten multzoan nola dauden banatuta azaltzeko. Horrek ideia intuitiboa ezartzen du: zenbakiak gero eta handiagoak orduan eta maiztasun txikiagoarekin ageri direla zenbaki lehenak. Matematikaren historiako teorema garrantzitsuenetako bat da, ez bakarrik haren edertasunagatik, baizik eta zenbaki lehenen ikerketan duen eraginagatik.

Teoremaren adierazpena 

Izan bedi zenbaki lehenak kontatzeko funtzioa, hau gainditzen ez duten lehengusu-kopuruak adierazten dituena: Teoremak hau ezartzen du:Adierazpen horrek ez du esan nahi adierazpen horren bi zatien arteko diferentzia -en oso balio handietarako zero denik; horrek esan nahi du -en oso balio handietarako zatidura ia 1 dela.

Aurrekoa baino hurbilketa hobea desplazatutako integral logaritmikoak ematen du:

Historia 
1792 eta 1793 tartean, Gaussek honako ohar hau idatzi zuen bere ohar-liburuxkan artean Collegium Carolinum delakoan zegoela:

«Zenbaki lehenak a (=∞) a/la», hizkera modernoan gero eta handiagoak diren balioetarako π(x) a/ln(a) zatidurara hurbiltzen dela esan nahi duena. Hau "zenbaki lehenen teoremaren lehen aierutzat" hartzen da. Gainera,  π(x) funtzioa, x-a gainditzen ez duten zenbaki lehenen kopurua adierazten duena, Gaussek ere definitu zuen.

Zenbaki lehenen teorema ere Adrien-Marie Legendrek 1798an suposatu zuen, eta adierazi zuen π(x) a/(A ln(a) + B) forma zuela, non A eta B zehaztuta ez dauden konstanteak dira. Bere zenbakien teoriaren liburuaren bogarren edizioan (1808) aieru zehatzagoa egin zuen, A = 1 eta B = -1.08366. Ondoren, Gaussek aierua findu zuen, gaur egun teoremarekin maizago lotzen den adierazpena sortuz. Legendrek, Gaussek, Dirichletek, Chebychevek eta Riemannek ere ekarpen esanguratsuak egin zituzten proposizio honi buruz.

Teoremaren frogapen formala modu independentean egin zuten Jacques Hadamardek eta Charles-Jean de la Vallée Poussin-ek 1896an. Bi frogapen horiek Riemannen zeta funtzioak  1+it forma duen zerorik (t > 0 izanki) ez izatearen emaitzan oinarritzen ziren. Egiazki, frogapena teoremaren aurreko definizioan adierazten dena baino adierazpen zorrotzago baten gainean egin zen, Hadamardek eta Poussinek frogatutako adierazpena honako hau izanik:

non

1896az geroztik, zenbaki lehenen teoremari lotutako adierazpena hobetzen joan da, eta hauxe da gaur egungo hurbilketarik onena:

non , ren funtzio asintotikoa bezala definitzen den eta A konstante indeterminatu bat den.

-ren balio txikietarako frogatu egin zen  zela, eta, horren ondorioz, Gaussen garaian zenbait matematikarik suposatu izan zuten    ren kota goren hertsia zela (hau da,  ekuazioak ez duela soluzio errealik). Hala ere, 1912an J. E. Littlewoodek frogatu egin zuen kota hori  balio aski handietarako gurutzatua dela. Lehenengoa Skewesen lehen zenbakia bezala ezagutzen dena da, eta gaur egun tik beherakoa dela badakigu, nahiz eta  baino txikiagoa ere izan daitekeela uste den. 1914an Littlewoodek bere demostrazioa zabaldu zuen  ekuazioari soluzio ugari gehituz. Balio eta aurkikuntza hauetako asko Riemannen hipotesiaren baliozkotasunarekin lotuta daude.

Riemann-en hipotesiarekiko erlazioa 
Riemann (s) funtzioaren eta (x) funtzioaren arteko lotura dela eta, Riemann-en hipotesia oso garrantzitsua da zenbakien teorian, eta jakina, zenbaki lehenen teoreman.

Riemann-en hipotesia betetzen bada, zenbaki lehenen teoreman agertzen den errore terminoa ahalik eta modurik onenean muga daiteke. Zehatz-mehatz, Helge von Koch-ek hurrengoa frogatu zuen 1901ean:

,

baldin eta soilik baldin Riemann-en hipotesia betetzen bada. LowelSchoenfeld-ek 1976an emandako Koch-en emaitzaren aldaera finbatek dio Riemann-en hipotesia emaitza honen baliokidea dela:

.

Zenbaki lehenen teorema progresio aritmetikoetarako 
n,a progresio aritmetiko batean zenbaki lehen kopurua adierazten duen funtzioa izanik, . Dirichletek eta Legendrek deduzitu zuten eta Vallée-Poussinek frogatu, baldin eta a eta n ez dira kolehenak, orduan

non φ Eulerren φ funtzioa den.

Beste era batera esanda, zenbaki lehenak modu uniformean banatzen dira [a] n moduluko klase-hondarren artean, mcd(a, n) = 1 izanik. Hori frogatzeko, Newmanek zenbaki lehenen teorema frogatzeko erabilitako antzeko metodoak erabil daitezke.

Siegel–Walfiszen teoremak zenbatespen ona ematen dio zenbaki lehenek klase-hondarretan duten banaketari.

Erreferentziak

Kanpo estekak 

 
 Prime number theorem en PlanetMath.

Zenbaki lehenak
Zenbaki osoen segidak