ОСОБЫЕ ТОЧКИ СУММЫ РЯДА ЭКСПОНЕНТ НА ГРАНИЦЕ ОБЛАСТИ СХОДИМОСТИ Текст научной статьи по специальности «Математика»

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

УДК 517.5

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

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

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

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

1. Введение

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

<x,m,k — 1

у^ dk,nZn exp(Akz). (1.1)

k=1,n=0

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

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

т(л) = um= о, о-(Л) = nm^ = 0,

| Ak | з^ж

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

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

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

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

Символом А(Л) будем обозначать множество всех последовательностей коэффициентов d = Ряда (1-1), для которых множество Д(Л, й) не пусто, а функция ) —

аналитическая в Д(Л,й). Пусть й € А(Л). Будем говорить, что точка г € д^(Л, й) особая для функции д^(г), если она аналитически не продолжается ни в какую окрестность этой точки.

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

ные числа. При помощи замены т = ехр(—г) степенной ряд переходит в ряд Дирихле. В 1892 г. Ж. Адамар [3] доказал, что если функция д представляется рядом

g(w) = Y^ d

w

k(n)

(1.2)

n=1

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

Hm -f-

n^re k(n)

0.

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

g(z) = dk exp(-Akz)

(1.3)

k=1

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

lim -k-

k^re Ak

Y (Л)

1

lim —— ln

k^re Ak

L'(Ak)

0,

где

