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

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

Том 18 Выпуск 4

УДК 511.3 DOI 10.22405/2226-8383-2017-18-4-285-295

К ЗАДАЧЕ АНАЛИТИЧЕСКОГО ПРОДОЛЖЕНИЯ РЯДОВ ДИРИХЛЕ С КОНЕЧНОЗНАЧНЫМИ КОЭФФИЦИЕНТАМИ

КАК ЦЕЛЫХ ФУНКЦИЙ НА КОМПЛЕКСНУЮ

ПЛОСКОСТЬ1

О. А. Матвеева, В. Н. Кузнецов

Аннотация

Одним из известных направлений решения задачи аналитического продолжения рядов Дирихле является изучение свойств последовательности первообразных, возникающих в процессе итераций сумматорной функции коэффициентов ряда. На этом пути было получено, например, аналитическое продолжение дзета-функции Римана, L-функций Дирихле. В 1975 году Н. Г. Чудаков получил необходимое и достаточное условие аналитического продолжения рядов Дирихле как мероморфных функций с конечной функцией Линделёфа, выраженное в терминах поведения первообразных функций.

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

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

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

ON THE PROBLEM OF ANALYTICAL CONTINUATION

OF DIRICHLET SERIES WITH FINITE COEFFICIENTS AS ENTIRE FUNCTIONS ONTO THE COMPLEX PLANE

O. A. Matveeva, V. N. Kuznetsov (Saratov) Abstract

One well-known approach to the problem of analytic continuation of Dirichlet series is analysis of properties of a sequence of primitive integrals, which arise in iterations of a summatory function of the coefficients of these series. With this approach it was possible to obtain an analytic continuation of the Riemann zeta function and Dirichlet L-functions. In 1975 N. G. Chudakov presented necessary and sufficient conditions for an analytic continuation of Dirichlet series as meromorphic functions with a finite Lindelof function, expressed through behavior of primitive integrals.

In this paper we formulate necessary and sufficient conditions of analytic continuation of Dirichlet series with finite-valued coefficients to an entire function. These conditions are

1 Исследование выполнено при финансовой поддержке РФФИ (проект №16-01-00399).

expressed in terms of behavior of Cesaro means of coefficients of a Dirichlet series. Unlike the result of N. G. Chudakov, where conditions of analytic continuation are expressed as an existence theorem, in this paper we obtain an explicit form of the asymptotics of Cesaro means. This result is based on the approximation approach developed earlier by V. N. Kuznetsov and the author, which made it possible to establish a connection between the solution of this problem and a possibility to approximate entire functions defined by Dirichlet series by Dirichlet polynomials in the critical strip.

Keywords: Dirichlet series, analytic continuation, joint approximation of a function and its derivatives.

Bibliography: 15 titles.

1. Введение

Одним из известных направлений решения задачи аналитического продолжения рядов Дирихле

те

f (§) = Е ё > 8 = + ^ 1 п

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

fс

f (s) = s J

S (и) , au,

us+1

где 5(и) — сумматорная функция коэффициентов.

На этом пути получено, например, аналитическое продолжение дзета-функции Римана (см., например, [1]), ¿-функций Дирихле (см. [2]). В [2] же изучалось асимптотическое поведение последовательности итераций первообразных для сумматорной функции коэффициентов; получено необходимое и достаточное условие аналитического продолжения ряда Дирихле как мероморфной функции с конечным числом простых полюсов и конечной функцией Линделё-фа ц.(и). Это условие заключается в существовании последовательности индексов тк таких, что для функций Фтк (х):

Г X

Фо(ж) = У2 ап, Фт+Лх) = / Фт(х)йх, т = 1,2,

J1

п<х

выполняются асимптотические равенства:

фшк

