WikiSort.ru - Не сортированное

Гипотеза Фирузбэхт^[1][2] — это гипотеза о распределении простых чисел. Гипотеза носит имя иранского математика Фариды Фирузбэхт из университета в Исфахане, которая высказала её в 1982 году.

Утверждение гипотезы

Гипотеза утверждает, что ${\displaystyle p_{n}^{1/n}}$ (где ${\displaystyle p_{n}}$ — n-е простое число) является строго убывающей функцией от n, т. е.

${\displaystyle {\sqrt[{n+1}]{p_{n+1}}}<{\sqrt[{n}]{p_{n}}}}$ для всех ${\displaystyle n\geq 1.}$

Эквивалентно:

${\displaystyle p_{n+1}<p_{n}^{1+{\frac {1}{n}}}}$ для всех ${\displaystyle n\geq 1,}$

см. последовательности A182134, A246782.

Подтверждение гипотезы

Используя таблицу максимальных интервалов, Фарида Фирузбэхт проверила свою гипотезу до 4,444⋅10^12[2]. С расширенной таблицей максимальных промежутков гипотеза была проверена для всех простых чисел до ${\displaystyle 10^{19}}$ ^[3][4].

Связь с другими гипотезами

Если гипотеза верна, то функция интервалов между простыми числами ${\displaystyle g_{n}=p_{n+1}-p_{n}}$ должна удовлетворять неравенству^[5]:

${\displaystyle g_{n}<(\log p_{n})^{2}-\log p_{n}}$ для всех ${\displaystyle n>4.}$

Более того^[6],

${\displaystyle g_{n}<(\log p_{n})^{2}-\log p_{n}-1}$ для всех ${\displaystyle n>9,}$

см. также последовательность A111943. Гипотеза находится среди наиболее сильных гипотез о верхних границах для интервалов между простыми числами, она даже несколько сильнее гипотез Крамера и Шенкса^[4]. Из гипотезы вытекает сильная форма гипотезы Крамера, а потому она несовместима с эвристикой Гранвилла, Пинтца^[7][8][9] и Майера^[10][11], в которой предполагается, что

${\displaystyle g_{n}>{\frac {2-\varepsilon }{e^{\gamma }}}(\log p_{n})^{2}}$

встречается бесконечно много раз для любого ${\displaystyle \varepsilon >0,}$ где ${\displaystyle \gamma }$ означает константу Эйлера — Маскерони.

Две связанные гипотезы (см. комментарии к последовательности A182514)

${\displaystyle \left({\frac {\log(p_{n+1})}{\log(p_{n})}}\right)^{n}<e,}$

которая несколько слабее, и

${\displaystyle \left({\frac {p_{n+1}}{p_{n}}}\right)^{n}<n\log(n)}$ для всех ${\displaystyle n>5,}$

которая сильнее.

См. также

• Теорема о распределении простых чисел
• Гипотеза Андрицы
• Гипотеза Лежандра
• Гипотеза Оппермана
• Гипотеза Крамера

Примечания

Литература

Ссылки

• Hans Riesel. Prime Numbers and Computer Methods for Factorization, Second Edition. — Birkhauser, 1985. — ISBN 3-7643-3291-3.

Для улучшения этой статьи желательно: Проверить качество перевода с иностранного языка. Исправить статью согласно стилистическим правилам Википедии.