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

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

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

I 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)

 

 

Ф )

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 ),

 

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, возьмем

интеграл Шварца

 

 

^

фW= - к [ t (*)

ds= u б) + i u

(16Л6)

о

 

 

где z = reie, a / (а) — вещественная непрерывная по Гёльдеру 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. Повторяя рассужце*

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