L(A) = n(l -

k=1

A2

Ak

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

1

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

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

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

к

lim — = а > 0.

Afc

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

Üm(Ak+i - Ak) = h (1.4)

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

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

^ exP(Akz) (1 5)

¿i L'(Ak) ■ (15)

где

sin A sin(iA)

L(A) =

A2

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

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

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

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

Следуя работам [13, 14] для последовательности Л = {À&, введем величину, ха-

рактеризующую меру сгущения точек À&. Положим

Здесь В(и>, г) — открытый круг с центром в точке т и радиуса г. Модуль функции можно интерпретировать как меру сгущения точек А& € В(-ш,$|-ш|) около точки г. В случае, когда круг В(-ш,$|и>|) не содержит ни одной из точек А&, считаем, что дл(г,"Ш,$) = 1. Отметим, что модуль каждого из сомножителей в определении дл в

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

Таким образом,

|дл(г,М1,81)| > |?л(^,Ш2,б2)|, г € С, если 0 < 81 ^ 62 < 1/3 и В(ад1,811^1|) С В(-ш2, 62|"Ш2|). Аналогичное неравенство верно и для функции ^л (г, 8):

(г,81)|>|?л(г,62)|, г € С, (2.1)

если 0 < 81 < 62 < 1/3.

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

_ .. .. 1п |дл(Ак, 8)| £л = ^Ьш*^-—-

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

Мл(Ак ,8)

Мл = lim lim ,

5^0 | Ak |

где Мл(ш, 8) = \k6ß(w 5|w|) mk• При этом считаем Мл = 0, если Л конечна. Очевидно, что Мл > 0 и k

МлКЛ) < Мл(^2,82), если В(ш1, 8х|^1|) С В(^2, 82М). (2.2)

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

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

I

N (Л) = 11ш — < оо, ^ |пг |

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

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

-28|Ак |

Мл < lim lim ' , = 0.

5^0 к^те |Ak |

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

|?л (A2k, 8)| <

A2k — A2k-1 38|A2k-l|

e-£k

38(k — e-ek)'

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

ln |qi (Лг,£)1 .. .. е-

3_efc

S л = limlim,^^ —У"' ' < limlim^ ^k-1 ln ( -— ) = — £•

|Аг| -' "\,35(к — е-ек),

Таким образом, в данном примере величина отрицательна и характеризует расстояние между соседними точками А2к и Аг^-ь Оно стремится к нулю со скоростью е-ек, где —£ > £л. Простого стремления к нулю расстояния между соседними точками уже недостаточно для отрицательности числа $л, что и показывает следующий пример.

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

(А2к,5)|> £ ш ^

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

А2к — А2к+г

ln |qf (Л2к,i)|> Y, ln

где £|Л2к| — 1 < r(k) < £|Л2к| + 1. Пусть e_e(k)k < 1/2. Тогда согласно определению чисел Лк выполнены неравенства: |Л2к — Л2к-1| = e_e(k)k, |Л2к — Л2к+1 = m, если l = 2m, и |Л2к — Л2к+1| > m — 1/2 > m/2, если l = 2m — 1. Следовательно,

ln |qf (Л2к,5)| > —£(k)k + ln

„ги.и , (r(k)!)4

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

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

ШУ ' л- 1 ; 1 ; 3л/2(35((1 + 5)к + 2)) -

> —£(к)к + 4г(к)1п Г(к)

12(к + 1)'

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

1п |длк(Агк, 5)| =1п |длк(Агк,<5)| (к) , 4(5|Агк| + 1) , 5|Агк| — 1 = |Агк | = к > £(к)+ к 12(к +1) =

пл , 4(5к + 1), 5к — 1

= —£(к) +--:- 1п

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

ln |qf-i^2fe-i^^ £(k)k + 4(£k + 1) ^ 4 — 1

| Л2к_i | " k — e-e(k)k k — e-e(k)k 12(k +1)'

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

= lim limk_ln |gk((Ak,8)| > lim 48 ln 8 = 0.

л 5^0-|Ak | " 5^0 12

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

ln |?л (Ak, 8)| = Y, ln

Ak — Ak_

38|Ak_,|

+ £ 'n

KKp(k)

Ak A

k+l

38|Ak+i|

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

ln |?л(Ak,8)|> ln

hs(k) s(k)!

+ ln

hp(k)p(k)!

(38(1 + 8)|Ak |)s(k) (38(1 + 8)|Ak |)p(k)

>

> ln hs(k)s(k)! + ln hp(k)p(k)! > ln hs(k)(s(k))s(k) + ln hp(k)(p(k))p(k) >

(6|Ak |)s(k) (6|Ak |)P(k)

(18|Ak |)s(k)

(18|Ak |)p(k)

> s(k) ln +p(k) lnhp(k)

18|Ак| ^ 7 18|Ак|

Заметим, что согласно определению чисел 5(к), р(к) и Аг выполнены неравенства

з(к) < Мл(Ак,8) < 28|Ак| =28 < Мл(Ак,8) < 28

А | ^ А | ^ Н|Ак| Н ' А | ^ |Ак | ^ Н ' Кроме того, функция х 1п(Нх/18) убывает, когда Нх/18 < 1. Поэтому, учитывая предыдущие неравенства, получаем

£л = lim lim

5i0"

'П tö(Ak,8)U lim lim f s(k) ln hs(k) + p(k) ln hp(k) \

|A-| > 51mJ™^ — ln 18|Äk| + |Ak| lnI8ÄiJ >

28 28 28 28 > lim — in--1--in —

51 0 h 18 h 18

0.

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

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

in |?л(Ak, 8)| < in

1

-(Мл (Ak ,8) — mk), k = 1, 2,...

3(1 — 8)

Если последовательность Л = {Ак, такова, что т(Л) = 0 и Мл > т > 0, то

£л < —т 1п 3.

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

in (Ak, 8)| = Y^ mi ln

Лг 6ß(Ak ,5|Ak |),Лг=Лк

8|Ak

Ak — Ai

38|Ai|

£

m^ ln

ЛгбВ(Лк,5|Лк|),Лг=Лк

38(1 — 8)|Ak |

= ln3öb) £ mi = ln3(r—5)(MA(Ak ,5) — mk).

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

= й^ < й ь, 3(11—5)Ж=

= — ln 3 lim lim —Л ( k,—) = —т ln 3.

5^0 k^re | Ak |

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

Пусть Г — угол с вершиной в начале координат. Введем величины N (Л, r,t)= У mk, N (Л, Г)=Ж N (Л, r,t).

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

—л(^,5)

t^re t

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

—л,£,5 = lim

5N(Л, Г(£, 5)) < Мл;^;25 < (1 + 25)N(Л, Г(£, 25)).

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

|т — < |т — |т|С| + |М£ — < |т|5 + 5г < 2г5.

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

N (Л, Г(£, 5), г) < N (Л, Г(С,5), (1 — 5)г) + Мл(*& 25) г < г г .

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

N (Л, Г(£,5),г) ^ — N (Л, Г(£,5), (1 — 5)г) , — Мл(ге, 25)

N (Л, Г(£, 5)) = lim v ' vs' 7' 7 < lim v ' vs' v-'-1- + lim

t^re t t^re t t^re t

-N(Л, Г(£, 5), r)

= (1 — 5) Цт ^ ' " ^ + Мл,^,25 = (1 — 5)N(Л, Г(£, 5)) + Мл,^,25.

г^те г

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

—л^£, 25) < N (Л, Г(£, 5), (1 + 25)t)

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

t

t

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

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

О(О) = {г € С : Яе(гА) < Яд (А), А € О},

где

Ям(А) = вир Де(гА)

¿ем

— опорная функция множества М (точнее говоря, комплексно сопряженного к М множества). Множество О (О) выпуклое, как пересечение выпуклых (полуплоскостей). Поскольку опорная функция любого множества полунепрерывна снизу (см. [16]), то О (О)

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

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

1п |9а (а^(р),8р)|

11ш ^' < —в<0, (3.1)

|Ак(р)|

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

то согласно определению величины найдется подпоследовательность {А&(р)} последовательности {А&}, обладающая свойством (3.1).

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

оо

#(г) = X] ). (3.2)

Р=1

Для этого, прежде всего, подходящим образом "проредим"последовательность Л = {А&, }к=1, т.е. из элементов Л построим новую последовательность, обладающую специальными свойствами. Чтобы не загромождать текст излишними обозначениями и индексами, для новой последовательности сохраним те же символы, что и для исходной.

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

|Ак(р+1)| > 2|Ак(р) |, р = 1, 2,... (3.3)

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

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

Мл(Ак(р), - шк(р) > в|Ак(р)| + 1, (3.4)

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

в|А&(р)| < Мл(Ак(р), ) - тад < в|А^(р)| + 1. (3.5)

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

ющими свойствами:

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

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

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

4) т(Л) = 0;

5) N (Л) < то.

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

(1 + ¿Р)|Аад| < (1 - ¿р+1)|Ак(р+1)|, р =1, 2,... (3.6)

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

1п кЛ(р)(Аад, М! < 1п 3(1 - 5) (Мл^А)-

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

1п |^Л(Р)(Ак(р), ^р)| < -(Мл(Ак(р),^р) - т^(р)) < -в|Ак(р)|. Таким образом, неравенство (3.1) сохранилось и для новой последовательности.

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

Мл(А^(р) А) - т&(р) < в|Ак(р)| + 1. (3.7)

Пусть £ € [(1 + £Р)|А&(р)|, (1 - $р+1)|Ак(р+1)|]. Тогда с учетом (3.6) и свойства 1) получаем:

р

Г^(Л, С,£) = Г^(Л, С, (1 + <У|Ак(р) |) = Г1^ Мл^А) <

¿=1

V

< ((1 + ^р)|Ак(р)|)-^Мл(Ак0-)Л). ¿=1

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

Г^(Л, С, г) < ((1 + 5р)|Ак(р)|)-^(в|Ак0-)| + 1 + тко-))

