Русская Википедия:Интервалы между простыми числами

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Интервалы между простыми числами — это разности между двумя последовательными простыми числами. n-й интервал, обозначаемый <math>g_n</math>, — это разность между (n + 1)-м и n-м простыми числами, то есть

<math>g_n = p_{n + 1} - p_n.</math>

Мы имеем: <math>g_1 = 1, g_2 = g_3=2, g_4 = 4</math>. Последовательность <math>g_n</math> интервалов между простыми хорошо изучена. Иногда рассматривают функцию <math>g(p_n)</math> вместо <math>g_n</math>

Первые 30 интервалов между простыми числами следующие:

1, 2, 2, 4, 2, 4, 2, 4, 6, 2, 6, 4, 2, 4, 6, 6, 2, 6, 4, 2, 6, 4, 6, 8, 4, 2, 4, 2, 4, 14 Шаблон:OEIS.

Простые замечания

Для любого простого числа P, символом P# мы будем обозначать праймориал P, то есть произведение всех простых чисел, не превосходящих P. Если Q — это простое число, следующее за P, то последовательность

<math>P\# + 2, P\# + 3, \dots, P\# + (Q - 1)</math>

является последовательностью из <math>Q - 2</math> последовательных составных чисел, поэтому существуют интервалы между простыми длины не меньше, чем <math>Q - 1</math>. Следовательно, существуют сколь угодно большие интервалы между простыми числами, и для любого простого P существует n такое, что <math>g_n \geqslant P</math> (Очевидно, что для этого мы можем выбрать n таким, что <math>p_n</math> будет наибольшим простым числом, не превосходящим <math>P\# + 2</math>.). Другой способ увидеть, что существуют сколь угодно большие интервалы между простыми числами, использует тот факт, что множество простых чисел имеет нулевую плотность, согласно теореме о распределении простых чисел.

На самом деле, интервал между простыми величины P может встретиться между простыми, гораздо меньшими, чем P#. Например, самая первая последовательность из 71 последовательных составных чисел находится между 31398 и 31468, в то время как 71# является 27-значным числом.

Уже среднее значение интервалов между простыми растет как натуральный логарифм n.

С другой стороны, гипотеза о простых близнецах утверждает, что <math>g_n=2</math> для бесконечно многих n.

Интервалы между простыми могут быть оценены сверху и снизу с помощью функции Якобсталя (Шаблон:OEIS).

Численные результаты

На 16 апреля 2022 года наибольший известный интервал между 208095-значными числами, определёнными как вероятно простые, имеет длину 7186572 и M = 14.9985. Он был найден Michiel Jansen с помощью программы, созданной J. K. Andersen.[1][2]

На 8 марта 2013 года наибольший известный интервал между 18662-значными доказанными простыми числами имеет длину 1113106 и M = 25.90. Он был найден P. Cami, M. Jansen и J. K. Andersen.[3][4]

Отношение M=gn/ln(pn) показывает, во сколько раз данный интервал gn отличается от среднего интервала между простыми вблизи простого числа pn. На 2017 год наибольшее известное значение M=41,93878373 обнаружено для интервала длиной 8350, следующего за 87-значным простым числом 293703234068022590158723766104419463425709075574811762098588798217895728858676728143227. Этот рекорд найден в процессе распределенных вычислений Gapcoin[5].

Отношение S=gn/ln2pn (oтношение Крамера — Шенкса — Грэнвилля) изучают в связи с гипотезой Крамера, утверждающей, что <math>g_n=O(\ln^2 p_n)</math>. Если не рассматривать аномально высокие значения S, наблюдающиеся для <math>p_n=2,3,7,</math> то наибольшее известное значение S=0,9206386 обнаружено для интервала длиной 1132, следующего за 16-значным простым числом 1693182318746371. Этот рекорд нашел в 1999 году Bertil Nyman[6] (Шаблон:OEIS содержит это и все предшествующие простые числа <math>p_n\ge23</math>, соответствующие рекордным значениям S).

Будем говорить, что <math>g_n</math> является максимальным интервалом, если для всех <math>k < n</math> будет <math>g_k < g_n</math>. Meжду первыми <math>n</math> простыми числами наблюдается приблизительно <math>2 \ln n</math> максимальных интервалов[7]; см. также Шаблон:OEIS.

Первые 82 максимальных интервала
(n не приводится; см. Шаблон:OEIS)
От 1 до 30
# gn pn
1 1 2
2 2 3
3 4 7
4 6 23
5 8 89
6 14 113
7 18 523
8 20 887
9 22 1129
10 34 1327
11 36 9551
12 44 15683
13 52 19609
14 72 31397
15 86 155921
16 96 360653
17 112 370261
18 114 492113
19 118 1349533
20 132 1357201
21 148 2010733
22 154 4652353
23 180 17051707
24 210 20831323
25 220 47326693
26 222 122164747
27 234 189695659
28 248 191912783
29 250 387096133
30 282 436273009
От 31 до 60
# gn pn
31 288 1294268491
32 292 1453168141
33 320 2300942549
34 336 3842610773
35 354 4302407359
36 382 10726904659
37 384 20678048297
38 394 22367084959
39 456 25056082087
40 464 42652618343
41 468 127976334671
42 474 182226896239
43 486 241160624143
44 490 297501075799
45 500 303371455241
46 514 304599508537
47 516 416608695821
48 532 461690510011
49 534 614487453523
50 540 738832927927
51 582 1346294310749
52 588 1408695493609
53 602 1968188556461
54 652 2614941710599
55 674 7177162611713
56 716 13829048559701
57 766 19581334192423
58 778 42842283925351
59 804 90874329411493
60 806 171231342420521
От 61 до 82
# gn pn
61 906 218209405436543
62 916 1189459969825483
63 924 1686994940955803
64 1132 1693182318746371
65 1184 43841547845541059
66 1198 55350776431903243
67 1220 80873624627234849
68 1224 203986478517455989
69 1248 218034721194214273
70 1272 305405826521087869
71 1328 352521223451364323
72 1356 401429925999153707
73 1370 418032645936712127
74 1442 804212830686677669
75 1476 1425172824437699411
76 1488 5733241593241196731
77 1510 6787988999657777797
78 1526 15570628755536096243
79 1530 17678654157568189057
80 1550 18361375334787046697
81 1552 18470057946260698231
82 1572 18571673432051830099
83
84
85
86
87
88
89
90

Наибольшие интервалы первых десяти тысяч

Уже во второй тысяче имеется интервал, длиной 34 числа, в котором нет простых чисел — (1327—1361). Причём, этот интервал удерживает свой рекорд длины до десятой тысячи. Лишь в девятой тысяче имеется второй интервал такой же длины — (8467—8501), а в десятой — более длинный интервал (36 чисел) — (9551—9587), который и является самым длинным интервалом первых десяти тысяч. Имеется также интервал длиной 32 числа — (5591—5623).

Дальнейшие результаты

Верхние оценки

Постулат Бертрана утверждает, что для любого k всегда существует хотя бы одно простое число между k и 2k, поэтому, в частности, <math>p_{n+1} < 2p_n</math>, откуда <math>g_n < p_n</math>.

Теорема о распределении простых чисел говорит, что «средняя длина» интервалов между простым p и следующим простым числом имеет порядок <math>\ln p</math>. Фактическая длина интервалов может быть больше или меньше этого значения. Однако, из теоремы о распределении простых чисел можно вывести, верхнюю оценку для длины интервалов простых чисел: для любого <math>\varepsilon > 0</math> существует такое N, что для всех <math>n>N</math> будет <math>g_n < \varepsilon p_n</math>.

Хохайзель первым показал[8] что существует такое постоянное <math>\theta <1</math>

<math>\pi(x + x^\theta) - \pi(x) \sim \frac{x^\theta}{\ln x}</math> при <math>x \to +\infty</math>

отсюда следует, что

<math>g_n < p_n^\theta,</math>

для достаточно большого n.

Отсюда следует, что интервалы между простыми становятся сколь угодно меньше по отношению к простым: частное <math>\frac{g_n}{p_n}</math> стремится к нулю при n стремящемся к бесконечности.

Hoheisel получил возможное значение 32999/33000 для <math>\theta</math>. Эта оценка была улучшена до 249/250 Хайльброном[9], и до <math>\theta = \frac{3}{4} + \varepsilon</math> для любого <math>\varepsilon >0</math> Чудаковым[10].

Основное улучшение было получено Ингемом[11], который показал, что если

<math>\zeta(1/2 + it) = O(t^c)</math>

для некоторой константы <math>c > 0</math>, где O используется в смысле нотации O большое, то

<math>\pi(x + x^\theta) - \pi(x) \sim \frac{x^\theta}{\ln x}</math>

для любого <math>\theta > \frac{1+4c}{2+4c}</math>. Здесь, как обычно, <math>\zeta</math> обозначает дзета функцию Римана, а <math>\pi (x)</math> — функция распределения простых чисел не превосходящих x. Известно, что допускается <math>c > \frac{1}{6}</math>, откуда в качестве <math>\theta</math> можно взять любое число, большее <math>\frac{5}{8}</math>. Из результата Ингама сразу следует, что всегда существует простое число между числами <math>n^3</math> и <math>(n+1)^3</math> для достаточно больших n. Заметим, что ещё не доказана гипотеза Линделёфа, которая утверждает, что в качестве c может быть выбрано любое положительное число, но из неё следует, что всегда существует простое число между <math>n^2</math> и <math>(n+1)^2</math> для достаточно больших n (см. также Гипотеза Лежандра). Если эта гипотеза верна, то возможно, что необходима ещё более строгая гипотеза Крамера. Одним из достигнутых приближений к гипотезе Лежандра является доказанный факт о том, что <math>g(p_n) = O({p_n}^{\frac{21}{40}})</math>.[12]

Мартин Хаксли показал, что можно выбрать <math>\theta = \frac{7}{12}</math>[13].

Последний результат принадлежит Бакеру, Харману и Пинцу, показавшим, что <math>\theta</math> может быть взято равным 0,525.[12]

В 2005, Дэниел Голдстон, Янос Пинц и Джем Йылдырым доказали, что

<math>\liminf_{n\to+\infty}\frac{g_n}{\ln p_n}=0</math>

и позже улучшили это[14] до

<math>\liminf_{n\to+\infty}\frac{g_n}{\sqrt{\ln p_n}(\ln \ln p_n)^2} < \infty</math>

В 2013 Чжан Итан представил статью, где доказывается, что[15]

<math>\liminf_{n\to+\infty} g_n < 70\,000\,000.</math>

Этот результат многократно улучшался вплоть до

<math>\liminf_{n\to+\infty} g_n < 247.</math>

В частности, отсюда следует, что множество всех пар простых чисел, разницы между которыми не превосходит 246, бесконечно[16][17].

Нижние оценки

Роберт Ранкин доказал, что существует константа <math>c > 0</math> такая, что неравенство

<math>g_n > \frac{c \cdot \ln n \cdot \ln\ln n \cdot \ln\ln\ln\ln n}{(\ln\ln\ln n)^2}</math>

сохраняется для бесконечно многих значений n. Наилучшее известное значение для c на текущий момент — это <math>c = 2e^{\gamma}</math>, где <math>\gamma</math> — постоянная Эйлера-Маскерони.[18] Пауль Эрдёш предложил приз в $5000 за доказательство или опровержение того, что константа c в неравенстве выше может быть сколь угодно большой.[19]

Гипотезы об интервалах между простыми числами

Файл:Wikipedia primegaps.png
Primegap function

Здесь возможны ещё лучшие результаты, чем те, которые могут быть получены при предположении истинности гипотезы Римана. Харальд Крамер доказал, что если гипотеза Римана верна, то интервалы <math>g(p_n)</math> удовлетворяют соотношению

<math> g(p_n) = O(\sqrt{p_n} \ln p_n), </math>

(здесь используется нотация O большое). Позже он предположил, что интервалы растут гораздо меньше. Грубо говоря, он предположил, что

<math> g(p_n) = O(\ln ^2 p_n).</math>

В данный момент на это указывают численные расчеты. Для более детальной информации см. Гипотеза Крамера.

Гипотеза Андрицы утверждает, что

<math> g(p_n) < 2\sqrt{p_n} + 1.</math>

Это слабое усиление гипотезы Лежандра, которая утверждает, что между любой парой квадратов натуральных чисел существует хотя бы одно простое число.

Интервалы между простыми как арифметическая функция

Интервал <math>g_n</math> между n-м и (n + 1)-м простым числом является примером арифметической функции. В таком контексте обычно её обозначают <math>d_n</math> и называют разностью между простыми[19]. Разность между простыми не является ни мультипликативной, ни Шаблон:Iw.

См. также

Примечания

Шаблон:Примечания

Ссылки