Научная статья на тему 'Коммутант оператора Поммье в пространстве целых функций экспоненциального типа и полиномиального роста на вещественной прямой'

Коммутант оператора Поммье в пространстве целых функций экспоненциального типа и полиномиального роста на вещественной прямой Текст научной статьи по специальности «Математика»

CC BY
83
9
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
ОПЕРАТОР ПОММЬЕ / ЦЕЛАЯ ФУНКЦИЯ ЭКСПОНЕНЦИАЛЬНОГО ТИПА / ПРОСТРАНСТВО БЕСКОНЕЧНО ДИФФЕРЕНЦИРУЕМЫХ ФУНКЦИЙ / КОММУТАНТ / ИЗОМОРФИЗМ

Аннотация научной статьи по математике, автор научной работы — Иванова Ольга Александровна, Мелихов Сергей Николаевич

В пространстве целых функций экспоненциального типа, реализующем сильное сопряженное к пространству Фреше функций, бесконечно дифференцируемых на вещественном интервале, содержащем начало координат, исследованы линейные непрерывные операторы, перестановочные с оператором Поммье. Они задаются линейным непрерывным функционалом на упомянутом пространстве целых функций, а значит, с точностью до сопряженного к преобразованию Фурье Лапласа, бесконечно дифференцируемой функцией на исходном интервале. Дана полная характеризация функционалов, определяющих указанным образом изоморфизмы. Доказано, что изоморфизм задается функциями, не равными 0 в начале координат (и только ими). Существенную роль в доказательстве соответствующего критерия играет метод, использующий теорию компактных операторов в банаховых пространствах. Выделен класс тех бесконечно дифференцируемых на исходном интервале функций, которые задают операторы из упомянутого коммутанта, близкие к изоморфизму. Такие операторы имеют конечномерное ядро. Для интервала, отличного от вещественной прямой, мы определяем также класс операторов из коммутанта оператора Поммье, не являющихся сюръективными. Сопряженный к линейному непрерывному оператору, перестановочному с оператором Поммье, реализуется в пространстве бесконечно дифференцируемых функций как оператор, полученный фиксированием одного сомножителя в произведении Дюамеля. Существенное отличие рассмотренной ситуации от исследовавшихся ранее состоит в отсутствии циклических векторов у оператора Поммье в исходном пространстве целых функций.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

The Commutant of the Pommiez Operator in a Space of Entire Functions of Exponential Type and Polynomial Growth on the Real Line

In the space of entire functions of exponential type representing a strong dual to a Frechet space of infinitely differentiable functions on a real interval containing the origin, linear continuous operators commuting with the Pommiez operator are investigated. They are given by a continuous linear functional on this space of entire functions and hence, up to the adjoint of the Fourier--Laplace transform, by an infinite differentiable function on the initial interval. A complete characterization of linear continuous functionals defining isomorphisms by virtue of the indicated correspondence is given. It is proved that isomorphisms are determined by functions that do not vanish at the origin (and only by them). An essential role in proving the corresponding criterion is played by a method exploiting the theory of compact operators in Banach spaces. The class of those functions infinitely differentiable on the considered interval that define the operators from the mentioned commutant close to isomorphisms is distinguished. Such operators have finite-dimensional kernels. For an interval other than a straight real line, we also define the class of operators from the commutant of the Pommiez operator that are not surjective. The adjoint of a continuous linear operator that commutes with Pommiez operators is realized in the space of infinitely differentiable functions as an operator obtained by fixing one factor in the Duhamel product. The essential difference of the situation under consideration from the previously studied one is the absence of cyclic vectors of the Pommiez operator in the considered space of entire functions.

Текст научной работы на тему «Коммутант оператора Поммье в пространстве целых функций экспоненциального типа и полиномиального роста на вещественной прямой»

Владикавказский математический журнал 2018, Том 20, Выпуск 3, С. 48-56

УДК 517.9

DOI 10.23671/VNC.2018.3.17988

