Введение

Двойное простое число — это простое число, которое либо на 2 меньше, либо на 2 больше другого простого числа, например, один из членов пары двойных простых чисел 3 и 5, или 5 и 7. Иными словами, двойное простое число — это простое число, имеющее промежуток между соседними простыми числами, равный двум. Иногда термин «двойное простое число» используется для обозначения пары двойных простых чисел; альтернативным названием для этого является пара простых чисел-близнецов. Двойные простые числа становятся все более редкими при рассмотрении больших диапазонов, что соответствует общей тенденции увеличения промежутков между соседними простыми числами с ростом самих чисел. Однако неизвестно, существует ли бесконечно много двойных простых чисел (так называемая гипотеза о двойных простых числах) или существует наибольшая пара. Прорывные работы Итан Чжана в 2013 году, а также работы Джеймса Мейнарда, Теренса Тао и других, позволили добиться существенного прогресса в доказательстве того, что существует бесконечно много двойных простых чисел, но на данный момент эта задача остается нерешенной.

Первая гипотеза Харди-Литлвуд

Первая гипотеза Харди — Литтлвуда (названа в честь Г. Х. Харди и Джона Литтлвуда) является обобщением гипотезы о простых числах-близнецах. Она связана с распределением простых созвездий, включая простые числа-близнецы, по аналогии с теоремой о простых числах. Пусть π₂(x) обозначает количество простых чисел p ≤ x, таких что p + 2 также является простым числом. Определим постоянную для простых чисел-близнецов как

(Здесь произведение берется по всем простым числам p ≥ 3.) Тогда частный случай первой гипотезы Харди — Литтлвуда заключается в том, что

в том смысле, что отношение двух выражений стремится к 1 при x, стремящемся к бесконечности. Она содержит 388 342 десятичные цифры и была обнаружена в сентябре 2016 года. Существует 808 675 888 577 436 пар простых чисел-близнецов, меньших чем
Эмпирический анализ всех пар простых чисел до 4,35 × показывает, что если число таких пар, меньших x, равно f(x), то f(x) приблизительно равно 1,7 для малых x и уменьшается до примерно 1,3 при x, стремящемся к бесконечности. Предполагается, что предельное значение f(x) равно удвоенной постоянной для простых чисел-близнецов (не путать с постоянной Бруна), согласно гипотезе Харди — Литтлвуда.