Научная статья на тему 'Борнологии и естественное расширение классoв регулярных элементов в алгебрах операторов'

Борнологии и естественное расширение классoв регулярных элементов в алгебрах операторов Текст научной статьи по специальности «Математика»

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

Аннотация научной статьи по математике, автор научной работы — Кондаков Владимир Петрович, Рунов Леонид Владимирович, Ковальчук Владимир Евстафиевич

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

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

Текст научной работы на тему «Борнологии и естественное расширение классoв регулярных элементов в алгебрах операторов»

Владикавказский математический журнал июль-сентябрь, 2006, Том 8, Выпуск 3

УДК 517.986

БОРНОЛОГИИ И ЕСТЕСТВЕННОЕ РАСШИРЕНИЕ КЛАССОВ РЕГУЛЯРНЫХ ЭЛЕМЕНТОВ В АЛГЕБРАХ ОПЕРАТОРОВ

В. П. Кондаков, Л. В. Рунов, В. Е. Ковальчук

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

Пусть Е — полное отделимое линейное топологическое пространство и Ь(Е) — алгебра непрерывных линейных эндоморфизмов пространства Е.

В случае ненормируемого локально выпуклого пространства Е на Ь(Е), как известно [1], не существует никакой стандартной топологии равномерной сходимости на ограниченных множествах, при которой операция умножения была бы непрерывна или множество обратимых элементов было бы открыто.

Непрерывность композиции операторов полезна в ряде случаев. Например, при построении спектральной теории, аналогичной теории банаховых алгебр, при построении голоморфного функционального исчисления и др. Чтобы обеспечить непрерывность указанной операции умножения, Ь(Е) наделяют либо псевдотопологией [2], либо борноло-гией ([3], с. 23-44).

В настоящей работе алгебры операторов наделяются борнологиями и в них описываются классы элементов, которые можно рассматривать как расширение известных классов регулярных (ограниченных) элементов этих алгебр (определения будут даны ниже). Показано, что расширенные классы так называемых квазирегулярных элементов содержат многие употребительные классы операторов и в некоторых случаях исчерпывают Ь(Е) с точностью до диагональных операторов в некотором базисе. На примерах обсуждаются спектры этих операторов.

Для удобства читателей напомним отдельные факты из теории борнологических пространств (желающие могут подробнее ознакомиться в [3-7]).

Определение 1. Пусть во множестве У выделена система подмножеств в, обладающая следующими свойствами:

1) если А е в и В е в, то А и В е в;

2) если А С В и В е в, то А е в;

3) для каждой точки у е У одноэлементное множество {у} е в.

Систему подмножеств в называют борнологией на У. Элементы множества в называют ограниченными множествами.

© 2006 Кондаков В. П., Рунов Л. В., Ковальчук В. Е.

Множество Y с заданной на нем борнологией в называют борнологическим пространством и обозначают (Y,в)- Возвращаясь к алгебре эндоморфизмов L(E) локально выпуклого пространства E, наделим L(E) борнологией равностепенной непрерывности, т. е. в качестве ограниченных в L(E) множеств возьмем множество всех равностепенно непрерывных подмножеств пространства L(E).

Борнологическое пространство L(E) с борнологией равностепенной непрерывности принято обозначать через Lec(E). Таким образом, множество M С Lec(E) является ограниченным в Lec(E) тогда и только тогда, когда для всякой окрестности V нуля

в E множество Р| A-1(V) — окрестность нуля в E.

AeM

Если топология в E определяется счетной системой полунорм (У ■ ||r)rgN, то критерий ограниченности множества M в борнологическом пространстве Lec(E) можно сформулировать и в терминах полунорм || ■ ||r, r £ N.

Предложение 1. Множество M С Lec(E) ограничено в пространстве Lec(E) тогда и только тогда, когда существуют отображение п : N — N и функция С : N — R+ такие, что

sup {||Ax||r : ||x||n(r) ^ 1} ^ C(r) (r £ N).

AeM

