Фазні Портрети: Вивчення Динамічної Системи Без Розв’язування Рівнянь

Векторне поле – це все

Візьміть 2D автономну систему звичайних диференціальних рівнянь: dx/dt = f(x, y) і dy/dt = g(x, y). У кожній точці площини (f, g) є вектор швидкості, який точно повідомляє вам, куди і як швидко б воно рухалося, якби там було. Порівняння траєкторій – це сітка цих векторів, плюс родина траєкторій, яка всюди дотична до них, замість того, щоб малювати x(t) та y(t) проти часу. Ви втрачаєте інформацію про час, але отримуєте щось більш цінне: повну якісну поведінку системи, видиму з першого погляду, без необхідності розв'язувати за допомогою замкнутих форм.

dx/dt = a*x + b*y
dy/dt = c*x + d*y        (linear case, matrix form: dX/dt = A X)

Фіксовані точки та їх класифікація за допомогою власних значень

Фіксована точка – це місце, де векторне поле дорівнює нулю абсолютно – як f, так і g зникають, тому стан, розміщений там, ніколи не рухається. Поруч із фіксованої точки систему можна лінійно наблизити за допомогою її якобіанської матриці, а власні значення цієї якобіанської матриці класифікують поведінку траєкторій поблизу.

На фіксованій точці векторне поле дорівнює нулю. Це означає, що система залишається незмінною в цій точці. Лінійна наближення системи біля точки стабільності дозволяє визначити, чи буде ця точка стабільною (траєкторії збігаються до неї), нестабільною (траєкторії віддаляються від неї) або нейтральною (траєкторії обходять її).

both eigenvalues real, negative        -> stable node (sink)
both eigenvalues real, positive        -> unstable node (source)
real eigenvalues, opposite signs       -> saddle
complex pair, negative real part       -> stable spiral
complex pair, positive real part       -> unstable spiral
purely imaginary pair                  -> center (neutral orbits)

Нелінійні системи: межі періодичності та теорема Пойкара-Бенджіксона

Нелінійні системи також можуть мати ізольований закритий періодичний орбіту, що називається межею періодичності, до якої припливають (або віддаляються) сусідні траєкторії без жодного наближення до неї — це, як правило, осцилятор Ван дер Поля. Теорема Пойкара-Бенджіксона стверджує, що в межі області площини будь-яка траєкторія безперервної 2D автономної системи, яка не наближається до постійної точки, повинна наближатися до періодичної орбіти. Траєкторії в площині не можуть перетинати одна одну, тому просто немає місця для нескінченного згинання та розтягування, які необхідні хаосу. Це структурне пояснення того, чому графіки фаз 2D завжди виглядають упорядковано, тоді як 3D-система, така як аттрактор Лорренца, яка має додаткову вимірюваність для згинання в неї, може справді бути хаотичною.

Стабільність та біфуркації з портрету

Нульові криві — крива, де dx/dt = 0, і крива, де dy/dt = 0 — точно перетинаються в стаціонарних точках, а малювання їх вручну є класичним способом побудови портрета фази без комп’ютера: векторне поле вказує чисто вертикально на нульовій кривій dx/dt = 0, і чисто горизонтально на нульовій кривій dy/dt = 0. Змінюючи параметри системи безперервно, стаціонарні точки можуть з’являтися, зникати, об’єднуватися або змінювати свою стабільність; біфуркація Хопфа — момент, коли стабільний спіральний рух стає нестабільним і відкидає невеликий лімітний цикл навколо себе, механізм початку коливань у всьому від моделей хижак-жертва до електронних ланцюгів.

Часті запитання

Спробуйте наживо

Усе, що вище, працює прямо у вашому браузері — відкрийте Phase Portrait і змінюйте параметри під час роботи. Нічого не встановлюється, нічого не завантажується на сервер, уся модель живе в одній вкладці.