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

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

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

§ 21J

 

СИНГУЛЯРНЫЕ ИНТЕГРАЛЬНЫЕ УРАВНЕНИЯ

261

б) уравнение

(21.1) разрешимо в

(С) тогда и только тогда,

когда его правая часть / (t) принадлезюит 1 $ (С) и удовлетворяет

условиям (21.21),

в которых {% } — полная система решений со­

юзного однородного

уравнения

К(t) = 0 из сопряокепного про­

странства

4 ° (О,

ч - р1(р -1 ).

 

 

 

По

определению,

число

 

 

 

 

 

 

 

 

 

хр (К) = а р (К) -

рр (К)

 

(21.23)

навивается

индексом оператора (21.1) в пространстве

L(p (С).

Для его вычислепия воспользуемся формулой (21.22), согласпо

которой он зависит только от К0, а также леммами 21.1, 21.2,

индексу 7мр \JLs)• oiQ же число и услопиял теоремы

можн

считать

по

формуле (20.89). Таким образом, имеет место

Т е о р е м а

21.2. Пусть

выполнены предположения 1—6 из

п. 21.1,

а матрица D (t), построенная по формуле (21.6),

удовлет­

воряет

условиям

теоремы 20.3.

Тогда

индекс оператора (21.1)

вычисляется по формуле

 

 

 

 

 

 

 

 

 

 

{К) =

[arg det ад'зИс.

 

(21.24)

21.5.

Несколько более полные результаты можно получить в

том случае, когда в (21.1) будем иметь не систему, а одно уравне­

ние (п = 1). Для

получения

этих результатов

воспользуемся,

опираясь па леммы 21.1 и 21.2, результатами из § 19 применитель­

но к задаче (21.5). При п = 1

матрица (21.6) приводится к ком-

плекспозначной фупкцни па С, модуль которой в условиях 5 и 6

из п. 21.1

удовлетворяет предположению (19.3). Допустим затем,

что аргумент Q этой функции допускает представление (19.6),

отдельные

слагаемые

которого

удовлетворяют

либо условиям

(и) теоремы 19.2, либо условиям

теоремы 19.3.

Напомним ради

удобства эти условия. Функция Q0 (s) непрерывна па сегменте

.[0, 51, где S — длина кривой С. В условиях теоремы 19.2 послед­ нее слагаемое й 2 (s) тождественно равно пулю, тогда как (s) обозначает произвольную ограниченной вариации функцию скач­ ков, скачки которой по абсолютному значению не превосходят числа 2л. Обозначая через 0полный скачок аргумента й в точке отсчета длипы дуги, определим целое число х0 (D) по формуле

(19.50) и присоединим возникающий здесь скачок hi к множеству

{hi} положительных скачков из числа hr. Обозначим через {/£} множество абсолютных значений отрицательных скачков функ­

ции й2 (s). Считая множества {/г*}, {h~r} занумерованными в по­ рядке невозрастания значений /гГ—, определим затем четыре целых

числа g (D), % (D), х3 (D), х4 (D) соотношениями (19.59), (19.60).

262 КРАЕВЫЕ ЗАДАЧИ [ГЛ. V

Тогда число к (D), построенное по формуле (19.68), называется индексом задачи (21.5) в классах Ер (G±). В обозначениях пастоя-

(р)

щего параграфа имеем хр (D) = х (D). В утверждении (ii) теоре­ мы 19.2 предполагается, что имеют место условия (19.64); эти ус­ ловия исключают знаки равенств в соотношениях (19.59), (19.60), т. е. исключают «неустойчивый» случай. В условиях теоремы 19.3

предполагается, что

(s) =

0, fi2 (s) — произвольная веществен­

ная измеримая функция,

удовлетворяющая условиям (19.17),

а индекс х (D) задачи определяется по формуле (19.75) в предпо­ ложении, что правая часть этой формулы есть целое число. В этом случае хр (D) = х (D). Таким образом, приходим к утверждению:

Ле м м а 21.3. Пусть выполнены предположения 1—6 из п. 21.1

ив случае одного уравнения (21.1) {п = 1) аргумент Q функции (21.6) удовлетворяет условиям утверждения (ii) теоремы 19.2 или условиям теоремы 19.3 Тогда число линейно-независимых (над по­ лем комплексных чисел) решений однородного уравнения (21.7)

(при / (г) = 0) в пространстве Lp (С),

1 < р <

оо, вычисляется

по формуле

 

 

а р (К°) = max {0,

хр (D)}.

(21.25)

21.6. Сохраняя все предположения § 20, перейдем к рассмотре­ нию неоднородного уравнения (21.7) в пространстве Lp (С). Со­ поставляя лемму 21.1 и теоремы 19.4,19.5, приходим к заключе­ нию, что в случае хр (D) > 0 уравнение (21.7) разрешимо при любой правой части / (t) из Lp (С). Если же хр (D) < 0, то неод­ нородное уравнение (21.7) в пространстве Lp (С) разрешимо не при любой правой части / (t). Чтобы выписать соответствующие условия, обозначим через Z (z) каноническое решение однородной задачи (21.5) в классах Ер(G±). В условиях теоремы 19^2 это решение строится по формулам (19.10), (19.61), в условиях же теоремы 19.3 — по формулам (19.10), (19.73). Нетрудно убедить­ ся, что в сделанных предположениях, в частности при выполнении

условий (19.64), каноническое решение 7, (z) однородной задачи

(21.19)

(при

п =

1, h0(t) =

0) в

сопряженных классах

Еq (G±),

q =

р/(р — 1),

и

соответствующий

индекс хч (D-1) выражаются

по

формулам

 

 

 

 

 

 

Z ( z ) = Z - i ( 2 ),

х , ( / ) - 1) = - х р ф ), q = pl(p — 1).

(21.26)

Отсюда

следует, что функции

 

 

 

 

'I’oj ^ “

z\z) *

/ = 0 ,1 ,2 ,.... хч (D-1) — 1,

 

образуют полную систему линейно-независимых решений од­ нородной задачи (21.19) в классе исчезающих на бесконечности

$ 21] СИНГУЛЯРНЫЕ ИНТЕГРАЛЬНЫЕ УРАВНЕНИЯ 263

