Научная статья на тему 'О c* -алгебре, порожденной многомерными интегральными операторами с однородными ядрами и коэффициентами вида | x |Iа'

О c* -алгебре, порожденной многомерными интегральными операторами с однородными ядрами и коэффициентами вида | x |Iа Текст научной статьи по специальности «Математика»

CC BY
123
18
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
C*-ALGEBRA / ИНТЕГРАЛЬНЫЙ ОПЕРАТОР / ОДНОРОДНОЕ ЯДРО / СИМВОЛ / С*-АЛГЕБРА / ГРУППА / INTEGRAL OPERATOR / HOMOGENEOUS KERNEL / SYMBOL / GROUP

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

Рассматривается С*-алгебра в порожденная многомерными интегральными операторами, ядра которых однородны степени (n ) и инвариантны относительно группы вращений SO(n), и операторами умножения на функции вида | x |iа. Для алгебры в строится символическое исчисление, в терминах которого установлен критерий обратимости и нетеровости операторов из этой алгебры.

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

Похожие темы научных работ по математике , автор научной работы — Авсянкин Олег Геннадьевич

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

On C* -algebra generated by the multidimensional integral operators with homogeneous kernels and |x\ia - type coefficients

We establish the symbol calculus for the C * -algebra в generated by the multidimensional integral operators with homogeneous kernels and operators by x |iа -type function. The criterion of invertibility and Fredholmness of the operators of the algebra в is proved.

Текст научной работы на тему «О c* -алгебре, порожденной многомерными интегральными операторами с однородными ядрами и коэффициентами вида | x |Iа»

УДК 517.9

~ * „

О N -АЛГЕБРЕ, ПОРОЖДЕННОЙ МНОГОМЕРНЫМИ ИНТЕГРАЛЬНЫМИ ОПЕРАТОРАМИ С ОДНОРОДНЫМИ ЯДРАМИ

И КОЭФФИЦИЕНТАМИ ВИДА | x\Ш

© 2008 г. О.Г. Авсянкин

Южный федеральный университет, Southern Federal University,

344090, Ростов н/Д, ул. Мильчакова, 8а, 344090, Rostov-on-Don, Milchakov St., 8a,

avsyanki@math. rsu. ru avsyanki@math. rsu. ru

Рассматривается С*-алгебра Р, порожденная многомерными интегральными операторами, ядра которых однородны степени (n ) и

I \ia

инвариантны относительно группы вращений SO(n), и операторами умножения на функции вида X . Для алгебры Р строится символическое исчисление, в терминах которого установлен критерий обратимости и нетеровости операторов из этой алгебры.

Ключевые слова: интегральный оператор, однородное ядро, символ, С*-алгебра, группа.

We establish the symbol calculus for the C -algebra В generated by the multidimensional integral operators with homogeneous kernels and operators by \Xa -type function. The criterion of invertibility and Fredholmness of the operators of the algebra В is proved.

Keywords: integral operator, homogeneous kernel, symbol, C*-algebra, group.

В настоящее время имеется немало работ, посвященных многомерным интегральным операторам, ядра которых однородны степени (- п) и инвариантны относительно группы вращений SO(n) [1-6]. Для таких операторов получены критерии обратимости и нетеровости, описаны порожденные ими банаховы алгебры, найдены условия применимости проекционного метода. Кроме того, рассматривались некоторые алгебры, порожденные операторами с однородными

ядрами и переменными коэффициентами [3, 6].

~ *

В данной работе рассматривается N -алгебра B, порожденная многомерными интегральными операторами с однородными степени (-п) ядрами и операторами умножения на радиальные осциллирующие функции вида х . Отметим, что коэффициенты х играют в теории операторов с однородными ядрами ту же роль, что и коэффициенты вида в1ах в теории операторов свертки. Упомянутая алгебра B существенно некоммутативна. У нее не существует скалярного символа, и при ее исследовании возникает ряд затруднений. Для их преодоления в нашей работе используется подход, основанный на теории N -алгебр, порожденных динамическими системами [7, гл. 2]. Он позволяет построить для алгебры B операторное символическое исчисление, в терминах которого ниже получен критерий обратимости и нетеровости операторов из этой алгебры. Выделен один класс операторов из алгебры B, для которых указано скалярное условие обратимости.

Ниже использованы следующие обозначения: rп -п -мерное евклидово пространство; х = (х1;..., хп )е Rп ;

|Х = д/х2 +...+ х^;х■ y = +...+ хпуп; z+ - мно-

