Показатели Ляпунова являются фундаментальным инструментом в исследовании динамических систем, позволяя количественно характеризовать чувствительность системы к начальным условиям. Для системы с состоянием x(t) ∈ ℝn, описываемой дифференциальным уравнением
$$ \frac{d\mathbf{x}}{dt} = \mathbf{F}(\mathbf{x}), $$
показатель Ляпунова λ определяет среднюю экспоненциальную скорость расхождения двух бесконечно близких траекторий:
δx(t) ∼ δx(0)eλt.
Если λ > 0, система демонстрирует хаотическое поведение, так как малые возмущения быстро увеличиваются, что приводит к чувствительности к начальным условиям.
Показатели Ляпунова делятся на локальные и глобальные.
$$ \lambda_{\text{глоб}} = \lim_{t \to \infty} \frac{1}{t} \ln \frac{||\delta \mathbf{x}(t)||}{||\delta \mathbf{x}(0)||}. $$
Для многомерных систем существует полный спектр показателей Ляпунова λ1 ≥ λ2 ≥ … ≥ λn, каждый из которых характеризует растяжение или сжатие системы вдоль определенного направления в фазовом пространстве.
Вычисление показателей Ляпунова аналитически возможно лишь для простых систем. В большинстве случаев используется численный подход. Основные методы:
Метод заключается в интегрировании вариационного уравнения вдоль траектории системы:
$$ \frac{d \delta \mathbf{x}}{dt} = D\mathbf{F}(\mathbf{x}(t)) \cdot \delta \mathbf{x}, $$
где DF — якобиан функции F.
Алгоритм:
$$ \lambda = \frac{1}{N \Delta t} \sum_{i=1}^{N} \ln \frac{||\delta \mathbf{x}_i||}{||\delta \mathbf{x}_{i-1}||}. $$
Метод легко обобщается для вычисления полного спектра Ляпунова через ортонормирование векторов возмущения (метод Грамма–Шмидта).
Для систем с размерностью n > 1 используют набор n линейно независимых векторов возмущения, периодически ортонормированных методом Грамма–Шмидта. Это позволяет вычислить полный спектр λ1, …, λn.
Основные шаги:
Особенно удобен для экспериментальных данных, когда уравнения движения неизвестны, но имеется временной ряд. Метод основан на поиске ближайших соседей в фазовом пространстве и вычислении их экспоненциального расхождения.
Спектр Ляпунова тесно связан с фрактальной размерностью аттрактора через формулы вроде Kaplan–Yorke:
$$ D_{\text{KY}} = j + \frac{\sum_{i=1}^j \lambda_i}{|\lambda_{j+1}|}, $$
где j — наибольшее число, при котором сумма первых j показателей неотрицательна.
Показатели Ляпунова позволяют не только классифицировать режимы движения, но и количественно прогнозировать скорость утраты предсказуемости, что является ключевым аспектом физики хаоса.