Вы находитесь на странице: 1из 61

Math-Net.

Ru
All Russian mathematical portal

M. I. Vishik, On general boundary problems


for elliptic differential equations, Tr. Mosk. Mat. Obs., 1952,
Volume 1, 187–246

Use of the all-Russian mathematical portal Math-Net.Ru implies that you have read
and agreed to these terms of use
http://www.mathnet.ru/eng/agreement

Download details:
IP: 109.92.56.39
December 27, 2018, 01:39:25
195 2 ТРУДЫ МОСКОВСКОГО МАТЕМАТИЧЕСКОГО ОБЩЕСТВА Том 1

ОБ ОБЩИХ КРАЕВЫХ ЗАДАЧАХ


Д Л Я ЭЛЛИПТИЧЕСКИХ ДИФФЕРЕНЦИАЛЬНЫХ
УРАВНЕНИЙ

31. И* JBumuK

(Доложено на заседании Общества 15.11.1949 г.)

ОГЛАВЛЕНИЕ

В ведение.., • 187
§ 1. Расширения операторов . 191
§2. Эллиптические дифференциальные операторы 200
§ 3. Вводные замечания . 205
§4. Основные граничные операторы . 207
| 5. Общий вид однородных краевых условий. Приведение любых крае­
вых условий к каноническому виду . . . . . 217
§ 6. Общий вид самосопряженных краевых условий . . 226
§ 7. Оператор Р для эллиптических дифференциальных уравнений второго
порядка . 229
§ 8. Краевые задачи с дифференциальными операторами на границе области
для эллиптических дифференциальных уравнений 237
§ 9. Самосопряженные краевые задачи с дифференциальными операторами
на границе области 243
Литература . • . . • , • 245

Введение
В настоящей работе рассматриваются краевые задачи для неодно­
родных линейных эллиптических дифференциальных уравнений при одно­
1
родных краевых условиях ).
Наиболее изученными среди таких задач для уравнения

i,fc=l i=l

х
) Краевым задачам с неоднородными краевыми условиями автор предполагает
посвятить отдельную статью. Основные результаты, сюда относящиеся, см. ДАН
€ССР, 8 2 , № 2 (1952), 181—184.
1.88 м . и. вишик

являются: 1) однородная первая краевая задача: / | == О (Г — граница г

области В, в которой рассматривается задача), 2 ) однородная вторая


Of а c o s w Х и 3
краевая задача: ^ - г = 0, где jj^- = ^ &-&Г (> Щ ) однород-

ная смешанная краевая задача: а -~ | + 6/ |^ = 0 . В двумерном случае


г

с точки зрения разрешимости изучалась еще так называемая задача


Римана (см. например, [1]), состоящая в решении уравнения (1) при крае­
вом условии вида
л +д =0 (2
4- «й1 '
где R , R — дифференциальные операторы, заданные на границе Г об­
x 2
>
ласти D.
^ ^ Ц ^ I В случае неположительности коэффициента с(х)(х(: D), как известно,
u
||^i^ первая однородная краевая задача для уравнения (1) обладает следую-
с
щими основными с точки зрения разрешимое™ свойствами: а) она имеет
решение, и притом единственное, для любой правой части h (х), б) при
малых изменениях h (х) мало изменяется соответствующее решение / (х).
Очевидно, наличие этих свойств в значительной мере обусловливает
правильность постановки этой задачи. Естественно возникает вопрос
нахождении общего вида однородных краевых задач, которые обладают
свойствами а) и б), и второй вопрос — как по заданной краевой задаче с
краевым условием, например вида ( 2 ) , можно установить, обладает ли она
свойствами а) и б), или нет. Этим вопросам посвящена настоящая статья.
Заметим, что если, например, умножить обе части краевого условия
( 2 ) на отличную от нуля функцию, то получится новое краевое условие,,
внешне отличное от условия ( 2 ) , но краевые задачи с этими краевыми
условиями эквивалентны в том смысле, что одинаковым правым частям
h (х) соответствуют одинаковые решения / (х). В связи с этим мы ограни­
чиваемся при решении первого вопроса лишь нахождением общего вида
определенных представителей классов эквивалентных в этом смысле
^краевых задач (мы их называем краевыми задачами в каноническом виде).
Предложенный нами способ решения второго вопроса мы применяем:
к решению задачи Римана в многомерном случае при некоторых ограни­
чениях на операторы R, причем, кроме дифференциальных операторов,»
мы включаем в краевые условия еще ограниченные операторы (напри­
мер, интегральные).
—° Кроме того, мы находим общий вид краевых задач, обладающих с
точки зрения разрешимости такими же свойствами, как, например, одно­
родная вторая краевая задача для уравнения Д / = h или как задача
Римана для некоторых видов операторов R , R . Приводится единый
x 2

метод, которым можно решить вопрос, к какому типу в смысле разре­


шимости принадлежит наперед заданная краевая задача.
В'случае самосопряженного дифференциального уравнения (1), кроме
перечисленных выше, имеют большое значение самосопряженные крае­
вые задачи (для этих задач, как известно, хорошо изучена соответствую­
щая задача о собственных значениях). Мы находим общий вид само-
^ сопряженных краевых задач PI указываем способ, которым можно выяс-
/ нить, является ли наперед заданная задача самосопряженной (в смысле
^ т е о р и и операторов), или нет.
Дифференциальный оператор L мы рассматриваем как некоторое
линейное преобразование в пространстве Гильберта Х (D) функций, сум- 2

мируемых в квадрате по области D. Очевидно, это преобразование нельзя


ОБ ОБЩИХ КРАЕВЫХ ЗАДАЧАХ 18:9

рассматривать на всех функциях /(x)^J6 (D) а только на тех из них,


2 1

которые являются достаточно гладкими. Максимальную совокупность


всех функций / (ж), на которых можно естественно определить значение
Lf (х) (в классическом или обобщенном смысле), мы называем областью
определения оператора L и обозначаем через Q . Однородной краевой L

задаче, состоящей в решении уравнения ( 1 ) при краевом условии ( 2 )


(в котором R и R — не обязательно дифференциальные, а произволь­
t 2

ные линейные операторы, действующие в пространстве функций, задан­


ных на границе Г области D), целесообразно сопоставить также линейный
оператор L, заданный не на всех функциях / (х) из Q , а только L

на тех из них, которые удовлетворяют краевому условию ( 2 ) . Так как


операторы, заданные на разных областях определения, являются раз­
ными, то оператор L, заданный только на функциях / (х), удовлетворяю­
щих на Г условию ( 2 ) , мы будем обозначать новой буквой, например
Л, а совокупность функций f (х) — через Q (область определения опера­
A

тора A): Af\x) = Lf (х) для f {х)£0. . Говорят, что оператор А является
А

частью оператора L; это записывается так: A czL (очевидно, 2 cz S ) . Мы А L


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

вая задача ( 1 ) , ( 2 ) (или краевое условие ( 2 ) ) соответствуют друг другу.


Заметим, что в область Q , соответствующую произвольному крае­
A

вому условию вида ( 2 ) , всегда входят все функции / (х), обращающиеся 0

в нуль на границе вместе с нормальной производной ^ = 0, ^ | =Ог

так как такие функции всегда удовлетворяют условию ( 2 ) на Г. Опе-|


ратор L, рассматриваемый только на всех таких функциях / (х), обо-' 0

значим через L , а само многообразие функций / (х)—через


0 Q (область
0 LQ

определения оператора L ) . Очевидно, оператор L является частью лю­


0 0

бого описанного выше оператора A (L а -4) (так как на функциях


0

/ (X)€QL
0 0 L f (x) = Af (х) = Lf (x)). Так как, кроме того, i c L (Q cz 2^),
0 0 0 0 A

то говорят, что оператор А является расширением оператора L , содер­ 0

жащимся в операторе L: L a A cz L. Установление такого соответствия


0

между краевыми задачами и соответствующими им расширениями А играет


основную роль в "настоящей работе.
Заметим, что расширение А, соответствующее однородной первой!
краевой задаче для уравнения ( 1 ) (в S~ входят, следовательно, все*
функции / (#), обращающиеся в нуль на Г : / | г = 0 ) , ' обладает следую­
f
щими свойствами: a ) уравнение A f (х) = k (х) имеет единственное реше­
л я
ние f i x ) € Д любой правой части й(#)6сЗ? (как известно, это 2

решение дается следующей формулой: J(P) — \ ' ' ' \ G (Р, Р') h (P ) dP'= r

Г
= А~ Л, где G(P, Р') — соответствующая функция Грина, А" —опера­
1
1

тор, обратный к А); б') оператор А" —вполне непрерывный (как]


интегральный оператор с ядром, имеющим слабую особенность)[Для
нахождения общих краевых задач, соответствующие расширения кото­
рых обладают свойствами а') и б') (мы называем их вполне разрешимыми),
сначала (в § 1 ) мы находим -общий" вид расширений А оператOpa""L , 0

содержащихся в L, L с: A czL, которые обладают этими свойствами.^


0

Далее мы ограничиваемся тем, что указываем, как по найденному рас-!


ширению А записывается одна определенная соответствующая ему крае-]
вая задача (как было указано выше, все другие краевые задачи, соот­
ветствующие расширению А, эквивалентны одной из них).
190 м . и. вишик

Аналогично для решения вопроса о нахождении общего вида к р а е ­


вых задач, ведущих себя с точки зрения разрешимости так же, как,
например, однородная вторая краевая задача | = 0 ) для уравнения г

Af = k, мы находим сначала общий вид расширений А, обладающих


следующим характерным свойством: для уравнений Af — k (/6 2 ) и А

A*f* = h* (f*€&A*), где А* — оператор, сопряженный с 4 , справедливы


три теоремы, аналогичные трем теоремам Фредгольма. (Заметим, что
если А соответствует данной краевой задаче, то А* соответствует сопря­
женной краевой задаче для сопряженного дифференциального уравнения.)
Такие расширения А мы называем регулярно разрешимыми.
Примеры некоторых задач Римана показывают, что представляют
интерес такие краевые задачи, для которых соответствующие расшире­
ния А обладают следующим свойством: для уравнений Af = h(f^Q ) A

