Научная статья на тему 'Многомерные интегральные операторы с однородными ядрами в Lp-пространствах с полумультипликативным весом'

Многомерные интегральные операторы с однородными ядрами в Lp-пространствах с полумультипликативным весом Текст научной статьи по специальности «Математика»

CC BY
96
31
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
интегральный оператор / однородное ядро / ограниченность / обратимость / Символ / Integral operator / Homogeneous kernel / Boundness / Invertibility / symbol

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

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

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

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

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

We study the multidimensional integral operators with homogeneous kernels of degree (-n) and invariant under the rotation group SO(n), acting in Lp -spaces with submultiplicative weight. For these operators the boundness theorem and invertibility criterion are obtained.

Текст научной работы на тему «Многомерные интегральные операторы с однородными ядрами в Lp-пространствах с полумультипликативным весом»

МАТЕМАТИКА

УДК 517.9

МНОГОМЕРНЫЕ ИНТЕГРАЛЬНЫЕ ОПЕРАТОРЫ С ОДНОРОДНЫМИ ЯДРАМИ В Ьр-ПРОСТРАНСТВАХ С ПОЛУМУЛЬТИПЛИКАТИВНЫМ ВЕСОМ

© 2010 г. О.Г. Авсянкин, Е.И. Мирошникова

Южный федеральный университет, ул. Мильчакова, 8а, г. Ростов н/Д, 344090

Southern Federal University, Milchakov St., 8a, Rostov-on-Don, 344090

Рассматриваются многомерные интегральные операторы, ядра которых однородны степени (—n) и инвариантны относительно группы вращений SO(n) Lp, действующие в -пространствах с полумультипликативным весом. Для таких операторов доказана теорема об ограниченности и установлен критерий обратимости.

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

We study the multidimensional integral operators with homogeneous kernels of degree (—n) and invariant under the rotation group SO(n), acting in Lp -spaces with submultiplicative weight. For these operators the boundness theorem and invertibility criterion are obtained.

Keywords: integral operator, homogeneous kernel, boundness, invertibility, symbol.

В настоящее время имеется немало работ, посвященных многомерным интегральным операторам с однородными ядрами [1-5]. Для таких операторов найдены необходимые и достаточные условия нете-

Предварительные сведения и вспомогательные результаты

Пусть w £ С(Я) неотрицательна и удовлетворяет

ровости и обратимости, описаны порожденные ими усл°вию

банаховы алгебры, исследованы вопросы применимости проекционного метода и соответствующие аспекты спектральной теории. Случай весового Ьр

практически не рассматривался. Исключение состав-

w(t1 +t2 ) < w(t1)w(t2), Vt1,t2 e R. Обозначим через Lpw (R),

(1)

1 < p< œ,

пространство всех измеримых комплекснозначных

Л+» \уp

ляет лишь степенной вес |х|а [1, с. 72], однако этот функций с н°рм°й ||/|

p,w

1 / (t )| pw(t)dt

V-œ

случай сразу сводится к безвесовому.

Данная работа посвящена изучению многомерных интегральных операторов с однородными ядрами в умножения образует к°ммутативную банахову

Пространство L1 w (R) со сверткой в качестве

алгебру, в которой нет единицы. Банахову алгебру, получающуюся из (Я) путем присоединения еди-

весовых Ьр -пространствах с полумультипликативным весом. Для таких операторов ниже получены достаточные условия ограниченности и критерий ницы e, обозначим через Ц ^(Я) • обратимости.

Известно [6, § 18], что если функция w(t)

Ниже используются следующие обозначения: Rn - удовлетворяет условию (1), то существуют конечные

ln w(t) ln w(—t) пределы = lim -, = lim -, причем

t — t t t

n-мерное евклидово пространство ; x = (xx, x2, ■■■ x„ ) e Rn ;

|x| = ijxf + ■■■+ x"2 ; X = x/X ; x • y = x1_y1 +...+ xnyn ; e = (1, о, ■■■P) ; Sn-1 = {xe Rn : |x| = 1}; Ym^(a) - сферические

T1

■ Tf . Рассмотрим полосу P = {z e C : 7 < Im z <72}

и обозначим через Р ее одноточечную гармоники порядка m; dn (ш) - размерность компактификацию. В [6, § 18] показано, что пространства сферических гармоник порядка ш: пространство максимальных идеалов алгебры

Г+ w (Я), снабженное топологией Гельфанда,

, / \ / „ ~\(п + ш — 3) „

