CC BY
9
Владикавказский математический журнал 2012, Том 14, Выпуск 4, С. 5-9
УДК 517.547+517.982
ПРЕДСТАВЛЯЮЩИЕ СИСТЕМЫ ЭКСПОНЕНТ В ПРОСТРАНСТВАХ ГОЛОМОРФНЫХ ФУНКЦИЙ ЗАДАННОГО РОСТА ВБЛИЗИ ГРАНИЦЫ1
А. В. Абанин, В. А. Варзиев
Изучаются (ЬВ)-пространства голоморфных в выпуклой ограниченной области функций, имеющих при приближении к границе конечный тип при заданном порядке. С помощью преобразования Лапласа функционалов дано описание сопряженных пространств, получено описание и доказано существование минимальных абсолютно представляющих систем экспонент в них.
Ключевые слова: пространства голоморфных функций заданного роста, абсолютно представляющие системы, системы экспонент.
1. Введение
Пространства Фреше голоморфных в ограниченной области функций заданного роста вблизи границы и существование в них абсолютно представляющих систем экспонент (АПСЭ) изучались А. Ф. Леонтьевым [1], Р. С. Юлмухаметовым [2], В. В. Напалковым [3], Т. Белгхити [4], А. В. Абаниным [5]. При этом наибольший интерес представляют минимальные, в определенном смысле, АПСЭ (см. [1, 2, 5]). Двойственная ситуация (ЬВ)-пространств (т. е. внутренних индуктивных пределов последовательностей банаховых пространств) аналогичного типа вплоть до последнего времени не изучалась. Возможно, это было связано с тем, что для модельного (ЬВ)-пространства всех локально аналитических на выпуклом компакте функций не удается ввести понятие минимальной абсолютно представляющей системы экспонент. Недавно в работе А. В. Абанина, Ле Хай Хоя и Ю. С. Налбандян [6] для пространства А-Ж(Б) голоморфных в выпуклой ограниченной области функций полиномиального роста вблизи границы было установлено существование АПСЭ, которые перестают быть таковыми после отбрасывания любой, сколь угодно редкой, своей подпоследовательности. Заметим, что удаление любого конечного числа экспонент из произвольной АПСЭ в А-ж (Б) не приводит к потере ее свойства быть АПСЭ в А-Ж(Б).
В настоящей работе изучается вопрос о существовании и описании минимальных АПСЭ для (ЬВ)-пространства голоморфных в выпуклой ограниченной области функций, имеющих при приближении к границе конечный тип при заданном порядке. Исследование основано на подходящем описании сопряженного пространства с помощью преобразования Лапласа функционалов, использовании двойственной связи между АПСЭ и достаточными множествами и недавних результатах авторов о минимальных достаточных множествах в пространствах Фреше.
© 2012 Абанин А. В., Варзиев В. А.
1 Исследование выполнено при финансовой поддержке Министерства образования и науки Российской Федерации, соглашение № 8210.
2. Пространства заданного роста и их сопряженные
Пусть D — выпуклая ограниченная область в комплексной плоскости C, H(D) — пространство всех голоморфных в G функций. Через d(z) обозначим расстояние от z до границы dD области D. Для числа р € (0, ж) определим банаховы пространства
HP(D) := {f € H(D) : ||f ||„ := sup |f(z)|e-n/(d(z))P < ж) (n € N
zeD >
и образуем по ним (ЬВ)-пространство
HP(D) := U HP(D),
n=1
наделенное топологией внутреннего индуктивного предела пространств Hp(D). Оно относится к классу ^.Рб^-пространств и называется пространством голоморфных в области функций, имеющих при приближении к границе конечный тип при порядке р.
Сопряженное с ним пространство описывается следующим образом. Пусть р* := — сопряженный с р порядок. Определим по нему пространство Фреше целых функций
HD* (C) := {g € H(C) : |g|n := -p Jgg' ,* < ж} ,
топология в котором задана набором норм (| ■ |n)neN. Здесь и далее H(Z) := supzeD RezZ — опорная функция области D.
Теорема 1. Преобразование Лапласа функционалов
^ #С):= ^(eZz) (Z € C)
устанавливает топологический изоморфизм между сильным сопряженным с HP(D) пространством (Hp(D))b и HD* (C).
< Доказательство проводится по схеме работы [7] с некоторыми упрощениями, предложенными в [8] при изучении многомерной ситуации. В связи с этим выделим здесь лишь его узловые моменты, опустив технические детали. Наибольшую трудность составляет проверка сюръектив-ности оператора преобразования Лапласа.
Итак, пусть g — фиксированная функция из HD (C). Образуем ассоциированную с ней по Борелю функцию G(Z) := s=1 k! gkZ-k-1, где gk — тейлоровские коэффициенты g. Из принадлежности g пространству HD (C) выводим, что G голоморфна в дополнении Dc области D до расширенной комплексной плоскости, исчезает в бесконечности (G(j) = 0) и бесконечно дифференцируема вплоть до границы dDc = dD. Более того, как бесконечно дифференцируемая в вещественном смысле в Dc функция она принадлежит классу Жевре порядка 1/р*, т. е.
|G(k) (Z )|
sup sup m/_*, k < ж при всех h > 0. (1)
keNo сeDc (k!)1/p hk
Тогда в соответствии с аналогом теоремы Уитни (см. [9, теорема 4.5]) G продолжается до бесконечно дифференцируемой в R2 функции G с сохранением оценки (1) во всем R2. Определим линейный функционал
^(f) := ä hif (tZ)G(Z) dZ. dD
Использовав продолжение С? и формулу Грина, получаем отсюда, что — элемент (Ир(О))'. Применив еще теорему Полиа (см., например, [10, теорема 5.2]), заключаем, что = $. Таким образом, оператор преобразования Лапласа действует из (Ир(.О))' на И^ (С), что и требовалось проверить. >
3. Минимальные абсолютно представляющие системы экспонент
Применим теорему 1 к исследованию задачи об описании и существовании минимальных АПСЭ в пространстве Нр(О). Нам потребуются для этого некоторые дополнительные понятия и результаты.
Следуя Л. Эренпрайсу [11], назовем подмножество 5 комплексной плоскости достаточным
л*
для Нр (С), если набор преднорм
^ ея(0-п|С|р* €
задает в Нр (С) исходную топологию. Пусть Л = (Ак)Ж=1 — последовательность комплексных чисел с единственной предельной точкой на бесконечности. В соответствии с общим определением Ю. Ф. Коробейника (см. [12, с. 74]) система экспонент ЕЛ := (еАкгназывается АПСЭ в Нр(О), если любую функцию I из Нр(О) можно представить в виде суммы ряда
I(г) = Ске
Хк г
ск е
к=1
абсолютно сходящегося в Нр(О). Из теоремы 1 и критерия Ю. Ф. Коробейника для абсолютно представляющих систем в (ОЕБ) пространствах [12, теорема 7, с. 84] выводим следующий результат.
Теорема 2. Для того чтобы система ЕЛ := (еАкгбыла абсолютно представляющей в Нр(О), необходимо и достаточно, чтобы Л было достаточным для Нр (С) множеством.
Эта теорема позволяет применить результаты общего характера о достаточных множествах в пространствах Фреше, установленные нами в работе [13]. В частности, из теоремы 3.5, предложения 4.8 и теоремы 5.1 этой работы после проверки их предварительных условий в нашем конкретном случае, следует такой результат.
Теорема 3. Пусть Ь — целая функция, имеющая в точках последовательности Л простые нули и других нулей у нее нет. Предположим, что Ь обладает такими свойствами:
(3 С> 0) (3 по € N 1п |Ь(г)| < Н(г) + по|г|р* + С (г € С); (2)
имеются номер то € N и окружности {г € С : |г| = гт} с гт | такие, что
1п |Ь(г)| ^ т + Н(г) - т0^|р*, |г| = гт, т = 1, 2,..., (3)
и, наконец, существует такая нетривиальная целая функция А конечного типа при порядке р*, что
Иш эир —1-7 ( 1п
к^ж ^к |р
А(Ак)
Ь'(Ак)
+ Н(Ак) < (4)
Тогда Л — достаточное для Нр (С) множество.
Теперь мы готовы сформулировать основной результат работы.
Теорема 4. Пусть Ь — целая функция, удовлетворяющая оценке (2), имеющая в точках последовательности Л и только в них простые нули. Для того чтобы система экспонент Ел была АПСЭ в Нр(О), необходимо и достаточно, чтобы для нее выполнялись условия (3) и (4).
< Достаточность следует непосредственно из предыдущей теоремы.
Необходимость доказывается по схеме из [6] и [12]. Именно, из того, что Ел является АПСЭ в Нр(О), следует, что она допускает нетривиальное разложение нуля
]Г«к еАк г =0, к=1
абсолютно сходящееся в Ир (О) (здесь хотя бы один коэффициент а к отличен от нуля). Это следует, например, из теоремы 2 и результатов [13], в соответствии с которыми достаточные множества в пространствах Фреше, инвариантных относительно умножения на независимую переменную, заведомо переполнены — из них можно отбросить любое конечное число точек, не утратив свойства множества быть достаточным.
Наличие нетривиального разложения нуля влечет (см. доказательство теоремы 2 на с. 106 в [12] и теоремы 1.2 в [6]) существование такой целой функции О, что
А(Л)еА2 ак-Ь(Л), г € О, Л € С.
к=1 Л - Лк
Оценивая норму еАг в Ир(О), выводим из этого разложения, что функция А имеет конечный тип при порядке р*. Отсюда, использовав разложение вновь и применив классические результаты из теории целых функций, получаем выполнение условий (3) и (4). >
Отметим, что оценку (2) функции Ь сверху нельзя заменить на более сильную (V п € М) (3 С> 0) 1п |Ь(Л)| < И (г) - п|г|р* + С (г € С).
В самом деле, тогда бы Ь принадлежала пространству И^ (С), и ее нули не могли бы составлять достаточное для этого пространства множество (поскольку всякое достаточное множество является множеством единственности для соответствующего пространства).
В заключение отметим, что из результатов Р. С. Юлмухаметова [14] об аппроксимации субгармонических функций логарифмами модулей целых следует существование целой функции Ь, удовлетворяющей всем условиям теорем 3 и 4.
Литература
1. Леонтьев А. Ф. Ряды экспонент для функций с определенным ростом вблизи границы // Изв. АН СССР. Сер. мат.—1980.—Т. 44, № 6.—С. 1308-1328.
2. Юлмухаметов Р. С. Достаточные множества в одном классе пространств целых функций // Мат. сб.—1981.—Т. 116, № 3.—С. 427-439.
3. Напалков В. В. Пространства аналитических функций заданного роста вблизи границы // Изв. АН СССР. Сер. мат.—1987.—Т. 51, № 2.—С. 287-305.
4. Belghiti T. Espaces de fonctions holomorphes a poids // C. R. Acad. Sci. Paris, Ser. I.—1994.— Vol. 318.—P. 619-622.
5. Абанин А. В. Нетривиальные разложения нуля и абсолютно представляющие системы // Мат. заметки.—1995.—Т. 57, № 4.—С. 483-497.
6. Abanin A. V., Le Hai Khoi, Nalbandyan Yu. S. Minimal absolutely representing systems of exponentials for (fi) // J. Approx. Theory.—2011.—Vol. 163.—P. 1534-1545.
7. Melikhov S. N. (DFS)-spaces of holomorphic functions invariant under differentiation // J. Math. Anal. Appl.—2004.—Vol. 297.— P. 577-586.
8. Abanin A. V., Le Hai Khoi. Dual of the function algebra (D) and representation of functions in Dirichlet series // Proc. Amer. Math. Soc.—2010.—Vol. 138.—P. 3623-3635.
9. Bonet J., Braun R. W., Meise R., Taylor B. A. Whitney's extension theorem for nonquasianalytic classes of ultradifferentiable functions // Studia Math.—1991.—Vol. 99.—P. 155-184.
10. Леонтьев А. Ф. Целые функции. Ряды экспонент.—М.: Наука, 1983.—176 с.
11. Ehrenpreis L. Fourier analysis in several complex variables.—New York: Wiley-Interscience Publishers, 1970.—506 p.—(Pure and Appl. Math. Vol. 17).
12. Коробейник Ю. Ф. Представляющие системы // Успехи мат. наук.—1981.—Т. 36, № 1.—С. 73-126.
13. Абанин А. В., Варзиев В. А. Достаточные множества в весовых пространствах Фреше целых функций // Сиб. мат. журн.—(В печати).
14. Юлмухаметов Р. С. Приближение субгармонических функций // Мат. сб.—1984.—Т. 124, № 3.— С. 393-415.
Статья поступила 5 ноября 2012 г.
Абанин Александр Васильевич Южный федеральный университет, зав. кафедрой математического анализа РОССИЯ, 344090, Ростов-на-Дону, ул. Мильчакова, 8а; Южный математический институт ВНЦ РАН и РСО-А, зав. отделом математического анализа РОССИЯ, 362027, Владикавказ, ул. Маркуса, 22 E-mail: abanin@math.rsu.ru
Варзиев Владислав Аликович
Южный математический институт ВНЦ РАН и РСО-А, младший науч. сотрудник отдела математического анализа РОССИЯ, 362027, Владикавказ, ул. Маркуса, 22 E-mail: varzi@yandex.ru
REPRESENTING SYSTEMS OF EXPONENTIAL FUNCTIONS IN SPACES OF HOLOMORPHIC FUNCTIONS WITH GIVEN GROWTH NEAR BOUNDARY
Abanin A. V., Varziev V. A.
We consider (LB) spaces of functions which are holomorphic in a convex domain and have a finite type with respect to an order near its boundary. Using Laplace transformation, we give a description of their duals. Then we characterize mimimal absolutely representing systems of exponential functions in these spaces and prove that they always exist.
Key words: spaces of holomorphic functions with a given growth, absolutely representing systems, systems of exponential functions.