Определение 2. Пусть Y — векторное пространство над полем C (или R). Говорят, что борнология в на Y согласуется с алгебраической структурой, если алгебраические операции в (Y, в) ограничены, т. е. переводят ограниченные множества в ограниченные. В этом случае говорят, что (Y, в) — векторное борнологическое пространство.

Пространство Lec(E) — векторное борнологическое пространство.

Определение 3. Говорят, что обобщенная последовательность {ул} в векторном борнологическом пространстве (Y, в) сходится к уо £ Y в смысле Макки (или борнологиче-ски), если существует ограниченное множество B £ в такое, что для всякого е > 0 существует А0 такое, что (ул — у0) £ еВ для всех А > А0.

Для пространства Lec(E) справедливо

Предложение 2. Обобщенная последовательность {Тл}лел операторов Тл £ L(E) сходится к Т £ L(E) в смысле Макки в Lec(E) тогда и только тогда, когда существуют функции s : N — N и C : N — R+ такие, что для любого е > 0 существует Ао(е) такое, что

||Тл — Т||s(r)>r < еС(r) (А > Ао, Vr £ N),

где ||Т||s,r = sup{||Tx||r : ||ж||я < 1}, Т £ L(E).

Функционалы || ■ ||s,r, s, r £ N, обладают следующими свойствами:

1) 0 ^ ||Т||r>s ^ +то, Т £ L(E); если Т = 0, то ||Т||s,r = 0 для любых s,r £ N; если Т = 0, то для любого r £ N существует s(r) £ N такое, что 0 < ||Т||s(r),r < то;

2) ||АТ||s,r = |А| ||Т||s,r для любых А £ C и s,r £ N;

3) ||Т1 + T2||s,r < ||Т1||я>г + Ши^ для любых Т1,Т2 £ L(E) Vs,r £ N;

4) оператор Т принадлежит Lec(E) тогда и только тогда, когда существуют отображения s : N — N и С : N — R+ такие, что ||Т||s(r),r ^ С(r) для всех r £ N.

Последнее следует из того, что если L(Es,Er) — множество всех непрерывных линейных операторов, действующих из полунормированного пространства (E, || ■ ||s) в полунормированное пространство (E, || ■ ||r), то оператор Т принадлежит L(Es, Er) тогда и только тогда, когда ||Т||s,r < то.

Определение 4. Алгебра R называется борнологической алгеброй, если R — векторное борнологическое пространство, в котором операция умножения R х R э (ж, у) — жу £ R ограничена.

Алгебра Lec(E) с композицией операторов в качестве умножения является борноло-гической алгеброй.

В работах ([3; с. 83], [6; с. 400], [4; с. 94], [7] и др.) продуктивно использовались понятия регулярного элемента кольца и регулярного спектра элемента кольца. Регулярные элементы кольца назывались также ограниченными (Ж. Аллен) или ¿-ограниченными (С. Варнер).

Определение 5. Элемент a борнологической алгебры R с единицей e называется регулярным, если резольвента R(A, a) определена и ограничена в окрестности бесконечности.

Из определения 5 непосредственно следует, что резольвента в окрестности бесконечности аналитична и представима рядом Неймана. Регулярность элемента a равносильна (см. [3; с. 83]) тому, что существует константа M > 0 такая, что множество {an/Mn}n6N является ограниченным. Поэтому элемент T £ Lec(E) будет регулярным тогда и только тогда, когда существуют константа M и функция s : N ^ N такие, что

||Tls(r),r < Mn (r £ N) (1)

или ||Tnx||r ^ Mn|x|s(r) для всех r £ N и x £ E. Регулярные элементы в пространстве Lec(E) можно охарактеризовать и с помощью спектрального радиуса

R(T) = inf lim П||TnHs(r)r = inf{M > 0 : (Vn £ N) ||Tn||s(r) r < Mn}

rgN V

(см., напр., [13]). Для того, чтобы элемент T £ Lec(E) был регулярным, необходимо и достаточно, чтобы R(T) < то.

В [8] было предложено модифицировать известные характеристики целых функций и характеризовать операторы T £ L(E) порядком ß(T), где

