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

книги из ГПНТБ / Скрыпник И.В. Нелинейные эллиптические уравнения высшего порядка

.pdf
Скачиваний:
9
Добавлен:
23.10.2023
Размер:
7.01 Mб
Скачать

уравнения

 

 

Аи + ХТи = О,

 

 

(IV.l)

 

 

 

 

 

 

где X—вещественный

параметр.

 

 

 

 

 

Назовем

Х0 собственным

числом уравнения (IV.l),

а и0

Ф О,

u0£D0

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

собственным вектором,

если

 

 

 

 

 

 

Аи0

+ Х0Ти0 =

0.

 

 

 

Спектром Л уравнения (IV.l)

называем совокупность

всех соб­

ственных чисел этого

уравнения.

 

 

 

 

 

Непосредственно

проверяется

такая

лемма.

 

 

 

Лемма 1. Пусть

А

[а, Ь\ — множество собственных чисел

урав­

нения

{IV.l),

которым

соответствуют

собственные

векторы

и та­

кие, что

 

0 < о < | | и | | < Ь< + о о .

 

 

 

 

 

 

 

 

 

Тогда

А [а,

Ь] — замкнутое

множество.

 

 

 

Отсюда

следует

теорема.

 

 

 

 

 

 

Теорема

1. Спектр

уравнения

(IV.l)

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

ство типа

Fa.

 

 

 

 

 

 

 

 

Укажем дальше признаки существования собственных векторов. При доказательстве существования собственных векторов на грани­

це

S некоторой

области G cz

X можем предполагать,

что

поле Аи

не

обращается

в нуль на S.

В противном случае на S

уже

имеется

собственный вектор, соответствующий нулевому собственному числу.

 

Теорема 2.

Пусть

G а

 

X — ограниченная область,

содержащая

нуль

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

X,

и

 

пусть S — граница

области

G — содер­

жится в D0.

Предположим,

что вращение

поля

Аи

на S

отлично

от

нуля

и с

некоторой

положительной постоянной

С выполнено

неравенство

 

 

 

\\Ти\\*>С,

 

u£S.

 

 

 

 

 

(IV.2)

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда

уравнение

(IV.l)

имеет

на

S

собственный

вектор.

 

 

 

Д о к а з а т е л ь с т в о .

 

Пусть

vt

— некоторая

полная

система

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

X,

Fn

— линейная

оболочка

элементов

v l t ... ,

vn.

Определим на

Sn

= S [\ Fn

векторные

поля

 

 

 

 

 

 

 

 

 

 

 

Ф„(«) =

1

(Аи+

Ги,иг г ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i =

l

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Vn

 

 

л

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(u) = V(Au.

 

vt)vt.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=i

 

 

 

 

 

 

 

 

 

 

Из

§ 2 гл. Ill следует: если

поле

Аи + Ти

не

обращается

в нуль

на

S,

то

при

достаточно

больших

п

поля

Vn

(и)

и

Ф п (и)

не

обращаются в нуль на Sn

и вращение поля *РП

(и)

на

Sn

отлич­

но от нуля. При нечетном п вращения полей

Wn (и)

и Wn (и)

на

5„

различны

[81],

так

 

что поле

Ф„ (и)

на

Sn

негомотопно

с

170

одним

из

полей:

¥п

(и),

 

— Wn

(и).

 

Следовательно,,

при

нечетном

п обращается

в

нуль на

Sn

при

некотором

t£(0,

1)

одно

из

по­

лей

 

/Ф„ (и) + (1 -

О ¥ п

(и),

/Ф„ (и) — (1 — О Ч'п

(и).

 

 

 

 

 

 

Отсюда получаем существование чисел Хп при

нечетных

п

та­

ких, что

 

 

(>4ып

+

Лп 7,

иП 1 о)

= 0 ,

un£Sn,

 

 

 

 

(IV.3)

 

 

 

 

 

 

 

 

при всех v£Fn.

 

Можем

считать,

что Тип

сходится

сильно к не­

которому h£X*.

Из (IV.2) следует, что )гф0.

Пусть а0 — про­

извольный элемент X, удовлетворяющий условию

(h,v0)

=

1, и

выберем последовательность vn£Fn,

 

сильно

сходящуюся

к

v0.

Подставляя vn

в

(IV.3) вместо v и оценивая,

устанавливаем

ог­

раниченность

последовательности

 

Х„. Выберем

из

Хп

подпосле­

довательность, сходящуюся

к

некоторому

Х0,

и

дальше

анало­

гично

§ 2 гл.

III

доказываем,

что

некоторая

подпоследователь­

ность

ип

сильно

сходится

к

собственному

вектору

уравнения

(IV. 1),

соответствующему

собственному

числу

Я0 .

 

 

 

 

 

Из негомотопности на 5 полей

Аи

и Аи 4- Ти

непосредствен­

но следует теорема.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 3.

Пусть

G с

X — ограниченная

 

область пространства

X с границей

S,

S c:D0

и

пусть

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(Au,u)>0,

 

u£S.

 

 

 

 

 

 

 

(IV А)

Уравнение (IV. 1) имеет H a S по

крайней мере один собственный век­

тор при выполнении одного из

следующих условий:

 

a)

0 £ G

и вращение поля Аи + Ти

на S отлично

от

единицы;

 

в) 0 в G IJ 5 и

вращение поля

Аи

+

Ти на 5 отлично от нуля.

 

Будем говорить, что собственные векторы

уравнения

(IV. 1) об­

разуют в G a

D0

непрерывную ветвь,

проходящую через и0,

если

граница произвольной области G' такой, что

u0£G' cz

G имеет

с

множеством собственных

векторов

уравнения

(IV. 1) непустое

пере­

сечение.

 

Пусть

Х0

Ф

0 и и0 Ф

0 — изолированная

критиче­

 

Теорема

4.

ская точка поля А и +

Х0Ти

ненулевого

индекса

и пусть

{Аи,

 

и)

>

>

0.

Тогда

в

некоторой

 

области

G собственные векторы

уравне­

ния

(IV. 1) образуют непрерывную ветвь, проходящую через и0

иХ0

внутренняя

точка

спектра

уравнения

(IV.1).

 

 

 

 

 

 

 

Первое утверждение следует из выполнения условия в) теоремы

3, если в качестве G выбрать произвольную ограниченную область,

не содержащую нуля и отличных от

и0 критических точек поля

Аи + Х0Ти.

Второе утверждение получаем из гомотопности на гра­

нице G полей Аи +

Х0Ти

и Аи + ХТи при X, близких к Х0.

 

 

 

 

 

Аналогично

М.

А. Красносельскому

[81] можно получить для

рассматриваемых операторов другие утверждения о заполнении спектром интервалов, рассмотреть спектр асимптотически однород­ ных операторов.

171

Закончим параграф одним утверждением о собственных функ­ циях уравнения (IV. 1) в случае непрерывного оператора К (без предположения полной непрерывности). Доказательство этого ут­ верждения можно найти в работе автора [133].

Теорема 5. Пусть и0 — собственный вектор уравнения

 

Аи + ХКи =

О,

(IV.5)

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

собственному

числу

Ха Ф 0. Предположим,

что

с некоторыми г,

б > 0 имеет

место

неравенство

 

||Ku-Kv\\t<(\\a\-6)\\Au-Av\b

для

 

 

u,v£B

=

{u£X:\\u

— u0\\<

г}

 

 

и на S — границе

В — выполнено неравенство

(IV.4).

Тогда суще­

ствует

е > 0 такое, что (Х0—е, Х0+е)сг

Л и

каждому

Х£ (Х0—е,

Х0 + е)

соответствует

в В

только

один

собственный

вектор и%

уравнения (IV.о);

при

этом

и^

непрерывно зависит

от

X.

 

 

 

 

§

2. Точки бифуркации нелинейных

 

 

 

 

операторов

 

 

 

 

Пусть X — вещественное сепарабельное рефлексивное банахово

пространство, X* — его сопряженное и U — некоторая

окрестность

нуля

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

X.

Пусть

А :£/-»- X* — ограниченный

деми-

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

 

X*—

вполне

непрерывный оператор

и пусть АО = ТО — 0.

 

 

 

Определение. Число Х0

называем точкой бифуркации

уравнения

 

 

 

 

 

 

Аи +

ХТи =

0,

 

 

 

 

(IV. 6)

если

для произвольного

е > 0

существуют иЕ, Х& такие, что

 

 

Аие + ХеТие

= 0, | Я,е Х01< е, 0 < || ые | | < е.

 

 

Вначале получим достаточные условия того,

чтобы

Х0

было

точкой

бифуркации

уравнения

(IV.6). Можем считать, что при

некотором б0 > 0 нуль — изолированная

точка

поля

Аи + ХТи

при

Х0

— б0 <

X < Х0 -\- б0 , так как в

противном

случае

Х0

уже

будет

точкой

бифуркации. Тогда определен при

Х0—60<Я<Х0-}-60

