Interested Article - Функция распределения простых чисел

В математике функция распределения простых чисел , или пи-функция $\pi (x)$ , — это функция , равная числу простых чисел , меньших либо равных действительному числу x . Она обозначается $\pi (x)$ (это никак не связано с числом пи ).

Значения пи-функции для первых 60 натуральных чисел

История

Большой интерес в теории чисел представляет скорость роста пи-функции. В конце XVIII столетия Гауссом и Лежандром было выдвинуто предположение, что пи-функция оценивается как

{\frac {x}{\ln x}}

в смысле, что

\lim \limits _{x\to +\infty }{\frac {\pi (x)}{x/\ln x}}=1.

Это утверждение — теорема о распределении простых чисел . Оно эквивалентно утверждению

\lim \limits _{x\to +\infty }{\frac {\pi (x)}{\operatorname {li} (x)}}=1

где $\operatorname {li}$ — это интегральный логарифм . Теорема о простых числах впервые была доказана в 1896 Жаком Адамаром и независимо Валле-Пуссеном , используя дзета-функцию Римана введенную Риманом в 1859.

Точнее рост $\pi (x)$ сейчас описывается как

\pi (x)=\operatorname {li} (x)+O{\bigl (}xe^{-{\sqrt {\ln x}}/15}{\bigr )}

где $O$ обозначает O большое . Когда x не сильно велико $\operatorname {li} (x)$ больше, чем $\pi (x)$ , однако разность $\pi (x)-\operatorname {li} (x)$ меняет свой знак бесконечное число раз, наименьшее натуральное число, для которого происходит смена знака называется числом Скьюза .

Доказательства теоремы о простых числах, не использующие дзета-функцию или комплексный анализ , были найдены в 1948 году Атле Сельбергом и Паулем Эрдёшом (большей частью независимо).

Таблицы для пи-функции, x / ln x и li( x )

В следующей таблице показан рост функций $\pi (x),{\frac {x}{\ln x}},\operatorname {li} (x)$ по степеням 10 .

x	π( x )	π( x ) − x / ln x	li( x ) − π( x )	x / π( x )	π( x )/x (доля простых чисел)
10	4	−0,3	2,2	2,500	40 %
10 ²	25	3,3	5,1	4,000	25 %
10 ³	168	23	10	5,952	16,8 %
10 ⁴	1 229	143	17	8,137	12,3 %
10 ⁵	9 592	906	38	10,425	9,59 %
10 ⁶	78 498	6 116	130	12,740	7,85 %
10 ⁷	664 579	44 158	339	15,047	6,65 %
10 ⁸	5 761 455	332 774	754	17,357	5,76 %
10 ⁹	50 847 534	2 592 592	1 701	19,667	5,08 %
10 ¹⁰	455 052 511	20 758 029	3 104	21,975	4,55 %
10 ¹¹	4 118 054 813	169 923 159	11 588	24,283	4,12 %
10 ¹²	37 607 912 018	1 416 705 193	38 263	26,590	3,76 %
10 ¹³	346 065 536 839	11 992 858 452	108 971	28,896	3,46 %
10 ¹⁴	3 204 941 750 802	102 838 308 636	314 890	31,202	3,20 %
10 ¹⁵	29 844 570 422 669	891 604 962 452	1 052 619	33,507	2,98 %
10 ¹⁶	279 238 341 033 925	7 804 289 844 393	3 214 632	35,812	2,79 %
10 ¹⁷	2 623 557 157 654 233	68 883 734 693 281	7 956 589	38,116	2,62 %
10 ¹⁸	24 739 954 287 740 860	612 483 070 893 536	21 949 555	40,420	2,47 %
10 ¹⁹	234 057 667 276 344 607	5 481 624 169 369 960	99 877 775	42,725	2,34 %
10 ²⁰	2 220 819 602 560 918 840	49 347 193 044 659 701	222 744 644	45,028	2,22 %
10 ²¹	21 127 269 486 018 731 928	446 579 871 578 168 707	597 394 254	47,332	2,11 %
10 ²²	201 467 286 689 315 906 290	4 060 704 006 019 620 994	1 932 355 208	49,636	2,01 %
10 ²³	1 925 320 391 606 803 968 923	37 083 513 766 578 631 309	7 250 186 216	51,939	1,92 %
10 ²⁴	18 435 599 767 349 200 867 866	339 996 354 713 708 049 069	17 146 907 278	54,243	1,84 %
10 ²⁵	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 ²⁶	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 ²⁷	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 %