жество всех целых неотрицательных чисел; z+ х я -компактификация множества z+ х я одной бесконечно удаленной точкой; С (Н) - С* -алгебра всех ограниченных линейных операторов, действующих в гильбертовом пространстве Н .

1. Предварительные сведения

При исследовании многомерных интегральных операторов с однородными ядрами и коэффициентами

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

*

таких С - алгебр А.Б. Антоневичем установлена теорема об изоморфизме, которая будет играть важную роль и в данной работе. Ниже, для полноты изложения, мы приводим эту теорему, а также другие необходимые нам факты [7, §6-8].

* *

Определение 1. Пусть В - С - алгебра; А - С -подалгебра алгебры В; Т - унитарное представление группы О в В; пусть выполнены следующие аксиомы:

1) Т(Я)аТ(Я)е А Уа еА Уg еО;

2) множество В0 конечных сумм 2 а{Т^), где

г

аi е А, gi е О, плотно по норме в алгебре В.

* *

Тогда говорят, что С - алгебра В порождена С -лгеброй А и представлением Т группы О и пишут

в=С* (а , о,т).

Условие 1) означает, что каждый элемент Т^) порождает отображение Т ^): А^А ы ^ Т^)аТ_1 ^), являющееся автоморфизмом алгебры А.

Следуя [7], ниже будем считать, что С -алгебра А изоморфна алгебре Ш (Е) гомоморфизмов N -мерного комплексного векторного расслоения Е над компактным топологическим пространством X (обозначается А ~ НОМ (е) ). В частности, при N = 1 алгебра А изоморфна алгебре С(х). *

Пусть А - С - алгебра вышеуказанного типа. Каждый автоморфизм О^) алгебры А порождает гомеоморфизм п : X —■ X . Гомеоморфизмы задают действие группы О на пространстве X .

Определение 2. Действие группы О на алгебре А автоморфизмами называется топологически свободным, если для любого конечного набора Р элементов группы О и любого открытого множества W с X существует точка х0eW такая, что все точки пё(х0),

где g е Р, попарно различны.

*

Предложение 1 [7, с. 83]. Пусть заданы две С - алгебры В = С* (а ,О,Т) и В = С* (А1, О,Т1) с одной и той же группой О и существует изоморфизм р: А — А

такой, что р(т ^ )аТ _1 ^ ))= Т1 ^ )р(а )Т1"1 ^ ).

Если А ~ 111 (Е), а группа О допустима и действует автоморфизмами на А топологически свободно, то соответствие 0: 2 агТ^) — — Т р(аг )Т ^ )

г г

продолжается с множества В0 конечных сумм до изо*

морфизма С - алгебр В и

Определение допустимой группы можно найти, например, в [7, с. 79]. Отметим только, что аддитивная группа Я допустима.

*

Предложение 2 [7, с. 92]. Пусть С - алгебра В=С (А, О,Т) является алгеброй операторов в гильбертовом пространстве, группа О допустима и действует на А топологически свободно. Если алгебра А не содержит компактных операторов, кроме нулевого, то каждый нетеров оператор из алгебры В обратим. *

2. С - алгебра В

В пространстве Ь2 (яп) рассмотрим оператор

(Kp)(x) = j k (x, y)p(y)dy, x e r n .

(1)

R n

k = i |k(eb y) y ' Rn

x dy<œ, где ^=(1,0,...,0).

Как известно [1, с. 70], оператор K ограничен в L2 (rn ), причем ¡Kl ^ k . Далее, если ядра операторов Ki и K2 удовлетворяют условиям 1о-3о, то ядро оператора KK также удовлетворяет условиям 1о-3о и

справедливо равенство K1K2 = K2Kj [1, с. 380].

*

C - алгебру, порожденную всеми операторами вида Л1 - K, где ЛеС, обозначим через А. Нетрудно видеть, что алгебра А коммутативна. Из результатов [5] следует, что каждому оператору A е A соответствует однозначно определенная функция a a (ш,4)е е C(z+ x r), которую будем называть символом оператора A . В частности, символ оператора Л1 - K определяется равенством

