În matematică , funcția de distribuție a primelor , sau funcția pi , este o funcție egală cu numărul de numere prime mai mici sau egale cu numărul real x . [1] [2] Se notează (nu are nimic de-a face cu pi ).
De mare interes în teoria numerelor este rata de creștere a funcției pi. [3] [4] La sfârșitul secolului al XVIII-lea, Gauss și Legendre au sugerat că funcția pi este estimată ca
in sensul că
Această afirmație este teorema distribuției numerelor prime . Este echivalent cu afirmația
unde este logaritmul integral al lui . Teorema numerelor prime a fost demonstrată pentru prima dată în 1896 de Jacques Hadamard și independent de Vallée-Poussin , folosind funcția zeta Riemann introdusă de Riemann în 1859.
Mai exact, creșterea este acum descrisă ca
unde denotă O mare . Când x nu este foarte mare mai mare decât , diferența își schimbă semnul de un număr infinit de ori, cel mai mic număr natural pentru care are loc o schimbare de semn se numește număr Skewes .
Dovezi ale teoremei numerelor prime care nu folosesc funcția zeta sau analiza complexă au fost găsite în 1948 de către Atle Selberg și Paul Erdős (în mare parte independent). [5]
Următorul tabel arată creșterea funcțiilor în puteri de 10 [3] [6] [7] [8] .
X | π( x ) | π( x ) − x / log x | li( x ) − π( x ) | x / π( x ) | π( x )/x (fracția de numere prime) |
---|---|---|---|---|---|
zece | patru | −0,3 | 2.2 | 2.500 | 40% |
10 2 | 25 | 3.3 | 5.1 | 4.000 | 25% |
10 3 | 168 | 23 | zece | 5.952 | 16,8% |
10 4 | 1 229 | 143 | 17 | 8.137 | 12,3% |
10 5 | 9 592 | 906 | 38 | 10.425 | 9,59% |
10 6 | 78 498 | 6 116 | 130 | 12.740 | 7,85% |
10 7 | 664 579 | 44 158 | 339 | 15.047 | 6,65% |
10 8 | 5 761 455 | 332 774 | 754 | 17.357 | 5,76% |
10 9 | 50 847 534 | 2 592 592 | 1 701 | 19.667 | 5,08% |
10 10 | 455 052 511 | 20 758 029 | 3 104 | 21.975 | 4,55% |
10 11 | 4 118 054 813 | 169 923 159 | 11 588 | 24.283 | 4,12% |
10 12 | 37 607 912 018 | 1 416 705 193 | 38 263 | 26.590 | 3,76% |
10 13 | 346 065 536 839 | 11 992 858 452 | 108 971 | 28.896 | 3,46% |
10 14 | 3 204 941 750 802 | 102 838 308 636 | 314 890 | 31.202 | 3,20% |
10 15 | 29 844 570 422 669 | 891 604 962 452 | 1 052 619 | 33.507 | 2,98% |
10 16 | 279 238 341 033 925 | 7 804 289 844 393 | 3 214 632 | 35.812 | 2,79% |
10 17 | 2 623 557 157 654 233 | 68 883 734 693 281 | 7 956 589 | 38.116 | 2,62% |
10 18 | 24 739 954 287 740 860 | 612 483 070 893 536 | 21 949 555 | 40.420 | 2,47% |
10 19 | 234 057 667 276 344 607 | 5 481 624 169 369 960 | 99 877 775 | 42.725 | 2,34% |
10 20 | 2220 819 602 560 918 840 | 49 347 193 044 659 701 | 222 744 644 | 45.028 | 2,22% |
10 21 | 21 127 269 486 018 731 928 | 446 579 871 578 168 707 | 597 394 254 | 47.332 | 2,11% |
10 22 | 201 467 286 689 315 906 290 | 4 060 704 006 019 620 994 | 1 932 355 208 | 49.636 | 2,01% |
10 23 | 1 925 320 391 606 803 968 923 | 37 083 513 766 578 631 309 | 7 250 186 216 | 51.939 | 1,92% |
10 24 | 18 435 599 767 349 200 867 866 | 339 996 354 713 708 049 069 | 17 146 907 278 | 54.243 | 1,84% |
10 25 | 176 846 309 399 143 769 411 680 | 3 128 516 637 843 038 351 228 | 55 160 980 939 | 56.546 | 1,77% |
10 26 | 1 699 246 750 872 437 141 327 603 | 28 883 358 936 853 188 823 261 | 155 891 678 121 | 58.850 | 1,70% |
10 27 | 16 352 460 426 841 680 446 427 399 | 267 479 615 610 131 274 163 365 | 508 666 658 006 | 61.153 | 1,64% |
În OEIS , prima coloană de valori este secvența A006880 , este secvența A057835 și este secvența A057752 .
O modalitate ușoară de a găsi , dacă nu foarte mare, este să folosești sita lui Eratosthenes care dă numere prime care nu le depășesc și le numără.
O modalitate mai atentă de calcul a fost oferită de Legendre : dat , dacă sunt numere prime diferite, atunci numărul de numere întregi care nu depășesc și nu sunt oricum divizibile cu
(unde denotă partea întreagă ). Prin urmare, numărul rezultat este
dacă numerele sunt toate numere prime care nu depăşesc .
În 1870-1885, într-o serie de articole, Ernst Meissel a descris (și a folosit) un mod practic combinatoriu de calcul . Fie primele numere prime, indică numărul de numere naturale care nu depășesc , care nu sunt divizibile cu niciun . Apoi
Luați naturalul , dacă și dacă , atunci
Folosind această abordare, Meissel a calculat pentru .
În 1959, Derrick Henry Lehmer a extins și simplificat metoda Meissel. Să definim, pentru numere reale și pentru numere naturale , ca numărul de numere care nu depășesc m având exact k factori primi, toți care depășesc . În plus, să punem . Apoi
unde suma are, evident, întotdeauna un număr finit de termeni nenuli. Fie un număr întreg astfel încât , și set . Apoi și la . prin urmare
Calculul poate fi obtinut in felul urmator:
Pe de altă parte, calculul se poate face folosind următoarele reguli:
Folosind această metodă și un IBM 701, Lemaire a putut să calculeze .
Alte îmbunătățiri ale acestei metode au fost aduse de Lagarias, Miller, Odlyzko, Deleglise și Rivat. [9]
Matematicianul chinez Hwang Cheng a folosit următoarele identități: [10]
și, presupunând , efectuând transformarea Laplace a ambelor părți și aplicând suma unei progresii geometrice cu , s-a obținut expresia:
Alte funcții care numără numere prime sunt, de asemenea, folosite, deoarece sunt mai convenabile de lucrat. Una dintre ele este funcția Riemann, adesea notată ca sau . Salt cu 1/n pentru puterile primelor , iar în punctul de salt valoarea sa este jumătate din suma valorilor de pe ambele părți ale lui . Aceste detalii suplimentare sunt necesare pentru a putea fi determinate prin transformarea inversă Mellin . În mod formal, definim ca
unde p este prim.
Putem si scrie
unde este funcţia Mangoldt şi
Formula de inversare a lui Möbius dă
Folosind relația cunoscută dintre logaritmul funcției zeta Riemann și funcția Mangoldt și folosind formula Perron , obținem
Funcția Riemann are o funcție generatoare
Funcțiile Chebyshev sunt funcții care calculează puteri ale numerelor prime cu greutate :
Formulele pentru funcțiile care numără numere prime sunt de două tipuri: formule aritmetice și formule analitice. Formulele analitice pentru astfel de funcții au fost folosite pentru a demonstra teorema numerelor prime . Ele provin din lucrările lui Riemann și Mangoldt și sunt în general cunoscute ca formule explicite . [unsprezece]
Există următoarea expresie pentru funcția Chebyshev:
Unde
Aici zerourile funcției zeta rulează în banda critică, unde partea reală se află între zero și unu. Formula este valabilă pentru toată lumea . Seria în termeni de rădăcini converge condiționat și poate fi luată în ordinea valorii absolute a creșterii părții imaginare a rădăcinilor. Rețineți că o sumă similară peste rădăcini triviale dă ultimul termen din formulă.
Căci avem următoarea formulă complexă
Din nou, formula este adevărată pentru toate , unde sunt zerouri netriviale ale funcției zeta, ordonate după valoarea lor absolută și, din nou, ultima integrală este luată cu semnul minus și este aceeași sumă, dar peste zerouri triviale. Expresia din al doilea termen poate fi considerată ca , unde este continuarea analitică a funcției exponențiale integrale la planul complex cu o ramură tăiată de-a lungul liniei .
Astfel, formula de inversare a lui Möbius ne dă [12]
corect pentru , unde
se numește funcția R, tot după Riemann. [13] Ultima serie din ea este cunoscută ca seria Gram [14] și converge pentru toate .
Suma peste zerourile netriviale ale funcției zeta din formula pentru descrie fluctuațiile lui , în timp ce termenii rămași dau partea netedă a funcției pi, [15] astfel încât să putem folosi
ca cea mai bună aproximare pentru pentru .
Amplitudinea părții „zgomotoase” este estimată euristic ca , astfel încât fluctuațiile în distribuția primelor pot fi reprezentate explicit de funcția -
Tabelele cu valori extinse sunt disponibile aici. [7]
Iată câteva inegalități pentru .
Inegalitatea din stânga este satisfăcută pentru , iar cea din dreapta, pentru [16]
Inegalități pentru numărul prim :
Inegalitatea din stânga este adevărată pentru , iar cea dreaptă, pentru .
Următoarele asimptotice sunt valabile pentru al -lea număr prim :
Ipoteza Riemann este echivalentă cu o limită mai precisă a erorii de aproximare prin logaritmul integral și, prin urmare, cu o distribuție mai regulată a numerelor prime
În special, [17]