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

книги из ГПНТБ / Понтрягин, Л. С. Обыкновенные дифференциальные уравнения учебник

.pdf
Скачиваний:
27
Добавлен:
22.10.2023
Размер:
11.65 Mб
Скачать

2 3 0

 

 

 

 

 

 

УСТОЙЧИВОСТЬ

 

 

 

(Гл. Б

налом и,

т, е.

 

 

 

 

 

 

Xi (X 100) = «■

 

 

 

 

 

 

 

X

1(Xi (")) =

".

 

 

Функция

у =

/,

называется функцией

последования.

 

 

Для

доказательства предложения

Б)

используем предложение А),

считая, что

=

а,

 

| — g(u),

tv =

k~,

где

k — произвольное целое

число.

(В действительности

мы используем

лишь

значения

k =

1,

О, —j—1.)

В силу

предложения А), существуют непрерывные функции

tk {u) =

tk (g (»))

и

Xk00 = vk(ff00)> удовлетворяющие условиям:

 

 

Ф(М")>

g 00) — g (lk 001

 

tk {uli) = kx,

х*(«о) =

"в.

(7)

причем,

в силу

единственности, функции, удовлетворяющие

этим

условиям, определены однозначно. В частности, / () (и) = и.

 

 

Докажем,

что

 

X* 0/л (»)) == 1ш 00

 

 

(8)

 

 

 

 

 

 

 

 

Пользуясь

соотношением

(7) и

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

В) § 26,

получаем:

g (X* (X/ (и))) = Ф (** (X/ (и)),

g

(Xi («))) =

 

 

 

 

 

 

 

=

Ф Ok (Xi («)). Ф (^i(«). £ (и))) =

Ф Ok (Xi (и)) -г гг (и). £

(«)).

причем

выполнены

условия

 

 

 

 

 

 

 

 

 

 

 

lk (Xi («о))

(«в)=

(н«)

 

0 Oh) — 0* ~т 0

 

 

 

 

 

 

 

Ik (X/ Oh)) — <h-

 

 

 

 

 

 

 

С другой

стороны,

мы имеем:

 

 

 

 

 

 

 

 

 

 

 

 

 

g(Zk+iOO) = <fOk+iOO, gOOl,

 

 

 

причем

 

 

 

 

 

У м