аЛ-K (т,4)=Л- J k(ei, y)Pm(ei • y0|y|-n/2+4dy, (2)

Rn

где y = y /| y| ; Pm (t ) - многочлены Лежандра порядка

m. Следующее утверждение также является следствием результатов, полученных в [5].

Предложение 3. Отображение a: A ^ C(z+ x r), A ^ aA(m,4) (3)

является изоморфизмом.

Определим в пространстве L2 (rn ) оператор Ma, где a е R, равенством

(Ma(p)x) = \X\aq(x). (4)

Нетрудно видеть, что оператор Ma унитарный, причем MaMр = Ma+p , R. Следовательно,

гомоморфизм Tm :r ^ L (l2 (rn )), a ^Ma является унитарным представлением группы R .

Лемма 1. Пусть A е A- Тогда для любого a е R

оператор Aa = MaAM'-i принадлежит алгебре А При этом символы операторов A и Aa связаны равенством

aAa (m, 4) = a a (m, 4-a). (5)

Доказательство разобьем на два этапа. 1. Пусть A = K , где K - оператор вида (1). Непосредственно проверяется, что оператор Ka = Ma x

x M al задается формулой (Ka((x)= = J ka(x, y )((y)dy,

R n

x е Rn , где

предполагая, что функция к(х, у) определена на

Яп х Яп и удовлетворяет условиям: 1.° однородности степени (- п), т.е.

к (ах,ау) = а~пк (х, у), Уа> 0 ; 2^ инвариантности относительно группы вращений БО (п) , т.е. к(т(х),т(у)) = к(х,у), Уте БО(п);

Зо

. суммируемости, т.е.

I —п /2

kа(Х у) = k (Х У)

Пх\Л а

y

(6)

Так как функция ка (х, у) удовлетворяет условиям 1о-3о, то Ка е А.

Далее найдем символ оператора Ка. Учитывая (2) и (6), имеем

&Ка(т,4)= \ ка(еЪ у)Рт (е1 ' у0| У|_п ¿у =

Rn

= j k(euy)Pm(ej • y'^y\ nl2+li( аdy =aK (m

(m, 4 ~а).

Rn

Таким образом, для оператора К вида (1) лемма установлена.

2. Пусть А - произвольный оператор из алгебры А. Так как множество, состоящее из всех операторов вида М - K, всюду плотно в алгебре А, то найдется последовательность {Мя1 - Ks , сходящаяся к А в равномерной операторной топологии. В силу равенства

М - (Ks )а - Аа\\ = | р а (V - К - а)М; = \М,1 - К, - А||

последовательность {мя1- (Ксходится к оператору Аа . Так как (Кя )а е А, то Аа е А. Далее по доказанному в части 1)

^М!-(К, )а (т, £) = - К, (т^-а). (7)

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

Из предложения 3 следует, что для любого оператора

A е A имеет место равенство sup \аА (т> £) HI A •

Z + х R

Учитывая это и переходя в равенстве (7) к пределу

при s ^ да, получаем (5). Лемма доказана.

*

Обозначим через В C -алгебру, порожденную всеми операторами Я1 - K и Ma. Она представляет собой замыкание в равномерной операторной топологии мно-

= jin(V -Kj)Ма jj

, где суммы и произве-

жества Во дения конечны.

* *

Лемма 2. С -алгебра В порождена С -алгеброй А и унитарным представлением Тр группы Я, т.е.

В = С * (А, Я,Тм).

Доказательство. Воспользуемся определением 1. Справедливость аксиомы 1) была установлена в лемме 1. Проверим аксиому 2), т.е. докажем, что множество Во конечных сумм 2(МI -К Ма всюду плотно i

в алгебре В. Для этого покажем, что В0 = В0. Чтобы

убедиться в этом, достаточно проверить справедливость равенства К1МЩК2М^= , где

К1,К2 и К3 - операторы вида (1). Действительно,

(К1Ма1 К 2 Ма2р)(х) =

= | к1(х, г)\¿Р Л | к2 (¿, у)\у|а ср(у)йу = Я" Я"

= 1 р(у) |уГ2 йу 1 к1(х, 0к2 у) Л =

R"

R"

= J h(x,y) |у|г(а+а2V(y)dy = (кМаа<р№,

R"

где K3 - оператор, ядро k3 (x, y) которого определя-

ется

формулой кз(x,y)= J k]_(x,t)k2(t,y)

i\t\ Yci

R "

y

dy.

Нетрудно проверить, что функция кз (х, у) удовлетворяет условиям 1о—3о, т.е. К3 есть оператор вида (1).

Таким образом, выполнены обе аксиомы из определения 1. Следовательно, В = С * (А, Я,Тм ).

Всякий оператор Ма вида (4) порождает отображение Ма : А ^ A, A ^ МаАМа1, которое является

*

автоморфизмом C -алгебры А. Справедлива

Лемма 3. Действие группы R на алгебре А автоморфизмами Ма является топологически свободным.

Доказательство. В силу предложения 3 отображение Fc=ooМа ост-1 является автоморфизмом алгебры C(z+ x r). С учетом равенства (5) автоморфизм

¥а задается формулой Га(а(т,^^) = а(т,^-а), где a(m,Ç) - произвольная функция из C(z+x r) . В

свою очередь автоморфизм Fc порождает гомеоморфизм яа компактного топологического пространства z+ x r, который определяется следующим образом: жа(т,^)=(т,^ + а), V(m,^)e z+x r, жа(х) = ж .

Таким образом, если а Ф 0, то единственной неподвижной точкой гомеоморфизма па является бесконечно удаленная точка. Вспоминая определение 2, получаем требуемый результат.

3. Критерий обратимости и нетеровости

*

в C - алгебре В

Будем говорить, что f (m, Ç) eL2(z+ x r) , если при любом фиксированном значении m е z+ функция f (m, •) измерима на R и

\1/2

< х .

2 1 \Г{т,4)\2

кт=0 -<х у

Пусть сг(т,£) е С(ь+ х я). Определим в пространстве ^ + х Я) оператор Мст равенством

(Мст /)(т,^) = а(т,^)/(т,$. (8)

*

Обозначим через А1 С - алгебру, порожденную всеми операторами Мст умножения на функции из

х Я). Нетрудно проверить, что отображение

И

: C(z+ x r) ^ Ai, cr(m,4) ^ m,

является изоморфизмом.

Далее в пространстве Z2 (Z +x R) оператор

Ра fXm,4) = f(m,Ç-cc), ае R.

(9)

рассмотрим

(10)

Ясно, что гомоморфизм %: Я ^ С (¿2 (Z+ х Я)), а ^ иа является унитарным представлением группы Я .

*

С - алгебру, порожденную всеми операторами вида (8) и всеми операторами иа вида (10),

Мс

обозначим через В1. Она представляет собой замыкание в равномерной операторной топологии множества

(Bi )о = jzn M

ааРаи

где суммы и произведения

конечны.

Лемма 4. С -алгебра Вг порождена С -алгеброй А1 и унитарным представлением Тц группы Я, т.е. .

В1 = С* А я,%).

Доказательство. Для любой функции с(т,£)е е С(х+ X Я) и для любого а е Я справедливо равенство ЦаМсЦ—1 = Мс , где с а (т = £ - а) .

Следовательно, иаМси— е А1, т.е. аксиома 1) из определения 1 выполнена.

Проверим аксиому 2), т.е. докажем, что множество

в0 конечных сумм Т Мс иа всюду плотно в ал-

г

гебре В1. Для этого достаточно показать, что о. Последнее сразу получается из легко проверяемого равенства и а!Мст2 иа2 = МсЦа 1+ а2 , где с(т,4) = с1(т,£)с2 (т,£ - а). Таким образом, В1=С * (аь Я,Тц).

Рассмотрим отображение с^: А —А1, А — Мс , где с а - символ оператора А . Поскольку

с1 = /л о с, где с и / определяются из (3) и (9) соответственно, отображение с является изоморфизмом.

Теорема 1. Соответствие /о: В0 — В0 ,

ТАгМа —Тс1(Аг)и а , определенное на множестве

г г

конечных сумм В0, продолжается до изоморфизма /: В — В ,

Доказательство. Как было отмечено выше, отображение С1: А —А1 является изоморфизмом. Покажем,

что С"1

М а АМ—1) = иас1(А)и—1. В самом деле, используя лемму 1, имеем с

= UaMaAU-1 = Uaal(A)U~l.

— ) Mct j I m, £ - a)

4(m,f-a) :

3) символ /(в) оператора В обратим в £ (12 (¿+ х к)).