где Ртк(х) — алгебраические многочлены, Етк(х) = 0(хпк(тк — Пк) ^ то. В данной статье для рядов Дирихле с конечнозначными коэффициентами

те

?

получены необходимые и достаточные условия на коэффициенты, при которых такие ряды определяют целые функции, удовлетворяющие неравенству

где r(s) — гамма-фуикция, а > 0 и зависит от функции f (s).

Полученные необходимые и достаточные условия аналитического продолжения рядов Дирихле (2) целым образом на комплексную плоскость выражены в терминах чезаровских срезов порядка т от коэффициентов

51

к<х к<х

В отличие от работы [2], где условие аналитического продолжения (1) получено в виде теоремы существования, здесь получен явный вид асимптотики чезаровских средних.

При доказательстве основного результата используется, во-первых, результат В. И. Кузнецова, полученный в 1987 году в [3] (см. также [4]), о том, что если ряд Дирихле (2) определяет целую функцию, то соответствующий (с теми же коэффициентами, что и у ряда Дирихле) степенной ряд

те

д

1

имеет конечные односторонние производные любого порядка в точке единица

lim g

х^1-0

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

отрезке [0,1] алгебраическими полиномами с ограниченными в совокупности коэффициентами.

В основе доказательства основного утверждения лежит аппроксимационный подход, разработанный ранее авторами (см. [5]-[11]), позволивший связать решение задачи с возможностью приближения в критической полосе целых функций, определённых рядами Дирихле, полиномами Дирихле: показано, что целые функции, определённые рядами Дирихле, допускают приближение в критической полосе полиномами Дирихле, чезаровские средние коэффициентов которых определяют свойства чезаровских средних коэффициентов ряда Дирихле.

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

Рассмотрим ряд Дирихле с конечнозначными коэффициентами (2) и чезаровские средние

т

Теорема 1. Ряд Дирихле с копечпозпачпыми коэффициентами

те

f(8) = £ kS , s = a + it

к=1

тогда и только тогда определяет, целую функцию, удовлетворяющую условию

|f(s)Г( s)| < e-altl, 0 < 1,

где r(s ) — гамма-функция, a > 0 и зависит от функции f(s), когда для любого т определяется алгебраический полином Tm-1(x) степени т — 1, такой, что для чезаровских средних т х > 1

Sm(x)=Tm-1(x)+0(1), т = 1, 2, 3,...,

х

Доказательству теоремы 1 предпошлём ряд утверждений:

Лемма 1. Пусть ряд Дирихле с конечнозначными коэффициентами

те к=1

определяет, целую функцию, удовлетворяющую условию

|¡(в)Г(в)| < е-а1Ц, 0 < 1,

где Г(,§ ) — гамма-функция, а> 0 и зависит от, ¡(в). Тогда, соответствующий (с теми же коэффициентами, что и у ряда Дирихле) степенной ряд определяет, функцию

те

д(х) = хк, к=1

имеющую производные любого порядка, на, отрезке [0,1], и для, любого т существует последовательность полиномов Рп(х),

п

Рп (х) =^2ап,к хк к=1

с ограниченными в совокупности коэффициентами, которая равномерно сходится, к д(х) на отрезке [0,1] совместно с производными до т-го порядка, то есть при п ^ ж

рЩ)(х) ^ д{1)(х), 1 = 1,2,...,т.

Доказательство. В [3], [4] показано, что если ряд Дирихле (2) определяет целую функцию с условием (3), то соответствующий степенной ряд (5) имеет конечные односторонние производные любого порядка (6) в точке единица, то есть степенной ряд (5) определяет функцию д(х), имеющую производные любого порядка на отрезке [0,1]. Рассмотрим частичные суммы ряда (5):

п

Рп(х) = ^ак хк. к=1

Выберем е > 0. В силу равномерной непрерывности д(1 \х) на отрезке [0,1] существует гп, 0 < гп < 1, такое, что для х € [0,1]

1д(1 \х) - д{1 )( гпх)| < 1 = 0,1,...,т.

<1

существует п0 = п0 (е), такое, что для п > п0

|д(1)(гх) -Рп1\гпх)| < 1 = 0,1,....

т.

2

Из последних неравенств следует, что для всех х € [0,1]

Ь(](х) -Рп(\Гпх)| <е, 1 = 0,1,...,т.

Рассмотрим полиномы вида Рп(х) = Рп(гпх), то есть

п п

Рп

к=1 к=1

В силу предыдущего неравенства последовательность таких полиномов равномерно сходится к функции д(х) на отрезке [0,1] совместно с производиыми до т-го порядка.

Осталось заметить, что в силу конечнозначности коэффициентов ряда Дирихле (2) и, следовательно, ограниченности коэффициентов степенного ряда (5), коэффициенты полиномов Рп(х) = Рп(гпх) ограничены в совокупности, что завершает доказательство леммы 1.  Обозначим Рп,и(х) «урезанные» многочлены (7), то есть

V

Рп,и

к=1

Пусть также 8™(~и) — чезаровские средние порядка т для коэффициентов многочленов

п

Имеет место

Лемма 2. Пусть ряд Дирихле с конечнозначными коэффициентами

те

п°) = £ £.

