Перемешивание (динамические системы)

В теории динамических систем, перемешивание — свойство системы «забывать» информацию о начальном условии с течением времени. Более точно, различают топологическое и метрическое перемешивание. Первое относится к теории непрерывных систем и, грубо говоря, утверждает, что сколь бы точно ни было известно начальное положение точки, с течением времени возможное её местонахождение становится всё более и более плотным множеством. Второе относится к теории измеримых систем — систем, сохраняющих некоторую меру $\mu$ — и утверждает, что распределение абсолютно непрерывной относительно $\mu$ меры (например, ограничения $\mu$ на заданное подмножество начальных условий) при итерациях стремится к самой мере $\mu$.

Пусть $G$ - аттрактор хаотической системы, на которой заданы оператор эволюции системы $S(G)$ и инвариантная мера $\mu$. Сегментируем аттрактор на 2 области, $B$ и $W.$ Отношение меры точек из области $B$, которые через $n$ итераций оператора эволюции $S$ попали в область $W,$ можно записать следующим образом:

$D_n=\frac{\mu (S^n(B)\cap W)}{\mu (W)}.$

Оператор эволюции $S$ является перемешиванием, если при $n\to \mathrm{\infty }$ значение $D_n$ не зависит от выбора области $W,$ а определяется отношением $\frac{\mu (S^n(B)\cap W)}{\mu (W)}\to \frac{\mu (B)}{\mu (G)}$ при $n\to \mathrm{\infty }$. Эта формула, с физической точки зрения, описывает размывание любой области начальных условий $B$ по всем аттрактору $G$. В пределе, $n\to \mathrm{\infty }$, мера образов точек множества $B$ во множестве $W$ равна мере множества $B$ на аттракторе $G$ для произвольных множеств $B$ и $W.$

Перемешивание цветного пластилина в шарике, подвергающемся последовательным отображениям Подковы Смейла

Определения

Топологическое перемешивание

По определению, (непрерывная) динамическая система $f:X\to X$ называется топологически перемешивающей, если для любых двух непустых открытых множеств $A,B\subset X$ выполнено

$\mathrm{\exists }N:\mathrm{\forall }n\ge N{f}^n(A)\cap B\ne \mathrm{\varnothing },$

или, что то же самое,

$\mathrm{\exists }N:\mathrm{\forall }n\ge NA\cap f^{-n}(B)\ne \mathrm{\varnothing },$

Это, в частности, означает, что для любых заданных $\epsilon >0$ и непустого открытого множества $A$ все итерации $A$ с достаточно большим номером оказываются $\epsilon$-плотны в фазовом пространстве.

Топологическое перемешивание является более сильным, чем транзитивность, свойством. Так, иррациональный поворот окружности транзитивен, но не перемешивает.

Метрическое перемешивание

По определению, сохраняющее меру измеримое отображение $f:(X,𝒜,\mu )\to (X,𝒜,\mu )$ называется метрически перемешивающим, если для любых двух измеримых множеств $A,B\in 𝒜$ выполнено

$\mu (f^{-n}(A)\cap B)\to \mu (A)\mu (B),n\to \mathrm{\infty }.$

В терминах интегрируемых функций, это равносильно тому, что для любых двух функций $\phi ,\psi \in L_2(X,\mu )$ выполнено

$\underset{X}{\int }\phi (f^n(x))\psi (x)d\mu (x)\to \underset{X}{\int }\phi d\mu \cdot \underset{X}{\int }\psi d\mu .$

Эргодичность меры $\mu$ является необходимым, но не достаточным условием метрического перемешивания. Так, иррациональный поворот окружности сохраняет эргодическую для него меру Лебега, но не является метрически перемешивающим.

См. также

• Транзитивность (динамические системы)
• Спектральная теория динамических систем

Литература

• Корнфельд И. П., Синай Я. Г., Фомин С. В., Эргодическая теория.
• Синай Я. Г., Современные проблемы эргодической теории, М.:ФизМатЛит, 1995, с. 24.
• Шаблон:Книга:Каток-Хасселблат