Особые точки суммы ряда экспонент на границе области сходимости

ISSN 2074-1863 Уфимский математический журнал. Том 1. № 4 (2009). С. 78-109.

УДК 517.5

ОСОБЫЕ ТОЧКИ СУММЫ РЯДА ЭКСПОНЕНТ НА ГРАНИЦЕ ОБЛАСТИ СХОДИМОСТИ

О.А. КРИВОШЕЕВА

Аннотация. В данной работе исследуются особые точки суммы ряда экспоненциальных мономов. Получен результат, частными случаями которого являются результаты работ Ж. Адамара, Е. Фабри, В. Бернштейна, Ж. Полиа, Карлсона и Ландау. При этом построена специальная функция, которая не имеет особых точек на границе области сходимости своего ряда. Эта функция является обобщением специальной функции из теории рядов Дирихле на случай общих рядов экспоненциальных мономов. Ее существование доказывает необходимость одного из условий основной теоремы, сходного по смыслу с условием равенства нулю индекса конденсации в теореме В. Бернштейна.

Ключевые слова: ряды экспонент, выпуклая область, особая точка.

1. Введение

Пусть Л = (Afc, mk}^=1 — кратная последовательность, где Ak — комплексные числа, которые пронумерованы по неубыванию модулей, |Лк| ^ го, и mk — натуральные числа. В работе рассматриваются ряды экспоненциальных мономов, построенные по последовательности Л, т.е. ряды вида

— 1

У dk,nZn exp

k=1,n=0

Изучается задача распределения особых точек суммы этого ряда на границе области его сходимости.

Пусть d = {dk,n}fc=mn=0 — последовательность комплексных чисел. Через gd(z) и D(A, d) обозначим соответственно сумму этого ряда и открытое ядро множества всех точек z Е C, в которых он сходится. В общем случае множество D(A, d) может быть невыпуклым (см. [1]) и не является даже связным (см. [2]). Если же выполнены условия

т(Л) = lim mk = 0, ст(Л) = lim lnj = 0,

где {Cj} — неубывающая по модулю последовательность, составленная из точек Лk, причем каждая Лk встречается в ней ровно mk раз, то по теореме Коши-Адамара для рядов экспоненциальных мономов (см. [2]) D(A, d) будет выпуклой областью (возможно пустой), которая описывается при помощи коэффициентов {dk,n}. Более того, при этих же условиях по теореме Абеля (см. [2]) для подобных рядов в области D(A,d) ряд (1.1) сходится абсолютно и равномерно на любом компакте. В частности это означает, что его сумма gd(z) есть аналитическая функция в D(A,d).

O.A. Kriyosheyeya, The singular points of series of exponents on the boundary of convergence domain.

© Кривошеева О.А. 2009.

Поступила 18 октября 2009 г.

Символом А (Л) будем обозначать множество всех последовательностей коэффициентов 1 = №к,п}^=тп=о Ряда (1-1), для которых множество Д(Л,1) не пусто, а функция д^(г) — аналитическая в Д(Л,1). Пусть 1 Є А(Л). Будем говорить, что точка г Є дД(Л,1) особая для функции д^(г), если она аналитически не продолжается ни в какую окрестность этой точки.

Задача описания множества особых точек функции д^ на границе области Д(Л, 1) имеет долгую историю. Ее истоки лежат в начатых еще в позапрошлом веке исследованиях областей существования функций, представимых в виде степенных рядов. Эти ряды являются частными случаями рядов Дирихле, т.е. рядов вида (1.1), где тк = 1 и Ак — отрицательные числа. При помощи замены ,ш = ехр(—г) степенной ряд переходит в ряд Дирихле. В 1892 г. Ж. Адамар [3] доказал, что если функция д представляется рядом

w

k

n=1

с пропусками к(п + 1) — к(п) > ак(п), где а — положительное число, не зависящее от п, то граница круга сходимости этого ряда является естественной границей области существования функции д, т.е. каждая точка этой границы является особой для д. Е. Фабри [4] в 1896 г. доказал, что утверждение Адамара сохраняется при более общем условии на последовательность показателей, а именно, последовательность {к(п)} должна иметь нулевую плотность:

lim kTT

n k

0.

Ж. Полиа [5], [6], а также Карлсон и Ландау (см., например, [7], гл II, § 5.2) распространили этот результат на случай рядов Дирихле. Они показали, что если функция д представляется в виде ряда Дирихле

g

k= 1

с последовательностью положительных показателей Л = {Ак}, имеющей нулевую плотность, и выполнено неравенство Ак+о — Ак > к > 0, к = 1, 2,..., то либо д(г) — целая функция, либо прямая сходимости (вертикальная прямая, ограничивающая полуплоскость сходимости ряда Дирихле) является естественной границей области существования этой функции. Этот результат является частным случаем более общего утверждения

В. Бернштейна [8]. Он доказал, что при условиях

T,

Y

1

lim —— ln

k^M Ak

1

L'

0,

где

L(A) = П ( 1

k=1

A2

Ak

каждый отрезок длины 2пт прямой сходимости ряда (1.3) (если таковая имеется) содержит по крайней мере одну особую точку функции g(z). Отсюда, в частности, следует обобщение теоремы Фабри: если последовательность степеней {k(n)} ряда (1.2) имеет плотность т = lim n/k(n), то каждая замкнутая дуга границы его круга сходимости углового раствора 2пт содержит хотя бы одну особую точку функции g(w). Отметим, что утверждение В. Бернштейна ранее было доказано Ж. Полиа [5] при более сильном ограничении на последовательность Л = (Afc}: Afc+i — Afc > h > 0, k =1, 2,... В книге [9], гл. II, § 3.3 строится

специальная функция, которая является суммой ряда Дирихле и при условии 7(Л) = 0 не имеет особых точек на прямой сходимости. Существование такой функции говорит о том, что условие 7(Л) = 0 в теореме В. Бернштейна необходимо.

А.Ф. Леонтьев [9] обобщил результаты Е. Фабри, Ж. Полиа и В. Бернштейна на случай рядов экспонент (т.е. рядов вида (1.1), где Шк = 1) с последовательностью показателей, имеющей нулевую плотность. Он доказал, что при этом условии и дополнительном условии 7(Л) = 0 область сходимости ряда экспонент совпадает с областью аналитичности суммы ряда. Отсюда, в частности, следует, что последняя является выпуклой.

В связи с рассматриваемой задачей отметим еще стоящие несколько особняком работы А. Островского [10] и Г.Л. Лунца [11], [12]. В первой из этих работ изучаются ряды Дирихле с последовательностью показателей, имеющей конечную максимальную плотность

Известная теорема А. Островского (см. также [20], [7], теорема 2.4.7) утверждает, что при условии

функция (1.3) в каждом замкнутом круге радиуса г(а,к) = па* + 3(3 — 1п(ка))а с центром в точке на прямой сходимости ряда имеет хотя бы одну особую точку. Здесь а*

— усредненная верхняя плотность последовательности {Ак} (см. [7]), для которой имеют место оценки а* ^ а ^ еа*. Отметим, что из определения верхней плотности следует неравенство а ^ 1/к. При условии (1.4) последовательность {Ак} всегда можно пополнить (см., например, [1]) до последовательности, имеющей плотность, которая не превосходит числа 1/к. Тогда по теореме Полиа (или теореме Бернштейна) функция (1.3) имеет хотя бы одну особую точку на каждом отрезке по крайней мере длины 2п/к, лежащем на прямой сходимости ряда. Если верхняя плотность а не сильно отличается от 1/к, то число 2п/к существенно меньше, чем г (а, к). В этом случае результат, получаемый при помощи теоремы Полиа, лучше результата теоремы А. Островского. Таким образом, в контексте изучаемой нами задачи результаты работы [10] становятся содержательными лишь для рядов Дирихле специального вида, когда верхняя плотность а последовательности {Ак} намного меньше числа 1/к. В этом случае показатели этих рядов должны быть сосредоточены, в основном, в группах, отстоящих друг от друга на значительном расстоянии на прямой. В этой связи возникает естественный вопрос о применимости результата теоремы А. Островского к задаче распределения особых точек суммы ряда Дирихле на прямой его сходимости.

В работах Г.Л. Лунца изучаются уже общие ряды экспонент. Здесь получены тонкие интересные результаты по распределению множества особых точек на границе области сходимости ряда экспонент. Однако речь идет не о множестве особых точек суммы д(г) этого ряда, а о множестве особых точек всех его "частных сумм"д(г, Г). Функция д(г, Г) является суммой лишь тех членов ряда, показатели которых лежат в угле Г. Множество особых точек всех функций д(г, Г) (включая и д(г) = д(г, С)) существенно шире множества особых точек функции д(г). Для примера рассмотрим ряд

Иш —

к^<х А,

к

а > 0.

к

Цш(Ак+1 — Ак) = к

А ехр

где

вт А в1п

и Л = {Ак} — последовательность нулей функции ¿(А), состоящая из точек вещественной и мнимой оси ±пп и ±гпп, п = 1, 2,... Областью сходимости ряда (1.5) является квадрат с вершинами в точках 1 + г, г — 1,1 — г, —1 — г, а его сумма тождественно равна нулю, а потому не имеет особых точек (см. [9], гл. II, § 2.3). В то же время каждая из четырех "частных сумм"д(г, Г) ряда (1.5), построенных по точкам Ак, лежащим на положительной и отрицательной вещественной и мнимой полуоси, имеет хотя бы одну особую точку на соответствующей стороне квадрата. Действительно, пусть д(г, Г) — сумма ряда Дирихле, построенного по отрицательным точкам Ак. Последовательность показателей этого ряда имеет плотность т = 1/п, и расстояние между соседними показателями равно единице. Тогда по цитируемой выше теореме Полиа функция д(г, Г) имеет хотя бы одну особую точку на каждом отрезке длины 2 на прямой сходимости (вертикальной прямой, содержащей отрезок [—1 — г, г — 1]). Сказанное относится и к остальным трем частным суммам ряда (1.5).

В данной работе исследуются особые точки общего ряда (1.1). Получен результат, частными случаями которого являются результаты отмеченных выше работ за исключением трех последних. При этом построена специальная функция, которая не имеет особых точек на границе области сходимости своего ряда. Эта функция является обобщением указанной выше специальной функции из теории рядов Дирихле на случай общих рядов экспоненциальных мономов. Ее существование доказывает необходимость одного из условий основной теоремы, сходного по смыслу с условием 7(Л) = 0 в теореме В. Бернштейна. В предпоследнем параграфе работы дается исчерпывающий ответ на вопрос о том, когда область существования суммы ряда (1.1) является выпуклой и совпадает с областью сходимости ряда. Следствием этого результата является утверждение, обратное к теореме Фабри. Показывается, что условие Ншп^те п/к(п) = 0 не только достаточно, но и необходимо для того, чтобы область существования суммы любого ряда (1.2) совпадала с кругом сходимости этого ряда. Наконец, в последнем параграфе дается ответ на поставленный выше вопрос относительно результата теоремы А. Островского. Здесь приводится пример, из которого, в частности, вытекает, что в условиях этой теоремы расстояние между особыми точками суммы ряда Дирихле на прямой его сходимости может достигать величины порядка 0(1/к) (а не только порядка 0(— 1п к), как число г (а, к)). Это означает, что результат теоремы А. Островского по существу относится к особым точкам суммы ряда Дирихле, лежащим не на прямой сходимости, а лишь в ее окрестности. Кроме того, указанный пример дает также оценку снизу на величину этой окрестности. Оказывается, что за эту оценку отвечает верхняя плотность а последовательности {Ак}.

2. Характеристики комплексной последовательности

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

Следуя работам [13, 14] для последовательности Л = {Ак, Шк}д!=1 введем величину, характеризующую меру сгущения точек Ак. Положим

Здесь В(ад, г) — открытый круг с центром в точке w и радиуса г. Модуль функции 5л(^,и,,$) можно интерпретировать как меру сгущения точек Лк Є В(ад,$|ад|) около точки г. В случае, когда круг В(и>,$|и>|) не содержит ни одной из точек Лк, считаем, что 5л(г,ад,$) = 1. Отметим, что модуль каждого из сомножителей в определении 5а в

круге В(эд,8|эд|) оценивается сверху величиной 2(3(1 — 8))-1 (для 8 Є (0,1)), т.е. при 8 Є (0,1/3) он не превосходит единицы. Кроме того, если 81 ^ 82 и имеет место вложение В(ад1,81|ад1|) С В(ад2,82|ад2|), то число сомножителей в определении ^л(г,ад1,81) не превосходит числа сомножителей в определении 5а(г,и>2,82), и каждый из сомножителей для ^л(г,ад1,81) по модулю не меньше соответствующего сомножителя для 5л(г,ад2,82). Таким образом,

|?л(г, ^1, 81)| > |^л(г,ад2,82)|, г Є С, если 0 < 81 ^ 82 < 1/3 и В(ад1,81|ад11) С В(ад2,82|ад2|). Аналогичное неравенство верно и для функции дД (г, 8):

кЛ

если 0 < 81 ^ 82 < 1/3.

Положим 5Д = 0, если Л состоит из конечного числа элементов и

5л = Вт Ї^І^Лг^

в противном случае. Это определение корректно, поскольку согласно (2.1) предел по 8 всегда существует. В силу сказанного выше верно неравенство 5Д ^ 0. Величина 5Д схожа по смыслу с классическим индексом конденсации последовательности Л (см. [7],[15]). Следуя работе [14], введем еще величину

Мд

Мд = lim lim ,

где Мд(ад, $) = ^2\k¿|w|) mfc• При этом считаем Мл = 0, если Л конечна. Очевидно, что Мд > 0 и