Oh) =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Oh) — {k - f 0 t.

В силу единственности функций, удовлетворяющих условиям (7), мы получаем:

**(X i(«)) + * i(") =

**+i (и);

 

lk (Xi («)) =

Х*ы («)*

 

Таким образом, соотношение (8) доказано.

 

В частных случаях, когда k — — 1, / — + 1 и k =

1 = 1,

получаем:

 

 

X-i(Xi ('О)= Хо ('О = «.

XI (Х-1(и)) = Хо 00 = и-

Таким образом, функции х — Xi и Х- 1==Х- 1 взаимно обратны. Докажем теперь, что при достаточно малом I и — н01 траектория

ф(<, и) первый раз пересекается с L при возрастании t в момент

5 23 1

 

 

 

 

 

 

 

ПРЕДЕЛЬНЫЕ ЦИКЛЫ

 

 

 

 

 

 

 

231

времени /, (н), а при убывании

t

— в

момент времени t_x (и).

Из един­

ственности пересечения (см.

А))

следует,

что

на каждом

из

интерва­

лов 11 — (— т) | <( г,

| f | <

в,. I # — х]<^г

 

траектория tp (i,

и)

пересе­

кается с отрезком L в единственной

 

точке.

 

 

 

 

 

 

 

 

Других

пересечений

 

с

отрезком

L

траектория

<р(t,

и)

при

1^ 1<С(£ +

")

и достаточно

малом | и ий \ вообще

не

имеет

по

сле­

дующим соображениям.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Часть

К*

траектории

К,

списываемая

точкой tp (t, а),

когда

 

 

 

г -g; t ^

(т — г)

 

или

 

— г) sg; t ^

— г,

 

 

 

(9)

является замкнутым множеством, которое

не

пересекается

с

замкну­

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

L

и

потому

расстояние

р между

множествами

К* и

L положительно. Далее, в силу предложения Г) § 23, расстояние

между

точками

ср(^,

 

а)

и

<р(^,

и),

когда

t

принадлежит

 

множеству

(9), меньше р, если только величина

 

| и иа \

достаточно

мала.

 

Таким

образом, и траектория ср(^ и),

когда t

принадлежит

мно­

жеству (9), не пересекается с отрезком L.

 

 

 

 

 

 

 

 

Итак, предложение Б) доказано.

 

 

 

 

 

 

 

 

 

 

 

 

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

 

т е о р е м ы

 

20.

Выберем

на

фазовой

пло­

скости Р прямолинейный отрезок L, пересекающий кривую К, не ка­

саясь ее,

в единственной точке а, внутренней для отрезка L. Введем

на отрезке I. числовую координату и обозначим через

 

координату

точки а. Для определенности

будем

 

считать,

что точкам

 

отрезка L,

лежащим

вне кривой К, соответствуют координаты, большие н0,

а точкам,

лежащим

внутри

К, — координаты,

меньшие

н0Через X

обозначим

функцию последования, соответствующую отрезку L (см. Б)).

Таким

образом,

для

 

всех

 

чисел

достаточно

малого

интервала

| и — пи|

а

траектория

уравнения

(2),

начинающаяся

на

отрезке L

в точке р

с координатой и, при возрастании

времени

впервые

пере­

секает

отрезок

L в точке

q

с

координатой

y(u) — v.

 

 

 

 

 

Мы

имеем, очевидно:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

у (н„) =

 

щ.

 

 

 

 

 

 

 

 

 

 

Далее,

если

для

числа и

выполнено

равенство

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

у (и) — и,

 

 

 

 

 

 

 

 

 

( 10)

то траектория,

начинающаяся

в точке р

с координатой

и,

замкнута.

Так как,

по

предположению,

траектория

К

является

изолированной

замкнутой

траекторией,

то

существует

настолько малое

положитель­

ное число

а,

что

при

|и — Мо|<Са уравнение

(10) имеет единственное

решение

и — ц0.

Из

этого

следует,

 

что

для

всех

точек

интервала

11

» « а

имеет место одно из

неравенств:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X 0 0 <

 

">

 

 

 

 

 

 

 

 

 

0 1 )

 

 

 

 

 

 

 

 

 

 

