Гипотеза Фирузбахт

Материал из testwiki
Перейти к навигации Перейти к поиску
Функция промежутков между простыми числами

Гипо́теза Фиру́збахтШаблон:SfnШаблон:Sfn — недоказанная математическая гипотеза о распределении простых чисел. Гипотеза носит имя иранского математика Фа́риде Фиру́збахт (1962—2019) из университета в Исфахане, которая высказала её в 1982 году.

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

Гипотеза утверждает, что pn1/n (где pn — Шаблон:Math-е простое число) является строго убывающей функцией от Шаблон:Math, то есть

pn+1n+1<pnn для всех n1.

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

pn+1<pn1+1n для всех n1,

см. последовательности Шаблон:OEIS2C, Шаблон:OEIS2C.

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

Используя таблицу максимальных интервалов, Фариде Фирузбахт проверила свою гипотезу до 4,444Шаблон:EШаблон:Sfn. С расширенной таблицей максимальных промежутков гипотеза была проверена для всех простых чисел до 1019[1]Шаблон:Sfn.

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

Если гипотеза верна, то функция интервалов между простыми числами gn=pn+1pn должна удовлетворять неравенствуШаблон:Sfn

gn<(logpn)2logpn для всех n>4.

Более тогоШаблон:Sfn,

gn<(logpn)2logpn1 для всех n>9,

см. также последовательность Шаблон:OEIS2C. Гипотеза находится среди наиболее сильных гипотез о верхних границах для интервалов между простыми числами, она даже несколько сильнее гипотез Крамера и ШенксаШаблон:Sfn. Из гипотезы вытекает сильная форма гипотезы Крамера, а потому она несовместима с эвристикой Гранвилла, ПинтцаШаблон:SfnШаблон:SfnШаблон:Sfn и МайераШаблон:SfnШаблон:Sfn, в которой предполагается, что

gn>2εeγ(logpn)2

встречается бесконечно много раз для любого ε>0, где γ означает константу Эйлера — Маскерони.

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

(logpn+1logpn)n<e,

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

(pn+1pn)n<nlogn для всех n>5,

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

См. также

Ссылки

Литература

Шаблон:Refbegin

Шаблон:Refend

Примечания

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

Шаблон:Гипотезы о простых числах Шаблон:Классы простых чисел Шаблон:Rq