книги / Нерегулярные граничные задачи на плоскости
..pdfI 151 |
СВОЙСТВА ИНТЕГРАЛА ТИПА КОШИ — СТИЛТЬЕСА |
131 |
тор Kf с ядром Коши вдоль кривой С при соответствующих предположениях на С преобразует функции из Lip а (С) в функ ции этого же пространства. Покажем сейчас* что этот оператор к тому же и ограничен. С этой целью заметим, прежде всего, что
Я 7 М - 4 - / М + */{*)• * ,е С .
поэтому, если применить еще раз оценку (15.16) (при р = 1), получим сначала, что
а если в качестве коэффициента L в условии Гёльдера взять вто рое слагаемое из правой части формулы (15.22), то легко полу чим оценку
» e i * 7 W K ( 4 - + * £ £ ) i / b i , . w
Теперь заметим, что все оценки предыдущего пункта (формулы (15.18) — (15.21)) содержат в правой части множителем число L, следовательно, существует такое число R, что
sup |
|K f (го) — K f (г) | |
RL R Ц/ BLlpа(С)* |
?о,лес |
|г0 — г |а |
|
Из последних двух неравенств и вытекает ограниченность сингу лярного интегрального оператора, рассматриваемого в простран
стве Lip а (С) при |
0 < а < 1. Из предыдущих оценок нетрудно |
||||
также получить верхнюю грань для нормы этого оператора |
|
||||
К | ы , . Ю)< 2 + 4 |
|
2Л/*-“ |
. Л/1-а5а |
, , 5 |
о д . |
|1пЛ /|+^ |
|
|
|
||
С л е д с т в и е |
15. 4. |
(i) (И. И. Привалов). |
Сингулярный опе |
||
ратор |
|
|
|
|
|
|
|
*oEEC' |
|
|
|
действует и ограничен |
в пространстве Lip а (С), 0 < |
а < |
1, |
||
если С — кусочно-гладкая |
кривая без точек заострения. Его нор |
ма допускает оценку сверху (15.23).
(ii) То же утверждение имеет место и в случае, когда С пред ставляет кривую Радона без точек заострения.
15.9. Пусть G+, G~ — соответственно конечная и бесконечная области, ограниченные произвольно заданной замкнутой спрям ляемой кривой Жордана С. Для произволь ной суммируемой на С
5*
132 |
ИНТЕГРАЛЬНЫЕ |
ОПЕРАТОРЫ |
РАДОНА И КОШИ |
[ГЛ. IV |
функции / (<) построим интеграл типа |
Коши |
|
||
|
Ф» |
= 2 Ц Т ^ ‘ - |
<15-24> |
Естественно назвать его интегралом Коши, если все его нека сательные граничные значения Ф+ (I) изнутри С+ существуют и совпадают с f (t) почти всюду на С. Как вытекает из следствия 15.1 и формул (15.11), для этого необходимо и достаточно, чтобы предельные значения Ф~ (I) почти всюду па С существовали и бы ли равны нулю. Согласно теореме единственности Н. И. Лузина — И. И. Привалова (см., например, [21, б)], гл. IV, § 2), это усло вие эквивалентно тому, что интеграл (15.24) равен нулю в обла сти G~, т. е. что
|
|
|
|
lf(t)tkdt = О, |
Л = |
0 , 1 , 2 , . . . |
|
(15.25) |
||||||
|
|
|
|
с |
|
|
|
|
|
|
|
|
|
|
Таким образом, |
получаем следующее утверждение: |
|
Для |
|||||||||||
|
Т е о р е м а |
15.4 (В. В. |
Голубев — И. И. |
Привалов). |
||||||||||
того чтобы интеграл типа Коши (15.24) |
обращался в интеграл |
|||||||||||||
Коши, необходимо и достаточно, чтобы |
имели |
место условия |
||||||||||||
(15.25). Иными словами, условия (15.25) |
необходимы и достаточны |
|||||||||||||
для того, чтобы суммируемая на С функция / |
(I) почти всюду на |
|||||||||||||
С совпадала с некасательными |
граничными значениями функции, |
|||||||||||||
аналитической внутри G? |
и |
представимой интегралом Коши. |
||||||||||||
|
Функция, о которой идет речь во второй формулировке, сов |
|||||||||||||
падает с |
интегралом (15.24). |
|
|
|
|
|
|
|
|
Т (£) = |
||||
|
15.10. |
Вернемся к рассуждениям п. 11.4. Функция |
||||||||||||
= |
Ф |
(£)]©'(£) принадлежит Яи какова |
бы |
пи |
была Ф ( г ) е |
|||||||||
£ |
i?i(G+), |
следовательно, согласно теоремам 10.6 |
и |
11.5, имеем |
||||||||||
|
$ |
® 4 ffl(0 ]tf(E K 4 = |
|
|
|
|
|
|
|
|
|
|
||
1C 1=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= $ Ф+(г)[й(*)1*<й = |
0, |
Л = |
0 ,1 ,2 ,..., |
(15.26) |
|||||||
|
|
|
с |
|
|
|
|
|
|
|
|
|
|
|
где |
t = |
Q (z) — функция, |
обратная |
к |
|
z = |
о (£). |
Поскольку |
||||||
о |
(С) непрерывна в замкнутом круге |£|<1 (см. п. 11.1), сущест |
|||||||||||||
вует |
последовательность |
многочленов |
{Ph.n Ш Ь |
равномерно |
||||||||||
сходящаяся при |
п-+ оо к функции zk = |
[© (£)]k, |
к = 0,1,2,. . . |
|||||||||||
Отсюда и из (15.26) получаем |
|
|
|
|
|
|
|
|
|
|||||
$ |
®+(z)z*dz = lim $® +(z)i>k(n[Q(z)]dz = |
0, |
Л = 0 ,1 ,2 ,... (15.27) |
оп с
Согласно теореме 15.4, функция Ф (z) представима в области G+ интегралом Коши по своим граничным значениям Ф+ (/).
S i(i] |
СИНГУЛЯРНЫЙ ИНТЕГРАЛ КАК ОПЕРАТОР В Lp |
133 |
Обратно, предположим, что некоторая аналитическая функ ция Ф (г) имеет суммируемые на С пекасательные граничные зна чения Ф+(0 и представима по ним интегралом Коши. Согласно теореме 15.4, эти граничные значения удовлетворяют условиям (15.27). Как известно, существует последовательность многочле нов {Рк,п (z)}, которая при п —*• оо равномерно сходится к ана литической внутри G* п непрерывной на G* + С функции [й (z)]k, к -- О, 1, 2, . . . (см., например, [25], стр. 53). Отсюда и из ус ловий (15.27), отнесенных к единичной окружности |С |= 1, получаем
5 «♦[«•(В]®'(»£ * « =
К1=х
= 11ш |
5 ФЧю(С)]аЧС)^.«ИС)]<*С = 0, |
к = 0,1,2,... |
п |
10.1=1 |
|
Следовательно, согласно теореме 15.4 функция Y (Q = Ф[о(С)]©'(С) принадлежит классу Ни так что Ф (z) принадлежит E1(G*'). Мы
получили, таким образом, утверждение, обобщающее теорему 10.6. Т е о р е м а 15.5. Пусть С — произвольная замкнутая спрям ляемая кривая Жордана, ограничивающая конечную область G+. Класс функций £ 1(G+) совпадает с совокупнотъю функций, анали тических внутри G+ и представимых через свои некасательные
граничные значения на С интегралом Коши.
При доказательстве этой теоремы мы следовали книге [21, б)], гл. III.
§16. Сипгулярный интеграл как оператор в пространствахIjp
16.1.Пусть G+ — односвязная область, граница которой С является кривой ограниченного вращения. Будем считать, что начало координат z = 0 находится внутри G+, а точка z (0) = z(S) является точкой гладкости кривой С. Рассмотрим определенную
на сегменте [0, £] функцию ф (s) = 0(a) — ©„(а), где 0 (а) — угол наклона касательной к С отпосительпо оси х, a ©„(а) — угловая
функция wz(s) = arg [z(a) — z], отвечающая точке z = 0. В кон це § 3 было отмечено, что 0 (а) при обходе кривой С в положи тельном направлении приобретает приращение 2л, следователь
но, |
функция ф (а) является |
.S-периодической. Пусть |
функция |
||||||||
z = |
© (0 |
однолистно |
и конформно отображает единичный круг |
||||||||
|С I |
< |
1 |
на область |
G*. Как уже |
отмечалось (п. 11.1), ©(C) |
||||||
взаимно |
однозначно |
и взаимно непрерывно отображает окруж |
|||||||||
ность С = eio, |
0 < |
<з < 2я, |
на кривую |
G, так что |
функция |
||||||
а = |
я (с) |
|
монотонна |
и |
непрерывна. |
Построим затем |
функцию |
||||
ф(о) == ф[я (о)], |
0 < |
<з < 2л. |
Очевидно, |
что |
она 2л-периодична, |
||||||
непрерывна в |
точках |
о = 0 (mod 2л) |
после 2л-периодического |
134 |
ИНТЕГРАЛЬНЫЕ ОПЕРАТОРЫ РАДОНА И КОШИ |
1ГЛ. IV |
|
|
продолжения на все вещественные о, в каждой точке а имеет
пределы г|) (о ± |
0) |
(п является |
даже функцией |
ограниченной |
|||||||
вариации), |
причем |
если кривая С не имеет точек заострения, |
|||||||||
то максимальный |
скачок |
|ф (<з + |
0) — ф (б — 0) | меньше |
л. |
|||||||
Произведем |
некоторое разбиение |
сегмента |
[0, |
2я] |
том мши |
||||||
0 = |
< Sj < |
. . . < sn = |
2п |
и |
построим |
кусочно-линейную |
|||||
функцию v ($) |
с изломами в точках s = sk, |
к — 0, 1, |
2, . . .,п. |
||||||||
Ясно, что v ($) имеет период S, удовлетворяет условию |
Гёльдера |
||||||||||
на [0, |
5] и при достаточно малом max (sk+1 — sh) будет удовлетво |
||||||||||
рять |
условию |
sup |
vrai |ф (о) — v (а) | hmax /2 |
+ е, |
где |
е — |
сколь угодно малое число, а /гтах — наибольший по абсолютному значению скачок функции 0 (5 ). Построим функцию
— - s S v<eH £ = i * '
о
аналитическую внутри круга. Из результатов § 15 нетрудно вы
вести, |
что й (С) непрерывна в замкнутом круге |
|£ I |
1, при |
||
чем из |
формулы вида (15.11') легко получить, что |
Re й (eie) = |
|||
= — v (о), 0 |
о ^ 2я. Определим теперь функцию F0(z) соот |
||||
ношением F0[& (£)] = й (£). Очевидно, что F0(z) |
непрерывна в |
||||
замкнутой области G* + С, и если граница С не имеет точек за |
|||||
острения, то при достаточно малом е > 0 |
|
|
|
||
|
sup |
vrai|0(S)- » „ (s) + R e M [ z ( s ) l K ^ r + |
e < - f (16.1) |
||
|
oc»<s |
й |
|
|
* |
Отсюда получаем утверждение: |
|
граница ко |
|||
Л е м м а |
16.1 (см. [9, а)]. Пусть G* — область, |
торой С имеет ограниченное вращение и лишена точек заострения. Тогда для любого достаточно малого е > 0 существует однознач ная аналитическая внутри G+ и непрерывная на множестве G+ + С функция F0(z), для которой имеет место соотношение (16.1).
16.2.Исходя из функции F0(z), о которой идет речь в лемме
16.1, построим весовую функцию F (z) = exp iF0(z) (см. п. 12.1). Эта функция удовлетворяет условиям (12.8), (12.13) в силу неп рерывности F0(z) в замкнутой области G* + С, а условие (12.9) вытекает из неравенства (16.1). В качестве функции Ф (z), фигу рировавшей в § 12, возьмем интеграл типа Коши
(16.2)
Предположим сначала, что плотность / (f) удовлетворяет усло вию Гёльдера с показателем а = 1. Согласно следствию 15.3, по лучим тогда, что функция (16.2) непрерывна в замкнутой области
§ 181 |
СИНГУЛЯРНЫЙ ИНТЕГРАЛ КАК ОПЕРАТОР В Lp |
135 |
|
|
G* ~г С, следовательно, выполнено условие второго утверждения следствия 15.1. Поэтому имеют место формулы (15.11'). Чтобы изучить ограниченность оператора (16.2) п р и гб С в пространствах LP{C), будем предполагать плотность / вещественной. Если теперь, как и в § 12, ввести обозначения и — ReG>+, v = Im Ф+, то, за мечая, что Bf (z) = Re Kf (z), и вспоминая формулу (14.9), из (15.11') легко получим
|
S |
и = В * / = ± . ( / + Т/), |
у = <?+/= --Ц /< г .1п|г(а)-г| , (16.3) |
в каждой точке z g C . |
= |
Воспользуемся теперь утверждением 1) теоремы 14.3. Тогда для некоторой постоянной Av не зависящей от выбора /, получим
неравенство |
|
!< /> < * > . |
(16.4) |
если кривая С не имеет точек заострения. Из (16.2) после приме нения неравенства Гёльдера получим также оценку
i®(°)i,,< - ^ r M V > ' |
<16-5> |
играющую роль нер шенства (12.6).
Вспоминая рассуждения п. 12.1 и пользуясь неравенствами (16.4), (16.5), вместо оценки (12.7) получим
\I\< <*i J/||L,>(C)+ Pil/Ur-plcjD^Ilb'cc)»
где «и — некоторые не зависящие от / постоянные. В силу отмеченных выше свойств функции F0(z) одновременно имеет место оценка (12.10), следовательно, для некоторой не зависящей от / постоянной Ti вместо (12.11) получаем
Ti ИЕр(С) < « 1 ШР{0) + Pi |/Цьр(оИ1;1су
Рассуждая теперь, как и в пп. 12.2, 12.3, приходим к заключе нию, что существует некоторая не зависящая от / постоянная А-г, для которой
|MLP(G) = [<?+/1LP(C)< Аг|/ibp(C). 2 < р .< оо, |
(16.6) |
т. е. что оператор Q+, определенный второй формулой (16.3), при 2 ^ р < с» ограничен на множестве функций Lip 1 (С) С LP(C).
16.3. Формулы (16.4), (16.6) означают, что сингулярный оператор К, определенный формулой (16.2) при z е= С, обладает свойством: существует постоянная Ар, не зависящая от выбора
136 ИНТЕГРАЛЬНЫЕ ОПЕРАТОРЫ РАДОНА И КОШИ [ГЛ. IV
функции / в пределах класса Lip 1 (С), для которой
1 № |
Р(С) < Ар|1/||LP(O |
(16 .7) |
по крайней мере в случае конечного р > 2. Отсюда вытекает |
||
Л е м м а 16.2 (см. [9, |
а)]. Пусть G* — область, |
граница С |
которой является кривой ограниченного вращения без точек заост
рения, и |
пусть |
f — произвольная функция |
из пространства |
|||||
LP(C), 1 < |
р < |
оо. |
Тогда |
интеграл типа Коши — Лебега (16.2) |
||||
представляет функцию из Ер(G*). |
|
|
|
|
||||
Д о к а з а т е л ь с т в о |
(ср. [26, а)], §4). Поскольку семейство |
|||||||
функции Lip 1 (С) |
всюду плотно |
в пространстве Lp {С), то |
для |
|||||
заданной / €Е ЬР(С) |
существует такая последовательность |
/„ |
из |
|||||
Lip 1 (С), |
что |
|
|
|
|
|
|
|
|
|/,,-У|ьг(0)— |
SUPW LP( 0 , < ~ ’ |
(16.8) |
|||||
Пусть, далее, функция z = |
© (£) |
однолистно |
и конформпо |
отоб |
ражает единичный круг |Cl<Г 1 на G+ и Сг— образ окружпости 1£1 = г < 1 . Обозначая через а полярный угол в плоскости пе ременной £, вспоминая утверждение леммы 10.2 и пользуясь не
равенством вида |
(16.7) для fn €Е Lip 1 (С), последовательно по |
|
лучаем |
2- |
|
|
|
|
\Kfn(z)№ | = |
Г JIKfn[со |
У со' (г<*°) \Ыа< |
2г. |
|
|
0 |
|
1C |
Кроме того, как следует из первого соотношения (16.8), на любом замкнутом множестве впутри G+ последовательность Kfn{z) рав номерно сходится к Kf (z), следовательно,
\ l^ /(z)lplcM = |
lim \ \K1n{z)\v\dz\. |
сг |
п-*°° $г |
Последние две формулы совместно со вторым соотношением (16.8)
иприводят к утверждению леммы 16.2 (см. начало п. 11.4). Поскольку неравенство (16.7) установлено пока только для
конечных р > 2, то только для таких р доказана и лемма 16.2. Справедливость утверждения леммы 16.2 для значений 1 < р < 2 будет следовать из рассуждений п. 16.4. Сейчас же мы только за метим, что из леммы 16.2 вытекает ограниченность сингулярного оператора (16.2) сразу во всем пространстве Lp (С), т. е. что не равенство (16.7) на самом деле имеет место не только на функциях / е Lip 1( С), но и на всех функциях / из Lp (С). Действительно,
|
СИНГУЛЯРНЫЙ ИНТЕГГАЛ КАК ОПЕРАТОР В Lp |
137 |
интеграл |
(16.2) дает функцию из класса EP(G*) для любой / е |
|
е Lp (С), |
следовательно, почти всюду на С существуют конечные |
|
некасательные предельные значения Ф+. Согласно второму |
ут |
верждению следствия 15.1, сингулярный интеграл (16.2) и в этом случае дает почти всюду конечную функцию, причем имеют место формулы (15.11'), а значит (для действительной /) и формулы (16.3). Неравенства (16.4), (16.5), очевидно, имеют место при любой / G Lv (С), а ссылка на результаты § 12 правомочна, ибо рас сматриваемая весовая функция F (z) удовлетворяет неравенствам (12.8), (12.13), следовательно, оценки (12.7), (12.10), как уже
отмечалось в § 12, имеют место для любой функции Ф (z) |
из клас |
|
са E „(G *),p> 1. |
оператор |
|
Из |
всего сказанного вытекает, что сингулярный |
|
(16.2) |
при z е С в сделанных на С предположениях ограничен в |
пространстве LP(C) по крайней мере для всех конечных р > 2.
16.4.Переходя к сопряженному оператору, покажем, что
оператор К ограничен в |
LP{C) |
и в случае 1 < р < 2. |
Пусть |
|
/ (z) = / (с), |
g (z) = g (с) |
две |
произвольные функции |
точки |
z — z (о) е |
С, удовлетворяющие |
па С условию Гёльдера с пока |
||
зателем а = |
1. Докажем, |
что пмеет место формула |
|
g (*) |
(16.9) |
|
i. е. что сингулярный интеграл перестановочен с обычным ин тегралом по крайней мере для функций /, g из класса Lip 1(C).
Заметим, прежде всего, что оба повторных интеграла в (16.9) имеют смысл: для интеграла, стоящего в левой части (16.9), это вытекает из следствия 15.3, в силу которого внутренний интеграл есть функция, непрерывная на С, а для интеграла правой части
— из доказанного в п. 16.3, если заметить, что функция g (s) z'(s) принадлежит LP(C), р > 2. Остается только доказать равенство в формуле (16.9).
Воспользуемся отмеченной в п. 15.4 связью между сингуляр
ным оператором (16.2) |
при z €Е С и оператором (15.12): |
|
К+1 (z0) = |
K'i (z0) + |
/ (z0) почти всюду, |
и перепишем левую часть (16.9) |
в виде |
|
|
|
|
+яг$*(»)/(*)*• |
0 |
0 |
0 |
0 |
о |
В повторном интеграле справа можно переставить порядок интег рирования па основапип теоремы Фубини, поскольку функция z’ (o)~gTs) Г/ (о) — f(s)]/ U (о) — z (s)l ограничена п измерима.
138 |
ИНТЕГРАЛЬНЫЕ ОПЕРАТОРЫ |
РАДОНА И КОШИ |
[ГЛ. IV |
|||||
Это |
приводит к |
равенству |
|
|
|
|
|
|
$^ > is $ w -iti= $* (а) \ |
|
|
+ |
” ‘ $»W / (s>* |
= |
|||
0 |
0. |
0 |
0 |
|
|
|
о |
|
|
= 5/ (о)<Ь (о)5 |
- |
$ * |
(в)$ ^ |
1*%, * + Я15 ?Й/ («У»». |
|||
|
0 |
0 |
|
0 |
0 |
' |
о |
(16.10; |
Рассмотрим теперь интеграл типа Коши |
|
|||||||
|
|
|||||||
|
|
/ (s)g(s) |
ds |
i54 |
|
|
|
|
|
|
z{s) — |
z |
|
|
|
|
|
|
|
|
|
|
|
|
плотность которого / (s) g (s) z'(s) будем трактовать как элемент пространства Ьг (С). Согласно результатам п. 16.3, функция У (z) принадлежит классу EZ(G¥), а согласно следствию 15.1, имеют место формулы вида (15.11).Отсюда получаем, что почти всюду
\ $ ) - % ) ds = nif ^ ё (а)*'(б) “ 2m*T+ tz (в)1-
о
Подставляя последнее соотношение в формулу (16.10) и пользуясь теоремой Коши для функций класса Е1 (теорема 11.5), приходим к выводу, что последние два слагаемых в (16.10) взаимно сокра щаются. Но тогда из (16.10) получаем (16.9).
Предположим теперь, что 1 < р< 2 и что функция g (s)взя
та совершенно произвольно из сопряженного пространства |
|||||
ЬЛС), |
q= |
р/ (р— 1) > 2. |
Проследив |
доказательство |
формулы |
(16.9) |
для / , g e Lip 1 (С), |
убеждаемся, что она имеет |
место и в |
||
случае g |
Lq{C). Введем в рассмотрение оператор |
|
|||
|
|
Ф ) - |
dz (s) = |
*(«> с_ e{x)ds |
(16.11) |
|
|
Ф ) |
2яi JФ )—~Ф) |
|
|
Учитывая, что почти, всюду |
Jz' (о) | = |
1, и вспоминая результат |
п. 16.3, приходим к выводу, что этот оператор преобразует функ
ции g из |
Lq (С) в функции этого же пространства и ограничен: |
||||
|
|
|
9 = ^ 1 |
> 2 . |
(16.12)' |
Запишем |
формулуS(16.9) в-видев |
|
|
||
(К/, е) |
т Ш |
* = |
т (/, к -g), |
|
|
|
|
о |
о |
|
|
§ 1в] |
СИНГУЛЯРНЫЙ ИНТЕГРАЛ КАК ОПЕРАТОР В Lp |
139 |
применим к левому интегралу формулу вида (6.6) и воспользуемся формулой (16.12) после применения к правому интегралу неравен ства Гёльдера с показателями р, q = рКр — 1); это приводит к неравенству
в
l|K/Ikp(C)= sup |? ^ /(s )i(7 )< is l< A ,|l/|Lp(C)l |
1 < Р < 2. |
llelta(C^=i i
Таким образом, неравенство (16.7) имеет место для любой функции / €Е Lip 1 (С) и при 1 < р < 2, причем нормы Ар опе ратора К равны для гармонически сопряженных значений р : Ар = = A q, q = р !{р — 1). Этот вывод позволяет завершить доказа тельство леммы 16.2 (для 1 < р < 2) и доказательство ограни ченности сингулярного оператора в ЬР{С) при всех конечных
Р> 1.
Те о р е м а 16.1 (см. [9, а)]). Пусть С— произвольная простая
жорданова кривая, |
имеющая ограниченное вращение и лишенная |
||||||
точек заострения. |
Тогда сингулярный оператор |
Kf, определен |
|||||
ный формулой (16.2) |
при z ^ C , |
действует и ограничен в прост |
|||||
ранстве |
Lp (С) при любых 1 < |
р < оо. Его норма Ар удовлет |
|||||
воряет условию симметрии: Ар = A q, если q = р I (р — 1). |
|||||||
В заключение отметим, что теорема 16.1 |
имеет |
место и в не |
|||||
сколько более общем случае, отмеченном в п. 14.7, в частности, |
|||||||
когда С — кривая Ляпунова. |
|
|
необходимости ис |
||||
16.5. |
Анализ краевых 8адач приводит к |
||||||
следовать сингулярные интегральные операторы во взвешенных |
|||||||
пространствах Lp. Рассмотрение этого круга вопросов начнем со |
|||||||
случая, |
когда С — единичная окружность. Построим функцию |
||||||
|
/ ? ( « ) - expGF.W ), |
|
2я |
1 |
(16-13) |
||
|
|
О |
|
||||
|
|
|
|
|
|
|
|
где |
о (в) — некоторая |
измеримая вещественная |
ограниченная |
||||
функция на сегменте [0,2 я]. Представляя ядро интеграла (16.13) |
|||||||
через ядро Коши, опираясь на лемму 16.2 и пользуясь формулами |
|||||||
вида |
(15.11), получим |
|
21* |
|
|
||
|
|
|
|
|
|
|
|
|
|
«(«•*) = |
|
+ " Е Г $ “ (*) <** |
|
* |
|
|
|
|
|
|
0 |
|
|
почти для всех <з |
[0, |
2я]. Отсюда получаем формулу для весо |
|||||
вой функции (ср. пп. |
12.1, 12.3) |
|
|
|
ап
р(о) = |Р*(еиГ = в*р {-5 ^ J »(•)«** - ^ d s ) . (16-14)
140 |
ИНТЕГРАЛЬНЫЕ ОПЕРАТОРЫ РАДОНА И КОШИ |
[ГЛ . IV |
||||
Заметим, |
далее, |
что в случае |
единичной |
окружности |
0 (s) — |
|
— e>0(s) = |
Jt/2H4ToRe.Fj(cio) = |
а (о) /2, следовательно, |
условие |
|||
вида (12.9) для функции Fp(z) примет вид |
|
|
||||
|
|
sup vrai |fi) (s)| = |
vn, |
v < |
l/p. |
(16.15) |
|
|
0CS<2n |
|
|
|
|
Из результатов |
п. 13.8 вытекает теперь, что |
вес р (s) суммируем |
с показателем 1 + е, а функция (16.13) принадлежит классу Я р+е
при некотором |
е > 0. |
|
В качестве |
функции Ф (г), фигурировавшей в § 12, возьмем |
|
интеграл Шварца |
|
|
|
2л |
^ |
фW= - к [ t (*) |
ds= u б) + i u |
(16Л6) |
о |
|
|
где z = reie, a / (а) — вещественная непрерывная по Гёльдеру 2я-лериодическая функция. Поскольку
2я
о
функции и (1, о), у (1, <з) принадлежат тому же классу, что и / (с) (см. теорему 15.3, (i), следовательно, выполнены все предпо ложения начала п. 12.1. Что же касается условия (12.6), то за метим, что
2я 2л
1ф <°>1 < 4г \I/WI■*=-к$!/Ml PW М р-1" W * <
оо
<4 ; ($ р WI/WI’ * ) M’( {р-'-'п »)*)""'.
оо
следовательно, (12.6) будет выполнено при 6 = 0, если число
о
конечно. Обращаясь к формуле (16.14) и снова вспоминая резуль таты п. 13.8, убедимся, что а < + оо, если наряду с условием (16.15) выполняется и следующее:
v < 1!р\ / = pl(p - 1). |
(16.17) |
Следовательно, в условиях (16.15), (16.17) имеют место неравенст ва (12.7), (12.10) для функций и v — Sf. Повторяя рассужце*