X (" )> « •

 

 

 

 

 

 

 

 

 

( 12)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

232

УСТОЙЧИВОСТЬ

[Гл. 5

В самом деле, если бы

для некоторых точек этого интервала

имело

место неравенство (11), а для некоторых — неравенство (12), то, в силу непрерывности функции у, на том же интервале нашлась бы точка и,

для которой выполняется равенство (10), что невозможно.

 

Так

как

траектория, начинающаяся в точке р

с координатой и, принадлежащей

интервалу

н0

и <[ н0+

а> пе может

пересечь

 

траектории

К,

то

обе

точки р

и

q

лежат

по

одну

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

К

(а именно,

вне

К),

так что

 

 

 

 

 

 

 

 

 

X (") > "о-

 

 

 

 

 

 

 

 

(13)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рассмотрим

 

теперь

случай,

когда

для

всех

точек

интервала

и0

и

«о -j- а

имеет место

неравенство

(11). Пусть н, — произволь­

ное число этого интервала.

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

чисел иь и.ь ...,

положив:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Н/+1 =

X(и|)>

г =

1,

2 ,...

 

 

 

 

(14)

В

силу

неравенств

(11)

и (13)

эти

числа

расположены

на

интервале

ио <С w <С г,« “f" а

и образуют

убывающую

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

Следо­

вательно, они имеют некоторый

предел и*. Переходя в равенстве (14)

к

пределу

 

при

г о о ,

получаем

у (и*) — и*,

а

так

как

точка

и*

принадлежит интервалу | и — z/0 !<^a,

то>13 силу единственности реше­

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

 

(10)

на

этом

интервале,

и* — щ.

Итак,

lim

ut =

u0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

-> оо

 

 

Обозначая через /?, точку отрезка L с координатой и{, мы видим, что

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

точки

р ь

р.ь ...

пересечения траектории,

начина­

ющейся

в p lt

с отрезком L сходятся

к точке а, лежащей

на траек­

тории К ■Так как время

перехода

по

нашей

траектории

от

точки p t

до

точки p i+i

близко

к

периоду т предельного цикла К (и, в

частно­

сти, ограничено), то при

росте

i весь

отрезок

траектории от точки р {

до

точки

p i+i

 

прижимается

к

траектории К

(см.

§

23, Г)).

Это и

значит,

что

траектория, начинающаяся

в точке р 1у

спирально

наматы­

вается на траекторию К при £-*■-}- оо. Таким образом, доказано, что при выполнении неравенства (11) траектория, начинающаяся в любой точке отрезка L с координатой и, принадлежащей интервалу н0<^и<^

а, спирально наматывается на К при t-+ -\-co .

Если

на интервале

щ

и н0 а имеет место неравенство (12),

то для обратной к у

функции у 1 на некотором интервале

Uq-f- р

имеет место

неравенство

'/Г1( ® ) 0

Исходя из пего, мы точно так же покажем, что в этом случае любая траектория, начинающаяся в точке отрезка L с координатой v, при­ надлежащей интервалу и№ v Чц-{- р, спирально наматывается на траекторию К при t — оо.

§ 2 8 ]

ПРЕДЕЛЬНЫЕ ЦИКЛЫ

233

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

вала д0^> и ^> lh — Т-

Так как каждая траектория, проходящая достаточно близко от

траектории К,

пересекает отрезок L

в

точке с

координатой, доста­

точно близкой

к н0, то мы

разобрали

поведение

в с е х траекторий,

близких к предельному циклу.

 

 

 

Таким образом,

теорема

20 полностью доказана.

З а м е ч а н и е .

Для того

чтобы

объединить

в одной формули­

ровке связь между поведением функции у (и) вблизи нп с поведением

как внешних, так и

внутренних

 

траекторий,

мы рассмотрим нера­

венства

 

 

 

 

 

 

 

 

 

 

1X00 — но I <

I н — ио1> 1

 

 

 

 

IX(") —"о I >

I « —»о I- I

 

Если

в полуокрестности линии

К (внешней

или внутренней) выпол­

нено

первое

из этих

неравенств,

то

точка q

находится

на линии L

б л и ж е к а,

чем р,

и потому

в

этой полуокрестности

траектории

спирально наматываются на К при

£ -> -{-оо. Если же в полуокрестно­

сти выполнено второе из неравенств (15), то в этой полуокрестности

траектории спирально

наматываются

на

К при

t — — оо.

 

 

В) Функция последования x = /.i

и

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

у-1 — y_i

(см. Б)) имеют непрерывные производные.

 

 

/л (и), k — ±

\ ,

опре­

Для

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

напомним, что функция

деляется

из уравнения

(7):

 

 

 

 

 

 

 

 

 

0 *. £(«)) — £ Ы

=

°>

 

 

 

(16)

где и является независимым переменным,

a tk и yk

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

как неявные функции

переменного и.

Так

как

функция

ф(£,

|)

имеет

непрерывные частные производные по компонентам вектора | (см. теорему 17), а функция § = g(ii), являющаяся линейной относительно й, имеет непрерывную производную по и, то левая часть соотноше­ ния (16) имеет непрерывную производную по и. Поэтому, в силу

теоремы 28,

неявные функции

tk (u)

и yft(n), определяемые уравне­

нием (16), имеют непрерывные производные по и.

 

Таким образом, предложение В) доказано.

 

Большую

привлекательность

имеет геометрическое изучение функ­

ции последования у (и). Изобразим ее

в виде графика

уравнения

 

v = x 0 0

 

(17)

в плоскости

переменных м, v,

считая

при этом для

удобства, что

»о^>0. Для того чтобы изучить решение уравнения (10), мы рас­

смотрим наряду с кривой (17) биссектрису первого

координатного

угла

U

 

V

(18)

2 3 4

УСТОЙЧИВОСТЬ

[Гл. 5

(рис. 45). Для

нахождения всех решений уравнения (10)

следует

найти все точки пересечения линий (17) и (18). Для того чтобы замкнутая траектория К была предельным циклом, необходимо и доста­ точно, чтобы точка (//0, н0) являлась изолированной точкой пересечения графиков (17) и (18). Если эти

графики

не касаются

друг друга

в точке

щ), т. е.

если / ' (и,) ф 1,

то точка

(»0, ut)

их

пересечения

обязательно изолированная. В этом

случае

траектория

К называется

грубым

предельным

циклом.

При

X (?,о) <С 1 (см.

Рис-

45)

в

обеих

полуокрестностях

очевидно

выпол­

нено первое из неравенств (15), и, следовательно, предельный цикл К устойчив. При у'(и0)^>1 (рис. 46)

выполнено второе из неравенств (15), и, следовательно, предельный

цикл К вполне неустойчив.

 

 

 

Если графики (17) и (18)

касаются друг

друга в точке

(мв, и0),

но кривая (17) переходит с

одной стороны

биссектрисы

(18) на

другую, то предельный цикл К является либо устойчивым, либо вполне неустойчивым. Если же кривая (17), касаясь биссектрисы (18), нахо­ дится по одну ее сторону (рис. 47), то соответствующий предельный цикл является полуустойчивым.

К р и т е р и й с у щ е с т в о в а н и я п р е д е л ь н о г о ц и к л а

Г) Пусть <р (t) — некоторое решение уравнения (2) (п првизвольно), определенное для всех значений и остающееся для этих зна­ чений t в замкнутом ограниченном множестве F, расположенном в Л.

§ 2 8 ] ПРЕДЕЛЬНЫЕ ЦИКЛЫ 235

Почка р пространства

R называется

^-предельной

точкой решения

Ц (0,

если существует

такая неограниченно возрастающая последова­

тельность значений (больших /0)

 

 

 

11)

•••> tk,

lim tk — oo,

 

 

 

 

A-^co

 

ЧТО

 

lim Ф (<*) = p .

 

 

 

 

 

 

A -►oo

 

 

Совокупность 2 всех («-предельных

точек решения <р (t) называется

его

ш-предельным множеством.

Оказывается,

что множество 12

непусто, замкнуто, ограничено и состоит из целых траекторий; последнее

означает, что если точка |

принадлежит 2 ,

то решение ф (t,

|)

с началь­

ными значениями (0, |)

определено

для всех значений t, и вся траек­

тория ф (t, |)

входит

в

множество

2. Очевидно, что м-пределыюе

множество траектории ф(£, |) целиком содержится в 2 .

 

 

Докажем предложение Г). Из замкнутости и ограниченности мно­

жества F следует,

что

множество

 

2

(очевидно,

содержащееся в F)

непусто и ограничено.

Покажем, что оно замкнуто. Пусть

 

 

 

 

 

 

 

 

Р н />*•••. />*. • • •

 

 

 

 

 

— некоторая

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

точек

множества

2 ,

сходящаяся

к некоторой

точке р

множества Д;

докажем,

что р

принадлежит 2 .

Пусть £], £.2; ..., £*, ... и

