Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Мирошин Интегралные и дифференциалные операторы 2010

.pdf
Скачиваний:
68
Добавлен:
16.08.2013
Размер:
1.39 Mб
Скачать

 

dv (y)

 

 

 

 

 

 

def

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2)

 

 

 

 

 

 

=

v

 

fi

(t, y)0

при всех t t0 .

 

 

 

 

 

 

 

 

 

 

 

dt

 

 

 

в силу системы

 

i=1 yi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда нулевое решение системы (3.1) устойчиво по Ляпунову.

Доказательство. В

пространстве

Rn+1

рассмотрим

 

график

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y,z

 

 

 

 

 

 

 

 

 

 

функции z = v (y ). Так как v ( y )

непрерывная функция, v (y ) > 0

при

y 0 , то,

задав

достаточно

 

малое

ε > 0 , получим, что

C (ε) > 0 , такая, что:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а) проекция поверхности уровня

 

v (y ) = C

на гиперплоскость

(y1,..., yn )

целиком лежит в Uε (0) ={y :

 

 

y

 

< ε};

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б)

δ(C ) = δ(ε) > 0 : Uδ (0) лежит внутри этой проекции.

 

 

 

Возьмем точку M 0 (y0 ) Uδ (0). Пусть y (t )

– фазовая траекто-

рия системы (3.1), проходящая при t = t0

 

 

через M0 , т.е. y (t0 )= y0 .

Тогда v (y0 )= C1 < C и по условию

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dv (y (t))

 

 

 

 

 

 

n

 

v

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

fi (t, y (t)) 0 ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т.е. v ( y )

 

 

 

dt

 

 

 

в силу системы

 

i=1 yi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

не возрастает вдоль фазовой траектории y (t ).

В этом

случае t t0 v (y (t )) v (y (t0 ))= v (y0 )= C1 < C

 

y (t)

 

 

< ε . И

 

 

 

 

тогда ε > 0 δ(ε) > 0 : (y0 :

 

y0

0

 

< δ) sup

 

y (t)0

 

< ε.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

tt0

 

 

 

 

 

 

Что и доказывает устойчивость по Ляпунову нулевого решения системы (3.1).

Замечание 3.5. Функция v ( y ) , удовлетворяющая указанным в

условии теоремы свойствам, называется функцией Ляпунова. Общего способа ее построения нет.

Замечание 3.6. Если в п. 2 теоремы потребовать выполнения более сильного условия:

t t

0

 

dv (y)

 

≤ −w (y),

 

dt

 

 

 

в силу системы

 

 

 

 

 

 

 

 

21

где w (y ) 0 и непрерывна в некоторой Uδ0 (0), причем

w (y) = 0 y = 0 , то нулевое решение будет асимптотически ус-

тойчивым.

Упражнение. Провести доказательство.

Пример 3.1. Исследуем на устойчивость нулевое решение системы:

 

 

 

i

 

4;

 

 

 

 

x = −xy

 

 

 

 

 

 

 

 

 

 

 

i

4

 

 

 

 

 

y = yx .

 

Решение. Рассмотрим функцию

v (x, y ) = x4 + y4.

Она удовле-

творяет условию п. 1 теоремы, и, кроме того:

 

 

dv (x, y)

 

 

= −4x4 y4 + 4y4x4 = 0

,

 

 

 

 

dt

 

в силу системы

 

 

 

 

 

что означает выполнение п. 2 (но не удовлетворяет условию замечания 3.6). Следовательно, нулевое решение этой системы устойчиво по Ляпунову.

Теорема 3.4 (Четаева). Пусть область D Rn

и функция

v ( y )

 

 

 

 

 

 

 

 

 

 

y

 

 

таковы, что:

 

 

 

 

 

 

 

 

 

 

 

1)

O (0,..., 0) D , т.е. начало координат лежит на границе D;

2)

v ( y ) определена в

 

 

, непрерывно дифференцируема и

D

v (y ) > 0 в D, v (y) = 0 на D Uε

 

(0), ε0 > 0;

 

 

 

 

 

 

 

 

 

 

 

0

 

 

3)