КОММУТАНТ ОПЕРАТОРА ПОММЬЕ В ПРОСТРАНСТВЕ ЦЕЛЫХ ФУНКЦИЙ ЭКСПОНЕНЦИАЛЬНОГО ТИПА И ПОЛИНОМИАЛЬНОГО РОСТА НА ВЕЩЕСТВЕННОЙ ПРЯМОЙ

О. А. Иванова1, С. Н. Мелихов1,2

1 Южный федеральный университет, Россия, 344090, Ростов-на-Дону, ул. Мильчакова, 8 а; 2 Южный математический институт — филиал ВНЦ РАН, Россия, 362027, Владикавказ, ул. Маркуса, 22

E-mail: [email protected], [email protected]

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

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

Mathematical Subject Classification (2000): 46Е10, 30D15, 47L10, 26Е10.

Введение

В настоящей работе изучаются свойства коммутанта оператора Поммье Do в пространстве Hq целых функций экспоненциального типа, изоморфного сильному сопряженному к пространству Фреше E(П) функций, бесконечно дифференцируемых на интервале П С R. Ранее оператор Do и его одномерное возмущение D0;g0 изучались в [1-4] в счетном индуктивном пределе E весовых пространств Фреше целых функций (если g0 = 1, то D0 = Do,g0). В. А. Ткаченко [5, 6] использовал оператор D0,g0 в случае g0 = eP,

© 2018 Иванова О. А.,Мелихов С. Н.

где Р — некоторый многочлен (см. [1]). В [5, 6] он действует в (ЬВ)-пространстве целых функций, рост которых определяется ^тригонометрически выпуклой (р > 0) функцией со значениями в (-то, Сопряженный к нему назван в [5] оператором обобщенно-

го интегрирования. Конструкции подобного рода в (ЬВ)-иространстве целых функций экспоненциального типа использовались И. Ф. Красичковым-Терновским [7]. В [1] был исследован коммутант Во,й0 в кольце всех линейных непрерывных операторов в Е. Свойства алгебры, образованной сопряженным Е 'к Ее умножением, определяемым оператором сдвига для Во,й0, изучены в [2], циклические векторы и собственные замкнутые инвариантные подпространства Во,й0 в Е описаны в [3, 4]. Существенным отличием рассматриваемой здесь ситуации от изученных ранее конкретных случаев является неквазианалитичность пространства Е (П), изоморфного сопряжен ному к Нп (в [3, 4] сопряжен-Е

Нп

ях, исследованных в [3, 4], циклическими векторами Во являются все функции из Е, отличные от многочлена (т. е. их «больше», чем функций, не являющихся циклическими).

Нп

раторов, перестановочных в Нп с Во и являющихся изоморфизмом Нп или близких к нему. Всякий оператор В из коммутанта К(Во) оператора Во задается некоторым линейным непрерывным функционалом ^ на Нп- С учетом рефлексивности Е(П) и теоремы Пэли — Винера — Шварца сопряженное к Нп можно отождествить с Е(П), и тогда элементы К (Во) определяются (однозначно) функциями из Е (П). Показано, что изомор-

0

этом существенную роль играет метод, использующий теорию компактных операторов в банаховых пространствах. Ранее в аналогичных вопросах он применялся В. А. Тка-

П

0

П

оператор. Как показано в [1], с помощью оператора сдвига для оператора Поммье в сопряженном Нп к пространству Нп можно ввести ассоциативное и коммутативное умно-

Е(П)

важную роль в различных вопросах анализа (см., например, работы М. Т. Караева [8, 9]). Это произведение тоже существенно используется в доказательствах.

1. Вспомогательные сведения

Пусть П — интервал в М, содержащий 0 (Кп)п(^ — исчерпывающая П последовательность отрезков: Кп С ^Кп+1, п € N П = Упек Кп. При этом для множества М С М символ Ш М обозначает внутренность М в М. Будем считать, что 0 € К1. Пусть Нм(х) := 8ируеМ(ху), х € М, — опорная функция множества М С М; А(С) — пространство целых в С функций. Далее для п € N

Нп,п := {/ е А(С) : ||/||га := аир -- < +оо) ;

I ¿ее (1 + |г|)п ехр(Нкп(1тг)) }

Нп,п является банаховым пространством с нормой || ■ \\п. При этом Нп,п С Нп,п+1, п € N и эти вложения непрерывны. Положим Нп := ипеN Нп,п и снабдим Нп топологией индуктивного предела пространств Нп,п, п € N относительно их вложений в Нп.

Положим ел(ж) := е-гЛж, ж, А € С Для локально выпуклого пространства X символ X' обозначает топологическое сопряженное к X. Пусть Е(П) — пространство Фреше всех бесконечно дифференцируемых в П функций. По теореме Пэли — Винера — Шварца [10, теорема 7.3.1] преобразование Фурье — Лапласа &(<^)(А) := ^>(ел), А € С ^ € Е(П)', устанавливает топологический изоморфизм сильного сопряженного к Е(П) на Нп- Отметим, что Е(П) рефлексивно.

Пусть ^(Нп) — пространство всех линейных непрерывных операторов в Нп- Оператор Поммье Дг, г € С, определяется равенством

Г №-Яг) , / / '(г), t = г

