Системы обыкновенных дифференциальных уравнений
.pdfОтметим следующее свойство нормы произведения матриц. |
|||||||||||||||||||||||||||||||||||||||||||||||||||
Пусть |
|
A = {ail} ( i = |
|
|
|
; |
l = |
|
), |
B = {bl j } |
( l = |
|
|
; j = |
|
|
|
). Тогда |
|||||||||||||||||||||||||||||||||
1, n |
1, k |
1, k |
1, m |
||||||||||||||||||||||||||||||||||||||||||||||||
A B |
|
|
|
≤ k |
|
|
|
A |
|
|
|
|
|
|
|
B |
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
В самом деле, имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
def |
|
k |
|
|
|
|
|
k |
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
A B |
= max |
|
∑ail bl j |
|
|
|
|
|
|
∑ |
ail |
|
bl j |
|
|
≤ ∑ |
A |
|
B |
= k |
A |
|
B |
|
||||||||||||||||||||||||
|
|
|
|
|
≤ |
max |
|
|
|
|
|
. |
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
i=1, n |
|
l =1 |
|
|
i= |
1, n |
l =1 |
|
|
|
|
l =1 |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
j =1, m |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j =1, m |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Рассмотрим теперь матрицу
A(x) = {ai j (x)} ( i =1, n ; j =1, k ),
в которой ai j ( x) – функции вещественного аргумента x, определенные в некотором промежутке I = a, b . A(x) называют матрицей-функцией аргумента x.
5) Говорят, что A(x) непрерывна в точке x0 I , если в этой точке оказываются непрерывными одновременно функции ai j ( x) ( i =1, n ; j =1, k ).
A(x) непрерывна на промежутке I, если она непрерывна в каждой точке
этого промежутка.
6) Производная матрицы функции A(x) определяется соотношением
dA( x) |
dai j ( x) |
|
|
|
|
|
|||
( i =1, n ; j =1, k ). |
|||||||||
|
= |
|
|
||||||
dx |
dx |
||||||||
|
|
|
|
|
|
|
dA( x) |
|
|
|
dai j ( x) |
|
|
|
|
|
||
существует, если существуют одновременно |
( i =1, n ; j =1, k ). |
||||||||||
dx |
dx |
|
|||||||||
|
|
|
|
|
|
|
|
|
|||
Справедливы следующие утверждения. |
|
|
|
|
|
|
|
||||
Пусть матрицы-функции A(x) и B(x) одинакового строения, определенные |
|||||||||||
и дифференцируемые на I. Тогда |
d |
(A( x) + B(x))= dA(x) |
+ dB( x) , x I . |
||||||||
|
|||||||||||
|
|
dx |
dx |
|
dx |
Пусть A(x) определена и дифференцируема на I, α – постоянное число. То-
гда |
|
d |
(α A( x))= α dA( x) |
, |
|
x I . |
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
dx |
|
|
|
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
Пусть A(x) = {ail (x)} ( i = |
|
|
; l = |
|
) определена и дифференцируема на I, |
|||||||||||||||
|
|
1, n |
1, k |
|||||||||||||||||||
B( x) = {bl j ( x)}( l = |
|
|
; |
j = |
|
) определена и дифференцируема на I. Тогда |
||||||||||||||||
1, k |
1, m |
|||||||||||||||||||||
|
|
d |
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
k |
|
|
|||
|
|
(A( x) B( x))= |
d |
∑ |
ail ( x) bl j ( x) |
= |
|
(ail′ |
( x) bl j ( x) +ail ( x) bl′j ( x)) = |
|||||||||||||
|
|
|
|
|
||||||||||||||||||
|
dx |
|
dx |
|
|
|
|
|
|
|
|
∑ |
|
|
||||||||
|
|
|
|
|
|
|
|
l =1 |
|
|
|
|
|
|
|
|
l =1 |
|
|
|||
|
|
|
|
|
|
|
= dA( x) |
B(x) + A(x) dB(x) , |
x I . |
|||||||||||||
|
|
Замечание. |
|
|
|
|
dx |
|
|
|
|
|
|
|
|
|
dx |
|
||||
|
|
Пусть |
A(x) |
|
– квадратная матрица-функция, определенная и |
дифференцируемая на I. Тогда
61
ddx (A2 (x))= A′(x) A(x) + A(x) A′( x), x I .
Следует помнить, что, вообще говоря, ddx (A2 (x))≠ 2 A(x) A′(x) , x I , ибо
матрицы A′(x) и A(x) часто оказываются некоммутирующими.
b
7) Пусть A(x) C( I ) , I =[a, b]. ∫A( x) dx определяется соотношением
a
b |
b |
|
i j |
|
∫ |
∫ |
|
|
|
|
A( x) dx = |
a |
|
( x) dx |
a |
a |
|
|
|
В частности, для любого x [a, b] имеем
x |
x |
|
i j |
|
∫ |
∫ |
|
|
|
|
A(t) dt = |
a |
|
(t) dt |
a |
a |
|
|
|
Отметим, что |
|
|
|
|
( i =1, n ; j =1, k ).
( i =1, n ; j =1, k ).
|
|
|
|
|
d |
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∫A(t) dt = A(x), |
|
|
x [a, b]. |
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
dx |
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Рассмотрим вопрос о норме интеграла. Имеем |
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
b |
|
|
|
|
|
b |
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
∫ |
A( x) dx |
|
= max |
∫ |
ai j (x) dx |
|
≤ max |
∫ |
ai j (x) |
|
dx |
|
≤ |
|
∫ |
|
A( x) |
|
dx |
. |
|||||||||||
|
|
|
i=1, n |
|
|
i=1, n |
|
123 |
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
a |
|
|
j = |
|
|
a |
|
|
j = |
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
1, k |
1, k |
|
≤ |
|
|
|
A( x ) |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
§2. Линейные системы обыкновенных дифференциальных уравнений. Простейшие свойства решений линейных однородных систем
Система обыкновенных дифференциальных уравнений вида
dy1 = a |
( x) y |
+a |
(x) |
y |
2 |
+K+a |
( x) y |
n |
+ |
f ( x), |
|
|||||||||||||||
|
dx |
|
11 |
|
|
1 |
|
12 |
|
|
|
|
|
1n |
|
|
|
|
1 |
|
||||||
dy |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
||
|
|
= |
a21(x) |
|
y1 |
+ |
a22 |
(x) |
|
y2 |
+K+ |
a2n (x) |
|
yn |
+ |
f2 (x), |
||||||||||
|
|
|||||||||||||||||||||||||
dx |
|
|
|
|
|
|
|
|
(1 ) |
|||||||||||||||||
. . . . . . . . . . . . . . . . . . . |
|
|||||||||||||||||||||||||
dy |
n |
= an1(x) y1 |
+an2 (x) y2 |
+K+ann (x) yn + fn (x) |
|
|||||||||||||||||||||
|
|
|
|
|||||||||||||||||||||||
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
называется линейной. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Считаем, что ai j ( x) |
( i, j = |
|
) и fi ( x) ( i = |
|
) – некоторые вещественные |
|||||||||||||||||||||
1, n |
1, n |
функции от x, определенные и непрерывные в I = (a, b). Пусть
62
|
y (x) |
|
|
f (x) |
|
a (x) a (x) K a |
(x) |
|||||
|
1 |
|
|
|
1 |
|
|
|
11 |
12 |
1n |
|
Y (x) = y2 ( x) |
; |
F(x) = f2 ( x) |
; |
A(x) = a21(x) a22 (x) K a2n (x) . |
||||||||
|
K |
|
|
K |
|
|
K |
K K K |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
yn ( x) |
|
|
fn (x) |
|
an1( x) an2 ( x) K ann (x) |
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Тогда система (1 ) может быть записана в виде |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dY |
= A(x) Y + F( x). |
(1) |
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
что F (x,Y ) C( D) , где |
|||||||||||||||||||
Обозначим A(x) Y + F(x) =F (x,Y ) . |
|
|
Ясно, |
||||||||||||||||||||||||||||||||||||||||||||||
a < x < b, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
(D) = |
|
Y |
|
< +∞. |
Имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
∂F (x,Y ) |
|
|
|
|
|
|
|
|
|
|
|
∂F (x,Y ) C( D) . |
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
= A(x) |
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
∂Y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂Y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
Значит, (D) – область существования и единственности решений системы (1). |
|||||||||||||||||||||||||||||||||||||||||||||||||
Положим p(x) = max |
|
ai j |
( x) |
|
, q( x) = max |
|
|
|
|
|
fi ( x) |
|
|
. Имеем |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
i, j =1, n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i=1, n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
F ( x,Y ) |
|
= |
|
|
|
A(x) Y + F(x) |
|
|
|
≤ |
|
|
|
A(x) Y |
|
|
|
+ |
|
|
|
F(x) |
|
|
|
≤ |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
≤ p(x) n |
|
Y |
|
|
|
|
|
~ |
|
|
|
|
|
|
Y |
|
+q(x) , |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
~ |
|
|
|
|
|
+q(x) = p (x) |
|
||||||||||||||||||||||||||||||||||||||||||
|
|
= p( x) n . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
где p ( x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Видим, что выполнены условия нелокальной теоремы существования реше-
ния. По этой теореме любое решение Y = ϕ( x) линейной системы (1) продолжимо на интервал (a, b) .
Справедливо также утверждение:
Любые два решения линейной системы (1), проходящие через одну и ту же точку, совпадают на всем интервале (a, b) .
Действительно, по указанной выше теореме, любые два решения системы
(1) продолжимы на интервал (a, b) . Но тогда, по нелокальной теореме единственности, они совпадают на (a, b) .
Если в системе (1) F(x) ≡ 0, x I , то вместо (1) будем иметь
ddYx = A( x) Y .
(10 ) называют линейной однородной системой дифференциальных уравнений. Отметим следующие простейшие свойства решений системы (10 ) .
1.Y = 0 , x I – решение системы (10 ) (очевидно).
2.Если вектор-функции Y = ϕ1( x) , x I , и Y = ϕ2 ( x) , x I , – решения линейной однородной системы (10 ) , то вектор-функция Y = ϕ1( x) + ϕ2 ( x) , x I , –
решение системы (10 ) .
В самом деле, так как Y = ϕ1( x) , x I , и Y = ϕ2 ( x) , x I , – решения сис-
63
темы (10 ) , то |
|
|
|
|
dϕ1( x) |
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
− A( x) ϕ1( x) ≡ 0, |
x I , |
|
|
||||||||||
|
|
|
|
|
|
|
dx |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
dϕ2 ( x) |
− A(x) ϕ2 (x) ≡ 0, |
x I . |
|
|
|||||||||
Имеем |
|
|
|
|
|
|
dx |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
d |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(ϕ1(x) +ϕ2 (x))− A( x) (ϕ1(x) +ϕ2 (x))= |
|
|||||||||||||
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= dϕ1( x) |
+ |
dϕ2 (x) |
− A( x) ϕ1( x) − A( x) ϕ2 (x) = |
|
||||||||||||
|
|
|
|
|
|||||||||||||||
dϕ |
( x) |
|
dx |
|
|
dx |
dϕ |
( x) |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||
= |
1 |
|
|
− A(x) |
ϕ |
(x) |
+ |
2 |
|
− A( x) ϕ |
(x) |
≡ 0, x I |
|
||||||
dx |
|
dx |
|||||||||||||||||
|
|
|
|
|
1 |
|
|
|
2 |
|
|
|
|||||||
14444244443 |
14444244443 |
|
|
||||||||||||||||
|
|
|
|
≡0, x I |
|
|
|
|
|
|
|
|
≡0, x I |
|
|
|
|
Y = ϕ1( x) + ϕ2 ( x) , x I , – решение системы (10 ) .
3.Если Y = ϕ( x) , x I , – решение системы (10 ) , а C – постоянная скаляр-
ная величина, то Y = C ϕ( x) , x I , – решение системы (10 ) .
Действительно, по условию Y = ϕ( x) , |
x I , – решение системы (10 ) |
||||||
dϕ( x) |
− A( x) ϕ(x) ≡ 0 , x I . Имеем |
|
|
||||
dx |
|
|
|||||
|
d |
(C ϕ( x))− A( x) (C ϕ(x))= C dϕ( x) |
|
||||
|
|
−C A(x) ϕ(x) = |
|||||
|
|
dx |
|||||
|
|
dϕ(x) |
|
dx |
|
||
|
|
|
|
|
|||
|
|
|
= C |
|
− A(x) ϕ(x) |
≡ 0, |
x I |
|
|
|
|
||||
|
|
|
dx |
|
|
|
|
|
|
|
1444244443 |
|
|
≡0, x I
Y = C ϕ( x) , x I , – решение системы (10 ) .
Следствие. Если Y = ϕ1( x) , x I ; Y = ϕ2 ( x) , x I ; K ; Y = ϕm ( x) , x I ,
– решения линейной однородной системы (10 ) , а C1, C2 , K, Cm – произвольные постоянные числа, то вектор-функция
Y= C1 ϕ1( x) + C2 ϕ2 ( x) +K+ Cm ϕm ( x)
–решение системы (10 ) .
Замечание. Если m = n , то вектор-функция
Y = C1 ϕ1( x) + C2 ϕ2 ( x) +K+ Cn ϕn ( x), x I , |
(2) |
будет решением системы (10 ) , зависящим от x и от C1, C2 , K, Cn . Вопрос: будет ли (2) общим решением системы (10 ) ?
Ответ: не всегда.
Выясним, какими должны быть решения ϕ1( x), K, ϕn ( x) системы (10 ) , чтобы вектор-функция (2) была общим решением этой системы.
64
§3. Линейная зависимость и линейная независимость вектор-функций. Признаки линейной независимости решений
линейной однородной системы.
Пусть
ϕ1( x), ϕ2 ( x), K, ϕn ( x) |
(n N) |
(1) |
– вектор-функции, определенные на некотором I = (a, b). |
|
|
Определение. Если существуют числа γ1, |
γ2 , K, γn , среди которых есть |
|
отличные от нуля, такие, что |
|
|
γ1 ϕ1( x) + γ2 ϕ2 ( x) +K+ γn ϕn ( x) ≡ 0, x I , |
(2) |
|
то вектор-функции (1) называются линейно зависимыми на I = (a, b). |
|
Если же тождество (2) имеет место лишь тогда, когда γ1 = γ2 =K= γn = 0 ,
то вектор-функции (1) называются линейно независимыми на I.
Пусть вектор-функции (1) являются решениями линейной однородной сис-
темы |
|
||
|
dY |
= A( x) Y . |
(1 ) |
|
|
||
|
dx |
0 |
|
|
|
||
Образуем матрицу |
|
||
Φ( x) = (ϕ1(x), ϕ2 (x), K, ϕn ( x)). |
(3) |
Φ( x) называют матрицей решений системы (10 ) .
Определитель матрицы Φ( x) обозначают через W( x) и называют вронскианом, составленным для решений системы (10 ) . Таким образом, по определе-
нию,
W ( x) = det Φ( x), x I .
Теорема 1 (необходимый признак линейной зависимости n решений систе-
мы (10 ) ). Если решения ϕ1( x), ϕ2 ( x), K, |
ϕn ( x) , x I , системы (10 ) линейно |
зависимы на I = (a, b), то их вронскиан |
x I . |
W ( x) ≡ 0, |
По условию, решения (1) системы (10 ) – линейно зависимые на I = (a, b)
C1 |
|
|
|
C |
|
≠ 0 такой, что |
|
существует (постоянный) вектор C = 2 |
|
|
|
K |
|
|
|
|
|
|
|
Cn |
|
|
|
Φ( x) C ≡ 0, |
x I . |
(4) |
Это означает, что для x I линейная алгебраическая система (4) с матрицей коэффициентов Φ( x) и с неизвестными C1, C2 , K, Cn имеет решение, отличное
от чисто нулевого. Но это возможно лишь тогда, когда det Φ( x) = 0 для x I . Следствие (достаточный признак линейной независимости n решений сис-
65
темы |
(10 ) ). Если существует точка x0 I такая, что W( x0 ) ≠ 0 , то решения |
ϕ1( x), |
ϕ2 ( x), K, ϕn ( x) , x I , системы (10 ) линейно независимы на I. |
Рассуждаем от противного. Допускаем, что решения (1) системы (10 ) – линейно зависимые на I. Но тогда по теореме 1 получаем, что W( x) ≡ 0 , x I
в частности, W( x0 ) = 0 , а это не так.
Теорема 2 (Достаточный признак линейной зависимости n решений систе-
мы (10 ) ). Пусть вектор-функции ϕ1( x), |
ϕ2 ( x), K, ϕn ( x) , x I |
– решения сис- |
темы (10 ) . Пусть W( x) – их вронскиан. |
Если существует точка x0 I такая, что |
|
W( x0 ) = 0 , то решения (1) системы (10 ) |
– линейно зависимые на I = (a, b). |
|
Введем в рассмотрение линейную алгебраическую систему |
|
|
Φ( x0 ) C = 0, |
(5) |
C1
где Φ( x) – матрица, составленная из решений (1) системы (10 ) , а C = C2 –K
Cn
неизвестный вектор. По условию, det Φ(x0 ) =W(x0 ) = 0 система (5) имеет
C1(0)
ненулевое решение C(0) = C2(0) ( C(0) ≠ 0 ).
KCn(0)
Рассмотрим решение системы (10 )
Y = C(0) ϕ |
( x) +C(0) ϕ |
2 |
( x) +K+C(0) ϕ |
n |
( x) = Φ( x) C(0) . |
(6) |
||||
1 |
1 |
2 |
|
|
|
n |
|
|
||
Это решение, в силу (5), удовлетворяет начальному условию |
|
|||||||||
|
|
|
Y |
|
x =x0 |
= 0 |
|
|
(7) |
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
||||
(ибо, в силу (5), |
Φ( x0 ) C(0) = 0 ). Но начальному условию (7) удовлетворяет |
|||||||||
также решение Y ≡ 0 , |
x I системы (10 ) . Мы знаем, что для линейной системы |
любые два решения, проходящие через одну и ту же точку, совпадают на всем интервале I = (a, b). Следовательно, будем иметь:
|
Φ( x) C(0) = 0, |
x I . |
Так как C(0) ≠ 0 , то |
последнее соотношение означает, что решения |
|
ϕ1( x), ϕ2 ( x), K, ϕn ( x) , |
x I , системы (10 ) |
– линейно зависимые на I = (a, b). |
Следствие (необходимый признак линейной независимости n решений системы (10 ) ). Если решения ϕ1( x), ϕ2 ( x), K, ϕn ( x) , x I , системы (10 ) – линейно независимые на I, то
W( x) ≠ 0 для x I .
66
|
В самом деле, допустим, что имеется хотя бы одна точка x0 I |
такая, что |
|||||
W( x0 ) = 0 . Но |
тогда по |
теореме |
2 |
получаем, |
что |
решения |
|
ϕ1 |
( x), ϕ2 ( x), K, ϕn ( x) , x I , – линейно зависимые на I, а это не так. |
|
|||||
|
Определение. Пусть ϕ1( x), ϕ2 ( x), K, |
ϕn ( x) , |
x I = (a, b) |
– решения сис- |
|||
темы (10 ) , Φ( x) |
– матрица, составленная из этих решений. |
Если решения |
|||||
ϕ1 |
( x), ϕ2 ( x), K, |
ϕn ( x) , x I , |
– линейно независимые на I, то матрицу Φ( x) |
называют фундаментальной матрицей решений системы (10 ) ( Φ( x) – ф. м. р. с.
(10 ) ).
Если существует точка x0 I такая, что Φ( x0 ) = E , то Φ( x) – ф. м. р. с. (10 ) , нормированная в точке x0 . Здесь и всюду в дальнейшем E – единичная матрица.
§4. Теорема о составлении общего решения линейной однородной системы обыкновенных дифференциальных уравнений
Теорема. Пусть Φ( x) = (ϕ1(x), ϕ2 (x), K, ϕn ( x)) – ф. м. р. с. |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
dY |
= A( x) Y . |
(1 ) |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
dx |
0 |
|
Тогда |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
Y = Φ( x) C , |
(1) |
||
|
|
|
|
|
|
|
|
|
|
|||
где C – произвольный постоянный вектор, есть общее решение системы (10 ) в |
||||||||||||
(D) = |
a < x < b, |
|
||||||||||
|
|
|
|
Y |
|
|
|
< +∞. |
|
|||
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|||||||
|
1) Берем произвольную точку (x0 ,Y0 ) (D) и рассматриваем векторное |
|||||||||||
уравнение |
|
|||||||||||
|
|
|
|
|
|
|
|
|
Y0 = Φ( x0 ) C . |
(2) |
(2) представляет собой алгебраическую систему линейных уравнений относительно компонентов вектора C. Определителем этой системы является det Φ(x0 ) ≠ 0 . Следовательно, (2) однозначно разрешимо относительно C:
|
C(0) = Φ−1( x |
0 |
) Y . |
|
|
|
|
||||
|
|
|
|
|
0 |
|
|
|
|
||
2) Подставив в (1) C(0) вместо C, будем иметь |
|
|
|
|
|||||||
Y = Φ(x) C(0) = C(0) ϕ |
(x) +C(0) |
ϕ |
2 |
( x) +K+C(0) ϕ |
n |
( x). |
(3) |
||||
1 |
1 |
|
2 |
|
|
|
n |
|
|
||
Вектор-функция (3) представляет |
собой |
|
линейную |
комбинацию |
решений |
||||||
ϕ1( x), ϕ2 ( x), K, ϕn ( x) , x I , системы (10 ) |
(3) – решение системы (10 ) на |
I = (a, b). Таким образом, показано, что (1) удовлетворяет определению общего решения системы (10 ) .
Замечание. Формула (3) может быть записана в виде
67
Y = Φ(x) Φ |
−1 |
( x0 ) Y0 . |
~ |
|
( 3) |
||
~ |
в форме Коши. |
В частности, если |
|
( 3) – общее решение системы (10 ) |
|||
~ |
|
|
|
Φ( x0 ) = E , то ( 3) принимает вид |
|
|
|
Y = Φ( x) Y0 . |
|
Замечание (об общем виде фундаментальной матрицы решений системы
(10 ) ). |
|
|
|
|
1) Пусть Φ( x) = (ϕ1(x), ϕ2 (x), K, ϕn ( x)) |
– ф. м. р. с. (10 ) . Пусть C – посто- |
|||
янная, произвольная, неособенная матрица порядка n. Тогда |
(4) |
|||
Ψ( x) = Φ( x) C |
|
|||
– тоже ф. м. р. с. (10 ) . |
|
|
|
|
В самом деле, имеем |
|
|
|
|
Ψ(x) = Φ(x) C = Φ(x) (C1, C2 , K, Cn )=(Φ(x) C1, Φ(x) C2 |
, K, Φ(x) Cn ). |
|||
|
14243 14243 |
14243 |
||
|
|
=Ψ1 ( x ) =Ψ2 ( x ) |
=Ψn ( x ) |
|
Так как Ψ1( x) = Φ( x) C1 , Ψ2 ( x) = Φ( x) C2 , |
K , |
Ψn ( x) = Φ( x) Cn являются ре- |
||
шениями системы (10 ) на I = (a, b), то Ψ( x) = (ψ1(x), ψ2 ( x), K, ψn ( x)) – мат- |
||||
рица решений системы (10 ) . |
|
|
|
|
Имеем, далее, |
|
|
|
|
det Ψ( x) = det Φ( x) det C ≠ 0, |
x I |
|
||
14243 |
{ |
|
|
|
≠0, x I |
≠0 |
|
|
|
|
|
|
|
Ψ( x) – ф. м. р. с, (10 ) .
2)Пусть Φ( x) – ф. м. р. с, (10 ) . Пусть Ψ( x) – любая другая ф. м. р. с, (10 ) . Тогда обязательно существует неособенная, постоянная матрица C, такая, что
Ψ( x) = Φ( x) C
(т.е. любая ф. м. р. с, (10 ) содержится при некоторой неособенной матрице C в выражении Φ( x) C ).
В самом деле, пусть Ψ(x) = (ψ1(x), ψ2 (x), K, ψn ( x)) – произвольная ф. м. р.
с., (10 ) Y = ψ j (x) |
( j = |
|
) – решение системы (10 ) . По теореме об общем |
||
1, n |
|||||
решении системы (10 ) |
заключаем: существует постоянный вектор C j ( j = |
|
) |
||
1, n |
такой, что
ψ j ( x) = Φ(x) C j ( j =1, n).
Получаем, таким образом,
Ψ(x) = (Φ(x) C1, Φ(x) C2 , K, Φ(x) Cn )≡ Φ( x) C ,
где C = (C1,C2 , K, Cn ) .
Остается показать, что det C ≠ 0 . Имеем
68
Ψ( x) = Φ( x) C |
C = Φ−1( x) Ψ( x) det C = det Φ−1(x) |
|
14243 |
|
≠0, x I |
det Ψ(x) ≠ 0 .
14243
≠0, x I
Отметим, в частности, что если Φ( x0 ) = E , то C = Ψ( x0 ) .
§5. Формула Остроградского – Лиувилля
Пусть имеется линейная однородная система обыкновенных дифференциальных уравнений
|
|
|
|
|
|
|
dY |
= A( x) Y . |
|
|
|
|
|
|
|
|
|
|
|
(1 ) |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
||
Пусть Φ( x) = (ϕ1(x), ϕ2 (x), K, ϕn ( x)) – матрица решений системы (10 ) |
(не обя- |
||||||||||||||||||||||||||||||
зательно фундаментальная). Пусть W( x) = det Φ( x) – вронскиан. Тогда |
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
x |
|
n |
|
|
|
|
для любого x (a, b) |
|
|
|
|
|||||||||||||||
|
W(x) =W( x0 ) exp |
∫ |
|
∑aii(t) dt , |
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
x0 |
i=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
( x0 (a, b) фиксированное, любое.) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ϕ11( x ) ϕ12 (x ) K ϕ1n ( x ) |
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
W ( x ) = |
ϕ21( x ) ϕ22 (x ) K ϕ2n (x ) |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
K |
|
|
K |
|
|
K |
|
|
|
K |
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
ϕn1( x ) ϕn2 (x ) K ϕnn (x ) |
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
123 |
123 |
|
|
|
|
|
|
|
|
123 |
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
=ϕ1( x ) =ϕ2 ( x ) |
|
|
|
|
|
|
|
=ϕn( x ) |
|
|
|
|
|
|
|
||||||||||||
|
|
ϕ′ ( x) |
ϕ′ ( x) K ϕ′ |
( x) |
|
|
|
|
|
ϕ |
|
|
( x) |
ϕ ( x) |
K ϕ |
|
( x) |
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
11 |
12 |
|
|
|
|
1n |
|
|
|
|
|
|
|
11 |
|
12 |
1n |
|
|
|
|
|
|||||||
W ′(x) = |
ϕ21(x) ϕ22 (x) K ϕ2n (x) |
|
|
+ |
|
ϕ′21(x) ϕ′22 (x) K ϕ′2n (x) |
+ |
|
|
||||||||||||||||||||||
|
|
K |
|
K |
|
|
K |
|
K |
|
|
|
|
|
|
|
K |
|
|
K |
K |
K |
|
|
|
|
|||||
|
|
ϕn1(x) ϕn2 ( x) K ϕnn (x) |
|
|
|
|
|
ϕn1( x) ϕn2 ( x) K ϕnn (x) |
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ϕ11(x) |
ϕ12 ( x) K ϕ1n (x) |
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
ϕ11(x) ϕ12 (x) K ϕ1n (x) |
|
|
n |
|
|
|
|
|
|
K |
|
|
K |
K |
|
K |
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
ϕi−1,1(x) |
ϕi−1,2 (x) K ϕi−1,n (x) |
|
|
||||||||||||||||||||||
|
ϕ21(x) ϕ22 ( x) K ϕ2n (x) |
|
∑ |
|
|
||||||||||||||||||||||||||
+K+ |
= |
ϕ′ |
|
( x) |
ϕ′ ( x) |
K ϕ′ |
( x) |
|
. |
||||||||||||||||||||||
|
K |
K |
K |
K |
|
|
|
|
|
i,1 |
|
|
|
|
i,2 |
|
|
i,n |
|
|
|
|
|||||||||
|
|
|
ϕi |
+1,1(x) |
ϕi+1,2 (x) K ϕi+1,n (x) |
|
|
||||||||||||||||||||||||
|
ϕ′n1( x) ϕ′n2 ( x) K ϕ′nn ( x) |
|
|
|
|||||||||||||||||||||||||||
|
|
|
i =1 |
|
K |
|
|
K |
K |
|
K |
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ϕn1( x) |
ϕn2 ( x) K ϕnn (x) |
|
|
|||||||||||||
У нас вектор-функции ϕ1( x), |
ϕ2 ( x), K, ϕn ( x) |
являются решениями системы |
|||||||||||||||||||||||||||||
(10 ) . Поэтому |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
69
n |
n |
ϕ′i1( x) = ∑ai j ( x) ϕj1(x), |
ϕ′i2 (x) = ∑ai j (x) ϕ j2 ( x), K , |
j =1 |
j =1 |
n
ϕ′in ( x) = ∑ai j ( x) ϕjn ( x) .
j =1
А тогда
|
n |
|
ϕ11(x) |
|
|
||
|
|
K |
|
|
∑ |
|
n |
W ′(x) = |
|
∑ai j ( x) ϕ |
|
|
|
j =1 |
|
|
i=1 |
|
K |
|
|
|
ϕn1(x) |
ϕ12 (x) |
K ϕ1n (x) |
|
K |
K |
K |
n |
|
n |
j1(x) ∑ai j (x) ϕj 2 (x) K ∑ai j (x) ϕjn (x) |
||
j =1 |
|
j =1 |
K |
K |
K |
ϕn2 (x) |
K ϕnn (x) |
|
n |
n |
|
ϕ11(x) ϕ12 (x) K ϕ1n ( x) |
|
|
|
|
|
|
|
|
|
|
|||||
|
∑∑ |
|
K |
K K K |
|
|
|
|
|
W ′(x) = |
ai j (x) |
ϕj1( x) ϕj 2 ( x) K ϕjn ( x) |
|
|
|
|
|||
|
|
i−я |
|||||||
|
|
K |
K K K |
|
|
|
строка |
||
|
i =1 |
j =1 |
|
ϕn1( x) ϕn2 ( x) K ϕnn( x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
n |
n |
|
|
|||
W ′(x) = ∑aii (x) W(x) =W(x) ∑aii ( x). |
|
|
|||||||
|
|
|
i=1 |
i=1 |
|
|
i−я
строка
Видим, что для W( x) получено обыкновенное дифференциальное уравнение первого порядка. Решая это уравнение с начальным условием
W(x) |
|
x =x0 |
=W(x0 ) (x0 (a, b)), |
||||
|
|||||||
|
|||||||
|
|
x |
|
n |
|
|
, x (a, b) . Таким образом, форму- |
получаем W(x) =W( x0 ) exp |
|
∫ |
∑aii(t) dt |
||||
x0 |
i=1 |
|
|
|
ла Остроградского – Лиувилля установлена.
§6. Теорема о составлении общего решения линейной неоднородной системы обыкновенных дифференциальных уравнений
Теорема. Пусть имеется линейная неоднородная система |
|
||||
|
dY |
|
= A(x) Y + F( x). |
(1) |
|
|
dx |
||||
|
|
|
|
|
|
Введем в рассмотрение систему |
|
dY |
|
|
|
|
|
|
= A( x) Y . |
(1 ) |
|
|
|
|
|
||
|
|
|
dx |
0 |
|
|
|
|
|
((10 ) – линейная однородная система, соответствующая неоднородной системе
(1)). Пусть Φ( x) = (ϕ1(x); ϕ2 ( x); K; ϕn (x)) – ф. м. р. с., (10 ) . (Тогда
70