CC BY
7
Владикавказский математический журнал 2013, Том 15, Выпуск 3, С. 3-6
УДК 517.547+517.982
ВЕСОВЫЕ ПРОСТРАНСТВА ФРЕШЕ ЦЕЛЫХ ФУНКЦИЙ ИЗ КЛАССА СТЕПЕННЫХ РЯДОВ КОНЕЧНОГО ТИПА1
А. В. Абанин, П. С. Сергунин, Фам Чонг Тиен
Изучаются весовые пространства Фреше целых функций, задаваемые весовыми последовательностями общего вида. Получены достаточные условия на веса, при которых они обладают топологическими инвариантами Фогта — Вагнера, и, таким образом, относятся к классу пространств степенных рядов конечного типа.
Ключевые слова: весовые пространства целых функций, топологические инварианты.
В работах Д. Фогта [1] и М. Дж. Вагнера [2] (см. также [3, с. 368]) были введены классы пространств Фреше (ДА/") и (П), пересечение которых совпадает с семейством всех пространств степенных рядов конечного типа. Отсюда, в частности, следует, что все пространства, относящиеся к данному семейству, обладают базисом. Отметим, что принято также говорить, что пространства класса (ДА/") (или (П)) обладают топологическим инвариантом (ДА/") (соответственно (П)). Инварианты (ДА/") и (П) и их модификации имеют важное значение при исследовании ряда задач анализа, когда требуется использовать топологические свойства весовых функциональных пространств (см., например, [4-8]). В работах [4, 7] было установлено, что к классу пространств степенных рядов конечного типа относятся весовые пространства целых функций, задаваемые весовыми последовательностями выпуклых функций специального вида. В [8] была предложена общая схема проверки наличия инвариантов (ДА/") и (П) у весовых пространств голоморфных функций, основанная на исследованиях Ф. Хаслингера из [4]. Недостатком этой схемы, равно как и результатов из [4] и [7], является то, что используемый метод проверки свойства (П) предполагает наличие нужного описания сопряженного пространства через преобразования Фурье — Лапласа функционалов и, таким образом, имеет достаточно узкую область применения.
В настоящей заметке предлагается применить для этой цели модификацию леммы о декомпозиции из работы [5], имеющую также и самостоятельное значение.
По непрерывной функции р : <СМ ^ Ж (весу) образуем банахово пространство
Д(р)= |/еЯ(СМ): ^<оо|.
Единичный шар этого пространства обозначим через В(р). Как известно (см., например, [9, 10]), всегда можно считать, что р — плюрисубгармоническая (коротко, рвИ-функция) в функция.
© 2013 Абанин А. В., Сергунин П. С., Фам Чонг Тиен
1 Исследование выполнено при финансовой поддержке Министерства образования и науки Российской Федерации, соглашение № 8210, а также гранта ЮФУ № 213.01-24/2013-63 «Весовые пространства бесконечно дифференцируемых функций. Общая теория и приложения».
Пусть <2, <3 — psh-функции в CN функции, причем <3 (z) ^ <2(z) ^ ^i(z) при всех z € CN и (z) — ^fe+1(z) — при z — ж (k = 1, 2). При фиксированных А, а и ß положим
fiJJA := {z € CN : <(z) < <3(z) + аА}, О^ := {z € CN : <¿2(z) > <i(z) — ßA}.
Ясно, что О^3a и О в' A — относительно компактные открытые в CN множества.
Образуем максимальную psh-функцию ua , a,в в CN, которая не превосходит <3(z)+aA и <i(z) — ßA. Напомним, что ua , a,в — верхняя регуляризация функции
supju(z) : u — рвИв CN, u(f) < min {<3(£) + аА, < (f) — ßA} (V£ € CN)}.
Из определения функции UA,aß и множеств О^А и Ов'A следует, что UA,aß (z) ^ <2 (z) в Ов'' A ив дополнении Oa' a до всей плоскости. Назовем тройку <i, <2, <з (а, ß)-доnус-
тимой, если О в' A С О^ A Ясно, что это необходимое условие того, что ua , a, в (z) может превосходить <(z) в некоторых точках z. Назовем (а, ß)-допустимую тройку (а, ß)-сuлъ-но допустимой, если существует такие постоянные Ао > 0 и D > 0 и открытое множество О в' A С О с О a 3a, что при всех А ^ А0
<2(z + w) ^ UA ' a' в(z + w) + D, |w| ^ 1, z € 0О.
Перед формулировкой леммы о декомпозиции напомним еще, что в соответствии с определением из [10] функция < : CN называется р-медленно меняющейся, где р : CN — (0,1] — некоторая фиксированная функция, если имеется такая постоянная C0, что
|<(z) — <(w)| ^ C0 при всех |z — w| ^ p(z).
Лемма o декомпозиции. Для любой (а, ßj-сильно допустимой тройки <i, <2, <з psh р-медленно меняющихся функций, имеются такие C > 0 и г о, что
В{Щ) с С (raB(ipз) + (Vr ^ го),
гдеТр2{г) :=^2(z)-^log(l + |z|2), <pk(z) := <pk(z) + (N +1) log ^f, k = l,3. Другими словами, каждая функция / £ В(Тр2) при любом г ^ г о разлагается в сумму / = g + h двух целых функций, удовлетворяющих оценкам
C
\g(z)\ < Crae^(z\ \h(z)\ < z G CN.
< Утверждение леммы следует из леммы 2.1 работы [5] за счет процедуры перехода от интегральных оценок к равномерным. >
Весовые пространства Фреше целых функций задаются по убывающим последовательностям весов Ф = (<n)£=i равенством P(Ф) := E(<n) и наделяются топологией, определяемой нормами (| ■ Мы будем предполагать, что Ф разделена функцией
log , т. е. при некоторых постоянных Сп > 0
1 + Ы 2
tpn+1 (z) + log —-+-J- < <pn(z) + Cn, n e N, z G CN.
P(z)
Весовые пространства Фреше целых функций
5
В соответствии с [3, следствие 29.14] Е обладает инвариантом £1 (определение £1 см. в [3, с. 368]) в том и только в том случае, когда
С
(Ур)(Зд)(Уп)(ЗС >0) ВдСгВп + -Вр (Уг > 0),
где Б3 := {ж £ Е : ||ж||5 ^ 1} — единичный шар в Е, соответствующий норме У ■ ||5. Теперь мы готовы сформулировать основной результат работы.
Теорема. Пусть упорядоченная по убыванию весовая последовательность Ф разделена функцией (1 + |г|2)/р(г), состоит из р-медленно меняющихся psh-функций и для любого р £ N существует такое д £ N что при всех п £ N тройка <р, <, <п является (1/2,1/2)-сильно допустимой. Тогда Р(Ф) обладает свойством П.
< В самом деле, по лемме о декомпозиции имеются такие Ао > 0, С > 0 и го > 0, что
1
В силу разделенности Ф функцией (1 + |г|2)/р(г) отсюда следует, что и для исходных шаров выполнено подобное условие:
(Ур)(Зд)(Уп)(ЗАо,С,го>0) Б^сС^Ы + ^р)) (г>г0).
Поскольку мы можем считать без ограничения общности, что п > д > р, то Б (<п) С Б(<) С Б(<р). Поэтому, увеличив С должным образом, получим требуемое (см. выше) вложение
С
В((рд) С гВ((рп) + —В((рр), г > 0. >
Напомним еще, что пространство Фреше числовых последовательностей ж = (Ж; )£ 1 £ С^
Лг(а) := |ж £ См : ||ж||п := (|ж2|е2г"а^ ' < те (Vп £ ,
где гп | г < те, а = (а;)°=1 — возрастающая последовательность положительных чисел, называется пространством степенных рядов конечного типа. Ясно, что орты образуют в этом пространстве абсолютный базис. Класс всех пространств степенных рядов конечного типа образуют пространства, изоморфные Лг(а) (г < те).
Следствие. Пусть Ф удовлетворяет всем требованиям теоремы и дополнительно известно, что
(3 п) (Vт) (3 к) (3 а £ (0,1)) (3 С > 0) а<^(.г) + (1 - а)<к(г) < <т(г) + С (г £ С).
Тогда пространство Р(Ф) является пространством степенных рядов конечного типа и, в частности, обладает абсолютным базисом.
< В самом деле, по теореме пространство Р(Ф) обладает свойством Я, а условие (1) влечет в соответствии с результатами [8] наличие у него свойства (ДАО. Остается применить предложение 29.18 из [3], которое утверждает, что класс пространств степенных пространств конечного типа образуют пространства, обладающие инвариантами Я и (РЮ. >
^ (1)
Литература
1. Vogt D. Charakterisierung der Potenzreihenräume von endlichem Typ // Stud. Math.—1982.—Vol. 71.— P. 251-270.
2. Wagner M. J. Quotienten von stabilen Potenzreihenräumen endlichen Typs // Manuscripta Math.— 1980.—Vol. 31.—P. 269-301.
3. Meise R., Vogt D. Introduction to Functional Analysis.—New York: Oxford Univ. Press, 1997.—448 p.
4. Haslinger F. Weighted spaces of entire functions // Indiana Univ. Math. J.—1986.—Vol. 35, № 1.— P. 193-208.
5. Meise R., Taylor B. A. A decomposition lemma for entire functions and its applications to spaces of ultradifferentiable functions // Math. Nachr.—1989.—Vol. 142.—P. 45-72.
6. Tidten M. A geometric characterization for the property (DN) of S'(K) for arbitrary compact subset К of К // Arch. Math.-2001.-Vol. 77.-P. 247-252.
7. Ахтямов Н. Т., Мусин И. Х. О существовании базиса в весовом пространстве целых функций // Уфимский мат. журн.—2009.—Т. 1, № 1.—С. 3-15.
8. Абанин А. В., Сергунин П. С. Топологические инварианты весовых пространств голоморфных функций и их приложения // Порядковый анализ и смежные вопросы мат. моделирования: тез. докл. междунар. науч. конф. (Владикавказ, 14-20 июля 2013 г.).—Владикавказ: ЮМИ ВНЦ РАН и РСО-А, 2013.—С. 40-41.
9. Bierstedt K. D., Bonet J., Taskinen J. Associated weights and spaces of holomorphic functions // Stud. Math.—1998.—Vol. 127.—P. 137-168.
10. Abanin A. V., Pham Trong Tien. Continuation of holomorphic functions with growth conditions and some of its applications // Stud. Math.—2010.—Vol. 200, № 3.—P. 279-295.
Статья поступила 23 апреля 2013 г.
Абанин Александр Васильевич Южный федеральный университет, заведующий кафедрой математического анализа РОССИЯ, 344090, Ростов-на-Дону, ул. Мильчакова, 8 а; Южный математический институт ВНЦ РАН и РСО-А, заведующий отделом математического анализа РОССИЯ, 362027, Владикавказ, ул. Маркуса, 22 E-mail: [email protected]
Сергунин Павел Сергеевич Южный федеральный университет, ассистент кафедры математического анализа РОССИЯ, 344090, Ростов-на-Дону, ул. Мильчакова, 8 а E-mail: [email protected]
Фам Чонг Тиен
Южный федеральный университет, аспирант кафедры математического анализа РОССИЯ, 344090, Ростов-на-Дону, ул. Мильчакова, 8 а E-mail: [email protected]
WEIGHTED FRECHET SPACES OF ENTIRE FUNCTIONS FROM THE CLASS OF POWER SERIES SPACES OF FINITE TYPE
Abanin A. V., Sergunin P. S., Pham Trong Tien
We study weighted Frechet spaces of entire functions given by weighted sequences of a general kind. We obtain some sufficient conditions under which they have Vogt-Wagner topological invariants and thus belong to the class of power series spaces of finite type.
Key words: weighted spaces of entire functions, topological invariznts.
