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

ISSN 2074-1863 Уфимский математический журнал. Том 3. № 2 (2011). С. 43-56.

УДК 517.5

ОБЛАСТЬ СХОДИМОСТИ РЯДОВ ЭКСПОНЕНЦИАЛЬНЫХ МОНОМОВ

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

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

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

1. Введение

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

^,mfc-1

У dk,nZn exp(Afc z) (1.1)

к=1,п=0

Исследуется задача описания пространства коэффициентов сходящихся рядов (1.1), характер сходимости этих рядов, описывается область их сходимости и изучается вопрос о продолжении сходимости рядов (1.1).

Пусть Л = {A k ,m,k }fe=i — кратная последовательность, где A к — комплексные числа, которые пронумерованы по неубыванию модулей, |Ak| ^ то при к ^ то, и Шк — натуральные числа. Нам понадобятся некоторые известные характеристики последовательности Л:

ш(Л) = Tim Шк, а(Л) = Tim inj,

к^те | Ak | |£j |

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

Тематика, связанная с рядами экспоненциальных мономов и их частными случаями — рядами экспонент (т.е. рядами вида (1.1), где Шк = 1, к = 1, 2,...), рядами Дирихле (т.е. рядами вида (1.1), где Шк = 1 и Aк — положительные числа) и рядами Тейлора имеет богатую историю. Их исследование берет свое начало в трудах Тейлора, Коши, Адамара, Абеля и Дирихле. Указанные выше задачи для таких рядов изучались в работах Е. Хилле [3], Г.Л. Лунца [4,5], А.Ф. Леонтьева [1,2], А.В. Братищева [6] и других математиков. Ряды

O.A. Kriyosheyeya, The convergence domain for series of exponential monomials.

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

Поступила 8 ноября 2010 г.

экспоненциальных мономов являются естественным обобщением рядов экспонент. Достаточно полное изложение теории последних имеется в монографии А. Ф. Леонтьева [1]. Основной результат теории рядов экспонент, ставший уже классическим, также принадлежит А.Ф. Леонтьеву. Ему удалось доказать, что любую функцию, аналитическую в выпуклой области Д С С, можно разложить в ряд экспонент с фиксированными показателями А1, А2,... при определенных условиях на эти показатели. Известно, что экспоненты (и только они) являются собственными функциями оператора дифференцирования. Поэтому задачу представления рядами экспонент можно рассматривать как задачу разложения по собственным функциям этого оператора. Поскольку запас собственных функций оператора дифференцирования в Н(Д) (Н(Д) — пространство функций, аналитических в области Д, с топологией равномерной сходимости на компактных подмножествах Д) достаточно большой (точнее говоря, все экспоненты), то существует много различных наборов показателей А1, А2,. . ., при помощи которых удается получить представление всех функций из Н(Д) посредством ряда экспонент. Если же от всего пространства Н(Д) перейти к его замкнутому подпространству Ш, инвариантному относительно оператора дифференцирования (таковым является, например, пространство решений однородного уравнения свертки или их систем), то, как правило, одних лишь собственных функций этого оператора (в этом случае имеется только счетный набор собственных функций) уже недостаточно для разложения всех функций из Ш. Однако, ситуация меняется, если наряду с собственными функциями рассматривать еще и присоединенные функции оператора дифференцирования в Ш. Таковыми являются экспоненциальные мономы

гп ехр(Ак г), п = 1, 2, ...,шк — 1,

где Шк — кратность собственного значения Ак. Задача разложения функций из замкнутого инвариантного относительно оператора дифференцирования подпространства Ш С Н(Д) по собственным и присоединенным функциям этого оператора называется проблемой фундаментального принципа. Такое название связано с тем, что в частном случае, когда инвариантное подпространство является пространством решений линейного однородного дифференциального уравнения с постоянными коэффициентами, возможность разложения произвольного решения по собственным и присоединенным функциям оператора дифференцирования называют фундаментальным принципом Л. Эйлера. Таким образом, важное значение приобретают вопросы, связанные с поведением рядов вида (1.1). Для таких рядов, как и в теории рядов экспонент (и, в частности, для степенных рядов и рядов Дирихле), первоочередными являются задачи описания классов областей сходимости (это включает в себя задачу о продолжении сходимости) и характер сходимости рядов, а также восстановление области сходимости по коэффициентам ряда. В теории степенных рядов первые две задачи решаются при помощи теоремы Абеля (чаще ее называют леммой Абеля), а последняя — при помощи теоремы Коши-Адамара. Для рядов Дирихле имеется аналог теоремы Абеля (см., напр., [2], глава 2, лемма 1.1), в котором утверждается, что сходимость ряда Дирихле

ГО

ехр(Акг)

