УДК 517.951
Б01: 10.22363/2312-9735-2017-25-4-340-349
Интегральные свойства обобщённых потенциалов типа Бесселя и типа Рисса Х. Алмохаммад, Н. Х. Альхалиль
Кафедра нелинейного анализа и оптимизации Российский университет дружбы народов ул. Миклухо-Маклая, д. 6, Москва, Россия, 117198
В работе изучаются интегральные свойства свёрток функций с ядрами, обобщающими классические ядра Бесселя—Макдональда Са(х), х € К", 0 < а < п. Локальное поведение ядер Бесселя-Макдональда в окрестности начала координат характеризуется наличием особенности степенного типа |ж|а-". Ядра обобщённых потенциалов Бесселя-Рисса могут иметь нестепенные особенности в окрестности начала координат. Их поведение на бесконечности связано лишь с условием интегрируемости, так что в рассмотрение включены и ядра с компактным носителем. В статье получена конкретизация общих критериев вложения потенциалов в перестановочно-инвариантные пространства в случае, когда базовое пространство для потенциалов есть весовое пространство Лоренца. Получены явные описания оптимального перестановочно-инвариантного пространства для такого вложения.
Ключевые слова: потенциалы типа Рисса, пространства Лоренца, убывающие перестановки, перестановочно-инвариантные пространства, оптимальные вложения
1. Введение
В данной статье мы изучаем обобщения ядер Бесселя-Макдональда. В отличие от классического случая в них допускаются нестепенные особенности ядер в окрестности начала координат. Их поведение на бесконечности связано лишь с условием интегрируемости, так что в рассмотрение включены и ядра с компактным носителем. В связи с этим порождённые ими пространства обобщённых потенциалов Бесселя относятся к так называемым пространствам обобщённой гладкости. Оценки свёрток, возникающих при описании пространства потенциалов исследованы О'Нейлом [1].
Общие критерии вложений обобщённых потенциалов Бесселя и Рисса в различные перестановочно инвариантные пространства исследовались в работах М.Л. Гольдмана [2]. Постановки задач об оптимальных вложениях пространств обобщённой гладкости и ряд важных результатов в этом направлении содержатся в работах Ю.В. Нетрусова [3,4], М. Л. Гольдмана и др. [5,6].
2. Вспомогательные определения. Потенциалы типа Бесселя
и типа Рисса
Всюду в этой работе Е = Е(К") есть перестановочно инвариантное пространство (кратко: ПИП), Е' = Е'(Кп) — ассоциированное ПИП.
Вводим также пространства Е = _Е(К+), Е' = ,Е'(К+) — их представления Люксембурга, т. е. такие ПИП, что
II/ 1Ы = II/*\\ё , ые' = НЛя',
где f* — убывающая перестановка функции f, т.е. неотрицательная убывающая непрерывная справа функция на = (0, то), которая равноизмерима с f.
Статья поступила в редакцию 15 июня 2017 г.
Пространство потенциалов Н( = Н((Жп): определяем как множество свёрток ядер потенциалов с функциями из базового пространства
я( {(К") = и = С * / : / е Е(К")} , где Е — перестановочно-инвариантное пространство, а ядро С — специального вида,
\\и\\н% = Ы {||/||я : / е Е(Шп),С * / = и} , (фактор-норма). Ядро представления С назовём допустимым, если
С е Ьг(Жп) + Е'(К").
Здесь свёртка С * / определяется как интеграл
(с * !)(х) = (2ж)-2 у С(х - у)!(у) <у.
к™
Замечание 1. В случае допустимых ядер мы можем для потенциалов и е Н( определить убывающие перестановки и*.
Пусть ё — положительная измеримая функция (вес), Л(в) = / ё(1)<
о
Я*(*) = -щ//*(тЖт)^, * е К+.
о
В частности, когда ё = 1,
/**№ = /*(т)<Т, I е М+.
Определение 1. Функция Ф : (0,К) ^ К+ принадлежит классу 1шп(д), если:
1) Ф — убывающая и непрерывная на (0,К) функция;
2) существует постоянная с е К+ такая, что
г
г-п I Ф(р)рп-1 <Р < сФ(г), Г е (0, Я),
((*) *)
Р(т) = Ф Ш е 1Ш1(Т), и(Р, т) = шт Ш,<р(т)}.
Определение 2. Пусть Ф е 1шп(то).
Считаем, что С е Зя(Ф), если С(х) = Ф(|ж|), 0 < р = |ж| < К. Считаем, что С е 3Н(Ф] Х), где Х(Кп) ПИП, если при Вп = {х е Кп : |ж| < Я}, К е К+ справедливо представление
С(х) = С0в(х) + С1Е(х),
где С0н(х) = в(х)Хвя(х); С^х) = С(х)ХсВн(х), в°я(х) = Ф(|®|), при |ж| < К, С^ е Х(®п).
Определение 3. Пусть Ф е 1ш„(то), /ф(Р, •) е Е'(Ж+), £ е М+, С е ЯЖ>(Ф). Тогда потенциалы и е Н'^(Жп) называются обобщёнными потенциалами Рисса.
Определение 4. Пусть Ф е 1шп(д). Потенциалы и е Нд(Ш.п) называются обобщёнными потенциалами Бесселя, если
С е Бн(Ф] и П Е'), ¿х = 0,
я™
где Я е М+.
Определение 5. Пусть оператор Кеу,т ■ Ё0(0,Т) ^ Х(0,Т), Т е (0, то] определён по формуле:
^е ут[д№ = и(1; т)д(т)Лт, д е Ё0(0,Т).
Определение 6. Пространствами Лоренца Л4(и) и Г 9(и), где 5 и и > 0 — измеримые функции, называются пространства измеримых функций с конечной нормой.
¡1 (г)и(г)<и) ,
1 < д < то;
1л« (и) = ^ V о '......
^ бир ^€(0,те) {f*(г)и(г)} , д = то;
Г« (и)
ИГ(г)и(г)<и) ,
1 < д < то;
^ бир46(о,^) {!Г(1)и(1)} , <1 = то.
В частности когда 5 =1,
|Г« (и)
= Ц(€)и(€)Ы
е88
1 < д < то;
зир 4€(0,те) {/**(£)и(г)} , д = то.
Ассоциированными к пространствам Лоренца являются пространства
I £
Г 1 и а)
Л4(и)' =<|Г и-и^) ,
Л1
д = то; 1 < д < то;
зиро<а<4и(«^ , У =1.
«
3. Интегральные свойства потенциалов
Пусть \\ И^ю \\Ё^х = 8ир{\\ КАлюЬЧУх : 9 е \\9\\ё < ^. Тогда
\\ ^,«>[9*]\\ < \\ Вв^ \\д\\Ё; Уд е Ё(Ш+).
Задача — описать оптимальное ПИП х0(Кп) для вложения Н(д (и) (Кп) С X(Кп), т.е. такое ПИП х0(Кп), что
1) я« (и)(Кп) схо(Кп);
2) если ПИП x(Кп) такое, что есть вложение Н((и) (Кп) С x(Кп), то Х0(Шп) с X (Кп).
Теорема 1 (см. [6]). Для потенциалов типа Рисса вложение Н((и) (Кп) с X(Кп) эквивалентно ограниченности оператора Ие^^ : Л"(м)(М+) ^ Х(К+).
Теорема 2 (см. [6]). В случае обобщённых потенциалов Бесселя вложение Н( (и) (Кп) С X(Кп) справедливо тогда и только тогда, когда выполнены следующие два условия:
1) оператор : Л"(м)(М+) ^ X(М+) ограничен;
2) справедливо вложение Л"(и)(Жп) П Ь^(Жп) с X(Кп).
Теорема 3 (см. [6]). При Т = ж для потенциалов типа Рисса, Т = Уп(К/2)п е К+ для потенциалов типа Бесселя имеет место эквивалентность
Н((и)(Кп) С Ь^(Жп) е [Л"(и)]'(0,Т).
4. Основная часть
Замечание 2. Мы будем использовать результат из работы [7]. Именно, при 1 < р < д < ж \\/\га (Ы) < с\\/\\ар(„) &
\ д / СЮ ,
" \ Г / + \Р
Л = 30\\1 Ш ^<) \1{тЫ -щ?<1 > <ж.
Лемма 1. \\ Пе"^*}!^'н = \\ Пе^,ю[д*]\ьрн &
л=\\1 Г ^ <)' • \ 7 (тт-х )'■ # < V > < -
ч0
Доказательство. Из замечания 2 получим д ^ р', р ^ р', ш = V \\ ^е<р,ж[д*]\\гр'и < 4 ^юЬ*]\\лр'М &
, 1 сю \ р
Л=30И/Г"®«4) (/(гЪ)#<1 ><ж
Всегда || Б^сЬ*]||гр'(и) > || Ие<р,ю[д*]||лр'(и) > ^
р' (и) — У ^«ЛС^^Лр' (и).
^ У [д ]||гр'(и) — У ]||лр
При этом:
УИе v,ж[g*}||гp>(и) = [ J (Ие "с[д*])р ^(г)( | = уИе *%Ь*]||Ьр'( и), о
|| УлР(и) = [/(Ие;,те[9*})р'^(*)а*^ =
= (0 < Ие 4, ^ Ие = Ие ^ = [ / (Ие^[д*])р V(I) ( ) =
= У Ие у,с[д*\У ( и),
е(р,<х>[д ]У ( и) 1113" г" 111 " л ^
|| Ие;%[д*]ЦЬрГ(и) — || Ие^ЛН^'(и) ^ < то.
Теорема 4. Пусть 1 < р < то, —- = 1, а функции и, V, ш, V и и определены
р р'
следующим образом
в , , 4
и(в) = ! и® а, V® = *2р р , V(1) = ! ь(т) (г,
1р+р -1у (1)1 Т-р у(т)(т
ф) =-с-.
V(г) + гр' / т-р' у(т)(т
Кроме того, пусть
V
А=*ирл I/ Шр-Н и Ш'}< то-
х>0
оо
1
Г , \ V / сю
с[I а 1 <то-
Тогда оптимальное ПИП для вложения (и)(Кп) С X(К") имеет эквивалентную норму У/Ух0(К+) = У/Угр(ш).
Доказательство. Учитывая определение ассоциированных пространств для пространств Лоренца, мы можем представить норму оператора Ие
\\ *]\ \л р(и)' = \\ Ъе^,ю[д*
Гр
■ ( ^'и^Л
V ир' (г))
Применяя результат леммы 1, получим
Мое [9 *])Р'%М<И
и рр (г)
\\
Г р
(*р'и(*Л I I ^\> иРи)
\ир> (±)) у0
Г . *1 II
С г^игЛ V ир' (*))
< I =
= \\ Ъе;*ю[д*]\\Ьр, /^\ = \\ ЪеъсюП
С г^игЛ V ир' (*))
Р 7 /
* ])Р'^Ш<И 1 =
и р' (г)
0
и V, т)д*(т)<т
р ' \
и р' (г)
/
Из определении функции мы можем представить норму оператора в
-рр' ( 4р' и(<Л пространстве Iр I ир, (^ 1 в виде суммы:
\\ *
Г р
V ир' (*))
ъ ю
ф)! д*(т)<т+I <р(т)д*(т)<т
0
г
ф)! д*(т)<т
¿р и(г)
и р' (г)
<
с Г
+ \
) .1 0
^(г)д *(т) <т
р ' \
ир (г)
р' ' \
и р' (г)
Но у нас \\ *]\\лр(и)' = \\ Ке^Ь*]\\
Итак, \\ *]\\лр(и)' = Л + ,2, где
1
/
Гр' ( *р и(г)
ир' (г)
1 =
0
ф)! д*(т)<т
¿р и(г)
и р' (г)
<и
с с
, ,2 = / У 0
^(г)д *(т) <т
р ' \
и р' (г)
/
Мы хотим оценить слагаемое ,12 слагаемым ,11. Из убывания функции д* получим для 11:
1 >
^(1)д*(1) ! <т
0
р ' \
и р' (г)
№з*(1)]р' Щ)
< I :=
12 < аЯ,
р
1
1
р
1
р
4
где а — постоянная, не зависящая от функций р и д*, такая, что J2 ^ аЯ. Достаточно, чтобы определённая следующим образом постоянная С была конечна:
С = 1УР [/ Ш'т'и)Р [/ ^ ( I < то-
Эта постоянная и есть константа С из условия теоремы.
Здесь мы применили обобщённое неравенство Харди для функции одной переменной, приведённое в книге В. Г. Мазьи [8, Глава 1].
Итак, мы получили, что jl и j2 ^ аБ, поэтому можно писать j2 ^ CJl. Эти оценки дают, что
У И^сЬ * ]||Гр/ Лр'„(0 \ — ^ + J2 = '71,
V иР' т )
У Ие у,с[д
с
с о
Гр
V иР' (*) )
г
ф)! д*(т)ёт
д*(т)(т
р
ир (г) [д **т
р
ир (г)
[<Р®9**(^]р'
( I =
**тт ¿2р и(г)(рр (г)
ир'(I) (1 = ^(*)у (1)
Формула
1 сю
У /*д* деЬо(К+);; У
с[У*]||£ /(К+) < 1
даёт, что норма в оптимальном ПИП Хо(К+) является ассоциированной к норме (1),
т. е
где ь(г) = г2р и(г)^р (г)/ир (г).
Хо(®+) = У[гр (ь)]'
Осталось заметить, что можно описать эквивалентную норму ассоциированного пространства в следующем виде (см. [7]):
1[Гр' (ь
/ . с \
/ с¿р+р-1 (г)!т-р у(т)(т\
V(г) + гр' / т-р'у(т) (т
где
V (г) = ! ь(т) (т = I
т2р'и(т)(рр' (т) и р' (т)
ё т.
V
V
Учтём теперь обозначение
со
tp+p' -1у (¿) J т-р v(j) dr
"(f) =-сс-.
V (t) + / г-р' w (r) dr
с
Отсюда следует, что ||/Угр(ш) = 11/У;с0(к+).
Итак, теорема доказана. □
г
Замечание 3. Условие У ^(p)dp < ap(r)r, приведённое в работе [9], гаранти-
0
рует эквивалентность Re**c[(/*] = *].
Мы не накладываем это требование, заменив его условием на весовые функции:
^ {(/(^У «>*)'(/"(^)' & d) *} < -
При его выполнении получаем эквивалентность норм
у *]||г*и - у *]Пл*'м =1 Re;,cb*]hr'м = У *]hr'{и).
Последнее равенство опирается на соотношение Re*,c[(/*](t) = Re^;C[(/*](i). Формула в правой части неотрицательна, убивающая и непрерывная, т.е. она совпадает со своей убывающей перестановкой.
5. Заключение
В работе получены следующие основные результаты.
1. Рассмотрены общие свойства потенциалов, построенных на базе весовых пространств Лоренца с общими весами.
2. Установлены эквивалентные описания конусов убывающих перестановок для потенциалов, построенных на базе весовых пространств Лоренца с общими весами.
3. Получены критерии вложений пространства потенциалов в перестановочно инвариантные пространства и даны описания оптимальных перестановочно инвариантных пространств для таких вложений. Приведена конкретизация этих вложений в случае базовых весовых пространств Лоренца.
Литература
1. O'Neil R. Convolution Operators and L(p, q) Spaces // Duke Mathematical Journal. — 1963. — Vol. 30. — Pp. 129-142.
2. Goldman M. L. On the Cones of Rearrangements for Generalized Bessel and Riesz Potentials // Complex Variables and Elliptic Equations. — 2010.
3. Нетрусов Ю. В. Теоремы вложения пространств Лизоркина-Трибеля // Записки научных семинаров ЛОМИ. — 1987. — Т. 159. — С. 103-112.
4. Нетрусов Ю. В. Теоремы вложения пространств Бесова в идеальные пространства // Записки научных семинаров ЛОМИ. — 1987. — Т. 159. — С. 69-82.
5. Гольдман М. Л., Энрикес Ф. Описание перестановочно инвариантной оболочки анизотропного пространства Кальдерона // Труды Математического института им. В. А. Стеклова. — 2005. — Т. 248. — С. 94-105.
6. Гольдман М. Л. Об оптимальных вложениях обобщенных потенциалов Бесселя и Рисса // Труды Математического института им. В. А. Стеклова. — 2010. — Т. 269. — С. 91-111.
7. Characterization of Embeddings in Lorentz Spaces Using a Method of Discretization and Anti-Discretization / A. Gogatishvili, M. Johansson, C. A. Okpoti, L. E. Pers-son // Bulletin of the Australian Mathematical Society. — 2007. — Vol. 76. — Pp. 6992.
8. Мазья В. Г. Пространства Соболева. — Ленинград: Издательство ЛГУ, 1985.
9. Малышева А. В. Оптимальные вложения обобщённых потенциалов Рисса // Вестник РУДН. Серия: Математика. Информатика. Физика. — 2013. — № 2. — С. 2837.
UDC 517.951
DOI: 10.22363/2312-9735-2017-25-4-340-349
Integral Properties of Generalized Potentials of the Type Bessel
and Riesz Type Kh. Almohammad, N. Alkhalil
Department of Nonlinear Analysis and Optimization Peoples' Friendship University of Russia (RUDN university) 6, Miklukho-Maklaya St., Moscow, 117198, Russian Federation
In the paper we study integral properties of convolutions of functions with kernels generalizing the classical Bessel-Macdonald kernels Ga(x), x G Rn, 0 < a < n. The local behavior of Bessel-Macdonald kernels in the neighborhood of the origin are characterized by the singularity of power type |x|™-". The kernels of generalized Bessel-Riesz potentials may have non-power singularities in the neighborhood of the origin. Their behavior at the infinity is restricted only by the integrability condition, so that the kernels with compact support are included too. In the paper the general criteria for the embedding of potentials into rearrangement invariant spaces are concretized in the case when the basic space coincides with the weighted Lorentz space. We obtain the explicit descriptions for the optimal rearrangement invariant space for such an embedding.
Key words and phrases: Riesz potentials, Lorentz spaces, decreasing rearrangement, rearrangement-invariant spaces, optimal embedding
References
1. R. O'Neil, Convolution Operators and L(p, q) Spaces, Duke Mathematical Journal 30 (1963) 129-142.
2. M. L. Goldman, On the Cones of Rearrangements for Generalized Bessel and Riesz Potentials, Complex Variables and Elliptic Equations.
3. Yu. V. Netrusov, Embedding Theorems of Lizorkin-Triebel Spaces, Notes of scientific seminars LOMI 159 (1987) 103-112, in Russian.
4. Yu. V. Netrusov, Embedding Theorems of Besov Spaces into Ideal Spaces, Notes of scientific seminars LOMI 159 (1987) 69-82, in Russian.
5. M. L. Goldman, F. Henriques, Description of Rearrangement Invariant Shell of an Anisotropic Calderon Space, Proceedings of the Steklov Institute of Mathematics 248 (2005) 94-105, in Russian.
6. M. L. Goldman, On Optimal Investment Potentials of the Generalized Bessel and Riesz, Proceedings of the Steklov Institute of Mathematics 269 (2010) 91-111, in Russian.
7. A. Gogatishvili, M. Johansson, C. A. Okpoti, L. E. Persson, Characterization of Embeddings in Lorentz Spaces Using a Method of Discretization and Anti-Discretization, Bulletin of the Australian Mathematical Society 76 (2007) 69-92.
8. V. G. Mazya, Sobolev Spaces, Publishing house Leningrad state University, Leningrad, 1985, in Russian.
9. A. V. Malysheva, Optimal Embedding of the Generalized Riesz Potentials, Bulletin of Peoples' Friendship University of Russia. Series: Mathematics. Information Sciences. Physics (2) (2013) 28-37, in Russian.
© Алмохаммад Х., Альхалиль Н.Х., 2017
Для цитирования:
Алмохаммад Х., Альхалиль Н. Х. Интегральные свойства обобщённых потенциалов типа Бесселя и типа Рисса // Вестник Российского университета дружбы народов. Серия: Математика. Информатика. Физика. — 2017. — Т. 25, № 4. — С. 340-349. — DOI: 10.22363/2312-9735-2017-25-4-340-349.
For citation:
Almohammad Kh., Alkhalil N. Integral Properties of Generalized Potentials of the Type Bessel and Riesz Type, RUDN Journal of Mathematics, Information Sciences and Physics 25 (4) (2017) 340-349. DOI: 10.22363/2312-9735-2017-25-4-340-349. In Russian.
Сведения об авторах:
Алмохаммад Халиль — студент кафедры нелинейного анализа и оптимизации РУДН (e-mail: khaleel.almahamad1985@gmail.com, тел.: +7 (968) 0806641) Альхалиль Нисрин Хамадех — студент кафедры нелинейного анализа и оптимизации РУДН (e-mail: khaleel.almahamad1985@gmail.com, тел.: +7 (968) 0806641)
Information about the authors:
Almohammad Kh. — student of Nonlinear Analysis and Optimization Department of Peoples' Friendship University of Russia (RUDN University) (e-mail: khaleel.almahamad1985@gmail.com, phone: +7 (968) 0806641) Alkhalil N. — student of Nonlinear Analysis and Optimization Department of Peoples' Friendship University of Russia (RUDN University) (e-mail: khaleel.almahamad1985@ gmail.com, phone: +7 (968) 0806641)