Розуміння теорії хаосу через атрактор Лоренца

Що таке теорія хаосу?

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

Систему називають хаотичною, коли одночасно виконуються три властивості:

• Чутлива залежність від початкових умов — два майже ідентичні початкові стани експоненційно розходяться з часом.
• Топологічне перемішування — будь-яка область простору станів врешті-решт перетинається з будь-якою іншою областю; система досліджує весь свій діапазон.
• Щільні періодичні орбіти — атрактор містить нескінченну кількість нестійких періодичних орбіт, хоча жодна з них не є стабільною.

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

Едвард Лоренц і погода

Сучасне вивчення хаосу фактично почалося випадково. У 1961 році метеоролог Едвард Лоренц запускав чисельну симуляцію погоди на ранньому комп'ютері. Щоб заощадити час, він перезапустив розрахунок із середини, вводячи значення з роздруківки вручну — але округливши їх до трьох знаків після коми замість шести, які використовував сам комп'ютер внутрішньо.

Результати повністю розійшлися вже протягом змодельованого місяця. Спочатку Лоренц запідозрив апаратну несправність. Коли він виключив цю причину, він усвідомив дещо глибоке: сама атмосфера може бути принципово непередбачуваною за межами певного горизонту, і не через відсутність фізичних знань, а через неминучу невизначеність вимірювання.

Це спонукало його вивчати спрощені рівняння конвекції — трьохзмінну модель обертання рідини в нагрітому шарі. Модель ніколи не була задумана як реалістична. Це була математична іграшка. Але вона демонструвала поведінку, яка згодом переформує науку.

Рівняння Лоренца

Систему, яку вивчав Лоренц, описують три пов'язані звичайні диференціальні рівняння:

dx/dt = σ(y − x)
dy/dt = x(ρ − z) − y
dz/dt = xy − βz

Тут x, y і z представляють властивості конвектуючої рідини — приблизно, швидкість конвективного перевертання, горизонтальну різницю температур і вертикальну різницю температур. Параметри такі:

• σ (сигма) — число Прандтля, відношення в'язкості рідини до температуропровідності. Лоренц використовував σ = 10.
• ρ (ро) — число Релея, масштабоване для вимірювання інтенсивності нагрівання рідини. Класичне значення — ρ = 28.
• β (бета) — геометричний фактор. Лоренц використовував β = 8/3.

З цими класичними параметрами система хаотична. Зменшіть ρ нижче приблизно 24,74, і система усталиться в нерухомій точці. Підвищте його, і формується атрактор. Симуляція дозволяє досліджувати цей простір параметрів у реальному часі.

Що означає форма атрактора

Якщо побудувати траєкторію системи Лоренца в просторі станів (x, y, z), вийде відома форма метелика — дві частки, з'єднані в сідловій точці. Траєкторія спірально розкручується назовні на одній частці, перетинається, спірально розкручується на іншій, перетинається назад, і так далі нескінченно.

Найважливіше — вона ніколи не повторюється. Орбіта не періодична. Вона ніколи не перетинає саму себе. І все ж вона залишається обмеженою скінченною областю простору. Саме це робить її дивним атрактором: обмеженим, але неперіодичним, з фрактальною структурою на кожному масштабі.

Кількість витків, які траєкторія робить навколо кожного крила перед перемиканням, по суті випадкова — не існує формули, яка передбачає, піде наступне перетинання ліворуч чи праворуч. Саме тут криється практична непередбачуваність.

Ефект метелика

Лоренц популяризував метафору «ефекту метелика» — ідею про те, що змах крил метелика в Бразилії може спричинити торнадо в Техасі. Суть була не в тому, що метелики буквально спричиняють торнадо. Суть у тому, що атмосфера експоненційно підсилює нескінченно малі збурення, тому горизонт передбачуваності є за своєю природою скінченним.

У системі Лоренца це підсилення вимірюється показником Ляпунова. Найбільший показник Ляпунова для класичних параметрів Лоренца становить приблизно 0,9. Це означає, що дві траєкторії, розділені відстанню ε, будуть розділені приблизно на ε × e^0.9t через час t. Похибка в одну мільярдну частку перетворюється на похибку порядку одиниці приблизно через 23 одиниці часу.

Для реальної погоди горизонт передбачуваності становить приблизно два тижні. За цією межею жодна кількість додаткових сенсорних даних не дає відчутного покращення точності прогнозу.

Фрактальна розмірність і дивні атрактори

Атрактор Лоренца не є ні поверхнею, ні твердим тілом. Він розташований десь між двома і трьома вимірами — має фрактальну розмірність приблизно 2,06. Саме це робить його «дивним».

Якщо перетнути атрактор площиною (так званий перетин Пуанкаре), перетин виявиться не лінією, а колекцією точок, схожою на множину Кантора, з фрактальною структурою. Наблизьте зображення — і побачите ще більше структури. Наблизьте ще — і структури стане ще більше. Деталізація нескінченна, хоча її стає неможливо розрізнити чисельно.

Ця фрактальність — не чисельний артефакт. Це математична теорема: хаотичні атрактори з додатним показником Ляпунова обов'язково мають фрактальну структуру, оскільки згортання і розтягування, що спричиняють чутливість, одночасно створюють нескінченну дрібнозернисту шаруватість.

Чому теорія хаосу важлива

Теорія хаосу трансформувала наше розуміння складних систем у багатьох дисциплінах:

• Метеорологія — заклала теоретичну основу для того, чому детерміноване прогнозування погоди має жорсткий горизонт, зрушивши галузь у бік імовірнісного ансамблевого прогнозування.
• Екологія — прості рівняння «хижак-жертва» демонструють хаос за певних значень параметрів, пояснюючи, чому популяції тварин коливаються дуже сильно без будь-якої видимої зовнішньої причини.
• Кардіологія — перехід від регулярного серцебиття до фібриляції можна розуміти як біфуркацію в хаотичний режим; теорія хаосу впливає на проєктування дефібриляторів.
• Криптографія — хаотичні відображення використовуються в деяких генераторах псевдовипадкових чисел і схемах шифрування, оскільки їхня чутлива залежність робить результати важкими для передбачення.
• Інженерія — розуміння того, коли вібрації чи коливання можуть стати хаотичними, допомагає проєктувати стабільніші конструкції та системи керування.

Як досліджувати його інтерактивно

Найкращий спосіб розвинути інтуїцію щодо атрактора Лоренца — це спостерігати, як він розгортається. У симуляції:

1. Кілька траєкторій — запустіть кілька частинок із майже ідентичних початкових точок і спостерігайте, як вони розходяться. Це безпосередньо візуалізує ефект метелика.
2. Розгортки параметрів — зменшіть ρ нижче 24 і спостерігайте, як хаос згортається у стабільну спіраль. Збільште β і побачите, як частки змінюють співвідношення сторін.
3. Керування швидкістю — уповільніть симуляцію, щоб спостерігати окремі перетини між частками, потім прискорте її, щоб побачити, як проявляється загальна структура атрактора.
4. Обертання — обертайте 3D-вигляд, щоб побачити фрактальну шаруватість під різними кутами. З деяких кутів атрактор виглядає оманливо тонким.

Математика, що лежить в основі цієї симуляції, — це точно ті рівняння, які Лоренц записав у 1963 році. Чисельне інтегрування системи звичайних диференціальних рівнянь із трьома змінними за методом Рунге-Кутта четвертого порядку, що виконується в реальному часі у вашому браузері через WebGL.