- •Оглавление
- •Введение
- •1. Обыкновенные дифференциальные уравнения и системы
- •1.1. Обыкновенные дифференциальные уравнения. Основные понятия
- •1.2. Системы оду. Основные понятия
- •1.3. Связь оду высших порядков и систем оду
- •2.1.2. Уравнения с разделяющимися переменными
- •2.1.3. Однородные уравнения 1-го порядка
- •2.1.4. Уравнения, приводящиеся к однородным
- •2.1.5. Линейные уравнения первого порядка
- •2.1.6. Уравнения Бернулли
- •2.1.7. Уравнения в полных дифференциалах
- •2.2. Обыкновенные дифференциальные уравнения првого порядка. Поведение решений
- •2.2.1. Теорема существования и единственности решения задачи Коши
- •2.2.2. Уравнения первого порядка. Поле направлений
- •2.2.3. Автономные уравнения первого порядка
- •2.2.4. Устойчивость решений обыкновенных дифференциальных уравнений первого порядка
- •2.2.5. Асимптотическая устойчивость решений обыкновенных дифференциальных уравнений первого порядка
- •2.3. Метод изоклин
- •3. Обыкновенные дифференциальные уравнения высших порядков
- •3.1. Обыкновенные дифференциальные уравнения высших порядков. Понижение порядка
- •3.1.1. Понижение порядка обыкновенного дифференциального уравнения. Введение
- •3.1.2. Уравнения, не содержащие независимой переменной
- •3.1.3. Уравнения, не содержащие искомой функции
- •3.1.4. Уравнения с однородной правой частью
- •3.2. Линейные однородные дифференциальные уравнения n-го порядка
- •3.2.1. Линейные однородные дифференциальные уравнения n-го порядка. Введение
- •3.2.2. Свойства решений линейного уравнения. Принцип суперпозиции
- •3.2.3. Существование и единственность решения задачи Коши
- •3.2.4. Линейные уравнения второго порядка. Гармонические колебания
- •3.2.5. Линейные уравнения втрого порядка. Ангармонические колебания
- •3.2.6. Линейные уравнения второго порядка. Уравнение Ньютона
- •3.3. Линейная зависимость и линейная независимость системы функций
- •3.3.1. Линейная зависимость и линейная независимость системы функций
- •3.3.2. Определитель Вронского
- •3.3.3. Исследование линейной независимости системы функций
- •3.3.4. Линейная независимость решений линейного дифференциального уравнения
- •3.4. Структура решения линейного однородного дифференциального уравнения n-го порядка
- •3.4.1. Фундаментальная система решений однородного линейного дифференциального уравнения
- •3.4.2. Структура общего решения линейного однородного уравнения
- •3.4.3. Структура общего решения линейного неоднородного уравнения
- •3.4.4. Метод вариации произвольных постоянных отыскания частного решения
- •3.5. Линейные однородные дифференциальные уравнения с постоянными коэффициентами
- •3.5.1. Решение однородного уравнения с постоянными коэффициентами
- •3.5.2. Метод подбора построения частного решения неоднородного уравнения
- •3.5.3. Уравнение Эйлера
- •4. Системы дифференциальных уравнений
- •4.1. Системы обыкновенных дифференциальных уравнений. Основные понятия
- •4.2. Фазовое пространство. Фазовые траектории
- •4.3. Существование и единственность решения задачи Коши
- •4.4. Интегрирование систем дифференциальных уравнений методом исключения
- •4.4.1. Линейные системы обыкновенных дифференциальных уравнений. Структура
- •4.4.1.1. Линейные системы обыкновенных дифференциальных уравнений. Основные понятия
- •4.4.1.2. Фундаментальная матрица решений однородной линейной системы дифференциальных уравнений
- •4.4.1.3. Структура общего решения однородной линейной системы дифференциальных уравнений
- •4.4.1.4. Структура общего решения неоднородной линейной системы дифференциальных уравнений
- •4.4.1.5. Построение фундаментальной матрицы решений однородной линейной системы дифференциальных уравнений с постоянными коэффициентами методом Эйлера
- •4.4.2. Системы обыкновенных дифференциальных уравнений. Поведение решений
- •4.4.2.1. Устойчивость решений систем дифференциальных уравнений
- •4.4.2.2. Устойчивость и асимптотическая устойчивость по Ляпунову
- •4.4.2.3. Устойчивость положения равновесия линейных систем оду
- •4.4.2.4. Устойчивость точек покоя нелинейных систем по линейному приближению
- •4.4.2.5. Неустойчивость по линейному приближению точек покоя нелинейных систем
- •4.4.3. Автономные системы дифференциальных уравнений
- •4.4.3.1. Автономные системы. Основные понятия
- •4.4.3.2. Свойства фазовых траекторий
- •4.4.3.3. Фазовая плоскость, фазовые кривые, фазовый портрет автономной системы второго порядка
- •4.4.3.4. Векторное поле автономной системы второго порядка
- •4.4.3.5. Точки покоя линейной автономной системы второго порядка с постоянными коэффициентами
- •4.4.4. Численное интегрирование дифференциальных уравнений первого порядка
- •4.4.4.1. Задача Коши. Общие замечания. Постановка задачи
- •4.4.4.2. Метод Эйлера
- •4.4.4.3. Модифицированный метод Эйлера
- •4.4.4.4. Метод Рунге-Кутта
- •2. Решение уравнения модифицированным методом Эйлера:
- •3. Решение уравнения методом Рунге-Кутта:
- •4. Аналитическое решение заданного уравнения:
- •5. Сравнение точного решения и приближенных решений исходного дифференциального уравнения:
- •Библиографический список
- •Обыкновенные дифференциальные уравнения
4.4.2. Системы обыкновенных дифференциальных уравнений. Поведение решений
4.4.2.1. Устойчивость решений систем дифференциальных уравнений
Любая система дифференциальных уравнений описывает с определенной степенью точности реальный физический процесс.
Приборы, фиксирующие то или иное физическое явление, не совершенны. Может оказаться, что малая погрешность измерения начальных данных вызывает «ощутимые» изменения решений уравнений. В этой ситуации нельзя гарантировать, что выбранная математическая модель реально отражает описываемое ею физическое явление.
И, наоборот, если малые возмущения начальных условий мало изменяют решения на всем промежутке их существования, то соответствующую математическую модель следует признать удачной.
Так возникает важный для приложений вопрос: при каких условиях, математическая модель, описываемая системой дифференциальных уравнений, будет устойчивой.
Рассмотрим систему дифференциальных уравнений
Полагаем, что выполнены условия теоремы существования и единственности решения задачи Коши.
Пусть некоторое фиксированное решение x = φ(t) этой системы существует при всех t ≥ t0.
Решение x = φ(t) системы называется устойчивым по Ляпунову при t ≥ t0 , если для любого ε > 0 существует число δ > 0 (зависящее, вообще говоря, от ε) такое, что:
− решение x = x(t) задачи Коши с начальным условием x(t0) , | x(t0) − φ(t0) | < δ , существует при всех t ≥ t0 ;
− для всех таких решений справедливо неравенство | x(t0) − φ(t0) | < δ , при всех t ≥ t0 .
Геометрически это означает, что интегральные кривые x = x(t), близкие в момент t = t0 к интегральной кривой x = φ(t), остаются близкими к ней и на всем промежутке [t0,∞) .
Интегральные кривые и фазовые траектории, отвечающие устойчивым решениям, тоже называются устойчивыми.
На рисунке чёрным изображена устойчивая фазовая траектория, некой системы дифференциальных уравнений второго порядка, которая начинается в точке (1,0), и две, начинающиеся вблизи её траектории.
Решение x = φ(t) называется неустойчивым по Ляпунову при t ≥ t0 , если оно не является устойчивым по Ляпунову, т.е. если существует такое число ε > 0, что для любого δ > 0 найдутся решения x = xδ(t) и такое t1= t1(δ), что | xδ(t0) − φ(t0) | < δ и | xδ(t) − φ(t) | ≥ ε.
Геометрически это означает, что интегральные кривые x = x(t), близкие в момент t = t0 к интегральной кривой x = φ(t) , "удаляются" от неё при t → ∞.
Интегральные кривые и фазовые траектории, отвечающие неустойчивым решениям, тоже называются неустойчивыми.
На рисунке чёрным изображена неустойчивая фазовая траектория, некой системы дифференциальных уравнений второго порядка, которая начинается в точке (0.2, 0), и две, начинающиеся вблизи её траектории.
Пример №1
Исследуем на устойчивость решение задачи Коши
Очевидно, что решение задачи − тривиальное решение, точка покоя системы, φ(t) ≡ 0,( т.е. φ1(t) ≡ 0, φ2(t) ≡ 0).
Докажем, что это тривиальное решение устойчиво при t > 0.
Решение системы, проходящее через точку (0, x1(0) , x2(0)), имеет вид:
Возьмём произвольное ε >0 и рассмотрим поведение при t > 0 тех решений x= x(t), которые удовлетворяют условию x(0) − φ(0) < δ , где δ = ε >0:
Последнее неравенство справедливо при всех t > 0 .
Получили, что все, близкие в начальный момент к точке покоя решения, остаются вблизи неё всё последующее время. То есть точка покоя − устойчивое по Ляпунову решение системы.
На рисунке изображено несколько фазовых кривых системы (это эллипсы). Видно, что те из них, которые начинаются вблизи нуля, всегда вблизи нуля остаются.
Пример №2
Исследуем на устойчивость решение задачи Коши
Очевидно, что это решение задачи − тривиальное решение, точка покоя системы, φ(t) = 0,( т.е. φ1(t) = 0, φ2(t) = 0).
Докажем, что это нулевое решение не устойчиво при t > 0.
Легко видеть, что решение системы, проходящее через точку (0, x1(0) , x2(0)), имеет вид:
Рассмотрим поведение при t > 0 тех решений x= x(t), которые удовлетворяют условию x(0) − φ(0) < δ, δ > 0 :
Выберем t достаточно большим, таким, чтобы
Отсюда следует, что как бы ни было мало δ > 0, существуют ε = 1,и t1 = t1(δ) = −ln(δ) и такое решение x(t), что при t ≥ t1 справедливо неравенство | x(t) − 0 | > ε, т.е. тривиальное решение φ(t) ≡ 0 неустойчиво.
На рисунке видно, что фазовые кривые, которые начинаются вблизи нуля, через некоторое время покинут любую окрестность нуля.