УДК 517.983
ОЦЕНКИ ДЛЯ НЕКОТОРЫХ ОПЕРАТОРОВ СВЁРТКИ С ОСОБЕННОСТЯМИ ЯДЕР НА СФЕРАХ
А. В. Гиль, А. И. Задорожный, В. А. Ногин
Южный федеральный университет,
Факультет механики, математики и компьютерных наук,
344090, Ростов-на-Дону, ул. Мильчакова, 8а.
E-mail: gil-alexey@yandex.ru
В рамках пространств Харди Нр изучаются многомерные операторы свертки с ядрами, имеющими степенные особенности на конечном объединении сфер в Rn. Получены необходимые и достаточные условия ограниченности таких операторов из Нр в Нч, 0 < р < q < ос, из Нр в ВМО, и из ВМО в ВМО.
Ключевые слова: свёртка, сфера, осциллирующий символ, ВМО, (Нр—Нч)-оцен-
ки, мультипликатор, обобщённая функция.
1. Предварительные сведения. В данной работе рассматривается оператор свертки
Mg<p = nig * <р (1)
с ядром, имеющим степенные особенности на конечном объединении сфер:
mffe) = 01<Ы)И - М2 + iO)8'-1 х ■ ■ ■
- ■ х «...(мигг., - м2+•о)’5--1 • «.«и)» - м*#-1, <2)
где /3 = (/?!, /?2) • • • ,Ps), Pj > 0, 1 ^ j ^ S, 0 < П < Г2 < . . . < rs-1 < rs = 1.
Здесь dj(r) — гладкие функции, dj(rj) ф 0.
Операторы вида (1) возникают при решении задачи Коши для волнового уравнения (см. [1-3]).
В настоящее время имеется ряд работ по (Hp—Hq)-оценкам для операторов свёртки со степенными особенностями ядер на сферах (см. [4-9]). Случай особенностей ядер на нескольких сферах рассматривался ранее только в [6]. Однако развитый в [6] метод не охватывал наиболее трудный случай, когда О < р < 1. Заметим также, что символ оператора вида (2) осциллирует на бесконечности, что используется при получении указанных оценок.
Через Нр = Нр(М.п), 0 < р < сю, обозначим множество всех 5;-распреде-лений таких, что
/+(ж) = sup \(f*Lpe)(x)\ € Lp,
0<£<ОО
где (р е S, tp{x)dx Ф 0, tp£{x) = £-ntp{x/e) и (/ * tp£){x) = {f,<Pe(x - •))•
J Rn
Положим Н/Няр = ||/+||lp (cm- [4, P- 269]). Заметим, что при 1 < p < oo пространство Hp изоморфно LP.
Алексей Викторович Гиль (к.ф.-м.н.), ст. преподаватель, каф. дифференциальных и интегральных уравнений. Анатолий Иванович Задорожный, д.ф.-м.н., доц., зав. кафедрой, каф. дифференциальных и интегральных уравнений. Владимир Александрович Ногин, к.ф.-м.н., доц., доцент, каф. дифференциальных и интегральных уравнений.
Через ВМО = ВМО(Мга) обозначим множество всех локально интегрируемых функций, для которых
11/11 ВМО = 8Щ> ^\/(х) - /б|йж| < оо,
где —г [ /(х)с1х и супремум берутся по всем шарам В из К”. Заметим,
\в\ -'в
что пространство ВМО является сопряжённым к Н1 (см. [4, р. 271]).
2. Основные результаты. На (1 /р, 1/д)-плоскости рассмотрим множество
С(/3, п) = < , 0 < р ^ д < оо : - — — ^ /3, если - + - ^ 1
[\р д/ р д Р д
п 1 п , , 111
и--------^ /3 + (п — 1), если —|— ^ 1 >.
р д р д )
Через Н(Мд) обозначим множество всех пар (1 /р, 1/д), для которых оператор (1) ограничен из Нр в Нд.
Для оператора (1) справедлива
Теорема 1. Пусть /3-,- >0, 1 ^ ^ в, /Зо = шт{/31,/32,...,/38}. Тогда
ф0,п)сЩм]). (3)
Доказательство. Заметим, что рассматриваемая задача сводится к случаю, когда в = 2 в формуле (2). В указанном случае докажем, что
ш^)€Л1(ЯР,Я«), (1/р,1/д)еС(130,п), (4)
где Л4(Нр,Нд)—класс мультипликаторов Фурье, порождающих ограниченные операторы из Нр в Нд. Тогда с учётом замечания 2.3 из [4] получаем, что оператор (1) ограничен из Нр в Ня.
Представим оператор мЦ в виде
(Мв<р)(х) = (М1'°ф)(х) + {М%\ч>)(х) + (М^2<р)(х) + (5^)(ж),
где
(М1'°<р)(х)= [ (1-ил(\у\))(1-ш2(\у\))т%(у)ф-у)(1у,
Ау\^Л
(М^<р)(х) = [ (п - \у\)^~1и1(\у\)ф - у)(1у,
^Г1-Й15С|?/|5СГ1
(М^)(ж) = е"^-1) / (\у\ - Г1)^-1и1{\у\)ф - у)йу,
•/г-1<|2/|<г-1+<51
МЫ) = (Г1 + \у\)^1~1^1(\у\)Ы\у\)(1-^2(\у\))02(\у\)(1 - МУ2-1,
(5^)(ж) = I (1 - \у\Г2 1и2(\у\)ф -у)<1у,
■' 1—<52 |г/| 1
у32-1(\ \2 -г^г-Х
т9,о(0 = (2тг)га/2 ' рП 1щ(р)Лр I егр^'а)г1а.
а функции Ш1(г) € О00[0,1] таковы, что 0 ^ ^ 1, со^{г) = 0, если
г ^ [г,- — + 5^6 и са,-(г) = 1, если г € [г,- — <^-/2, г,- + ^/2], 0 < ^ < 1,
^ = 1, 2; гг = 1, 0 < Г\ — <_Г\ < Г\ + 5\ < 1 — 82 < 1-
Рассмотрим оператор М^’°. Введём обозначения
т^о(У) = {1~ ШЛЫ)) (1 - М\у\))гг4(у), и3(р) = (2тг)п/2(г1 - р2 + г0)/?1_1(1 - р2)/?2_16|1(р)(1 - Ш1(р))6>2(р) (1 -ш2(р)).
Запишем т^0({) в виде
/-1-Й2/2
/о ■Уй'™-1
Имеем ___ ___ ____
т^о(0 = (! - + ^(1С|2)^0Ш-
В силу теоремы Е из [4, р. 282] заключаем, что
(1-^(|е|2))т^0(е) <=М(Нр,Н«), 0<р^д< оо. (5)
Рассмотрим у(\^\2)тЧ0({). Применив формулу
_ е“™> *7 = (6)
(см. [10], формула (25.13)), получаем
'Т' п(\£\2) Г1~6 2/2
^(1С|2)^е,о(6 = |^|п/2-1 У0 ^з(р)р™/2^п/2-1(р|С|)ЙР- (7)
Проинтегрировав по частям I раз интеграл в (7), будем иметь
ъШ2)™е,о(0 = (Рмз(р))р^+г^+г(р|С|)Ф =
|£| 2 +‘ ,)0 \аР Р/ 2
■и(|{|2)ег1?1 (—1)гг;(|{|2)е_г1?1 г1-&2/2 / ^ 1\г ГЛ=2
|^|2Ук+/3о |£|г_/3°“^ Л)
(I 1 \ 2
(ри3(р)) р^+1,1г^2+1(р\£\) с1р.
Положим I = [/50] + 3 + тах{ [п(^ — ^)], [|] } (см. [4, р. 282], теорема Е). Заметим, что
К1£12)еад • е 7И(ЯР,Я9)
в силу утверждения (1-1) теоремы 4.2 [4, р. 284], если (1/р, 1/д) € £(/Зо,п). Кроме того,
Г*'2 ШУ{рщ(р)) Лр € М(НГН*),
О < р < оо, по теореме Е [4, р. 282] и является мультипликатором в 5. Тогда
Ут2)г4,о(0£М(Нр,Н<1), если (1/р,1/д) еС(Ро,п). (8)
Из (5) и (8) следует вложение
С{Ро,п) С Н{М}0). (9)
Рассмотрим оператор \ с символом
те\(0 = Г Рп~\п ~ р)/31“1М1(р) (1р [ с1о.
.} Г1—$1 .} sn~1
Имеем
"?!«) = (1 - «(|«|2))^(е) + = <?«) + ({)•
В силу теоремы Е [4, р. 282] заключаем, что
т^°(0 еМ(Нр,Нд), 0<р<д<ос. (10)
Рассмотрим ш^11’00(^). Применив формулу (6) и асимптотическое разложение функции Бесселя [11] с N = + 1, получаем
- N
">&”(«) = Л''+(1« I)) + Я?1Л“(1«1) + Я?,Л+(1« I),
к=О
где
^1,к,±Ш) = I Р^~к(г 1 - р)^~1и1{р)е^\ йр, (11)
|£| 2 +к Jr1-S1
, п— 1 г7г 1 \
0 ^ к ^ Ж, 7о;± = (27г) 2 4 (га 1))
£‘ л 4л (и)
/»-2\ /-1 АГ /-оо-ехр(га) / . \ ^-ЛГ
««1 М«1) = /(!-*) е_"“ а + (1 -
Рассмотрим мультипликатор (11). После замены г\ — р = т имеем
*?А±<|«|> - Г (13)
|£| 2 +к ,)0 (г1-Ту~ 2
Преобразуем мультипликатор (13), используя лемму Эрдеи (см. [12, с. 97]). Будем иметь
4'-■‘■±(|«|) = 7Ь,±1-(|{|2)в±"‘|«| • и!1?-*-'31.«<КР) + |{|Аи-?Л(|{|)),
где (1^ = .' | +31 к V М - /у]- ' /1.' I И I п 1 I ■:,;,; ГГ~ 1 ф; ;
функция, равная разности двух функций. Первая функция — это исходное интегральное выражение в (13), вторая —
аМ=|£| /31. функция \¥^А(\£,\) допускает оценку
С±’3
^ дТ+/3+7’ ^ ^ =
(И^А))00 постоянные С1*1’-7 не зависят от Л. Заметим, что
у(\(\2)е±гг^ ■ €-М(Яр,Я9)
в силу утверждения (1-1) теоремы 4.2 [4, р. 284], если (1/р,1/д) € С((3\,п). Кроме того,
ъ,±т2ж\^Ат) ем(нр,нр), о < р < ос,
по теореме Е [4, р. 282] и является мультипликатором в 5. Тогда
^1>0>±(|£|)еМ(Нр,Н(‘), если (1/р,1/д) € С{ръп).
Аналогично доказывается, что Ь^1,к,±(\^\) € Л4(НР, Ня), 1 ^ к ^ N, если {1/р, 1/д) € С(р1 + 1,п).
Рассмотрим (12). После замены г\ — р = т получаем
д/ЗьЛГ,±/|£|Ч = ВМе___________________щ(.г1 - т) е^гЩтг)(1121)
1 1^^+^+! Уо (п -т)М+1-1^к *
Применяя лемму Эрдеи, будем иметь
Д11Л±(И) - • *ояг>(*2+,*<К1> + 1«1Ли'1тА(|«1)
|£| 2 1
где %+1,Т(1С1) = а^+1,Т ■ Ям,± \п1£1)- Тогда
^Ф(1£12)е±и-1|?| • е ,М(ЯР,Я9),
если (1 /р, 1/q) € C(fi\ + 1, гг), в силу утверждения (I-i) теоремы 4.2 [4, р. 282]. Кроме того,
+ о<Р<оо,
по теореме Е [4, р. 282] и является мультипликатором в S. Тогда -RibW,±(|£l) £ М(НР,№), если (1 /р, 1/q) € ОД + 1,п).
Резюмируя изложенное, получаем, что
песли (l/p,l/q)e£(ft,n), (14)
откуда с учётом (10) следует вложение
m,n)cn(Mfy. (15)
Рассуждая аналогично, получаем, что
£(<91}п) cH(Mfe), и £(/32,п) С TL(Sg2). (16)
Из (9), (15) и (16) следует (4). □
Замечание. Используя идею доказательства точности (Hp—Hq)-оценок для мультипликаторных операторов с символами
m6±(iei)=Kiei2)ier6e±^, ъ> о,
где v(r) £ С°°(0, оо), 0 ^ v(r) ^ 1; v(r) = 0, если г ^ 1 и v(r) = 1, если г ^ 2, из [4], можно показать, что знак вложения в (3) можно заменить знаком равенства.
Используя утверждения (I-i) и (II-i) теоремы 4.2 [4, р. 284] и рассуждая
так же, как и при доказательстве теоремы 1, заключаем, что справедливы
следующие теоремы.
Теорема 2. Пусть fij > 0, 1 ^ j ^ s, /?о = min{/3i,... ,(is}- Если выполняется одно из условий 1 ^ 1 /р ^ 1 + (/?о — 1 )/п либо 0 < 1 /р ^ min{l, /Зо}, то оператор (1) ограничен из Нр в ВМО.
Теорема 3. Пусть fjj > 0, 1 ^ j ^ s. Тогда оператор (1) ограничен из ВМО в ВМО.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Strichartz R. S Convolutions with kernels having singularities on a sphere // Trans. Amer.
Math. Soc., 1970. Vol. 146, no. 2. Pp. 461-471.
2. Sjostrand S. On the Riesz means of the solutions of the Schrodinger equation // Ann. Scuola
Norm. Sup. Pisa., 1970. Vol. 24, no. 3. Pp. 331-348.
3. Peral J.C. Lp estimates for the wave equarion// J. Fund. Anal, 1980. Vol. 36, no. 1.
Pp. 114-115.
4. Miyachi A. On some singular Fourier multipliers// J. Fac. Sci. Univ. Tokyo., Sec. IA., 1981. Vol. 28, no. 2. Pp. 267-315.
5. Karasev D. N., Nogin V. A. On the /^-characteristic of some potential-type operators with radial kernels, having singularities on a sphere// Fract. Calc. Appl. Anal, 2001. Vol. 4, no. 3. Pp. 343-366.
6. Карапетянц A. H., Карасев Д. H., Ногин В. А. Оценки для некоторых операторов типа потенциала с осциллирующими ядрами // Изв. нац. акад. наук Армении, 2003. Т. 38, №2. С. 37-62; англ. пер.: Karapetyants A.N., Karasev D.N., Nogin V. А. 35-60// J. Contemp. Math. Anal, 2003. Vol. 38, no. 2.
7. Karasev D.N., Nogin V. A. On the boundedness of some potential-type operators with oscillating kernels/ В сб.: Math. Nachr., T. 278, 2005. C. 554-574.
8. Оценки для некоторых операторов типа потенциала с осциллирующими символами // Владикавк. матем. журн., 2010. Т. 12, №3. С. 21-29. [Gil А. V, Nogin V.A. Estimates for some potential-type operators with oscillating symbols// Vladikavkaz. Matem. Zhurn., 2010. Vol. 12, no. 3. Pp. 21-29].
9. Гиль А. В., Ногин В. A. Hp — Hq оценки для некоторых операторов типа потенциала с осциллирующими символами // Изв. вузов. Сев.-Кав. регион, 2010. №5. С. 8-13. [Gil А. V., Nogin V. A. Hp—Hq estimates for some potential-type operators with oscillating symbols// Izv. vuzov. Sev.-Kav. Region, 2010. no. 5. Pp. 8-13].
10. Самко С. Г., Килбас А. А., Маричев О. И. Интегралы и производные дробного порядка и некоторые их приложения. Минск: Наука и техника, 1987. 688 с. [Samko S. G., Kilbas A. A., Marichev О. I. Integrals and derivatives of fractional order and some of their applications. Minsk: Nauka i Tekhnika, 1987. 688 pp.]
11. Watson G. A treatise on the theory of Bessel functions. London: Cambridge University Press, 1922. 804 pp.; русск. пер.: Ватсон Г. Н. Теория бесселевых функций. М.: Иностр. лит., 1949. 798 с.
12. Федорюк М. В. Метод перевала. М.: Наука, 1977. 368 с. [Fedoryuk М. V. The saddle-point method. Moscow: Nauka, 1977. 368 pp.]
Поступила в редакцию 18/XI/2010; в окончательном варианте — 18/11/2011.
MSC: 47В38; 30Н35, 30Н10
ESTIMATES FOR SOME CONVOLUTION OPERATORS WITH SINGULARITIES OF THEIR KERNELS ON SPHERES
A. V. Gil, A.I. Zadorozhnyi, V.A. Nogin
Southern Federal University,
Faculty of Mathematics, Mechanics and Computer Science,
8a, Mil’chakova str., Rostov-on-Don, 344090, Russia.
E-mail: gil-alexey@yandex.ru
In the framework of Hardy spaces Hp, we study multidimensional convolution operators whose kernels have power-type singularities on a finite union of spheres in Rn. Necessary and sufficient conditions are obtained, for such operators to be bounded from Hp to Hq, 0 < p < q < oo, from Hp to В MO, and from В MO to BMO.
Key words: convolution, sphere, oscillating symbol, BMO, (Hp — Hq)-estimates, multiplier, distribution.
Original article submitted 18/XI/2010; revision submitted 18/11/2011.
Alexei V. Gil (Ph. D. (Phys. & Math.)), Senior Lecturer, Dept, of Differential and Integral Equations. Anatoliy I. Zadorozhnyi (Dr. Sci. (Phys. & Math.)), Head of Dept., Dept, of Differential and Integral Equations. Vladimir A. Nogin (Ph.D. (Phys. & Math.)), Associate Professor, Dept, of Differential and Integral Equations.