В OEIS первая колонка значений $\pi (x)$ — это последовательность , $\pi (x)-\left\lfloor {\frac {x}{\ln x}}+0{,}5\right\rfloor$ — это последовательность , а $\lfloor \operatorname {li} (x)+0{,}5\rfloor -\pi (x)$ — это последовательность .

Алгоритмы вычисления пи-функции

Простой способ найти $\pi (x)$ , если $x$ не очень велико, — это использование решета Эратосфена выдающего простые, не превосходящие $x$ и подсчитать их.

Более продуманный способ вычисления $\pi (x)$ был дан Лежандром : дан $x$ , если $p_{1},p_{2},\ldots ,p_{k}$ — различные простые числа, то число целых чисел, не превосходящих $x$ и не делящихся на все $p_{i}$ равно

\lfloor x\rfloor -\sum _{i}\left\lfloor {\frac {x}{p_{i}}}\right\rfloor +\sum _{i<j}\left\lfloor {\frac {x}{p_{i}p_{j}}}\right\rfloor -\sum _{i<j<k}\left\lfloor {\frac {x}{p_{i}p_{j}p_{k}}}\right\rfloor +\cdots

(где $\lfloor \cdots \rfloor$ обозначает целую часть ). Следовательно, полученное число равно

\pi (x)-\pi \left({\sqrt {x}}\right)+1

если числа $p_{1},p_{2},\ldots ,p_{k}$ — это все простые числа, не превосходящие ${\sqrt {x}}$ .

В 1870—1885 годах в серии статей Эрнст Майссель описал (и использовал) практический комбинаторный способ вычисления $\pi (x)$ . Пусть $p_{1},p_{2},\ldots ,p_{n}$ — первые $n$ простых, обозначим $\Phi (m,n)$ число натуральных чисел, не превосходящих $m$ , которые не делятся ни на одно $p_{i}$ . Тогда

\Phi (m,n)=\Phi (m,n-1)-\Phi \left(\left[{\frac {m}{p_{n}}}\right],n-1\right)

Возьмем натуральное $m$ , если $n=\pi \left({\sqrt[{3}]{m}}\right)$ и если $\mu =\pi \left({\sqrt {m}}\right)-n$ , то

\pi (m)=\Phi (m,n)+n(\mu +1)+{\frac {\mu ^{2}-\mu }{2}}-1-\sum _{k=1}^{\mu }\pi \left({\frac {m}{p_{n+k}}}\right)

Используя этот подход, Майссель вычислил $\pi (x)$ для $x=5\cdot 10^{5};10^{6};10^{7};10^{8}$ .

В 1959 году Деррик Генри Лемер расширил и упростил метод Майсселя. Определим, для действительного $m$ и для натуральных $n,k$ величину $P_{k}(m,n)$ как число чисел, не превосходящих m имеющих ровно k простых множителей, причем все они превосходят $p_{n}$ . Кроме того, положим $P_{0}(m,n)=1$ . Тогда

\Phi (m,n)=\sum _{k=0}^{+\infty }P_{k}(m,n)

где сумма явно всегда имеет конечное число ненулевых слагаемых. Пусть $y$ — целое, такое, что ${\sqrt[{3}]{m}}\leqslant y\leqslant {\sqrt {m}}$ , и положим $n=\pi (y)$ . Тогда $P_{1}(m,n)=\pi (m)-n$ и $P_{k}(m,n)=0$ при $k\geqslant 3$ . Следовательно

\pi (m)=\Phi (m,n)+n-1-P_{2}(m,n)

Вычисление $P_{2}(m,n)$ может быть получено следующим способом:

P_{2}(m,n)=\sum _{y<p\leqslant {\sqrt {m}}}\left(\pi \left({\frac {m}{p}}\right)-\pi (p)+1\right)

