О мультипликаторах пространства целых функций, задаваемого нерадиальным двучленным весом Текст научной статьи по специальности «Математика»

Владикавказский математический журнал 2008, Том 10, выпуск 4, С. 10-16

УДК 517.547.2+517.982

О МУЛЬТИПЛИКАТОРАХ ПРОСТРАНСТВА ЦЕЛЫХ ФУНКЦИЙ, ЗАДАВАЕМОГО НЕРАДИАЛЬНЫМ ДВУЧЛЕННЫМ ВЕСОМ

А. В. Абанин

Посвящается столетию со дня рождения академика С. Л. Соболева

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

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

1. Введение

Пусть и и V — неотрицательные возрастающие на [0, то) функции, растущие на бесконечности быстрее 1пЬ. Полагаем и(г) : = и(|г|) при всех г £ С и v(x) : = V(|ж|) при всех х £ Ж. По и и V и числам г и в из (0, то) определим банахово пространство целых в С функций

: = {/ £ н(С) : ||/1|„ : = 8Щ> ^^(:ш,) < <»} .

При фиксированных р и д из (0, то] введем линейное пространство

НР'9 : = I I н

г<р, з<<2

и наделим его топологией внутреннего индуктивного предела семейства |Нги>5! : г < р,

в < д}.

Пространства такого вида играют значительную роль в теории распределений Шварца, ее обобщениях и приложениях. Это связано с тем, что для ряда пространств Фреше Е бесконечно дифференцируемых функций преобразование Фурье — Лапласа функционалов

& : р £ Е -—► р(г) : = р(е-^), г £ С,

устанавливает топологический изоморфизм между сильным сопряженным с Е пространством Е^ и Нр,'$ при подходящем выборе и, V, р и д. В частности, при и(Ь) = 1п(1 + Ь), v(t) = Ь и р = д = то последнее утверждение следует из теоремы Пэли — Винера — Шварца, а для других и, V, р и д из ее аналогов [1-6].

© 2008 Абанин А. В.

О т т О©, ОО г

Заметим, что при р = д = то пространство Н^Ь является алгеброй относительно операций поточечного сложения и умножения функций. Поэтому для НЦ^имеет смысл исследовать задачу об описании замкнутых главных идеалов. Напомним, что главным идеалом этой алгебры, натянутым на элемент ^ £ называется идеал вида /и : = {/ : / £ НЦ^^}. В радиальном случае, когда и = V, каждый главный идеал замкнут в [7, предложение 4]. При отказе от радиальности последнее утверждение не всегда верно. Поэтому имеет смысл рассмотреть задачу об описании всех замкнутых

Яоо, оо

и,Ь при условии, когда имеется существенная нерадиальность, состоящая в предположении, что и(Ь) = о^(Ь)) при Ь ^ то. Она рассматривалась Л. Эренпрайсом [8], Р. Майзе, Б. А. Тейлором и Д. Фогтом [9] для конкретных и и = Ь. Наиболее общие результаты были получены З. Моммом в [10]. Он дал полное описание замкнутых главных идеалов алгебры при условии, что V — выпуклая на [0, то) функция, и что на бесконечности имеют место следующие асимптотические равенства:

1п Ь = о(и(Ь)); (1)

и(2Ь) = 0(и(Ь)); (2)

v(2i) = ОИЬ)); (3)

и(Ь) = о^)). (4)

В настоящей работе при тех же ограничениях, что и в [10], и дополнительном требовании о том, что и(ех) — выпуклая на Ж функция, исследуются те же, что и в [10], вопросы для пространства НЦ^9, где 0 < д < то. Это пространство уже не является алгеброй. Поэтому аналог задачи о главных идеалах выглядит для него следующим образом. Рассмотрим оператор Л^ : / ^ / умножения на фиксированную целую функцию Требуется установить, когда образ пространства Н^9 относительно отображения Л^ замкнут в Н^9. Ясно, что прежде, чем изучать замкнутость ^ ■ НЦ^9, следует дать описание всех тех целых функций для которых ^-Н^9 С НЦ^9 (другими словами, мультипликаторов НЦ^9). Именно этим двум вопросам и посвящено основное содержание работы. Кроме того, приводятся приложения к задаче о сюръективности оператора свертки в пространствах ультрадифференцируемых на интервале функций типа Берлинга.

2. Пространства

