Brückler Zita Flóra. Lineáris rendszerek integrálása

Átírás

1 Eötvös Loránd Tudományegyetem Természettudományi Kar Brückler Zita Flóra Lineáris rendszerek integrálása BSc szakdolgozat Témavezető: Dr. Kovács Sándor Numerikus Analízis Tanszék Budapest, 2012

2 Köszönetnyilvánítás Ezúton szeretnék köszönetet mondani témavezetőmnek, Kovács Sándornak, hogy igényeim szerint mindig időt szakított rám, rendszeresen tanácsokkal, útmutatással látott el, és nem utolsó sorban segített leküzdeni a L A TEX okozta nehézségeket. Köszönet illeti édesapámat, aki a dolgozat utómunkáiban nyújtott segítséget. Szeretném megköszönni minden tanáromnak, akik az elmúlt három évben hozzájárultak a szakmai fejlődésemhez, illetve barátaimnak, szaktársaimnak, akiknek támogatására mindig számíthattam a nehéz helyzetekben. Budapest, május 25. Brückler Zita Flóra 1

3 Tartalomjegyzék 1. Bevezetés 3 2. Néhány lineáris differenciálegyenletre vezető példa Radiokarbonos kormeghatározás Tartályok A Leontyev-féle input-output-modell Farkas Miklós tanulási modellje Strogatz szerelmi ügyeket leíró modellje Alapvető ismeretek e ta kiszámításának különféle módszerei e ta számítása speciális struktúrájú mártixok esetén e ta számítása Jordan-blokkok segítségével e ta számítása interpoláció segítségével e ta számítása Putzer módszereivel e ta számítása Kirchner módszerével e ta számítása van Rootselaar módszerével e ta számítása Leonard módszerével e ta számítása Liz módszerével Alkalmazások e ta számítása A sajátértékeinek ismeretében e ta számítása A R 2 2 esetén A 2. fejezetben lévő példák megoldása Infinitezimális generátorok

4 1. Bevezetés Lineáris differenciálegyenletek a természet-, a társadalom- és a műszaki tudományok különféle területein fordulnak elő általában mindenütt, ahol fejlődési folyamatok (folytonos változások) leírására lineáris matematikai modelleket alkalmaznak. Ismeretes (vö. [6], [24] ill. [22]), hogy ha n N, I R nyílt intervallum, ill. A : I R n n és b : I R n folytonos függvények, akkor tetszőleges (τ, ξ) I R n esetén az ẋ = Ax + b, x(τ) = ξ (1.1) elsőrendű lineáris kezdetiérték-feladat teljes megoldása a { t } ϕ(t) := Φ(t) [Φ(τ)] 1 ξ + [Φ(s)] 1 b(s) ds τ (t I) (1.2) függvény, ahol a (reguláris) Φ mátrix a homogén rendszer (b(t) 0) egy alapmátrix a, azaz Φ = AΦ. Az (1.1) kezdetiérték-feladat megoldására kvadratúrával az n 2 esetben nincsen általános módszer. Fontos speciális eset az, ha az A együtthatómátrix funkcionálisan felcserélhető (vö. [23]), azaz ha a folytonosságon túl még az A(t)A(s) = A(s)A(t) (t, s I) (1.3) tulajdonság is teljesül. Ez utóbbi esetben van reményünk a teljes megoldás meghatározására, hiszen ekkor a homogén rendszer Cauchy-mátrix ára ( t ) Λ(t, τ) := Φ(t)[Φ(τ)] 1 = exp A(s) ds (t, τ I) (1.4) teljesül, ahol tetszőleges M R n n mátrix esetén exp(m) jelöli az M mátrix exponenciálisát: exp(m) := τ (1/k!)M k. (1.5) Mivel exp(m) invertálható, sőt [exp(m)] 1 = exp( M), így például n = 1 esetén (1.2) a ϕ(t) = [ ξ + t τ ( b(s) exp s τ ) ] ( t ) A(σ) dσ ds exp A(s) ds τ 3 (t I) (1.6)

5 alakba írható. Konstans együttható-mátrix, azaz A(t) A R n n esetén a Cauchy-mátrix nem más, mint Λ(t, τ) = exp((t τ)a) (t, τ I), (1.7) így (1.2) a ϕ(t) = exp((t τ)a)ξ + alakba írható. t τ exp((t s)a)b(s) ds (t I) (1.8) Akármilyen egyszerűek is ezek az egyenletek, a lineáris rendszerek elméletének alkalmazása igen sokrétű. Alapvető szerepük van bizonyos fizikai, műszaki, biológiai ill. közgazdaságtani folyamatok leírásában és vizsgálatában, de felhasználási területük kiterjed szinte az összes tudományágra. Sőt, a matematika más területein is gyakran adódik olyan feladat, amelynek megoldása lineáris differenciálegyenletek megoldására vezethető vissza. A dolgozatban az állandó együtthatós lineáris differenciálegyenletek megoldásakor fellépő, mátrix-exponenciális kiszámítására vonatkozó különféle módszerek bemutatására kerül sor, példákon szemléltetve azok kiszámíthatóságának gyorsaságát. Több, méltatlanul a feledés homályába veszett módszer van, ami bizonyos esetekben gyakorlati szempontból több haszonnal bír, mint a hagyományosan tárgyalt Jordan-blokkos ill. interpolációs módszer. A második fejezetben bemutatunk néhány lineáris differenciálegyenletre vezető (általunk érdekesnek tartott) példát. A harmadik fejezetben bevezetjük a használt jelöléseket, definíciókat, illetve áttekintünk néhány alapvető eredményt, amelyekre a későbbiekben támaszkodunk. A negyedik fejezetben a mátrix-exponenciális kiszámítására vonatkozó módszereket tárgyaljuk. A hagyományos módszerek ismertetésén túl hat módszert mutatunk be, publikálásuk szerinti időrendi sorrendben. Az utolsó fejezetben explicit képletet adunk e ta -ra először a sajátértékek, majd 2 2-es esetben a mátrix elemeinek ismeretében. Megoldjuk a 2. fejezetben ismertetett példákat, végül pedig egy, a sztochasztika területén felmerülő alkalmazást vizsgálunk. 4

6 2. Néhány lineáris differenciálegyenletre vezető példa 2.1. Radiokarbonos kormeghatározás Egy nemrég kivágott fa megfelelően előkészített darabjának a szén-14 izotóptól származó aktivitása 15 beütés/óra volt. Egy ugyanolyan tömegű, azonos módon előkészített régi fadarabot vizsgálva a beütésszám óránként csupán 8.5 volt. A méréseket 1971-ben végezték. A második fadarab Szenofern fáraó koporsójának töredéke volt. Igazolható-e a történészek azon feltevése, hogy a fáraó i. e és 2550 között halhatott meg? 2.2. Tartályok Két tartályt kapcsolunk össze, úgy, hogy a közöttük lévő csatornákon folyadék áramlik át az egyikből a másikba, az 1. ábrán látható módon. 1. ábra. A két tartály összekapcsolása. Tegyük fel, hogy a bal oldali tartályban kezdetben 10 gallon sós víz van, amiben 2 font sót már korábban feloldottunk, a jobb oldali tartályban pedig 10 gallon tiszta víz van. A két tartály között a következő módon áramlanak az oldatok: percenként 4 gallon a bal oldaliból a jobb oldaliba és 1 gallon a jobb oldaliból a bal oldaliba. Kívülről a bal oldali tartályba oldatot öntünk 3 gal/min sebességgel, amely 1 font sót tartalmaz gallononként. A jobb oldali tartályból ugyanilyen sebességgel áramlik ki az oldat. Jelölje y b (t) ill. y j (t) 5

7 a só mennyiségét a bal ill. a jobb oldali tartályban a t [0, + ) időpontban. só mennyiségének változását adja meg, ami természetesen a beáramló és a kiáramló só mennyiségének előjeles összege. A bal oldali tartályba kívülről 3 gal/min sebességgel 1 font/gal koncentrációjú oldat áramlik, azaz 3 font só érkezik percenként; a jobb oldali tartályból 1 gal/min sebességgel érkezik a jobb oldali tartálynak megfelelő koncentrációjú oldat, ez a koncentráció pedig y j(t) font/gal. A bal oldali tartályból kifelé csak a jobb 10 oldali tartályba áramlik oldat, mégpedig a bal oldali tartálynak megfelelő koncentrációval ami y b(t) font/gal és 4 gal/min sebességgel. Ez a mennyiség a jobb oldali tartálynál 10 a beáramló összetevő lesz. A jobb oldali tartálynál tehát még a kiáramló oldatot kell vizsgálnunk, ami a tartály koncentrációjának megfelelő oldat lesz, és amely áramlási sebessége 3 gal/min. Ezekből tehát a 10ẏ b (t) = 4y b (t) + y j (t) ẏ j (t) = 4y b (t) 4y j (t), rendszer ill. az y b (0) = 2 és y j (0) = 0 a kezdeti feltétel adódik (vö. [2]). ẏ b a (t [0, + )), (2.9) 2.3. A Leontyev-féle input-output-modell Tegyük fel, hogy valamely gazdaság n ( N) szektorból áll, mindegyik szektor egyféle árut állít elő (vö. [10]). Az i-edik termék a ij -ed része szükséges egységnyi j-edik áru előállításához, és az i-edik áru b ij -ed része szükséges a j-edik szektorban egy egységnyi termelékenység növekedéséhez. Nyilvánvaló, hogy a ij [0, 1], b ij [0, 1] (i, j {1,..., n}). (2.10) Jelölje az y(t) R n vektor a végső felhasználási célt, x i (t) pedig az i-edik áru mennyiségét a t [0, + ) időpontban. Gazdasági megfontolásokból az i-edik áruból annyit kell termelni, hogy kielégítse az összes áru előállításához az x i -ből szükséges közbülső keresletet, ami a következőképpen fejezhető ki: n a ij x j ; i=1 6

