Карта «Пряникова людина» — оманливо проста двовимірна дискретна динамічна система, популяризована американським математиком Робертом Девані в його підручниках із хаотичної динаміки. Девані використав її як «іграшкову» модель — кусково-лінійну родичку відображення підкови та тих самих конструкцій розтягування-і-складання, що лежать в основі теорії кнединга — саме тому, що її поведінку можна прослідкувати майже повністю вручну, і водночас вона відтворює всі ознаки справжнього хаосу. Карта переводить точку (xₙ, yₙ) у нову точку за правилом xₙ₊₁ = 1 − yₙ + |xₙ|, yₙ₊₁ = xₙ. Назва походить суто з геометрії: якщо ітерувати щільну сітку початкових точок і залишити лише ті, чиї орбіти ніколи не втікають, точки, що вижили, вимальовують закруглену самоподібну область, яка — за невеликої фантазії — нагадує силует пряникової людини.
Абсолютне значення |xₙ| — це весь двигун карти: воно згортає площину саму на себе вздовж лінії x = 0, перетворюючи звичайну лінійну рекурентність на кусково-лінійну зі складкою. Однієї цієї складки достатньо, щоб розтягувати близькі орбіти в одних напрямках і стискати в інших — саме той механізм розтягування-і-складання, що породжує чутливість до початкових умов. Ітерування карти ділить площину на дві зовсім різні долі: обмежену інваріантну область, де орбіти блукають вічно, ніколи її не залишаючи (відвідуючи щільну хаотичну множину точок усередині форми пряникової людини), і все, що поза нею, звідки орбіти з кожним кроком відкидаються дедалі далі від початку координат, аж доки не розходяться в нескінченність. Межа обмеженої області сама є фрактальною кривою, складеною з незліченної кількості прямих відрізків, розташованих у самоподібному візерунку — наблизьте будь-який кут, і побачите меншу копію тієї самої форми. Ця симуляція дозволяє дослідити цю структуру безпосередньо: клацніть на полотні, щоб поставити тестову точку будь-де, або скиньте, щоб автоматично засіяти дрібну сітку точок по всьому вікну перегляду, а потім спостерігайте, як кожна точка ітерується вперед. Точки, що залишаються обмеженими, малюються акцентним кольором і накопичуються у фрактальний силует; точки, що втікають за великий поріг, просто видаляються з малюнка, тож за кілька секунд ітерування форма інваріантної області проступає прямо з даних.
Що таке карта «Пряникова людина» і звідки походить назва?
Це дискретна карта xₙ₊₁ = 1 − yₙ + |xₙ|, yₙ₊₁ = xₙ, популяризована Робертом Девані як простий кусково-лінійний приклад хаосу. Назва походить від форми її обмеженої інваріантної області: якщо намалювати кожну точку, чия орбіта ніколи не втікає в нескінченність, точки, що вижили, вимальовують закруглену самоподібну пляму, схожу на силует пряникової людини.
Чому карта кусково-лінійна — що робить доданок |x|?
Без абсолютного значення рекурентність була б звичайною лінійною картою, яка сама по собі не може породжувати хаос. Доданок |xₙ| згортає площину вздовж лінії x = 0: для xₙ ≥ 0 карта поводиться одним чином, а для xₙ < 0 — по-іншому, з'єднуючись у складці. Ця складка розтягує одні напрямки й стискає інші на кожній ітерації — той самий механізм розтягування-і-складання, що використовується у відображенні пекаря та підкові Смейла для отримання справжньої хаотичної динаміки з суто лінійних шматків.
Що визначає, чи залишається орбіта обмеженою, чи втікає?
Це повністю залежить від початкової точки. Точки, що лежать усередині певної обмеженої інваріантної області, вічно блукають у ній, щільно заповнюючи хаотичну форму пряникової людини. Точки, що починаються поза цією областю, з кожною ітерацією відкидаються дедалі далі від початку координат і розходяться в нескінченність. Проміжного варіанту немає: доля вирішується в мить вибору (x₀, y₀), що й дозволяє перевірити клацання на полотні.
Межа інваріантної області складена з незліченної об'єднання прямих відрізків, розташованих так, що малі шматки межі є масштабованими копіями більших шматків — самоподібна фрактальна крива. Це відбувається тому, що карта кусково-лінійна: кожен лінійний шматок переводить прямі краї в прямі краї, а дія складання постійно розрізає й перезбирає межу на кожному масштабі. Наближення будь-якого кута намальованої форми пряникової людини виявляє менші версії того самого зубчастого, кутастого візерунка, що й у повному масштабі.
Так. «Лінійна» описує лише кожен окремий шматок карти; карта в цілому нелінійна через складку, яку вносить |xₙ|. Хаос не вимагає вигнутих нелінійних формул — він вимагає розтягування й складання, а кусково-лінійні карти можуть робити і те, й інше. Класичні приклади — відображення пекаря та підкова Смейла: обидва побудовані повністю з прямолінійних шматків, і водночас обидва доведено хаотичні, з щільними періодичними орбітами, чутливістю до початкових умов і топологічним перемішуванням. Карта «Пряникова людина» успадковує саме такий хаос від власної складки.
Точка, яку ви поставили, ітерується так само, як будь-яка інша. Якщо вона лежить поза інваріантною областю, її координати швидко зростають на кожному кроці — за кілька ітерацій |x| і |y| перевищують будь-яку розумну межу. Щойно координати точки перевищують поріг втечі, використаний у цій симуляції, її позначають як «втекла» і видаляють з малюнка, тож ви побачите, як вона зникає, замість того щоб влитися у зафарбовану хмару обмежених точок, що накопичується.
Кусково-лінійні карти складання, подібні до цієї, — саме той тип систем, який Девані та інші використовують для запровадження символічної динаміки: оскільки площина розрізана складкою на шматки, кожну орбіту можна закодувати як нескінченну послідовність символів, що фіксує, який шматок вона відвідує на кожному кроці. Теорія кнединга вивчає поведінку цих послідовностей маршруту — які послідовності справді реалізуються орбітами і як структура складання карти їх обмежує. Простота карти «Пряникова людина» робить її зручним практичним прикладом цього інакше абстрактного апарату.
Роберт Л. Девані — американський математик, відомий своїми широко використовуваними підручниками та популяризаторськими роботами з хаотичних динамічних систем, а також своїм строгим визначенням хаосу (карта хаотична, якщо вона має чутливість до початкових умов, є топологічно транзитивною і має щільні періодичні точки). Він запровадив кусково-лінійні «іграшкові» карти на кшталт цієї саме тому, що їхні орбіти можна простежити прямим обчисленням, що робить їх ідеальними навчальними прикладами, які все ж захоплюють усе багатство хаотичної поведінки, знайденої в набагато складніших системах.