Экспоненциальная устойчивость

2.7. Экспоненциальная устойчивость.

Рассмотрим уравнение (10), в котором . Обозначим через  траекторию, проходящую через точку  при . Предположим, что нулевое решение (10) асимптотически устойчиво, причем существуют число  и функция ,  при  такие, что  при . В этом случае существуют положительные числа  такие, что при  справедливо неравенство

. (14)

Если имеет место оценка (14), то говорят, что нулевое решение экспоненциально асимптотически устойчиво. Например, в условиях теоремы 5 нулевое решение уравнения (8) экспоненциально асимптотически устойчиво. Более того, нулевое решение уравнения (8) экспоненциально асимптотически устойчиво при более слабых, чем в теореме 5, ограничениях на нелинейность . Достаточно, чтобы левая часть (9) удовлетворяла неравенству , где  — собственные числа матрицы A (их вещественные части по условию отрицательны).

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

Для неавтономной системы по формуле (14) вводится аналогичное понятие экспоненциальной устойчивости, однако асимптотическая устойчивость. Кроме того, справедлив следующая теорема.

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

1.  вещественная, симметричная и ограниченная;

2.  вещественная, симметричная и ограниченная;

3. ;

4.  (см. п. 3.1).

3. Второй метод Ляпунова.

3.1. Основные определения.

Рассмотрим дифференциальное уравнение

, (1)

где . Предположим, что G — область единственности и  при всех , т. е. уравнение (1) имеет тривиальное решение . Рассмотрим вопрос об устойчивости этого решения.

Сущность второго метода Ляпунова заключается в исследовании поведения некоторой функции  как функции t при замене x на произвольное решение уравнения (1). В дальнейшем используем определения устойчивости и асимптотической устойчивости, где .

Под функцией Ляпунова будем понимать любую непрерывную функцию  такую, что  при всех . На множестве функций Ляпунова  задан линейный оператор D, определяемый формулой

. (2)

 называется производной V в силу уравнения (1). Справедлива формула

, (3)

где  — решение уравнения (1) с начальными данными .

Определение. Функция Ляпунова , не зависящая от t, называется определенно-положительной, если в области G при  . Функция Ляпунова  называется определенно-положительной, если существует определенно-положительная функция  такая, что . Функция Ляпунова  называется определенно-отрицательной, если  — определенно-положительная функция.

Определение. Функция Ляпунова  называется положительной, если  в области G и отрицательной, если  в G.

Таким образом, функцию Ляпунова, тождественно равную в G нулю, можно рассматривать и как положительную, и как отрицательную.

Отметим следующее свойство определенно-положительных и определенно-отрицательных функций: если , то . (4)

Импликация  в (4) вытекает непосредственно из определения функций Ляпунова. Чтобы обосновать импликацию , рассмотрим произвольную последовательность , , для которой  при . Покажем, что  при . Предположим, что это неверно. Тогда найдется подпоследовательность  и положительное число  такие, что . Согласно определению , где  — определенно-положительная функция. Положим . Множество  компактно, поэтому по теореме анализа , где , следовательно, . Тогда , что противоречит свойству последовательности .

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

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

Скачать

39446

2

12

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

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

Скачать

10895

2

6

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

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

Скачать

31319

15

25

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

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

Скачать

32343

0

0

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