функций из Eq (С), q = р/(р — 1). Пользуясь первой из формул (21.18) (при п = 1, h == 0) и леммой 21.2, получаем полную си­ стему линейно-независимых решений однородного уравнения

(21.14)

в Lq (C):

 

 

i|>i(0=

z+ (t) [я (t) -j- ь (<)J ’

/ =

0 ,1 ,2 ,..., — Xp(D) — 1. (21.27)

Вспоминая теперь условия

(19.84)

(при к = —1), необходимые и

достаточные для разрешимости задачи (21.5), и пользуясь обозна­ чениями (21.10) и (21.27), получаем упомянутые выше условия на / (t):

jj

= 0,

/ = 0 ,1 ,2 ........ - nP(D )- 1. (21.28)

с

 

 

Полученные

результаты сформулируем в виде утверждения:

Л е м м а

21.4. Предположим, что удовлетворяются все усло­

вия леммы 21.3. Тогда а) число линейно-независимых (над полем комплексных чисел)

решений

союзного однородного

уравнения (21.14)

(при п = 1,

h = 0) в

сопряженном

пространстве

Lq (С),

q = р/(р — 1),

вычисляется по формуле

 

 

 

 

 

Рр (Д)

= max

{0, - х

р (7))};

(21.29)

б) неоднородное уравнение (21.7) (при п = 1) с правой частью из Lp (С) разрешимо в этом пространстве тогда и только тогда, когда выполняются условия (21.28), где {ф/ (£)} — полная си­ стема линейно-независимых (над полем комплексных чисел) реше­ ний союзного однородного уравнения (21.14) (при п = 1, h = 0)

всопряженном пространстве Lq (С), q = р/(р — 1).

21.7. Два последних утверждения составляют полную теорию

характеристического уравнения (21.7) в Lv (С) (а также, как легко видеть, и союзного к нему уравнения (21.14) в сопряженном пространстве Lq (С), q = pl(p — 1)). В частпости, опи утвержда­ ют, что в сделанных предположениях оператор (21.2) является обобщенным оператором Нётера в пространстве Lp (С), а его

