246 |
ГЛ. IV. ОПЕРАТОРЫ В ГИЛЬБЕРТОВОМ ПРОСТРАНСТВЕ |
|
можно найти по формуле |
л |
|
|
|
|
|
<р(х, К) — cos У Я х + |
J К(х, t) cos У К td t. |
|
|
о |
Описанные здесь построения удается обосновать при усло |
||
виях: |
интеграл |
|
1) |
|
|
|
о |
da*(Я) |
|
J |
|
|
—оо |
|
существует при любом вещественном х, |
||
2) |
функция |
|
|
оо |
|
а ( х ) = \
1
имеет непрерывные производные до 4-го порядка включи тельно.
Если функция q(x) имеет непрерывную производную, то указанные условия необходимы для разрешимости обратной задачи.
Ли т е р а т у р а : [24], [45].
§8. Эллиптический дифференциальный оператор
второго порядка
1. Самосопряженное эллиптическое дифференциальное выра жение. Пусть задано дифференциальное выражение второго по рядка в самосопряженной форме:
*— |
i ~ -jf |
+ с М и м> |
|
i, fe=i |
|
где x = (X\,... ,xn)—точка /z-мерного пространства. Предпола гается, что коэффициенты aih(x) и с(х), а следовательно, и все выражение 1и определены в некоторой области G и на ее гра нице Г. Матрица (aik(x)) — симметрическая.
Выражение 1и называется эллиптическим, если все собствен ные числа матриц (aih(x)) ограничены снизу положительной константой равномерно на G + Г. Это определение согласуется
собщим определением (см. § 4, п. 3).
Вдальнейшем предполагается: область G ограничена, гра
ница Г достаточно гладкая; коэффициенты aih(x) обладают ча стными производными первого порядка, непрерывными в зам
|
§ 8. ЭЛЛИПТИЧЕСКИЙ ДИФФЕРЕНЦИАЛЬНЫЙ ОПЕРАТОР |
|
247 |
||||||||
кнутой |
области G + |
Г; |
функция |
с(х) |
непрерывна |
в |
G + |
Г и |
|||
с ( х ) ^ 0 . |
|
|
|
|
T) |
(см. гл. I, § |
1, п. 5) |
ин |
|||
Для |
функций из класса C(2)(G + |
||||||||||
тегрированием по частям получается формула Грина |
|
|
|
||||||||
|
Jlav dx — J ulv dx |
J |
|
v— u |
|
|
|
|
|||
|
o |
o |
|
г |
|
|
|
|
|
|
|
З д е с ь —дифференцирование |
по |
направлению |
конормали |
||||||||
в точке границы Г: |
П |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
||
|
|
-5 7 = |
2 |
аш (х) cos (я, xk) |
, |
|
|
|
|||
|
|
|
i,k=l |
|
|
|
1 |
|
|
|
|
где через п |
обозначен |
единичный |
вектор |
внешней |
нормали |
||||||
к поверхности Г. |
|
|
|
|
|
|
|
|
|
||
Ли т е р а т у р а : [3], |
[43]. |
|
|
|
|
|
|
|
|||
2. |
Минимальный и максимальный операторы. L-гармониче- |
||||||||||
ские функции. В гильбертовом пространстве L2(G) |
рассматри |
||||||||||
вается |
множество Do, |
состоящее из финитных в G функций. |
|||||||||
Равенством |
L'oii = lu |
на |
Do определяется линейный оператор, |
||||||||
который в силу формулы Грина будет симметричным. Опера тор L'Q является положительно определенным. Замыкание L0 оператора L'o будет также симметричным оператором, кото рый называется минимальным оператором, порожденным вы ражением 1и.
Область определения минимального оператора состоит из
всех тех функций |
из пространства W\{G) (см. гл. II, |
§ |
1, п. 5), |
||
для которых |
ц|г = |
0 и |
= 0 . |
|
|
Оператор |
L = |
А |
|
|
|
Lo, сопряженный к L0 в пространстве L2(G), |
|||||
называется |
максимальным |
оператором. Оператор |
L |
может |
|
быть получен как замыкание оператора L', определенного формулой IJv = lv на множестве всех бесконечно дифференци руемых в G + Г функций v(x).
Индекс дефекта оператора L0 равен оо. Дефектное подпро странство U, ортогональное к области значений оператора L0, состоит из всех решений уравнения Lu = 0. Эти решения на зываются L-гармоническими функциями. Гладкая L-гармони- ческая функция и определяет на границе Г некоторую функцию Ф, значения которой совпадают с граничными значениями функ
ции и: |
q){s) = u(s) |
(S G T). |
|
|
|
|
|||
Оператор |
у, реализующий |
соответствие |
ф, может быть |
|
расширен по |
непрерывности |
на |
все пространство U. Таким |
|
248 |
ГЛ. IV. ОПЕРАТОРЫ В ГИЛЬБЕРТОВОМ ПРОСТРАНСТВЕ |
|||
образом, каждой L-гармонической функции взаимно однозначно |
||||
ставится |
в соответствие ее «обобщенное» граничное значение |
|||
уи. Для |
характеристики |
обширности |
дефектного |
пространства |
U можно |
указать, что совокупность |
граничных |
значений всех |
|
L-гармонических функций содержит в себе пространство L2(T) |
||||
и даже LP(T) при р ^ |
2(п —■\)/п, когда п > 2, |
и при р > 1, |
||
когда п = 2. Полностью |
совокупность |
граничных |
значений мо |
|
жет быть |
охарактеризована н терминах обобщенных функций. |
|||
В связи со сложной природой граничных значений L-гармо нических функций области определения самосопряженных рас ширений оператора L0, вообще говоря, не допускают описания с помощью граничных условий в классической форме. Эти об ласти описаны с помощью граничных операторов, не допускаю щих в общем случае представления в рамках математического анализа. Здесь приводится лишь описание самосопряженных расширений, отвечающих тремосновным краевым задачам ма тематической физики.
Ли т е р а т у р а : [3], [43], [157], [170].
3.Самосопряженные расширения, отвечающие основным краевым задачам. Жесткое расширение L^ оператора L0 опре
деляется формулой L^u = lu на множестве Wl{G) всех функ ций из Wt{G),- обращающихся в нуль на границе Г.
Областью определения корня квадратного Lj/2 и з жесткого' расширения L^ является множество W\ (G), состоящее из всех функций из W2(G)f обращающихся в нуль на Г.
Таким образом, D (L^) и D(Ljl2) характеризуются одним и тем же граничным условием, но разными условиями гладкости.
Решения уравнения L^u = f называются решениями первой однородной краевой задачи для уравнения 1и = /. Для этих решений справедливо важное неравенство
Для области определения сопряженного к L0 оператора L справедливо представление
D{L) = D{Lo)®L»'U®U
(см. § 4, п. 3). Функции из D(Lo) и L^lU принадлежат Wl(G), следовательно, «негладкость» функций из области определения
D(L) может возникать |
только за счет L-гармонических слагае |
||
мых из U. |
определяемый |
на всех |
функциях из |
Оператор L°u = lu, |
|||
Wl (G), удовлетворяющих граничному |
условию |
опре |
|
|
§ 8 ЭЛЛИПТИЧЕСКИЙ ДИФФЕРЕНЦИАЛЬНЫЙ ОПЕРАТОР |
249 |
||||
деляет |
другое *самосопряженное |
расширение |
оператора |
L0. |
||
Если с (х )^ 0 , то |
оператор L0 |
является положительно опреде |
||||
ленным |
в L2(G); |
если c(x);==sO, т о |
о н положительно определен |
|||
на подпространстве L2(G), ортогональном к функции, тожде |
||||||
ственно равной 1. |
|
квадратного из |
оператора |
L0 |
||
Область определения корня |
||||||
совпадает с пространством W\(G). Таким образом, здесь при переходе от D(L°) к D((L°),/?) граничное условие снимается.
Решения уравнения L°u — f называются решениями второй однородной краевой задачи для уравнения lu = f.
Для этих решений также справедливо неравенство
|
|
|
Ы1Ц(0) < I |
L°u Ъо (G) |
< С |
о u "who' |
||
Если |
в |
W\ (G) |
рассмотреть |
совокупность |
всех |
функций, удовлетво- |
||
ряющих |
граничному |
условию |
ди |
. v |
’ |
= 0, |
где функция cr(s)S>0 |
|
|
+ о (s) и |
|
||||||
и является |
достаточно гладкой, |
то оператор La, определенный равенством |
||||||
Lau = la |
на этой совокупности, |
будет самосопряженным и будет обладать |
||||||
теми же свойствами, что и L0. Если же функция a(s) |
только непрерывна или, |
|||||||
более общо, измерима, то картина значительно усложняется. Область опре деления соответствующего самосопряженного расширения может уже содер
жать |
функции, не |
принадлежащие |
(G), для которых понятие производ |
ной |
по • конормали |
может быть не |
определено не только в классическом |
смысле, но и в смысле Соболева. В связи с этим оператор дифференцирова ния по конормали расширяется. На функциях из W\ (G) он определяется
с помощью обычных обобщенных производных. Дополнительно он опреде ляется на некотором множестве «не гладких» L-гармонических функций.
Пусть <p(s)— граничное значение L-гармонической функции и(х) mW\(G)\
Ф — yti, |
и = у—1ф. |
|
|
Тогда определен оператор |
д (y~~4) |
_ |
ди |
Р' (уи) = Р 'ф = |
|||
|
dv |
г |
dv |
Оператор Р\ определенный на таких функциях <р, является симметриче ским и положительным в 12(Г). Его индекс дефекта равен нулю. Замыка ние Р оператора Р' является положительным самосопряженным оператором. Каждой функции <p ^ D ( P ) соответствует L-гармоническая функция у-1ф. Совокупность Up(G) всех этих L-гармонических функций уже содержит все функции, на которых нужно доопределить оператор дифференцирования по
конормали. Если w = v + и, где v е w\ (G), а u ^ U P(G), то полагают
Dvw= 4 v + р ^ ■
Оказывается, что оператор L, рассматриваемый на всех тех функциях из области определения оператора DV для которых
Dvw (s) + a (s) w (s) = 0 |
(s e T ), |
порождает самосопряженный оператор La* |
|
250 ГЛ. IV. ОПЕРАТОРЫ В ГИЛЬБЕРТОВОМ ПРОСТРАНСТВЕ
Решения уравнения L°w = f называются решениями третьей краевой за дачи для уравнения lu — f. Эти решения .уже могут не принадлежать W\ (G), но заведомо принадлежат W2 (О).
Решения w(x) обладают «сильной производной по конормали» в .том смысле, что их можно аппроксимировать в W\ (G) гладкими функциями так, чтобы
dwn |
Dvw-\\ |
-> 0. |
|
dv |
|||
>Ыг) |
|
Приведенное построение теории третьей краевой задачи проходит не только при ограниченных измеримых функциях o(s), но и при <теГ2д_2(Г).
Область определения корня квадратного из оператора L° совпадает с пространством w\(G).
Описанное расширение оператора дифференцирования по конормали до оператора Dv оправдывается также тем, что при этом сохраняет силу фор мула Грина
v dx = |
aik w dw dv + cwv dx — (Dvw)v ds, |
|
г |
справедливая при любой функции w из области определения оператора Dv п vs=W l2.
Все рассмотренные самосопряженные расширения опера тора LQ имеют вполне непрерывные резольвенты, поэтому спектр каждого из расширений дискретен, собственные функ ции образуют ортогональный базис в L2(G). Резольвента бу дет оператором Гильберта — Шмидта, если число независимых переменных п ^ 3. При п > 3 лишь некоторая степень резоль венты будет оператором Гильберта — Шмидта.
Л и т е р а т у р а : [3], [153], [157], [164].
§9. Гильбертова шкала пространств
1.Гильбертова шкала и ее свойства. Как уже отмечалось в предыдущих параграфах, для ряда задач рамки одного гиль бертова пространства становятся узкими, и для исследования различных сторон задачи приходится вводить различные гиль бертовы пространства. В связи с этим в последнее время было введено понятие гильбертовой шкалы пространств.
Пусть Н0— гильбертово пространство и / —неограниченный самосопряженный положительно определенный оператор в Н0 такой, что
(Jxy х) > (х , х) |
(X G D (/)). |
Через На при а ^ 0 обозначается область определения сте пени / а оператора /:
Ha = D{la)