к= 1

в одной точке г0 влечет за собой его сходимость в полуплоскости {г Е С : Де г < Де г0). Если при этом величина а(Л) равна нулю, то (см. [2], глава 2, теорема 1.1) эта сходимость будет абсолютной и равномерной в любой полуплоскости {г € С : Де г < Де г0 — е), где £ > 0.

Кроме того, для рядов Дирихле имеется полный аналог теоремы Коши-Адамара, в котором при условии а (Л) = 0 вычисляется расстояние от начала координат до граничной

прямой полуплоскости сходимости (см. [2], глава 2, теорема 1.2). В случае рядов экспонент полный аналог теоремы Абеля отсутствует. Имеется результат (см. [3], [2], глава 2, теорема 2.1) о том, что множество точек абсолютной сходимости ряда экспонент выпукло. Причем на компактных подмножествах внутренности этого множества ряд сходится равномерно (см. [2], глава 2, теорема 2.2). Если выполнено условие а(Л) = 0, то (см. [2], глава 2, теорема 2.3) простая и абсолютная сходимость ряда экспонент в выпуклой области равносильны. Кроме этого, для рядов экспонент известен также (см. [3], [4], [5] и [1], теорема 3.1.3) аналог теоремы Коши-Адамара. В ней дается описание области сходимости ряда экспонент, которая получается как пересечение некоторого семейства полуплоскостей. При этом приводится формула для расстояний от начала координат до граничных прямых этих полуплоскостей. В случае общих рядов вида (1.1) можно отметить лишь результат из работы [6]. Здесь доказывается, что область абсолютной сходимости ряда (1.1) выпуклая, если выполнено следующее условие: ш(Л) = 0.

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

Пусть D — выпуклая область в C. Опишем пространство последовательностей коэффи-

пывает ее, т.е. Kp С iniKp+1,p =1, 2,... и D = УKp. Здесь символ int означает внутренность множества. Для каждого p = 1, 2,... введем банахово пространство последовательностей комплексных чисел

где Kp G K(D) и

Нм (С) = SUP Re(z£)

zeM

— опорная функция множества M С C (точнее говоря, комплексно сопряженного к M множества. Пусть Q(D) = P|p Qp. В пространстве Q(D) определим метрику

С этой метрикой ф(Д) становится, очевидно, пространством Фреше. Отметим, что в силу вложения Кр С т£Кр+1 и определения опорной функции для каждого р = 1, 2,... найдется положительное число ар такое, что

2. Пространство коэффициентов сходящихся рядов

циентов {4,Л^П=0, при которых в области сходится ряд (1.1). Через К(Д) = {Кр)р^=1 обозначим последовательность выпуклых компактов в области Д, которая строго исчер-

p}p=i

ГО

Qp = {d = {d^n} : ||d||p = sup |d^n| exp Hkp^к) < то},

h,n

(2.1)

Покажем, что пространство ф(О) совпадает с пространством коэффициентов сходящихся в области О рядов вида (1.1). Но прежде докажем некоторые вспомогательные утверждения.

Лемма 2.1. Ряд

ГО

^2шк ехр(-е|Ак|) (2.2)

к=і

сходится для любого є > 0 тогда и только тогда, когда а (Л) = 0.

Доказательство. Пусть а (Л) = 0 и } — неубывающая по модулю последовательность, составленная из точек Ак , причем каждая Ак встречается в ней ровно тк раз. Тогда для каждого 8 > 0 существует номер N(8) такой, что

1п- < 8|0^ - > N(8).

Фиксируем є > 0 и выберем 8 < є. Имеем:

ГО ГО і . ГО

^ ехР(-є|0|) < ^ ехР(-^) = ^ -т-г < то.

j=N(й) т=И(й) т=И(й) -

Следовательно, ряд (2.2) сходится для любого є > 0. Покажем обратное. Пусть верно последнее утверждение. Поскольку члены ряда (2.2) положительны, то их перестановка не влияет на сходимость ряда. Поэтому можно считать, что Ак пронумерованы по возрастанию модулей, т.е. |Аі| ^ |А2| ^ .... Кроме того, если последовательность {Ак}ГО=і ограничена, то ряд (2.2) расходится. Следовательно, |Ак| ^ то, когда к ^ то. Дальнейшее доказательство проведем от противного. Предположим, что а(А) = 4с > 0. Тогда существует подпоследовательность натуральных чисел {-(1)}^ такая, что

1п- (1) > 2с|^7-(г) |, 1 = 1, 2,....

Переходя еще раз к подпоследовательности, можно считать, что

2|^?'(і) | ^ |&(г+і)|, 1 = 1, 2,....

Составим теперь новую подпоследовательность натуральных чисел