индекс вычисляется

по

формуле

 

Хр ( П

=

«р (D) - Рр (D) = Хр (D),

(21.30)

как это следует из формул (21.25) и (21.29). Согласно теореме 5.4, в тех же предположениях аналогичными свойствами обладает и общий сингулярный интегральный оператор (21.1) (при п = 1) в пространстве Lp (С). Таким образом, имеет место

Т е о р е м а 21.3. Пусть уравнение (21.1) (при п — 1) удов­ летворяет условиям 1—6 из п. 21.1, а аргумент Q функции (21.6)

264

КРАЕВЫЕ ЗАДАЧИ

 

 

[ГЛ. V

 

 

 

 

 

 

 

обладает есемп свойствами утверждения

(и)

теоремы 19.2

или

теоремы 19.3. Тогда оператор (21.1) является обобщенным

опе­

ратором Нетера в пространстве Ьр (С),

1 < р <С

Более под­

робно, справедливы утверждения:

а их разность зависит только

а) числа ар (К), |Ьр (К) конечны,

от характеристической части

(21.2) и равна

 

 

 

 

хР (Я)

=

хР (0 ),'

 

 

(21.31)

где Хр (D) строится по формулам из § 19 {см. начало п. 21.5);

б) для разрешимости уравнения (21.1)

в пространстве Lp (С)

необходимо и достаточно, чтобы / (t) принадлежала этому

же

пространству и была ортогональной в смысле условий (21.28)

всем решениям однородного союзного уравнения К'\|)

(I) = 0

из

сопряженного пространства Lg (С), q = р/(р — 1).

 

 

21.8.

В заключение сделаем несколько

замечаний общего ха­

рактера, дополняющих сказанное в начале § 5. Основное отличив

нётеровых интегральных уравнений от

фредгольмовых состоит

в появлении ненулевого индекса. В классе уравнений вида (21.1)

главной

причиной, вызывающей

появление

н е н у л е в о г о

индекса, является наличие пнтегральпого оператора,

понимаемо­

го в смысле главного значения по Коши, т. е. условие b (t) ф 0. В самом деле, если матрица b (t) нулевая, то условия (21.4) озна­ чают, что матрица a (t) обратима в классе измеримых ограничен­ ных матриц, н тогда (21.1) эквивалентно системе уравнений с впол­ не непрерывным оператором а~гТ, имеющей нулевой индекс. Впрочем, аналогичный случай возникает и тогда, когда о (/) = 0, |det Ъ (t) |> m > 0, поэтому ненулевой индекс возможен толь­ ко в том смысле, когда слева в (21.1) присутствуют оба первых слагаемых и притом с непостоянными матрицами а (t), b (t).

Однако пснулевой индекс у интегральных уравнений может возникнуть и вследствие причин иного характера — лпбо из-за наличия у ядра неподвижных особенностей достаточно высокого порядка, либо из-за бескопечпой лебеговой меры того множества, по которому ведется иптегрироваппе. Простейшим классом урав-

пеппй подобного типа является уравпепие Винера

— Хопфа,

в котором интегрирование ведется вдоль полуоси s >

0. Как раз

на примере этого уравнения был создан метод Випера Хопфа, нашедший многочисленные приложения в ряде областей матема­ тической физики.

Теория таких уравнений и их непосредственных обобщений, когда интегрирование распространяется иа всю бесконечную ось, к настоящему времени достигла большой степени полноты. В со­ здании этой теории важную роль сыграли исследования совет­ ских математиков; наиболее глубокие обобщения в этом направ­ лении получены в исследованиях М. Г. Крейпа и И. Ц. Гохберга (см. [14, а), в)]). Уравнениям Випера — Хопфа и их обобщениям,