С другой стороны, вычисление $\Phi (m,n)$ может быть выполнено с помощью следующих правил:

$\Phi (m,0)=\lfloor m\rfloor$
$\Phi (m,b)=\Phi (m,b-1)-\Phi \left({\frac {m}{p_{b}}},b-1\right)$

Используя этот метод и IBM 701, Лемер смог вычислить $\pi \left(10^{10}\right)$ .

Дальнейшие усовершенствования этого метода были сделаны Lagarias, Miller, Odlyzko, Deleglise и Rivat.

Китайский математик Hwang Cheng использовал следующие тождества:

e^{(a-1)\Theta }f(x)=f(ax),

J(x)=\sum _{n=1}^{\infty }{\frac {\pi (x^{1/n})}{n}}

и, полагая $x=e^{t}$ , выполняя преобразование Лапласа обеих частей и применяя сумму геометрической прогрессии с $e^{n\Theta }$ , получил выражение:

{\frac {1}{2{\pi }i}}\int _{c-i\infty }^{c+i\infty }g(s)t^{s}\,ds=\pi (t)

{\frac {\ln \zeta (s)}{s}}=(1-e^{\Theta (s)})^{-1}g(s)

\Theta (s)=s{\frac {d}{ds}}

Другие функции, подсчитывающие простые числа

Другие функции, подсчитывающие простые числа, также используются, поскольку с ними удобнее работать. Одна из них — функция Римана, часто обозначаемая как $\Pi _{0}(x)$ или $J_{0}(x)$ . Она испытывает прыжок на 1/n для степеней простых $p^{n}$ , причем в точке прыжка $x$ её значение равно полусумме значений на обеих сторонах от $x$ . Эти дополнительные детали нужны для того, чтобы она могла быть определена обратным преобразованием Меллина . Формально, мы определим $\Pi _{0}(x)$ как

\Pi _{0}(x)={\frac {1}{2}}{\bigg (}\sum _{p^{n}<x}{\frac {1}{n}}\ +\sum _{p^{n}\leq x}{\frac {1}{n}}{\bigg )}

где p простое.

Мы также можем записать

\Pi _{0}(x)=\sum \limits _{n=2}^{x}{\frac {\Lambda (n)}{\ln n}}-{\frac {1}{2}}{\frac {\Lambda (x)}{\ln x}}=\sum _{n=1}^{\infty }{\frac {1}{n}}\pi _{0}({\sqrt[{n}]{x}})

где $\Lambda (n)$ — функция Мангольдта и

\pi _{0}(x)=\lim _{\varepsilon \rightarrow 0}{\frac {\pi (x-\varepsilon )+\pi (x+\varepsilon )}{2}}.

Формула обращения Мёбиуса дает

\pi _{0}(x)=\sum _{n=1}^{\infty }{\frac {\mu (n)}{n}}\Pi _{0}({\sqrt[{n}]{x}})

Используя известное соотношение между логарифмом дзета-функции Римана и функцией Мангольдта $\Lambda$ , и используя мы получим

\ln \zeta (s)=s\int _{0}^{\infty }\Pi _{0}(x)x^{-s-1}\,dx

Функция Римана имеет производящую функцию

\sum _{n=1}^{\infty }\Pi _{0}(n)x^{n}=\sum _{a=2}^{\infty }{\frac {x^{a}}{1-x}}-{\frac {1}{2}}\sum _{a=2}^{\infty }\sum _{b=2}^{\infty }{\frac {x^{ab}}{1-x}}+{\frac {1}{3}}\sum _{a=2}^{\infty }\sum _{b=2}^{\infty }\sum _{c=2}^{\infty }{\frac {x^{abc}}{1-x}}-{\frac {1}{4}}\sum _{a=2}^{\infty }\sum _{b=2}^{\infty }\sum _{c=2}^{\infty }\sum _{d=2}^{\infty }{\frac {x^{abcd}}{1-x}}+\cdots

Функции Чебышёва — это функции, подсчитывающие степени простых чисел $p^{n}$ с весом $\ln p$ :

\theta (x)=\sum _{p\leqslant x}\ln p