и A*f = k* (/*6Я А*) имеет мосто лишь аналог третьей теоремы!


Фредгольма. Такие расширения А мы называем цормплъцр рп?ра~
шимыми.
Самосопряженным краевым задачам (очевидно, для самосопряжен­
ного дифференциального уравнения (1)) соответствуют самосопряженные
расширения.
Г В § 1 мы находим общий вид расширений А оператора L , содер­ 0

жащихся в операторе L, L ciAc~L, 0 соответственно: I) вполне разре­


шимых, И) регулярно разрешимых и III) нормально разрешимых. (Заме­
тим, что результаты этого параграфа представляют самостоятельный
интерес с точки зрения функционального анализа.) В случае самосопря­
женного уравнения (1), кроме этих расширений, мы находим общий вид
^самосопряженных расширений.
г В дальнейших параграфах (§§ 2—5) каждому из найденных расши­
рений сопоставляется соответствующая ему краевая задача для урав­
нения (1). Для этого сначала определяется граничный оператор
отображающий любую функцию / (х) 6 2 , грубо говоря, в ее предельное
L

значение на Г: 4 i f (х) = f\ , v
и В Т 0
Р ° й граничный оператор ^2» сопо­
ставляющий любой функции f(x)(:QL, грубо говоря, следующее выра­
жение: f / (х) = |^ | — Pf | , где Pf | = -~ , а и (х) — решение первой
2 г г г г

краевой задачи для однородного уравнения Lu = 0 при неоднородном


краевом условии и | = / | . ^Оказывается, что в качестве f нецеле­
г г 2

сообразно брать просто оператор ^ . j


Важное значение для дальнейшего имеет изучение функциональных
x
'пространств, которые образуют все функции ^ f (х) (f(x)^^ ) и ^ f( ) n L 2

-_(/ (х) 6 Q ). Доказывается, что в первое из этих пространств вложимо


L

любое пространство X (Г) функций, суммируемых по Г со степенью р ,


v

где *\ а второе пространство вложимо в любое пространство


2
с5?д*(Г), где q* — любое число, меньшее 2 ~-.
Г" Каждому из указанных выше расширений мы сопоставляем соответ­
ствующую ему краевую задачу для уравнения (1) с краевыми условиями,
записанными в виде линейной зависимости между значениями ^ / и ^ / . 2

Так, например, любому вполне разрешимому расширению A, L с: A cz L 0 y

соответствует краевая задача для уравнения ( 1 ) с краевым условием


вида 7 / = C^zf, где С — вполне непрерывный оператор (соответствую-
Х
ОБ ОБЩИХ К Р А Е В Ы Х З А Д А Ч А Х 191

ищи А) (§§ 4 и 5). Мы говорим, что такие краевые условия имеют кано-
[нанесши вид.
Для решения вопроса о том, к какому типу в смысле разрешимости
принадлежит любая наперед заданная краевая задача для уравнения (1),
например, задача с краевым условием

^1г = ^/1г. (3)


где R— некоторый линейный оператор в пространстве функций, задан­
ных на Г, мы приводим краевое условие (3) к ' каноническому виду.
Для этого вычитаем из обеих частей краевого условия (3) значение
Р / | , после чего его можно записать в таком виде: y f — (Я — Р) yj.
г 2

В зависимости от функциональных свойств оператора R — Р краевая


задача ^1), (3) обладает в смысле разрешимости теми или иными свой­
ствами (например, если R — Р имеет вполне непрерывный обратный
1
(R — P)" , то эта краевая задача вполне разрешима).
Г Так как с помощью одного и того же оператора Р изучаются все­
возможные задачи для уравнения (1), то естественно возникает вопрос
в

о его функциональных свойствах. Оказывается, что с метрической точки


зрения он имеет силу поверхностного градиента, т. е. первых частных
производных по границе Г (§ 7). Пользуясь этим, мы в § § 8 и 9 изучаем
тот случай задачи Римана с краевым условием в виде (3), когда R
является суммой эллиптического оператора R на границе Г и ограни­
x

ченного оператора F: R = R ~\- F. Доказывается, что эта краевая задача


x

всегда регулярно разрешима (т. е. для нее и для сопряженной с ней


краевой задачи имеют место три теоремы, аналогичные теоремам Фред-
, гольма). Кроме того, указаны те случаи, когда она вполне разрешима,
^ с л у ч а й , когда она — самосопряженная.
Хотя все рассмотрения в настоящей работе ведутся для эллиптиче­
ских уравнений второго порядка, однако они почти без изменений
переносятся на случай эллиптических уравнений любого порядка, для
которых изучена первая краевая задача.
Краткое содержание различных частей настоящей работы опублико­
вано в заметках [4] — [ 8 ] .
Пользуюсь случаем, чтобы горячо поблагодарить И. М. Гельфанда,
привлекшего мое внимание к вопросам, связанным с настоящей работой.
Беседы с ним и его критика были для меня чрезвычайно ценны и по­
учительны.

§ 1 . Расширения операторов
В настоящем параграфе устанавливается ряд предложений, касаю­
щихся общей теории расширений операторов (необязательно самосопря­
женных). Поэтому § 1 имеет с точки зрения функционального анализа
самостоятельный интерес и может читаться независимо.
Как мы уже указывали раньше, вопрос об общих краевых задачах
тесно свявшГ'^'^онросом об оощем виде расширений. В связи с этим мы
даем в § 1 подготовительный материал, касающийся функциональной
стороны вопроса об общих краевых задачах. В дальнейших параграфах
все результаты, доказанные в абстрактном виде в настоящем параграфе,
будут сформулированы с соответствующими пояснениями в применении
к дифференциальным операторам.
1. Л и н е й н ы е р а с ш и р е н и я о п е р а т о р о в . Условимся относи­
тельно некоторых обозначений.
192 м. и. вишик

Область определения оператора С мы всегда будем обозначать че­


рез 2с\ область изменения этого оператора, т. е. многообразие элемен­
м ы
тов вида Си, где и 6'2с» будем обозначать через RQ: RC = CQC-
Пусть L — замкнутый линейный оператор в гильбертовом простран­
0

стве Н (сепарабельном) с областью определения 2 , всюду плотной в L o

I Н , и пусть L имеет ограниченный обратный L Q : | | L o " ( | < ; + оо. Тогда


0
1
1

( о б л а с т ь изменения R L является замкнутым подпространством в Н .


O

Пусть М — замкнутый линейный оператор в Н, причем Q


0 обра­ M O

зует всюду плотное в Н множество. Предположим, что М имеет огра­ 0


1
ниченный обратный Мб" : Ц М ^ К + оо, и обладает следующим свой­
ством:
(Уо^о)=(/оДой) (1.1)
для любых функций /о 6 2 , g £&M \ при помощи круглых скобок здесь
L o 0 0

обозначено скалярное произведение в Н. Очевидно, R есть замкнутое Mo

подпространство в Н.
Обозначим через L оператор, сопряженный с М в смысле теории 0

операторов: L = ' M o , т. е. / 6 Q и Lf = h тогда, и только тогда, когда L

= (g ,h) (1.2) (M ,f)ogo 0

д л я любого g € Q

Через М обозначим оператор, сопряженный с L : М — LQ. 0

( Области изменения R L и RM операторов L и М совпадают со всемН:


I R L — Н , RM ~ Н .

Докажем это предложение, например, для оператора М. Д л я этого


достаточно показать, что уравнение
Mg = h (1.3)

д л я любой правой части h 6 i f имеет, по крайней мере, одно решение


g£ 2 . М

Положим L f = = с р , / = L ^ c p o и рассмотрим на R
0 0 0функционал
0 L O

Д л я любого h l (ср ) является непрерывным функционалом относительно


h 0

tp . Следовательно, найдется такой элемент g'dR ,


0 что Lo

5
4 Ы = ( й , ^ Л о ) = (б',?о) (*- )
или ,
(h,f ) = (g,L U).
0 0 (1.6)

Из этого равенства следует, что g € 2 и Mg = h. M

Имеет место следующее очевидное предложение:


Любое линейное расьиирение А оператора L , заключенное в L : 0

L cz A cz L , допускает замыкание.
0

Докажем теперь такую теорему:


Т е о р е м а 1. Существует по крайней мере одно расширение А
оператора L^заключенное в L\ L czAczL, и обладающее следующими 0

свойствами:
1) % = # ;
2) оператор А имеет ограниченный обратный А : \\А ||<^ + оо.
ОБ ОБЩИХ К Р А Е В Ы Х ЗАДАЧАХ 193

Если операторы Lo и Мо вполне непрерывны, то указанное рас­


1
ширение А можно выбрать так, чтобы оператор А был вполне непре­
рывным.
Д о к а з а т е л ь с т в о . Заметим, что имеет место ортогональное раз­
ложение:
Н = R Lo © 7 , (1.7)

где V — подпространство всех решений v уравнения Мv == 0, V(:&M-


Действительно, элемент v ортогонален к R тогда, и только тогда, когда Lo

(L f ,v)=0
0 Q (1.8)

для любого / б 2 ь . Но это значит, что v£2


0 0 (М=* Lo) и Mv = 0. M

Н а 2 искомое расширение А совпадает с L : Af == L / , / € 2 . Так


L o 0 0 0 0 0 L o

как оператор L имеет область изменения R L = H , ТО существует ма­


ксимальное линейное многообразие W с~ 2 , которое отображается опе­ L

ратором L на V: LW = V. (Заметим, что FT, вообще говоря, не замкнуто.)


Подпространство U решений уравнения Lu = 0, очевидно, является
частью W: U a-W.
1
Обозначим через U ортогональное дополнение к V в W:
L
w = u ®u. (1-9)
1 1 L 1
Положим Аи - = Lu - д л я любого элемента u 6 С/" . Очевидно,
1 X L
AU - = L*7 = L (U 0 J7) = = V,
x
т. е. оператор А отображает U на F . Оператор А, рассматриваемый
L 1 1
на U , очевидно, имеет обратный Л" , причем U- = А V .
1 1 1
Положим 2-д = Q + С" и А (/ + t r ) = Af -f Ли- д л я / € &
L E и 0 0 0 Lo

±^jryX
tt e Так определенный оператор .А является искомым расшире­
нием.
1
Действительно, Rj = =^ + U -) = R 0 F = # , т. е. усло­ Lo

вие 1) теоремы выполнено. Легко видеть, что А — замкнутый оператор.


1
Т а к как оператор А' — также замкнутый и задан на всем Н, то
(ll'^IK + oo.
Переходя к доказательству второй части теоремы, предположим,
1 1
что операторы LJT и M ' Q вполне непрерывны. Покажем, что оператор
А , построенный в первой части доказательства, имеет вполне непре­
рывный обратный.
На подпространстве R L оператор А совпадает с оператором Lo" , 0
1 1

который по предположению вполне непрерывен. Подпространство


г
V ~ HQ R оператор^А~ отображает на линейное многообразие
Lo

и x
Так как для g <z&M
0 0 u^U

(Аи -, 2
g) = (Lu , g ) = (и ,
0
L
0
1
M g ),
0 0

то, положив Аи = х 1
и = Mg 0 0 = х> g = ^о" Хо» имеем:
0 0
4

1 Л
(^,M^Xo) = ( ^ , X o ) . ( °)
13 Труды Московского математич. общества
194 м. и. вишик

Заметим, что

.' R ®U = H, . MQ • ; - (1.11)
и так как ортогонально к U, то U cz RM - Следовательно,'A x
v= 0
1(

— U^CZRMO-Отсюда в силу соотношения (1.10) вытекает, что опера­


1
тор Af , рассматриваемый на подпространстве V, является частью опе­
x
ратора, сопряженного с М ^ : A~ v =-- ( M Q ) * ^ ДЛЯ vdV, причем мы тре­
1 1

1
буем, чтобы i ? - i ^ d R( M(оператор Mo"" отображает R
M Q на Q ^ , а Mo

(Л/о" )* отображает все И в RM )- Но оператор (Мо" )* — вполне не­


1
Q
1

прерывный, как сопряженный с вполне непрерывным оператором. Зна­


1
чит, оператор А' на V — также вполне непрерывный. Так как опера­
1
тор А' —вполне непрерывный на R и на V, то в силу разложения
Lo

(1.7) он вполне непрерывен на всем Н, что и требовалось доказать.


В теории расширений важное значение имеет разложение области
определения оператора L в соответствующую прямую сумму. Имеет
место
Т е о р е м а 2, Область определения Я>ь оператора L разлагается &
следующую линейную прямую сумму:

Q = 2 z . „ + 2 ~ V +U,
L (1.12)

где V — подпространство решений уравнения

Mv = 0, (1.13)

U — подпространство решений уравнения

Lu = 0, (1.14)

А —- некоторое фиксированное расширение оператора L , заключенное в 0


г
L, L dA cz L, и обладающее свойствами 1) и 2) теоремы 1; А~ — опе­
Q

ратор, обратный к А.
Д о к а з а т е л ь с т в о , Заметим прежде всего, что область определе­
ния Q_£ оператора А допускает следующее разложение в прямую ли­
нейную сумму:
Q =Q +A-W.
x Lo (1.15)

Действительно, применив к обеим частям равенства (1.7) оператор


-1 _1 l
Л , мы получим соотношение (1.15), так как A i?L = L^ R = Q. 0 L(i Lo

С другой стороны, имеет место разложение

Q =Q
L Z + U, (1.16)

где U — подпространство решений и уравнения Lu = 0. Действительно,


пусть /—произвольный элемент из U и Lf = h. Так как Rj — H, то L

существует (единственный) элемент / 6 2 ^ , для которого Af=h. Элемент


и = / — full, и следовательно, / = / + и. Объединяя разложения (1.15)
и (.1.16), мы приходим к разложению (1.12),
ОБ ОБЩИХ К Р А Е В Ы Х ЗАДАЧАХ 195

Применяя эту теорему к оператору М, мы получим разложение Q M

в следующую прямую линейную сумму:

QM = Q M o +
i
T- U+V, (1.17)

где U и V имеют тот же смысл, что и выше, а А* — оператор, сопря­


женный с -2. Очевидно, М с: А * с: М, и А* удовлетворяет условиям 1)
0

и 2) теоремы 1,
Замкнутый оператор А мы назовем нормально разрешимым, если необ­
ходимым и достаточным условием разрешимости уравнения
Af = h, /62 А ) (1.18)

является ортогональность его правой части h ко всем решениям одно­


родного уравнения
A*v = 0, v£Q ; A (1.19)

где А* — оператор, сопряженный с А.


Как известно, необходимым и достаточным условием нормальной
разрешимости оператора А является замкнутость его области изменения
ИА'> RA = RA- Известно также, что если замкнутый оператор А —
нормально разрешимый, то и А* — нормально разрешимый.
Замкнутый оператор А мы назовем регулярно раярешимым, если
он — нормально разрешимый и числа линейно независимых решений урав­
нений Аи = 0 и A*v = 0 конечны и одинаковы.
По теореме 1, если операторы Ь и М имеют вполне непрерывные 0 0

1 1
обратные L^ и Л/о" , то существуют расширения А оператора L , 0
1
L cz A cz L, имеющие вполне непрерывные обратные А" , причем
0

Такие расширения мы будем называть вполне разрешимыми расшире­


ниями, Расширение A, L с A cz X , имеющее ограниченный обратный
0
1 г 0 0 м ы
А" : \\А~ \\ <^ + > будем называть разрешимым.
Поставим следующую задачу.
Найти общий вид а) нормально разрешимого, б) регулярно разре­
шимого, в) вполне разрешимого (разрешимого) расширения А операто­
ра L , являющегося частью оператора L: L cz A cz L.
0 Q

Мы предполагаем, что операторы L и М имеют ограниченные об­ Q 0


1 1
ратные Lo" и Л/о" . Вполне разрешимые расширения существуют лишь
1 1
тогда, когда операторы Lo" и Л/ёГ вполне непрерывны.
Решение этой задачи дается следующей теоремой.
I Т е о р е м а 3. Необходимым и достаточным условием того, чтобы
многообразие Од было областью определения я) нормально разрешимого,
I б) регулярно разрешимого, в) вполне разрешимого (разрешимого) рас-
гширения А оператора L , для которого L (Z A czL, является возмож­
0 0

ность разложения ЯА е прямую линейную сумму:


1 ±
2д = 2 ь + ( 1 ~ + О ^ + £ 7 ,
0 (1.20)

где А — фиксированное расширение оператора L , L czAczL, имеющее 0 0


1 1
ограниченный обратный А" , заданный на всем Н: || А" ]] <С + оо, в слу­
чаях а) и б), и вполне непрерывный обратный в случае вполне разреши­
мых расширений. (Последнее возможно лишь тогда, когда операторы

13*
196 м . и. вишик

LQ~ -и М"о вполне непрерывны. Для описания разрешимых расширений


1
достаточно, чтобы оператор А" был ограниченным.)
При этом в случае а) V— замкнутое подпространство простран­
1
ства V решений однородного у равнения Mv = 0: VczV; U - — замкнутое
подпространство пространства U решений уравнения Lu = 0: U^a.U;
С — ограниченный оператор с областью определения Qc = V и областью
^изменения R CzU.
c

В случае б), кроме условий, перечисленных в а), которым должны


1
удовлетворять подпространства V, U - и оператор С, требуется,
L 1
чтобы размерности подпространств U и V = 7 0 7 были конечны и
одинаковы.
1 { 1
В случае в) операторы Lo~\ Mo' и А~~ вполне непрерывны, U -=^0,
у = V и оператор С вполне непрерывен. (В случае разрешимых расши­
рений С — ограниченный оператор, причем достаточно, чтобы операто­
1 1
ры Lo~\ MOT И А' были ограниченными.)
Оператор А совпадает на Q с оператором L . A

Оператор А*, сопряженный с расширением А оператора L , являет­ Q

ся, очевидно, расширением оператора M , М a A* czM, причем область Q 0

определения Q * допускает разложение в прямую линейную сумму:


A

1
2А« = 2М + 0 (3*- + С*)^ + ^ \ (1.21)

где А* — оператор, сопряженный с оператором А,


±
U = UQU\ V = VQV. (1.22)

Оператор С* с областью определения = U сопряжен с оператором С:


. • (C'u,v) = (u,Cv)' dMueU,v£V. (1.23)

Оператор А* совпадает на Я * с оператором М. А

Операторы А и А* одновременно нормально разрешимы, регулярно,


разрешимы, вполне разрешимы, или разрешимы. *
Д о к а з а т е л ь с т в о. а) Пусть А — некоторое нормально разреши­
x
мое расширение оператора L , L a A a L . Обозначим через U под­
0 0

пространство решений и уравнения Аи = . 0 , ггб Я . Область изменения R А A

оператора А в силу его нормальной разрешимости является замкнутым


подпространством, причем R Z } R L , так как A Z) L . Представим R
A 0 0 A

в виде ортогональной суммы:


RA = R L B ® V . (1.24)

Согласно формуле ( 1 . 7 ) подпространство V является частью простран­


ства V решений уравнения Mv = 0, v£2 . Обозначим через А! часть M

оператора А, А' а А, заданную на тех, и только тех, элементах / из


области определения Q , которые по формуле ( 1 . 1 2 ) допускают разло-
A

ясение
1
/ = / о + 1 - ^ 1 + и» 2 (1.25)
1
где элемент и ортогонален к U ,
2 u dU, 2 / £&ь > v £V.
0 0 x Следовательно,
u dUQ £/""4 Очевидно,
2

±
& А = & < + и. А (1.26)
ОБ ОБЩИХ КРАЕВЫХ ЗАДАЧАХ 197

1
Оператор А', очевидно, имеет обратный А'" , заданный на R ' = R A ' A

7
Так как оператор А замкнут, то и оператор А замкнут. Следова­
1
тельно, оператор А'" также замкнут, и так как он задан на замкнутом
подпространстве R , то он является ограниченным. Применяя к обеим
A
1 г г
частям формулы ( 1 . 2 4 ) оператор А'" и учитывая, что на оператор А ~
-1
совпадает с LQ , получим

Q A ' = & L 0 + A ' ~ W . (1.27)


Положим
Cv = {A'-i - A-*)v (1.28)

для v(:V. Ясно, что R C C Z U (LCv = Ь(А" — A " Х


1
) v = 0). Подставим в
1
формулу ( 1 . 2 7 ) вместо A ! ~ W выражение (Аг -^ С) V:

Q A ^ Q ^ + ^ + Q F . (1.29)

Объединяя разложения ( 1 . 2 6 ) и ( 1 * 2 9 ) , мы получим разложение ( 1 . 2 0 ) .


Так как оператор С — непрерывный и V и — замкнутые подпростран­
ства, то все условия случая а) теоремы выполнены.
Пусть А* — оператор, сопряженный с А. Тогда А*— нормально
разрешимое расширение оператора М > М cz A* cz М . 0 0

В силу доказанного выше область определения Я * можно предста­ А

вить в виде следующей прямой линейной суммы:

1 ±
^A* = ^ м + ( ^ 0 + q ^ + F , (1.30)
1 1
где U czU, У а F , 2 ^ = U, R ^ cz V; фиксированное расширение А*"
1
мы взяли сопряженным с А" . Для доказательства разложения ( 1 . 2 1 )
необходимо установить выполнение соотношений ( 1 . 2 2 ) и ( 1 . 2 3 ) , т. е. что

U ^ I J Q U 1
- , V~ A
= V Q V и С = С * . (1.31)

Х L
Подпространство 7 состоит из всех решений v у р а в н е н и я A * v == 0 .
Так как оператор А — нормально разрешимый, то

/ • RA = H Q V X
, H = R A ® V L
. (1.32)

Согласно разложению ( 1 . 2 4 ) получаем

ff=;%eF©F, - - (1.зз)

Сравнивая последнее разложение Н с разложением ( 1 . 7 ) , мы заключаем,


что
F = F e F или V L
= V Q V . (1.34)

Этим самым второе из соотношений ( 1 . 3 1 ) установлено.


Применяя к обеим частям разложения ( 1 . 3 0 ) оператор А*\ получим

RA* = RM 0 + U, (1.35)
198 м. и, вишик

так как на 2 Мо оператор А* совпадает с М 0 (A* ZD М ) и А* (2*"" +С)/7==


0
1

~M(A*-i + C)U = M (напомним, что А* с М).


Согласно формуле (1.11) разложение (1.35) — ортогонально. Так как
оператор А* — нормально разрешимый, то
1
R A * = Я 0 U- или Н = R * ® UK A (1.36)
1
где U - — подпространство решений однородного уравнения (А*)*и = 0.
L ±
Но (А*)*=А, следовательно, U- = U . Отсюда согласно формулам
(1.35) и (1.36)
L
Н = R ®U Mo ®U . (1.37)

Сравнивая это разложение с формулой (1.11), мы получим


1 ±
и^и®!! - или U=UQU , (1.38)
что доказывает первое из соотношений (1.31). '
Остается показать, что оператор С сопряжен с оператором С, фигу­
рирующим в формуле (1.20). Это следует из сопряженности операто­
ров А и А*:
1
(А ( 2 - 1 + С) v, ( 2 - 1 + С) и) = ((А-\+ С) v, А* (А* + С)й) у (1.39)

где vdV, u€U; отсюда

( M b + C ) B ) = ( ( ^ + CKi),
и так как
л
(z>, А*~ и) = (A^v, и),
получаем, что
(v, Си) = (Cv, и), (1.40)

т. е. оператор С сопряжен с С: С = С*, причем & =V, = 2 . • = £/". C С

Так как соотношения (1.34), (1.38) и (1.40) выполнены, то разложе­


ние (1.21) для области определения 2 * оператора А* сопряженного А 9

с А, доказано. Очевидно., А* совпадает с М на Q *. A

Повторяя приведенные выше рассуждения в обратном порядке, мы


убеждаемся в справедливости обратного предложения: любое много­
образие Q , равное линейной сумме, стоящей в правой части формулы (1.20),
A
1
где подпространства V, U - и оператор С обладают свойствами, пере­
численными для случая а) в формулировке теоремы, является областью
определения некоторого нормально разрешимого расширения А опера­
тора L , L cz A cz L. Оператор А совпадает на Я с оператором L :
0 0 А

Af = Lf для f€Q . A

б) Пусть А — регулярно разрешимое расширение оператора L , 0

L Q C Z A C Z L . Следовательно, ^4 —нормально разрешимое расширение L , 0


1
и для & имеет место разложение (1.20), где V, U - и С обладают
А

свойствами, перечисленными для случая а) в формулировке теоремы.


Область определения Q * оператора А*,- сопряженного с А, допускает
A

разложение (1.21), причем выполнены соотношения (1.22) и (1.23), Так


как оператор А — регулярно разрешимый, то размерности подпространств
1 ±
U - ж V в разложениях (1.20) и (1.21) — одинаковые и конечные.
ОБ ОБЩИХ КРАЕВЫХ ЗАДАЧАХ 199

Обратно, если многообразие Q допускает разложение (1.20), причем


A

выполнены все условия случая б) формулировки теоремы, то опера­


тор А, совпадающий на 2 с оператором L, является, очевидно, регу­
А

лярно разрешимым расширением оператора L , L cz А cz L. 0 0

-1 1
в) Предположим, что операторы L Q И МО" вполне непрерывны.
Тогда согласно теореме 1 существует, по крайней мере, одно расшире­
ние А оператора Х , L cz A cz L, имеющее вполне непрерывный обрат­
0 0

ный А" . Покажем, что область определения 2


1
любого вполне разре­ А

шимого расширения А оператора L , L cz А с L, допускает разло­ 0 0

жение (1.20), причем выполнены условия случая в) формулировки


теоремы. Так как А — регулярно разрешимое расширение и V = V, то
L 1 1 1
V = 0, и следовательно, U = 0. Оператор Cv = (А" — A" ) v (для vdV)
4
вполне непрерывен.
Обратно, если оператор С з а д а н н а всем Vи вполне непрерывен, и
1
фиксированное расширение А имеет вполне непрерывный обратный А" ,
то оператор А с областью определения Я , допускающей разложение А

(1.20), для которого выполнены условия пункта в) формулировки


теоремы, является вполне разрешимым расширением оператора L , 0

L 0 czAcz.L.
В случае разрешимых расширений достаточно требовать ограничен­
1 1
ности операторов Z/o" и Мо" . Легко видеть, что характерными призна­
ками таких расширений являются непрерывность оператора С , Q = V, C

R czU. c • *
2. С а м о с о п р я ж е н н ы е р а с ш и р е н и я о п е р а т о р о в . Теория
самосопряженных расширений операторов хорошо изучена. В приложе­
ниях этой теории к эллиптическим дифференциальным операторам
интересен тот случай, когда существует, по крайней мере, одно само­
сопряженное расширение А данного симметрического оператора L : Q
1
LQCZA.CZ Ь \ = Ь , имеющее ограниченный обратный А" (или вполне непре­
рывный обратный).
Пусть L — замкнутый симметрический оператор в унитарном про­
0

странстве Н и Lo == L — сопряженный с ним оператор. Предположим, что!


1 1
оператор L имеет ограниченный обратный L^ : \\Ь " \\<^ + об. Тогда,
0 0

как показано в работах [1^], [14], существует, по, крайней мере, одно]
самосопряженное расширение А оператора L , имеющее ограниченный 0
1 1 : :
обратный А" : \\ А" [| << + оо. .- _
Выведем сейчас общий вид самосопряженных расширений А опера­
тора L . При этом мы представим области определения 2-^ этих расши­
0
г

рений в таком виде, в котором они нам понадобятся в дальнейшем.


Пусть А — фиксированное самосопряженное расширение оператора А,
1 г 0 0
имеющее ограниченный обратный Л"" : || А~ || -f- • Согласно теореме 2
область определения S оператора L, сопряженного с " L , может быть
L 0

представлена в виде следующей прямой линейной суммы:


Q L ^ t t b A ^ U + Ur (1.41)
где U — подпространство решений уравнения Lu*=0. Пусть 2-j — область
определения некоторого самосопряженного расширения А оператора L : 0

L cz A cz L. Согласно разложению (1.41) любой элемент / 6 Q-^ может


0

быть однозначно представлен в виде

f = U + Ar4i'+u» (1.42)
200 м. и. вишик

где «!, /о € Q . Пусть /'—произвольный отличный от / элемент из Й


L т

и
/ = /о + + «2. Из условия
(Af, /') = (/, I / ' ) (1.43)
сразу выводим, что
и
^ 2 ) = (и > д- (1.44) 2

Отсюда легко получить (см. [11]), что существует такой унитарный


оператор / в пространстве U, что в (1.42) могут входить лишь такие
u Й , что
v 2

и г =и+ 1и,
ч т ^ (1.45)
4
u = i{u — / и ) , ' 2

где и— произвольный элемент пространства U. Следовательно, область


определения Я^ допускает разложение вида
Q 1 J 1 и 1 4 6
®Jt = L 0 + И " № + ) + № - Л ) - . С - )

Легко видеть, что и, наоборот, любая область 2^-, допускающая


представление (1.46), где / — унитарный оператор в пространстве U lf

является областью определения некоторого самосопряженного расшире­


ния оператора L . 0

Аналогично можно описать и любое симметрическое расширение


оператора L . 0

§ 2 . Эллиптические дифференциальные операторы


Пусть D — ограниченная область в тг-мерном пространстве с гладкой
границей Г. Рассмотрим в области D эллиптический дифференциальный
оператор

Lf = — 2 -§£7 (*«(*) Щ \ + 2 Ь (х) % +с (х) / (х) (a = ik а )


н (2.1)

и сопряженный с ним дифференциальный оператор

^ д I де(х)\ Д db. (x)g(x)

г, £ = 1 \ ' г=1

Мы будем считать, что существует такая положительная постоян­


ная что
[А , 2

в в

г,
2&=1 «<*>М>р (2ч)
I, &=1 ^ г=1 /
для любой точки reGi? и любых действительных чисел .., ?. п

Д л я простоты мы требуем, чтобы с (х)^>0 при # 6 (D-f-Г). Кроме


того, предполагается, что существуют третьи производные функций
й{7с(х), вторые производные функций bi(x) и первые производные функ­
ции с (х) для всех х 6 (D + Г), причем все эти производные удовлетво­
ряют в (D+T) условию Липшица (с показателем а, 0 < а < ; 1 ) .
Д л я оператора (2.1) (соответственно (2.2)) хорошо изучены следую­
щие краевые задачи: 1) решение неоднородного уравнения
Lu = h (2.3)
ОБ ОБЩИХ К Р А Е В Ы Х ЗАДАЧАХ 201

при нулевом краевом условии


в|г = 0 (2.4)

и 2) решение однородного уравнения


Lu = 0 (2.5)

при неоднородном краевом условии


u\v = h (S), £ € Г . (2.6)

Как известно, в силу условия с ( # ) > 0 и наложенных выше требо­


ваний существует функция Грина G{P, Р ), Р , P £D, соответствующая г X

нулевой краевой задаче (2.3), (2.4). Исходя из вида фундаментального


решения для эллиптического уравнения второго порядка (см. [15]) и в
силу выполнения принципа максимума для решений и однородного
уравнения (2.5), легко видеть, что имеет место следующая оценка:

(-—п~~~ для п^>2,


(
\G(P, Р')\<Г ' ' (2.7)
1 П
[^ V ( P , Р') + С Д Л Я П = = 2

г
для любых пар несовпадающих точек Р, Р 6 (Z) + Г); А и С —- постоянные,
r 2 2
не зависящие от выбора точек Р, P ; г = ]/" (х — х[) + • •• + (х — х' ) > х п п

г
где (х ,..., я ) , ( x ' , . . . ,
г п x — координаты точек Р и Р соответственно.
Кроме того, в дальнейшем мы используем оценки
dG(P, Р') № (Р, Р ' )
< г п - 1 ( р П (2.8)
дх-

(i = l , 2 , - . . , w )
которые мы предполагаем выполненными для функции G(P, Р') у

р, Р'е(в + т).
Если правая часть k(x) уравнения (2.3) достаточно гладкая (напри­
мер, непрерывно дифференцируемая в (/> + Г)), то решение нулевой;
краевой задачи (2.3), (2.4) (в классическом смысле) дается формулой

/ ( Р ) = \ \G(P,P')h(P')dP'i). (2.9)
D
Из неравенства (2.7) и теоремы С. Л. Соболева об интегралах типа
йотенциала (см. [16], [17]) мы делаем вывод, что оператор, стоящий в
правой части (2.9), является ограниченным в пространстве Гильберта % {D) 2

функций, суммируемых в квадрате по области D:

\\f{P)\\^K\\h{P)\\. (2.10)

Для произвольной правой части h (х) 6 J ? (D) = Н в уравнении (2.3) мы 2

^удем считать, что решение / (Р) нулевой краевой задачи (2.3), (2.4)

г
) Для сокращения записи мы будем символ | j употреблять для обозначения

Ь-кратного интеграла, а символ ^ — д л я обозначения (п — 1)-кратного интеграла.


202 м. и. вишик

также дается формулой (2.9). Очевидно, f (Р) есть обобщенное решение


нулевой краевой задачи. Оно получается как предел в среднем реше­
ний / нулевых краевых задач, когда соответствующие гладкие правые
п

части h стремятся в среднем к h: при h .—-> /г, /


n >•,/, n п

п—>оо п->оо

Распространим оператор L на указанные функции f(P)* положив


Lf{P) = h{P).
Обозначим через Л оператор, заданный только на многообразии
функций / ( г ) , являющихся обычными или обобщенными решениями
нулевой краевой задачи (2.3), (2.4), и принимающий на этих функциях
значения, совпадающие со значениями оператора L:
Af = Lf = /г. (2.11)
I Очевидно, область определения 2 ^ состоит из всех указанных выше
решений нулевой краевой задачи.
Согласно неравенству (2.10), оператор А имеет ограниченный обрат­
1 1
ный Л"" , причем Q ^ - -=Н- Следовательно, значение\ = 0 — регулярная
точка спектра оператора А. В силу теоремы 8 нашей работы [3] отсюда следу­
1
ет, что А~ — вполне непрерывный оператор.
Аналогично, обозначив через А*.- оператор М, рассматриваемый толь­
ко на функциях g(x), являющихся решениями (обычными или обобщен­
ными) нулевой краевой задачи

Mg^h, G (2.3*)

Sir = 0 (2.4*)
4
{таки-.' функции g(x) образуют, следовательно, область определения 2 ^ *
оператора Л*), мы убедимся в том, что оператор Л* имеет вполне не­
-1
прерывный обратный Л* . Очевидно,
l r r
g(Р') == T~ h(P ) = $ \ G(P, P )h(P)dP. (2.9*)
D

1 -1
Из формул (2.9), (2.11) и (2.9*) вытека т, что операторы А" и Л*
являются сопряженными в смысле теории операторов. Следовательно,
операторы А и Л* также сопряжены друг с другом. Этим показано,
что операторы Л/ и Л*# при нулевых краевых условиях, наложенных
на функции / и g, являются сопряженными в смысле теории операторов.
Операторы Lf и Mg можно рассматривать как операторы, действую­
щие в пространстве Х (D), но заданные не на всем пространстве Х (/)),
2 2

а на некоторых всюду плотных множествах в Х (D). 2

Первоначально мы будем считать, что оператор Lf задай на мно­


жестве Q всех функций / , удовлетворяющих следующим условиям:
1) / дважды непрерывно дифференцируемы в D, 2) Lf суммируемы в
квадрате по области D: Lf£X (D), 3) частные производные функций / ,
2

т. е. ~ (i' = 1 , 2 , . . . , п), удовлетворяют в (D + Г) условию Липшица.


Аналогично определяется длщ оператора Mg соответствующая область Q*.
Однако оператор L, соответственно М, рассматриваемый на области 2 9

соответственно не является замкнутым.


ОБ ОБЩИХ К Р А Е В Ы Х ЗАДАЧАХ 203

Г
Обозначим через Мо оператор с областью определения 2 , состоя­ М

щей из всех дважды непрерывно дифференцируемых в области D функ­


ций g (x) каждая из которых обращается в нуль в . некоторой гранич­
Q 9

ной полоске области D , причем М' принимает на функциях g (x)QQ ^


0 0 M

r
такие же значения, как оператор Ж: M g (x)=Mg (x) для g (ж) 6 Q^r. Лег­Q 0 0 0

ко проверить интегрированием по частям, что для любых функций f(x) G 2


и g (х) 6 Q '
0 M ;
(2.12)

где квадратными скобками обозначено обычное скалярное произведение


в пространстве Гильберта J6 (D) функций, суммируемых в квадрате
2

по области D . Формула (2.12) доказывает, что оператор Мо является


частью оператора, сопряженного с-оператором L : Мо cz L*. Так как мно­
гообразие QM' — всюду плотное в J £ ( D ) , то и 2 * обладает этим свой-
Q 2 L ^ ^ ^ ^
ством. Отсюда следует, что оператор L допускает замыкание L. Область' ^ ±
определения этого замыкания мы будем называть максимальной областьюги?^ ^ Т » . ^
определения дифференциального оператора Lu. '• ^У^^^^¥¥ ^ С
1

Покажем, что Ac L или, что эквивалентно, 2 ^ с ( \АР


Для этого заметим, что оператор A ' C Z A С областью определения
2 ^ , = Q A П '2 имеет замыкание, совпадающее с оператором А: А! = А.
Действительно, для гладких правых частей К нулевая краевая задача (2.3),
(2.4), как это следует, например, из работ Жиро [9], [10], допускает
решение / ' С 2 (очевидно, / ' 6 2 ^ ) . С Другой стороны, так как гладкие
1
функции К образуют всюду плотное в Н множество и 1~ — ограни­
-1 1
ченный оператор, то оператор Л ' cz А" тоже огранич н и замыкание
г 1
А - = Аг-\. Следовательно, и Л' — А.
Так как оператор Л', очевидно, является частью оператора//, А! с Ц
но А = А' с: L, т. е. оператор А является частью оператора L.
Аналогично определяется замыкание М оператора М и аналогично
же .доказывается, что Л* cz М.
Во всем дальнейшем мы будем обозначать операторы L и М
через L и М.
Обозначим через L оператор, сопряженный с М: М* = L , и через
0 0

М — оператор, сопряженный с L: L*=M ,


0 В силу соотношений 0

A cz L, Л* cz М и сопряженности операторов Л и Л имеем

(2.13)

Отсюда следует, что все функции, принадлежащие к 2 ( 2 ) , удовле­ L o М о

творяют нулевым краевым условиям на Г в обычном или обобщенном


смысле (так как 2 c z 2 ~ и 2 cz 2 ^ * ) .
L o М о

Более того, исходя из формулы (2.12), легко установить, что любая


непрерывная и дифференцируемая вплоть до границы функция / G 2 0 L o

(или g C 2 ) обращается в нуль вместе со всеми своими первыми про­


0 M o

изводными на границе Г.
С другой стороны, любая функция f (x), которая 1.) допускает внутри 0

области D непрерывные производные до второго порядка, причем


204 м. И. вишик

Lf (х) € Я ,
0 2) имеет непрерывные первые производные в (D + Г) и
3 ) / | г = %:;|г = 0 ( / == 1 , 2 , . . . , п) принадлежит к 2 L o : /j>(a:)€Q . Область
L

определения 2 оператора L мы называем минимальной областью


L o 0

определения оператора L. Грубо говоря, эта минимальная область


определения состоит из всех функций, к которым применим оператор L
и которые обращаются в нуль вместе со всеми своими первыми произ­
водными на границе Г области D.
Очевидно, Ll = (Ж*)* = М и Ж * = (£*)* = L. 0

Операторы L и М удовлетворяют условиям, наложенным в § 1 на


0 0
0 0
операторы, обозначенные теми же буквами (|| Ь^Ц < + и ЦМ^Ц + 00,
так как L cz А и Ж cz Л*). То же относится и к операторам L и Ж .
0 0

Определенный выше оператор А (А*) играет роль фиксированного расши­


рения оператора L , L cz Я cz L (Ж , Ж с: Л* cz Ж). Операторы А и 2 *
0 0 0 0

удовлетворяют, как было показано выше, условиям 1) и 2) теоремы 1 и,


г -1
кроме того, имеют вполне непрерывные обратные А~ и Л* . Из всего
вышеизложенного следует, что все утверждения § 1 применимы к диф­
ференциальным операторам L и М, если в качестве операторов Ь шМ д 0

взять определенные выше операторы L и М , заданные на минимальных 0 0

областях определения, а в качестве 1 и 4 * взять операторы, соответ­


ствующие нулевым краевым задачам для уравнений (2.3) и (2.3*).
Обозначим, как и в § 1, через U подпространство всех решений
однородного уравнения
Lu = 0 (2.14)
(очевидно, w £ 2 ) и через V — подпространство всех решений v однород­
L

ного уравнения
Mv = 0. (2.15)
Согласно формулам (1.7) и (1.11) имеют место следующие ортогональные
разложения:
R ®V = H, (2.16)
L%

R .®U = H. M (2.17)
В силу теоремы 2 область определения 2 ^ оператора L разлагается
в следующую линейную прямую сумму:
2 L = 2 L o + + (2.18)
i(
где под Л ~ V понимается линейное многообразие элементов вида A~ v, где
1
v 6V(А~~ х>, очевидно, равно правой части формулы (2.9), в которую
вместо h подставлено v). Линейную сумму (2.18) надо понимать сле­
дующим образом: любая функция / 6 2 может быть однозначно представ­ L

лена в виде трех слагаемых:


f^fo + A^v + u, (2.19)
где / 6 2 , v 6 V и и € U. Поясним, не вдаваясь в тонкости, смысл
0 L o
A
разложения (2,19). Предварительно заметим, что функции вида A~ v
являются решением дифференциального уравнения четвертого порядка:
MLw = 0. (2.20)
l
Действительно, LA~ v = v и Mv = 0.
ОБ ОБЩИХ К Р А Е В Ы Х ЗАДАЧАХ 205

Для данной функции / разложение (2.19) можно получить следую­


щим образом, решив указанные ниже краевые задачи:
1) Решаем первую краевую задачу для уравнения Lit =• 0 при гра- \
ничном условии и|г = / | г . Полученное решение и дает третье слагаемое j У*^**
в формуле (2.19). I
2) Решаем краевую задачу для уравнения четвертого порядка *
^ дт _д[_ ди
MLw= 0 при граничных условиях w ' 'дхТ дх. дх. где
и найдено в пункте 1).
i
Положим Aw = V] очевидно, v € V. Отсюда w = A v, и следова­
тельно, получено второе слагаемое правой части (2.19).
{
3) Функция / = / — A~~ v — и. Легко видеть, пользуясь пунктами 1),
0

2), что /о =.|k- - 0 = 2, т. е. / 6 Q . . 0 L

ох
Г г Г

Аналогично область определения 2 оператора М М допускает разло­


жение в прямую линейную сумму вида
1
2 м = ®м + А*~ и + V. 0 (2.21)
Отметим еще следующие разложения в линейные прямые суммы,
выведенные в § 9:
Q =QL 2 + U, (2.22)
Q M = Q , + V.
2 (2.23)
Например, из (2.22) следует, что любая функция / 6: 2 L допускает одно­
значное представление вида
/-=/>«, (2.24)
где / £ 2 ~ , udU. Разложение (2.24) получается, грубо говоря, следую­
щим образом: и является решением первой краевой задачи для уравне­
ния Ьи = 0 при граничном условии и | = / | ; функция / = / — и обра­ г г

щается, следовательно, в нуль на границе: / | = 0, и поэтому / при­ г


л я
надлежит (Д данной функции / € 2 разложение (2.24) получается L

x
так: если Lf = h] то / = A~ h, а и = /—/.)
Согласно теореме 3 (стр. 195) область определения 2 любого А

а) нормально разрешимого, б) регулярно разрешимого, в) вполне разре­


шимого (разрешимого) расширения A, L о A cz L, допускает разложе­ Q

ние (1.20).
§ 3. Вводные замечания
Как указывалось во введении, существует тесная связь между линей-1
ными однородными краевыми задачами для уравнения Lf = h и линей-1
ными расширениями А оператора L : L c z A cz L. Напомним вкратце! 0 0

суть этой связи на примере краевой задачи с краевым условием на


границе Г области D:
R f(s)+R ?M-=0
x 2 И Г ) , (3.1)

, / ч , / ч I df (s) df (х) I ъ „
где / (s) = f (x) [г, —^т" = I г , а л j i л - некоторые линейные опе­
д 2

раторы, действующие в пространствах функций, заданных на границе.


Обозначим через 2 совокупность всех тех функций / из 2 (т. е. таких,
А L
206 м. и. вишик

к которым применим оператор L), которые удовлетворяют граничному


условию (3.1). В § 2 мы рассматривали аналогичную область 2 ^ в слу­
чае нулевой краевой задачи (/($) =.0). Часть оператора L , заданную
на' Q , обозначим через A:Af~Lf
A д л я / 6 Й . Все функции / из 2 , А 0 L e

очевидно, удовлетворяют условию (3.1), так как они обращаются в пуль


вместе со своими первыми производными на Г. Следовательно, Q CZ 2 L Q а

и L с А. Таким образом, оператор А является расширением опера­


0

тора L и частью оператора L:


0

t o C i c L ^ c Q A C ^ ) . (3.2)
Оператор А мы будем называть расширением оператора L , соответ­ 0

ствующим краевому условию (3.1), а краевое условие (3.1) — соответствую­


щим расширению А. Точно так же область определения & оператора А А
а т н о
| м ы будем называть соответствующей краевому условию (3.1) и, о ^ | > 7

|будем говорить, что краевое условие (3.1) соответствует области 2 . Л

В настоящей работе рассматривается вопрос о нахождении общего


вида линейных однородных краевых задач для уравнения Lf=h, для
которых соответствующий оператор А является либо нормально разре­
шимым, либо регулярно разрешимым, либо вполне разрешимым (разре­
шимым) расширением оператора L , L cz A cz L (см. § 1).
0 0

Задача о нахождении общего вида расширений Л, обладающих теми


или иными свойствами, решена нами в § 1. Исходя из приведенных
там разложений областей определений 2 этих расширений (теорема 3),
А

мы найдем для каждого такого расширения соответствующее ему крае­


вое условие.
Заметим, однако, что по данному расширению соответствующее ему
однородное краевое условие восстанавливается неоднозначно. И, наоборот,
разным однородным краевым условиям может соответствовать одно и то
же расширение А или, что эквивалентно, одна и та же область опре­
деления Я . Действительно, если, например, область Q состоит из всех
А A

функций, удовлетворяющих краевому условию вида (3.1), то та же об­


ласть Q будет соответствовать краевому условию
A

RR f(s)
1 + R R 2 ^ - = 0, (3.3)
полученному применением к обеим частям (3.1) обратимого оператора ^
Условие (3.3) формально отличается от краевого условия (3,1), но на
7
самом деле оба они ((3,1) и (3.3)) налагают на функции / одни и те же
условия на границе, так как обоим этим краевым условиям удовлетво­
ряет один и тот же запас функций / . Поэтому по расширению А мы построим
одно определенное, соответствующее ему однородное краевое условие,
которое будем называть краевым условием в каноническом виде. Далее,
мы укажем, каким образом любое однородное краевое условие приводится к
каноническому виду, и как решается вопрос о том, какими свойствами
обладает расширение А, соответствующее наперед заданному краевому
условию.
Краевое условие в каноническом виде записывается в виде зависи­
мости между граничным значением / (х) |г и некоторым другим выраже-
^ нием, составленным по значениям / ^ и ~ г . Предварительно мы рас-,
\ # пространим настолько понятие граничного значения функции: f(x) A

# ч т о б ы ^ ^ Р о ^ функция fWft u имела определенное значение / ] г Г Т о же


L

' м ы ^ е д е М е м " и с другим, упомянутым выше, граничным выражением


(см. § 4). : 1
ОБ ОБЩИХ К Р А Е В Ы Х ЗАДАЧАХ 207

§ 4, Основные граничные операторы

1. Г р а н и ч н ы й о п е р а т о р Ti (Ti) и п р о с т р а н с т в о Н (#*). 1

Определим сейчас первый граничный оператор ^ (*[*), который (в неко­


тором смысле) каждой функции / б 2 (g б &м) сопоставляет ее значе­ L

ние на границе Г области D. Д л я функций / б 2 ~ (g б 2~*) мы поло­


жим ^ ( / ) = 0 {^l{g) = 0). Заметим, что согласно определению области
2 ~ (2 *) все функции / б 2 ^ (g б 2^*) принимают на Г в среднем зна­
А

чение нуль *). Для функций u(x)£U (v(x)€V), непрерывных вплоть до


2
границы Г, мы положим ^ (и (х)) = u\ . *= щ (71 (v (х)) = v |г = t>i) ) . v

Пусть теперь и (v) — произвольная функция пространства U (V) решений


однородного уравнения Lu =£=.0 (Мv== 0), Согласно определению опера­
тора L (М) существует последовательность непрерывных и непрерывно
п
дифференцируемых в (D + Г) функций и б С/ (<7j б F), сходящихся в сред­ n

Й
нем к и (KV): и => и , (v => v)*). Функция и (х) (V (х)) является реше­
п
:
n п

нием задачи Дирихле для однородного-J уравнения Lu = 0 (Mv = 0)


n n
при граничных условиях u (x)\ =^ u (x) = и™, соответственно v i

т/ (&) | = 7*t^ (^) = V™ . Обозначим:


п
г
n

dg а C0S w
2 ^ (> x
i)
(4.1)

(4,2)
= 2 ^ ^ 7 - c o s (я, ф) + / c o s w
( » #0
i, A; i=l
где ацс, ^ — коэффициенты дифференциального оператора (2.1). Имеем,
очевидно,

(4.3)

*) Это следует из того, что Q^. С где (2— оператор типа градиента (см. § 4,
п. 3 нашей работы [3]).
2
) Для удобства записи значения функции / (х) на границе Г мы обозначили
той же буквой с индексом 1 внизу.
3
) Действительно, по определению оператора L как замыкания соответствующего
опершюра, заданного на Q (см. § 2), существует последовательность функ­
n п п П
ций f £ Q, (п = 1, 2, . . . ) , такая, ч т о 7 = > ишЦ —> Lu = О.Представим элемент7
71 п п п п т п
согласно формуле (2.24) в виде"/ = / + и , где / б ^ д » ^ б - е. "й — р е ­
шение первой краевой • задачи для однородного уравнения = 0 при граничном
n n п
условии u \ — f | . Но так как функция / £ П, и следовательно, непрерывно
v г

дифференцируема в (D + Г), причем ее частные производные удовлетворяют в


n
(D + Г) условию Липшица, то решение w указанной краевой задачи непрерывно
n n n
дифференцируемо в (Q + Г) (см. [9], [10]). Заметим далее, что из Lf == L(f + w ) ==.
n n
= Lf = Af => 0 следует в силу ограниченности оператора Л~* сходи-
П - > 0 О

п n n n n
мость { / } к нулю: J ~> 0. Значит, и w =J — ] =} и. Таким образом, после­
n
довательность { w } обладает требуемым свойством. Аналогично доказывается су­
п
ществование соответствующей последовательности И .
208 м. и. вишик

соответственно
n dG (s, х) — n

v (x) = \ ^ l v U s , (4.4)
г
где G(x, £)— функция Грина, соответствующая нулевым краевым усло­
виям для оператора L (М) (см. § 2). Согласно (4.3)
п п п п
\и (х), и (х)] = ^^и (х) и (х) dx =

D \Г S
Г• ' I
n
\\K(s,t)u i(s)~ul(t)dsdt, (4.5)
г г
где

Аналогично
n n n n
[v (х), v {х)] = t)v i(s)v i(t)ds dt, (4.7)
гг
где
Z*( ,0 = ^ ^ j ^ - ^ j ^ ^ .
S (4-8)
D

п n
Если а (х) => и (х) \v (х) => v (х)), то граничные значения щ (v™)
также сходятся к пределу в метрике, определяемой правой частью фор­
мулы (4.5), соответственно (4.7).
В связи с этим рассмотрим линейное многообразие Н , {Hi), состоя­ г

щее из всех непрерывных на Г функций a(s) (v (s)), и зададим в Н х

(в Н\) скалярное произведение по формуле

(u{s),u'(s)) ^\\K(s 1 1 t)u(s)u' (t)dsdt, (4.9)


гг
соответственно
(v(s),v'(s))* { = \\K*(s,t)v(s) v'(t) dsdt. (4.9*)
гг
Обозначим через Н (Hi) замыкание многообразия Н
г г (H*i) в метрике (4.9)
соответственно (4.9*) *).

п
Если последовательность и (х) => и (х), то последовательность со­
п х й
ответствующих граничных значений YI {и ( )) = ? »• рассматриваемых
как элементы пространства Н , сходится в метрике (4.9) к некоторому г

n
элементу и : • и" •=> и . Аналогично из v =>-v
г х следует, что • v* => v v

г
) Заметим, что мы получим то же пространство H ( # | ) , если i будем исхо­
дить из линейного многообразия H i (Н^) функций, бесконечно дифференцируемых
на границе Г.
ОБ ОБЩИХ К Р А Е В Ы Х ЗАДАЧАХ

Положим Xi (и (#))'== и (f* (v (х)) .= v ). Элемент и (v ) мы будем называть


г x х x

граничным значением функции и (х) (v (х)). „


Таким образом, граничный оператор fi (7*) задан на всем про­
странстве U (V) решений уравнения Lu == 0 (Mv = 0), т. е. любому сум­
мируемому в квадрате по области D решению уравнения Lu = 0 (Afz> = 0)
однозначно сопоставлен некоторый элемент из пространства Н (Н\), х

который естественно назвать граничным значением этого решения.


н а
Сейчас уже легко определить граничный оператор у (YJ") всей г

области 2 (ЯМ)- Действительно, согласно формуле (2.22), соответствен­


L

но (2.23), любой элемент / 6 2 (gб 2 ) однозначно представим в виде


L М

суммы ' / ' = / + и (g—g + v), г д е / б 2 ^ ^ б £ 7 (g б 2 ^ * , 1 / 6 F ) . Так как


на множествах 2-^ и £7 (2^;* и V) оператор ^ (у*) уже определен, то мы
w w e
положим iif = Yi'/ + Yi = Yi (Yi# Yi# + Yi^ = Yi^)- Легко видеть, что
для гладких вплоть до границы области функций / 6 2 (g б 2 ) L М

Ti/ = /'lr(Yi^ = ^lr)- ' ;

Сделаем сейчас несколько важных для дальнейшего замечаний о про­


странствах граничных значений Н {Н\). х

Согласно формулам (4.5) и (4.9) после предельного перехода при


п-^оо получим
ю(ж)] = (х1», Yi»)i=(»i» (4.10)
и аналогично
(v(x), v (х)] = {{ v, {iv)l = (v , v )\.
t x x (4.10*)

Из формулы (4.10) следует, что оператор Yi изометрически отобра­


жает пространство U решений уравнения Lu = 0 на пространство Н г

соответствующих граничных значений. Следовательно, пространства^


U и Н эквивалентны. Эквивалентность топологий в пространствах U и Н
х х

необходима, как мы увидим в дальнейшем, для нахождения всех крае­


вых условий, соответствующие расширения которых обладают теми или
иными свойствами. Однако в дальнейшем, кроме метрики (4.9), соответ­
ственно (4.9*), мы будем рассматривать обычные метрики пространств
X (Г) функций, заданных на границе Г и суммируемых со степенью /?.
v

Покажем, что любое пространство X (Г) функций, суммируемых v

2
со степенью р, где р ^> ^ ^ для п^>2, и р^> 1 для п = 2, вложи­
мо в Н . х

Многообразие Н непрерывных на границе Г функций, рассматривае­


х

мое как подпространство пространства X \ Н a X , образует в Л£ всюду v х v р

плотное множество. Рассмотрим последовательность функций f (s)£H , n x

sd Г (п = 1, 2, . . .), стремящуюся в метрике X к некоторой функции v

2 (п 1)
L
/(s)€<5? , где р^—^— ,fn(s)~>f-
p С другой стороны, та же после-
довательность функции / ( $ ) , рассматриваемых как элементы про­
п

странства Н , является сходящейся в метрике Н . Последнее следует из


х х

того, что для функций многообразия Н скалярное произведение задает­ х

ся по формуле (4.9), в которой ядро K(s, t) определено формулой (4.6).


Но поскольку
dG (х,
= 0

14 Т р у д ы Московского математич. общества


210 м. и. вишик

(см. стр. 2 0 1 ( 2 . 8 ) ) , мы имеем

в случае « > 2 и

= } )
в случае п = 2 . Отсюда в силу теоремы С. Л. Соболева об интегралах
типа потенциала (см. [ 1 7 ] . [ 1 8 ] ) последовательность {f {s)} сходится в Н ). n 1
1

Более того, для функции / (s) 6 X ( Г ) имеет смысл скалярное произ­ v

ведение (/(s), j(s))p заданное формулой ( 4 . 9 ) (подинтегральное выражение


в йравой части этой формулы абсолютно интегрируемо по Лебегу), л
lim (/ (в) - /„ (s), / (s) - /„ (*))! = 0, (4.11)
п->оо • •

где {fn (s)} — последовательность гладких функций, введенных выше..


Поэтому естественно считать функцию / (s) принадлежащей пространству
Н и являющейся в нем пределом последовательности {/ (s)}- В этом
1 n

смысле любая функция / ( s ) € « S ? ( Г ) , где р ^ p


2
^ (п^> 2), естествен-
но вкладывается в пространство и следовательно, все пространства
X ( Г ) вложимо в
v

Отсюда следует, что для каждой функции f(s)(:J6 v ( Г ) , р^^^ %


п ^ т

существует такое решение и (х) уравнения Lu = 0, для которого ^ и (х) — г

== / ( s ) , и очевидно, • . ч

[и, и] = J J К (s, t) щ (s) и (t) ds dt - (/ (s), f ($)) =


г г (Vxtt, ^u) l9 (4.12)
тг
причем выражение, стоящее под знаком интеграла, абсолютно интегри­
руемо по Лебегу по многообразию Г х Г . Из формулы ( 4 . 1 2 ) сразу
следует, что если и = ^ и^Х
г х р ( Г ) и Ui(s) = у и г
г
б X р ( Г ) , где р
2 1
> ^ ~ ) и гг, и ' 6 то

[ц, к'] = ^ (s, О к (s) u\(t) dsdt


х = ( Y X » , TI^OI- (4.12'):
rr
Аналогично доказывается, что любое пространство <£ (Г), Р где р ^>
. 2(п — 1 )
^ '-вложиМО в НА.

Если функции v = 4lv, t v\==f v ^X i


r
v ( Г ) , где р>- ——Л
ш

\V. (z), v' (x)} = J \ K* (s, t) v (s) v[ (t) ds dt = ( 4 > ,t Ti T l V), (4.42*)
IT
причем подинтегральное выражение абсолютно интегрируемо по много­
образию Г х Г .
г
) Теоремы об интегралах типа потенциала доказаны С. Л. Соболевым для случай
1 *
ядер вида - у - [17], [18]. Очевидно, что доказательства этих теорем без сущест-
г" (х, у)
венных изменений проходят и для ядер К (s, t) = О
ОБ ОБЩИХ КРАЕВЫХ ЗАДАЧАХ 211

2. Г р а н и ч н ы й о п е р а т о р 7 (7* ) п р о с т р а н с т в о Я (Я*). 2 2
и
2

Второй граничный оператор 7 (7*) определяется при помощи некоторого 2

оператора Р (Р*), который мы сейчас введем. Для функций / 6 2 , (#6 2*)


мы положим

где Lu = 0 и 7 i / = Yi^> (4.13)

соответственно
dv где• Mv = 0 и 7 ^ = 7 * 1 / . (4.13*)
г'
Иными словами, оператор Р сопоставляет граничному значению
функции / 6 2 внутреннюю нормальную производную ~ на границе Г
от решения гг задачи Дирихле для уравнения Lu = 0 при граничном
условии и | г = Ti/- То же мояшо сказать об операторе Р*.
Производную д и
функции и (v) на границе Г в формуле (4.13),
г

соответственно (4.13^ ), мы понимаем в обычном смысле, так как функция


/ 6 2 (g6 2*) и, следовательно, непрерывно дифференцируема ,В! (D + Г),
и ее частные производные удовлетворяют условию Липшица V ( Z ) + Г).
Значит, ее граничное значение 7 / , (?*#), обладает теми же свойствами А

на д р а н и ц е Г. По теореме Жиро [9], [10] решение задачи Дирихле


и (v) имеет тогда непрерывные производные вплоть до границы.
Перейдем теперь к определению второго граничного оператора 7 (7*). 2

Положим

v — P\ f { для любого /6 2, (4.14)


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

W 1
г —Prftg Д л я
любого gf 2*. (4.15)

Для определения оператора 7 (7*) на всем Q ( 2 ) достаточно согласно 2 L М

формуле (2.18), соответственно (2.21), задать этот оператор на линейных


множествах 2 , A'W и U ( 2 , Л*" <7 и F). Положим: 1) 7 гг = 0 для лю­
L o М о
1
2

бого и € U (это естественно, так как для гладких вплоть до границы


функций u€U 7 гг = 0 согласно (4.13) и (4.14)); аналогично положим
2

4* v = 0 для любого vGV\.2)


2 7 / = 0 для любого / 6 2 (это естествен­ 2 0 0 L

но, так как гладкие вплоть до границы функции J ^2 обращаются в 0 Lo

нуль на Г вместе со своими первыми производными, и соотношение


= 0 сл
Т2/0 ^ д у е т из формулы (4.14)); аналогично положим f g = 0 для 2 Q

любого £ € 2 . На элементах вида A^v,


0 М в где vdV (A*~~hi где uGU), ?

оператор 7 (7*) принимает отличные от нуля значения (очевидно, если


2

ъфО (ифО)).
Обозначим через V (U) подпространство V, состоящее из всех непре­
рывно дифференцируемых в (D + Г) функций v€V (uZU). Заметим,
х
что функции А~ v (A*^u) где v£V (u£U), непрерывно дифференци­
f

1
руемы в (D + T) и обращаются в нуль на Г: ^A^v^O, fr*/*" и=0).

14*
212 м. и. вишик

l 1
В связи с этим Py (A v) = 0 (Р*у*(А* и)~0) i и согласно формулам
(4.14) и (2.9), соответственно ( 4 . 1 5 ) и ( 2 . 9 * ) ,

= ^^^-5(?)d5=J^( ,*)^iWrf«. S (4-16)


D Г

где v (t) ± = y\v и ядро К* (s, t) определяется формулой (4.8), соответ­


ственно

т * ( ! * - ! « ) = J ^ f: dG s)
и (Л) d\ - ^ iT(s, *)и г (t) dt, (4.17)
8
i) г

