Teorema distribuției numerelor prime este o teoremă a teoriei analitice a numerelor care descrie asimptoticele distribuției numerelor prime , care afirmă că funcția de distribuție a numerelor prime (numărul numerelor prime din intervalul ) crește cu creșterea cu , adică:
, cândÎn linii mari, aceasta înseamnă că un număr ales aleatoriu de la 1 la probabilitatea de a fi prim este aproximativ egal cu .
De asemenea, această teoremă poate fi reformulată în mod echivalent pentru a descrie comportamentul numărului prim : ea afirmă că
(în continuare, notația înseamnă că atunci când argumentul funcțiilor tinde spre infinit).
Mai precis, distribuția primelor este descrisă de funcția logaritm integral . Dacă ipoteza Riemann este adevărată , atunci [1]
laPrima regularitate statistică în aranjarea numerelor prime a fost observată de Gauss . Într-o scrisoare către Encke (1849), el a raportat că încă din 1792 sau 1793, pur empiric, a descoperit că densitatea numerelor prime „în medie este apropiată de o valoare invers proporțională cu logaritmul” [2] . Până atunci, pe baza tabelelor cu numere prime compilate de Felkel și Vega , Legendre a sugerat (în 1796) că funcția de distribuție a primelor (numărul de numere prime care nu depășește x ) ar putea fi aproximată prin:
unde Gauss în scrisoarea menționată critică formula Legendre și, folosind raționamentul euristic, propune o altă funcție de aproximare - logaritmul integral :
Cu toate acestea, Gauss nu a publicat nicăieri această presupunere. Atât aproximațiile Legendre, cât și Gauss conduc la aceeași echivalență asimptotică presupusă a funcțiilor și cea indicată mai sus, deși aproximarea Gauss se dovedește a fi mult mai bună dacă, la estimarea erorii, luăm în considerare diferența de funcții în loc de raportul lor.
În două dintre lucrările sale, 1848 și 1850 , Cebyshev demonstrează [3] că limitele superioare M și inferioare m ale relației
(unu) |
sunt cuprinse în , și, de asemenea, că dacă limita relației (1) există, atunci aceasta este egală cu 1. Mai târziu (1881) J. J. Sylvester a restrâns intervalul admisibil pentru limita de la 10% la 4%.
În 1859, a apărut lucrarea lui Riemann , considerând (introdusă de Euler în funcție de un argument real) funcția ζ în domeniul complex și raportând comportamentul acesteia la distribuția numerelor prime. Dezvoltând ideile acestei lucrări, în 1896 Hadamard și de la Vallée Poussin au demonstrat simultan și independent teorema privind distribuția numerelor prime.
În cele din urmă, în 1949, a apărut dovada Erdős - Selberg , care nu utilizează o analiză complexă .
Etapa generală inițială a raționamentului este reformularea legii de distribuție a numerelor prime în termenii funcției psi Cebyshev , definită ca
cu alte cuvinte, funcția psi Chebyshev este suma funcției Mangoldt :
Și anume, rezultă că distribuția asimptotică a numerelor prime este echivalentă cu faptul că
Acest lucru se datorează faptului că logaritmul este „aproape constant” pe cea mai mare parte a intervalului , iar contribuția pătratelor, cuburilor etc. la suma (*) este neglijabilă; prin urmare, aproape toți logaritmii adăugați sunt aproximativ egali cu , iar funcția se comportă asimptotic în același mod ca .
După cum rezultă din identitatea lui Euler ,
seria Dirichlet („funcția generatoare”) corespunzătoare funcției Mangoldt este minus derivata logaritmică a funcției zeta:
În plus, integrala de-a lungul liniei verticale din dreapta lui 0 a funcției este egală cu și 0 pentru . Prin urmare, înmulțirea laturilor drepte și stângi cu și (îngrijite - integrale improprii converg doar condiționat!) integrarea de-a lungul liniei verticale pe frunze exact suma cu pe partea stângă . Pe de altă parte, aplicarea teoremei reziduurilor ne permite să scriem partea stângă ca o sumă de reziduuri; Fiecare zero al funcției zeta corespunde unui pol de ordinul întâi al derivatei sale logaritmice, cu un reziduu egal cu 1, și unui pol de ordinul întâi într-un punct , un pol de ordinul întâi cu un reziduu egal cu .
O implementare riguroasă a acestui program permite obținerea [4] formula Riemann explicită[5] :
Însumarea aici este efectuată peste zerourile funcției zeta care se află în banda critică , termenul corespunde polului la zero, iar termenul corespunde așa-numitelor zerouri „triviale” ale funcției zeta .
Absența zerourilor netriviale ale funcției zeta în afara benzii critice implică afirmația necesară (suma din formula (**) va crește mai lent decât ). În plus, ipoteza Riemann presupune o estimare „optimă” pentru posibilele abateri de la , și, în consecință, pentru abaterile de la .
Teorema fundamentală a aritmeticii , scrisă după luarea logaritmului ca
este astfel formulată în termeni de funcţii aritmetice şi convoluţie Dirichlet ca
unde și sunt funcții aritmetice, logaritmul argumentului și, respectiv, unitatea identică.
Formula de inversare Möbius ne permite să transferăm în partea dreaptă:
unde este funcția Möbius.
Suma părții stângi (**) este funcția dorită . În partea dreaptă, aplicarea formulei hiperbolei Dirichlet ne permite să reducem suma convoluției la suma unde este suma logaritmului. Aplicarea formulei Euler-Maclaurin ne permite să scriem ca
unde este constanta lui Euler . Separând din această expresie termenii care au forma pentru o funcție F aleasă corespunzător (și anume, ), și notând restul cu R , avem, în virtutea inversării lui Möbius
Întrucât rămâne de verificat că al doilea termen are forma . Aplicarea lemei lui Asker ne permite să reducem această problemă la verificarea afirmației unde este funcția Mertens , suma funcției Möbius.
Micimea sumelor funcției Möbius pe o subsecvență rezultă din formula de inversare aplicată funcției .
În plus, funcția Möbius din algebra funcțiilor aritmetice (cu operația de convoluție multiplicativă) satisface „ecuația diferențială” de ordinul întâi.
unde este o derivație în această algebră (trecerea la seria Dirichlet o transformă în derivația obișnuită a unei funcții). Prin urmare, satisface și ecuația de ordinul doi
„Media” acestei ecuații și faptul că asimptoticele sumei funcției sunt estimate mai bine decât asimptoticele sumelor , ne permite să estimăm raportul prin valorile medii ale unui astfel de raport. O astfel de estimare, împreună cu „minuțiunea în continuare” și vă permite să obțineți estimarea dorită .
Dicționare și enciclopedii |
---|