For faster navigation, this Iframe is preloading the Wikiwand page for Гипотеза Пойи.

Гипотеза Пойи

Материал из Википедии — свободной энциклопедии

График сумм вплоть до . Колебания обусловлены первыми нетривиальными нулями дзета-функции Римана.
Отрезок, на котором впервые нарушается гипотеза Пойи, крупным планом.
Логарифмический график вплоть до . Зелёным выделен участок, в котором происходит первое нарушение гипотезы. Синяя кривая показывает вклад нетривиальных нулей дзета-функции Римана в колебания функции .

Гипотеза Пойи — гипотеза в теории чисел, выдвинутая Дьёрдем Пойей в 1919 году и опровергнутая Хейзелгроувом в 1958 году. Значение наименьшего контрпримера к ней — 906 150 257 — часто используется как иллюстрация к тому, что даже гипотезы, проверенные на огромных числовых промежутках, могут быть опровергнуты и требуют строгих доказательств.

Гипотеза утверждает, что не меньше половины натуральных чисел, меньших любого заранее фиксированного числа, разлагаются на нечётное количество простых множителей с учётом кратности, то есть для любого выполнено неравенство:

,

где  — функция Лиувилля, принимающая значение , если разлагается на чётное количество простых множителей с учётом кратности, и в противном случае. Здесь фраза «с учётом кратности» означает, что каждый множитель учитывается количество раз, равное его степени в разложении.

Гипотеза была опровергнута в 1958 году Хейзелгроувом, показавшим, что существует контрпример, и оценившим его в примерно . Первый конкретный контрпример был найден Шерманом-Леманом в 1960 году — 906 180 359. В 1980 году был вычислен наименьший контрпример — 906 150 257. Гипотеза ложна для большинства чисел между 906 150 257 и 906 488 079; максимум, которого достигает в этом диапазоне — 829 (для 906 316 571). Неизвестно, меняет ли знак бесконечное количество раз[1].

Нули функции

[править | править код]

Нули функции распределены крайне неравномерно, их последовательность начинается следующим образом[2]:

2; 4; 6; 10; 16; 26; 40; 96; 586; 906 150 256; 906 150 294; 906 150 308; 906 150 310; 906 150 314, …

Медленный рост продолжается вплоть до члена под номером 252, равного 906 488 080, а следующий член уже равен 351 100 332 278 250.

Примечания

[править | править код]
  1. Weisstein, Eric W. Pólya Conjecture (англ.) на сайте Wolfram MathWorld.
  2. последовательность A028488 в OEIS
{{bottomLinkPreText}} {{bottomLinkText}}
Гипотеза Пойи
Listen to this article

This browser is not supported by Wikiwand :(
Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience.
Please download and use one of the following browsers:

This article was just edited, click to reload
This article has been deleted on Wikipedia (Why?)

Back to homepage

Please click Add in the dialog above
Please click Allow in the top-left corner,
then click Install Now in the dialog
Please click Open in the download dialog,
then click Install
Please click the "Downloads" icon in the Safari toolbar, open the first download in the list,
then click Install
{{::$root.activation.text}}

Install Wikiwand

Install on Chrome Install on Firefox
Don't forget to rate us

Tell your friends about Wikiwand!

Gmail Facebook Twitter Link

Enjoying Wikiwand?

Tell your friends and spread the love:
Share on Gmail Share on Facebook Share on Twitter Share on Buffer

Our magic isn't perfect

You can help our automatic cover photo selection by reporting an unsuitable photo.

This photo is visually disturbing This photo is not a good choice

Thank you for helping!


Your input will affect cover photo selection, along with input from other users.

X

Get ready for Wikiwand 2.0 🎉! the new version arrives on September 1st! Don't want to wait?