книги из ГПНТБ / Скрыпник И.В. Нелинейные эллиптические уравнения высшего порядка
.pdf
|
Покажем, |
что |
|
А' (и) — производная |
Фреше оператора |
А |
в точ |
|
|||||||||||||
ке |
и — определяется |
равенством |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
(A' |
(u)v,w) |
|
= |
£ |
|
( Л а 6 (х,..., |
Dmu) D*v |
Dawdx. |
|
|
|
|
||||||||
|
|
|
|
|
|cc|,|P|<Sm Si |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Необходимо |
проверить, |
что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
« и |
|
sup |
< Л |
( " + |
" ) |
~ ; " 7 Л , |
( Ц ) |
^ ) |
= 0. |
|
|
|
|
(Ш.41) |
' |
|||
|
|
1И.Н-0 |
IM|=i |
|
|
|
|
II "11 |
|
|
|
|
|
|
|
v |
|
||||
где |
||-1| — норма |
|
о |
|
|
|
|
|
|
Гельдера |
при |
| | ш | | = 1 |
|
||||||||
в №™(Q). По неравенству |
|
||||||||||||||||||||
^(A(u |
|
+ v)-Au-A'(u)v,w)\< |
|
|
£ |
J j |
j |
l |
^ |
^ |
, . . . |
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
| а | . | Э К тО |
Й |
|
|
|
|
|
|
|
||
|
...,Dm(u |
+ tv))-Aafi(x,...,Dmu)\Pafidx} |
|
|
|
|
dt, |
|
|
( П Ш |
) |
|
|||||||||
где |
/ 7 а р — те |
же |
числа, |
что |
и в |
(III.3). Отметим, |
что |
|
при |
р > |
2^ |
|
|||||||||
1 > |
ра я > |
0- |
Тогда (111.42) следует из |
(III.43) |
и леммы |
1. |
|
|
|
||||||||||||
|
Замечание. |
Лемма, |
очевидно, |
справедлива |
для |
области |
произ |
|
|||||||||||||
вольной размерности. При р = 2 утверждение |
леммы |
15, |
|
вообще |
|
||||||||||||||||
говоря, не имеет места |
(об этом будет идти речь в § 1 гл. V). |
|
|
||||||||||||||||||
Теорема 5. Пусть выполнены предположения |
леммы |
|
15 относи |
|
|||||||||||||||||
тельно оператора А, определяемого формулой (III.40), |
и |
|
предполо |
|
|||||||||||||||||
жим, что АО — 0 |
и уравнение |
А' |
(0) и = 0 имеет |
только |
нулевое |
|
|||||||||||||||
решение. Тогда поле Аи удовлетворяет условиям |
1) — 3) |
настоящего |
|
||||||||||||||||||
параграфа, |
нуль—изолированная |
|
критическая |
точка |
поля |
Аи |
и |
|
|||||||||||||
индекс нуля |
этого поля можно вычислить |
по теореме 4. |
|
|
|
|
|
|
|||||||||||||
Д о к а з а т е л ь с т в о . |
Оператор |
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
Г: W™(Q) |
[5^(П)1* |
|
|
|
|
|
|
|
|
|
|
||||
можно определить |
равенством |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
(Ги, v) |
= |
|
и (х) v (х) |
dx, |
|
|
|
|
|
|
|
|
|
где %—достаточно большое положительное число. Легко видеть,
о о
что Г — вполне непрерывный оператор из W™(Q) в [W™, (&)]*, где
Рр
Для доказательства справедливости условия 1}
< {А' (0) + Г) и, и) > 0 при и ф 0 |
(Ш.43) |
140
достаточно произвести элементарные оценки, используя неравенство эллиптичности (III.4), неравенство Коши и так называемое интер поляционное неравенство [11:
iMIw <6 ll"L.2 + ce ||«liL s ( n ) ,
где |
k < m, || |
2 — норма |
в W2 (Q), e— произвольное |
положитель |
||||||||||
ное |
число, С е |
— постоянная, |
зависящая |
только |
от |
z,k,m,Q. |
||||||||
Если X выбрано так, что выполняется |
неравенство |
(II 1.43), то |
||||||||||||
из работы |
[95] следует, что оператор |
|
|
|
|
|
||||||||
|
|
|
|
А' (0) + |
Г: W™ (Q) |
[ i l k (Q)]* |
|
|
|
|||||
есть |
изоморфизм. Это обеспечивает |
выполнение |
условия 2). |
|||||||||||
Для |
доказательства условия 3) проверим, что при |
достаточ |
||||||||||||
но малом е множество 0Е пусто. |
Предположим |
противное: су |
||||||||||||
ществуют |
последовательности ип, |
tn |
такие, что |
|
|
|
||||||||
|
|
|
tn Аип + (1 - |
tn) |
Л' (0) ип |
= 0, ип |
0, tn £ [0, Ц. |
(Ш.44) |
||||||
Замечая, |
что по теореме |
вложения |
|
|
|
|
|
|||||||
|
|
|
|
|
ll"n llc»-'(Q)-^0 П Р И |
|
|
|
|
|||||
получим при п достаточно больших из |
|
|
|
|
||||||||||
|
|
|
|
<tnAun |
+ (1 - |
tn) А' (0) ип, ип > = 0, |
|
|
||||||
произведя |
простые |
оценки, |
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
l l «JL2< c i l « n L _ I . 2 . |
|
|
|
|||||
Отсюда |
видно, |
что |
слабый |
предел vQ последовательности vn = |
||||||||||
~ II " J |
L . 2 в |
о т |
|
|
|
от |
нуля. |
Аналогично теореме 1 |
||||||
(^) |
о т л и ч е н |
|||||||||||||
главы |
II |
из |
(III.44) |
можно |
получить, |
что для |
произвольной |
|||||||
строго |
внутренней |
подобласти Q' |
области Q выполнена оценка |
|||||||||||
|
|
|
|
|
|
|
I K L + , . 2 < C |
|
|
|
( П 1 . 4 5 ) |
с некоторой не зависящей от п постоянной С". Неравенство (III.45)
позволяет перейти к |
пределу при п-*-оо |
в соотношении |
||
< |
ll«JU.2 |
' |
Ф > |
' |
где ф — произвольная |
функция |
класса |
С~(Й), и получить |
|
|
<А' (0)vQ, Ф > = 0. |
|
141
Это противоречит условию теоремы, так как выше было |
показа |
но, что vQ=t=Q. Тем самым доказано выполнение условия |
3). |
Остальные утверждения теоремы 5 непосредственно следуют из теоремы 4.
Покажем еще возможность применения теоремы 4 к дифферен циальным операторам второго порядка в случае области произ вольной размерности. Пусть Q — ограниченная область с границей класса О 0 в n-мерном эвклидовом пространстве и пусть оператор А
о .
определяется на пространстве Wm (й), т > 2, равенством
< Аи, v > |
= |
|
|
|
|
|
|
Здесь |
|
|
ди |
/ ди |
ди_ |
|
|
|
|
|
дх |
|
дх |
|
|
Предполагаем, |
что |
для |
x£Q, |
u£Rl, |
р = (pv ..., |
pj£R" |
выпол |
нены условия: |
|
|
|
|
|
|
|
а) функции ас(х,и,р) |
непрерывно |
дифференцируемы по |
х,и,р; |
||||
функция а (х, и, р) |
непрерывно.дифференцируема |
по и, р\ |
|
||||
б) имеют место |
оценки с |
положительными |
постоянными С,, |
S da—,эр{ &,и,р) i.i=\ 1
т_2 тг, 2
5t 6, > С, (1 + | р |) |
>- h* |
|
i=i |
S |
да^х.и.р)! |
+ |
* 1d*Pi ^ £ ) | } < С 2 ( 1 + | И р + Ь Г ) , |
|
ди |
||||
dat (х, «,р)1 |
|
|
\да.(х,и,р) |
<|i( | « | ) (l +\р\У m—l |
Щ |
|
|
дх, |
|
|
|
|
||
|
да(х,и, |
р)| <c2(i+\uf |
+ \ P n , |
|
|
|
д~и |
|
|
где \x,(t)— произвольная непрерывная положительная функция и
max ( а + 1) |
,, |
Т , |
, р + 2 < ^ — ! — ' |
| v 1 ' т—Гт — т1—I'm— т г
J 2 (л — т)
В этих предположениях аналогично |
лемме 15 |
убеждаемся, |
что |
||
оператор А имеет в каждой точке и |
производную |
Фреше, |
кото |
||
рую обозначим через А' (и). |
|
|
|
|
|
Теорема 6. Пусть' выполнены предположения |
а), |
б), |
АО = |
0 и |
|
уравнение. A' (0)w=0, имеет только |
нулевое решение. |
Тогда для |
|||
поля Аи, где оператор А определяется |
формулой |
(II 1.46), |
выполнены |
142
условия 1) —3) настоящего параграфа и индекс нуля для этого поля можно вычислить по теореме 4.
Проверка условий 1), 2) полностью аналогична соответствующему доказательству в теореме 5. При доказательстве выполнения усло вия 3) показываем, что при достаточно малом е множество сге пусто.
Рассуждаем от противного: пусть существуют |
последовательности |
|||||||||||
ип, |
/„такие, что |
|
|
|
|
|
|
|
|
|
||
|
|
|
(Аип |
+ (1 - |
(п) А' (0) |
ип = 0, |
ия-4-0, |
/„ £ [0, |
1]. |
|
||
Как и |
при |
доказательстве теоремы |
5, |
проверяем, |
что |
слабый |
||||||
|
|
|
|
|
|
|
и |
|
|
|
|
|
предел |
vQ |
последовательности |
vn — г—Ц— отличен от нуля |
и что |
||||||||
А' |
(0) vQ= |
0. При этом |
рассматриваются |
отдельно |
два случая: |
|||||||
|
|
|
|
б) 1 У Ь |
< С„ < |
+ |
оо. |
|
|
|
|
|
|
|
|
|
|
п |
|
|
|
|
|
|
|
Невозможность |
первого |
случая |
устанавливается |
непосредственно. |
А для рассмотрения второго случая нужно получить независящую от п оценку ип в W1 (Я) для достаточно большого q, что можно сде лать с помощью методики, развитой в гл. I .
Как следует из замечания к лемме 15, теорема 4, вообще говоря, не применима к оператору А вида (III.40) при р = 2, так как этот оператор оказывается недифференцируемым по Фреше. Получим сейчас теорему об индексе для дифференцируемых по Гато опера торов в гильбертовом пространстве, которая позволит вычислить
индекс дифференциальных операторов при р = |
2. |
|
|
Пусть Н — вещественное сепарабельное гильбертово |
простран |
||
ство, U—некоторая окрестность нуля пространства Н, А : U-+H — |
|||
ограниченный |
деминепрерывный оператор, |
удовлетворяющий |
|
условию а) и пусть Л0=0 . Предположим, что |
оператор |
А в каж |
|
дой точке u£U |
имеет производную Гато, |
которую |
обозначим |
через А' {и) и предположим выполненным условие
h) для произвольного элемента v € И из ип |
0 следует |
lA'(un)]*v-+[A'(0))*v, |
|
где [А'(и)]* — сопряженный к А' (и) оператор.
Пусть еще существует линейный вполне непрерывный опера
тор Т0:Н~*-Н |
такой, |
что |
для |
некоторого г > 0 |
выполнено не |
|
равенство для |
и£Н |
при \| v|| |
< |
г |
|
|
|
<(A'(v) |
+ |
r0)u,u>>C\\u\\* |
(Ш.47) |
||
с положительной постоянной |
С. |
|
|
143
При этих предположениях имеет место теорема. |
числом |
|||||||||||
Теорема |
7. Пусть |
1 |
не |
является |
характеристическим |
|||||||
оператора |
|
|
L 0 |
= H'(0) + |
ro ]-'ro . |
|
|
|
||||
|
|
|
|
|
|
|
||||||
Тогда |
нуль— |
изолированная |
критическая |
точка |
поля Аи и |
индекс |
||||||
нуля |
равен |
(—l)v , |
где |
v — сумма |
кратностей |
характеристиче |
||||||
ских |
чисел оператора |
L 0 |
, лежащих на |
интервале |
(О, 1). |
|
||||||
Д о к а з а т е л ь с т в о . |
Покажем, |
что |
при достаточно ма |
|||||||||
лом б > О |
|
|
|
|
|
|
|
|
|
|
|
|
|
tAu + |
(l—f) |
А' |
(0) и Ф 0 при |
t £ [0, 1], |
0 < |
|| и || < е. |
(111.48) |
Предположим противное: существуют последовательности ип, t
такие, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
О - |
О |
А' (0) ип |
= |
0, |
ta£[Q, |
1), ы „ + |
0. |
(Ш.49) |
||||
Из (III.49) получаем |
|
|
|
|
|
|
|
|
|
|
|
||
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
J < КА' |
|
К ) |
" , , + 0 - О А' |
(0) ип, |
ип> |
ds = |
0, |
|
|||||
о |
|
|
|
|
|
|
|
|
|
|
|
|
|
откуда в силу (III.47) |
следует, |
что |
слабый |
предел |
vQ |
последо |
|||||||
вательности о л = | | ы |
„ | | - ' % |
отличен |
от |
|
нуля. |
Из |
(III.49) |
получим |
|||||
для произвольного |
t>£ff: |
|
|
|
|
|
|
|
|
|
|
||
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
J < [tnA' |
(sun) |
+ |
(I - |
g |
A' |
(0)] Vn, |
v>ds |
= 0. |
|
||||
6 |
|
|
|
|
|
|
|
|
|
|
|
|
|
Переходя здесь |
к |
пределу на |
основании |
условия п), |
имеем |
||||||||
|
|
|
|
А' (0) v0 |
= |
0, |
|
|
|
|
|
||
что противоречит |
условию теоремы. |
|
|
|
|
|
|
|
|||||
Тем самым доказано соотношение |
(II 1.48). Отсюда следует, что |
нуль—изолированная критическая точка поля Аи и что индекс
нуля поля |
Аи совпадает с индексом нуля поля А' (0) и. |
Для поля |
|||||||
А' (0) и, очевидно, выполнены |
все условия теоремы |
4, |
и |
формула |
|||||
для индекса, таким образом, следует из теоремы 4. |
|
|
|
||||||
Укажем применение теоремы 7. |
|
|
|
|
|
||||
|
|
16. Пусть |
оператор |
о |
|
о |
|
определяется |
|
Лемма |
А : W™ (Я)-»- W™ (Я) |
||||||||
равенством |
(111.40), |
где функции Аа(х, |
|) непрерывны по х, непре |
||||||
рывно дифференцируемы по\и |
удовлетворяют |
неравенствам |
(II 1.3), |
||||||
(II1.4) |
при р = 2. Тогда оператор А |
имеет |
производную |
Гато в |
|||||
каждой |
|
|
о |
и оператор А |
удовлетворяет |
||||
точке пространства |
(Я) |
||||||||
условию |
К). |
|
|
|
|
|
|
|
144
Существование производной Гато оператора А и равенство
|
(А' (и) v, w) = |
£ |
j Л а В |
(х, и,..., Dmu) |
DavD^wdx |
|||
|
|
|
|а|.|Р|<ш |
Я |
|
|
|
|
проверяется |
на |
основании леммы |
1. Проверим только условие h). |
|||||
По |
неравенству Гельдера |
|
|
|
|
|||
|
|
|
j^\(A' |
(и)о-А' |
(0) |
v,w)\< |
|
|
|
|
|
|
|
|
|
|
\_ |
|
|al=|3l=m 'я |
|
|
|
I |
' |
||
|
|
|
|
|
|
|
|
|
+ |
2 |
|
|
Dmu)-Aafi(x,0)\p«4x\prt.\\w\\. |
(111.50) |
|||
Оба члена в правой части |
(II 1.50) стремятся к нулю по лемме 1 |
|||||||
при |
||и|| |
0. |
Отсюда |
следует, |
что |
оператор |
А удовлетворяет |
|
условию h). |
|
|
|
|
|
|
|
|
Неравенство (111.47) для оператора А из леммы 16 проверяется |
||||||||
аналогично |
( I I I .43)если определить Г0 |
равенством |
||||||
|
|
|
(Т0и, |
v) = |
X j и (х) v (х) dx |
|
||
|
|
|
|
|
я |
|
|
|
при достаточно большом положительном X. Таким образом, из тео ремы 7 и леммы 16 вытекает следствие.
Следствие. Пусть выполнены предположения леммы 16 относи тельно оператора А, определяемого формулой (111.40), и предпо ложим, что уравнение А' (0) и — 0 имеет только нулевое решение. Тогда нуль—изолированная критическая точка поля Аи и ин декс нуля этого поля можно вычислить по теореме 7.
§ 5. Признаки существования критических точек
В третьем параграфе было показано, что каждый признак отличия от нуля вращения векторного поля Аи на границе некоторой области является достаточным признаком существования критических то чек этого поля внутри области. Укажем сейчас конкретные приме нения этого общего принципа.
В конце параграфа дадим еще обоснование сходимости метода Галеркина решения операторных уравнений.
Пусть X — сепарабельное рефлексивное банахово простран ство, D — произвольная, ограниченная область в X с границей S.
Теорема 8. Пусть ..A-.D-+X* — ограниченный, деминепрерыв-
10—843 |
145 |
ный оператор, |
|
удовлетворяющий |
условию |
а). |
Предположим, |
что |
||||||||||
OGD и для |
u€S: |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Тогда |
уравнение |
|
|
(Аи,и)>0. |
|
|
|
|
|
(111.51) |
||||||
|
|
Аи |
= |
0 |
|
|
|
_ |
|
(111.52) |
||||||
|
|
|
|
|
|
|
|
|
|
|
||||||
имеет в D по крайней |
мере одно решение {здесь D — замыкание об |
|||||||||||||||
ласти |
D). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Д о к а з а т е л ь с т в о . |
Если |
уравнение |
(III.52) не имеет ре |
|||||||||||||
шения на S, то по лемме 4 при достаточно больших п определяемое |
||||||||||||||||
формулой |
(II 1.17) поле Ф„(«) |
не обращается в нуль на |
5П . |
|
||||||||||||
Поле Фл (ы) |
на |
S„ |
гомотопно |
на |
Sm |
единичному, |
именно, |
|||||||||
при fg[0, |
1], |
|
u£Sn: |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
to + |
(1 — t) Ф„ (и) ф |
0. |
|
|
(111.53) |
||||||
Предположим |
противное, |
что для |
некоторых |
|
|
|
|
|||||||||
|
|
|
|
|
ш о , |
п. |
«0 = |
2; |
|
cf\£Sn |
|
|
|
|||
неравенство (Ш.53) |
нарушается. |
Тогда |
|
|
|
|
|
|
||||||||
и |
|
<0 40 ) |
+ (1 - 1 0 ) |
(Аи0, vt) |
— 0, |
|
i = |
1 , . . . . п |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
toi |
lc\O)f |
+ |
a-to)(Auo,uo) |
|
|
= 0, |
|
|
|
|||
что противоречит (II 1.51). |
|
|
|
|
|
|
|
|
|
|||||||
Из |
неравенства |
(II 1.53) |
вытекает, |
что вращение |
поля |
Ф„(ы) |
||||||||||
на 5„, а следовательно, |
и Аи |
на 5 равно единице. Утверждение тео |
||||||||||||||
ремы следует из принципа ненулевого вращения § 3. |
|
|
|
|||||||||||||
Замечание |
1. При доказательстве теоремы получили, что враще |
|||||||||||||||
ние не обращающегося в нуль на S и удовлетворяющего |
условию |
|||||||||||||||
(III.51) поля Аи равняется единице. |
|
|
|
|
|
|
||||||||||
Отсюда и из леммы 10, в частности, вытекает следствие. |
||||||||||||||||
Следствие |
1. Пусть А : D -»- X* — ограниченный хеминепрерыв- |
|||||||||||||||
ный оператор с полуограниченной вариацией, Т : D -> X*— строго |
||||||||||||||||
непрерывный оператор и D — выпуклая содержащая нуль область |
||||||||||||||||
пространства X |
с границей S. Предположим, что |
|
|
|
||||||||||||
|
|
|
|
|
|
inf < Аи + |
Ти, и |
» |
0. |
|
|
|
(Ш.54) |
|||
Тогда |
уравнение |
|
|
Аи + Ти = 0 |
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||
имеет в D по крайней мере одно решение. |
|
|
|
|
|
|||||||||||
Следствие 2. Пусть А |
: X |
X* — ограниченный хеминепрерыв- |
||||||||||||||
ный оператор с полуограниченной |
вариацией, |
Т : X |
X* — стро- |
146
го непрерывный оператор. Предположим, что |
|
|
|
|
|
||||||||||||
|
|
|
ton < ^ g f f > |
|
= + |
со. |
|
|
|
|
(Ш.55) |
||||||
Тогда |
|
| | ц | | - > оо |
N " И |
|
|
|
|
|
|
|
|
|
|
||||
уравнение |
|
Аи + Ти = h |
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
имеет |
решение |
при любом |
п£Х*. |
|
|
|
|
|
|
|
|
|
|||||
Последнее |
утверждение |
|
следует |
из |
того, |
что |
на |
сфере |
|||||||||
(0) = {и : || и || = R} |
|
при |
достаточно |
большом |
R |
для |
поля |
||||||||||
Аи-\-Ти |
— h выполнено |
условие |
(III.54). |
|
|
|
|
|
|
|
|||||||
Условие (III.55) называется условием коэрцитивное™. Ряд ре |
|||||||||||||||||
зультатов, аналогичных следствию 2, получили |
|
Ф. |
Е. |
Браудер, |
|||||||||||||
Ю. А. Дубинский и др. (см., например, |
[47, |
73, |
17]). |
|
|
|
|||||||||||
Признак существования критической точки дает теорема 3. |
|||||||||||||||||
Пусть 5,(0), 5,(0)—соответственно |
шар |
и |
сфера |
в |
пространстве X |
||||||||||||
радиуса г с центром в нуле. |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Теорема 9. Пусть A: Br(0)-+ |
X—ограниченный |
|
|
деминепрерыв |
|||||||||||||
ный |
оператор, |
удовлетворяющий |
условию |
а). Предположим, |
что |
||||||||||||
поле |
Аи не обращается |
в нуль |
на |
|
Sr(0) |
и |
для |
u£Sr(0): |
|
|
|||||||
|
|
|
II |
М |
-ФАЕ&Г- |
( - и ) |
|
|
|
|
|
|
(HI-56) |
||||
|
|
|
А* ||„ ""НМ |
|
|
|
|
|
|
|
|
|
|||||
Тогда уравнение |
Аи — 0 |
имеет решение |
в шаре |
Вг(0). |
|
|
|
||||||||||
Теорема непосредственно следует из теоремы 3 и общего прин |
|||||||||||||||||
ципа существования критических точек, сформулированного |
в § 3. |
Утверждение аналогичное-теореме 9, но при более сильных ограни чениях на оператор А доказано С. И. Похожаевым в [1281. Из лем мы 9 следует замечание.
Замечание |
2. Пусть А — оператор, удовлетворяющий всем пред |
|||
положениям теоремы 9. |
Уравнение |
|
||
|
|
|
Аи = h |
|
разрешимо в |
Вг(0), если |
для |
u£Sr(0) |
|
|
|
| | А | | „ < | | Л и | и . |
(111.57) |
Отметим еще следствие для положительно однородных опера торов А. Оператор А : Х->- X* называется положительно одно родным, если существует k > 0 такое, что для t > 0, и € X:
A (tu) = tkAu.
Следствие. Пусть А : X X* — ограниченный деминепрерыв ный положительно однородный оператор, удовлетворяющий усло вию а). Предположим, что поле Аи не обращается в нуль на 5Т (0) и для u£Sx(Q) выполнено неравенство (III.56). Тогда уравнение
Аи = h
имеет решение при любом А£Х*.
147
Достаточно заметить, что при наших условиях на сфере SR(0) с достаточно большим R выполнено условие (III.57).
На целесообразность рассмотрения асимптотически однородных
операторов обратил внимание Я. Б. Лопатинский [93]. |
|
|
|
|||||||||||
Определение |
7. Оператор А : X - у X* называем |
асимптотически |
||||||||||||
однородным, если он может быть представлен в виде А = А0 |
+ |
Ах, |
||||||||||||
где |
А0 |
— положительно |
однородный |
оператор |
порядка |
k > |
0 и- |
|||||||
|
|
|
|
Нщ || Аги |
||„ || и |Г* = 0. |
|
|
|
|
|
|
|||
Определение 8. Назовем асимптотически однородный оператор А |
||||||||||||||
регулярным |
на |
бесконечности, |
если |
уравнение |
А0и |
= |
0 |
имеет |
||||||
только |
нулевое |
решение. |
|
|
|
|
|
|
|
|
|
|||
Теорема |
10. |
Пусть |
А : X -*• X* — асимптотически |
однород |
||||||||||
ный |
регулярный |
на бесконечности оператор. |
Предположим, |
|
что |
|||||||||
А, |
А0—ограниченные |
деминепрерывные |
операторы, |
удовлетворя |
||||||||||
ющие условию а) и что индекс |
нуля |
поля Ааи |
отличен |
от |
нуля. |
|||||||||
Тогда |
уравнение |
Au = h |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||
разрешимо |
при |
любом h£X*. |
|
|
|
|
|
|
|
|
|
|||
Для |
д о к а з а т е л ь с т в а |
теоремы |
достаточно |
убедиться, |
||||||||||
что для произвольного п£Х* |
можно |
указать |
R |
так, чтобы при |
||||||||||
u£SR |
(0) |
|
|
|
|
|
|
|
|
|
|
|
|
| I V - A | L . < H o « l l *
и тогда утверждение теоремы следует из леммы 9 и принципа не
нулевого |
вращения. |
|
|
|
|
|
|
|
|
|
||
Отметим еще несколько признаков существования |
|
критической |
||||||||||
точки для оператора А : X |
X. |
|
|
|
|
|
|
|
||||
Теорема 11. |
Пусть |
X — рефлексивное, |
допускающее |
аппрокси |
||||||||
мацию |
банахово |
пространство |
и предположим, |
что X* |
равномерно |
|||||||
выпукло и дуальное отображение J слабо непрерывно. |
|
Пусть |
D — |
|||||||||
произвольная содержащая нуль |
ограниченная |
область |
в X |
с |
грани |
|||||||
цей S |
и |
А : D -v X — ограниченный |
деминепрерывный |
|
оператор, |
|||||||
удовлетворяющий |
условию а* и такой, |
что для |
u£S |
|
|
|
|
|||||
Тогда |
уравнение |
|
<Ju, A i > > 0 . |
|
|
|
|
(111.58) |
||||
_ |
Аи = 0 |
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|||
имеет решение в D. |
|
Если Аи Ф 0 при и £S, |
|
|
|
|
||||||
Д о к а з а т е л ь с т в о . |
то из леммы 8 |
следует, что при'достаточно больших п поле %п(и) не обращается в
нуль на Sn. Покажем, что при этом для t£ [0, |
1], |
u£Sn |
|
|
Ш + |
(\-$хп(и)ф0. |
|
|
(111.59) |
Предположим противное: |
существуют f0 £[0, |
1], |
u0£Sn |
такие, |
что |
|
|
|
|
148
Тогда |
1 ц > 0 |
и |
|
|
|
|
|
|
|
|
|
|
|
/0 (Ju0, |
и0) + (1 - |
g |
(J (и0), %п |
(«„)> = 0. |
(III .60) |
||||
Непосредственно |
проверяется, |
что |
|
|
|
|
|||||
и равенство |
(III.60) |
невозможно |
в |
силу |
(Ш.58). Из |
(Ш.59) |
сле |
||||
дует, |
что вращение |
поля |
%п(и) |
на |
Sn, |
а следовательно,, и |
Аи |
||||
на S |
равно |
единице. |
Это |
доказывает теорему. |
|
|
Аналогично следствию I можно получить следствие. . Следствие. Пусть пространства X, X* удовлетворяют условиям
теоремы |
I I , D— |
выпуклая, |
содержащая |
нуль ограниченная |
об |
|
ласть пространства X с границей S. Пусть А : D -»- |
X—ограни |
|||||
ченный |
хеминепрерывный оператор с полуограниченной |
./-вариа |
||||
цией, Т |
: D ->• X — строго непрерывный оператор и предположим, |
|||||
что для |
и £ 5 |
|
|
|
|
|
|
(Ju, |
Аи + Ти) > |
0. |
|
|
|
Тогда уравнение |
Аи + Ти = 0 |
|
|
|
||
|
|
|
|
|
||
имеет в D по крайней мере одно решение. |
|
|
|
|||
В случае J — монотонного оператора А |
(для произвольных |
и, v |
||||
|
|
(J (и — v), Аи — Аи) > |
0) |
|
|
и Т = 0 сформулированное в следствии утверждение доказано в ра боте [119].
|
Теорема 12. Пусть |
пространства |
X, |
X* удовлетворяют |
усло |
||||||||
виям теоремы |
11, D — |
произвольная |
содержащая нуль |
ограниченная |
|||||||||
область в X |
с границей S, |
А : D -*- X — |
ограниченный |
деминепре- |
|||||||||
рывный оператор, |
удовлетворяющий |
условию а*. Предположим, |
что |
||||||||||
из |
равенства |
|
|
|
|
Аи |
— ки |
|
|
' |
|
||
|
|
|
|
|
|
|
|
|
|
||||
для |
u£S |
следует |
h > |
0. |
Тогда |
уравнение |
Аи — 0 имеет решение |
||||||
в D. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Условие теоремы непосредственно обеспечивает гомотопность на |
||||||||||||
S поля Аи |
полю и, откуда следует, что вращение Аи на S равно еди |
||||||||||||
нице. Как и выше, отсюда следует утверждение теоремы. |
|
||||||||||||
|
Из теоремы 12 получаем следствие. |
|
|
|
|||||||||
|
Следствие. Пусть |
пространства |
X, |
X* |
и область такие же, |
как |
|||||||
в теореме |
11. Пусть |
А — 1 — К — F: D -»- X, где / — |
единичный, |
||||||||||
F — вполне непрерывный, |
К. — строго сжимающий |
оператор, и |
|||||||||||
предположим, |
что |
из |
|
равенства |
|
|
|
|
.• 1 |
|
Ки + Fu = %u
149