Гипотеза Буняковского

Гипотеза Буняковского гласит, что если $f(x)$$f(x)$ — целозначный неприводимый многочлен и d — наибольший общий делитель всех его значений в целых точках, то целозначный многочлен $f(x)/d$$f(x)/d$ принимает бесконечно много простых значений.

Если $f(x)=kx+b$$f(x)=kx+b$ — линейная функция, то наибольший общий делитель её значений равен $\text{НОД}(k,b)$${\text{НОД}}(k,b)$. И тогда по теореме Дирихле о простых числах в арифметической прогрессии линейная функция $f_1(x)=\frac{kx+b}{d}$$f_{1}(x)={\frac {kx+b}{d}}$ принимает бесконечное множество простых значений (видно, что $f_1(x)$$f_1(x)$ целозначна). То есть гипотеза сформулирована корректно.

4-я проблема Ландау — частный случай этой гипотезы при $f(x)=x^2+1.$$f(x)=x^{2}+1.$

В статье Bateman, Horn приведена общая эвристическая формула, из которой следует, что плотность простых значений неприводимого многочлена $f(x)$$f(x)$, удовлетворяющая условиям гипотезы Буняковского, описывается как

${\mathrm{\pi <!--\; \pi \; -->}}_f(N)\sim <!--\; \sim \; -->\frac{C(f)}{\mathrm{deg}<!--\; \; -->f}\underset{2}{\overset{N}{\int <!--\; \int \; -->}}\frac{dt}{\ln <!--\; \; -->t},$$\pi _{f}(N)\sim {\frac {C(f)}{\deg f}}\int \limits _{2}^{N}{\frac {dt}{\ln t}},$

где ${\mathrm{\pi <!--\; \pi \; -->}}_f(N)$$\pi _{f}(N)$ — количество целых $n\le <!--\; \le \; -->N$$n\leq N$ таких что $f(n)$$f(n)$ простое число, и константа $C(f)=\underset{p}{\prod <!--\; \prod \; -->}\frac{1-<!--\; -\; -->\frac{\mathrm{\omega <!--\; \omega \; -->}(p)}{p}}{1-<!--\; -\; -->\frac{1}{p}}$$C(f)=\prod \limits _{p}{\frac {1-{\frac {\omega (p)}{p}}}{1-{\frac {1}{p}}}}$, где $p$$p$ пробегает простые числа и $\mathrm{\omega <!--\; \omega \; -->}(p)$$\omega (p)$ — число решений сравнения $f(x)\equiv <!--\; \equiv \; -->0(\mathrm{mod}p)$$f(x)\equiv 0{\pmod {p}}$ в поле $\mathbb{Z}/(p).$${\mathbb {Z}}/(p).$

ПримерПравить

Покажем, например, как можно оценить $C(f)$$C(f)$  при $f(x)=x^2+1$$f(x)=x^{2}+1$ . Тогда $\mathrm{\omega <!--\; \omega \; -->}(2)=1$$\omega (2)=1$ , при $p\equiv <!--\; \equiv \; -->-<!--\; -\; -->1(\mathrm{mod}4)$$p\equiv -1{\pmod {4}}$  будет $\mathrm{\omega <!--\; \omega \; -->}(p)=0$$\omega (p)=0$ , а при $p\equiv <!--\; \equiv \; -->1(\mathrm{mod}4)$$p\equiv 1{\pmod {4}}$  будет $\mathrm{\omega <!--\; \omega \; -->}(p)=2$$\omega (p)=2$ . Остается только численно вычислить произведение.

См. такжеПравить

• Открытые математические проблемы — проблемы из других разделов математики
• Открытые проблемы в теории чисел
• Гипотеза H

ЛитератураПравить

• Paul T. Bateman, Roger A. Horn. A heuristic asymptotic formula concerning the distribution of prime numbers (англ.) // Math. Comp.. — 1962. — Vol. 17, no. 84. — P. 445—447.
• В. Серпинский. Что мы знаем и чего не знаем о простых числах. — М.—Л.: Физматлит, 1963. — 92 с.
• S. Lang. Bunyakovskii conjecture (Архивная копия от 27 сентября 2013 на Wayback Machine), Encyclopedia of Mathematics, ISBN 1402006098.
• Ed. Pegg, Jr. Bouniakowsky conjecture (англ.) на сайте Wolfram MathWorld.
• Rupert, Wolfgang M. (1998-08-05), Reducibility of polynomials f(x, y) modulo p, arΧiv:math/9808021 [math.NT]. 
• Bouniakowsky V. Nouveaux théorèmes relatifs à la distinction des nombres premiers et à la décomposition des entiers en facteurs (фр.) // Mém. Acad. Sc. St. Pétersbourg. — 1857. — P. 305—329.