§ О13. Линейные автономные системы на плоскости. Линейная классификация |
Много забавных картинок можно наблюдать на реке!
Джером К. Джером. Трое в одной лодке, не считая собаки
Предмет данного очерка совершенно элементарен. Мы описываем
полную линейную классификацию двумерных систем с
постоянными коэффициентами (под линейной классификацией
понимается разбиение множества таких систем на классы, инвариантные
относительно линейного преобразования
фазового пространства).
Одна из целей очерка описание терминологии, связанной с
поведением траекторий
(
Итак, рассматривается двумерная линейная динамическая (автономная) система
x′ = Ax, | (1) |
где A 2×2-матрица с постоянными коэффициентами. Линейное преобразование
y′ = By, | (2) |
где B = P1AP,
а y = P1x.
Это же преобразование переводит фазовые
траектории
системы (2)
в фазовые траектории системы (1)
(см.
Если λ1, λ2 вещественны, то в качестве P возьмем такую матрицу, чтобы B была жордановой. В этом случае мы будем различать два типа матрицы B:
|
Пусть теперь λ1 =
α + iβ,
λ2 =
λ1 =
Задача О13.1. Покажите, что (вещественные) векторы u и v линейно независимы.
Заметим, что
Au + iAv = A(u + iv) = (α + iβ) (u + iv) = αu βv + i(βu + αv) |
и, следовательно,
Au = αu βv, Av = βu + αv. |
Преобразование P на векторах канонического базиса определим равенствами
Pe1 = u, Pe2 = v |
и продолжим его на все R2 по линейности. Простым подсчетом проверяется, что B имеет вид
|
Задача О13.2. Проверьте.
Таким образом, (вещественным) линейным преобразованием P произвольная матрица A может быть приведена к одной из (вещественных) матриц B1, B2 или B3.
Далее, заменой времени t = pτ
и неизвестной функции
z′ = Cz, | (3) |
где C = pB.
Задача О13.3. Покажите.
Описанная замена не меняет фазовых
траекторий системы;
изменяется лишь (в p раз) скорость движения по ним. Если
В случае B = B1 описанную замену мы применим следующим образом. Если среди (вещественных) собственных значений есть положительное (не ограничивая общности будем считать, что λ1 наибольшее собственное значение), то положим p = λ1 1. Матрица C в этом случае будем иметь вид
|
где k = pλ2 ≤ 1. Если λ1 = λ2 = 0, то положим p = 1. В этом случае матрица C, очевидно, нулевая:
|
Наконец, если λ1 и λ2 неположительны и если меньшее из них (пусть, для определенности, это λ1) отрицательно, то положим p = λ11. Матрица C при этом будет иметь вид |
|
где k = pλ2 ∈ [0, 1].
В случае B = B2 в зависимости от знака λ1 подберем p так, чтобы матрица C имела один из следующих трех видов:
|
(λ1 > 0, p = λ11, k = p > 0), |
|
(λ1 = 0, p = 1),
|
(λ1 < 0, p = λ11, k = p > 0). |
Наконец, в случае B = B3 вид матрицы C, как и в предыдущем случае, определим в соответствии со знаком числа α:
|
(α > 0, p = α1, k = pβ > 0),
|
(α = 0, p = 1, k = β > 0),
|
(α < 0, p = α1, k = pβ > 0).
Теперь мы опишем поведение траекторий (фазовый портрет)
системы (3) с каждой из матриц
В случае C = C1 решения системы (3), очевидно, таковы
z1 = c1et, z2 = c2ekt. | (4) |
Траектории
симметричны относительно осей координат и поэтому
достаточно изучить их поведение в первом квадранте, |
Если k ∈ (0, 1),
то фазовые траектории представляют собой степенные параболы; при
Если k = 0, то, очевидно, все траектории параллельны оси z1, вся
ось z1 состоит из положений равновесия, траектории (за
исключением положений равновесия) уходят на бесконечность (см.
Наконец, если k < 0, то фазовые траектории представляют собой степенные гиперболы
|
В вырожденном случае C = C2,
очевидно, каждая точка фазовой плоскости является положением равновесия: траектория, начинаясь
в этой точке "стоит" в ней все время (см.
В случае C = C3
решение задается формулами |
При k ∈ (1, 0)
(см.
Фазовый портрет при k = 1
называется устойчивым вырожденным узлом
(см.
В случае C = C4 система (3) имеет вид
z′1= z1 + kz2, z′2= z2. |
Решение выписывается в явном виде:
z1 = c1et + c2ktet, z2 = c2et. |
Очевидно, множество траекторий симметрично относительно начала координат. Поэтому достаточно
изучить поведение траекторий в верхней полуплоскости
|
Задача О13.4. Покажите, что фазовый портрет имеет вид, изображенный на
Фазовая картина в этом случае также называется неустойчивым вырожденным узлом.
В случае C = C5
решение имеет вид
Случай C = C6
(устойчивый вырожденный узел)
отличается от случая C = C4
только направлением движения фазовой точки по
траекториям и, таким образом, свойствами устойчивости нулевого
положения равновесия (см.
В случае C = C7 общее решение системы (3) имеет вид
z1 = et(c1cos kt +
c2sin kt), z2 = et(c2cos kt c1sin kt). |
Положим z = (c12+ c22)1/2. Тогда, как легко видеть, |
z1 = retcos(kt + φ0), z2 = retsin(kt + φ0), |
где cos φ0 = c1/r, sin φ0 = c2/r. Переходя к полярным координатам ρ, φ, получаем
ρ(t) = ret, φ(t) = kt φ0. |
Отсюда следует, что траектории представляют собой
логарифмические спирали. Фазовая точка движется по ним по
часовой стрелке и при t →
+∞
уходит в бесконечность (см.
В случае C = C8 аналогичные преобразования приводят к представлению решения в виде
ρ(t) = r, φ(t) = kt φ0. |
Поэтому траектории представляют собой окружности с центром в
начале координат, фазовая точка движется по ним по часовой
стрелке (см.
Наконец, при C = C9 решение имеет вид
ρ(t) = ret, φ(t) = kt φ0. |
Траектории логарифмические спирали, траектория движется по ним по часовой стрелке и при
В заключение хотим предостеречь читателя от мысли, что в
последних трех случаях фазовая точка исходной системы (1)
также всегда движется по часовой стрелке. На
самом деле замена
Литературные указания. Исследование фазовых портретов
двумерных линейных систем с постоянными коэффициентами можно
найти фактически в каждом учебнике по обыкновенным дифференциальным уравнениям; см., напр.,
[Арнольд, Бибиков,
Задачи. О13.5. Докажите, что если фазовый портрет
(1) есть устойчивый или
неустойчивый узел, седло,
устойчивый или неустойчивый фокус,
то любая достаточно близкая к ней линейная автономная система (
О13.6. Докажите, что в сколь угодно малой окрестности системы, являющейся центром, есть как системы, являющиеся устойчивым фокусом, так и системы, являющиеся неустойчивым фокусом.
File based on translation from
TEX by TTH,
version 2.32.
Created 21 Jan 2000, 02:43.
Last modified 25 Apr 2002.