Ma

Отсюда следует корректность определения величины Мл• Нетрудно заметить также, что верно неравенство т(Л) ^ Мд (число т(Л) определено во введении).

Предположим, что последовательность Л имеет конечную верхнюю плотность, т.е.

l

N (Л) = Нш-:—г < сю,

где (пг} составлена из точек последовательности {Лк}, причем каждая Лк встречается в последовательности {пг} ровно тк раз. Это равносильно тому (см., например [15]), что Л является частью нулей целой функции экспоненциального типа f. Другими словами, функция f обращается в ноль во всех точках Лк с кратностью не меньшей, чем тк. Нетрудно заметить, что выполнено неравенство Мд ^ N (Л).

Проиллюстрируем на примерах введенные величины. Пусть Л2к = к, Л2к-1 = к — е—к, к = 1, 2,..., где є > 0. Легко заметить, что в этом случае N (Л) = 2 и

МЛ ^ lim lim . = 0.

Подсчитаем 5Л. Пусть 8 Є (0,1/3). Поскольку при таком 8 числа (z — А.)/38|А. | по модулю не превосходят единицы, то мы имеем:

A2fc — A2fc-1 381A2fc-1|

e-£fc

38(k — e-£fc)'

1п |дД (Лг,8)Ь. . ,-и„( е £к

Следовательно,

$л = ПшПш, У"'' ^ ИшИш^..к-11п ( "-— ) = —е.

Таким образом, в данном примере величина £д отрицательна и характеризует расстояние между соседними точками А2к и А2к-1. Оно стремится к нулю со скоростью в-ек, где

—е > 5д. Простого стремления к нулю расстояния между соседними точками уже недостаточно для отрицательности числа £д, что и показывает следующий пример.

Пусть теперь А2к = к и А2к-1 = к — в-е(к)к, к = 1, 2,..., где е(к) ^ 0 и е-е(к)к ^ 0 при к ^ то (например, е(к) = 1/\/к). Величины N (Л) и Мд в данном случае те же, что и в предыдущем примере. Найдем 5д. Имеем:

1п (А2к,5)| > ^ 1п А2к А/

Л; €В(А2Й,й|А2й|),Аг = А2£

Пусть ^ Е (0,1/3). Тогда слагаемые справа в этом неравенстве отрицательны. Увеличение их числа только усилит его. Поэтому, добавляя при необходимости к правой части неравенства слагаемые, построенные по точкам Аг, лежащим в круге В(А2к, 5|А2к| +2), но вне круга В (А2к, 51 А2к |), получаем

А2к — А2к+г

1п |?!к(А2к,5)|> ^ 1п

-2г

где 5|А2к| — 1 < г(к) < 5|А2к| + 1. Пусть е-е(к)к < 1/2. Тогда согласно определению чисел Ак выполнены неравенства: |А2к — А2к-11 = е-е(к)к, |А2к — А2к+г| = ш, если I = 2ш, и |А2к — А2к+г| > ш — 1/2 > ш/2, если I = 2ш — 1. Следовательно,

1п |^Лк(А2к, 5)| > —е(к)к + 1п- (г(к)!)4

4г(к) (35((1 + 5)к + 2))4г(к) ’

Здесь мы воспользовались также оценкой |А2к+г| ^ (1 + 5)|А2к | + 2= (1 + 5)к + 2, которая верна, т.к. все точки А2к+г, участвующие в сумме, лежат в круге В(А2к, 5|А2к|+2). Учитывая теперь, что к! > 3-ккк для всех к = 1, 2,... и 5 € (0,1/3), получаем

1п |дЛк(А2к,5)| > —е(к) + 4г(к) 1п—=----------------------- >

|Ул12к’ л> 3^2(35((1 + 5)к + 2)) >

> —е

12(к + 1)‘

Поскольку 5|А2к| — 1 < г(к) < 5|А2к| + 1, то выражение, стоящее под знаком логарифма в последнем неравенстве справа отрицательно. Поэтому мы имеем:

1п |зЛк(А2к-,5)| 1п К(Аи,, 5)1 " „,ч , 4(5|А2к| + 1), 5|Аи,| — 1 =

п ^ , 4(5к + 1^ 5к — 1

= —е(к) +-------- ---1п-

к 12(к + 1)' Аналогично показывается, что верна следующая оценка

1п |#-1(А2к-1,5)| ^ е(к)к + 4(5к + 1) ^ 5к — 1

Таким образом, в силу выбора чисел є(к) получаем

Sa

т т ln |?Л(Afc, 8)| т л п 8

lim limk -------------¡-—:------ > lim 48 ln —

г-о------|Afe | > г-о 12

0.

Приведем еще один пример, иллюстрирующий величину 5Л, который к тому же понадобится нам позже. Пусть Л = (Ак}, где А& — положительные числа такие, что для некоторого к > 0 выполнены неравенства А&+1 — А& > к. Подсчитаем 5Л. Имеем:

ln ^

A: — Afc-Z

+ ^ ln

1<Z<p

A: A

fc+Z

где з(&) — число точек Аг из круга В(А^, 8|А^|), лежащих левее А&, и р(к) — число точек Аг из круга В(А^, 8|А^|), лежащих правее А&. По построению |А& — А^+г| > /к. Следовательно, для всех 8 Е (0, 1/3) имеем:

ln |g^(A:,8)| > ln

hs(:)s(k)!

+ ln

hp(:)p(k)!

>

ln

hs

+ ln

ln

+ ln

>

> s

Заметим, что согласно определению чисел s(k), p(k) и Az выполнены неравенства

Кроме того, функция x ln(kx/18) убывает, когда kx/18 < 1. Поэтому, учитывая предыдущие неравенства, получаем

Sa = lim llm^-.

Л <5-> 0----

> lim lim

^ о

0.

>

/28, 28 28, 28

> 11т — 1п-----+ — 1п —

у к 18 к 18

Исследуем теперь некоторые взаимосвязи между введенными характеристиками после-

довательности Л. Прежде всего заметим, что во всех рассмотренных примерах Мл = 0. При этом величина 5Л может быть как отрицательной, так и равной нулю. Ситуация меняется, если Мл > 0.

Лемма 2.1. Пусть 8 Е (0,1). Имеет место неравенство

ln |<зЛ(А:, 8)| < ln

1

-(Мд (Afc ,8) - mfc), k = 1, 2,...

3

Если последовательность Л = {Ак, тк}^=1 такова, что т(Л) = 0 и Мл > т > 0, то 5л ^ —т 1п3.

Доказательство. Согласно определению функции ^Л (А& ,8) имеем:

ln |g^(А:, 8)| = mz ln

Лг eB(Afc ,5|Afc |),A;=Afc

A: — Az

<

<

£

mZ ln

Аг€Б(А£,г1А£|),Аг=А£

= 1пз(Г—8) ^ m" = ln з(Г-5)(Мл <А‘ ^ - mk)-

Ai€-B(Ab^|Afc|),Ai=Afc

Пусть Мл > т > 0 и т(Л) = 0. Поскольку коэффициент — 1п<3<1 — 8)) для малых 8 > 0 отрицателен, то из предыдущего получаем

S, = I-1-,_ 1n^bi!l < g <Мл(А‘|а8) — ••  =

= — 1п 31im 1im —Л (Ak' 8) = —т 1п 3.

Лемма доказана.

Пусть Г — угол с вершиной в начале координат. Введем величины

N (Л, r,t)= V •, N (Л, Г)=Йт N (Л r,t).

/ t—>^0 t

AfcernB

Нетрудно заметить, что верно равенство N (Л, C) = N (Л). Для точки £ Е S (S — единичная окружность с центром в начале координат) и числа 8 Е (0,1) через Г(£, 8) обозначим угол с вершиной в начале координат, порожденный кругом B(£,8). Положим еще

А! 1^М,

—л,?,й = 1im-----.

t—те t

Лемма 2.2 Пусть £ Е S, 8 Е (0,1) и последовательность Л = {Ak,mk}^=1 такова, что N (Л, Г(£,8)) < то. Тогда выполнены неравенства

8N(Л, Г(£, 8)) < —л,?,2й < (1 + 28)N(Л, Г(£, 28)).

Доказательство. Заметим вначале, что круг B(t£, 2t8) целиком содержит часть угла Г(£, 8), которая лежит в кольце B(0, t)\B(0, (1 — 8)t). Действительно, с учетом определения Г(£, 8), для всех w Е Г(£, 8) таких, что (1 — 8)t < |w| < t имеем:

Следовательно, верно неравенство

N (Л, Г(£, 8), t) < N (Л, Г(£, 8), (1 — 8)t) + —,(t£, 28) t < t t

Отсюда получаем

n (л, гК, 8)) = iim *(Л:ШМ < lim N ^(1 — 8)t> + ж—л^ =

t—^ t t—^ t t—^ t

= (1 — 8)TimN <Л, Г(£,8),г) + —л = (1 — 8)N (Л, Г(£, 8)) + —л,?,2й.

r—ro r

Это дает нам первое из требуемых неравенств. Второе необходимое неравенство вытекает из оценки

—л^£, 28) < N