-(1, «), 1 = 1, 2,..., 5 = 1, 2,...,/'(/),

где 1;(1) — целая часть числа -(1)/2. Положим

-(1, 5) = -(1) — ^/(1) + 5.

В силу неубывания модулей ^ имеем:

/п-(1,з) ^ /п-(/,в) ^ /п-(1, 1) ^ /п-(1) — 1п2 ^ ^ 1п2

|&М| “ |О(0| “ |О(0| “ |О(0| “ |О(0|

Так как |^-1 ^ то то найдется номер 10 такой, что

1П (1,5) > с, 1 > 1о, 5 =1, 2, . . . , 1/(1).

Отсюда для всех 1 > 10 и є = с получаем:

'(і) г'(і) г'(г)

^ ехР(—є|0|) = ^ехР(—є|С'(г,^)|) > ^ехР( — 1п-(1,5)) =

'='(г)-г,(г)+і 8=і «=і

= v i = v i'(i) > 2-1j(i) -1

j(i,s)f ¿1j(1,s) “ j(l) “ j(l) .

Поскольку j(l) ^ то, когда l ^ то, то это противоречит сходимости ряда (2.2) при е = с.

Таким образом, а (Л) = 0 и лемма доказана.

Символом S будем обозначать окружность единичного радиуса с центром в начале координат. Пусть E — множество в C, 0 — замкнутое подмножество окружности S. 0 -выпуклой оболочкой E называется множество

E(0) = {z е C : Re(z£) <Яе(£),£ е 0}.

Отметим, что внутренность E лежит в E(0). В самом деле, если z — внутренняя точка E, то из определения опорной функции следуют неравенства Re(z^) < He(£), V£ е 0. Это означает, что z е E(0). В частном случае, когда 0 = S, 0 — выпуклая оболочка множества совпадает с его обычной выпуклой оболочкой (точнее говоря, с внутренностью этой выпуклой оболочки) и, таким образом, является выпуклой областью. Последнее имеет место и в общем случае. Что и подтверждается следующим утверждением.

Лемма 2.2. Пусть E — множество в C, 0 — замкнутое подмножество окружности S. Тогда множество E(0) является выпуклой областью.

Доказательство. По определению множество E(0) есть пересечение полуплоскостей, а потому выпукло. Выпуклость влечет за собой связность E(0). Остается показать, что E(0) — открытое множество. Предположим, что это не так. Тогда существует точка zo е E(0) и последовательность {zk} такие, что zk ^ zo при k ^ то и zk е E(0) для всех k > 1, то есть Re(zk£k) > HE(£k) для некоторого £k е 0, k =1, 2,... Переходя к подпоследовательности, можно считать, что {£к} сходится к точке £0 е 0. Тогда из последнего неравенства с учетом полунепрерывности снизу опорной функции (см. [7]) получаем

Re(zoCo) = lim Re(zfc£fc) > limfc^^Re(zfc^fc) > (&) > He(&).

Получили противоречие с определением E(0), так как zo е E(0), а £o е 0. Лемма доказана.

Пусть Л = {Afc, mfc}fc=1. Через 0(Л) обозначим множество всех частичных пределов последовательности {Afc/|Afc|}^=1 (исключая точку Afc = 0, если она есть). Очевидно, что 0(Л) — замкнутое подмножество окружности S.

Лемма 2.3. Пусть последовательность Л такова, что т(Л) = 0. Предположим, что общий член ряда (1.1) ограничен на множестве E С C, т.е.

|dk,nzn exp(Ak z)| ^ A(z), k = 1, 2,..., n = 0,1,...,mk — 1, z е E.

Кроме того, если 0 е E, то ограничена также последовательность {dfc^}^™«-1).

Тогда имеет место включение d = {dk,n} е Q(D), где D = E(0(Л)).

Доказательство. Предположим, что d е Q(D). Тогда d е для некоторого номера p = 1, 2,... Это означает, что найдется подпоследовательность {dk;,ni} такая, что

|dfcbra; | exp Hkp(Afcl) ^ +то, p ^ то. (2.3)

Переходя еще раз к подпоследовательности, можно считать, что {Ak;/|Ak; |} сходится к некоторой точке xo е 0(Л). Поскольку Kp+1 — компакт в области D = E(0(Л)), то из определений множества E(0(Л)) и опорной функции следует, что для некоторого zo е E верна оценка: Re(zoxo) > HKp+1 (xo).

Тогда с учетом (2.1) и непрерывности опорной функции компакта (см. [7]) найдется 5 > 0 такое, что

Re(zoxo) > Якр+1 (x) > Якр(x) + ap|x|, xGB(xo,£). (2.4)

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

Ak/|Afc11 G В/ > /о.

Пусть вначале zo = 0. По условию т(Л) = 0. Следовательно, в силу определения величины т(Л) для каждого е > 0 найдется /1 > /0 такое, что ^ e|Ak; | для всех / > /1. Фиксируем е > 0 такое, что е ln |zo| > —ap. Тогда с учетом (1.4) и положительной однородности опорной функции для всех / > /1 получаем:

|zn exp(AkZo)| = exp(n0/ ln |zo| + Re(Afclzo)) >

> exp(—nape-1 + Re(Afclzo)) > exp(—mfc;ape-1 + Re(Afc;zo)) >

> exp(—ap|Afc;| + Якр(Afc;) + ap|Afc;|) = exp ЯКр(Afc;)

Таким образом, в силу (2.3) имеем:

|4ь„гzn exp(Akzo)| ^ +то, p ^ то.

Это противоречит условию леммы.

Пусть теперь zo = 0. Тогда с учетом (2.3) и (2.4) для всех / > /o получаем:

|dk; т 1 |dkj,ra; exp(Afc; zo)| > |dkj,ra; 1 exp HKp (Ak; ) ^ + p ► TO.

Это снова противоречит условию леммы. Таким образом, d G Q(D). Лемма доказана.

Замечание. В случае, когда 0 G E, в лемме накладывается дополнительное условие ограниченности последовательности коэффициентов {dk,n}. Оно существенно, если 0 -изолированная точка множества E. В качестве примера рассмотрим ряд

ГО

exp(2k)z exp(kz).

k=i

Здесь 0(Л) = {1}. В качестве E возьмем множество, состоящее из двух точек { — 2, 0}. Тогда E(0(Л)) совпадает с полуплоскостью Rez < 0, а общий член ряда ограничен на E. Однако ряд не сходится в этой полуплоскости (он расходится на окружности S). Он сходится в полуплоскости Rez < —2, которая совпадает с множеством E;(0(Л)), где E' = {—2}. В этом случае нарушено условие ограниченности коэффициентов (остальные выполнены), и лемма перестает быть верной. В ситуации, когда 0 E не является изолированной точкой E, лемма останется верной и без условия ограниченности коэффициентов. Действительно, при сделанных предположениях точка 0 лежит в замыкании множества E' = E\{0}. Остается заметить, что в этом случае области E(0(Л)) и E’(0(Л)) совпадают (т.к. совпадают, очевидно, опорные функции множеств E и E;).

Положим

cp,k,n = sup |zn exp(zAk )|, p, k = 1, 2,..., n = 0,1,...,mk — 1.

z€Kp

Лемма 2.4. Пусть последовательность Л такова, что т(Л) = 0. Тогда для

любого номера p существует постоянная C > 0 такая, что верны неравенства Cp,k,n ^ CexpHkp+1 (Afc), Vk =1, 2,..., Vn = 0,1,... ,mfc — 1.

Доказательство. Предположим, что утверждение леммы неверно. Тогда для некоторого номера p найдется подпоследовательность {k , n } такая, что

cp,fc¡,n¡ >¿ exp Якр+1 (Afc¡), / l, 2,... (2.5)

Через z0 обозначим точку компакта Kp с максимальным модулем. Можно считать, что Kp = {0}. Тогда z0 = 0 и мы имеем:

cv,kl,nl ^ |zo|ni exp Якр(Afc¡) =exp(n ln |zo| + Якр(Afc¡)) ^

^ exp(mfc¡ | ln |zo|| + Нкр(Afc¡)).

По условию т(Л) = 0. Следовательно, для каждого е > 0 найдется номер /0 такой, что ^ e|Afc¡ | для всех / > /0. Фиксируем е > 0 такое, что е| ln |z0|| < ap. Тогда по предыдущему с учетом (2.1) получаем:

Cp,fcbra¡ ^ exp(e|Afc¡ | ln |z0| + Нкр(Afc¡)) ^

^ exp(ap|Afc¡| + Нкр(Afcj)) ^ expНкр+i(Afc¡), / > /0.

Это противоречит (2.5). Лемма доказана.

Лемма 2.5. Пусть D — выпуклая область в C, последовательность Л такова, что

а(Л) = т(Л) = 0 и d = {dk,n} G Q(D). Тогда для каждого p = 1, 2,... найдется число

Cp > 0 (не зависящее от последовательности d) такое, что

rx,mk — 1

^ ^ |dfc,ra|cp,fc,ra ^ Cp||d||p+2.

fc=1,ra=0

Доказательство. Пусть d = {dk,n} G Q(D). В силу леммы 2.4 с учетом (2.1) и определения нормы в пространстве Qp+2 получаем:

ro,mfc — 1 ro,mfc — 1

^ ^ |dk,n|cp,k,n ^ C |dk,n| exp НКр+1 (Ak) ^

k=1,n=0 k=1,n=0

ro,m^ — 1

« C £ |dk,n| exP(HKp+2 (Ak) + НКр+1 (Ak) - НКр+2 (Ak)) ^

k=1,n=0

C Nd|U£ exp(—ap+1| Ak|).

k=1

По условию а(Л) = 0. Следовательно, последний ряд сходится по лемме 2.1. Это дает нам требуемое неравенство с некоторой константой Cp > 0, не зависящей от d = {dk,n}. Лемма доказана.

В следующей теореме дается описание пространства последовательностей коэффициентов рядов экспоненциальных мономов, сходящихся в выпуклой области D С C.

Теорема 2.6. Пусть D — выпуклая область в C и последовательность Л такова, что а (Л) = т(Л) = 0. Тогда эквивалентны утверждения:

1) Ряд (1.1) сходится в области D.

2) Имеет место включение d = {dk,n} G Q(D).

Доказательство. Пусть выполнено 1). Тогда общий член ряда (1.1) ограничен в каждой точке области D. Следовательно, по лемме 2.3 с учетом замечания к ней последовательность d = {dk,n} принадлежит пространству Q(D(0^))). Поскольку область D лежит в D(0^)), то из определения пространства Q(D) легко следует вложение др(0(Л))) С Q(D).

