Файл: Абгарян К.А. Матричные и асимптотические методы в теории линейных систем.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 11.04.2024

Просмотров: 179

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

184 А С И М П Т О Т И Ч Е С К О Е Р А С Щ Е П Л Е Н И Е С И С Т Е М Ы [ГЛ. V III

удовлетворяющие системе (1.11) и условиям а і Ы = h К (т0)...........а„(т0)),

р„,(т0) = /ЛМто). ■• ■. ал(т0)),

причем эти функции имеют непрерывные частные

произ­

водные по аъ а2, ...,

ап

в некоторой окрестности

точки

(at (т0),

а„ (т0)).

1,

п) — дифференцируемые функ­

Поскольку а/ (/ =

ции от т, то из равенств (1.14) следует существование производных по т от а,, ..., ßm в окрестности точки т0. Учи­ тывая это, продифференцируем равенства (1.11) по т. По­

лучим

 

 

 

da.

 

4ßi _

da.

 

 

 

 

I

da2

 

 

 

dx

1

dx

dx

P a

dx

-1- В

da.

I

rfß«

da2

dx

г

1

dx

 

dx

dx

 

 

 

dak

ßm +

ak

dßmdx

dan

 

 

 

dx

dx

Решая эту

систему,

будем иметь

 

 

da,

 

1

 

 

dx

' R ( Д „ Д 2)

• ,

ß m ;

dßm

 

I

 

 

dx

R

' ' h , ( 0 4 ,

. .

ß m ;

( А , , Д 2)

 

 

da,

 

 

dan

dx

*

dx

da.

 

 

dan

dx

r

*

dx

(1.15)

здесь ф/ — функции, дифференцируемые по своим аргумен­ там любое число раз.

 

i-ч

существуют вторые

производные

(і2ал

d2 ап

 

Ьсли

 

» ■• • »

то из (1.15) можно непосредственно

получить

выражения

для

d2a,

 

 

d~ßm

TT

 

 

 

,

 

........... Для этого достаточно

продифферен­ 1

цировать равенства (1.15) по т и в правых частях

исключить

с/ах

dß.

с помощью

тех же равенств (1.15). Этим

dx

 

 

 

путем можно

получить

все производные по т

от а,, ..., ßm

вплоть д

d1а ,

 

d!ßm

, 7

 

 

 

о /

 

..........- , ,

. Итак, в произвольной точке

 

 

dr

 

 

dx

 

 

 

 


§ 2] П О С Т Р О Е Н И Е Ф О Р М А Л Ь Н О Г О П Р О Ц Е С С А 185

т0 £ [О, L] коэффициенты многочленов Ах и Д2 дифференци­ руемы по крайней мере столько раз, сколько раз дифферен­ цируемы коэффициенты многочлена А. Лемма доказана.

Пусть теперь А — характеристический многочлен матрицы U (т). Коэффициенты этого многочлена дифференци­ руемы по т по крайней мере столько же раз, сколько раз дифференцируема матрица U (т). Коэффициенты матрично­ го многочлена (1.6) равны коэффициентам многочлена Аст (Ä,), корнями которого являются собственные значения матрицы U, не включенные в группу а. Многочлен Да (^) является множителем многочлена А (Л), причем имеют ме­

сто неравенства (1.1). Условия леммы, таким

образом, вы­

полняются. Согласно лемме

коэффициенты

многочлена

Аа(к) дифференцируемы по

крайней мере

столько раз,

сколько раз дифференцируемы коэффициенты многочлена А (к). Отсюда следует, что матрица Д0 (U) дифференцируе­ ма по т по крайней мере столько раз, сколько раз дифферен­ цируема матрица U (т). То же самое, очевидно, справедли­ во и для любой линейной комбинации столбцов матрицы Аа (U) с коэффициентами, дифференцируемыми соответст­ вующее число раз.

Из вышеизложенного ясно, что если на рассматриваемом промежутке [О, L] линейная независимость каких-нибудь фиксированных ka столбцов матрицы А0 (U) не нарушает­ ся, то в качестве искомой матрицы Ка (дифференцируемой столько же раз, сколько раз дифференцируема матрица U) можно взять матрицу, составленную из этих ka столбцов. Если же таких Іга столбцов не окажется, то матрицу Ка следует набрать из ka линейных комбинаций столбцов матрицы Ag(U) соответствующее число раз с дифференци­ руемыми коэффициентами, выбор которых должен быть подчинен условию линейной независимости этих kQлиней­ ных комбинаций.

§ 2. Построение формального процесса для расщепления системы дифференциальных уравнений

на независимые подсистемы меньшего порядка

Полагая, что элементы матриц A (t) и В (/) в уравне­ нии (0.1) как функции от t являются медленно меняющими­ ся функциями, введем так называемое медленное время т = ві и рассмотрим уравнение несколько более общего


186

А С И М П Т О Т И Ч Е С К О Е

Р А С Щ Е П Л Е Н И Е

С И С Т Е М Ы

ІГЛ . V III

вида:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

А(%, е ) - ^ - = В(т, г)х + f(t, г, е)

 

= et).

(2.1)

Здесь А (т,

е),

В (т,

е) — квадратные матрицы порядка л,

допускающие разложение по степеням параметра е:

 

 

А (Г, 8) =

2

е Ч

(*),

В (х, е) =

I

е Ч

(х)

(2.2)

 

 

 

 

k=0

 

 

 

 

 

 

А=0

 

 

 

 

 

 

 

 

 

 

 

(г б [О, Ц).

 

 

 

 

 

 

 

При Ak (x) =

Bk (т) s

0 (k — 1, 2,...)

и

е =

1

уравне­

ние (2.1) принимает вид (0.1).

на

сегменте

0

с

т

■< L

Т е о р е м а

2.1.

 

Пусть

а) f (t,

г,

е) — непрерывная

вектор-функция,

 

регулярная

относительно е в окрестности точки

г — 0,

б) матрицы