¿=1

<

< |Ак(р)|-1 (2^-рв|Ак(р)| + 1) + 5>-р|Ак(Л|-1тк0> ¿=1 ¿=1 В силу (3.3) последовательность {р|Ак(р) |-1} ограничена. По свойству 4) ограничена также последовательность {|Ак(^)|-1тк(^)}. Поэтому из предыдущего получаем

Г^(Л, С, г) < (2^рв + |Ак(р)|-1) +^-р|Ак(Л |-1тк(^)

<

¿=1

¿=1

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

¿=1 ¿=1 Пусть теперь г € [(1 — 5р)|Аад|, (1 + 5р)|Ак(р)|]. Тогда

N (Л, С, г) < N (Л, С, (1 + 5р)|Ак(р)|) < N (Л, С, (1 + 5р )|Ак(р)|) < г ^ г ^ (1 — 5р)|Ак(р)| ^

< 2|Ак(р)|-^(Л, С, (1 + 5р)|Ак(р)|) < 2(сг + в + С1). Таким образом, N (Л) = N (Л, С) < то.

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

дР(г) =

ехр(Аг)йА

аР(А — ^(р^л^^ 5р)

£(Лк(р)>45р|Лк(р)|)

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

Мл(р)(АА)| > (А, 5р)| =

к(р),

п

>

п

Лк 6в(Лк(р)>5р|Лк(р)|)>Лк=Лк(р) Следовательно, верны неравенства

Лк 6В(Лк(р)>5р|Лк(р)|),Лк = Лк(р) 'р |Ак

А - АЛ тк

35р | А,- ^ тк 35р |Ак|

35р|Ак |

= 1 А € Б(Аk(p),45р|Ак(р)|)

>

|др(г)| =

1

2п

ехр(Аг)йА

аР(А — Ак(р))дл(р)(А,5Р)

5'(Лк(р)>45р|Лк(р)|)

<

<

8п|Ак(р)|5р

2П

вир

Лб5'(Лк(р),45р|Лк(р)|)

ехр(Аг)

аР(А — Ак(р))дл(р)(А,5Р)

<

< 4п|Ак(р)|5р вир

Лб5'(Лк(р),45р|Лк(р)|)

ехр(Аг)

(А — Ак(р))

< ехр(Де(Ак(р)г) + 45р|Ак(р) ||г|), г € С.

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

Лб5'(Лк(р),45р|Лк(р)|)

(3.8)

р

р

р

р

р

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

Ср = ехр(-Якр(Ак(р)) - в|Ак(р)|), р = 1, 2,... Найдем область сходимости ряда (3.2). Положим

О = {г € С : Яе(гА) < Яд (А) + в, А € в(Л)}.

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

Яе(<) <ЯКк,лЛ) (С) + в, ™ € и (г), С € V (А). (3.9)

Из покрытия компакта К х в множествами и (г) х V (А), г € К, А € в, выделим конечное подпокрытие и)) х V(А(^)), ] = 1,..., 5. Пусть г — максимальный из номеров /(г0),А(;)), ^ = 1,..., 5. Объединение всех множеств и)) х V(А(^)), г € К, А € в, ] = 1,..., 5 содержит в себе произведение К х V, где V — некоторая окрестность компакта в. Пусть г € К и А € V. Тогда согласно (3.8) для некоторого номера ] = 1,..., 5 верно неравенство: Де(гА) < Як^^ л0)) (А). В силу возрастания последовательности {К;} имеем:

ЯкКг0) ,ЛО)) (А) < ЯК (А). Таким образом, мы получаем оценку

Яе(гА) < Якг + в, г € К, А € V. (3.10)

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

|0р(*)| < ехр (|А*<р)|Де (А^) +4^р|Ак(р)||г^ <

< ехр (|Ак(р)^Як^+ в) +4^р|Ак(р)||г|

= ехр(Якг (Ак(р)) + в |Ак(р)| + 4£р|А&(р)||г|). (3.11)

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

Якг(А) + 2аг|А| < Якг+1 (А) < Якг(А), А € С,/ > г + 1. (3.12)

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

|ср#р(г)| < ехр(-Якр(Аад) - в|А&(р)|) ехр(Як (Аад) + в|А&(р)| + 4^р|А^(р)||г|) <

< ехр(—2аг|Л^(Р)| + |Лк(р)||г|) < ехр(—2аг|Лк(р| + а|Лк(р)|) = ехр(—а|Лк(р)|) для всех г € К и р >1. Таким образом,

те те

X] |сР#Р(г)| ^ X еХР(-аг |Л^(р)|), г € К

Р=Р1 Р=Р1

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

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

(ТОк-1

Ьк(р),о ехр(Л^(р)г) + X X ехр(Л^г)

где = (длР)(Л&(р), ^Р))-1. Положим еще = 0, п = 1,..., т^р - 1. Определим