Доказательство. Вначале заметим, что поскольку В является С * -подалгеброй С * -алгебры £ {ь2 (я п)),

то оператор В обратим в £ (¿2 (я п)) тогда и только тогда, когда он обратим в В [8, с. 59]. Аналогично

обратимость оператора /(В) в £ (¿2 (я+х я)) равно*

сильна его обратимости в С * -алгебре В1.

Докажем, что 1) » 2). Леммы 2 и 3 утверждают, что В = С (А, Я, Тм) и группа Я действует на А автоморфизмами топологически свободно. Далее нетрудно видеть, что оператор К вида (1) коммутирует с операторами мультипликативного сдвига Нд вида (Ндр)=р(х /д), д> 0 . Поскольку операторы 21 - К являются образующими алгебры А, то каждый оператор из алгебры А коммутирует с операторами мультипликативного сдвига. Но тогда алгебра А не содержит компактных операторов, кроме нулевого. В силу предложения 2 каждый нетеров оператор В е В обратим.

Докажем, что 2) » 3). В самом деле, так как отображение /: В — В1 является изоморфизмом, то

*

оператор В обратим в С * -алгебре В тогда и только тогда, когда оператор /(в) обратим в С * -алгебре В1.

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

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

Ь2 (я п) оператор

В = 21 + К1 + К2Ма , (11)