индекс

нуля

поля

Аи +

ХТи,

который

обозначим через

у (А), и

пусть

 

 

V* а о ) =

Пп7 7 0 ±б),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б->+0

 

 

 

 

 

 

 

 

 

 

у* (Х0) = И т у ( Я 0 ± б ) .

 

 

 

 

 

 

 

 

 

 

6->+0

 

 

 

 

 

 

Теорема 6. Если среди

чисел

 

 

 

 

 

 

 

 

 

Т~(*о).

Г ( Я о ) .

У (h),

Y +

( U У+ 0 )

 

 

 

172

есть хотя

бы два

различных,

то

XQ

является

точкой

бифуркации

уравнения

(IV.6).

 

 

 

 

 

 

 

 

 

 

 

Д о к а з а т е л ь с т в о .

Пусть,

 

например,

различны

первые

два указанных числа. Тогда при сколь

угодно

малом

е >

0 мож­

но

указать

Xi}), Х^

такие, что

 

 

 

 

 

 

 

 

и

 

У Ю

Ф У (№),

Х0

-

е <

С

 

< х0

 

 

на сферах

 

 

 

 

 

 

 

 

 

 

 

 

56

= G X : || а Л =

б},

0 < б < е

 

 

при достаточно малом 6

вращения полей

 

 

 

 

 

 

 