при любом t t0 выполняется неравенство

 

 

 

dv (y)

 

 

 

 

n

v

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

fi (t, y ) w (y ) > 0 ,

 

 

dt

 

 

 

 

 

 

 

 

в силу системы

 

 

i=1

y

i

 

 

 

 

 

 

 

 

 

 

где w (y ) непрерывная в D функция.

Тогда нулевое решение системы (3.5) неустойчиво. Доказательство. Зафиксируем ε0 > 0 , удовлетворяющее усло-

виям теоремы. Пусть задано любое δ > 0 , возьмем y0 D : y0 < δ. И, следовательно, v (y0 )= α > 0 . Пусть y (t ) – фазовая траектория

22

(3.5), проходящая при t = t0

через точку y0 , т.е. y (t0 ) = y0 . Тогда,

так как

 

 

 

 

 

dv (y (t))

 

 

 

 

 

 

 

 

 

 

 

 

 

= w (y (t)) > 0 ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в силу системы

 

 

 

 

 

 

 

 

 

 

 

 

 

то v (y (t )) ≥ α > 0

для всех

t t0 , т.е.

траектория при всех t t0

лежит в

 

D и

не

пересекает линию

уровня

v (y ) = α . Поэтому

δ1 > 0 :

 

y (t)

 

 

 

> δ1

при всех t t0 , а тогда и

w (y (t )) ≥ β > 0 при

 

 

 

 

 

 

всех t t0 . Следовательно,

 

 

 

 

 

v (y (t)) v (y (t0 ))(t t0 )→ +∞,

t → +∞.

Но это означает,

что решение y (t )

выйдет при некотором t на

границу шара

 

y

 

= ε0 . Отсюда следует, что

 

 

 

 

 

 

 

ε0 > 0 : δ > 0 (y0 : y0 < δ): y (t ) ≥ ε0

при некотором t > t0 . Поэтому нулевое решение неустойчиво, что и

требовалось доказать.

Пример 3.2. Исследовать на устойчивость нулевое решение системы

xi = x5 + y3;

i

y = x3 + y5.

Решение. v (x, y ) = x4 y4, D ={(x, y): x > y }. Тогда:

а)

O (0, 0) D ;

 

 

 

 

 

 

 

 

б)

v (x, y) > 0

при

 

x

 

>

 

y

 

;

 

 

 

 

 

v (x, y) = 0

при

 

x

 

=

 

y

 

, т.е. на D ;

 

 

 

 

 

в)

dv

 

 

 

 

 

 

 

 

= 4x3 (x5 + y3 )4y3 (x3 + y5 )= 4 (x8 y8 )=

 

dt

 

 

 

 

в силу системы

 

 

= w(x, y) > 0 при

 

x

 

>

 

y

 

. Следовательно, по теореме Четаева нуле-

 

 

 

 

вое решение данной системы неустойчиво.

23

3.5. Устойчивость по первому приближению

Определение 3.3. Пусть при t t0 система (3.1) представима в виде

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(3.6)

 

 

 

 

 

 

 

 

 

 

y = A(t ) y + R (t, y),

где A(t ) =

{

a

ij

(t ) n

 

 

 

– функциональная матрица с непрерывными

 

 

 

 

}i, j=1

 

 

 

 

 

 

 

 

 

 

 

на t

0

, +∞)

коэффициентами, а вектор-функция R (t, y)

удовлетво-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ряет условию:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(y :

 

y

 

C

 

) sup

 

R (t, y)

 

C

 

y

 

1,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где C0, C1

 

 

 

 

 

 

 

0

tt0

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и α – некоторые положительные постоянные. В этом

случае линейная система y′ = A(t ) y называется системой первого приближения для исходной системы (3.6).

Теорема 3.5. Пусть при (t t0) R (t, y) – непрерывно дифференцируемая функция для всех y C0 (где C0 > 0 – некоторое число), а A(t ) A , т.е. система первого приближения – система с постоянными коэффициентами. Тогда:

1) если λi : det (A − λiE )= 0 Re λi < 0 , то нулевое решение

системы (3.6) асимптотически устойчиво;