{ 2iJ СИНГУЛЯРНЫЕ ИНТЕГРАЛЬНЫЕ УРАВНЕНИЯ 265

в частности исследованию проекционных методов их решения, посвящена книга [16].

Ряд соображений, главным образом общетеоретического ха­ рактера, стимулировал изучение сингулярных интегральных уравнений с ядром Коши во все более общих предположениях на коэффициенты, класс функций и кривые, по которым ведется ин­ тегрирование. Наиболее существенные работы отмечены в п. 19.15. Дополнительно укажем на статьи [17,а), п)], посвященные изу­ чению граничных задач для многих неизвестных фупкций в усло­ виях, принятых в § 20. Полученные в этих статьях результаты позволили доказать первые две теоремы настоящего параграфа.

Мы уже отмечали теспуго связь между теорией сингулярных интегральных уравнений и задачей линейного сопряжения в классе аналитических фупкций. Эквивалентность теорий в случае характеристического уравнения (21.7) и краевой задачи (21.5) впервые установлена в работе Т. Карлемаиа (см. [22]) в 1922 г. Метод факторизации в теории уравнений Винера — Хопфа пред­ ставляет собой применение той же идеи в несколько иной ситуации. Плодотворный метод Карлемана был затем с успехом применен к более общим случаям в исследованиях И. И. Векуа, С. Г. Мпхлипа, Н. Г1. Векуа и других (см. [29]). Применительно к случаю многих неизвестных наиболее полная теория уравнений вида (21.1), а также граничной задачи (21.5) с кусочно-непрерывными коэффи­ циентами содержится в монографии Н. П. Векуа «Системы син­ гулярных интегральных уравнений», где, так же как и в первом издании [29], теория системы сингулярных уравнений строится на базе предварительного анализа краевой задачи (21.5). В дока­ зательстве результатов настоящего параграфа мы следовали этой же классической схеме. Во втором и третьем изданиях книги [29] порядок изложения противоположный: сначала методом регу­ ляризации устанавливаются. основные теоремы Ф. Нетера (без формулы для индекса задачи), затем приводится полный анализ граничной задачи и на его оспове выводится формула для ипдекса. Б. В. Боярским предложен прямой метод получения этой форму­ лы, оспованной па теоретико-функциональных соображениях из § 5 и гомотоппи комплекспозначных непрерывных невырождающихся матриц-фупкций (см. [29], третье издание, приложение VI), Аналогичные результаты независимо получены в статье [28, г)].

Каждый успех в изучении простейшей граничной задачи (21.5) (или родственных ей задач, см. § 22) в классе голоморфных функций через посредство сингулярных интегральных уравнений приводит к соответствующему обобщению в теории граничных задач и для более общих дифференциальных уравнений эллипти­ ческого типа с двумя всщественпыми аргументами. С этой целью необходимо использовать важные результаты и методы И. Н. Ве­ куа, изложенные, в частности, в монографиях Г5, б), г)].

10 И. И. Далилюк

КРАЕВЫЕ ЗАДАЧИ

ITЛ. V

§ 22. Упражнения и дополнительные замечания к гл. V

22.1.Данное в п. 18.9 определение внутреннего (и ппетнего) краевого

потока регулярной впутри гармонической фупкцпп является обобщенней определения, которого придерживался Племель в [34, в)) (по этому поводу см. [36], гл. III, п. 2). Такое обобщение корректно, поскольку две функции, имеющие один и тот же краевой поток, как установлено в п. 18.9, отличаются только на аддитивную постоянную. Наперед заданная п регулярная во внут­ ренних точках гармоническая функция и (х, у) обладает краевым потоком на границе С области б + тогда и только тогда, когда сопряжепнал к и (х, у) гармоническая функция v (х, у) обладает двумя свойствами: а) опа ограничена в области <?+; б) ее граничные зпачения па С почти всюду совпадают со зна­

чениями некоторой

непрерывной справа фупкцип ограничеппой вариации.

Чтобы убедиться

в

этом, достаточно сопоставить данное памп определение

с построением из

п. 18.6.

Для граничлых кривых С с ограниченным вращением Радон дал другое определение краевого потока (см. [36], гл. III, п. 2). Чтобы сформулировать

это определение, рассмотрим последовательность

(Сп) замкнутых жордапо-

вых кривых, расположенных внутри G+. Пусть

о „ — длина дуги па

