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

В математика, то функция подсчета простых чисел это функция подсчитывая количество простые числа меньше или равно некоторым настоящий номер Икс.[1][2] Обозначается он π(Икс) (не имеющий отношения к номер π ).

Ценности π(п) для первых 60 натуральных чисел

История

Большой интерес в теория чисел это скорость роста функции счета простых чисел.[3][4] Это было предполагаемый в конце 18 века Гаусс и по Legendre быть приблизительно

в том смысле, что

Это заявление является теорема о простых числах. Эквивалентное утверждение

где li - это логарифмический интеграл функция. Теорема о простых числах была впервые доказана в 1896 г. Жак Адамар и по Шарль де ла Валле Пуссен самостоятельно, используя свойства Дзета-функция Римана представлен Риман в 1859 году. Доказательства теоремы о простых числах без использования дзета-функции или комплексный анализ были найдены около 1948 г. Атле Сельберг и по Пол Эрдёш (по большей части самостоятельно).[5]

В 1899 г. де ла Валле Пуссен доказал, что (см. также теорему 23 из[6])

для некоторой положительной постоянной а. Здесь, О(...) это большой О обозначение.

Более точные оценки теперь известны. Например, в 2002 г. Кевин Форд доказал, что[7]

.

В 2016 году Тим Труджян доказал явную верхнюю границу разницы между и :

за .[8]

Для большинства значений нас интересует (т.е. когда не безосновательно большой) больше, чем . Тем не мение, как известно, меняет знак бесконечно много раз. Для обсуждения этого см. Число Скьюза.


Точная форма

Имея огромное значение, Бернхард Риманн доказано что функция подсчета простых чисел в точности[9]

куда

,

μ(п) это Функция Мёбиуса, ли (Икс) это логарифмическая интегральная функция, ρ индексирует каждый ноль Дзета-функция Римана, и ли (Икср / п) не оценивается с срезанная ветка но вместо этого считается Ei (ρ/п пер Икс) куда Ei (Икс) это экспоненциальный интеграл. Эквивалентно, если собрать тривиальные нули и взять сумму Только над нетривиальными нулями ρ из Дзета-функция Римана, тогда π(Икс) может быть написано

.

В Гипотеза Римана предполагает, что каждый такой нетривиальный нуль лежит вдоль Re (s) = 1/2.

Таблица π(Икс), Икс / ln Икс, а li (Икс)

В таблице показано, как три функции π(Икс), Икс / ln Икс и li (Икс) сравните в степени 10. См. также,[3][10][11] и[12]

Иксπ(Икс)π(Икс) − Икс / ln Иксли (Икс) − π(Икс)Икс / π(Икс)x / ln x% Ошибка
104−0.32.22.500-7.5%
102253.35.14.00013.20%
10316823105.95213.69%
1041,229143178.13711.64%
1059,5929063810.4259.45%
10678,4986,11613012.7407.79%
107664,57944,15833915.0476.64%
1085,761,455332,77475417.3575.78%
10950,847,5342,592,5921,70119.6675.10%
1010455,052,51120,758,0293,10421.9754.56%
10114,118,054,813169,923,15911,58824.2834.13%
101237,607,912,0181,416,705,19338,26326.5903.77%
1013346,065,536,83911,992,858,452108,97128.8963.47%
10143,204,941,750,802102,838,308,636314,89031.2023.21%
101529,844,570,422,669891,604,962,4521,052,61933.5072.99%
1016279,238,341,033,9257,804,289,844,3933,214,63235.8122.79%
10172,623,557,157,654,23368,883,734,693,2817,956,58938.1162.63%
101824,739,954,287,740,860612,483,070,893,53621,949,55540.4202.48%
1019234,057,667,276,344,6075,481,624,169,369,96099,877,77542.7252.34%
10202,220,819,602,560,918,84049,347,193,044,659,701222,744,64445.0282.22%
102121,127,269,486,018,731,928446,579,871,578,168,707597,394,25447.3322.11%
1022201,467,286,689,315,906,2904,060,704,006,019,620,9941,932,355,20849.6362.02%
10231,925,320,391,606,803,968,92337,083,513,766,578,631,3097,250,186,21651.9391.93%
102418,435,599,767,349,200,867,866339,996,354,713,708,049,06917,146,907,27854.2431.84%
1025176,846,309,399,143,769,411,6803,128,516,637,843,038,351,22855,160,980,93956.5461.77%
10261,699,246,750,872,437,141,327,60328,883,358,936,853,188,823,261155,891,678,12158.8501.70%
102716,352,460,426,841,680,446,427,399267,479,615,610,131,274,163,365508,666,658,00661.1531.64%
График, показывающий соотношение функции счета простых чисел π(Икс) к двум его приближениям, Икс/ ln Икс и Ли (Икс). В качестве Икс увеличивается (примечание Икс ось логарифмическая), оба отношения стремятся к 1. Отношение для Икс/ ln Икс сходится сверху очень медленно, а отношение для Li (Икс) снизу сходится быстрее.

