Интегральное представление гармонических функций

 

Пусть – множество всех гармонических в функций; , то есть

.

В этом параграфе мы построим аналог представления (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.Пусть , , . Тогда следующие утверждения равносильны:

а) ;

б) допускает интегральное представление , где .