Сп,

a z = zn (ап) — параметрическое задание Сп.

Последовательность

{Сп}

сходится с ограниченным вращением к граничной кривой С, если имеют место

два условия: 1) для каждого е > 0 существует такое N, что при п >

N имеет

место взаимно однозначное и непрерывное соответствие оп = ап (s)

(где s —

длина дуги на С),

между точками г (s) и (ап) кривых Сп и С, при котором

I zn (сгп) — z (s) |<

е; 2) последовательность полных вращепий {J |rf0h |} огра­

ничена. Докажите, что для любой кривой С с ограниченным вращением су­ ществуют такие последовательности, причем каждая кривая Сп при этом об­ ладает свойством гладкости.

Рассмотрим непрерывную функцию <p (s) па С и обозначим через <р (х, у)

ее непрерывное продолжение на множество G+ + С\ через vn обозначим внут­ реннюю нормаль к Сп и рассмотрим интегральный поток функции ф отно­ сительно регулярного внутри G+ потенциала v вдоль Сп:

Согласно определению Радона, гармоническая регулярная внутри G+ функ­ ция v (х, у) имеет па С внутренний краевой поток, если для каждой последо­ вательности гладких кривых {Сп}, сходящейся с ограниченным вращепием к С, и каждой непрерывной на G+ + С функции ф (х, у) последовательность (22.1) сходится к одному и тому же конечному пределу. Этот продел lv ф

называется внутренним интегральным потоком функции ф (х, у)относительно v (х, у) вдоль граничной кривой С. Покажите, что lv ф представляет линей­ ный функционал, примененный к предельным значениям ф ($) фупкцпп ф (х, у) на С. Согласно упомянутой в п. 18.4 теореме Ф. Рисса, фупкциопал l

можно представить по формуле (18.3) с однозначно определенной мерой ц*

из пространства чса (С). Так возникающую меру

Радон называет внут­

ренним

краевым потоком

потенциала v вдоль С. Апалогично определяется

внешний краевой поток

потенциала v вдоль С. Докажите следующую т е 0-

р е м у

е д и н cjr в е н н о с т и: если потенциал и имеет пулевой внутрен­

ний или внешний поток на С, то v сводится к тождествепной постоянной ([36], гл. III, п. 3). Покажите также, что потенциал простого слоя (18.22) для любой ц GErca (С) имеет на С и внутренний, и внешний краевые потоки

§ 22]

УПРАЖНЕНИЯ И ДОПОЛНИТЕЛЬНЫЕ ЗАМЕЧАНИЯ

267

р * в смысле Радона и справедливы формулы р ±

р - f Г*р, где

Т* —

описанный в теореме 18.3 сопряженный к Т оператор (см. [36], гл. III, п. 4). Для сопоставления с указанными в копцо п. 18.10 формулами следует учесть, что и § 18 рассматривалась внешняя нормаль к С, а не внутренняя, как в на­ стоящем пупктс.

22.2.Как было показано в н. 18.10, потенциал простого слоя (18.22)

непрерывен

(даже в смысле Гёльдсра) па множестве

+ С, если мера р

абсолютно

непрерывна и ее производная р ' = g (s)

принадлежит Lq (С),

q > 1. Интересно было бы выяспнть возможно более широкие условия па меру р 6Е rca (С), ирн которых потенциал (18.22) сохраняет указанные свойства непрерывности. В связи с этим приведем дпа утверждения Радона (см. [36], гл. III, н. 3) о свойствах потенциала (18.22) вдолькривойограниченного вра­ щения. Первое из них состоит в том, что если в некоторой точке z (s) С, отличной от точки заострения, интеграл (18.22) имеет конечное предельное

значение, то р ({z (s)}) = 0. Второе свойство гласит: в каждой точке z (s) е

С,

отличной от точки заострения, из существования предельного значения

и+

нотепциала (18.22) изнутри области G+ вытекает существование равного ему