_ ln ha

в(Т) = sup inf lim 11

n II

s,r

rSN sSN n n ln П

и типом

a(T) = sup inf lim —^ , где ßr(T) = inf lim ln HA Hs,r .

rSN sSN ner > sSN n n ln П

Тогда, очевидно, для того, чтобы элемент T £ Lec(E) был регулярным, необходимо и достаточно, чтобы порядок в(Т) был либо отрицательным, либо равным нулю при типе a(T) < то.

Определение 6. (см. [3; с. 83]) Регулярным резольвентным множеством регулярного элемента a борнологической алгебры R с единицей называется множество всех таких комплексных чисел А, для которых резольвента R(A, a) существует и является регулярным элементом. Это множество будем обозначать pr(a). Регулярным спектром a называется дополнение регулярного резольвентного множества.

Регулярный спектр элемента a будем обозначать Spr(a).

Предложение 3. Регулярное резольвентное множество регулярного элемента pr (a) — это наибольшее открытое множество, на котором резольвента локально ограничена.

pr(a) = inf {М : M > 0, {an/Mn}nSN — ограниченное множество}.

Регулярный спектр регулярного элемента компактен и не пуст.

Предложение 3 следует из двух тождеств:

(а — во — Л)-1 = (а — во)-1 — (а — во)-2((а — во)-1 — Л-1 )-1, ((а — во)-1 — Л-1)-1 = (а — во)Л(а — во — Л)-1.

В определении 6 можно отказаться от регулярности элемента а £ К. В этом случае резольвентное регулярное множество рг (а) может оказаться пустым, но обязательно открытым множеством. Спектр Ярга — неограниченное замкнутое множество.

На регулярные элементы борнологической алгебры К переносится большая часть теории Гельфанда для банаховых алгебр. Строится функциональное исчисление Рисса — Данфорда. Если К — коммутативная борнологическая алгебра с единицей, то множество Кг регулярных элементов из К образует коммутативную подалгебру, для которой спектральный радиус является мультипликативной полунормой. Этот факт является ключевым к дальнейшему развитию теории.

В случае некоммутативности алгебры К (как в интересующем нас случае с алгеброй Ьее(Е)), берут бикоммутант регулярного элемента а, затем — регулярную часть этого бикоммутанта. Получают коммутативную борнологическую алгебру, состоящую из регулярных элементов. Регулярные спектры новой подалгебры сохраняют свои значения, и далее строится теория, аналогичная случаю Кг.

Отмеченные факты составляют суть работ [3] и [6]. По существу, в них выделен класс элементов алгебры К, спектр которых «достаточно хорош». Но можно расширить класс «хороших» элементов алгебры Ьее(Е).

Определение 7. Элемент Т £ Ьее(Е) назовем квазирегулярным, если существуют отображения в : N ^ N и С : N ^ Ж+ такие, что ЦТ™||5(г),г ^ Сп(г) для всех п £ N и г £ N (сравните с неравенством (1)).

Определение 8. Число Ао назовем сильно регулярной точкой оператора Т £ Ьее(Е), если в этой точке определена резольвента К(Ао, Т) = (Ао1 — Т)-1, которая является квазирегулярным элементом кольца Ьее(Е).

Как и для замкнутых операторов в банаховой ситуации, в кольце Ьее(Е) актуальным вопросом является регулярность бесконечности. Для регулярных элементов удобно принимать бесконечность за элемент регулярного резольвентного множества, так как в окрестности бесконечности резольвента определена и локально ограничена. Для не регулярных элементов кольца Ьее(Е) дадим

Определение 9. Бесконечность назовем сильно регулярной точкой оператора Т £ Ьее(Е), если Т является квазирегулярным элементом кольца Ьее(Е). Множество всех сильно регулярных точек оператора Т £ Ьее(Е) будем обозначать через рс(Т).

Определение 10. Дополнение С\рс(Т) назовем ультраспектром оператора Т. Ультраспектр оператора Т будем обозначать через Ярс(Т). Очевидно, справедливы включения Рг(Т) С Рс(Т) С р(Т), Яр(Т) С Ярс(Т) С Ярг(Т).

