Теорема Четаева о неустойчивости: формулировка и метод

Прямой метод Ляпунова умеет доказывать устойчивость: если для системы найдётся положительно определённая функция $V$, не возрастающая вдоль траекторий, равновесие устойчиво. Но симметричной «теоремы о неустойчивости» в исходной формулировке Ляпунова не хватало: его признаки неустойчивости требовали довольно жёстких условий на знак $V$ во всей окрестности. Теорема Четаева о неустойчивости (Н. Г. Четаев, 1934) закрывает этот пробел - она доказывает неустойчивость положения равновесия, когда подходящая функция растёт вдоль траекторий не во всей окрестности, а лишь в некоторой её части, в специально выбранной области. Это самый общий и самый используемый признак неустойчивости в теории устойчивости движения, и именно его называют «обратной к Ляпунову» теоремой.

Постановка: что значит неустойчивость равновесия

Рассмотрим автономную систему обыкновенных дифференциальных уравнений с положением равновесия в нуле:

$\dot{x} = f(x), \quad f(0) = 0, \quad x \in \mathbb{R}^n.$

Равновесие $x = 0$ устойчиво по Ляпунову, если для любой малой окрестности нуля найдётся ещё меньшая, из которой траектории не выходят. Неустойчивость - это логическое отрицание: существует такая окрестность $U$ радиуса $\varepsilon$, что как бы близко к нулю мы ни стартовали, найдётся траектория, которая рано или поздно из $U$ выходит. Подчеркну: для неустойчивости не нужно, чтобы убегали все траектории, - достаточно одной убегающей сколь угодно близко к равновесию. Теорема Четаева о неустойчивости как раз и строит механизм, гарантирующий существование такой траектории.

Чтобы не разбирать конструкцию абстрактно, соберите запрос ниже - и получите разбор конкретной системы: подбор функции Четаева, проверку условий в области $V > 0$ и вывод о неустойчивости равновесия.

Функция Четаева и конус V > 0

Идея Четаева - ослабить требования к знакоопределённости. Вместо положительно определённой во всей окрестности функции берётся функция $V(x)$, которая положительна не везде, а лишь в некоторой области Четаева $\Omega$ - части окрестности нуля, примыкающей к самому равновесию.

Формально область задаётся как $\Omega = \{x : V(x) > 0\}$ внутри шара $\|x\| < \varepsilon$. Ключевое требование: точка $x = 0$ лежит на границе $\Omega$ (в любой окрестности нуля есть точки с $V > 0$), а сама граница области состоит из точек, где $V = 0$, либо из сферы $\|x\| = \varepsilon$. Геометрически $\Omega$ часто выглядит как «конус» или клин, упирающийся вершиной в равновесие. Функцию $V$, удовлетворяющую этим условиям вместе с условием на производную (см. ниже), называют функцией Четаева.

Формулировка теоремы Четаева

Обозначим производную функции $V$ в силу системы (полную производную вдоль траекторий):

$\dot{V}(x) = \nabla V(x) \cdot f(x) = \sum_{i=1}^{n} \frac{\partial V}{\partial x_i}\, f_i(x).$

Теорема (Н. Г. Четаев). Пусть $x = 0$ - положение равновесия системы $\dot{x} = f(x)$. Если в некоторой окрестности нуля существует непрерывно дифференцируемая функция $V(x)$ и область $\Omega = \{V > 0\}$ такие, что:

1. точка $x = 0$ принадлежит границе области $\Omega$ (то есть сколь угодно близко к нулю есть точки, где $V > 0$);
2. на части границы $\Omega$, лежащей внутри окрестности, выполнено $V = 0$;
3. во всей области $\Omega$ производная в силу системы строго положительна: $\dot{V}(x) > 0$,

то положение равновесия $x = 0$ неустойчиво.

Логика доказательства такая: траектория, стартовавшая в $\Omega$ сколь угодно близко к нулю, не может покинуть $\Omega$ через границу $V = 0$ - там $V = 0$, а вдоль движения $V$ только растёт ($\dot{V} > 0$), значит на этой границе $V$ не может стать нулём. Внутри же $\Omega$ функция $V$ ограничена, а её рост отделён от нуля, пока траектория остаётся вблизи равновесия. Поэтому траектория вынуждена за конечное время уйти из малой окрестности через сферу $\|x\| = \varepsilon$ - это и есть неустойчивость.

Связь с прямым методом Ляпунова

Теорему Четаева естественно читать как продолжение второго (прямого) метода Ляпунова. Прямой метод даёт достаточное условие устойчивости: положительно определённая $V > 0$ с $\dot{V} \le 0$. Теорема Четаева - зеркальный достаточный признак неустойчивости, но с важным ослаблением: знак $V$ контролируется не во всей окрестности, а только в области $\Omega$. Частный случай теоремы Четаева - более ранняя теорема Ляпунова о неустойчивости, где $V$ знакоопределена ($V > 0$ всюду, кроме нуля) и $\dot{V} > 0$; тогда $\Omega$ совпадает со всей проколотой окрестностью, и убегают уже все траектории. Четаев показал, что для вывода о неустойчивости достаточно гораздо меньшего - наличия одного «клина роста».

