Класична фізика у викладі Ньютона малювала детермінований всесвіт. Знаючи точне положення і швидкість кожної частинки, майбутнє в принципі можна було б обчислити з будь-якою точністю. Цей погляд панував два століття. Потім, наприкінці дев'ятнадцятого і у двадцятому столітті, математики та науковці виявили пастку: слово «в принципі» тут виконує колосальну роботу. Багато детермінованих систем є обчислювально нескоротними — єдиний спосіб дізнатися їхнє майбутнє — це прогнати їх уперед у часі.
Детермінізм без передбачуваності
Ключова ідея теорії хаосу така: система може бути одночасно детермінованою (жодної випадковості в її правилах) і непередбачуваною (неможливо спрогнозувати на практиці). Непередбачуваність виникає не через випадковість, а через експоненційне посилення початкової невизначеності.
Уявіть, що ви знаєте початковий стан хаотичної системи з точністю 99,9% — похибка одна тисячна. Через деякий час ця похибка подвоюється. Потім подвоюється знову. Хаос означає, що похибка подвоюється приблизно з постійною швидкістю. Після достатньої кількості подвоєнь ваша початкова невизначеність у 0,1% виростає до 100%, і ви більше нічого не знаєте про поточний стан системи. Для системи Лоренца — спрощеної моделі атмосферної конвекції — це відбувається протягом кількох днів.
Саме тому прогнозування погоди на строк понад приблизно два тижні принципово неможливе — і це не просто технологічне обмеження. Більша обчислювальна потужність і більше метеостанцій допомагають подовжити корисний прогноз із кількох днів до, можливо, дванадцяти — але двотижневий бар'єр є математичною стіною, а не інженерним викликом.
Нескінченно малі відмінності у початкових станах породжують експоненційно розбіжні траєкторії з часом.
Обмежена область простору станів, яку хаотична система нескінченно досліджує, ніколи не повторюючись.
Міра швидкості розходження близьких траєкторій; додатне значення означає хаос.
Дивні атрактори мають нецілу розмірність — вони не є ні кривою, ні поверхнею.
Система Лоренца: три рівняння, нескінченна складність
У 1963 році метеоролог MIT Едвард Лоренц опублікував спрощену систему з трьох диференціальних рівнянь, що моделює атмосферну конвекцію — циркуляцію повітря, яке нагрівається знизу й охолоджується згори. Рівняння описують, як із часом змінюються три величини: швидкість конвективного перевертання (x), горизонтальний градієнт температури (y) та вертикальний градієнт температури (z).
Коли Лоренц побудував траєкторії своєї системи у тривимірному просторі — за осями x, y, z — він виявив дещо надзвичайне. Траєкторія ніколи не встановлювалася в нерухомій точці, ніколи не входила в повторюваний цикл, але й ніколи не йшла в нескінченність. Вона малювала обмежений, ніколи не повторюваний шлях, схожий на дві переплетені спіралі — тепер уже знамениту форму метелика. Це атрактор Лоренца, перший з описаних дивних атракторів.
Форма метелика цього атрактора має фрактальну розмірність приблизно 2,06 — трохи більше за двовимірну поверхню, трохи менше за тривимірне тіло. Він займає зріз простору станів з нецілою розмірністю. Ця фрактальна структура характерна для дивних атракторів і пов'язує теорію хаосу з геометрією фракталів, розробленою Бенуа Мандельбротом.
Побачити атрактор Лоренца наживо
Наша симуляція атрактора Лоренца в реальному часі малює траєкторію метелика у 3D. Змінюйте параметри системи σ, ρ і β та спостерігайте, як різні значення породжують хаос, періодичні орбіти або збіжність до нерухомих точок.
Показники Ляпунова: вимірювання швидкості хаосу
Наскільки хаотична та чи інша система? Відповідь вимірюється показниками Ляпунова — названими на честь російського математика Олександра Ляпунова, який розробив теорію стійкості в 1890-х роках. Показник Ляпунова вимірює, наскільки швидко розходяться дві спочатку близькі траєкторії.
Формально найбільший показник Ляпунова λ описує середню швидкість експоненційного розходження. Якщо λ > 0, система хаотична: малі відмінності зростають як eλt. Якщо λ = 0, траєкторії розходяться поліноміально або залишаються разом (періодичний чи квазіперіодичний рух). Якщо λ < 0, система сходиться — притягуючись до нерухомих точок чи стійких граничних циклів.
Для атрактора Лоренца найбільший показник Ляпунова становить приблизно 0,9. Це означає, що дві траєкторії, які починаються на відстані одного міліметра одна від одної, у середньому виявляються на відстані одного метра приблизно через 5 одиниць часу Лоренца, і на відстані одного кілометра — через 10 одиниць. Час подвоєння похибки становить близько 0,77 одиниці часу Лоренца — у реальній атмосферній системі це відповідає кільком дням.
Подвійний маятник: хаос на робочому столі
Система Лоренца — математична абстракція, але хаос трапляється і в простих фізичних системах. Подвійний маятник — два жорсткі стрижні, з'єднані кінець у кінець, вільно підвішені, — найдоступніший приклад.
Одинарний маятник цілком передбачуваний: він гойдається туди-сюди по синусоїдальній дузі, і, знаючи його довжину та початковий кут, ви можете обчислити його положення в будь-який майбутній момент простою тригонометрією. Приєднайте другий маятник до кінця першого — і зв'язок між двома плечима вносить нелінійність. За великих початкових кутів система стає хаотичною — друге плече непередбачувано перекидається через верх, а два маятники, запущені з положень, що різняться на частку градуса, за кілька секунд підуть цілком різними траєкторіями.
Хаос на робочому столі
Спробуйте нашу симуляцію подвійного маятника. Запустіть три маятники з майже однакових початкових кутів і спостерігайте, як вони розходяться. Увімкніть трасування, щоб побачити фракталоподібні візерунки, які з часом утворюють їхні шляхи.
Логістичне відображення: хаос із простоти
Можливо, найяскравіший приклад хаосу в простій системі — логістичне відображення: одне-єдине рівняння, яке використовують для моделювання зростання популяції: xn+1 = r · xn · (1 − xn). Тут x означає популяцію як частку максимальної місткості, а r — швидкість зростання.
За малих значень r популяція сходиться до нерухомої точки. Коли r перевищує 3,0, вона починає осцилювати між двома значеннями — подвоєння періоду. Після 3,45 вона осцилює вже між чотирма значеннями. Зі зростанням r подвоєння відбуваються дедалі швидше, доки за r ≈ 3,57 система не стає хаотичною — популяція більше ніколи не повторюється. Цей каскад подвоєнь періоду перед настанням хаосу тепер називають сценарієм Фейгенбаума, і відношення між послідовними інтервалами подвоєння сходиться до універсальної сталої (≈ 4,669), яка з'являється в будь-якій системі, що переходить у хаос через подвоєння періоду.
Логістичне відображення демонструє, що хаос не потребує складного механізму. Одне рівняння, один параметр, одна змінна — і вся складність хаотичної поведінки виникає з нелінійного зв'язку x із самим собою через доданок (1 − x).
Чому хаос — це не те саме, що випадковість
Хаотичні системи часто плутають із випадковими, але вони принципово різні. Випадкова система має справді непередбачувані результати, тому що на кожному кроці в неї вводиться нова випадковість. Хаотична система цілком детермінована: запустіть її з того самого початкового стану — і ви завжди отримаєте точно той самий результат. Непередбачуваність виникає виключно через нашу нездатність знати початкову умову з достатньою точністю.
Ця відмінність має практичні наслідки. Хаотичні системи мають структуру: вони обмежені, у них є атрактори, у них є характерні часові масштаби. Випадкові системи такої структури не мають. Теорія хаосу пропонує інструменти — показники Ляпунова, реконструкцію атракторів, рекурентні діаграми — для характеризації, а іноді й керування хаотичними системами. Ці методи застосовували для виявлення епілепсії, серцевої фібриляції, стабілізації лазерів, керування хімічними реакторами та аналізу фінансових ринків.
Відкриття того, що детермінізм не гарантує передбачуваності, стало одним із головних інтелектуальних зрушень двадцятого століття. Воно накладає фундаментальні обмеження на прогнозування, керування і знання, які не подолати жодним нарощуванням обчислювальних потужностей — і воно змінило наше уявлення про складні системи в біології, економіці, кліматології та інших сферах.