к=1

определяет, целую функцию, удовлетворяющую условию

|¡(в)Г(в)| < е-а1Ц, 0 < 1,

где Г(з) — гамма, функция, а > 0 и зависит от ¡'(в).

Тогда, для, чезаровских средних порядка, т от, коэффициентов многочленов Рп,„ (х) имеет место равенство

Ж (у )=Тп^т-1(и),

где Тп,и,т-1(х) — многочлены, степени т — 1, коэффиценты которых определяются коэффициентами и значениям,и полиномов Рп>и (х) и их производных до т — 1-го порядка, в точке

х = 1

Доказательство. Пусть вт(п) — чезаровские средние порядка т для коэффициентов многочленов (7), и ап,о, ап,1,..., ап,т-1 — значения производных до т — 1-го порядка многочлена

х = 1

Рассмотрим чезаровские средние для коэффициентов (7):

$п(п) = ^2 ап,к = Рп(1) = ап,о,

к<п п

$п (п) = вп (к) = пап,1 + (п — 1)ап,2 + ... + аЩп.

1=1 к<1

Обозначим

вп (п) = пап,п + (п — 1)ап,п-1 + ... + ап,1 = Р£ (1) + ап,1 = ап,1 + а,п,1. Складывая два последних равенства, получим:

Б2п (п) + вп (п) = (п + 1)(ап,1 + ... + ап,п) = (п + 1)ап>о.

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

вп(п) = (п + 1)ап,0 - ап,1 + ап,1 = ТпЛ(п), где Тп,\(х) — многочлен первой степени:

Тп,\(х) = ха.п,о + а,п,о - аЩ1 + а,п,\. Далее, рассуждая аналогично, для (п) получаем:

2вп (п) = п(п + 1)ап,\ + (п - 1)пап,2 + ... + 2ап,п.

Обозначим

вп (п) = п(п + 1)ап,п + (п - 1)пап,п-1 + ... + 2ап,\ =

= (п(п - 1) + 2п)ап,п + ((п - 1)(п - 2) +4п + 2)ап>п-1 + ... + 2ащг = = о,п,2 + ап,1 + ап,2 + 2п(ап,п + 2аЩп-1 + ... + пащ\) = = о„п,2 + ап,1 + ап,2 + 2п(пащо + аЩ2 - ащ\ - аЩ1).

Сложив два последних равенства и выразив 2вп(п), получим:

2вп(п) = (п(п + 1) + 1)а,п,о - ап,2 - а,п,1 - а,п,2 - 2п2ап,о - 2па,п,о - 2па,п,1 + 2па,п,1 = = -п2ащо + п(ап,о - 2аЩ1 - 2аЩ1) + а,п,о - аЩ2 - а,п,1 - а,п,2 = ТЩ2(п),

где Тп,2(х) — многочлен второй степени.

Имея в виду предыдущие выкладки, можно предположисть, что для 8™(п) имеет место следующая формула:

8™(п)=Тп,т-1(п),

где Тп,т-1 (х) — многочлен степени т - 1. Более того, можно предположить, что и в общем случае для чезаровских средних Б™(и), V < п порядка т для коэффициентов полиномов (8) имеют место формулы:

Б™ Н=Тп,„,т-1

где Тп,и,т-1(х) — многочлен степении т - 1, коэффициенты которого определяются величинами ап,1, ап,2,..., а,п,т-1, а,п,и,о, &п,и,1,..., Оп,и,т-ъ где а,п,и,к = Рщи(1), к = 0,1,...,т - 1.

Действительно, (9) полчается на основании индуктивных предположений для чезаровских средних меньшего порядка, применения упрощённой формулы Эйлера-Маклорена (см. [12], стр. 11), которую мы здесь приведём:

Е Кп) = /У (х)*х +(2 - ш) т - (2 - м) ¡(а) (1 - х + [х]) Г'(х)йх,

а также с учётом соотношения Б™(у) = ^к=1 Б™-1(к). Действительно, в работе [2] стр. 20 показано, что

¡V V

/ [х] Г ' (х)йх = Г(к)+^'(и). ^ к=1

Затем применим формулу Эйлера-Маклорена к сумме ^^к=1 /'(к) и повторим наши рассуждения еще т - 3 раза.

Формула (9) завершает доказательство леммы 2.  Далее, имеет место

Лемма 3. Пусть ряд Дирихле (2) определяет, целую функцию, удовлетворяющую условию (3). Тогда для, любого е > 0 существует такое N > 0, что для, любого и > N существует N1 > 0, такое, что для всех п > N1 имеет место неравенство