Отметим некоторые нужные для последующих доказательств свойства пространств (всюду q < то). Из того, что u(t) ^ то и v(t) ^ то при t ^ то стандартным образом следует, что если ri < Г2 и si < S2, то Hriu,siv компактно вложено в Hr2U,s2V. Ясно также, что в задании пространства HU,'q и топологии в нем при произвольных p и q можно ограничиться произвольными последовательностями (rn)£=i и (sn)£=i, возрастая стремящимися к p и q соответственно. Поэтому Hp;'q и, в частности, H^Vq по топологической структуре является (БРВ)-пространством, т. е. сильным сопряженным к пространству класса Фреше — Шварца (по поводу (БРВ)-пространств см. [11]). Заметим еще, что из условий (2) и (4) следует, что в определении HU^Vq вместо Hru,sv можно взять пространства

Hru,sv : = {/ G H(C) : |f |ru,sv : = sup ^(IffcLz) < то} •

В самом деле, положим —Ц'^ := II НГи ^ и наделим это линейное простран-

ство топологией внутреннего индуктивного предела семейства банаховых пространств {-—то, ^ : г < р, 5 < д}. Так как и возрастает, то и(Яег) ^ и(г) при всех г £ С. Поэтому —то,™ ^ —г«,^ — символ непрерывного вложения). Тем более, —^ Н/Ц'? для произвольных р и д из (0, то]. Далее, пусть г< то и 5 < д < то. В силу возрастания и и условия (2) найдется такое п, г < Г1 < то, что при всех г £ С

ги(г) ^ ги(| Яег| + 11тг|) ^ ги(2тах(| И,ег|, 11тг|)) ^ г1(и(тах(| И,ег|, 11тг|)) + 1) ^ г1(п(Кег) + и(1тг) + 1).

Возьмем 51 так, чтобы 5 < 51 < д. Из (4) следует, что существует такое С > 0, что и(£) ^ + С при всех £ ^ 0. Тогда для любых г £ С

ги(г) + 5г>(1тг) ^ п1(Кег) + 51^(1тг) + (С + 1)г1.

Поэтому |/^ е(с+1)г1 ||/для произвольной целой функции /. Значит, -Нго'^ ^ . Отсюда следует, что ^ Н^9, откуда заключаем окончательно,

совпадает с -Н«^ поэлементно и топологически.

3. Мультипликаторы

Напомним, что целая функция ß называется мультипликатором некоторого множества H целых функций, если ß ■ H С H, где ß ■ H : = {ßf : f G H}. Класс всех мультипликаторов H обозначим символом M(H). В случае, когда дополнительно известно, что H — локально выпуклое пространство, мультипликатор ß называется непрерывным, если оператор умножения Л^ действует непрерывно из H в H. Нетрудно видеть, что если при этом топология H мажорирует топологию поточечной сходимости в C, для H имеет место теорема о замкнутом графике и H является ультраборнологическим пространством, то каждый мультипликатор H будет непрерывным. Действительно, пусть сеть (fa,ßfa)agA сходится в H х H к элементу (f,g). Тогда, так как топология H мажорирует топологию поточечной сходимости в C, то

g(z) = lim ß(z) fa (z) = ß(z) f (z) V z G C.

a

Значит, график оператора Л^ замкнут. Из того, что топология H мажорирует топологию поточечной сходимости в C, следует еще, что H отделимо. Таким образом, Л^ — линейный оператор, действующий из пространства H, для которого по предположению справедлива теорема о замкнутом графике, в отделимое ультраборнологическое пространство H и имеющий замкнутый график. Поэтому Л^ : H ^ H непрерывен.

Вернемся к пространствам вида Hp,q. Легко видеть, что топология Hp,q мажорирует топологию поточечной сходимости в C. Кроме того, Hp'q ультраборнологично как индуктивный предел семейства банаховых пространств. А так как оно, как отмечено выше, является внутренним индуктивным пределом последовательности банаховых пространств, то для него по теореме Гротендика [12, с. 230] справедлива теорема о замкнутом графике. Поэтому каждый мультипликатор пространства Hp'V при любых p и q непрерывен. Последнее позволяет нам применить результаты из [13] об описании пространств непрерывных мультипликаторов индуктивных пределов последовательностей банаховых пространств. Нам потребуется следующая лемма.

Лемма. Пусть v — неотрицательная неубывающая выпуклая на [0, то) функция, для которой выполнено условие (3). Тогда

v(t +1)= v(i)(l + O^), t (5)

и, тем более,

lim VCt+H = 1.

v(t)

< Из выпуклости V на [0, то) следует, что

/ч v(2t) - v(í)