8 fedezze azt a szükségletet, amellyel az i-edik szektor hozzájárul az összes szektor termelékenységének növeléséhez, ami n i=1 b ij dx j dt ; biztosítsa az y i (t) végső felhasználási szintet. Tehát minden t [0, + ) időpontban az x i mérlegnek: függvényre teljesülnie kell az alábbi x i (t) = n a ij x j (t) + i=1 n i=1 b ij dx j dt (t) + y i(t) (i {1,..., n}). Bevezetve az A := [a ij ] n,n i,j=1, B := [b ij] n,n i,j=1 mátrixokat, az (időfüggő) x := (x 1,..., x n ) T ill. az y := (y 1,..., y n ) T oszlopvektorokra ekkor adódik. det(b) 0 esetén ez azzal egyenértékű, hogy x = Ax + B dx j dt + y (2.11) ẋ = B 1 (E n A)x B 1 y. (2.12) 2.4. Farkas Miklós tanulási modellje Valamely, egyszerre több tárgyat tanuló diák tanulásának időbeli folyamatát leíró determinisztikus, dinamikai modell található [5]-ben, amely az elsajátított anyag mennyiségének, illetve a tanulás intenzitás-változásának időtől való függését írja le. Jelöljük t-vel azt az időt, amelyet valamely időponttól, például t = 0-tól (a tanulmányok megkezdésének időpontjától) mérünk. A vizsgált időintervallum lehet I := [0, + ), ha a diák teljes élete folyamán folytatjuk a megfigyelést, vagy I := [0, T ] (T > 0), ha csak egy konkrét intervallumot, például egy szemesztert vizsgálunk. x k -val jelöljük a diák tudásmennyiségét a k-adik tárgyból (ezt mérhetjük például oldalszámban), ahol k {1, 2,..., n} (a diák n 2 számú tárgyat tanul). Ekkor az összes tárgyból a diák tudásmennyiségét az x(t) = (x 1 (t),..., x n (t)) T (t I) oszlopvektor, a diák tudásmennyiség-vektor a jellemzi. Ennek deriváltja, az ẋ vektor, amit a tanulás 7

9 intenzitásának nevezünk, a tudásmennyiség időegység alatti megváltozását jelenti. Ha a diák a k-adik tárggyal foglalkozik a t időpillanatban és az i-edik tárggyal pedig nem, akkor ẋ k majdnem mindig pozitív, míg ẋ i negatív, hiszen a diák felejt. Az ẍ vektort a tudás gyorsulásának nevezzük. Jelölje b i > 0 a diák terhelhetőségét az i-edik tárgyban. Tehát b i az a maximális intenzitás, amit a diák akkor ér el, ha csak az i-edik tárgyat tanulja, a többit nem. A b i terhelhetőség nagy, ha a diák szereti, könnyűnek érzi az adott tárgyat, vagyis b i értéke a tárgytól ill. a diák képességeitől, körülményeitől függ. Feltételezzük, hogy ez az érték a vizsgált időszak folyamán állandó. A b := (b 1,..., b n ) T oszlopvektort a diák ún. terhelhetőségi vektor ának nevezzük. Bevezetjük az A = [a ik ] mátrixot (i, k {1, 2,..., n}): a tárgyak relatív disszipációmátrix át. A mátrix i-edik sorának k-adik eleme azt adja meg, hogy a k-adik tárgy egységnyi intenzitású tanulása mennyire csökkenti a diák terhelhetőségét az i-edik tárgyban. Ha a k-adik tárgynak az i-edikre vonatkoztatott relatív nehézségi fokát a b i /b k hányadossal értelmezzük, akkor a ik =: r ik b i b k (i k), (2.13) ahol 0 < r ik < 1, r ik = r ki, és az r ik tényező az i-edik és a k-adik tárgy rokonságát méri, vagyis azt, hogy mennyire nem üdítő az i-edik tárggyal való foglalkozásról a k-adikra áttérni. A k-adik tárgy egységnyi intenzitással való tanulása ugyanebben a tárgyban a terhelhetőséget eggyel csökkenti, így a kk = 1 (k {1,..., n}). Tanulmányozzuk a szabadon tanuló diák modelljét. A diákot akkor nevezzük szabadon tanulónak, ha nem éri külső kényszer a tanulás időszaka alatt, például feleltetés, röpdolgozat, stb. A fenti jelölésekkel ekkor: ẍ = b Aẋ. (2.14) Mivel itt a tudásmennyiség-vektornak csak a második és első deriváltja szerepel, ezért (2.14) nem más, mint ẏ = b Ay. (2.15) 8

10 y i-edik komponensére n ẏ i = b i a ik y k (i {1,..., n}). (2.16) k=1 Ha a diák egyetlen tárgyat tanul, az azt jelenti, hogy a tanulás intenzitása annak az i-edik tárgynak a kivételével zérus, azaz y k = 0 (k i). Ekkor ẏ i = b i y i. (2.17) Látható tehát, hogy a tanulás intenzitása a b i értékig növelhető. Ha ui. tovább növelnénk, a deriváltja negatív lenne, azaz az intenzitás csökkenne. Amennyiben a többi tárgyat is tanulja, akkor az intenzitás nem érheti el a maximális b i értéket, mivel az A mátrix pozitív elemű, és így a (2.17) egyenlet jobb oldalából további pozitív tagokat vonunk le: a derivált már valamilyen b i -nél kisebb y i értékre zérus lesz Strogatz szerelmi ügyeket leíró modellje Egy könnyedebb példaként modellezhetjük Rómeó és Júlia szerelmének változását az idő függvényében, feltételezve persze, hogy Shakespeare drámájával ellentétben tragikus haláluk nem következik be. Tegyük fel, hogy a t = 0 pillanatban találkoztak először. Jelölje R(t) Rómeó Júlia iránti érzelmeit a t időpontban, illetve J(t) Júlia érzelmeit Rómeó iránt (t [0, + )). Természetesen ezek pozitív értéke szerelmet, zérus értéke semlegességet, negatív értéke nem szeretést jelent. Az alábbi három esetben (vö. [12]) arra keressük a választ, hogy miként lehet leírni Rómeó és Júlia kapcsolatának változását. Elsőként tekintsük a következő (nem túl ideális) esetet. Rómeó nehéz természetű: amikor Júlia szereti őt, akkor Rómeó kezdi kevésbé szeretni Júliát, ha viszont Júlia kevésbé érdeklődik iránta, akkor Rómeó egyre jobban kezdi szeretni Júliát. Júlia viselkedése ennél érthetőbb: ha Rómeó szereti Júliát, akkor Júlia egyre szerelmesebb lesz Rómeóba, de kezd barátságtalanabb lenni, ha Rómeó nem szereti őt. A szituációt leíró differenciálegyenlet-rendszer a következő: Ṙ = aj, J = br, (2.18) ahol a, b > 0 az adott körülmények alapján meghatározható paraméterek (vö. [21]). 9

11 Az előző esetből tanulva, Júlia változtat a hozzáállásán, és csökkenti az érzelmi reakcióit. A modellben ez azt jelenti, hogy a második egyenlet jobboldala még egy cj-s taggal is kibővül, ahol c < 0 az adott körülmények alapján meghatározható paraméter. Például Ṙ = 0.2J, J = 0.8R 0.1J. (2.19) A harmadik esetben Rómeó jobban el tudja fogadni Júlia szerelmét, azaz csak akkor csökken Júlia iránti szerelme, ha Júliáé nagyon erős (például J > 2), Júlia pedig kontrollálja érzelmeit úgy, hogy csak akkor nőjön a Rómeó iránti szerelme, ha Rómeóé nagyon erős (például R > 2). Ekkor a következő rendszert kapjuk: Ṙ = 0.2(J 2), J = 0.8(R 2). (2.20) 10

