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

Динамический хаос (ИПИС, ФКС)

.pdf
Скачиваний:
64
Добавлен:
13.02.2015
Размер:
5.81 Mб
Скачать

Тогда получим

 

 

 

d x

d x

F(x) Ax ,

(246)

dt

dt

 

 

где A A(x(t)) A(t) – матрица, составленная из частных производных от компонент векторной функции F(x) по компонентам вектора x , т.е.

 

F1

 

x

 

1

 

F

 

2

A

x1

 

 

 

F

 

N

 

x

 

1

F1

x2

F2

x2

FN

x2

F1

xN

F2

xN

FN

xN

. (247)

Учитывая, что x(t) удовлетворяет уравнению (241)

ddtx F(x)

и пренебрегая членами второго и более высокого порядка по x в (246), находим, что эволюция малого возмущения x(t) в линейном приближении описывается уравнением

d x

Ax .

(248)

dt

 

 

Решение уравнения (248) базируется на так называемой теореме Ляпунова.

Теорема Ляпунова.

 

 

 

 

 

Если средние

значения модуля элементов матрицы

A ограничены, т.е. если для произвольного T

 

 

 

1

T

 

 

Aij

 

T

0

(t) dt M

 

 

Aij

,

 

 

 

 

 

где M – некоторое число, то тогда справедливы утверждения:

1)Для любого решения x(t) уравнения (248) существует ляпуновский характеристический показатель x – вещественное число, отличное от , определяемое как верхний предел .

 

x

lim 1 ln

x(T )

.

(249)

 

T T

 

2)При умножении решения x(t) на константу ляпуновский показатель не меняется, т.е.

 

 

 

 

 

 

 

C x

x .

 

 

 

 

(250)

3) Ляпуновский

 

показатель

линейной

 

комбинации

двух

решений x1

(t)

и

 

x

2 (t) меньше или

равен большему

из показателей этих двух решений, т.е.

 

 

 

 

C x

C

2

x

 

max x

, x

2

.

(251)

 

1

1

 

 

2

1

 

 

 

 

4)Имеются N линейно независимых решений xi (t) уравнения (248) (фундаментальная система решений), N ляпуновских показателей

. Наибольшее из этих чисел

1 2 N

1называют старшим ляпуновским показателем, а всю совокупность значений { 1, 2 , , N } – спектром ляпуновских показателей.

Присутствие в этом спектре показателя означает, что существует такое возмущение x(t) исходной траектории x(t) , которое будет эволюционировать как

x(t) exp( t) .

Следовательно, если 0 , то возмущение x(t) будет расти с течением времени, если же 0 – будет уменьшаться, стремясь к нулю.

Таким образом, исследование траектории на устойчивость сводится к определению спектра её ляпуновских показателей. Если хотя бы один из этих показателей окажется положительным, это будет означать неустойчивость рассматриваемой фазовой траектории системы. Если же все показатели отрицательны, то это говорит об асимптотической устойчивости траектории. Если же старший показатель оказывается нулевым, то это говорит о недостаточности линейного анализа для заключения об устойчивости или неустойчивости траектории.

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

Геометрический смысл ляпуновских показателей

Представим себе ансамбль систем, каждая из которых описывается уравнением (241)

ddtx F(x) .

Пусть все эти системы отличаются друг от друга начальными условиями, так что в фазовом пространстве ансамбль систем имеет форму шарообразного облака изображающих точек малого радиуса с центром на некоторой траектории x(t) (см. рис. 109). Посмотрим, что будет происходить с этим облаком с течением времени.

Рис. 109. Геометрическая интерпретация спектра ляпуновских показателей.

С течением времени каждая точка облака будет двигаться по своей траектории. Как было показано ранее, отклонение x(t) каждой точки облака от траектории x(t) будет подчиняться уравнению (248)

d x Ax . dt

Согласно же теореме Ляпунова среди всех

отклонений

x(t) независимыми будут являться только

N

отклонений

xi (t) , которые будут меняться по закону

 

 

xi (t) exp( it) ,

где i – один из ляпуновских показателей системы.

Это означает, что с течением времени форма и размеры облака будут изменяться. Так, спустя время T после начала движения, облако будет иметь вид N -мерного эллипсоида с размерами по главным полуосям 1, 2 , , N , где

i exp( iT ) .

(252)

В этом и заключается геометрический смысл ляпуновских показателей: величины { 1, 2 , , N } определяют степени сжатия или расширения эллипсоида изображающих точек вдоль его главных полуосей.