Меню Главная Случайная статья Настройки Гипотеза Бейтмана — Хорна Материал из https://ru.wikipedia.org Гипотеза Бейтмана — Хорна — теоретико-числовая гипотеза относительно частоты простых чисел среди значений системы многочленов. Сформулирована Полом Бейтманом[англ.] и Роджером Хорном[англ.] в 1962 году. Является обобщением гипотезы Харди — Литтлвуда о плотности простых чисел-близнецов и гипотезы о простых числах вида n2 + 1, а также усилением гипотезы H. Содержание 1 Определение 2 Отрицательные числа 3 Примеры 4 Аналог для многочленов над конечным полем 5 Ссылки Определение Гипотеза Бейтмана — Хорна предсказывает асимптотический эквивалент количества положительных целых чисел, на которых все многочлены из заданного множества принимают простые значения. Множество из Назовём целое число ${\displaystyle P(x)\sim {\frac {C}{D}}\int _{2}^{x}{\frac {dt}{(\log t)^{m}}},\,}$ где D — произведение степеней многочленов, а C — произведение по всем простым числам p (эйлерово произведение[англ.]): ${\displaystyle C=\prod _{p\,\in \,\mathbb {P} }{\frac {1-N(p)/p}{(1-1/p)^{m}}},\ }$ где ${\displaystyle N(p)}$ — количество решений для ${\displaystyle f(n)\equiv 0{\pmod {p}}.\ }$ Свойство Буняковского подразумевает ${\displaystyle N(p)<p}$ для всех простых чисел p, поэтому каждый множитель в бесконечном произведении C положителен. Тогда интуитивно можно ожидать, что произведение C также положительно, и это можно доказать (доказательство необходимо, поскольку некоторые бесконечные произведения положительных чисел равны нулю). Отрицательные числа Для отрицательных чисел вышеприведённое утверждение не выполняется: так, если выбрать множество из одного многочлена 1(x) = x, то его значения будут отрицательны для положительного аргумента, поэтому доля простых чисел среди его значений всегда равна нулю. Есть два равнозначных способа уточнить гипотезу, чтобы избежать этой трудности: Можно потребовать, чтобы все полиномы имели положительные коэффициенты при старшей степени, так что только постоянное количество их значений может быть отрицательным. В качестве альтернативы можно разрешить отрицательные коэффициенты при старшей степени, но считать отрицательное число простым, если его абсолютное значение является простым. Разумно позволить отрицательным числам считаться простыми числами в качестве шага к формулировке более общих предположений, применимых к системам чисел, отличающимся от целых, но в то же время можно просто умножить соответствующие многочлены на 1, если необходимо свести рассмотрение к случаю положительных старших коэффициентов. Примеры Если система многочленов состоит из одного многочлена 1(x) = x, тогда значения n, для которых 1(n) являются простыми числами, сами по себе являются простыми числами, и гипотеза становится переформулировкой теоремы о распределении простых чисел. Если система многочленов состоит из двух многочленов 1(x) = x и 2(x) = x + 2, то значения n, для которых оба 1(n) и 2(n) — простые, являются просто меньшими из двух простых чисел в каждой паре чисел-близнецов. В этом случае гипотеза Бейтмана — Хорна сводится к первой гипотезе Харди — Литтлвуда о плотности простых чисел-близнецов, согласно которой количество пар простых чисел-близнецов меньше x равно ${\displaystyle \pi _{2}(x)\sim 2\prod _{p\geq 3}{\frac {p(p-2)}{(p-1)^{2}}}{\frac {x}{(\log x)^{2}}}\approx 1{,}32{\frac {x}{(\log x)^{2}}}.}$ Аналог для многочленов над конечным полем Если целые числа заменить на кольцо многочленов F[u] над конечным полем F, можно задаться вопросом, как часто конечное множество многочленов fi(x) в F[u][x] одновременно принимает неприводимые значения в F[u], когда мы заменяем x элементами F[u]. Хорошо известные аналогии между целыми числами и F[u] предполагают аналог гипотезы Бейтмана — Хорна для F[u], но этот аналог неверен. Например, данные показывают, что многочлен ${\displaystyle x^{3}+u}$ в F3[u][x] принимает (асимптотически) ожидаемое количество неприводимых значений, когда x пробегает многочлены в F3[u] нечётной степени, но оказывается, что он принимает (асимптотически) вдвое больше неприводимых значений, чем ожидается, когда x пробегает многочлены степени, равной 2 по модулю 4; при этом он (вероятно) вообще не принимает неприводимых значений, когда x пробегает непостоянные многочлены со степенью, кратной 4. Аналог гипотезы Бейтмана — Хорна для F[u], который соответствует числовым данным, использует дополнительный множитель в асимптотике, зависящий от значения d по модулю 4, где d — это степень многочленов в F[u], по которым производится выборка x. Ссылки Bateman P. T., Horn R. A. A heuristic asymptotic formula concerning the distribution of prime numbers (англ.) // Mathematics of Computation. — 1962. — Vol. 16, iss. 79. — P. 363–367. — doi:10.2307/2004056. — . — . Guy R. K. Unsolved problems in number theory (англ.). — 3rd ed. — Springer-Verlag, 2004. — ISBN 978-0-387-20860-2. — . Friedlander J., Granville A. Limitations to the equi-distribution of primes. IV. (англ.) // Proceedings of the Royal Society A. — 1991. — Vol. 435, no. 1893. — P. 197–204. — doi:10.1098/rspa.1991.0138. — . Alethia-Zomlefer S. L., Fukshansky L., Garcia S. R. One conjecture to rule them all: Bateman–Horn : arXiv:1807.08899 [электронный препринт] : [англ.] // arXiv.org. — 2018.