Л,\ш)=(п + 2ш - 2)-—т-е1; Ъ+ -множество всех

пУ ' к ' ш.(п-2). +

целых неотрицательных чисел; С - множество всех

- +■» .р

комплексных чисел; /()) = | /{t)el)dt - преобразо-

—да

вание Фурье функции f

гомеоморфно компакту Р . При этом гомеоморфизме каждой точке )0 £ Р соответствует максимальный

идеал алгебры 1+ w (Я), состоящий из всех элементов Яе + /, таких что Я + / ()0) = 0 •

Множество Я„ (Я), состоящее из всех функций

Теорема об ограниченности

вида Л + /(#), 4е Р, где Ле С, / е 4,№(Я), относительно поточечных алгебраических операций и

нормы

Л + f

=\А-

111, w

образует коммутатив-

ную банахову алгебру. Нетрудно видеть, что отображение F: Е+„ (Я) ^ Я„ (Я), Ле + / ^ Л + /

является изометрическим изоморфизмом. Учитывая описание пространства максимальных идеалов

алгебры (Я), получаем

Предложение 1. Пусть функция Л + / е (Я)

такова, что Л + /(4) Ф 0, V 4е Р. Тогда

(Л + /)"1 е (Я) .

В пространстве Цр № (Я), 1 < р < да, рассмотрим

оператор

A = Л + H ,

(2)

где Ле С; Н - оператор свертки с ядром к е Ь1 „ (Я). Назовем символом оператора А вида (2) функцию

<А(4) = Л + к(4), #е Р . (3)

Обозначим через Ур замыкание в равномерной

операторной топологии множества Ур°, состоящего из

всех операторов вида (2). Очевидно, что У р -

коммутативная банахова алгебра. Сопоставление каждому оператору А вида (2) его символа аА (4)

продолжается до гомоморфизма simb :Ур ^ С(Р).

Функцию <В (4) = simb(B) будем называть символом

оператора В еУр.

Предложение 2. Для того чтобы оператор А вида (2) был обратим, необходимо и достаточно, чтобы выполнялось условие

<А(4) Ф 0, V4е р. (4)

Доказательство. Необходимость. Пусть оператор А обратим. Предположим, что в некоторой точке 40 е р условие (4) нарушается, т.е. <(4о) = 0 . Нетрудно видеть, что в алгебре У р определена операция типа сопряжения [7, с. 44]. Но тогда в силу [7, теорема 3.3] оператор А-1 также принадлежит алгебре Ур. Так как АА"1 = I, то справедливо

тождество <а (4)<1 (4) = 1, 4 е Р. Полагая 4 = 40,

приходим к противоречию.

Достаточность. Если выполнено условие (4), то в

силу предложения 1 (Л + к(4))_1 = 1/Л + g(4), где

g е Ц1, № (Я). Рассмотрим оператор В еУ^ , символом

которого является функция < (4) = 1/ Л + g (4). Поскольку <а (4)<в (4) = 1, то ав = i. Следовательно, оператор А обратим.

Рассмотрим весовое пространство

Цр,р(Я") = \/ (х): /(х)р1/р (х|)е Цр (Яп)}, где 1 < р <да, функция ре С(0,да) полумультипликативна, т.е.

р(^2) <р(11)р(12), Vtl, 12 е (0,да), (5)

и удовлетворяет условию р(€) > 1, Vt е (0, да). Последнее исключает из рассмотрения степенной вес р($) = а .

В пространстве Црр (Яп), 1 < р <да, рассмотрим оператор

(Кф)х) = | к(х, уИШ, х е Яп, (6)

я п

предполагая, что функция к (х, у) удовлетворяет следующим условиям:

1) однородность степени (-п), т.е.

к (ах, ау) = а~"к (х, у) , Va > 0 ;

2) инвариантность относительно группы вращений БО(п), т.е. к(ю(х),ю(у)) = к(х,у), Vm е £О(п);

3) суммируемость, т.е.

к := 1 |к(еь у)|| у р/ р р(| у Г1)^ < да. я п

Нетрудно проверить, что

1 | к(еь у)| | у | ~п / р р(| у |-1) ау =

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

r n

= | | к(х, е1) || х |"п / р'р(| х |)ах.

я п

Теорема 1. Пусть функция к(х, у) удовлетворяет условиям 1) - 3). Тогда оператор К ограничен в пространстве Ьр р (Яп), 1 < р < да, причем

1М1 р,р< к1 И р,р. (7)

Доказательство. Применяя неравенство Гельдера, получим