предельного значепня извно и- и наоборот. В менее полной формулировке последнее утверждение имсот место и для произвольной спрямляемой кри­ вой С. В самом деле, из теоремы 15.1, как было отмечепо в п. 17.14, вытекает, что фупкцпя Ф (z), определенная второй из формул (18.23), обладает свойст­ вом (17.20). Пользуясь вещественностью функции р (s), отсюда легко полу­

чить, что для иронзвольной спрямляемой кривой С почти во всех ее точках

из существования предельного значения и+ (и~) изнутри G+ (<?“ )

вытекает

существование нродельного значепня и~ (ц+) изнутри G~ (С+) и

равенство

и+ = и~.

 

Предположим, что для кривой С без точек заострения потенциал (18.22)

в каждой точке С имеют либо внутренние, либо внешние предельные значе­ ния, т. с. функция (18.22) непрерывно продолжила на С либо изнутри, либо извне. Как извсстпо (см., папример, [29], гл. I, § 9, п. 2), эти предельные зна­ чения образуют тогда псирерыппую па С функцию. Из сказанного ранее вы­ текает, что потенциал (18.22) в каждой точке С имеет предельные значения и из противоположной стороны, н эти предельные значения тоже образуют непрерывную на С функцию.

Рассмотрим вместе с Радопом класс мер р из пространства rca (С), для которых потенциал (18.22) непрерывно продолжим на С с какой-либо сторо­ ны. Обозначим этот класс символом Сц. Через L обозначим пре­

дельные значения потенциала (18.22) на граничной кривой С. Докажите следующие утверждения Радона ([36], гл. 111, п. 4): сопряженный оператор Т*, описанный в теореме 18.3, отображает меры из класса Си в элементы

этого же класса и имеет место формула LT^ = TL\i, р е Сц.

Примеры элементов класса Сц указаны в начале настоящего пункта.

Следуя Радону ([36], гл. III, пн. 2, 5), убедитесь, что все решения однородного сопряженного уравнения (18.20) (прп у = 0) из пространства rca (С) принад­ лежат классу Сц. Таким образом, каково бы ни было решение р указанного

однородного уравнения, потенциал простого слоя (18.22) непрерывно про­ должается па граничную кривую С и, следовательно, представляет непре­ рывную функцию на всей коночной плоскости.

Основные результаты Радона в теории граничных задач резюмированы нм в следующем утверждении ([36], гл. III, н. 6): для внутренней и внешней областей жордановой кривой с ограниченным вращением без точек заострения применимы те же методы решения краевых задач Дирихле и Неймана част­ ности, неймановские разложения в ряд), которые можно вывести из теории интегральных уравнений для случая достаточно гладкой границы. Убедитесь, что нсо собственные числа однородного уравнения (18.2) (при фх = 0) веще-

10*

268

КРАЕВЫЕ ЗАДАЧИ

 

 

 

 

[ГЛ. V

ственны, по

абсолютной вел1пшне

но меньше единицы; что числу Я =

1 от­

вечает в точности одно лпнейно-пезавпспмое решение однородного уравнения

(18.2); что число Я = —1 пе является собственным для

оператора

Т в про­

странстве непрерывных функций ([36], гл.

III, пп. 2,

6). Все

результаты

Радона, так же как и утверждения из § 18,

естественно

переносятся па тот

случай, когда граница области состоит из нескольких кривых ограниченного

вращения без точек заострения.

 

 

 

п. 17.3, рассмотрим оператор с яд­

22.3.

Возвращаясь к

сказанному в

ром (17.2)

 

 

 

 

 

 

 

 

 

 

G u{x)= ^

(* , 3/. v (х), v (у),

 

 

i e C l

 

(22-2)

Приведем формулу Лопатинского

(см. [23, б)]) для индекса оператора I — G

в пространстве L (ре, С) в предположении, что С состоит пз конечного числа

дуг Сх, С........... Сп, удовлетворяющих условию Ляпунова, причем в точках

вк, где встречаются смежные

дуги, углы между внутренними нормалями

по модулю меньше я (отсутствуют точки заострения). Пусть <ок— внутренний

угол при вершине ак, Хц и

— единичные

векторы

соответственно

каса­

тельной и нормали к дуге Ск в точке ак; пусть, кроме того, в обозначениях

работы [23,

б)]

 

 

 

 

 

 

 

 

 

 