Лемма доказана.

t

t

3. Построение специальной функции

Величина 5л, как и индекс конденсации, влияет на наличие особых точек суммы ряда экспоненциальных мономов на границе области его сходимости. Отрицательность 5Л влечет за собой существование последовательности й Е А(Л), для которой функция д^(^) не имеет особых точек на границе множества Д(Л,й). Приведем результат, где строится подобная функция. Она является обобщением соответствующей специальной функции из теории рядов Дирихле (см. [9]). Но прежде введем еще некоторые обозначения. Для выпуклой области Д и множества 0 на окружности § положим

D(0) = {z Е C : Re(zA) < HD(А), А Е 0},

где

HM

— опорная функция множества —

— выпуклая область. Из определений D(0) и Hd (A) легко следует вложение D С D(0). Через 0(Л) обозначим множество предельных точек последовательности {Ak/1 Ak |} (исключая точку Ak = 0, если она есть). Очевидно, что 0(Л) — замкнутое множество на

S.

Теорема 3.1. Пусть последовательность A = {Ak,mk}£=1 такова, что т(Л) = 0 и для некоторой подпоследовательности Л = {Ak(p)}pJ=1 выполнено неравенство

_k

1п |?л (Ak(p), 8p) |

11т '*Л 4 к

где {8р} — убывающая к нулю последовательность положительных чисел из интервала (0,1/4). Тогда для каждой ограниченной выпуклой области Д существует последовательность й Е А(Л) такая, что множество Д(Л,й) совпадает с Д(0(Л)) и функция ) аналитична в области Дз = Д(Л,й) + В(0,в).

Замечание. Если 5Л ^ —в, то согласно определению величины 5Л найдется подпоследовательность {Ак(р)} последовательности {Ак}, обладающая свойством (3.1).

Доказательство. Требуемую в теореме функцию будем искать в виде суммы ряда

ГО

д

р=1

Для этого, прежде всего, подходящим образом "проредим"последовательность

Л = {Ак,тк}^к=1, т.е. из элементов Л построим новую последовательность, обладающую

специальными свойствами. Чтобы не загромождать текст излишними обозначениями и индексами, для новой последовательности сохраним те же символы, что и для исходной.

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

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

"лишние"точки. Прежде всего, отбросим все Ак, которые не попали ни в один из кругов Вр = В(Ак(р), 8р|Ак(р)|), р = 1, 2,... Далее, если номер р таков, что

МЛ

то из круга Вр изымем столько точек Ак, не трогая Ак(р), или уменьшим их кратности тк так, чтобы выполнялись неравенства

Таким образом, мы получили последовательность Л = {Ак,тк}к=1, обладающую следующими свойствами:

1) каждая точка Ак лежит в одном и только одном из кругов Вр, р = 1, 2,...;

2) рядЕр^=1 ехр(—а|Ак(р) |) сходится для любого а > 0;

3) имеет место неравенство (3.1);

4) т(Л) = 0;

5) N (л) < то.

Покажем, что свойства 1)-5) действительно имеют место. По построению каждая точка Ак лежит хотя бы в одном из кругов Вр, р = 1, 2,... Кроме того, верно неравенство (3.3). Так как $р < 1/4, то из него следует, что

(1 + 8р)|Ак(р)! ^ (1 — 8p+l)|Аk(p+l)|, р = 1 2,... (3.6) Поэтому круги Вр, р = 1, 2,... попарно не пересекаются, и мы получаем свойство 1). Свойство 2) немедленно вытекает из неравенства (3.3). Докажем 3). Для тех номеров р, для которых неравенство (3.4) не имело место, все точки Ак из круга Вр остались на месте. Поэтому величина 1п |^Л(р)(Ак(р), 8р)| не изменилась. Пусть номер р такой, что неравенство

(3.4) было выполнено. После изъятия из круга Вр некоторых точек Ак или уменьшения их кратностей тк величина 1п |^Л(р)(Ак(р), 8р)| увеличилась, поскольку каждый из сомножителей, определяющих ^Л(р) (Ак(р) ,8р), по модулю не превосходит единицы. Однако это увеличение не нарушило необходимых оценок сверху. Действительно, в силу леммы 2.1 имеем:

1п кЛ(р)(Ак(р) А)! ^ 1п3(1 — § ) (Мл(Ак(р),8р) — тк(р)).

Отсюда при больших р с учетом (3.5) получаем

1п |?Л (Ак(р),8р)| ^ (Мл(Ак(р),8р) тк(р)) ^ в|Ак(р)|.

Таким образом, неравенство (3.1) сохранилось и для новой последовательности.

Свойство 4) верно, т.к. предел любой подпоследовательности совпадает с пределом самой последовательности, и уменьшение чисел тк > 0 сохраняет равенство т(Л) = 0. Проверим последнее свойство. По построению для каждого р = 1, 2, . . . верно неравенство

^Л

Пусть * Е [(1 + ¿р)|Ак(р)|, (1 — 8р+1)|Ак(р+1)|]. Тогда с учетом (3.6) и свойства 1) получаем:

р

(Л,С,*) = (Л,С, (1 + ¿р)|Ак(р)|) = *-1 У Мл(АксоЛ) ^

7=1

р

^ ((1 + ¿р)|Ак(р)|)-1 У Мл(Ак(^-),).

.7 = 1

Отсюда и из неравенств (3.3) и (3.7) следует, что

р

* ^(Л С,*) < ((1 + 8р)|Ак(р)|) 1 ^^(в|Ак(7)| + 1+ тк(7)) <

7=1

рр

< |Ак(р)|-1 У (27-рв|Ак(р)| + 1) + У 27-р|Ак(7)|-1тк(7).

7=1 7=1

В силу (3.3) последовательность {р|Ак(р) |-1} ограничена. По свойству 4) ограничена также последовательность {|Ак(7)|-1тк(7)}. Поэтому из предыдущего получаем

р

і-1Ж(Л, С, і) ^ У (27-рв + |Аад|-1) + У 27-р|Ак(7) |-1

7=1 1-1

7=1

< р|Ак(р)|-1 + в У 27-р + с^ 27-р < с2 + в + С1.

7=1 7=1

Пусть теперь * Е [(1 — ¿р)|Ак(р)|, (1 + 8р)|Ак(р)|]. Тогда N (Л, С,*) < N (Л, С, (1+ ¿р)|Ак(р)|) < N (Л, С, (1 + ¿р )|Аад|) < * * (1 ^^^(р^

< 2|Ак(р)| lN(Л C, (1 + ¿р)|Ак(р)|) < 2(с2 + в + с1).

Таким образом, N (Л) = N (Л, С) < то.

Определим теперь функции др(г), р =1, 2,..., по формуле

ехр(Аг)^А

аР

^

где Б(Ь, г) — окружность с центром в точке Ь и радиуса г, а числа ар > 1 мы определим ниже. Получим оценки сверху на эти функции. Поскольку ар > 1, то мы имеем:

|ар^Л(р)(А,^р)| > |?1(р)(А,^р)| =

к(р)/

п

>

п

Лк ^В(Лк(р) ,^р |Лк(р) 0 ,Лк = Лк(р) Следовательно, верны неравенства

Лк&В(Лк(р),^Р1Лк(р)1),Лк = Лк(р) 'р| Ак

А - А 4 тк

1, А Є Б

>

ехр(Аг)^А

ар

5’

8п|Ак(р) ^р ^ ---------------—— вир

ЛЄ5’

2п

ехр

^ 4п|Ак(р)|£р вир

ЛЄ5’

ехр

^ ехр(Дв(Ак(р)г) + 4^р|Ак(р)||г|), г Є С

^ вир |ехр(Аг)| ^

ЛЄ5’

Определим теперь коэффициенты ср. Пусть Д — ограниченная выпуклая область и {Кг}гс=1 — последовательность выпуклых компактов из области Д, строго исчерпывающая ее (т.е. для каждого / = 1, 2,... внутренность компакта Кг+1 содержит Кг, и объединение всех компактов Кг совпадает с областью Д). Положим

Ср = ехр(—Якр(Ак(р)) — в|Ак(р)|), р = 1,2,...

Найдем область сходимости ряда (3.2). Положим

Д = {г Е С : Яв(гА) < Яд(А) + в, А Е 0(Л)}.

Покажем, что ряд (3.2) сходится равномерно на компактах в области Д. Фиксируем компакт К С Д и пусть г Е К и А Е 0(Л). Согласно определению области Д имеем: Ле(гА) < Яд(А) + в. Поскольку {Кг}г°=1 — исчерпывающая последовательность для Д, то в силу определения опорной функции имеем: Нкг (А) ^ Яд(А) при / ^ то. Поэтому найдется номер /(г, А) такой, что выполнено неравенство Ле(гА) < Нкг(гЛ) (А) + в. Из непрерывности опорной функции компакта (см [16]) следует, что последнее неравенство продолжается в окрестности и (г) и V (А) точек г и А соответственно:

Яе

Из покрытия компакта К х 0 множествами и (г) х V (А), г Е К, А Е 0, выделим конечное подпокрытие и(г(^')) х V(А(^')), ] = 1,..., 5. Пусть г — максимальный из номеров /(г),А(?)), = 1,...,5. Объединение всех множеств и(г(?)) х V(А(?)), г Е К, А Е 0,

] = 1,... , 5 содержит в себе произведение К х V, где V — некоторая окрестность компакта 0. Пусть г Е К и А Е V. Тогда согласно (3.8) для некоторого номера ] = 1,... , 5 верно неравенство: Ле(гА) < Ях^у) (А). В силу возрастания последовательности {Кг} имеем:

Якг(гШ,ЛШ) (А) < ЯК (А).

Таким образом, мы получаем оценку

Яв

Согласно определению множества 0(Л) выберем номер ро такой, что для всех р > ро точка Ак(р)/|Ак(р)| принадлежит окрестности V. Тогда в силу (3.8) и (3.10) с учетом положительной однородности порядка один опорной функции получаем:

< ехр ^|Ак(р)| ^Щр]) + в) +4^р|Ак(р)||г^ =

ехр

Поскольку Кг лежит во внутренности компакта Кг+1, а последовательность {Кг}г°=1 возрастающая, то найдется аг > 0, для которого выполнены неравенства

Яхг

Выберем номер р1 > тах{р0, г +1} такой, что 48р|г| < аг, когда г Е К и р > р1. Тогда из (3.11), (3.12) и определения коэффициентов ср получаем:

|ср^р(г)| < ехр( ЯКр (Ак(р)) в | Ак(р)|) ехр(ЯКг (Ак(р)) + в|Аk(p)| + 4^р| Ак(р)||г |) <

< ехр(—2аг|Ак(р)| + 4£р|Ак(р)||г|) < ехр(—2аг|Ак(р)| + аг|Ак(р)|) = ехр(—аг|Ак(р)|) для всех г Е К и р >1. Таким образом,

сс

X |ср#р(г)| < X ехр( —аг |Аk(p)|), г Е К.

р=р1 р=р1

По свойству 2) последовательности Л последний ряд сходится, а вместе с ним сходится и ряд (3.2), причем равномерно на компактах в области Д. Члены ряда (3.2) — целые функции. Следовательно, д(г) — функция, аналитическая в области Д. Отметим, что все проведенные рассуждения верны при любом выборе чисел ар > 1, р = 1, 2,...