Понятия квазирегулярной точки оператора и ультраспектра оператора были впервые введены для операторов, действующих в пространствах Ад аналитических внутри круга {я : |г| < К} функций, в работах [9], [11]. В [11] рассматривалось обобщенное функциональное исчисление в Ьее(Ад). Многие идеи работ [9] и [11] послужили основой для дальнейших обобщений в работах [13-15] и других.

В приводимых ниже примерах рассматривается пространство Ад всех функций, аналитических в круге {|г| < К} с топологией равномерной сходимости на компактах внутри

этого круга. Эта топология счетно-нормированная и описывается, например, следующим набором норм:

II/ 1к = тах |/(*)1> гДе гп Т Я,

или

те те

Л „„„„ „ ~к

гп- > если / (*0 = ^ "к ^ •

аг,

к=о к=о

Пусть оператор Т £ Ь(Л^). В дальнейшем будем рассматривать два способа конкретного задания оператора Т:

а) оператор Т определяется матрицей {впк} тейлоровских коэффициентов системы функций

те

Т (гк ) = £ зпк гп; п=о

б) оператор Т задается системой функций вк= Т(хк).

Предложение 4 (см. [9] или [10]). Точка Ао £ Рс(Т) для некоторого Т £ Ь(Лк) тогда и только тогда, когда в некоторой окрестности точки Ао существует матрица {ппк(А)}, обратная матрице, задающей оператор АI — Т, и по любому г < Я найдется р(г) < Я, с(г) < ж и 5 (г) > 0 такие, что

те

II(А1 — Т)-1||р(г)>г =8ир^ |ппк(А)|гпр—к < с(г) VА : |А — Ао| < 5(г).

к п=0

Для А0 = ж надо брать окрестность |А| > 5(г).

Предложение 5. Точка Ао £ рг (Т) тогда и только тогда, когда для любого г < Я существуют р(г) < Я, 5 > 0, с > 0 такие, что для всех А, удовлетворяющих неравенству |А — Ао| ^ 5, выполняется

|Ппк (А) |гпр—к < с.

к

п=о

Рассматриваемые примеры содержат описания операторов в функциональных пространствах, имеющих реализации в виде пространств Кете числовых последовательностей

Уот,п] = = (Ы : Кп|р= |£|г < ж, г £ N

с топологией, задаваемой системой полунорм (| ■ |г), где 1 ^ р ^ ж, 0 ^ аг,п ^ аг+1,п, г, п £ N. В работе [16] показано, что в этих пространствах всегда имеется система ограниченных множеств, состоящая из р-эллипсоидов, и эта система является базой некоторой борнологии, которую иногда называют борнологией фон Неймана (см., напр., [4]). Естественно называть ее Кёте-борнологией.

В заметке [17] показано, что имеется класс пространств Кете, в которых каждый оператор из Ь(Е) с точностью до диагонального оператора в некотором базисе является или компактным возмущением проектора, либо тождественного оператора, или просто компактным оператором. Здесь компактность подразумевалась в каждом ассоциированном банаховом пространстве (это слабее компактности в Е).

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

Тем самым каждый оператор из Ь(Е) с точностью до диагонального преобразования является квазирегулярным с достаточно «хорошими» спектральными свойствами, так как в нормированных пространствах спектр указанных операторов хорошо изучен.

Для счетно-нормированного пространства Е покажем, что класс квазирегулярных операторов включает различные возмущения обратимых операторов и проекторов.

Предложение 6. Пусть для оператора Т £ £(Е) в счетно-нормированном пространстве Е оператор Т2 — Т = Я является квазирегулярным, т. е. имеется система полунорм (У ■ ||г), задающая исходную топологию Е, такая, что для любых г £ N существует С (г) > 0, обеспечивающее неравенство ||Яе||г ^ С (г)||е||г при всех е £ Е. Тогда Т тоже квазирегулярен.

< Пространство Е всегда можно считать наделенным топологией, задаваемой монотонной системой полунорм (|| ■ ||г), т. е. для окрестностей нуля Цг = {е £ Е : || ■ ||г ^ 1} выполнены вложения Ц Э Ц Э ••• Э Ц Э Ц+1 Э •••. В силу непрерывности оператора Т для любого г £ N существуют з(г) и В (г) > 0 такие, что ||Те||г ^ В(г)||е||5(г) при всех е £ Е. Покажем, что выполнено условие

(Vг £ N (3 в(г)) (3 Я(г) > 0) Vе £ Е ||Тпе|г ^ (^(г))га||е||5(г)• Ввиду неравенства треугольника получаем

||Т2е||г < ||(Т2 — Т)е||г + ||Те||г < С(г)||е||г + В(г)||е|Цг) < £2(г)||е||5(г), е £ Е. Если доказано, что

ЦТ*е||г < (-О(г))*||е|в(г), е £ Е, г < п — 1, то снова с использованием неравенства треугольника получаем

||Тпе|г < ||(Т" — Т"-1 )е||г + ||(Т"-1 — Т"-2)е||г + ••• + ||(Т2 — Т)е||г + ||Те||г

п-2 п-2

< £(Я(г))4С(г)||е|Цг) < £№)Г+1||е||5(г)