( У/р'

1( Кф)\(х) <

(

1 \k(х,y)\\y\-n 1 p dy

r n

\1/P

I |к(х, у)| | у |п / р'|^(у)|рау я п

Делая в первом интеграле замену у =| х 11 и используя условие 1), а затем выполняя вращение

t = сох (г) , где а>х е БО(п) таково, что юх (е1) = х',

имеем |(ВДх)|<к1/р' |х|"п/рр' х

с л1/р

1 \k(х,y)\\y\"1 Р\ф(у)\р dy

r n

Тогда lp<kp'p 1 \Ф(у)\ p\y\n7p' dy

r "

X 1 \k(x, y)\ \ x\~n 1 P'p(\x\ )dx. r n

R

w

X

X

/

Производя во внутреннем интеграле замену да 1 г

х =| у 11, а затем выполнив вращение t = ау (г), после (Кш8)(т) = I ~ Вш (~)8т £ (0, да) •

несложных пРеобРазований приходим к неравенству Лемма 1. Норма оператора Km стремится к нулю

\\p,p

\\Щ pnn < kp / p' $ | ф(у) |p dy $ |k (z, ei)||zp7 p 'x при m ^да .

Яп я п Доказательство. Из теоремы 1 вытекает, что

хр(| у11 г \-yiz. да

В силу (5) р(| у||2|)<р(| у |)р(| 21). Тогда ||Кш|| <1 1 Вш(г)1 г 1 Рр^1)^. (13)

0

получим \\К(\ррр < кР/Р I | ф(у) |Р р(| у ^у х В силу (12) Бт(г) ^ 0 при ш ^да для почти всех

я г £ (0, да). Тогда, применяя мажорантную теорему

х | | к (г, е1) || 21—п / Р р(| 2 = кР||р||р • Лебега, с учетом (10) получаем, что интеграл в правой

яп части неравенства (13) стремится к нулю при ш ^ да •

Отсюда следует неравенство (7). Следовательно, \Кш\ ^ 0 •

„ _ Следствие 1. Пусть Я ф 0. Тогда найдется такое Критерии обратимости

число ш0 £ Z+, что для любого ш > ш0 оператор

В пространстве ЬР р(Яп), 1 <Р <да, рассмотрим Я- Кш обратим.

интегральное уравнение, порожденное оператором Лемма 2 Пусть Яф 0 и ш0 - вышеуказанное

Я1- к, где Я £ С, а К - оператор вида (6) число. Тогда оператор Я1 - к обратим в пространстве

Яр(х) = | k(x,y)р(y)dy + / (х) • (8) р(Яп) тогда и только тогда, когда обратимы в

Поскольку ядро к ( х, у) инвариантно относительно группы БО(п), найдется функция

p,p( r и

пространстве Lp p(0,да) все операторы Я! — Kn Поскольку ядро k (x, у) инвариантно p'p

m = 0,1,...,mo .

Доказательство проводится по схеме, изложенной к0(г, Р, 0, такая что к(х, у) = к0({ х | ,| у | , х'-у') [8, в [1, с. 79-82]^

с. 36]. Учитывая это и переходя в (8) к сферическим Определим изоморфизм шР : ЬР р(0,да) ^ Ьр w(Я), координатам х = та, у = тЗ, получаем .

где w(t) = р(е ), равенством (ШРф)(0 = е ' Рф(е ),

Яф(та) = да | -,а■A(&Ddтd$ + F(та), (9) г £ Я •

0 5п-1 Непосредственно проверяется, что оператор

где Ф(та) = р(та)т(п-1)/Р , F(тст) = /(та)т(п-1)/Р, Нш = ШРКшШРХ задается в пространстве (Я)

О(т,0 = к0(1,т2,t)т(п-1)/Р • +да

формулой (Нш¥)(t) = I (t - ь'Ж^Ж, где Легко проверить, что функция и(т, t) -да

удовлетворяет условию ^ (0 = е )et/ Р . Нетрудно видеть, что

да 1

|| | D(т,t)| т "1/Р (1 - ^)(п-:3)/2 р^^тА < да • (10) Ьш (t) £ ^ (Я) •

Назовем символом оператора ЯЛ — Кш символ

соответствующего ему оператора свертки Я1 - Нш интегрируя по единичной сфере и применяя формулу Функа-Гекке [8, с. 43], получим следующую ' _

бесконечную диагональную систему одномерных ()) = я - ()) = Я - IВт (г)г_1/Р+1^т, ) £ I!.

интегральных уравнений: 0

да 1

I „—1/p^i nm е L

m VJ -"^1, w

o—1

Умножая обе части уравнения (9) на Ym^(a),

WmM = V-Dm + FmM(r), (11) Здес1>гт Ч ~ °дн°т°™ компактификация

.1.1," ^ полосы П = \z е C: < Imz < a2), где

0 r V r

где r е(0, да), m е Z+, /л = 1, dn (m), _ ln w(t) lnp(e_t)

г^ч,- чт^ ,-47 a1 = lim -- lim-,

Фm/(r)= $ <&(rv)Ymß(<j)d&, t^+да — t t^+да — t

s

n—1 _ ln w(—t)_ ln p(et)

Fm/(r) = s $ F(ra)YmM(a)da , a2 = t= t'

n 1 Используя (12), перепишем um (£) в виде 2_(n—1)/2 1

Dm (-) n/V> $ D(-, t)Pm (t)(1 — t)(n—3)/2 dt, (12) ^ m (#) = Я— $ k(^1, y)Pm («1 • У) | У fn/pdy , £ е П .

r((n — l)/2)— 1 Rn

Pm(t) - многочлены Лежандра [8, с. 41]. Очевидно, что оператор Я1 — Km обратим в том и Далее рассмотрим в пространстве Lp,p(0,да) только в том случае, когда обратим оператор

оператор Km , определяемый уравнением (11): Я — Hm .

Теорема 2. Для того чтобы оператор Л1 - К был обратим в пространстве Цр р (Яп), необходимо и достаточно, чтобы выполнялось условие

3. Пусть Р|X

IX )=fi

ст,

0, V^eri , Уш е Z+ .

+ x

v/2

v> 0

Тогда

(14)

Доказательство. Пусть вначале Лф 0. Условие (14) с учетом предложения 2 является необходимым и достаточным для обратимости всех операторов Л - Нт, а значит, и всех операторов Л - Кт,

т е Z+. В силу леммы 2 и следствия 1 обратимость операторов Л1 - Кт - необходимое и достаточное условие обратимости Л — К.

Пусть Л = 0 . Предположим, что К обратим. Тогда найдется такое 8 > 0, что все операторы из 8-окрестности оператора К обратимы. Подберем такие числа т1 еZ + и 4еП, что (41)| <8 . Тогда

оператор К — сгт1 (41 )1 обратим. Однако функция

<т1 (4) -<т1 (41) обращается в нуль при 4 = 41, и,

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

следовательно по доказанному выше, оператор К -<щ 4)1 необратим. Получили противоречие.

То, что оператор К необратим, согласуется с (14), так как в этом случае <т (да) = 0, Vm е Z+ .

В заключение рассмотрим некоторые важные частные случаи весовой функции р( х\):

1. Пусть Р(х)= (1 + |1п|У, у> 0. Тогда П = Я.

2. Пусть Р(х|)=(Х +1/х|, у>0. Тогда П = {г е С: -у< 1т г <у).

ri = {z е C: 0 < Im z <v).

Работа поддержана ФЦП «Научные и научно-

педагогические кадры инновационной России»,

№ 02.740.11.5024.

Литература

1. Karapetiants N., Samko S. Equations with Involutive Operators. Birkhäuser. Boston; Basel; Berlin, 2001. 427 p.

2. Авсянкин О.Г., Карапетянц Н.К. Многомерные интегральные операторы с однородными степени (-n) ядрами // Докл. РАН. 1999. Т. 368, № 6. С. 727-729.

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

4. Авсянкин О.Г., Карапетянц Н.К. Проекционный метод в теории многомерных интегральных операторов с однородными ядрами // Мат. заметки. 2004. Т. 75, вып. 2. С. 163-172.

5. Авсянкин О.Г. О С*-алгебре, порожденной многомерными интегральными операторами с однородными ядрами и операторами мультипликативного сдвига // Докл. РАН. 2008. Т. 419, № 6. С. 727-728.

6. Гельфанд И.М., Райков Д.А., Шилов Г.Е. Коммутативные нормированные кольца. М., 1960. 315 с.

7. Симоненко И.Б., Чинь Нгок Минь. Локальный метод в теории одномерных сингулярных интегральных уравнений с кусочно-непрерывными коэффициентами. Нетеровость. Ростов н/Д, 1986. 64 с.

8. Самко С.Г.Гиперсингулярные интегралы и их приложения. Ростов н/Д, 1984. 208 с.

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

24 февраля 2010 г.

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