CC BY
9
14
УДК 517.9
Вестник Самарского университета. Естественнонаучная серия. Том 24 № 3 2018
DOI: 10.18287/2541-7525-2018-24-3-14-22
О.А. Иванова, С.Н. Мелихов1
О ТОПОЛОГИЧЕСКИХ АЛГЕБРАХ АНАЛИТИЧЕСКИХ ФУНКЦИОНАЛОВ С УМНОЖЕНИЕМ, ОПРЕДЕЛЯЕМЫМ СДВИГАМИ
В топологическом сопряженном к счетному индуктивному пределу E весовых пространств Фреше целых функций многих комплексных переменных с помощью обычных сдвигов определено умножение — свертка. Полученная алгебра изоморфна коммутанту системы операторов частного дифференцирования в алгебре всех линейных непрерывных операторов, действующих в E .В построенной алгебре аналитических функционалов в двух несмешанных случаях введена топология, с которой эта алгебра становится топологической и уже топологически изоморфна указанному коммутанту с соответствующей (естественной) операторной топологией. Доказано, что в этих ситуациях данная алгебра не имеет делителей нуля при условии, что многочлены плотны в E. Показана существенность этого предположения для справедливости последнего утверждения.
Ключевые слова: весовое пространство целых функций, алгебра аналитических функционалов, топологическая алгебра, коммутант, оператор свертки.
Цитирование. Иванова О.А., Мелихов С.Н. О топологических алгебрах аналитических функционалов с умножением, определяемым сдвигами // Вестник Самарского университета. Естественнонаучная серия. 2018. Т. 24. № 3. С. 14-22. DOI: http://doi.org/10.18287/2541-7525-2018-24-3-14-22.
Введение
Начиная с 30-х годов прошлого века интенсивно развивается теория банаховых алгебр, в частности, С*-алгебр, нашедшая многочисленные применения не только в математике, но и в физике (например, в квантовой механике). Топологические алгебры, не являющиеся банаховыми, даже близкие к ним, не обладают рядом их важных свойств. Например, одним из центральных моментов в теории банаховых алгебр является использование достаточного набора ненулевых мультипликативных линейных функционалов. Для топологической алгебры, не являющейся банаховой, такие линейные непрерывные функционалы на ней могут и не существовать. Несмотря на это, и небанахов случай имеет широкое поле применений (см. [1; 2]). Отметим также использование небанаховых алгебр при исследовании операторов обобщенного интегрирования [3], в спектральной теории в пространствах аналитических функционалов [4-5] (изучаемые в [3-5] объекты близки к рассматриваемым в этой работе), в теории операторов обобщенного сдвига [6], групп Ли [7] и алгебр Ли [8]. В настоящей статье исследуется алгебра, имеющая "хорошее" представление в ненормируемом весовом пространстве целых функций. Именно, здесь изучается алгебра линейных непрерывных функционалов (аналитических функционалов) на счетном индуктивном пределе E весовых пространств Фреше целых (в CN) функций, введенная в [9]. Многие локально выпуклые пространства и их сопряженные, используемые в комплексном анализе, анализе Фурье, в теории распределений и ультрараспределений, реализуются с помощью преобразования Фурье-Лапласа и его аналогов в виде пространства E. Умножение © в сопряженном E' к E задается обычными сдвигами, т.е. является стандартной сверткой функционалов. Алгебра (E' , ©) изоморфна коммутанту К(д) системы операторов частного дифференцирования в алгебре всех линейных непрерывных операторов в E с обычным умножением — композицией операторов. Ненулевыми мультипликативными функционалами на ней, задаваемыми элементами E, являются те и только те, которые соответствуют принадлежащим E экспонентам [9, замечание 4]. Значит, если E не содержит ни одной экспоненты, то таких функционалов нет. Мы показываем, что в несмешанных случаях, когда E является счетным индуктивным пределом
!© Иванова О.А., Мелихов С.Н., 2018
Иванова Ольга Александровна (neo_ivolga@mail.ru), кафедра математического анализа и геометрии, Южный федеральный университет, 344090, Российская Федерация, г. Ростов-на-Дону, ул. Мильчакова, 8а.
Мелихов Сергей Николаевич (melih@math.rsu.ru), кафедра алгебры и дискретной математики, Южный федеральный университет, 344090, Российская Федерация, г. Ростов-на-Дону, ул. Мильчакова, 8а; Южный математический институт — филиал ВНЦ РАН, 362027, Российская Федерация, г. Владикавказ, ул. Ватутина, 53.
банаховых пространств или пространством Фреше, построенная алгебра является топологической при наделении Е' соответствующей топологией сопряженного пространства. В этих случаях указанный изоморфизм (Е', ©) и К(д) является и топологическим, если в К(д) вводится естественная операторная топология. (В общем случае топологичность изоморфизма имеет место, если Е' наделено слабой, а К(д) — слабо-операторной топологией [9].) В общей, смешанной, ситуации доказаны достаточные условия топологического характера для наличия алгебраического свойства — отсутствия делителей нуля в (Е', ©). В частности, в рассмотренных "чистых" ситуациях (Е', ©) не имеет делителей нуля при предположении, что многочлены плотны в Е. Это предположение существенно, как показывает пример пространства Е, изоморфному сильному сопряженному к С). Отсутствие делителей нуля в (Е', ©) означает инъек-тивность оператора свертки в Е , заданного ненулевым функционалом, что полезно, в частности, при исследовании уравнений свертки в конкретных пространствах.
Далее мы используем сведения из теории локально выпуклых пространств из [10-12]. Всюду ниже алгебра — это комплексное линейное пространство А с умножением, т. е. билинейным отображением А х А ^ А. Она называется топологической, если А является локально выпуклым пространством и умножение непрерывно из А х А в А.
1. Предварительные сведения
1.1. Основные пространства
Приведем необходимые сведения из статьи [9]. Пусть N € М; ьп,к : CN ^ М, п,к € М, — двойная последовательность непрерывных функций такая, что в
Ъи,к+1 < < п, к € N.
Символ A(CN) обозначает пространство всех целых (в ) функций. Для п,к € N определим весовые банаховы пространства
Еп,к := {I € А<)
}
г,к := вир ---—- <
гее" ехР(Уи,к(г)) >
и пространства Фреше Еп := р| ЕПкк. Топология в Еп задается последовательностью норм ||-||п,к, к € N.
кем
Каждое пространство Еп непрерывно вложено в Еп+1.
Положим Е := У Еп и введем в Е топологию индуктивного предела пространств Фреше Еп, п € М,
пем
относительно отображений вложения Еп в Е.
N \ 1/2 Л '
( N \ 1/ 2
Далее \г\ := I ^ \г^\2) для г = (г^€ <CN. Определим условия ¿=1
(V1) Уп Бш Ук Бв:
Ит 1п1 ут,к(г) - вир Уп,.э(1) \ =
(V 2) Уп Бш Ук Б.в БС < : У г, г € ^
^п^ + г) < ^т,к(г) + ьт,к(г) + С. Пусть д^I := дгт, 1 ^ 3 ^ N. Введем операторы сдвига
N
Тг(I)(г):= I(г + г), г, г € С", I € Е.
Замечание 1. Пусть выполняется условие (VI). (1) Все операторы д^, 1 ^ 3 ^ N, и тг, г € CN, линейно и непрерывно отображают Е в Е. (п) Для любого п € N существует ш € N такое, что всякое ограниченное в Еп множество относительно компактно в Ет. При этом ш для каждого п можно выбрать таким, как в условии (VI).
Конкретные примеры введенных пространств Е, описание их свойств можно найти в [9; 13; 14].
и
1.2. Умножение в Е'
Пусть С(Е) — пространство всех линейных непрерывных операторов в Е. Оно является алгеброй с умножением — композицией операторов. Введем коммутант К(д) системы {д^ 11 ^ о ^ N} в С(Е):
К(д) := {А € С(Е) | Адз = дзА в Е, 1 < о < N}
и коммутант К(т) системы операторов сдвига в С(Е):
К(т) := {А € С(Е) IVг € Атг = тгА в Е}.
Умножение в Е' оказывается непосредственно связанным с введенными коммутантами. Приведем их описание.
Теорема 1. [9] Пусть выполняются условия (VI) и (У2). Следующие утверждения равносильны: (г) А €К(д). (гг) А €К(т).
(ггг) Существует ф € Е' такое, что А(/)(г) = ф(тг(I)), I € Е, 2 € .
Далее предполагаем, что последовательность )п,ке!Ч удовлетворяет условиям (VI) и ^2). Определим в Е' операцию умножения ©. Для ф,ф € Е' положим
(ф © ф)(1) := фг(ф(тг(I))), I € Е.
Здесь нижний индекс у функционала показывает, по какой переменной действует функционал. Операция © определена корректно, а отображение ш : Е' ^ К(д),
ш(ф)(1 )(г) := ф(тг(I)), ф € Е', I € Е, г € С",
биективно. При этом ш — изоморфизм алгебр (Е', ©) и К(д), и обе они ассоциативны и коммутативны.
Пусть 5г(I) := I(г), I € Е, г € CN. Все функционалы 5г линейны и непрерывны на Е. Отметим, что для любого А € К(д) выполняется равенство ш-1(А) = 6оА.
2. Топологический изоморфизм Е' и К(д) 2.1. О топологической алгебре (Е', ©)
N
Е
j=i
Положим Nq := N U {0}; |a| := aj для а = (aj)N=i G NN. Введем функционалы
dal f
):= dz? • • • dzNN (0)> f G E' a G NN•
Ясно, что фа G E' для любого a G NN. Отметим равенство фа © фв = фа+в для любых а, в G NN.
Символом a(E', E) обозначим слабую топологию в E', определяемую естественной двойственностью между E и E'. Система {фа | a G NN} полна в (E',a(E', E)), т.е. замыкание ее линейной оболочки в (E',a(E',E)) совпадает с E'. Действительно, если f G E и фа^) = 0 для любого a G NN, то по теореме единственности f = 0.
Для п,к G N определим дуальные к || • \\n,k "нормы": для ф G E'n
\\ф\\'п,и := sup Ш f eEn,\\f ||„.fc<i
Для каждого n G N в En введем топологию Xn индуктивного предела пространств
En,k := {ф G En 1М\'п,и < к G N,
относительно отображений вложения En^k в En. При этом En,k — банахово пространство с нормой ЦфИП k (см. [10, гл. 8, 8.4.14]). В E' зададим топологию А проективного предела последовательности пространств (E'n,An), n G N, относительно отображений сужения j'n : E' ^ E'n, ф ^ ф|_ , сопряженных к вложениям jn : En ^ E.
Следующая лемма проясняет характер непрерывности операторов вида ш(ф) в E.
Лемма 1. Пусть выполняются условия (V1) и (V2). Тогда Уп 3ш Ук 3s 3D < для любого
ф G E' такого, что j'т(ф) G Em,k, любого f G En
Мф)и)\m,k < DUjMUmk\\fHn,«•
Доказательство. Зафиксируем n е N. Выберем m и для к определим s и C по (V2). Тогда для любого ф е E', для которого ]'т(ф) е Em,k, любого f е En
Ыф)(!)||m,fc = sup (f^ < \\jM\Lk sup f <
zecN exp(vm,k(z)) ' z,tecN exp(vm,k(z) + vm,k(t))
eC Ш.ф)\\т,к sup f + Z+ = eC Ш.ф)\\т,к If lln,s. Z , tecN exp(vn , s(z +t))
Мы докажем топологичность алгебры (E', ©) в двух частных, "чистых" случаях. Пусть vn^ = vnд для любых п,к е N. В этой ситуации каждое пространство En является банаховым с нормой \ • Цпд. Вследствие замечания 1 (ii) для любого п е N найдется m такое, что вложение En в Em компактно. Поэтому [12, теорема 25.20, замечание 24.24] (E', X) — пространство Фреше-Шварца с фундаментальной последовательностью непрерывных преднорм Н^'^фОНП:!., Ф е E', п е N. В этом случае топологию ц в К(д) зададим последовательностью преднорм qn(A) := sup \\A(f)\m(n) i, A е К(д), где m(n)
f eEn,\\f ||„,i<i
выбрано для n по лемме 1. Заметим, что (К(д),л) является пространством Фреше. Это влечет, что топология ц не зависит от выбора m(n).
Пусть теперь функции vn, k не зависят от n, т.е. vn, k = vi,k для любых n,k е N. В этом случае E является монтелевским пространством Фреше (см. [10, гл.8, 8.4.7], [12, гл.3, §24]), а (E',X) — индуктивным пределом последовательности банаховых пространств Ei,k, к е N, относительно их вложений в E'. Для к е N введем пространства Kk(д) = {A е К(д) | tk(A) = sup \\A(f^^ k < где
feE,\\f\i,s(fc)^i
s(k) выбрано для к по лемме 1. При этом tk — норма в Kk(d) и К(д) = У Kk(d). В данном случае
keN
топология ¡1 в К(д) — это топология индуктивного предела последовательности нормированных пространств Kk(д) с нормами tk, к е N, относительно их вложений в К(д). (Из теоремы 4, доказываемой ниже, следует, что ¡i не зависит от выбора s(h).)
Для обеих описанных несмешанных топологических структур топология X в E согласуется с двойственностью между E' и E, т. е. она мажорирует слабую a(E', E) и мажорируется топологией Макки г(E',E) [11, гл.IV, §3].
Теорема 2. Пусть выполняются условия (V1) и (V2) и функции vn k, n,к е N, не зависят от к или n. Тогда (E', X) с умножением © является топологической алгеброй.
Доказательство. Пусть vn,k = vn,i для любых n, к е N. Зафиксируем n е N и выберем m по условию (V2). По лемме 1 существует Ci < такое, что для любых ф,ф е E'
\Шф©Ф)\\'п,1 = sup M(^)(f))| <
f eEn,\\f \\„,1<1
Ш.ф)\\т,i sup Ыф)и)Цтд < Ci\\Jm(фЖ^Лз'тЖт,:.
f eEn,\\f \\„,1<1
Отсюда следует, что отображение © : (E', X) х (E', X) ^ (E', X) непрерывно.
Пусть теперь vn^ = vi,k для любых n,к е N. Тогда (E',X) = indk^Eikk. Зафиксируем к е N и выберем s по (V2). По лемме 1 существует C2 < такое, что для любых ф,ф е Eis
\\ф © фЦ'^ = sup ф(ш(ф)и))| <
f eE,\\f \\1,S<1
Mik sup Ыф)и)\i,k < C2\\Ф\ 1 ,kM'i,k. (2.1)
f eE,\\f \\i,s<i
Заметим, что E' х E' = |J [Ei,k х EiA. Кроме того, из теоремы об открытом отображении [12, тео-
keN ^ '
рема 24.30] следует, что произведение (E', X) х (E', X) является индуктивным пределом последовательности произведений Ei,k х Ei^, к е N, относительно их вложений в (E',X) х (E',X). (Пространство indk^ (^E1,k х имеет сеть, а (E',X) х (E',X) ультраборнологично.) Это и неравенство (2.1) влекут,
что отображение © : (E', X) х (E', X) ^ (E', X) непрерывно.
2.2. Условия, при которых ш — топологический изоморфизм
Приведем вначале результат из [9] для общего случая, когда рассматриваемые пространства снабжены слабыми и с ними связанными топологиями. Обозначим символом Ka(д) пространство К(д) со
слабо-операторной топологией, т. е. топологией поточечной сходимости, когда в E введена слабая топология a(E,E') (см. [11, гл. III, § 3, пример 4 (а), с. 104]). Отметим, что вследствие бочечности E пространство всех линейных слабо непрерывных операторов в E алгебраически совпадает с L(E) [10, гл. 8, § 8.6, с. 703; теорема 8.6.1].
Теорема 3. [9, теорема 3] Отображение ш является топологическим изоморфизмом локально выпуклых пространств (E',a(E',E)) и Ka(д).
В несмешанных ситуациях этот результат имеет место для более естественных топологий.
Теорема 4. Предположим, что выполняются условия (V1) и (V2) и функции vn,k, п, к G N, не зависят от к или п. Тогда алгебраический изоморфизм ш : (E', ©) ^ К(д) является также и топологическим изоморфизмом пространств E' и К(д) при наделении их топологиями А и ц соответственно.
Доказательство. Пусть vn^ = vn,i, п,к G N. Поскольку для любых п G N, ф G E' (число ш = ш(п), выбранное для n по лемме 1, участвует в определении топологии ¡ )
Wjn^-1^)))W'n,i = \\j'n (бошШШ, 1 = sup 1ш(фШ0)1 <
f eEn,\\f ||„,1<1
eVm,l(Q) sup sup
ЩЩА = ет^шф)),
!еЕп,\\!||„,1<1 гее" ехр(ут,1(г))
то отображение ш-1 непрерывно из (К(д),^) в (Е',Х). По теореме об открытом отображении ш — топологический изоморфизм (Е',Х) на (К(д),^).
Пусть теперь уП}к = vltк, п,к € N. Как и выше, для любых к € М, ф € Е' справедливо следующее неравенство, в котором в = в (к), выбранное для к по лемме 1, участвует в определении топологии ц:
IIш-1 (ш(ф))\\>^ < е"1'к(0Чк(ш(ф)).
Это влечет непрерывность отображения ш-1 из Кк(д) в Е^. Значит, ш-1 : (К(д),^) ^ (Е',Х) непрерывно. Вследствие леммы 1 для любых к € М, ф € выполняется неравенство Ьк(ш(ф)) ^ ^НфЩ к. Поэтому отображение ш : (Е',Х) ^ (К(дтакже непрерывно.
Пусть да := д ам для а € М5; С(д) := врап{да | а € М5}, т. е. С(д) — множество всех много-
дг1 •••ог"
членов от операторов дз, 1 ^ о ^ N.
Следствие 1. Предположим, что выполняются условия (VI) и ^2) и функции уП}к, п,к € М, не зависят от к или п. Множество С(д) плотно в (К(д),р).
Следствие 1 вытекает из плотности системы функционалов {фа | а € М5} в (Е',Х) и того, что ш(фа) = = да для любого а € М5.
Укажем, при каких условиях С(д) обладает более сильным аппроксимационным свойством, а именно, когда всякий оператор из К(д) является дифференциальным оператором бесконечного порядка с постоянными коэффициентами. Ряд достаточных условий этого для пространств целых функций, реа-лизумых в виде пространств последовательностей, получен в [15].
Следствие 2. Предположим, что выполняются условия условия (V!) и ^2) и функции уП}к, п,к € М, не зависят от к или п. Следующие утверждения равносильны:
(I) {фа I а € М,} — базис в (Е',Х).
(II) {да | а € М,} — базис в (К(д),р).
3. Ассоциированный оператор свертки
Зафиксируем ф € Е' и положим Тф(ф) := ф © ф, ф € Е'. Оператор Тф назовем оператором свертки. Он отображает Е' в Е'. Положим Аф := ш(ф), т.е. Аф!)(г) = ф(тг(I)), I € Е, г € С5. Поскольку для любых ф € Е', I € Е
Тф(ф)!) = (ф © ф)и) = ф(Аф(I)), (3.2)
то Тф непрерывен в (Е',а(Е', Е)). Из (3.2) следует также, что Тф : Е' ^ Е' - оператор, сопряженный к Аф : Е ^ Е.
Далее докажем утверждение об отсутствии делителей нуля в (Е , ©), справедливое при выполнении некоторых топологических условий. Ниже га := г^1 • • • г,, а! := а1! • • • а,!, г € С5, а € М5.
Теорема 5. Предположим, что все многочлены содержатся в E и плотны в E. Пусть, кроме того, существует локально выпуклая топология Л в E', согласующаяся с двойственностью между E' и E, такая, что (E', X) является топологической алгеброй с умножением ©. Тогда E' с умножением © не имеет делителей нуля.
Доказательство. Пусть ф © ф = 0, ф,ф G E', ф = 0. Поскольку множество И := {фа | а G NN} полно в (E',a(E',E)) и топология Л согласуется с двойственностью между E' и E, то Q полно и в (E',X) [11, гл. IV, §3, 3.1]. Значит, существуют сети
Rp =53 aY,iФу, $ G Л, и Sn = Ъс,пФс, П G
yen" СеК
сходящиеся в (E',Л) к ф и ф соответственно. При этом для любых $ G Л и п G А не более конечного числа коэффициентов aYf G C и ßz<n G C отлично от нуля. Тогда, учитывая, что ф7 © фz = ф^+z, и непрерывность умножения © : (E',X) х (E', X) — (E', X), получим:
0 = ф © ф = ( lim Rf) © ( lim Sv) = lim I aY fbz n I ф„ (3.3)
\рел V VneA n (р,п)елхл ¿-N \ z,n J *
vEN" \Y+C=v /
(последний предел существует и равен 0 в (E',X)). Поскольку (фа)г (zß/ß!) = Sa,ß для любых а, ß G ,
то в C для любых G NN существуют lim aY,p, равный фг(zY/y!) =: aY, и lim bz,n, равный фг(zz/Z) =
рел neA
= : bz. Кроме того, с учетом (3.3), для любого v G NN имеет место равенство
0 У aYbz.
Y+z=v
Так как множество всех многочленов плотно в E, то существует y G Nn такое, что aY = 0. Поскольку кольцо формальных степенных рядов от N переменных (над полем C) целостное (см., например, [16, гл. 2, § 4, 4.1], [17, доказательство теоремы 9.12]), то bz =0 для любого Z G NN. Поэтому ф = 0.
Следствие 3. Пусть выполняются предположения теоремы 5. Тогда для любого ф G E'\{0} множество AV(E) плотно в E.
Доказательство. По предыдущей теореме оператор свертки Тф : E' — E' инъективен. Отсюда и того, что Тф — сопряженный к отображению Аф : E — E, вытекает плотность AV(E) в E [10, гл. 8, 8.6, с. 706].
Следствие 4. Предположим, что функции vn^, n,k G N, не зависят от k или n и множество всех многочленов содержится и плотно в E. Тогда алгебра E с умножением © не имеет делителей нуля и для любого ф G E'\{0} множество AV(E) плотно в E.
Замечание 2. (i) Условие плотности множества всех многочленов в E существенно для справедливости следствия 4. Пусть E задается последовательностью vn^(z) = vn,i(z) := n(|Imzl +log(1 + |z|)), n,k G N, z G CN (функции vn,k от к не зависят и удовлетворяют условиям (V1) и (V2)). По теореме Пэли-Винера-Шварца [18, теорема 7.3.1] преобразование Фурье-Лапласа F : ф — фх(е-11х'Г>), t G CN, Ф G C(Rn )', является топологическим изоморфизмом сильного сопряженного к пространству Фреше
N
CTO(MN) всех бесконечно дифференцируемых в RN функций на E (здесь (x,t) := ^ Xjtj). При этом
j=i
множество C[z] всех многочленов переменных zi, ...,zn содержится в E, не совпадает с E и замкнуто в E. (Его замкнутость следует из конечномерности всех пересечений C[z]nEn, n G N.) Значит, оно не плотно в E. Преобразование F : ф — фх(e-ll'-z,ttl), t G RN, ф G E', является топологическим изоморфизмом сильного сопряженного к E на CTO(MN). При этом F — отображение, сопряженное к F : CTO(MN)' — E относительно дуальных пар (C~(MN)',C~(mn)) и (E,E').
Положим ф := ^Р(ф), ф G E'. Для Тф : E' — E' отображение FTvF-i является оператором умножения на функцию ф. Значит, для любого ненулевого функционала ф G E' такого, что на некотором открытом подмножестве RN функция ф нулевая, оператор свертки Тф : E' — E' неинъективен. (ii) В конкретных ситуациях в [15; 17, гл.9, §3; 19] доказаны условия, при которых операторы из К(д) сюръективны или являются топологическими изоморфизмами счетных индуктивных или проективных пределов весовых банаховых пространств целых функций. Ситуации, рассмотренные в упомянутых работах, специфичны, и для них выполняются определенные условия, связанные с природой рассматриваемых пространств.
Литература
[1] Хелемский А.Я. Гомология в банаховых и топологических алгебрах. М.: Изд-во МГУ, 1986. 288 с.
[2] Хелемский А.Я. Банаховы и полинормированные алгебры: общая теория, представления, гомологии. М.: Наука, 1989. 466 с.
[3] Ткаченко В.А. Об операторах, коммутирующих с обобщенным интегрированием в пространствах аналитических функционалов // Матем. заметки. 1979. Т. 25. Вып. 2. С. 271-282. URL: http://mi.mathnet.ru/mz8303.
[4] Ткаченко В.А. Спектральные разложения в пространствах аналитических функционалов // Изв. АН СССР. Сер. матем. 1979. Т. 43. № 3. С. 654-713. DOI: http://dx.doi.org/10.1070/IM1980v014n03ABEH001146.
[5] Ткаченко В.А. Спектральная теория в пространствах аналитических функционалов для операторов, порождаемых умножением на независимую переменную // Матем. сб. 1980. Т. 112(154). № 3(7). С. 421-466. DOI: http://dx.doi.org/10.1070/SM1981v040n03ABEH001833.
[6] Гуревич Д.И. Операторы обобщенного сдвига с правым инфинитезимальным оператором Штурма—Лиувилля // Матем. заметки. 1979. Т. 25. Вып. 3. С. 393-408. DOI: https://doi.org/10.1007/BF01159513.
[7] Литвинов Г.Л. О преобразовании Лапласа на группах Ли // Функц. анализ и его прил. 1972. Т. 6. В. 1. С. 83-84. DOI: https://doi.org/10.1007/BF01075519.
[8] Рашевский П.К. Ассоциативная сверхоболочка алгебры Ли, ее регулярное представление и идеалы // Тр. ММО. 1966. Т. 15. С. 3-54.
[9] Иванова О.А., Мелихов С.Н., Мелихов Ю.Н. О коммутанте операторов дифференцирования и сдвига в весовых пространствах целых функций // Уфимский матем. журн. 2017. Т. 9. № 3. С. 38—49.
[10] Эдвардс Р. Функциональный анализ. Теория и приложения. М.: Мир, 1969. 1072 с.
[11] Шефер Х. Топологические векторные пространства. М.: Мир, 1971. 360 с.
[12] Meise R., Vogt D. Introduction to Functional Analysis. Oxford: Clarendon, 1997. 448 p.
[13] Иванова О.А., Мелихов С.Н. Об операторах, перестановочных с оператором типа Поммье в весовых пространствах целых функций // Алгебра и анализ. 2016. Т. 28. № 2. С. 114-137. DOI: https://doi.org/10.1090/spmj/1447.
[14] 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. V. 11. P. 1407-1424. DOI: https://doi.org/10.1007/s11785-016-0617-5.
[15] Коробейник Ю.Ф., Моржаков В.В. Общий вид изоморфизмов, перестановочных с оператором дифференцирования, в пространствах целых функций медленного роста // Матем. сб. 1973. Т. 91(133). № 4. С. 475-487. DOI: http://dx.doi.org/10.1070/SM1973v020n04ABEH001886.
[16] Городенцев А.Л. Алгебра. Учебник для студентов-математиков. Ч. 1. М.: Изд-во МЦНМО, 2013. 486 с.
[17] Лелон П., Груман Л. Целые функции многих комплексных переменных. М.: Мир, 1989. 352 с.
[18] Хермандер Л. Анализ линейных дифференциальных операторов с частными производными. Т. 1. Теория распределений и анализ Фурье. М.: Мир, 1986. 464 с.
[19] Martineau A. Equations differentielles d'ordre infini // Bull. Soc. Math. France. 1967. V. 95. P. 109-154.
References
[1] Helemskii A.Ya. Gomologiia v banakhovykh i topologicheskikh algebrakh [Homology of Banach and topological algebras]. M.: Izd-vo MGU, 1986, 288 p. [in Russian].
[2] Helemskii A.Ya. Banakhovy i polinormirovannye algebry: obshchaia teoriia, predstavleniia, gomologii [Banach and multi-normed algebras: general theory, presentations, gomologies]. M.: Nauka, 1989, 466 p. [in Russian].
[3] Tkachenko V.A. Ob operatorakh, kommutiruiushchikh s obobshchennym integrirovaniem v prostranstvakh analiticheskikh funktsionalov [On operators that commute with generalized integration in spaces of analytic functionals]. Matem. zametki [Mathematical notes], 1979, Vol. 25, no 2, pp. 141-146. Available at: http://mi.mathnet.ru/mz8303 [in Russian].
[4] Tkachenko V.A. Spektral'nye razlozheniia v prostranstvakh analiticheskikh funktsionalov [Spectral decompositions in spaces of analytic functionals]. Izv. AN SSSR. Ser. matem. [Mathematics of the USSR-Izvestiya], 1980, Vol. 14, no. 3, pp. 597-651. DOI: http://dx.doi.org/10.1070/IM1980v014n03ABEH001146 [in Russian].
[5] Tkachenko V.A. Spektral'naia teoriia v prostranstvakh analiticheskikh funktsionalov dlia operatorov, porozhdaemykh umnozheniem na nezavisimuiu peremennuiu [Spectral theory in spaces of analytic functionals for operator generated by multiplication by the independent variable]. Matem. sb. [Mathematics of the USSR-Sbornik], 1981, Vol. 40, no 3, pp. 387-427. DOI: http://dx.doi.org/10.1070/SM1981v040n03ABEH001833 [in Russian].
[6] Gurevich D.I. Operatory obobshchennogo sdviga s pravym infinitezimal'nym operatorom Shturma—Liuvillia [Generalized displacement operators with a right infinitesimal Sturm-Liouville operator]. Matem. zametki Mathematical Notes, 1979, Vol. 25, no. 3, pp. 208-215. DOI: https://doi.org/10.1007/BF01159513 [in Russian].
[7] Litvinov G.L. O preobrazovanii Laplasa na gruppakh Li [On Laplace transform on Lie groups]. Funkts. analiz i ego pril. [Functional Analysis and Its Applications], 1972, Vol. 6, no 1, pp. 76-77. DOI: https://doi.org/10.1007/BF01075519 [in Russian].
[8] Rashevskii P.K. Assotsiativnaia sverkhobolochka algebry Li, ee reguliarnoe predstavlenie i idealy [Associative ultra-envelope of Lie algebra, its regular presentation and ideals]. Tr. MMO [Transactions of the Moscow Mathematical Society], 1966, Vol. 15, pp. 3-54. [in Russian].
[9] Ivanova O.A, Melikhov S.N., Melikhov Yu.N. O kommutante operatorov differentsirovaniia i sdviga v vesovykh prostranstvakh tselykh funktsii [On the commutant of differentiation and translation operators in weighted spaces of entire functions]. Ufimskii matem. zhurn. [Ufa Mathematical Journal], 2017, Vol. 9, no 3, pp. 37-47. DOI: https://doi.org/10.13108/2017-9-3-37.
[10] Edwards R.E. Funktsional'nyi analiz. Teoriia i prilozheniia [Functional Analysis. Theory and Applications]. M.: Mir, 1969, 1072 p. [in Russian].
[11] Schaefer H. Topologicheskie vektornye prostranstva [Topological vector spaces]. M.: Mir, 1971, 360 p. [in Russian].
[12] Meise R., Vogt D. Introduction to Functional Analysis. Oxford: Clarendon, 1997, 448 p. [in English].
[13] Ivanova O.A., Melikhov S.N. Ob operatorakh, perestanovochnykh s operatorom tipa Pomm'e v vesovykh prostranstvakh tselykh funktsii [On Operators Commuting with a Pommiez type Operator in Weighted Spaces of Entire Functions]. Algebra i analiz [St. Petersburg Mathematical Journal], 2017, Vol. 28, no 2, pp. 209-224. DOI: https://doi.org/10.1090/spmj/1447 [in Russian].
[14] 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: https://doi.org/10.1007/s11785-016-0617-5 [in English].
[15] Korobeinik Yu.F., Morzhakov V.V. Obshchii vid izomorfizmov, perestanovochnykh s operatorom differentsirovaniia, v prostranstvakh tselykh funktsii medlennogo rosta [General form of isomorphisms commuting with differentiation in spaces of entire functions of slow growth]. Matem. sb. [Mathematics of the USSR-Sbornik], 1973, Vol. 20, no 4, pp. 493-505. DOI: http://dx.doi.org/10.1070/SM1973v020n04ABEH001886 [in Russian].
[16] Gorodentsev A.L. Algebra. Uchebnik dlia studentov-matematikov. Ch. 1 [Algebra. Textbook for students of mathematics. Part 1]. M.: Izd-vo MTsNMO, 2013, 486 p. [in Russian].
[17] Lelong P., Gruman L. Tselye funktsii mnogikh kompleksnykh peremennykh [Entire Functions of Several Complex Variables]. M.: Mir, 1989, 352 p. [in Russian].
[18] Hormander L. Analiz lineinykh differentsial'nykh operatorov s chastnymi proizvodnymi. T. 1. Teoriia raspredelenii i analiz Fur'e [The Analysis of Linear Partial Differential Operators. Vol. I: Distribution Theory and Fourier Analysis]. M.: Mir, 1986, 464 p. [in Russian].
[19] Martineau A. Equations differentielles d'ordre infini. Bull. Soc. Math. France, 1967, Vol. 95, pp. 109-154 [in French].
O.A. Ivanova, S.N. Melikhov2
ON TOPOLOGICAL ALGEBRAS OF ANALYTIC FUNCTIONALS WITH A MULTIPLICATION DEFINED BY TRANSLATIONS
We define a multiplication — convolution in the dual of a countable inductive limit E of weighted Frechet spaces of entire functions of several variables. This algebra is isomorphic to the commutant of the system of partial derivatives in the algebra of all continuous linear operators in E. In the constructed algebra of analytic functionals in two pure cases a topology is defined. With this topology the mentioned algebra is topological and it is now topologically isomorphic to the considered commutant with its natural operator topology. It is proved that in this pure situations the present algebra has no zero divisors provided that polynomials are dense in E. We show that this condition is essential for the validity of the last statement.
Key words: weighted space of entire functions, algebra of analytic functionals, topological algebra, communant, convolution operator.
Citation. Ivanova O.A., Melikhov S.N. O topologicheskikh algebrakh analiticheskikh funktsionalov s umnozheniem, opredeliaemym sdvigami [On topological algebras of analytic functionals with a multiplication defined by translations]. Vestnik Samarskogo universiteta. Estestvennonauchnaia seriia [Vestnik of Samara University. Natural Science Series], 2018, Vol. 24, no. 3, pp. 14-22. DOI: http://doi.org/10.18287/2541-7525-2018-24-3-14-22 [in Russian].
Статья поступила в редакцию 4/IX/2018. The article received 4/IX/2018.
This work is licensed under a Creative Commons Attribution 4.0 International License.
2Ivanova Olga Alexandrovna (neo_ivolga@mail.ru), Institute for Mathematics, Mechanics and Computer Science in the name of I.I. Vorovich, Southern Federal University, 105/42, Bolshaya Sadovaya Street, Rostov-on-Don, 344006, Russian Federation.
Melikhov Sergej Nikolaevich (melih@math.rsu.ru), Institute for Mathematics, Mechanics and Computer Science in the name of I.I. Vorovich, Southern Federal University, 105/42, Bolshaya Sadovaya Street, Rostov-on-Don, 344006, Russian Federation; Southern Mathematical Institute — the Affiliate of Vladikavkaz Scientific Centre of the Russian Academy of Sciences, 53, Vatutina Street, Vladikavkaz, 362027, Republic of North Ossetia-Alania, Russian Federation.