12 11 3. Alapvető ismeretek Az (n n)-es mátrixokra ill. a K n -beli vektorokra a következő jelöléseket fogjuk használni: [ ] T A K n n, A = [a ij ], ill. x = (x 1,..., x n ) K n, x = x 1... x n (K jelöli a valós ill. a komplex számok halmazát: K := R ill. K := C). O ill. E n jelöli a K n n -beli nullmátrixot ill. az egységmátrixot. Az A mátrix σ(a) spektrumának elemei (A sajátérték einek halmaza) a χ A karakterisztikus polinom gyökei: χ A (z) := det(ze n A) = ( 1) n λ σ(a) χ A (λ) = 0, ahol r (λ k z) n k (z K), (3.21) k=1 itt λ k jelöli a különböző sajátértékeket, és r n k = n, k=1 r n k λ k = sp(a), k=1 r k=1 λ n k k = det(a). n k a λ k sajátérték multiplicitása, pontosabban az algebrai multiplicitása, amelyet a következőkben a λk jelöl. χ A a következő formában is felírható n χ A (z) = z n + r=1( 1) r det (A i ) z n r (z K), (3.22) i =r ahol tetszőleges r {1,..., n} és i := (i 1,..., i r ) N r, 1 i 1 < i 2 <... < i r n multiindex esetén legyen, i := r ill. A i := [a ik i l ] r k,l=1. Az n = 2 és n = 3 speciális esetekben χ A a következő alakú χ A (z) = z 2 sp(a)z + det(a) (z K) és χ A (z) = z 3 sp(a)z 2 + sp(a )z det(a) (z K), (3.23) ahol A az A asszociáltja. A λ sajátértékhez tartozó Ker ((A λe n )) := {x K n : (A λe n )x = 0} sajátaltér dimenziója adja a λ sajátérték g λ geometriai multiplicitását, amely nem lehet nagyobb az algebrai multiplicitásnál: 1 g λ a λ. Egyenlőség pontosan akkor áll fenn, ha λ k egyszeres gyöke A minimálpolinomjának, azaz annak a legkisebb fokú polinomnak, amelyet A annullál: µ A (A) = O. A g λ geometriai multiplicitás a g λ + ρ λ = n, (3.24)

13 formulából kapható meg, ahol ρ λ jelöli a λe n A mátrix rangját. A pontosan akkor diagonalizálható (A = BDB 1, ahol D diagonális), ha minden sajátértékének algebrai és geometriai multiplicitása megegyezik. A h vektort az A mátrix λ sajátértékéhez tartozó (jobboldali) k-adrendű fővektor ának (k = 1 esetén sajátvektor ának) nevezzük, ha (A λe n ) k h = 0 és (A λe n ) k 1 h 0 teljesül. Ezek a vektorok rekurzívan az alábbi módon számíthatók: (A λe)h 1 = 0, (A λe n )h i+1 = h i (i {1,..., k 1}). (3.25) Ha λ az A k-szoros sajátértéke (a λ = k), akkor van k-darab lineárisan független fővektor: dim ( (A λe n ) k) = k. Különböző sajátértékekhez tartozó fővektorok bázist alkotnak R n -ben ill. C n -ben (attól függően, hogy a sajátérték valós-e ill. komplex-e, utóbbi esetben a fővektorok valós ill. képzetes részéből áll a bázis). A fővektoroknak ez a tulajdonsága fontos következménnyel bír A karakterisztikus polinomjával kapcsolatban: χ A ui. az χ A (A) = A n + c n 1 A n c 1 A + c 0 E n, (3.26) alakba írható, ahol a c k (k {0,..., n 1}) együtthatók a (3.22)-beli számok, viszont χ A (A) a következő alakú: r χ A (A) = (A λ k E n ) n k (3.27) k=1 (vö. (3.21)). Így minden h fővektor esetén χ A (A)h = 0. Mivel ezek bázist alkotnak, ezért tetszőleges x K n esetén χ A (A)x = 0. Beláttuk tehát, hogy teljesül a 3.1. Tétel. (Cayley-Hamilton-tétel.) Minden négyzetes mátrix annullálja karakterisztikus polinomját: χ A (A) = O. Ezt a tételt több, a mátrix-exponenciális függvény kiszámítására irányuló módszer használja. A mátrixexponenciális definíciójából (vö. (1.5)) viszonylag egyszerűen vezethetők le az alábbi tulajdonságok: 12

14 3.2. Tétel. Ha A, A 1,..., A r, B, M olyan mátrixok, amelyekre det(m) 0, akkor 1) e O = E n, 2) [A, B] = O = e A e B = e A+B, ahol [A, B] := AB BA, 3) ( e A) 1 = e A, 4) e A = Me M 1AM M 1 ill. e M 1AM = M 1 e A M, 5) A = diag {A 1,..., A r } = e A = diag { } e A 1,..., e Ar. (3.28) Bizonyítás: Kiindulva az (1.5)-beli definícióból kapjuk, hogy 1) e O O ν O ν = = E n + = E n + O = E n ; ν! ν! ν=0 ν=1 2) Mivel [A, B] = O, ezért alkalmazható a binomiális tétel, azaz (A + B) ν = ν i=0 ( ) ν A i B ν i = i ν i=0 ν! i!(ν i)! Ai B ν i (ν N 0 ), így e A+B = (A + B) ν ν=0 ν! = { ν } 1 i!(ν i)! Ai B ν i = ν=0 i=0 = { ν ν=0 i=0 A i i! } ( B ν i = (ν i)! ν=0 ) ( A ν ν! ν=0 ) B ν = ν! = e A e B. 3) Mivel [A, A] = O, ezért 2) ill. 1) egyszerű következménye, hogy e A e A = E n, azaz ( e A ) 1 = e A. 4) Teljes indukcióval könnyen belátható, hogy (MAM 1 ) ν = MA ν M 1 (ν N 0 ), így e M 1 AM = ν (MAM 1 ) ν ν=0 ν! = ν MA ν M 1 ν=0 ν! = M ( ν ν=0 ) A ν M 1 = Me A M 1. ν! 13

15 5) Ha A = diag {A 1,..., A r }, akkor e A (diag {A 1,..., A r }) ν = ν! ν=0 = ν=0 ( { }) A ν diag 1 ν!,..., Aν r = ν! = diag { ν=0 A ν 1 ν!,..., ν=0 A ν r ν! } = diag { e A 1,..., e Ar }. A későbbiekben használni fogjuk az alábbi tételben megfogalmazott állítást Tétel. A Φ(t) := e ta (t R) mátrix-exponenciális függvény az Y (n) + c n 1 Y (n 1) + + c 1 Ẏ + c 0 Y = 0, Y (0) = E n, Ẏ (0) = A, Ÿ (0) = A 2,..., Y (n 1) (0) = A n 1 kezdetiérték-feladat egyetlen megoldása, ahol a c k (k {0,..., n 1}) számok az A mátrix χ A karakterisztikus polinomjának együtthatói (vö. (3.22)). Bizonyítás: Világos, hogy ha Ψ 1 és Ψ 2 megoldása a fenti kezdetiérték-feladatnak, akkor a Ψ := Ψ 1 Ψ 2 is az. Ezért Ψ megoldása az x (n) + c n 1 x (n 1) + + c 1 ẋ + c 0 x = 0, x(0) = x (0) =... = x (n 1) (0) = 0 kezdetiérték-feladatnak, amiről tudjuk, hogy az x(t) 0 egyértelmű megoldása, így Ψ 1 = Ψ 2. A Φ(t) := e ta (t R) mátrix-exponenciális függvényre Φ (t) = Ae ta, Φ (t) = A 2 e ta,..., Φ (n 1) (t) = A n 1 e ta (t R), ezért egyrészt Φ(0) = E n, Φ (0) = A, Φ (t) = A 2,..., Φ (n 1) (t) = A n 1, másrészt pedig a Cayley-Hamilton-tétel (vö tétel) következtében Φ (n) (t) + c n 1 Φ (n 1) (t) c 1 Φ (t) + c 0 Φ(t) = = (A n + c n 1 A n c 1 A + c 0 E n ) e ta = χ A (A)e ta = O. 14

16 Ha f analitikus függvény, azaz alkalmas R > 0, a ν R (ν N 0 ) esetén f(z) := a ν z ν (z U R (0)), ahol U R (0) := {z K : z < R}, (3.29) ν=0 akkor az f(a) mátrixfüggvényt az s ν (z) := ν a k z k (z U R (0), ν N 0 ) (3.30) részletösszeg-sorozat határértékeként értelmezzük, amennyiben a sor konvergál. 15