¿=0 ¿=0

^ (Д(В)(Т) —^(г) "е»'(г) < (ЭДНеЦ^ е £ Е

Требуемое условие для степеней Т доказано. В нем можно предполагать ^(г) ^ ^(г + 1), г £ N чего, в случае необходимости, можно добиться увеличением этих констант.

Определим на Е новую систему окрестностей нуля, полагая

Г| Тп

= 8рап (Д(1))„ Ц1,

II Т"

^ = ^рап У (ОД)"Ц,•••

п=0

(здесь в объединениях при п = 0 присутствует Цг). Легко заметить, что ^ Э Цг Э ^(г), согласно доказанному выше условию, так что — базис окрестностей нуля исход-

ной топологии Е. Если е £ (д(Г))п Ц, то ;щеу £ {1Нг))п+1 Ц, т. е. Те £ , а значит,

обозначив || ■ ||г функционал Минковского множества , имеем

1|Те||г < ОД||е||г, е £ Е,

что и требовалось доказать.

Аналогичными рассуждениями можно показать, что в произвольном локально выпуклом пространстве Е класс квазирегулярных операторов включает в себя различные возмущения инволютивных изоморфизмов.

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

Пусть Е = 1р[аГ;П], р ^ 1, и матрица [аг,п] удовлетворяет дополнительному условию

аг,п I 0 (п г е н,

Яг+1,-

которое называют правильностью в смысле Драгилева. В этом случае говорят также, что E имеет правильный канонический базис (ортов).

Пространства ) в приведенных выше и ниже примерах изоморфны, очевид-

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

(Vr) (3 s = s(r)) lim ar'"as'"-1 =0. (2)

üg,nür,n—1

В [18] показано, что это условие является топологическим инвариантом и записывается в терминах так называемых относительных n-поперечников окрестностей нуля. Из него непосредственно следует ядерность пространства Кете.

Пусть T : E ^ E — линейный оператор с матрицей ((bij)) в основном базисе пространства. Обозначим через J оператор, имеющий (в том же базисе) диагональную матрицу с элементами bjj по главной диагонали. При некоторых условиях оператор T разлагается в сумму вида

T = J + L, L G A(E), (3)

где A(E) — класс всех тех линейных операторов L : E ^ E, которые при любом r G N могут быть продолжены до компактного оператора Lr : Er ^ Er.

Теорема. Всякий оператор T : E ^ E, допускающий при любом r расширение до некоторого ограниченного оператора в Er, разлагается в сумму (3) тогда и только тогда, когда в E выполнено условие (2).

< Пусть T удовлетворяет условию теоремы ив E выполнено условие (2). Покажем, что T разлагается в сумму (3). Для этого надо доказать, что для оператора T', который получется из T, если положить bjj =0, j = 1, 2,..., при любом r G N выполняется условие:

lim (V |bin | ^ =0, (4)

которое достаточно для T' G A(E).

Для произвольного r выберем n и r2 так, чтобы n < r < r2 и

ari,n ar,n— 1 „ ar2,n ar,n+1 „ / ч

—— • —:--> 0, —— • —:--> 0 (n ^ то).

ar,n ari,n—1 ar,n ar2,n+1

Это можно сделать на основании (2). С помощью тождественных преобразований и оценок, вытекающих из правильности базиса {еп} (||еп||р = аг,п), получаем

Г, и n— 1 те n— 1 те

enllr и I ar,i . V"^ и I ar,i V"^ и I ar,i ari,i ari,n . V"^ и i ar,i ar2,i aro,n

1—л = Ibinl + |bin|= 2^ |binl ——-—— + Ibinl ——2——

1=1 ' i=n+1 ' 1=1 ' ^ i=n+1 ' 2 2'

те те

^ —max —|bin| —- +--- .max —2^ |bin| —-

' .= 1 ' 2 i=n+1 2'

^ o^ o,^ ^ л + yTr2 л ^ 0 (Tr. : Er. ^ Er.)

ar,n °ri,n—1 ar,n ar2,n+1

при n ^ то в силу выбора Г1 и Г2. Таким образом, T' удовлетворяет условию (4) и T разлагается в сумму (3).

Предположим теперь, что в E условие (2) не выполняется, т. е. существует Го такое, что для любого г выполняется

—Г.-aro,n ar,n—1 rn ^ п

lim —0--:-= arn > 0,

п^те ar,n orn,n—1

причем все arn ^ 1, так как

aro,n ar,n—1 ^ 1 ar,n arn,n—1

Построим непрерывное отображение пространства E в себя, которое удовлетворяет условию леммы и которое нельзя представить в виде (3).

Обозначим vr (г = Го + 1, Го + 2,...) последовательности, для которых

lim —:--:-= a;0 > 0.

ar,„ аГ0)га—1

Кроме того, vr для удобства выберем такими, что

—— • —:-^ a;0 - er

ar,n aro,n-1

для всех n € vr, где er (r = ro + 1, ro + 2,...) удовлетворяют неравенствам

а;

rn

1 < < С1 (с1 — некоторая константа).

ег

Последовательности V- (г = го+1, ...0) можно выбрать непересекающимися и состоящими из натуральных чисел одинаковой четности. Построим оператор В = Т — I с помощью такой матрицы ((6^-)), у которой все элементы за исключением элементов выше главной

те

диагонали 6га+1,га при п £ и V- равны нулю.

г=го+1

Отличные от нуля элементы этой матрицы определим следующим образом: 6П-1,П = аГ0аг,па-П_1, п £ V- (г = го + 1,...). Пусть £ £ Е произвольный элемент

те

£ 'У ^ £nen-

n=0

Согласно построению, для любого s > Го справедлива оценка

l|B£||s ^ Е |£n|l|Be„||s = Е |^n|bn-i,n-s,n-i = Е Е l£nK0 -r'"' -s,n-i

— r П_1

n€Uvr n€Uvr r n€vy '

< £ «Г0 £ l&Kn + ЕЕ lar0 ^^ as,n-i

r^s nevr r>s nSv -r'n-1 -r0'n -r0'n-1

< (maxK°} + sup{||£||s = CsH^Hs-

V r^s r >s t -r0 - £r J /

А это и означает ограниченность построенного оператора в Es. В то же время нетрудно убедиться, что оператор T = I + B нельзя представить в виде (3). Теорема доказана. > Из спектральных свойств квазирегулярных проекторов в указанных пространствах вытекает

Следствие. В пространствах Кёте, удовлетворяющих условию (2), образы квазирегулярных проекторов имеют базисы.

Примерами пространств аналитических функций, удовлетворяющих условию теоремы, являются пространства лакунарных степенных рядов Ar(v), R ^ то, порождаемые последовательностями степеней (znk )nk 6v с ограничением на лакуны (пропуски)

lim ^kü > i.

k^re nk

Как показано в [19] при более сильном ограничении

lim "k = 0

k^re Пк+1

в указанных пространствах ) любой непрерывный оператор с точностью до диагонального оператора-множителя квазирегулярен.

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