\psi (x)=\sum _{p^{n}\leqslant x}\ln p=\sum _{n=1}^{\infty }\theta ({\sqrt[{n}]{x}})=\sum _{n\leqslant x}\Lambda (n).

Формулы для функций, подсчитывающих простые числа

Формулы для функций, подсчитывающих простые числа, бывают двух видов: арифметические формулы и аналитические формулы. Аналитические формулы для таких функций были впервые использованы для доказательства теоремы о простых числах . Они происходят от работ Римана и Мангольдта и в общем известны как .

Существует следующее выражение для $\psi$ -функции Чебышёва:

\psi _{0}(x)=x-\sum _{\rho }{\frac {x^{\rho }}{\rho }}-\ln 2\pi -{\frac {1}{2}}\ln(1-x^{-2})

где

\psi _{0}(x)=\lim _{\varepsilon \rightarrow 0}{\frac {\psi (x-\varepsilon )+\psi (x+\varepsilon )}{2}}.

Здесь $\rho$ пробегает нули дзета-функции в критической полосе, где действительная часть $\rho$ лежит между нулем и единицей. Формула верна для всех $x>1$ . Ряд по корням сходится условно, и может быть взят в порядке абсолютного значения возрастания мнимой части корней. Заметим, что аналогичная сумма по тривиальным корням дает последнее слагаемое в формуле.

Для $\scriptstyle \Pi _{0}(x)$ мы имеем следующую сложную формулу

\Pi _{0}(x)=\operatorname {li} (x)-\sum _{\rho }\operatorname {li} (x^{\rho })-\ln 2+\int _{x}^{\infty }{\frac {dt}{t(t^{2}-1)\ln t}}.

Опять же, формула верна для всех $x>1$ , где $\rho$ — нетривиальные нули зета-функции, упорядоченные по их абсолютному значению, и, снова, последний интеграл берется со знаком «минус» и является такой же суммой, но по тривиальным нулям. Выражение $\operatorname {li} (x^{\rho })$ во втором члене может быть рассмотренно как $\operatorname {Ei} (\rho \ln x)$ , где $\operatorname {Ei}$ — это аналитическое продолжение интегральной показательной функции на комплексную плоскость с ветвью, вырезанной вдоль прямой $x<0$ .

Таким образом, формула обращения Мёбиуса дает нам

\pi _{0}(x)=\operatorname {R} (x)-\sum _{\rho }\operatorname {R} (x^{\rho })-{\frac {1}{\ln x}}+{\frac {1}{\pi }}\mathop {\mathrm {arctg} } {\frac {\pi }{\ln x}}

верное для $x>1$ , где

\operatorname {R} (x)=\sum _{n=1}^{\infty }{\frac {\mu (n)}{n}}\operatorname {li} (x^{1/n})=1+\sum _{k=1}^{\infty }{\frac {(\ln x)^{k}}{k!k\zeta (k+1)}}

называется R-функцией также в честь Римана. Последний ряд в ней известен как ряд Грама и сходится для всех $x>0$ .

Сумма по нетривиальным нулям дзета-функции в формуле для $\pi _{0}(x)$ описывает флуктуации $\pi _{0}(x)$ , в то время как остальные слагаемые дают гладкую часть пи-функции, поэтому мы можем использовать

\operatorname {R} (x)-{\frac {1}{\ln x}}+{\frac {1}{\pi }}\mathop {\mathrm {arctg} } {\frac {\pi }{\ln x}}

как для $\pi (x)$ для $x>1$ .

Амплитуда «шумной» части эвристически оценивается как ${\sqrt {x}}/\ln x$ , поэтому флуктуации в распределении простых могут быть явно представлены $\Delta$ -функцией:

\Delta (x)=\left(\pi _{0}(x)-\operatorname {R} (x)+{\frac {1}{\ln x}}-{\frac {1}{\pi }}\mathop {\mathrm {arctg} } {\frac {\pi }{\ln x}}\right){\frac {\ln x}{\sqrt {x}}}.

Обширные таблицы значений $\Delta (x)$ доступны здесь.

Неравенства

Здесь выписаны некоторые неравенства для $\pi (x)$ .