Таким образом, d G Q(D).

Пусть теперь выполнено 2). Тогда из неравенства в лемме 2.5 вытекает, что ряд (1.1) сходится на любом компакте области Д, а значит, и в самой области Д. Теорема доказана.

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

3. Аналог теоремы Абеля для рядов экспоненциальных мономов

Следующий результат является аналогом теоремы Абеля для ряда (1.1).

Теорема 3.1. Пусть последовательность Л такова, что а (Л) = т(Л) = 0. Предположим, что общий член ряда (1.1) ограничен на множестве Е С С. Кроме того, если начало координат является изолированной точкой множества Е, то ограничена также последовательность {^п}^™«—0. Тогда для каждого номера р = 1, 2,... найдется число Ср > 0 (не зависящее от последовательности й) такое, что

гх,тк — 1

^ ^ |й&,га|ср,&,га ^ Ср||й||р+2,

&=1,го=0

где числа ср,к,п и нормы ||й||р построены по последовательности компактов К(Д) и Д = Е(0(Л)). В частности, ряд (1.1) сходится абсолютно и равномерно на любом компакте из области Д.

Доказательство. Пусть выполнены условия теоремы. Тогда по лемме 2.3 и замечанию к ней имеет место включение й = {й^,га} Е ^(Д). Отсюда по лемме 2.5 для каждого р = 1, 2,... найдется число Ср > 0 (не зависящее от последовательности й) такое, что

