§ 2. Структура решений автономной системы в окрестности неособой точки
Рассмотрим автономную систему из
уравнений
в малой окрестности
точки а, отличной от положения равновесия:
.
Выясним поведение решений системы (1) в окрестности точки а. Векторное поле локально устроено весьма просто:
при близких к а, т. е. близкие векторы имеют примерно ту же длину и то же направление, что и
Фазовые траектории в малом будут почти прямыми, и малая окрестность точки а расслаивается на непересекающиеся фазовые траектории. Покажем, что в области
можно ввести такие координаты, в которых фазовые траектории будут прямыми линиями. Прежде чем приводить, строгие формулировки и доказательства, поясним выбор этих координат. Пусть
, при
траектория пересекает прямую
в точке
. Чтобы задать точку на траектории, необходимо задать еще время
(рис. 24). Итак, точка на фазовой траектории вполне определяется заданием двух чисел
с одной стороны, или заданием декартовых координат точки
Геометрически очевидно, что соответствие
в малом взаимно однозначно. Уравнение траектории в координатах
есть
, т. е. фазовая траектория в этих координатах — прямая линия (рис. 24).
Теорема. Пусть точка а не является положением равновесия системы (1). Тогда в малой окрестности точки а систему (1) с помощью гладкой замены переменных можно привести к виду.
Траектории системы (2) — прямые линии:
Далее, в силу того, что
решение системы (1), имеем
так что матрица Якоби имеет вид
(* обозначены неизвестные нам числа). Поэтому
и условия теоремы об обратной функции выполнены.