17 4. e ta kiszámításának különféle módszerei 4.1. e ta számítása speciális struktúrájú mártixok esetén A következő mátrix esetében az (1.5) definíció szerint számolható a mátrix-exponenciális, ui. olyan egyszerű struktúrával rendelkezik, ahol a hatványok indukcióval megsejthetők. Legyen A := Ha kiszámítjuk az első pár hatványt, akkor látható, hogy ( 1) ν 0 0 A ν = ( 1) ν+1 ν ( 1) ν 0 (ν N 0). ( 1) ν (ν 1) ( 1) ν+1 0 A mátrixexponenciális definíciójának megfelelően e ta a következőképpen számítható: 1 + ( t) ν 0 0 ν=1 ν! e ta t ν = E 3 + ν! Aν = ( t) ν 1 + ( t) ν 0 (ν 1)! ν! = ν=1 ν=1 ν=1 ( t) ν (ν 1) ( t) ν 1 ν! ν! ν=1 ν=1 = e t 0 0 te t e t 0 te t (e t 1) 1 e t 1 (t R) e ta számítása, ha A nilpotens, diagonális ill. projektor-mátrix Ha N (ν-indexű) nilpotens mátrix, akkor minden ν-nél nem kisebb hatványa a zérusmátrix, így e tn = ν 1 t k k! N k (t R). 16

18 így Ha D diagonális mátrix, ahol D = diag{d,..., d}, akkor D k-adik hatványára: e td = k=1 D k = d k E n (k N 0 ), t k k! Dk = t k d k E n = e dt E n (t R). (4.31) k! Ha P projektor-mátrix, azaz P 2 = P, akkor minden k N esetén P k = P, így ( e tp t k ) = E n + k! P k t k = E n + P = E n + (e t 1)P (t R). k! k= e ta számítása, ha A 2 = κe n ill. A 3 = τa A következő struktúrájú mátrixok esetében is könnyen kiszámítható a mátrixexponenciális (vö. [3]): ha A 2 = κe n (0 κ C), akkor e ta = cosh ( κt ) E n + sinh ( κt) κ A (t R), (4.32) ha A 3 = τa (0 τ C), akkor e ta = E n + sinh ( τt) A + cosh ( τt) 1 A 2 τ τ (t R), (4.33) ugyanis pl. az első esetben A 2ν = κ ν E n ill. A 2ν+1 = κ ν A (ν N), így azt kapjuk, hogy (ta) ν ν=0 ν! = µ=0 (ta) 2µ (2µ)! + µ=0 (ta) 2µ+1 (2µ + 1)! = = µ=0 ( κt) 2µ E n + (2µ)! µ=0 ( κ) 2µ t 2µ+1 A κ κ (2µ + 1)! (t R). A (4.33)-beli állítás is hasonlóan (egyszerűen) bizonyítható be Példa. Ha A egy (3 3)-as valós antiszimmetrikus mátrix, azaz 0 a b A := a 0 c b c 0 (4.34) 17

19 ahol a, b, c R: a 2 + b 2 + c 2 > 0, akkor pl. (4.33) jól használható, ui. ha n páratlan, akkor minden antiszimmetrikus (n n)-es mátrix esetén det(a) = 0 és így χ A (z) = z 3 + (a 2 + b 2 + c 2 )z (z K) (vö. (3.23)), ahonnan (3.26) alapján az A 3 = τa egyenlőség következik, ahol τ := (a 2 + b 2 + c 2 ) 0. A (4.33) formulából így, ha ω := τ, akkor tetszőleges t R esetén e ta = E 3 + sinh ( τt) A + cosh ( τt) 1 A 2 = τ τ = E 3 + = E 3 + = E 3 + ( sinh ı ) τ t ı A + τ ( τ t ) ı sin ı A + τ ( cosh ı ) τ t τ ( τ t ) cos τ sin (ωt) 1 cos (ωt) A + A 2. ω ω 2 1 A 2 = 1 A 2 = 18

20 e ta számítása Jordan-blokkok segítségével Ebben a fejezetben egy, a mártixok felbontásán alapuló módszert mutatunk be. alapötlet az, hogy az A mátrixhoz olyan vele hasonló Az à mátrixot konstruálunk, amely segítségével a mátrix-exponenciális könnyebben számítható. Olyan reguláris B transzformációt keresünk tehát, amelyre A = BÃB 1. (4.35) A mátrix-exponenciális függvény így a következő módon számítható (vö. (3.28)): exp(ta) = B exp(tã)b 1 (t R). (4.36) (4.35) felírásához olyan B mátrixot keresünk, amelyre J := B 1 AB Jordanmátrix. Ebben az esetben J hasonló A-hoz. Ez A sajátértékeinek és a hozzá tartozó sajátvektorainak (szükség esetén fővektorainak) meghatározásával érhető el. Minden sajátérték esetében Ker ((A λe n ) r ) egy bázisát kell meghatározni, ahol ezen részbázisok segítségével kapjuk K n egy bázisát. A sajátvektorok (ill. fővektorok) mátrixba rendezésével kaphatjuk meg a kívánt transzformációt. A (4.36)-beli formula felírásához Jordan-mátrixok exponenciálisának felírására lesz szükség. Ezt úgy érjük el, hogy felhasználjuk (4.31)-et és (3.28)-at, majd minden egyes blokkot J = N + D alakba írunk, ahol N és D egymással felcserélhető nilpotens ill. diagonális mátrixok, amelyekre exp(n D) = exp(n) exp(d) teljesül. Így e ta (t R) kiszámításának Jordan-felbontáson alapuló módszerének lépései a következők: 1. lépés. Meghatározzuk A karakterisztikus polinomját, majd sajátértékeit. 2. lépés a λ > 1 esetén kiszámítjuk az A λe n karakterisztikus mátrix ρ λ rangját és a (3.24) formula felhasználásával meghatározzuk a g λ geometriai multiplicitást. 3. lépés Kiszámítjuk a λ sajátértékhez tartozó sajátvektort (ha szükséges a λ g λ számú fővektort). 4. lépés Az így kapott vektorokat egy B mátrix oszlopvektorainak tekintve (komplex sajátértékek esetén a komplex saját- ill. fővektorok valós és képzetes része külön oszlopnak tekintendő) kiszámítjuk B 1 -t ill. J := B 1 AB-t.

21 5. lépés A B 1 AB = diag {J 1,..., J k } felírásban azonosítjuk a J 1,..., J k Jordan-blokkokat, majd minden k {1,..., n} esetén felírjuk az e tj k mátrixot. 6. lépés Kiszámítjuk e ta -t: e ta = B diag { e tj 1 },..., e tj k B 1 (t R). A fenti eljárást szemléltetik az alábbi példák Példa. Kétdimenziós esetben, azaz ha A R 2 2, J az alábbi három mátrix valamelyike lehet: ui. 1) J = λ 0 0 µ 2) J = λ 1 0 λ 3) J = α β β α 1) ha σ(a) = {λ, µ} és A-nak két lineárisan független sajátvektora van: s, t (lehet λ = µ is), akkor a B := [s, t] mátrixszal: J = B 1 AB = B 1 A[s, t] = B 1 [As, At] = B 1 [λs, µt] =, = 1 s 1 t 2 s 2 t 1 t 2 t 1 s 2 s 1 λs 1 µt 1 λs 2 µt 2 = λ 0 0 µ ; 2) ha σ(a) = {λ} és rang(a λe 2 ) = 1, azaz A-nak egy sajátvektora: s, és egy másodrendű fővektora van: t, azaz At = s + λt, akkor a B := [s, t] mátrixszal: J = B 1 AB = B 1 A[s, t] = B 1 [As, At] = B 1 [λs, s + λt] = = 1 s 1 t 2 s 2 t 1 t 2 t 1 s 2 s 1 λs 1 s 1 + λt 1 λs 2 s 2 + λt 2 = λ 1 0 λ ; 20

22 3) ha σ(a) = {α + ıβ, α ıβ} (α, β R : β 0) és A megfelelő sajátvektorai: s = u + ıv és t = u ıv, ahol u, v R 2, akkor a B := [u, v] mátrixszal: J = B 1 AB = B 1 A[u, v] = B 1 [Au, Av] = B 1 [αu βv, βu + αv] = = 1 u 1 v 2 u 2 v 1 v 2 v 1 u 2 u 1 αu 1 βv 1 βu 1 + αv 1 αu 2 βv 2 βu 2 + αv 2 = = α β. β α Ha B := [v, u], akkor J = B 1 AB = α β Az ilyen J mátrix esetén e tj a következő módon számítható ki: Ha J := λ 0, akkor teljes indukcióval azt kapjuk, hogy J ν = λν 0 0 µ 0 µ ν β α. (ν N 0 ), és így e tj = Ha J := ν=0 t ν λν 0 ν! 0 µ ν λ 1 0 λ = = (λt) ν ν=0 + 0 ν! λ 0 0 λ 0 (µt) ν ν=0 ν! = eλt 0 0 e µt (t R). =: N + D, ahol ND = DN, akkor (4.37) (3.28) következtében e tj = e t(n+d) = e tn e td (t R). Mivel N nilpotens és D diagonális, ezért e tn = E 2 +tn = Tehát t e tj = 1 t eλt 0 0 e λt = 1 t ill. e td = 0 1 = e λt 1 t 0 1 eλt 0 0 e λt (t R). (t R). (4.38) 21