v(í + 1) - v(í) < —— V£ ^ 1. Воспользовавшись (3), имеем при некотором С > 0, что

v(i + 1) < v(í) + С^ + С V£ ^ 1.

Учитывая неубывание v, получаем отсюда (5). >

Предложение 1. Пусть и и v — неотрицательные неубывающие на [0, то) функции, v выпукла на [0, то), и(ех) выпукла на Ж и выполнены условия (1)—(4). Тогда при любом д £ (0, то)

M(H~v,q) = П U н™,-.

е>0 r>0

< В соответствии с отмеченным выше —= при любом д £ (0, то), причем

Яте, Я

и,у совпадает с топологией внутреннего индуктивного предела последовательности банаховых пространств (нпи, (д-д/п)^ . Далее, заметим, что из выпуклости

V ' /п=1

v и выпуклости и неубывания и(ех) следует [14, утверждение б) на с. 63 и теорема 2.1.2], что функции v(Imг) и и(г) субгармоничны в С. Поэтому и функции

wn(z) : = nu(z) + ^q — — j v(Imz)

д

П

субгармоничны в С при любом п. При этом, для всех г из С с |г| ^ 1 имеем

Wj(z) : = sup w„(z + Z) ^ nu(2|z|) + (q — — ) v(| Im z| + 1). |CKi v nJ

Отсюда, учитывая (1), (2) и (5), получаем, что существуют такие m > n и C > 0, что

wn(z) + 2ln(1 + |z|2) < mu(z) + ^q — mlv(Imz) + C Vz G C.

Тогда в соответствии с предложением 5 из [13] пространство или, что то же самое,

является густым (см. в связи с этим уточнение в [15] леммы 1 А. В. Абанина из [13], на которую опирается доказательство предложения 5 в [13]). Отсюда по предложению 4 из [13] (с учетом отмеченной выше непрерывности мультипликаторов из ) за-

ключаем, что

M) = J^ G Н(C) : (Vn) (3 m) sup |^(z)|e(n-m)u(z)+(mm-n)v(Imz) < =: M.

I zee J

Легко видеть, что M = П£>o Ur>0 Hru,ev, откуда следует требуемое. >

4. Оператор умножения

Приведем функциональный критерий того, что для данного нетривиального мультипликатора ^ из подпространство ^ ■ НЦ^ замкнуто в НЦ^.

Предложение 2. Пусть ^ — нетривиальный мультипликатор из М(НЦ^). Подпространство ^ ■ НЦ^ замкнуто в НЦ^ в том и только в том случае, когда для любых r £ (0, то) и s £ (0, q) существуют такие п £ (0, то), s1 £ (0, q) и C > 0, что

sup-J^1 (T ) < Csup ^ffi^ ) Vf £ H|°Vq. (6)

C gri«(Hez)+siv(Tmz) zgC e^u^z)+sv(Tmz) J u> v 4 7

< Как отмечено выше, оператор умножения Л^ действует непрерывно из НЦ^ в НЦ^. Кроме того, он инъективен в силу теоремы единственности аналитических функций. Таким образом, при наделении образа ^ ■ НЦ^ индуцированной из топологией Л^ : НЦ^ ^ ^ ■ НЦ^ — линейный непрерывный биективный оператор.

Так как НЦ^ — (БРВ)-пространство, то ^ ■ НЦ^ — замкнутое подпространство в

ЯОО,Я ттОО, q ттОО,»

в том и только в том случае, когда индуцированная в ^ ■ из топология

совпадает в нем с топологией внутреннего индуктивного предела семейства ■ HrU)SV : r < то, s < q}. По тем же соображениям, что и для H|°Vq, пространство ind sv

' r<ro,s<q '

относится к классу (БРВ)-пространств.

Из сказанного с помощью уже упоминавшейся выше теоремы Гротендика следует,

ЯОО,Я ттОО,» Л ттОО, q ттОО,»

v замкнуто в V тогда и только тогда, когда Л^ : V ^ ^ ■ V — топологический изоморфизм, что равносильно непрерывности обратного к Л^ оператора Л-1. В свою очередь, непрерывность Л-1 : ind ^ ■ Hru sv ^ ind Hru sv в силу

^ ^ r<ro,s<q ' r<ro,s<q '

факторизационной теоремы Гротендика [16, теорема 6.5.1] эквивалентна (6) (здесь ис-

Яго, q

и топологии в нем можно ограничиться произвольными последовательностями (гп)ГО=1 и (sn)ro=1 с rn | то и sn | q).

Из предложения 2 и отмеченной в § 2 возможности замены u(Re z) на u(z) в опре-

