CC BY
7
Владикавказский математический журнал 2013, Том 15, Выпуск 3, С. 37-44
УДК 517.982+517.547
ЛИНЕЙНЫЙ НЕПРЕРЫВНЫЙ ПРАВЫЙ ОБРАТНЫЙ К ОПЕРАТОРУ ПРЕДСТАВЛЕНИЯ В (ЬБ)-ПРОСТРАНСТВАХ
В. А. Варзиев
Изучается вопрос существования линейного непрерывного правого обратного к операторам представления в (ЬВ)-пространствах. Получены достаточные условия существования таких операторов для представлений по дельта-функциям в пространствах, сопряженных с весовыми пространствами Фреше целых функций. Сформулированы условия, при которых полученные результаты могут быть использованы для представлений по системам обобщенных экспонент. В основе исследования лежит метод, предложенный ранее для двойственной ситуации С. Н. Мелиховым, и предшествующие работы А. В. Абанина и автора по достаточным множествам в весовых пространствах Фреше целых функций и существованию линейного непрерывного левого обратного у соответствующего оператора сужения.
Ключевые слова: весовые пространства, абсолютно представляющие системы экспонент, линейный непрерывный правый/левый обратный.
1. Введение
В работах А. Ф. Леонтьева, Ю. Ф. Коробейника и многих других математиков (см. [1-4] и библиографию в них) широко изучались задачи представления функций рядами экспонент и их обобщений. К настоящему времени с наибольшей полнотой исследован случай пространств Фреше. В статье С. Н. Мелихова [5] было показано, что при подходящей реализации сопряженного пространства к пространству Фреше с помощью преобразования Лапласа эти задачи можно рассматривать как задачи представления функционалов рядами по дельта-функциям. При этом оператор представления такими рядами является сопряженным к оператору сужения в соответствующей реализации сопряженного пространства как весового (ЬБ)-пространства целых функций и, таким образом, существование линейного непрерывного правого обратного (ЛНПО) у оператора представления в пространствах Фреше (т. е. возможности линейно и непрерывно находить коэффициенты разложения в зависимости от разлагаемой функции) сводится к вопросу о существовании линейного непрерывного левого обратного (ЛНЛО) у оператора сужения в весовых (ЬБ)-пространствах целых функций.
В настоящей работе исследуется двойственная задача, когда разложения берутся в (ЬБ)-пространствах, а оператор сужения рассматривается в весовых пространствах Фреше целых функций. Отправляясь от методов упомянутой выше работы [5], мы существенно опираемся на статьи [6] и [7], в которых была развита техника исследования
© 2013 Варзиев В. А.
1 Исследование выполнено при финансовой поддержке Министерства образования и науки Российской Федерации, соглашения № 14.А18.21.0356 и № 8210, а также гранта ЮФУ «Весовые пространства бесконечно дифференцируемых функций. Общая теория и приложения», проект № 213.01-24/2013-63.
минимальных достаточных множеств в весовых пространствах Фреше целых функций и задачи о существовании ЛНЛО у соответствующего оператора сужения. Эта техника, основанная на привлечении канонических весовых последовательностей (см. [8] и [9]), позволяет избавляться от ряда существенных ограничений, которые налагались в статье [5].
Структура работы такова. Во втором параграфе изучается вопрос о сходимости рядов по дельта-функциям и дается описание соответствующего коэффициентного пространства. В следующем, третьем, параграфе рассматривается задача о наличии ЛНПО у оператора представления, построенного по данной последовательности дельта-функций. В заключительном, четвертом, параграфе излагается общая схема применения полученных результатов к проблеме существования ЛНПО у оператора представления рядами по обобщенным системам экспонент в (LB)-пространствах и формулируется соответствующий результат, который является основным в работе и имеет широкие возможности применения.
2. Ряды по дельта-функциям
Начнем с необходимых для дальнейшего изложения определений и обозначений. Рассмотрим последовательность Ф := (^>n)n6N непрерывных функций (весов) ^>n : C ^ R, n Е N, направленную влево по подчинению, т. е.
(Vn Е N)(3 Cn) ^n+i(z) ^ ^n(z) + Cn (z Е C).
Образуем по ней весовое пространство Фреше P(Ф) = П^°=1 E(^n), где
ЕШ ■= {/ € Я (С) : H/IU := sup^j < ^ j
— соответствующее ^n банахово пространство.
Сопряженное с P(Ф) пространство Р;(Ф), очевидно, имеет вид P7(Ф) = U^=1 Pn(Ф), где P'n(Ф) := {v : v — линейный функционал на P(Ф) c ||v\\'ipn < то} — банахово пространство с нормой
llv\\'pn = suP |v (/ )|.
f e P (Ф),
II/ll^n ^1
Всюду в дальнейшем предполагается, что последовательность Ф разделена логарифмом, т. е.
(Vn Е N)(3m Е N)(3Cn) tpm(z) + log(1 + |z|) ^ ^n(z) + Cn (z Е C).
Этому предположению удовлетворяют все пространства, встречающиеся в приложениях. Оно обеспечивает компактность вложения E(^n+i) в E(^n) (n Е N), а следовательно, принадлежность пространства P(Ф) классу пространств Фреше — Шварца (коротко, (^"^-пространств; по поводу общих сведений об (FS)- и (БРВ)-пространствах см. обзор [10]). Поэтому сильное сопряженное пространство Pb(Ф) является (DFS)-пространством, топология которого — это топология внутреннего индуктивного предела последовательности банаховых пространств (Pn(Ф))^=1.
При каждом фиксированном А Е C дельта-функция £д(/) = / (А) (/ Е P(Ф)) является элементом сопряженного пространства P7^). В самом деле, линейность S\ очевидна, а непрерывность следует из оценки
№(/)| = |/(А)| < II/IUep1 (л), / Е P(Ф).
Заметим, что эта оценка означает, что все дельта-функции содержатся в самом узком пространстве (Ф).
Займемся вопросом об описании последовательностей коэффициентов рядов по дельта-функциям, сходящихся абсолютно в Р^(Ф). Для этого нам потребуется тот общий факт, что ряд сходится абсолютно в (БРВ)-пространстве Е = шёга Еп тогда и только тогда, когда все его члены содержатся в некотором Еп и он сходится абсолютно в Еп.
Пусть Л = (А&)^=1 — последовательность попарно различных точек комплексной плоскости с А| ^ то при к ^ то. Из сказанного выше следует, что ^°=1 с/^а.; сходится абсолютно в р(Ф) тогда и только тогда, когда с = (с/)?=1 принадлежит пространству
K(Ф, Л) := {c = (cjj= : (З n Є N) jcjn := £ |cj| ||<^. H'^ < Ц•
j=1
Наша ближайшая цель — дать удобное для приложений описание коэффициентного пространства К (Ф, Л).
Заметив, что при любом п £ N
' = sup I/(A)| < sup II/|пЄРп(л) < еРп(Л), (1)
/ЄР(Ф), /ЄР(Ф),
II/ll^n ^1 II/ll^n ^1
образуем банаховы пространства
K1(^„, Л):={ c = (cj)|=l : И,1, := £ IcjI e*-<j < то} (n Є N)
j=1
и (DFS)-пространство
ГО
K 1(Ф, Л) := U K 1(^n, Л).
n=1
То, что K 1(Ф, Л) — (DFS)-пространство, вытекает из условия разделенности Ф логарифмом. Из оценки (І) следует, что
IcIn ^ IcIn (Vc Є K 1(^n,Л)),
и, следовательно,
K 1(^n, Л) ^ K(^n, Л) (n Є N), где ^ — символ непрерывного вложения. Поэтому
K 1(Ф,Л) ^ K(Ф,Л).
Покажем, что если последовательность Ф является канонической в смысле [9], то имеет место обратное включение K(Ф, Л) С K 1(Ф, Л), и, следовательно, пространства K(Ф, Л) и K 1(Ф, Л) совпадают.
Напомним определение каноничности. Следуя [9], рассмотрим веса
(pjz) := sup { log\f(z)\ : f Є B(tpn) П P(Ф)},
где B(^n) — единичный шар в пространстве E(^n).
Последовательность Ф называется канонической, если она эквивалентна последовательности Ф := (</? )ngN- Заметим, что всегда имеет место подчинение Ф -< Ф, т. е. для
любого I £ N существуют такие к £ N и константа Ci, что <pk(z) ^ ipi(z) + Ci, z £ С. Тогда становится очевидным, что требование эквивалентности, равносильно выполнению следующей оценки
(Vп)(3 т)(3 Сп) (pm(z) ^ <pn(z) + Сп (z£C).
Имеем
Pn(z) = SUP loS l/(^)l = sup log = log H^ll'
/еР(Ф), /б-Р(Ф), \\j\\n
II/ll^n II/ll^n ^
Применяя свойство каноничности Ф, получаем отсюда
го го
и™ = Е icj i к- С ^e-Cn Е icj i e^m (Aj} =e-Cn icim • j=i j=i
Из этого соотношения, очевидно, следует требуемое вложение K(Ф, Л) С K 1(Ф, Л).
Итак нами доказано следующее утверждение.
Предложение 1. Допустим, что Ф — каноническая последовательность. Ряд j сходится в р(Ф) абсолютно тогда и только тогда, когда c = (cj)j6N £
K 1(Ф, Л).
3. Оператор представления по дельта-функциям
Всюду ниже предполагается и не оговаривается дополнительно, что Ф — каноническая весовая последовательность. Тогда в силу предложения 1 оператор
го
W : c =(Cj)ГО=1 Cj 5Xj
j=i
действует из K1 (Ф, Л) в р(Ф). Ясно, что он линеен, а его непрерывность (из K 1(Ф, Л) в Р(Ф)) вытекает из оценки
IWCL =
ГО j=1
/ ГО ГО
<ЕЫИ«Л, I', <Е |Cj I є'"(л> ) = |c|1
Vn j=1 j = 1
Как и выше, мы использовали здесь то, что при любых А £ С и п £ N
I' < е'п(А).
Предположим, что оператор Ш : К1 (Ф, Л) ^ Р(Ф) сюръективен. Другими словами, в соответствии с определением Ю. Ф. Коробейника (см. [1]) система А л := (^ )ієм является абсолютно представляющей в РЬ;(Ф). В этом случае представляет интерес задача о существовании ЛНПО к Ш. Как и в двойственном случае из [5] она сводится к задаче
о существовании ЛНЛО у соответствующего оператора сужения. Остановимся на этом подробнее.
Образуем по нашим весам Є Ф банаховы пространства
Е(<Рп, Л) := |(2 = (4)^1і : Мп ■= йир < оо
п
а по ним пространство Фреше последовательностей комплексных чисел P(Ф, Л) := ПГО=1 E(^n,Л) с топологией, заданной набором норм (|| ■ ||n)neN.
Как известно, сильное сопряженное с P(Ф, Л) пространство отождествляется с K1^, Л) посредством билинейной формы (c,d) := Ej=i. cj dj, c Є K1(Ф, Л), d Є P(Ф, Л).
Рассмотрим оператор сужения R : f ^ (f(Aj))ГО=1, который, очевидно, действует непрерывно из P(Ф) в P(Ф, Л). Тогда сопряженный с ним оператор R/ действует (при указанном выше отождествлении P^(Ф, Л) с K 1(Ф, Л)) из K 1(Ф, Л) в P;/^). При этом для любых c = (cj)jeN Є K1 (Ф, Л) и f Є P(Ф) имеем
R/(c)(f) = (R(f),c) = ((f(Aj))jeN,c) = £f(Aj)cj = Ґ£Sj j (f).
jeN ^jeN '
Поэтому R/(c) = EjeN SЛjCj для всех c = (cj)jeN Є K 1(Ф, Л). Заключаем, что оператор
R/ совпадает с W.
В силу рефлексивности пространств P(Ф) и K 1(Ф, Л) из вышеизложенного следует, что оператор W имеет ЛНПО тогда и только тогда, когда R имеет ЛНЛО. Это заключение позволяет нам применить результаты работы [б] о существовании ЛНЛО у оператора R к вопросу о существовании ЛНПО у оператора представления W. Чтобы сформулировать соответствующий результат, нам придется напомнить некоторые обозначения и определения из [б] и [Т].
Как и выше, предполагаем, что Ф — весовая последовательность проективного типа, удовлетворяющая условию разделенности логарифмом. Далее, предположим, что
(Vп)(3 m)(3 C> 0) sup (z + Z) < inf ^>„(z + Z) + C (z Є C) (2)
iz ial |z |al
(Vn)(3 m)(3 C> 0) max ^(z + Z) ^ ijiinn ^(z + Z) + ^n(z) — ^>m(z) + C (z £ C), (3)
где ф — некоторая локально ограниченная в C функция.
Допустим, что имеется такая целая функция L, для которой точки А& являются простыми нулями и других нулей у нее нет, удовлетворяющая следующим условиям:
(L1)
(Vn)(3m)(3 C > 0) log |L(z)| ^ 2^„(z) + ^(z) — (z) + C (z £ C);
(L2) существует последовательность окружностей {z : |z| = rm}, rm | то, на которых выполняется оценка
log |L(z)| ^ (z) + ф(z), |z| = rm, m = 1, 2, • • •;
(L3)
го
N |L'(Afe)|
^ 1 e^0(Afc)+^(Afc)
< TO,
k=1 ' ^
где по — некоторый фиксированный номер.
Нам еще потребуются понятия согласованности и правильности последовательностей Ф и Л из [7]. Для этого введем следующее множество последовательностей положительных чисел:
Г(Л,Ф) := (ЫГ=1 : (V п)(3 т)(ЗС > 0) 1п - ^ <рп(\к) - <рт(\к) + С (УкеЬ { 1к
и
Для 7 € Г(А, Ф) положим
ГО
^7 := |^| {А € С : |А — Ак| < 7к}. к=1
Говорят, что Л и Ф согласованы, если имеется хотя бы одна последовательность 7 € Г(Л, Ф), для которой множество С \ и7 достаточно для Р(Ф).
Далее, назовем Ф правильной, если
(V п)(3 в)(У к)(3 т)(3 с > 0)
вир {|м(А)| : ^ € В(<^„ - ) п М(Ф)} ^ се^(Л)-Рк(Л) (А € С).
Здесь В (^>„ — ^>то) — единичный шар пространства Е(^>„ — ^т).
Отметим, что в работе [7] указаны удобные условия проверки согласованности и правильности Ф и Л.
Теорема 2. Пусть Л и Ф согласованы, Ф — каноническая последовательность, удовлетворяющая условиям (2) и (3). Предположим еще, что функция Ь имеет в точках из Л простые нули, других нулей у нее нет и она удовлетворяет условиям (Ь1)-(Ь3). Тогда следующие условия равносильны:
(1) Оператор представления Ш : К 1(Ф, Л) — Рь'(Ф) имеет ЛНПО.
(п) Имеется такая целая в С х Сл функция С (г, А), которая удовлетворяет условиям
С(г,г) = Ь(г) (г € С), (4)
(V 1)(3 т)(3 С> 0) |С(г,А)| < Се^)+^(Л)+Рг(Л)-Рт(Л) (г, А € С). (5)
4. Приложения к абсолютно представляющим системам
В данном разделе рассматривается применение предыдущих результатов к абсолютно представляющим системам элементов. Сначала приведем общую схему, которая позволяет это делать.
Пусть Н = тёга6м Нп — (ЬВ)-пространство, т. е. Нп — банаховы пространства (с нормами | ■ |п), Н1 с—— Н2 с—— ... и Н = игабМ Нп наделяется топологией внутреннего индуктивного предела. Предполагаем, что это пространство рефлексивно. Для наших целей достаточно ограничиться еще более узким классом (^Е5)-пространств, когда вложения Нп в Нп+1 компактны. По определению рефлексивность Н означает, что оператор естественного вложения Н в Н
I : ж € Н 1—— (ж, •) € Н
является изоморфизмом между Н и Н^ := (НЬ )Ь. Здесь и далее под словом изоморфизм мы всюду подразумеваем топологический изоморфизм.
Допустим, что в пространстве Н имеется семейство элементов (ел)ле€, для которого оператор обобщенного преобразования Фурье — Лапласа функционалов
& : ж' € Н' 1—— Х'(А) := х'(еЛ) (А € С)
является топологическим изоморфизмом между НЬ и Р(Ф).
Покажем, что при этих условиях между Н и Р^(Ф) также имеется изоморфизм, который переводит элементы ел в соответствующие дельта-функции 5л. В самом деле, поскольку & является изоморфизмом между Н и Р (Ф), то сопряженный с ним оператор &' будет изоморфизмом между РЬ'(Ф) и Нь. Поэтому оператор J := I-1 о &' устанавливает изоморфизм между Рь'(Ф) и Н. При этом по правилам действия операторов (/ и сопряженного) имеем
^ (V ),ж'> = <(/-1 о &' )(^ ),ж') = <&> ),ж') = (V, & (ж')), V € Р'(Ф), ж' € НЬ.
Подставив сюда V = 5л, получим
^ (5л ),ж' > = <5л, & (ж' )> = <5л, ж'(( )> = ж' (А) (V ж' € Н).
С другой стороны, и (ел,ж') = ж'(А) для всех ж' € Н. Значит, J(5л) = ел для любого А € С.
Из изложенного выше непосредственно следуют такие заключения:
• Ряды Е^=1 С/ 5л^- и Е^=1 С/ ел^- сходятся или расходятся в РЬ'(Ф) и Н, соответственно, одновременно.
• Системы (5лз. )ГО=1 и (ел^- )ГО=1 одновременно являются или не являются АПС в Рь(Ф) и Н, соответственно.
• Оператор представления
ГО
Т : с = (С/)ГО=1 € К 1(Ф, Л) —— ж = ^ С/ел3 € Н
/=1
имеет ЛНПО тогда и только тогда, когда оператор сужения К : Р(Ф) — Р(Ф, Л) имеет ЛНЛО.
Отсюда и из теоремы 2 следует такой результат для АПС вида Ел := (ел.,-
Теорема 3. Пусть Л, Ф, ф и Ь удовлетворяют всем условиям теоремы 2. Предположим, что Н = тёга6м Нп — (^Е5) -пространство, в котором имеется такое семейство элементов (еЛ^. )/ес, для которого оператор обобщенного преобразования Фурье — Лапласа функционалов является топологическим изоморфизмом между Н и Р (Ф). Тогда равносильны следующие два условия:
(1) Оператор представления Т : К 1(Ф, Л) — Н имеет ЛНПО.
(И) Имеется целая в С х Сл функция С(г, А), удовлетворяющая условиям (4) и (5).
Напомним, что смысл того, что оператор представления имеет ЛНПО, заключается в том, что в случае его существования имеется принципиальная возможность линейно и непрерывно в зависимости от разлагаемого элемента найти коэффициенты разложения.
Ясно, что теорема 3 может применяться к широкому спектру (^Е5)-пространств Н, лишь бы имелось подходящее описание сопряженного с помощью преобразования Фурье — Лапласа функционалов. Этому предполагается посвятить отдельную работу.
Литература
1. Коробейник Ю. Ф. Представляющие системы // Успехи мат. наук.—1981.—Т. 36, № 1.—С. 73-126.
2. Коробейник Ю. Ф. Представляющие системы: теория и приложения.—Владикавказ: ЮМИ ВНЦ РАН, 2009.—336 с.
3. Абанин А. В. Слабо достаточные множества и абсолютно представляющие системы: Дис. ... докт. физ.-мат. наук.—Ростов н/Д., 1995.—268 с.
4. Леонтьев А. Ф. Ряды экспонент.—М.: Наука, 1976.—536 c.
б. Мелихов С. Н. О левом обратном к оператору сужения на весовых пространствах целых функций // Алгебра и анализ.—2002.—Т. 14, вып. 1.—С. 99-133.
6. Абанин А. В., Варзиев В. А. О существовании линейного непрерывного левого обратного у оператора сужения на пространствах Фреше целых функций // Изв. вузов. Сев.-Кавк. регион. Естеств. науки.—201З.—№ 4.—С. 5-10.
7. Абанин А. В., Варзиев В. А. Достаточные множества в весовых пространствах Фреше целых функций // Сиб. мат. журн.—201З.—Т. 54, № 4.—С. 725-741.
8. Абанин А. В. Густые пространства и аналитические мультипликаторы // Изв. вузов. Сев.-Кавк. регион. Естетв. науки.—1994.—№ 4.—С. 3-10.
9. Abanin A. V., Pham Trong Tien. Continuation of holomorphic functions with growth conditions and some of its applications // Stud. Math.—2010.—Vol. 200.—P. 279-295.
10. Жаринов В. В. Компактные семейства ЛПВ и пространства FS и DFS // Устехи мат. наук.— 1979.—Т. 34, № 4.—С. 97-131.
Статья поступила 19 августа 2013 г.
Варзиев Владислав Аликович
Южный математический институт ВНЦ РАН и РСО-А, младший научный сотрудник отдела мат. анализа РОССИЯ, 362027, Владикавказ, ул. Маркуса, 22 E-mail: [email protected]
A LINEAR CONTINUOUS RIGHT INVERSE TO THE REPRESENTATION OPERATOR IN (LB)-SPACES
Varziev V. A.
We study the question of the existence of a linear continuous right inverse to the representation operators in (LB)-spaces. It is obtained suficient conditions for the existence of such operators in the case of representations in delta-functions in spaces which are dual to weighted Prechet spaces of entire functions. We state some conditions under which the results can be used for representations in systems of generalized exponential functions. Our study is based on the method developed by S. N. Melikhov for the dual situation and previous works of A. V. Abanin and the author on suffiient sets in weighted Prechet spaces of entire functions and existence of a linear continuous left inverse for the corresponding restriction operator.
Key words: weighting space, absolutely representing systems of exponential, linear continuous right/left inverse.