Покажем теперь, что при подходящем выборе чисел ар > 1, р = 1, 2,..., в некоторой подобласти области Д функция д(г) раскладывается в ряд вида (1.1). Используя теорию вычетов, для каждого р = 1, 2, . . . получаем:

(тй-1

Ьк

Лк€в(Лк(р),йр|Лк(р)|),Лк=Аад п=0

где Ьк(р),о = (?Л(р)(Ак(р),^р))-1. Положим еще 6к(р),„ = 0, п = 1,...,тк(р) — 1. Определим коэффициенты 4,п следующим образом. Пусть Ак Е Вр для некоторого р = 1, 2,... Тогда

4,«, — СрЬк,га(ар) , п — 0, 1, . . . , тк 1.

В силу свойства 1) последовательности Л такое определение корректно.

Подберем теперь числа ар, р = 1, 2,... В силу свойства 3)

Итр^с^р > в,

где Ур = тах{|Ак(р) |-11п |&к,п|}, а максимум берется по все номерам к, для которых Ак Е Вр и всем п = 0,1,... , тк — 1. Если Ур < в, то полагаем ар = 1, в противном случае выберем ар > 1 такое, что Ур — |Ак(р) |-11п ар = в. Таким образом, мы имеем:

Ит , л {| Ак

р^с к:ЛкбВр,0^п^тк-1

Найдем область сходимости ряда

с,Шк-1

У 4,гагга ехр

к=1,п=0

Из свойства 5) вытекает равенство ст(Л) = 0. Тогда с учетом свойства 4) по теореме Коши-Адамара для рядов экспоненциальных мономов ряд (3.14) сходится в выпуклой области

Д(Л, ¿) = {г Е С : Яе(гА) < к(^, А), А Е 0(Л)}

и расходится в каждой точке ее внешности за исключением возможно начала координат. Функция к

^ • С1- • 1п(1/|^«(г),га|) Л

к(^ А) = т£ ктг^с т1п ,--, А Е 0(Л),

0^п^т3(г)-1 |Аг31

где инфимум берется по всем подпоследовательностям {А5(г)} последовательности {Ак} таким, что А8(г)/|А8(г) | сходится к А, когда / ^ то.

Подсчитаем величину к(^, А), А Е 0(Л). Но прежде покажем, что 0(Л) = 0(Л). Из определения этих множеств сразу следует вложение 0(Л) С 0(Л). Пусть А Е 0(Л). Тогда найдется подпоследовательность {А^г)} последовательности {Ак} такая, что А8(г)/|А8(г)| сходится к А. Согласно свойству 1) каждая точка А^г) лежит в некотором круге Вр(г). Следовательно, |А5(г) — Ак(р(г)) | < ¿р(г)|Ак(р(г))|. Отсюда получаем

А«

I|Ак(р(г))| — |А«(г)|| , |Ак(р(г)) — ^(г^ ^ г п _

+ п; I < ¿р(г) + ¿р(г) = 2^р(г) ^ ° 1 ^ то.

Это означает, что точка А, а вместе с ней и все множество 0(Л) лежат в 0(Л).

Пусть А Е 0(Л), подпоследовательность {А^г)} такова, что А8(г)/|А8(г)| сходится к А и А8(г) Е Вр(г), / = 1, 2,... Имеем:

0^га^т3(г)-1

т1п

тах

к:Лк €Вр(;) ,0^га^тк -1

> -

1

к:Лй€Вр(г),0^га^тй-1 | Ак |

тах

к:ЛкевР(г),0^п^тк-1 |Ак(р(г))| |Ак| _ 1 ± ¿р(г) к:Лкевр(о>0^п^тк-1 |Ак(р(г))|

Знак в знаменателе здесь противоположен знаку максимума. Отсюда с учетом определения коэффициентов ср получаем:

1п(1/|^5(г),га|) , т1п ------------гг----:----- > —

1

0^га^т3(г)-1

тах

1 ± ¿р(г) к:Лй€Вр(г),0^га^тй-1

1

тах

1п Мк,га/ср(г)|

Н

1 ± ¿р

Подпоследовательность Ак(р(г))/1Ак(р(г))| как и А8(г)/|А8(г)| сходится к А, последовательность {Кг} — возрастающая, а опорная функция компакта непрерывна. Поэтому

НШ^оо Ях

р

А

к

> Цт^оо ЯКг

А

к

хк(р(г))^ \|Аk(p(г))|

Кроме того, последовательность {Кг} исчерпывает область Д. Следовательно,

Яхг(А), г =1, 2,

Цтг^сДхрО)

А

к

> 11т Яхг (А) = Яд (А).

Отсюда с учетом (3.13) и (3.15) получаем:

11т;

г

1п(1/|^5(г),га|) тт ------------- -----:----- > — 11т

0^п^т3(г)-1

тах

1п |^к,га/ср(г)|

р^с 1 ± ¿р(г) к:ЛкеБр(г),0^п^тк-1 |Ак(р(г))|

+11т^оо Ях

г^сЯхр

(ГГкШ)7') + в > —в + Не (А) + в = Яс (А).

\|Ак(р(г))|У

Поскольку подпоследовательность {А^г)} выбиралась произвольно из условия, что А8(г)/|А8(г)| сходится к А, то согласно определению функции к(^, А) имеем:

ВД А) > Яд (А), А Е 0(Л) = 0(Л).

Покажем, что на самом деле здесь имеет место равенство. Пусть А Е 0(Л) и подпоследовательность {Ак(р(г))} такова, что Ак(р(г))/|Ак(р(г))| сходится к А. Для каждого р(/), / = 1, 2,...

1

через з(/) и п(/) обозначим соответственно номера к и п коэффициента 4,га, при которых реализуется максимум в соотношении (3.13). Тогда

Отсюда получаем

ln(l/|ds(1),ra(1)|) y----- (ln |ds(1),n(1)/cp(1)1 + ln |cp(i)|) |Afc(p(i))1

lim 1 s(1),n(vi; = lim

|^s(i)1 |As(i)||Afc(p(i))1

= ЙШ-(ln|ds(1),"(0/cp(1)l +ln|cp(1)l) = -в + ЙШ-ln|cp(1)|) = йШЯк m f) .

|Afc(P(i)) | |Afc(p(i))| \ |Afc(p(i))|/

Учитывая вложение Kp(i) С D и непрерывность функции Hd , имеем:

nmln(1/lds(1);ra(1)l) ^ ишяд f ) = hd(a).

|As(i)1 V|Afc(p(i))1/

Поскольку As(i) G Bp(i), то, как и выше, As(i)/1As(i) | сходится к A. Тогда согласно определению величины h(d, A) получаем неравенство

h(d, A) ^ HD(A), A G 0(Л) = 0(Л).

Таким образом, имеет место равенство

h

Отсюда с учетом определения областей D^,d) и D^^)) получаем их совпадение. Пусть z G Dß и A G 0(Л). Тогда z = w + у, где у G В(0,в) и w G D^,d). В силу (3.16), определений области D^, d) и опорной функции круга имеем:

Re(zA) = Re(wA) + Re(yA) < HD(A) + в|А| = HD(A) + в.

Следовательно, Dß С D. Остается показать, что функция gd(z) совпадает с g(z) в области D^,d). Поскольку т(Л) = ст(Л) = 0, то по теореме Абеля для рядов экспоненциальных мономов ряд (3.14) абсолютно сходится в области D^,d). Поэтому ряд (3.2), который можно получить из ряда (3.14) при помощи группировки членов последнего, имеет ту же сумму в общей области сходимости D^, d), что и ряд (3.14). Теорема доказана.

4. Особые точки

Согласно теореме 3.1 при условии т(Л) = 0 отрицательность величины Sa обеспечивает существование аналитических функций, представимых рядом (3.14) со сколь угодно большой областью сходимости, которые не имеют особых точек на границе этой области. Оказывается, что при дополнительном условии на последовательность Л отрицательность Sa является необходимым условием существования подобных функций. Далее мы приведем соответствующий результат. Но прежде введем еще некоторые необходимые определения и обозначения, а также докажем два вспомогательных результата.

Последовательность Л = (А&, }^=1 будем называть правильной, если она является ча-

стью правильно распределенной последовательности при порядке один. Это равносильно тому, что (см. [15], [7]) Л является частью нулевого множества (с учетом кратностей m^) целой функции экспоненциального типа и вполне регулярного роста. Пусть Л — правильная последовательность. Через F(Л) обозначим множество всех целых функций экспоненциального типа и вполне регулярного роста, для каждой из которых Л является частью ее нулевого множества.

Пусть f (г) — целая функция экспоненциального типа. Ее индикатором (верхним индикатором) называется функция

-1п ^(¿А)!

Л/ (А) = Пт-----------, А € С.

£

Если К — выпуклый компакт, который является сопряженной диаграммой функции f, то по теореме Полиа (см, например, [7], [9]) имеет место равенство

Л/(А) = Нк(А), А € С.

Символом Л/ обозначим нижний индикатор функции f (см. [17]):

, 1 [ 1п Ц'(г)|

= птпт+ —— / --------ахау, г = х + гу.

п^2 У £

Из определений индикаторов следует, что нижний индикатор не больше верхнего. Функция f имеет вполне регулярный рост тогда и только тогда [17], когда верно равенство

Л/(А) = Л/(А), А € С.

Лемма 4.1. Пусть Л — правильная последовательность. Тогда ст(А) = 0 и Мл = 0 . Доказательство. По условию последовательность Л является частью нулей целой функции экспоненциального типа. Поэтому N (Л) < то (см., напр. [7]). Отсюда сразу следует равенство ст(Л) = 0. Покажем, что Мл = 0. Доказательство проведем от противного.

Предположим, что Мл > т > 0. Согласно определению величины Мл выберем подпоследовательность |Ак(р)} последовательности (А&} такую, что

Мл

1 Afc(p)1

Переходя еще раз к подпоследовательности и учитывая при этом неравенство (2.2), можно считать, что {А&(Р)/|А&(Р)|} сходится к некоторой точке £ Е S. Пусть f Е F(Л) и е > 0. По свойству индикаторов (см., например, [18]) найдутся положительные числа 5 < 1 и T, для которых выполнено неравенство

^

Поскольку функция f имеет вполне регулярный рост, то

, fl = hf

t

где E — множество нулевой относительной меры, т.е.

mes(E П [0. r]) .,

lim ----^-----L^- = 0.

r^-ro r

Выберем неограниченную возрастающую последовательность положительных чисел {—}, вне множества E и удовлетворяющую условию

Это можно сделать, т.к. в силу (4.19) для любого а > 1

lim = 1.

—

.. mes(E П [r.ar]) lim --------------------= 0.

r—OO

т.е. на любом отрезке [г, аг] при достаточно большом г есть точки, не лежащие в Е. Согласно (4.3) найдем номер /0 такой, что для всех / > /0 выполнены неравенства

Пусть п(/) — число нулей (с учетом кратности) функции /¿(^) в круге B(0, 38t;/e). Тогда по теореме о нулях аналитической функции в круге (см. [9]) верно неравенство

I--------------г ^ exp(2et;), / > /q,

Kl?2 . . . ?ra(;)|

где ^1,... , cn(;) — нули /; в круге B(0, 38t;/e). Так как | j| ^ 38t;/e, то отсюда получаем

en(;) ^ (38t;) () ^ exp(2et;), / > /q.

Kl?2 . . . ?n(1)1

Таким образом, с учетом (2.2) и определения функций /¿(^) имеем:

