ДОКЛАДЫ АКАДЕМИИ НАУК РЕСПУБЛИКИ ТАДЖИКИСТАН _2014, том 57, №4_
МАТЕМАТИКА
УДК 511.325
Ш.А.Хайруллоев
О РАССТОЯНИИ МЕЖДУ СОСЕДНИМИ НУЛЯМИ ПРОИЗВОДНОЙ ПЕРВОГО ПОРЯДКА ФУНКЦИИ ХАРДИ
Институт математики им. АДжураева АН Республики Таджикистан
(Представлено членом-корреспондентом АН Республики Таджикистан З.Х.Рахмоновым 15.01.2014 г.)
В работе методом оптимизации экспоненциальных пар найдена нижняя грань длины промежутка критической прямой, в которой содержится нуль нечётного порядка производной первого порядка функции Харди.
Ключевые слова: функция Харди - экспоненциальная пара - дзета-функция Римана - критическая прямая.
Функция Харди Z (t) задаётся равенством
Z(t) = e«(t)({1 + A e'(t) = + f
rf I+1
I 4 2 ,
-1
принимает вещественные значения при вещественных значениях / и вещественные нули Z ) являются нулями £(в) , лежащими на критической прямой.
Первым результатом о нулях дзета-функции Римана £(в) на критической прямой является теорема Г.Харди [1]. В 1914 г. он доказал, что ^(1 / 2 + И) имеет бесконечно много вещественных нулей. Затем Харди и Литтлвуд [2] в 1921 г. доказали, что промежуток (Т, Т + Н) при Н > ТУ4+£ содержит нуль нечётного порядка ^(1 / 2 + И) . Ян Мозер [3] в 1976 г. доказал, что это утверждение имеет место при Н > Т 1п2 Т . В 1981 г. А.А.Карацуба [4] доказал теорему Харди-Литллвуда уже при Н > Т5321п2 Т.
В работе [5] задачу о величине промежутка (Т, Т + Н) критической прямой, в которой содержится нуль нечётного порядка дзета-функции, сведена к проблеме отыскания экспоненциальных пар для оценки специальных тригонометрических сумм, то есть: пусть (к,I) - произвольная экспоненциальная пара, отличная от (1/2,1/2),
1
С 1 ^
2
2-&-1(k; l)
l
0(k; l) = - 1 -———- , 01(k; l) = ——, (1)
0.5 - k
Адрес для корреспонденции: Хайруллоев Шамсулло Амруллоевич. Республика Таджикистан, г.Душанбе, ул. Айни, 299/4, Институт математики АНРТ. E-mail: shamsullo@rambler.ru
тогда промежуток (Т, Т + Н), при Т > Т0 > 0, Н > Тв(к'г)1п2Т содержит нуль нечётного порядка дзета-функции Римана.
Заметим, что минимизация в( к; I) равносильна минимизации в1 (к; I) и теорема А.А.Карацубы с Н > Т5/32 1п2 Т является следствием соотношения (1) при
^=(14#в7=18(3)-
в(—,— | = — = 0.15625. ^14 14) 32
В работе [6] найдена следующая нижняя грань величины 6х{к\Т) по V - множеству всех экспоненциальных пар (к, I) , отличных от (1 / 2,1 / 2) :
М в1(к;Г) = 11 +1,
(к,1)еТ
где R = 0.8290213568591335924092397772831120... - постоянная Ранкина, то есть найдена нижняя грань длины промежутка критической прямой, в которой содержится нуль нечётного порядка дзета-функции, и выражена она через константу Ранкина.
А.А.Карацуба [4] вместе с задачей о соседних нулях функции Z ^) также изучил задачу о соседних точках экстремума или точках перегиба функции Z (^) или в более общей подстановке - о соседних нулях функции Z(1 )(^), 1 > 1. Он показал, что с увеличением 1 длина промежутка, на котором заведомо лежит нуль Z(^(1), уменьшается и доказал:
Теорема 1. Пусть ] - натуральное число, Т > Т0(1) > 0. Тогда промежуток (Т, Т + Н) при
Н > сТ16 (1п Т)11, с = с( 1) > 0
содержит нуль нечётного порядка функции Z(1)(^).
В работе [7] задача о величине промежутка (Т, Т + Н) критической прямой, в которой заведомо лежит нуль нечётного порядка функции Z() (1 > 1) , сведена к проблеме отыскания экспоненциальных пар для оценки тригонометрических сумм, то есть:
Теорема 2. Пусть (к, I) - произвольная экспоненциальная пара, ]- натуральное число,
в 1 (к; I) = 1
'1- 1 ^
2 -б-1 (к; I)
б (к; I) = ■ 1 + 1
0.5 - к +1
Тогда при Н»ТвЛк'л(]пТу+1, т>т0и) > 0 промежуток (Т, Т + Н) содержит нуль нечётного порядка функции Z(1 ).
Математика
Ш.А.Хайруллоев
Заметим, что в 11,21 = 1 , то есть теорема А.А.Карацубы является следствием теоремы 1 \6 3 ' 6 у + 6
2 при (к, I) = ,21. В частности, при 1 = 1 имеем
в, (1,21 = -1. (2)
1 ^63 ) 12
Автору удалось методом оценки специальных тригонометрических сумм Вандер Корпута, методом оптимизации экспоненциальных пар [8] в сочетании с методами работ [6,9,10] доказать следующее утверждение.
Теорема 3. Пусть - множество всех экспоненциальных пар (к,1) и
б( к; I) = ■ 1 +1
-к +1.5
Тогда
где
inf ¿(к;/) = ¿1 f— ,—) = 1 —.
(k./M 1V 11 106 106 J 146'
13 75 ^ = ABA2BA2 '1 1
Д06 106) \2 2,
Следствие 1. Пусть Vx - множество всех экспоненциальных пар (k,l), тогда
inf exk;/) = « fil .-71V il = -1
(к./M 1V 1 ^ 106 106 J 432 12 2592
Отметим, что последний результат является уточнением соотношения (2), являющимся следствием теоремы 1, принадлежащей А.А.Карацубе.
Поступило 15.01.2014 г.
ЛИТЕРАТУРА
1. Hardy G.H. Sur les zeros de la fonction Ç(s) de Riemann. - Compt.Rend. Acad.Sci-1914.-v.158.-P.1012 - 1014.
2. Hardy G.H., Littlewood J.E. The zeros of Riemann's zeta-function on the critical line. — Math.Z.-1921.-Bd 10.-S.283 - 317.
3. Мозер Я. Об одной сумме в теории дзета-функции Римана. — Acta arith., 1976, 31, S. 31 - 43.
4. Карацуба А.А. О расстоянии между соседними нулями дзета-функции Римана, лежащими на критической прямой. — Труды МИАН. 1981.-т. 157.С.49 - 63.
5. Рахмонов З.Х., Хайруллоев Ш.А. Расстояние между соседними нулями дзета-функции Римана, лежащими на критической прямой. — ДАН РТ, 2006, т. 49, №5, стр. 393 - 400.
6. Рахмонов З.Х., Хайруллоев Ш.А. Соседние нули дзета-функции Римана, лежащие на критической прямой. — ДАН РТ, 2009, т. 52, №5, стр. 331 - 337.
7. Хайруллоев Ш.А. Расстояние между соседними нулями функции Z®(t), j >1. — ДАН РТ, 2006, т. 49, №9, стр. 803 - 809.
8. Graham S.W. Kolesnik G. Vander Corput's Method of Exponential sums. — Cambridge university press. 1991, Cambridge, New Vork, Port Chester, Melbourne, Sydney.
9. Рахмонов З.Х. Оценка плотности нулей дзета-функции Римана. — Успехи математических наук, 1994, т. 49, №2, с. 161 - 162.
10. Рахмонов З.Х. Нули дзета-функции Римана в коротких промежутках критической прямой. — Че-бышевский сборник. 2006. Т. 7. В. 1. С. 263 - 279.
Ш.А.Хайруллоев
ОИДИ НУЛ^ОИ ХДМСОЯИ ^ОСИЛА^ОИ ТАРТИБИ ЯКУМИ
ФУНКСИЯИ ХАРДИ
Институтиматематикаи ба номи А.Цураеви Академияи илм^ои Цум^урии Тоцикистон
Бо истифода аз методи оптималии чуфтх,ои экспоненсиалй сархдди поёнии дарозии порчах,ои хати рости критикй, ки дорои нули тартиби токи х,осилах,ои тартиби якуми функсияи Харди мебошанд, ёфта шудааст.
Калима^ои калиди: функсияи Харди - цуфт^ои экспоненсиалй - дзета-функсияи Риман - хати рости критикй.
Sh.A.Khayrulloev
ON THE DISTANCE BETWEEN CONSECUTIVE ZEROS OF THE FIRST ORDER
DERIVATIVE OF THE HARDY FUNCTION
A.Juraev Institute of Mathematics, Academy of Sciences of the Republic of Tajikistan
The lower bound of the gap length in the critical line, which includes the odd-order zero of the first derivative of Hardy function, is found by the method of optimization of exponential pairs. Key words: Hardy function - exponential pair - the Riemann zeta function - critical line.