книги / Нерегулярные граничные задачи на плоскости
..pdf§ 14] |
ОПЕРАТОР РАДОНА В ПРОСТРАНСТВАХ С И Lp |
i l l |
14.3.Из теоремы 14.1 нетрудно вывести следующее
С л е д с т в и е |
14.1. |
Пусть |
С — произвольная замкнутая |
|||||||||||
жорданова |
линия ограниченного |
вращения, 0 (s) — угол наклона |
||||||||||||
касательной к ней относительно оси х, ф (s, о) — угловая функ |
||||||||||||||
ция, |
определенная в |
п. |
3.5. Тогда |
при любом |
фиксированном |
|||||||||
a eJO , |
S\ |
имеем |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
. |
|
(14.7) |
|
Действительно, образуем некоторое разбиение 0 = а0 < |
< ... |
|||||||||||||
••• <С sn = |
$ и обозначим через z (5) некоторую внутреннюю |
|||||||||||||
точку |
|
части С, |
отвечающей s 6Е (sh, аА+1). Очевидно, имеет |
место |
||||||||||
оценка |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
П—1 |
|
|
|
|
|
|
П—1 |
|
|
|
|
|
||
2 |Ч>(«.<4«)-*(»*)|=- lim S |o)2(s,«)-4).(s,)|<Vf(0). |
|
|||||||||||||
i=0 |
|
|
|
|
|
|
z~*z (*) i=0 |
|
|
|
|
|
||
tek |
|
|
|
|
|
|
i^k |
|
|
|
|
|
||
Поскольку |
при |
неограниченном |
измельчении |
разбиения недо |
||||||||||
стающее слева |
слагаемое |
|-ф (а, |
аЛ+1) — ф (s, sk) |
| стремится |
к |
|||||||||
I ф (s, |
а + |
0) — ф (s, |
s — 0) |= |
|0 (s + 0) — 0 (а — 0) |< |
я, |
|||||||||
отсюда следует оценка (14.7). Смысл ее состоит в том, что функ |
||||||||||||||
ция ф (а, а), а, о ее [0, S], принимающая на диагонали а = |
сг про |
|||||||||||||
извольное |
значение |
между |
ф (а, а |
0) и ф (а, а — 0), имеет ог |
||||||||||
раниченную вариацию по |
каждому переменному, и эта вариация |
|||||||||||||
равномерно |
ограничена |
относительно |
оставшегося переменного |
|||||||||||
(см. также п. 17.1). |
бы ни была плотность / (а), интеграл (14.1) есть |
|||||||||||||
14.4. |
Какова |
|||||||||||||
непрерывная функция |
точки z, z ф.С. Предполагая / (а) непре |
|||||||||||||
рывной на С, в частности / (0) = |
/ (S), а С — линией ограничен |
|||||||||||||
ного |
вращения, |
изучим |
предельные |
значения |
функции Rf (z) |
|||||||||
при z, стремящемся к точке z (а) £Е С. |
|
|
огра |
|||||||||||
Пусть, например, z принадлежит |
конечной области G*, |
|||||||||||||
ниченной кривой С, так что ее порядок относительно С равен 1. |
||||||||||||||
Тогда, |
|
очевидно, |
|
|
|
|
|
|
|
|
|
|
Д /М
С
где о — любое число из интервала (0, S). В силу непрерывности
/ (а) для любого е > 0 |
существует такое б 0,что| / (а) — / (а) |< |
|
е, лишь |
только а, |
f i s [a', а"] и a" — s' < б. Следовательно, |
обозначая |
через Ct часть линии С, отвечающую дуге а е [а', а"], |
и вспоминая оценку (14.2), получим
112 |
ИНТЕГРАЛЬНЫЕ ОПЕРАТОРЫ РАДОНА И КОШИ |
[ГЛ. IV |
С другой стороны, когда z стремится к z(a) изнутри G+ произволь ным образом, имеем
|
■Я |
5 |
|
|
I ! / ( » ) - / ( « ) !<«>(«.*)• |
|||
|
|
С \ С с |
|
|
C\C g |
|
|
|
Наконец, вспоминая следствие (14.1), получим также |
|
|||||||
|
|
зг| \ 1/W -/(<>)]*+(«■ »> .| < £ (Г ?< е) + |
я). |
|
||||
|
|
с* |
|
|
|
|
|
|
Из |
полученных |
соотношений |
вытекает |
теперь, что |
функция |
|||
Rf (z), |
определенная |
формулой (14.1), для любой непрерывной |
||||||
на |
С |
функции |
/ (s) |
имеет предельные |
значения |
(Rf)+ (a) = |
||
= |
(i?/)+(z (а)) для любого а е |
(0, 5) каким бы образом точка z ни |
||||||
стремилась к z (a) е= С изнутри области G+. В точке |
z (0) — z (S) |
|||||||
рассуждения вполне |
аналогичны, только под Се надо |
будет по |
нимать некоторую часть линии С, содержащую точку z (0). Точ но так же рассматривается случай, когда z стремится к z (а) из внешней области G~. Следовательно, функция (14.1) непрерывно продолжима на линию С и слева, и справа, поэтому, доопределен
ная соответствующими значениями Д/± = |
(i?/)± |
на С, она |
не |
прерывна на замкнутых областях G± + |
С (см., |
например, |
[17], |
гл. 1, § 9). |
|
|
|
Чтобы получить явное выражение этих предельных значений
.R/i, снова воспользуемся приведенными выше соотношениями, аддитивностью интеграла Стилтьеса и формулой (3.8):
ЯГ<?)= я |
$!/(*)-/(0)1 ад (а, ») + /(«) = |
||
|
а |
|
|
= 4 г |
s) + |
/ |
О3)- |
|
с |
|
|
Аналогично доказывается формула |
|
|
|
R r 'W = |
W w <W («• ») - |
4 |
- 1 (о)- |
|
с |
|
|
Из непрерывности функций / (а) и Rf+(s) следует, далее, что ин тегральный оператор
s
о
преобразует непрерывные функции в непрерывные. Больше того, из следствия 14.1 получаем, что этот оператор ограничен в про-
§ 14] |
ОПЕРАТОР РАДОНА В ПРОСТРАНСТВАХ С И Lp |
113 |
страиствс непрерывных на линии С функций и его норма не пре восходит правой стороны неравенства (14.7) (см. также п. 17.1). В дальнейшем преобразование (14.8) будем называть операто ром Радона.
Т е о р е м а 14.2 (И. Радон, см. [22]). Функция (14.1) непре рывна на замкнутых областях G± + С после доопределения ее предельными значениями 7?/±, какова бы ни была з/сорданова замкну тая линия ограниченного вращения С и непрерывная на ней функ ция } (s) (/ (0) = / (5)). Оператор (14.8) определен и ограничен на пространстве непрерывных на С функций, с его помощью пре дельные значения интеграла (14.1) выражаются по формулам
|
Л / ^ И |
т ^ / М + Г/М ). |
(14.9) |
14.5. |
В том случае, |
когда плотность / (в) |
непрерывна и 5 — |
периодична, интегралы (14.1), (14.8) можно понимать как клас сические интегралы Стилтьсса при любых фиксированных значе ниях z или а. Предположим, что о — произвольная точка интер вала (О, S), отличная от точки разрыва угловой функции 0 ($).
Тогда |
функция ф (a, s) непрерывна по второму аргументу при |
s = о |
(см. формулу (3.9)), следовательно, непрерывной в точке |
s = а будет и полпая вариация Fj (ф) функции ф (a, s) по s. От сюда и из аддитивпости полной вариации (п. 1.2) следует, что F“i£ ^ ) стремится к пулю вместе с е. Воспользовавшись из вестным в теории интеграла Стилтьеса неравенством, (см., напри мер, [18], гл. VIII, § 7), получим
О+Е
iI ^ ( /(«К'кмкI a—E<S<O+E I/W IC JW .
следовательно, часть интеграла (14.8), приходящаяся на интервал [а — е, а + е], стремится к нулю вместе с е. Пользуясь еще ад дитивностью интеграла Стилтьеса, в рассматриваемых точках а получим
S |
о-в |
s |
r/<«)-4-jj/(*><M (o. *> = “ “ - И |
$ + |
$ )/(*Н1>(«. *)• |
О |
0 |
в+е |
Теперь заметил!, что ф (о, s) абсолютно непрерывна по s па сег ментах [0, о — е], [а — е, S], поэтому при каждом е > 0 в по следней формуле можно перейти от интеграла Стилтьеса к ин тегралу Лебега от произведения / (s) фл(сг, S). Это приводит к форл!уле
о -е s
*Y(o) = llm А ( $ + [ ) 1>.(о. » )/(»)* . |
(14.10) |
114 ИНТЕГРАЛЬНЫЕ ОПЕРАТОРЫ РАДОНА И КОШИ [ГЛ. IV
с помощью которой функцию Tf (о) можно определить в каждой точке а ив сегмента [О, S], за исключением его концов и точек разрыва угловой функции 0 (s), т. е. за исключением некоторого не более чем счетного множества точек. Рассматривая фупкцию Tf (о) как элемент некоторого пространства Lp(0, S), можно в упомянутых точках определить Tf (с) совершенно произвольно.
14.6. Формулу (14.10) примем в качестве о п р е д е л е н и я интеграла (14.8) в том более общем случае, когда / (s) не является непрерывной, а принадлежит только некоторому пространству
Zrp(0, S), |
р > 1. Таким образом, в этом |
случае |
интеграл |
(14.8) |
||||
имеет смысл главного значения по Коши от |
произведения ядра |
|||||||
К (о, s) = |
ф8(а, s) и плотности / |
(s) (см. п. 7.3): |
|
|
|
|||
= |
S)f(s)ds = l i m |
i ( jj + |
j |
) * ( з , *)/(»)& . (14.11) |
||||
Пользуясь формулами (2.4), |
выпишем явное вырантенне ядра |
|||||||
К (a, s) при фиксированном о б ( 0 , 5 ) |
и почти всех |
s е |
(О, S): |
|||||
^(<з,5) = |
^ ф (а ,з) = у ' («) I* («) - |
* (q)1 - |
(«) [у («) - |
у Ш |
|
|
||
|
(х (s) - |
X (<J)]a + [у (s) - |
у (а)]2 |
|
|
|||
|
^sin[0(s)-0(p)]rdp |
|
|
|
||||
|
= ° |
|z (s) — г (б) |2 |
’ |
<3=3£=Л |
( 1 4Л 2^ |
|||
Числитель последней дроби допускает оценку сверху: |
|
|
||||||
Ksin[6(s) — 0(p)]dp | < (s—c)sup |
|0(s) — 0(p)|, |
<3 < s . |
||||||
1 a |
1 |
o<f><e |
|
|
|
|
|
Представим функцию ограниченной вариации 0 (s) в виде раз ности двух неубывающих функций 0i(s), -02(s) (ср. формулу (1.6)): 0(«) = 0i(s) — 02ЮПоскольку I 0(s) — 0(р) I < I 0,(s) — 0х(р) |4- + 16а(5) — 0г(р) Iи 0i> 0 2 — неубывающие функции, то предыдущая оценка может быть превращена в следующую:
|j sin [в (<) - в (p)l ip |< (» - в) «в, («) - вх (з)1 + [9, (<) - 9а (з)1),
(14.13)
причем эта оценка уже имеет место как при а ^ s, так и при s < а .
Предположим теперь, что кривая С не имеет точек заостре ния, т. е. что максимальный скачок функции 0 (s) меньше я.
S 14] |
ОПЕРАТОР РАДОНА В ПРОСТРАНСТВАХ С |
h |
115 |
||
Разобьем |
сегмент |
[0, *?] |
на части: 0 = s0< |
< |
. . . < S{ <* |
< 5i+ 1 < . . . < sn = |
S. Согласно сказанному в конце §2 (после лем^ |
||||
мы 2 .1 ), имеем |
|
|
|
|
|
° < * 0 < l-£j f E i T r < 1' |
s ,< s ’ ° < s,n ' |
|
l. |
||
|
|
|
|
|
(14.14) |
где к0 — некоторая постоянная. Пользуясь неравенствами (14.13), (14.14), для ядра (14.12) получаем оценку
|
4 - 'М ^ )-е .М 1 ± [е .м - е .( Д)]. | (14Л5) |
|
|
ко |
|
Si ^ s, а |
si+i, |
i = 0 ,1 ,2 , . . ,,п — 1 . |
Иными словами, если рассмотреть оператор, порожденный ядром (14.12), в пределах каждого квадрата st ^ s, а < Si+i, i = 0,1, ...
. . . ,n — 1, то он будет a-регулярным (см. п. 7.3), где а = (0! +
+ 02)/Ао. Согласно лемме 7.2, этот оператор определен и огра ничен в каждом пространстве Lp(Si, Si+i) при р > 1 и i = 0 ,1 , . . .
. . . , п — 1 .
Введем теперь в рассмотрение ядра
К»(с,з) =
Г7Г(б, а), если «j< s< S j+ i. i , / — 0 , 1 , .. . , п ,
0в остальных случаях,
атакже соответствующие им интегральные операторы Тц. Пос
кольку ядро К (a, s) почти для всех точек квадрата U ^ |
» >■ ’ |
||||
есть сумма ядер Ки(о, s), то почти для всех о (ЕЕ (U, |
) |
|
|||
|
|
л—1 |
|
|
|
|
гд е ) = |
2 |
* W - |
|
|
|
|
иU=0- |
|
|
|
Следовательно, |
для того чтобы |
доказать |
|
что |
|
полную непрерывность оператора Т, достаточно у |
и» |
f |
|||
ограничены или вполне непрерывны все оператор |
’/4 4 1 5 ч, |
||||
1, .. ., п — 1. |
То, что было |
сказано вслед за °Д |
|
|
означает ограниченность «диагональных» оператор
= SIS *«<«. s ) / w * r * =
оо
-YiT к<?-
•1 *i
116 |
ИНТЕГРАЛЬНЫЕ ОПЕРАТОРЫ РАДОНА И КОШИ |
[ГЛ. IV |
Рассмотрим теперь операторы Гщн» i = 0,1, . . п — 2; для них имеем
*i+2 |
si+l |
р |
|
2,м,|/Крйцв)= S| |
S |
Ki+lii{a,s)f(s)ds\ da = |
|
*m |
*i |
®i+2 |
p |
|
*i+2 |
=$ |$ #i+i.i(o,*)/(*)d*| de<i4&i,i|/|Ep(0.S), si *i
поскольку для ядер |
* (a, s) в |
пределах |
квадрата s, ^ о, |
||
5 ^ «1+2 |
имеет место оценка вида (14.15). Аналогичпо |
устанавли |
|||
вается |
ограниченность |
операторов |
K iti+17 j |
= 0 ,1 , |
. . .,п — 2. |
Далее, как вытекает непосредственно из формулы (14.12), ядра
Ktj |
(or, s) при всех |
оставшихся значениях i, /, кроме двух пар |
||
(0, |
п — 1), ( п |
— 1, 0), ограничены, следовательно, |
им соответст |
|
вующие операторы непрерывны в Lp(0, s), р > 1. |
|
|||
|
Покажем, |
наконец, что ядра ЛГ0,п- 1 (<т, s), K n. lt 0 (с, s) имеют |
||
особенности |
такого |
же характера, как и ядра |
A iii+1 (a, s), |
|
К ц |
г , i (а, s) при i = |
0,1, . . . , п — 2. Рассмотрим для примера ядро |
*о. п- i (0, s). Как следует из вида первой дроби в формуле (14.12), интеграл от sin [0 (s) — 0 (р)] по р в пределах от 0 до S равен нулю. Следовательно,
<а
— I sin [0 (s) - |
0 (р)] dp = Jsin [0 (s) — 0 (p)] dp + |
|
a |
- |
0 |
|
|
S |
|
|
+ 5sin [0 (s) — 0 (p)] dp. |
Вспомним теперь, что 0 (s) получает на сегменте [0, iS] полное
приращение |
2л (см. п. 3.5), и введем в рассмотрение угол 0 («) = |
|
= 0 (s) 2л |
для |
^ s ^ S. Тогда предыдущее равенство |
примет вид |
|
|
— $ sin [0 (s) - |
0 (р)] dp = |
j sin [0 (s) — 0 (p)] dp + |
e |
|
о |
+ $sin [0 (s)-'0 (p )]d p .
Отнесем теперь часть кривой С, отвечающую значениям дуги sn_i ^
кновому параметру s* с началом отсчета
вточке г (sn-i), а под углом наклона 0* касательной к этой части
будем понимать угол |
0 (s) между точками z (sп-г) и z (S) = г (0) |
и угол 0 (s) — между* |
точками z (0) и z fo). .Функция 0* (а*) имеет |
§ 14] |
|
ОПЕРАТОР РАДОНА В ПРОСТРАНСТВАХ С И Lp |
ii7 |
||
ограниченную вариацию на сегменте [0, |
5*], S* = |
+ (sn — |
|||
— sn-i)i |
и в силу последней формулы |
|
|
||
|
- |
\ sin [6 (s) - |
0 (p)J dp = Jsin I0' (О “ e* (p)] dp, |
|
|
где s* |
= s |
— sn_1? a* |
= a + (sn — sn.i). |
Далее, уравнение рас |
сматриваемой части липии С относительно нового параметра s* будет z*(s*) = z (а-), причем для функции z*(s*), очевидно, будет выполняться условие вида (14.14). Следовательно, ядро (14.12) в новых параметрах о*, s* примет вид
^ sin [0* (s’) — Q*(р)] dp
V ) _ , V ) p ■ (‘ 4-12')
Отсюда снова получаем оценку вида (14.15), из которой вытекает ограниченность оператора TVn-i-
Предположим теперь, что кривая С не только не имеет точек возврата, по и вообще лишена угловых точек. Тогда функция 0 (s) непрерывна в каждой точке интервала [0, 5] и, кроме того, непрерывна в своей области определения функция B*(s*). Для ядер операторов Та, Tili+1, Ti+1<i, Т0,п-1 , Тп-ь0, как следует из формул (14.12), (14.12'), имеют место оценки вида (14.15) с неп рерывными функциями 0Х, 02 (см. конец п. 1.2), следовательно, пе речисленные операторы вполне непрерывны в силу теоремы 7.1 в любом пространстве LP(C) при 1 < р < оо. Оставшиеся опера торы Ti} вполне непрерывны в этих пространствах в силу огра ниченности соответствующих ядер (см., например, [13], гл. X,
п.2.2). Основные результаты сформулируем в виде утверждения:
Те о р е м а 14.3 (см. [9, а)]). Пусть С — произвольная жорданова линия ограниченного вращения и Т — оператор Радона,
определенный формулой (14.11). Тогда для любой функции f (s)
ua Lp(0, S) при p > |
1 функция Tf (a) |
определена и конечна почти |
||
для всех а ЕЕ Ю, 5], причем |
|
|
||
1) |
Если линия С не имеет точек заострения, т. е. максималь |
|||
ный скачок функции 0 (а) меньше я, |
то оператор Радона Т оп |
|||
ределен на всем Ьр{О, S) при любом р, 1 < р < о о , и ограничен, |
||||
2) |
Если линия |
С гладка, |
т. е. |
непрерывны функции 0 (s), |
0 < |
s < S, 0*(s*), |
0 < s* < |
+ (sn — $„_!), то оператор Ра |
дона Т вполне непрерывен в пространствах Lp{О, S) при любом р,
1 < Р < оо .
14.7.В заключение заметим, что теорема 14.3 сохраняет силу
ив том несколько более общем случае, когда угловая функция
118 |
ИНТЕГРАЛЬНЫЕ ОПЕРАТОРЫ РАДОНА И КОШИ |
[ГЛ. IV |
0(5) может быть представлена в виде 0o(s) + 0(5), где 0 (s) — рассмотренная выше функция ограниченной вариации, a 0o(s) — произвольная ^-периодическая функция, удовлетворяющая на [О, S] условию Гёльдера с показателем а, 0 < а < ; 1. Действи тельно, главную роль в наших рассуждениях сыграли оценки вида (14.15). В упомянутом только что случае в правых частях этих оценок появятся дополнительные слагаемые вида К \s — а |а_1, К = const, соответствующие слагаемому 0o(s), а слагаемые такого вида порождают, как известно, вполне непрерывные интеграль ные операторы в пространствах Lp(О, S).
§15. Граничные свойства интеграла типа Коши—Стилтьеса
15.1.Спрямляемая кривая С длины S почти для всех значе ний дуги 5 Е [0, 5] имеет определенную касательную (см. п. 2.2); пусть, как обычно, 0 (s) (mod 2п) — угол ее наклона к оси х. Рас
смотрим также (комплекспозначную, вообще говоря) функцию (i (s) ограниченной вариации на сегменте [О, S], а затем и соот ветствующую ей меру dp,. Бели линия С параметрически задана функцией z (s), 0 ^ 5 ^ S, то интегралом типа Коши — Стил тьеса меры dp. вдоль С называется выражение
s
Очевидно, что для каждого z ф С этот интеграл существует и определяет аналитическую по z функцию. В случае z = z0 Е С будем понимать его в смысле главного значения по Коши. Чтобы дать точное определение, обозначим через С (z0, е) меньшую часть кривой С, крайние точки которой суть z (s0 — е), z (s0 + е), если 50 — дуга, отвечающая точке z0 Е С. Сингулярным интег ралом типа К оуш — Стилтьеса меры dp вдоль С (или главным значением в смысле Коши) будем называть предел
i )7W!b ^ 5-2>
С \чС (го., е)
если, конечно, он существует.
Предположим, в частности, что мера dp, абсолютно непрерывна
относительно меры Лебега на С, и обозначим / (s) = e_i0W |
. |
Тогда интеграл (15.1) примет вид |
|
(15.Г)
§ 15] |
СВОЙСТВА ИНТЕГРАЛА ТИПА КОШИ — СТИЛТЬЕСА |
119 |
и в этом случае называется интегралом типа Коши — Лебега с |
плотностью / вдоль кривой С. Соответствующий сингулярный ин теграл К / (z0), z„ 6Е С, определяется формулой вида (15.2) с заменой d\x да / dz (см. также начало н. 10.8).
Существует глубокая связь между граничными свойствами интеграла (15.1) и существованием сингулярного интеграла (15.2).
Соответствующее |
утверждение, |
|
устанавливающее |
эту |
связь, |
|||||||
было получено И. И. Приваловым сначала для интегралов типа |
||||||||||||
Коши — Лебега |
121, а)], |
а затем в нервом издании монографии |
||||||||||
[21, б)] и в общем случае. Оно |
известно под названием основной |
|||||||||||
леммы Привалова. |
|
15.1 |
(И. И. |
П р и в а л о в , см. [21, б)]). |
||||||||
15.2. |
|
Т е о р е м а |
||||||||||
Почти для всех s„ <= [0, |
5] |
точки z0 = |
z(s„) €= С обладают тем |
|||||||||
свойством, что для точек z, |
достаточно близких к z0, |
в представ |
||||||||||
лении интеграла (15.1) в виде |
|
|
ft |
|
|
|
||||||
|
|
|
d\L |
_ |
_1_ |
|
|
|
|
|
||
|
*4 z (s) — |
z ~~ 2ni С \ С (z0 ,|z-zo|) z (s) |
+ a(z, zо), |
(15.3) |
||||||||
|
|
|
|
|
|
— |
|
2 |
as |
|||
|
|
|
|
|
|
|
|
|
|
|||
в котором знак плюс |
или минус берется в зависимости от того, |
|||||||||||
находится ли точка z соответственно слева или справа от С, ве |
||||||||||||
личина a |
(z, |
z0) |
стремится к нулю, лишь только z стремится к |
|||||||||
точке z0 = z(s0) по любому некасательному пути. Это стремле |
||||||||||||
ние равномерно внутри |
каждого угла Аф0 раствора ф0 <С л с веР~ |
|||||||||||
шиной в |
точке |
z0, если только Дф„ находится либо слева от С, |
||||||||||
либо справа от нее и ни одна из |
его сторон не совпадает с каса |
|||||||||||
тельной в точке z0. |
|
|
Очевидно, достаточно ограничиться |
|||||||||
Д о к а з а т е л ь с т в о . |
||||||||||||
рассмотрением таких точек z (s0), |
s0 *= [0» S], в которых кривая |
|||||||||||
С имеет определенные касательные. Кроме того, в силу сказан |
||||||||||||
ного в п. 1.3 можно считать, что для рассматриваемых значений |
||||||||||||
s0 функция |
(х (s) имеет |
определенную |
конечную производную |
|||||||||
у! ($) = |
. |
Наконец, заметим, |
что без ограничения |
общно |
сти функцию р, (s) можно считать вещественной и даже монотонно возрастающей (см. п. 1.2). Положительное направление на кри вой С, как всегда, соответствует возрастанию дуги s и, в случае замкнутой С, оставляет конечную область G+ слева.
Предположим, что точка z находится слева от С, и рассмот рим сначала случай, когда p'(s0) = 0. Пусть (рис. 2) ф — угол наклона вектора (z — z0) к внутренней нормали п в точке z0, а е — расстояние от z до z0. Тогда z = z0 + ie exp {i(0 (s0) + ф)}. Из того, что в точке z0 = z (s0) существует касательная, вытекает, далее, что для любого наперед заданного т] > 0 найдется такое
120 |
|
|
ИНТЕГРАЛЬНЫЕ ОПЕРАТОРЫ РАДОНА И КОШИ |
|
[ГЛ. IV |
||||||||||||
h = h (11) > |
0, что |
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
z(s)—z (So) = |
(* — S0) [z' (s0) + |
A] = (s — s0) (ei0 <*<>>+ A), |
|||||||||||||
z (s) — z = |
z (s) —z (s0) — гее*1° foO+'W= |
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
= (s — s0) (ei0 Ы + |
A) — ieei t° |
||||||
где |
|А | < |
TJ, |
лишь только |
|s — «о I <C А. Следовательно, |
|||||||||||||
|
|
|
|
(* |
rfi*(s) |
|
|
-i0 (»)ф(д) |
|
|
|
|
|
||||
|
|
|
|
_P ______e~tU |
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
J (s—s0) (1 + m) — ieev |
|
|
|
||||||
|
|
|
|
dp{*) |
|
|
f |
|
i0 |
|
|
m = |
Ae_i0(s°). |
||||
|
-C to. e) |
z(s) — |
z(s0) ' |
|
|
so) (1 + |
m) |
1 |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Теперь величину о, |
определенную формулой (15.3), можно пред |
||||||||||||||||
ставить в виде |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
e~i9(3o) |
|
С |
________________ ieei,j,rfp(s)__________________ |
|
||||||||||||
|
2jti |
с\с to, е) |
Ks ~ |
So> (* + |
» ) — *ее*ф] (® — ®о) (1 + |
»») |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
i (s- |
|
<*И(») |
|
|
(15.4) |
|
|
|
|
|
|
|
|
|
|
|
|
so) (1 + |
m) — iee1* |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Рассмотрим |
сначала |
второе |
слагаемое. Поскольку |
z е= А^о, то |
|||||||||||||
!Ф I |
< |
Фо / 2 < |
я/2, |
поэтому |
|sin ф |< |
q < |
1, |
g |
= sin (IJ0/2). |
||||||||
Если |
rj |
удовлетворяет |
условию |
2т) < У\ — д, то в |
силу того, |
||||||||||||
что |
|т | = |
|А | < |
к), лишь только |
|s — s0 I <С А, получаем |
|||||||||||||
|(s — s0) (1 + |
тп)— 1ее^|>|(гг_5о)_ ге е ^ | -| щ | | 5 -5 0| > |
|
|||||||||||||||
|
> / ( 5 - « о ) а+ е ‘ + 2 в ( 5 - , 0) 8т ч . - 1 ^ 1 - / г г 5 = |
||||||||||||||||
- у '(« - |
|
+ * |
|
у |
it+ |
|
|
- |
^ |
¥ |
г |
^ |
> |
||||
|
|
> |
/ |
l - |
9 [y r( s - , 0)»-|-e“ - i i ^ i £ |
l ] > |
/ r |
^ | . |
(15.5) |
||||||||
Здесь |
мы |
воспользовались |
также |
тем, |
что |
|
2е |s — s0 | ^ |
||||||||||
< ( * — So)2 + |
е2,| sinф| < д и / е 2 + |
я2 — z/2 > |
е/2 при |
а > 0. |
Следовательно, второе слагаемое в правой части формулы (15.4)
допускает |
оценку |
|
|
|
|
|
I |
« - " “•> Т |
Ф М |
I ■ |
1 |
* f \ |
|
1 |
ш X |
(*-*•> ( И - « О - !* » |
|
|
|
|
|
|
|
_ |
1 |
\1 (so 4- е) — р (so — р.) ^ |
|
|
|
|
|
Я У \ — q |
е |