В этой главе мы занимаемся установлением необходимых и достаточных условий устойчивости по первому приближению для того случая, когда дифференциальные уравнения возмущенного движения имеют вид
\[
\begin{array}{c}
\frac{d x_{s}}{d t}=p_{s 1} x_{1}+\ldots+p_{s n} x_{n}+X_{s}\left(x_{1}, \ldots, x_{n}\right) \\
(s=1,2, \ldots, n) .
\end{array}
\]

Здесь $p_{s j}$ – постоянные, $X_{s}$ – не зависящие от $t$ функции переменных $x_{1}, \ldots, x_{n}$, разлагающиеся в области
\[
|x| \leqslant H
\]

в ряды по степеням этих переменных, причем разложения начинаются членами не ниже второго порядка.
Рассмотрим уравнения первого приближения
\[
\frac{d x_{s}}{d t}=p_{s 1} x_{1}+\ldots+p_{s n} x_{n} \quad(s=1,2, \ldots, n) .
\]

Теория интегрирования такого рода уравнений хорошо известна. Напомним основные положения этой теории ${ }^{1}$ ).
Рассмотрим уравнение $n$-й степени
1) См., например, Степанов В. В., Курс обыкновенных дифференциальных уравнений, Гостехиздат, 1950.

Это уравнение называется характеристическим уравнением, а определитель $D(\lambda)$-характеристическим определителем. Пусть $\lambda_{i}$ – какой-нибудь корень этого уравнения. Этому корню отвечает частное решение системы (19.3) вида
\[
x_{s}=A_{s} e^{\lambda_{i} t} \quad(s=1,2, \ldots, n),
\]

где $A_{s}$ – постоянные, определяемые однородными алгебраическими уравнениями
\[
p_{s 1} A_{1}+\ldots+\left(p_{s s}-\lambda_{i}\right) A_{s}+\ldots+p_{s n} A_{n}=0,
\]

имеющими в силу $D\left(\lambda_{i}\right)=0$ нетривиальное решение.
Если уравнение (19.4) имеет только простые корни, то, полагая в (19.5) $i=1,2, \ldots, n$, мы получим $n$ частных решений системы (19.3). Эти решения будут притом независимы.

Допустим теперь, что $\lambda_{i}$ является кратным корнем и что кратность этого корня равна $l$. Этому корню по-прежнему соответствует решение (19.5), где $A_{s}$ по-прежнему удовлетворяют уравнениям (19.6). Но в рассматриваемом случае корню $\lambda_{i}$ будут отвечать еще и другие частные решения системы (19.3), отличные от (19.5). Эти решения имеют вид
\[
x_{s}=f_{s}(t) e^{\lambda_{i} t} \quad(s=1,2, \ldots, n),
\]

где $f_{s}(t)$ – некоторые полиномы относительно $t$. Степень этих полиномов никогда не превосходит $l-1$, но может быть меньше этой величины. Здесь приходится различать два случая в зависимости от того, будет ли ранг определителя $D\left(\lambda_{i}\right)$ равен $n-1$ или меньше этой величины.

Допустим сначала, что ранг определителя $D\left(\lambda_{i}\right)$ равен $n-1$, т. е. что хотя бы один из минороз ( $n-1$ )-го порядка ${ }^{1}$ ) этого определителя отличен от нуля. В этом случае система (19.3) имеет хотя бы одно решение вида (19.7). в котором хотя бы один из полиномов $f_{s}(t)$ имеет степень $l-1$. Заменяя в этом решении полиномы $f_{s}(t)$ их производными какого-нибудь порядка, мы снова получим решения системы (19.3). Таким путем получается $l$ решений системы (19.3), имеющих вид
\[
\left.\begin{array}{l}
x_{s}^{(1)}=f_{\dot{s}}(t) e^{\lambda_{i} t}, \\
x_{s}^{(2)}=\frac{d f_{s}}{d t} e^{\lambda_{i} t}, \\
\cdot \cdot \cdot \cdot \cdot \cdot \cdot \\
x_{s}^{(l)}=\frac{d^{(l+1)} f_{s}}{d t^{\prime-1}} e^{\lambda_{i} t}
\end{array}\right\}
\]
1). Минором ( $n-k$ )-го порядка мы называем определитель, получающийся из основного вычеркиванием $k$ строк и колонок.

Все эти решения независимы. Последнее из них совпадает с (19.5). Мы будем говорить, что в рассматриваемом случае кратному корню $\lambda_{i}$ отвечает одна группа решений.

