Карту Ено запропонував французький астроном і математик Мішель Ено у 1976 році як навмисно спрощену модель перерізу Пуанкаре системи Лоренца. Ено хотів отримати двовимірне відображення — замість тривимірної системи звичайних диференціальних рівнянь — яке було б набагато дешевшим для обчислення на комп'ютері, але при цьому відтворювало б ключову якісну поведінку дивного атрактора: обмежену, неперіодичну траєкторію з чутливістю до початкових умов. Відображення задається двома простими рівняннями: xn+1 = 1 − a·xn² + yn і yn+1 = b·xn, де a визначає силу нелінійного «згортання» площини, а b визначає, наскільки сильно попереднє значення x подається назад як нове значення y (b також задає визначник Якобіана, −b, тобто швидкість стиснення площі за одну ітерацію). За класичних параметрів a = 1.4 і b = 0.3 — саме тих значень, які вивчав сам Ено, — відображення виходить на дивний атрактор, а не розходиться до нескінченності чи згортається в періодичний цикл, і відтоді воно стало одним з найбільш вивчених «іграшкових» прикладів у теорії хаосу саме тому, що його два рівняння настільки прості для обчислення, але настільки багаті на структуру.
При повторній ітерації класичний атрактор Ено демонструє фрактальну структуру: переріз атрактора нагадує канторову множину — незліченну «пилюку» точок із проміжками на кожному масштабі, а весь атрактор є самоподібним: наближення до будь-якої щільної нитки виявляє майже точну копію більшої структури, шар за шаром. Його розмірність підрахунку клітинок (ємнісна розмірність) виміряна приблизно як 1.26 — тобто це більше за просту криву (розмірність 1), але менше за площину (розмірність 2) — ознака справжнього фрактала. Ця симуляція ітерує відображення напряму, без розв'язувача диференціальних рівнянь, оскільки це вже дискретна система, і накопичує десятки тисяч точок на полотні без очищення кадру, тому хмара точок поступово заповнюється і стає видно щільність атрактора. Використовуйте повзунок збільшення, щоб наблизитися до атрактора і побачити, як самоподібна структура ниток повторюється на все дрібніших масштабах, а повзунок a — щоб дослідити періодичні вікна: вузькі діапазони a, наприклад біля a ≈ 1.22–1.25, де хаотичний атрактор згортається у просту стійку періодичну орбіту, перш ніж хаос відновлюється зі збільшенням a.
Що таке карта Ено і навіщо її винайшли?
Карта Ено — це дискретна двовимірна ітерація, xn+1 = 1 − a·xn² + yn, yn+1 = b·xn, опублікована Мішелем Ено у 1976 році. Він створив її як спрощену заміну перерізу Пуанкаре системи Лоренца: рівняння Лоренца вимагають інтегрування трьох зв'язаних ОДР, щоб побачити дивний атрактор, тоді як карта Ено дає його за допомогою кількох арифметичних операцій на крок, що робить її набагато дешевшою для вивчення на комп'ютерах 1970-х років при збереженні тієї самої якісної хаотичної поведінки.
Що робить карту Ено хаотичною?
Член xn² нелінійно згортає площину, розтягуючи відстані в одному напрямку, тоді як зворотний зв'язок b·xn і загальне стиснення (відображення стискає площу в b разів на кожній ітерації) складають розтягнутий «лист» назад на себе, шар за шаром, подібно до того, як пекар замішує тісто. Цей повторюваний процес розтягування і згортання — саме той механізм, що породжує чутливість до початкових умов і додатний показник Ляпунова: дві початкові точки, що стартують надзвичайно близько одна до одної, розходяться експоненційно вже за кілька десятків ітерацій.
Яка фрактальна розмірність дивного атрактора?
За класичних параметрів (a = 1.4, b = 0.3) атрактор Ено має розмірність підрахунку клітинок (ємнісну розмірність) приблизно 1.26 — нецілісне значення, що розташовує його строго між одновимірною кривою і двовимірною площиною. Переріз, перпендикулярний до головної нитки атрактора, нагадує канторову множину: нескінченно тонкий «пил» точок із проміжками на кожному рівні збільшення, що є ознакою справжнього фрактального дивного атрактора, а не звичайної гладкої кривої.
Зі зменшенням a від 1.4 атрактор зазвичай проходить через послідовність біфуркацій зменшення періоду, перериваних вузькими періодичними вікнами, де хаотична хмара згортається до кількох дискретних точок (стійкої періодичної орбіти) замість заповнення фрактальної хмари. Відоме періодичне вікно розташоване біля a ≈ 1.22–1.25 при b = 0.3. Параметр b задає швидкість стиснення площі (визначник Якобіана відображення сталий і дорівнює −b); більші значення b менш агресивно стоншують нитки атрактора, тоді як дуже малі значення b роблять відображення близьким до одновимірного (подібно до логістичного відображення), а дуже великі значення b можуть призводити до розходження орбіт до нескінченності замість виходу на атрактор.
Оскільки атрактор Ено побудований із нескінченної кількості шарів розтягування і згортання, накладених один на одного, будь-яка мала ділянка атрактора при збільшенні виглядає статистично подібною до всього атрактора — ті самі «бананоподібні» дуги і проміжки повторюються на кожному масштабі, властивість, яка називається самоподібністю. Повзунок масштабу в цій симуляції змінює масштаб перегляду навколо центру атрактора, не стираючи накопичені точки, тому можна побачити, як одна «товста» нитка розкладається на кілька тонших паралельних ниток, а ті, у свою чергу, — на ще більше ниток, зі збільшенням масштабу.
Переріз Пуанкаре бере неперервний тривимірний потік, наприклад систему Лоренца, і фіксує точки, у яких траєкторія перетинає задану площину, перетворюючи неперервний у часі атрактор на дискретне відображення в цій площині. Ено вивчав якісну форму таких перерізів атрактора Лоренца, а потім побудував власне відображення з нуля так, щоб воно мало подібну поведінку згортання, але було набагато простішим для обчислення — карта Ено не виводиться алгебраїчно з рівнянь Лоренца, але відтворює той самий механізм розтягування і згортання, який, як вважається, лежить в основі багатьох реальних дивних атракторів.
Якщо почати дві ітерації з точок, що відрізняються на надзвичайно малу величину, наприклад 10⁻¹⁰, нелінійне згортання карти Ено підсилює цю різницю приблизно експоненційно з кожною ітерацією, щойно орбіта опиняється на хаотичному атракторі. Через кілька десятків ітерацій дві траєкторії стають повністю некорельованими, хоча стартували майже однаково — те саме явище, що популярно зветься «ефектом метелика», вперше виявлене в неперервних системах на кшталт рівнянь Лоренца, але присутнє тут у набагато простішому, чисто алгебраїчному відображенні.
Карта Ено не має глобального атрактора для будь-якого вибору a і b — за достатньо великого a, або для початкових точок далеко від басейну притягання, ітерації можуть необмежено зростати замість виходу на фрактальну множину. Ця симуляція обмежує повзунки діапазонами (a від 0.9 до 1.4, b від 0.1 до 0.4), у яких, стартуючи з початку координат, відображення надійно сходиться до обмеженого атрактора або періодичної орбіти, тому можна досліджувати цікаву динаміку без втечі траєкторії до нескінченності.
«Класичний (a=1.4, b=0.3)» відтворює оригінальні параметри Ено 1976 року і канонічний дивний атрактор з розмірністю ≈ 1.26. «Періодичне вікно (a=1.25, b=0.3)» розташований усередині одного з вузьких вікон стійкості, де хаотична поведінка тимчасово зникає, і орбіта виходить на невеликий періодичний цикл замість заповнення фрактальної хмари. «a=1.3 (біля подвоєння періоду)» розташований у перехідній зоні між періодичним вікном і повністю хаотичним режимом, де структура атрактора ще формується, і можна побачити поведінку, подібну до подвоєння періоду, за тонкого налаштування a.