CC BY
17
УДК 511
О КОЛИЧЕСТВЕ НУЛЕЙ £(s) В ОКРЕСТНОСТИ КРИТИЧЕСКОЙ ПРЯМОЙ ON THE NUMBER OF ZEROS OF £(s) IN THE NEIGHBORHOOD
OF THE CRITICAL LINE
До Дык Там Do Duc Tam
Белгородский национальный исследовательский университет, Россия, 308015, г. Белгород, ул. Победы, 85 Belgorod National Research University, 85 Pobedy St, Belgorod, 308015, Russia
E-mail: doductam140189@gmail.com
Аннотация. Настоящая статья посвящена проблеме распределения комплексных нулей дзета-
функции Римана в окрестности прямой ^s = 1/2. Получена верхняя оценка числа нулей s) на почти всех
очень коротких промежутках окрестности критической прямой. Доказательство основано на оценке кратной тригонометрической суммы специального вида.
Resume. The article is concerned with distribution of zeros of the Riemann zeta function in the neighborhood
of the line ^s = 1/2. We obtained an upper bound of number of zeros s) on almost all short intervals of the
neighborhood of the critical line. The main idea of the proof is upper bound of multiple trigonometric sums of a special kind.
Ключевые слова: дзета-функция, нетривиальные нули, критическая прямая. Keywords: the Riemann zeta function, non-trivial zeros, critical line.
Введение
Пусть N(<j,T) - число нулей C,{s) в прямоугольнике с вершинами s = с, s = с +iT, s = 1 и
s = 1+iT.
В 1924 г. Дж. Литтлвуд [1] на основе теоремы о количестве нулей аналитической функции в прямоугольнике доказал следующую теорему:
При 1/2 < с < 1 равномерно по с справедлива оценка
N (с, T) = O —Т— log-^ 1. (8)
^с- 0,5 с- 0,5 )
Добавив к соображению Литтлвуда идею успокаивающего множителя, А. Сельберг в [2] доказал теорему:
Если н > Ta, где a > 1/2 то при 1/2 < с < 1 равномерно по с справедлива оценка
N(с,Т + H) - N(с,Т) = O ^ H ^ j. (9)
Из этой теоремы следует, что множитель log (1/(с- 0,5)) в оценке (1) под знаком O можно пропустить.
Следующий шаг в этом направлении выполнил А. А. Карацуба, который в 1985 г. в [3] доказал неравенство (2) для случая H = T,27/82+s где s> 0 - произвольно малое число.
Л.В. Киселева в [4] рассматривала эту задачу «в среднем». Доказано, что при X > Х0(s) неравенство (2) имеет место для почти всех X < Т < X + X11/12+8 и н = Xs.
В настоящей работе мы получим результат подобного рода, но только для отрезка осреднения , X + X7/8+sJ. Сформулируем основную теорему:
Теорема 1. Пусть s> 0 - произвольно малое фиксированное число, X > X0(s) > 0, X < T < X + X1, X1 = X7/8+s, H = Xs. При 1/2 < а < 1 рассмотрим неравенство
N(а,Т + H) - N(а,Т) < с H , (10)
а-0,5
где с = c(s) > 0 - некоторая постоянная, зависящая только от s. Через Е обозначим множество тех Т из промежутка X < Т < X+X1, для которых (3) не выполняется. Тогда для меры этого множества ц(Е) справедлива оценка:
ц(Е) < X1X"0,5s.
Вспомогательные утверждения
Теорема 2. Предположим, что Ф(^) мероморфна внутри и на границе прямоугольника, ограниченного прямыми t = Т, t = Т2, Т < Т2, а = а, а = ß, (ß > а), регулярна и отлична от нуля на прямой а = ß. Функция ln Ф регулярна в окрестности а = ß; и здесь мы определим F(s) = ln Ф(^), отправляясь от какого-либо значения логарифма. Для других точек s прямоугольника мы определим F(s) как значение, полученное из ln Фф + it) непрерывным изменением вдоль t = const от ß+it до а + it, в предположении, что путь не пересекает нуля или полюса Ф^); если же это так, мы полагаем
F(s) = - lim (F(а + it + is) + F(а + it - is)). 2 s^0
Пусть у(а') означает избыток числа нулей над числом полюсов в той части прямоугольника, для которой а > а', считая нули и полюсы на t = Т}. или t = Т2 лишь за половину таковых. Тогда
J F (s)ds = -2га | у(а,Т^а,
где интеграл слева берется вокруг прямоугольника в положительном направлении.
В дальнейшем будем употреблять следующие обозначения: 0 <s< 0,01 - произвольно малое
фиксированное число, X - растущий параметр, X1 >X7/8+s, X <Т <X + X1, P = VТ/2л, H = Xs,
L = ln X, Y = H0,ш, p = PY, числа 5(v) определяются следующим равенством
8(V) = X^Z ,a{m) = X ^ (11)
rv<Y
ф(г v)
ц2(г)
N-1
r<Y
ф(г v)
•\/v5(v)
nv=m n<P,v<Y
Лемма 1. Справедлива следующая оценка
Е= X «V) = 0(1),
т<Р1
где константа в знаке О зависит только от е. Доказательство см. в [5, с. 149].
Лемма 2. При натуральных числах т,т^,т2 положим
0(т1, т2) = а(т1)а(т2)ехр
( Г \2\
ГН т2 ——
2 т1
^ т1 ^
-гТ
т2
Ж (Т) = X °(тъ т2).
ту <т2 <р
Тогда справедливы следующие оценки:
9 Л0
г-г+.г, 2 £
Г)2 с/Г П
1х Н
где постоянные в знаке □ зависят только от е. Доказательство проводится по схеме доказательства леммы 1 из [6].
Следствие 1. Пусть 8 - произвольное положительное число, не превосходящее 1, Е множество таких Т из интервала[X,X+Ху], для которых выполняются неравенства
Ж 2(Т) > Х
Х1~8У 9 Ь10
н
Тогда для меры множества Е справедлива оценка
□ X?.
Доказательство основной теоремы
В следствии 1 полагаем 8 = 1 - 4 / 7е. Будем рассматривать те числа Т из X < Т < X+Ху, которые не принадлежат множеству Е; для них выполняются оценки
V 9 Ью
Ж (Т) < . (12)
4Н
Введем функцию
Ф(5) = ОД/(*), /(5) = X 8(У)У1-^.
у<Г
Применим теорему 2 к Ф(5) и прямоугольнику с вершинами 5 = 0,5+гТ, в = 0,5 + г(Т+Н), 5 = 3+гТ, 5 = 3 + г(Т+Н). Получаем неравенство
2^1 N (о, Т + Н) - N (а, Т)^а < Н 1од ( ^ 1 + 0(Н)
•>0,5 2 IН,
где
сТ +Н 1 1
J = |Т |С(0,5+и )|2| / (0,5+и )|2 а.
Пользуясь приближенным функциональным уравнением для 5) (см. [7]. стр. 82), получаем
3 < 83. + О (НТ~°'5У14),
где
3. = 1
Т+Н
Т
Е ^
2
„<Р-!п
Вспоминая определение /можно переписать так:
\/(0,5 + г/)|2
3. =1:
Т+Н
Т
Е а(т)т'
т<Р
2
где числа а(т) определены в (4). Имеет место цепочка соотношений:
(Т+Н <е\ ехр
г — Т Н
2 Л
<еН Е а(т.)а(т2)I —- I ехр
т.,т2<р Vт2 ^
т<Р.
Л'Т ( Л21 А
Я т. 2 т2
Е а(т)т'
г+ю
I ехр
Л—Ю
Л <
I ■ т.
— | V — /V—1og—-
2 т2
2|
^ =
Т Г
= e^/лH Е а(т.)а(т2) I—- I ехр
т.,т2 <Р ^
Н т1 —1о^—
2 т 2
2
< ел/ЙН (2 + 2(Т)| ),
где 2 и Ж(Т) определены в леммах 1 и 2. В силу леммы 1 и оценки (5) получаем:
3. = О(Н), 3 = О(Н), I4 N(ст,Т + Н) — N(ст,Т)йст = О(Н).
* 0,5
Пусть ст> 0,5, ст. = 0,5 + 0,5(ст — 0,5) <ст и g(а) = N (а, Т + Н) — N (а,Т). Заметим, что g (а2) < g (а.) при а. < а2. Отсюда следует, что
. гст
N (ст, Т + Н) — N (ст, Т) <-| N (а, Т + Н) — N (а, Т^ а <
ст —ст. -"ст
<—2— N(а,Т + Н) — N(а,Т)ёа = ОI Н 1. ст — 0,510,5 ( , ) ( , ) |ст — 0,5J
Далее, утверждение теоремы следует из следствия 1.
Заключение
В нашей работе границу Н = XЕ определяет лемма 1. Это объясняется тем, что надо «успокоить» достаточно длинный отрезок ряда Дирихле, которым определяется дзета-функция Римана. Если справедлива гипотеза Римана, то утверждение теоремы 1 верно для НП 1. Поэтому интересно рассмотреть задачу для существенно более коротких промежутков в окрестности критической прямой.
2
Список литературы References
1. Littlewood J.E. 1924. On the zeros of the Riemann zeta-function. Mathematical Proceedings of the Cambridge Philosophical Society, 22: 295-318.
2. Selberg A. 1942. On the zeros of Riemann's zeta-function. Skr. Norske Vid. Akad. Oslo, 10: 1-59.
3. Карацуба А.А. 1985. О нулях функции Q(s) в окрестности критической прямой. Изв. АН СССР. Сер. Матем., 49(2): 326—333.
Karatsuba A.A. 1986. On the zeros of the function £(s) in the neighborhood of the critical line. Mathematics of the USSR-Izvestiya,26(2):307.
4. Киселева Л.В. 1989. О нулях функции Q(s) в окрестности критической прямой. Матем. заметки, 46(4):114-115.
Kiseleva L.V. 1989. On the zeros of the function Q(s) in a neighborhood of the critical line. Mat. Zametki, 46(4):114-115.
5. Воронин С.М., Карацуба А.А. 1994. Дзета-функция Римана. М., Физматлит, 376.
Voronin, S.V., Karatsuba, A.A. 1994, The Riemann zeta-function. M., Fizmatlit, 376.
6. Там Д.Д. 2016. О нулях дзета-функции Римана ^(s), лежащих на почти всех коротких промежутках критической прямой. Чебышевский сборник, 17(1): 69-87.
Tam D.D. 2016. On the zeros of the Riemann zeta function, lying in almost all short intervals of the critical line. Chebyshevskii Sbornik, 17(1): 69-87.
7. Титчмарш Е.К. 1953. Теория дзета-функции Римана. М., Мир, 406.
Titchmarsh E.K. 1953. Teoriya dzeta-funkcii Rimana. M., Мщ 406.
