Отображение тент

Материал из testwiki
Версия от 20:25, 24 сентября 2022; imported>Posolubile (Свойства)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску

Отображение тент в теории динамических систем задаётся следующим образом: fμ=μmin{x,1x}

Для значений μ[0;2] отображение тент переводит отрезок [0;1] в себя, являясь динамической системой c дискретным временем. В частности, орбитой точки x0 из интервала [0;1] является последовательность xn :

График общего случая отображения тент
График случая μ=2 для 1, 2 и 3 итераций отображения тент
xn+1=fμ(xn)={μxn,xn<12,μ(1xn),12xn.

Несмотря на то, что отображение тент является довольно простой нелинейной динамической системой, оно демонстрирует ряд свойств, характерных и для более сложных систем: плотность периодических орбит, перемешивание, чувствительность к начальным условиям, т.е. хаотичность[1].

Свойства

Орбиты отображения для μ=2
Графики 1,2,3,4,5,6 итераций отображения тент для μ=0.75
  • Если μ[0;1), x=0 является притягивающей неподвижной точкой: система будет стремиться к нулю с устремлением времени в бесконечность при любом исходном значении x из отрезка [0;1].
  • Если μ=1, все x[0;0.5] — неподвижные точки, а x(0.5;1] — предпериодические точки единичного периода (после одной итерации переходят в неподвижные).
  • Если μ(1;2], то отображение имеет две неподвижные точки: x=0 и x=μ1+μ. Причем обе из них будут неустойчивыми, то есть значения x, лежащие в окрестностях неподвижных точек, будут отдаляться от них с последующими итерациями. Более того, для таких значений μ, в интервале x[μμ2/2;μ/2] содержатся и периодические, и непериодические точки.
  • Если μ(1;2], то система отображает множество интервалов из отрезка [μμ2/2;μ/2] в себя, и их объединение является множеством Жюлиа отображения тент, т.е. множеством точек, чьи орбиты неустойчивы.
    • увеличение показывает, что при μ ≈ 1, множество Жюлиа состоит из нескольких интервалов. На диаграммах видно 4 и 8 интервалов при достаточном увеличении.
Графики 1,2,3,4,5,6 итераций отображения тент для μ=1.2(μ<2)
  • Если μ(2;2], то интервалы из отрезка [μμ2/2;μ/2] сходятся и множество Жюлиа — это весь интервал [μμ2/2;μ/2] (см. бифуркационную диаграмму).
Графики 1,2,3,4,5,6 итераций отображения тент для μ=1.8(μ>2)
  • Если μ=2, то система переводит отрезок [0;1] в себя. В этом случае периодические точки плотны на отрезке, так что отображение демонстрирует хаотичность[2]. Непериодическое поведение характерно только для иррациональных чисел, что может быть показано с помощью механизма, которым отображение действует на представленное в двоичной записи число: оно перемещает двоичную запятую вправо на один знак, а затем, если то, что оказалось слева от запятой — это единица, отбрасывает её и обращает все единицы в нули и наоборот (кроме последней единицы для чисел с конечной двоичной записью). Для иррационального числа, двоичная запись которого непериодична, это бесконечный процесс. Кроме того, стоит обратить внимание, что для μ=2 отображение тент топологически сопряжено логистическому отображению для r=4 и полусопряжен μ=2 отображению удвоения, что указывает на сходство динамических свойств этих отображений[3]. Действительно, пусть xn — орбита отображения тент при μ=2, а yn — орбита логистического отображения для r=4, тогда они связаны соотношением: xn=2πsin1(yn1/2)..
  • Если μ(2;+), множество Жюлиа отображения все еще содержит бесконечное количество и периодических, и непериодических точек, но почти всюду точки отрезка [0;1] стремятся к бесконечности. Само множество становится канторовым. В частности, множество Жюлиа отображения тент для μ=3 — стандартное канторово множество.

Асимметричное отображение тент

Также объектом изучения теории динамических систем является асимметричное отображение тент fα:[0;1][0;1],α(1;+). Его можно считать расширением случая μ=2 стандартного отображения тент:

xn+1=fα(xn)={αxnfor0xn<1ααα1(1xn)for1αxn1

Асимметричное отображение тент сохраняет вид кусочно-линейной функции и может быть использовано для представления вещественных чисел из [0;1] по аналогии с десятичной записью[4].

См. также

Литература

Шаблон:Примечания

  1. Lynch, Stephen. "Nonlinear discrete dynamical systems." Dynamical Systems with Applications using Maple. Birkhäuser Boston, 2010. 263-295.
  2. Li, Tien-Yien, and James A. Yorke. "Period three implies chaos." American mathematical monthly (1975): 985-992.
  3. Smale, Stephen, Morris W. Hirsch, and Robert L. Devaney. "Discrete dynamical systems." Differential equations, dynamical systems, and an introduction to chaos. Vol. 60. Academic Press, 2003. 327-357.
  4. Lagarias, J. C., H. A. Porta, and K. B. Stolarsky. "Asymmetric tent map expansions. I. Eventually periodic points." Journal of the London Mathematical Society 2.3 (1993): 542-556.