23 Ha J = α β β α = α 0 0 α + 0 β β 0 =: A + B, ahol AB = BA, akkor (3.28) következtében e tj = e t(a+b) = e ta e tb.világos, hogy e ta = e αt E 2 és β2k 0 (ν = 2k) 0 β 2k B ν = ( 1) k 0 β 2k+1 (ν = 2k + 1) β 2k+1 0 Tehát e tj = e αt ( 1) k t 2k (2k)! β2k 0 0 β 2k + ( 1) k t 2k+1 (2k + 1)! (k N 0 ). 0 β 2k+1 β 2k+1 0 = = e αt cos(βt) sin(βt) sin(βt) cos(βt) (t R). (4.39) Végül (3.28) felhasználásával e ta -t így számítjuk ki: e ta = Be tj B 1 (t R) Példa. Az mátrix determinánsára A := det(a) = det = 2, (4.40) így A karakterisztikus polinomja: χ A (z) = z 3 4z 2 + 5z 2 = (z 1) 2 (z 2) (z K) 22

24 (vö. (3.23)) és a 1 = 2, a 2 = 1. Mivel rang(e 3 A) = rang = rang = 2, (4.41) és (3.24) alapján g 1 = 3 2 = 1, ezért az 1 sajátértékhez egy sajátvektort és egy fővektort és a 2 sajátértékhez egy sajátvektort kell keresni. Az 1 sajátértékhez tartozó sajátvektor meghatározásához egy A E 3 együttható-mátrixú homogén lineáris egyenletrendszert kell megoldani: u 1 u 2 u 3 0 = 0. 0 Ennek az egyenletrendszernek egydimenziós megoldástere van, amelyet pl. az u := (1, 1, 0) vektor feszít ki. Az (A E)h = u, azaz a h h 2 = inhomogén egyenletrendszer megoldásával kapjuk meg a h = (0, 0, 1) fővektort. A 2 sajátértékhez tartozó sajátvektor a következő lineáris egyenletrendszer nemtriviális megoldásaként kapható: v 1 v 2 v 3 h = 0, azaz pl. v = Az így kapott u, v sajátvektorokból és a h fővektorból elkészítjük a B := [u, h, v] = mátrixot, melynek inverze B 1 =

25 A J := B 1 AB = mátrix olyan Jordan-mátrix, amelyben a sajátvektorok ill. következő blokkok ismerhetők fel: J 1 := és J 2 := [2]. a fővektor sorrendjében a (3.28) ill. (4.38) következtében ezen blokkok exponenciálisa exp (tj 1 ) = e t 1 t és exp (tj 2 ) = [ e 2t] (t R), 0 1 így Ezért e t te t 0 exp (tj) = diag {exp (tj 1 ), exp (tj 2 )} = 0 e t e 2t e ta = Be tj B 1 = e t te t te t te t e t e 2t te t te t + e 2t te t e t e 2t e t + e 2t e t (t R). (t R). (4.42) 24

26 e ta számítása interpoláció segítségével Ebben a fejezetben olyan módszerről lesz szó, amely még J. J. Sylvester-től származik (vö. [20]), és amelynek részletes tárgyalása [19]-ben, ill. később [8]-ban, [4]-ben ill. [18]- ban is megtalálható. Mielőtt ezt megtennénk, ejtsünk egy pár szót polinomkról és az interpolációról. Tudjuk, hogy két polinom pontosan akkor egyenlő, ha minden együtthatójuk megegyezik. Tehát a polinomokat egyértelműen meghatározzák ez együtthatói. A Taylor-tétel következménye, hogy valamely p(z) := N a k z k (z K) polinom együtthatói lényegében a polinom deriváltjainak bizonyos helyen felvett értékei, azaz minden α R esetén p(z) = N b k (z α) k (z K), ahol b k = p (k) (α)/k! (k {0,..., N}). Világos, hogy a ϕ(a) := n a k z k függvény minden z K esetén folytonos, ui. ( a := (a0,..., a n ) R n+1) a k b k max { a k b k R : k {0,..., n}} a b (k {0,..., n}) következtében tetszőleges a, b R n+1 esetén ( n n n ) ϕ(a) ϕ(b) a k b k z k a b z k = z k a b. Ha (ϕ ν ) (ν N) a fenti függvények sorozata, akkor igaz a lim(ϕ ν ) = ϕ a (ν) k a k (ν ) (k {0,..., n}) (4.43) ekvivalencia. A Hermite-féle interpoláció lényege a következő: adott (páronként különböző) alappontokhoz ill. az x k K (k {1,..., r}, r N) y (l) k K (l {0,..., m k 1}, m 1,..., m r N) értékekhez olyan legfeljebb N-edfokú (N + 1 := amelyre r k=1 m k ) h polinomot kell meghatározni, h (l) (x k ) = y (l) k, (k {1,..., r}, l {0,..., m k 1}). (4.44)

27 Ennek a polinomnak az együtthatóit az N + 1 ismeretlent tartalmazó N + 1 egyenletből álló 1 x 1 x x N x 1... Nx N a 0 a 1. = y (0) 1 y (1) 1. (4.45) egyenletrendszer szolgáltatja. Az m k = 1 (k {1,..., r}) speciális esetben h a következő alakú: h(z) = r h(x k )L k (z), ahol L k (z) := k=1 r l=1 l k z x l x k x l (z K) (4.46) (Lagrange-interpoláció). Ha minden k {1,..., r} esetén y k = 1, akkor (4.46)-ból 1 = r L k (z) (z K) (4.47) k=1 következik. Így a következő tételt bizonyíthatjuk be Tétel. Ha az A mátrix minden sajátértéke különböző, azaz σ(a) = {λ 1,..., λ n }, akkor ahol e ta = L k (A) := n l=1 l k n e λkt L k (A) (t R), (4.48) k=1 A λ l E n λ k λ l (k {1,..., n}). Bizonyítás: (vö. [1]) Megmutatjuk, hogy a Φ(t) := n e λkt L k (A) (t R) k=1 függvény megoldása az Ẋ = AX, X(0) = E n (4.49) kezdetiérték-feladatnak. (4.49) megoldásának egyértelműsége miatt Φ(t) = e ta (t R). (4.47) miatt Φ(0) = n k=1 L k (A) = E n. Így már csak azt kell megmutatnunk, hogy 26

28 minden t R esetén Φ(t) = AΦ(t). Ez viszont a Cayley-Hamilton-tétel (vö tétel) következménye, ui. AΦ(t) Φ(t) = n n e λkt AL k (A) e λkt λ k L k (A) = k=1 k=1 n e λkt (A λ k E n )L k (A) = O (t R) k=1 mivel (A λ k E n )L k (A) = O (vö. (3.27)). Ennek a tételnek fontos következménye van az alkalmazások szempontjából: 4.5. Tétel. Ha az A mátrix minden sajátértéke különböző, azaz σ(a) = {λ 1,..., λ n }, akkor e ta = [ ] e λ1t s 1... e λnt s n (t R), (4.50) ahol s k az A λ k sajátértékhez tartozó (jobb oldali) sajátvektora: As k = λ k s k (k {1,..., n}). Bizonyítás: (vö. [7]) Az ismert tényből, miszerint egy homogén egyenlet alapmátrixát tetszőleges c R n vektorral szorozva a homogén egyenlet megoldását kapjuk, nyilvánvaló, hogy a ϕ 1 (t) := e ta s 1,..., ϕ n (t) := e ta s n (t R) függvények megoldásai az (1.1)-hez tartozó homogén rendszernek (b(t) 0), továbbá a Ψ(t) := [ e ta s 1... e ta s n ] (t R) mátrix reguláris, ui. az e ta és az [s 1... s n ] reguláris mátrixok szorzata. Így Ψ alapmátrix. Továbbá, mivel L k (A)s j = n l=1 l k A λ l E n λ k λ l s j = n l=1 l k As j λ l s j λ k λ l = n l=1 l k λ j s j λ l s j λ k λ l = = n l=1 l k λ j λ l λ k λ l s j = 0 (k j) s j (k = j) (j, k {1,..., n}), 27

