9
Устойчивость по Ляпунову и разорванные гиперциклы
HYC-1979Lesson 5: Selection, Species, Will
00:00

Центральную неподвижную точку гиперцикла можно подтвердить как асимптотически устойчивую не решая полную нелинейную систему, предъявив функцию Ляпунова V(x), которая обращается в нуль в точке равновесия, строго положительна всюду вне неё и монотонно убывает вдоль любой траектории системы.

Целый гиперцикл (n = 3)Замкнутый каталитический цикл 1 → 2 → 3 → 1n = 2, 3, 4x̂неподвижная точка123V(x̂) = 0 · V(x) > 0 при x ≠ x̂dV/dt < 0 вдоль траекторий → асимптотически устойчивоРазорванный гиперциклУдалено одно каталитическое звено: 3 → 1нет замкнутого контураудалено2A edge3A face2B edge123Орбиты заперты внутри каждой подсистемы2A edge · 2B edge · 3A face — анализируются по отдельности

Критерий Ляпунова

Функция V(x) является функцией Ляпунова для центральной неподвижной точки x̂, когда V(x̂) = 0 и V(x) > 0 для всех ̂. Если, кроме того, V убывает вдоль траекторий (dV/dt < 0), то каждая близлежащая орбита притягивается к x̂, и неподвижная точка асимптотически устойчива. Критерий качественный: важно лишь значение знака изменения, а не явное аналитическое решение динамики.

Устойчивость при , 3 и 4

Для малых гиперциклов размерности , 3 и 4 подходящую функцию Ляпунова можно построить явно, и она доказывает, что центральная неподвижная точка x̄0 = (c0/n)(1, …, 1)ᵀ асимптотически устойчива. Это дополняет картину нормальных мод, в которой характер равновесия меняется с размерностью — фокус при , спиральный сток при , центр при — и повышает локальное описание до утверждения о глобальной устойчивости.

Разорванные гиперциклы и инвариантные подсистемы

Если разорвано одно каталитическое звено, сеть больше не замыкается в единый самоподдерживающийся цикл. Вместо этого она распадается на глобально инвариантные подсистемы: наборы видов, динамика которых никогда не выходит за их пределы. Поскольку орбиты заперты внутри них, каждую подсистему можно анализировать отдельно.

  • 2A edge — текучее ребро, передающее каталитическое влияние.
  • 2B edge — ребро неподвижной точки, приходящее в состояние покоя.
  • 3A face — двумерная подсистема, охватывающая оставшихся участников.

Изучение этих объектов меньшей размерности позволяет шаг за шагом восстановить устойчивость и селекционное поведение разорванного цикла и связывает ляпуновский анализ целых гиперциклов с динамической декомпозицией разорванных.

Ключевое различие
Целый малый гиперцикл — это одна взаимодействующая единица с подтверждённой центральной неподвижной точкой; разорванный гиперцикл — это семейство независимых инвариантных подсистем. Одни и те же виды, две качественно разные судьбы.