Яго, q

u,v и топологии в нем получаем такое полезное в приложениях

следствие.

Следствие. Пусть ^ — нетривиальный мультипликатор из M(HroVq). Подпространство ^ ■ замкнуто в М^Ц^) в том и только в том случае, когда для любых r £ (0, то) и s £ (0, q) существуют такие r1 £ (0, то), s1 £ (0, q) и C > 0, что

sup lfiz)l ) < Csup Vf £ я-q. (7)

zgC erlu(z)+siv(Tmz) zgC e™(z)+sv(Tmz) J u> v x 7

5. Оператор свертки

Пусть ш : [0, то) ^ [0, то) — неубывающая на [0, то) функция, для которой

1п£ = о(ш(£)), ш(2£) = о(ш(£)), ш(£) = о(£) при £ ^ то.

Кроме того, предполагаем, что функция (ж) := ш(ех) выпукла на Ж. Полагаем (у) := 8ирх^0(жу — (ж)) при любом у ^ 0 ( — сопряженная с по Юнгу функция). Возьмем д £ (0, то) и рассмотрим пространство Е(ш)(—д, д) всех бесконечно дифференцируемых на интервале (—комплекснозначных функций /, для которых

I /(к) (Ж)1

: = sup sup --^ < то V п £ N.

Наделим Е(()(-д, д) топологией, задаваемой набором преднорм (|| ■ ||п)^=1, вместе с которой оно является пространством Фреше — Шварца ((РЯ)-пространством). Элементы Е(ш)(-д, д) называются ультрадифференцируемыми на (—д,д) функциями типа Берлин-га. Заметим, что мы не требуем неквазианалитичности класса Е(() (—д, д).

Из [6, теорема 6.5.1] следует, что преобразование Фурье — Лапласа функционалов устанавливает топологический изоморфизм между сильным сопряженным с Е(()(-д, д) пространством Е(()(-д, д) и пространством —, где и(£) : = и(£) и v(t) = для которого будем использовать специальное обозначение . Ясно, что для данных и и v выполнены все предположения, перечисленные во введении.

Зафиксируем произвольный нетривиальный мультипликатор ^ пространства . Из предложения 1 следует, что М(Д() = Пе>0 —(. Заметим, что —( С при любом е £ (0, д). Отсюда за счет стандартных рассуждений следует, что если обозначить через ^ функционал из Е(() (—д, д), преобразование Фурье — Лапласа которого совпадает с то правило

/ £ Е(()(-д, д) (Тм/)(ж) : = /(ж + •))

определяет линейный непрерывный оператор из Е(5)(-д, д) в Е(5)(-д, д), который называется оператором свертки, порожденным мультипликатором При этом, сопряженный с Т^ оператор Т^ отождествляется с оператором умножения Л^ : —9 ^ . Поскольку Лм инъективен, то Т^(Е(() (-д, д)) плотно в Е(5)(-д, д). В силу общих результатов теории двойственности [16, теорема 8.6.13] заключаем тогда, что оператор Ти : Е(5)(-д, д) ^ Е(5)(-д, д) сюръективен в том и только в том случае, когда подпространство ЛД—,) замкнуто в —9. Таким образом, использовав предложение 2 и следствие из него, приходим к следующему результату.

Предложение 3. Пусть и удовлетворяет предположениям, приведенным в начале текущего параграфа, и ^ — фиксированный нетривиальный мультипликатор пространства . Для того чтобы уравнение Т^(/) = д имело решение / £ Е(() (-д, д) для любой правой части д £ Е(5)(-д, д), необходимо и достаточно, чтобы для ^ выполнялось условие (6) или, что то же самое, (7).

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

1) Представляет интерес геометрическая характеризация поведения тех нетривиаль-

Я00,0 7-7-00,0'

и,г, для которых подпространство ^ ■ йи,, замкнуто в —и^г)0. В случае пространства —и^гтакая характеризация была дана в [10]. Отметим в связи с этим, что в [17] была получена новая интерпретация основного результата из [10].

2) Напомним, что отличная от тождественного нуля целая функция ^ называется делителем класса — целых функций, если справедлива импликация

/ £ - £ — (С) - £

Стандартно устанавливается, что для всякого делителя ^ пространства —Ц^г0 подпространство ^ ■ —и, г замкнуто в —и, г .

Поэтому условие (6), приведенное в предложении 2 (или (7) в следствии из него) является необходимым для того, чтобы ^ была делителем . Спрашивается, верно ли обратное? Отметим, что из геометрической

характеризации З. Момма в [10] в качестве побочного вывода следует, что это так для главных идеалов алгебры Альтернативный [10] более прямой путь состо-

ит в проверке того, что подпространство {^p : p — полином} плотно в пространстве

G HU^V : / — целая функция} (по этому поводу см., например, [18]).

3) В работе [4] рассматривались пространства E бесконечно дифференцируемых на вещественной оси функций, задаваемые с помощью оценки всех производных через некоторую весовую последовательность положительных чисел и весовую функцию, ограничивающую рост этих производных на бесконечности. С помощью преобразования Фурье — Лапласа функционалов была получена реализация H сопряженного пространства E', которая представляет собой пространство целых функций, задаваемое последовательностью двучленных весов. В качестве приложений были получены достаточные условия сюръективности оператора свертки в исходном пространстве E. Следует отметить, что пространства H из [4] и H-U'V не совпадают ни при каких u, v, p и q.

Литература

1. Bjorck G. Linear partial differential operators and generalized distributions // Ark. Mat.—1966.— Vol. 6.—P. 351-407.

2. Komatsu H. Ultradistributions, I. Structure theorems and a characterization // J. Fac. Sci. Univ. Tokyo. Sec. IA, Math.—1973.—Vol. 20, № 1.—P. 25-105.

3. Braun R. W., Meise R., Taylor B. A. Ultradifferentiable functions and Fourier analysis // Results Math.—1990.—Vol. 17.—P. 206-237.

4. Мусин И. Х. О преобразовании Фурье — Лапласа функционалов на весовом пространстве бесконечно дифференцируемых функций // Мат. сб.—2000.—Т. 191, № 10.—С. 57-86.

5. Абанин А. В., Филипьев И. А. Аналитическая реализация пространств, сопряженных к пространству бесконечно дифференцируемых функций // Сиб. мат. журн.—2006.—Т. 47, № 3.—С. 485-500.

6. Абанин А. В. Ультрадифференцируемые функции и ультрараспределения.—М.: Наука, 2007.— 222 с.

7. Berenstein C., Taylor B. A. A new look at interpolation theory for entire functions of one variable // Adv. Math.—1979.—Vol. 33.—P. 109-143.

8. Ehrenpreis L. Solutions of some problems of division. IV // Amer. J. Math.—1960.—Vol. 82.—P. 522-588.

9. Meise R., Taylor B. A., Vogt D. Equivalence of slowly decreasing conditions and local Fourier expansions // Indiana Univ. Math. J.—1987.—Vol. 36, № 4.—P. 729-756.

10. Momm S. Closed principal ideals in nonradial Hormander algebras // Arch. Math.—1992.—Vol. 58.— P. 47-55.

11. Жаринов В. В. Компактные семейства ЛВП и пространства FS и DFS // Успехи мат. наук.— 1979.—Т. 34, № 4.—С. 97-131.

12. Робертсон А. П., Робертсон В. Дж. Топологические векторные пространства.—M.: Мир, 1967.— 258 с.

13. Коробейник Ю. Ф. О мультипликаторах весовых функциональных пространств // Anal. Math.— 1989.—Т. 15, № 2.—С. 105-114.

14. Ронкин Л. И. Введение в теорию целых функций многих переменных.—M.: Наука, 1971.—432 с.

15. Абанин А. В. Густые пространства и аналитические мультипликаторы // Изв. вузов. Сев.-Кав. регион. Естеств. науки.—1994.—№ 4.—С. 3-10.

16. Эдвардс Р. Функциональный анализ.—M.: Мир, 1969.—1072 с.

17. Абанин А. В., Андреев А. В. Функции регулярного роста для хермандеровских алгебр целых функций, порожденных нерадиальным весом // В сб.: Исследования по современному анализу и математическому моделированию.—Владикавказ: ВНЦ РАН и РСО-А.—2008.—С. 7-11.

18. Епифанов О. В. Разрешимость уравнения свертки в выпуклых областях // Мат. заметки.—1974.— Т. 15, № 5.—С. 787-796.

Статья поступила 22 сентября 2008 г.

Абанин Александр Васильевич

Южный федеральный университет, зав. каф. мат. ан.

РОССИЯ, 344090, г. Ростов-на-Дону, ул. Мильчакова, 8-А

Институт прикладной математики и информатики ВНЦ РАН, вед. научн. сотр.

РОССИЯ, 362027, Владикавказ, ул. Маркуса, 22

E-mail: abanin@math.rsu.ru