Алгебра рядов Дирихле моноида натуральных чисел Текст научной статьи по специальности «Математика»

ЧЕБЫШЕВСКИЙ СБОРНИК

Том 20. Выпуск 1.

УДК 511.3 DOI 10.22405/2226-8383-2017-18-4-187-207

Алгебра рядов Дирихле моноида натуральных чисел1

Н. Н. Добровольский, М. Н. Добровольский, Н. М. Добровольский, И. Н. Балаба,

И. Ю. Реброва

Добровольский Николай Николаевич — кандидат физико-математических наук, ассистент кафедры прикладной математики и информатики, Тульский государственный университет; доцент кафедры алгебры, математического анализа и геометрии, Тульский государственный педагогический университет им. Л. Н. Толстого, г. Тула. e-mail: cheb@tspu.tula.ru, nikolai.dobrovolsky@gmail.com

Добровольский Михаил Николаевич — кандидат физико-математических наук, старший научный сотрудник, Геофизический центр РАН, г. Москва. e-mail: т. dobrovolsky@gcras.ru,

Добровольский Николай Михайлович — профессор, доктор физико-математических наук, заведующий кафедрой алгебры, математического анализа и геометрии, Тульский государственный педагогический университет им. Л. Н. Толстого, г. Тула. e-mail: dobrovol@tsput.ru,

Балаба Ирина Николаевна — доцент, доктор физико-математических наук, профессор кафедры алгебры, математического анализа и геометрии, Тульский государственный педагогический университет им. Л. Н. Толстого, г. Тула. e-mail: ibalaba@mail.ru

Реброва Ирина Юрьевна — кандидат физико-математических наук, доцент, декан факультета математики, Тульский государственный педагогический университет им. Л. Н. Толстого, г. Тула.

e-mail: i_rebrova@mail.ru

Аннотация

В работе для произвольного моноида натуральных чисел строятся основы алгебры рядов Дирихле либо над числовым полем, либо над кольцом целых чисел алгебраического числового поля.

Для любого числового поля К показано, что множество D*(М)K всех обратимых рядов Дирихле из D(М)K является бесконечной абелевой группой, состоящей из рядов, у которых первый коэффициент отличен от нуля.

Вводится понятие целого ряда Дирихле моноида натуральных чисел, которые образуют алгебру над кольцом целых алгебраических чисел ZK алгебраического поля К. Показано, что для группы UK алгебраических единиц кольца целых алгебраических чисел ZK алгебраического поля К множество D(М)Uk целых рядов Дирихле, у которых а(1) € UK, является мультипликативной группой.

Для любого ряда Дирихле из алгебры рядов Дирихле моноида натуральных чисел определены приведенный ряд, необратимая часть и дополнительный ряд. Найдена формула разложения произвольного ряда Дирихле в произведение приведенного ряда и конструкции из необратимой части и дополнительного ряда.

1 Исследование выполнено при финансовой поддержке РФФИ в рамках научного проекта №19-41-710004^р^а.

Для любого моноида натуральных чисел выделена алгебра рядов Дирихле, сходящихся на всей комплексной области. Также построена алгебра рядов Дирихле с заданной полуплоскостью абсолютной сходимости. Показано, что для любого нетривиального моноида M и для любого вещественного а о найдется бесконечное множество рядов Дирихле из D(М) таких, что областью их голоморфноети является а-полуплоскость <г > а0.

С помощью теоремы универсальности С. М. Воронина удалось доказать слабую форму теоремы универсальности для широкого класса дзета-функций моноидов натуральных чисел.

В заключении рассмотрены актуальные задачи с дзета-функциями моноидов натуральных чисел, требующие дальнейшего исследования. В частности, если верна гипотеза Липпика-Ибрагимова, то для них должна быть справедлива и сильная теорема универсальности.

Ключевые слова: дзета-функция Римана, ряд Дирихле, дзета-функция моноида натуральных чисел, эйлерово произведение, теорема универсальности, алгебра рядов Дирихле.

Библиография: 15 названий. Для цитирования:

H. Н. Добровольский, M. Н. Добровольский, H. М. Добровольский, И. Н. Балаба, И. Ю. Реб-рова. Алгебра рядов Дирихле моноида натуральных чисел // Чебышевский сборник. 2019. Т. 20, вып. 1, С. 180-196.

CHEBYSHEVSKII SBORNIK Vol. 20. No. 1.

UDC 511.3 DOI 10.22405/2226-8383-2017-18-4-187-207

Dirichlet series algebra of a monoid of natural numbers2

N. N. Dobrovol'skii, M. N. Dobrovol'skii, N. M. Dobrovol'skii, I. N. Balaba, I. Yu. Rebrova

Dobrovol'skii Nikolai Nikolaevich — candidate of physical and mathematical sciences, assistant of the department of applied mathematics and computer science, Tula State University; associate Professor of algebra, mathematical analysis and geometry, Tula State L. N. Tolstoy Pedagogical University, Tula.

e-mail: cheb@tspu.tula.ru, nikolai.dobrovolsky@gmail.com

DobrovoPskii Mikhail Nikolaevich — candidate of candidate of physical and mathematical sciences, senior researcher, Geophysical centre of RAS, Moscow. e-mail: m.dobrovolsky@gcras.ru

DobrovoPskii 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, Tula. e-mail: dobrovol@tsput.ru,

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, Tula. e-mail: ibalaba@mail.ru

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, Tula. e-mail: i_rebrova@mail.ru