Аи + Х[1)Ти,

Аи +

Х^Ти

 

 

 

различны. Эти поля негомотопны на

S& и,

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

котором t £ (О, 1) обращается в

нуль

на

Se

поле

 

 

 

 

 

Аи + [Wt+

X(e2)(l

t)]Tu.

 

 

 

Это доказывает, что Х0 — точка бифуркации уравнения (IV.5). Аналогично рассматриваются остальные варианты различных пар чисел.

Рассмотрим сейчас вопрос о расположении спектра в окрест­ ности точки бифуркации.

Теорема 7. Пусть

Тогда

в некоторой окрестности

U0

нуля

собственные векторы

урав­

нения

(IV.5)

образуют непрерывную ветвь, проходящую через

нуль,

и собственные

числа

уравнения

(IV.6),

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

собствен­

ным

векторам

из U0,

полностью

заполняют

некоторый

 

интервал

0 — е0, Х0), г0

> 0.

 

 

 

 

 

 

 

 

 

 

 

Д о к а з а т е л ь с т в о .

Пусть

у~(Х0)

 

= у~(Х0)

= у~(Х0)

и выбе­

рем Я 1 < Я 0

так, чтобы у(Х) = у ~ ( Я 0 )

при ^

<

Х< Х0.

В

качест­

ве U0 возьмем такой шар с центром

в

нуле,

чтобы

векторные

поля

 

 

 

Аи +

XJu,

 

Аи + Х0Ти

 

 

 

 

(IV.7)

 

 

 

 

 

 

 

 

 

не имели в L/0 отличных от нуля критических точек. Пусть G — произвольная, содержащая нуль, подобласть U0. Поля (IV.7) не могут быть гомотопными на границе S области G, так как их вра­ щения различны. Поэтому при некотором t £ (0,1) поле

 

 

 

Аи +

[XJ + Х0 (I — t)] Ти

 

обращается

в

нуль

на S,

т. е.

собственные векторы

уравнения

(IV.6)- образуют непрерывную ветвь, проходящую через нуль.

Выберем

е0

> 0

так, чтобы

поля

Аи -f- ХТи были

гомотопны

Аи + Х0Ти