коэффициенты следующим образом. Пусть Л& € для некоторого р = 1, 2,... Тогда

= СрЬ^(ар)-1, п = 0,1,..., т* - 1.

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

ИШр^теЛ > в

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

11т , Л пта^ Д^Р)- 1п К^Ср^ = в. (3.13)

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

те,ш^ — 1

X ехр(Лк г). (3.14)

к=1,п=0

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

£(Л, Л) = {г € С : Яе(гЛ) < ВД Л), Л € 9(Л)}

и расходится в каждой точке ее внешности за исключением возможно начала координат. Функция Л) определяется по формуле (см. [2])

Л) = Ит^те ^ т1п , -гг-|-, Л € ©(Л)

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

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

Л

КО

Л

к(р(0)

|Л5(0 | |Л&(р(0) |

Л

«(г)

Л

«(г)

|Л«( г )| |л^(р( г ))|

+

Л

«(г)

Л

к(р(г))

|лМр( г))| |л^(р( г))|

||Лк(р( г ))| — |Л«(г)11 + |Лк(р( г)) — Л«( г )| , , + , 2Л

+--г;-1-^ Мг) + др(г) = 2др(г ) ^ 0, 1 ^ то.

|Л&(р( г ))| |Л^(р( г))|

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

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

1п(1/|Л«( г),„|) т1п -г-—V- >

|Л«( г )|

т1п

1п(1/|4,«|)

тах

1п |4

| |АМр( г))|

А |

к:Акбвр(г)>0<п<тк-1 |Лк(р( г))| А |

> --

1

1п |4,п|

тах —-——

к:АкбВр(г),0<га<тк-1 |Л& |

1п |4,п|

тах

1 ± г) к:АкбВр(г),0<п<тк-1 |Лк(р(г))|

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

1п(1/|4( г),„|)

т1п ---:- > —

1

|Л«( г )|

тах

1п |4,»/сР( г) | +1п |ср( г) | |л^(р( г))|

1

тах

1 ± ^р(г) бВр(г),0<га<тк-1

1п |Лк,п/ср( г )| — ^ Лк(р(г)^ — в|

к _ _ ^ (з 15)

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

ИЖг ^теНК

р(0

Л

к(р(г))

А

> Цтг^теНКг

Л

к(р(г))

г))|/ \|лМр( г))|

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

= Нкг (Л), г = 1, 2,

