Все способы исследования устойчивости, развитые А. М. Ляпуновым в работе[1]}}, разделены им на два метода (две категории). К первому методу отнесены все способы исследования устойчивости, «которые приводятся к непосредственному исследованию возмущенного движения, и в основании которых лежит разыскание общих или частных решений дифференциальных уравнений. Вообще эти решения придется искать под видом бесконечных рядов. . . Это суть ряда, расположенные по целым положительным степеням постоянных произвольных. Но далее мы встретимся также и с некоторыми рядами другого характера»[1]. Иногда метод линеаризации также называют первым методом Ляпунова. Однако это не так: теоремы об асимптотической устойчивости и неустойчивости по первому приближению можно доказать, применяя способы исследования как первого так и второго методов Ляпунова. Ко второму методу А. М. Ляпуновым отнесены все способы исследования устойчивости, в основании которых лежит отыскание функций переменных u, t «по некоторым данным условиям, которым должны удовлетворять их полные производные по t, составленные в предположении, что» u = u(t) есть функция, удовлетворяющая уравнению ẋ = F(x, t). (1) Второй метод Ляпунова часто называют прямым методом. Следует отметить, что способы исследования устойчивости, относящиеся как к первому, так и ко второму методу до Ляпунова использовались в частных случаях А. Пуанкаре в работе[2]. Как отмечал сам А. М. Ляпунов в своей диссертации[1]: «Хотя Пуанкаре ограничивается очень частными случаями, но методы, которыми он пользуется, допускают значительно более общие приложения и способны привести ещё ко многим новым результатам. Идеями, заключающимися в названном мемуары[2], я руководствовался при большей части моих изысканий». Первый метод А. М. Ляпунова позволил ему получить ряд весьма глубоких и важных результатов. В качестве примера отметим теорию условной устойчивости, развитую им в работе на основе первого метода[1]. Одно из достоинств данного метода состоит в том, что он работает в наиболее тонких случаях и позволяет не только указать качественную картину изучаемого явления, но и построить явный вид исследуемых решений. В основу своего второго метода Ляпунов кладет несколько основных установленных им теорем. Эти теоремы оказались настолько эффективными, что с их помощью удалось исключительно просто разрешить задачу устойчивости по первому приближению. Вместе с тем, они позволили Ляпунову рассмотреть и некоторые основные критические случаи, когда первое приближение не решает задачи устойчивости. В настоящее время из двух методов прямой метод Ляпунова получил наибольшее распространение благодаря своей простоте и эффективности.
Мы приведем здесь теоремы об устойчивости нулевого решения возмущённой системы в пространстве Rn в частном случае, когда она автономна, то есть имеет вид:
ư = f(u). (2) При этом предполагается, что f (0) = 0, так что u0(t) = 0 является решением этого уравнения. К этой задаче приходим, изучая устойчивость равновесия автономной системы ẋ = F(x). (3)
Для любой непрерывно дифференцируемой функции V(u), определённой в некоторой окрестности D точки 0 ꞓ Rn, определим V — производную функции V(u) в силу дифференциального уравнения (2), полагая . (4)
Если u(t) — любое решение уравнения (2), то справедлива формула . (5) которая и подтверждает целесообразность определения (4).
Функция V(u) называется знакоположительной в области D, если V(0) = 0, V(u) ≥ 0 для всех и из области ее определения D (D — некоторая окрестность нуля в Rn).
Функция V(u) называется определенно положительной (или положительно определенной), если она знакоположительна u, сверх того, V(u) > 0 для любого u ꞓ D отличного от 0.
Аналогично определяются знакоотрицательные и определённо отрицательные функции.
Функция V называется знакопостоянной, если она знакоположительна или знакоотрицательна.
Функция V называется знакоопределенной, если она положительно определенная или отрицательно определенная.
Если функция V принимает в области D значения как положительного знака, так и отрицательного, то в этом случае V называют знакопеременной функцией.
В приводимых ниже теоремах 1-4 предполагается, что V(u) — непрерывно-дифференцируемая функция, определённая в некоторой окрестности D точки 0 ꞓ Rn; используется обозначение V'(u) — производная функции V(u) в силу дифференциального уравнения (2).
Если существует определенно положительная функция V(u), производная которой V'(u) знакоотрицательна, то u0(t) — устойчивое решение уравнения (2).
Пусть существует определенно положительная функция V(и), производная которой V'(u) является определенно отрицательной функцией. Тогда u0(t) — асимтотически устойчивое решение уравнения (2).
Если существует положительно определённая функция V(u) такая, что V'(u) < 0 вне M и V'(u) ≤ 0 на M, где M — множество, не содержащее целых траекторий уравнения (2), кроме точки нуль, то нулевое решение u0(t) уравнения (2) асимптотически устойчиво.
Функция V(u) называется бесконечно большой, если для любого положительного числа K > 0 существует R > 0 такое, что из |u| > R следует, что |V(u)| > K.
Теорема 4 (об асимптотической устойчивости в целом[3]). Если существует определённо положительная бесконечно большая функция V(u), производная которой V'(u) является определённо отрицательной функцией во всем пространстве, то нулевое решение u0(t) уравнения (2) асимптотически устойчиво в целом. Функции, удовлетворяющие теоремам 1-2 прямого метода Ляпунова, называют функциями Ляпунова. Существование надлежащей функции Ляпунова является достаточным условием устойчивости или асимптотической устойчивости решения.
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .