Академический Документы
Профессиональный Документы
Культура Документы
Задача Коши
77
Глава 3. Линейные системы
C 1 e µ1 t
µt
x1 (t) e 1 0 C1
5 x(t) = = = ,
x2 (t) C 2 e µ2 t 0 e µ2 t C2
6 7
где C1 , C2 ∈ R — произвольные постоянные, t ∈ R.
Задача Коши для системы с начальным условием
x1 (0) 1
8x(0) = =
x2 (0) 1
имеет решение
µt µt
x1 (t) e 1 e 1 0 1
9 x(t) = x2 (t) = eµ2 t = , t ∈ R.
0 e µ2 t 1
10
Теорема 3.1.4. Пусть все функции aij , i, j = 1, . . . , n, и bi , i = 1, . 11
. . , n,
в системе (3.2) непрерывны на некотором интервале I 12 ⊂ R, t0 ∈ I
и x0 13
∈ Rn . Тогда задача Коши с начальным условием x0 в точке t0
для системы (3.2) имеет решение x, оно единственно и определено на
всем I.
14
Определение 3.1.5. Система (3.2) называется однородной, если b(t) = 0
для всех t ∈ I, т.е. если она имеет вид
15
ẋ = A(t)x. (3.4)
78
3.1. Общие сведения. Задача Коши
Доказательство. Самостоятельно.
1
Лемма 3.1.7. Определим оператор L : C k (I; Rn ) → C k−1 (I; Rn ) посред-
ством
Lx = ẋ − A(t)x. (3.5)
Тогда L — линейный оператор.
Доказательство. Самостоятельно.
Таким образом, линейное однородное и неоднородное уравнения мож-
но записать в виде
Lx = 0, Lx = b(t). (3.6)
2
Лемма 3.1.8. Пусть xp1 , xp2 — решения неоднородного уравнения в (3.6).
Тогда xh = xp 3− xp является решением однородного уравнения в (3.6).
1 2
4x = xp + xh ,
79
Глава 3. Линейные системы
6x = α1 x1 + α2 x2 + . . . + αl xl
суть также решение системы (3.7), где α1 , .7. . , αl ∈ C (или R).
Определение 3.2.3. Система векторнозначных функций xi , i = 1, . 8. . , l,
9
на I ⊂ R со значениями в Rn (соотв. Cn ) называется линейно зависимой
над R (соотв. C), если линейно зависимы вектора x1 , .10 . . , xl , т.е. суще-
ствуют числа α1 , .11
. . , αl в R (соотв. C), не все одновременно нули, такие,
что
12 α1 x1 (t) + α2 x2 (t) + . . . + αl xl (t) = 0
в Rn для всех t ∈ I. 13
В противном случае система векторнозначных функций называется
линейно независимой.
Определение 3.2.4. Система n решений x1 , .14 . . , xn линейной однород-
ной системы (3.7) называется фундаментальной, если эта система ли-
нейно независима.
Пример 3.2.5. Для системы
µ1 0
15 ẋ = x
0 µ2
система решений
e µ1 t
0
16 x1 = , x2 =
0 e µ2 t
является фундаментальной.
80
3.2. Линейные однородные системы. Общая теория
Лекция 7
1 2
Теорема 3.2.6. Если коэффициенты aij (t) матрицы A в (3.7), i, j =
1, . . . , n, — непрерывные функции на I, то фундаментальная система
решений существует.
3 4
Доказательство. Пусть t0 ∈ I и xk , k = 1, . . . , n, — решения задачи
5
Коши для (3.7) с начальным условием xk (t0 ) = ek , где ek6— k-й базис-
ный вектор в Rn . Эти решения существуют. Поскольку система векторов
7ek , k = 1, . . . , n, линейно независима, то и система решений xk линейно
независима.
Утверждение 3.2.7. Система решений x1 , x2 , . .8. , xl системы (3.7) бу-
дет линейно зависимой, если существует t09 ∈ I такое, что линейно
зависима система векторов x1 (t0 ), x2 (t0 ),10
. . . , xl (t0 ).
11
Доказательство. Пусть система векторов x1 (t0 ), x2 (t0 ) . . . , xl (t0 ) линей-
12
но зависима, т.е. существуют числа α1 , α2 , . . . αl такие, что
14x = α1 x1 + α2 x2 + . . . + αl xl .
x = C1 x1 + C2 x2 + . . . + Cn xn . (3.8)
81
Глава 3. Линейные системы
1
Доказательство. Возьмем точку t0 ∈ I и рассмотрим систему векторов
в Rn
2 x1 (t0 ), x2 (t0 ), . . . , xn (t0 ).
7 x = XC,
8
где C = (C1 , C2 , . . . , Cn )t ∈ Rn .
82
3.2. Линейные однородные системы. Общая теория
1
Доказательство. Обозначая через e1 , e2 , . . . , en базисные вектора в Rn ,
Имеем
x11 x12 . . . x1n
x21 x22 . . . x2n
XC = .. .. . . .. C 1 e1 + C 2 e2 + . . . + C n en =
2 .
. . .
xn1 yn2 . . . xnn
= C1 x1 + C2 x2 + . . . + Cn xn .
3
Утверждение 3.2.12. Пусть X = (xij )ni,j=1 — функциональная матри-
ца, и обозначим
ẋ11 ẋ12 . . . ẋ1n
ẋ21 ẋ22 . . . ẋ2n
4Ẋ = .. .. . . .. .
. . . .
ẋn1 ẋn2 . . . ẋnn
Матрица X является фундаментальной для системы (3.7) тогда и
только тогда, когда она не вырождена и удовлетворяет дифференци-
альному матричному уравнению
Ẋ = AX. (3.10)
7 ẋk = Axk , k = 1, . . . , n,
83
Глава 3. Линейные системы
Доказательство. Рассмотрим
•
x11 x12 . . . x1n
ẋ11 ẋ12 . . . ẋ1n
x21 x22 . . . x2n x21 x22 . . . x2n
.. .. ... .. = .. .. ... .. +
. . . . . .
xn1 xn2 . . . xnn xn1 xn2 . . . xnn
x11 x12 . . . x1n x11 x12 . . . x1n
ẋ21 ẋ22 . . . ẋ2n x21 x22 . . . x2n
+ .. .. ... .. + . . . + .. .. ... .. . (∗)
. . . . . .
xn1 xn2 . . . xnn ẋn1 ẋn2 . . . ẋnn
84
3.2. Линейные однородные системы. Общая теория
и, следовательно,
x11 x12 . . . x1n
x11 x12 ... x1n
.. .. .. .. .. .. .. ..
. . . . P . . . .
ẋi1 ẋi2 . . . ẋin = nk=1 aik xk1 n
P Pn
k=1 aik xk2 ... aik xkn =
k=1
.. .. .. .. .. .. .. ..
. . . . . . . .
xn1 xn2 . . . xnn
xn1 xn2 ... xnn
2
x11 x12 . . . x1n
x11 x12 . . . x1n
. . . . . .. .. ..
.. .. .. .. .
. . . .
n
X
= aik xk1 xk2 . . . xkn = aii xi1 xi2 . . . xin = aii det X,
. .. .. .. . .. .. ..
.. ..
k=1
. . . . . .
x x . . . x x x . . . xnn
n1 n2 nn n1 n2
3
поскольку для k 6= i соответствующий определитель будет иметь повто-
ряющиеся строки и, следовательно, равный нулю.
Таким образом,
n
X
˙
4 (det X) = aii det X = tr A det X.
i=1
85
Глава 3. Линейные системы
4
Лемма 3.3.1. Для каждой комплексной матрицы A = (a)ni,j=1 имеем
86