Следовательно, круг В(А^(р), 8|А^(р)|/4) лежит в круге В(^(р)£, $£г(р)). Поэтому с учетом (2.2) и (4.7) верны неравенства

In |f (ijfl| > (ft-/(С) - £)il

и > T. Рассмотрим функции

В силу (4.2) и (4.6) имеем:

In |f (с)| ^ 2et|, с Є B(0, 38t),1 > lo

Мл(Ъ£,8) ^ 2е£г, / > /о.

В силу (4.5), увеличивая при необходимости номер /0, можно считать, что

¿i+i ^ (1 + 8/4)ti.

Выберем номер р0 такой, что

1 Ак(р)/!Ак(р)1 £| ^ 8/4, |Ак(р)! > ¿1о

для всех р > р0. Фиксируем р > р0 и найдем номер /(р) > /0, для которого

t;(p) ^ |Afc(p^ ^ t;(p)+i.

Пусть A — произвольная точка круга B (A^(p), 8|A&(p)|/4). Тогда мы имеем:

+||Afc(p)|c + ^¿(р)С| ^ ^|Afc(p)|/2 + |Afc(p)1 ^і(р) ^ ^^!(р)/2 + ^і(р) ^і(р) ^

^ 8(1 + 8/4)іг(р)/2 + 8іг(р)/4 < 8%).

MЛ(Аfc(p), 1/р) ^ 2е|Ак(р)!.

Это противоречит неравенству (4.1), т.к. число е > 0 можно брать сколь угодно малым. Лемма доказана.

Следующий результат является прямым следствием теоремы 5.2 из работы [14].

Лемма 4.2. Пусть Л — правильная последовательность и = 0. Пусть далее f € Е(Л), К — сопряженная диаграмма функции f, т € С и г > 0. Предположим, что функция д аппроксимируется равномерно на компактах в области О = К + В(т,г) линейными комбинациями элементов системы Е = (гпехр(Акг)}^^!,. Тогда в этой области д единственным образом представляется рядом (1.1).

Доказательство. Покажем, что выполнены все условия теоремы 5.2 из работы [14]. Пусть Ш обозначает замыкание в пространстве Н(О) (функций, аналитических в области

О, с топологией равномерной сходимости на компактах) линейной оболочки системы Е. Тогда Ш — замкнутое инвариантное относительно оператора дифференцирования подпространство в Н(О), допускающее спектральный синтез, со спектром Л = (А^, }^==1.

Положим Д(А) = f (А) ехр(Ат). Поскольку К — сопряженная диаграмма функции f, то с учетом определения области О получаем:

Л/1 (А) = Яе(Ат) + Л/(А) = Яе(Ат) + Нк(А) < Нд(А), А € С, А = 0.

По теореме Полиа (см., например, [18]) этого неравенства достаточно для существования линейного непрерывного функционала ^ на пространстве Н(О), преобразование Лапласа Д(А) = (^,ехр(Аг)) которого совпадает с функцией Д(А). Нетрудно заметить, что значение этого функционала на функции ехр(А^г) равно Д(п)(А^). Согласно определению

множества Е(Л) это означает, что ненулевой функционал ^ обращается в ноль на всех функциях системы Е, а следовательно, и на подпространстве Ш. Поэтому Ш — нетривиальное подпространство в Н(О).

Пусть ^(А) — целая функция экспоненциального типа и вполне регулярного роста с индикатором Л/2(А), равным опорной функции круга В(т,г), т.е.

Л/2 (А) = НВ(ад,г)(А) = Яе(Ат) + г|А|, А € С.

Существование подобной функции устанавливается, например, в теореме из книги [7]. Положим <^(А) = /2(Л)/(А), А € С. Функция ^ как произведение двух функций вполне регулярного роста сама имеет вполне регулярный рост (это следует непосредственно из определения регулярности роста), т.е.

МА) = ЫА), А € С.

Кроме того, по теореме о сложении индикаторов

(А) = Л/2 (А) + Л/ (А) = НВ(ад,г)(А) + НК(А) = НД (А), А € С.

Остается заметить, что по условию = 0, а по лемме 4.1 т(Л) ^ Мл = 0. Таким образом, все условия теоремы 5.2 из работы [14] выполнены. Тогда согласно этой теореме каждая функция из подпространства Ш и, в частности д, представляется рядом (1.1). В этой же работе показывается, что такое представление возможно лишь единственным образом. Лемма доказана.

Для открытого множества О и выпуклого компакта К символом П(О,К) обозначим совокупность всех точек г € С таких, что К + г (сдвиг компакта К) лежит в О. Если О — выпуклая область, то нетрудно видеть, что множество П(О, К) также является выпуклой областью (возможно пустой). Ее можно определить еще и следующим образом

П(О, К) = (г € С : Яв(гА) < Нк(А), А € §}.

Теорема 4.1. Пусть Л — правильная последовательность, f € Е(Л) и К — сопряженная диаграмма функции f. Следующие утверждения эквивалентны.

1. Для каждой последовательности 1 Є А(Л) такой, что множество П(О(Л, 1), К) не пусто и отлично от плоскости, и любой точки т Є дП(О(Л, 1), К) функция д^(г) имеет хотя бы одну особую точку на множестве (т + К) П дО(Л, 1).

2. Имеет место равенство бД = 0.

Доказательство. 1)^ 2). Предположим, что 5д < 0. Пусть О — ограниченная выпуклая область, которая содержит компакт К. По лемме 4.1 т(Л) ^ Мд = 0. Тогда по теореме

3.1 с учетом замечания к ее формулировке существует последовательность 1 Є А(Л) такая, что множество О(Л,1) отлично от плоскости и содержит область О, а функция д^(^) не имеет особых точек на границе дО(Л,1). Поскольку множество П(О(Л,1),К) в этом случае не пусто (оно содержит К), то это противоречит утверждению 1). При определении величины бд было отмечено, что всегда выполнено неравенство £д ^ 0. Таким образом, мы имеем 5д = 0.

2)^ 1). Пусть последовательность 1 Є А(Л) такова, что множество П(О(Л, 1), К) не пусто. Заметим, что по лемме 4.1 выполнены равенства ст(Л) = т(Л) = 0. Следовательно, по теореме Коши-Адамара для рядов экспоненциальных мономов множество О(Л,1), а вместе с ним и множество П(О(Л,1),К), являются выпуклыми областями. Фиксируем точку то Є дП(О(Л, 1), К) и предположим, что на компакте (то + К) ПдО(Л, 1) функция д^(г) не имеет особых точек. Другими словами, для каждой точки т Є (т0 + К) П дО(Л, 1) функция д^ аналитически продолжается в некоторый круг В(т, г(т)). Если круги В (ті, г (ті)) и В(т2, г(т2)) пересекаются, то в силу выпуклости области О (Л, 1) непустым будет также пересечение В(ті,г(ті)) П В(т2,г(т2)) П О(Л,1). Следовательно, по теореме единственности продолжения функции д^(^) в круги В(ті,г(ті)) и В(т2,г(т2)) совпадают во всех точках их пересечения. Таким образом, функция д^(^) аналитически продолжается в область О (Л, 1) и и, где и — некоторая окрестность компакта (т0 + К) П дО(Л, 1).

Выберем положительное число г так, что верно вложение К + В(т0,г) С О(Л,1) и и. Функция д^(^) аппроксимируется равномерно на компактах линейными комбинациями элементов системы Е в некоторой окрестности сдвига компакта К (например, в области О(Л, 1)). Тогда согласно результату из работы [19] эта аппроксимация продолжается в область К + В(т0,г). По лемме 4.2 отсюда следует, что д^(¿) представляется рядом

(1.1) в этой области возможно с отличными от 1 = {1^,га} коэффициентами. Покажем, что на самом деле эти коэффициенты совпадают с 1 = {1^,га}. Пусть т — произвольная общая точка круга В(т0,г) и области П(О(Л,1),К). Выберем Г > 0 такое, что круг В (гг, Г) лежит в пересечении В(т0,г) П П(О(Л,1),К). Тогда область К + В (гг, Г) лежит одновременно в областях К + В(т0,г) и О(Л,1). Следовательно, в области К + В(т,г) имеются два представления функции д^(^) посредством ряда (1.1). Однако, по лемме

4.2 возможно лишь единственное представление д^(^) рядом вида (1.1). Это означает, что коэффициенты обоих представлений совпадают. Таким образом, мы показали, что в области О(Л,1) и (К + В(т0,г)) функция д^(г) разлагается в ряд (1.1) с коэффициентами 1 = {1^,га}. Это противоречит определению множества О(Л,), т.к. область О(Л, 1) и (К + В(т0, г)) шире, чем О(Л, 1). Следовательно, наше предположение неверно, т.е. функция д^(г) имеет хотя бы одну особую точку на компакте (т0 + К) П дО(Л, 1). Теорема доказана.

Замечание. Из теоремы 3.1 следует, что при условии = 0 существует ряд вида (1.1) со сколь угодно большой областью сходимости, сумма которого не имеет особых точек на границе этой области. Если же = 0 и последовательность Л — правильная, то согласно теореме 4.1 сумма любого ряда (1.1) с достаточно большой областью сходимости имеет некоторое количество особых точек на границе области сходимости. Однако, если эта область недостаточно большая, то сумма ряда может вовсе не иметь особых точек даже при условиях, что Л — правильная последовательность и = 0. Рассмотрим соответствующий пример (см. [9]). Пусть

sin Л sin

Л2 '

Функция L(A) является целой, имеет экспоненциальный тип и вполне регулярный рост, т.к. представляет из себя произведение двух функций sin(nA)/A и sin(inA)/A вполне регулярного роста. По теореме о сложении индикаторов ее сопряженная диаграмма K есть сумма сопряженных диаграмм этих функций. Последние являются отрезками соответственно мнимой оси [-i, i] и вещественной оси [-1,1]. Поэтому K — квадрат с вершинами в точках 1 + i, i — 1,1 — i, —1 — i. Функция L(A) имеет простые нули в точках пп и in. Пусть Л = {Ak}^=1 — последовательность ее нулей и d = {1/L(Ak)}fc=p Тогда Л — правильная последовательность. Как и в примерах после определения Sa показывается, что эта величина равна нулю. Рассмотрим ряд

^ exp(Afcz) k=1 L'(Afc) '

В книге [9] доказывается, что его сумма тождественно равна нулю (а потому не имеет особых точек), а областью его сходимости Д(Л, d) является внутренность квадрата K (последнюю можно также легко вычислить при помощи теоремы Коши-Адамара). Этот случай в некотором смысле является предельным. Здесь компакт K не помещается в область Д(Л, d), но совпадает с ее замыканием.

Покажем теперь, что все отмеченные во введении результаты по особым точкам сумм рядов экспонент и их частных случаев (рядов Дирихле и Тейлора) являются следствиями теоремы 4.1. При этом мы не затрагиваем результаты Г.Л. Лунца [11], [12] и А. Островского [10] по тем причинам, которые указаны во введении.

Рассмотрим вначале результаты, относящиеся к рядам Дирихле

ГО

g

fc=i

где Л = {Afc }ß=i — возрастающая неограниченная последовательность положительных чисел. Напомним (см. [7], [9]), что этот ряд сходится в полуплоскости Rez > с, а число с называется абсциссой сходимости и вычисляется по формуле Коши-Адамара. При этом прямая Rez = с называется прямой сходимости. Далее мы считаем, что область сходимости ряда (4.8) не пуста, т.е. с > — то.

