algirdas ambrazeviËcius iËvadas iË kokybin Ëe paprastuËju ...
algirdas ambrazeviËcius iËvadas iË kokybin Ëe paprastuËju ...
algirdas ambrazeviËcius iËvadas iË kokybin Ëe paprastuËju ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
2.4. TIESINĖS SISTEMOS SU PASTOVIAIS KOEFICIENTAIS 59<br />
Tegu ϕ 1 , . . . , ϕ n ir q 1 , . . . , q n yra matricu˛ Qe tA ir Q stulpeliai. Tada<br />
ϕ 1 = e tλ1 q 1 ,<br />
.<br />
ϕ s1 =<br />
. (<br />
e tλ1<br />
. .<br />
ϕ n−sm+1 = e tλm q n−sm+1,<br />
.<br />
ϕ n =<br />
. (<br />
e tλm<br />
)<br />
t s 1 −1<br />
(s q 1−1)! 1 + . . . + tq s1−1 + q s1<br />
t sm−1<br />
(s m−1)! q n−s m+1 + . . . + tq n−1 + q n<br />
).<br />
Jeigu matrica A neturi kartotiniu˛ tikriniu˛ reikšmiu˛, t.y. s 1 = · · · = s n = 1, tai<br />
vektoriai<br />
ϕ i = e tλi q i , ∀i = 1, 2, . . . , n.<br />
Vektoriai ϕ i turi tokį patį pavidalą ir tuo atveju, kai matrica A turi kartotines tikrines<br />
reikšmes, tačiau kiekvieną kartotinę tikrinę reikšmę atitinkantis Žordano langelis yra<br />
diagonalus. Vektorius q 1 , . . . , q n galima rasti iš sąlygos<br />
AQ = QJ.<br />
Tegu Φ(t) yra (2.11) sistemos fundamentalioji matrica ir matricos A tikriniu˛ reikšmiu˛<br />
λ i realiosios dalys yra neigiamos. Tada galima rasti tokius teigiamus skaičius λ ir<br />
K, kad<br />
‖Φ(t)‖ ≤ Ke −tλ , ∀t ≥ t 0 . (2.14)<br />
Iš (2.13) formulės išplaukia, kad (2.11) sistemos evoliucijos operatorius<br />
Remiantis 2.5 teorema,<br />
ϕ t = e tA .<br />
det ϕ t = det e tA = e Tr tA = e t Tr A .<br />
Todėl (2.11) sistemos fazinis srautas {ϕ t } per laiką t keičia bet kokios figūros tūrį<br />
e t Tr A kartu. Pavyzdžiui, jeigu Tr A > 0, tai fazinis srautas bet kokį gretasienį<br />
transformuoja į didesnio tūrio gretasienį, o jeigu Tr A < 0, tai į mažesnio tūrio gretasienį.<br />
Tuo atveju, kai Tr A = 0, fazinis srautas bet kokį gretasienį transformuoja į to<br />
paties tūrio gretasienį. Iš (2.9) formulės išplaukia, kad evoliucijos operatoriu˛ visuma<br />
{ϕ t } yra erdvės R n tiesiniu˛ transformaciju˛ vienparametrinė grupė. Galima įrodyti ir<br />
atvirkščią teiginį. Tiksliau yra teisinga tokia teorema.<br />
2.7 teorema. Tegu {ϕ t } yra erdvės R n tiesiniu˛ transformaciju˛ vienparametrinė grupė.<br />
Tada egzistuoja toks tiesinis operatorius A : R n → R n , kad ϕ t = e tA , ∀t ∈ R.<br />
P a v y z d y s . Rasime sistemos<br />
ẋ 1 = x 1 + x 2 ,<br />
ẋ 2 = −x 1 + 3x 2