гх,тк — 1

^ ^ |й&,га|ср,&,га ^ Ср||й||р+2.

&=1,га=0

В частности, это означает, что ряд (1.1) сходится абсолютно и равномерно на любом компакте из области Д. Теорема доказана.

Замечания. 1. Из теоремы 3.1 следует, что при условии а(Л) = т(Л) = 0 внутренность множества сходимости ряда (1.1) всегда является выпуклой и даже 0 — выпуклой областью (т.е. областью, которая представляет из себя пересечение полуплоскостей {г : Яв(г£) < к(£),£ Е 0}), к — некоторая полунепрерывная снизу функция.

2. Если из теоремы 3.1 изъять условие а (Л) = 0, то ее утверждение становится неверным. В книге [2, глава 2] приведен пример ряда Дирихле, для которого а(Л) > 0. Этот ряд сходится в полуплоскости (а значит, его общий член ограничен в этой полуплоскости), но абсолютно расходится в каждой точке плоскости.

3. Условие т(Л) = 0 также существенно. Действительно, пусть последовательность Л = {к,тк} такова, что т(Л) = т > 0 и при этом а(Л) = 0 (например, тк = 2к). Рассмотрим ряд

ГО

^ехр(2к)гтк—1ехр(кг).

к=1

Нетрудно показать, что этот ряд сходится в некоторой области, лежащей в полуплоскости Яег < —а, где а > 1 выбрано из условия а > 2(т 1п а + 1), и в круге В(0, г), где г Е (0,1) такое, что —2—1т 1п г > 3. В то же время он, очевидно, расходится на окружности §.

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

Как уже говорилось ранее, теорема 3.1 является аналогом теоремы Абеля для степенных рядов. Действительно, как и в последней в теореме 3.1 доказывается, что ограниченность общего члена ряда в некоторых граничных точках области влечет за собой его абсолютную и равномерную сходимость внутри области. Степенной ряд является частным случаем ряда экспонент: при помощи простого преобразования переменной степенной ряд превращается в ряд вида dk exp(kz). Однако, если переформулировать теорему 3.1 для