2) если λi : Re λi > 0 , то нулевое решение неустойчиво.

Примеры.

3.3. Исследовать на устойчивость нулевое решение системы:

xi = 2x +8sin y;

i

y = 2 e x 3y cos y.

Решение.

 

 

 

y

3

 

x = 2x +8

y

 

 

6

 

 

 

 

 

 

 

 

 

x2

 

 

 

y = 2

1

+ x +

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

+ o (y3 ) ;

 

 

 

 

 

 

 

 

 

 

 

 

 

y

2

 

+ o (x2 )

3y 1

 

+ o (y2 ) .

 

 

 

 

2

 

24

Таким образом:

i

 

 

 

 

 

x = 2x +8y +o

(

 

 

 

 

 

(

i

 

 

y = −x 3y +o

 

 

 

 

3

 

x2 + y2 )2

;

 

 

 

 

3

 

x2 + y2 )2

.

 

 

 

Система первого приближения:

i

 

 

 

 

2 −λ

8

 

 

x = 2x +8y

det (A −λE ) =

= λ2

+λ + 2 = 0;

 

 

1

3 −λ

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y = −x 3y

 

 

 

 

 

 

 

 

 

 

λ1,2 = −

1

±

7

i Re λi < 0.

 

 

2

2

 

 

Следовательно, по теореме об устойчивости по первому приближению получаем, что нулевое решение устойчиво.

3.4. Исследовать на устойчивость нулевое решение системы:

xi = −4y x3;

i

y = 3x y3.

Решение. Система первого приближения:

i

 

−λ

4

 

 

 

 

x = −4y

det (A −λE ) =

= λ2

+12 = 0 Re λi

= 0

 

3

−λ

i

 

 

 

 

 

y = 3x

 

 

 

 

 

 

 

теорема об устойчивости по первому приближению не дает ответа. Подбираем функцию Ляпунова: v(x, y) = 3x2 + 4y2 , имеем

dv

 

= 6x (4y x3 )+8y (3x y3 )= −(6x4 +8y4 )< 0 ,

 

dt

 

 

в силу системы

 

причем w (x, y ) = 6x4 + 8y4 > 0 при x2 + y2 0 . Следовательно, ну-

левое решение асимптотически устойчиво (по замечанию 3.6 к теореме Ляпунова).

25

§ 4. Фазовое пространство

4.1. Показательная функция линейного оператора

Пусть

En n-мерное евклидово пространство со скалярным

произведением ( , )

 

 

и нормой

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

. Введем норму,

используя ска-

 

 

 

 

 

 

 

 

 

лярное произведение: x E n

 

 

 

 

x

 

 

 

=

 

 

 

(x, x) . Пусть далее опера-

 

 

 

 

ˆ

n

E

n

– линейный в

E

n

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

тор A : E

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ˆ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение 4.1. Нормой оператора A называется число

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ˆ

 

 

 

 

 

= sup

 

 

 

 

ˆ

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

 

 

 

 

 

Ax

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Упражнение. Докажите, что:

 

 

 

1)

 

ˆ

 

0 , причем

 

 

 

 

ˆ

 

 

 

= 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ˆ

(т.е. x E

n

ˆ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

 

A

 

 

 

 

A = θ

 

Ax = θ) ;

2)

 

 

ˆ

 

=

 

λ

 

 

 

 

 

 

ˆ

 

 

; λ R ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

λA

 

 

 

 

 

 

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3)

 

ˆ

 

 

ˆ

 

 

 

 

 

 

ˆ

 

 

+

 

 

 

 

 

ˆ

 

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

+ B

 

 

 

 

 

 

A

 

 

 

 

 

B

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4)

 

ˆ

 

ˆ

 

 

 

 

 

 

 

ˆ

 

 

 

ˆ

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

B

 

 

 

 

A

 

 

B

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Свойства

 

(1 3)

из упражнения означают, что множество ли-

нейных операторов в En само является линейным нормированным пространством: L (E n, E n ).

Определение 4.2. Пусть

ˆ

последовательность линей-

{Ak }k=1

ных операторов в E

n

. Тогда

ˆ

 