в Он-лайн энциклопедия целочисленных последовательностей, то π(Икс) столбец - это последовательность OEISA006880, π(Икс) − Икс/ ln Икс это последовательность OEISA057835, и ли (Икс) − π(Икс) это последовательность OEISA057752.

Значение для π(1024) был первоначально вычислен Дж. Бете, Дж. Франке, A. Jost и T. Kleinjung, предполагая Гипотеза Римана.[13]Позже это было безоговорочно подтверждено вычислением Д. Дж. Платта.[14]Значение для π(1025) принадлежит Ж. Бете, Дж. Франке, A. Jost и T. Kleinjung.[15] Значение для π(1026) был вычислен Д. Б. Стейплом.[16] Все другие предыдущие записи в этой таблице также были проверены в рамках этой работы.

Значение 1027 был опубликован в 2015 году Дэвидом Боугом и Ким Валиш.[17]

Алгоритмы оценки π(Икс)

Простой способ найти , если не слишком большой, это использовать сито Эратосфена для получения простых чисел меньше или равных а потом их посчитать.

Более сложный способ поиска связано с Legendre (с использованием принцип включения-исключения ): данный , если - различные простые числа, то количество целых чисел меньше или равно которые не делятся на является

(куда обозначает функция пола ). Следовательно, это число равно

когда числа простые числа меньше или равны квадратному корню из .

Алгоритм Мейселя – Лемера

В серии статей, опубликованных между 1870 и 1885 годами, Эрнст Мейсель описал (и использовал) практический комбинаторный способ оценки . Позволять быть первым штрихи и обозначим через количество натуральных чисел не более которые не делятся на . потом

Учитывая натуральное число , если и если , тогда

Используя этот подход, Мейсель вычислил , за равно 5×105, 106, 107, и 108.

В 1959 г. Деррик Генри Лемер расширенный и упрощенный метод Мейселя. Определить, по-настоящему и для натуральных чисел и , как количество чисел не более м с точно k простые множители, все больше, чем . Кроме того, установите . потом

где на самом деле сумма имеет лишь конечное число ненулевых членов. Позволять обозначим целое число такое, что , и установите . потом и когда ≥ 3. Следовательно,

Расчет можно получить так:

где сумма берется по простым числам.

С другой стороны, вычисление можно сделать по следующим правилам:

Используя его метод и IBM 701, Лемер смог вычислить .

Дальнейшие усовершенствования этого метода внесли Лагариас, Миллер, Одлыжко, Делеглиз и Риват.[18]

Другие функции подсчета простых чисел

Другие функции подсчета простых чисел также используются, потому что с ними более удобно работать. Одна из них - функция счета простых чисел Римана, обычно обозначаемая как или же . Это прыжки на 1 /п для главных держав пп, принимая значение посередине между двумя сторонами на разрывах. Эта добавленная деталь используется, потому что тогда функция может быть определена обратным Преобразование Меллина. Формально мы можем определить к

куда п это простое число.

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

где Λ (п) это функция фон Мангольдта и

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

Зная связь между журналом Дзета-функция Римана и функция фон Мангольдта , и используя Формула Перрона у нас есть

В Функция Чебышева веса простых чисел или простых степеней пп по ln (п):

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

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

Имеем следующее выражение для ψ:

куда

Здесь ρ - нули Дзета-функция Римана в критической полосе, где действительная часть ρ находится между нулем и единицей. Формула действительна для значений Икс больше единицы, что является интересующей областью. Сумма по корням условно сходится, и ее следует брать в порядке увеличения абсолютного значения мнимой части. Отметим, что та же сумма по тривиальным корням дает последний вычитаемое в формуле.