этого частного случая, то в результате получится более слабое утверждение чем теорема Абеля. Это объясняется тем, что круги, на которых должен абсолютно и равномерно сходиться степенной ряд, при указанном преобразовании переходят в неограниченные множества. В теореме же 3.1 равномерная сходимость гарантируется лишь на компактных подмножествах. Существенно усложнив доказательство этой теоремы, можно показать, что ряд (1.1) все-таки будет равномерно сходиться в некоторых случаях и на неограниченных множествах. Однако эти множества не всегда будут содержать образы кругов при преобразовании переменной, переводящем степенной ряд в ряд экспонент. Чтобы пояснить сказанное, приведем следующий пример. Рассмотрим ряд

ГО

y^(exp(fcz) + z exp(kz)) (3.1)

k=i

Множество 0(Л) в этом случае является одноточечным: 0(Л) = {1}. Коэффициенты ряда равны единицы, а потому ограничены. Следовательно, по теореме 3.1 ряд (3.1) сходится в области E(0(Л)), где E = {0}, которая совпадает с левой полуплоскостью, и равномерно на ее компактах. Можно показать, что ряд (3.1) сходится равномерно и на некоторых неограниченных множествах (например, на углах раствора строго меньше п и с вершинами, принадлежащими отрицательной вещественной полуоси). Но он не сходится равномерно ни в какой полуплоскости вида П(а) = {z : Rez < —а}, а > 0.

Рассмотрим теперь ряд

ГО

exp(kz). (3.2)

k=i

Он получается из степенного ряда wk при помощи преобразования w = exp z. Последний сходится в круге B(0,1), а по теореме Абеля он сходится равномерно в любом круге меньшего радиуса. Эти круги при указанном преобразовании переходят в полуплоскости П(а). Следовательно, ряд (3.2) сходится равномерно в каждой из этих полуплоскостей. Такое отличие в множествах равномерной сходимости у рядов (3.1) и (3.2) связано с наличием множителей z в ряде (3.1). Как показывает этот пример, сохраняя подобные множители, нельзя доказать теорему типа теоремы 3.1 так, чтобы ее частным случаем была теорема Абеля для степенных рядов. Однако эту ситуацию можно исправить, отказавшись от

сомножителей zn в ряде (1.1), т.е. рассматривая лишь "чистые"ряды экспонент, что и подтверждается следующим результатом.

Наряду с E(0) для каждого е > 0 определим еще множество

E(0,e) = {z G C : Re(z£) < (£) — e, V£ G 0}.

Отметим, что в случае, когда 0 лежит в некотором угле с вершиной в нуле раствора не больше п множество E(0), а вместе с ним и E(0, е) для достаточно малого е > 0 является неограниченным.

Теорема 3.2. Предположим, что члены ряда

У^4 ехр(Лк^) (3.3)

1к к=1

равномерно ограничены на множестве Е, то есть

|4 ехр(Лкг)| ^ А, к = 1, 2,..., г Є Е.

Пусть далее а (Л) = 0 и замкнутое множество 0 С § таково, что для некоторого номера ко верно включение

Лк/|Лк1 Є 0 к > к0.

Тогда для каждого є существует с(є, Л) > 0 такое, что выполнено неравенство

ГО

|4ехр(Лкг)| ^ Ас(є,Л), г Є Е(0,є).

к=ко

В частности ряд (3.3) сходится абсолютно и равномерно на Е(0(Л),є).

Доказательство. Пусть є > 0 и г Є Е(0,є). Так как Ск = Лк/|Лк| Є 0 для всех к > к0, то согласно определению Е(0,є) имеем оценку:

ГО ГО