ˆ

опр.

 

 

 

ˆ

ˆ

 

 

 

0 , k → ∞ .

 

 

 

 

 

 

A = lim

A

 

 

 

 

A

A

 

 

 

 

 

 

 

k→∞

k

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Упражнение. Докажите,

что

L (E n, E n )

 

полное нормирован-

ное пространство.

Определение 4.3. Рассмотрим ряд, составленный из операторов

ˆ

(4.1)

Ak .

k =1

26

Этот ряд называется сходящимся к

ˆ

, если к оператору

 

 

 

ˆ

S

 

 

 

S сходит-

ся последовательность его частичных сумм

ˆ

 

 

n

ˆ

 

 

 

 

 

 

Sn =

 

Ak .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k =1

 

 

 

 

 

 

 

 

 

Признак Вейерштрасса. Пусть ряд (4.1) таков, что:

 

 

 

 

 

 

1) k Ck > 0 :

 

ˆ

 

 

 

Ck ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ak

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2) Ck < +∞ .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k =1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда ряд (4.1) сходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Зафиксируем в

En

какой-либо базис (необязательно ортонор-

мированный). Пусть

 

 

 

ˆ

A – матрица оператора

ˆ

в этом базисе.

 

A

A

Определение 4.4.

 

 

Экспонентой от оператора

 

 

ˆ

 

 

 

 

 

 

 

 

 

 

 

 

A называется ряд:

 

def

ˆ k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ˆ

 

 

ˆ

A

 

 

 

 

 

 

 

 

ˆ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

exp(A)

=

E +

k

!

 

,

гдеE – единичный оператор.

 

 

 

 

 

 

 

 

 

k =1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если

 

ˆ

 

 

 

 

 

 

 

 

 

 

ˆ

 

 

 

ˆ k

 

 

 

 

 

 

 

ˆ

 

 

 

k

, ряд экспоненты

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

– норма оператора A , то

 

 

A

 

 

 

 

 

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ˆ

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

мажорируется сходящимся числовым рядом 1

+

 

 

A

 

 

 

 

и тогда

 

 

k

!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k =1

 

по признаку Вейерштрасса он сходится.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ˆ

в каком-либо базисе, то в силу

Если A – матрица оператора A

ˆ

изоморфизма имеем: e A e A в том же базисе (матрица e A определяется аналогично). Таким образом, достаточно научиться счи-

тать величину e A, где A – квадратная матрица (n × n).

Свойства матричной экспоненты.

1. Если AB = BA , т.е. матрицы A и B коммутируют, то e A+B = e AeB.

Доказательство. В силу выполнения признака Вейерштрасса ряды матриц ведут себя как абсолютно сходящиеся числовые ряды. Поэтому

27

 

 

 

 

 

 

 

A

k

 

 

B

m

 

 

A

k

B

m

 

 

 

 

 

 

 

 

e A eB =

 

 

 

=

∑ ∑

 

 

=

 

 

 

 

 

 

 

k

!

 

 

k

!m!

 

 

 

 

 

 

 

 

 

 

k =0

m=0

m!

 

k =0

m=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

n

 

 

n!

 

 

 

 

 

 

 

 

 

 

 

(A + B)

n

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

Ak Bnk =

 

= e A+B.

 

 

 

 

n!

k !(n k )!

 

n!

 

 

 

 

 

 

n=0

k=0

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2. Если B = S 1AS , то eB = S 1e AS .

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Так как Bk

= S 1Ak S , то отсюда и следует ут-

верждение.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3. Если B = diag (A1,..., Am ), то eB = diag (e A1,..., e Am ).

 

 

 

 

Доказательство.

 

Доказательство

следует

 

 

из того,

 

что

(diag (A1,..., Am ))k =

 

= diag (A1k ,..., Amk ).

 

 

 

 

 

 

 

 

 

 

 

4. Рассмотрим J

p

= λ

p

E

r

+ I (1)

,

где

E

r

единичная матрица

 

 

 

 

 

 

 

 

 

 

r

 

 

 

 

 

 

 

 

 

 

 

 

 

 

размера (r × r ), а I

