Интегральное представление гармонических функций
Пусть – множество всех гармонических в функций; , то есть
.
В этом параграфе мы построим аналог представления (2.6) для функций из класса . Сначала заметим, что из (2.6) непосредственно следует представление
.
Действительно, если , то по формуле (2.6)
. (7)
Но нетрудно увидеть, что
. (8)
Поэтому, суммируя равенства (7) и (8), окончательно получим:
.
Следовательно,
. (9)
Формула (9) является аналогом формулы Шварца для классов Харди Из (9) непосредственно вытекает:
. (10)
Суммируя формулы (9) и (10), получим:
(11)
Положим
, ;
тогда из (11) имеем:
или
.
Но учитывая, что , окончательно получаем следующее утверждение:
Теорема 6. Пусть . Тогда справедливы следующие представления
а) ,
где .
б)
4. Ограниченные проекторы в пространствах и при
Рассмотрим интегральный оператор в с ядром
:
.
Очевидно, что – аналитическая функция в для произвольной функции , при условии, что , где
В этом параграфе мы дадим полную характеризацию тех , для которых справедливо представление (2.7) при некотором . С этой целью сначала докажем следующее элементарное утверждение.
Пусть, как и прежде, , где , при этом , также .
Лемма 1. Пусть , при этом , тогда справедливы оценки:
а) при всех .
б) .
Напомним, что .
Доказательство. Положим
,
где . Учитывая тождество
и равенство
легко установить оценку
при .
Поэтому
.
Положим
.
Очевидно,
.
Нетрудно заметить, что
.
Интегрируя по частям в последнем интеграле, получаем:
.
Отсюда, учитывая что , выводим:
или
,
то есть
. (2.12)
Перейдём к оценке . Проводя аналогичные рассуждения, получаем:
Интегрируя в последнем интеграле по частям, приходим к равенству
,
то есть
.
Отсюда, учитывая, что , окончательно получаем:
(13)
Объединяя оценки (12) и (13), приходим к первому утверждению леммы. Теперь докажем неравенство б). В силу леммы 1 имеем:
.
Повторяя рассуждения части а) доказательства, приходим к оценке
. □
Следующее утверждение известно как тест Шура
Теорема 7. Пусть – -измеримое множество с неотрицательной мерой на , – неотрицательная функция на , оператор определён на множестве -измеримых функций следующим образом
,
причём функция такая, что интеграл сходится к почти всюду.
Тогда если и существуют строго положительная -измеримая функция на и число такие, что
(14)
и
, (15)
где , то оператор является ограниченным оператором на , причём
Доказательство. Фиксируем функцию . Используя неравенство Гёльдера, имеем:
.
С помощью неравенства (14) получаем
.
Откуда
.
Теперь, применяя теорему Фубини и меняя порядок интегрирования, получаем:
.
Далее, учитывая неравенство (15), окончательно выводим:
то есть . □
Теорема 8.Пусть , тогда оператор
(16)
отображает пространство на пространство .
Доказательство. Утверждение о том, что каждая функция из класса допускает представление (16), непосредственно следует из теоремы 4.
Остаётся установить, что при каждой функция принадлежит классу . Докажем указанное утверждение сначала при . Из равенства (16) имеем:
Изменив порядок интегрирования, получили:
Теперь, учитывая лемму 1, имеем:
.
Теорема доказана при .
Теперь предположим . В этом случае применим теорему 7 и лемму 1. Докажем, что если
,
, то все условия теоремы выполнены.
Действительно, условия (14), (15) непосредственно следуют из неравенств а), б) леммы 1. Следовательно, все условия теоремы 7 выполнены. □
Точно таким же образом устанавливается
Теорема 9. Пусть и , тогда оператор
отображает пространство на пространство .
Следующая теорема играет существенную роль при описании линейных непрерывных функционалы на пространствах .
Теорема 10.Пусть , , . Тогда оператор
, ,
отображает пространство в пространство где , .
Доказательство. Как и прежде, положим , , . Тогда, применяя неравенство Гёльдера, получим:
. (2.17)
По лемме 2.1 отсюда имеем:
, .
Умножая последнее неравенство на , интегрируя по и учитывая последнюю оценку, выводим:
.
Преобразуя подынтегральное выражение первого интеграла, получим:
, .
Поэтому из оценки (2.17) имеем:
.
Снова используя лемму 2.1, окончательно получаем:
. □
5. Оценки гармонически сопряжённых функций в -пространствах при
Знаменитая теорема М. Рисса утверждает, что если и – взаимно сопряжённые гармонические функции, причём , то при справедлива оценка , где
зависит только от , причём , если или .
В этом параграфе нас интересует аналог оценки М. Рисса в -пространствах.
Ясно, что при из теоремы М. Рисса непосредственно следует . Однако хорошо известно, что, несмотря на это, при соответствующая оценка неверна.
Мы докажем, что оператор гармонического сопряжения является ограниченным в при всех .
Лемма 2. Пусть – гармоническая функция в некотором круге и . Тогда при всех справедлива оценка
, (18)
где зависит только от .
Доказательство. Если , то оценка непосредственно следует из теоремы о среднем и неравенства Гёльдера. Остаётся доказать лемму при . Не ограничивая общности, можно предположить, что , а . Как и прежде, обозначим через интегральные средние от функции, то есть
Не ограничивая общности, будем предполагать также, что
.
В этих предположениях, если при некотором , то лемма будет следовать из принципа максимума, при этом .
Поэтому будем предполагать, что при всех . Поскольку , то
Записывая представление Пуассона для функции по окружности , получаем:
то есть
. (19)
Пусть теперь – произвольное число, такое, что . Тогда из оценки (19) непосредственно имеем:
.(2.20)
Первый интеграл, очевидно, сходится и равен некоторой константе . Оценим второй интеграл в (20). Ясно, что
.
Следовательно, из неравенства (19) получаем:
. (21)
Поскольку по предположению , , то
.
Но заменив , последний интеграл можно записать в виде
.
Следовательно, неравенство (21) преобразуется в
.
Теперь подбирая параметр таким образом, чтобы , из последней оценки получаем:
,
то есть
.
Тогда неравенство (18) следует из принципа максимума. Что и требовалось доказать. □
Лемма 3. Пусть – гармоническая функция в такая, что
,
то есть , . Тогда
Доказательство. Пусть , . Применяя лемму 2 к функции по кругу , получим:
,
Остается положить и повторить рассуждения, проведенные при доказательстве теоремы 1. □
Лемма 4. Пусть , , – гармонически сопряженная функция с , . Тогда при всех , где , справедлива оценка
(22)
Доказательство. Пусть . Тогда имеем
Поэтому
, (23)
где, как и прежде,
Теперь используя лемму 3, из оценки (23) получим:
Положим , тогда , , и поэтому
Чтобы получить оценку (2.22), достаточно применить следствие 1.1, согласно которому при всех , . То есть
Напомним, что . Из последнего неравенства немедленно следует утверждение леммы. □
В дальнейшем существенную роль сыграет следующее диадическое разбиение единичного круга . Пусть , где – множество неотрицательных целых чисел,
, ,
.
При этих же , положим – криволинейный прямоугольник с центром, совпадающим с центром , и расширенный 4/3 раза.
Ясно, что система диадических прямоугольников покрывает единичный круг однократно, причем и пересекаются только, возможно, границами, если . Система покрывает конечнократно.
Справедливо следующее утверждение:
Теорема 10.Пусть . Тогда справедлива оценка
.
Доказательство. Сначала установим оценку
(24)
Пусть – произвольная точка из , , . Тогда из леммы 2.3 имеем:
или
.
Положив и заметив, что при всех
,
по теореме 2.1 будем иметь:
,
откуда приходим к оценке
.
Учитывая последнее неравенство, в итоге получаем:
. (25)
В неравенстве (25) мы учитывали, что для произвольного . Суммируя неравенства (25) по и , выводим:
, , .
Здесь мы учли, что последовательность покрывает конечнократно. □
Теорема 11.Пусть , , , – гармонически сопряженная функция с . Тогда
а) , и если , то
, .
б) Если , , то линейный интегральный оператор
,
при всех отображает на . При этом
, .
Доказательство. Сначала заметим, что если , где – оператор гармонического сопряжения, то по лемме 2.4 при , где совпадает с при , . Этому же классу принадлежит функция . Поэтому функция принадлежит классу .
Следовательно, доказательство теоремы сводится к установлению пункта б). Учитывая теорему 4 и формулу (7), получаем:
Не ограничивая общности, можно предположить, что , поскольку очевидно, что , , .
Далее заметим, что утверждение б) при непосредственно следует из теоремы 8. Поэтому в дальнейшем будем предполагать, что . Ясно, что
.
Следовательно, учитывая, что , получаем:
, (2.26)
где – центр прямоугольника , .
Теперь оценим последний интеграл . Используем лемму 1, согласно которой
,
если , то есть .
Следовательно, из (26) получаем:
. (27)
Теперь заметим, что согласно неравенствам (3)
, ,
для произвольного , , .
Учитывая неравенство (27), окончательно имеем:
.
По теореме 10 последняя сумма не превосходит . □
Из этой теоремы непосредственно следует
Теорема 12.Пусть , . Тогда следующие утверждения равносильны:
а) ;
б) допускает представление
, ,
где , – комплекснозначная борелевская мера, для которой
.
Доказательство. Вначале докажем импликацию а) б). Если , то согласно теореме 6 допускает представление (11), где .
Согласно теореме 10 мера удовлетворяет условию (24). Чтобы установить импликацию б) а) достаточно повторить вторую часть доказательства теоремы 11. □
Аналог теоремы 12 для случая непосредственно следует из теоремы 8, а именно:
Теорема 13.Пусть , , . Тогда следующие утверждения равносильны:
а) ;
б) допускает интегральное представление , где .
Дата добавления: 2015-08-14; просмотров: 1599;