В следующих примерах обсуждаются соотношения между упоминавшимися видами спектров операторов.

Пример 1. Пусть Ak G C(k G N = {0} U N), оператор T задан системой функций

Sk (z) = Akzk, где _

lim VlAÜ < 1.

k^re

Тогда T G L(Ar), 0 < R ^ то. Резольвента R(A,T) определяется системой функций

nk (Z,A) = Ä^-Äk • Спектр Sp(T), очевидно, задается следующим образом

Sp(T) = Л U {A : Um —> 1} = Л U {A : lim V|A - Ak| < 1},

V A — Ak k^re

где Л = {Ak : k G N}. Покажем, что Spc(T) = Л. Действительно, пусть Ao G Л и тогда существует подпоследовательность Akj ^ Ao. Следовательно,

1 rk р—k rkj р—kj

sup ||(A1 — T)- = sup sup y--—г ^ sup sup ---7—7= то,

|Л-Ло|<5 ' |A-Ao|<5k6N |A — Ak1 |Л-Л0|^5 j6N |Akj — A0|

где r < R, r < р < R. А это и означает, что Ао G Spc(T).

Если lim А| = то, то то G Spc(T). Следовательно, Spc(T) \ Sp(T) = 0, Т — нерегулярный оператор и, очевидно, Spc(T) = Spr(T).

Пример 2. Оператор умножения на функцию в Ar, R ^ то, (Т/)(z) = ^>o(z)/(z), где ^o(z) G Ar, порождается системой функций Pk(z) = zk^o(z). Резольвента R(A,T) определяется системой функций

(z, A) =

zk

А - ^o(z)'

Нетрудно проверить, что в этом случае Яр(Т) = Яре(Т) С Яр(Т) = Ярг(Т). Если R = то, то, если не является многочленом, ее максимум модуля растет бесконечно быстрее,

чем максимум модуля любого многочлена. Поэтому оператор Т умножения на не

является регулярным, Ярг (Т) = С. В частности, при = в2

-IN = Р = еР.

NT-1||„„ = Е

n!

Значит множество {в рпТ п} — ограничено в пространстве Ь(АСр), где АСр — банахово пространство всех аналитических в круге |г| < р функций с конечной нормой

те те

II/ 11р = Е 1Рк' / ^) = £ «к zfc. к=0 к=0

Следовательно, 0 С рс(Т). Очевидно, ||Т-П||рр ^ Мп для всех М > вр, поэтому рс(Т) = {0, то}. В случае, когда Т — оператор умножения на z, рс(Т) = {то}, рг(Т) = 0. Пример 3. Оператор Т, порожденный системой

, , Г т^2-+1, к = 2т + 1, -**^ = \ z2m+2, к = 2т, т С

принадлежит L(AR), 0 < R < то. В этом случае

, п Г т1- z2m+1, к = 2т + 1, -