Следствие 4.1. Пусть последовательность Л = {Ak} имеет плотность, т.е

к

т = N (Л) = lim —'

Afc

Тогда следующие утверждения эквивалентны:

1. Каждая функция g(z) вида (4.8) либо целая либо на любом отрезке длины 2ni, лежащем на прямой сходимостии имеет по крайней мере одну особую точку.

2. Имеет место равенство Sa = 0.

Доказательство. Положим

/ A2 \

L

По теореме 1.2.9 в книге [7] функция L(A) является целой функцией экспоненциального типа и имеет вполне регулярный рост, а ее сопряженная диаграмма K совпадает с отрезком мнимой оси [—inT, inT]. Следовательно, Л — правильная последовательность. Область n(D^,d),K) в этом случае совпадает с полуплоскостью сходимости ряда (4.8). Поэтому

для каждой точки т Е дП(Д(А,^),К) множество (т + К) П дД(А,^) есть отрезок прямой сходимости длины 2пг. Кроме того, любой подобный отрезок можно получить таким образом. Для завершения доказательства нужно лишь применить теорему 4.1. Следствие доказано.

Пусть

7

1

lim —— ln

Afc

1

L'

где Ь(Л) — функция, определенная формулой (4.9). Величина 7(Л) называется индексом конденсации Бернштейна-Леонтьева.

Следствие 4.2. (теорема Бернштейна) Пусть последовательность Л = {Ak} имеет плотность т и 7(Л) = 0. Тогда каждая функция g(z) вида (4-8) либо целая либо на любом отрезке длины 2ni, лежащем на прямой сходимости, имеет по крайней мере одну особую точку.

Доказательство. Согласно следствию 4.1 достаточно показать, что равенство 7(Л) = 0 влечет за собой равенство нулю величины Sa. Итак, пусть 7(Л) = 0. Тогда для каждого е > 0 найдется номер k0 такой, что

По свойству индикаторов (см., например, [18]) существуют а,Т > 0, для которых выполнено неравенство

|L(A)| ^ exp((hL(1) + е)|A|) = ехр((Нк(1) + е)|A|), A/|A| e B(1,a), |A| > T,

где K — сопряженная диаграмма функции L(A), совпадающая с отрезком мнимой оси [—inr, inr]. Поскольку Hk(1) = 0, то мы получаем:

Пусть L(A) = (A — Ak)Lk(A). Тогда L'(Ak) = Lk(Ak). В силу последней оценки

L

A — Ak

Так как на окружности S(Ak, 4aAk) то по предыдущему имеем:

Lk

^ 4aAkехр(е(1 + 4a)Ak), A e S(Ak, 4aAk), Ak > T.

Зл

^ 4аАк ехр(£(1 + 4а)Ак), А Е S(Ак, 4аАк), Ак > Т.

По принципу максимума это неравенство продолжается внутрь круга. В частности,

За

^ 4aAk ехр(е(1 + 4a)Ak), Ak > T.

Отсюда с учетом (4.10) получаем

|?А(А,а)| > (Ак)| ехр( —£(1 + 4а)Ак — 1п(4аА^)) =

= |Ь'(Ай)| ехр(—£(1 + 4а)Ай - 1п(4аАк)) > ехр(—£(2 + 4а)Ай - 1п(4аА*;)) для всех номеров к, удовлетворяющих условиям Ай > Т и к > к0. Тогда по определению величины Sл верно неравенство Sл > —£. В силу произвольности числа £ > 0 имеем

Sл > 0. Обратное неравенство Sл ^ 0 всегда имеет место. Поэтому Sл = 0. Следствие доказано.

Следствие 4.3. (теорема Полиа) Пусть последовательность Л = {Ак} имеет плотность т и Ак+1 — Ак > к > 0, к = 1, 2,... Тогда каждая функция д(г) вида (4-8) либо целая либо на любом отрезке длины 2пт, лежащем на прямой сходимости, имеет по крайней мере одну особую точку.

Доказательство. Как и выше, достаточно установить равенство Sл = 0. Это уже сделано в примере после определения величины Sл. Следствие доказано.

Во введении было отмечено, что из доказанных утверждений вытекают другие результаты, цитируемые там. В частности, это относится к теоремам Адамара, Фабри, Карлсона и Ландау. Все они имеют дело со случаем положительных последовательностей нулевой плотности. Рассмотрим теперь случай общей последовательности Л = {А&, }^=1 с нуле-

вой плотностью.

Следствие 4.4. Пусть последовательность Л = {Ак,тк}£=1 имеет нулевую плотность. Тогда следующие утверждения эквивалентны.

1. Для каждой последовательности 1 Е А функция д^(г) либо целая либо все граничные точки области Д(Л, 1) являются для нее особыми. В частности область существования функции д^(г) выпуклая.

2. Имеет место равенство Sл = 0.

Доказательство. Положим

___ л 2 \ т

ДА) = П ( 1 — А2

к=1 ' Ак

Последовательность Л имеет нулевую плотность. Поэтому функция ¿(А) (см., например, [7]) является целой функцией минимального типа, а значит, имеет вполне регулярный рост. Ее сопряженная диаграмма К состоит из одной точки (начала координат). Таким образом, Л — правильная последовательность. Как и в теореме 4.1, для каждой последовательности 1 Е А(Л) множество Д(Л,1) является выпуклой областью. Так как К — одно-точечное множество, то область П(Д(Л,1)К) не пуста и совпадает с Д(Л,1). Кроме того, каждая точка г Е дД(Л,1), являясь одновременно и граничной точкой области П(Д(Л,1)К), совпадает с пересечением (г + к) П д(Д(Л,1). Остается применить теорему 4.1. Следствие доказано.

Частным случаем доказанного утверждения является

Следствие 4.5 (теорема Леонтьева). Пусть последовательность Л = {Ак,тк}£=1 имеет нулевую плотность и 7(Л) = 0. Тогда для каждой последовательности 1 Е А(Л) функция д^(г) либо целая либо все граничные точки области Д(Л, 1) являются для нее особыми. В частности область существования функции д^(г) выпуклая.

Доказательство. Нужно лишь проверить равенство Sл = 0. Оно устанавливается также, как и в следствии 4.2. Следствие доказано.

Из теоремы 4.1 следует, что случай нулевой плотности не единственный, когда все точки г Е Д(Л,1) являются особыми для функции д^. Действительно, такая ситуация будет иметь место, если каждая граничная точка области Д(Л, 1) совпадает с одним из множеств (т + К) П дД(Л,1), где т Е дП(Д(Л,1),К). Приведем условия, когда это выполнено. В связи с этим напомним, что выпуклая область имеет гладкую границу тогда и только тогда, когда (см. [16]) через каждую ее граничную точку проходит только одна опорная прямая. Кроме того, выпуклый компакт является строго выпуклым тогда и только тогда, когда каждая опорная прямая пересекает его в единственной точке. К примеру, компакт, состоящий из одной точки, является строго выпуклым. Отрезок же таковым не является, поскольку две из его опорных прямых содержат целиком весь отрезок.

Лемма 4.3. Пусть П — выпуклая область с гладкой границей и K — строго выпуклый компакт. Тогда каждая граничная точка области D = П + K совпадает с пересечением (w + K) П dD, где w — некоторая граничная точка области П.

Доказательство. Пусть z Е dD. Поскольку D является суммой области П и компакта K, то найдутся точки w Е dП и v Е K такие, что z = w + v. Следовательно, z принадлежит пересечению (w + K) П dD. Если других точек у этого пересечения нет, то все доказано. Предположим, что zi отлична от z и также принадлежит множеству (w + K) П dD. Тогда zi = w + v1, где v1 — некоторая точка компакта K. Через каждую из граничных точек z и zi области D проходит хотя бы по одной опорной прямой. Пусть это будут прямые l = {u Е C : Re(u£) = HD(£)} и /1 = {u Е C : Re(u£1) = HD(£1)}, £,£1 Е S, соответственно. Выполнены равенства

Re(w£) = Яп^Де«!) = Hn(C1),Re(v£) = нк (£ ),Re(v1^1) = HK (^1).

Действительно, предположим, например, что Re(w£) = Яп(£). Поскольку точка w лежит в замыкании области П, то из определения опорной функции этой области вытекает неравенство Re(w£) ^ Яп(£). Следовательно, Re(w£) < Яп(£). Тогда согласно тому же определению найдется w Е П такое, что Re(w£) < Re(w£). Отсюда с учетом включения z Е l получаем

Re((w + v)£) = Re(w£) + Re(v£) > Re(w£) + Re(v£) = Re((w + v)£) = Re(z£) = HD(£).

С другой стороны, w+v Е П+K = D. Поэтому в силу определения опорной функции области D имеем: Re((w + v)£) ^ Яд(£). Полученное противоречие подтверждает истинность заявленных выше равенств. Первые два из этих равенств означают, что точка w Е dП лежит одновременно на двух опорных прямых к области П. По условию П является гладкой. Поэтому £ = £1. Тогда два других равенства означают, что различные точки v, v1 Е K лежат на одной и той же опорной прямой к компакту K. Этого не может быть, т.к. по условию K — строго выпуклый компакт.

Таким образом, наше предположение о том, что множество (w + K) П dD содержит точку, отличную от z, неверно. Лемма доказана.

Непосредственно из леммы 4.3 и теоремы 4.1 вытекает

Следствие 4.6. Пусть Л — правильная последовательность, f Е F(Л), K — сопряженная диаграмма функции f и d Е А(Л). Предположим, что Sa = 0, K — строго выпуклый компакт, множество ^D^,d),K) не пусто и отлично от плоскости, а область D^,d) имеет гладкую границу и выполнено равенство D^, d)^D^, d), K) + K. Тогда все граничные точки области D^,d) являются особыми для функции gd(z). В частности область ее существования выпуклая.

Замечание. Приведем пример на применение следствия 4.6. Пусть K — произвольный строго выпуклый компакт, отличный от точки. Существует (см. [9],[7] теорема 1.3.2) целая функция f экспоненциального типа и вполне регулярного роста с простыми нулями Л = {Ak}, для которой K является сопряженной диаграммой. При этом последовательность Л удовлетворяет условию lim ln |f '(Ak)|/|Ak| = 0 (из него, как и в следствии 4.2, следует равенство Sa = 0). Эта функция является канонической функцией правильно распределенного (и даже регулярного) множества Л = {Ak}. Последнее строится таким образом, что множество 0(Л) совпадает с окружностью S. Пусть П — произвольная выпуклая область с гладкой границей. Положим D = П + K. Определим коэффициенты d = {dk} следующим образом:

dk = Ck ехр(—Якр(к) (Ak)), к = 1, 2,...,

где {Kp} — семейство выпуклых компактов из области D, исчерпывающее ее, p(k) ^ то при к ^ то, и {cfc} — произвольная последовательность комплексных чисел, удовлетворяющая условию ln |cfc|/|Afc| ^ 0 при k ^ то. Пусть

ГО

g(z) = X dk exp(Afcz). fc=i

Поскольку 0(Л) = S, то, как и в теореме 3.1, используя теорему Коши-Адамара для рядов экспонент, нетрудно показать, что область сходимости этого ряда D^,d) совпадает с D. Тогда Q(D^,d),K) = П. Таким образом, все условия следствия 6 выполнены. Следовательно, область существования функции g(z) совпадает с выпуклой областью D^,d).