2 Acknowledgments: The reported study was funded by RFBR, project number 19-41-710004_r_a.

Abstract

In this paper, for an arbitrary monoid of natural numbers, the foundations of the Dirichlet series algebra are constructed either over a numerical field or over a ring of integers of an algebraic numerical field.

For any numerical field K, it is shown that the set D*(M)K of all reversible Dirichlet series of D(M)K is an infinite Abelian group consisting of series whose first coefficient is nonzero.

We introduce the notion of an integer Dirichlet monoid of natural numbers that form an algebra over a ring of algebraic integers ZK of the algebraic field K. It is shown that for a group UK of algebraic units of the ring of algebraic integers of ZK an algebraic field K the set of D(M)Uk of entire Dirichlet series, a(1) G UK, is multiplicative group.

For any Dirichlet series from the Dirichlet series algebra of a monoid of natural numbers, the reduced series, the irreversible part and the additional series are determined. A formula for decomposition of an arbitrary Dirichlet series into the product of the reduced series and a construction of an irreversible part and an additional series is found.

For any monoid of natural numbers allocated to the algebra of Dirichlet series, convergent in the entire complex domain. The Dirichlet series algebra with a given half-plane of absolute convergence is also constructed. It is shown that for any nontrivial monoid M and for any real cto, there is an infinite set of Dirichlet series of D(M) such that the domain of their holomorphism is a-half-plane a > a0.

With the help of the universality theorem S. M. Voronin managed to prove the weak form of the universality theorem for a wide class of Zeta functions of monoids of natural numbers.

In conclusion describes the actual problem with the Zeta functions of monoids of natural numbers that require further research. In particular, if the Linnik-Ibrahimov hypothesis is true, then a strong theorem of universality should be valid for them.

Keywords: Riemann zeta function, Dirichlet series, zeta function of the monoid of natural numbers, Euler product, universality theorem, Dirichlet series algebra.

Bibliography: 15 titles.

For citation:

N. N. Dobrovol'skii, M. N. Dobrovol'skii, N. M. Dobrovol'skii, I. N. Balaba, I. Yu. Rebrova, 2019, "Dirichlet series algebra of a monoid of natural numbers" , Chebyshevskii sbornik, vol. 20, no. 1, pp.180-196.

1. Введение

За последние полтора года начало интенсивно развиваться новое направление исследований, связанное с изучением дзета-функций моноидов натуральных чисел [5, 6, 7, 9, 10, 11].

В данной работе преследуется цель — показать, что теория дзета-функций моноидов натуральных чисел входит как составная часть в более общую теорию Алгебры рядов Дирихле моноида натуральных чисел, основы которой и будут изложены далее.

2. Основные определения и обозначения

Пусть М С N — произвольный моноид натуральных чисел. Рассмотрим множество В(М) — произвольных рядов Дирихле вида

Посвящается 70-летию академика Литовской АН, профессора, Антанаса Лауринчикаса,

пем

где g f — абсцисса абсолютной сходимости ист* — абсцисса сходимости. Как хорошо известно [14, 15], для любых рядов Дирихле справедливо неравенство Gf ^ g* + 1.

Пусть K — произвольное числовое поле. Таким образом, Q С K С C. Если все коэффициенты а(п) G K, то множество всех таких рядов Дирихле будем обозначать через D(M)к и оно является бесконечномерным линейным функциональным пространством над полем K.

Выделим подпространство Dœ(M)к условием supraeM |а(п) | < œ. Ha M)к зададим норму

II/МП = suP 1а(п)1

пем

Относительно заданной нормы D'X(M)к является несепарабельным пространством. Оно будет банаховым, если поле K — банахово пространство над полем Q относительно нормы, заданной абсолютной величиной числа из поля K. Так как отсюда следует, что либо K = R, либо K = C, то Dœ(M)к — банахово пространство, только для K = R, либо K = C.

Нетрудно понять, что пространство D'X(M)к над полем K не является алгеброй, так как нет замкнутости относительно произведения рядов Дирихле.

Рассмотрим произведение двух рядов Дирихле из D(M)к

f (-)= Е ^, *(")= Е bJn а(п), Ь(п) G K, пем пем

имеем:

На)9(а) = £ •

пем

где

с(п) = Е а(т)Ь ) G K п G M.

т\п, m, — еМ

1 ' 'm

Следовательно f(a)g(a) G D(M)k и D(M)k является коммутативной алгеброй над полем K. Аналогично, для произведения трёх рядов Дирихле имеем:

f(a) = Е ^, 9(0) = Е ^, h(a) = Е ^, а(п), Ь(п), с(п) G K,

пем пем пем

