1.Дифференциальные и интегральные уравнения
Ж.Б. Муканов
Евразийский национальный университет им. Л.Н.Гумилева,
г.Астана
О НЕОБХОДИМОМ И
ДОСТАТОЧНОМ УСЛОВИЯХ ИНТЕГРИРУЕМОСТИ СО СТЕПЕННЫМ ВЕСОМ ФУНКЦИИ, ПРЕДСТАВЛЕННОЙ
МОНОТОННО УБЫВАЮЩИМ ОБОБЩЕННЫМ МУЛЬТИПЛИКАТИВНЫМ
ПРЕОБРАЗОВАНИЕМ
Пусть
, где 
,
- произвольная бесконечная в обе стороны последовательность натуральных чисел, а
,
где 
, 
, 
, 
, соответствующая ей группа с групповой операцией 
.
Таким образом, группа 
состоит из
последовательностей, бесконечных лишь вправо.
Рассмотрим группу 
, определяемую последовательностью 
, симметричной последовательности 
, т.е.
, где 
.
Группу 
образуют
последовательности
,
где 
, 
, 
.
Для каждой пары 
определим функцию
двух переменных 
:
. (1)
Множество таких функций назовем обобщенной
мультипликативной системой.
Введем обозначения:
, 
, 
, .
.
Учитывая симметричность 
имеем
, 
, 
, 
.
Более подробные сведения о континуальных аналогах 
изложены в монографии
[1].
Двумерные системы функций 
определим равенством
.
Обозначим через 
- пространство
измеримых на 
по мере Лебега
функций 
с конечной нормой
.
Обобщенное мультипликативное
преобразование Фурье функции 
определяется
равенством
.
Для функции 
прямым
мультипликативным 
- преобразованием назовем функцию
где 
.
В данной работе исследуются вопросы 
–интегрируемости (1<p<∞) со степенным весом функции двух
переменных, представленной через монотонно убывающее обобщенное
мультипликативное преобразование Фурье.
Сформулируем
определения.
Пусть 
а 
, 
- двумерные векторы, 
. Обозначим через 
=
множество всех
двумерных векторов, координаты которых равны 0 или 1. Через а
обозначим вектор, все координаты которого равны 
(аналогично вектор b). Тогда
Если векторы 
и вектор 
, то будем говорить, что 
в том случае, когда 
=0 при 
и 
при
, имеем 
Говорят, что функция 
монотонна по Харди,
т.е. 
, где 
, 
и 
, (см.[2]), если 
и для любого
ненулевого вектора 
выражение
либо неотрицательно при всех 
либо неположительно
при таких 
Ядро Дирихле для двумерного случая имеет
вид
(4)
В следующих теоремах приводятся
необходимое и достаточное условия интегрируемости со степенным весом функции 
. При этом условия выражены в терминах обобщенных
мультипликативных преобразований.
Теорема
1. Пусть 1<p<∞, 
, где
, существуют частные производные 
, 
и 
, 
, 
. Тогда, для того чтобы
,
необходимо и достаточно выполнение условия
, (5)
Для доказательства приведенной теоремы нам
понадобятся следующие вспомогательные утверждения.
Лемма
А. (см.[3]). Пусть обобщенное ядро
Дирихле 
определено равенством (4). Тогда
а) Для любых 
и m, n 
Z имеет место равенство
,
где 
- характеристическая функция 
.
б) 
для 
, 
Лемма
1. Если 
, где 
, существуют частные производные 
, 
и
, m,n
Z+ ,
то 
и 
имеет место неравенство
(6)
Лемма 1
доказывается с помощью применения формулы интегрирования по частям и леммы А.
Лемма
B. (Moricz F., [4]).
Пусть 
, 
функция 
≥0
определена для 
и
Тогда, если
то
и
Доказательство теоремы 1. Предположим, что
Тогда
по лемме 1 и 
имеем
Так как по условию теоремы ряд сходится, то
Литература
1.
Голубов Б.И., Ефимов
А.В., Скворцов В.А. Ряды и преобразования Уолша. Теория и применения. -
М.:Наука. Гл. ред. физ.-мат. лит., 1987.-344 с.
2.
Дьяченко М.И. Кусочно монотонные
функции многих переменных и теорема Харди–Литтлвуда // Изв. АН СССР. Сер. мат. – 1991.– Т.55, № 6.– С . 1156–1170.
3.
Голубов Б.И. Элементы двоичного анализа. М.:МГУП, 2005. – 204 с.
4.
Moricz F. On double cosine, sine, and Walsh series with monotone coefficients. //
Proc. Amer. Math. Soc.– 1990.– V.109. № 2.– P. 417 – 425.