Академический Документы
Профессиональный Документы
Культура Документы
Ru
All Russian mathematical portal
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
ОГЛАВЛЕНИЕ
В ведение.., • 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 м . и. вишик
тора A): Af\x) = Lf (х) для f {х)£0. . Говорят, что оператор А является
А
/ (X)€QL
0 0 L f (x) = Af (х) = Lf (x)). Так как, кроме того, i c L (Q cz 2^),
0 0 0 0 A
решение дается следующей формулой: J(P) — \ ' ' ' \ G (Р, Р') h (P ) dP'= r
Г
= А~ Л, где G(P, Р') — соответствующая функция Грина, А" —опера
1
1
значение на Г: 4 i f (х) = f\ , v
и В Т 0
Р ° й граничный оператор ^2» сопо
ставляющий любой функции f(x)(:QL, грубо говоря, следующее выра
жение: f / (х) = |^ | — Pf | , где Pf | = -~ , а и (х) — решение первой
2 г г г г
ищи А) (§§ 4 и 5). Мы говорим, что такие краевые условия имеют кано-
[нанесши вид.
Для решения вопроса о том, к какому типу в смысле разрешимости
принадлежит любая наперед заданная краевая задача для уравнения (1),
например, задача с краевым условием
§ 1 . Расширения операторов
В настоящем параграфе устанавливается ряд предложений, касаю
щихся общей теории расширений операторов (необязательно самосопря
женных). Поэтому § 1 имеет с точки зрения функционального анализа
самостоятельный интерес и может читаться независимо.
Как мы уже указывали раньше, вопрос об общих краевых задачах
тесно свявшГ'^'^онросом об оощем виде расширений. В связи с этим мы
даем в § 1 подготовительный материал, касающийся функциональной
стороны вопроса об общих краевых задачах. В дальнейших параграфах
все результаты, доказанные в абстрактном виде в настоящем параграфе,
будут сформулированы с соответствующими пояснениями в применении
к дифференциальным операторам.
1. Л и н е й н ы е р а с ш и р е н и я о п е р а т о р о в . Условимся относи
тельно некоторых обозначений.
192 м. и. вишик
подпространство в Н.
Обозначим через L оператор, сопряженный с М в смысле теории 0
д л я любого g € Q
Положим L f = = с р , / = L ^ c p o и рассмотрим на R
0 0 0функционал
0 L O
5
4 Ы = ( й , ^ Л о ) = (б',?о) (*- )
или ,
(h,f ) = (g,L U).
0 0 (1.6)
L cz A cz L , допускает замыкание.
0
свойствами:
1) % = # ;
2) оператор А имеет ограниченный обратный А : \\А ||<^ + оо.
ОБ ОБЩИХ К Р А Е В Ы Х ЗАДАЧАХ 193
(L f ,v)=0
0 Q (1.8)
±^jryX
tt e Так определенный оператор .А является искомым расшире
нием.
1
Действительно, Rj = =^ + U -) = R 0 F = # , т. е. усло 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(
1
буем, чтобы i ? - i ^ d R( M(оператор Mo"" отображает R
M Q на Q ^ , а Mo
Q = 2 z . „ + 2 ~ V +U,
L (1.12)
Mv = 0, (1.13)
Lu = 0, (1.14)
ратор, обратный к А.
Д о к а з а т е л ь с т в о , Заметим прежде всего, что область определе
ния Q_£ оператора А допускает следующее разложение в прямую ли
нейную сумму:
Q =Q +A-W.
x Lo (1.15)
Q =Q
L Z + U, (1.16)
QM = Q M o +
i
T- U+V, (1.17)
и 2) теоремы 1,
Замкнутый оператор А мы назовем нормально разрешимым, если необ
ходимым и достаточным условием разрешимости уравнения
Af = h, /62 А ) (1.18)
1 1
обратные L^ и Л/о" , то существуют расширения А оператора L , 0
1
L cz A cz L, имеющие вполне непрерывные обратные А" , причем
0
13*
196 м . и. вишик
1
2А« = 2М + 0 (3*- + С*)^ + ^ \ (1.21)
ясение
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 ^ Q ^ + ^ + Q F . (1.29)
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)
ff=;%eF©F, - - (1.зз)
RA* = RM 0 + U, (1.35)
198 м. и, вишик
( M b + C ) B ) = ( ( ^ + CKi),
и так как
л
(z>, А*~ и) = (A^v, и),
получаем, что
(v, Си) = (Cv, и), (1.40)
Af = Lf для f€Q . A
-1 1
в) Предположим, что операторы L Q И МО" вполне непрерывны.
Тогда согласно теореме 1 существует, по крайней мере, одно расшире
ние А оператора Х , L cz A cz L, имеющее вполне непрерывный обрат
0 0
L 0 czAcz.L.
В случае разрешимых расширений достаточно требовать ограничен
1 1
ности операторов Z/o" и Мо" . Легко видеть, что характерными призна
ками таких расширений являются непрерывность оператора С , Q = V, C
R czU. c • *
2. С а м о с о п р я ж е н н ы е р а с ш и р е н и я о п е р а т о р о в . Теория
самосопряженных расширений операторов хорошо изучена. В приложе
ниях этой теории к эллиптическим дифференциальным операторам
интересен тот случай, когда существует, по крайней мере, одно само
сопряженное расширение А данного симметрического оператора L : Q
1
LQCZA.CZ Ь \ = Ь , имеющее ограниченный обратный А" (или вполне непре
рывный обратный).
Пусть L — замкнутый симметрический оператор в унитарном про
0
как показано в работах [1^], [14], существует, по, крайней мере, одно]
самосопряженное расширение А оператора L , имеющее ограниченный 0
1 1 : :
обратный А" : \\ А" [| << + оо. .- _
Выведем сейчас общий вид самосопряженных расширений А опера
тора L . При этом мы представим области определения 2-^ этих расши
0
г
f = U + Ar4i'+u» (1.42)
200 м. и. вишик
и
/ = /о + + «2. Из условия
(Af, /') = (/, I / ' ) (1.43)
сразу выводим, что
и
^ 2 ) = (и > д- (1.44) 2
и г =и+ 1и,
ч т ^ (1.45)
4
u = i{u — / и ) , ' 2
г, £ = 1 \ ' г=1
в в
г,
2&=1 «<*>М>р (2ч)
I, &=1 ^ г=1 /
для любой точки reGi? и любых действительных чисел .., ?. п
г
для любых пар несовпадающих точек Р, Р 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
\\f{P)\\^K\\h{P)\\. (2.10)
^удем считать, что решение / (Р) нулевой краевой задачи (2.3), (2.4)
г
) Для сокращения записи мы будем символ | j употреблять для обозначения
п—>оо п->оо
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
Г
Обозначим через Мо оператор с областью определения 2 , состоя М
r
такие же значения, как оператор Ж: M g (x)=Mg (x) для g (ж) 6 Q^r. ЛегQ 0 0 0
(2.13)
изводными на границе Г.
С другой стороны, любая функция f (x), которая 1.) допускает внутри 0
Lf (х) € Я ,
0 2) имеет непрерывные первые производные в (D + Г) и
3 ) / | г = %:;|г = 0 ( / == 1 , 2 , . . . , п) принадлежит к 2 L o : /j>(a:)€Q . Область
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
ох
Г г Г
x
так: если Lf = h] то / = A~ h, а и = /—/.)
Согласно теореме 3 (стр. 195) область определения 2 любого А
ние (1.20).
§ 3. Вводные замечания
Как указывалось во введении, существует тесная связь между линей-1
ными однородными краевыми задачами для уравнения Lf = h и линей-1
ными расширениями А оператора L : L c z A cz L. Напомним вкратце! 0 0
, / ч , / ч I df (s) df (х) I ъ „
где / (s) = f (x) [г, —^т" = I г , а л j i л - некоторые линейные опе
д 2
t o C i c L ^ c Q A C ^ ) . (3.2)
Оператор А мы будем называть расширением оператора L , соответ 0
RR f(s)
1 + R R 2 ^ - = 0, (3.3)
полученному применением к обеим частям (3.1) обратимого оператора ^
Условие (3.3) формально отличается от краевого условия (3,1), но на
7
самом деле оба они ((3,1) и (3.3)) налагают на функции / одни и те же
условия на границе, так как обоим этим краевым условиям удовлетво
ряет один и тот же запас функций / . Поэтому по расширению А мы построим
одно определенное, соответствующее ему однородное краевое условие,
которое будем называть краевым условием в каноническом виде. Далее,
мы укажем, каким образом любое однородное краевое условие приводится к
каноническому виду, и как решается вопрос о том, какими свойствами
обладает расширение А, соответствующее наперед заданному краевому
условию.
Краевое условие в каноническом виде записывается в виде зависи
мости между граничным значением / (х) |г и некоторым другим выраже-
^ нием, составленным по значениям / ^ и ~ г . Предварительно мы рас-,
\ # пространим настолько понятие граничного значения функции: f(x) A
1. Г р а н и ч н ы й о п е р а т о р Ti (Ti) и п р о с т р а н с т в о Н (#*). 1
Й
нем к и (KV): и => и , (v => v)*). Функция и (х) (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 г
п 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), состоя г
п
Если последовательность и (х) => и (х), то последовательность со
п х й
ответствующих граничных значений YI {и ( )) = ? »• рассматриваемых
как элементы пространства Н , сходится в метрике (4.9) к некоторому г
n
элементу и : • и" •=> и . Аналогично из v =>-v
г х следует, что • v* => v v
г
) Заметим, что мы получим то же пространство H ( # | ) , если i будем исхо
дить из линейного многообразия H i (Н^) функций, бесконечно дифференцируемых
на границе Г.
ОБ ОБЩИХ К Р А Е В Ы Х ЗАДАЧАХ
2
со степенью р, где р ^> ^ ^ для п^>2, и р^> 1 для п = 2, вложи
мо в Н . х
2 (п 1)
L
/(s)€<5? , где р^—^— ,fn(s)~>f-
p С другой стороны, та же после-
довательность функции / ( $ ) , рассматриваемых как элементы про
п
в случае « > 2 и
= } )
в случае п = 2 . Отсюда в силу теоремы С. Л. Соболева об интегралах
типа потенциала (см. [ 1 7 ] . [ 1 8 ] ) последовательность {f {s)} сходится в Н ). n 1
1
== / ( s ) , и очевидно, • . ч
\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
соответственно
dv где• Mv = 0 и 7 ^ = 7 * 1 / . (4.13*)
г'
Иными словами, оператор Р сопоставляет граничному значению
функции / 6 2 внутреннюю нормальную производную ~ на границе Г
от решения гг задачи Дирихле для уравнения Lu = 0 при граничном
условии и | г = Ti/- То же мояшо сказать об операторе Р*.
Производную д и
функции и (v) на границе Г в формуле (4.13),
г
Положим
W 1
г —Prftg Д л я
любого gf 2*. (4.15)
ъфО (ифО)).
Обозначим через 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 * ) ,
т * ( ! * - ! « ) = J ^ f: dG s)
и (Л) d\ - ^ iT(s, *)и г (t) dt, (4.17)
8
i) г
{ 1
(у* (А*- и), udU), через Я ( Я * ) ) . Введем в многообразии Я (Я*) ска 2 2
1 1
{ТаД - ^, Т И " ^ > 2 = J J
Г 1
^1 ( > 5 d
* d i f
= ^']' ( 4 Л 9
)
гг
соответственно
42
.{^д-ч т;^*"»'}^ J J ^ о »i (?) 1
= t»» •' • (-°)
гг
степенью по Г.
х
) Заметим, что многообразие Я образует в пространстве <£? (Г) всюду плотное 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^ \ и переходя к пределу при п->оо, полу
чим равенство
Ы(А-Ъ), f (A*-iu)y
2 2 = [u,u] (4.22)
(g^2 )
M согласно формуле (2.18), соответственно (2.21):
_ 1 1
где / 6 2ь„,
0 Д ^6Jr ^, udU, соответственно
где g € И 0 м Л * " 1
^ 4*~Ч7, <г>€7. Легко показать, что оператор у (у*) 2
2 1 }
со степенью д*), где д* — любое число < д = , к некоторой
функции ср (s)€<S? « (Г), причем справедливо неравенство e
!1тИ _ 1
^Ь .(Г).<сУр^
в т,(^^. (4.25)
1
граничных^значений у (A~ v) реализовано как пространство функций 2
s = = 1 v
? () И " ) i каждая из которых принадлежит пространству X ^ (Г),
где <7* — любое
л Ш число<С^——~
—2 п
Отметим, что пространство Н функций на границе с метрикой (4.19) 2
где 4 {A~ v) 2
1(
в правой части рассматривается как элемент X *(Y), q
1
a y (A~ v)2 после символа В — как элемент Н , то неравенство (4.26) 2
[v, v ] = \ r
Ж* (t) dt) v (s)ds =-
t
г г
= S ТГ И
Г
Т 2 (А-1
Ъ') ds= ( frт
T 2 (А-гЪ')), (4.28)
(г)
5 (ж)67, сходящуюся в метрике X v (Г), где р = — ^ — - + в, к не
{l)
которой функции
(x)) = > f,(v (x))., v£V. Co- ср (s) = f (v (х)): f (v
X (?) p
мьзс
7 ( 2 ~ V ) . В силу неравенства (4.27), в котором g* = ^ ~ 2 ^ п Т '
2
2
-1
ак функции f (Л" */) в метрике пространства # 2 (n-p+ns *)• Записав сейчас
2
п—2+ns
r
соотношение (4.28) при 5 = 5 (г)
и v = и переходя к пределу при
i - v o o и /->©о, мы получим
n—2+ns
то нами доказано следующее важное для дальнейшего предложение.
Формула (4.29) <?е/?шг любой функции v'dV, или, что то же,
для любого граничного значения y (A'ty)€H и для любой функции v(:V, 2 2
2 (п — 1)
чем — - .
п
Заметим, что любая функция 7^ (v) €Х р (Г), где р >> п » опре
деляет на # 2 линейный функционал l * y {v) (у {Arty)) = (7* (v),
2 y (A~ty)).
2
l
r.a-**).№) = (? ('o),
l T a (I-v)), • (4.3i)
ri—2+ns п ^ 5
216 м. И. вишик
^ 2{п~1)
Р> — —.
п
Совершенно аналогично вышеизложенному устанавливается, что все
г
граничные элементы j * (А*~ и), принадлежащие //*, являются функциями г
сопряженным с Н : Н1 = (Н ). г 1
и так как LJ 0 = Lf 0 и Mg 0 0 = Mg , то (i
одинаковых элементов / 6 Q и g ^ . L M
Отметим еще раз, что если граничное значение y\g или yj сумми
2
руемо по Г со степенью / ? > ^ ~ ^ , то (j f, 2 или {^ f, *[* g) выра
i 2
/6Q
L с точностью до слагаемого / . Действительно, если / = / + 0 0
2 ==Q
A Lo + (A^+C)V+U , 1
(1.20)
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
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
(5.4)
вую часть (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
1
менты вида у^а - — через uj-. Тогда краевое условие (5.5) запишется так:
1if = CtJ + ub. (5.6).
Итак, мы показали, что любая функция /, принадлежащая удов
летворяет краевому условию (5.6). Обратно, если некоторая функция
/ * G 2 удовлетворяет краевому условию (5.6), то она принадлежит к
L
(или А * ) , в виде
f = Cr g + vi, (5.7)
ig 2
ОБ ОБЩИХ КРАЕВЫХ ЗАДАЧАХ 219
г
где С * = (7*Л*" )" —оператор с областью определения у*А* 11 и
1 1
1 см
Учитывая это соотношение и равенство у / — Т г ^ ^ ( « (5.3)) для 2
( Т 2 /,^) = 0 (5.10)
Щ =о (5.И)
(Cbf,f g)
2 = ( ^ ( T j f - O - V T a f ^ T a g ) . = (т,<Я f A"4) 2 = [Cv,u} =
=( 12 f,c%g), 5
(- ) 12
и/-^У (5.13)
f =-CY g +
ig 2 ^ , (5.14)
(^^Т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
L
U^czJJ, состоящее из всех решений u уравнения Lu = 0, для кото
х х
рых 7 гг 6 С/"/", так как для таких элементов у и = 0 и , следовательно,
1 2
x
они удовлетворяют условию (5.13). Подпространство U замкнуто, так
l
как соответствующее подпространство U\ czH замкнуто. 1
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)
1 1
подпространство V cz V. Очевидно, V = (у А~~ )~ д ~ . 2
1 {
Полагая С = (у? ) С (у А~ ), мы получим из (5.18), что 2
u = Cv, (5.19)
- 1 А
где v 6 V. Так как оператор С —непрерывный и операторы f i и /[ Д"~ — 2
суммы:
2 A ' = . Q L . + ( ^ - + c ) F + i/ , 1 x
Ф-Щ
где
- 1 1 а 1 1
Г=(тй Г с' u^^ii'ut, с = г с Л- . т 7 а
А
Согласно теореме 3 оператор Д , совпадающий с оператором L на
2 ' , является нормально разрешимым расширением оператора L :
А 0
\ Ч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 п
' в л а с т ь ю изменения с: Х (Г), где р^> ^ ~ ^ . р
;
< ^_ (ср.стр. 213—214).Оператор С, заданный у с л о в и е м С ^ / = 0 ( / 2
- ^ 2 ( Г ) 0 ^ .
Обозначим через R оператор с областью определения 2 # — U ^ ^ Q R ^
x х
1 {
имеют, очевидно, ограниченные обратные i i f и R\~ , причем
(Rt v {
lt и )=-^ ,
х х ЛГЧ) (5.25),
^ / = ^ 2 / + ^ (5.26>
Cy f — Ri \ /
2 2 для любой функции f / € V Г\Н = 2 с
2 x 2
и
^ T j ^ ^ - ^ i Чг^ б о й функции f gd и [)Н* . = 2 . д л я Л К )
2 г 2 С
д я
ограниченным, т. е. || C f / \ \ н ^ А || Т 2 / 11я Д 2с« Аналогично, опе
2 1 а
• ; . } ; T ; ? W ^ W * = O. ^Ч*)^- ..'(5.29)
Так как, кроме того, подпространства UJ- и V{~ — конечномерные и
имеют одинаковую размерность, то согласно теореме 4 краевые условия
т^ = ^ т ^ + ^ (5.31)
5 32
Й1 Г = Я/1г < - )
33
||т-^/1г=(*-^)/1г' (5- )
1
где Р — оператор, определенный в § 4 ) . Обозначим через подпро-
г
) Как было указано в § 4, оператор Р заведомо определен на всех функциях,
имеющих на границе Г ограниченные вторые производные. В § 7 мы покажем, ч т о
он определен на всех функциях, имеющих суммируемые в квадрате первые произ
водные.
ОБ ОБЩИХ КРАЕВЫХ ЗАДАЧАХ 225
•у / связаны соотношением
2
Т 2 / = (Л-/>) /, Т 1 (5.34)
полученным из (5.33) заменой оператора R — P его замыканием
и л я
(R — Р) и введением обозначений ^i Т2 Д соответствующих выраже
ний. Обозначим через (R — Р) оператор (R — Р), рассматриваемый толь
г
к Ui в Х (Г): U ~- Х (T)QUi.
2 x 2 Тогда краевое условие (5.34) можно
представить в следующем эквивалентном виде:
Т г /=(Д - .Р)Гт./+й1> 5
( - 3 5
)
из перечисленных типов.
В приведенном выше преобразовании мы пользовались тем, что
краевая задача с условием (5.32) вполне определена (с точностью до
замыканий), если краевое условие (5.32) рассматривать заданным только
для гладких функций / | . г
/? /i 1 r + J K ;j| ^0
2 r ) (5,36)
(Д 1 + ад / Т1 + Л 2 Т 2 / = 0. (5.38)
Ч З Х к J ( 6 Л )
£/ = -2 ~ д х +c(x)f(x), с(х)>0,
г, к *
то сопряженный дифференциальный оператор Mf совпадает с Lf. Усло
вия, наложенные на коэффициенты и на область D,— такие же, как в § 2.
В этом случае, кроме перечисленных выше типов краевых условий, пред
1
ставляют интерес самосопряженные краевые у с л о в и я ) .
Все сказанное в §§ 2, 3, 4 и 5 остается в силе и для самосопряжен
ного дифференциального оператора (6.1). Так как Lf = Mf, то & = L
краевой задаче для оператора L (т. е. такое, что состоит из всех функ
ций f ^ 2 , обращающихся в нуль на границе Г: /1 = 0, и Af =Lf
L для г
/ б Й ^ ) , является самосопряженным, т. е. А* = А.
Разложение (2.18) остается, очевидно, в силе для оператора (6.1):
1
^ L = &L +А- V + U, (6.2) 0
[/. g\=\\f-gdx.
соответственно
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
i (Е — I) (Е + — С — самосопряженный в подпространстве
(Е + 1 ) 1 / = U и Q = (Е + / ) U. В связи с этим краевое условие (6.13)
c
1 1
Обозначим оператор ^ С (^ А" У через С. Очевидно, что область
г 2
1
определения этого оператора &с = (Тг^- ) $с> а область изменения опе
ратора С лежит в подпространстве *[ и : RQCI^U — U так как область г Xi
в следующем смысле:
( C«, ЧъАгЫ) =
Tl (С Л-%, тД-V)
Т2 = С А'Я),
Ъ (6.18)
1
что можно записать и в таком виде (пользуясь равенствами/[ Л~ гг=^ / 2 2
:
и ^ А' и = т / ' )
2
л г
2
W) = Ы , C f) l2 (6.19)
ОБ ОБЩИХ К Р А Е В Ы Х ЗАДАЧАХ 229
ство
Ф а / , 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
(СъШ) (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) теоремы и, следовательно, опреде
ляет самосопряженное расширение.
о о
1 d S Г а ( 1 И r a d U d S 7 Л
- ••• + S in^ _ ..sm^
w 2 1 = \ ^ « > g « ) > ( )
s
2
$ | P i " | < \ ( g r a d и, g r a d и) dS,
T s s (7.2)
8 S
2 . С а м о с о п р я ж е н н ы й о п е р а т о р в ш а р е . Пусть в единич
ном шаре К с границей S дан эллиптический самосопряженный опера
тор
dv
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 =
Р и АЬ = Р и{ )
А 8 = ^ - , (7.5')
где Аи (х) = 0, Ti^ = и\г= и (s). Для гладкой вплоть до границы гар
монической функции и(х)
и, следовательно,
{v (х), v {x)} < {и (х), и (x)} .
L L ( 7 . 7 )
Пользуясь ограниченностью коэффициентов «$&(#), мы можем правую
часть формулы (7.7) оценить сверху:
х
) За £1 достаточно, например, взять все функции v(s),
р дважды непрерывно
дифференцируемые на сфере.
232 м. и. вишик
получим
[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 и(х)} А + {?(х), С » } ,. д
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]) самосопряженное расши
А
+ E)U =Р'и=Р'*Р'*и
(Р И {PA + E)u = P AU =
R
P ,
A L
P T
A I
U 1
) .
ц' ^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
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
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
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
С с 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
r
Так как в соответствующих точках функции и! и v принимают одни
ж те же значения, и и! может быть произвольной гладкой функцией на
Г, то согласно равенству (7.26)
д и Ы * ) ) = d v & ) <М ,^ {Х ( 7 > 2 7 )
В силу того что для всех x'GS 0<с < х (x')<C.C v оператор умноже
г
ния на функцию ^ (х ) ограничен сверху и снизу.
В предыдущем пункте мы доказали, что оператор
Г l l
РК (Х ) = P G~ g, (7.28)
{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^).)
на 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)
= 2 Щ^+ЪШщ-сМч (7.35)
г, k=i i=l г
^ = Zw+JjA(y)-^, (7.36)
г
i=*i
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)
x
) Очевидно, что Р* (или • Р*) понимается так же, как в пункте 2, т. е., рас
сматривается жесткое расширение оператора Р (или Р) и берется корень квадрат
ный из этого расширения в смысле теории операторов.
ОБ ОБЩИХ КРАЕВЫХ ЗАДАЧАХ 237
Zu 1 8 2
= S Ч^-^и^/и ). (-)
г,к=1 к
. . i к . . г
i,k=l г= 1
П р и преобразовании координат
l
K=Vi( ) (8.4)
д( Xi
s t \ ' +s *; ^+г о ) » w (8.6)
ж обозначим сумму главной части Ли ( 5 ) и функции и (s) через Г:
D (s) iJc ди
Г» "
, к=1
5 $
w
2 %
К
г
+ и . (8.7)
г
) Можно было бы рассмотреть более общее дифференциальное уравнение вида
г
д\ д\ к
>
^ '
с
2л д \ д\ к
i, к=1 г, к=1
(Ти, и) =\Tu.udT
г = U 2 A i k
+ и ЛdT = {Gu, Gu} , T (8.8>
1 К
Г Г \г,£=1 J
{Gu,-Gv} =^G'Gu-vdr
T = ^Tu-vdT.
г г
Представим правую часть (8.1) в виде
Ru+Fu = Tu+Vu, (8.11)
d
£\ -P u(s)
r j: = Ru(s) + Fu( )-P u(s), S i: (8.12)
Заметим следующее:
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
1 1
и элемент (Е + G-WG" - G^PlPlG' ) Gu (s) 6 . 2 . , где S . - область G G
тора L : LQ a A a L.
0
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 + F-P )u(s)=0
T
i
R ~ 4 u=4 u.
l 2 1 (8.17)
i
Положим C^ u = R\~ ^u для любого у и(:Н , 2причем область изменения 2 2
1
оператора С будем считать вложенной в Н . Так как RT — вполне не г
г
) Это условие выполнено, например, тогда, когда
D(s) i7e ди
Ru = — ? л + си
>
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
- ^ L = Ru + Fu + Xu, (8.21)
4 u = Ru(s)-\-Fu{s)
2 + lu(s) — P u(s).
T (8.23)
что уравнение на Г
V^ u
2 = u(s) = 7 ц .
х (8.25)
^ ^ — P J U ^ Q U + B U — P J U . (9.3)
(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
г
) Все нижеследующие рассуждения остаются в силе и в том случае, если
в краевом условии (9.1) вместо оператора Q u поставить оператор — Q u .
16*
244 м. и. вишик
ного уравнения
G*(E + S)Gu = 0. (9.5)
валентном виде:
1
[G*(E + S) С ] Г Т 2 Й = Т 1 ^ + ^ , ' (9.7)
= Ui (см. § 4 ) .
Положим U = H f]U 2(напомним, что пространство Н естественно
2 1 2
x
ва U : Си = [G* (Е + S) G]\~ и для u €U .
2 2 Тогда краевое условие ( 9 . 7 )
2 2 2
(Т и, uj~) = 0
а (9.9)
что U а 1/ и и
2 ± ортогонально к Ui в с 5 ? ( Г ) .
г 2
Литература
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.