(f (o)9(o))h(a) = [ £ ^ [ Е а(т)Ь (^^ =

\пем \т|п,т, ^ем ) ) пем

= Е п1 Е а(т1)Ь(т2)с(тз);

пем т\,т2,тзем,т\т2тз =п

f(a)(g(a)h(a)) = £ ± [ Е ^ (£)

пем \пем \т|п,т, ^ ем

= Е Е а(т\)Ъ(т2)с(тз) = (f(a)g(a))h(a),

пем mi ,m2 ,тзем, т\т2тз=п что доказывает ассоциативность алгебры D(M) к над полем K.

Если ряд Дирихле f(a) G D(M)к имеет коэффициент а(1) = 0, то существует обратный ряд Дирихле f-1(a) G D(M)k, то есть такой ряд Дирихле

Г1 (a)= Е ^Т, что f(a)f-1(a) = 1.

пе м

Нетрудно видеть, что коэффициенты Ь(п) удовлетворяют соотношениям:

6(1) = -^-, b(n) = —^ У a(m)b(—) п € М,п> 1. а(1) а(1) ^ \т)

1 ' ' т '

Множество всех обратимых рядов Дирихле из D(M)к обозначим через D*(М)к- Ясно, что это мультипликативный моноид, но справедливо более сильное утверждение.

Теорема 1. Множество D*(M)к всех обратимых рядов Дирихле из D(M)к является бесконечной абелевой группой, состоящей из рядов, у которых первый коэффициент отличен от, нуля.

Доказательство. Действительно, из предыдущего видно, что если первый коэффициент ряда Дирихле а(1) = 0, то существует обратный ряд Дирихле f-1(а) € В(М)к и, значит, f (а) € D*(M)ж.

Покажем теперь, что условие а(1) = 0 является необходимым для обратимости ряда Дирихле. Действительно, если а(1) = 0, то обозначим через т, € М наименьший номер такой, что а(т) = 0. Пусть произвольное (Го > max(oy ,Gf-i) и величина А задана равенством

А = max | V ^, V Mi) , f-1(«)= у ^

пао ^ п00] кпем,п^т пем / пем

тогда при а > (Го имеем:

|/-1(а)| < А, |/(а)| < V ^ ^ — V ^ .

пеМ,п'^т пеМ,п^т

Отсюда следует, что

11т f-1(а)! (а) = 0,

но это противоречит обратимости £-1(а)/ (а) = 1.

Единичным элементом является ряд Дирихле /(а) = 1.

Замкнутость относительно произведения рядов Дирихле очевидна, так как младший коэффициент произведения является произведением младших коэффициентов. Существования обратного элемента входит в определение множества обратимых рядов. □

Обозначим через А/ область аналитичности ряда Дирихле /(а), то есть максимальную область куда ряд Дирихле /(а) аналитически продолжается. Через Ру — множество полюсов его аналитического продолжения, а через 2у — множество его нулей. Очевидно, что для /(а) € В*(М)к выполняются соотношения

Ау-1 = (Ау \ г у) и Ру. 3. Алгебра целых рядов Дирихле

Рассмотрим кольцо целых алгебраических чисел алгебраического поля К. Ряд Дирихле

f(а)= Е ^ а(П) е К,« € М пем п

будем называть целым рядом Дирихле над алгебраическим полем К для моноида М. Множество всех таких рядов Дирихле будем обозначать через В(МЯсно, что В(МС В(М)К-

Нетрудно видеть, что множество целых рядов Дирихле, с одной стороны, является Zк-модулем, а с другой стороны, — алгеброй над целым алгебраическим кольцом Zк•

Обозначим через Пк группу алгебраических единиц кольца целых алгебраических чисел алгебраического поля К. Через В(М)ик обозначим подмножество целых рядов Дирихле из алгебры В(М)%к, у которых а(1) € Пк.

Теорема 2. Множество В(М)ик целых рядов Дирихле является мультипликативной группой.

Доказательство. Во-первых, покажем что множество В(М)ик замкнуто относительно операции умножения рядов Дирихле. Действительно, если

!(а) = Е ^Цт, 9(а) = Е а(п), Ь(п) € а(1), Ь(1) € Пк,

пем пем

то

/(а)д(а) = V ^, с(п) = V а(т)Ь (-) € % п € М, с(1) = а(1)Ь(1) € Пк пем т\п,т, ^ ем

1 ' ' т

и замкнутость установлена.

Во-вторых, единичным элементом является ряд Дирихле /(а) = 1. Наконец, для любого ¡'(а) € В(М)ик имеем:

Г\а)=У^П), Ъ(1) = -^, Ь(п) =--^ V а(т)Ь (-) п €М,п> 1.

J \ ' па у ' а(1) к J а(1) ^ к J \т)

пеМ у ' у ' т\п,т, — еМ,т>1

1 ' ' т '

Ясно, что Ь(1) € Пк- Далее индукцией по п мы получаем, что для всех п € М, п > 1 имеем Ь(п) € что доказывает /-1(а) € В(М)ик- Тем самым теорема полностью доказана. □

Если определить множество В(М)1к целых рядов Дирихле с а(1) = 1, то нетрудно видеть, что это будет подгруппа: В(М)1к С В(М)Пк С В*(М)к.

4. Алгебра необратимых рядов Дирихле