(1) – первый косой ряд единиц. Так как λ

p

E

r

и

 

 

 

 

 

r

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I (1) коммутируют, то по свойству 1 получаем:

 

 

 

 

 

 

 

 

 

r

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

eJ p

= eλpEr eIr(1).

 

 

 

 

 

 

 

 

 

 

 

Легко увидеть, что eλ pEr = eλ p E

r

. Далее

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

1

0

...

0

 

2

0

0

1 ...

 

 

 

 

0

0

0 ...

 

 

 

0

0

1

...

0

 

 

 

(Ir(1))

2

 

 

 

… … … ...

 

= … … …

...

 

=

0

0

0 ...

 

 

 

0

0

0

...

1

 

 

 

 

 

 

 

 

 

0

0

0 ...

 

 

 

0

0

0

...

0

 

 

 

 

 

 

 

 

0

0

0 ...

 

 

 

 

 

 

 

 

 

 

 

второй косой ряд единиц. Таким образом:

(Ir(1))k = Ir(k ), 1 k r 1, (Ir(1))r = 0

где (r × r ) – размерность этой матрицы.

0

0

= Ir(2)

1

0

0

,

5. Пусть жорданова форма матрицы A связана с самой матрицей A через матрицу перехода S по закону:

J = S 1AS A = SJS 1. Тогда etA = S 1diag (etJ1(λ1),...,etJm (λm ))S ,

28

где etJ p(λ p ) = eλ pt E

r

etIr(1)

, и

 

 

 

 

 

 

1

t

t2

...

 

 

 

2!

 

 

 

 

 

 

 

 

 

 

 

 

 

e

tI (1)

 

0

1

t ...

r

=

 

 

 

 

 

 

 

 

 

 

 

 

 

… … … …

 

 

 

0

0

0 ...

 

 

 

0

0

0 ...

 

 

 

Пример 4.1. Вычислить etA, где

tr2

(r 2)! tr3

(r 3)!

1

0

2 A = 00

 

t r1

 

 

 

 

 

 

 

(r 1)!

 

tr2

 

 

 

.

(r 2)!

 

 

 

 

 

 

 

t

 

 

1

 

 

 

 

10

21 .

02

Решение. Так как A – жорданова клетка, то

 

1

t

 

t2

 

 

 

 

 

 

2

 

 

 

 

 

 

etA =e2t

0 1 t

.

 

0

0

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Упражнения.

 

 

 

 

 

 

1. Докажите признак Вейерштрасса.

 

2. Докажите, что отображение

ˆ

A

является изоморфизмом

A

пространства L (E n, E n ) на пространство матриц (n × n).

29

4.2. Однопараметрическая группа преобразований {etA}

Определение 4.5. Множество элементов G ={g} называется группой, если для любых элементов g1, g2 G определена групповая операция « », удовлетворяющая следующим условиям:

1)(g1 g2 ) g3 = g1 (g2 g3 ) ассоциативность;

2)e G : e g = g e для g G; e – единица группы;

3) g G g1 G : g 1 g = g g1 = e ; g1

обратный

элемент для g .

 

Примеры.

 

4.2. Группа матриц n×n относительно операции

умножения

(эта группа некоммутативная).

4.3. R – группа вещественных чисел относительно операции сложения (коммуникативная абелева группа).

4.4. SO (n) – группа ортогональных матриц (n ×n) с определителем равным 1 (специальная ортогональная группа).

4.5. {etA}t R , A – фиксированная матрица – абелева группа, так

как:

а) et1A et2A =e(t1+t2)A ;

б) ассоциативность очевидна; в) e0A = E – единица группы;

г) etA – обратный элемент этой группы.

Эту группу будем называть однопараметрической группой преоб-

разований пространства En. Имеем:

d

 

d

t k Ak

 

 

etA =

 

E +

 

 

=

dt

 

k !

 

dt

k =1

 

 

Теорема 4.1. Рассмотрим систему

k k

At A = AetA.

k=0 k !

X (t) = AX (t ). Тогда решение

с начальным условием X (0)= X0 задается формулой

X (t )=etAX0 .

30