Ak (х),

Bk (т)

(k =

0,

1,2,...)

имеют производные по х всех

порядков, а

Л0 (х),

кроме того,

является

невырожденной

матрицей.

Тогда,

 

предполагая, что собственные

значения

матрицы U (х) =

ЛсГ1(х) В0(х) разбиты на р групп ?ча), . . .

. . . , XjfJ |ог =

1......... p - ^ k a = n j при условии,

что

 

 

 

 

 

 

 

\Kila)( x ) - X f )(T)\>0

 

 

 

 

 

(2.3)

(s ф а;

 

і = 1 ,

. . . , А : а; / = 1, . ..

,

ks; х g

[0,

Ц),

 

формальное решение системы (2.1)

можно представить так:

 

 

 

 

 

 

X =

2

 

г) уо,

 

 

 

 

 

 

(2.4) .

 

 

 

 

 

 

 

а=і

 

 

 

 

 

 

 

 

 

где уо (а =

1,2,

...,

 

р) есть решения уравнений

 

 

 

 

L

 

= Ла (X, е) У о

+ Mo ( X ,

е) R (х, е) / (t,

 

х, е)

(2.5)

 

 

 

 

 

 

 

(ст= 1,

.. . ,

р),

 

 

 

 

 

 

 

а Ко,

Ла,

Mo,

R

матрицы

типа

 

соответственно

п X ko,

ka X ka,

 

ko X n,

n

X n,

 

 

представляемые


5 2]

П О С Т Р О Е Н И Е Ф О Р М А Л Ь Н О Г О

П Р О Ц Е С С А

187

формальными рядами

 

 

 

 

 

 

Ко (т, в) =

2 гкК1ок] (т),

л„(т, е) =

2

е‘Л ?] (т),

 

 

 

 

fc=0

 

 

*■—"

(2.6)

 

 

 

 

 

 

 

УЙСТ(т, е) =

2

(т),

/? (т, е) =

J

М-

 

 

 

 

А=0

 

 

А=0

 

 

Д о к а з а т е л ь с т в о . Подставим

выражение

(2.4)

в

(2.1) и используем при этом равенства (2.5):

 

 

 

р

d K G (т,

е)

 

 

 

 

 

 

 

 

 

 

 

 