Допустим теперь, что ранг определителя $D\left(\lambda_{i}\right)$ меньше $n-1$. Пусть, например, ранг этого определителя равен $n-2$, так что все миноры ( $n-1$ )-го порядка равны нулю, но хотя бы один из миноров ( $n-2$ )-го порядка отличен от нуля. В этом случае система (19.3) допускает два частных решения вида (19.7), в которых наивысшие степени полиномов $f_{s}(t)$ равны, соответственно, $p$ и $q$, причем $p+q=l-2$. Эти решения таковы, что если, исходя из каждого из них, составлять новые решения путем замены полиномов $f_{s}(t)$ их производными какого-нибудь порядка, то все полученные таким образом решения будут независимы.
Пусть
\[
\left.\begin{array}{l}
x_{s}=f_{s}^{\prime} e^{\lambda_{i} t}, \\
x_{s}=f_{s}^{\prime \prime} e^{\lambda_{i} t}
\end{array}\right\}
\]

суть указанные частные решения. Степени полиномов $f_{s}^{\prime}(t)$ не превосходят $p$, причем степень хотя бы одного из них достигает этого значения. Старшая степень полиномов $f_{s}^{\prime \prime}$ равна $q$. При этом, как уже указывалось выше, $p+q=1-2$.

Заменяя в решениях (19.9) полиномы их последовательными производными, мы получим две группы решений уравнений (19.3), состоящих, соответственно, из $p+1$ и $q+1$ решений каждая и имеющих вид
\[
\left.\begin{array}{l}
x_{s}^{(\alpha)}=\frac{d^{\alpha-1} f_{s}^{\prime}}{d t^{\alpha-1}} e^{\lambda_{i} t} \quad(\alpha=1,2, \ldots, p+1), \\
x_{s}^{(\beta)}=\frac{d^{\beta-1} f_{s}^{\prime \prime}}{d t^{\beta-1}} e^{\lambda_{i} t} \quad(\beta=1,2, \ldots, q+1) .
\end{array}\right\}
\]

Таким образом, и в рассматриваемом случае корню $\lambda_{i}$ соответствует $p+q+2=l$ частных решений. Среди этих решений имеются два (по одному в каждой группе) вида (19.5). Эти решения соответствуют двум независимым системам чисел $A_{s}$, удовлетворяющим однородным алгебраическим уравнениям (19.6). Последние действительно имеют два независимых решения, так как ранг определителя $D\left(\lambda_{i}\right)$ равен $n-2$.

В общем случае, когда ранг определителя $D\left(\lambda_{i}\right)$ равен $n-k$, корню кратности $l$ по-прежнему соответствует $l$ независимых решений, но эти решения распадаются на $k$ групп, подобных (19.10).

Ранг определителя $D\left(\lambda_{i}\right)$ не может быть меньше $n-l$. В противном случае, как это легко показать, кратность корня $\lambda_{l}$ будет больше $l$. Поэтому число групп решений, соответствующих рассматриваемому корню, не может превосходить числа $l$, т. е. кратности корня. Если число групп равно $l$, то каждая группа будет состоять из одного решения и все решения будут вида (19.5).

Таким образом, во всех случаях число частных решений уравнений (19.3), соответствующих кратному корню, равно кратности этого корня. Денствительное вычисление этих решений приводится к решению систем линейных алгебраических уравнений. Наиболее простой способ составления этих уравнений указан Н. Г. Четаевым ${ }^{1}$ ).

Рассматривая все корни уравнения (19.4), мы получим $n$ независимых частных решений уравнений (19.3). Обозначая эти решения через $x_{s 1}, x_{s 2}, \ldots, x_{s n}$ (первый индекс- номер функции, второй индекс – номер решения), мы получим общее решение уравнений (19.3) в виде
\[
x_{s}=C_{1} x_{s 1}+C_{2} x_{s 2}+\ldots+C_{n} x_{s n},
\]

где $C_{1}, \ldots, C_{n}$ – произвольные постоянные. Эти постоянные определяются из начальных условий и если начальные значения величин $x_{s}$ в каком-нибудь решении малы, то и соответствующие значения постоянных $C_{j}$ будут также малыми.

Если корень $\lambda_{i}$ является комплексным, то решения вида (19.5) или (19.7) будут также комплексными, и так как нас интересуют только вещественные решения, то необходимо будет их преобразовать к вещественному виду. Для этого заметим, что так как коэффициенты $p_{s j}$ являются вещественными, то если дифференциальным уравнениям (19.3) удовлетворяет какая-нибудь система комплексных функций, то им удовлетворяют также вещественные и мнимые части этих функций. Пусть $\lambda_{i}=\mu+i v$. Тогда в решении (19.5) или (19.7) величины $A_{s}$ и $f_{s}(t)$ будут также комплексными. Положим $A_{s}=$ $=P_{s}+i Q_{s}, f_{s}=\varphi_{s}+i \psi_{s}$, где постоянные $P_{s}, Q_{s}$ и функции $\varphi_{s}$ и $\psi_{s}$ будут вещественными. Выделяя в (19.5) и в (19.7) вещественные и мнимые части, мы получим, что рассматриваемому корню $\mu+i v$ отвечают два решения: либо вида
\[
x_{s}=\left(P_{s} \cos v t-Q_{s} \sin v t\right) e^{\mu t}, \quad x_{s}=\left(P_{s} \sin v t+Q_{s} \cos v t\right) e^{\mu t}
\]

