Продолжение
Для дисперсий вероятностных моделей 1 и 2 справедлива следующая оценка сверху:
. (51)
Естественно возникает вопрос о справедливости указанных вероятностных моделей, так как все оценки для отклонения
более жесткие, чем оценка
, сделанная в предположении справедливости гипотезы Римана.
Для того, чтобы опровергнуть данные вероятностные модели надо найти уже доказанную оценку снизу для
, которая с некоторого
имеет порядок больший, чем
.
Наоборот, чтобы подтвердить данные вероятностные модели надо найти уже доказанную оценку снизу для
, которая с некоторого
имеет порядок меньший, чем
.
В работе Литлвуда, выполненной еще в 1914 году, т.е. ровно 100 лет назад, содержится такая оценка.
Литлвуд показал, что
при
стремящемся к бесконечности не может быть величиной меньшего порядка, чем
. (52) (см. стр 16 Прахар "Распределение простых чисел").
Поэтому достаточно сравнить порядок квадрата функции (52) с
.
Найдем предел:
Используя правило Лопиталя и нахождение производной по верхнему пределу интегрирования получим, что (53) равно:
, (54) так как оба выражения в сумме стремятся к 0.
Следовательно, функция (52) является величиной меньшего порядка, чем
, что подтверждает правильность оценок в вероятностных моделях 1 и 2.
На самом деле, можно проверить , что
имеет порядок даже больший, чем
.
Отвечу на вопросы. Буду благодарен за замечания и предложения.