Показатели Ляпунова являются фундаментальным инструментом в изучении нелинейных динамических систем и хаотического поведения. Они количественно описывают чувствительность системы к начальным условиям, характеризуя среднюю скорость расхождения или сближения близко расположенных траекторий в фазовом пространстве.
Если в системе присутствует положительный показатель Ляпунова, то это означает экспоненциальное расхождение траекторий и, следовательно, хаотическое поведение. Нулевой показатель соответствует нейтральному направлению (например, движению вдоль самой траектории), а отрицательный — экспоненциальному сжатию фазового объёма.
Рассмотрим динамическую систему в виде обыкновенных дифференциальных уравнений:
ẋ(t) = F(x(t)),
где x(t) ∈ ℝn, а F — векторное поле. Пусть имеется траектория x(t) и малое возмущение δx(0). Эволюция возмущения определяется линеаризацией системы:
$$ \dot{\delta x}(t) = DF(x(t)) \, \delta x(t), $$
где DF(x(t)) — матрица Якоби, вычисленная вдоль траектории.
Показатель Ляпунова в данном направлении определяется как:
$$ \lambda = \lim_{t \to \infty} \frac{1}{t} \ln \frac{\|\delta x(t)\|}{\|\delta x(0)\|}. $$
Для многомерной системы определяется спектр показателей Ляпунова:
λ1 ≥ λ2 ≥ … ≥ λn,
где n — размерность фазового пространства.
Таким образом, спектр Ляпунова отражает баланс между растягиванием и сжатием фазовых траекторий.
Для существования хаоса необходим хотя бы один положительный показатель Ляпунова. В случае диссипативных систем сумма показателей Ляпунова обычно отрицательна, что отражает потерю фазового объёма и сжатие траекторий к аттрактору.
Фрактальная размерность аттрактора может быть оценена через показатели Ляпунова с помощью формулы Каплана – Йорка:
$$ D_{KY} = j + \frac{\sum_{i=1}^{j} \lambda_i}{|\lambda_{j+1}|}, $$
где j — наибольшее число, при котором сумма первых j показателей остаётся неотрицательной. Эта размерность обычно является нецелым числом, отражая фрактальную структуру аттрактора.
Прямое вычисление показателей Ляпунова возможно только в пределе больших времён, поэтому применяются численные алгоритмы. Основные методы:
Эти методы позволяют построить спектр Ляпунова для сложных систем, включая численные модели турбулентности, климатические системы и задачи астрофизики.