Обыкновенные дифференциальные уравнения в задачах. Учебное пособие
.pdfЭта система однозначно разрешима при любом t 2 (a; b), поскольку определитель Вронского не обращается в нуль ни в одной точке из (a; b). Отсюда находим
01 0
c1 |
(t) |
CC |
|
c1 |
BB c2 |
.(t) |
= |
BB c2 |
|
B |
|
C |
|
B |
@ |
|
A |
|
@ |
1
(t0)
(t0) CC C +
. A
cn(t) cn(t0)
|
t |
1 |
0 |
0 |
1 |
|
|
|
|
|
|
B |
0 |
C |
|
|
|
t0 |
|
|
φ( ) |
|
|
|
||
∫ U ( ) |
B |
C |
d ; t0 |
; t 2 |
(a; b): |
|||
B |
. |
C |
||||||
|
|
|
@ |
|
A |
|
|
|
Можно положить, например, c1(t0) = = cn(t0) = 0 (ñì. ñëåä-
ствие 2 ниже).
Задача Коши для неоднородного уравнения (1.3.1) ставится аналогичным образом, как для однородного уравнения (1.3.2), т. е.
8 |
|
|
|
|
|
|
|
d |
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
> |
Pn (t; dt) u = φ(t); |
t 2 (a; b); |
||||||||||
|
j |
|
|
|
|
|
|
|
|
|
||
> |
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
> u t=t0 = u0; |
|
|
|
|||||||||
> |
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
|
t=t0 |
|
|
|
||||||
|
dt |
|
|
|
||||||||
> |
|
|
|
|
|
|
||||||
> |
|
|
|
|
|
|
|
|
|
|
|
|
< |
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
du |
|
|
|
|
|
|
1 |
|
(1:3:5) |
|
> |
|
|
|
|
|
|
|
= u ; |
|
|||
> |
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
d |
n |
|
1 |
u |
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
n 1 |
|
||
> |
: : : |
|
|
|
|
|
|
|
||||
> |
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
|
dt |
n |
|
1 |
|
|
|
|
|
|
||
> |
|
|
|
|
t=t0 |
|
|
|
||||
> |
|
|
|
|
|
|
|
|
|
|||
> |
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
||
> |
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
||
: |
|
|
|
|
|
|
|
|
= u ; |
|
||
> |
|
|
|
|
|
|
|
|
|
|
||
ãäå t0 2 (a; b).
Теорема 1.3.6. Для любых φ(t) 2 C[a; b], (u0; u1; : : : ; un 1)T 2
Cn существует единственное решение u(t) 2 Cn(a; b) задачи Коши (1.3.5).
Следствие 1. Решение задачи Коши (1.3.5) непрерывно зависит от коэффициентов уравнения a1(t), a2(t); : : : ; an(t), правой части уравнения φ(t) и начальных данных u0, u1; : : : ; un 1.
21
Следствие 2. В качестве частного решения u÷àñò(t) неоднородного уравнения (1.3.1) можно взять решение задачи Коши
|
8 |
|
|
|
|
|
|
|
d |
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
|
> |
Pn (t; dt) u = φ(t); |
t 2 (a; b); |
||||||||||
|
|
j |
|
|
|
|
|
|
|
|
|
||
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
du |
|
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
||
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
|
> u t=t0 = 0; |
|
|
|
|||||||||
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
|
t=t0 |
|
|
|
||||||
|
|
dt |
|
|
|
||||||||
|
> |
|
|
|
|
|
|
||||||
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
|
< |
|
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
= 0; |
|
|
|||
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
d |
n |
|
1 |
u |
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
||
|
> |
: : : : : : : : : : : : : : : |
|
||||||||||
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dt |
n |
|
1 |
|
|
|
|
|
|
||
|
> |
|
|
|
|
t=t0 |
|
|
|
||||
|
> |
|
|
|
|
|
|
|
|
|
|||
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
||
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
которое |
> |
|
|
|
|
|
|
|
|
|
|
||
: |
|
|
|
|
|
|
|
|
= 0; |
|
|
||
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
|
имеет вид |
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
u÷àñò(t) = ∫t |
k(t; )φ( ) d : |
|||||||
|
|
|
|
|
|
|
|
|
|
|
t0 |
|
|
Функция k(t; ) является последним элементом первой строки матрицы U(t)(U( )) 1, ãäå U(t) фундаментальная матрица решений для (1.3.2).
Упражнение. Доказать, что уравнение Эйлера |
|
||||||
tn |
dny |
+ a1tn 1 |
dn 1y |
+ + an 1t |
dy |
+ any = φ(t); |
t > 0; |
dtn |
dtn 1 |
dt |
|||||
заменой переменной t = es сводится к линейному дифференциальному уравнению с постоянными коэффициентами
|
|
|
|
|
|
d |
|
( |
d |
|
I) |
: : : ( |
d |
|
(n 1)I) y |
|
||
|
|
|
|
|
|
ds |
ds |
|
ds |
|
|
|||||||
|
d |
|
d |
I) : : : |
|
d |
|
|
|
e |
|
|||||||
+ a1 ds |
(ds |
(ds |
(n 2)I) y + + any = φ(es): |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e |
e |
22
Ÿ 1.4. Фундаментальная система решений для дифференциальных уравнений
ñпостоянными коэффициентами
Âэтом параграфе мы будем рассматривать линейные однородные дифференциальные уравнения произвольного порядка с постоянными коэффициентами
|
dnu |
+ a1 |
dn 1u |
+ + an 1 |
du |
+ anu = 0; t 2 |
R: |
(1:4:1) |
||
|
dtn |
dtn 1 |
|
dt |
|
|||||
Определение. Полином |
|
|
|
|
|
|||||
|
|
Pn( ) = n + a1 n 1 + + an 1 + an |
|
(1:4:2) |
||||||
называется характеристическим полиномом для дифференциального уравнения (1.4.1).
Введем следующий дифференциальный оператор
|
d |
|
dn |
|
dn 1 |
|
d |
|
|
Pn ( |
|
) |
= |
|
+ a1 |
|
+ + an 1 |
|
+ anI: |
dt |
dtn |
dtn 1 |
dt |
||||||
Тогда уравнение (1.4.1) может быть записано в виде
( ) d
Pn dt u = 0:
Пусть 1; 2; : : : ; n корни полинома (1.4.2). Тогда
|
|
|
Pn( ) = ( 1)( |
2) : : : ( |
|
|
n): |
|
|||||
|
|
|
|
|
|
|
|
|
d |
|
|
||
Нетрудно показать, что для оператора Pn ( |
|
|
) имеет место пред- |
||||||||||
dt |
|||||||||||||
ставление |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
d |
|
d |
|
d |
|
|
d |
|
|
|||
Pn ( |
|
) |
= ( |
|
1I) ( |
|
|
2I) : : : ( |
|
nI) : |
(1:4:3) |
||
dt |
dt |
dt |
dt |
||||||||||
23
Введем следующие дифференциальные операторы:
( |
|
) |
|
d |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
P1 |
d |
|
= |
1I; |
|
|
|
|
|
|
||||||||||||||||
dt |
dt |
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
d |
|
|
|
|
d |
|
|
|
|
|
|
d |
|
|
|
|
|
|
||||||
P2 ( |
|
|
) |
= ( |
|
|
|
|
1I) ( |
|
|
|
2I) ; |
|
|
|||||||||||
dt |
dt |
dt |
|
|
||||||||||||||||||||||
: : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : |
|
|||||||||||||||||||||||||
|
|
d |
|
|
|
|
d |
|
|
|
|
|
|
d |
|
|
d |
|
|
|||||||
Pj ( |
|
) |
= ( |
|
|
1I) ( |
|
|
2I) |
: : : ( |
|
|
jI) ; |
j = 3; : : : ; n: |
||||||||||||
dt |
dt |
dt |
dt |
|||||||||||||||||||||||
Рассмотрим серию задач Коши |
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
8 |
|
|
|
d |
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
P1 ( |
|
) u1 |
= 0; |
|
|
|
|
|
||||||
|
|
|
|
|
: |
dt |
|
|
|
|
(1:4:41) |
|||||||||||||||
|
|
|
|
|
|
j |
t=0 = 1; |
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
< u1 |
|
|
|
|
|
|
|
||||||||||
8( )
> |
P |
|
|
|
d |
|
u |
= 0; |
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
dt |
= 0;2 |
|
2 |
||
> u2 |
|
|
|
|
||||||
> |
|
|
j |
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
> |
|
du |
|
|
|
|
|
|
||
< |
|
|
|
|
|
|
(1:4:4 ) |
|||
> |
|
2 t=0 |
|
|
|
|||||
> |
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
> |
|
dt2 |
d |
|
|
|
|
|||
> |
|
|
t=0 = 1; |
|
||||||
: |
|
|
|
|
|
|
|
|
|
|
8 |
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
> |
Pj (dt) uj = 0; |
|
||||||||
|
|
j |
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
> uj t=0 = 0; |
|
j |
||||||||
> |
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
> |
|
|
j |
|
2 |
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
||
> |
: : : : : : : : : : : : |
(1:4:4 ) |
||||||||
> |
|
|
|
|
|
|
|
|
j = 3; : : : ; n; |
|
> |
|
|
j |
|
1 |
|
|
|
|
|
> |
|
d |
|
uj |
|
|
||||
< |
|
|
|
|
|
|
|
|||
> |
|
d |
|
|
|
uj |
|
|
||
> |
|
|
|
|
|
|
||||
> |
|
|
|
|
|
|
|
t=0 = 0; |
|
|
> |
|
dtj |
2 |
|
|
|||||
> |
|
|
|
|
|
|
|
|
= 1: |
|
|
|
|
j |
1 |
|
|
||||
> |
|
|
|
|
|
|
|
|||
> |
|
dt |
|
|
|
|
|
|
||
> |
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
: |
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
t=0 |
|
|
24
Каждая из задач Коши (1.4.4j) имеет единственное решение uj(t). Поскольку имеет место представление
|
d |
|
d |
|
|
d |
|
d |
||
Pn ( |
|
) |
= ( |
|
nI) |
: : : ( |
|
j+1I) Pj ( |
|
) ; |
dt |
dt |
dt |
dt |
|||||||
то каждая функция uj(t) удовлетворяет уравнению (1.4.1). Пока-
жем, что функции u1(t), u2(t); : : : ; un(t) образуют фундаменталь-
ную систему решений для уравнения (1.4.1). Рассмотрим следующую матрицу
|
0 |
u1(t) |
u2(t) |
: : : |
un(t) |
1 |
|
||||
|
B |
|
|
|
|
. |
|
|
|
C |
|
U(t) = |
B |
u1′ (t) |
u2′ (t) |
: : : |
un′ (t) |
C |
: |
||||
|
B . |
|
. |
|
|
.. |
. |
|
C |
|
|
|
B |
|
|
|
|
|
|
|
|
C |
|
|
B |
|
|
|
|
|
|
|
|
C |
|
|
B |
1 |
|
2 |
|
|
|
|
|
C |
|
|
@ |
|
|
|
|
|
|
|
|
A |
|
|
B |
(n 1) |
(t) u |
(n 1) |
|
|
|
(n 1) |
(t) |
C |
|
|
B u |
|
|
(t) : : : un |
C |
|
|||||
В силу теоремы Остроградского Лиувилля (см. предыдущий параграф) имеет место тождество
det U(t) = det U(0)e a1t:
В нашем случае
U(0) = |
B |
1 |
0 |
: : : |
0 |
C |
; |
. . |
... |
. |
|||||
|
0 |
|
1 |
: : : |
0 |
1 |
|
|
B |
|
|
: : : |
1 |
C |
|
|
B |
|
|
|
|
C |
|
|
@ |
|
|
|
A |
|
|
ò. å.
det U(0) = 1:
Тогда det U(t) ≠ 0, t 2 R. Следовательно, функции u1(t), u2(t),
: : : , un(t) образуют фундаментальную систему решений для уравнения (1.4.1).
25
Введем следующие обозначения:
|
|
|
u1(t) = (t; 1); |
|
|
|
|
|
|
|
|||||
|
|
|
u2(t) = (t; 1; 2); |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(1:4:5) |
|
|
|
: : : : : : : : : : : : : : : : : |
|
|
|
|
|
|||||||
|
|
|
un(t) = (t; 1; : : : ; n): |
|
|
|
|
|
|||||||
Укажем свойства введенной системы |
-функций. (Докажите их в |
||||||||||||||
качестве упражнений.) |
|
|
|
|
|
|
|
|
|
|
|
|
|||
Свойство 1. Функции |
|
(t; 1; : : : ; j), j |
= 1; : : : ; n, являются |
||||||||||||
непрерывными по совокупности переменных t, 1; : : : ; j. |
|||||||||||||||
Свойство 2. Имеет место тождество |
|
|
|
|
|
|
|||||||||
|
(t; 1; : : : ; j) (t; i1 ; : : : ; ij ); |
|
|
|
|||||||||||
ãäå i1; : : : ; ij перестановка 1; : : : ; j. |
|
0 |
2 |
(t) |
1 |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
B |
1 |
(t) |
C |
|
|
Свойство 3. Вектор-функция (t) = |
. |
|
является ре- |
||||||||||||
|
|
|
|
|
|
|
|
|
|
B |
|
C |
|
||
|
|
|
|
|
|
|
|
|
|
B |
|
|
|
C |
|
|
|
|
|
|
|
|
|
|
|
B |
|
|
|
C |
|
|
|
|
|
|
|
|
|
|
|
B |
n(t) |
C |
|
||
шением задачи Коши |
|
0 11 |
|
|
|
@ |
1 |
|
A |
|
|||||
8 d |
|
|
|
: : : |
0 |
0 |
|
|
|
||||||
|
|
02 : : : 0 0 |
|
|
|
||||||||||
> |
|
|
|
|
|
. . . . . |
|
|
|
|
|
||||
> |
|
|
|
B |
|
|
|
|
|
C |
|
|
|
||
> |
|
|
|
|
|
|
|
|
|
|
|
||||
> |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
= |
B |
|
|
|
|
|
C |
; |
|
|
|||
> |
dt |
|
|
.. |
|
|
|
|
|||||||
> |
|
|
|
|
|
|
|
|
|
|
|||||
> |
|
|
|
@ |
|
|
|
|
|
A |
|
|
|
||
> |
|
|
|
|
|
|
|
|
|
|
|
||||
> |
|
|
|
B |
|
|
|
|
|
C |
|
|
|
||
> |
|
|
|
|
|
|
|
|
|
|
|
||||
> |
|
|
|
1 |
|
|
|
|
|
|
|
||||
> |
|
|
|
|
|
1 n |
|
|
|
||||||
> |
|
|
|
0 0 : : : |
|
|
|
||||||||
< |
|
|
|
|
0 |
|
1 |
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
B |
|
C |
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
> |
|
|
|
|
B |
0 |
C |
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
|||
> |
|
|
|
|
B |
|
C |
|
|
|
|
|
|
|
|
> |
(0) = |
|
|
|
|
|
|
|
|
|
|||||
> |
|
|
|
|
|
|
|
|
|
|
|
||||
> |
|
|
|
|
@ |
|
A |
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
> |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
> |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
26
тогда и только тогда, когда
1(t) = |
(t; 1); |
2(t) = |
(t; 1; 2); |
: : : : : : : : : : : : : : : : :
n(t) = (t; 1; : : : ; n):
Свойство 4. Имеют место соотношения
(t; 1) = e 1t; |
|
(t; 1; : : : ; j) = ∫0 t e j (t s) (s; 1; : : : ; j 1) ds; |
(1:4:6) |
j = 2; : : : ; n: |
|
Свойство 5. Пусть 1 = = k. Тогда имеют место представ-
ления |
tj |
1 |
|
|
|
(t; 1; : : : ; j) = |
e j t; |
j = 1; : : : ; k: |
|||
|
|
||||
(j |
1)! |
Свойство 6. Пусть i ≠ j, i; j = 1; : : : ; n. Тогда имеют место представления
|
|
j |
|
|
|
∑l |
|
|
|
(t; 1; : : : ; j) = |
|
Ajle lt; |
j = 2; : : : ; n; |
|
|
=1 |
|
|
|
ãäå |
1 |
|
|
|
Ajl = |
|
: |
||
|
|
|
||
|
j |
|
||
|
|
k=1∏; l̸=k( l |
k) |
|
Свойство 7. Пусть j 1 ≠ j. Тогда имеют место тождества
(t; 1; : : : ; j 1; j)
27
|
1 |
[ (t; 1; : : : ; j 2; j) |
(t; 1; : : : ; j 2; j 1)] ; |
j j 1 |
j = 3; : : : ; n:
Теорема 1.4.1. Представим характеристический полином (1.4.2) в виде
Pn( ) = Pn1 ( ) : : : Pnk ( ); n1 + + nk = n;
ãäå Pnj ( ) взаимно простые полиномы порядка nj, j = 1; : : : ; k. Пусть Mj фундаментальная система решений для уравнения
|
d |
Pnj |
(dt) v = 0: |
Тогда |
k |
|
|
|
j |
|
M = Mj |
|
=1 |
фундаментальная система решений для уравнения (1.4.1).
Следствие. Пусть j, j = 1; : : : ; k, корни характеристиче- ского полинома (1.4.2), имеющие кратность nj, n1 + + nk = n. Пусть
Mj = {e j t; te j t; : : : ; tnj 1e j t} ; j = 1; : : : ; k:
Тогда |
k |
|
|
|
j |
|
M = Mj |
|
=1 |
фундаментальная система решений для уравнения (1.4.1).
Следствие непосредственно вытекает из теоремы 1.4.1, поскольку в качестве взаимно простых полиномов можно взять Pnj ( ) =
28
( j)nj , и в силу свойства 5 набор функций
|
|
|
|
f |
|
t |
|
tnj |
1 |
|
|
является |
|
|
|
|
|
|
|
||||
|
|
|
|
Mj = |
{e j t; 1!e j t; : : : ; (nj |
1)!e j t |
} |
||||
|
|
d |
фундаментальной |
системой решений |
для уравнения |
||||||
|
|
|
|
|
|
|
|
|
|
||
Pnj |
( |
|
) v = 0. |
|
|
|
|
|
|
|
|
dt |
|
|
|
|
|
|
|
||||
Упражнение. Рассмотрим линейное неоднородное уравнение с постоянными коэффициентами
d |
|
Pn (dt) u = φ(t); |
(1:4:7) |
ãäå φ(t) 2 C(R). Показать, что в качестве частного решения этого уравнения можно взять функцию
∫t
u÷àñò(t) = (t s; 1; : : : ; n)φ(s) ds:
0
Из упражнения следует, что систему -функций (1.4.5) можно
использовать для нахождения частного решения неоднородного уравнения (1.4.7). (Не нужно использовать метод вариации произвольных постоянных!)
Замечание. Для более детального изучения свойств системы -функций см. [3, 4].
Ÿ 1.5. Свойства матричной экспоненты
Пусть A постоянная матрица размера n n. В первом па-
раграфе мы определили матричную экспоненту как следующий степенной ряд
|
t |
t2 |
|
tj |
|||
etA = I + |
|
A + |
|
A2 |
+ + |
|
Aj + : : : : |
1! |
2! |
j! |
|||||
29
Из результатов этого же параграфа вытекает, что матричную экспоненту можно определить как решение задачи Коши
8
< dYdt = AY; : Y jt=0 = I:
Одним из способов получения компактных представлений матричной экспоненты является использование жордановой формы
матрицы. Действительно, пусть T невырожденная матрица такая, что
T1AT = J;
ãäå J жорданова форма матрицы A. Тогда
etA = T etJ T 1:
Приведем еще два представления матричной экспоненты.
Теорема 1.5.1. Пусть 1; : : : ; n собственные значения матрицы A. Тогда имеет место представление
etA = (t; 1)I + (t; 1; 2)(A 1I)
+ + (t; 1; 2; : : : ; n)(A 1I) : : : (A n 1I);
где функции |
(t; 1; : : : ; j), j = 1; : : : ; n, определены в (1.4.6). |
|||
Теорема |
1.5.2. Пусть |
контур в комплексной плоско- |
||
сти, охватывающий все собственные значения матрицы A. Òî- |
||||
гда справедливо представление |
|
|||
|
1 |
∫ |
|
|
|
etA = |
|
et ( I A) 1d : |
|
|
2 i |
|||
Укажем некоторые свойства матричной экспоненты.
30
