- •Глава 1
- •1.Дифференциальные уравнения первого порядка
- •8.Уравнения с разделяющимися переменными
- •9.Однородные уравнения первого порядка
- •10.Линейные уравнения первого порядка
- •12.Уравнения в полных дифференциалах
- •15.Теорема Осгуда о единственности
- •Глава 2
- •16.Понятие линейного дифференциального оператора n-го порядка с постоянными коэффициентами.
- •17.Представление общего решения линейного однородного уравнения n-го порядка с постоянными коэффициентами в случае простых корней характеристического уравнения.
- •18.Выделение действительных решений
- •19.Формула смещения
- •20.Свойства функции
- •21.Представление общего решения линейного однородного уравнения n-го порядка с постоянными коэффициентами в случае кратных корней характеристического уравнения
- •22.Выделение действительных решений.
- •23.Линейное неоднородное уравнение n-го порядка с постоянными коэффициентами.
- •24.Представление его частного решения в том случае, когда его правая часть - квазимногочлен
- •Глава 4
- •37.Понятие автономной системы дифференциальных уравнений
- •38.Кинематическая интерпретация решений
- •39.Определение фазового пространства
- •40.Свойства решений автономных систем
- •43.Понятие устойчивого положения равновесия автономной системы.
- •44.Простейшие типы точек покоя
- •45.Определение устойчивого по Ляпунову решения системы дифференциального уравнения первого порядка
- •46.Определение асимптотически устойчивого решения
- •47.Определение устойчивого по Ляпунову решения системы дифференциальных уравнений
- •48.Устойчивость по первому приближению
- •49.Теорема о неустойчивости
40.Свойства решений автономных систем
Пусть
(1.4) |
- векторная запись автономной системы (1.1), причем вектор-функция удовлетворяет условиям (*).
Предложение 1.1.1 Если - решение уравнения(1.4), то , где C - константа, также есть решение уравнения(1.4).
Доказательство. Так как - решение, то мы имеем тождество
|
Заменяя здесь t на t + C, мы получаем:
|
C другой стороны, из правила дифференцирования сложной функции вытекает соотношение
|
Таким образом, получаем тождество
|
Предложение 1.1.2 Пусть и- два решения уравнения(1.4). Тогда фазовые траектории, соответствующие этим решениям, либо не пересекаются, либо совпадают. Именно, если траектории имеют хотя бы одну общую точку, т.е. найдутся такие t1 и t2, что
(1.5) |
то
(1.6) |
Последнее равенство показывает, что фазовые траектории, описываемые первым и вторым решениями, совпадают между собой, но первое решение описывает ту же самую траекторию, что и второе, с "запаздыванием" на время c. Если точка, соответствующая первому решению, достигла некоторого положения на траектории в момент времени t + c, то точка, соответствующая второму решению, уже побывала в этом положении в момент времени t.
Доказательство. Поскольку - решение, то в силу предложения 1.1.1 вектор-функция, гдеc = t1 - t2 также является решением (1.4). При этом в силу равенства (1.5) мы имеем:
|
Таким образом, решения иуравнения(1.4) имеют общие начальные условия (их значения в момент времени t2 совпадают) и поэтому в силу теоремы единственности совпадают, так что, мы имеем: .
Предложение 1.1.3 Пусть
(1.7) |
- некоторое решение уравнения (1.4). Допустим, что имеет место равенство
(1.8) |
где числа t1 и t2, разумеется, принадлежат интервалу r1 < t < r2 определения решения (1.7). Оказывается, что при этом условии решение (1.7) может быть продолжено на весь бесконечный интервал -¥ < t < +¥. Поэтому мы сразу будем считать, что решение (1.7) определено на всей оси -¥ < t < +¥. Далее, оказывается, что возможны два взаимно исключающих случая.
i) Для всех значений t имеет место равенство
|
где - точка множестваW, не зависящая от t. Таким образом, в этом случае фазовая траектория представляет собой неподвижную точку. Само решение (1.7) и точка в этом случае называется положением равновесия системы(1.4).
ii) Существует такое положительное число T0, что при произвольном t имеет место равенство
|
но при | t1 - t2| < T0 имеет место неравенство
|
В этом случае решение (1.7) называется периодическим с периодом T0, и его фазовая траектория называется замкнутой траекторией или циклом.
Кратко предложение 1.1.3 можно резюмировать так: имеется три сорта фазовых траекторий: 1) 41.положение равновесия; 2) 42.периодические траектории (циклы); 3) траектории без самопересечений.
Таким образом, через каждую точку области W задания системы (1.4) проходит траектория, изображающая решение системы. Поэтому, вся область W заполнена траекториями, причем, согласно предложению 1.1.2, траектории эти попарно не пересекаются. Среди всех траекторий особо выделяются самопересекающиеся, которые являются либо положениями равновесия, либо циклами. Эти два сорта траекторий имеют важное значение.
Предложение 1.1.4 Для того, чтобы точка множестваW была положением равновесия системы (1.4), то есть чтобы имелось решение системы, для которого
|
необходимо и достаточно, чтобы фазовая скорость в точкебыла равна нулю. Таким образом, для отыскания всех положений равновесия системы(1.4) нужно решить систему уравнений:
|