(^А) = { Т--z2-/ к = 2т, т С * Отсюда легко получить, что

Яр(Т) = N и {|А| < R2}.

Ярг(Т) = Яр(Т) и {то}, Ярс = Ярг(Т) и {|А| = R2}. Во всех известных примерах в пространствах L(AR) справедливо включение

Ярс(Т) С Яр(Т). (5)

Доказать справедливость включения (5) в общем случае не удалось. Но при некоторых предположениях относительно оператора Т было доказано, что пересечение Яре(Т) П 1п1р(Т) первой категории в 1п1р(Т) и связано с йр(Т) [12], т. е. если Яре(Т) и шире Яр(Т), то Яре(Т) отличается от Яр(Т) на достаточно редкое множество. В [12] были доказаны некоторые уточнения и расширение результатов из [11].

Подробнее о функциональном исчислении в пространствах и его приложениях см. в [10], [19] и др.

Литература

1. Kothe G. Topologische lineare Raume.—Berlin: Springer-Verlag, 1960.

2. Фрёлихер А., Бухер В. Дифференциальное исчисление в векторных пространствах без нормы.— М.: Мир, 1970.—168 с.

3. Waelbroeck L. Topological Vector Spaces and Algebras.—Berlin: Springer-Verlag, 1971.—158 p. (Lecture Notes in Math.; 230.)

4. Радыно Я. В. Линейные уравнения и борнология—Минск: Изд-во БГУ, 1982.—200 с.

5. Рунов Л. В., Ковальчук В. Е. Псевдотопология и функциональное исчисление Рисса-Данфорда // РГУ. ВИНИТИ.—№ 1788-В03.—61 с.

6. Allan G. R. Aspectral theory for locally convex algebras // Proc. London Math. Soc.—1965.—V. 15, № 3.—P. 399-421.

7. Радыно Я. В. Линейные дифференциальные уравнения в локально-выпуклых пространствах. Регулярные операторы и их свойства // Диф. уравнения.—1977.—Т. 13, № 8.—С. 1402-1410.

8. Громов В. П. Порядок и тип линейного оператора и разложение в ряд по собственным функциям // Докл. АН СССР.—1986.—Т. 288, № 1.—C. 27-31.

9. Захарюта В. П. Аналитические функции от операторов и их применение к базисам в аналитических пространствах // Научные сообщения за 1963 г. Серия точных и естественных наук.—Ростов н/Д: РГУ, 1964.—С. 25-28.

10. Захарюта В. П., Ковальчук В. Е., Рунов Л. В. Ультраспектр оператора, действующего в пространстве аналитических функций, и функциональное исчисление Рисса — Данфорда / РГУ. Деп. в ВИНИТИ 1992 № 2276-В92.—43 с.

11. Захарюта В. П. Функции от оператора и базисы, связанные с данными, в пространствах аналитических функций: Дисс. ... канд. физ.-мат. наук.—Ростов н/Д, 1964.—121 с.

12. Рунов Л. В. О соотношении спектра и ультраспектра операторов в пространстве аналитических функций // Мат. анализ и его приложения.—Ростов н/Д, 1972.—Т. 4.—С. 3-10.

13. Arrikan H., Runov L., Zahariuta V. Holomorphic functional calculus for operators on a locally convex space // Results in Mathematics.—2003.—V. 43.—P. 23-36.

14. Рунов Л. В. Проективная резольвента замкнутого оператора и функциональное исчисление Рисса — Данфорда / Деп. ВИНИТИ № 606-В00.—45 с.

15. Рунов Л. В. Голоморфное исчисление в полинормированной алгебре с единицей / Деп.ВИНИТИ № 509-В2002.—32 с.

16. Кондаков В. П. Вопросы геометрии ненормируемых пространств.—Ростов н/Д: Изд-во РГУ, 1983.—72 с.

17. Драгилев М. М., Кондаков В. П. Об одном классе ядерных пространств // Мат. заметки.—1970.— Т. 8, вып. 2.—С. 169-177.

18. Кондаков В. П. Некоторые вопросы изоморфизма и базисов локально выпуклых пространств: Дисс. ... канд. физ.-мат. наук.—Ростов н/Д, 1972.—129 с.

19. Кондаков В. П. Характеризация дополняемых подпространств в декартовых произведениях структурно несравнимых пространств Кете из классов и Драгилева // Владикавк. мат. журн.— 2004.—Т. 6, вып. 2.—С. 17-20.

Статья поступила 13 марта 2006 г.

Кондаков Владимир Петрович, д. ф.-м. н. Ростов-на-Дону, Ростовский государственный университет, Лаборатория математических исследований ИПМИ ВНЦ РАН и ЮРГУЭС E-mail: kond@ns.math.rsu.ru

Рунов Леонид Владимирович, к. ф.-м. н. Ростов-на-Дону, Ростовский государственный университет

Ковальчук Владимир Евстафиевич, к. ф.-м. н. Ростов-на-Дону, Ростовский государственный университет

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