s2, ...,

 

sk, ...

— две такие последователь­

ности положительных

чисел, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пгп

= 0;

 

lim s/; = oo.

 

 

 

 

 

 

 

 

 

А-* 00

 

А-►СО

 

 

 

 

 

 

Так

как точка

p k

принадлежит 2,

то найдется такое значение

что

расстояние

между точками р и и ф^*)

меньше

еА. Для выбранных

значений

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

th

t.h ..., tk, ...;

 

lim tk — oo

 

 

 

 

 

 

 

 

 

 

 

 

 

A-+oo

 

 

 

 

 

мы получаем

 

 

 

 

 

lim <$(tk) ~ p ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A-*oo

 

 

 

 

 

 

 

 

 

а это значит, что точка р

входит

в 2 .

 

 

 

 

 

 

Покажем теперь, что множество

2

состоит

из

целых

траекторий.

Пусть | —произвольная точка множества

2

и ф (t, |) — решение с началь­

ными значениями (0, |).

Пусть, далее,

Т — такое

значение

перемен­

ного

t (оно

может

быть и отрицательно), для которого решение ф (*, |)

определено,

так что точка

ф(7", |)

 

существует. Так как точка | при­

надлежит 2 , то найдется такая неограниченно возрастающая последо­ вательность

• • •)

