CC BY
4
Математика. Физика
УДК 517.518
Б01: 10.17277/уе81тк.2022.04.рр.644-661
ДВА КЛАССА ОПЕРАТОРОВ СВЕРТКИ В ВЕСОВЫХ ЛЕБЕГОВЫХ ПРОСТРАНСТВАХ
Б. П. Осиленкер, А. Д. Нахман
Кафедра «Высшая математика», alextmb@mail.ru;
ФГБОУВО «ТГТУ», Тамбов, Россия
Ключевые слова: аппроксимативные единицы; максимальные оценки; операторы свертки; средние рядов Фурье и сопряженных рядов.
Аннотация: Рассмотрены два класса операторов свертки, порожденных функциями из весовых лебеговых пространств. В терминах условий на коэффициенты Фурье семейств интегральных ядер установлены максимальные оценки весовых Lp -норм операторов свертки сильного (р > 1) и слабого (р > 1) типа. Предложены теоремы сходимости; построены аппроксимативные единицы в соответствующей *-алгебре. Полученные результаты перенесены на семейства линейных средних рядов Фурье и сопряженных рядов. Рассмотрены, в частности, экспоненциальные методы суммирования и их приложения к обобщенным дробным интегралам.
1. Обозначения. Семейства средних ряда Фурье и сопряженного ряда
Пусть Ьр = Ьр (2) - класс измеримых на 2 = (-п, п] 2п -периодических функций I, таких что
II I IIV,р = II(х) |р х)Сх^ 17Р < « , р > 1.
•Я
Здесь весовая функция V = у(х) > 0 также измерима на 2 = (-п, п] и 2п -периодична; в случае V = 1 имеем классические лебеговы пространства Ьр = Ьр (2); L = Ь (2). Положим
Ар (V; I ) =
1 У 1
1Г v(t)dt — Г V-1/( р-1)(t )сИ Т I •'I I Г I •'I
.IIИ1 А11 Г1
\р-1
р > 1,
где I - произвольный интервал, а множитель V
1 1 по определению равным е888ир- при р = 1.
teI v(t)
(fIV р-1)(t )dt )р-1
считается
Говорят, что выполнено Лр -условие Розенблюма-Макенхоупта [1, 2] и применяют обозначение v е Лр, если supЛр (v; I)< да , p > 1. В настоящей работе,
I
как и в [2], полагаем, что 0 • да = 0 . Тогда (см. [2])
л р-1
f \р-1
[f v "1/( р-1)(t)dt \ < да для v е Лр (р > 1),
, V
и можно считать (на основании неравенства Гельдера), что каждая / е Ьр (0 является также функцией из класса Ь(О).
С помощью весовой функции V = v(х) > 0 будет определена мера множеств □ в виде
||(U) = f v(x)dx .
Сопоставим произвольной функции / е Ь(О) последовательность ее коэффициентов Фурье
ряд Фурье
и сопряженный ряд
1
Ck (f) = — f f (t)exp(-ikt) dt, к = 0, ± 1, ± 2,..., (1.1) 2n J
^ [f, x] = X ck (f) exp(ikx) (1.2)
к=-да
^ [/,х] = -1 ^^к)ек(/)ехр('кх). (1.3)
к=-го
С помощью бесконечной последовательности
Х = (X к (к), к = 0,1,...}, (1.4)
определяемой значениями параметра к > 0, построим два семейства операторов вида:
да
иИ(/) = иь(/, х; X) = £Х|к|(к)ск(/)ехр(/кх) (1.5)
к
ик (/) = и к (/, х; X) = -' £ ^ к)Х|к|(к) Ск (/) ехр('кх), (1.6)
к=-да
которые называются также семействами линейных средних ряда Фурье и сопряженного ряда соответственно.
Поведение средних (1.5) при к ^+0 (вопросы так называемой X -суммируемости) в случае дискретных значений параметра к составляло предмет многих исследований (см. [3 - 5] и др.); в меньшей степени изучен случай (1.6).
В настоящей работе рассмотрим следующие вопросы (более точные формулировки будут представлены в текстах соответствующих теорем):
и
и
- какие условия на суммирующую последовательность достаточны для ограниченности в Ьр (0, V е Ар, максимальных операторов, порожденных семействами (1.5), (1.6) и ассоциированных с ними операторов свертки;
- какие условия обеспечивают при к ^+0 сходимость (1.5), (1.6) почти всюду и в метрике соответствующего пространства;
- каково поведение семейств обобщенных дробных интегралов ряда Фурье и сопряженного ряда при к ^ +0 .
2. Постановка задач для операторов свертки
Если воспользоваться интегральной формой (1.1) коэффициентов Фурье в представлениях (1.5) и (1.6), и формально выполнить почленное интегрирование получаемых рядов, то приходим к рассмотрению следующих двух семейств операторов свертки:
1 п
/ * кк = (/ * Кк)(х) = — [ /(г) кк (X - г)Л (2.1)
—п
и
/ * К к = (/ * Кк)(X) = — [ / (г) Кк (X - №, (2.2)
где
Kh(x) = X Viexp(ikx); (2.3)
k=-(»
Kh(x) =- i X(sgnk)X|k|(h)exp(ikx). (2.4)
k=-(»
Теперь сформулированные выше задачи (возможно, уже вне связи с вопросами суммируемости рядов (1.2) и (1.3)) могут быть переформулированы в терминах таких условий на коэффициенты Фурье функций Kh (x) и Kh (x), которые, в частности, обеспечат сходимость рядов (2.3), (2.4) почти всюду и ограниченность операторов свертки (2.1) и (2.2) в весовых лебеговых пространствах
LP = LV (Q) .
Перечислим вышеупомянутые условия, которым на протяжении всей работы будет удовлетворять последовательность (1.4). Для этого положим
A^(h) = Ik(h) -a.k+1 (h), Д4(h) = Д(ДЯk(h)), k = 0,1,..., и
CO
X(Я,h) =X(k +1) | Д2Яk(h)|.
k=0
Последовательность (1.4) называется квазивыпуклой [6, т. 1, с. 135], если X (Я, h) при каждом h > 0. Будем говорить, что (1.4) равномерно квазивы-пукла, если существует постоянная С = C-k, такая что
X *(Я) = sup X (Я, h) < Ся . (2.5)
h >0
Здесь и в дальнейшем через C обозначаем постоянные, вообще говоря, различные и зависящие лишь от указанных явно индексов или же (при отсутствии индексов) абсолютные постоянные.
Для (1.4), как последовательности коэффициентов Фурье функций (2.3), естественно потребовать, чтобы при каждом h > 0
lim X N (h) = 0. (2.6)
N
Будем также для определенности считать, что
Xo(h) = 1. (2.7)
3. Преобразования интегральных ядер
Выразим интегральные ядра (2.3), (2.4) через стандартные ядра: - ядро Фейера
. 2 k +1
k sin -1
Fk (t) = — Z D v (?) =
1
k +1V=0 2(k + 1)sin2-1
сопряженное ядро
1 к ~ 1
Fk (t) = —Z D v (t) =-- - Fk (t):
k +1 v=o 2tg -1
2
1 k sinl k + 1 Dk (t) = 1+ Z c°s v t = ■
k sinl k + — |t
2 v=1 2sin11
- ядро Дирихле
k cosl k + — |t
(3.1)
Dk (t) = Z sin v t =—L---; (3.2)
v=1 2t^—t 2sin11
22
- сопряженное ядро Дирихле, В0 (/) = В0^) = 0 и
Кр к (0 = 51П(^ +^ , (3.3)
4(к +1) б1п2 — t 2
где к = 0,1,..., (см. [7, т. 1, с. 86, 148, 153]).
Лемма 3.1. Пусть 5 > 0 - произвольно малое фиксированное число и выполнены условия (2.5) - (2.7). Тогда при всех t е [-п, п] \ (-5, 5) и к > 0 имеют место соотношения:
да
К к (0 = X (к + 1)Д%к (к) ^ ^) ; (3.4)
к=0
2
2
Кь (О = £ (к + 1)Д2^ (А) Fk (Г) , (3.5)
к=0
причем ряды (3.4), (3.5) сходятся абсолютно и равномерно.
Утверждение (3.4) установлено в [8], докажем (3.5). Запишем (см. (3.2))
Kh (t )= lim
N ^-+да
f N ~ ~
ZX к (h)(Dk (t) - Dk _i(t))
v к=i ;
и применим к сумме под знаком предела преобразование Абеля
~ f ~ N-1 ~ А
Kh (t) = lim
N ^-+да
XN (h)Dn (t) + Z AXk (h)Dk (t)
к=0
Согласно (2.6) и очевидному при 5 <| 1|< п неравенству
~ С С | Бк (0|< —<- , к = 0,1,...,
I ^ 5
(3.6) при каждом к > 0 принимает вид
Далее, в силу известной оценки ([6, т. 1, с. 135-136; 8])
да
£|ДХ к (к)|<£ (X, к),
к=0
ряд (3.7) абсолютно и равномерно сходится при 5 <| /1< п. Легко проверить, что (см. (3.1), (3.3))
Бк« = (к +1)Fk«-kFk-l(t) , к = 0,1,
а значит, применяя преобразования Абеля, будем иметь
~ N ~
= lim
N ^+да
Kh (t) = lim ZAXк (h) Dh (t) =
N ^+да к=о
f ~ N-1 ~ А
(N +1) AX N (h) Fn (t) + Z (к + 1)A2X к (h) ¥к (t)
v к=0
При этом, согласно (3.1) и (3.3), справедливо неравенство
Далее
(3.6)
Kh (t) = ZAX к (h) Dk (t). (3.7)
к=0
(3.8)
~ С С
| Fk(t)|< —<-, к = 0,1,...: S<|t |<п . (3.9)
|t| S
lim (N + 1)AXN(h) = 0 (3.10)
N ^+да
при каждом h > 0, поскольку последовательность (1.4) квазивыпукла (см. (2.5) и [6, т. 1, с. 135-136]).
Теперь, в силу (3.9) и (3.10), в соотношении (3.8) предел первого слагаемого равен нулю, и приходим к утверждению (3.5); условие (2.5) обеспечивает при 5 <| 1|< п абсолютную и равномерную сходимость ряда в (3.5). Ввиду произвольной малости 5 > 0 можно также утверждать сходимость почти всюду в Q. Лемма 3.1 доказана.
4. Максимальные оценки операторов свертки
В настоящем параграфе мы получаем оценки (2.1) и (2.2) в терминах стандартных максимальных функций
х+п
1
f= f (х) = sup- J|f (t)| dt (4.1)
n>0 nx-n
и
Tf = Tf (x) = sup| J f(x+t)dt |, (4.2)
n>0 n<|t|<n 2tg -2
где f e L(Q). В этом случае функции (4.1), (4.2) существуют для почти всех х. Удобно будет записать (2.2) в виде
(f * Kh)(х) = — J f (t) Kh (x -1)dt =--J f (х +1) Kh (t)dt,
2п 2п
что возможно ввиду нечетности (см. (3.1) и (3.2)) ядра Кц(г) и 2п-периодичности подинтегральной функции.
Лемма 4.1. Если выполнены условия (2.5) - (2.7), то при каждом 0 <5 <п и почти всех х е 2 (а именно, где соответствующие максимальные функции существуют) имеют место оценки
| \ / (X + г) || Кц (г) < С X * (Я)(/ * (х)); (4.3)
5<|Г|<я
\ | /(х + г) Кц (г)^/\< СX *(Я)(/ *(х) + т/(х)) (4.4)
5<|?|<л
с постоянной С > 0, не зависящей от х и 5 е (0, п).
Доказательство. Докажем (4.4); доказательство (4.3) аналогично (и даже проще) (см. [8]).
Воспользуемся представлением (3.5) ядра в интеграле (4.4) и выполним почленное интегрирование, что возможно по причине равномерной сходимости ряда (3.5) при 5 <\ г \< п . Получим
| J f (х + t)Kh (t)dt |:
' +
5<|-|<П
= |£(k + 1)A2Xk(h) Jf(х +1)Fk(t)dt|<X|A%k(h)|(k +1) | Jf(х +1)Fk(t)dt|.
k=0 5<|-|<п k=0 5<|t|<n
(4.5)
Достаточно теперь установить, что
| |/(х + -) Fк (-)Л|< С(/ *(х) + Т/(х)) (4.6)
5<|-|<п
с постоянной С > 0 , не зависящей от х, к = 0,1,... и 5 е (0,п). Возможны следующие два случая.
Случай 1: 0 < 5 < —. Тогда
к +1
| | / (х +1) F к (- )dt| = 5<|-|<п
= | Г/(х + -)Fk (t)й- + Г /(х + О1^-Ж + Г/(х + -)Fk (-)й- | = Л Л «Я
1 1 2 2 1
5<|-|<---<|-|<п -<|-|<п
к+1 к+1 к+1
Далее
= | + J2 + | - (4.7)
| 1< /1 / (х + -)|^к (-)\Л < С/*( х); (4.8)
0<|-|<—1— к+1
г 1 -
| ^2 |< 5ир| Г /(х + -)-01Е-Ж |= Т/(х); (4.9)
к>0 к<|-|<п 2 2
| |< Г | / (х + -)|^к (-)|й- < С/ *( х); (4.10)
—<|-|<п к+1
здесь оценки (4.8) и (4.10) известны (см., напр., [9]), а оценка (4.9) очевидна.
Итак, в рассматриваемом случае результат (4.6) следует из соотношений (4.7) - (4.10).
Случай 2: —1— < 5 < п. Имеем в силу (4.10)
к +1
| Г /(х + -) Fk (-)Л \ -
_ : +
5<|-|<п
= | Г /(х + ^^'-Ж + Г /(х + -^к (-)Ж |< Т/ (х) + Г| / (х + -) 11 Fk (-)| Ж <
^ г\ г\ 3 3
5<|-|<п 2 2 5<|-|<п
к+1
< Т/ (х) + С/ *( х),
и снова приходим к (4.6).
Утверждение (4.4) леммы теперь вытекает из (4.5), (4.6).
Лемма 4.2. Если выполнены условия (2.5) - (2.7), то для почти всех х е Q
имеют место оценки:
|\ / (х + г) \ \ Кц (г) \йг < сХ * (Я)(/ * (х));
(4.11)
|/(х+г) Кц (г)Л
2
< СX *(^)(/ *(х) + т/(х)).
(4.12)
Для доказательства (4.11) и (4.12) достаточно перейти в соотношениях (4.3) и (4.4) соответственно к пределу при 5^+0.
Заметим, в частности, что при выполнении условий (2.5) - (2.7) каждая из функций Кц (г), И > 0, принадлежит классу Ь(О), в чем легко убедиться, если взять в (4.11) / = 1 на 2.
Положим
5. Весовые оценки операторов свертки
(/ * К)* = (/ * К)*(х) = 8ИР\ (/ * Кц)(х) \;
ц > 0
(/ * К)* = (/ * К)* (х) = 8ИР\ (/ * Кц )(х) \.
ц >0
Поскольку правые части (4.11) и (4.12) не зависят от к, то для почти всех х е 2 будут справедливы неравенства:
(/ * К)* (х) < СX *(Я)(/ *(х));
(5.1)
(/ * К)* (х) < СX * М(/ * (х) + Т/(х)).
(5.2)
Теорема 5.1. Пусть элементы последовательности (1.4) удовлетворяют условиям (2.5) - (2.7).
1) если V е Лр, р > 1, то имеют место оценки:
\\(/ * К)*\\у, р < Ср\\/\\
V, р
(5.3)
\\( / * К )* \\V, р < С,, р \\ / \\V, р.
2) если V е Лр, р > 1, то справедливы соотношения:
(5.4)
ц{х е б\ (/ * К )* (х) >д> 0} < С^
(\\ /-и А р
V, р
V, р
(5.5)
ц{х е б\ (/ * К )*( х) >д> 0} < С,
V, р
(\\ /-II А р V, р
? ,
(5.6)
Доказательство. Согласно результатам [2, 10], каждая из оценок «сильного типа»:
\\/*\^ р < С^ р \\ / \\v, р; (5.7)
\\Т/\и р < С.
V, р— р II У IIV, р
(5.8)
для максимальных функций (4.1) и (4.2) равносильна условию V е Лр, если р > 1. Кроме того, каждая из оценок «слабого типа»:
ц{х е Q\f *( х) >q> ö}< Cv, р
\ Р
v, p
ц{х е Q \ Tf (x) >q> ö}< C
v, р
\\ f \\
v, p
J
N Р
?
)
(5.9)
(5.1Ö)
также равносильна v е Ap, p > 1.
Теперь утверждения (5.3) - (5.6) следуют из оценок (5.1) - (5.2) и результатов (5.7) - (5.10).
6. Вопросы сходимости. Аппроксимативные единицы
Теорема 6.1. Пусть элементы последовательности (1.4) удовлетворяют условиям (2.5) - (2.7) и
lim Xk (h) = 1, k = 0,1,....
h^+0
Тогда соотношения:
lim f * Kh = f
h^+0
(6.1) (6.2)
lim f * Kh = f h^+0
имеют место:
а) в метрике каждого из пространств Lp (Q), v е Ap, p > 1;
б) ц -почти всюду для любой f е Lp (Q), v е Ap, p > 1.
Кроме того, соотношение (6.2) справедливо также в метрике lLv (Q), v е A1. Доказательство. Утверждение пункта а) вытекает стандартным образом из теоремы Банаха-Штейнгауза, если воспользоваться условием (6.1) и оценками
сильного типа (5.3)-(5.4). Сходимость (6.2) в метрике lLv(Q) устанавливается
рассуждениями, аналогичными [2, теорема 10; 8].
Утверждение пункта б) вытекает также стандартным образом из (6.1) и оценок слабого типа (5.5), (5.6) (см. [7, т. 2, с. 464-465]).
Результат теоремы 6.1 может быть интерпретирован следующим образом.
При v е Ap, p > 1, операторы (2.1) и (2.2) задают на Lp (Q), две * -алгебры. В частности, алгебра, порожденная на L оператором f * Kh, коммутативна, поскольку каждая Kh(х) е L(Q) (см. замечание к лемме 2.2).
В случае f * Kh соответствующая алгебра на Lp (Q), р > 1, не содержит, вообще говоря, единицы относительно операции свертки (этот факт для пространств Lp (Q), р > 1 (см. [6, т. 1, с. 68, 75])). Поэтому повышается интерес к так
называемым аппроксимативным единицам, то есть семействам операторов, которые аппроксимируют единичный оператор E: Ef = f. Согласно (6.2), при выполнении условий (2.5) - (2.7) и (6.1), семейство {f * Kh}, h > 0 , служит аппроксимативной единицей (аппроксимация Е в метрике Lp (Q) и ц -почти всюду).
и
7. Средние рядов Фурье и сопряженных рядов
Уточним анонсированные выше (в п. 2, где речь шла о формальном почленном интегрировании рядов) связи средних (1.5) рядов Фурье с операторами свертки (2.1) и сопряженных средних (1.6) с (2.2).
Для квазивыпуклой последовательности (1.4), согласно формуле Парсеваля [3 - 5], имеют место соотношения:
Uh (f, x; X) = (f * Kh)(x); (7.1)
Uh (f, x; X) = (f * Kh )(x); (7.2)
при этом условие
| Xk(h)|ln(k +1) < Сh, h > 0, (7.3)
является необходимым и достаточным для сходимости почти всюду рядов, записанных в левых частях (7.1) и (7.2). Значит, при дополнительном условии (7.3), теоремы 5.1 и 6.1 можно переформулировать в терминах средних (1.5), (1.6).
Впрочем, соответствующие результаты могут быть установлены непосредственно, то есть без использования (7.1), (7.2) [11].
Более того, справедлива
Теорема 7.1. Пусть элементы последовательности (1.4) удовлетворяет условиям (2.5) - (2.7). Пусть также v е Лр.
1) Следующие оценки сохраняются с заменой (f * K)* на sup | Uh (f, x; X) |:
h >0
1а) оценка сильного типа (5.3) при p > 1;
1б) оценка слабого типа (5.4) при p = 1 и выполнении условия (7.3).
2) Если, кроме того, элементы последовательности (1.4) удовлетворяют условию (6.1) и f е Lp (Q), то соотношение
lim Uh (f) = f h^+0
имеет место:
2 a) в метрике LV (Q) и ц -почти всюду при p > 1;
2б) ц -почти всюду при p = 1 и выполнении условия (7.3).
Замечание. В рассматриваемом круге вопросов при p = 1 условие (7.3), вообще говоря, снять нельзя. Покажем это в случае v = 1. Пусть Yc Q - множество всех точек Х-суммируемости (о которых идет речь в теореме 7.1) ряда Фурье функции f е L , а ЛсQ - множество всех точек Лебега этой функции. Тогда Y о Л расположено почти всюду в Q, и в каждой из точек Y о Л , согласно теореме 7.1, ряд Фурье Х-суммируем к f (x). В этих же точках ([5], случай дискретных значений параметра h, h ^ +0) условие (7.3) оказывается необходимым и достаточным для такой суммируемости, что и утверждалось.
В случае средних сопряженного ряда Фурье справедлива
Теорема 7.2. Пусть элементы последовательности (1.4) удовлетворяют условиям (2.5) - (2.7) и (7.3). Пусть также v е Ap .
1) Оценки сильного типа (5.4) при p > 1 и слабого типа (5.6) при p > 1 имеют место с заменой (f * K)* на sup | U h (f, x; X) |.
h >0
2) Если, кроме того, выполнено условие (6.1), то соотношение
lim U h (f) = f h^+0
имеет место:
2a) в метрике Lp (Q), p > 1;
2б) ц -почти всюду для любой f £ Lp (Q), p > 1.
Доказательство теоремы 7.1. Достаточно установить оценку (аналогичную (5.1))
SUPI Uh(f, Г; X)| < СX *(X)(f *(х)); (7.4)
h >0
в остальном повторяются рассуждения, примененные в доказательствах теорем 5.1 и 6.1. Используя (1.5), ядра Дирихле и Фейера, введенные в п. 3, и дважды преобразование Абеля, получаем
да
Uh(f, х; X) = X V|(h)c£(f )exp(ikx) =
k=-да
= lim ixN (h)1 f f (x +1)Dn (t) dt + NAXN-1(h)1 f f (x + t)FN-1(t) dt N^+да I n J n
L -n -n
N - 2
+ X (k + 1)A2Xk (h)1 f f (x +1)Fk (t) dt l. (7.5)
k=0 n
Далее, записанные в правой части (7.5) свертки функции / с ядрами Дирихле и Фейера представляют собою, соответственно, последовательности частичных сумм {,$к[/, х]} ряда (1.2) и его средних Фейера {ак[/, х]} [7, т. 1, с. 86, 143, 148]. Следовательно,
| Uh (f, х; X) |< lim i | Xn (h) | sup | Sk [ f, x] | +| | NAXn-1(h) | + N ^+да1 k=0,1,...
N-2 ^
+ X (k +1) | A2Xk (h)|
k=0 у
sup К[f, x]|l. (7.6)
k=0,1,...
Как установлено в работе [12], для 5 * (f) = 5 *(f, x) = sup | sk [f, x] | име-
k=0,1,...
ет место оценка
||s *( f )|| v, p — CV, p || f || v, p , если V 6 Ap и p > 1 •
В частности, функция s * (f, x) конечна почти всюду, а значит, в силу (2.6), предел (при N ^ ) первого слагаемого в правой части (7.6) равен нулю для почти всех x 6 Q . Хорошо известно (см., напр., [2]) также соотношение
sup К [f, x]|— Cf *(x), к=0,1,...
+
выполненное почти всюду в 0. Теперь, согласно (3.10), неравенство (7.6) для почти всех х е 2 принимает вид
\ик (/, х; X) \< С
( да Л
X (^ + 1)|Д2^ (И)\
и=о
/ *( X):
чем и доказано (7.4).
Доказательство теоремы 7.2 вытекает из оценки
Бир
к>0
ик (/, х; X)
< СX *(Х)(/ *(X) + Т/(х)),
справедливой (см. [9], соотношение (3.2)) для почти всех х е 2 при выполнении условий (2.5) - (2.7) и (7.3). Дальнейшие рассуждения опираются на оценки (5.7), (5.8) и аналогичны рассуждениям, использованным в доказательстве теорем 5.1 и 6.1.
8. Случай экспоненциальной суммирующей последовательности
В настоящем пункте ограничимся случаем
Хк (И) = ехр(-Иф(к)), к = 1,2,.... (8.1)
При этом функция ф(х) с действительными значениями предполагается возрастающей к +да на [0, + да), дважды дифференцируемой на (0, + да) и ф(0) = 0.
Теорема 8.1. Если функция
И(ф'(х))2 -Ф"(х)) (8.2)
меняет свой знак на [0, + да) конечное число раз и имеет место соотношение
Ихф'( х) ехр(-Иф( х)) < Сф, (8.3)
то последовательность (8.1) равномерно квазивыпукла. Если же (8.2) не меняет знака на [0, + да), то условие (8.3) является достаточным для ее равномерной квазивыпуклости.
В обоих для (8.1) случаях имеют место утверждения теорем 5.1, 6.1 и 7.1 (утверждения 1а) и 2а).
При выполнении на [ 0, + да) дополнительного условия
ехр(-Иф(х)) 1п(х +1) < СИ , И > 0 , (8.4)
справедливы утверждения 1б) и 2б) теоремы 7.1 и 2а) и 2б) теоремы 7.2.
Для доказательства теоремы 8.1 достаточно проверить в первую очередь условие (2.5), тогда как (2.6) и (2.7), а также (6.1) очевидным образом выполнены. Заметим, что если функция (8.2) меняет на [0, + да) свой знак конечное число
раз, то последовательность (8.1) кусочно-выпукла, а если знак сохраняет,
то (8.1) выпукла или вогнута; сказанное вытекает из равенства
2
(ехр(-Иф(х))" = И ехр(-Иф(х))(И(ф' (х)) - ф" (х)).
Далее, в работе [13] установлено, что если суммирующая последовательность (1.4) кусочно-выпукла, то достаточным условием для ее равномерной квазивыпуклости является требование
\ Xк (И) \ +к \ ДХк (И) \< Сх, к = 0,1,..., И > 0; (8.5)
в частном же случае выпуклых (вогнутых) последовательностей ограничение (8.5) выполнено (см. [7, т. 1, с. 155-156].
Поскольку, кДХк (И) есть значение функции хехр(-Иф(х))(-Иф'(х)), то условие (8.5) будет сведено к виду (8.3).
Наконец, условие (7.3) (там, где оно требуется) выполнено при ограничении (8.4).
Примерами экспоненциальных суммирующих последовательностей (8.1), удовлетворяющих условиям теоремы 8.1, служат [9]:
1) Xк(И) = ехр(-И(1па к)), к = 1,2,..., а> 0;
2) Хк(И) = ехр(-И(ка)), к = 1, 2,..., а > 0.
В частности, при а = 1 во втором примере узнаем классический метод суммирования Пуассона-Абеля (см. [7, т. 1, с. 160]).
9. Предельное поведение обобщенных дробных интегралов
В настоящем параграфе будем считать, что среднее значение функции / (х) на отрезке [-п, п] равно нулю, так что С0 (/) = 0. В этом случае определены операторы
Yи : / ы. Yи[/, х] = X ск (/^ (9.1)
\к\>0 (гк)
Если И = 9, где 9 - натуральное число, то ряд (9.1) представляет собой формально проинтегрированный 9 раз ряд Фурье (точнее, одну из возможных первообразных). При нецелых И > 0 говорят, что Yи[/, х] есть дробный интеграл ряда Фурье (см. [7, т. 1, с. 200-201]). Если устремить И к нулю, то естественно ожидать, что предел Yи[/, х] (например, при почти всех х) будет равен /(х). Получение соответствующего результата и его обобщений и составляет задачу настоящего параграфа.
Ряд (9.1) можно также рассматривать как результат применения к (1.2) метода суммирования X = {Xк (И)}, определяемого последовательностью
Xк (И) = ехр(-И 1п гк),
или, что то же самое,
Xк (И) = ехр(-И(1п\ к \ +г^пк)| к = ±1, ± 2,....
Как установлено в [7, т. 2, с. 201], интегральное ядро средних (9.1) линейным образом выражается через интегральные ядра (1.5) и (1.6), где в роли суммирующей последовательности (1.4) выступает последовательность {ехр(-И 1пк}, к = 1, 2,... Получим, прежде всего, аналогичный результат в более общем направлении, рассматривая
Xk (к) = ехр^- к(ф(| к |) +/^п к|| к = ±1, ± 2,..., к > 0, (9.2)
причем будем считать, что функция ф(х) удовлетворяет условиям, сформулированным в начале параграфа 8. Положим т = {Тк (к)}, где
тк(к) = ехр(-кф(| к |)), к = ±1, ± 2,..., к > 0. (9.3)
Лемма 9.1. Пусть последовательность {Xк (к)} определена соотношением (9.2), среднее значение функции /(х) на отрезке [-п, п] равно нулю,
да
Ук (/) = Ук (/, х; X) = к (к)Ск (/ )ехр(/кх) (9.4)
к=-да
Ук (/) = Ук (/, х; X) = -/ X ^п к)Хк (к)Ск (/) ехр(/кх).
к=-да
Тогда имеют место представления:
Ук(/, х; X) = ик(/, х; т)собк- + Пк(/, х; т)бшк- (9.5)
22
п п
Ук(/, х; X) = Пк(/, х; т)собк— Пк(/, х; т)бшк— . (9.6)
22
Доказательство. Докажем (9.5), доказательство (9.6) аналогично. Согласно (9.2), имеем (9.4) в виде
да 1 п I п ^
Ук (/, х; X) = V — Г /(х - /)ехр/'| к - к—sgnk Iехр(-кф(к))Ж =
к=—да I 2 у
ехр /| к - к — I + ехр л - к + к—
1 1)1 X ехр(-кф(к)) Г /(х - /)-^-^-^-^ Ж =
П к = 1 -П 2
1 да П (
= — Xехр(-кф(к)) Г /(х - /)соб| к - к— IЖ
п к=1 ^ 2 У
СОБ к -
П к=1
бШ к—
X ехр(-кф(к)) Г / (х -1 )соб к Ж -
+--2 X ехр(-кф(к)) Г /(х - /)бш к Ж. (97)
к=1
и
и
2
П
Добавляя к сумме в правой части (9.7) нулевое слагаемое
7 П
cos я— П
2п
j f (х -1) dt,
и пользуясь интегральной формой т -средних (см. (9.3)) ряда Фурье функции f и т -средних сопряженного ряда (см., напр., [9]), получаем, что соотношение (9.7) равносильно представлению (9.5), чем и завершается доказательство леммы 9.1. Положим:
V* (f) = V* (f, х; X) = sup | V* (f, x; X) |
я >0
V * (/) = V * (/, х; X) = Бир| V * (/, х; Х)|, к >0
где, по-прежнему, последовательность {X к (к)} определена соотношением (9.2).
Теорема 9.1. Пусть функция (8.2) не меняет своего знака на [0,+ю) или меняет его конечное число раз и (в этом случае) выполнено условие (8.3). Пусть также (в обоих случаях) выполнено требование (8.4). Тогда: 1) если V е Лр, р > 1, то имеют место оценки:
||V*(f )||v, p< Сv, p ||f ||v, p,
(9.8)
|| V*(f )||v, p< С
v, p — ^v, p II У II v, p
(9.9)
2) если v e Ap, p > 1, то справедливы соотношения:
ц{х e Q |V* (f, x; X) >q> 0} < С
v, р
fл p ? У
(9.10)
ц{х e Q | V* (f, x; X) > q > 0} < С
iHf ||v, p
v, р
p
(9.11)
3) для всякой функции f e Lp (Q) и v e Ap равенства:
lim Vh (f) = f h^+0
(9.12)
lim Vh (f) = f h^+0
(9.13)
имеют место:
а) в метрике Ьр (0 при р > 1;
б) ц -почти всюду при р > 1.
2
и
q
и
Доказательство. Из представлений (9.5) и (9.6) очевидным образом вытекают неравенства:
|| V ( f )|| V, p <|U* ( f )llv, p + Il U * ( f )||V) p
и
||~ * ( f )|| v, p <||U*( f )|| v, p +||U * ( f )||v, p .
Оценки (9.8) - (9.11) теперь следуют из утверждений теорем 7.1 1а) и 1б) и 7.2 - 1), если учесть равномерную квазивыпуклость (см. теорему 8.1) последовательности (9.3).
Далее, соотношения утверждения (9.12) и (9.13) о сходимости вытекают из утверждений теорем 7.1 (п. 2) и 7.2 (п. 2) , если снова воспользоваться теоремой 8.1.
Теорема 9.1. доказана.
Список литературы
1. Rozenblum, M. Summability of Fourier Series in Lp (ф,) / M. Rozenblum // Transactions of the American Mathematical Society. - 1962. - Vol. 105, No. 2. - Р. 32 - 42.
2. Muckenhoupt, В. Weighted Norm Inequalities for the Hardy Maximal Function /
B. Muckenhoupt // Transactions of the American Mathematical Society. - 1972. -Vol. 165. - P. 207 - 226.
3. E^Tamat^ J. Sur la Sommation des Series de Fourier des Functions Continue / J. K^amat^ М. ^mk // Publ. Inst. Math. Acad. Serbe scL. - 1955. - No. 8. -Р. 123 - 138.
4. Karamata, J. Suite de Fonctionelles Lineaires et Facteurs de Convergence des Series de Fourier / J. Karamata // Journal de Mathématiques Pures et Appliquées. -1956. - Vol. 35, No. 1. - Р. 87 - 95.
5. Баусов, Л. И. О линейных методах суммирования рядов Фурье / Л. И. Баусов // Мат. сб. - 1965. - Т. 68 (110), № 3. - С. 313 - 327.
6. Эдвардс, Р. Ряды Фурье в современном изложении. В 2-х томах / Р. Эдвардс ; пер. с англ. В. А. Скворцова. - М. : Мир, 1985. - Т. 1. - 260 с.
7. Зигмунд, А. Тригонометрические ряды : в 2-х томах / А. Зигмунд ; пер. с англ. - М. : Мир, 1965. - T. 1. - 615 с. ; T. 2. - 537 c.
8. Нахман, А. Д. Ограниченность семейств операторов свертки в пространствах Lp / А. Д. Нахман // Вестн. Тамб. гос. техн. ун-та. - 2021. - Т. 27, № 3. -
C. 449 - 460. doi: 10.17277/vestnik.2021.03.pp.449-460
9. Нахман, А. Д. Экспоненциальные методы суммирования рядов Фурье / А. Д. Нахман, Б. П.Осиленкер // Вестн. Тамб. гос. техн. ун-та. - 2014. - Т. 20, № 1. -С. 101 - 109.
10. Hunt, R. A. Weighted Norm Inequalities for Conjugate Function and Hilbert Transform / R. A. Hunt, B. Muckenhoupt, R. Wheeden // Transactions of the American Mathematical Society. - 1973. - Vol. 176. - P. 227 - 251.
11. Nakhman, A. D. Regular Semi-Continuous Methods of Summation of Fourier Series / A. D. Nakhman, B. P. Osilenker // Вестн. Тамб. гос. техн. ун-та. - 2017. -Т. 23, № 1. - С. 135 - 148. doi: 10.17277/vestnik.2017.01.pp.135-148
12. Hunt, R. A. Weighted Norm Inequality for Fourier Series / R. A. Hunt, Wo-Sang Young // Bulletin of the American Mathematical Society. - 1974. - Vol. 80, No. 2. - P. 274 - 277.
13. Осиленкер, Б. П. Задачи, ассоциированные с представлением Дирихле полугруппы операторов / Б. П. Осиленкер, А. Д. Нахман // Вестн. Тамб. гос. техн. ун-та. - 2018. - Т. 24, № 3. - С. 492 - 511. doi: 10.17277/vestnik.2018.03.pp.492-511
Two Classes of Convolution Operators in Weighted Lebesgue Spaces B. P. Osilenker, A. D. Nakhman
Department of Higher Mathematics, alextmb@mail.ru; TSTU, Tambov, Russia
Keywords: approximate units; maximum marks; convolution operators; means of Fourier series and conjugate series.
Abstract: Two classes of convolution operators generated by functions from weighted Lebesgue spaces are considered. In terms of conditions on the Fourier coefficients of families of integral kernels, the maximum estimates for the weight
Lp -norms of convolution operators of strong ( p > 1 ) and weak ( p > 1 ) types are established. Convergence theorems are proposed; approximative units are constructed in the corresponding *-algebra. The results obtained are extended to families of linear mean Fourier series and conjugate series. In particular, exponential summation methods and their applications to generalized fractional integrals are considered.
References
1. Rozenblum M. Summability of Fourier Series in Lp (d|), Transactions of the American Mathematical Society, 1962, vol. 105, no. 2, pp. 32-42.
2. Muckenhoupt B. Weighted Norm Inequalities for the Hardy Maximal Function, Transactions of the American Mathematical Society, 1972, vol. 165, pp. 207-226.
3. Karamata J., Tomic M. Sur la Sommation des Series de Fourier des Functions Continue, Publ. Inst. Math. Acad. Serbe scL., 1955, no. 8, pp. 123-138.
4. Karamata J. Suite de Fonctionelles Lineaires et Facteurs de Convergence des Series de Fourier, Journal de Mathématiques Pures et Appliquées, 1956, vol. 35, no. 1, pp. 87-95.
5. Bausov L.I. [On linear methods of summation of Fourier series], Matematicheskiy sbornik [Mathematical collection], 1965, vol. 68 (110), no. 3, pp. 313-327. (In Russ.)
6. Edvards R. Ryady Fur'ye v sovremennom izlozhenii. V 2-kh tomakh [Fourier series in modern presentation. In 2 volumes], Moscow: Mir, 1985, vol. 1, 260 p. (In Russ.)
7. Zygmund A. Trigonometric series, Cambridge University Press, 1959.
8. Nakhman A.D. [Boundedness of families of convolution operators in spaces], Transactions of the Tambov State Technical University, 2021, vol. 27, no. 3, pp. 449-460, doi: 10.17277/vestnik.2021.03.pp.449-460 (In Russ., abstract in Eng.)
9. Nakhman A.D., Osilenker B.P. [Exponential summation methods for Fourier series], Transactions of the Tambov State Technical University, 2014, vol. 20, no. 1, pp. 101-109. (In Russ., abstract in Eng.)
10. Hunt R.A., Muckenhoupt B., Wheeden R. Weighted Norm Inequalities for Conjugate Function and Hilbert Transform, Transactions of the American Mathematical Society, 1973, vol. 176, pp. 227-251.
11. Nakhman A.D., Osilenker B.P. Regular Semi-Continuous Methods of Summation of Fourier Series, Transactions of the Tambov State Technical University, 2017, vol. 23, no. 1, pp. 135-148, doi: 10.17277/vestnik.2017.01.pp.135-148 (In Eng., abstract in Russ.)
12. Hunt R.A., Young Wo-Sang Weighted Norm Inequality for Fourier Series, Bulletin of the American Mathematical Society, 1974, vol. 80, no. 2, pp. 274-277.
13. Osilenker B.P., Nakhman A.D. [Problems associated with the Dirichlet representation of a semigroup of operators], Transactions of the Tambov State Technical University, 2018, vol. 24, no. 3, pp. 492-511, doi: 10.17277/vestnik.2018.03 .pp.492-511 (In Russ., abstract in Eng.)
Zwei Klassen von Faltungsoperatoren in gewichteten Lebesgue-Räumen
Zusammenfassung: Es sind zwei Klassen von Faltungsoperatoren betrachtet, die durch Funktionen aus gewichteten Lebesgue-Räumen erzeugt sind. In Bezug auf die Bedingungen für die Fourier-Koeffizienten von Integralkernfamilien sind
die maximalen Schätzungen für die Lp -Gewichtungsnormen von Faltungsoperatoren vom starken ( p > 1 ) und schwachen ( p > 1 ) Typ festgelegt. Konvergenztheoreme sind vorgeschlagen; approximative Einheiten sind in der entsprechenden *-Algebra konstruiert. Die erhaltenen Ergebnisse sind auf Familien von linearen gemittelten Fourier-Reihen und konjugierten Reihen erweitert. Insbesondere sind exponentielle Summationsmethoden und ihre Anwendung auf verallgemeinerte Bruchintegrale untersucht.
Deux classes d'opérateurs de convolution dans les espaces de poids lebesgue
Résumé: Sont examinées deux classes d'opérateurs de convolution générés par des fonctions à partir des espaces de poids de lebesgue. En termes de conditions sur les coefficients de Fourier des familles de noyaux intégraux, sont établies
les estimations maximales des poids-normes Lp des opérateurs de convolution de type fort ( p > 1 ) et faible ( p > 1 ). Sont proposées des théorèmes de convergence des unités approximatives; sont construites les unites approximatives dans l'algèbre* correspondante. Les résultats obtenus sont transférés aux familles de séries moyennes linéaires de Fourier et de séries conjuguées. En particulier, sont examinées les méthodes exponentielles de sommation et leur application à l'intégrale fractionnaire généralisée.
Авторы: Осиленкер Борис Петрович - доктор физико-математических наук, профессор; Нахман Александр Давидович - кандидат физико--математических наук, доцент кафедры «Высшая математика», ФГБОУ ВО «ТГТУ», Тамбов, Россия.