29 ezért e ta s j = n e λkt L k (A)s j = e λjt s j (j {1,..., n}). k=1 Tegyük fel, hogy A spektruma valamely f analitikus függvény konvergenciahalmazának része: σ(a) U R (0) (vö. (3.29)), és tekintsük a h(z) := h N z N h 1 z + h 0 (z K) polinomot, ahol h (l) (λ k ) = f (l) k (λ k), (k {1,..., r}, l {0,..., m k 1}), (4.51) σ(a) = {λ 1,..., λ r } és λ k az A minimálpolinomjának m k -szoros gyöke (k {1,..., r}) ill. N := r k=1 m k 1. Mint ahogy azt említettük, az Hermite-féle interpolációs polinom pont egy ilyen polinom. Az ilyen h polinomra igaz a következő tétel Tétel. Ha az f analitikus függvény konvergenciahalmaza tartalmazza A összes sajátértékét, akkor a (3.30)-beli részletösszegek sorozata konvergens, azaz f(a) K n n, és f-et A spektrumán interpoláló fenti h polinomra f(a) = h(a). Bizonyítás: Maradékos osztással f minden s ν (vö. (3.30)) részletösszegéhez és a µ A minimálpolinomhoz található olyan q ν és r ν polinom, amelyekre s ν = µ A q ν + r ν és Grad(r ν ) < Grad(µ A ) = N (ν N 0 ). (4.52) Mivel λ k a µ A minimálpolinom m k -szoros gyöke, s ν l-edik deriváltjára: s (l) ν (λ k ) = r (l) ν (λ k ) (k {1,..., r}; l {0,..., m k 1}). Így (3.30)-ból ill. (4.51)-ból következik (vö. (4.43)), hogy ( lim r (l) ν (λ k ) ) = f (l) (λ k ) = h (l) (λ k ), azaz lim (r ν (z)) = h(z) (z K). (4.53) ν ν Mivel µ A (A) = O, ezért (4.52)-ból s ν (A) = r ν (A) (ν N 0 ) következik és (4.53) miatt lim (s ν(a)) = lim (r ν (A)) = h(a). ν ν 28

30 Az e ta (t R) mátrix-exponenciális függvény kiszámításához az egész síkon analitikus f(z) = e tz (z K) függvényt használjuk fel. Ebben az esetben e ta = h t (A) = h N (t)a N h 1 (t)a + h 0 (t)e n (t R), ahol h t f-et interpoláló polinom, amelynek együtthatói (4.51) következtében a tetszőleges t R esetén érvényes N j! (j l)! λj 1 k h j (t) = t l e λ kt j=l (k = 1,..., r; l = 0,..., m k 1) (4.54) egyenletrendszer megoldásai (N + 1 = r k=1 m k). Így e ta (t R) Hermite-interpoláción alapuló kiszámításának lépései a következők: 1. lépés. Meghatározzuk A karakterisztikus polinomját és sajátértékeit. 2. lépés. Meghatározzuk a (4.54)-beli h t polinomot. 3. lépés. Behelyettesítjük az A mátrixot h t -be: h t (A) = e ta. A következőkben a (4.40) és a (4.34) mátrixok esetében szemléltetjük ezt a módszert, hogy látható legyen, mennyi számolással jár Példa. Legyen A a (4.40)-beli mátrix. A 4.3. példából tudjuk, hogy karakterisztikus polinomja: χ A (A) = (z 1) 2 (z 2) (z K). Mivel csak egyetlen kétszeres sajátértéke van A-nak, ezért (4.41) következtében A nem diagonalizálható és 1 algebrai és geometriai multiplicitása nem egyezik meg, így a minimálpolinom azonos a karakterisztikus polinommal. Tehát olyan legfeljebb N = (2 + 1) 1 = 2-odfokú h t polinomot kell keresni, amelyre h t (1) = f(1), azaz h 2 (t) + h 1 (t) + h 0 (t) = e t, h t(1) = f (1), azaz 2h 2 (t) + h 1 (t) = te t, (t R). h t (2) = f(2), azaz 4h 2 (t) + 2h 1 (t) + h 0 (t) = e 2t Az első és a harmadik egyenletből kivonással e 2t e t = h 1 (t) + 3h 2 (t) (t R) adódik. Innen a második egyenlet figyelembevételével azt kapjuk, hogy e 2t e t te t = h 2 (t) (t R). 29

31 Ezért h 1 (t) = 2e t + 3te t 2e 2t és h 0 (t) = e 2t 2te t, ahonnan e ta = h 2 (t)a 2 + h 1 (t)a + h 0 (t)e 3 = {e 2t e t te t } {2e t + 3te t 2e 2t } {e2t 2te t } = = e t te t te t te t e t e 2t te t te t + e 2t te t e t e 2t e t + e 2t e t (t R), egyezően (4.42)-vel Példa. Legyen most A a (4.34)-beli antiszimmetrikus mátrix. Ekkor A sajátértékei: λ 1 = 0; λ 2 = ıω, λ 2 = ıω. Mivel minden sajátértéke egyszeres, A karakterisztikus polinomja egybeesik minimálpolinomjával. Olyan legfeljebb N = ( ) 1 = 2-odfokú h t polinomot kell keresni, amelyre h t (0) = f(0), azaz h 0 (t) = 1, h t (ıω) = f(ıω), azaz h 0 (t) + ıωh 1 (t) ω 2 h 2 (t) = e ıωt, (t R). h t ( ıω) = f( ıω), azaz h 0 (t) ıωh 1 (t) ω 2 h 2 (t) = e ıωt A második és a harmadik egyenletet összeadva azt kapjuk, hogy h 2 (t) = eıωt + e ıωt 2 = 2 cosh(ıωt) 2 2ω 2 2ω 2 = 1 cos(ωt) ω 2 és a második egyenlet figyelembevételével pedig tetszőleges t R esetén Így h 1 (t) = eıωt + ω 2 h 2 (t) 1 ıω e ta = h 2 (t)a 2 + h 1 (t)a + h 0 (t)e 3 = = cos(ωt) + ı sin(ωt) + 1 cos(ωt) 1 ıω 1 cos (ωt) A 2 + ω 2 sin (ωt) A + E 3 ω (t R), = sin(ωt). ω (t R). 30

32 e ta számítása Putzer módszereivel (3.26) ill. a 3.1. tétel következtében A minden n-nél nem nagyobb hatványa az E n, A,..., A n 1 mátrixok lineáris kombinációjaként írható: n 1 A ν = d νl A l (ν {0,..., n}), (4.55) l=0 ahol d νl R alkalmas együtthatók. Ekkor a mátrixexponenciális függvény a következő alakú: e ta = t ν ν Aν = ν=0 t ν ν ν=0 n 1 d νl A l = l=1 n 1 l=0 t ν ν d n 1 νla l = α l (t)a l (t R) (4.56) ν=0 l=0 ahol α l analitikus együtthatók (vö. [15]). A következőkben két egyszerű módszert mutatunk az α l (l N) együtthatók kiszámítására Putzer első módszere A [16] dolgozatában E. J. Putzer az α l (l N) együtthatók meghatározására ad eljárást a karakterisztikus polinom c k (k {0,..., n 1}) együtthatóinak és egy n-edrendű lineáris differenciálegyenlet megoldásának függvényében. Az x (n) + c n 1 x (n 1) c 1 ẋ + c 0 x = 0; x(0) = ẋ(0) =... = x (n 2) (0) = 0, x (n 1) (0) = 1 (4.57) kezdetiérték-feladat egy ϕ megoldása esetén értelmezzük a C és z mátrixot a következő módon: C := c 1 c 2... c n 1 1 c 2 c z := c n ϕ ϕ. ϕ (n 2) ϕ (n 1). (4.58)

33 Ekkor az α l (l N) együtthatókra igaz a következő 4.7. Tétel. Ha α := (α 0,..., α n 1 ) T, akkor α = Cz. Bizonyítás: Legyen n 1 Φ(t) := α l (t)a l (t R). (4.59) l=0 Megmutatjuk, hogy Φ megoldása az Ẋ = AX, X(0) = E n (4.60) kezdetiérték-feladatnak, ugyanis ekkor (4.60) megoldásának egyértelműsége miatt Φ(t) = e ta (t R). Világos, hogy Φ kielégíti az X(0) = E n kezdeti feltételt, ugyanis ϕ(0) = ϕ(0) =... = ϕ (n 2) (0) = 0-ból ill. ϕ (n 1) (0) = 1-ből az következik, hogy n 1 Φ(0) = α l (0)A l = α 0 (0)E n = E n l=0 (vö. (4.58)). Tehát már csak azt kell megmutatni, hogy Φ megoldása az Ẋ = AX mátrix-differenciálegyenletnek. (4.55)-ből ν = n, azaz d nl = c l esetén következik, hogy Φ(t) AΦ(t) = n 1 α l (t)a l A α l (t)a l = α 0 (t)e n + α 1 (t)a α n 1 (t)a n 1 l=0 l=0 ( ) n 1 α 0 (t)a α 1 (t)a 2... α n 1 (t) c l A l = n 1 n 1 = [ α 0 (t) + c 0 α n 1 (t)] E n + [ α l (t) α l 1 (t) + c l α n 1 (t)] A l (t R). Így tehát Φ = AΦ pontosan akkor teljesül, ha az α l (l N) együtthatókra 1) α 0 (t) = c 0 α n 1 (t) (t R), 2) α l (t) = α l 1 (t) c l α n 1 (t) (t R) (l {1,..., n 1}). l=1 l=0 Az α = Cz egyenlőség l-edik komponense α l = n l 1 k=1 c k+l ϕ (k 1) + ϕ (n l 1) (l {0,..., n 1}), 32

