А диференційний атрактор не є сталою точкою, і не хаосом без форми
Динамічна система зазвичай встановлює довгострокову поведінку в одному з кількох шаблонів: вона збігається до постійної точки, стає періодичним циклом або — цікавий випадок — вона безперервно блукає, не повторюючись, але залишається обмеженою структурованою областю фазового простору. Цей третій випадок є диференційним атрактором, і відкриття Едвардом Лорнцем у 1963 році одного з таких атракторів, моделюючи атмосферну конвекцію з сильно спрощеної трикомпонентної системи, є основоположним прикладом детермінованого хаосу як області знань.
Система складається з трьох закорельованих нелінійних звичайних диференціальних рівнянь:
dx/dt = σ(y - x) dy/dt = x(ρ - z) - y dz/dt = xy - βz σ (sigma) = Prandtl number analogue, typically 10 ρ (rho) = Rayleigh number analogue, typically 28 β (beta) = geometric factor, typically 8/3
Чому воно ніколи не стабілізується, і чому воно ніколи не вибухає
При класичних значеннях параметрів (σ=10, ρ=28, β=8/3), початок та ще дві фіксовані точки є повністю нестабільними, тому траєкторія, що починається будь-де поблизу, відштовхується від усіх трьох — вона не може встояти. Водночас система є дисипативною: об'єм фазового простору скорочується всюди (розбіжність потоку, −(σ+1+β), є постійною негативною сталою), тому траєкторії також не можуть відходити до нескінченності. Затиснутий між не може згортатися і не може втекти, траєкторія змушена потрапити на надтонку, безкінечно складену поверхню — притягуючий центр — простежуючи знамениту форму дволобого метелика, спіраючись навколо однієї крила певний час, непередбачувано перетинаючи інше і ніколи не відтворюючи точно свій власний шлях.
Чутлива залежність: ефект метелика, точно визначений
Дві траєкторії, що починаються на відстані ε один від одного на хаотичному атракторі, експоненціально швидко розходяться, швидкість росту визначається найбільшим Lyapunov чисельником системи λ: відстань зростає приблизно як ε·e^(λt). Для стандартних параметрів Лоренца λ позитивна (близько 0.9 в натуральних одиницях часу рівнянь), що є формальним сигнатурою хаосу — позитивний Lyapunov чисельник означає, що похибка прогнозування подвоюється за фіксований, короткий часовий проміжок незалежно від того, наскільки точно ви знаєте початковий стан. Це походить від власної метафори Лоренца: крильо метелика, немислимо мале порушення, в принципі здатне змінювати те, чи розвивається далекий погодні феномен у бурю через кілька тижнів, незважаючи на те, що крильце не несе змістовну енергію, але тому, що будь-яка ненульова невизначеність зростає без обмежень у хаотичній системі.
Выражаю важность того, что хаос не означает случайность
Стоит подчеркнуть, чего здесь не подразумевается под хаосом. Система Лорренца не имеет какого-либо случайного ввода нигде — при заданных точных начальных условиях ее будущее уникально определено тем же тремя уравнениями навсегда. То, что делает ее неуловимой на практике, заключается в том, что никакое измерение реального начального состояния никогда не является бесконечно точным, и экспоненциальное расхождение означает, что даже небольшая, неизбежная ошибка измерения растет и доминирует над прогнозом в течение конечного, часто короткого периода времени. Это практическая причина надежности погоды на несколько дней, а не месяцев: сама лийвнер-типная дивергенция атмосферы, а не отсутствие вычислительной мощности или физического понимания является фундаментальным пределом.
Що змінюють параметри ρ, σ та β насправді робить
Параметри не є випадковими ручками – вони відображаються на фізичну конвекцію: ρ пропорційний різниці температур, що призводить до руху рідини (Райлієву число), σ - відношення імпульсу до теплопровідної в’язкості (Число Прандтля), а β кодує геометрію ідеальної конвекційної комірки. Якщо ρ ≈ 1, то єдиним маятником є нерухомий фіксований пункт; між приблизно 1 та 24,74 системою встановлено один із двох стабільних фіксованих пунктів, що представляють собою стабільні звиті рули; вище приблизно 24,74 ці точки втрачають стабільність і з’являється дивний маятник, який стає все більш складною згорткою, коли ρ збільшується ще більше, з випадковими періодами простої нехаотичної поведінки в межах хаотичного діапазону – структура, характерна для багатьох хаотичних систем, а не тільки цієї.
Frequently asked questions
Чи дійсно Лорренців аттрактор є випадковим?
Ні — це повністю детермінований. Якщо запустити систему з одного й того ж початкового пункту, використовуючи одні й ті самі три рівняння, завжди буде отримана однакова траєкторія. Те, що здається випадковим, є чутливою залежністю від початкових умов: будь-які дві початкові точки, які відрізняються навіть на невелику похибку округлення, експоненційно розходяться, тому в практичному сенсі довгострокове прогнозування стає неможливим, хоча основне правило залишається точним.
Чому траєкторія ніколи не повторює себе і не стабілізується?
Три класичні фіксовані точки системи нестабільні за стандартних параметрів, тому траєкторія постійно відштовхується від будь-якої точки, до якої вона наближається. Одночасно потік є об'ємно-стисненням, що не дозволяє йому розійтися в нескінченність — ув’язнений між цими двома обмеженнями, він змушений вічно блукати поверхні аттрактора без точного повторення.
Що відбувається, якщо змінити ρ, σ або β?
Ці параметри відповідають фізичним величинам у початковій проблемі з конвекцією: ρ відстежує різницю температур, що призводить до руху рідини. Якщо ρ менше приблизно 1, система просто зупиняється; між приблизно 1 і 24,74 вона переходить в один із двох стабільних станів конвекції; якщо ρ більше приблизно 24,74 з'являється класичний хаотичний аттрактор «бабочки», і його структура стає складнішою зі збільшенням ρ.
Спробуйте наживо
Усе, що вище, працює прямо у вашому браузері — відкрийте Lorenz Attractor 3D і змінюйте параметри під час роботи. Нічого не встановлюється, нічого не завантажується на сервер, уся модель живе в одній вкладці.
▶ Відкрити симуляцію Lorenz Attractor 3D