В математике теории хаоса подковообразная карта — это любой член класса хаотических карт квадрата в себя. Это основной пример в изучении динамических систем . Карта была введена Стивеном Смейлом при изучении поведения орбит осциллятора Ван дер Поля . Действие карты определяется геометрически: сжимается квадрат, затем растягивается результат в длинную полосу и, наконец, складывается полоса в форме подковы.
Большинство точек со временем покидают квадрат под действием карты. Они идут к боковым заглушкам, где в ходе итерации сходятся к фиксированной точке в одной из заглушек. Точки, оставшиеся в квадрате при повторной итерации, образуют фрактальное множество и являются частью инвариантного множества карты.
Сжатие, растяжение и складывание подковообразной карты типичны для хаотических систем, но не являются необходимыми или даже достаточными. [1]
В подковообразной карте сжатие и растяжение равномерны. Они компенсируют друг друга так, что площадь квадрата не меняется. Складывание сделано аккуратно, так что орбиты, навсегда оставшиеся в квадрате, можно просто описать.
Для карты-подковы:
Подковообразное отображение f представляет собой диффеоморфизм , определенный из области S плоскости в себя. Область S представляет собой квадрат, увенчанный двумя полудисками. Кодомен («подкова») является собственным подмножеством его домена . Действие f определяется через композицию трех геометрически определенных преобразований. Сначала квадрат сжимается в вертикальном направлении в коэффициент a < . 1/2 . Колпачки сжимаются так, чтобы оставаться полудисками, прикрепленными к полученному прямоугольнику. Сжатие менее чем в половину гарантирует, что между ветвями подковы останется зазор. Затем прямоугольник растягивается по горизонтали в раз.1/а ; шапки остаются без изменений., полученную полоску сгибают в форме подковы и помещают обратно в S.
Интересная часть динамики — это изображение квадрата в себе. Как только эта часть определена, карту можно расширить до диффеоморфизма , определив его действие на шапочках. Колпачки сжимаются и в конечном итоге попадают внутрь одного из колпачков (левого на рисунке). Расширение f до заглавных букв добавляет фиксированную точку к неблуждающему множеству карты. Чтобы сохранить класс карт подковы простым, изогнутая область подковы не должна отображаться обратно в квадрат.
Отображение подковы взаимно однозначно, что означает, что обратное f −1 существует, если оно ограничено образом S относительно f .
Складывая сжатый и растянутый квадрат разными способами, возможны другие типы карт-подков.
Чтобы карта оставалась взаимно однозначной, сжатый квадрат не должен перекрывать себя. При распространении действия на квадрате до диффеоморфизма продолжение не всегда можно осуществить на плоскости. Например, карту справа необходимо расширить до диффеоморфизма сферы, используя «шапку», охватывающую экватор.
Отображение подковы — это диффеоморфизм аксиомы А , который служит моделью общего поведения в трансверсальной гомоклинической точке , где пересекаются устойчивое и неустойчивое многообразия периодической точки.
Карта-подкова была создана для воспроизведения хаотичной динамики потока в окрестности заданной периодической орбиты. Окрестность выбрана в виде небольшого диска, перпендикулярного орбите . По мере развития системы точки этого диска остаются близкими к заданной периодической орбите, отслеживая орбиты, которые в конечном итоге снова пересекают диск. Остальные орбиты расходятся.
Поведение всех орбит диска можно определить, рассматривая то, что происходит с диском. Пересечение диска с данной периодической орбитой возвращается в себя каждый период орбиты, как и точки в его окрестности. Когда это соседство возвращается, его форма меняется. Среди точек, вернувшихся внутрь диска, есть точки, которые покинут окрестность диска, и другие, которые продолжат возвращаться. Множество точек, никогда не покидающих окрестность данной периодической орбиты, образует фрактал.
Символическое имя можно дать всем орбитам, остающимся по соседству. Исходный диск окрестностей можно разделить на небольшое количество областей. Знание последовательности, в которой орбита посещает эти регионы, позволяет точно определить орбиту. Последовательность посещений орбит обеспечивает символическое представление динамики, известной как символическая динамика .
Можно описать поведение всех начальных условий карты-подковы. Начальная точка u 0 = ( x , y ) отображается в точку u 1 = f ( u 0 ). Его итерацией является точка u 2 = f ( u 1 ) = f 2 ( u 0 ), а повторная итерация порождает орбиту u 0 , u 1 , u 2 , ...
При повторной итерации карты-подковы большинство орбит оказываются в фиксированной точке в левом верхнем углу. Это связано с тем, что подкова отображает левую вершину в себя с помощью аффинного преобразования , имеющего ровно одну фиксированную точку. Любая орбита, приземлившаяся на левом колпаке, никогда не покидает его и сходится к фиксированной точке в левом колпаке во время итерации. Точки в правом колпаке на следующей итерации сопоставляются с левым колпачком, а большинство точек в квадрате сопоставляются с колпаками. При итерации большинство точек будут частью орбит, которые сходятся к фиксированной точке в левой заглушке, но некоторые точки квадрата никогда не покидают ее.
При прямых итерациях карты-подковы исходный квадрат преобразуется в серию горизонтальных полос. Точки этих горизонтальных полос происходят из вертикальных полос исходного квадрата. Пусть S 0 — исходный квадрат, отобразите его вперед n раз и рассматривайте только те точки, которые попадают обратно в квадрат S 0 , который представляет собой набор горизонтальных полос.
Точки на горизонтальных полосах взяты из вертикальных полос.
которые представляют собой горизонтальные полосы H n, отображенные назад n раз. То есть точка в V n за n итераций подковы окажется в множестве H n вертикальных полос.
Если точка должна оставаться в квадрате неопределенное время, то она должна принадлежать множеству Λ, отображающемуся в себя. Необходимо определить, пусто ли это множество или нет. Вертикальные полосы V 1 отображаются в горизонтальные полосы H 1 , но не все точки V 1 отображаются обратно в V 1 . Только точки пересечения V 1 и H 1 могут принадлежать Λ , что можно проверить , проследив за точками за пределами пересечения еще одну итерацию.
Пересечение горизонтальных и вертикальных полос H n ∩ V n — это квадраты, которые в пределе n → ∞ сходятся к инвариантному множеству Λ (это множество представляет собой пересечение канторового множества вертикальных прямых с канторовым множеством горизонтальных прямых [2] ). Структуру этого множества можно лучше понять, если ввести систему меток для всех пересечений — символическую динамику.
Поскольку H n ∩ V n ⊂ V 1 , любая точка, находящаяся в Λ при итерации, должна попасть в левую вертикальную полосу A из V 1 или в правую вертикальную полосу B . Нижняя горизонтальная полоса H 1 — это изображение A , а верхняя горизонтальная полоса — это изображение B , поэтому H 1 = f(A) ∪ f(B) . Полоски A и B можно использовать для обозначения четырех квадратов на пересечении V 1 и H 1 :
Множество Λ B•A состоит из точек полосы A , которые находились в полосе B на предыдущей итерации. Точка используется для отделения области, в которой находится точка орбиты, от области, из которой она пришла.
Обозначение можно распространить на более высокие итерации карты-подковы. Вертикальные полосы могут быть названы в соответствии с последовательностью посещения полосы A или полосы B. Например, множество ABB ⊂ V 3 состоит из точек из A , которые все попадут в B за одну итерацию и останутся в B на следующей итерации:
Движение назад от этой траектории определяет небольшую область, набор ABB , внутри V 3 .
Горизонтальные полосы названы по прообразам их вертикальных полос. В этих обозначениях пересечение V 2 и H 2 состоит из 16 квадратов, один из которых —
Все точки из Λ AB•BB находятся в B и останутся в B еще как минимум на одну итерацию. Их предыдущая траектория перед приземлением в BB была A , за которой следовала B.
Любое из пересечений Λ P•F горизонтальной полосы с вертикальной полосой, где P и F — последовательности A s и B s, является аффинным преобразованием небольшой области в V 1 . Если P содержит k символов и если f − k (Λ P•F ) и Λ P•F пересекаются, область Λ P•F будет иметь неподвижную точку. Это происходит, когда последовательность P совпадает с F. Например, Λ ABAB•ABAB ⊂ V 4 ∩ H 4 имеет хотя бы одну неподвижную точку. Эта точка также совпадает с неподвижной точкой в Λ AB•AB . Включая все больше и больше AB в части P и F метки пересечения, площадь пересечения можно сделать настолько маленькой, насколько это необходимо. Он сходится к точке, которая является частью периодической орбиты подковообразной карты. Периодическую орбиту можно обозначить простейшей последовательностью A и B , которая обозначает одну из областей, которую периодически посещает орбита.
Для каждой последовательности A s и B s существует периодическая орбита.