У, |4ехр(Лкг)| = ^ |4ехр(|Лк|(Ск*0)| =

к=ко к=ко

ГОГО

= У |4| ехр(|Лк|Де(Скг)) ^ У |4| ехр(|Лк|(Яе(Ск) - є)).

к=ко к=ко

Далее в силу определения опорной функции найдем точку гк Є Е, к > к0 такую, что

Ле(гкСк) > Не(Ск) — є/2.

Тогда из предыдущего и условия теоремы получаем:

ГОГО

У |4 ехр(Лкг)| ^ У |41 ехр(|Лк|(Не(Ск) — є)) ^

к=ко к=ко

ГОГО

^ У |41 ехр(|Лк|(Де(^кСк) — є/2)) = У |41 ехр((Дв(^кЛк) — є|Лк|/2)) =

к=ко к=ко

ГОГО

У |4 ехр(|Лкгк)| ехр( є|Лк|/2) ^ А ^2 ехр(—є|Лк|/2).

к=ко к=ко

Так как а(Л) = 0, то по лемме 2.1 последний ряд сходится, и мы получаем требуемое неравенство. Теорема доказана.

Замечание. Рассмотрим ряд экспонент

ГО

У^ 4 ехр(кг) (3.4)

к=1

в который переходит степенной ряд £ 4тк при преобразовании т = ехр г. В этом случае а(Л) = 0 и для каждого номера к =1, 2,... верно включение Лк/1Лк| Є 0 = {1}.

Предположим, что общий член ряда (3.4) ограничен в точке г0 и положим Е = {г0}. Тогда по теореме 3.2 ряд (3.4) сходится абсолютно и равномерно на каждом из множеств

E(0,є), є > 0, которое совпадает с полуплоскостью {z : Rez < Rez0 — є}. Это дает нам теорему Абеля для степенного ряда.

4. Аналог теоремы Коши-Адамара для рядов экспоненциальных мономов

Приведем результат, который является аналогом теоремы Коши-Адамара для степенных рядов. В этой теореме дается формула для вычисления радиуса сходимости степенного ряда. Аналогом круга для рядов экспонент является полуплоскость, а аналогом радиуса круга — расстояние от начала координат до полуплоскости. Если 0(Л) состоит из двух точек, то соответствующая 0(Л) — выпуклая область сходимости ряда (1.1) является пересечением двух полуплоскостей. У этой области уже два "радиуса сходимости—расстояния от начала координат до двух прямых, являющихся границами этих полуплоскостей. Если же 0(Л) — бесконечное множество, то и соответствующих "радиусов сходимости"ряда

(1.1) будет бесконечно много. Следует отметить, что некоторые расстояния нужно брать со знаком минус. Такая ситуация возникает в случае, когда область сходимости не содержит

ГО

начало координат. Рассмотрим, например, ряд 2k exp(kz).

fc=i

Применяя к соответствующему ему степенному ряду теорему Абеля, легко установить, что областью его сходимости является полуплоскость {z : Rez < ln(1/2)}. Чтобы не возникало путаницы, "радиусом сходимости"здесь следует считать величину ln(1/2), равную расстоянию от начала координат до прямой, ограничивающей полуплоскость, взятому со знаком

ГО

минус, а не само расстояние. Поясним сказанное. Рассмотрим еще ряд 2—k exp(kz).

fc=i

Так же как и в первом случае находим, что областью сходимости этого ряда является полуплоскость {z : Rez < ln2}. И вот здесь уже "радиус сходимости"равен ln2, т.е. расстоянию от начала координат до прямой, ограничивающей полуплоскость.

Прежде чем сформулировать заявленный выше результат, введем еще обозначения. Пусть £ Є 0(Л). Для последовательности коэффициентов d = {dk,n} ряда (1.1) положим

h(d,£ Hmflim^ro min 1 ln(1/|dfc(j),ra|),

J 0^n^mfc(j)-1 |Afc(j)|

где инфимум берется по всем подпоследовательностям {Afc(j)} последовательности {Afc} таким, что Afc(j)/|Afc(j) | сходится к £, когда j ^ то. Таким образом, мы получили функцию h(d,£), £ Є 0(Л). Из ее определения нетрудно вывести, что она является полунепрерывной снизу. Тогда, как и в лемме 2.2, показывается, что множество

D = D(d,Л) = {z : Re(z£) < h(d,£),£ Є 0(Л)} является 0(Л) — выпуклой областью.

Теорема 4.1. Пусть последовательность Л такова, что а(Л) = т(Л) = 0. Тогда ряд

(1.1) сходится в каждой точке области D и расходится в каждой точке ее внешности

C \ D за исключением начала координат, если ряд dk,0 сходится.

Доказательство. Пусть z Є D. Выберем номер p так, что z Є Kp, где Kp элемент множества K(D). Тогда согласно лемме 2.4 с учетом (2.1) получаем оценку

ГО,Ш^ — 1 ro,mfc-1

У |dfc,„||z|nexp(Re(zAfc)) ^ C ^2 |dfc,n| expHkp+1 (Afc) =

k=1,n=0 k=1,n=0

ro,mk — 1

=C |dfc,n| exp(HKp+2 (Afc) + HKp+l (Afc) — HKp+2 (Afc)) ^

fc=1,ra=0

м,ш^ — 1

|4,п| ехр(Якр+2 (Л*,) - ар+1|Лк|). (4.1)

к=1,га=0

Покажем, что

Иш*.^те тах |4,„| ехр(Якт+2 (Л*,)) < +то (4.2)

0^п^т& — 1

Предположим, что это не так. Тогда для некоторой подпоследовательности {&(?'), п(^')} имеем:

Иш |dfc(j),ra(j)1 exp HKp+2 (Afc(j)) +

j—to

или, что эквивалентно

lim (ln |dfc(j),n(j)1 + HKp+2 (Afc(j))) = +^. j —(TO

Отсюда

lim |Afc(j)1 (ln |dfc(j),™(j)1 + HKp+2(Afc(j))) — °. (4.3)

j—to

Переходя еще раз к подпоследовательности, можно считать, что Afc(j)/|Afc(j)| сходится к некоторой точке £ Е 0(Л). Тогда с учетом непрерывности, положительной однородности опорной функции компакта и определения величины h(d, £) получаем:

lim |Afc(j)1 (ln 14(j),ra(j)1 + HKp+2 (Afc(j))) ^

j—TO

^ lim |Afc(j)1 In 1 dfc(j),ra(j)1 + lim |Afc(j)1 |HKp+2 (Afc(j)) ^

J—— <TO J—to

^ lim |Afc(j)|-1 ln |4с7),ЧЛ| + HKp+2(£) ^ -h(d,£) + HKp+2(£) < 0. j — <TO

Последняя оценка здесь следует из того, что

HKp+2 (£) < HD (£)

(т. к. Kp+2 — компакт в области D) и

Hd (£) ^ h(d,£)

(в силу определения области D = D(d, Л) и опорной функции Hd). Таким образом, мы получили противоречие с (4.3). Следовательно, (4.2) верно. Поэтому, согласно (4.1), имеем:

TO,mfc- 1 ТО,Шк — 1

У |4,n||z|nexpRe(zAfc) ^ C' ^2 mfcexp(-ap+i|Afc|).

fc=1,n=0 fc=1,n=0

По условию ст(Л) = 0. Тогда в силу леммы 2.1 последний ряд сходится. Это означает, что ряд (1.1) сходится в точке z.

Пусть теперь z Е C \ D. Если z = 0 и ряд 4,0 сходится, то ряд (1.1) сходится в точке

z = 0.

Пусть z = 0. По определению области D найдется £ Е 0(Л) такое, что

ДфО >й(^£). (4.4)

Согласно определению величины Л,(^, £) найдем подпоследовательность {&(?'), п(^')} такую, что Лк(^-)/|Лк(^)| сходится к точке £ и

= Цш 1п(1/Л^р(д|) (4.5)

|Лк(Л|

Предположим, что ряд (1.1) все-таки сходится в точке г. Тогда общий член ряда (1.1) ограничен на множестве Е = {г} и Д, и по лемме 2.3 последовательность его коэффициентов d принадлежит пространству ^(Д;), где — 0(Л) — выпуклая оболочка множества

Е. При этом г является граничной точкой области (т.к. не лежит в Д). Следовательно,

с учетом (4.4) в области найдется точка такая, что

Де(/£) >^.£). (4.6)

Выберем номер р, для которого компакт Кр Е К(Д;) содержит г;. Как уже отмечалось, d Е ^(Д;). Поэтому, согласно определению пространства ^(Д;), имеем:

|dfc,n| ^ В ехр(-Нкр (Лк)). к = 1. 2..... п = 0.1.....ш*; - 1. где В — положительная постоянная. Так как Е Кр, то

Де(г/Лк;) ^ Якр(Лк). к = 1. 2....

С учетом этого по предыдущему получаем:

|dfc,n| ^ Bexp(-Re(z'Afc)).

Отсюда и из (4.6) следует, что

lim ln(l/|dj,n(j)|) — - lnB + Re(z'Ak(j)) = Re(z'£) > h(d,£).

j—TO |Afc(j)!

Это противоречит (4.5). Теорема доказана.

Замечание. В частном случае для ряда (3.4) имеем формулу

h(d,1) = limfc—TOln(1k|dk|) = Hmfc—TO(- ln УШ).

Делая преобразование w = exp z, переводящее ряд (3.4) в степенной ряд, получаем следующую формулу для радиуса сходимости последнего

R = exp h(d, 1) = limk

Таким образом, мы получили формулу Коши-Адамара для степенных рядов.

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

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

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

3. E. Hille Note on Dirichlet’s series with complex exponents. // Ann. Of Math. 1924. V. 25. P. 261-278.

4. Лунц Г.Л. О некоторых обобщениях рядов Дирихле. // Матем. сб. 1942. Т. 10(52), № 1-2, С. 35-50.

5. Лунц Г. Л. Об одном классе обобщенных рядов Дирихле. // УМН. 1957. Т. 12, вып. 3(75). С. 173-179.

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

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

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

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

E-mail: kriolesya2006@yandex.ru