Устойчивость линейных однородных систем

2.2. Устойчивость линейных однородных систем.

Пусть (3)

— вещественная система,  — ее произвольное решение. Замена  приводит (3) к виду , т. е. произвольное решение уравнения (3) переводится в тривиальное решение того же уравнения. Следовательно, все решения уравнения (3) устойчивы по Ляпунову, асимптотически устойчивы или неустойчивы одновременно. Поэтому можно говорить об устойчивости уравнения (3), понимая под этим устойчивость всех его решений, в частности тривиального.

Лемма 1. Пусть  и  или , где  — неособая при всех  матрица, ограниченная по норме вместе с обратной . Тогда  ограничена, не ограничена или бесконечно мала по норме при  тогда и только тогда, когда  обладает таким свойством.

Лемма вытекает из оценки .

Следствие. Пусть ,  — нормированная при  фундаментальная матрица уравнения (3). Любая фундаментальная матрица уравнения (3) ограничена, не ограничена или бесконечно мала по норме вместе с .

Теорема 1. 1) Для того чтобы уравнение (3) было устойчивым по Ляпунову, необходимо и достаточно, чтобы его фундаментальные матрицы были ограничены при . 2) Для того чтобы уравнение (3) было асимптотически устойчивым, необходимо и достаточно, чтобы его фундаментальные матрицы были бесконечно малыми при .

Доказательство. 1) Достаточность. Пусть  ограничена на . Решение  задается формулой . (*)

Так как , то . Следовательно, уравнение (3) устойчиво по Ляпунову, так как устойчиво его тривиальное решение. Действительно, если , то при всех  . (**)

Необходимость. Пусть уравнение (3) устойчиво по Ляпунову. Тогда устойчиво его тривиальное решение, и выполняется (**). Пусть  фиксировано. Положим . Если , то . Из (*) и (**) имеем , т. е.  ограничена. Аналогично доказывается ограниченность , а вместе с ними и матрицы .

2) Достаточность. Пусть  при . В силу (*)  при всех , что и дает асимптотическую устойчивость.

Необходимость. Пусть для любых  при . Положим . В силу (*) , следовательно, . Аналогично доказывается, что , , что означает  при . Теорема доказана.

Применим теорему 1 к исследованию устойчивости уравнения (3) с постоянной матрицей коэффициентов P. Уравнение (3) в этом случае имеет фундаментальную матрицу , , где  — жорданова форма матрицы P. По теореме 1, лемме 1 и следствию к ней устойчивость по Ляпунову, асимптотическая устойчивость и неустойчивость уравнения (3) эквивалентны соответственно ограниченности, бесконечной малости и неограниченности матрицы  при . Отсюда получаем следующую теорему:

Теорема 2. Линейная однородная система с постоянным коэффициентами: 1) устойчива по Ляпунову тогда и только тогда, когда среди собственных чисел матрицы коэффициентов нет таких, вещественные части которых положительны, а число мнимые и нулевые собственные числа либо простые, либо имеют только простые элементарные делители; 2) асимптотически устойчива тогда и только тогда, когда все собственные числа матрицы коэффициентов имеют отрицательные вещественные части.

Ниже рассматриваются необходимые и достаточные условия отрицательности корней характеристического уравнения линейной однородной системы с постоянными коэффициентами — критерий Гурвица (Рауса-Гурвица), а также частотный критерий Михайлова, являющийся геометрическим признаком, эквивалентным критерию Гурвица.

Определение. Полином , где , ,  называется полиномом Гурвица, если все его корни имеют отрицательные вещественные части.

Если полином  является полиномом Гурвица, то все .

Составим -матрицу Гурвица вида

Теорема Гурвица (критерий Гурвица). Для того чтобы полином  являлся полиномом Гурвица, необходимо и достаточно, чтобы были положительны все главные диагональные миноры его матрицы Гурвица :

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

Определение. Пусть , где , , . Кривая ,  называется годографом Михайлова функции .

Критерий Михайлова непосредственно следует из леммы:

Лемма 2. Угол поворота в положительном направлении ненулевого вектора  при  равен , где  — число корней полинома  с положительной вещественной частью с учетом их кратностей.

Критерий Михайлова. Для того чтобы полином , не имеющий чисто мнимых корней, являлся полиномом Гурвица, необходимо и достаточно, чтобы угол поворота в положительном направлении вектора  при  был бы равен .

Замечание. Если полином  есть полином Гурвица степени , то вектор  монотонно поворачивается в положительном направлении на угол , то есть годограф Михайлова, выходя из точки  положительной полуоси , последовательно пересекает полуоси , проходя  квадрантов.

Похожие работы

Решение систем дифференциальных уравнений при помощи неявной схемы Адамса 3-го порядка

Скачать

39446

2

12

... пакетах.   Заключение   Результатом выполнения курсового проекта является готовый программный продукт, позволяющий решать задачу Коши для системы дифференциальных уравнений при помощи неявной схемы Адамса 3-го порядка, демонстрирующий возможности численного решения поставленной задачи с заданной степенью точности. Готовый программный продукт может найти широкое применение при решении многих ...

Решение систем дифференциальных уравнений

Скачать

10895

2

6

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

Асимптотика решений дифференциальных уравнений

Скачать

31319

15

25

... при финансовой поддержке государственной научно-технической программы «Физика квантовых и волновых процессов» (проект 1.61) и физического учебно-научного центра «Фундаментальная оптика и спектроскопия». 1. Асимптотическое поведение решений дифференциальных уравнений с малым параметром Многие колебательные системы описываются дифференциальными уравнениями с малым параметром при производных: ...

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

Скачать

32343

0

0

... была построена теория вложения функциональных пространств, которые в настоящее время носят название пространств Соболева. А.Н. Тихоновым была построена теория некорректных задач. Выдающийся вклад в современную теорию дифференциальных уравнений внесли российские математики Н.Н. Боголюбов, А.Н. Колмогоров, И.Г. Петровский, Л.С. Понтрягин, С.Л. Соболев, А.Н. Тихонов и другие. Влияние на развитие ...