на

границе

U0

при

Я.0 е(1<Х<Х0.

Очевидно,

173

Я,г< Х0—е0.

При Х£(Х0—ги,

Х0)

поле

Аи +

^Тц имеет

в

U0

отлич­

ную от нуля

критическую

точку,

так

как

вращение

Аи + ХТи

на границе

U0

(равное у (Хп))

отлично

от

индекса

нуля

поля

Аи + ХТи (равного У~ (Х0)).

Это доказывает

второе

утверждение

теоремы.

 

 

 

 

 

 

 

 

 

 

Укажем необходимые условия точки бифуркации. Предполагаем, что операторы А, Г имеют в нуле производные Фреше, которые обо­ значим соответственно через А', 7". Оператор 7" : X -> X* вполне непрерывен. Введем еще следующее условие, усиливающее усло­

вие

3)

§

4:

 

 

 

 

 

 

 

 

множества KczRx

 

 

 

3')

для

произвольного

компактного

 

при до­

статочно

малом

е >

0 слабое

замыкание

множества

 

 

 

 

аЕк

=

| р =

— у

: / (Аи +

ХТи) +

(1 -

/) (А'и + XT'и)

=

0,

 

 

 

 

 

 

0 < | | и | | < е , 0 < / < 1, Х£К)

 

 

 

не содержит

нуля.

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема

8. Пусть выполнено условие 3'). Для

того чтобы число Хи

было

точкой

бифуркации

уравнения

(IV.6),

необходимо,

чтобы

уравнение

 

 

 

 

А'и

+

Х0Т'и

== 0

 

 

 

 

(IV.8)

имело

ненулевое

 

 

 

 

 

решение.

Пусть Х0

 

 

 

 

 

 

 

 

 

Д о к а з а т е л ь с т в о .

— точка

бифуркации

и пусть

Хп,

ип таковы,

что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Аип

+ ХпТип

= 0, ]Хп0\<±,

 

 

0 < | К | | < 4 - -

Из условия 3') следует, что

слабый

предел

v0

последовательно­

сти

vn

=

|| ип

\\~~^ип

отличен

от

нуля.

Переходя к

пределу в ра­

венстве

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

[Аип + ХпТип]

 

= 0,

 

 

 

 

 

получим,

что

v0 — решение

уравнения

 

(IV.8),

откуда

и

следует

утверждение

теоремы.

 

 

 

 

 

 

 

 

 

 

 

 

Ниже приводится пример, показывающий существенность усло­

вия

3').

 

 

 

1Р — линейное

 

 

 

 

 

 

 

 

 

 

 

Пусть

X =

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

числовых после­

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

и =

п}, для

которых

конечна

норма

 

 

 

 

 

 

 

 

 

 

i_

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

р

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I " I I =

J£<S

,

р > 2 ,

 

р — четное.

 

 

 

 

 

 

 

 

 

 

'п=1

 

 

 

 

 

 

 

 

 

 

 

Оператор

А определяется

равенством

 

 

 

 

 

 

 

 

 

 

 

 

 

оо

 

 

 

71 I

 

 

 

 

 

 

 

 

 

 

{Au,v)

 

= £

(oj-«

+

 

 

и

= {сп},

v =

{dj.

 

 

 

 

ф ) й п ,

 

174

а оператор Т

 

 

 

 

 

 

п

 

 

 

где х„—некоторая,

сходящаяся

к

1 последовательность,

к„ < 1,

функция / определяется

формулой

(Щ.ЗО). Легко проверить, что

А — ограничен, деминепрерывен,

удовлетворяет условию а), Т —

вполне непрерывен,

А

Т

имеют

в нуле

производную

Фреше,

Т' — О и уравнение

А'и = 0 имеет

только

нулевое решение.

Оператор А -\-Т удовлетворяет условию

3) § 4 гл. III: если

t[Au + Tu] + (l t)[A'u

+ Т'и] = 0,

t£[0, 1],

 

то

 

 

с=

 

 

fine

)

 

 

 

icp-i

-j

t

 

 

 

 

 

р2

 

п

Р—1

 

 

или

 

= 2KJ[ (dn),

 

 

 

 

tdfT

+dn

dn

=

ncn.

 

Легко проверить, что последнее уравнение имеет только нуле­

вое решение.

 

 

 

 

 

 

 

 

 

В рассматриваемом примере

уравнение (IV.8) не имеет нену­

левых решений. В то же

время

1—точка

бифуркации

уравне­

ния (IV.6). В самом

деле,

уравнение

(IV.6)

при X — х^ 1

имеет

решение uk = (с^'}, где

 

 

 

 

 

 

 

 

=-^-8nk,

 

^6п Д ,—символ Кронекера.

 

Построенный пример интересен еще и тем, что показывает, что для уравнения (IV.6) точки бифуркации могут заполнять полнос­ тью интервалы. В построенном примере точками бифуркации яв­ ляются все X, удовлетворяющие неравенству 1 < Я < + оо. В самом деле, разрешимость уравнения (IV.6) сводится к разреши­ мости уравнений

 

 

d r ' + dn = 2 t a j ( d n ) -

 

(IV.9)

Как

легко

видеть, при X > 1 и

достаточно

большом

п урав­

нение

(IV.9) имеет решение dn (X),

0 < d n ( A . ) <

1. Тогда

собствен­

ные векторы

уравнения (IV.6) имеют вид

 

 

I п °Ч'

откуда и следует, что все X > 1 — точки бифуркации уравнения (IV.6)."

Дадим еще один признак точки бифуркации. Предположим, что выполнены условия:

175

а)

{А'и, и)

>

0 при

и Ф О;

 

 

 

 

 

 

 

 

б)

оператор

F = — ( Л ' г ' т ' : Х - > X

 

 

 

 

 

определен

и вполне

непрерывен.

 

 

 

 

 

 

 

При выполнении условий а), б), 3') точками бифуркации урав­

нения (IV.6) могут быть по теореме 8 только

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

числа оператора F. В то же время известно [81], что не всякое ха­

рактеристическое число оператора F является точкой бифуркации

уравнения

(IV.6).

 

 

 

 

 

 

 

 

 

 

 

Теорема 9.

Пусть

выполняются

условия

а),

б),

3'). Тогда

всякое

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

число

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

оператора F

явля­

ется

точкой

бифуркации

уравнения

{IV.6).

 

 

 

 

Д о к а з а т е л ь с т в о .

Пусть

Х0

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

число

нечетной

кратности

оператора

F

Для

поля

Аи

ХТи

при

X до­

статочно

близком к

Х0,

ХФХ0,

выполнены

все

предположения

теоремы 4 гл. III (при

Г = — XT')

Применяя

эту

теорему,

имеем

 

 

У~ (К) = Г

W

= -

Y + (К)

= -

Y +

(К) Ф О,

 

 

где у* 0), у* 0) те же,

что

и в

теореме

6.

Теперь

утвержде­

ние теоремы 9 непосредственно следует из теоремы 6.

 

 

Подобно § 4

гл. I I I в случае гильбертова

пространства можно

ослабить предположения об операторе А. Ограничимся только фор­

мулировкой

результата.

 

 

 

 

 

 

 

 

 

 

 

 

Пусть Я—вещественное сепарабельное гильбертово простран­

ство, U — некоторая

окрестность

нуля

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

Я,

А : 0

->- Я—ограниченный деминепрерывный

оператор,

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

щий

условию

а),

Т

: U

Я — вполне

непрерывный

 

оператор,

ЛО =

ТО =

0.

Предполагаем,

что

Т

имеет производную

Фреше в

нуле— V',

оператор

Л в каждой

точке

u£U

имеет

производную

Гато, которую обозначим через А'{и),

и пусть

Л'

{и)

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

условию К) § 4 гл.

I I I . Пусть

еще в некоторой

окрестности нуля

U'

выполнено

неравенство

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

{A'

{v)h,h)>C\\h\\\

 

 

v£U'

 

 

 

 

 

с положительной постоянной С.

 

 

 

 

 

 

 

 

 

 

При этих предположениях имеет место теорема.

 

 

 

 

 

Теорема

10.

Для

того чтобы число Х0

было точкой

 

бифуркации

уравнения {IV.6),

необходимо,

чтобы оно было

характеристиче­

ским