Цшг ^тенкр(0

Л

к(р(г))

|л^(р( г

> 11т Нкг(Л) = Яд(Л).

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

11т

г ^те

1п(1/|4( г ),„!)

т1п ---:- > — 11т

|Л«( г)|

тах

1п |Лк,п/ср(г )|

р^те 1 ± £р(г ) бБр(г),0<га<тк-1 |Л^(р(г))|

(+ в > —в + Яв (Л) + в = Яс (Л).

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

М^, Л) > Яд (Л), л € ©(Л) = ©(Л).

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

1

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

lim |Afe(p(i))| ln K(i),n(i)/cp(i)| = в-

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

MVKOMOD _ -T^--(ln |ds(0,™(0/cp(0| + ln |Cp(0|)|Ak(p(0)1

lim v = lim

|As(0||Afc(p(0)!

= _-(ln |ds(i),n(Q/Cp(i)| + ln |cp(i)|) = -в + ж-ln |Cp(i)|) = JimHk (ikÄ) . Учитывая вложение С D и непрерывность функции Hd, имеем:

—MVKfflMoB ^ ji^HD (Ak(p(1)\) = Hd(A).

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

h(d,A) < Hd(a), a g е(Л) = е(Л).

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

h(d, A) = Hd(A), A G е(Л) = е(Л). (3.16)

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

Re(zA) = Re(wA) + Re(yA) < Hd(A) + в|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 является необходимым условием существования подобных функций. Далее мы приведем соответствующий результат. Но прежде введем еще некоторые необходимые определения и обозначения, а также докажем два вспомогательных результата.

Последовательность Л = {A&, будем называть правильной, если она является ча-

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

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

-1п |/(гА)|

Л/ (А) = Иш ————, А е С. ^^ г

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

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

V V 1 [ 1п |/(г)| , , Л* = 11ш пш^^—— / -ахау, г = х + гу.

п^2 у г

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

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

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

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

м; Г, "; > т. (4.1)

Мл(Аад, 1/p)

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

ЬИМ < (fl + £. n£ 35М > т. (4-2)

Поскольку функция f имеет вполне регулярный рост, то (см. [7], [15])

Н.» inJZM = hf (£), (4.3)

t

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

mes(E П [0, r])

lim -^-= 0. (4.4)

г^те r

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

lim tl+1 = 1. (4.5)

г^те t;

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

.. mes(E П [r, аг]) lim -= 0.

г^те

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

1п |/Ш> (Л/(О — е)*г (4.6)

и ^г > Т. Рассмотрим функции

Ж ) = , 1 > 10.

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

1п |/г(?)| < 2е^г, ? € В(0, 3&г),1 > ^ Пусть п(1) — число нулей (с учетом кратности) функции /¿(^) в круге В(0, 3^г/е). Тогда по теореме о нулях аналитической функции в круге (см. [9]) верно неравенство

() < ехр(2е^г), 1 > ¿0,

... ^n(г)|

где ^1,..., £п(г) — нули /г в круге В(0, 35£г/е). Так как | ^ 35^г/е, то отсюда получаем

е"(г) < , (3^^г)"(г) , < ехр(2е^г), 1 > /0. ... ^(г^

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

Мл(^) < 2е^г, 1 > 10. (4.7)

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

¿г+1 < (1 + 5/4)^.

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

|Лfc(p)/|Лfc(p)| — С| ^ 5/4, ^(р^ > ¿г0

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

^г(р) < ^(р^ < ^г(р)+1. Пусть Л — произвольная точка круга В(А&(р), 5|Лк(р)|/4). Тогда мы имеем:

|Л — ^г(р)С| ^ |Л — ^(р^ + |Лк(р) — ^г(р)С| ^ 5|Лк(р)|/4 + |лМР) — |Лк(р)|С| + + ||л^(р)|С + ^г(р)С| ^ 5|Лк(р)|/2 + ^(р^ — ^г(р) < ^г(р)/2 + ¿г(р) — ¿г(р) < < 5(1 + 5/4)^/2 + ^¿г(р)/4 < .

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

Мл(Ак(р),5|Ак(р)|/4) < Мл(^г(р)С,5) < 2е*г(р) < 2е|Лк(р)|. Отсюда и (2.2) для достаточно больших р получаем

Мл(Лк(р), 1/р) < 2£|Л^(р) |. Это противоречит неравенству (4.1), т.к. число £ > 0 можно брать сколь угодно малым. Лемма доказана.

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

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

Доказательство. Покажем, что выполнены все условия теоремы 5.2 из работы [14]. Пусть Ш обозначает замыкание в пространстве Я (В) (функций, аналитических в области В, с топологией равномерной сходимости на компактах) линейной оболочки системы Е. Тогда Ш — замкнутое инвариантное относительно оператора дифференцирования подпространство в Я (В), допускающее спектральный синтез, со спектром Л = {Л&, тк}^;^.

Положим /1(Л) = /(Л) ехр(Лю). Поскольку К — сопряженная диаграмма функции /, то с учетом определения области В получаем:

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

По теореме Полиа (см., например, [18]) этого неравенства достаточно для существования линейного непрерывного функционала ^ на пространстве Я (В), преобразование Лапласа /х(А) = ехр(Аг)) которого совпадает с функцией /1(А). Нетрудно заметить, что значение этого функционала на функции ехр(А&г) равно /^(А^). Согласно определению множества ^(Л) это означает, что ненулевой функционал ^ обращается в ноль на всех функциях системы Е, а следовательно, и на подпространстве Ш. Поэтому Ш — нетривиальное подпространство в Я(В).

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

Л/2(Л) = ЯВ(ш>г)(Л) = Яе(Лю) + г|Л|, Л € С.

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

ЫЛ) = МЛ), л € с.

Кроме того, по теореме о сложении индикаторов (см., например, [7], теорема 1.4.3)

^ (Л) = Л/2 (Л) + Л/(Л) = ЯВ(Ш>Г)(Л) + Як (Л) = Яд (Л), Л € с.

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

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

0(В, К) = {г € С : Яе(гА) < Як (А), А € §}.

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

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

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

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

3.1 с учетом замечания к ее формулировке существует последовательность й е А(Л) такая, что множество О(Л, й) отлично от плоскости и содержит область О, а функция

не имеет особых точек на границе дО(Л,й). Поскольку множество 0(О(Л, й),К) в этом случае не пусто (оно содержит К), то это противоречит утверждению 1). При определении величины $л было отмечено, что всегда выполнено неравенство $л ^ 0. Таким образом, мы имеем $л = 0.

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

Выберем положительное число г так, что верно вложение К + В (ю0, г) С О (Л, й) и и. Функция аппроксимируется равномерно на компактах линейными комбинациями

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

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

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

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

sin Л sin(iA)

Л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) имеет простые нули в точках nn и in. Пусть Л = {Ak— последовательность ее нулей и d = {1/L'(Ak)}^=1. Тогда Л — правильная последовательность. Как и в примерах после определения £д показывается, что эта величина равна нулю. Рассмотрим ряд

^л exp(Afcz) tí L'(Ak) '

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

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

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

те

g(z dfc exp(—Afc z), (4.8)

k=í

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

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

k

т = N (Л) = lim —.

к^те A|

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

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

2. Имеет место равенство £д = 0. Доказательство. Положим

те / \2\

L(A) = П(1 — Al)- <4-9)

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

L(A)

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

Пусть

7(Л)

1

Иш — 1п

к^те Лк

1

Ь'(Л*)

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

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

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

|Ь'(Л*)|> ехр(-£Лк), к > ко. (4.10)

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

|Ь(Л)| ^ ехр((М1) + £)|Л|) = ехр((Нк(1) + £)|Л|), Л/|Л| € В(1, а), |Л| > Т, где К — сопряженная диаграмма функции Ь(Л), совпадающая с отрезком мнимой оси [—гпт, гпт]. Поскольку Нк(1) = 0, то мы получаем:

|Ь(Л)| ^ ехр(£|Л|), Л/|Л| € В(1,4а), |Л| > Т. Пусть Ь(Л) = (Л — Лк)Ь&(Л). Тогда Ь'(Л&) = (Л&). В силу последней оценки

¿(Л)

|Ь (Лк )|

Л — Лк

Так как на окружности Б(Л&, 4аЛ&) то по предыдущему имеем:

Ь (Л)

^ 4аЛк ехр(£(1 + 4а)Лк), Л € Б(Лк, 4аЛк), Лк > Т.

|9а(Л, а)| > 1,

?Л (Л,а)

^ 4аЛк ехр(£(1 + 4а)Лк), Л € Б(Лк, 4аЛ^), Лк > Т. По принципу максимума это неравенство продолжается внутрь круга. В частности,

Ь (Л)

зЛ А а)

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

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

|дЛ(Л, а)| > |Ьк(Лк)| ехр(—£(1 + 4а)Лк — 1п(4аЛк)) =

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

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

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

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

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

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

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

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

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

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

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

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

Следствие 4.5 (теорема Леонтьева). Пусть последовательность Л = {Ак, тк

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

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

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

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

Доказательство. Пусть г € дВ. Поскольку В является суммой области О и компакта К, то найдутся точки ю € дО и v € К такие, что г = ю + V. Следовательно, г принадлежит пересечению (ю + К) П дВ. Если других точек у этого пересечения нет, то все доказано. Предположим, что ^ отлична от г и также принадлежит множеству (ю + К) П дВ. Тогда = ю + v1, где v1 — некоторая точка компакта К. Через каждую из граничных точек г и г1 области В проходит хотя бы по одной опорной прямой. Пусть это будут прямые I = {и € С : Яе(и£) = Яр(£)} и 11 = {и € С : Дв(и^1) = Яр(^1)}, £, & € §, соответственно. Выполнены равенства

Яе(ю£) = Яп(£), Яе(ю£1) = Я^), Яе«) = Як (С), Яе^б) = Як (£1).

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

Яе((ю + v)£) = Яе(ю£) + ЯеК) > Яе(ю£) + ЯеЮ = Яе((ю + v)£) = Яе(г£) = Яр(£).

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

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

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

Следствие 4.6. Пусть Л — правильная последовательность, / € ^(Л), К — сопряженная диаграмма функции / и й € А(Л). Предположим, что Бл = 0, К — строго выпуклый компакт, множество О(В(Л,й),К) не пусто и отлично от плоскости, а область В(Л, й) имеет гладкую границу и выполнено равенство В(Л, й)О(В(Л, й), К) + К. Тогда все граничные точки области В(Л, й) являются особыми для функции В

частности область ее существования выпуклая.

Замечание. Приведем пример на применение следствия 4.6. Пусть К — произвольный строго выпуклый компакт, отличный от точки. Существует (см. [9],[7] теорема 1.3.2) целая функция / экспоненциального типа и вполне регулярного роста с простыми нулями Л = {Л^}, для которой К является сопряженной диаграммой. При этом последовательность Л удовлетворяет условию Иш1п |/'(Л&)|/|Л&| = 0 (из него, как и в следствии 4.2, следует равенство Бл = 0). Эта функция является канонической функцией правильно распределенного (и даже регулярного) множества Л = {Л&}. Последнее строится таким образом, что множество О(Л) совпадает с окружностью §. Пусть О — произвольная выпуклая область с гладкой границей. Положим В = О + К. Определим коэффициенты й = {4} следующим образом:

4 = Ск ехр(—Якр(к) (Лк)), к = 1, 2

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

те

g(z) = X dk exP(Afc z). k=i

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

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

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

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

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

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

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

те

g(z) = X Cp(z - ^)n(p) exp(Ak(p)z), (5.1)

p=i

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

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

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

|cp(z — ^)n(p) exp(Ak(p)z)| ^ exp(—(1 — 1/p)|Ak(p)| + (p|Ak(p)| — 1) ln r+ + |Ak(p) |Re(^Ak(p)/|Ak(p)|) + |Afe(p) |r) ^ exp(—(1 — 1/p)|Ak(p)| + (р|Ak(p) | — 1) ln r+

+ |Ak(p)|(1 + |Cp|) + |Ak(p)|r) = exp((1/p + рlnr + |Cp| + О^к^ — lnr) ^

< ro1 exp( —a|Ak(p)|)

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

|ер(г - ^)га(р) ехр(Ак(р)г}| ^ г-1 ехр(-ар), р > ро. Это означает, что ряд (5.1) равномерно сходится в круге Вг0). Поэтому его сумма д(г) — аналитическая в этом круге функция. Рассмотрим ряд

те,га(р)

X срйр.пг" ехр(А^(р)г), (5.2)

р=1,га=0

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

"(р)

(г - ?)"(р) = ^

п=0

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

|4„| < тах |(г - ^)"(р)| < тах |(г - ^)"(р)| < 2"(р) < ехр(р|Аад |).

|г|=1 гбВ(?,2)

Пусть г — произвольная точка пересечения круга В(0, 1) и полуплоскости ) < 1 - р - в,

в > 0. Тогда верны неравенства

те,п(р) те

X ехр(А^(р)г)| < ^(п(р) + 1) ехр((-(1 - 1/р) + р)|А^(р)| + Яе^^г)) <

р=1,п=0 Р=1

те

^ X(п(р) + 1) ехр((-(1 - 1/р) + р)|Ак(р)! + |Ак(р)|йе(гАк(р)/|Ак(р)|) = р=1 те

= ]>](п(р) + 1) ехр((-(1 - 1/р) + р)|Аад| + |А^)|Яе(г(? + £р)) <

р=1

те

(п(р) + 1) ехр((-(1 - 1/р) + р)|Ак(р)| + (1 - р - в)|Ак(р)| + |Ср||Ак(р)|) ^

р=1

те

^ X(р| Ак(р)| + 1)ехр(|А^(р)|/р - в|Ак(р)| + |Ср||А^(р)|) < р=1

Последняя оценка вытекает из соотношений |£р| ^ 0 и |А&(р)| > р. Следовательно, ряд (5.2) сходится на множестве В(0, 1) П {г : ) < 1 - р - в}. Последнее при в < р содержит

непустое пересечение В(0,1 - р - в) П В(^, 2р). Сумма ряда (5.2) на этом пересечении совпадает с функцией д(г), поскольку частичные суммы ряда (5.1) являются одновременно и частичными суммами ряда (5.2).

Пусть = если к = к(р), п = 0, 1,..., п(р), и = 0 в противном случае. Мы

получили последовательность коэффициентов й = такую, что й € А(Л), а множество

Д(Л, й) пересекает круг В(^, 2р), куда аналитически продолжается функция д^ = д. Для завершения доказательства остается лишь показать, что множество Д(Л,й) не содержит круг В 2р). Рассмотрим точки г = г^, г > 1. Поскольку

К,„| = |СП(р)^(р)-п| > 1,

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

Mp,„znexp(Ak(p)z)| = nd^Hcpz"exp(Ak(p)z)| > |cpznexp(Ak(p)z)| =

= exp(—(1 — 1/p) | Ak(p) |) exp Re(Ak(p)z) = exp(—(1 — 1/p)|Ak(p)|) exp Re(Ak(p)^) = = exp(—(1 — 1/p) |Ak(p) |) exp r|Ak(p)|Re(^Ak(p)/|Ak(p)|) = = exp(—(1 — 1/p)|Ak(p)|)exp r|Ak(p)|Re(^fc + cp)) = = exp(—(1 — 1/p)|Ak(p)|)exp(|Ak(p)|(r + Re(^Cp))) > exp(|Ak(p)|((r — 1) — |cp|)).

Так как |£p| ^ 0, то это означает, что ряд (5.2) расходится во всех точках z = r^, r > 1 т.е. круг B2р) не лежит целиком на множестве D^,d). Лемма доказана. Следующее утверждение является вариацией теоремы 3.1.

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

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

lim MOM > 0.

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

-MA(Ak(p),5) г Мд(а,5/3)

lim---.- > lim —-——— > 0.

р^те |Ak(p)| Р^те (1 — 5/3)tp

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

MA(Ak(p), 5) — mk(p) > /5|Ak(p)|, p = 1, 2,... Отсюда с учетом леммы 2.1 получаем

18 ln |qk(p)(Ak(p), 5)| < ln^^(MA(Ak,5) — mk) < ln — /5|AfcCp)| = ß|Ak(p)|. (5.3)

Как и в теореме 3.1 можно также считать, что каждая точка Ak попадает в один и только один из кругов Bp = B(Ak(p), 5|Ak(p) |), p = 1, 2,... Положим

. . 1 f exp(Az)dA gp(z) =- / -V ,-, p = 1, 2,...,

2™ J ap(A — Ak(p))qJ(p)(A,5)

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

|gp(z)| < exp(Re(Afc(p)z} + 4i|Afc(p)||z|), p = 1, 2,..., z G C. (5.4)

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

те

g(z) = X cpgp(z}' (5.5)

p=i

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

те те

X|CPgP(z)| ^ X exp( —^^(p^ + Re(Afc(p)z) +4^|Afc(p)||z|) < p=1 p=1

те

< J] exp(-2в|Afc(p)| + (1 + 4£)|Afc(p)||z|) < то.

p=i

Последняя оценка верна, т.к. N (Л) < то (т.е. |Ak(p)| > ck(p), c > 0). Это означает, что ряд (5.5) сходится в каждой точке круга B(0, а), причем равномерно в любом меньшем круге. Следовательно, функция g(z) аналитична в круге В(0,а).

Определим последовательность коэффициентов d = {dfc^lfc^u^o точно также, как в теореме 3.1. Подберем теперь числа ap, p =1, 2,... Выберем ap такое, что

max {| Afe(p) |-1(ln |bfe,n| - ln ap)} = в, (5.6)

где максимум берется по все номерам k, для которых A& G Bp, и всем n = 0, 1,..., — 1. В силу (5.3) верно неравенство ap > 1. Найдем область сходимости ряда

те,ш^ — 1

У^ dfc,razn exp(Afc z). (5.7)

fc=1,n=0

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

£(Л, d) = {z G C : Re(zA) < h(d, A), A G 9(Л)>

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

h(d, A) = inf Иш^те min ln(1/|ds(1),n|), a G 9(Л),

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

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

ln(1/|ds(0>ra|) . ln(1/|dfc>ra|) min --—у- > min --—!— =

|Afc(p(0)| ln |dfc,ra L 1 ln |dfe>n| — max —---—:— >----max

к:Лкёвр(1),0^и<тк-1 |Ак(р(г))|А&| 1 ± 8 к:ЛкбБр(г),0<п<тк-1 |А&(р(г))

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

1п(1/|4(г);га|) 1 1п |4,п/ср(г)| + 1п |ер(г)|

Ш1П -——у- > — тах -——-.-—

|Л5(г)| 1 ± О бВр(г)-1 |Лк(р(1))|

1 (\п |4,га/сР(0| ^ в §в

_ тах —--^--2в = --- > —-.

1 ± О €Вр(0,0<га<тк-1 ^ |Лк(р(£))| / 1 + О 9

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

ВДЛ) > 4в/5, Л е 9(Л).

Пусть Д = В(0, 8в/9). Тогда (Л) = 8в/9 для всех Л е §. Из последнего неравенства вытекает, что множество Д(Л, й) содержит область Д(©(Л)). Как и в теореме 3.1, функция являющаяся суммой ряда (5.7), совпадает с $ на пересечении областей Д(Л, й) и В(0, а), которое не пусто, т.к. Д(©(Л)) П В(0, а) = 0.

В результате наших построений мы получили последовательность коэффициентов й = {4,«} такую, что й е А(Л), а множество Д(Л, й) пересекает круг В(0, а), куда аналитически продолжается функция Для завершения доказательства остается лишь показать, что множество Д(Л, й) не содержит круг В(0,а).

Фиксируем какую-нибудь подпоследовательность {Л5(^)}, Л5(г) е Вр(г), 1 = 1, 2,..., последовательности {Лк} такую, что Л5(г)/|Л5(г)| сходится к некоторой точке £ е О(Л), и для к = з(/) и некоторого п = п(1), 1 = 1, 2,..., в соотношении (5.6) реализуется максимум при р = р(1), т.е.

|Лк(р(0)!1п К(0,п(0/ср(«)1 = в. Отсюда с учетом определения чисел ср получаем

1п(1/|4(г),га(р Р = — (1п Кдыо^о| + 1п |сР(0 Р |Лк(Р(р)| = в |Лк(р(0)! < в < 8в

|Л«0)| |лМр(0) ||Л^(0| |Л^(г)| — 7

Следовательно, Л,(й, £) < 8в/7. Пусть г = г£, 8в/7 < г < 4в/3. Тогда г е В(0, а), т.к. а = 2в(1 + 4О)-1 > 4в/3. В то же время

Яе(г£) = Яе(г££) = г > 8в/7 > ВД £),

т.е. г е Д(Л, й). Лемма доказана.

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

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

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

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

Следствие 5.1. Для того чтобы область существования суммы каждого ряда вида (1.2) совпадала с кругом сходимости этого ряда, необходимо и достаточно выполнение равенства

П

Ит 77"Т = 0 га^те £(п)

6. О теореме А. Островского

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

Ак(р) = ^р, Ак = Ак(р) — (£(р) — £)Л, £(р — 1) <£<£(р),р = 1,2,...

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

Ак(р-1)+1 — Ак(р) > (1 — Ла)^р+1 — ^р = ^р+Л 1 — Ла--— ) ^ то, р ^ то,

V ^р+1 /

то ]1тк^те(Ак+1 — Ак) = Л. Кроме того,

_k

N (Л) = lim —— = а.

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

lim М = lim k(p -1) + s(p) + i = lim k(p -1) + = lim k(p -1) + aAfc(p) =

k(p -1)

= lim —---+ а.

^те Ak(p)

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

0 < lim k(P - 1) < lim Ak(f-1)/h =0. ^те Afc(p) Afc(p)

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

lim 1^= а. (6.1)

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

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

k k(p) — s

Afc Afc(p) — hs

k(p) - ж

^p(x) =

Ak(p) -

Знак ее производной совпадает со знаком числа Л&(р) — А&(р), а значит, и со знаком числа к(р)/А&(р) — 1/Л. Так как Ла < 1, то в силу (6.1) последний становится отрицательным для достаточно больших номеров р. Следовательно, для таких р верна оценка

ы*) = А- < ^р(О) = А^ •

Ак Ак(р)

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

Ит — = Нт --= а.

к^те Ак к^те Ак(р)

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

1 Г ехр(Аг)^А

= 2™ У ар(А — Ак(р))^Л(р)(А, 8),

^^(лк(р),4^лк(р))

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

|0Р(я)| < ехр(Де(А^(р)г)+ 48А^(р)|г|), р = 1, 2,..., г € С.

Пусть

те

#(г) = Х ср£р(г), (6.2)

р=1

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

тете

Х|СР#Р(г)| ^ X еХР((^ — в)Ак(р) + 48Ак(р)|г|) < ^

р=1 р=1

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

совпадает с целой частью числа 8А&(Р)/Л, если последнее само не является целым, и равно 8А&(Р)/Л — 1 в противном случае. Тогда по лемме 2.1 получаем

1п |^Л(р)(Ак(Р),8)| < *(р, 8) 1п 1

3(1 -

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

Ж^^1 < |1п^Ц,= -в< 0.

Р^те Afc(p) h 3(1 - ö)

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

lim max {(Afc(p))-1 ln |4/cp|} = в- (6.3)

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

g(z) = X dk exp(Afc z). (6.4)

fe=i

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

lnÇl/idkD _ 1 у ln Idfc/CpI + ln ICp(;)I

limfc ,JO " — —~ : ~ lim max -

Afc 1 ± О fc(p)-s(p,á)<fc<fc(p) Afc(p)

1 ______ /ln Idfc/cpI

lim max —---в = 0.

1 ± О p^^ fc(p)-s(p,á)<fc<fc(p^ Ak(p) Следовательно, мнимая ось является прямой сходимости ряда (6.4).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Олеся Александровна Кривошеева, Башкирский государственный университет, ул. З. Валиди, 32, 450074, г. Уфа, Россия E-mail: kriolesya2006@yandex.ru