1ап,и,к — ап| <е, к = 0,т — 1,

где ак определены условием (6), а ап^,к = Рп-1(1), где Рп,и(х) — полиномы вида (8).

( х) [0, 1] х1 < 1

— такое число, что для всех х : х1 < х < 1

9

< -, в = 0,т — 1. 6

Такое х1 существует в силу равномерной непрерывности функций д(з\х), 8 = 0,т — 1 на [0, 1]

Пусть N0 — такое число, что

330(х1) — д^ы

< -, в = 0,т — 1, 6

где (х) — частичная сумма ряда (5). Запишем полином (7) в виде

Рп(х) = ^акГкпхк, Гп < 1

к=1

Тогда для гп < х1 для любых п > N0, V < п будут выполняться оценки

Рп,1(2) аз

< -, в = 0,т — 1, 6—

если только Аз),

Рп\х) — д(з)(х) < 6, в = 0,т — 1. Это следует из неравенства (11) и того факта,

что Рп% (1) = в!>з)(Гп).

Пусть п таково, чт гп > х^, и пусть V > N0. Воспользуемся свойством ограниченности в совокупности коэффициентов многочленов вида (7). Как показано в [13] гл. II, т. 6, в этом случае имеет место сходимость коэффициентов полиномов (7) к коэффициентам степенного ряда (5), т.е.

ап,к ^ ак при п ^ то.

При заданных т и V выражения Р^^(х), где 1 > х > х1, являются конечной суммой слагаемых, каждое из которых в силу (12) при п ^ то стремится к соответствующему слагаемому суммы вп\х).

Пусть N2 таково, что при п > N2

3^

< -, в = 0,т — 1, 6

и при п = N2 гп величину гп обозначим к ак го- Будем считать, что Го > х^. Пусть далее N1 таково, что при V > N1 имеет место оценка вида

о) — д

< -, в = 0,т — 1. 6—

Тогда в силу (13) при заданном V > N1 и при любом п > N2 имеет место неравенство