числом

оператора

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F0 =

 

 

-[A'{0)rlT'.

 

 

 

 

 

 

Всякое характеристическое

число

нечетной

кратности

оператора

F0

является

точкой бифуркации уравнения (IV.6).

 

 

 

 

 

Укажем применения к нелинейным эллиптическим уравнениям.

Ограничимся одним примером, хотя из § 1, 4 гл. I I I ясно, что можно

рассмотреть

и другие

случаи.

 

 

 

 

 

 

 

 

 

 

176

 

Пусть

Q — ограниченная

область на плоскости,

граница кото­

рой для

простоты

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

класса

С°°, и пусть

операторы

 

 

 

 

 

А, Т : W™ (Q)

\ЧГВ

(Я)]*

 

 

 

определяются

равенствами

 

 

 

 

 

 

 

 

<Лы,о)=

£

(-

1)| а 1 ^А$(х,

и , . . . , Dmu)Davdx,

 

(IV.10)

 

 

 

 

|а|<ш

Q

 

 

 

 

 

 

 

 

(7-ы, о) =

£

( - 1)>а| j 4?' ( * , u , . . . , ZTu) D°Wx.

 

 

 

 

|aKm—1

Q

 

 

 

 

 

 

Предполагаем:

 

 

 

 

 

 

 

 

 

 

 

1) p>2

и для х £ Я, | =

{ 5 a : | a | < т } £ # Л 1

функции

А™ (х,1),

Ла' (х, |) непрерывны

по х, непрерывно

дифференцируемы по £ и

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

неравенству

(III.3),

 

 

 

 

 

 

2) для х£Я",

 

rig/?"

 

 

 

 

 

 

:

|o|,|P|<m

 

 

 

 

\|v|<m-J

' \

 

|v|=m

/

|a|=m

с

непрерывной

положительной

невозрастающей

функцией g.

Здесь

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Аа$ (х, £) = —

 

.

 

 

 

 

Теорема

11. Пусть

выполнены

условия

1), 2). Тогда

операторы

А,

Т, определяемые

формулами (IV. 10),

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

всем пред­

положениям

теоремы 9, если р > 2 и теоремы

10, если р = 2.

До к а з а т е л ь с т в о аналогично доказательству теоремы 5

илеммы 16 гл. I I I .

Следствие. Пусть выполнены условия 1) и 2). Тогда всякое ха­ рактеристическое число нечетной кратности уравнения

£

Da{A^(x,0)D^u}

= K

£

Da{Aa\(x,

0) Dp u}

(IV. 11)

|a|,10|«m

.

|al«:m—1

 

 

 

является

точкой бифуркации уравнения

 

 

£ Da{A^(x,u,...,Dmu)

= K

£

 

DaA^(x,u,...,Dmu).

| a K m

 

 

|a|«m— 1

 

(IV. 12)

 

 

 

 

 

 

При этом решения уравнений (IV. 11), (IV. 12) понимаются в слабом смысле, а кратность характеристического числа уравнения (IV. 11) понимается как кратность характеристического числа соответствую­ щего оператора.

12—843

177

§ 3. Точки бифуркации вариационных задач

Выше были получены достаточные признаки существования точек бифуркации уравнения (IV.6). В настоящем параграфе рассматри­ вается случай потенциальных операторов А, Т в гильбертовом про­ странстве и дается полное решение задачи — доказывается, что необходимое условие является и достаточным.

Пусть в некоторой окрестности нуля вещественного сепарабельного гильбертова пространства Н определены нелинейные функци­

оналы F,

G

 

(F (0) = G (0) =

0),

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

условиям:

 

 

1) функционал G слабо непрерывен и равномерно дифферен­

цируем в U; градиент G' функционала

G имеет в нуле производную

Фреше

G",

являющуюся

самосопряженным оператором

и G'

(0) =

=

0;

 

 

 

 

 

F непрерывно

 

 

 

 

в U;

 

 

 

 

 

2) функционал

дифференцируем

 

градиент

F'

функционала

F

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

условию а) § 2 гл.

I l l , F'(0)

=

О

и существует

положительная

постоянная

л>, такая,

что

для

u€U

<

F'u,

и

>

>