{\frac {x}{\ln x}}<\pi (x)<1{,}25506\cdot {\frac {x}{\ln x}}\qquad x\geqslant 17.

Левое неравенство выполняется при $x\geqslant 17$ , а правое — при $x>1.$

Неравенства для $n$ -го простого числа $p_{n}$ :

n\ln n+n\ln \ln n-3/2\cdot n<p_{n}<n\ln n+n\ln \ln n,\ n\geqslant 6.

Левое неравенство верно при $n\geqslant 2$ , а правое — при $n\geqslant 6$ .

Имеет место следующая асимптотика для $n$ -го простого числа $p_{n}$ :

p_{n}=n\ln n\left(1+{\frac {\ln \ln n-1}{\ln n}}+{\frac {\ln \ln n-2}{\ln ^{2}n}}+{\frac {-1/2\ln ^{2}\ln n+3\ln \ln n-11/2}{\ln ^{3}n}}+O\left({\frac {\ln ^{3}\ln n}{\ln ^{4}n}}\right)\right)

Гипотеза Римана

Гипотеза Римана эквивалентна более точной границе ошибки приближения $\pi (x)$ интегральным логарифмом, а отсюда и более регулярному распределению простых чисел

\pi (x)=\operatorname {li} (x)+O({\sqrt {x}}\ln x).

В частности,

|\pi (x)-\operatorname {li} (x)|<{\frac {1}{8\pi }}{\sqrt {x}}\,\ln x,\qquad x\geqslant 2657.

См. также

Примечания

Bach, Eric; Shallit, Jeffrey. Section 8.8 // Algorithmic Number Theory (неопр.) . — MIT Press , 1996. — Т. 1. — С. 234. — ISBN 0-262-02405-5 .
Weisstein, Eric W. (англ.) на сайте Wolfram MathWorld .
↑ Chris K. Caldwell. Дата обращения: 2 декабря 2008. 20 сентября 2012 года.
(англ.) ( . History of the Theory of Numbers I: Divisibility and Primality (англ.) . — Dover Publications , 2005. — ISBN 0-486-44232-2 .
K. Ireland, M. Rosen. A Classical Introduction to Modern Number Theory (англ.) . — Second. — Springer, 1998. — ISBN 0-387-97329-X .
. . Дата обращения: 14 сентября 2008. 20 сентября 2012 года.
↑ . Andrey V. Kulsha. Дата обращения: 14 сентября 2008. 20 сентября 2012 года.
. Xavier Gourdon, Pascal Sebah, Patrick Demichel. Дата обращения: 14 сентября 2008. 20 сентября 2012 года.
. Marc Deleglise and Joel Rivat, Mathematics of Computation , vol. 65 , number 33, January 1996, pages 235–245. Дата обращения: 14 сентября 2008. 20 сентября 2012 года.
Hwang H., Cheng (2001). "Demarches de la Geometrie et des Nombres de l'Universite du Bordeaux". Prime Magic conference.
Titchmarsh, E.C. The Theory of Functions, 2nd ed (англ.) . — Oxford University Press , 1960.
(англ.) ( ; Gohl, Gunnar. Some calculations related to Riemann's prime number formula (англ.) // (англ.) ( : journal. — American Mathematical Society, 1970. — Vol. 24 , no. 112 . — P. 969—983 . — ISSN . — doi : . — JSTOR .
Weisstein, Eric W. (англ.) на сайте Wolfram MathWorld .
Weisstein, Eric W. (англ.) на сайте Wolfram MathWorld .
. Matthew Watkins. Дата обращения: 14 сентября 2008. 20 сентября 2012 года.
(англ.) ( ; Schoenfeld, Lowell. (англ.) // Illinois J. Math. : journal. — 1962. — Vol. 6 . — P. 64—94 . — ISSN . 28 февраля 2019 года.
Lowell Schoenfeld. Sharper bounds for the Chebyshev functions θ( x ) and ψ( x ). II (англ.) // (англ.) ( : journal. — American Mathematical Society, 1976. — Vol. 30 , no. 134 . — P. 337—360 . — ISSN . — doi : . — JSTOR .