За у нас есть более сложная формула

Явная формула Римана с использованием первых 200 нетривиальных нулей дзета-функции

Опять же, формула верна для Икс > 1, а ρ являются нетривиальными нулями дзета-функции, упорядоченными в соответствии с их абсолютным значением, и, опять же, последний интеграл, взятый со знаком минус, представляет собой ту же сумму, но по тривиальным нулям. Первый член li (Икс) обычный логарифмическая интегральная функция; выражение li (Иксρ) во втором члене следует рассматривать как Ei (ρ lnИкс), где Ei - аналитическое продолжение из экспоненциальный интеграл функция от отрицательных вещественных чисел к комплексной плоскости с ветвью, разрезанной вдоль положительных вещественных чисел.

Таким образом, Формула обращения Мебиуса дает нам[20]

Годен до Икс > 1, где

является R-функцией Римана[21] и μ(п) это Функция Мёбиуса. Последняя серия для него известна как Грамм серии[22][23]. Потому что для всех , этот ряд сходится для всех положительных Икс по сравнению с серией для .

Δ-функция (красная линия) в логарифмической шкале

Сумма по нетривиальным дзета-нулям в формуле для описывает колебания а остальные члены дают "гладкую" часть функции подсчета простых чисел,[24] так что можно использовать

как лучший оценщик за Икс > 1.

Амплитуда "зашумленной" части эвристически около так что колебания распределение простых чисел можно ясно представить с помощью Δ-функции:

Обширная таблица значений Δ (Икс) доступен.[11]

Неравенства

Вот несколько полезных неравенств для π(Икс).

за Икс ≥ 17.

Левое неравенство выполняется при x ≥ 17, а правое неравенство - при x> 1. Константа 1.25506 равна до 5 знаков после запятой, как имеет максимальное значение при x = 113.[25]

Пьер Дюзар доказано в 2010 году:

за , и
за .[26]

Вот некоторые неравенства для пй премьер, пп. Верхняя граница получена Россером (1941),[27] нижняя - Дусарту (1999):[28]

за п ≥ 6.

Левое неравенство выполняется при n ≥ 2, а правое - при n ≥ 6.

Приближение для пое простое число

Рамануджан[29] доказал, что неравенство

выполняется для всех достаточно больших значений .

В [26], Дюзарт доказал (предложение 6.6), что для ,

,

и (предложение 6.7) что для ,

.

Совсем недавно Дусарт[30]доказал (теорема 5.1), что при ,

,

и это для ,

.

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

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

Конкретно,[31]

Смотрите также

