Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги / Нерегулярные граничные задачи на плоскости

..pdf
Скачиваний:
7
Добавлен:
12.11.2023
Размер:
12.9 Mб
Скачать

§ 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 (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?/)±

на С, она

не­

прерывна на замкнутых областях +

С (см.,

например,

[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

где

|А | <

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

е

Соседние файлы в папке книги