CC BY
16
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 19. Выпуск 1
УДК 511.3 DOI 10.22405/2226-8383-2018-19-1-106-123
Гипотеза о «заградительном ряде» для дзета-функций
1
моноидов с экспоненциальной последовательностью простых1
Добровольский Николай Николаевич — кандидат физико-математических наук, ассистент кафедры прикладной математики и информатики, Тульский государственного университет.
e-mail: [email protected], [email protected]
Добровольский Михаил Николаевич — кандидат физико-математических наук, старший научный сотрудник, Геофизический центр РАН. e-mail: [email protected]
Добровольский Николай Михайлович — профессор, доктор физико-математических наук, заведующий кафедрой алгебры, математического анализа и геометрии, Тульский государственный педагогический университет им. Л. Н. Толстого. e-mail: [email protected]
Балаба Ирина Николаевна — доцент, доктор физико-математических наук, профессор кафедры алгебры, математического анализа и геометрии, Тульский государственный педагогический университет им. Л. Н. Толстого. e-mail: [email protected]
Реброва Ирина Юрьевна — кандидат физико-математических наук, доцент, декан факультета математики, Тульский государственный педагогический университет им. Л. Н. Толстого. e-mail: [email protected]
Аннотация
В работе продолжено изучение нового класса рядов Дирихле — дзета-функции моноидов натуральных чисел. Прежде всего детально изучена дзета функция £(М(д)|а) геометрической прогресс М (q) с первым членом равным 1 и произвольным натуральным знаменателем q > 1, которая является простейшем моноидом натуральных чисел с однозначным разложением на простые элементы моноида. Для мероморфной функции
С(М(g)|a) = qa_i, имеющей множество полюсов
S(M(q)) = {
ке Z
ln q
получены представления:
qо.2 ln2 q\ 1 1 1 2а ln q
_ <х / 2 1 2 \ 1 1
q2 -i-i- / a2 ln 1 1 ■г-^
С(М(q)la) = ^ 1 1 {1 + -ЪМ) = 2 + ^ + ^ а2 ln2 g + 4n2.2
п=1 4 ' п=1 ^
q ¥ a ln q f ai ln f ai ln q -T[—)T{-
\ ) \ 2-к
Для дзета-функции С,(М(р)|а) моноида М(р) с конечным числом простых чисел р = (р\,... ,рп) получено разложение в бесконечное произведение
<®н=iH п п (1+_
4 ' ^=1 m=1 4
1Работа подготовлена по гранту РФФИ №16-41-710194_р_центр_а
где Р(р) = р1 ...рп, Q(pP) = lnpi... lnpn, и найдено функциональное уравнение
«м <й|-«) = <-!)•
Для моноида натуральных чисел М*(р) = N ■ М-1<р) с однозначным разложением на простые множители, состоящим из натуральных чисел п взаимно простых с Р<Р) = Pi... Pn-, и для эйлерово произведение Р<М*(р)|а), состоящего из сомножителей по всем простым числам отличным от pi,...,рп, найдено функциональное уравнение
«М*(р)1а) = М(р,о)С(М*<Й|1 - а),
где
М<р»> = М(а) ■ шгту а) = П 0-&).
Доказано, что для любого бесконечного множества простых Pi не существует аналитической функции равной
lim С(М(рп)1а)
на всей комплексной плоскости.
Сформулирована гипотеза о заградительном ряде для любого экспоненциального множества РЕ простых чисел.
В заключении рассмотрены актуальные задачи с дзета-функциями моноидов натуральных чисел, требующие дальнейшего исследования.
Ключевые слова: дзета-функция Римана, ряд Дирихле, дзета-функция моноида натуральных чисел, эйлерово произведение, логарифм эйлерова произведения.
Библиография: 17 названий. Для цитирования:
Н. Н. Добровольский, М. Н. Добровольский, Н. М. Добровольский, И. Н. Балаба, И. Ю. Реб-рова. Гипотеза о «заградительном ряде» для дзета-функций моноидов с экспоненциальной последовательностью простых // Чебышевский сборник. 2018. Т. 19, вып. 1, С. 106-123.
108
H. H. X[o6pOBOJIbCKHH, M. H. X[o6pOBOJIbCKHH, H. M. ,Ho6pOBOJIbCKHH
CHEBYSHEVSKII SBORNIK Vol. 19. No. 1
UDC 511.3 DOI 10.22405/2226-8383-2018-19-1-106-123
About «zagrobelna the series» for the zeta function of monoids with exponential sequence of simple
Dobrovolsky Nikolai Nikolaevich — candidate of physical and mathematical sciences, assistant of the department of applied mathematics and computer science, Tula State University. e-mail: [email protected], [email protected]
Dobrovolsky Mikhail Nikolaevich — candidate of candidate of physical and mathematical sciences, senior researcher, Geophysical centre of RAS. e-mail: [email protected]
Dobrovolsky Nikolai Mihailovich — doctor of physical and mathematical sciences, professor, head of the department of algebra, mathematical analysis and geometry, Tula State L. N. Tolstoy Pedagogical University. e-mail: [email protected],
Balaba Irina Nikolaevna — doctor of physical and mathematical sciences, assistant professor, professor of the department of algebra, mathematical analysis and geometry, Tula State L. N. Tolstoy Pedagogical University. e-mail: [email protected]
Rebrova Irina Yuryevna — candidate of physical and mathematical Sciences, associate professor, dean of the faculty of mathematics, physics and computer science, Tula State L. N. Tolstoy Pedagogical University. e-mail: [email protected]
Abstract
The work continues the study of a new class of Dirichlet series — Zeta function of monoids of natural numbers. First of all, we study in detail the Zeta function Q(M(q)la) of geometric progress M(q) with the first term equal to 1 and an arbitrary natural denominator q > 1, which is the simplest monoid of natural numbers with a unique decomposition into simple elements of the monoid. For a meromorphic function Q(M(q)la) = q^_1 with many poles
S(M (^ = {2^
representations are received:
k g Z
CO/ 2 i 2 \ _1 -i -i °°
>/,,-/ m x r / a2 In q\ 1 1 -s—^ 2a lnq
t(M(i)la) = aam-q + =2 + anq + X1 a^m^T^
n=l v ' n=l ^
q 2 a lnq ( ai ln q \ f ai lnq
4-k2 \ 2-K ) \ 2TT
For the Zeta function Q(M(p)la) of the monoid M(p) with a finite number of primes p = (p1y... ,pn) the decomposition into an infinite product is obtained
«M o?)k.)=n n {1+^
v ' j/= 1 m = 1 v
where P(p) = pi.. .pn, Q(p) = lnpi... lnpn, and a functional equation is found
c (M (P)|- «) = (-l)»
For the monoid of positive integers M*(p) = N • M-i(p) with a unique Prime factorization consisting of positive integers n mutually Prime with P(p) = pi.. .pn, and for the Euler product P(M* (p) / alpha), of factors for all primes other than pi,... ,pn,& functional equation
is found
c(M*(p)la) = M(p,a)C(M*(p)|1 - a),
where
M°> =M<»' • imr-ay MM a) = in I1 - .
It is proved that for any infinite set of Prime Pi there is no analytic function equal to
lim C(M(pn)la)
on the whole complex plane.
The protective series conjecture is formulated for any exponential set of PE primes. In conclusion, topical problems with zeta-functions of monoids of natural numbers that require further investigation are considered.
Keywords: Riemann zeta function, Dirichlet series, zeta function of the monoid of natural numbers, Euler product, logarithm of the Euler product.
Bibliography: 17 titles. For citation:
N. N. Dobrovol'skii, M. N. Dobrovol'skii, N. M. Dobrovol'skii, I. N. Balaba, I. Yu. Rebrova, 2018, "About «zagrobelna the series» for the zeta function of monoids with exponential sequence of simple" , Chebyshevskii sbornik, vol. 19, no. 1, pp. 106-123.
1. Введение ................................................................................110
2. Дзета-функция геометрической прогрессии и теоремы Вейерштрасса и Мн гпн Леффлера ..................................................................................111
3. Дзета-функция геометрической прогрессии и гамма-функция Эйлера.................115
4. Дзета-функция моноида с конечным числом простых чисел ...........................116
5. Множитель Римана и модифицированный множитель Римана ........................117
6. Экспоненциальная последовательность простых чисел ................................119
7. Заключение.............................................................................120
Список цитированной литературы ........................................................121
REFERENCES ............................................................................122
1. Введение
Гиперболическая дзета-функция решёток задаётся в правой полуплоскости а > 1 дзета 2
рядом
С(Л|а) = (й! (1)
хел
Очевидно, что при 5 = 1 гиперболическая дзета-функции решётки выражается через дзета-функцию Римана. В многомерном случае имеются свои существенно новые задачи, не имеющие аналогов в одномерном случае.
В работе [5] приводятся необходимые факты из истории создания и развития теории гиперболической дзета-функции решёток. Выделены основные направления современных исследований по развитию этой теории.
Не повторяясь в перечислении основных достижений в области развития теории гиперболической дзета-функции решёток, укажем на одно новое направление исследований. Проблема аналитического продолжения гиперболической дзета-функции решёток на всю комплексную плоскость в последнее время привела к необходимости сосредоточиться на одномерном случае, а именно, на гиперболической дзета-функции Гурвица.
В процессе анализа различных одномерных случаев неожиданно возник вопрос о дзета-функциях моноидов натуральных чисел. Среди всех моноидов натуральных чисел особое место занимают моноиды с однозначным разложением на простые элементы, так как именно для них имеет место разложение дзета-функциях моноида в эйлерово произведение. Здесь важно подчеркнуть, что среди простых элементов моноида встречаются как простые числа, так и псевдопростые числа. В работе [9] начаты эти исследования, а в [10] они продолжены.
Обратим внимание, что простейшем примером моноида с однозначным разложением на простые элементы является геометрическая прогрессия М(д) с начальным членом равным единице и знаменателем д > 1 — произвольным натуральным числом. В следующем разделе мы более подробно обсудим этот случай и возникающие проблемы.
В работе [9] введено понятие экспоненциальной системы РЕ простых чисел и показано, что дзета-функция минмального моноида М(РЕ) натуральных чисел, образованного произ-
Р Е
сходящемся в правой полуплоскости а = а + И, а > 0. Таким образом, голоморфная дзета-функция ((М(РЕ)\а) принимает все значения, кроме 0.
Цель данной статьи сформулировать гипотезу, что не существует аналитического продолжения дзета-функции ((М(РЕ)\а) в левую полуплоскость а ^ 0 из-за наличия всюду
2 Символ У]' означает, что из области суммирования исключается х = 0, и для любого вещественного х величина х задается равенством х = тах(1, |ж|).
плотного на мнимои оси заградительного ряда
5 (М (РЕ)) =
( 2тк
к е Z,n е Ю , РЕ = {рп\п е N},
\ 1п рп
состоящего из объединения множеств полюсов дзета-функций ((М(рп)|а).
2. Дзета-функция геометрической прогрессии и теоремы Вейер-штрасса и Миттаг^Леффлера
Прежде всего, рассмотрим целую функцию да — 1, которая имеет бесконечно много нулей, [менно, а = 0 и ап = (п = ±1, ±2,...).
Лемма 1. Справедливо равенств
/ 2 \
в" — 1 = е»а П (^¿з)- Р)
п= 1 4 7
Доказательство. Хорошо известно разложение в бесконечное произведение (см. [14], стр. 235)
/ 2 \ sina = а П í1 - П2Ы •
п= 1 ^ '
Применяя формулу Эйлера sin a = — , получим
• ia ■ ia . .
« i « / « _«\ „. »е '2 — е'2 г a\
е" — 1 = е 2 е ^ — е 2 = 2ге 2-= —2ге 2 sin — •
V ) 2г \2 J
Отсюда следует, что
" " ia Д / (¥)2 \ « Д / a2 \
е" — 1 = —2 в' у П I1 — П%2) =еТ" П (^w)
и утверждение леммы доказано. □
Следствие 1. Справедливо равенств
q" — 1 = 9f (a Inq) П (l + ^)• <3>
n= 1 ^ '
Доказательство. Действительно,
д 1пд , , ч Л . (а 1пд)2
1 = е". — 1 = е^ (a Ъ,) П (1 + ■^
га=1 ^ '
/ a2 ln2q\ V 4т2п2 ) •
ге=1 4 7
га=1
/ 2 л 2 ••
<*,. ч т^ Л a2 ln2 q = q 2 (a Inq) Ц ( 1 +
n= 1
□
Таким образом, для целой функции qa — 1 теорема Вейерштрасса имеет вид:
— ^ (аЫд) П ^ + ^^У №
га=1
Дзета-функция геометрической прогрессии М (q) задается формулой
оо
((М(l)\o) = Y,TÄ = (а = а + й,°> 0). (5)
п=0 (q ) 1 - ^
Из формулы (5) следует, что дзета-функция геометрической прогрессии аналитическая функция во всей а-плоскости кроме точек ао = 0, где v неё простой полюс с вычетом
Resc С( М (q)\a) = -1-.
mg
и точек (Xk = (^ = ±1, ±2,...), в которых простые полюса с вычетами
Res 2 ыъ ((М (q)\a) = г1-.
ln q in Q
Действительно, применяя правило Лопиталя, получим
а а 11 Res0 С(М ( q)\a) = iim-1- = iim-- = iim
Аналогично,
1 — ^ «^о qa — 1 «^о lngqa lng'
_ 2кгж _ 2кгж
X In 9 X In Я
Res2fcix (( М (q)\a) = lim -=— = lim -= lim , , .
hw Wl a^2^ 1 — ^ ^ Qa — 1 in 9 in 9
ln q Q ln q ln q
Отсюда следует, что ((М(д)\а) — мероморфная функция на комплексной а-плоскости, которая имеет следующее разложение в бесконечное произведение
«м мм = Й (1 + ^(6)
А следовательно, к ней применима теорема Миттаг-Леффлера (см. [14], стр. 225). Таким образом, мы получаем, что для некоторой целой функции (а) и некоторых многочленов Рп,д(&) Для С(М(<?)\а) справедливо разложение в ряд
ам Ша) = Ьд (а) + +
+ Ё I Т-тЦ-+ Рп*(а) + Т-Г~\-+ Р-п*(а) I • (7)
-Л(а - [а + тпг) ^ )
Теперь возникают два естественных вопроса: Как найти целую функцию ( а)? И как найти многочлены Рп>я(а), которые обеспечат сходимость ряда?
На второй вопрос ответ несложно найти в книге Б. В. Шабата (см. [14], стр. 226). Надо положить Рп,д(а) = Действительно,
1 1 а 1по
+
— 2пгж^ in(j 2пт (а lng — 2пш)2пш
Далее имеем:
а lng + а lng 2а lng
(аlng — 2niж)2пт (аlnq + 2niж)(—2пт) а2 ln2g + 4п2^2
1
1
Отсюда следует, что
л/„..-/мч , / ч 1 ^ 2а 1пд
С(М(д)1а) = (а) + ^ + V ^ 2 1] 2 2 -а 1пд ^ а2 1п2 д + 4п2ж2
п=1 ^
Для дзета-функции геометрической прогрессии легко найти функциональное уравнение. Действительно,
аМШ-а) = -Г - 1 - «М«)|а)
д-а - 1 1 - да д»
И так, целая функция (а) задаётся равенством
^ ^ ОО
_ , . 1 1 ^—> 1 ^—>
па(а) = 1 +--------2а 1па > ——о-т = > —г-а
па — 1 ГУ Л п ( ^ Г\,2
да - 1 а 1пд 1п2 д + 4п2ж2 п\
<п — 1 <п — и
П=1 4 П=0
где
ап,д = Ы^Ха)
а=0
Так как
1 , 1 , 1 (-1)
К (-а) = 1+--- ^ —--+2 а 1пдУ ——2-— = V
П-а — 1 ГУ Л п ( ^ Г\,2
п
п
д-а - 1 а 1пд ^ а21п2 д +4п2ж2 ^ п\
п=1 ^ п=0
К(а) + Ыд(-а) = 2 + -— +-1-= 1 = 2У 0^а2п,
' ' да - 1 д-а - 1 (2п)\ '
поэтому ао.д = 1 и а2п,д = 0 (п ^ 1),
(а) = 1 + У а2п+1''1 ^2п+1
а
2
те
а2п+1.а 2 -а
('2п + 1)
п=0
2'^(2п + 1)Г
По правилу Лопиталя для ао.д находим аналогичный результат:
Л 1 1 ^ 1 а 1пд - да + 1 1
а0„ = 11Ш 1 +-----:— = 1 + 11^ --——-- = 1 +
да - 1 а 1пд] а^о (да - 1)а 1пд
1пд - 1п дда 1 - да + 11^ --:--г—:- = 1 + 11Ш
а^о 1п ддаа 1п д + (да - 1) 1п д а^о даа 1п д + да - 1
да 1пд 1
1 — 11Ш
а^о даа 1п2 д + да 1пд + да 1пд 2
Рассмотрим геометрическую прогрессию М(е) = {еп1п ^ 0}. Она не является моноидом натуральных чисел, но — моноид трансцендентных чисел. Нетрудно видеть, что дзета-функция С(М(д)|а) моноида М(д) для любого д > 1 легко выражается через дзета-функцию ((М(е)1а): ((М (д)1а)=((М (е)1а 1пд). Положим
11 те 1 1 те
Ы(а) = 1 + —^ - 1 - 2аУ 2 1 2 2 =^ + У "2п+\,ап,
еа -1 а ^ а2 + 4п2ж2 2 ^ (2п + 1)\ '
п=1 п=о
тогда
1 те 2 а
((М(е)1а) = а) + + ~2—^п^2, ^(а) = Ы(а 1пд), ап.д = ап 1па д.
п=1
Численные расчёты в Майсас! позволяют сделать предположение, что Ы(а) = 2.
Лемма 2. Справедливо равенство Ь(а) =
Доказательство. Для доказательства этого факта достаточно показать, что целая функция к(а) ограничена по модулю на всей комплексной плоскости С. Для этого, прежде всего, установим, что Ь( а) периодична с периодом 2ттг. Действительно,
еа 1 ^^ 1 еа
Ь(а) = - а - ^сР + 4П2^2 = ^-Г - Л«),
п=1
где
Далее имеем:
Да) = 1 + у(-1-+-1-) = 11ш V
а \ а — 2ппг а + 2пт I N
п=1 4 7 п= —N
И 1 /( а ^ г)= Иш У
N^ а + 2ттг — 2пттг
п=-N
( м 1 1 1
И в силу периодичности еа периодичность Ь(а) доказана. Рассмотрим полосу а = а + И с —те < а < те, —тт ^■к.
Положим д(а) = 1 + ра_1 — -
и
С 1 1 /1( а)=2«Еа2 +4п2.2 = /И — -,
га=1
тогда
Ь(а)=д( а) + Д( а), Ь(0) = д(0) = 1, Д(0) = 0.
В прямоугольнике \а\ ^ 2-^, —тт ^ í ^ ■к функция д(а) непрерывна, следовательно ограниченна.
При а > 2тт справедливы оценки
\д (а)\ =
11
1 +
ео+и — 1 а + й При —а < —2тт справедливы оценки
\9 («)\ =
11
1 +
еа 1
^--1---> 1 при а оо.
еа — 1 а Р
11
^--1---> 0 при а оо.
еа — 1 а Р
е-а+и — 1 —а + 11
Отсюда следует, что д(а) ограниченно в рассматриваемой полосе.
Так как Д(—а) = — Д(а), то достаточно рассмотреть полосу а ^ 0 —к ^ t ^ ■к. Имеем при а > ж:
С /
, , , , , С Лх , ^ агйап (Щ*)
\Л(«)\ < 2<а + *)} = 2(а + 'М 2^
/Т \
С
= < 1. 2а
о /
1
При 0 ^ а ^ ж имеем:
те
I ^ ( л) < 2(а + _
4п2ж2 12
те 1 +
\Ма)\ < 2(а + У —Г2 = ^ < 1
п=1
Отсюда следует, что (а) ограниченно в рассматриваемой полосе.
Таким образом, целая периодическая функция ограничена в полосе основного периода, следовательно, она ограничена на всей комплексной плоскости С, что доказывает, что она константа: к(а) = □
И так, теорема Миттаг-Леффлера для дзета-функции геометрической прогрессии записывается следующим образом:
м % 1 1 2а 1пд
«М МЫ = 2 + и^Е а Ы*„ + 4п*ж* ■
п=1 ^
3. Дзета-функция геометрической прогрессии и гамма-функция Эйлера
Хорошо известна формула (см. [3], стр. 326)
те
= -е1а П {1 + 0)е■ ®
Из неё следует, что
Отсюда вытекает, что
Г(а) 11 V п)
п=1
те / 2 \
-а2П 1 - а,
п=1 4 7
Г(а)Г(-а) „=\\ п2
П( а 1п2о\ /аг 1па\ ^ /аг 1пд\ ^ / аг 1па\
„.Д1 + а™) = -{-иг) ч-ИГ)Ч--ит)■
Но тогда из равенства (6) следует, что
« МШа) = ^Г () Г (-)■ <9>
Из формулы (9) сразу следует, что дзета-функция геометрической прогрессии имеет полюса в точках а = (п € 2), так как гамма функция имеет полюса в 0 и в отрицательных целых точках.
Также из формулы (9) сразу следует функциональное уравнение для дзета-функции геометрической прогрессии:
« М(д)\ - а) = () Г (-)
д2(-а)1пд_г^ агЬпд^^ - аШ_д^ = - С(М (д)\а) ^^
Так как
то
Иш ((М(д)\а) = 1 (а = а + г$,
а^-те
1\ш ((М(д) \ -а)=0 (а = а + г$.
а^те
1
4. Дзета-функция моноида с конечным числом простых чисел
Пусть р = (р1,... ,Рп) — произвольный вектор с п ростыми р1 < Р2 < ... < рп- Через М(р) обозначим минимальный моноид натуральных чисел, образованный простыми числами Р1,... ,'рп, тогда, очевидно, что для дзета-функции ((М('р)\а) справедливо равенство
п п
С(М(р)\а) = П <(М(Ри)\а) = П ^^. (И)
и=1 и=1 1 РЧ
Из равенств (11) и (6) следует, что дзета-функция С,(М(р)\а) — мероморфная функция на комплексной а-плоскости, которая имеет следующее разложение в бесконечное произведение
п / Щ С / 212 \ —1\
(р>\») = П ^ П (' + ^) . <12)
и=1 \ т=1 /
Если положить Р(р) = '1.. .рп, Q('р) = 1п'1 ... 1прп, то равенство (12) можно переписать в следующем виде:
п С / 212 \ _ 1
Р (р)2 ТТ С Л (у2 1п2 ру
и=1 т=1 4 7
Будем через 5 (А) обозначать множество полюсов дзета-функции
С(А|а) = У ПП^ (а = а + г*,а> 1) п
пеА
произвольного множества натуральных чисел А. Если А — конечное множество, то 5(А) = 0. Используя эти обозначения, получим равенство
5(М(р)) = 0 5(М(ри)) = { к е Z, и = 1, 2,...,п). и=1 I 1п )
Для дзета-функции С,(М('р)\а) справедливо функциональное уравнение
«М (р) — а) = ( —. (14)
Обозначим через ((А,В\а) функцию отношения двух дзета-функций:
С(А|а)
С(А,В\а) =
((В\а)"
Рассмотрим £(П,М(р)\а). Эта функция в правой полуплоскости а = а + И, а > 1 задается дзета-рядом
С(П,М(р)\а) = С(М*(р)\а) = У -1 = П (1 — р1) 1 = Р(М*(р)\«),
пеп^м-1(р) реР\р^ '
где моноид натуральных чисел М*(р) = N ■ М—1(р) с однозначным разложением на простые множители состоит из натуральных чисел п взаимно простых с Р(р) = р1... рп, а эйлерово произведение Р(М*('р)\а) состоит из сомножителей по всем простым числам отличным от р1,..., рп-
В следующих разделах мы изучим аналитическое продолжение дзета-функции
С(М *(р)\а) = ((П,М (р)\а).
Рассмотрим обратный ряд (*(М('р)\а) для дзета-функции ((М('р)\а). По принципу вложенности из работы [10] получаем, что
<•< м<Й|„)= Е ^ = П (i - ±),
пем(р) v=\ 4 L v/
с<м*т*)= Е ^ = П (i - ¿)
пЕ.М *(р) Р=РV (^=1,...,п)
где у(п) — обычная функция Мёбиуса.
Функция С*(М('р)\а) задается своим эйлеровым произведением на всей комплексной плоскости и является целой функцией, для которой множество нулей совпадает с множеством полюсов Б(М(р)) дзета-функции ((М('р)\а). Для неё справедливо функциональное уравнение
С(М Ш-а) = (-1)пР (р)а С(М 0\а).
5. Множитель Римана и модифицированный множитель Римана
Через
„ , . 2Г(1 — а) . -а
М<а)= (2*у-а) Ia (15)
будем обозначать множитель из функционального уравнения для дзета-функции Римана (См. [12], стр. 19)
«а)=М <а)«1 — а). (16)
Легко проверить, что
М(а) ■М(1 — а) = 1. (17)
Действительно,
, 2Г(1 — а) -а 2Г(а) -<1 — а)
м (а) ■м (1—а) = sin -2Т ■ 2гаsin ^^
Г(а)Г(1 — а)
sin-а = 1
-
согласно формулы дополнения для гамма-функции (см. [13], стр. 19).
Множитель М(а) будем называть множителем Римана, а формулу (17) — формулой дополнения для множителя Римана.
Из свойств гамма-функции, определения (15) и формулы дополнения (17) следует, что
а
а = 1, 3, 5,... — нечетных натуральных значений, где он имеет полюс первого порядка.
Действительно, при а = п Е N имеется полюс первого порядка v гамма-функции Г(1 — а) и это все полюса, а множитель sin имеет значения
. -п =( <—1)т, при п = 1 + 2т,т = 0,1,2,____
2 |0, при п = 2т, т Е N.
Поэтому при нечетных натуральных значениях а = 1, 3, 5,... множитель Римана М (а) имеет полюса с вычетом
Кеза=1+2ПМ (а) = (22(~)—)2гаКева=—2ПГ(а) = 2(—. (18)
При натуральных четных значений а = 2п, (п е П) имеем:
м (а) = Дш 1Г = ДшГ(1 — а)(1 — а — (1 — 2п))
ж(% -п) _ 2 (-1)2п-1 /_ ж\ (2ж)2п а^2п % - п) «Т2п 2п2 -а = (2ж)1-2п ^ (2п - 1)! • V 2 J = 2 • (2п - 1)!'
lim ———lim
По свойствам гаммы функции Г(1 + 2п) = (2п)!, (п = 0,1, 2,...). Поэтому в четных отри-а
м(-2п) = 2Г^ж!)+1+2п) sin(-Tm) = 0, п е No = N U{0>. (19)
Так как гамма-функция не имеет нулей на всей комплексной плоскости, то нули множителя Римана являются нулями функции sin и формулой (19) исчерпываются все нули множителя Римана, которые являются тривиальными нулями дзета-функции Римана. Наконец, в точках а = -1, -3, -5,... имеем:
. . . 2Г(2п) ж(1 - 2п) 2(2п - 1)!(-1)п
м(а) = м(! - 2п) = "(Г2^ sin ( 2 ) = ( ^уП ) , (п е N)
(2)
1\ 2Г (1) , ж ^2
- =--2- sin — =-,--
2 ¡ (2тг) 2 4 (2тг)1 2
Теорема 1. Для дзета-функции моноида М*(р) справедливо функциональное уравнение
С(М *(р)\а) = М (р,а)((М *(р)\1 — а), (20)
где
м « а) = м (а) • мжг^ • м'® а) = П (г - ¿1%)
Доказательство. Действительно, при а = -а + it, а ^ 0 имеем:
СШ*(и)Ы С(а) м(а)С(1 - а) = м(аЖмШ - а) ^*(р)|1 а)
^(м(^|а) = С(м(р)|а) = С(м(р)|а) = С(м(р)|а) С(м (р)|1 - а)'
0ТСЮда Следует^ ЧТ0
^ 1
м1(р,а)
1- ^
м(р, а) = м(а) • П-ih = м(а)
,=11 - ^ м(р,1
что и доказывает утверждение теоремы. □
Из утверждения теоремы сразу следует, что
М(р,а)М(р, 1 — а) = 1, М^рр, 0=1.
Другое важное следствие доказанной теоремы состоит в том, что дзета-функция моноида М* (р) имеет эйлеровское произведение, модифицированное функциональное уравнение и дополнительное множество "тривиальных нулей", которое совпадает с множеством полюсов
S(м(р)) дзета-функции ((м(р)| а) моноида м(р).
и
6. Экспоненциальная последовательность простых чисел
В работе [9] дано следующее определение экспоненциальной последовательности простых чисел и доказана теорема.
Пусть q ^ 2 — произвольное натуральное число, тогда бесконечную последовательность простых чисел р1 < р2 <■ • • < рп <■ ■ ■ будем называть экспоненциальной, если выполняются соотношения q ^ р1 < q2, qv < ри < qv+1 (v ^ 2).
В силу постулата Бертрана, доказанного П. Л. Чебышёвым, (см. [15]) для любого q ^ 2 существует бесконечно много экспоненциальных последовательностей простых чисел.
Теорема 2. Для любого q^ 2 и любой экспоненциальной последоват,ельност,и простых чисел РЕ = {р 1, р2,..., рп,...} дзет,а, ряд для дзета-функции ((М(РЕ))1а) абсолют,но сходится, для, любого а в полуплоскости а > 0 и равномерно в полуплоскости а ^ а0 для, любого яо > 0.
Естественно возникает вопрос о возможности аналитического продолжения дзета-функции ((М(РЕ))1а). Как будет показано дальше, ответ на этот вопрос будет, скорее всего, отрицательный. Отсюда будет следовать и отрицательный ответ на вопрос об аналитическом продолжении дзета-функции £( М*(РЕ))1а) = ((N,M(РЕ)) |а) моноида М*(РЕ) = N ■ М-1(РЕ) с однозначным разложением на простые множители, который состоит из натуральных чисел п взаимно простых с простыми из экспоненциального множества простых РЕ, а эйлерово произведение Р(М*(РЕ)1а) состоит из сомножителей по всем простым числам отличным от Р Е
Для решения поставленной задачи рассмотрим для любого моноида М (рр) две аналитические функции:
С(М(р)1а) = ((М(р)1а) (а = а + it, а < 0), (21)
С+(М(р)\а) = ((М(р)1а) (а = а + it, а > 0). (22)
Пусть Pi — произвольное бесконечное подмножество множества простых чисел P, р1 < < р2 < рз < ... — естественная нумерация всех прост ых чисел из Pi и рп = (р i,..., рп) для
п
P1
lim С-(М(рп)1а) = 0 при а < 0, (23)
lim (+(М(рп)1а) = ((М(Pi)la) при а > ар1, (24)
п
где ар1 ^ 1 — абсцисса абсолютной сходим,ост,и дзет,а-ряда, для дзета-функции ((М(Р^)!-).
При этом для любой полуплоскости с а ^ а0 < 0 сходим,ост,ь в (23) равномерная, а в (24) эта сходим,ост,ь равномерная для любой полуплоскости с а ^ а0 > ар1.
Доказательство. Действительно, предельное соотношение (24) и соответствующая равномерная сходимость доказывается аналогично случаю дзета-функции Римана (см. [12], стр. 7).
Для доказательства предельного соотношения (23) заметим, что согласно функциональ-
а < 0
^«)\а)\ = < < - ^ » - -
так как Р(рп) — ж при п — ж, а0 < 0 и ((М(рп)\ - а0) ^ ((-а0). Тем самым теорема полностью доказана. □
Следствие 2. Для любого бесконечного множества простых не существует, аналитической функции равной
lim ((М(рп)\а)
п—>оо
на всей комплексной плоскости.
Доказательство. Действительно, пусть такая функция f(a) существует, тогда f(a) = 0 при а < 0, но тогда она тождественный ноль на всей плоскости, что противоречит тому, что при а > ар1 она должна быть равна дзета-функции ((M(Pi))|q:). □ Аналогичное утверждение справедливо для а > ар1
lim С(MШН,
так как в правой полуплоскости предел равен £*(M(Pi))|a), а в левой полуплоскости а < 0 каждая точка будет особой точкой предельной функции.
Объяснением данного явления, по-видимому, следующее. Если рассмотреть последовательность дзета-функций ((M(рп)1а) мероморфных функций на комплексной а-плоскости, то мы имеем вложенную последовательность множеств полюсов этих функций:
5(M(fi)) с S(MШ) с ... с S(M(fin)) с ..., которая сходится к множеству S(M(Pi)), заданному равенством
S(M (Pi)) = Q S (M (fn)).
п=1
Нетрудно видеть, что множество Б(М(Р1)) всюду плотно на мнимой оси, поэтому если доказать что 5(М(Р1)) является множеством особых точек, то оно будет выполнять функции заградительного ряда для аналитического продолжения дзета-функции ((М(Р1 ))\а), когда ар1 = 0.
Р1 = Р аР = 1 а = 1
ко один полюс дзета-функции Римана. Предыдущее обсуждение позволяет сформулировать следующую гипотезу.
Гипотеза. Для любого экспоненциального множества РЕ простых чисел множество 5(М(РЕ)) является множеством особых точек дзета-функции ((М(РЕ)\а) моноида М(РЕ) и образует, заградительный ряд для существования аналитического продолжения дзета-функции ((М(РЕ)\а) в левую полуплоскость а ^ 0.
Аналогично, в(М(РЕ)) является множеством нулей функции (*(М(РЕ)\а) и образует заградительный ряд для существования аналитического продолжения дзета-функции (*(М(РЕ)\а) в левую полуплоскость а ^ 0.
7. Заключение
Авторы выражают свою благодарность профессорам В. И. Иванову и В. Н. Чубарикову за полезные обсуждения и постоянное внимание к работе.
В процессе этих обсуждений наметились следующие актуальные и перспективные направления исследований.
Р1
стых чисел, для которых дзета-функция ((М(Р1))\а) моноида М(Р1) с однозначным разложением на простые числа и эйлеровым произведением имела бы ар1 ^ 1 — абсциссу абсолютной сходимости дзета-ряда для дзета-функции ((М(Р1))\а) равной заданному числу @ с 0 < @ < 1.
Особый интерес представляют те последовательности, для которых р = 2, так как для таких последовательностей множество полюсов дзета-функции соответствующего минимального моноида будет входить в множество нетривиальных нулей дзета-функции Римана.
Во-вторых, встает вопрос о связи распределения простых чисел в произвольном моноиде с однозначным разложением на простые числа и нулями дзета-функции этого моноида.
В-третьих, в случае моноидов с однозначным разложением на простые элементы, среди которых не только простые числа, но и псевдо-простые числа, какие законы распределения существуют?
Ещё более сложный вопрос — это распределение простых элементов в моноидах без однозначности разложения на простые элементы моноида.
В-четвертых, когда множество натуральных чисел разбивается на классы вычетов по модулю д > 2, то соответствующие дзета-функции классов вычетов, которые выражаются через
а > 1
никает вопрос, а справедлив ли аналог теоремы Дэвенпорта — Хейльброна при разбиении произвольного моноида с однозначным разложением на простые множители на классы вычетов по модулю д > 2?
В-пятых, для каких дзета-функций моноидов натуральных чисел существуют заградительные ряды из полюсов, наличие которых запрещает существование аналитического продолжения.
Наконец, на наш взгляд, важным направлением исследований является вопрос о разложении дзета-функции Римана в произведение различных дзета-функций множеств натуральных чисел и рядов Дирихле и изучение множеств их полюсов и нулей.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Э. Бомбьери, А. Гош Вокруг функции Дэвенпорта-Хейльбронна // УМН, 2011. Т. 66, вып. 2(398). С. 15-66.
2. С. М. Воронин Избранные труды: Математика / Под ред. А. А. Карацубы. — М.: Изд-во МГТУ им. Н. Э. Баумана. 2006. - 480 с.
3. С. М. Воронин, А. А. Карацуба Дзета-функция Римана. — М.: Физ-матлит, 1994. — 376 с.
4. А. Гурвиц, Р. Курант Теория функций. — М.: Наука, 1968. — 618 с.
5. С. С. Демидов, Е. А. Морозова, В. И. Чубариков, И. Ю. Реброва, И. Н. Балаба, И. Н. Добровольский, И. М. Добровольский, Л. П. Добровольская, А. В. Родионов, О. А. Пихтиль-кова Теоретико-числовой метод в приближенном анализе // Чебышевский сб. 2017. Т. 18, вып. 4. С. 6-85.
6. Добровольская Л. П., Добровольский М. Н., Добровольский Н. \!.. Добровольский Н. Н. Гиперболические дзета-функции сеток и решёток и вычисление оптимальных коэффициентов // Чебышевский сборник 2012 Т. 13. Вып. 4(44). Тула, Нз-во ТГПУ им. Л.Н.Толстого. С. 4-107.
7. Добровольский М. Н. Функциональное уравнение для гиперболической дзета-функции целочисленных решёток // Доклады академии наук 2007. Т. 412, № 3. С. 302-304.
8. И. М. Добровольский, И. Н. Добровольский, В. И. Соболева, Д. К. Соболев, Л. П. Добровольская, О. Е. Бочарова О гиперболической дзета-функции Гурвица // Чебышевский сб. 2016. Т. 17, вып. 3. С. 72-105.
9. Н. Н. Добровольский Дзета-функция моноидов натуральных чисел с однозначным разложением на простые множители // Чебышевский сб. 2017. Т. 18, вып. 4. С. 187-207.
10. Н. Н. Добровольский О моноидах натуральных чисел с однозначным разложением на простые элементы // Чебышевский сб. 2018. Т. 19, вып. 1. С.
11. Г. Дэвенпорт Мультипликативная теория чисел. — М.: Наука, 1971. — 200 с.
12. Е. К. Титчмарш Теория дзета-функции Римана. М.: ИЛ, 1953. 408 с.
13. Э. Т. Уиттекер, Д. И. Ватсон Курс современного анализа. Часть вторая. Трансцендентные функции. — М.: Физматгиз, 1963. 516 с.
14. Б. В. Шабат Введение в комплексный анализ — М.: Наука, 1969. — 576 с.
15. Чандрасекхаран К. Введение в аналитическую теорию чисел. — М.: Мир, 1974. 188 с.
16. Н. Davenport, Н. Heilbronn On the zeros of certain Dirichlet series //J. London Math. Soc. 1936. Vol. 11. P. 181-185.
17. L. P. Dobrovolskava, M. N. Dobrovolskv, N. M. Dobrovol'skii, N. N. Dobrovolskv. On Hyperbolic Zeta Function of Lattices. In: Continuous and Distributed Systems. Solid Mechanics and Its Applications. Vol. 211. 2014. P. 23-62. DOI:10.1007/978-3-319-03146-0_2.
REFERENCES
1. Bombieria E., Ghoshb A., 2011, "Around the Davenport-Heilbronn function", Uspekhi Mat. Nauk, 66:2(398) pp. 15-66.
2. Voronin S. M., 2006, Izbrannye trudy: Matem,atika. Pod red. A. A. Karacuby, Izd-vo MGTU im. N. Je. Baumana, Moskva, 480 p.
3. Voronin S. M., Karacuba A. A., 1994, Dzeta-funkcija Rimana, Izd-vo Fiz-matlit, Moskva, 376 p.
4. Gurvic A., Kurant R., 1968, Teorija funkcij, Izd-vo Nauka, Moskva, 618 p.
5. Demidov S. S., Morozova E. A., Chubarikov V. N., Rebrov I. Yu., Balaba I. N., Dobrovol'skii N. N., Dobrovol'skii N. M., Dobrovol'skava L. P., Rodionov A. V., Pikhtil'kova O. A., 2017, "Number-theoretic method in approximate analysis" Chebyshevskii Sbornik vol. 18, № 4. pp. 6-85.
6. Dobrovol'skaja L. P., Dobrovol'skij M. N., Dobrovol'skij N. M., Dobrovol'skij N. N., 2012, "Giperbolicheskie dzeta-funkcii setok i reshjotok i vvchislenie optimal'nyh kojefficientov" Chebyshevskii Sbornik vol 13, №4(44) pp. 4-107.
7. Dobrovol'skij M. N., 2007, "Funkcional'noe uravnenie dlja giperbolicheskoj dzeta-funkcii celochislennvh reshetok" , Doklady akademii nauk, vol 412, № 3, pp. 302-304.
8. Dobrovolskv N. M., Dobrovolskv N. N., Soboleva V. N., Sobolev D. K., Dobrovol'skava L. P., Bocharova О. E., 2016, "On hyperbolic Hurwitz zeta function" , Chebyshevskii Sbornik, vol. 17, № 3 pp. 72-105.
9. Dobrovolskv N. N., 2017, The zeta-function is the monoid of natural numbers with unique factorization Chebyshevskii Sbornik, vol. 18, № 4. P. 187-207.
10. Dobrovolskv N. N., 2018, "On monoids of natural numbers with unique factorization into prime elements", Chebyshevskii Sbornik, vol. 19, № 1. P.
11. Davenport H., 1971, Mul'tiplikativnaja teorija chisel, Izd-vo Nauka, Moskva, 200 p.
12. Titchmarsh E. K., 1952, Teorija dzeta-funkcii Rimana Izd-vo I-L, Moskva, 407 p.
13. Whittaker E. T., Watson D. N., 1963, A Course in modern analysis. Part two. Transcendental function. — Moscow: Fizmatgiz, 516 p.
14. Shabat B. V., 1969, Introduction to complex analysis— M.: Science, — 576 p.
15. Chandrasekharan K., 1974, Vvedenie v analiticheskuju teoriju chisel, Izd-vo Mir, Moskva, 188 p.
16. Davenport H., Heilbronn H., 1936, "On the zeros of certain Dirichlet series" , J. London Math. Soc. Vol. 11. pp. 181-185.
17. Dobrovolskava L. P., Dobrovolskv M. N., Dobrovol'skii N. M., Dobrovolskv N. N., 2014, "On Hyperbolic Zeta Function of Lattices" , In: Continuous and Distributed Systems. Solid Mechanics and Its Applications, Vol. 211. pp. 23-62. DOPIO.1007/978-3-319-03146-0^2.