либо вида
\[
x_{s}=\left(\varphi_{s} \cos v t-\psi_{s} \sin v t\right) e^{\mu t}, \quad x_{s}=\left(\varphi_{s} \sin v t+\psi_{s} \cos v t\right) e^{\mu t} .
\]

Эти же самые решения отвечают и корню $\mu-i v$.
Все вышесказанное позволяет легко решить задачу устоичивости для того случая, когда дифференциальные уравнения возмущенного движения имеют вид (19.3). Действительно, характер невозмущенного движения, его устоичивость или неустоичивость, полностью определяется корнями характеристического уравнения (19.4).
1) Четаев Н. Г., Устойчивость движения, Гостехиздат, 1946.

Допустим сначала, что все корни характеристического уравнения имеют отрицательные вещественные части. В этом случае все рассмотренные выше частные решения независимо от того, имеют ли они вид (19.5) или (19.7), (19.12) или (19.13), стремятся к нулю при неограниченном возрастании $t$. То же самое будет справедливо и по отношению к общему решєнию (19.11), каковы бы ни были постоянные $C_{j}$. Кроме того, решения $x_{s}(t)$, отвечаюцие начальным условиям $\left|x_{s}\left(t_{0}\right)\right| \leqslant 1$, будут равномерно ограничены при всех $t \geqslant t_{0}$. Следовательно, невозмущенное движение устоћчиво и притом асимптотически при любых начальных возмущениях.

Допустим теперь, что среди корней характеристического уравнения имеется, по крайней мере, один с положительной вещественной частью. Этому корню отвечает частное решение, неограниченно возрастающее при $t \rightarrow \infty$. Умножая все функции этого решения на постоянную $C$, мы снова получим решение, для которого начальные значения функцин $x_{s}$ могут быть сделаны сколь угодно малыми, если $C$ выбрать достаточно малым. Таким образом, в рассматриваемом случае система (19.3) имеет решение со сколь угодно малыми начальными значениями, неограниченно возрастающее при $t \rightarrow \infty$, и следовательно, невозмущенное движение неустойчиво.

Допустим теперь, что характєристическое уравнение, не имея корней с положительными вещественными частями, имеет корни с вещественными частями, равными нулю. Это могут быть нулевые корни или корни чисто мнимые. Каждому нулевому корню отвечают решения вида
\[
x_{s}=A_{s} \text {, }
\]

если этот корень является простым или даже если он является кратным, но число групп решений равно кратности корня. В противном случае система (19.3) будет иметь решения вида
\[
x_{s}=j_{s}(t) \text {, }
\]

где $f_{s}(t)$ – полиномы. Для каждой пары чисто мнимых корней $\pm v \sqrt{-1}$ будут получаться решения вида
\[
x_{s}=P_{s} \cos v t-Q_{s} \sin v t, \quad x_{s}=P_{s} \sin v t+Q_{s} \cos v t,
\]

если эти корни простые или если они кратные, но число групп решений, им соответствующих, равно их кратности. Если корни $\pm v \sqrt{-1}$ являются кратными и число групп решений, им соответствующих, меньше их кратности, то система (19.3) будет иметь решения вида
\[
x_{s}=\varphi_{s} \cos v t-\psi_{s} \sin v t, \quad x_{s}=\varphi_{s} \sin v t+\psi_{s} \cos v t,
\]

где $\varphi_{s}$ и $\psi_{f}$ – полиномы.

Наличие решений вида (19.14) или (19.16) не нарушает устойчивости, так как все входящие в эти решения функции ограничены. Правда, при этом устойчивость не будет, очевидно, асимптотической Наличие же решений вида (19.15) или (19.17) вызывает, очевидно, неустойчивость.

Таким образом, для случая, когда уравнения возмущенного движения имеют вид (19.3), мы приходим к следующим заключениям.

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

Таким образом, задача устойчивости для линейных уравнений с постоянными коэффициентами решается просто. Здесь нет необходимости пользоваться вторым методом. Тем не менее мы займемся построением функций Ляпунова для уравнений (19.3), так как эти функции будут играть фундаментальную роль в дальнейшем. Нам придется для этого предварительно доказать некоторые вспомогательные предложения.