р{£,

э

<3.

Но так как в силу (13), (14), (10) N2,1у

Р{м1

+

д

+

< -, в = 0,т - 1,

то из условий (15) и (16) получим, что при заданном V > N1 и при любом п > N2 имеют место неравенства

РЩ)

< е,

При условиях леммы 3 имеет место

т

соотношение

Б™ (и) ^ Бт(и) при п ^ ж,

где Бт(и) ^ чезаровские средние порядка т для и первых коэффициентов степенного ряда, (5), соответствующего ряду Дирихле (2).

Доказательство. Утверждение леммы 4 следует из условий (12), в силу которых каждое слагаемое конечной суммы, определённой средним Б™ (и), стремится к соответствующему слагаемому суммы, определённой Бт(и).

Как следствие леммы 2, леммы 3 и леммы 4, получаем следующее утверждение.

Лемма 5. Пусть ряд Дирихле (2) определяет, целую функцию, удовлетворяющую условию (3). Тогда для, любого т определяется многочлен Тт-1(х) степени т - 1, такой, что

т х

место равенство

Бт(х)=Тт-1(х)+0(1), где константа в символе «О» не зависит, от, х.

Доказательство теоремы 1. Необходимость условий теоремы 1 следует из леммы 2.

т х

чезаровских средних коэффициентов ряда Дирихле (2) имеет место равенство

Бт

где Тт-1(х) — многочлен степени т - 1, а константа в символе «О» не зависит от х, то ряд

Дирихле (2) определяет целую функцию, удовлетворяющую условию (3).

Рассмотрим в полуплоскости а > 1 интегральное представление ряда Дирихле (2):

¡

Б

Б (х) = 0(1),

и, следовательно, представление (18) обеспечивает аналитическое продолжение ряда Дирихле а > 0

т

Б

/X ('X

Ф0(х)йх, ..., Фт(х) = у Фт-1(х)йх.

Для функции Фт(х) получаем следующее представление:

ГХ ! [ж] ('X

Фт(х) = Фт-1(х)йх = Фт-1(х)йх + Фт-1(х)йх = Л > 1 J[x]

г [х]

= вт(х)йх + |х}5т([х] + 1) =

[X]

= ^Бт(к) + {х}Бт([х] + 1) = к=1

[Х] [ж]+1

= т(к) + {х} т-1(к). к=1 к=1

Из последнего равенства и из (17) имеем:

[ж] [ж]+1

Фт(х) = ^Тт-1(к) + {х} ^ Тт-2(х)+0(1). к=1 к=1

Применяя формулу Эйлера-Маклорена ([12]) получаем:

г[ж] г [ж]+1

Фт

Таким образом, применяя т раз формулу интегрирования по частям к интегралу (18),

мой конечного числа целых функций, функции, регулярной в полуплоскости а > —т + 1, и конечного числа функций вида

г™ \х\

Б(8 + 1) = 8(8 + 1)... (,в + к) +к+1 ^х, к < т.

J1 х

{ х}

оо

, 1 ^Т^ шпъпх

{х} =---+ > -

2 ^ жп

п=1

и подставим это разложение в интеграл (20).

Тогда рассуждения, аналогичные рассуждениям, приведённым в [1] на стр. 21-22 при доказательстве аналитического продолжения дзета-функции Римана, позволяют говорить о регулярности функций вида (20), а следовательно, и о регулярности ряда Дирихле (2) в полу-а > - т + 1

Осталось заметить, что условие (3) имеет место в силу интегрального представления (18), которое в нашем случае (Б(х) = 0(1)) имеет место в области а > 0. Таким образом, теорема 1 полностью доказана.

Замечание 1. В работе [Ц] было показано, что если ряд Дирихле с конечнозначными коэффициентами определяет, целую функцию ¡(в), модуль которой удовлетворяет условию

где А — некоторая положительная константа, то коэффициенты ряда, будут периодическими, начиная с некоторого номера.

В работе [15] приведен пример ряда, Дирихле с конечнозначными непериодическими, коэффициентам,и, который определяет, целую функцию.

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

1. Титчмарш Е. К. Теория дзета-функции Римана // М.: И. Л., 1953, с. 407

2. Чудаков Н. Г. Об одном классе рядов Дирихле // Теория чисел: сб. науч. трудов - Куйбышев, 1975, с. 53-57

3. Кузнецов. В. Н. Об аналитическом продолжении одного класса рядов Дирихле // Вычислительные методы и программирование: межвуз. сб. науч. трудов. - Саратов: изд-во СГУ, 1987, с.17-23

4. Кузнецов. В. Н., Кузнецова Т. А., Сецинская Е. В., Кривобок В. В. О рядах Дирихле, определяющих целые функции с определеннным порядком роста модуля // Исследования

по алгебре, теории чисел и смежным вопросам — Саратов, изд-во СГУ, 2007, Вып. 4, с. 69 _ 75

5. Матвеева. О. А. Аппроксимационные полиномы и поведение L-функций Дирихле в критической полосе // Известия Сарат. ун-та. Математика, Механика. Информатика — Саратов, изд-во СГУ, 2013, Вып. 4, ч. 2, с. 80 - 84

6. Матвеев В. А., Матвеева О. А. О поведении в критической полосе рядов Дирихле с конеч-нозначными мультипликатиными коэффициентами и с ограниченной сумматорной функцией // Чебышевский сборник — Тула: изд-во ТПГУ, 2012, т. 13, Вып. 2, С. 106 - 116

7. Матвеева. О. А. Аналитические свойства определенных классов рядов Дирихле и некоторые задачи теории L-функций Дирихле: Диссертация на соискание ученой степени к. ф.-м. п. — Ульяновск, 2014, 110 с.

8. Кузнецов В. Н., Матвеева О. А. О граничном поведении одного класса рядов Дирихле с мультипликативными коэффициентами // Чебышевский сборник — Тула: изд-во ТПГУ, 2016, т. 17, Вып. 3, с. 115 - 124

9. Кузнецов В. Н., Матвеева О. А. Аппроксимационный подход в некоторых задачах теории рядов Дирихле с мультипликативными коэффициентами // Чебышевский сборник — Тула: изд-во ТПГУ, 2016, т. 17, Вып. 4, с. 124 - 131

10. Кузнецов В. Н., Матвеева О. А. О граничном поведении одного класса рядов Дирихле // Чебышевский сборник — Тула: изд-во ТПГУ, 2016, т. 17, Вып. 2, с. 181 - 189

11. Короткое А. Е., Матвеева О. А Об одном численном алгоритме определения нулей рядов Дирихле с периодическими коэффициентами / / Научные ведомости Бел ГУ — Белгород: изд-во БелГУ, 2011, Вып. 24, с. 47 -54

12. А. А. Карацуба Основы аналитической теории чисел — М.: Наука, 1983, с. 239

13. В. Ф. Демьянов, В. Н. Малоземов Введение в минимакс — М.: Наука, 1972, с. 368

14. Кузнецов В. Н. Аналог теоремы Сёге для одного класса рядов Дирихле // Мат. заметки, 1984, т. 38, Вып. 6, с. 805 - 813

15. Чернов В. И. Об одном классе рядов Дирихле с конечными функциями Линделёфа // Исследования по теории чисел: Межвуз. науч. сб., 1982, Вып.8, с. 92 - 95

REFERENCES

1. Titchmarsh, E. K. 1953, Teorija dzeta-funkcii Rimana, Moscow, I. L., pp. 407.

2. Chudakov, N. G. 1975, "Ob odnom klasse rjadov Dirihle", Kujbyshev, Teorija chisel: sb. nauch. trudov, pp. 53-57.

3. Kuznetsov, V. N. 1987, "Ob analiticheskom prodolzhenii odnogo klassa rjadov Dirihle", Saratov: izd-vo SGU, Vychislitel'nye metody i programmirovanie: mezhvuz. sb. nauch. trudov., pp. 17-23.

4. Kuznetsov, V. N. Kuznetsova, T. A. Secinskaja, E. V. k Krivibok, V. V. 2007, "O rjadah Dirihle, opredeljajushhih celve funkcii s opredelennnvm porjadkom rosta modulja", Saratov: izd-vo SGU, ssledovanija po algebre, teorii chisel i smezhnym voprosam., iss. 4, pp. 69 - 75.

5. Matveeva, O. A. 2013, "Approksimacionnve polinomv i povedenie L-funkcij Dirihle v kriticheskoj polose", Saratov: izd-vo SGU, Izvestija Sarat. un-ta. Matem,atika, Mehanika. Inform,atika., iss. 4, vol. 2, pp. 80 - 84.

6. Matveev V. A. Matveeva, O. A. 2013, "O povedenii v kriticheskoj polose rjadov Dirihle s konechnoznachnymi murtiplikatinvmi kojefficientami i s ogranichennoj summatornoj funkciej", Tula: izd-vo TPGU, Chebyshevskij sbornik., iss. 2, vol. 13, pp. 106 - 116.

7. Matveeva, O. A. 2014, "Analiticheskie svojstva opredelennvh klassov rjadov Dirihle i nekotorve zadachi teorii L-funkcij Dirihle", Ulyanovsk: Thesis for the academic degree of the Ph.D., pp. 110.

8. Kuznetsov, V. N. Matveeva, O. A. 2016, "O granichnom povedenii odnogo klassa rjadov Dirihle s murtiplikativnymi kojefficientami", Tula: izd-vo TPGU, Chebyshevskij sbornik., iss. 4, vol. 17, pp. 115 - 124.

9. Kuznetsov, V. N. Matveeva, O. A. 2016, "Approksimacionnvj podhod v nekotorvh zadachah teorii rjadov Dirihle s murtiplikativnymi kojefficientami ", Tula: izd-vo TPGU, Chebyshevskij sbornik., iss. 4, vol. 17, pp. 124 - 131.

10. Kuznetsov, V. N. Matveeva, O. A. 2016, "O granichnom povedenii odnogo klassa rjadov Dirihle", Tula: izd-vo TPGU, Chebyshevskij sbornik., iss. 2, vol. 17, pp. 181 - 189.

11. Korotkov, A. E. Matveeva, O. A. 2011, "Ob odnom chislennom algoritme opredelenija nulej rjadov Dirihle s periodicheskimi kojefficientami", Belgorod: Nauchnye vedomosti BelGU., iss. 24, pp. 47 -54.

12. Karatsuba, A. A. 1983, Osnovv analiticheskoj teorii chisel, Moscow, Nauka, pp. 239.

13. Dem'janov, A. A. Malozemov V. N. 1972, Vvedenie v minimaks, Moscow, Nauka, pp. 368.

14. Kuznetsov, V. N. 1984, "Analog teoremv Sjoge dlja odnogo klassa rjadov Dirihle", Mat. zametki., vol. 38, iss. 6, pp. 805 - 813.

15. Chernov, V. I. 1982, "Ob odnom klasse rjadov Dirihle s konechnvmi funkcijami Lindeljofa", Issledovanija po teorii chisel: Mezhvuz. nauch. sb., iss. 8, pp. 92 - 95.