(е </а cos (ок — et/2) хк— e-1/2 sin a>kvk

 

 

 

 

 

У

е*- f e-( — 2 cos сок

 

 

 

 

t 'S & w -

J

 

 

 

 

 

 

 

 

 

 

pm

 

 

 

 

— cos 0)kvkJ

(— 0 ) * ,

 

 

 

г G (ак, ак, — sin ©fcrfc

 

 

 

 

o/ e 4 e " ‘ --22 cos a

 

 

 

 

 

 

 

 

 

 

 

Убедитесь в том, что функция

 

 

 

 

— c°3(0kvk,v k, — £k (f)) dt.

 

 

 

 

 

 

 

 

 

 

\ (V = det { /

-

u № tk(Я)

(Я)}

 

 

 

аналитична по Я при — 1/2 <

1/2 — e = Im Я < 1/2,

а при

Я ->

±

oo - f

+ 1(1/2 — e) стремится к 1. Следовательно, число

е можно выбрать так, чтобы

на прямой Im Я = е ни одна ив функций Ац (Я) не

обращалась в нуль. Тогда

упомянутый выше индекс х конечен и выражается по формуле

X ^ - J L - 2

5 dx агК Дк (Я).

(22.3)

Н—1 —оое

 

Для случая, скажем, внутренней задачи Дирихле в классе гармонических функций все приведенные выражения представляются через злементарные функции; в частности, если е < 1 и разность 1 — е достаточно мала, то для радиуса Фредгольма получается формула min (я/1 я — соп |},совпадающая с

той, которую получил Радон (см. [36, а)]) в пространстве непрерывных функ­ ций вдоль кривой ограниченного вращения (см. п. 17.2).

$ 221 УПРАЖНЕНИЯ И ДОПОЛНИТЕЛЬНЫЕ ЗАМЕЧАНИЯ

22.4. Как отмечалось в п. 17.3, результаты статьи [23, б)] были обоб­ щены Б. И. Парасюком на случай произвольной кривой Радона без точек заострения. Было обнаружено, что на индекс оператора (22.2) в простран­ ствах L (ре, С) с указанным в п. 17.3 весом ре влияют только угловые точки

с достаточно большими внутренними углами coJ;. Формула (22.3) принимает вид

причем только конечное число (заранее неизвестное) слагаемых под знаком суммы отлично от нуля. По формуле (22.4) был подсчитан индекс оператора, возникающего при исследовании статической задачи однородного плоского тела при заданных смещениях на границе. В частности, показано, что радиус Фредгольма этого оператора равен числу

я

 

0<o)fc< 2*

 

(22.5)

 

(i>k + X sin (йкI *

(где х = (А, +

р)/ (А, +

Зр), А, и

р — постоянные

Ляме), следовательно, он

всегда больше

единицы

(полные доказательства

всех приведенных в этом

пункте утверждений имеются в работе [33, б)]).

22.5. Функции (X), стоящие иод знаком интеграла в формулах (22.3), (22.4), нс зависят от параметра е, а так как суммы в этих формулах конечны, то индекс х не меняется при малых изменениях в в окрестности некоторого фиксированного значения, для которого справедливы формулы (22.3), (22.4).

При больших вариациях параметра е существенно изменяется запас элемен­ тов функционального пространства!- (ре, С), в котором исследуется оператор

I G, вследствие чего его индекс может скачкообразно измениться. На­ сколько известно, поведение индекса х = х (е) не в окрестности фиксирован­ ных «регулярных» значений, а глобально па всем интервале 0 < в •< 1 не исследовано, хотя и представляет известный интерес.

Затронутый в двух предыдущих пунктах круг вопросов об индексе был исследован В. 10. Шелеповым (см. [42, б), в)] ) для того случая, когда опе­ ратор (22.2) рассматривается не в пространствах L (р£, С), а в стандартных

функциональных пространствах (С), 1 < j » < o o , элементами которых являются вектор-функции с т комнопентамп. Прежде всего, было показано (см. [18, а)]), что операторе определен и ограничен (непрерывен) в (С),

