Проблемы Ландау
На Международном конгрессе математиков 1912 года Эдмунд Ландау перечислил четыре главные проблемы в теории простых чисел. Эти проблемы были выражены в его докладе как «неприступные при текущем состоянии математики» и они известны теперь как проблемы Ландау.
- Гипотеза Гольдбаха: Можно ли любое целое чётное число, большее 4, записать в виде суммы двух простых?
- Гипотеза о числах-близнецах: Бесконечно ли число простых p таких, что p + 2 тоже простое?
- Гипотеза Лежандра: Всегда ли существует по меньшей мере одно простое число, лежащее между двумя последовательными полными квадратами?
- Существует ли бесконечно много простых чисел p, для которых p − 1 является полным квадратом? Другими словами, бесконечно ли количество простых чисел вида n2 + 1? (последовательность A002496 в OEIS).
Все четыре проблемы на 2022 год остаются открытыми.
Продвижение в направлении решения проблем
Гипотеза Гольдбаха
Теорема Виноградова доказывает слабую гипотезу Гольдбаха для достаточно большого n. В 2013 Харальд Хельфготт доказал слабую гипотезу для всех нечётных чисел больших 5[1]. В отличие от проблемы Гольдбаха, слабая гипотеза Гольдбаха утверждает, что любое нечётное число, большее 5, может быть выражено в виде суммы трёх простых чисел. Хотя сильная гипотеза Гольдбаха ни доказана, ни опровергнута, из её доказательства вытекало бы доказательство слабой гипотезы.
Теорема Чэня доказывает, что для всех достаточно больших n , где p простое, а q либо простое, либо полупростое. Монтгомери и Воган показали, что чётные числа, не представимые в виде суммы двух простых, имеет плотность нуль[2].
В 2015 Томохиро Ямада доказал явную версию теоремы Чэня[3]: любое чётное число, большее , является суммой простого числа и произведения не более чем двух простых.
Гипотеза о числах-близнецах
Чжан Итан[4] показал, что существует бесконечно много простых пар с промежутком, ограниченным 70 миллионами, и этот результат был улучшен до промежутка длиной 246 при объединении с проектом «Polymath»[5]. При принятии обобщённой гипотезы Эллиота — Халберстама оценка улучшается до 6 (Мейнард[6], Голдстон, Пинц и Йылдырым[7]).
Чень показал, что имеется бесконечно много простых чисел p (позднее названных простыми числами Чэня), таких, что p+2 является простым или полупростым.
Гипотеза Лежандра
Достаточно проверить, что каждый промежуток между простыми числами, большими p, меньше величины . Таблица максимальных промежутков между простыми числами показывает, что гипотеза верна вплоть до 4×1018[8]. Контрпример около 1018 должен иметь промежуток в пятьдесят миллионов раз больше среднего промежутка. Матомаки показал, что существует не более нарушающих гипотезу примеров с последующим промежутком, большим . В частности,
- [9].
Результат Ингема показывает, что существует простое между и для любого достаточно большого n[10].
Почти квадратные простые числа
Теорема Фридландера — Иванеца показывает, что бесконечно большое количество простых чисел имеют вид [11].
Иванец показал, что существует бесконечное количество чисел вида с максимум двумя простыми делителями[12][13].
Анкени доказал, что при верности обобщённой гипотезы Римана для L-функций на характерах Гекке существует бесконечно много простых чисел вида с [14].
Дешуиллерс и Иванец[15], улучшив результат Хули[16] и Тодда[17], показали, что существует бесконечно много чисел вида с бо́льшим простым множителем по меньшей мере . Если заменить показатель на 2, получим утверждение гипотезы.
В обратную сторону, решето Бруна показывает, что существует таких простых, меньших x.
Примечания
- Montgomery, Vaughan, 1975, с. 353–370.
-
- Yamada, Tomohiro (2015-11-11), Explicit Chen's theorem, arΧiv:1511.03409 [math.NT]
- Zhang, 2014, с. 1121–1174.
- Polymath, 2014, с. 12.
- Maynard.
- Goldston, Motohashi, Pintz, Yıldırım, 2006, с. 61–65.
- Andersen.
- Matomäki, 2007, с. 489–518.
- Ingham, 1937, с. 255–266.
- Friedlander, Iwaniec, 1997, с. 1054–1058.
- Iwaniec, 1978, с. 178–188.
- Oliver, 2012, с. 241–261.
- Ankeny, 1952, с. 913–919.
- Deshouillers, Iwaniec, 1982, с. 1–11.
- Hooley, 1967, с. 281—299.
- Todd, 1949, с. 517–528.
Литература
- The exceptional set in Goldbach's problem // Acta Arithmetica. — 1975. — Т. 27.
- Yitang Zhang. Bounded gaps between primes // Annals of Mathematics. — 2014. — Т. 179, вып. 3.
- Polymath D.H.J. Variants of the Selberg sieve, and bounded intervals containing many primes // Research in the Mathematical Sciences. — 2014. — Т. 1, № 12. — С. 12. — doi:10.1186/s40687-014-0012-7. — arXiv:1407.4897.
- Maynard J. Small gaps between primes // Annals of Mathematics.
- Daniel Alan Goldston, Yoichi Motohashi, János Pintz, Cem Yalçın Yıldırım. Small Gaps between Primes Exist // Proceedings of the Japan Academy, Series A Mathematical Sciences. — 2006. — Т. 82, вып. 4. — doi:10.3792/pjaa.82.61. Архивировано 27 марта 2009 года.
- Jens Kruse Andersen. Maximal Prime Gaps.
- Kaisa Matomäki. Large differences between consecutive primes // Quarterly Journal of Mathematics. — 2007. — Т. 58. — doi:10.1093/qmath/ham021.
- Ingham A. E. On the difference between consecutive primes // Quarterly Journal of Mathematics Oxford. — 1937. — Т. 8, вып. 1. — doi:10.1093/qmath/os-8.1.255.
- John Friedlander, Henryk Iwaniec. Using a parity-sensitive sieve to count prime values of a polynomial // PNAS. — 1997. — Т. 94, вып. 4. — doi:10.1073/pnas.94.4.1054. — PMID 11038598.
- Iwaniec H. Almost-primes represented by quadratic polynomials // Inventiones Mathematicae. — 1978. — Т. 47, вып. 2. — doi:10.1007/BF01578070.
- Robert J. Lemke Oliver. Almost-primes represented by quadratic polynomials // Acta Arithmetica. — 2012. — Т. 151. — doi:10.4064/aa151-3-2. (недоступная ссылка)
- Ankeny N. C. Representations of primes by quadratic forms // Amer. J. Math.. — 1952. — Т. 74, вып. 4.
- Jean-Marc Deshouillers, Henryk Iwaniec. On the greatest prime factor of // Annales de l'institut Fourier. — 1982. — Т. 32, вып. 4.
- Hooley C. On the greatest prime factor of a quadratic polynomial // Acta Math.. — 1967. — Т. 117.
- Todd J. A problem on arc tangent relations // American Mathematical Monthly. — 1949. — Т. 56. — С. 517–528. — doi:10.2307/2305526.
Ссылки
- Weisstein, Eric W. Landau's Problems (англ.) на сайте Wolfram MathWorld.