Л ( т ,

б ) 2

dx

Уа Ко (т, е) Ла (т, е) Уо +

 

 

 

СГ= 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

Ко (t, е) Mo (Т, е) R (х, е) / (t, т, е)

 

 

 

 

 

=

В (х, е) ^ Ко (г, е) уа+ f (t, г,

е).

 

 

 

 

а=1

 

 

 

 

В полученном равенстве приравняем нулю отдельно коэффициенты при уа (сг = 1, 2, ..., р) и свободный член. Будем иметь

А (т,

dK„ (х, е)

~

 

В(Х, е) Коіу, е ) (2.7)

е) -------- ^

-------------- Ь К о ( т , е ) А о

( т , е )

 

 

 

( 0 = 1 ,

р),

 

л (т,

е) 2

К

е) Кіо (т, е) /? (т, е) —

f(t, т, е) = 0. (2.8)

 

ст=І

 

 

 

 

Для доказательства теоремы нужно показать возмож­ ность построения членов рядов (2.6), удовлетворяющих ра­ венствам (2.7) и (2.8).

Займемся сначала равенствами (2.7). Подставим в эти равенства ряды (2.2) и (2.6) и отделим коэффициенты при

одинаковых степенях

е . Получим

А — 1

 

 

j f t ' t * — ѵ — Ч /

*

А — ѵ

£

А

„т - +

£

А, (X)2 Й* - ѵ-д (X)Л И (X) =

ѵ=0

 

 

ѵ=0

/= О

=

p

/

( T ) i ( ' M ] (T)

( 0

= 1, . . . , р ; k = 0, 1, 2, ...). (2.9)

 

/ - 9

 

 

 

 


188

 

А С И М П Т О Т И Ч Е С К О Е

Р А С Щ Е П Л Е Н И Е С И С Т Е М Ы

[ГЛ V III

Равенства (2.9) умножим слева на Ло1 и, учитывая, что

AöxB0 =

U, представим их в виде

 

 

 

 

и (Т) K la ](Т) =

Kik] (т) Л™ (т) +

у

А

- ' 1 (г) Ад/] (г) +

+

Ао1(т) ^

Аѵ- 1(t)

ак[к- ѵЦх)

■ßv (T) K[cA' Vl(T) +

 

âx

 

 

k—V

Ѵ = 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

V

Лѵ(т)А А ѵ~ /](тА ' А )

 

 

 

 

Наконец,

обозначив

(0 =

1, ...J ,

p\

£ = 0 , 1 , 2 ,

 

 

 

 

 

 

 

 

 

Й Ы 1(т) =

^ Ѵ а М

( т ) 4 Л (T) +

 

 

 

 

 

 

 

/=І

 

 

 

 

 

 

 

 

 

+

Л^1(т)

*

Лѵ-І (Т) -

 

/r)

-

в ѵ (т) /йА_ѵ] (Т) +

V

- dx

 

 

k — V

 

ѵ = I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

V Лѵ (т) К1а Ѵ

(т) А^1 (т)

 

( 0 = 1 .......... р), (2.10)

 

/= О

 

 

 

 

 

 

 

 

 

 

 

будем иметь

 

 

 

 

 

 

 

 

 

 

U (т)

А ° ] (т) =

А ° ] (т) А о 1 (X).

 

 

 

 

 

У (т) К1о ](т) =

(т )А ^

(т) + /^0] (т)

(т) + А *“ 11 (г)

 

 

 

 

 

 

 

( 0 = 1 .......... р\

k = 1,2,

.. .).

 

 

 

 

 

 

 

 

 

 

 

 

(2.11)

Пусть А =

(/<і (т) ... Ар

(т)) — матрица,

преобразующая

при условии (2.3) квадратную матрицу U к квазидиагональ-

ному виду

 

 

А

(т)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

О

 

 

 

 

 

А(Ѵ =

І

 

р

 

 

 

 

 

 

 

 

 

 

 

 

 

л

р (т)'

 

и дифференцируемая столько же раз, сколько раз дифферен­ цируема матрица U.

*) При А< Т у нужно принять У, g 0.