1 < р < оо, какова бы ни была жорданова кривая С с ограниченным вра­ щением и без точек заострения; если С к тому же не имеет угловых точек, то оператор G даже вполне непрерывен в том же пространстве. Затем методом

Я. Б. Лопатппского был исследован индекс оператора I — G в L ^(C ) (см.

[42,6)]). Предположим,

что

число

р, 1 < р < о о , таково, что функции

(z — it2) (см. п. 22.3),

k =

1, 2,.

. . , не обращаются в нуль на прямой

Im z = Ир. Тогда оператор I G является обобщенным оператором Нётсра (см. п. 5.1), в частности, его индекс хр конечен в пространстве (С) для лю­

бой кривой Радона С без точек заострения. Индекс может быть найден по формуле

°°«о-Н/р

270 КРАЕВЫЕ ЗАДАЧИ [ГЛ. У

в этой сумме всегда лишь конечное число (но известное заранее) слагаемых отлично от нуля. Множество тех р, для которых указанные условия не вы­ полняются, не более чем счетно. Для внутренней задачи Дирихле в классе гармонических функций правая часть формулы (22.6) может быть вычислена,

а

шюжество «исключительных» значений р точнее описано: если р ф 1

+

|я — од |/я, то соответствующий оператор является обобщенным опера­

тором Нетера в Lp (С), а его индекс равен

Я-(- IЯ— |>

(22.7)

— кривая Радона без точек заострения). Кроме того, второе дефектное число рр равно нулю, следовательно, ар = хр дает число линейно-независи­ мых (над полем вещественных чисел) решений соответствующего однородного уравнения. В частности, если С имеет конечное число угловых точек, то при

1 <

р < 1 + min (| я — cofcl/я) число ар равно количеству этих точек. Если

же

число угловых точек на С бесконечно, то ар -> оо при р -> 1. Радиус

Фредгольма для оператора, отвечающего внутренней задаче Дирихле, в

пространстве Lv (С), 1 < р < оо,

равен числу

 

 

я

 

к^-1

sin

(2 2 .8)

<j>i: |

 

sin

 

 

р

 

При р оо этот радиус стремится к числу miu (я/|я — соп |[), совпадающему

1

с радиусом Фредгольма, вычисленному Радоном в классе непрерывных функций вдоль кривой ограниченного вращения без точек заострения (см. п. 17.2). Показано также, что к интегральным уравнениям Мусхелишвили, ин­ тегральным уравнениям Шермана — Лаурпчелла и интегральному уравне­ нию Фредгольма, возникающим в плоской теории упругости, применимы теоремы Фредгольма даже в том случае, когда эти уравнения рассматри­ ваются в пространствах Lp (С), 2 < р < оо, где С — кривая Радопа без то­ чек заострения. Подробные доказательства изложенных в настоящем пункте результатов содержатся в работе [42, в)].

26.6. В дополнение к сказанному в пн. 4.10, 17.6 приведем, следуя ра­ боте [4, а)], результаты, касающиеся потенциала простого слоя и разреши­ мости задач Дирихле и Неймана в пространственном случае. Пусть а>р (А) —

телесный угол, определенный в п. 4.10 (см. формулы (4.14),

(4.14')). Пред­

положим, что абсолютная вариация функции множеств сор (A), A CZ F, ог­

раничена постоянной, не зависящей от точки

наблюдения

Р (см. формулу

(4.11')):

var (Dp (/1) = М <

+ оо

(22.9)

sup

P e E * \F

A c F

 

 

(Ea — трехмерное евклидово пространство). В

этом предположении потен­

циал двойного слоя (17.6) непрерывно продолжим па F изнутри и извне и

имеют место формулы скачка (17.7). Условие (22.9) также н е о б х о д и м о для того, чтобы интеграл (17.6) был продолжим па F изнутри и извне для лю­ бой непрерывной на F плотности /.

Пусть Ф {А) — счетно-аддитивная функция

множеств на F.

Интеграл

1 С d<b(Q)

P & F ,

(22. 10)

У<г>{Р) = ) г

rPQ

 

 

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