5. Случай нулевой плотности

В этом параграфе мы покажем, что условие N (Л) = 0 необходимо для пункта 1) в следствии 4.4. Другими словами, будет получен критерий того, что область существования каждой суммы ряда (1.1) совпадает с областью его сходимости. Для этого нам нужно доказать два вспомогательных утверждения.

Лемма 5.1. Пусть последовательность Л такова, что т(Л) = 0. Тогда существует последовательность коэффициентов d £ А(Л) такая, что не все граничные точки множества D^,d) являются особыми для функции gd(z).

Доказательство. Пусть т(Л) > 2р > 0. Можно считать, что р < 1/2e2. Согласно определению величины т(Л) найдем подпоследовательность {Ak(p)}, для которой выполнены неравенства

m(k(p)) > р| Afc(p) |, p = 1, 2,...

Переходя еще раз к подпоследовательности, можно считать, что {Ak(p)/|A&(p)|} сходится к некоторой точке С окружности S и выполнено неравенство |Afc(p)| > p, p = 1, 2,... Пусть n(p) — целая часть числа р| Ak(p) |, p = 1, 2,... Рассмотрим функцию

ГО

g

p=i

где cp = exp(—(1 — 1/p)|Afc(p)|). Покажем, что ряд сходится в некоторой окрестности точки

С. Имеем:

|cp(z — c)n(p) exp(Afc(p)z)| ^ exp(—(1 — 1/p)|Afc(p)| + n(p)lnr + Re(Afc(p)C) + |Afc(p)|r) ^

^ exp

для всех z £ B(С, r), r £ (0,1). В силу выбора Ak(p)/|Ak(p) | = с + £p, причем £p ^ при p ^ то. Тогда по предыдущему

