В теории хаоса и фракталов ключевым этапом анализа экспериментальных или численно моделируемых динамических систем является реконструкция фазового пространства. Для этого необходимо определить оптимальную размерность вложения m, которая позволяет корректно восстановить аттрактор системы из временного ряда наблюдаемых данных. Выбор размерности вложения влияет на точность вычисления характеристик хаоса, таких как лиapunовские показатели, фрактальная размерность и корреляционная структура.
Для реконструкции аттрактора используется метод временных задержек, предложенный Такенсом. Суть метода заключается в построении вектора состояния системы:
X(t) = [x(t), x(t + τ), x(t + 2τ), …, x(t + (m − 1)τ)]
где x(t) — скалярный временной ряд, τ — временная задержка, m — размерность вложения.
Важное требование: выбранная размерность m должна быть достаточной для избегания наложения траекторий в фазовом пространстве. Согласно теореме Такенса, если аттрактор имеет фрактальную размерность df, достаточно взять
m > 2df
чтобы обеспечить топологическую эквивалентность реконструированного аттрактора и истинного фазового пространства.
Существует несколько подходов к определению оптимальной размерности:
Метод ложных соседей (False Nearest Neighbors, FNN)
Идея метода: при недостаточной размерности многие точки, близкие в реконструированном пространстве, на самом деле не являются близкими в истинном фазовом пространстве. По мере увеличения m число ложных соседей уменьшается. Оптимальная размерность выбирается там, где число ложных соседей становится пренебрежимо малым.
Формально, точка Xi имеет ложного соседа Xj, если выполняется условие:
$$ \frac{|x_{i+m\tau} - x_{j+m\tau}|}{\| \mathbf{X}_i - \mathbf{X}_j \|} > R_{\text{tol}} $$
где Rtol — заранее заданный порог.
Метод минимизации предсказательной ошибки
Размерность выбирается так, чтобы минимизировать ошибку прогноза динамики системы на короткий промежуток времени. Если увеличение размерности не улучшает предсказание, дальнейшее наращивание m нецелесообразно.
Методы на основе корреляционной размерности
Корреляционная размерность D2 вычисляется по формуле:
$$ C(r) = \frac{2}{N(N-1)} \sum_{i<j} \Theta(r - \|\mathbf{X}_i - \mathbf{X}_j\|) $$
где Θ — функция Хевисайда, r — радиус, N — число точек. Размерность выбирается так, чтобы при увеличении m корреляционная размерность переставала изменяться, сигнализируя о достаточной реконструкции аттрактора.
Выбор τ критически важен. Слишком малая задержка приводит к сильной корреляции компонентов вектора состояния, что увеличивает число ложных соседей. Слишком большая задержка — к потере информации о динамике. Обычно выбирают τ по методу автокорреляционной функции (ACF) или информационной энтроптии взаимной информации (Mutual Information). Оптимальная размерность m тесно связана с правильным выбором τ.
Выбор размерности вложения — это баланс между достаточной полнотой представления динамики системы и экономией вычислительных ресурсов. Правильная реконструкция фазового пространства позволяет не только визуализировать хаотические аттракторы, но и проводить количественный анализ их динамических характеристик, выявляя фундаментальные свойства хаоса и фрактальной структуры.