v || u||a . Здесь

< ,

> ,

|| • || — соответственно

ска­

лярное

произведение и норма в Н;

 

 

 

 

 

 

 

 

 

3) в

каждой

точке u£U

F' имеет

производную Гато

F"(и)

и

из

сходимости

последовательности

ип

к нулю

следует

сходи­

мость {F" («n)h)

к

F"(0)h

для произвольного элемента

 

h£H.

 

 

Проверяется,

что при

этих

предположениях

^"(О)

является

самосопряженным оператором. Для краткости в дальнейшем вместо

^"(О) будем писать F".

 

Изучается задача о точках бифуркации

уравнения

F'u = XG'u,

(IV. 13)

причем точки бифуркации понимаются в смысле определения § 2. р В наших предположениях при любом X нуль является решением уравнения (IV. 13), т. е. является стационарной точкой функционала

F (u) —

XG {и).

 

 

 

 

 

Нуль

назовем невырожденной стационарной

точкой функцио­

нала F (и) —

XG (и), если уравнение

 

 

 

 

 

 

 

Fnu — XG"u = 0

 

 

 

(IV. 14)

имеет только нулевое решение. В противном

случае

нуль

назы­

вается вырожденной стационарной точкой.

 

 

 

 

При выполнении для F, G предположений

1) —3)

полное реше­

ние задачи о точках бифуркации уравнения

(IV. 13) дает

такая

теорема.

 

 

 

 

 

 

 

Теорема 12. Для того чтобы Х0 было точкой

бифуркации

уравне­

ния (IV. 13),

необходимо

и достаточно, чтобы нуль

был вырожденной

стационарной

точкой

функционала

 

 

 

 

F(u)-XuG(u).

178

Д о к а з а т е л ь с т в о

н е о б х о д и м о с т и :

'Необходи­

мость проверяется непосредственно. Пусть Х0

— точка

бифуркации

уравнения (IV. 13) и последовательности

ип,

Хп

таковы, что

F'un — XnG'un, \Хп

— Хп \

, 0

<

II « п II <

4 " ' <•

Последовательность vn = || ип щейся к v0Ф 0, так как

1

v < IKJP (F'Un'

\\~1ип можем считать слабо сходя­

X

 

= \T^w(G'Un'

""^

и правая часть при /г-»- оо стремится к

\(G"v0,v0).

Пусть h — произвольный элемент Н. Переходя к пределу в ра­ венстве

 

 

0=j^j(F'un-%nG'un,h)

 

=

 

 

 

 

=

(F" (Qnun) vn

- XnG"vn,

ft) +

К (G"vn -

j ^ j G'un,

ft),

 

получаем, что v0

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

уравнению

(IV.14)

при

X=XQl

т. е.

нуль—вырожденная

стационарная

точка

функционала

F

(u)-X0G(u).

 

 

 

 

 

предложе­

 

Сейчас будет установлено ряд вспомогательных

ний к доказательству достаточности теоремы 12.

 

 

 

 

Пусть нуль — вырожденная стационарная

точка

функционала

F

(и) —

XQG (и). Из

условий

на F

следует, чтоЯ0 =£0. Можем

счи­

тать Х0 положительным. В противном случае достаточно заменить функционал G на — G.

 

Обозначим

через Н0 пространство

решений уравнения

(IV. 14)

при X = Х0

и через Нг

замыкание линейной оболочки всех

решений

уравнений

(IV. 14)

при

0 <

X < Х0. Из неравенства

 

 

 

 

 

 

 

(F"h,h)<Xn(G"h,h),

(IV. 15)

справедливого

для ft € Нъ

следует,

что Нг — конечномерное под­

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

Н. Обозначим через Нг

подпространство Н,

образо--

ванное такими элементами ft £ Я,

что

 

 

 

 

 

 

 

 

 

(F"u,h)

=

0

 

для всех

u£Hv

Н разлагается в прямую сумму

 

 

 

 

 

 

 

 

Н = Нх-\-

Hi

 

и

пусть

Pv

 

Р2

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

операторы ( проектирования на

Нг,

Я 2 .

 

 

 

 

 

 

 

 

 

12«

17»

Соседние файлы в папке книги из ГПНТБ