где Л ес, К1, К2 - операторы вида (1), а М а - (4). В силу вышесказанного символом оператора В является оператор

r(ß)=ÄI + + MaUa

(12)

Далее С* - алгебра А изоморфна С* - алгебре С(ь+ X я) (предложение 3), а группа Я допустима и

действует на алгебре А автоморфизмами топологически свободно (лемма 3). Применяя предложение 1, получаем, что /0 продолжается до изоморфизма /: В — В1. Теорема доказана.

Таким образом, в теореме 1 определен изоморфизм /: В — В1. Назовем символом оператора В е В его

образ /(В)еВ1. В частности, если В = ТАМа , то его

г=1 '

символом является оператор /(В) = Т )иа =

г=1 '

I

= Т МсАи .

г=1 А '

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

1) оператор В нетеров в £ [ь2 (я п));

2) оператор В обратим в £ [ь2 (яп));

сК1 сК 2 а '

действующий в ¿2 (я+х я).

Найдем эффективные условия обратимости оператора /(В) вида (12). Заметим, что ¿2 (я+х я) =

= © ¿2 (Я) .

теЪ +

Тогда /(В) можно представить в виде /(В)= © Ст, где Ст - действующий в ¿2 (Я) опе-

теЪ+

ратор, определяемый равенством {Ст! )(£)=(Л + Ск1 Ы))/ (£) +

+ aK im,£)fa)

(13)

(здесь т е Ъ+ - фиксированное число).

Ясно, что оператор /(В) обратим тогда и только тогда, когда для любого т е Ъ+ обратим оператор Ст . Известно [9, с. 47-48], что оператор Ст обратим

тогда и только тогда, когда Л+сК^ 0, У£е Я,

где Я - одноточечная компактификация Я .

Теорема 3. Оператор В вида (11) нетеров тогда и только тогда, когда он обратим, необходимым и достаточным условием чего является

Л + аК1 (т,%)ф 0, У(т,^)е z+k r . (14)

Доказательство. Условие (14) является необходимым и достаточным для того, чтобы при любом т е z+ оператор Cm вида (13) был обратим, что равносильно обратимости оператора у(Б) вида (12). и остается лишь применить теорему 2.

Следствие 1. Оператор Б1 =Л + К + MaK2 не-теров тогда и только тогда, когда он обратим, необходимым и достаточным условием чего является (14). Доказательство. Достаточно представить Б^ в

виде Бх =Я1 + K1 + KaMa , где Ка = MaK2M—, и воспользоваться теоремой 3.

Литература

1. Karapetians N., Samko S. Equations with Involu-tive Operators. Boston; Basel; Berlin. 2001.

2. Авсянкин О.Г., Карапетянц Н.К. Многомерные интегральные операторы c однородными степени

Поступила в редакцию

(- n) ядрами // Докл. РАН. 1999. Т. 368. № 6. С. 727729.

3. Авсянкин О.Г., Карапетянц Н.К. Об алгебре многомерных интегральных операторов с однородными ядрами с переменными коэффициентами // Изв. вузов. Математика. 2001. № 1. С. 3-10.

4. Авсянкин О.Г. О применении проекционного метода к парным интегральным операторам с однородными ядрами // Изв. вузов. Математика. 2002. № 8. С. 3-7.

5. Авсянкин О.Г. Об алгебре парных интегральных операторов с однородными ядрами // Мат. заметки. 2003. Т. 73. Вып. 4. С. 483-493.

6. Авсянкин О.Г., Деундяк В. М. Об алгебре многомерных интегральных операторов с однородными SO(n)-инварианшыми ядрами и радиально слабо осциллирующими коэффициентами // Мат. заметки. 2007. Т. 82. № 2. С. 163-176.

7. Антоневич А.Б. Линейные функциональные уравнения: операторный подход. Минск, 1988.

8. Мерфи Дж. С -алгебры и теория операторов. М., 1997.

9. Kravchenko V.G., Litvinchuk G.S. Introduction to the theory of singular integral operators with shift. Dordrecht; Boston; London, 1994.

26 ноября 2007 г.

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