Эта пара методов работает в связке с исследованием устойчивости по первому приближению: когда линеаризация (якобиан) даёт собственное значение с положительной вещественной частью, неустойчивость следует уже из первой теоремы Ляпунова. Но в критическом случае - когда все собственные значения на мнимой оси или равны нулю - линейная часть бессильна, и именно тогда нужны прямые признаки. Здесь теорема Четаева оказывается главным инструментом: она работает напрямую с нелинейными слагаемыми и часто доказывает неустойчивость там, где первое приближение молчит.

Как подбирают функцию Четаева

Универсального рецепта нет, но есть рабочие приёмы. Если линеаризация в нуле имеет собственное значение с положительной вещественной частью, область $\Omega$ удобно строить вдоль соответствующего собственного направления, а $V$ брать квадратичной формой со знаком, согласованным с этим направлением. Часто пробуют простые кандидаты: $V = x_1 x_2$, $V = x_1^2 - x_2^2$, $V = \tfrac{1}{2}(x_1^2 - x_2^2)$ или линейную форму $V = c_1 x_1 + c_2 x_2$ - и подбирают коэффициенты так, чтобы $\dot{V} > 0$ в той части плоскости, где $V > 0$.

Простой пример. Для системы

$\dot{x}_1 = x_1 + x_2^2, \qquad \dot{x}_2 = -x_2 + x_1^2$

якобиан в нуле имеет собственные значения $+1$ и $-1$ (седло), так что неустойчивость очевидна уже по первому приближению. Но покажем её и «по Четаеву»: возьмём $V = x_1$. Область $\Omega = \{x_1 > 0\}$ примыкает к нулю, на границе $x_1 = 0$ имеем $V = 0$, а производная $\dot{V} = \dot{x}_1 = x_1 + x_2^2 > 0$ при $x_1 > 0$. Все три условия теоремы выполнены - равновесие неустойчиво. Функция Четаева здесь предельно простая, что и иллюстрирует гибкость метода.

Где теорема Четаева незаменима

Главная сфера применения - критические случаи, где первое приближение нейтрально. Классический сюжет: система с парой чисто мнимых корней $\pm i\omega$; линеаризация даёт «центр», но нелинейные члены могут раскручивать траекторию по спирали наружу (неустойчивый фокус). Прямой метод Ляпунова доказать неустойчивость напрямую затрудняется, а функция Четаева, построенная в полярных координатах или вдоль растущего инварианта, ловит этот рост. Аналогично теорема нужна в задачах механики (неустойчивость положений равновесия консервативных и гироскопических систем), в теории управления и при анализе бифуркаций, где знак нелинейных слагаемых решает вопрос об устойчивости. Именно поэтому теорема Четаева о неустойчивости входит в стандартный курс теории устойчивости движения наравне с теоремами Ляпунова.

Частые ошибки

• Требуют $V > 0$ во всей окрестности. Это условие теоремы Ляпунова о неустойчивости, а не Четаева. У функции Четаева $V$ положительна лишь в области $\Omega$; в этом весь смысл ослабления.
• Забывают проверить, что нуль на границе $\Omega$. Если область $V > 0$ не подходит к самому равновесию, теорема неприменима - убегающие траектории не стартуют сколь угодно близко к нулю.
• Проверяют $\dot{V} > 0$ не там. Производная в силу системы должна быть строго положительна именно внутри $\Omega$, а не во всей окрестности и не на границе $V = 0$.
• Путают неустойчивость с тем, что убегают все траектории. Для неустойчивости достаточно одной убегающей траектории сколь угодно близко к равновесию; остальные могут вести себя как угодно.
• Считают производную $\dot{V}$ как частную, а не полную. Нужна производная вдоль траекторий $\dot{V} = \nabla V \cdot f$, учитывающая правую часть системы, а не просто $\partial V / \partial t$.

FAQ

Чем теорема Четаева отличается от теоремы Ляпунова о неустойчивости? У Ляпунова функция $V$ должна быть знакоопределённой во всей окрестности ($V > 0$ всюду, кроме нуля) при $\dot{V} > 0$. Четаев ослабил это: достаточно, чтобы $V > 0$ и $\dot{V} > 0$ выполнялись лишь в некоторой области $\Omega$, граница которой проходит через равновесие. Теорема Ляпунова - частный случай теоремы Четаева.

Можно ли теоремой Четаева доказать устойчивость? Нет. Теорема Четаева - признак исключительно неустойчивости. Для устойчивости используют прямой метод Ляпунова (положительно определённая $V$ с $\dot{V} \le 0$). Это разные, дополняющие друг друга инструменты.

Когда теорема Четаева нужна, а линеаризации недостаточно? В критическом случае, когда все собственные значения якобиана лежат на мнимой оси (включая нулевые) - первое приближение не определяет устойчивость. Тогда строят функцию Четаева напрямую по нелинейным членам и доказывают неустойчивость, минуя линеаризацию.

Коротко

Теорема Четаева о неустойчивости даёт достаточное условие неустойчивости положения равновесия $\dot{x} = f(x)$, $f(0) = 0$: если существуют функция Четаева $V(x)$ и область $\Omega = \{V > 0\}$ такие, что нуль лежит на границе $\Omega$, на части границы внутри окрестности $V = 0$, а в самой области $\dot{V} = \nabla V \cdot f > 0$, то равновесие неустойчиво. От теорем Ляпунова её отличает ослабленное требование к знаку $V$ - он контролируется лишь в «клине» $\Omega$, а не во всей окрестности. Метод незаменим в критических случаях, где устойчивость по первому приближению не определяется, и читается как обратный к прямому методу Ляпунова признак.