34 tehát α l = n l 1 c k+l ϕ (k) + ϕ (n l). (4.58)-ból nyilvánvalóan α n 1 = ϕ következik, ezért k=1 α l + c l α n 1 = n l 1 ami (4.57) miatt az l = 0 speciális esetben c k+l ϕ (k) + ϕ (n l) (l {0,..., n 1}), n 1 α 0 + c 0 α n 1 = c k ϕ (k) + ϕ (n) = 0 alakú, ami igazolja 1)-et. 2) pedig azért igaz, mert teljesül. α l 1 = n l 1 c k+l ϕ (k) + ϕ (n l) = α l + c l α n 1 (l {1,..., n 1}) Így e ta (t R) Putzer első módszerén alapuló kiszámításának lépései a következők: 1. lépés. Meghatározzuk A karakterisztikus polinomját és sajátértékeit. 2. lépés. Megoldjuk a (4.57)-beli n-edrendű lineáris differenciálegyenletet. 3. lépés. Képezzük a (4.58)-beli Cz szorzatot. 4. lépés. Képezzük a (4.56)-beli véges összeget Példa. A (4.40)-beli A mátrix esetében χ A (z) = z 3 4z 2 + 5z 2 = (z 1) 2 (z 2) (z K). Így a C mátrix a következő alakú: C = Tetszőleges a, b, c R esetén a ϕ(t) := ae t + bte t + ce 2t (t R) 33

35 függvény megoldása az... x 4ẍ + 5ẋ 2x = 0, harmadrendű lineáris differenciálegyenletnek. Az x(0) = ẋ(0) = 0; ẍ(0) = 1 kezdeti feltételek figyelembevételével adódik, hogy ϕ(0) = a + c = 0, ϕ(0) = [(a + b)e t + bte t + 2ce 2t ] t=0 = a + b + 2c = 0, ϕ(0) = [(a + 2b)e t + bte t + 4ce 2t ] t=0 = a + 2b + 4c = 1, tehát a = b = 1 és c = 1. Így a z vektor a következő alakú: e t te t + e 2t z(t) = 2e t te t + 2e 2t (t R). 3e t te t + 4e 2t A Cz szorzat így az együtthatókat mint α komponenseit szolgáltatja: e t te t + e 2t 2te t + e 2t α(t) = e t te t + 2e 2t = 2e t + 3te t 2e 2t e t te t + 4e 2t e t te t + e 2t A mátrix-exponenciális függvény ezek után a következő módon számítható ki: e ta = α 0 (t)e 3 + α 1 (t)a + α 2 (t)a 2 = { 2te t + e 2t } (t R). + {2e t + 3te t 2e 2t } { et te t + e 2t } = = (egyezően (4.42)-vel). e t te t te t te t e t e 2t te t te t + e 2t te t e t e 2t e t + e 2t e t (t R) 34

36 Putzer második módszere [16]-ben E. J. Putzer egy második algoritmust is közölt, amely szintén a 3.1. tételen alapul, de a karakterisztikus polinom A helyen vett helyettesítési értékének (3.27)-es alakját használja Tétel. Ha λ 1,..., λ n az A R n n mátrix (nem feltétlenül különböző) sajátértékei, akkor ahol és ṙ = n 1 e ta = r k+1 (t)p k (t R), (4.61) E n (k = 0) P k = k (A λ l E n ) (k {1,..., n 1}) ṙ 1 ṙ 2. ṙ n l=1 λ 1 r 1 r = 1 + λ 2 r 2. r n 1 + λ n r n Bizonyítás: Tetszőleges t R esetén legyen Megmutatjuk, hogy Φ megoldása az n 1 r 0 (t) := 0 és Φ(t) := r k+1 (t)p k. (4.62) és 1 0 r(0) =.. (4.63) 0 Ẋ = AX, X(0) = E n (4.64) kezdetiérték-feladatnak, ugyanis ekkor (4.64) megoldásának egyértelműsége miatt Φ(t) = e ta (t R). Világos, hogy Φ kielégíti az X(0) = E n kezdeti feltételt, ugyanis n 1 Φ(0) = r k+1 (0)P k = r 1 (0)E n = E n. Tehát már csak azt kell megmutatni, hogy Φ megoldása az Ẋ = AX mátrixdifferenciálegyenletnek. (4.63) következtében n 1 n 1 Φ(t) = ṙ k+1 (t)p k = [λ k+1 r k+1 (t) + r k ] P k, 35

37 tehát Φ(t) λ n Φ(t) = n 1 n 1 [λ k+1 r k+1 (t) + r k ] P k λ n r k+1 (t)p k = = n 1 n 1 [λ k+1 λ n ] r k+1 (t)p k + r k (t)p k = = n 2 n 2 [λ k+1 λ n ] r k+1 (t)p k + r k+1 (t)p k+1 (t R). (4.62) miatt P k+1 = (A λ k+1 E n )P k (k {0,..., n 1}), így Φ(t) λ n Φ(t) = n 2 r k+1 (t) [(A λ k+1 E n )P k + (λ k+1 λ n )P k ] = = n 2 n 2 r k+1 (t)(a λ n E n )P k = (A λ n E n ) r k+1 (t)p k (t R). Ez az összeg a következő alakba írható: n 2 n 1 r k+1 (t)p k = r k+1 (t)p k r n (t)p n 1 = Φ(t) r n (t)p n 1 (t R). Így a fenti különbség nem más, mint Φ(t) λ n Φ(t) = (A λ n E n )Φ(t) r n (t)(a λ n E n )P n 1 = (A λ n E n )Φ(t) r n (t)p n (t R). A Cayley-Hamilton-tételből (vö. (3.27)) következik, hogy P n = n (A λ l E n ) = χ A (A) = O, l=1 azaz Φ(t) = AΦ(t) (t R). Így e ta (t R) Putzer második módszerén alapuló kiszámításának lépései a következők: 1. lépés. Meghatározzuk A karakterisztikus polinomját és sajátértékeit. 2. lépés. Megoldjuk a (4.63)-beli elsőrendű lineáris differenciálegyenlet-rendszert. 36

38 3. lépés. Kiszámítjuk a (4.62)-beli szorzatot. 4. lépés. Képezzük a (4.61)-beli véges összeget Példa. Tekintsük ismét a (4.40)-beli A mátrixot, melynek sajátértékei: 1 (kétszeres) és 2. Ezért olyan r függvényt keresünk, amelynek koordiáta-függvényeire ṙ 1 = r 1 r 1 (0) 1 ṙ 2 = r 1 + r 2, r 2 (0) = 0 ṙ 3 = r 2 + 2r 3 r 3 (0) 0 teljesül. Pl. (1.6) felhasználásával r 1 (t) = e t, r 2 (t) = te t, r 3 (t) = e 2t e t te t (t R). A (4.62)-beli mátrixok pedig a következők: P 1 = A 1E 3 = 2 2 1, P 2 = (A 1E 3 )(A 1E 3 ) = (4.61) alapján így azt kapjuk, hogy e ta = r 1 P 0 + r 2 P 1 + r 3 P 2 = = e t tet {e2t e t te t } = = e t te t te t te t e t e 2t te t te t + e 2t te t e t e 2t e t + e 2t e t (t R) Példa. Legyen A :=

39 A determinánsa viszonylag gyorsan kiszámítható: det(a) = det = 8, így A karakterisztikus polinomja: χ A (z) = z 3 6z z 8 = (z 2) 3 (z K). Azt kapjuk tehát, hogy e ta = e 2t { E 3 + t(a 2E 3 ) + t2 2 (A 2E 3) 2 } = = e 2t t t = = e 2t 1 + 2t + t 2 /2 2t t 2 /2 t 2 /2 3t + t 2 1 t t 2 t + t 2 t + t 2 /2 t 2 /2 1 t + t 2 /2 (t R). 38

40 e ta számítása Kirchner módszerével R. B. Kirchner a Cayley-Hamilton-tételen alapuló módszert ad e ta kiszámítására A sajátértékeinek függvényében (vö. [11]). Tegyük fel, hogy A spektruma: σ(a) = {λ 1,..., λ k }, és vezessük be az s i := a λi (i {1,..., k}) jelölést. Ekkor a (3.21)-beli karakterisztikus polinom χ A (z) = k (z λ i ) s i (z K) i=1 alakú. Teszőleges j {1,..., k} esetén legyen p j (z) := k (z λ i ) s i (z K). i=1 i j Ekkor a q(z) := p 1 (z) p k (z) (z K), f n (x) := 1 + x + x2 2! xn 1 (n 1)! polinomok bevezetésével megfogalmazhatók az alábbi állítások. (x R, n N) 4.1. Lemma. Ha r(z) (z K) olyan polinom, melyre r(λ i ) 0 (i {1,..., k}), akkor r(a) reguláris mátrix, és inverze A-nak polinomja. Bizonyítás: r(λ i ) 0 (i {1,..., k}) miatt r-nek és χ A -nak nincsen közös gyöktényezője, így van olyan s ill. t polinom, hogy r(z)s(z) + χ A (z)t(z) = 1 (z K). Ezért a Cayley-Hamilton-tétel felhasználásával azt kapjuk, hogy r(a)s(a) = E n Lemma. Ha B négyzetes mátrix, akkor tetszőleges j N esetén van olyan g j (B) mátrix, hogy e B = f j (B) + B j g j (B).