• • •»

lim tk — oo,

 

 

ft-» 'jo

23 6

УСТОЙЧИВОСТЬ

[Гл. 5

Ч Т О

 

 

 

Пт ф (**) = £.

(19)

к

оо

 

Так как решение <р(0 определено для всех достаточно больших зна­ чений t, то при заданном Т определены (начиная с некоторого А) точки

<Р(^+ 7-) = q>(7; ч>(*л))

(см. § 26, В)). Из формулы (19) в силу теоремы 14 мы имеем:

 

lim ф (tk -(-

Т) =

Пш ф ( Т,

ф (/*)) = ф (7, I),

 

 

 

 

 

к - * со

 

 

k ~ * c o

 

 

 

 

 

 

 

 

а из этого

следует,

что

точка

ф('/',

§)

принадлежит

множеству

2 ,

а следовательно, и множеству F. Таким образом,

траектория

ф (t,

|)

не может

покинуть

множества

F ни

при

t

возрастающем,

ни

при t

убывающем, а потому в силу

предложения

В) §

22 она

определена

для всех значений t.

 

 

 

 

 

 

 

 

 

 

 

Итак, предложение Г) доказано.

 

 

 

 

 

 

 

 

Рассмотрим некоторые частные случаи

 

(«-предельного

множества.

Если решение ф (t) (см. Г)) есть положение равновесия, т.

е.

ф (t) =

х„,

то («-предельнее множество решения ф (t)

состоит,

очевидно, из однс й

точки дгп. Если ф (t)

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

тую траекторию К, то («-предельное множество решения ф (/), очевидно, совпадает с К . Наконец, если К есть периодическое решение, а ф(^)---

спирально навертывающаяся на него при t »--j-oo траектория, то К есть («-предельное множество решения ф (t).

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

тических правых

частей системы (1) это периодическое решение будет

либо предельным

циклом, либо будет

содержаться внутри

семейства

периодических траекторий (см. пример 3).

 

 

 

Т е о р е м а

21. Пусть qi(t)— решение

уравнения

(2)

(п = 2),

определенное

для

всех значений

и

остающееся

при этих

значениях t в замкнутом ограниченном множестве F, содержа­ щемся в Д, и пусть 2 есть ш-предельное множество решения ф (t). Если множество 2 не содержит положений равновесия, то оно состоит из одной замкнутой траектории К■ При этом воз­ можны два случая: 1) ф (t) есть периодическое решение, а К опи­ сываемая им траектория, 2) траектория, описываемая реше­

нием ф (t),

при £-»--|-оо

наматывается на траекторию К,

как

спираль.

 

 

Если ф (t) — периодическое решение,

 

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

то

множество

2

состоит из

единственной периодической траектории К,

описываемой

решением q>((), и утверждение теоремы очевидно (слу-

§ 281

ПРЕДЕЛЬНЫЕ ЦИКЛЫ

237

 

 

 

май 1). Допустим, что

решение ф (0

не является

периодическим и

пусть Ь — произвольная

точка множества 2. Через точку Ь проведем

прямолинейный отрезок

L, не коллинеарный вектбру f ( b ) фазовой

скорости, выходящему из точки Ь

так как,

по предположе­

нию, точка Ь множества 2

не

является поло­

 

 

 

 

 

 

 

 

жением равновесия), и выберем этот отрезок

 

 

 

 

 

 

 

 

настолько коротким, чтобы все траектории,

 

 

 

 

 

 

 

 

проходящие через точки этого отрезка, пере­

 

 

 

 

 

 

 

 

секали его (не касаясь) в том же направлении,

 

 

 

 

 

 

 

 

что и траектория,

проходящая

через Ь (рис. 48).

 

 

 

 

 

 

 

 

Так как точка b является w-пределыюй для

 

 

 

 

 

 

 

 

траектории <р (<), а

последняя

не

является

зам­

 

 

 

 

 

 

 

 

кнутой, то эта траектория должна, очевидно,

 

 

 

Рис.

-JK.

 

 

бесчисленное множество

раз

пересечь

 

отрезок

 

 

 

 

 

L и

притом в различных точках

(см.

А)). Пусть

 

 

 

 

 

 

 

 

а, =

ф(П) и а.г — (f(t2) — две следующие друг за

другом

во

времени

 

 

точки пересечения траектории ф(£) с отрезком L. Кусок

траектории ф(0,

 

 

 

обозначим

через

М.

Вместе

с отрезком

а ха.г он

образует

замкнутую

кривую Q, которая разбивает плоскость

па

две

области

Gx

и

G2.

Пусть

h — малое

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

число.

 

 

 

 

 

 

 

Геометрически очевидно (рис. 49),

 

 

 

 

 

 

 

что точки ф (t2— /г)

и

ф (tt -j-

h)

ле­

 

 

 

 

 

 

 

жат по разные стороны кривой Q;

 

 

 

 

 

 

 

будем

считать,

что

первая принад­

 

 

 

 

 

 

 

лежит

области

G„

а

вторая — об­

 

 

 

 

 

 

 

ласти

 

G.2.

Через

отрезок

а ха г

все

 

 

 

 

 

 

 

траектории

входят

из

области Gi в

 

 

 

 

 

 

 

область G2. Таким образом, ни одна

 

 

 

 

 

 

 

траектория

не

может

выйти

из

об­

 

 

 

 

 

 

 

ласти G* через этот отрезок. Войти

 

 

 

 

 

 

 

или выйти в область G2 через кри­

 

 

 

 

 

 

 

вую

М

никакая траектория

также

 

 

 

 

 

 

 

не может, так как М есть кусок

 

 

 

 

 

 

 

траектории, а траектории не

могут

 

 

 

 

 

 

 

пересекаться

 

между

собой.

Так

 

 

 

 

 

 

 

как кусок М траектории ф(Г) пе­

ресекается с отрезком L только в

 

своих

концах,

то

концы

от­

резка L лежат по разные стороны

кривой

Q.

Обозначим

через

а

тот конец отрезка L, который лежит в области

О.,.

Траектория ф (t),

начиная

с t^ > t24 -h ,

вся

протекает

в

 

области

G* и не

может

пере­

секать отрезок а ха.2,

поэтому

точка

b

 

не

принадлежит

отрезку

 

(см. А)), и, следовательно, она должна лежать на отрезке ааг. Если теперь а 3= ф(£3) — следующая (во времени) после а.> точка пересе­ чения траектории ф (^ с отрезком L, то из аналогичных соображений

238

УСТОЙЧИВОСТЬ

 

[Гл. 5

видно, что она лежит на отрезке Ьа2 (рис. 49).

Обозначая

через

 

Й4 — ф (h)> •••> а* =

ф(*л). •••

 

следующие друг

за другом (во времени)

точки

пересечения

траекто­

рии tp(ft) с отрезком L, мы убедимся, что они образуют на отрезке L

монотонную последовательность

точек,

идущих

в направлении

от ах

к Ь. Покажем,

что

предел

Ь’

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

а 2,

а*

...,

ак> ...

совпадает

с Ь.

мы, прежде всего, докажем,

что

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

 

Для этого

ftJ;

tb ....

tk, ...

неограниченно возрастает.

Допустим,

что

limftA=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k-* -0 0

=

т <[ -)- оо. Тогда ф (т) =

Ь’ и /( £ ') =

ср' (т) = lim

 

 

 

 

 

а это

невозможно, так

как вектор ф (т) — <р (tk) направлен вдоль отрезка L,

а вектор /(* ')

не коллинеарен

этому отрезку. Таким образом, должно

быть

выполнено

соотношение

lim ftA=

оо,

и потому

вся

траекто-

рия

<р (ft)

при

 

 

 

k-* -0 0

 

 

 

аь

а,г........ак, ...

 

 

пересекается с L лишь в точках

Следовательно, эта траектория имеет на отрезке L лишь одну («-пре­

дельную точку

Ь' (см. А)), так что Ь' — Ь. Отметим,

что в проведенном

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

было пока

использовано лишь то,

что

с а ма

 

т о ч к а ft

не является положением равновесия.

 

 

 

 

 

 

 

 

 

 

Покажем теперь, что траектория <р (ft) не может входить в («-пре­

дельное множество для какой-либо другой траектории

ф (ft).

 

Допустим

противоположное.

Тогда

каждая

точка

траектории

 

q>(ft)

является

(«-предельной для ф (ft) (см. Г)); в частности,

таковой

будет

точка а 2.

Так

как

точка

 

а 2 не является

положением

равновесия,

то

в силу

доказанного выше

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

 

 

 

 

 

 

 

 

blt b.2, ..., Ьк, ...

пересечения траектории t|5(ft) с отрезком L образуют монотонную последовательность, сходящуюся к ah и других ш-предельных точек траектории ф (ft) на отрезке L не существует. Но это противоречит тому, что все точки аь а 3........лежащие на траектории <р (ft), являются («-предельными точками траектории ф (ft).

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

Так как траектория К содержится в («-предельном множестве & траектории <р (ft), а это множество замкнуто (см. Г)), то все («-пре­ дельные точки траектории К содержатся в 2 и потому не являются положениями равновесия. Таким образом, к траектории К можно применить доказанное выше предложение, так что траектория К должна

S 28]

ПРЕДЕЛЬНЫЕ ЦИКЛЫ

239

быть замкнутой. Из всего построения видно, что траектория <f (t) наматывается на К, как спираль, и потому множество £2 состоит лишь из замкнутой траектории К, проходящей через точку Ь.

Таким образом, теорема 21 доказана.

При м е р ы

1.Дадим пример системы уравнений вида ( 1) (п = 2), имеющей периодические решения различного типа, в частности предельные циклы различных видов. Первоначально мы зададим ее в полярных координатах ср, р, а затем уже преобразуем в декартовы координаты х, у .

Имея в виду последующее преобразование к декартовым координатам, г:ы зададим ее в виде:

 

 

 

p = pg(p%

(20)

где g(u) — непрерывно

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

функция своего аргумента,

определенная для всех

неотрицательных

его

значений. При рассмо­

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

использовать лишь поло­

жительные значения для р.

 

 

 

 

 

Множество всех положительных значений р, для которых g (p‘) = 0,

обозначим через N, а его

дополнение

в

множестве положительных

чисел — через D. Каждому

числу

п0 из N

соответствует, очевидно,

решение

 

= t,

Р =

 

 

 

 

 

 

уравнения (20); соответствующая траектория Ки„замкнута: она является окружностью в плоскости Р с центром в начале координат и радиу­

сом щ. Так как множество N

замкнуто

в

совокупности

всех

поло­

жительных чисел, то D открыто и состоит из конечного или счетного

числа

интервалов,

попарно

друг друга

не

пересекающих.

Пусть

гб<СР<Сгл2— один

из

к о н е ч н ы х

интервалов.

Тогда

замкнутые

траектории

К,ц и KUl

ограничивают

в

плоскости

Р

кольцо Q. Для

всех

чисел

р интервала Hi<^p<Cw2 функция ,^(р2) сохраняет знак,

так

что

на

всем интервале имеет место

одно нз

неравенств:

 

Пусть

 

 

 

g (Р2) <

*(Р4) > 0 .

 

 

 

 

 

(21)

 

 

 

<p=

t,

р =

р(£, и)

 

 

 

 

 

(22)

 

 

 

 

 

 

 

 

 

 

— решение системы (20) с начальными значениями i =

0, ср = 0, р = п,

где м,

н

г;4. В силу доказанного в примере

1

§

15

функция р (t,n)

определена

для всех значений t

и при ^-> -]-оо приближается к одному

из концов

интервала »1<^р<^п2, а

ПРИ ^

 

00 — к

другому. Из

того следует, что траектория

(22)

при t -*■-{-со

и t —>— со

нама­

тывается, как спираль на окружности К,п, А'»,. Именно,

если выполнено

первое

из

неравенств

(21),

то

траектория

(22)

представляет

собой

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