/ € Нп. По [ 1] Дг € ^(Нп) для любого г € С.

Следуя [11, 12], введем сдвиги г € С ДОя До5 линейно и непрерывно действующие в Яп: для / € Нп

/ (г)+ г/'(г), * = г

Пусть К (До) — множество всех линейных непрерывных операторов в Нп, перестановочных с До в Нп, т. е. коммутант До в кольце ^(Нп).

Теорема 1. Следующие утверждения равносильны: (1) В € К (До).

(и) Существует функционал ^ € Нп такой, что В(/)(г) = (/)), г € С / € Нп.

< № [1, теорема 15] следует справедливость теоремы. >

Для € Нп положим В^(/)(г) = ^(Т(/)), г € С, / € Нп-

Определим бинарную операцию ( в Нп : (^ ( ф)(/) := ^(Ф(Тг(/)), € Нп, / € Нп. По [1 ,§ 3] произведение ^ ( ф корректно определено; оно ассоциативно и коммутативно. Кроме того [1, следствие 18], отображение к(^) := В^ является изоморфизмом алгебр (Нп, () и К (До) (в последней вводится обычное операторное умножение).

2. Основной результат

Как обычно, Д(М) — пространство всех бесконечно дифференцируемых в М функций с компактным носителем. Для обобщенной функции и € Д'(М) символ вирр(и) обозначает носитель и. Отметим свойство равномерной ограниченности носителей обобщенных функций &-1(Т(/)), г € С, для фиксированной функции / € Нп-

Лемма 1. Для любых т € N / € Нп,т, г € С, носители &-1(До(/)) и &-1(Тг(/)) содержатся в Кт.

< Применяя принцип максимума модуля, получаем, что ||До(/)||т < и

\Т*Ут\

По теореме Пэли — Винера — Шварца вирр -1(До(/))) С Кт и 8ирр(&-1 (Тг(/))) С Кт. >

Для локально выпуклого пространства X, линейного непрерывного оператора А : X ^ X элемент ж € X называется циклическим, вектором А в X, если система {Ап(ж) : п ^ 0} полна в X, т. е. ее линейная оболочка плотна в X.

Следствие 1. Оператор Во не имеет в Нп ни одного циклического вектора.

< Зафиксируем / € Нп,т. По лемме 1 носитель каждой обобщенной функции &-1 (Вп(/)), п ^ 0, содержится в Кт. Возьмем ненулевую функцию Н € В(М) такую, что (вирр(Н)) п Кт = 0 и 8ирр(Н) с П. Тогда &-1(Вп(/))(Н) = 0 для любого п ^ 0. Значит, множество -1(Вп(/)) : п ^ 0} не является полным в сильном сопряженном к Е(П), следовательно, множество {Вп(/) : п ^ 0} не является полным в Нп >

Этот факт принципиально отличает рассматриваемую здесь ситуацию от изученных

Во

пространств Нп очень широкое.

Пусть 5(М) — пространство Шварца всех бесконечно дифференцируемых функций Н : М — С таких, что Итг—х(|£|к|/(к)(£)|) = 0 для любого к € N Символом обозначим преобразование Фурье, действующее в пространстве 5'(М) обобщенных функций медленного роста на М.

Для к € 5(М) введем функцию к{К){£) := М, г € <С\М.

Лемма 2. Пусть Н € 5(М) и А := /—X Н(£) М. Тогда ¡¡тг-кх), (гк(Н)(г)) = —А.

Это утверждение содержится в [13, гл. 4, §71]. Поскольку функции Н и := ¿Н(£) принадлежат 5(М), то найдется С > 0 такое, что для любых ^,¿2 € М, для которых (¿11, (¿21 ^ 1, выполняются неравенства — /¿(¿г)! ^ — и |/гх(¿1) — /^(¿г)! ^

— (т. е. в терминологии [13] И и Н\ удовлетворяют условию Н вблизи оо). Кроме того, существуют пределы ¡¡тг—х, к(Н1)(г) и ¡¡тг—х, к(Н1 )(г), равные 0. Поэтому

1т г>о 1т г<о

¡¡тг—х, (гк(Н)(г)) = —А по [13, с. 260].

Замечание 1. Преобразование & : ( — (((ел€ П) является топологическим изоморфизмом сильного сопряженного к Нп на Е(П). При этом & — отображение, сопряженное к & : Е(П)' — Нп относительно дуальных пар (Е(П)', Е(П)) и (Нп, Н^).

Полагаем (р := &((), ( € Н^. Для любых ( € Н^, п ^ 0, справедливо равенство ^п)(0)= ( (¿п). _

(¿1) Операция ® посредством & : Н^ — Е(П) индуцирует в Е(П) произведение Дюа-меля, т. е. ( ® ф = (р * ф, где

г ч г

I д(* — т)Н(т) ¿т ) = д(0)Н(*) + ^ д'(* — т)Н(т) ^т, д, Н € Е(П).

оо

(ш) Билинейная форма (/, Н) := &-1(Н)(/), / € Нп, Н € Е(П), задает двойственность между Нп и Е(П). При этом (/, Н) = &-1 (/)(Н).

Сопряженным к оператору В^ : Нп — Нп, ( € Н^, относительно этой двойственности является оператор А^ : Е(П) — Е(П), А^(Н) = (р * Н.

Выясним далее, при каких условиях В^ является изоморфизмом Нп- Вначале охарактеризуем инъективные операторы В^.

Лемма 3. Следующие утверждения равносильны: В^ инъективен в Нп.

(И) р(0) = 0.

< (1 Если (Р(0) = 0, то В^(1) = 0 (стоящая в скобках функция тождественно равна 1). Поэтому оператор В^ не является инъективным.

(д * Н)(*) =

Пусть / € Кег В^. Тогда ^(Т^(/)) = 0 для любого г € С. Следовательно, ^-1((р)(Тг(/)) = 0 и (Тг(/))(<£>) = 0 для любого г € С. По лемме 1 существует т € N Для которого носители всех обобщенных функций ^-1(Тг(/)), г € С, содержатся в Кт. Возьмем функцию х € Д(М) такую, что ^^на 1 в Кт+1 и 8ирр(х) С П. Тогда ^-1 (Тг(/)) (х^) = 0 г € С. Таким образом,

&-1 (х£)(Тг(/) | к)=0, г € С.

Функция д := 1(х'?) иринадлежит 5(М) (при этом 5(М) отождествляется стандартным образом с подпространством 5'(М)). Значит,

Положим

По лемме 2

J t— z J t— z

a{z):= [ ß(z):= [ dt, ze

J t — z J t — z

lim (z£(z)) = — / g(t)dt = —х(0)р(0) = 0

—<x

(функция tf (t)g(t), t € R, принадлежит S(R)). Поскольку limz^^, a(z) = 0, то

f (z) = 0 и, следовательно, f = 0. Значит, Ker B^ = {0} >

Введем функционалы öo,n G -^qj и ^ 0 : öo,n(f) '■= / ^ -^п- Заметим, что

= ^¡ж"-, ж € Q, и к(0о,п) = Д$оп = ^о fl) лемма 7] (отображение к : Hq —>• Jf(Do) введено в § 1).

Лемма 4. Пусть ( € HQ и

(0)

= 0 0 ^ j ^ n — 1, для некоторого n € N. Тоща существует ф € HQ такое, что ( = ® Ф- Если (/(n)(0) = 0, то ф(0) = 0.

< Положим ф := F-1 ((/(n)) и h := (/. Тогда

v о 7

т. е. 5о,п * h(n) = h. Отсюда следует равенство f = ¿0>n ® F >

Введем дуальные преднормы в HQ: ||f ||П := sup/|f (/)|j п € N f € HQ.

II/IU<1

Теорема 2. Следующие утверждения равносильны:

(i) B^ € K(D0,go) — изоморфизм Hq.

(ii)f(0) = 0.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

< (iiИспользуем метод доказательства В. А. Ткаченко [6, теорема 2]. Поскольку для / € Hq , t = z

*/(*) - zf(z) = f{z)+tm-mt

то

B^(/)= f(0)/ + B(/), B(/)(z) := (/)(t)), Z € C, / € Hq. (1)

— oo

— oo

Покажем, что В — линейный непрерывный оператор в Ял такой, что для любого п € N сужение В па Ял,п — компактный оператор в Ял,п. Зафиксируем п € N. Положим = {/ € Ял, п : ||/||п ^ 1} Для любой функции / € Бп

ышллт < +

Зафиксируем е > 0. Если 2 € С, — г\ ^ то для любой функции / € Бп

!№(/№)! К!!/- /(г)|

(2)

(1 + ^^ еХр(Якп+1 (1т *)) |* - 21(1 + |^|)п+! еХр(Якп+1 (1т *)) < е (ттш + (1 + \*\ТеМНкп(1тг))) < 2г(1 + |г|Гехр(Як„(1тг)).

(3)

Если же — г\ ^ - для 2 € С, то для любой функции / € Бп по дрд^цдду максимума МОдуЛЯ наддется ц) £ С такое, что \п) — г\ = \ и вьшолняются следуЮщИе неравенства:

\t\mfm\ <е_ 1

(1 + |^)п+1 ехр(Як„+1 (1т *)) ^ (1 + | í | )п ехр(Як„+1 (1т *)) х((1 + | у | )п ехр(Якп (1т у)) + (1 + | 2 | )п ехр(Як (1т 2)))

П V

, г ((1±»Ш)"етр + (1 + (4)

< ^ ((1 + ^"ехр + (1 + |2|)гаеХр(ЯХп(1т2))

где Сп := тах|^|=1 ЯКп (1т £) < Из (2)-(4) следует, что

«т ,ир ,.|в(/).(')| „ „ =0.

/е^п (1 + ИГ ехр(ЯКп(1т2))

Последнее влечет относительную компактность В(Бп) в Ял>п. По лемме 3 оператор Вр инъективен. Поскольку <р(0) = 0, то вследствие (1) он является изоморфизмом каждого пространства Ял,п, п € N Отсюда следует, что Вр — изоморфизм Ял.

Если <>(0) = 0, то по лемме 3 Вр не является инъективным. > Следствие 2. Пусть < € Я'п и (0) = 0 0 ^ ] ^ п — 1, <р(п) (0) = 0 для некоторого п € N. Тогда существует ф € Я^, для которого Вр = П^Вф и Вф — топологический Я того, Вр : Ял —У Ял имеет линейный непрерывный правый

обратный.

< По лемме 4 существует ф € Я'п такое, что < = ¿0>п ® ф и ф(п)(0) = 0. Тогда Вр = В$0пВф = Пп Вф = ВфВ,?. По теореме 2 Вф — изоморфизм Ял. Поскольку оператор Пп : Ял — Ял сюръективен, ядро Кег Вр = Кег Пп п-мерно (а значит, топологически дополнимо в Ял), то Вр : Ял — Ял имеет линейный непрерывный правый обратный. >

Обратимся теперь к другой крайней ситуации, когда функция (р является «очень»

0

начала координат.

Замечание 2. Рассмотрим случай, когда интервал О отличен от прямой М. Тогда О = (ш-,ш+), где хотя бы одно из ш-, конечно. Пусть, например, € (0, +гс>).

Предположим, что (р = 0 в некоторой правосторонней окрестности начала координат. Тогда найдется ненулевая функция h € E(Q) такая, что h = 0 в (w+, wo] для некоторого wo € (0, w+) и /0 (P(t — т)h(r) dr = 0 для любого t € Q. Значит, A^(h) = (р * h = 0. Оператор A^ : E(Q) ^ E(Q) является сопряженным к B^ : Hq ^ Hq (относительно дуальной пары (Hq, E(Q))). Так как A^ неинъективен, то no [14, гл. 8, § 8.6] Im B^ не является плотным в Hq и, тем более, B^ : Hq ^ Hq несюръективен.

Аналогично, если w- конечно и (р = 0 в некоторой левосторонней окрестности начала, то оператор B^ : Hq ^ Hq несюръективен, причем его образ даже не плотен в Hq.

Приведенные рассуждения имеют непосредственное отношение к теореме Титчмарша о свертке [15]. Ее доказательство с использованием только теории функций вещественного переменного дано в [16, гл. II], в [17] оно проведено методами функционального анализа. О делителях нуля свертки Дюамеля речь идет в монографии И. Димовского [18, §1.1].

Литература

1. Иванова О. А., Мелихов С. И. Об операторах, перестановочных с оператором типа Поммье в весовых пространствах целых функций // Алгебра и анализ.—2016.—Т. 28, № 2.—С. 114-137.

2. Иванова О. А., Мелихов С. И. Об алгебре аналитических функционалов, связанной с оператором Поммье // Владикавк. мат. журн.—2016.—Т. 18, № 4.—С. 34-40.

3. Иванова О. А., Мелихов С. И. Об инвариантных подпространствах оператора Поммье в пространствах целых функций экспоненциального типа // Комплексный анализ. Итоги науки и техн. Сер. Соврем, мат. и ее прил. Темат. обз.—Вып. 112. М.: ВИНИТИ РАН, 2017.—С. 111-120.

4. Ivanova О. A., Melikhov S. N. On the completeness of orbits of a Pommiez operator in weighted (LF)-spaces of entire functions // Complex Analysis and Operator Theory.—2017.—Vol. 11.—P. 1407-1424.

5. Ткаченко В. А. Инвариантные подпространства и одноклеточность операторов обобщенного интегрирования в пространствах аналитических функционалов // Мат. заметки.—1977.—Т. 22, вып. 2.—С. 613-618.

6. Ткаченко В. А. Об операторах, коммутирующих с обобщенным интегрированием в пространствах аналитических функционалов // Мат. заметки.—1979.—Т. 25, вып. 2.—С. 271-282.

7. Красичков-Терновский И. Ф. Инвариантные подпространства аналитических функций. III. О распространении спектрального синтеза // Матем. сб.—1972.—Т. 88(130), № 3(7).—С. 331-352.

8. Karaev М. Т. Invariant subspaces, cyclic vectors, commutant and extended eigenvectors of some convolution operators // Methods Funct. Anal. Topology.^2005.^Vol. 11, .V" I. P. 48-59.

9. Караев M. Т. Алгебры Дюамеля и их приложения // Функц. анализ и его прил.—2018.—Т. 52, вып. 1.-С. 3-12. DOI: doi.org/10.4213/faa3481.

10. Хермандер Л. Анализ линейных дифференциальных операторов с частными производными. Т. 1. Теория распределений и анализ Фурье.—М.: Мир, 1986.—464 с.

11. Binderman Z. Functional shifts induced by right invertible operators I I Math. Nachr.—1992.—Vol. 157.— P. 211-224. DOI: 10.1002/mana.l9921570117.

12. Dimovski I. N., Hristov V. Z. Commutants of the Pommiez operator // Int. J. Math, and Math. Science.^2005.^№ 8—P. 1239-1251.

13. Мусхелишвили И. И. Некоторые основные задачи математической теории упругости.—М.: ГРФМЛ, 1966.^708 с.

14. Эдварде Р. Функциональный анализ. Теория и приложения.—М.: Мир, 1969.—1072 с.

15. Titchmarsh Е. С. The zeros of certain integral function // Proc. London Math. Soc.—1926.—Vol. 25.— P. 283-302.

16. Микусинский Я. Операторное исчисление.—М.: Изд-во иностр. лит-ры, 1956.—367 с.

17. Kalish G. К. A Functional Analysis Proof of Titchmarsh's Theorem on Convolution I I J. Math. Anal. Appl.-1962.-Vol. 5.-P. 176-183.

18. Dimovski I. Convolutional Calculus.—London: Kluwer, 1990.—184 p.

Статья поступила 24 апреля 2018 г.

Vladikavkaz Mathematical Journal 2018, Volume 20, Issue 3, P. 48 56

THE COM.MUTANT OF THE POMMIEZ OPERATOR IN A SPACE OF ENTIRE FUNCTIONS OF EXPONENTIAL TYPE AND POLYNOMIAL GROWTH ON THE REAL LINE

Ivanova O. A.1, Melikhov S. N.1'2

1 Southern Federal University, 8 a Mil'chakova st., Rostov-on-Don 344090, Russia;

2 Southern Mathematical Institute VSC RAS, 22 Marcus St., Vladikavkaz 362027, Russia E-mail: [email protected], [email protected]

Abstract. In the space of entire functions of exponential type representing a strong dual to a Frechet space of infinitely differentiable functions on a real interval containing the origin, linear continuous operators commuting with the Pommiez operator are investigated. They are given by a continuous linear functional on this space of entire functions and hence, up to the adjoint of the Fourier-Laplace transform, by an infinite differentiable function on the initial interval. A complete characterization of linear continuous functionals defining isomorphisms by virtue of the indicated correspondence is given. It is proved that isomorphisms are determined by functions that do not vanish at the origin (and only by them). An essential role in proving the corresponding criterion is played by a method exploiting the theory of compact operators in Banach spaces. The class of those functions infinitely differentiable on the considered interval that define the operators from the mentioned commutant close to isomorphisms is distinguished. Such operators have finite-dimensional kernels. For an interval other than a straight real line, we also define the class of operators from the commutant of the Pommiez operator that are not surjective. The adjoint of a continuous linear operator that commutes with Pommiez operators is realized in the space of infinitely differentiable functions as an operator obtained by fixing one factor in the Duhamel product. The essential difference of the situation under consideration from the previously studied one is the absence of cyclic vectors of the Pommiez operator in the considered space of entire functions.

Key words: Pommiez operator, entire function of exponential type, space of infinitely differentiable functions, commutant, isomorphism.

Mathematical Subject Classification (2000): 46E10, 30D15, 47L10, 26E10.

References

1. Ivanova O. A., Melikhov S. N. On Operators Commuting with a Pommiez type Operator in Weighted Spaces of Entire Functions, St. Petersburg Math. J., 2017, vol. 28, no. 2, pp. 209-224. DOI: 10.1090/spmj/1447.

2. Ivanova O. A., Melikhov S. N. On an Algebra of Analytic Functionals Connected with a Pommiez Operator, Vladikavkazskij matematieheskij zhurnal [Vladikavkaz Math. J.], 2016, vol. 18, no. 4, pp. 34-40 (in Russian). DOI 10.23671/VNC.2016.4.5989.

3. Ivanova O. A., Melikhov S. N. On Invarint Subspaces of the Pommiez Operator in Spaces of Entire Functions of Exponential Type, Complex Analysis, Itogi Nauki i Tekhniki. Ser. Sovrem. Mat. Pril. Temat. Obz., vol. 142, Moscow, VINITI, 2017, pp. 111-120 (in Russian).

4. Ivanova O. A., Melikhov S. N. On the Completeness of Orbits of a Pommiez Operator in Weighted (LF)-Spaces of Entire Functions, Complex Analysis and Operator Theory, 2017, vol. 11, pp. 1407-1424. DOI: 10.1007/sl 1785-016-0617-5.

5. Tkachenko V. A. Invariant Subspaces and Unicellularity of Operators of Generalized Integration in Spaces of Analytic Functionals, Math. Notes, 1977, vol. 22, no. 2, pp. 613-618. DOI: 10.1007/BF01142725.

6. Tkachenko V. A. Operators that Commute with Generalized Integration in Spaces of Analytic Functionals, Math. Notes, 1979, vol. 25, no. 2, pp. 141-146. DOI: 10.1007/BF01780970.

7. Krasichkov-Ternovskii I. F. Invariant Subspaces of Analytic Functions. III. On the Extension of Spectral Synthesis, Math. USSR-Sbornik, 1972, vol. 17, pp. 327-348. DOI: 10.1070/SM1972v017n03ABEH001508.

8. Karaev M. T. Invariant Subspaces, Cyclic Vectors, Commutant and Extended Eigenvectors of Some Convolution Operators. Methods Fund. Anal. Topology, 2005, vol. 11, no. 1, pp. 48-59.

9. Karaev M. T. Duhamel Algebras and Applications, Functional Analysis and its Applications, 2018, vol. 52, no. 1, pp. 1-8. DOI: doi.org/10.4213/faa3481.

10. Hormander L. The Analysis of Linear Partial Differential Operators. Vol. I: Distribution Theory and Fourier Analysis, Springer, 1983, 391 p.

11. Binderman Z. Functional Shifts Induced by Right Invertible Operators, Math. Nachr., 1992, vol. 157, pp. 211-224. DOI: 10.1002/mana.l9921570117.

12. Dimovski I. N., Hristov V. Z. Commutants of the Pommiez Operator, Int. J. Math, and Math. Science, 2005, no. 8, pp. 1239-1251.

13. Muskheleshvili N. I. Nekotorye osnovnye zadachi matematicheskoi teorii uprugosti [Some Basic Problems of the Mathematical Elasticity Theory], Moscow, GRFML, 1966, 708 p. (in Russian).

14. Edvards R. E. Functional Analysis. Theory and Applications. N. Y., Holt, Rinehart and Winston, 1965, 791 p.

15. Titchmarsh E. C. The Zeros of Certain Integral Function, Proc. London Math. Soc., 1926, vol. 25, pp. 283-302.

16. Mikusinski J. Operational Calculus, N. Y., Pergamon Press, 1959, 495 p.

17. Kalish G. K. A Functional Analysis Proof of Titchmarsh's Theorem on Convolution, J. Math Anal. Appl, 1962, vol. 5, pp. 176-183.

18. Dimovski I. Gonvolutional Calculus, London, Kluwer, 1990, 184 p.

Received April 24, 2018

i Надоели баннеры? Вы всегда можете отключить рекламу.