где ^ ( ^ = 1 ^ и ядро K(s, t) определяется формулой ( 4 . 6 ) .



Обозначим линейное многообразие функций вида ^ {Ат о)\ v . ^ V 2

{ 1
(у* (А*- и), udU), через Я ( Я * ) ) . Введем в многообразии Я (Я*) ска­ 2 2

лярное произведение по формуле:

1 1
{ТаД - ^, Т И " ^ > 2 = J J
Г 1
^1 ( > 5 d
* d i f
= ^']' ( 4 Л 9
)
гг
соответственно
42
.{^д-ч т;^*"»'}^ J J ^ о »i (?) 1
= t»» •' • (-°)
гг

Обозначим ч е р е з Я (Яг) замыкание в метрике ( 4 . 1 9 ) , соответствен­


2

но ( 4 . 2 0 ) , многообразия Я ( Я 2 ) . Ниже мы докажем, что все элементы 2

пространства Я ( Я 2 ) являются функциями, суммируемыми с некоторой


2

степенью по Г.
х
) Заметим, что многообразие Я образует в пространстве <£? (Г) всюду плотное 2 2

множество функций.
Согласно формуле (4.12*) при v, v £ V

г \г
_ 1
где (г/ (ж)) = v (s), x у\ (v (х)) = (г), т (^
2 V)6# . 2 Если бы функции
-1
у (-2 1?) = ^
2 (5,.г) v (t) dt не составляли всюду плотного в <£? (Г) множества,
x 2

г ^
то существовала бы функция v (s) 6 - ^ 2 (Г), ортогональная ко всем у (A^v) в мет­ 1 2

рике ^ ( Г ) . 2 2

Так как */!($)£ <£? (Г) и 2 > 2 ——, то найдется такая функция v g F, для
которой xl'{v) = v (s).
1 Следовательно, согласно формуле (4.18), примененной к этой
функции v и любой функции v(x)£V,

[v (х), v (х)] = 0.

Последнее равенство невозможно для v ф0, так как функции v £ V образуют всюду
плотное в V множество.
ОБ ОБЩИХ КРАЕВЫХ ЗАДАЧАХ 213

X( 1
Пусть теперь дан некоторый элемент вида A v, где v(:V (А*" и,
где u£U). Для того чтобы определить значение оператора у 2 (7*) на
1
элементе A^v (А*" и), возьмем последовательность непрерывно дифферен­
п
цируемых в (D + Г) функций г>(> (и^), сходящуюся к функции v (и):
' { n ) ( {п) у
v v и Тогда согласно формуле (4.19), соответственно (4.20),
и

1
последовательность функций, заданных на границе: {у (А~ v^)}, 2

п)
({у1(А*~Ы )}), сходится в пространстве Н (#*). Обозначим предельную %

х 1
функцию этой последовательности через (Аг v) , ((А*~ и) ) и положим 2 2

1 т г
7 (A^v) =^(A' v)
2 (f (A^u) = (А - и) ).
2 Подставляя в формулу (4.19)
2 2

n
вместо v и ч)' функцию v^ \ и переходя к пределу при п->оо, полу­
чим равенство

{^(A-iv),4 (A-iv)} 2 2 = [v,vl (4.21)

справедливое для всех функций v.dV. Аналогично

Ы(А-Ъ), f (A*-iu)y
2 2 = [u,u] (4.22)

для всех u£U. Из формулы (4.21), соответственно (4.22), следует, что


1 1
оператор 72 А" ( 7 2 А*" ) изометрически отображает пространство V (U)
всех решений уравнения Mv = 0 (Lu = 0) на Н ( # 2 ) . Считая граничный 2

оператор у (^ ) аддитивным, мы получим для любого элемента / 6 2 ь >


2 2

(g^2 )
M согласно формуле (2.18), соответственно (2.21):

Та/ = J 2 (/о + А-Ц) + и) = (4.23)

_ 1 1
где / 6 2ь„,
0 Д ^6Jr ^, udU, соответственно

Г& = Ъ(8 0 + А^Ч+.,я) = 11А^и, (4.24)

где g € И 0 м Л * " 1
^ 4*~Ч7, <г>€7. Легко показать, что оператор у (у*) 2

для гладких функций / 6 2 (gGQ*), заданный формулой (4.14), соответ­


ственно (4.15), и формулой (4.23), соответственно (4.24), принимает
одни и те же значения.
Сделаем теперь несколько важных для дальнейшего замечаний о про­
странстве Н ( # 2 ) . 2

Сначала покажем, что все элементы, входящие в Н , являются 2

функциями, заданными на границе Г, и что эти функции суммируемы


по Г с определенной степенью. Согласно формуле (4.16) для функции
V (х) 6 V 7 (AT v) — функция, непрерывная на Г. Пусть v (х)£V — после­
2
x {n)

довательность, сходящаяся к некоторой функции v€V. Так как


dG (s, £) . к 7
г е
—^— <. ( ^ ? Д л: —некоторая положительная постоянная, то
s

согласно формуле (4.16) и теореме С. Л . Соболева и В. И. Кондрашова


об интегралах типа потенциала (см. [17], [18], [13]), последовательность
n )
непрерывных функций у ( 2 ~ V ) = cp (s) сходится в метрике X * (Г) 2 n q

(Лбq* (Г) — пространство функций, заданных на границе и суммируемых


214 м. И. вишик

2 1 }
со степенью д*), где д* — любое число < д = , к некоторой
функции ср (s)€<S? « (Г), причем справедливо неравенство e

!1тИ _ 1
^Ь .(Г).<сУр^
в т,(^^. (4.25)

Очевидно, естественно положить ^ (A^v) = ср (s). Переходя к 2 пределу


в формуле (4.25) при п->ос, мы получим соотношение
2 2
Ь(*)1& .(Г) < в
с 2
- ^ ' ^ = с { Т а ( Л " Ц , Т2И~Ч)2 = с ?"(*)}., (4.26)
справедливое для всех функций 1 / 6 7 . Таким образом, пространство Н 2

1
граничных^значений у (A~ v) реализовано как пространство функций 2

s = = 1 v
? () И " ) i каждая из которых принадлежит пространству X ^ (Г),
где <7* — любое
л Ш число<С^——~
—2 п
Отметим, что пространство Н функций на границе с метрикой (4.19) 2

эквивалентно пространству V решений уравнения Mv = 0 (т. е. некоторых


функций, заданных в области В).
Легко видеть, что если обозначить оператор вложения (тождествен­
1 li
ный) пространства Н в пространство X * (Г) через В: Ву (Аг ®) = у (A~ v),
2 q 2 2

где 4 {A~ v) 2
1(
в правой части рассматривается как элемент X *(Y), q
1
a y (A~ v)2 после символа В — как элемент Н , то неравенство (4.26) 2

можно записать еще так:

1 1 В (А-Ч>) || Ъ < с || Т 2 ( 1 - 4 0 || , Н г (4.27)

т. е. оператор вложения В ограничен.


Пространства Н и Н\ являются сопряженными друг с другом, т . е . 2

элементы одного из них можно реализовать как линейные функционалы


на другом.
Д л я доказательства этого факта заметим, что формулу (4.19),
используя (4.16), можно записать в следующем виде:

[v, v ] = \ r
Ж* (t) dt) v (s)ds =-
t

г г

= S ТГ И
Г
Т 2 (А-1
Ъ') ds= ( frт
T 2 (А-гЪ')), (4.28)

где v, v'dV', знаком (,) мы обозначили интеграл от произведения


соответствующих функций. В формуле (4.28) граничные значения ^(v)'
l
{y A~ (v)),—гладкие
2 функции. Покажем, что формула (4.28) верна для
значительно более широкого класса функций.
Действительно, рассмотрим последовательность функций 7* (t/ (#)) 6 # l)
г

(г)
5 (ж)67, сходящуюся в метрике X v (Г), где р = — ^ — - + в, к не­
{l)
которой функции
(x)) = > f,(v (x))., v£V. Co- ср (s) = f (v (х)): f (v
X (?) p

гласно сказанному в конце пункта 1 настоящего параграфа отсюда сле­


{%)
дует, что v (х) = > v (х). С другой стороны, рассмотрим последова-
X (D)
2
,{j)
телъность функций v (zV, сходящуюся к некоторой функции v'GV*
ОБ ОБЩИХ К Р А Е В Ы Х ЗАДАЧАХ 215

Тогда в силу эквивалентности пространств V и Н последовательность 2

граничных значений у (£~%'Щ сходится в метрике Я к функции


2 2

мьзс
7 ( 2 ~ V ) . В силу неравенства (4.27), в котором g* = ^ ~ 2 ^ п Т '
2
2

убеждаемся в том, что последовательность функций у сходится 2

-1
ак функции f (Л" */) в метрике пространства # 2 (n-p+ns *)• Записав сейчас
2

п—2+ns
r
соотношение (4.28) при 5 = 5 (г)
и v = и переходя к пределу при
i - v o o и /->©о, мы получим

[*>, f'] = S Tj<*») Т 2 Ф ' ) d s = ( J(г»), т T 2 (1-V)), (4.29)


Г

где интеграл существует в смысле Лебега, так как у* (v) б Х% ( -i) n


-4- Е

П

7 (Arty) €cS?2(n-i)-fns. Поскольку s — произвольное положительное число,


2

n—2+ns
то нами доказано следующее важное для дальнейшего предложение.
Формула (4.29) <?е/?шг любой функции v'dV, или, что то же,
для любого граничного значения y (A'ty)€H и для любой функции v(:V, 2 2

для которой у* (v)(:X (Г), где р — любое положительное число, большее


v

2 (п — 1)
чем — - .
п
Заметим, что любая функция 7^ (v) €Х р (Г), где р >> п » опре­
деляет на # 2 линейный функционал l * y {v) (у {Arty)) = (7* (v),
2 y (A~ty)).
2

Непрерывность этого функционала следует из формулы (4.29) и вложи-


2 ы
мости пространстваН в любое из пространств X *(Г), где q* < ; ^—2^'
2 д ^
будем считать, что элемент (г>)6#*, не принадлежащий ни одному
из пространств Х (Т), Р / ? > ^ - ^ — — , также определяет на Н 2 линейный
.функционал, а именно следующий:
^ • ( T ( 3 - V ) ) = [T»,t»'] = ( J(i»), (A-W)).
w 2 T Ti (4.30)

(Для удобства дальнейшего изложения мы обозначили функционалы


l * (~( (A~ty))
Y {v) 2 через (^{v) y (A~ty)), хотя теперь уже нельзя утвер­ 9 2

ждать, что последнее выражение равно интегралу Лебега от произве­


дения соответствующих элементов.) Исходя из формул (4.29) и (4.30),
легко видеть, что любой непрерывный функционал на Н порождается 2

некоторым элементом у* (v) б Н* (так как любой непрерывный функционал


на V порождается некоторой функцией v£V), т. е. пространство, сопря­
женное с Н , совпадает с Hi: (Н ) = Н\. Аналогично легко убедиться
2 2

в том, что пространство Н является сопряженным с пространством Н\, т. е.


2

(Hi) = Н , причем любой непрерывный функционал на Н\ порождается


2

некоторой функцией *[ (Arty)£H \ 2 2

l
r.a-**).№) = (? ('o),
l T a (I-v)), • (4.3i)

!) Пространство X (п—i)+ m — сопряженное с пространством X% ( _i)


2 n

ri—2+ns п ^ 5
216 м. И. вишик

причем правая часть (4.31) равна интегралу Лебега от произведения


соответствующих функций для всех f (v), принадлежащих X (Y) где { v r

^ 2{п~1)
Р> — —.
п
Совершенно аналогично вышеизложенному устанавливается, что все
г
граничные элементы j * (А*~ и), принадлежащие //*, являются функциями г

заданными на границе Г и суммируемыми по Г с любой степенью


2(<П г 2 1
q* < ~~Р , т.е. yt(А*~ и) где q* < ^ ~ - . Имеет место нера-
венство, аналогичное неравенству (4.27):
\\Щ1А-*и)\\х^ < || (^ C l T 2 «)|| ., H (4.32)

где В— оператор вложения Н*ъ в X * (Г). Далее, аналогично преды­ q

дущему устанавливается справедливость формулы

[ в , и'] = \ ъ (в) ; (A'-W)т ds = ( T l (в), т ; (Л-V)), (4.33)


г
2 (п — 1)
где г г — любая функция из U, д л я которой y (u)(:X , р^>——-—— l v f

и' — произвольная функция из U. Элементы у (и) определяют непрерывные г

функционалы на Н\, а именно:


К (и) № И*" *')) 1
= (Ti (»)• И - 1
» ' ) ) =. [и, «'3, (4.34)
2
причем для элементов d (гг) GcSfp (Г), где / ? > > ^ ^ ^ , этот функционал
равен интегралу Лебега, фигурирующему в формуле (4.33). Из формул
(4.33) и (4.34) следует, что пространство Н является сопряженным 1

с пространством Н* : H — {В* ), и наоборот, пространство Я* является


2 f 2

сопряженным с Н : Н1 = (Н ). г 1

3. А н а л о г ф о р м у л ы Г р и н а . Установим сейчас формулу, анало­


гичную обычной формуле Грина:

^[Lf(x).g(x)-f(x).Mg(x)]dx= ^J£>g(s)-f(s)^)ds, (4.35)


D Г

в которой, однако, вместо ^ будет стоять граничное значение yf 2 r

и 7*^,вместо - J ^ . Пусть /(х) — произвольный элемент из Q' и g(x) — про­ L

извольный элемент из й ^ . Согласно формулам (2.18) и (2.21), мы можем


le r
функции / и g представить в виде сумм / — / + A~ v + и и g = g +- 0 0

+ J * ~ V + <и, где / C'QL,, £ О £ ^ М > > И ' € £ / \ V , V ' ( : V .


0 В силу сопря­ 0
М

женности операторов £ и М и L и М мы получаем 0 0

[LJ ,g] 0 = [f Mg] 0! и [Lf,g } u = {f,M g ],


0 0

и так как LJ 0 = Lf 0 и Mg 0 0 = Mg , то (i

[L/, g] - [f, Mg] == [L + и), 1 * - % ' + г»] -


1
— [ . 4 - V + и, M 0 * - V + v)} = ф ' , Л * ~ V ] — [ Л " ! » ' , и'] +
+ [V, v'} - [и, и'] = [г», < | - [и, в'], (4.36>
ОБ ОБЩИХ К Р А Е В Ы Х ЗАДАЧАХ 217

причем мы воспользовались тем, что Д Г = = = Lf для / 6 2 ^ , и следовательно,


г г
ЬА~ ю = v; аналогично МА*~ и' = и'. Согласно формулам (4.30) и (4.34)
имеем
[v, v']- [и, и'} = ( ] (v), Т Т 2 - (Т1 (и), Гг (А*-\')). (4.37)
Из приведенных выше свойств граничных операторов следует:
Ti/- Ti/o ! - n l - ^ V ) : - i V ' - W ' - (4-38)
_
T / = T2/O + T ( ^ V ) + T U =
2 2 2 T 2 (I-V), (4.39)
i
-[U = tUo + r (A" »') i + H'0 = r v, i (4.40)
1 1
Т^ = Т^в + тГ(1- "') + ^ = т;Й*" и'). (4.41)

Из формул (4.36), (4.37), (4.38), (4.39), (4.40) и (4.41) получаем окон­


чательно
[L/,g]-.[/,Mg]=( /, *g)-( /,^). (4.42) T 2 T T l

Эта формула,,_анядщ:ичная формуле Грина, справедлива^ддЯ-^шбм^^нк-


ций / 6 & и g € 2 . Она говорит о том, что разности фор& [Lf, g] —
7 j f

— [/, Mg\ и ( j / , 7*g) — ( j j / , 7*g) имеют одно и то же значение для


2

одинаковых элементов / 6 Q и g ^ . L M

Отметим еще раз, что если граничное значение y\g или yj сумми­
2
руемо по Г со степенью / ? > ^ ~ ^ , то (j f, 2 или {^ f, *[* g) выра­
i 2

жается интегралом Лебега от произведения соответствующих функций.


Заметим что граничные значения ^if и y f определяют элемент 2

/6Q
L с точностью до слагаемого / . Действительно, если / = / + 0 0

+ + гг, то согласно (4.38) y f-=^u, и следовательно, d / опре­ x


lc r
деляет однозначно слагаемое и. Аналогично /у / = у {A~ v ), и сле­ 2 2

довательно, 7 / однозначно определяет слагаемое A'W.


2 Неопределен­
ным остается слагаемое / C 2 , для которого ^i/o = 0' и y f = 0.
0 L o 2 Q

Можно показать, что формула Грина в виде (4.35) не может быть


) обобщена таким образом, чтобы она оставалась верной для всех функций
| / 6 Q ж g€Q .
L M

§ 5. Общий вид однородных краевых условий.


Приведение любых краевых условий к каноническому виду
1. О б щ и е к р а е в ы е у с л о в и я в к а н о н и ч е с к о м в и д е . Со­
гласно теореме 3 (стр. 195) область определения 2 ^ любого нормально
разрешимого расширения А оператора L , L cz Аа L, допускает разло­ 0 0

жение в прямую линейную сумму:

2 ==Q
A Lo + (A^+C)V+U , 1
(1.20)

а область определения сопряженного с А оператора '..-А*, являющегося


расширением оператора М , М аА*с:М, допускает разложение
0 0

1 ± :
® .~-®
А М +(A+' + C')U + V , (1.21)
218 м . и. вишик

причем
X
U = U®U и V = - V ® V L
- (1.22)
1 1
подпространства U, U -, V V - замкнуты; операторы С и С* ограничены
9

ш сопряжены друг с другом^ При этом область определения С (С*) сов­


ладает с подпространством VczV (UczU), а область изменения опера­
тора С (С*) лежит в V ( в V).
Найдем теперь краевое условие, соответствующее расширению А
{ А * ) . Пусть / — произвольный элемент, принадлежащий Q^. Согласно
разложению (1.20)
/ = / + (/~i+C)^ + ( 5 . 1 0 )

где / 6 Q , vfiV, и^бС/'" . Применив к обеим частям равенства (5.1)


0 L O
1

граничные операторы у и у , получим г 2

Ti^Ti/o+Ti^^ + J i ^ (5.2)
ш
Ъ1 = Ъ ^ . (5.3)
l
Согласно формуле (4.21) норма элемента у (A~ v) в Н и норма соот­ 2 2

г
ветствующего элемента v B V равны: || у А~ ъ | | = || v || F . Следовательно, 2 я

н а 1
произведение граничного оператора у оператор А " дает изометри­ 2

ческий оператор, отображающий пространство V на пространство Н \ 2


п 1
y A"W = Я . Применяя к обеим частям формулы (5.3) оператор (у Л" )~ ,
2 2 2
1
•обратный к изометрическому оператору ^ A" получим 2 f

(5.4)

причем оператор { ^ А " ) ' рассматривается на подпространстве, которое


1 1

символически можно записать так: y A~W y A~Wc: Н . Подставляя ле­ 2 y 2 2

вую часть (5.4) в правую часть (5.2), получим краевое условие вида

i
T / = TiC(T I-r T /+Ti"\
1 2 2 (5.5)
-1 ±
где y f б y A"W', a Yi^ — произвольный элемент подпространства y U cz
2 2 x

czH . x Обозначим для краткости оператор ^ С (у^А" )" через С , а эле­ 1 1

1
менты вида у^а - — через uj-. Тогда краевое условие (5.5) запишется так:
1if = CtJ + ub. (5.6).
Итак, мы показали, что любая функция /, принадлежащая удов­
летворяет краевому условию (5.6). Обратно, если некоторая функция
/ * G 2 удовлетворяет краевому условию (5.6), то она принадлежит к
L

области определения 2 оператора А , в чем легко убедиться, проводя


Л

вышеприведенные преобразования в обратном порядке. Следовательно,


краевое условие (5.6) полностью характеризует расширение А (так
как последнее определяется однозначно по своей области определения,
а именно Af = Lf, если / £ 2 ) . А

Проводя те же выкладки для области определения Q * оператора' А * A У

сопряженного с А , мы найдем краевое условие, соответствующее Й * А

(или А * ) , в виде
f = Cr g + vi, (5.7)
ig 2
ОБ ОБЩИХ КРАЕВЫХ ЗАДАЧАХ 219

г
где С * = (7*Л*" )" —оператор с областью определения у*А* 11 и
1 1

областью изменения, лежащей в #*, v(- — произвольный элемент ли­


J x
нейного многообразия f*F ~; i^A*~ изометрически отображает U на # * .
О краевых условиях вида ( 5 . 6 ) или ( 5 . 7 ) мы будем говорить, что
они имеют канонический вид.
Согласно ортогональным разложениям ( 1 . 2 2 ) и формуле ( 4 . 3 0 ) , соот­
ветственно ( 4 . 3 3 ) , имеем
0 = ~\ v\ = ( ;гГл- А~Щ, т ;Ъ (5.8)
± ±
где v ^V J v€V,. соответственно
0 = [и , и] - (
1
T I B \ ч* А*-Щ.
2 (5.9)

1 см
Учитывая это соотношение и равенство у / — Т г ^ ^ ( « (5.3)) для 2

/ ( : 2А? соответственно у^А^и-- y g для g£ 2 * , мы можем сказать, что 2 А

область определения оператора С , входящего в краевое условие (5.6),


состоит из всех элементов у / 6 , для которых 2 2

( Т 2 /,^) = 0 (5.10)

при любом элементе V\ € ^{V -. Соответственно область определения опе­


2

ратора С* состоит из всех элементов y g(:H*, для которых 2

Щ =о (5.И)

при любом элементе u\ ^ U '. Заметим далее, что операторы С и С*,


m
1
1

рассматриваемые на указанных ниже областях определения, сопряжены


друг с другом в следующем смысле:

(Cbf,f g)
2 = ( ^ ( T j f - O - V T a f ^ T a g ) . = (т,<Я f A"4) 2 = [Cv,u} =

= [v, С~](ъА-Ч>, W~) = ( /, Т2 -CP (Г А*-1)-%А*-Ъ) =


2

=( 12 f,c%g), 5
(- ) 12

причем мы воспользовались здесь формулами ( 4 . 3 3 ) и ( 4 . 3 0 ) . Отсюда,


приравнивая первый член из ( 5 . 1 2 ) последнему, получим:
( 5 т / , T^) = ( T / / c \ ; g )
2 (5.120 2

д л я всех ^ f^^ A~W


2 2 и f g-.6 ^A^U. 2

Имеет место следующая


Т е о р е м а 4 . Т. Если краевое условие имеет вид

и/-^У (5.13)

• еде 1) • и(- пробегает некоторое замкнутое подпространство Ui cz Hi, 1

2) область определения 2— оператора С является замкнутым подпро­


странством в Н , 3) оператор С отображает 2— в Н и является
2 г

ограниченным, то совокупность функций / € 2 , удовлетворяющих крае­ L

вому условию ( 5 . 1 3 ) , образует область определения 2 А некоторого нор-


220 м. и. вишик

мально разрешимого расширения А оператора L . Сопряженное с (5.13) 0

краевое условие, т. е. краевое условие, соответствующее сопряженному


с А оператору А*, имеет вид

f =-CY g +
ig 2 ^ , (5.14)

где vi~ пробегает «ортогональное» дополнение V\z cz Н* к подпро­


странству Я^аН , т. е. 2

(^^Т2Л = 0 (5.15)
для любого ^ / 6 2—; область определения
2 2— оператора
ф С* являетсм
«ортогональным» дополнением к Ui cz II , г т. е.

(f g,
2 M jL) = 0 (5.15')

L
для любого u\ £U\z'\ оператор С* (рассматриваемый, очевидно, « а ' 2 р )
является сопряженным с оператором С, т. е.

(С /,
Т2 Ш)-=Ы, C*{ g)
2 (5.16)
для любых 7 / б 2^- и y* g(: 2 ^ . (Очевидно, краевое условие (5.14) опре­
2 2

деляет нормально разрешимое расширение оператора М .) 0

Обратно, любому нормально разрешимому расширению А оператора


L можно поставить в соответствие краевое условие вида (5.1.3), для
Q

которого выполнены условия 1), 2) и 3).


П. Если выполняются условия 1), ,2) и 3) и, кроме того, размер­
ности подпространств U\ cz Н\ и V\z cz Н\ — конечные и одинаковые, то
расширение А, соответствуюгцее краевому условию (5.13), регулярно^
разрешимо.
Обратно, любому регулярно разрешимому расширению А опера­
тора Ь соответствует краевое условие вида (5.13), для которого выпол­
0

нены требования 1), 2), 3) и условие равенства размерностей подпро­


странств U\~ и viz.
III. Если подпространство Uiz = 0 и оператор С задан навеем Н 2>

т. е. 2— = Н , и вполне непрерывен (непрерывен), то краевому условию


2

(5.13) соответствует вполне разрешимое (разрешимое) расширение А>


оператора L. Q

Обратно, любому вполне разрешимому (разрешимому) расширению


А оператора L соответствует краевое условие вида (5.13), где и(- = 0
Q

и оператор С задан на всем Н и вполне непрерывен 2 (непрерывен).


Доказательство предложения I в основных чертах уже проведено
выше. Действительно, мы показали, что любому нормально разреши­
мому расширению А соответствует краевое условие вида (5.13), д л я
которого выполнены условия 1), 2) и 3), а сопряженному расширению
А* соответствует краевое условие вида (5.14), причем выполнены соот­
ношения (5.15), (5.15*) и (5.16). Пусть теперь дано краевое условие вида
(5.13), для которого выполнены условия 1), 2) и 3). Обозначим через 2 ' А

совокупность всех функций / 6 2^, которые удовлетворяют условию-


(5.13). Очевидно, 2 C Z 2 A ' , так как для любой функции / 6 2
Lo 0 L<>

= 0 и х / = 0. Кроме того, в область 2^' входит подпространства-


2 0
ОБ ОБЩИХ КРАЕВЫХ ЗАДАЧАХ 221

L
U^czJJ, состоящее из всех решений u уравнения Lu = 0, для кото­
х х
рых 7 гг 6 С/"/", так как для таких элементов у и = 0 и , следовательно,
1 2

x
они удовлетворяют условию (5.13). Подпространство U замкнуто, так
l
как соответствующее подпространство U\ czH замкнуто. 1

Итак, установлено, что в область i2 > входят все элементы / € 2 и A 0 L o


1
u^^U - ж, очевидно, их суммы. Так как любая функция / 6 2ь может
быть представлена в виде суммы /:== / +-ATjV + &v тег остается еще 0
A
охарактеризовать те функции / из 2А' вида / ~-A~ <v + гг, для которых
1
ttJLi/ . Так как эти функции удовлетворяют граничному условию
<5.13), то

l3=C"J (5Л7)
1
(слагаемое и\ \ очевидно, равно нулю для функции / ) . Пользуясь тем,
i(
что y f = ч и ж 7 / = .y A~ v
} ± мы получим из формулы (5.17), что
2 2 t

Tl tt = C I ~ V .
T A (5.18)

Из условия 2) следует, что элементы ^ 2 ~ V принадлежат замкну­ 2

тому множеству Qg в Н ; следовательно, соответствующие элементы v


2

заполняют некоторое замкнутое, в силу изометричности оператора у А , 2

1 1
подпространство V cz V. Очевидно, V = (у А~~ )~ д ~ . 2

1 {
Полагая С = (у? ) С (у А~ ), мы получим из (5.18), что 2

u = Cv, (5.19)
- 1 А
где v 6 V. Так как оператор С —непрерывный и операторы f i и /[ Д"~ — 2

изометрические, то С — непрерывный оператор. Как видно из всего пре­


дыдущего, область 9 ' допускает представление в виде линейной
А

суммы:
2 A ' = . Q L . + ( ^ - + c ) F + i/ , 1 x
Ф-Щ
где
- 1 1 а 1 1
Г=(тй Г с' u^^ii'ut, с = г с Л- . т 7 а

А
Согласно теореме 3 оператор Д , совпадающий с оператором L на
2 ' , является нормально разрешимым расширением оператора L :
А 0

A'f^Lf для любого / € 2 А ' . . г

Предложение II следует из того, что регулярно разрешимое расши­


рение является также нормально разрешимым, и следовательно, все
сказанное выше применимо к регулярно разрешимым расширениям.
Согласно теореме 3 необходимым и достаточным условием регулярной
разрешимости расширения является его нормальная разрешимость,
1 1
конечность и равенство размерностей подпространств U - и V ' в фор­
мулах (1.20) и (1.21). Но если последнее условие выполнено, то раз­
L 1
мерности подпространств U\- =4 у\ U и V't — Ti V " также равны, так
как операторы у и ^ — изометрические, и наоборот, если размерности
г

подпространств U't и V~t равны и конечны, то это же справедливо


1 1
для подпространств U - и V .
222 м. И . вишик

Наконец, предложение III следует из того, что необходимым и до


статочным условием полной непрерывности (непрерывности) оператора^
С, входящего в формулу (5.13), является полная непрерывность (непре­
рывность) оператора

фигурирующего в формуле (5.20) (так как операторы j f и 2 1


у А~ — Л

изометрические). Согласно теореме 3, если оператор С вполне непреры­


1
вен (непрерывен), задан на всем V и U = 0, то А' — вполне разреши­
мое (разрешимое) расширение. Теорема доказана.
З а м е ч а н и е 1. Если подпространство Iff cz H i (V^czHl) функций:
ui (vi), фигурирующее в краевом условии (5.13), соответственно (5.14),
1 2 ( n i )
конечномерно и UiczX (Y) (Vi - cz X (Г)), где р >
v ~ , то v

1 ) ^ 1 " (У\) как конечномерное пространство замкнуто в Н (в Н\); г

2) область определения оператора С ( С * ) , входящего в краевое у с л о ­


вие (5.13), соответственно (5.14), состоит из всех функций *[ / € Н% 2

(~[2 g б Hi), для которых

\ Ч2/-ъЫ* = 0, (5.21>
г
соответственно
\f g-uids-=0
2 (5.22>

для всех функций v{ (s) (: V't (ui (s) 6 Ui), причем интегралы в форму­
лах (5.21) и (5.22) понимаются в смысле Лебега (напомним, что про-
странства Н 2 и Н% естественно вкладываются в X * (Г), где д*<С~—у q Ь
З а м е ч а н и е 2. Пусть дан непрерывный оператор С с областью
определения Й^, образующей замкнутое подпространство X .^ (Г), где q

2 и с 2 п
' в л а с т ь ю изменения с: Х (Г), где р^> ^ ~ ^ . р

Тогда многообразие Q~ П Н образует замкнутое подпространство


2

в пространстве if , так как Н естественно вкладывается в X * (Г), где


2 2 q

;
< ^_ (ср.стр. 213—214).Оператор С, заданный у с л о в и е м С ^ / = 0 ( / 2

для любой функции т 2 / € ^ с П # 2 » - - 2 с сП^2> непрерывна т е г = й

отображает множество 2 т, рассматриваемое как подпространство


( Н 27

в Н (так как с5? (Г) естественно вкладывается в Н^.


г р Следовательно,
краевое условие (5.13) с таким оператором С и подпространством функ­
ций Ui, замкнутым в Н , является нормально разрешимым.
г

З а м е ч а н и е 3. Пусть дано краевое условие вида


Т 2 / = Д /,
Т1 (5.23)

где R — регулярно разрешимый оператор в пространстве Х (Т) 2 и крае­


вое условие

где R* — оператор, сопряженный с R в пространстве X (Y). Покажем, 2

что краевое условие (5.23), соответственно (5.24), определяет регулярно


ОБ ОБЩИХ К Р А Е В Ы Х ЗАДАЧАХ 22а

разрешимое расширение А оператора L : L c 4 c L , соответственно 0 0

регулярно разрешимое расширение А* оператора М : М cz A* cz L. 0 0

Область определения 2 (2А*) состоит из всех функций f(x) б 2 (g (х) 62дг),.


Л L

которые на границе области удовлетворяют соотношению (5.23), соответ­


ственно (5.24), причем Af (х) = Lf (х) для / (х) б 2А, соответственно.
A*g(x)=Mg(x) для g (х) € 2А*. Таким образом, утверждается, что
краевые условия (5.23) и (5.24) определяют сопряженные, регулярно*
разрешимые расширения А и А операторов L и М . 0 0

Обозначим через Ui, соответственно через V~i, подпространство ре­


шений уравнения Ruf = 0, соответственно R*v\ = .0, где uf (s),.
vi (s)6 X {T). Тогда согласно предположению о регулярной разреши­
2

мости оператора R эти подпространства конечномерны и имеют одина­


ковую размерность. Область изменения оператора R совпадает с ортогональ­
ным дополнением V — X (Г) © Vi, а область изменения R — с U ==..
x 2 x

- ^ 2 ( Г ) 0 ^ .
Обозначим через R оператор с областью определения 2 # — U ^ ^ Q R ^
x х

совпадающий на этой области с оператором R: R u^ -= Ru для u £ Q R ^ x } x

Аналогично положим R\v\ = R*v для v € 2 * f] V . Операторы R и i?* x x R x x

1 {
имеют, очевидно, ограниченные обратные i i f и R\~ , причем

(Rt v {
lt и )=-^ ,
х х ЛГЧ) (5.25),

для любых 1 ^ 6 V и'гг 6 t/Y Соотношение (5.25) доказывает, что опера­


x х
-1 - 1
торы i?! и Д]" " , рассматриваемые, соответственно, на подпростран­
ствах V и U сопряжены друг с другом.
x lf

Краевое условие (5.23), очевидно, эквивалентно условию вида

^ / = ^ 2 / + ^ (5.26>

где щ пробегает и{, а краевое условие (5.24) — краевому условию вида


{
fig = Щ- №+ (5.27)
где vi пробегает V\'.
Дальнейшие рассуждения аналогичны тем, которые мы приводили,
в замечании 2. Положим

Cy f — Ri \ /
2 2 для любой функции f / € V Г\Н = 2 с
2 x 2

и
^ T j ^ ^ - ^ i Чг^ б о й функции f gd и [)Н* . = 2 . д л я Л К )
2 г 2 С

«Вложим» область определения 2 оператора С в пространство Н 0 2ь

а область изменения R — в пространство Н . Тогда оператор С будет


c х

д я
ограниченным, т. е. || C f / \ \ н ^ А || Т 2 / 11я Д 2с« Аналогично, опе­
2 1 а

ратор С с областью опред ления 2с* с И\ и областью изменения


R *czH*i — ограниченный. Оба эти утверждения следуют из теоремы
c
2 П
вложения пространств Н и Hi в пространство .<5? * (Г), где ; * < [ _ Д .
2 Q

и теоремы вложения любого пространства с5? (Г), где р ] > Н ^ — - \ в про- р


224 м. и. вишик

странства Н и Н [ . Согласно соотношению (5.25) операторы С и С* со­


Г

пряжены друг с другом. По определению операторов R~~f и С , &с со­


л
стоит из всех элементозз [ / 6 Н , которые ортогональны к подпростран­
2 2

ству Vf, т. е. таких, д л я которых

a QQ# СОСТОИТ ИЗ всех элементов Н . \ , которые ортогональны к под­


пространству U^t

• ; . } ; T ; ? W ^ W * = O. ^Ч*)^- ..'(5.29)
Так как, кроме того, подпространства UJ- и V{~ — конечномерные и
имеют одинаковую размерность, то согласно теореме 4 краевые условия

т^ = ^ т ^ + ^ (5.31)

(которые, очевидно, эквивалентны условиям (5.26) и, соответственно,


(5.27), а следовательно, эквивалентны также условиям (5.23) и (5.24))
определяют регулярно разрешимые и сопряженные расширения А и
Л* операторов Ь и М :
0 0 t с i с L, М cz 4* cz М.
0 0

2. Приведение наперед заданных краевых условий


к к а н о н и ч е с к о м у в и д у . Укажем теперь в общих чертах, как
заданное наперед краевое условие можно привести к каноническому
виду. Подробнее об этом будет итти речь в §§ 7, 8 и 9.
Пусть, например, дано краевое условие

5 32
Й1 Г = Я/1г < - )

где R — линейный оператор (вообще говоря, неограниченный), заданный


на многообразии всех достаточно гладких функций, определенных на
границе Г области D. Для того чтобы решить вопрос, какими свой­
ствами с точки зрения разрешимости обладает краевая задача для урав­
нения (2.1) при краевом условии (5.32), мы приведем это условие к
каноническому виду и далее воспользуемся теоремой 4.
Вычтем из обеих частей соотношения (5.32) выражение Р/\ ' т

33
||т-^/1г=(*-^)/1г' (5- )
1
где Р — оператор, определенный в § 4 ) . Обозначим через подпро-

г
) Как было указано в § 4, оператор Р заведомо определен на всех функциях,
имеющих на границе Г ограниченные вторые производные. В § 7 мы покажем, ч т о
он определен на всех функциях, имеющих суммируемые в квадрате первые произ­
водные.
ОБ ОБЩИХ КРАЕВЫХ ЗАДАЧАХ 225

странство всех решений ui уравнения (R— Р) ui= О, где черта обо­


значает замыкание соответствующего оператора, например, в пространстве
Х (Г) (мы предполагаем, что оно существует), и допустим для простоты,
2

что U~i конечномерно. Мы будем говорить, что функция / ( ^ ) 6 Q удов­ L

летворяет краевому условию (5.32), если ее граничные значения у / и х

•у / связаны соотношением
2

Т 2 / = (Л-/>) /, Т 1 (5.34)
полученным из (5.33) заменой оператора R — P его замыканием
и л я
(R — Р) и введением обозначений ^i Т2 Д соответствующих выраже­
ний. Обозначим через (R — Р) оператор (R — Р), рассматриваемый толь­
г

ко на подпространстве U совпадающем с ортогональным дополнением


l9

к Ui в Х (Г): U ~- Х (T)QUi.
2 x 2 Тогда краевое условие (5.34) можно
представить в следующем эквивалентном виде:

Т г /=(Д - .Р)Гт./+й1> 5
( - 3 5
)

где ui — произвольная функция из Ui. Для того чтобы условие (5.35)


приобрело канонический вид, достаточно положить 2 = 2 - ^ _ ^ - 1 П Н С ( Д р 2

и на этом многообразии считать оператор С совпадающим с оператором


1
( I T Z T ) r : СъЫЯг-РК^ ДЛя /6 2 . Т 2 с

Исходя из свойств оператора С и подпространства Ui и пользуясь


теоремой 4, можно решить вопрос о том, определяет ли краевое усло­
вие (5.35), а следовательно, и (5.32), вполне разрешимое (разрешимое),
регулярно разрешимое или нормально разрешимое расширение А опера­
тора L , L a A CZ L, или же расширение А не принадлежит ни к одному
0 0

из перечисленных типов.
В приведенном выше преобразовании мы пользовались тем, что
краевая задача с условием (5.32) вполне определена (с точностью до
замыканий), если краевое условие (5.32) рассматривать заданным только
для гладких функций / | . г

Если краевое условие имеет вид

/? /i 1 r + J K ;j| ^0
2 r ) (5,36)

то для преобразования его к каноническому виду достаточно предста­


вить его следующим образом:

№ + ад/| г + Л (Й| -^/| ) = 0


2 Г Г (5.37)

(предполагается, что это возможно сделать), или, что то же самое,

(Д 1 + ад / Т1 + Л 2 Т 2 / = 0. (5.38)

Далее, аналогично тому, к а к это сделано выше, мы преобразуем усло­


вие (5.38) к каноническому виду (5.13), но для краткости изложения
мы на этом не будем останавливаться.
1 5 Труды Московского математич. общества
226 3VL И. ВИШИК

§ 6 . Общий вид самосопряженных краевых условий


Если дифференциальный оператор L — самосопряженный в обла­
сти D, т. е. имеет вид
/ , <?/ (х)

Ч З Х к J ( 6 Л )
£/ = -2 ~ д х +c(x)f(x), с(х)>0,
г, к *
то сопряженный дифференциальный оператор Mf совпадает с Lf. Усло­
вия, наложенные на коэффициенты и на область D,— такие же, как в § 2.
В этом случае, кроме перечисленных выше типов краевых условий, пред­
1
ставляют интерес самосопряженные краевые у с л о в и я ) .
Все сказанное в §§ 2, 3, 4 и 5 остается в силе и для самосопряжен­
ного дифференциального оператора (6.1). Так как Lf = Mf, то & = L

Оператор L , заданный на минимальной области определения Q


0 L(f>

совпадает с оператором М : L / = M f для / 6 Q . Описанное в § 2


0 0 0 0 0 0 L o

расширение А оператора L : L czAczL, соответствующее


0 нулевой 0

краевой задаче для оператора L (т. е. такое, что состоит из всех функ­
ций f ^ 2 , обращающихся в нуль на границе Г: /1 = 0, и Af =Lf
L для г

/ б Й ^ ) , является самосопряженным, т. е. А* = А.
Разложение (2.18) остается, очевидно, в силе для оператора (6.1):
1
^ L = &L +А- V + U, (6.2) 0

только в этом случае пространство V решений v уравнения Mv = О


совпадает с пространством U решений и уравнения Lu = 0.
В этом параграфе основное пространство функций X (D) мы будем 2
И Т >
считать унитарным. Области определения Q , Q L , Qj. Д« мы будем L O

поэтому считать состоящими из функций вида / = / + г/ , где f\ и х 2

/ — вещественные функции, принадлежащие соответственно к 2 , &ь ?


2 L 0

<2%. Скалярное произведение задается, очевидно, формулой

[/. g\=\\f-gdx.

Задача о нахождении общего вида самосопряженных краевых усло­


вий для оператора L тесно связана с вопросом о нахождении всех
самосопряженных расширений А оператора L , являющихся частью 0

оператора L (ср. § 3).


Оператор А называется самосопряженным, если из равенства
W, Й = [/, А], (6.3)
выполняющегося для всех функций f(x)6Q , следует, что функция A

g(x)££A и Ag(x) = k(x).


Вопрос о нахождении общего вида самосопряженных расширений А
оператора L , заключенных в операторе L: L cz A cz L, решен в пунк­
0 0

те 2 § 1. Как там показано, область определения 2 любого самосопря- А

*) Для сокращения записи мы не излагаем симметрических, но не самосопря­


женных краевых условий, т. е. таких условий, которые определяют симметриче­
ские, но не самосопряженные расширения оператора L . Очевидно, что общий вид 0

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


сами дефекта, можно получить таким же способом, как ниже выводится общий вид
самосопряженных краевых условий.
ОБ ОБЩИХ К Р А Е В Ы Х ЗАДАЧАХ 227

женного расширения А допускает разложение в следующую прямую


линейную сумму:
Q = QL. + tA- (B
A
x
+ I) + i(E-I)]U, (6.4)
где S — минимальная область определения оператора L ;
L o А—самосо­ 0

пряженное расширение оператора L , соответствующее нулевым краевым 0

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


плексных решений уравнения Lu ==- О, так что 2 / = U, Л / = U. Оператор /
взаимно однозначно соответствует оператору А. Оператор А на 2 совпа­ А

дает с оператором L: Af = Lf для / 6 2 А -


Исходя из этого предложения, мы найдем общий вид самосопряжен­
ных краевых условий в каноническом виде точно так же, как это сде­
лано в § 5 для общих линейных краевых условий.
м ы
Основные граничные операторы f i / и f / будем считать теми же, 2
г е
что и в § 4. Напомним, что T i / O ^ ) * Д / ( # ) 6 2ь>'сопоставляет функ­
ции / ( # ) , заданной в области 2 ) , грубо говоря, ее граничное значение
на Г: ^if(x) = f\ ; оператор v

,_cos (w,au), п — нормаль к границе Г области D,


a
=S iu(^)^-
г
а оператор Р, грубо говоря, сопоставляет граничному значению функ­
ди
ции f(x), т. е. значение ^ : Р ^ = ^ , где и (х) — решение
Г
первой краевой задачи для уравнения Lu = 0, удовлетворяющее на Г
условию и | г == Ti/* В случае самосопряженного оператора граничные
операторы 7* и 7* совпадают, очевидно, с ^ и Аналог формулы Грина
записывается для оператора (6.1) в следующем виде:

[Lf, Й - [/, Lg] = Ы, Ы ) • - Ы > Ы) (6.6)


(см. § 4).
Найдем сейчас краевое условие, соответствующее самосопряженному
расширению А с областью определения 2А> допускающей разложение
вида (6.4). Пусть / 6 2А« Тогда согласно формуле (6.4)
1
f = f Q + A" (E + I)u+i(E-I)u i (6.7)
где / 6 Q L > udll. Применив к обеим частям последнего соотношения
0 0

граничный оператор Yi (Т2)» получим

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

Оператор ^^А" отображает пространство U на Н изометрически (см. § 4,


1
2

стр. 213), поэтому он имеет изометрический обратный оператор (^ А~ )~ , 2


1 1

1 1
Применив оператор (Y ^4.~ )~' к обеим частям равенства (6.9), получим
2

1
.(тД- )"^ = (£+.*)«. (6.Ю)
15*
228 м. И. вишик

1 1
Обозначим через и - подпространство решений и - уравнения
1 1
(Е + /) и - = 0 и через U — ортогональное дополнение к U - в U:
L
U = UQU- ; (6.11)
U приводит оператор E + I. Обозначив через (Е + 1) оператор E+I, 0

рассматриваемый на подпространстве U, и применяя к обеим частям


1
равенства (6.10) оператор (Е + I)^ , получим
1
(Е+1)о (^П^=и 9 (6.12)
L L
где и = и — u (см. формулу (6.11)), и = и -f u . Подставляя в фор­
мулу (6.8) вместо и последнюю сумму и вместо и левую часть форму­
лы (6.12), будем иметь
1 1 х
Ti/ = Ti« (Е -1){Е + 1)о (ъА-Г ^ + Ti' {Е -./). » . (6.13)
L L
ЗаметИхМ, что i(E— /) u = 2 i u так как lu =—u \ оператор
± 1
1

i (Е — I) (Е + — С — самосопряженный в подпространстве
(Е + 1 ) 1 / = U и Q = (Е + / ) U. В связи с этим краевое условие (6.13)
c

можно записать короче так:


1 1 L
Ti/ = TiC(T22- )- W + «i - • (6-14)
L
где и(- — произвольная функция из подпространства U czH Краевое 1 v

условие (6.14), очевидно, полностью характеризует расширение А с


{
областью определения 2 (см. (6.4)). А

1 1
Обозначим оператор ^ С (^ А" У через С. Очевидно, что область
г 2
1
определения этого оператора &с = (Тг^- ) $с> а область изменения опе­
ратора С лежит в подпространстве *[ и : RQCI^U — U так как область г Xi

изменения оператора С лежит в U. Краевое условие (6.14) можно запи­


сать в новых обозначениях следующим образом:

Т1/ = &Т2/ + ЙГ, (6.15)

где Т г / ^ с » и{~ — любой элемент из Ui~.


r
Так как согласно формуле (4.33) для u,u dU

[ц, и ] = (*[г >


г и
12^~ 1 1и
(6.16)
и оператор С — самосопряженный в подпространстве U, т. е.
[Сю, и'] = [и, Си'] (6.17)
1 1
для любых и, ю'(:&с, то оператор С = ч С (^З."" )" — самосопряженный г

в следующем смысле:

( C«, ЧъАгЫ) =
Tl (С Л-%, тД-V)
Т2 = С А'Я),
Ъ (6.18)
1
что можно записать и в таком виде (пользуясь равенствами/[ Л~ гг=^ / 2 2

:
и ^ А' и = т / ' )
2
л г
2

W) = Ы , C f) l2 (6.19)
ОБ ОБЩИХ К Р А Е В Ы Х ЗАДАЧАХ 229

для любых функций 7 /6&cS Т г / ' ^ с - С_другой стороны, легко видеть,


2
1
что если для пары элементов ^ fd^ A~ U и TiT^Ti^ выполнено равен­ 2 2

ство
Ф а / , bf) = (Т./. Тх?) (6-20)
1 и
при любом элементе 7 / б 2 с , фиксированныхТг/^Тг^" ^2 TiT^Ti^ —
то Y / € 2 с и C^ f = Тхф. В этом смысле оператор С , отображающий свою
2 2

1
область определения 2сС'[ Л~ (7 в область R с с 7x^7, является самосопря­
2

1
женным. Заметим, что согласно формуле (6Л 6) подпространства '{JJ - и
7 3. <7 ортогональны: (^гг , 72Я~%) = О
2
_1
для любых ^ и ^ 1
и 1
1

Выше нами установлена следующая


Т е о р е м а 5. Для того чтобы краевое условие вида (6.15) определяло
самосопряженное расширение А оператора L , L czAczL (т. е. чтобы 0 0

совокупность всех функций /, удовлетворяющих краевому условию (6.15),


составляла область определения 2 ^ самосопряженного расширения А ,
LQCZACZL), необходимы и достаточны следующие условия:
1
1) замкнутость подпространства ^JJ - в Н , 1

2) самосопряженность оператора С в смысле формул (6.19) и (6.20).


Область определения 2 с образует всюду плотное множество в подпро­
1
странстве\^ А"^и(сН ), 2 являющемся ортогональным дополнением к ^iiU :
2
l
(4 U ,
1
±
^Ar U) = 0; область изменения Rcd^JJ.
З а м е ч а н и е . Ограничения, наложенные на область изменения Rz,
очевидно, являются несущественными и могут быть сняты. Действительно,
если оператор С, входящий в краевое условие (6.15), имеет область
л
определения 2 с , всюду плотную в ^ А~ и (на область ^изменения R Q 2

никаких ограничений не накладывается), и из соотношения

(СъШ) (6-21)
1 с л е
справедливого для любых 7 / 6 2 с и фиксированного Т г / ^ Т г - ^ ) ^
2 "
дует, что т / € 2 g и C^ f == *{ig + Ti > где # 6 С / , ^ - — некоторый элемент
2 2
tt_L 1

1
из ^С/"' , то краевое условие (6.15) определяет самосопряженное расши­
рение А.
Чтобы в этом убедиться, достаточно в краевом условии (6.15) заме­
нить оператор С оператором PC, где Р — оператор проектирования в
пространстве Н на его подпространство1 • При такой замене класс
функций, удовлетворяющих краевому условию (6.15), не изменится, так
1
как Cf / — PC^f^-JJ -.
2 Но краевое условие (6.15) с оператором PC
удовлетворяет требованиям 1) и 2) теоремы и, следовательно, опреде­
ляет самосопряженное расширение.

§ 7. Оператор Р для эллиптических дифференциальных уравнений


второго порядка

Для рассмотрения конкретных краевых задач большое значение


имеет изучение, оператора Р, входящего в определение второго гранич­
ного оператора ^ . Краевые условия задаются, как правило, не в кано­
2

ническом виде (5.13), а в виде некоторой зависимости между граничными


значениями и производными на границе от искомого решения диффе-
230 м. И . вишик

ренциального уравнения. Мы сможем применить теорему 4 к определе­


нию характера данной краевой задачи, если йреобразуем краевое усло­
вие к эквивалентному каноническому виду (5.13) и затем изучим
соответствующий оператор С и подпространства 9~cdH и UiaH Но 2 v

для этого (см. § 8) нам придется включить в краевое условие оператор


Р^и, так как краевое у слови. (5.13) записывается в виде зависимости
между и у / ^для уравнений второго порядка ? / =
2 | — J?Ti/) • 2 Г

Поэтому при изучении свойств оператора С мы неизбежно вынуждены


будем рассмотреть функциональные свойства оператора Р^и.
В настоящем параграфе устанавливается ограниченность (в некотором
определенном смысле) оператора Р, соответствующего оператору Ла­
пласа в шаре К или эллиптическому дифференциальному оператору в
произвольной односвязной области D.
1. О п е р а т о р Л а п л а с а в ш а р е . Пусть и(х , . ... , ^ — - г а р м о н и ­ г

ческая функция в шаре К радиуса R, ограниченного сферой S. Если


функция и непрерывно дифференцируема вплоть до границы S, то, как
показано в нашей заметке [8], имеет место неравенство

о о

1 d S Г а ( 1 И r a d U d S 7 Л
- ••• + S in^ _ ..sm^
w 2 1 = \ ^ « > g « ) > ( )
s

где r, fr _2 , , . . , & , ср — сферические координаты в ^-мерном простран­


n x

стве; grad^w — градиент функции и по поверхности S.


u
Заметим, что для оператора Лапласа в шаре К (|^r) R . = — P"(i
(см. формулу (4.13)). Поэтому формула (7.1) устанавливает ограничен­
ность оператора Р в следующем смысле:

2
$ | P i " | < \ ( g r a d и, g r a d и) dS,
T s s (7.2)
8 S

2 . С а м о с о п р я ж е н н ы й о п е р а т о р в ш а р е . Пусть в единич­
ном шаре К с границей S дан эллиптический самосопряженный опера­
тор
dv

Lv= 2 —дх~^~ а>хк(х) = ан{х),- (7.3)


г, Ь=1 1

где с (#) ^ 0. Из условия эллиптичности следует, что в каждой точке


х(:К выполнено неравенство

7 4
2 м*)«*>|Ф)2 (-)
Мы предполагаем, что для любого х£К р(х)^ \i^>0, где р.— некото­
рая положительная постоянная.
Если v (х) — решение уравнения Lv = 0, то согласно (4.13)

Р г? = 2 J
Т т (*) C O S ^ , Ж|) = (7.5)
ОБ ОБЩИХ К Р А Е В Ы Х ЗАДАЧАХ 231

Здесь п—внешняя нормаль, так как в (7.3) перед знаком суммы нет
х s
минуса. Оператор Р задан на граничных значениях ( ) = v ( ) реше­
ний v (х) уравнения Lv = 0. Имеем

a
2 ik{p) VxjVxb + с (х) v^dx =

= ^?*^v{s)dS=^Pv(s)v(s)dS (s£S). (7.6)


s s
Следовательно, оператор P, рассматриваемый на гладких функциях v (s),
заданных на границе S, является положительно определенным. Область
определения оператора Р, состоящую из гладких на границе функций,
г
обозначим через 2 р ) . Левую часть формулы (7.6) мы будем обозначать
символом {v, V}L. Оператор Р, очевидно,—самосопряженный.
Оператор Р, соответствующий оператору Лапласа Д и , обозначим
через РА:

Р и АЬ = Р и{ )
А 8 = ^ - , (7.5')

где Аи (х) = 0, Ti^ = и\г= и (s). Для гладкой вплоть до границы гар­
монической функции и(х)

{и, »}д = Ц 2 и\йх =^udS==^P u(s).u A (s) dS. (7.60


К i=l s s
Мы будем считать, что 2 р = 2 р . д

Сопоставим сейчас каждому решению v (х) уравнения Lv (х) = 0, для


v
которого 4i (х) = v (s) 6 2 , гармоническую функцию и (х), принимающую
Р

одинаковые с v (х) граничные значения: и (х) \ = v (х) \ . Мы можем а в

функцию и (х) представить в виде

и(х) = v(x) + С (я),


где С (х) |s = 0, Аи (х) = О, Lv (х) = 0. Как известно, слагаемые v (х) и
Z(x) ортогональны в метрике { , }ь (см. [2]), поэтому
{и(х), и(х)}ь = {v(x), v(x)} L + {С (х), Z{X)}L

и, следовательно,
{v (х), v {x)} < {и (х), и (x)} .
L L ( 7 . 7 )
Пользуясь ограниченностью коэффициентов «$&(#), мы можем правую
часть формулы (7.7) оценить сверху:

{v (х), v (х)} < - { ф ) , и(х)} ^М


ь ь ({и (а?), а (ж)}д + [а (х), и (х)]). (7.8)
Согласно формуле (4.5)

х
) За £1 достаточно, например, взять все функции v(s),
р дважды непрерывно
дифференцируемые на сфере.
232 м. и. вишик

Из соотношений (7.8), (7.9) и (7.6), (7.6'), учитывая условие v (х) \ =и (х) | , т г

получим

[Pv (s) v (s) dS^M x ([P A V (s) v (s)dS + [(v (s))* dS \ . (7.10)
s \s s j
С другой стороны, исходя из условия эллиптичности (7.4) и того, что
с(х)^>> 0, найдем:
v (х) = и (х) + V (х),
{v(x), v(x)} =={a(x),
A и(х)} А + {?(х), С » } ,. д

{и (х), и (х)} < {v (х), v (х)} <-{v


А А (я?), v (х)} , ь (7.11)
г*

^PAU, и dS < Ц Pv • v dS,

или в силу равенства u\ = v\ T T и соотношения (7.10)

P^PAV-vdS^Pv-vdS ^M (\ P v-vdS
1 j A + ^v-v ds\. (7.12)

Запишем последнюю формулу в более симметричном виде:

ji' J (Рл. + E)v(s)-v (s) dS < \ (P+E) v (*) • v (s) dS^M'\ (P + E)v-
A vdS,
8 S S
(7.13)
r
где E— единичный оператор, ^ и M — некоторые постоянные, не зави­
Г
сящие от v(s). Поэтому квадратичные формы операторов Р + Е = Р
и РА + Е = РА положительны и эквивалентны.
Г
Обозначим через Р (Р ) жесткое (см. [14]) самосопряженное расши­
А

рение оператора Р' (РА)» Д Л Я И , ?/€2р = 2 р имеем, очевидно: д

+ E)U =Р'и=Р'*Р'*и
(Р И {PA + E)u = P AU =
R
P ,
A L
P T
A I
U 1
) .

В связи с этим согласно формуле (7.13)

ц' ^P A v•
R l
P A 1
vdS ^ P ^ v - P ' v d S ^ M ^ Р ' А 1
V• Р ' £ vdS. (7.14)
s s s
Из этого соотношения следует, что оператор W, переводящий элемент
P AV 62
элемент P ' V : W P A V = P' v,
2
ограничен: \\W\\<C°o.
2
(Очевидно,,
2

оператор W действует в гильбертовом пространстве % {Г).) 2

Рассмотрим гильбертово пространство R (S) элементов Gu = g = G

= (gradg u(s),u (s)), где и (s) — функция, заданная на сфере S r

grads к (s) — ее поверхностный градиент. Скалярное произведение для


элементов g зададим по формуле

{g, g} = {Gu, Gu} = A [(grad tf, grad w) + u ] dS. S s


2
(7.15)

x 2
) Если Л — самосопряженный положительный оператор, то под А мы пони­
маем корень квадратный из А в смысле спектральной теории операторов.
ОБ ОБЩИХ К Р А Е В Ы Х ЗАДАЧАХ 233

1
Покажем, что оператор P^G' , рассматриваемый на многообразии
элементов g=Guf:R (S), где гг($)6 2 р , имеет вполне непрерывное замы­
G д

кание.
Для доказательства заметим, что согласно формуле (7.6')
и иdS (7Л6)
(р' и, и) А = (Р%, Р%) =^2
К г=1
a
k ' d

*
x +
S' 'S

Если множество функций и (х) таково, что правая часть формулы


(7.16) меньше М, то по теореме о полной непрерывности оператора
вложения (см.[13], [18]) соответствующее множество их граничных значений
u(s) (и (s) = и (х) | ) образует компактное множество в J6 (S).
г Следова­ 2

тельно, множество функций u(s), для которых

1
(P'Ju, Р'£и)*=\\Р' и\\1<М, (7.17)
~ _ i ~ i
2 2
компактно, т. е. оператор Р' , обратный к оператору Р' , вполне не­
прерывен.
Согласно основному неравенству (7.2) мы имеем
2
(P'tG-ig, PlG-ig) = (Р' и (s), P' u (s))
А A = J [(РАЙ) 2
+ 2P u.u A + u ] dS <
s
2
< 2 ^ [(grad S B, grad w) +s u ] dS = 2 {g, g], (7.18)

1 2 - 1
т. e оператор P'^G" ограничен. Следовательно, оператор Рд £ —
= P& ) как произведение вполне непрерывного оператора на
2
( P A G ' 1

ограниченный вполне непрерывен. Из полной непрерывности оператора


1 2 г
P&G' сразу следует полная непрерывность оператора Р G . Действи­
тельно,

F*G-ig = WP'i?G-ig, (7.19)

где согласно доказанному выше — ограниченный оператор.


r2 x
Итак, нами доказано, что оператор P G~ g, рассматриваемый на
множестве всех элементов g = ( g r a d g B , ц ( 5 ) ) , для которых u(s)(:Qp T

2 x
вполне непрерывен. Замыкание оператора P' G~ g, очевидно, задано на
всем пространстве R (S) и также вполне непрерывно. Заметим, что
G

r2 x 2 г Х 2
сопряженный с P G~ g оператор ( Р ' G )* = £* Р ' (черта означает за­
мыкание) также вполне непрерывен. Очевидно, что G* — оператор типа
дивергенции (см. [3]).
Так как операторе' = P + JE, где Р — жесткое расширение опера­
тора Р (Р — неотрицательный оператор), то оператор, переводящий
2
функцию P ' v в функцию Р v 2
4 ограничен: BP' v 2
=P v,2
\ \ В \ \ < С + . эо-
~1 ~ 1
2 1
Следовательно, оператор P G~ g = BP^G^g — вполне непрерывный.
_1 2
Отсюда следует, что сопряженный с P G~^ оператор (P G" Y 2 2 1
= G* P —
также вполне непрерывный.
м. и. вишик

3. О п е р а т о р Р д л я с а м о с о п р я ж е н н о г о эллиптическо­
г о о п е р а т о р а в о б л а с т и D. Пусть D — ограниченная, односвяз-
ная область с достаточно гладкой границей Г и
ди

L u =
2 —ёу—^- (у) с и 7 2
( - °)
г, к~1

— самосопряженный эллиптический оператор в D; с (у) >- 0. Оператор Р ,


соответствующий дифференциальному оператору Lu в области D, обозна­
чим через Р. Согласно формуле (4.13) для достаточно гладких решений
уравнения Lu = 0

(у) = Ри (у') = - 2 a (y'f-^


u cos (п, у ), к (7.21)
г, &=1

где у' — точка_границы Г области D, п — внешняя нормаль. Докажем,


что оператор Р обладает такими же свойствами, как соответствующий
оператор Р рассмотренный в пункте 2 этого параграфа. Этот факт легко
у

установить, отображая область D на единичный шар К с границей S.


Предположим, что дважды непрерывно дифференцируемое преобразова­
ние координат
У| У^Я + Г, x^K+S, (7.22)
топологически переводит единичный шар К + S на область (Z) + Г),
причем якобиан преобразования ^ > а ^ > 0 в каждой точке x€K+S.
При преобразовании координат (7.22) оператор Lu перейдет в оператор
/ D(y) dv(x) \

С с 0 п е
где г, (ж) = и (ср (а?)) = гг (у), А п = ^ ^ ^ ^ . (*) = (? (*))• ~
3 1
i, *=d
г » г. #Ы
ратор отличающийся от оператора L v множителем -щ^у-, очевид­
но, — самосопряженный в К. Пусть и (у) — решение уравнения Lu = 0.
Тогда функция v (х) = и (ср (х)) есть решение уравнения L'v = 0, а сле­
довательно, согласно формуле (7.23) Lv(z) = 0. Имеем

0 - [Гв, и% = - ^(2 в ^
с те
+ (2/)0^ + S ^'' (' г v
Й ЙГ 7

где в'(г/) — произвольная гладкая функция в D, и

<>=№». «о,—s\ (2 <<« ЁЙ;+«(»<*» -о 4$ *+s я- «• -


—SS Cs «и» A + <*> *»') +S£ с rfy (7
- 25)

Сравнивая правые части формул (7.24) и (7.25), получим:


С ди С dv , г, С / dS 7 /а о / ? \
ОБ ОБЩИХ КРАЕВЫХ ЗАДАЧАХ 235

r
Так как в соответствующих точках функции и! и v принимают одни
ж те же значения, и и! может быть произвольной гладкой функцией на
Г, то согласно равенству (7.26)
д и Ы * ) ) = d v & ) <М ,^ {Х ( 7 > 2 7 )

В силу того что для всех x'GS 0<с < х (x')<C.C v оператор умноже­
г
ния на функцию ^ (х ) ограничен сверху и снизу.
В предыдущем пункте мы доказали, что оператор
Г l l
РК (Х ) = P G~ g, (7.28)

где g = (gmdsV, v) является вполне непрерывным относительно g; на­


помним, что скалярное произведение {g, g} задается по формуле (7.15). s

Согласно формулам (7.21), (4.13) и (7.27) (и (у) —решение уравнения Lu = О,


y£D; v(x) = и (ср (х)) — решение уравнения Lv (х) = О, х£К) имеем:
ди (у

Р — оператор, соответствующий дифференциальному оператору Lv.


Рассмотрим оператор типа поверхностного градиента по Г: Gru(y') =
г е
= ( g r a d r u ( ^ ) , к (у')), Д / С Г, grad w (?/') —градиент функции и (у') r

относительно некоторой локальной системы координат на поверхности Г.


Введем скалярное произведение по формуле

{G u (</'), G u
r v (*/')} = \ I 2 * * * + *) >
г
Л

г
в dV (7 3
- °)
Г Ч.Л=1 * /

ik
где g — контравариантные компоненты метрического тензора поверхно­
сти Г, (ki) — локальная система координат на Г. (Очевидно, сумма

2 д Тд \ ~ Р а в н а к в
а д р а т у длины поверхностного градиента функ-
1 k
i,k=i
n-i ди ди
г = radrW r a d
ции и (у ) по Г: ^ S^df Ж~ fe > g r^).)

Пусть Т— оператор, сопоставляющий элементу Gru(y') элемент


G v (х'), где v (х') = и (ср ( # ' ) ) , x'dS. Так как отображение поверхности Г
s

на S — гладкое, то
c {G v,
s s G v} s s < {G u, G u} v v v < C 2 G^} (7.31)
1
и, следовательно, оператор 7 ограничен сверху и снизу.
Заметим, что

v
г z> i, *=i 1
I
c
+ (<P (*)) w ' ) ^ = \% v'dS=(Pv,v') , s (7.32)
236 м . и. вишик

или
l
(Р*и, Ри\ = {P v, PV)/). (7.33)
1 —1
2
Следовательно, оператор / : I P 2
v = Р и, — изометрический, и оператор
l 2
P G-ig v = IP G^Tg v (7.34)

вполне непрерывен, так как оператор Т ограничен (Tg = g


v где
g = G u,
r v g — G v;
s g G, r G — операторы
s типа градиента); оператор
2
PG S вполне непрерывен, как было показано в пункте 2, а оператор
1 1 , -—>————
2
/ — изометрический. Сопряженный с P Gv оператор (P^Gfj*= G^P*
также вполне непрерывен.
З а м е ч а н и е . Пусть в области D дан несамосопряженный эллипти­
ческий оператор
dw

= 2 Щ^+ЪШщ-сМч (7.35)
г, k=i i=l г

причем с(у)^>0 для з / б ф + Г). Оператор (? можно представить в виде

^ = Zw+JjA(y)-^, (7.36)
г
i=*i

где оператор Lw определяется по формуле (7.20). Сопоставляя, как вы­


ше, решению w (у) однородного уравнения Qw = 0 решение и (у) одно­
родного уравнения Lu = 0, причем w\ = u\ (ср. с п. 1 настоящего v v

параграфа), можно показать, что

dw ди
r + Z ( g r a d ^ , w), r (7.37)

Г д е = а C 0 S € Г а Z
г 23 ^ ^ ^ ду ^ ^ ' ~ ограниченный опе-
r
ратор, заданный на элементах g = ( g r a d ^ (y ), w(y')), причем норма v r

2 =
11#г11 {#г> #г)г определяется по формуле (7.30); очевидно, область
изменения оператора Z лежит Вс5? (Г). Соотношение (7.37) можно пере­ 2

писать также в виде

PQ4I W
= P*ii w
+ z
(gradr-o; (s), w (s)), (7.38)

где PQ — оператор P (см. формулу (4.13)), соответствующий Q , a P


определяется формулой (7.21).

x
) Очевидно, что Р* (или • Р*) понимается так же, как в пункте 2, т. е., рас­
сматривается жесткое расширение оператора Р (или Р) и берется корень квадрат­
ный из этого расширения в смысле теории операторов.
ОБ ОБЩИХ КРАЕВЫХ ЗАДАЧАХ 237

§ 8. Краевые задачи с дифференциальными операторами на границе


области для эллиптических дифференциальных уравнений
В этом параграфе мы рассматриваем следующую краевую задачу.
На границе Г области D задано условие
ди
Ru{s) + Fu(s) ($€ Г), (8.1)

Тд д — эллиптический дифференциальный оператор на поверхности Г,


е

р — ограниченный оператор на поверхности Г (например, интегральный);


в области D ищется решение эллиптического дифференциального урав­
нения

Zu 1 8 2
= S Ч^-^и^/и ). (-)
г,к=1 к

удовлетворяющее на Г краевому условию (8.1); с О, f(x)(:<% (D). 2

В локальной системе координат (Х , . . . , X -i)> введенной на куске Г: х n

. . i к . . г
i,k=l г= 1
П р и преобразовании координат
l
K=Vi( ) (8.4)

Ли преобразуется по обычным правилам. Мы предполагаем выполнен­


ным следующее условие:

S( 2 щж>>°\{ 2 « " щ щ ) "


ла г
1. (8-5)
ik
где g — контравариантные компоненты метрического тензора поверх­
ности Г. Перепишем оператор Ru в виде
В is) . ди
n—i Q А h
n—1

д( Xi
s t \ ' +s *; ^+г о ) » w (8.6)
ж обозначим сумму главной части Ли ( 5 ) и функции и (s) через Г:
D (s) iJc ди

Г» "
, к=1
5 $
w
2 %
К
г
+ и . (8.7)
г
) Можно было бы рассмотреть более общее дифференциальное уравнение вида
г

Qu = f, где Q определяется формулой (7.35), и для него рассмотреть краевую зада­


чу (8.1). Все нижеследующее осталось бы без изменения, только в формуле (8.13)
следовало бы воспользоваться соотношением (7.38). Для простоты мы ограничились
уравнением вида (8.2).
2
) Рассуждения, приведенные ниже, остаются в силе, если вместо оператора
Ли и в краевом условии (8.1) написать оператор—Ru.
3
) Заметим, что это условие заведомо выполнено, если
1
гк ди ди V,* \к ди ди
Е А

д\ д\ к
>

^ '
с

2л д \ д\ к

i, к=1 г, к=1

для любой гладкой функции u(s).


238 м. и. вишик

Оператор Ти является положительным самосопряженным оператором:


на поверхности Г, причем

(Ти, и) =\Tu.udT
г = U 2 A i k
+ и ЛdT = {Gu, Gu} , T (8.8>
1 К
Г Г \г,£=1 J

где Gu = (grad и, и). Неравенство (8.5) можно переписать в виде


r

{Gu, Gu} ^c{Gu, T Gu} , v (8.9)

где значение {Gu, Gu} определяется формулой (8.8), a {Gu, Gu} —


T v

формулой (7.30). Оператор Ти можно представить в виде


Tu = G*Gu, (8.10)
где G* — оператор типа дивергенции, сопряженный с оператором G п р и
скалярном произведении {,} (см. [3]), т. е. г

{Gu,-Gv} =^G'Gu-vdr
T = ^Tu-vdT.
г г
Представим правую часть (8.1) в виде
Ru+Fu = Tu+Vu, (8.11)

где Vu=(C'(s) — l)u(s) + + Fu. Вычтем из обеих частей к р а е -


4
г=1 _

вого условия (8.1) оператор PjU, соответствующий оператору Lu


(см. (8.2)) (оператор Р-^и рассматривался нами в п. 3 § 7):

d
£\ -P u(s)
r j: = Ru(s) + Fu( )-P u(s), S i: (8.12)

и запишем последнее краевое условие в следующем виде:


X
Т з и = G * ( £ + G*~WG~ — G*~*P\P\G-^) Gu (s) = R^u (x) = R u (s),
{ (8.13)
u
где *[\ (x) = и (s); при этом мы воспользовались формулами (8Д1) и
(8.10). Правую часть мы для краткости обозначили через R u(s). 1

Заметим следующее:
1
1) Так как оператор G имеет вполне непрерывный обратный G" ш
-1
(G )* = то оператор — также вполне непрерывный.
2) В силу того что оператор Vu является суммой дифференциального
1
оператора первого порядка и ограниченного оператора, оператор VG' —
1
ограниченный, а оператор G^WG' — вполне непрерывный (см. [3]).
х
3) Согласно п. 3 § 7 операторы Р\р~ и G^P— вполне непрерывны.
1 1
Отсюда следует, что оператор G^P^G" •= G^P^Pf^G' вполне непре­
рывен.
Возьмем в гильбертовом пространстве Х ( Г ) замыкание оператора R u, 2 x

стоящего в правой части краевого условия (8.13); функция и (s) при­


надлежит к области определения 2 ^ - замыкания R этого оператора, v

если и (s) принадлежит к области определения замыкания G оператора G


ОБ ОБЩИХ КРАЕВЫХ ЗАДАЧАХ 239

1 1
и элемент (Е + G-WG" - G^PlPlG' ) Gu (s) 6 . 2 . , где S . - область G G

определения оператора G*. Значение оператора R на таких функциях x

u(s) определяется формулой


1
\ и (s) = G*(E+ G^WG' — G-WJjPEG-^Gu (s).

Так определенный оператор R u(s) является регулярно разрешимым


1

оператором. Это следует из перечисленных выше свойств 1), 2) и 3)


(доказательство проводится совершенно аналогично доказательству тео­
ремы 4 в нашей работе [3]).
Отсюда, согласно замечанию 3 § 5 следует, что краевое условие

?2^ = i?iTitt (8.14)

(^ и = и (.s)) определяет регулярно разрешимое расширение А опера­


х

тора L : LQ a A a L.
0

Если и (s) = и (х) | — г л а д к а я функция (например, дважды непрерывно


г

дифференцируемая на Г), то краевые условия (8.1) и (8.14) налагают


на функцию и одни и те же требования на границе Г, т. е. условиям
(8.1) и (8.14) удовлетворяет один и тот же запас функций и(х) с глад­
кими значениями на Г. В связи с этим мы будем считать краевые
условия (8.1) и (8.14) эквивалентными, т. е. будем считать, что функ­
ция и (х) удовлетворяет краевому условию (8.1), если она удовлетво­
ряет условию (8.14), и наоборот. После «замыкания» в указанном смысле
краевого условия (8.1) мы можем сказать, что краевое условие (8.1)
определяет регулярно разрешимое расширение i , L c i c Z . 0

Краевое условие, сопряженное с (8.1), имеет вид

•^l-.R-v + F-v, (8.15)


где R*v— дифференциальный оператор, сопряженный с R; F*v — огра­
А
ниченный оператор, сопряженный с Fv (в£ ( ))• Краевое условие (8.15)2

может быть преобразовано к виду

1 1
1 v = G* ( Е + G*~W*G- — G^P^P^G- )
2 Gv = R\^v = R[v (s)
(v
b (x) = v(s));

R\ является оператором, сопряженным с оператором, стоящим в правой


части условия (8.13). Следовательно, согласно замечанию 3 § 5 крае­
вое условие (8.15) определяет регулярно разрешимое расширение А*
оператора L (M = L , в силу того, что L — самосопряженный диффе­
0 0 Q

ренциальный оператор), сопряженное с расширением А: (А)*=А*,


L CZ A* CZ L.
0

Итак, выше доказано, что для краевых задач: 1) Lu = f (см. (8.2))


в области D и „ д и
= Ru (s) + Fu (s) на Г (см. (8.1)) и 2) Lv = g в обла-
<9vг
emu D и j = R*v (s) -f- F*v (s) на Г (см. (8.15)) имеют место три

теоремы, анхлогичные теоремам Фредгольма (ср. с теоремой 4 нашей


работы [3]).
240 м. и. вишик

Если оператор, стоящий в правой части краевого условия (8.1),—


отрицательно определенный, т. е.
2 2
J (Ru (s) + Fu (s)) и (s) dr < — a J u (s) dV (8.16)
г г
2
где a — постоянная, не зависящая OTU(S), ТО оператор, стоящий в пра­
вой части формулы (8.12), имеет вполне непрерывный обратный. Дей­
ствительно, в силу отрицательной определенности оператора R + F и
оператора — однородное уравнение

(R + F-P )u(s)=0
T

имеет только нулевое решение. Но тогда, так как оператор


1 1
(R + F — p^u (s) = G*(E + G'-WGr — G^P^G- ) Gu (s)

— регулярно разрешимый, то он имеет ограниченный обратный


1 1 1 1 1 2
(R + F — Pj-)- = G' (Е +G ^VG' — G^P^G- )-^*" ).

Последний оператор — вполне непрерывный Вс5? (Г), как произведение 2


1 1
вполне непрерывных операторов G' и G*" и ограниченного оператора
1 1 1
(Е + G*~WG~ — G^P-fG' )' .
1 1
Обозначим через i ? f оператор (R + F — Р^)' - Применив его к обе­
им частям граничного условия (8.13), получим

i
R ~ 4 u=4 u.
l 2 1 (8.17)

i
Положим C^ u = R\~ ^u для любого у и(:Н , 2причем область изменения 2 2
1
оператора С будем считать вложенной в Н . Так как RT — вполне не­ г

прерывный оператор, то в силу теорем вложения (см. § 4) оператор С,


отображающий пространство Н в Н ,— вполне непрерывный. 2 г

Краевое условие (8.17) можно записать в следующем эквивалентном


виде:
С и = ч и,
Ъ х (8.17)
где С — определенный выше оператор. Согласно теореме 4 краевое
условие (8.17') определяет вполне разрешимое расширение А опера­
тора L : LQCZACZL.
0

г
) Это условие выполнено, например, тогда, когда

D(s) i7e ди

Ru = — ? л + си
>

где с (s) < — а для <? £ Г, и ограниченный оператор F — отрицательно определенный.


2

2 1 1 _1 -1 1
) Существование и ограниченность оператора (Е + G*~ VG~ — ( 3 * Р — G ) "
следует из эквивалентности однородных уравнений (R + F — Р-) и = 0 и
1 1 1 1 1
(Е + G*- VG~ — G*~ Pj-G-^Gu^O и полной непрерывности оператора G*~ VG~ —
1 1
— G*~ P—G~ (ср. с § 4 нашей работы [3]).
ОБ ОБЩИХ КРАЕВЫХ ЗАДАЧАХ 241

Этим доказано, что краевая задача Lu==f(x) в области D при уело-


ди
вии -7г- = Ru(s) + Fu(s), где оператор R -f F — отрицательно опре-
д\>
г
деленный (т. е. выполнено неравенство (8.16), причем R — эллиптический
дифференциальный оператор), —разрешима, и притом единственным
образом, для любой правой части f(x)^X (D). Оператор L, рас­ 2

сматриваемый на функциях, удовлетворяющих на границе указанному


1
краевому условию, имеет вполне непрерывный обратный L" , т. е. реше­
1
ние поставленной задачи можно представить в виде u(x)=L~ f(x),
1
где L" —вполне непрерывный оператор.
З а м е ч а н и е 1. Рассмотрим следующую краевую задачу.
Найти в области D решение уравнения (8.2) при краевом условии
ди
= Bu(s), (8.18)
~д7
г
где В — ограниченный оператор (например, интегральный или оператор
умножения на ограниченную функцию: А'и (s) .= a (s) и (s)). Чтобы убе­
диться в том, что краевое условие (8.18) определяет регулярно разре­
шимое расширение Л оператора L , L c i c i , вычтем из обеих частей
0 0

условия (8.18) Р~и:

Последнее соотношение можно записать так:


ди
- P u = P'J (P
z z ЦВ + Е ) Р' Т \-Е) Р'^и (s), (8.20)

где Е — единичный оператор.


P L = P — - \ - E , Как было показано в § 7,
L L
г—1
2
оператор Р^ — вполне непрерывный. Отсюда следует, что оператор
2
P'j- * (В + Е) Р'^ — вполне непрерывный, а следовательно, оператор,
стоящий в правой части краевого условия (8.20),— регулярно разреши­
мый [3]. Согласно замечанию 3 § 5 этого достаточно для того, чтобы крае­
вое условие (8.20) определяло регулярно разрешимое расширение А
оператора L , L cz A czL. Тем самым доказано, что краевое условие (8.18)
0 0

определяет регулярно разрешимое расширение А оператора L , т. е. 0

для краевых задач:


1) Lu = f (х) в области D и = Ви (s) на Г
<9v
г
и
fly I

2) Lv = g(x) в области D и ,-^-| =B*v(s) наТ,


где В*— оператор, сопряженный с В, имеют место три теоремы, ана­
логичные теоремам Фредгольма (ср. с теоремой 4 нашей работы [3]).
Если В—отрицательно определенный оператор, то легко установить,
как это сделано выше, что уравнение Lu = f(x) при краевом усло­
вии (8.18) на Г разрешимо, и притом единственным образом, для любой
функции f(x) € X (D). Оператор L, рассматриваемый на функциях и(х),
2

1 6 Труды Московского математич. общества


242 м. и. вишик

удовлетворяющих краевому условию (8.18), имеет вполне непрерывный


1
обратный Z r .
З а м е ч а н и е 2. Если краевое условие (8.1) содержит параметр X:

- ^ L = Ru + Fu + Xu, (8.21)

то уравнение Lu — О в области D при краевом условии (8.21), нало­


женном на функцию и, может иметь ненулевое решение лишь для дис­
кретного множества значений параметра X; для всех остальных значе­
ний параметра X оператор Lv, где v — любая функция, удовлетворяю­
щая условию (8.21) (и к которой, очевидно, применим оператор L),.
имеет вполне непрерывный обратный, т. е. краевое условие (8.21) опре­
деляет вполне разрешимое расширение оператора L . 0

Для доказательства вычтем из обеих частей соотношения (8.21) Р и (s): т

'|£| г - Р и (s) = Ru (s) + Fu (s) + Ы (s) - Р~и (s),


т (8.22)

Запишем последнее условие в виде

4 u = Ru(s)-\-Fu{s)
2 + lu(s) — P u(s).
T (8.23)

Так как оператор R — эллиптический на Г, а оператор PfjG^g, где


g = (grad zj, и (s)), — вполне непрерывный, то методами, совершенно
r

аналогичными приведенным в § 7 нашей работы [3], устанавливается г

что уравнение на Г

Ru (s) + Fu{s) + hi ($) — Pju (s) = 0 (8.24)

лишь для дискретного множества значений X имеет ненулевое ре­


шение. Для остальных значений X оператор R -j- F -f- ХЕ — Pz имеет
вполне непрерывный обратный (очевидно, в пространстве £ (Т)): 2
1
(R -\- F ХЕ— P J Z ) ^ Применяя для этих значений X оператор
Fx к обеим частям условия (8.23), получим

V^ u
2 = u(s) = 7 ц .
х (8.25)

Если вполне непрерывный в Х (Г) оператор Vx рассматривать как опе­


2

ратор, отображающий пространство Н в H то в силу теорем вложе­


2 lt

ния (установленных в § 4) он будет также вполне непрерывным. Отсюда


согласно теореме 4 следует, что краевое условие (8.25), а следовательно,
и краевое условие (8.21), определяет вполне разрешимое расширение
оператора L (очевидно, для значений X, не совпадающих с указанным
Q

выше дискретным множеством). Для значений X, совпадающих с точка­


ми указанного дискретного множества, краевое условие (8.21) опреде­
ляет регулярно разрешимое расширение.
З а м е ч а н и е 3. Приведенные выше рассуждения без существенных
изменений переносятся на тот случай, когда оператор L (см. уравне­
ние (8.2)) является несамосопряженным. В краевом условии (8.1) вместо
оператора Ru можно взять довольно общий эллиптический оператор
порядка 2тп. При этом рассуждения в основном не изменятся.
ОБ ОБЩИХ К Р А Е В Ы Х ЗАДАЧАХ 243

§ 9. Самосопряженные краевые задачи с дифференциальными


операторами на границе области
Пусть на границе Г области D задано условие
ди
= Qu + Ви (9.1)
~дЧ
г г
где
„ л D (s) и. ди

п D{\) у О (X) ^<ЭХ.

а ^ — ограниченный самосопряженный оператор в пространстве Х ( Г ) . 2

Пусть задан в области D самосопряженный эллиптический дифферен­


циальный оператор Lu, определенный формулой (8.2)*.
Мы покажем в этом параграфе, что краевое условие (9.1) определяет,
самосопряженное расширение оператора L : L c i c L (см. § 6). Q 0

Переходя к доказательству этого факта, представим, как и в пре­


дыдущем параграфе, оператор Ти, заданный формулой (8.7), в виде
G*Gu (см. формулу (8.10)). Вычтем из обеих частей краевого условия
(9.1) Р и: Т

^ ^ — P J U ^ Q U + B U — P J U . (9.3)

Представив Qu + Ви в виде суммы G'Gu + Zu (Zu = С (s) и — и -)- Ви)


и воспользовавшись тем, что i u = ^- — PjU, можно записать условие 2

(9.3) в виде
1 1 1
Ъ и = G'Gu - Pju + Zu - G* (E - G*: P\ P\ G" + G'^ZGr ) Gu =
= G* (E + S) Gu, (9.4)
- 1 1 X X
где S ™ — G* " P\P^ G" + G*" ZG \ В силу полной непрерывности
i i
X 1 1
операторов P~^G~ , G** .?—, G~\ G*" и непрерывности оператора Z
оператор S —- вполне непрерывный и, очевидно, самосопряженный (точ­
нее, имеет самосопряженное замыкание).
Для того чтобы оператор G* (Е + S) G стал самосопряженным в Х (Г) 2

в смысле теории операторов, достаточно поступить следующим образом.


Обозначим через 2— область определения замыкания G оператора G,
заданного на многообразии Q непрерывно дифференцируемых на Г G

функций. Через & * обозначим область определения оператора G*,


G

сопряженного с G в смысле теории операторов (ср. с § 4 нашей ра­


боты [3]). Понимая под S замыкание оператора, обозначенного выше
той же буквой и рассматриваемого на гладких элементах вида Gu, мы
определим Q — —область определения оператора G* (Е + S)G, как
G # ( E + S )

область определения произведения трех соответствующих операторов.


Аналогично тому как это сделано в пункте 5 § 4 нашей работы [3],
убеждаемся, что оператор G* (Е + S) G — самосопряженный.

г
) Все нижеследующие рассуждения остаются в силе и в том случае, если
в краевом условии (9.1) вместо оператора Q u поставить оператор — Q u .

16*
244 м. и. вишик

«Замкнем» сейчас в известном смысле краевое условие ( 9 . 4 ) , а именно,


мы ^удем считать, что в правой части краевого условия ( 9 . 4 ) стоит
замкнутый оператор G* (Е + S) Gu. Как и в предыдущем параграфе, мы
будем считать, что краевые условия (9.1) и ( 9 . 4 ) эквивалентны, т. е.
функция и (х) удовлетворяет краевому условию (9.1), если она удовле­
творяет краевому условию ( 9 . 4 ) , в котором справа стоит замкнутый
оператор G* (Е + S) Gu. Это требование сводится к некоторому «замы­
канию» краевого условия (9.1).
Обозначим через подпространство решений (в Х (Г)) однород­ 2

ного уравнения
G*(E + S)Gu = 0. (9.5)

Уравнение ( 9 . 5 ) эквивалентно уравнению


(E + S)Gu = 0. (9.6)

Отсюда в силу полной непрерывности оператора S следует, что подпро­


странство Ui конечномерно.
Обозначим через U ортогональное дополнение к U(- в
x Х (Г): 2

U = Х (Г) О Ui. Оператор £* (Е + S) £ , рассматриваемый только на


x 2

многообразии U Г) (E+S) G> обозначим через [G* (Е + S) G] . Очевид­


x x

но, что оператор [G* (Е 4- S) G] действует в подпространстве U и яв­


x X

ляется в нем самосопряженным. В силу регулярной разрешимости


оператора G* (Е + S)G (см. § 8 ) оператор [G* (Е + S) G] имеет ограни­ x

ченный обратный [G* (Е -f- S) G]i~\ который, очевидно, будет самосопря­


женным в подпространстве R ^ = U. Q x

Применим к обеим частям краевого условия ( 9 . 4 ) оператор


[G* (Е + S) С ] ! ; тогда это условие можно записать в следующем экви­
- 1

валентном виде:
1
[G*(E + S) С ] Г Т 2 Й = Т 1 ^ + ^ , ' (9.7)

где и\- — произвольная функция из и(~.


Заметим следующее: так как пространство Х (Т) естественно 2

вкладывается в Н и подпространство и(- (лежащее


х в Х (Г)) ко­ 2

нечномерно, то ^ я в л я е т с я замкнутым подпространством Н : U{- (J Н ~ х х

= Ui (см. § 4 ) .
Положим U = H f]U 2(напомним, что пространство Н естественно
2 1 2

вкладывается в с5? (Г); см. § 4 ) и будем рассматривать U как подпро­


2 2

странство Н ; оно замкнуто в Н , так как пространство U замкнуто в


2 2 x

с5? (Г). Обозначим через С оператор [G* (Е + S) G]i~\ рассматриваемый


2

x
ва U : Си = [G* (Е + S) G]\~ и для u €U .
2 2 Тогда краевое условие ( 9 . 7 )
2 2 2

можно записать в следующем эквивалентном виде:


^ и = С^ и + и(-
х 2 г (9.8)

где &z = U , 2 ui^Ub.


Согласно замечанию к теореме 5 краевое условие ( 9 . 8 ) определяет
самосопряженное расширение А оператора L : L a A a L. Действи­ 0 0

тельно, область определения 2g совпадает с «ортогональным» дополнением


ОБ ОБЩИХ К Р А Е В Ы Х ЗАДАЧАХ 245

в II 2 к Ui, т. е. выполнение равенства

(Т и, uj~) = 0
а (9.9)

для любого элемента ui G Ui является^ необходимым и достаточным


условием принадлежности ^ и к 2 - = U . (Заметим, что выражение
2 2

( Т 2 > W " ) равно интегралу Лебега от перемножаемых


Ц
функций, так как
и{~ d <% (Т); см. § 4.) Соотношение (9.9), очевидно, следует из того,
2

что U а 1/ и и
2 ± ортогонально к Ui в с 5 ? ( Г ) .
г 2

Оператор С — ограниченный и самосопряженный в следующем смысле:

для любых функций 7 / , 7 £ € й ~ = С / . Q'c =U — замкнутое подпрост­


2 2 2 2

ранство в Н \ этим и соотношениями (9.9) и (9.10) доказано выполнение


2

всех условий замечания к теореме 5 (стр. 229), относящихся к опера­


тору С.
Итак доказано, что краевое условие (9.8) определяет самосопряжен­
ное расширение А оператора L , L cz A cz L. 0 0

Заметим в заключение, что краевое условие (9.8) с точностью до


«замыкания» эквивалентно условию (9.1); следовательно, и последнее
определяет самосопряженное расширение оператора L o v

З а м е ч а н и е . Если оператор Q + В, стоящий в правой части фор­


мулы (9.1), — отрицательно определенный в смысле формулы (8.16), то
согласно результатам предыдущего параграфа краевое условие (9.1)
определяет расширение А оператора L , L cz A cz L, имеющее вполне
0 0

непрерывный обратный Так как расширение А —- самосопряженный


оператор, то отсюда следует, что спектр оператора А будет дискретным.
Легко видеть, что он расположен на одной полупрямой.

Литература
1. В е к у а И. Н., Новые методы решения эллиптических уравнений, Гостех-
издат, 1948.
2. В и ш и к М. И,, Метод ортогональных и прямых разложений в теории
эллиптических дифференциальных уравнений, Матем. с б . , 25 (67): 2 (1949),
189—234.
3. В и ш и к М. И., О сильно эллиптических системах дифференциальных
уравнений, Матем. сб., 29 (71):3 (1951), 615—676.
4. В и ш и к М. И., Об общем виде линейных краевых задач для эллиптиче­
ского дифференциального уравнения, ДАН СССР, 77, № 3 (1951), 373—375.
5. В и ш и к М. И., О некоторых краевых задачах для эллиптических диффе­
ренциальных уравнений, ДАН СССР, 77, № 4 (1951), 553—555.
6. В и ш и к М. П., Линейные расширения операторов и краевые условия,
ДАН СССР, 65, № 4 (1949), 433-436.
7. В и ш и к М. И., О линейных краевых задачах для дифференциальных
уравнений, ДАН СССР, 65, № 6 (1949), 785—788.
8. В и ш и к М. И., Об одном неравенстве для граничных значений гармони­
ческих функций в шаре, Успехи матем. наук, 6, вып. 2 (1951), 165—166.
9. Ж и р о ( G i r a u d G.), Sur le probleme de Dirichlet generalise, Ann, Sc. Ec.
Norm, sup., ser. 3, 46, № 5 (1929), 131—245.
10. Ж и р о , Sur differentes questions relatives aux equation de type elliptiques,
Ann. Sc. Ec. Norm, sup., ser. 3, 47, № 7 (1930), 197—266.
11. К а л к и н ( C a l k i n J.), Abstract symmetric boundary conditions, Trans. Amer.
Math. S o c , 45, № 3 (1939), 369—442.
246 м. и. вишик
12. К а л к и н , Symmetric transformations in Hilbert space, Duke Math. Journ., 7
(1940), 504-508.
v
13. К о н д р а т о в В. И., О некоторых свойствах функций из пространства L ,
Р
ДАН СССР, 48, № 8 (1945), 563—566.
14. К р е й н М. Г., Теория самосопряженных расширений полуограниченных
эрмитовых операторов и ее приложения. I, Матем. с б . , 20 (62) :3 (1947), 431—495.
15. Л е в и Е. Е., О линейных эллиптических уравнениях в частных производ­
ных, Успехи матем. наук, вып. 8 (1941), 249—292.
16. С о б о л е в С. Л., Об одной краевой задаче для полигармонических уравне­
ний, Матем. с б . , 2 ( 4 4 ) : 3 (1937), 465—499.
17. С о б о л е в С. Л., Об одной теореме функционального анализа, Матем. с б . ,
4 (46) : 3 (1938), 471-497.
18. С о б о л е в С. Л., Некоторые применения функционального анализа в мате­
матической физике, Изд. ЛГУ, 1950.

Вам также может понравиться