CC BY
38
and Tchebychev series [Vychislitel'nye primeneniia mno-gochlenov i riadov Chebysheva]. Moscow, Nauka, 1983 (in Russian).
5. Arushanyan O. B., Volchenskova N. I., Zaletkin S. F. On calculation of Chebyshev series coefficients for the solutions to ordinary differential equations. Sib. Elektron. Mat. Izv., 2011, vol. 8, pp. 273-283 (in Russian).
6. Trefethen L. N. Spectral methods in Matlab. Philadelphia, SIAM, 2000.
7. Trefethen L. N. Finite difference and spectral methods for ordinary and partial differential equation. Cornell University, 1996.
8. Mukundan R., Ramakrishnan K. R. Moment functions in image analysis. Theory and Applications. Singapore, World Scientific, 1998.
УДК 517.51
О РАВНОМЕРНОЙ ОГРАНИЧЕННОСТИ НЕКОТОРЫХ СЕМЕЙСТВ ИНТЕГРАЛЬНЫХ ОПЕРАТОРОВ СВЕРТКИ В ВЕСОВЫХ ПРОСТРАНСТВАХ ЛЕБЕГА С ПЕРЕМЕННЫМ ПОКАЗАТЕЛЕМ
Т. Н. Шах-Эмиров
Научный сотрудник отдела математики и информатики, Дагестанский научный центр РАН, Махачкала, tadgius@gmail.com
Пусть для А ^ 1 задана измеримая 2п-периодическая и существенно ограниченная функция (ядро) к л = к л (х). Исследуются условия на вес 'ш(х) и ядра {кл(Ь)}л^1, при которых семейство операторов свертки {Kлf(х) : Клf (х) = /Е f (Ь)кл(Ь - х) (И}л^ 1 (Е = [-п,п]) равномерно ограничено в весовых пространствах Лебега с переменным показателем — ьрП^ ■
Ключевые слова: пространство Лебега с переменным показателем, операторы свертки, условие Дини-Липшица.
ВВЕДЕНИЕ
Пусть E = [—п,п], 1 ^ p(E) ^ p(x) ^ p(E) < го — измеримая 2п-периодическая функция, где p(D) = essinf p(x), p(D) = ess supp(x) для произвольного D с R, w(x) — суммируемая почти всюду
- xeD xeD
положительная функция (вес). Через Lp^W обозначим пространство измеримых 2п-периодических функций f = f (x) таких, что
[ |f (x)|p(x)w(x) dx< го.
Пространство Ер^ нормируемо, и одну из эквивалентных норм можно определить [1-4], полагая
/(х) Р(х)
Для f e L^W
If = ||f(E) = inf{a > 0 :
a
w(x) dx < 1}.
(1)
Отметим некоторые свойства, связанные с этими пространствами, которые понадобятся нам в дальнейшем.
1е
lf Нко,™ = ||f w
p(-)
wo •
2°. Для любых измеримых множеств A с B
||f ||p(^),w (A) ^ ||f У (B ),
так как
f(x)
lf (B )
p(x)
w(x) dx ^
f(x)
lf (B )
P(x)
w(x) dx = 1.
3°. Почти дословно повторяя рассуждения, проведенные при доказательстве теоремы 1.6.1 в [2], можно показать, что если 1 ^ р(х) ^ д(х) ^ < го, то для любой функции / е
If ||p(0,w (A) ^ ||f (A),
1 f4 w(x) dx /
где A — измеримое множество, ^ —I—---- ( a(x) = , a*(x) =
a
a-
g(x)
p(x)
a(x)
a(x) — 1
E
E
-
B
4°. Если р(х) > 1, х £ М (не исключая и случай, когда р(М) = 1), то справедливо неравенство типа Гельдера для пространств Лебега с переменным показателем [1, неравенство (8)]:
/ |/(х)||0(х)| ¿х ^ е(р,М) ■ ||/||ко(М) ■ Н^Нр'0)(М), им
где —^ + = 1, (р,М) ^ 1 + , . Через , (а), (а, в),... здесь и далее будут
р(х) р (х) р(М) р'(М)
обозначаться положительные числа, зависящие лишь от указанных параметров, различные в
разных местах.
1. ОПЕРАТОРЫ СВЕРТКИ
Пусть для каждого А ^ 1 задана 2п-периодическая существенно ограниченная функция к а = к а (х). Определим для / £ линейный оператор:
К/ = (К/)(х) = / /(¿)кА(* - х) (2)
^ Е
Будем говорить, что семейство ядер {кА}А^1 удовлетворяет условиям А), В), С), если имеют место следующие оценки: А) /Е |кА(х)| ¿х ^ с1; В) вир |кА(х)| ^ е2А^; С) |кА(х)| ^ е3 при А7 ^ |х| ^ п,
X
где V, 7, е^ > 0 (^ = 1, 2,3) и не зависят от А.
Через Р обозначим класс показателей р(х), р(х) ^ 1, удовлетворяющих условию Дини - Липшица:
|р(х) -р(у)|Ь, 1 , ^ С (х,у £ Е). (3)
1 1 |х - У|
Из (2) следует, что для существования КА(/) требуется, чтобы ХрПХ! С . Очевидно, что не для всякого т данное вложение будет иметь место. Поэтому на вес нужно наложить дополнительные условия. Пусть Е1 = {х £ Е : р(х) = 1}, Е2 = Е\Е1:
/ /(х) ¿х = /(х) ¿х + / /(х) ¿х.
и Е ./Ег
Лемма Функция / £ Хр^Х! будет суммируемой на Е1 в том и только в том случае, если вес отграничен от нуля почти всюду на Е1:
т(х) ^ С1 (т) > 0 для почти всех х £ Е1. (4)
А для суммируемости / £ ¿2X1 на Е2 достаточно выполнения следующего условия:
||т-1/р(^ ||р,(.)(Е2) < (5)
Эти условия были получены в работе [5].
Через Ж(Е,р) обозначим класс весов, удовлетворяющих условиям (4), (5).
В настоящей работе исследуется вопрос о равномерной ограниченности семейств операторов свертки в пространствах в ХрПХ!, т £ Ж(Е,р). В случае, когда т(х) = 1 данный вопрос был изучен в [6], где были получены достаточные условия на ядра, при которых обеспечивалась равномерная ограниченность. Вышеупомянутый результат был перенесен на многомерный случай в [7]. Схожая задача рассматривалась еще и в работе [8].
2. ОСНОВНОЙ РЕЗУЛЬТАТ
Для формулировки основного результата введем некоторые обозначения: В = {А%}к&1 — множество отрезков длины 3^, где Д^ = [(к — 1)Л,, (к + 2)Л,]; Ве = и В — совокупность всех Вн с длиной, меньше е;
Н<е
= {Д£ £ Ве : р(Д^) = 1} — подмножество Бе с равной единице существенной нижней гранью р(х).
Теорема 1. Пусть р(х) е Р, т е Ж(Е,р) и кл = кл (х) (1 ^ Л < га) удовлетворяет условиям А)-С). Тогда семейство операторов {Кл}^л<те будет равномерно ограничено в простран-
стве ьрП^, если для некоторого е > 0 выполняются следующие условия:
БИр
БИр
т(х) ¿X
т(х) ¿X < С,
р(В)-1
т(х)-1/(Р(В)-1) ¿И <С.
Доказательство. Пусть N = [Л 7], Н = 1/^
хк = (kН - 1)п (k = 0, ±1,...), ^ = тт^^)^ — ^ X ^ Xk+2}, Н(£) = 5к (Xk ^ X ^ Xk + l).
Определим для X е Е множество Ех следующим образом. Если (X — пН, X + пН) С (—п,п), то
Ех = Е \ (X — пН, X + пН)
Если же X — пН < —п или п < X + пН, то положим соответственно
Ех = Е \ {(—п, X + пН) и (X — пН + 2п, п)},
(6)
(7)
(8) (9)
(10)
или
Ех = Е \ {(X — пН, п) и (—п, X + пН — 2п)}.
1/р
Пусть
Тогда, полагая р = р(Е), имеем из (2):
т
Г т^ЖК/)(x)|p(x) ¿X
( и / х+пЛ
V
т^)
(11)
/ (¿)кл(^ — X) ^
р(х) \ ¿X
1/р
т^)
+ / /(^)кл(* — X) ^
х-пЛ
Р(х) \ ¿X
1/р
<
<
т^)
х+пЛ
/ (¿)кл(^ — X) ^
х-пЛ
р(х) \ 1/р
¿X
+
т^)
/ (¿)кл (£ — X) ^
р(х)
1/р
¿X
= J11/p + 4/р.
(12)
Здесь мы воспользовались тем, что отображение (/, д) ^ р(/, д), где
Р(/,д)=( I I/(X) — д^Ж00¿X
1/р
является метрикой в ¿р^, что легко можно показать, воспользовавшись леммой в [2, лемма 1.2.1] и свойством 1°. В самом деле, для любых функций /,д е справедливы включения /т1/р(х),
дт1/р(х) е ¿р(1х;) = Хр(,х) и можно перейти к метрике в ¿р(1х):
р(/,д)=^ I |/(X) — g(x)|р(х)т^) ^ ^^ I |/^т1^^) — д^т1^^^ ^
1/р
1
1
1
в
в
Е
Выражение в правой части равенства выше и представляет собой метрику, рассмотренную в [2]. Оценим
Р(х) Х, , < I и «к +р(х) — вк
1 у ' — 1 Хк + 1 Х+ПЛ к 1 у ' к
¿ж = ^^ / т(ж) / /(£)кл(£ — ж) ¿ж.
к=о ^ ^
2^ — 1 Хк + 1
= ^^ / т(ж)
к=0
Х+ПЙ
/(£)&л(£ — ж) ^
X —пл
X —пл
Из условия (3) и из (8) и (9) следует, что при жк ^ ж ^ жк+1
|р(ж) — ^| = (1п(2Л7))—1 ^ е(7):
1
1п(2Л)'
Поэтому в силу 2°, 3°, В) и (11) приходим к следующей оценке:
р(х) —«к / х+пл \ I 1
Х + ПЙ
/(£)кл(г — ж) ^
Х—ПЛ
п(2Л)
= (Л")с(^вд I J |/(*)| ^
^Х—ПЛ
с(7) 1п
= С(р, 7, т) (У/Ико^Г7; 1п(2Л) ^ с(р, 7, т).
С учетом (13) имеем:
2^ — 1 Хк + 1 х+пЛ Л ^ с1 (р, 7, т) ^^ / т(ж) / /(£)кл(£ — ж)
Хк
Х —ПЛ
¿ж.
(13)
(14)
Разобьем сумму (14) на 2 части:
2^ —1 Хк + 1
х+пЛ
Е / т(ж)
к = 0 Хк
ч Хк + 1
Е + Е) / ^(ж)
ке/1 ке/^ Х
/ (£)кл (г — ж) ^
х—пЛ Х+ПЛ
I
х—пЛ
/(£)кл(г — ж) ^
¿ж =
¿ж = в1 + 62,
(15)
где /1 = {к : = 1}, /2 = {к : > 1}. Оценим 61:
Хк + 1
61 = ^ / т(ж)
ке/1
х+пЛ
/ (г)кл(£ — ж) ^
х—пЛ
X к +1 Х + пЛ
¿ж ^Е / ю(жМ |/(£)||кл(£ — ж)| ¿Ыж ^
ке/1
<
Хк + 1 Хк+2 т
Хк Х—ПЛ
Хк + 2 Хк+2
V
^ / т(ж) / |/(*)||кл(* — ж)| ¿Ыж ^^ ЛМ т(ж) ¿ж / |/(*)| ^
<
ке/1
Х к Хк — 1
ке/1
Хк —1 Хк + 2
^Ет(ж)¿ж / |/(^^
ке/1 Х!_ 1 XI. 1
Хк —1
Из условия (6) и свойства 3° нормы (1) получаем:
Хк+2 Хк+2 т(ж)
Хк+2 Хк+2 Хк+2
т(ж) ¿ж ^ |/(*)| ^ ^ С(т,«,7^ / |/(*)| ^
ке/1 Хк —1 Хк —1 ке/1Хк — 1
<
(16)
Следовательно, сумма 61 ограничена. Покажем ограниченность второй суммы. Оценим ее с помощью неравенства Гельдера (свойство 4°):
62 ^ Е / т(ж)
Хк + 1 / х+пЛ 4 «к
J т1/8к(г)|/(г)кл(г — ж)|т—1/8к(¿)^
Хк \Х—ПЛ
«к
«к
«к
Хк —1
X
х/ + 1
^ I
кет 2
( / х+пЛ
1 / / х+пЛ
1/4 \
т(г)|/(Ь)к\(Ь - х)|"' ёг
^(г) ёг
х/
У \х —
пЛ
( х+пЛ
у ш(х)
кеТ2 х,.
Ух—пЛ
х+пЛ
ёх =
Цг)|/(г)кА(г - х)|вк ёг / ^(г)ёг
ух —
пЛ
Ух—пЛ
ёх ^
С/с + 2
^+2
(
^ / Цх)л""'Цг)|/(г)|вк ёг
ке/2
С + 2
\ ак
(г) ёг
х /с + 2 (
^ с(г>
(^,7) У^ / , ч / I м(х) ёх
у х,
1
^' + 2
(3й)и/т
и?
—1) (г) ёг
<
/
\
—1
^' + 2
Цг)|/(г)|" ёг.
У х/-1
С учетом последнего неравенства и (7) получаем:
©2 ^ 0(^,7)^ / Цг)|/(г)|вк ёг ^ Цг)|/(г)|*' ёг.
ке/2х,Л Е
Из свойства 3° и (10) имеем:
Цг)|/(г)|" ёг = Цг)|/(г)|Л« ёг = Цг)||/||Л(?)
^ / ™(г)(г£р)Л(?}|/
^ с(р, ш)(г^,р)Р(Е) / Цг)
/(г)
/(г)
Л(?)
/(г)
^ Нл(^),
Л(?)
ёг <
^ ||Л(^),г
ёг <
^ ||Л(^),г
Л(?)
ёг = с(р,«;)(г£р )Р(Е).
(17)
Из (12), (15), (16) и (17) следует равномерная ограниченность операторов свертки на единичном шаре пространства ¿РЛх!, • ^
В качестве следствий теоремы 1 приведем примеры семейств операторов с некоторыми классиче-
г р(х)
скими ядрами, равномерно ограниченных в пространстве ^2п ^• Операторы Фейера. Для каждого натурального п положим
кп(х) —
2 Г э1п(п + 1) х
п + 11 2 Бт
а в случае, когда п ^ Л < п + 1, будем считать, что кА(х) = кп(х). Операторы Фейера определим следующим образом:
п
^А / = / )(х) = 1 у / (г)кА (г - х) ёг.
—п
Не трудно проверить, что ядра Фейера удовлетворяют условиям А)-С) и, следовательно, равномерно ограничены в Х^г™ при выполнении условий (6) и (7). Операторы Стеклова. Пусть Л ^ 1. Положим
кА(х) =
_ ] Л, х е [ 2А ' 2а]
о, х е \[-2А, 2а]
и продолжим ядро Стеклова 2п-периодически на (-го, го). Операторы Стеклова определяются равенством
(5\ (/))(х) = / (г)кА(г - х) ёг.
к
х
Е
Е
Е
Е
2
2
п
Легко проверить выполнение условий А)-С) для ядер (£д(/))(%), что вместе с условиями (6) и (7)
Т р(х)
дает равномерную ограниченность этих операторов в Ь^П ^.
Автор выражает благодарность И. И. Шарапудинову за постановку задачи.
Библиографический список
1. Шарапудинов И. И. О топологии пространства Lp(t) ([0,1]) // Матем. заметки. 1979. Т. 26, № 4. С. 613-632.
2. Шарапудинов И. И. Некоторые вопросы теории приближений в пространствах Лебега с переменным показателем. Владикавказ : ЮМИ ВНЦ РАН и РСО-А, 2012. 270 с.
3. Diening L., Harjulehto P., Hasto P., Ruzicka M. Lebesgue and Sobolev Spaces with Variable Exponents. Berlin ; Heidelberg : Springer-Verlag, 2011. P. 509. DOI: 10.1007/978-3-642-18363-8.
4. Cruz-Uribe D., Fiorenza A. Variable Lebesgue Spaces : Foundations and Harmonic Analysis. Berlin ; Heidelberg : Springer-Verlag, 2013. P. 312. DOI: 10.1007/978-3-03480548-3.
5. Магомед-Касумов М. Г. Базисность системы Хаара
в весовых пространствах Лебега с переменным показателем // Владикавказ. матем. журн. 2014. Т. 16, вып. 3. С. 38-46.
6. Шарапудинов И. И. О равномерной ограниченности в Lp (p = p(x)) некоторых семейств операторов свертки // Матем. заметки. 1996. Т. 59, вып. 2. С. 291-302. DOI: 10.4213/mzm1716.
7. Шах-Эмиров Т. Н. О равномерной ограниченности
Tp(x)
в L2n некоторых семейств интегральных операторов свертки // Вестн. ДНЦ РАН. 2013. Вып. 51. С. 13-17.
8. Samko S. G Denseness of С§° (Rn) in generalized Sobolev Spaces Wmpx)(Rn) // Intern. Soc. for Analysis, Applic. and Comput. Vol. 5. Direct and Inverse Problems of Math. Physics / eds. R. Gilbert, J. Kajiwara, S. Xu. Yongzhi. Dordrecht : Kluwer Acad. Publ., 2000. P. 333-342.
On Uniform Boundedness of Some Families of Integral Convolution Operators in Weighted Variable Exponent Lebesgue Spaces
T. N. Shakh-Emirov
Daghestan Scientific Centre of Russian Academy of Sciences, 45, Gadgieva str., Makhachkala, Republic of Dagestan, 367000, Russia, tadgius@gmail.com
Let h\ (x) be a measurable essentially bounded 2n-periodic function (kernel), where A ^ 1. Conditions on the weight and on the kernels (k\(x)}a^i that provide the family of convolution operators (Ka/(x) : Ka f (x) = fE f (t)k\(t - x) dt}a^i (E = [-n, n]) uniform boundedness in weighted variable exponent Lebesgue space Lp^W are investigated.
Key words: Lebesgue spaces with variable exponent, convolution operators, Dini - Lipschitz condition.
References
1. Sharapudinov I. I. Topology of the space Lp(t)([0,1]). Math. Notes, 1979, vol. 26, iss. 4, pp. 796-806. 10.1007/BF01159546.
2. Sharapudinov I. I. Some aspects of approximation theory in variable Lebesgue spaces. Vladikavkaz, 2012, 270 p. (in Russian).
3. Diening L., Harjulehto P., Hasto P., Ruzicka M. Lebesgue and Sobolev Spaces with Variable Exponents. Berlin ; Heidelberg, Springer-Verlag, 2011, 509 p. DOI: 10.1007/978-3-642-18363-8.
4. Cruz-Uribe D., Fiorenza A. Variable Lebesgue Spaces : Foundations and Harmonic Analysis. Berlin ; Heidelberg, Springer-Verlag, 2013, 312 p. DOI: 10.1007/978-3-03480548-3.
5. Magomed-Kasumov M. G. Basis property of the Haar system in the weighted variable Lebesgue spaces. Vladikavkazskii matematicheskii zhurnal [Vladikavkaz
Math. J.], 2014, vol. 16, iss. 3, pp. 38-46 (in Russian).
6. Sharapudinov I. I. Uniform boundedness in Lp (p = = p(x)) of some families of convolution operators. Math. Notes, 1996, vol. 59, iss. 2, pp. 205-212. DOI: 10.1007/BF02310962.
7. Shakh-Emirov T. N. O ravnomernoi ogranichennosti v Lp^ nekotorykh semeistv integral'nykh operatorov svertki [On the uniform boundedness in Lp(x) of some families of integral operators convolution]. Vestnik DNC RAN, 2014, iss. 51, pp. 13-17 (in Russian).
8. Samko S. G Denseness of Cq° (Rn) in generalized Sobolev Spaces Wm,p(x)(Rn). Intern. Soc. for Analysis, Applic. and Comput. Vol. 5. Direct and Inverse Problems of Math. Physics / eds. R. Gilbert, J. Kajiwara, S. Xu. Yongzhi. Dordrecht, Kluwer Acad. Publ., 2000, pp. 333-342.