Рекомендации

  1. ^ Бах, Эрик; Шаллит, Джеффри (1996). Алгоритмическая теория чисел. MIT Press. том 1 стр. 234 раздел 8.8. ISBN  0-262-02405-5.
  2. ^ Вайсштейн, Эрик В. «Функция подсчета простых чисел». MathWorld.
  3. ^ а б "Сколько существует простых чисел?". Крис К. Колдуэлл. Получено 2008-12-02.
  4. ^ Диксон, Леонард Юджин (2005). История теории чисел, Vol. I: Делимость и первичность. Dover Publications. ISBN  0-486-44232-2.
  5. ^ Ирландия, Кеннет; Розен, Майкл (1998). Классическое введение в современную теорию чисел (Второе изд.). Springer. ISBN  0-387-97329-X.
  6. ^ А. Э. Ингхэм (2000). Распределение простых чисел. Издательство Кембриджского университета. ISBN  0-521-39789-8.
  7. ^ Кевин Форд (ноябрь 2002 г.). "Интеграл Виноградова и оценки для дзета-функции Римана" (PDF). Proc. Лондонская математика. Soc. 85 (3): 565–633. Дои:10.1112 / S0024611502013655.
  8. ^ Тим Труджян (февраль 2016 г.). «Обновление члена ошибки в теореме о простых числах». Рамануджанский журнал. 39 (2): 225–234. arXiv:1401.2689. Дои:10.1007 / s11139-014-9656-6.
  9. ^ «Колебания функции счета простых чисел pi (x)». www.primefan.ru. Получено 17 мая 2019.
  10. ^ «Таблицы значений пи (х) и пи2 (х)». Томас Оливейра и Силва. Получено 2008-09-14.
  11. ^ а б "Ценности π(Икс) и Δ (Икс) для различных значенийИкс". Кульша Андрей Валерьевич. Получено 2008-09-14.
  12. ^ «Таблица значений пи (х)». Ксавье Гурдон, Паскаль Себа, Патрик Демишель. Получено 2008-09-14.
  13. ^ «Условное вычисление числа пи (1024)". Крис К. Колдуэлл. Получено 2010-08-03.
  14. ^ Платт, Дэвид Дж. (2012). "Вычислительная техника π(Икс) Аналитически) ». arXiv:1203.5712 [math.NT ].
  15. ^ "Сколько существует простых чисел?". J. Buethe. Получено 2015-09-01.
  16. ^ Стейпл, Дуглас (19 августа 2015 г.). Комбинаторный алгоритм вычисления pi (x) (Тезис). Университет Далхаузи. Получено 2015-09-01.
  17. ^ Валиш, Ким (6 сентября 2015 г.). "Новая подтвержденная запись функции подсчета простых чисел числа пи (10 ^ 27)". Форум о Мерсенне.
  18. ^ Марк Делеглиз; Джоэл Риват (январь 1996 г.). "Вычислительная техника π(Икс): Метод Мейселя, Лемера, Лагариаса, Миллера, Одлыжко » (PDF). Математика вычислений. 65 (213): 235–245. Дои:10.1090 / S0025-5718-96-00674-6.
  19. ^ Титчмарш, Э. К. (1960). Теория функций, 2-е изд.. Издательство Оксфордского университета.
  20. ^ Ризель, Ганс; Гёль, Гуннар (1970). «Некоторые вычисления, связанные с формулой простых чисел Римана». Математика вычислений. Американское математическое общество. 24 (112): 969–983. Дои:10.2307/2004630. ISSN  0025-5718. JSTOR  2004630. МИСТЕР  0277489.
  21. ^ Вайсштейн, Эрик В. «Функция счета простых чисел Римана». MathWorld.
  22. ^ Ризель, Ганс (1994). Простые числа и компьютерные методы факторизации. Успехи в математике. 126 (2-е изд.). Birkhäuser. С. 50–51. ISBN  0-8176-3743-5.
  23. ^ Вайсштейн, Эрик В. "Серия Грамм". MathWorld.
  24. ^ «Кодирование простого распределения дзета-нулями». Мэтью Уоткинс. Получено 2008-09-14.
  25. ^ Россер, Дж. Баркли; Шенфельд, Лоуэлл (1962). «Приближенные формулы для некоторых функций от простых чисел». Иллинойс Дж. Математика. 6: 64–94. Дои:10.1215 / ijm / 1255631807. ISSN  0019-2082. Zbl  0122.05001.
  26. ^ а б Дюзар, Пьер (2 февраля 2010 г.). "Оценки некоторых функций над простыми числами без R.H.". arXiv:1002.0442v1 [math.NT ].
  27. ^ Россер, Баркли (1941). «Явные оценки некоторых функций от простых чисел». Американский журнал математики. 63 (1): 211–232. Дои:10.2307/2371291. JSTOR  2371291.
  28. ^ Дюзар, Пьер (1999). "K-е простое число больше k (lnk + lnlnk-1) для k> = 2". Математика вычислений. 68 (225): 411–415. Дои:10.1090 / S0025-5718-99-01037-6.
  29. ^ Берндт, Брюс К. (2012-12-06). Записные книжки Рамануджана, часть IV. Springer Science & Business Media. С. 112–113. ISBN  9781461269328.
  30. ^ Дюзар, Пьер (Январь 2018). «Явные оценки некоторых функций над простыми числами». Рамануджанский журнал. 45 (1): 225–234. Дои:10.1007 / s11139-016-9839-4.
  31. ^ Шенфельд, Лоуэлл (1976). "Более точные оценки функций Чебышева θ(Икс) и ψ(Икс). II ». Математика вычислений. Американское математическое общество. 30 (134): 337–360. Дои:10.2307/2005976. ISSN  0025-5718. JSTOR  2005976. МИСТЕР  0457374.

внешняя ссылка