Для произвольного ряда Дирихле /(а) € В(М)к определим его необратимую часть /*(а) равенством /*(а) = /(а) — а(1). Ясно, что /*(а) = /(а) только для необратимых рядов Дирихле. Обозначим множество всех необратимых рядов Дирихле через В°(М)к, а множество всех необратимых целых рядов Дирихле через В°(М)%к. Очевидно, что В°(М)к — алгебра над полем к, а В°(М— алгебра над кольцом Zк•

Ясно, что справедливы следующие разложения в прямые суммы:

В(М)к = к 0 В°(М)к, В(М)2к = ^к 0 В°(М)2к. Кроме этого, справедливы равенства:

в*(м )к = к* + в°(м )к, в* ( м )2к = ^к + В°( М )2к, В(М )ик = Пк + В°(М )2к,

где к* = к \{0} и ZK = Zк \ {0}.

Для произвольного ряда Дирихле /(а) € В(М)к определим его дополнительную часть /**(а) равенством /**(а) = (1 + /*(а))-1 — 1.

Если дан произвольный ряд Дирихле /(а) € В( М)к, то его приведенным рядом Дирихле назовём ряд /(р)(а) € В(М)к, заданный равенством /(р\а) = 1 + /*(а). Очевидно, что для ¡(а) € В(Мбудет ¡^(а) = ¡(а).

Теорема 3. Для любого f (а) € В(М)к справедливо равенство

} (а) = } ^(а)(а(1) + } » + } (а)/*»). Доказательство. Действительно,

} (р)(«)(1 + } *») = (1 + } »)(1 + } ** (а)) = 1; {<*>(а)(а(1) + {» + {(а)/*») = {<*>(«)(/(а) + {(а)/*») = = {(а)/<*>(а)(1 + {*») = {(а).

□

Следствие 1. Для любого f (а) € В(Мсправедливо равенство

} (а) = / (р>(а)(а(1) + / » + } (а)/*»), г^е /(р>(а),а(1) + /» + /(а)/*» € В(МЬк.

Доказательство. Действительно, каждый приведенный ряд Дирихле /(р>(а) для произвольного целого ряда Дирихле /(а) € В(Мпринадлежит группе В(М)1К. Следовательно, 1 + /**(а) € В(Ма значит, и а(1) + /*(а) + /(а)/**(а) € В(М)2к. □

5. Алгебра рядов Дирихле, сходящихся на всей комплексной плоскости

Рассмотрим ряд Дирихле /о(а) € В(М)к, заданный равенством

/о («) = Е 1

п"е" пем

Для любого а = а + ¿¿мажорирующим рядом для /о (а) будет ряд

те £

те 1

пи еп п=1

который сходится по интегральному признаку Коши, так как сходится несобственный интеграл

те те те

I" йх I" йх I" йх 2

У хаех' У ех ^ ] е I еХст '

1 хс

где ха ^ 1 определяется из условия х > —2а 1п ж при х > ха.

Отсюда следует, что ряд Дирихле /о(а) € В(М)к сходится для любого комплексного а. Так как п! растёт быстрее чем еп, то и ряд Дирихле /1(0) € В(Мзаданный равенством

1

ли = Е

п"п!

пе м

будет сходиться для любого комплексного а. Так как В(М^ С В(М)к для любого числового поля К т0 Для любого числового поля К множество рядов Дирихле, сходящихся для любого комплексного а, непусто. Обозначим это множество через ВС(М)к-Будем через ВПп(М)к, ВПп(М)2к, ВПп{М)ик, ВПп(М)

1К и В/т(^)К обозначать соответствующие множества конечных рядов Дирихле. Очевидно, что все эти множества являются подмножествами множества ВС(М)к- Первые два множества являются алгебрами, а последние три — мультипликативными моноидами, так как последние три множества незамкнуты относительно операции сложения.

Теорема 4. Для любого моноида М натуральных чисел множество DC(M)к является алгеброй над полем K.

Доказательство. Тот факт, что DC(M)к является линейным пространством над полем K, очевиден. Требуется доказать, что произведение двух рядов Дирихле абсолютно сходящихся для любого комплексного значения а будет абсолютно сходиться для любого комплексного значения а.

Пусть величины А, В и те определены из условий

А = У Щ В = У Щ max ( у Щ у Ш | < е, ^ па па ^ па I

пем пем \neM,n>ms neM,n>m£

тогда

где

АВ = Si + S2 + S3 + S4,

Si = Е ^ Е мтж«! = ( Е ^|( Е

neM,n<m2 m,keM,mk=n,m,k<mE \neM,n<ms / \neM,n<ms

= Е ^ Е |«м< I Е ^)( Е ^ * = Е ^ Е |«|<( Е ^)( Е ^

п£М,п<т^ т,к€М,тк=п,т~^тЕ,к<тЕ \пЕМ,п^тЕ ) \п£М,п<т£

* = Е ± Е м-оадк ( Е ^)( Е ^

п€М,п^т2 т,кЕ.М,тк=п,т,к^т£ \п^М,п':^тЕ ) \п^М,п':^тЕ

Из предыдущего следует, что

(А - е)(В - е) <51 ^АВ, 0 < < Ае, 0 ^ Sз < Ве, 0 ^ < е2. Отсюда вытекает, что ряд Дирихле

£ ^ £ Нт)Ъ(Щ

п£М т,к£М,тк=п

абсолютно сходится и равен произведению соответствующих рядов Дирихле. □

Теорема 5. Если целый ряд из В(М)г абсолютно сходится, для, любого комплексного значения а, то он из В/т(М)%:

ВС(М )2 = В/п(М )ъ. Доказательство. Действительно, если целый ряд Дирихле /(а) € ВС(М)г, то

!(а) = £ ^Т, <п) € г (п € М)

п€М

и бесконечное число а(п) = 0, но это означает, что при а = 0 ряд расходится, так как общий член не стремится к нулю.

Следовательно, если целый ряд Дирихле сходится для любого комплексного значения а, то он содержит конечное число слагаемых, то есть ВС(М= В / гп(М)2. □

Заметим, что если мы переходим к полю алгебраических чисел К на полем 0>, то утверждение теоремы 5 перестает быть верным. Действительно, в вещественном алгебраическом поле существует бесконечно много алгебраических единиц. В частности, если е € ^к и 0 < е < 1, то ряд Дирихле с а(п) = еп п € М будет примером целого ряда Дирихле, который сходится для любого значения а.

6. Алгебра рядов Дирихле с заданной полуплоскостью абсолютной сходимости

Пусть сто — произвольное вещественное число. Обозначим через ВСТ0 (М)к подмножество всех рядов Дирихле /(а) из В(М)к, для шторых ст/ ^ сто- Очевидно, что ВС(М)к С ВСТ0(М)к для любого сто- Повторяя дословно доказательство теоремы 4 получим следующий результат.

Теорема 6. Для любого моноида М натуральных чисел множество ВСТ0 (М)к является алгеброй над полем К.

Нетрудно видеть, что при ст1 < сто будет выполнено включение ВСТ1 (М)к С ВСТ0 (М)к и

ВС(М)ж = П ВСТ0(М)к, ВС(М)ЙК = р| ВСТ0(М)%.

Несложно задать при ст1 > сто изоморфизм линейных пространств ВСТ1 (М)к и ВСТ0(М)к-Действительно, каждому ряду Дирихле

? («) = Е ^ € в„1 (м )к

пе м

поставим в соответствие ряд Дирихле

9(<*)= Е ^ € ВСТ0(М)к

пе м

с помощью равенства

Ь(п)= а(п)[па1-а0], п € М.

И наоборот, каждому ряду Дирихле д(а) поставим в соответствие ряд Дирихле /(а) с помощью равенства

а(п) = Ь(п) п, п € М.

V > [п^1 ]'

Указанное соответствие осуществляет изоморфизм линейных пространств, но изоморфизм алгебр при этом не выполняется, так как произведение не переходит в произведение.

Обозначим указанное отображение ВСТ1 (М)К в ВСТ0 (М)К через <ра1,а0• Это линейное преобразование можно применить к любому ряду Дирихле /(а). Оно будет сдвигать абсциссу абсолютной сходимости.

Теорема 7. Для абсциссы абсолютной сходим,ост,и образа ряда, Дирихле f (а) справедливо равенство

ст^1,.0 (/> = ст/ + ст1 — сто.

Доказательство. Согласно определению абсциссы абсолютной сходимости ряда Дирихле / (а) для любого значения а = ст + И при ст > ст/ ряд

у-

|п«| пем 1 1

сходится, а согласно теореме Ландау (см. [14], стр. ) ряд

|а(п)|

£

пе м

расходится.

Ряд Дирихле для (/) имеет вид:

ф<гъ<го (/) = "

П" пе м

Для ряда абсолютных величин имеем неравенства:

1 ^ |a(n)|nal-aо < |a(n)|[nal-aо] |a(n)|nal-aо

2 ^ па ^ ^ па ^ ^ па ' пе м пе м пе м

Так как при ст — о\ + сто > ст/ мажорирующий ряд сходится, а при ст — ст1 + сто = ст/ расходится, то утверждение теоремы доказано. □

7. Ряды Дирихле с областью голоморфности заданной правой полуплоскостью

В работе [8] была доказана гипотеза о заградительном ряде для дзета-функций моноидов с экспоненциальной последовательностью простых из работы [9]. Этим же методом мы покажем, что для простейшего моноида — геометрической прогрессии существует ряд Дирихле, для которого областью голоморфности является заданная правая полуплоскость.

Для произвольного вещественного сто и натурального д > 1 определим ряд Дирихле

те г.пао

и*(«) = Е V е В(М(д)), М(д) = [т = дп | п = 0,1,...}.

п=0 У

Нетрудно видеть, что

/-о л N = (1 — ^¿о) .

Отсюда следует что для абсциссы абсолютной сходимости справедливо равенство

ст/^о,ч = сто.

Функция /ао,д(а) — мероморфная функция на всей комплексной а-плоскости кроме точек а = ст0 + к — любое целое число.

Определим функцию Рао,д(а) с помощью обобщенного произведения Эйлера:

1 А-1 ^ а(п)

1 —

те те / 1 \ —1 те

Р-ол(а) = П ^(«) = П 1 — Л^-О) = Е

т=1 т=1 ^ ^ ' / п=0

дп(а-ао)

где а(0) = 1 и при п > 0 а(п) — количество решений в целых неотрицательных числах линейного уравнения с растущим числом слагаемых

Х\ +2X2 + ... +пхп = п. (1)

Ясно, что Рао(а) £ ^(М((]))•

Лемма 1. При а = а + И и а > ао ряд Дирихле для Рао,я(о) абсолют,но сходится.

Доказательство. Возьмём логарифм обобщенного произведения Эйлера для Рао^(а), получим

lnFao,q (а) =

C-^i ¿-^ п(ут)(а-ао)п' г=1п=1 У '

При 5 = а — ао > 0 для него имеется мажорирующий ряд

ж ж i ж ( ) i

53 53 п(qт)5п 53 птё , п(ш) ^ ^ ^ < 1 + In Ш, т=1 п=1 т=1 п\т

который абсолютно равномерно сходится. □

Далее будем использовать обозначения и определения из работы [8].

Лемма 2. Пусть а1 = а1 + гt1 произвольная точка в правой полуплоскости а1 > а0, тогда порядок ordai Fao,q(а) = 0 и радиус в этой точке radai Fa0,q(а)) = а1.

Доказательство. Из наличия обобщённого эйлерова произведения следует, что справедливо равенство

ж

Fao,q(а) = Л fao,qm(а), а = а + гt, а > ао.

т=1

Очевидно, что для любого ш ^ 1 справедливы равенства

ord«i fao,qm(а) = 0, Wei faot<r (а) = fao,qш (а{), radai fao,qm (а) = \/(а1 — ао)2 + тт,

, _ 2 кж 1 т ln q

ai

2 кж

задает расстояние до ближайшего полюса ао + функции

где тт = штк&

¡ао,дт (а)-

Нетрудно видеть, что круг К(ах, ах — ао) = {а | |а — ах| < а\ — ао} является пересечением всех кругов К (ах, л/(ах — а0)2 + т\= {а | |а — ах| < л/(ах — а0)2 + тпп}, когда т пробегает все натуральные значения:

те

К(а\, а\ — ао) = ^ К (ах, V(а1 — ао)2 + тП^ .

т=1

Как известно (см. [3], стр. 59), на окружности круга сходимости всегда есть по меньшей мере одна особая точка. Так как все точки окружности круга К (ах, ах — ао) кроме точки касания с прямой а = ао принадлежат области абсолютной сходимости ряда Раоя(а), то особой точкой является точка касания а = ао + % ¿х- Лемма полностью до казана. □

Теорема 8. Областью голоморфности ряда, Дирихле Рао,я(а) является а-полуплоскость а > ао

Доказательство. Из доказательства предыдущей леммы следует, что все точки прямой а = ао являются особыми точками ряда Дирихле Рао,д(а) Отсюда следует, что прямая а = ао целиком является особой линией для ряда Дирихле Рао,я(а). А это означает, что областью голоморфности ряда Дирихле Рао,д(а) является а-полуплоскость а > ао- □

Из доказанной теоремы следует что для любого нетривиального моноида М и для любого вещественного ао найдется бесконечное множество рядов Дирихле из В(М) таких, что

а а > ао

8. Универсальность некоторых рядов Дирихле и дзета-функций некоторых моноидов натуральных чисел

45 лет тому назад 21 августа 1974 года в редакцию Известий АН СССР Серия математическая поступила работа С. М. Воронина, в которой была доказана знаменитая теорема об универсальности дзета-функции Римапа [1]. Эта работа открыла целое новое направление исследований, в котором значительную роль сыграли А. Лауринчикас и его ученики. Более подробно о вкладе в данную тематику литовской школы теории чисел можно узнать по работе [12].

Теорема 9. Пусть 0 < г < 1; пусть /(5) — функция, аналитическая внутри круга |з| ^ г и непрерывная вплоть до границы круга. Если f (в) не имеет нулей внутри круга |з| ^ г, то для всякого е > 0 существует вещественное Т = Т(е) такое, что

max

(• +(

3

f (*) - (\s + (4 + iT

< е.

Доказательство. См. [1] или [2], стр. 240-250. □

Для дальнейшего нам потребуются моноиды М с однозначным разложением па простые числа такие, что для их дзета-функции ((М|а) справедливо разложение в произведение Эйлера

С (м и =

П ра^)

-1

1

а = а + it, а ^ -.

pep (м)

Доказательство существования таких моноидов содержится в работе [7]. Будем через Шао обозначать класс моноидов М с однозначным разложением па простые числа таких, что дзета-функции ((М |а) представляется в виде произведения Эйлера, абсолютно и равномерно сходящегося в полуплоскости а ^ (Го-

Лемма 3. При Q > 4 для, любо го q > Q и для любого вещественного Т справедливы неравенства

1

max |а|< 4

1

а+3+iT

1

1

<

VQ'

max |а|< 4

1

1

qa+ 3 +i Т

< 1 +

1

VQ'

Доказательство. Действительно, для второго неравенства имеем:

1

1

qa+3 +i Т

< 1 +

1

qa+ 3 +i Т

1

< 1 + — < 1 + q 2

1

VQ'

Далее имеем:

1

g«+3+iT

1

1

qa+4 -

1

r,iT

а+

1

4- 1

1 д*Т

qa+4 - 1

4

< "Г < q 2

VQ'

□

Пусть ро — простое число и мопоид М-(ро) обозначает моноид натуральных чисел, не делящихся па ро. Дзета-функция ((М^ро^ а) в правой полуплоскости а > 1 имеет представление в виде произведения Эйлера:

С(М-ЫИ= п f1 - - .

Р=Р0 р 7

1

1

1

Теорема 10. Пусть Q > 4, 0 < г < пусть /(а) — функция, аналитическая внутри круга |а| ^ г и непрерывная вплоть до границы круга. Если f (а) не имеет нулей внутри круга |а| ^ г и А( г, ¡) = max|Q,|^í, | ¡'(а)1, то для всяк ого £ > 0 и для любого простого р0 > Q существует вещественное Т = Т(е, р0) такое, что

max

¡(а)-с(м-(ро)а + (4 + {Т)) <е (1 + ) +

4А

7Q'

Доказательство. Определим функцию /\(а) с помощью равенства

-1

Д(а) = ¡(а) | 1 -

«+3

Ро

Для неё выполнены все условия теоремы С. М. Воронина (теорема 9), поэтому для всякого £ > 0 существует вещественное Т = Т(е, ро) такое, что

max

(а + (

3

Д( а) -([а +[4 + гТ

< е.

Так как

((а +{4+ ^ =((м-(ро) а +{4 + ^

1

о

-1

«+3 +г Т

ТО

max

¡(а)

1--11- -1-

-с(м-(р>о) а +(4 + гТ^

< е max

1

: 4

Н<1

1

1

«+3 +* т

Применяя лемму 3, получим утверждение теоремы. □

Теорему 10 можно существенно усилить. Пусть Q — натуральное число и моноид М € М1. " " " " " 2 Определим моноид М-д как множество натуральных чисел, не делящихся на простые р из

Р(М) и больших ^ Если определить моноид М+д как множество натуральных чисел, имеющих в своём каноническом разложении только простые числа р € Р(М), которые больше Q, ТО N = М_д ■ М+д и ((а) = С(М_д|а)С(М+д|а).

Лемма 4. Для любого вещественного £1 > 0, £1 < 1 найдётся натуральное Q = Q(e 1)

Т

max

Н< 4

((М+ д|а + 3)

С( М+ д|а + 3 + г Т)

1

< 3 1,

max

Н< 4

1

((М+д |а + 3 + гТ)

< 1 + 1.

Доказательство. Действительно, так как М € М1, то для любого а из круга |а| ^ 4

справедливо равенство

М

а + 4 + гТ ) =

) П ( 1 ра+3 +гт) ,

7 р£Р(М) \ Р )

1

1

3

в котором произведение Эйлера равномерно и абсолютно сходится.

Почленно прологарифмировав, получим

1п ПМ

(м|а +3+ ,т) = £ £

реР(м) v=l иР

(«+ 3 +гТ) V '

1п((м+д а + 3 + гт^ = Е Е

1

(«+4 +г Т) V

реР(м),р>Я"=1 ' 4

Отсюда следует, что для любого вещественного £1 > 0 найдётся натуральное Q = ^(^1) такое, что для любого вещественного Т справедливы неравенства

- 1п(1 + £1) <

1п ({М+д

3

а + - + гТ 4

< 1п(1 + £1)

и, значит,

тах

и< 4

Аналогично,

1п

с (М+ д|а + 3)

С (М+ д\а + 4 + гТ)

Е Е

({М+д | а + 3 + гТ)

те /

Е £ -

'(M)р>Qv=1 V

< 1 + £1.

— -- , ,,„(«+3 )v ,,„(«+3 +гТ)v

реР(м),р>Qv=l \иР 4 иР 4

рер( м),р> Qv=l иР Отсюда следует, что

,(«+4 )и

(1 РТ)

2

< Е Е — < 21п(1+

реР (м ),р>Qv=l

ир 2

с (М+ д|а + 3)

С (М+ д|а + 4 + гТ)

1

< (1 + £1)2 - 1 < 3£1.

□

Теорема 11. Пусть 0 < г < 1; пусть /(а) — функция, аналитическая внутри круга |а| ^ г и непрерывная вплоть до границы, круга. Если f (а) не имеет нулей внутри круга |а| ^ г и А(г, f) = тах|а|^г |/(а)|, то для вся кого е > 0 и для всякого 1 > е1 > 0 существует натуральное Q = Я(е\) такое, что существует вещественное Т = Т(£,£]) такое, что

тах

|а|<г

/(а) - с(м+д а + (3 + гТ^

< £ (1 + £1) +3АЕ1.

Доказательство. Пусть Q = Q(el) из леммы 4. Определим функцию /2(0) с помощью равенства

/2(а) = f (а)( (м+д

Для неё выполнены все условия теоремы С. М. Воронина (теорема 9), поэтому для всякого £ > 0 существует вещественное Т = Т(£,£1) такое, что

3

а + -

4

) •

тах

(а+(

3

f2(a) - С ( & + ( 4 + гТ

< £.

Так как

((а +(4 + гТ^ = С^М-д а +(4 + гТ^ { (м+д а + 0 + 1Т))

1

1

1

1

1

то

max

Ж. + 31„ -<(M-q

C(M+q |а + (3 + iT) )

Применяя лемму 4, получим утверждение теоремы. □

а + (3+,T))

< £ max

i 4

N< 4

C(M+q |а + 3 + iT)

1

9. Заключение

Теория дзета-функций моноидов натуральных чисел входит как составная часть в более общую теорию Алгебры рядов Дирихле моноида натуральных чисел.

Представляет интерес, например, исследование подалгебры рядов Дирихле, сходящихся на всей комплексной плоскости. Другая интересная алгебра образована рядами Дирихле, которые имеют аналитическое продолжение на всю комплексную плоскость.

С помощью теоремы универсальности С. М. Воронина удалось доказать слабую форму теоремы универсальности для широкого класса дзета-функций моноидов натуральных чисел. Было бы интересно выяснить какие элементы доказательства С. М. Воронина непосредственно переносятся на этот класс дзета-функций моноидов натуральных чисел?

Интересно заметить, что как показано в работе [8] среди дзета-функций моноидов натуральных чисел, для которых справедлива слабая теорема универсальности, есть те, для которых область голоморфности совпадает со всей а-полуплоскостью а > 0, кроме точки а = 1, где у них полюс первого порядка. Таким образом, они продолжаются в лево от полуплоскости абсолютной сходимости, но не на всю плоскость. Если верна гипотеза Линника-Ибрагимова [13], то для них должна быть справедлива и сильная теорема универсальности.

СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ

1. Воронин С. М. Теорема об "универсальности" дзета-функции Римана // Изв. АН СССР. Сер. мат. - 1975. - Т. 39, № 3. - С. 475-486.

2. Воронин С. \!.. Карацуба А. А. Дзета-функция Римана. — М.: Физ-матлит, 1994. — 376 с.

3. Гурвиц А., Курант Р. Теория функций. — М.: Наука, 1968. — 618 с.

4. Демидов С. С., Морозова Е. А., Чубариков В. Н., Реброва И. Ю., Балаба И. Н., Добровольский Н. Н., Добровольский И. \!.. Добровольская Л. П., Родионов А. В., Пихтилько-ва О. А. Теоретико-числовой метод в приближенном анализе // Чебышевский сб. 2017. — Т. 18, вып. 4. - С. 6-85.

5. Н. И. Добровольский Дзета-функция моноидов натуральных чисел с однозначным разложением на простые множители // Чебышевский сб. 2017. Т. 18, вып. 4. С. 187-207.

6. Добровольский Н. Н. О моноидах натуральных чисел с однозначным разложением на простые элементы // Чебышевский сб. 2018. — Т. 19, вып. 1. — С. 79-105.

7. Добровольский Н. Н. Дзета-функция моноидов с заданной абсциссой абсолютной сходимости // Чебышевский сб. 2018. — Т. 19, вып. 2. — С. 142-150.

8. Добровольский Н. Н. Одна модельная дзета-функция моноида натуральных чисел // Чебышевский сборник. 2019. — Т. 20, вып. 1, С. 148-163.

9. Добровольский Н. Н., Добровольский М. Н., Добровольский Н. \!.. Балаба И. Н., Ребро-ва И. Ю. Гипотеза о "заградительном ряде" для дзета-функций моноидов с экспоненциальной последовательностью простых // Чебышевский сб. 2018. — Т. 19, вып. 1. — С. 106-123.

10. Добровольский Н. Н., Калинина А. О., Добровольский М. Н., Добровольский Н. М. О количестве простых элементов в некоторых моноидах натуральных чисел // Чебышевский сборник. 2018. - Т. 19, вып. 2. - С. 123-141.

11. Добровольский Н. Н., Калинина А. О., Добровольский М. Н., Добровольский Н. М. О моноиде квадратичных вычетов // Чебышевский сборник. 2018. — Т. 19, вып. 3. — С. 95-108.

12. Дубицкас А., Мацайтене Р. Некоторые моменты из жизни Антанаса Лауринчикаса: в поисках Универсальности // Чебышевский сборник. 2019. — Т. 20, вып. 1, с. 6-45.

13. Лауринчикас А. П., Матсумото К., Стеудинг И. "Универсальность L-функций, связанных с новыми формами". Изв. РАН. Сер. матем. — Т. 67, № 1 (2003). — С. 83-98; Izv. Math., 67:1 (2003). - P. 77-90.

14. Чандрасекхаран К. Введение в аналитическую теорию чисел. — М.: Мир, 1974. — 188 с.

15. Чудаков Н. Г. Введение в теорию L-функций Дирихле. — М. - Л.: ОГИЗ, 1947. — 204 с.

REFERENCES

1. Voronin, S. М. 1975, "Theorem on the "universality" of the Riemann zeta-function", Math. USSR Izv., vol. 9, pp. 443-453.

2. Voronin S. M., Karacuba A. A., 1994, Dzeta-funkcija Rimana, Izd-vo Fiz-matlit, Moskva, 376 p.

3. Gurvic A., Kurant R., 1968, Teorija funkcij, Izd-vo Nauka, Moskva, 618 p.

4. 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.

5. Dobrovolskv N. N., 2017, "The zeta-function is the monoid of natural numbers with unique factorization" , Chebyshevskii Sbornik, vol 18, № 4 pp. 188-208.

6. N. N. Dobrovol'skii, 2018, "On monoids of natural numbers with unique factorization into prime elements" , Chebyshevskii sbornik, vol. 19, no. 1, pp. 79-105.

7. N. N. Dobrovol'skii, 2018, "The zeta function of monoids with a given abscissa of absolute convergence" , Chebyshevskii sbornik, vol. 20, no. 1, pp. 142-150.

8. 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.

9. N. N. Dobrovol'skii, A. O. Kalinina, M. N. Dobrovol'skii, N. M. Dobrovol'skii 2018, "On the number of prime elements in certain monoids of natural numbers" , Chebyshevskii sbornik, vol. 19, no. 2, pp. 123-141.

10. N. N. Dobrovol'skii, A. O. Kalinina, M. N. Dobrovol'skii, N. M. Dobrovol'skii 2018, "On the monoid of quadratic residues" , Chebyshevskii sbornik, vol. 19, no. 3, pp. 95-108.

11. Dobrovolskava L. P., Dobrovolskv М. N., Dobrovol'skii N. М., 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. DOLIO.1007/978-3-319-03146-0^2.

12. A. Dubickas, R. Macaitiene, 2019, "Some Moments in the Life of Antanas Laurincikas: the Search for Universality" , Chebyshevskii sbornik, vol. 20, no. 1, pp. 6-45.

13. Laurincikas, A., Matsumoto, K., Steuding, J. 2003, "The universality of L-functions associated with newforms", Izv. RAN, Ser. Mat., vol. 67 (1), pp. 83-98 (in Russian) = Izv. Math., vol. 67 (1), pp. 77-90.

14. Chandrasekharan K., 1974, Vvedenie v analiticheskuju teoriju chisel, Izd-vo Mir, Moskva, 188 p.

15. Chudakov N. G., 1947, Introduction to the theory of L-Dirichlet functions — M.-L.: OGIZ, — 204 p.

Получено 4.12.2018 г.

Принято в печать 10.04.2019 г.