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

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

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

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

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

<math>\pi_f(N) \sim \frac{C(f)}{\deg f} \int\limits_{2}^{N} \frac{dt}{\ln t},</math>

где <math>\pi_f(N)</math> — количество целых <math>n \leq N</math> таких что <math>f(n)</math> простое число, и константа <math>C(f) = \prod\limits_{p} \frac{1-\frac{\omega (p)}{p}}{1-\frac{1}{p}}</math>, где <math>p</math> пробегает простые числа и <math>\omega (p)</math> — число решений сравнения <math>f(x) \equiv 0 \pmod {p}</math> в поле <math>\mathbb{Z}/(p).</math>

Пример

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

См. также

Примечания

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

Литература

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