41 Bizonyítás: Könnyen belátható, hogy a g j (B) := n=j B n j n! (j N) választás megfelelő Tétel. Ha tetszőleges i {1,..., k} esetén q i (A) := q(a) 1 p i (A), akkor e ta = k q i (A)f si ((A E n λ i )t)e λ it i=1 (t R). Bizonyítás: Mivel q(λ i ) = k p j (λ i ) = p i (λ i ) 0 j=1 (i {1,..., k}), ezért az első lemma miatt q(a) reguláris mátrix. Ha tetszőleges i {1,..., k} esetén B i := A E n λ i, akkor felhasználva a Cayley-Hamilton-tételt (utolsó egyenlőségnél), a második lemmát (utolsó előtti egyenlőség), és felcserélhető M ill. N mátrixokra vonatkozó e M+N = e M e N állítást (vö. (3.28)), azt kapjuk, hogy k e ta = q(a) 1 q(a)e ta = q(a) 1 p i (A)e B it+λ i E nt = i=1 k = q(a) 1 p i (A)e Bit e λ ie nt = i=1 k = q(a) 1 [p i (A)f si (B i t) + p i (A)(B i t) s i g si (B i t)] e λit = i=1 k = q(a) 1 p i (A)f si (B i t)e λ it i=1 (t R). 40

42 Így e ta (t R) kiszámításának Kirchner módszerén alapuló lépései a következők: 1. lépés. Meghatározzuk az A mátrix λ 1,..., λ k különböző sajátértékeit. 2. lépés. Megadjuk a p i (λ) polinomokat (i {1,..., k}). Ezekből képezzük q(λ) polinomot, behelyettsítjük A-t, és kiszámítjuk q(a) inverzét. 3. lépés. Végül e ta = q(a) 1 k p i (A)f si (B i t)e λ it i=1 (t R) Példa. Tekintsük ismét a példabeli A mátrixot, melynek karakterisztikus polinomja: χ A (z) = z 3 + 2z 2 + z (z K) (vö. (3.23)). χ A gyökei: 1 (kétszeres) és 0 (s 1 = a 1 = 2, s 2 = a 0 = 1). Így p 1 (z) = (z + 1) 2, p 2 (z) = z, q(z) = (z + 1) 2 + z (z K). Mivel q(a) = (A + E 3 ) 2 + A = = = = = , ezért q(a) 1 =

43 Tudjuk, hogy q 1 (A) = q(a) 1 p 1 (A) és q 2 (A) = q(a) 1 p 2 (A), így q 1 (A) = q 2 (A) = = = ; Még f i (i {1, 2}) kiszámolására van szükség. f 1 ((A E 3 λ 1 )t) E 3 ill. f 2 ((A E 3 λ 2 )t) E 3 + (A E 3 ( 1))t E 3 + E 3 t + At 1 + t t t + t 0 0 t t 0 0 t t t 1 + t. Így e ta = e t 0 0 te t e t 0 0 te t e t + te t = = e t 0 0 te t e t 0 1 e t te t 1 e t 1 (t R). 42

44 e ta számítása van Rootselaar módszerével B. van Rootselaar az (1.1) alakú egyenlethez tartozó homogén egyenlet helyett egy vele ekvivalens magasabbrendű egyenletet old meg (vö. [17]). Világos, hogy ha ϕ : R R n az (1.1)-hez tartozó homogén egyenlet x(0) = ξ R n feltételt kielégítő teljes megoldása, akkor tetszőleges k {0,..., n 1} esetén ϕ (k) = A k ϕ, ϕ (k) (0) = A k ξ, (4.65) hiszen ϕ (0) = ϕ = E n ϕ = A 0 ϕ, ϕ = Aϕ, ϕ = (Aϕ) = Aϕ = AAϕ = A 2 ϕ,... Tudjuk a 3.1. tételből, hogy χ A (A) = 0. Ennek az egyenletnek mindkét oldalát ϕ-vel beszorozva 0 = χ A (A)ϕ = A n ϕ + c n 1 A n 1 ϕ c 1 Aϕ + c 0 E n ϕ adódik (vö. (3.22)), amiből (4.65) figyelembevételével azt kapjuk, hogy 0 = ϕ (n) + c n 1 ϕ (n 1) c 1 ϕ + c 0 ϕ, azaz ϕ megoldása az x (n) + c n 1 x (n 1) c 1 x + c 0 x = 0 (4.66) n-edrendű differenciálegyenlet-rendszernek. E rendszer minden egyes egyenlete egy állandó együtthatós n-edrendű homogén lineáris differenciálegyenlet, melynek karakterisztikus polinomja nem más, mint χ A. Tegyük fel, hogy A spektruma: σ(a) = {λ 1,..., λ p }, és vezessük be az m k := a λk (k {1,..., p}) jelölést. Ismeretes (vö. pl. [23]), hogy tetszőleges 0 α R esetén a ϕ jk (t) := αt k exp(λ j t) (t R; j, k {0,..., m j 1}) függvények a fenti rendszer minden egyes egyenletének lineárisan független megoldásai. Könnyen belátható, hogy van olyan R R n n mátrix, hogy ϕ(t) = Rf(t) (t R), (4.67)

45 ahol tetszőleges t R esetén [ t m 1 ] 1 f(t) := (m 1 1)! eλ 1t,..., te λ1t, e λ1t t mp 1 T,..., (m p 1)! eλpt,..., te λpt, e λpt. (4.68) Ha ϕ := (ϕ 1,..., ϕ n ) T esetén W (ϕ) := [ ϕ, ϕ,..., ϕ (n 1)] (4.69) jelöli ϕ Wronszki-mátrixát, akkor a G(ξ) := W (ϕ)(0) = [ ϕ(0), ϕ (0),..., ϕ (n 1) (0) ] = [ ξ, Aξ, A 2 ξ,..., A n 1 ξ ]. ill. F (0) := W (f)(0) jelölések bevezetésével könnyen belátható a Tétel. Tetszőleges t R esetén e ta = [ G(e 1 )F 1 (0)f(t),..., G(e n )F 1 (0)f(t) ], ahol ϕ(0) = e i R n (i {1,..., n}) kanonikus egységvektorok. Bizonyítás: Megmutatjuk, hogy az (1.1)-hez tartozó homogén egyenlet x(0) = ξ R n feltételt kielégítő teljes megoldása a ϕ(t) = G(ξ)F 1 (0)f(t) (t R) függvény. Innen már következik az állítás, ha ξ-nek az e i R n (i {1,..., n}) kanonikus egységvektorokat választjuk. (4.67)-ből ϕ (k) = Rf (k) (k {0,..., n 1}) adódik, ezért ϕ (k) (0) = Rf (k) (0) (k {0,..., n 1}). (4.70) Vegyük észre, hogy (4.70) így is írható: G(ξ) = RF (0), azaz R = G(ξ)F (0) 1 (F (0) reguláris, hiszen oszlopai lineárisan függetlenek). 44

46 Így e ta (t R) kiszámításának van Rootselar módszerén alapuló lépései a következők: 1. lépés. Meghatározzuk A sajátértékeit és azok (algebrai) multiplicitását. 2. lépés. Képezzük az f vektorfüggvényt a (4.68)-ban leírt módon. 3. lépés. Meghatározzuk, majd invertáljuk az F (0) mátrixot. 4. lépés. Kiszámoljuk a G(e i ) = [ e i, Ae i, A 2 e i,..., A n 1 e i ] (i {1, 2,..., n}) mátrixokat. 5. lépés Kiszámítjuk a G(e i )F 1 (0)f(t) (i {1, 2,..., n}) szorzatokat. Ezek adják az e ta mátrix megfelelő indexű oszlopait Példa. Tekintsük ismét a (4.40)-beli A mátrixot, melynek sajátértékei: 1 (kétszeres) és 2 (a 1 = 2, a 2 = 1). Így a (4.68)-beli vektorfüggvény a következő: f(t) := [ te t, e t, e 2t] T (t R). Mivel te t (1 + t)e t (2 + t)e t W (f)(t) = e t e t e t (t R), e 2t 2e 2t 4e 2t ezért F (0) = [f(0), f (0), f (0)] = ill. F (0) 1 = Továbbá, mivel A := ill. A 2 = , 45