|cp(z — c)n(p) exp(Afc(p)z)| ^ exp( (1 — 1/p)|Afc(p)| + (р|Afc(p)| — 1) lnr+

+ |Afc(p)|Re(^Afc(p)/|Afc(p)|) + |Afc(p)|r) ^ exp(—(1 — Vp^fc^ + (P|Afc(p^ — 1)lnr+

+ |Afc(p)|(1 + |Cp|) + |Afc(p)|r) =exp((1/p + Plnr + |£p| + r)|Afc(rf| — lnr) ^

^ r-1 exp(—^^(^У

где а > 0, если рlnГо < 0 и p > p0. Поскольку р < 1/2e2, то можно считать, что Го = 2р. Согласно выбору выполнено неравенство |Ak(p)| > p. Следовательно,

|cp(z - с)n(p) exp(Afc(p)z}| ^ г-1 exp(-ap), p > po.

Это означает, что ряд

— аналитическая в этом круге функция. Рассмотрим ряд

ro,n

У, Cpdp,razra exp

p=l,n=0

полученный из ряда (5.1) при помощи раскрытия скобок последнего. Оценим коэффициенты dp,n. Имеем

n

(z - с)n(p) = X (^p,nzn.

n=0

Из неравенств Коши получаем:

|dp,n| ^ max |(z - с)n(p)| ^ max |(z - с)n(p)| ^ 2n(p) ^ exp(p|Afc(p) |).

Пусть z — произвольная точка пересечения круга B(0,1) и полуплоскости Re(zc) < 1 - р - в, в > 0. Тогда верны неравенства

ro,n(p) ^

У |cpdp,„znexp(Afc(p)z)| ^ X(n(p) + 1) exp(( (1 - 1/p) + р)|Afc(p) | + Re(Afc(p)z)) ^

p=l,n=0 p=l

^ X(n(p) + 1)exp((-(1 - 1/p) + р^^ + |Afc(p)|Re(zAfc(p)/|Afc(p)|) =

p=l

= X(n(p) + 1)exp((-(1 - 1/p) + р^^ + |Afc(p)|Re(z(C + £p)) ^

p=l

^ X(n(p) + 1) exp((-(1 - 1/p) + ^^(p^ + (1 - р - в)|Afc(p)| + |Cp||Afc(p)|) ^ p=i

^ X^Mp^ + 1)exp(|Afc(p)|/p - в|Afc(p)| + |Cp||Afc(p)|) < ^. p=i

Последняя оценка вытекает из соотношений |£p| ^ 0 и |Ak(p)| > p. Следовательно, ряд (5.2) сходится на множестве B(0,1) П {z : Re(zc) < 1 - р - в}. Последнее при в < р содержит непустое пересечение B(0,1 - р - в) П B(с, 2р). Сумма ряда (5.2) на этом пересечении совпадает с функцией g(z), поскольку частичные суммы ряда (5.1) являются одновременно и частичными суммами ряда (5.2).

Пусть dk,n = cpdp,n, если k = k(p), n = 0,1,..., n(p), и dk,n = 0 в противном случае. Мы получили последовательность коэффициентов d = {dk,n} такую, что d Е А(Л), а множество D^,d) пересекает круг B(^, 2р), куда аналитически продолжается функция gd = g. Для завершения доказательства остается лишь показать, что множество D^,d) не содержит круг B(с, 2р). Рассмотрим точки z = гс, г > 1. Поскольку

|<U = |C„n(p)7n(p)-n| > 1,

где Cn(p) — число сочетаний из n(p) элементов по n, то мы получаем

|cpdp,nznexp(Afc(p)z)| = rn|dp,n||cpznexp(Afc(p)z)| > |cpznexp(Afc(p)z)|

exp

exp

exp

= ехр(-(1 - 1/р)|Лк(р)|)ехр(|Лк(р)|(г + Де(^£р))) > ехр(|Лк(р)|((г - 1) - |£р|)).

Так как |£р| ^ 0, то это означает, что ряд (5.2) расходится во всех точках г = гС, г > 1 т.е.

круг В (с, 2р) не лежит целиком на множестве Д(Л, ^). Лемма доказана.

Следующее утверждение является вариацией теоремы 3.1.

Лемма 5.2. Пусть последовательность Л такова, что т(Л) = 0 и N (Л) = 0. Тогда существует последовательность коэффициентов ^ € (Л) такая, что не все граничные

Доказательство. Переходя к подпоследовательности, можно считать, что N (Л) < то, и при этом сохраняется условие N (Л, С) = N (Л) = 0. Тогда из определения величины N (Л, С) следует, что для каждого 8 € (0,1) найдется точка £ € § такая, что N (Л, Г(£,8)) отлично от нуля. Фиксируем какие-нибудь 8 € (0,1/8) и £ € §, для которых число N (Л, Г(£, 8/6)) строго больше нуля. Тогда по лемме 2.2 верно неравенство Мл,£,г/з > 0. Согласно определению величины Мл,£,г/3 найдем неограниченно возрастающую последовательность положительных чисел {¿р} такую, что

Отсюда следует, что для всех достаточно больших номеров р круг В(£р£,£р8/3) содержит хотя бы одну точку Лк(р) последовательности {Лк}. Нетрудно заметить, что имеет место вложение В(£р£,£р8/3) С В(Л^(р), 8|Лк(р)|). Поэтому мы получаем:

По условию т(Л) = 0. Следовательно, сокращая при необходимости подпоследовательность {Лк(р)}, можно считать, что для некоторого ( > 0 выполнены неравенства

Как и в теореме 3.1 можно также считать, что каждая точка Л& попадает в один и только один из кругов Вр = В(Лк(р), 81Лк(р) |), р = 1, 2,... Положим

точки множества Д(Л,^) являются особыми для функции д^(г).

p^ro |Afc(p)| p^ro (1 - 8/3)tp

limMA(Afc(p),^^ i.m MA(tp£, 8/3) > 0

МЛ(Лк(р), 8) тк(р) > (| Лк(р)1, р 1, 2 . . . Отсюда с учетом леммы 2.1 получаем

exp(Az)dA

p = 1, 2,...,

где ар > 1. Как в теореме 3.1, получаем неравенства

Рассмотрим ряд

ГО

g

p=i

где cp = exp(-2в |Afc(p)|), p = 1, 2,... В силу (5.4) для всех точек z из круга В(0,а), а = 2в(1 + 48)-1, имеем:

ГО ГО

X|cp^p(z)| exp(-2e|Afc(p)! + Re(Afc(p)z) + 48|Afc(p)||z|) ^

p=1 p=1

ГО

^ У exp(-2в|Afc(p)| + (1 + 48) |Afc(p) ||z|) < TO. p=i

Последняя оценка верна, т.к. N (Л) < то (т.е. |Ak(p)| > ck(p), c > 0). Это означает, что ряд

(5.5) сходится в каждой точке круга В(0, а), причем равномерно в любом меньшем круге. Следовательно, функция g(z) аналитична в круге В(0,а).

Определим последовательность коэффициентов d = {4,га}ГО=ГП=о точно также, как в теореме 3.1. Подберем теперь числа ap, p = 1, 2,... Выберем ap такое, что

max {|Afc

где максимум берется по все номерам k, для которых A& G Bp, и всем n = 0,1,... , — 1.

В силу (5.3) верно неравенство ap > 1.

Найдем область сходимости ряда

ГО,Ш^ — 1

У dfc,„zn exp

fc=1,ra=ü

Как и в теореме 3.1, находим, что ряд (5.7) сходится в выпуклой области

Я(Л, d) = {z G C : Re(zA) < h(d, A), A G 0(Л)}

и расходится в каждой точке ее внешности, за исключением, возможно, начала координат, а функция h(d, A) определяется по формуле

h(d, A) = inflim; ^ min —( /|ds(z),n|), a g 0(Л),

ü^n^ms

где инфимум берется по всем подпоследовательностям {As(i)} последовательности {Afc} таким, что As(i)/1As(i) | сходится к A, когда l ^ то.

Оценим величину h(d, A), A G 0(Л). Пусть A G 0(Л), подпоследовательность {A^} такова, что As(i)/1 As(i) | сходится к A и As(^) G Bp(i), l = 1, 2,... Имеем:

ln

min --------——у-------- > min ------ —!— =

ü^n^ms(;) — 1 |As(i)| fc:AfceBpW ,ü^ra^mfc — 1 Afc

— max — --------- —:— >----------- max

к:Лк£Вр

Знак в знаменателе здесь противоположен знаку максимума. Отсюда с учетом определения коэффициентов ср и равенства (5.6) получаем:

ln(1/|ds(í),n|K 1 ln |dfc,n/Cp(í)| +ln |cp(í)|

min ----------——y > — max -------------——----.----—

0^n^ms(¡)-l |AS(Z)| 1 ± O fc:Afe€Bp(¡) ,0^ra^mfc-1 |Afc(p(¿))|

1 (ln KJcp^ e ^ 8в

_ max — ---------r1 2p = ------------- > —.

1 ± O fc:Afc€Bp(¡),0^ra^mfc-1 y |Afc(p(¿))| ) 1 + O 9

Таким образом, согласно определению функции h(d, A) имеем:

h(d,A) > 4в/5, A є 0(Л).

Пусть D = B(0, 8в/9). Тогда HD(A) = 8в/9 для всех A є S. Из последнего неравенства вытекает, что множество D(A, d) содержит область D(0(Л)). Как и в теореме 3.1, функция gd, являющаяся суммой ряда (5.7), совпадает с g на пересечении областей D(Л, d) и B(0, а), которое не пусто, т.к. D(0(A.)) П B(0, а) = 0.

В результате наших построений мы получили последовательность коэффициентов d = |dfc,n} такую, что d є А(Л), а множество D(Л, d) пересекает круг B(0, а), куда аналитически продолжается функция g¿. Для завершения доказательства остается лишь показать, что множество D(A, d) не содержит круг B(0, а).

Фиксируем какую-нибудь подпоследовательность |As(¿)}, As(¿) є Bp(¿), l = 1, 2,..., последовательности (Afc} такую, что As(1)/|As(i) | сходится к некоторой точке £ є 0(Л), и для k = s(l) и некоторого n = n(l), l = 1, 2,..., в соотношении (5.6) реализуется максимум при Р = p(l), т.е.

ln |ds(1),n(1)/cp(1)| = в

Отсюда с учетом определения чисел cp получаем

ln(1/|ds(1),n(1)|) = —(ln |ds(¿),ra(¿)/cp(¿)| + ln |cp(1)|) | Afc(p(¿))| = в |Ak(p(1))| ^ в ^ 8в

Следовательно, h(d, £) ^ 8в/7. Пусть z = r£, 8в/7 < r < 4в/3. Тогда z є B(0,а), т.к. а = 2в(1 + 4O)-1 > 4в/3. В то же время

Re

т.е. z є D(Л, d). Лемма доказана.

Теперь мы можем сформулировать и доказать заявленный в начале параграфа результат.

Теорема 5.1. Для того чтобы область существования суммы каждого ряда вида

(1.1), для которого D(A.,d) = 0, совпадала с множеством D(A.,d) (открытым ядром множества сходимости этого ряда), необходимо и достаточно выполнение равенств N (Л) = 0 и Sa = 0.

Доказательство. Если N (Л) = 0 и Sa = 0, то в силу следствия 4.4 область существования суммы каждого ряда вида (1.1), для которого D(A, d) = 0, совпадает с множеством D(A., d). Обратно, пусть последнее утверждение имеет место. Тогда из леммы 5.1 вытекает равенство т(Л) = 0. Отсюда согласно лемме 5.2 получаем равенство N (Л) = 0, а согласно теореме 3.1 и равенство Sa = 0. Теорема доказана.

Как показано выше, величина Sa = 0 равна нулю, если A& = k и = 1. Поэтому из теоремы 5.1 вытекает утверждение, обратное к теореме Фабри.

Следствие 5.1. Для того чтобы область существования суммы каждого ряда вида

(1.2) совпадала с кругом сходимости этого ряда, необходимо и достаточно выполнение равенства

П

lim тут =0

6. О ТЕОРЕМЕ А. Островского

В этом заключительном параграфе мы приведем указанный во введении пример, очерчивающий рамки применимости результата теоремы А. Островского. Этот пример представляет из себя еще одну вариацию теоремы 3.1. Прежде всего, построим подходящую последовательность (Лд} . Фиксируем числа h,a > 0 с условием ha < 1. Выберем возрастающую последовательность положительных чисел {^р} такую, что ^p/^p+1 ^ 0 при p ^ то. В силу последнего соотношения можно считать, что отрезки [(1 — ha)^p,^p], p = 1, 2,..., попарно не пересекаются. Пусть s(p) — целая часть числа a^p. Положим k(0) = 0 и k(p) = k(p — 1) + s(p) + 1, p = 1, 2,... Определим теперь последовательность (Лд} следующим образом:

Лад = |Up, Лк = Лад — (k(p) — k)h, k(p — 1) <k<k(p),p = 1, 2,...

Таким образом, последовательность Л = (Лд} разбита на группы Лp = ^fc(p-1)+1,... , Лд^)}, каждая из которых лежит на соответствующем отрезке [(1 — ha)^p,^p], p = 1, 2,... Поскольку

^(p-1)+1 — ^(p) > (1 — ha)^p+1 — ^p = ^p+1 ( 1 — ha--^ ^, p ^

V ^p+1/

то lim^oo (Лк+1 — Лк) = h. Кроме того,

______k

N (Л) = lim — = a.

Afc

Действительно,

lim kM = lim k(p - 1) + s(p) + 1 = lim k(P - 1) + a^p = lim k(p - 1) + aAfc(p) =

Afc

k(p - 1) ,

= lim —-------------+ a.

p^~ Ak

По построению величина k(p) совпадает с числом точек Ak на отрезке [0,^p] = [0, Ak(p)]. Последнее же не превосходит Ak(p)/h. Поэтому

0 < lim k(p - 1} < lim Ak(p-1)/h = 0.

p^~ Afc

Следовательно, мы имеем:

Пусть k(p — 1) < k < k(p). Тогда

Рассмотрим функцию

lim ^М = a.

p^~ Ak

k k(p) — s

Ak Ak(p) hs

Знак ее производной совпадает со знаком числа hk(p) — A^(p), а значит, и со знаком числа k(p)/Afc(p) — 1/h. Так как ha < 1, то в силу (6.1) последний становится отрицательным для достаточно больших номеров p. Следовательно, для таких p верна оценка

^P(s) = £ ^ ^р(0) = ^•

Afc Afc

Отсюда из (6.1) получаем

k^zzrk

Пт — = Пт -------= а.

&^те &^те А^

Таким образом, последовательность Л удовлетворяет всем условиям теоремы А. Островского. Фиксируем положительное 8 < ha и для каждого р = 1, 2,... рассмотрим функцию

1 Г ехр(Аг)^А

2п* / ар

^Лад^Лад) М Л(р)'ЧА 1 '

где ар > 1. Также, как в теореме 3.1, получаем неравенства

|0Р(г)| ^ ехр(Дв(Ай(р)^) + 48Аад|г|), р = 1, 2,..., г е С.

Пусть

те

#

р=1

где ср = ехр(—вА^(р)), р =1, 2,..., а в> 0 мы определим чуть позже. Как и в лемме 5.2,

тете

Х|ср#р(г)| ^ X еХР((^ — в)Ай(р) + 48Ай(р)|г|) < ^ р=1 р=1

если г лежит в пересечении круга |г| < (в — т)/48 и полуплоскости Лег < 7. При этом ряд (6.2) на компактах из этого пересечения сходится равномерно, а потому его сумма там аналитична. Кроме того, как и в лемме 5.2, функция д(г) аналитична в круге В(0, а), а = в/(1 + 48). По построению величина Мд(А^(р), 8) — тад, которую мы обозначим з(р, 8), совпадает с целой частью числа 8А^(р)/^ если последнее само не является целым, и равно 8Аад^ — 1 в противном случае. Тогда по лемме 2.1 получаем

&(р) ’ 1

1n кл 4Afc(p),S)| ^ s(P,8)ln3(1 _ 5у

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

1_1п кП^Л)1 < S ln 1 = _в < 0.

р^~ Afc

Как и в теореме 3.1, определим числа ар > 1 и коэффициенты 4 так, что

lim max {

p^^ fc(p)-s(p,<S)^fc^fc(p) 1 w

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

g

k=i

Как и в лемме 5.2, с учетом (6.3) показывается, что

11(1/14|) = 1 lim max ln|4/Çpl+ln |Cp(,)|

Afc 1 ± 0 p^œ fc

1 1^ „„„ f1n |dk/cp|

lim max —-------p-----в = 0.

1±0p fc

Следовательно, мнимая ось является прямой сходимости ряда (6.4).

Выше мы показали, что для каждого y > 0 сумма g(z) ряда (6.4) в окрестности отрезка [—¿(в — Y)/40, i (в — y)/40], где в = (0/h)ln(3(1 — 0)), является аналитической функцией. Таким образом, расстояние между особыми точками суммы ряда (6.4) на прямой его сходимости достигает величины порядка O(1 /h), что при малых h и фиксированном а значительно больше чем радиус r(a,h) из теоремы А. Островского, который имеет порядок O(— ln h). Кроме того, функция g(z) аналитична также в круге B(0, а), где а = в/(1 + 40). Поскольку число 0 выбиралось произвольно из интервала (0,ha), то это означает, что в теореме А. Островского речь идет об особых точках суммы ряда (6.4), лежащих на расстоянии, сравнимом с верхней плотностью а последовательности Л, от прямой его сходимости.

СПИСОК ЛИТЕРАТУРЫ

Братищев А.В. Базисы Кете, целые функции и их приложения Дисс. на соискание уч. ст. докт. физ.-мат. наук// Ростов-на-Дону. 1995.

Кривошеева О.А. Ряды экспоненциальных мономов в комплексных областях. // Уфа. Изд-во УГАТУ. Вестник УГАТУ. 2007. Т. 9, № 3(21). С.96—103.

J. Hadamard Essai sur l’etude des fonctions donnes par leur développement de Taylor // J. Math. Pures Appl. Ser. (4). 1892. V. 4(8). P. 101-106.

E. Fabry Sur les points singuliers d’une function donnee par son developpement de Taylor // Ann. Ecole Norm. Sup. (3). 1896. V. 2. P. 367-399.

G. Polya Uber die Exiistenz unendlich vieler singularer Punkte auf der Konvergenzgeraden gewisser Dirichlet’sher Riehen // Sitzungber. Preub. Akad. Wiss. 1923. P. 45-50.

G. Polya Eine Verallgemeinerung des Fabryschen Luckensatzes // Nachr. Ges. Wiss. Gottingen, Math.-Phys. Kl. 1927. V. 2. P. 187-195.

7. Леонтьев А.Ф. Ряды экспонент. М.: Наука. 1976.

8. V. Bernstein Lecons sur les progress recents de la theorie des series de Dirichlet. Paris: Gauthier-Villars. 1933.

9. Леонтьев А.Ф. Целые функции. Ряды экспонент. М.: Наука. 1983.

10. A. Ostrowski Uber die analytishe Fortsetzung von Taylorshen und Dirichletchen Reihen // Math. Ann. 1955. V. 129. P. 1-43.

11. Лунц Г.Л. О рядах Дирихле с комплексными показателями // Матем. сб. 1965. Т. 67 (109), № 1. С. 89-134.

12. Лунц Г.Л. Ряд Дирихле с неизмеримой последовательностью комплексных показателей. // Матем. сб. 1965. Т. 68 (110), № 1. С. 58-62.

13. Кривошеев А.С. Критерий фундаментального принципа для инвариантных подпространств. // Доклады РАН. 2003. Т. 389, № 4. С. 457-460.

14. Кривошеев А.С. Фундаментальный принцип для инвариантных подпространств в выпуклых областях. // Известия РАН. Серия математическая. 2004. Т. 68, № 2. С. 71-136.

15. Левин Б.Я. Распределение корней целых функций. М.: Гостехиздат. 1956.

16. Лейхтвейс К. Выпуклые множества. М.: Наука. 1985.

17. Лелон П., Груман Л. Целые функции многих комплексных переменных. Мир. М. 1989.

18. Напалков В.В. Уравнения свертки в многомерных пространствах. М.: Наука. 1982.

19. Красичков-Терновский И.Ф. Инвариантные подпространства аналитических функций. III: О распространении спектрального синтеза // Матем. сб. 1972. Т. 88 (130), № 3. С. 331-352.

20. Мандельбройт С. Примыкающие 'ряды, регуляризация последовательностей, применения. ИЛ. 1955.

Олеся Александровна Кривошеева, Башкирский государственный университет, ул. З. Валиди, 32,

450074, г. Уфа, Россия

E-mail: kriolesya2006@yandex.ru