5.1. Autonóm nemlineáris rendszerek

Átírás

1 5. Stabilitáselmélet Stabilitáselmélet 5.1. Autonóm nemlineáris rendszerek Legyen f : R R n R n. Ekkor az általános elsőrendű explicit nemlineáris differenciálegyenletrendszer alakja x = f(t,x). A t független változó az alkalmazások nagy részénél az időt jelöli, ezért a differenciálegyenletek elméletében is szokás a t változóról, mint idő változóról beszélni. Ha a fenti egyenlet jobb oldala, azaz az f függvény nem függ a t változótól, akkor az egyenletet időfüggetlen vagy autonóm egyenletnek hívjuk. Egy autonóm rendszer általános alakja tehát ahol f : R n R n, vagy általánosabban f : D R n, ahol D R n. Az egész fejezetben feltesszük, hogy az (5.1) egyenletnek minden x = f(x), (5.1) x(t ) = z (5.) kezdeti értékhez pontosan egy megoldása létezik. (Ehhez elegendő például azt feltenni, hogy f folytonosan parciálisan differenciálható minden változó szerint.) Ha azt szeretnénk hangsúlyozni, hogy az (5.1) egyenlet egy megoldása az (5.) kezdeti értékhez tartozik akkor az x(t;t,z) jelölést fogjuk használni. Megoldáson mindig nem folytatható megoldást értünk ebben a fejezetben. Könnyen megmutatható a következő alapvető eredmény Tétel. Legyen a v: (α,β) R n, v(t) = x(t;t,z) függvény a megoldása az (5.1)-(5.) kezdeti érték feladatnak, s R rögzített. Ekkor a függvényre w: (α s,β s) R n, w(t) = v(t + s) w(t) = x(t;t s;z), azaz az w(t) = v(t + s) az a megoldása az egyenletnek, amely a t s kezdeti időpontban a z kezdeti értéket veszi fel. Bizonyítás: Egyszerű számolással kapjuk w (t) = v (t + s) = f(v(t + s)) = f(w(t)), továbbá w(t s) = v(t ) = z. t (α s,β s), Az előző tétel szerint minden megoldás időeltoltja is megoldása az egyenletnek (csak ha véges intervallumon definiált, akkor az értelmezési tartományuk különböző), és bármely t kezdeti időpontot vissza lehet tolni az origóba egy megfelelő új eltolt időskálát alkalmazva. Ezért feltehető, és az egyszerűség kedvéért fel is tesszük, hogy autonóm egyenleteknél a kezdeti időpont mindig az origóban van megadva. Ekkor a megoldások már csak a kezdeti feltételtől függnek, így az x(t; z) jelölést fogjuk alkalmazni az (5.1) egyenlet t = kezdeti időpontból és a z kezdeti feltételből indított, maximális intervallumon értelmezett egyértelmű megoldásának jelölésére. Az (5.1) egyenlet egy x(t) = u konstans megoldását az (5.1) egyenlet egyensúlyi helyzetének vagy kritikus pontjának hívjuk. Egy konstans megoldás deriváltja az azonosan függvény, így az egyensúlyi helyzetek pontosan f az függvény gyökei lesznek.

2 88 Hartung Ferenc: Differenciálegyenletek, MA11i, MA613d, 6/7 5.. Tétel. Egy u konstans vektor akkor és csak akkor egyensúlyi helyzete az (5.1) egyenletnek, ha f(u) =. Egy x(t) = (x 1 (t),...,x n (t) T, t I megoldás integrálgörbéjének nevezzük a {(t,x(t)): t I} R R n térbeli görbét, azaz a megoldás függvény grafikonját. Természetesen a koordinátánkénti {(t,x i (t)) : t I} (i = 1,...,n) integrálgörbéket tudjuk geometriailag is ábrázolni, n > esetében az integrálgörbét nem tudjuk felrajzolni. Azt az R n -beli görbét, amelynek paraméterezése az x megoldás képlete, azaz az {x(t): t I} R n -beli görbét, a megoldás fázisgörbéjének vagy trajektóriájának hívjuk, az R n teret pedig fázissíknak is szokás hívni. Két- illetve háromdimenziós esetben tudjuk a fázisgörbéket ténylegesen felrajzolni Példa. Tekintsük a v + v = másodrendű homogén lineáris skaláris differenciálegyenletet. Tudjuk, hogy ennek általános megoldása v(t) = c 1 cos t + c sin t. A skaláris egyenletet rendszer alakra hozhatjuk az x = v, y = v és x = (x,y) T változók bevezetésével: Az egyenlet az ( x = 1 1 ) x. x() = (.5,) T, x() = (1,) T, x() = (,1.5) T, x() = (,) T kezdeti feltételből indítva oldottuk meg. A megoldások komponensenénti integrálgörbéi az 5.1. és 5.. Ábrán láthatók. Például az x() = (1,)T kezdeti feltételhez tartozó megoldás x(t) = (cos t, sin t) T. Ennek a fázisgörbéjének a paraméteres egyenlete tehát amely egy egységsugarú kör, hiszen x = cos t, y = sin t, x + y = 1 teljesül a görbe mentén. Most számítsuk ki az x = c 1 cos t + c sint és y = c 1 sin t + c cos t általános megoldás esétben is az x + y értékét: x + y = (c 1 cos t + c sint) + ( c 1 sin t + c cos t) = c 1 cos t + c sin t + c 1 c cos t sin t + c 1 sin t + c cos t c 1 c cos t sin t = c 1 + c. Azaz ebben az esetben is a trajektória egy origó középpontú, c 1 + c sugarú kör. Lásd az 5.3. Ábrát, ahol a négy fázisgörbével (origó középpontú körök) együtt az egyenlet iránymezőjét is ábrázoltuk. Látható, hogy a fázisgörbék símulnak az iránymezőhöz.

3 5. Stabilitáselmélet 89 x(t) 1 y(t) 1 y t t 1 1x Ábra. x(t) 5.. Ábra. y(t) 5.3. Ábra. fázissík 5.4. Tétel. Egy autonóm rendszer különböző tarjektóriái nem metszik egymást. Bizonyítás: Tegyük fel, hogy az (5.1) egyenlet két trajektóriája metszi egymást. Legyen az egyik görbe paraméterezése w (1), a másiké pedig w (). Ekkor létezik két olyan paraméterérték, t 1 és t (az egyes görbék paraméterezései értelmezési tartományából), hogy w (1) (t 1 ) = w () (t ). Definiáljuk a v(t) = w () (t + t t 1 ) függvényt. Az 5.1. Tétel szerint v is megoldása az (5.1) egyenletnek, továbbá v(t 1 ) = w () (t 1 + t t 1 ) = w (1) (t 1 ). De ekkor, mivel a t 1 időpontban a két megoldás értéke azonos, így a fejezet elején kimondott feltétel szerint a két megoldás azonos kell legyen, azaz v(t) = w (1) (t) minden t-re. De ekkor a w (1) és w () grafikonjai azonosak, nem csak egy pontban metszik egymást. Megmutatható a következő állítás Tétel. Egy autonóm rendszer bármely tarjektóriája vagy (a) önmagát át nem metsző görbe (azaz egyszerű görbe) vagy (b) egyszerű zárt görbe vagy (c) egy pont. Egy trajektória pontosan akkor egy pont, ha az egy egyensúlyi helyzet tarjektóriája, és egyszerű zárt görbe trajektóriája pontosan a periodikus megoldásoknak van Tétel. Ha (5.1) egy x megoldására a lim x(t) = u t (vagy lim x(t) = u) t véges határérték létezik, akkor u egyensúlyi helyzete az (5.1) egyenletnek. Bizonyítás: A feltétel szerint lim t x (t) = lim f(x(t)) = f(u). t Használjuk a szokásos x(t) = (x 1 (t),...,x n (t)) T és f(x) = (f 1 (x),...,f n (x)) T jelöléseket. Legyen 1 i n rögzített, és tegyük fel, hogy f i (u) >. Ekkor legyen < A < f i (u) tetszőleges. A határérték létezése miatt A-hoz létezik olyan T >, hogy x i (t) = f i(x(t)) > A, ha t T. Ezért x i (t) x i (T) + A(t T), t T, ami ellentmond annak, hogy x i -nek véges határértéke van, ha t. Ugyanígy kapható ellentmondás akkor is, ha azt tesszük fel, hogy f i (u) <. Tehát f i (u) = kell legyen minden i-re, azaz u egyensúlyi helyzet. (A -ben vett határérték esete ugyanígy bizonyítható.)

4 9 Hartung Ferenc: Differenciálegyenletek, MA11i, MA613d, 6/7 5.. Stabilitási fogalmak Legyen az euklideszi norma R n -en. (De bármely más normát is használhatunk, hiszen, mint tudjuk, a normák ekvivalensek R n -en.) Legyen u egy rögzített egyensúlyi helyzete az (5.1) egyenletnek. Az u egyensúlyi helyzetet stabilnak nevezzük, ha bármely ε > -hoz létezik olyan δ >, hogy ha z u < δ, akkor x(t; z) u < ε teljesül minden t -ra. Az u egyensúlyi helyzetet instabilnak nevezzük, ha nem stabil. Az u egyensúlyi helyzetet aszimptotikusan stabilnak nevezzük, ha stabil, továbbá létezik olyan σ >, hogy ha z u < σ, akkor lim t x(t;z) = u teljesül. u+ε u + u δ δ u u ε u+ε u + u σ σ u u ε t 5.4. Ábra. stabil egyensúlyi helyzet t 5.5. Ábra. aszimptotikusan stabil egyensúlyi helyzet Egy stabil egyensúlyi helyzet tehát olyan, hogy az egyenlet megoldásai tetszőlegesen közel maradnak az egyensúlyi helyzethez, feltéve, hogy az egyensúlyi helyzethez elegendően közel indítottuk a rendszert (lásd az 5.4. Ábrát). Az aszimptotikusan stabil egyensúlyi helyet közeléből indított megoldások ezen kívül még az egyensúlyi helyzethez is tartanak (lásd az 5.5. Ábrát) Példa. Tekintsük az x = x x 3 elsőrendű homogén lineáris skaláris differenciálegyenletet. Ennek három egyensúlyi helyzete van: u =,1 és 1, az u u 3 = egyenlet gyökei. Az 5.6. Ábrában kirajzoltuk az egyenlet néhány kezdeti értékhez tartozó megoldásának integrálgörbéit, valamint az egyenlet egy iránymezőjét is. (A vízszintes tengely a t-tengely, a függőleges pedig az x-tengely.) Látható, hogy a, 1 és 1 kezdeti értékekhez konstans megoldások tartoznak. Minden az x = és x = 1 egyenesek közötti ponton átmenő megoldás érintőjének meredeksége pozitív, azaz ebben a sávban a megoldások mind monoton nőnek. (Megmutatható az is, ahogy azt az ábrából látjuk is, hogy minden megoldás ebben a sávban 1-hez tart. Az x = 1 egyenes feletti sávban pedig minden megoldás monoton csökkenve tart 1-hez. Az x = és x = 1 egyenes közötti sávban a megoldások 1-hez tartanak, x = 1 alatt pedig minden megoldás 1-hez tart. Ebből következik, hogy az origó instabil, hiszen bármely közel is indítjuk a megoldást -hoz, a megoldás vagy 1-hez vagy 1-hez fog tartani, azaz nem marad az origó kis környezetén belül. Az 1 és a 1 egyensúlyi helyzetek pedig aszimptotikusan stabilak Példa. Tekintsük újra az 5.3. Példában vizsgált -es rendszert, amelynek trajektóriái az 5.3. Ábrán láthatók. A rendszernek egy egyensúlyi helyzete van, u =. Ez stabil, hiszen az 5.3. Ábrából látható, hogy bármely ε > sugarú környezetét vesszük az origónak, akkor a δ = ε sugarú környezetén belül indított trajektóriák ugyanezen környezeten belül maradnak, mivel minden trajektória kör. Az egyensúlyi helyzet viszont nem aszimptotikusan stabil, hiszen

5 5. Stabilitáselmélet x(t) t 5.6. Ábra. x(t) a trajektóriák nem tartanak az origóhoz. A stabilitás az 5.1. és az 5.. Ábrából is látható, hiszen a megoldás x(t) = c 1 cos t+c sin t és y(t) = c 1 sin t+c cos t, amelynek amplitúdója c 1 + c, ami pedig pont x() = (x(),y()) = c 1 + c. Az egyensúlyi helyzet stabilitásához hasonlóan egy tetszőleges megoldás stabilitását is definiálhatjuk. Azt mondjuk, hogy az (5.1) egyenlet x(t; u) megoldása stabil, ha bármely ε > -hoz létezik olyan δ >, hogy ha z u < δ, akkor x(t;z) x(t;u) < ε teljesül minden t -ra. Az x(t;u) megoldást instabilnak nevezzük, ha nem stabil. Az x(t; u) megoldást aszimptotikusan stabilnak nevezzük, ha stabil, továbbá létezik olyan σ >, hogy ha z u < σ, akkor lim t x(t;z) x(t;u) = teljesül. u+ u δ u δ t 5.7. Ábra. stabil megoldás 5.8. Ábra. aszimptotikusan stabil megoldás Az ebben a szakaszban definiált stabilitási fogalmakat Ljapunov-féle stabilitásnak is szokták nevezni, hogy megkülönböztessék őket az irodalomban használt több tucat egyéb stabilitási fogalomtól. Ki lehet terjeszteni a Ljapunov-féle stabilitás, instabilitás és aszimptotikus stabilitás definícióját nemautonóm egyenletekre is, de ezzel itt nem foglalkozunk.

6 9 Hartung Ferenc: Differenciálegyenletek, MA11i, MA613d, 6/ Kétdimenziós autonóm homogén lineáris rendszerek egyensúlyi helyzetei Tekintsük az x = Ax (5.3) autonóm homogén lineáris rendszert, ahol A egy -es invertálható mátrix. Ekkor a rendszernek az u = az egyetlen egyensúlyi helyzete. Lineáris algebrából ismert, hogy A pontosan akkor invertálható, ha nem sajátértéke A-nak. Tekintsünk egy T -es invertálható mátrixot, és vezessük be az y = T 1 x új változót. Ekkor y = T 1 x = T 1 Ax = T 1 ATy, azaz y megoldása az y = By (5.4) homogén lineáris egyenletnek, ahol B = T 1 AT az A mátrixhoz hasonló mátrix. Lineáris algebrából ismert, hogy A és B sajátértékei megegyeznek. Ha az y megoldás ismert, akkor azt az x = Ty képlettel lehet visszatranszformálni. Ez egy invertálható lineáris transzformáció, amely, mint azt lineáris algebrából tudjuk, geometriailag origó középpontú nyújtások, forgatások, tükrözés egymás utáni alkalmazását jelenti. A célunk ebben a szakaszban az (5.3) egyenlet trajektóriáinak ábrázolása, amelyet a fenti számolás szerint az (5.4), egyszerűbb alakra hozott egyenlet trajektóriáinak visszatranszformálásából kapunk majd meg. Teljesül a következő tétel Tétel. Legyen A egy -es invertálható mátrix. Ekkor A hasonló a következő mátrixok valamelyikéhez: ( ) λ1 1. B = λ, ahol λ 1 és λ az A mátrix (nem feltétlenül különböző) valós sajátértékei, és ha λ 1 = λ, akkor λ 1 geometriai multiplicitása. ( ) λ1 1. B = λ, ahol λ 1 R kétszeres algebrai multiplicitású sajátértéke A-nak, amelynek 1 geometriai multiplicitása 1. ( ) α β 3. B = β α, ahol A sajátértékei λ 1, = α ± iβ. Legyen λ 1 és λ az A két sajátértéke. Hat esetet különböztetünk meg. 1. eset: λ 1 λ azonos előjelű valós sajátértékei A-nak. Ekkor az 5.9. Tétel szerint az A mátrix hasonló a ( ) λ1 B = λ mátrixhoz. A megfelelő (5.4) egyenletet koordinátánként kiírva kapjuk, hogy y 1 = λ 1 y 1 y = λ y, amely egymástól független két egyenletre redukálódik, és amelynek megoldása y 1 = c 1 e λ 1t és y = c e λ t. (5.5) Ha c 1 = és c =, akkor az egy pontból, az origóból álló speciális trajektóriát kapjuk. Ha c 1 =, de c, akkor az (5.5) egyenlet az y -tengely pozitív ill. negatív féltengelyének paraméteres előállítása, attól függően, hogy c > vagy c <. Hasonlóan, ha c =, de c 1,

7 5. Stabilitáselmélet 93 akkor az y 1 -tengely két féltengelye közül az egyiket kapjuk vissza az (5.5) paraméterezéssel. Ha sem c 1 sem c nem, akkor pedig (5.5) egy pozitív kitevős hatványfüggvény paraméteres előállítása, hiszen ekkor y = ky1, s ahol k = c c s, s = λ. (5.6) λ 1 Az ilyen görbék gafikonja az 5.9. ill. az 5.1. Ábrán láthatók. Ha s > 1, akkor a görbék az y 1 -tengelyhez símulnak (az ábrákon ez az eset látható), ha pedig < s < 1, akkor pedig az y -tengelyhez. Az (5.5) paraméterezés meghatároz egy irányítást a görbéken. Könnyen ellenőrizhető, hogy ha λ 1 > és λ >, akkor minden görbe irányítása olyan, hogy ahogy az idő, azaz t növekszik, a pont a görbe mentén az origótól eltávolodik (lásd az 5.9. Ábrát), ha pedig λ 1 < és λ <, akkor a mozgás során a pont az origó fele tart (lásd az 5.1. Ábrát). Ezért a λ 1 >, λ > esetben az origó instabil, a λ 1 < és λ < esetben pedig az origó aszimptotikusan stabil. y y y 1 y Ábra. λ 1 > és λ > 5.1. Ábra. λ 1 < és λ < Az (5.3) egyenlet megoldásainak trajektóriái ekkor az és 5.1. Ábrán látható módon néznek ki. Az y 1 - és y -tengelyek a T transzformáció során a ξ (1) és ξ () vektorokon és az origón átmenő egyenesekbe kerülnek, és a többi görbe is deformálódik a lineáris transzformáció során, de megtartják azt a tulajdonságot, hogy a ξ (1) -hez vagy ξ () -höz tartozó egyenest érintik, és azt is, hogy λ 1 >, λ > esetben az origó instabil, a λ 1 < és λ < esetben pedig az origó aszimptotikusan stabil. Olyan egyensúlyi helyzetet, amelynek trajektóiái az Ábrán látható alakúak, instabil csomópontnak, az 5.1. Ábra esetén pedig aszimptotikusan stabil csomópontnak nevezzük. x x ξ (1) ξ (1) ξ () ξ () x 1 x Ábra. instabil csomópont 5.1. Ábra. aszimptotikusan stabil csomópont. eset: λ 1 = λ azonos előjelű valós sajátértékei A-nak, amelynek geometriai multiplicitása. Az (5.4) egyenlet megoldásának képlete ebben az esetben is (5.5), de most ez a paraméterezés nem csak a c 1 = vagy c = esetben definiál egyenest, hanem a c 1 és c esetben is,

8 94 Hartung Ferenc: Differenciálegyenletek, MA11i, MA613d, 6/7 hiszen most y = c c 1 y 1. Ezért minden (nem azonosan nulla) megoldás trajektóriája az origóból induló félegyenes. De ekkor ezeknek a T lineáris transzformációval vett képe is origóból induló félegyenes lesz (lásd az és Ábrákat). Ebben az esetben is csomópontnak nevezzük az egyensúlyi helyzetet, amely instabil, ha λ 1 >, ill. aszimptotikusan stabil, ha λ 1 <. Ebben az esetben a sajátvektoroknak nincs kitüntetett szerepük az ábrában (minden vektor egyébként sajátvektor). x x x 1 x Ábra. instabil csomópont Ábra. aszimptotikusan stabil csomópont 3. eset: λ 1 = λ valós sajátértékei A-nak, amelynek geometriai multiplicitása 1. Ekkor könnyen ellenőrizhető, hogy az (5.4) egyenlet megoldása azaz vektoriális alakban y 1 = c 1 e λ 1t + c te λ 1t, y = c e λ 1t, [( ) ( )] y = e λ 1t c 1 c c + t. Ez c = -ra és c 1 -ra az y 1 -tengely valamelyik féltengelyét állítja elő. Egyébként y a ( ) ( ) c1 c v(t) = c + t vektor e λ 1t -szorosa. A v(t) vektor grafikonja egy az y 1 -tengellyel párhuzamos egyenes. (Az Ábrán a (c 1,c ) ponton átmenő vízszintes egyenes.) Ezért minden origóból induló félegyenes egy pontban metszi a trajektóriát. Ellenőrizhető, hogy az y megoldás trajektóriája az Ábrán látható görbe lesz, amely érinti az y 1 -tengelyt az origóban. Az (5.3) egyenlet trajektóriáit az (5.4) egyenlet trajektóriáinak lineáris deformációjával kapjuk, ahol az y 1 -tengely képe a ξ (1) vektoron átmenő egyenes lesz. Az egyensúlyi helyzetet elfajult csomópontnak hívjuk. Ez lehet instabil, ha λ 1 >, illetve aszimptotikusan stabil, ha λ 1 <. 4. eset: λ 1 λ ellentétes előjelű valós sajátértékei A-nak. Az (5.4) egyenlet megoldásának képlete most is (5.5), így most is van két egyenes, pontosabban négy félegyenes a trajektóriák között (a c 1 = vagy c = esetén). A többi trajektória egyenlete most is (5.6), de ebben az esetben s <, ezért a trajektóriák alakja hiperbolaszerű, ahogy az az 5.. Ábrán látható. A pozitív sajátértékhez tartozó egyenes irányítása az origóból kifelé, a negatív sajátértékhez tartozó egyenesen pedig az origó felé mutat, a többi trajektória pedig illeszkedik ezekhez az irányokhoz. Az (5.3) egyenlet trajektóriáit a T lineáris leképezést az 5.. Ábrára alkalmazva kapjuk. Az y 1 - és y -tengelyek ismét a ξ (1) ill. ξ () sajátvektorokon átmenő egyenesekbe transzformálódnak,

9 5. Stabilitáselmélet 95 y y y (c 1,c ) v y 1 y 1 y Ábra Ábra. λ 1 = λ > Ábra. λ 1 = λ < x x ξ (1) ξ (1) x 1 x Ábra. instabil elfajult csomópont Ábra. aszimptotikusan stabil elfajult csomópont és a görbék pedig ennek megfelelően deformálódnak. A pozitív sajátértékhez tartozó egyenest, azaz a sajátérték sajátalterét instabil altérnek, a negatív sajátérték sajátalterét pedig stabil altérnek nevezzük. Látható, hogy minden görbe trajektória az idő növekedésévek a stabil altérhez, illetve t esetén az instabil altérhez konvergál. Ebben az esetben az egyensúlyi helyzetet nyeregpontnak hívjuk. Egy nyeregpont mindig instabil egyensúlyi helyzet, hiszen az origó bármely környezetéből vett pontból induló megoldások a stabil altéren elhelyezkedő pontok és az origó kivételével tetszőleges távol kerülnek az origótól. y x ξ () y 1 ξ (1) x Ábra. λ 1 > > λ 5.1. Ábra. nyeregpont, instabil 5. eset: λ 1, = α ± iβ (α ) komplex sajátértékei A-nak. Ekkor az 5.9. Tétel szerint az (5.4) egyenlet alakja y 1 = αy 1 + βy y = βy 1 + αy. (5.7)

10 96 Hartung Ferenc: Differenciálegyenletek, MA11i, MA613d, 6/7 Az (y 1,y ) pontnak tekintsük a polár koordinátáit, (r,θ)-t. Ekkor r = y 1 + y és tg θ = y y 1. Az első egyenlet mindkét oldalát differenciálva és az (5.7) összefüggéseket felhasználva kapjuk rr = y 1 y 1 + y y = y 1 (αy 1 + βy ) + y ( βy 1 + αy ) = α(y 1 + y ) = αr, azaz a mozgás során r = αr teljesül, ezért r = c 1 e αt. A pont távolsága az origótól a mozgás során exponenciálisan növekszik, ha α >, és exponenciálisan csökkenve -hoz tart, ha α <. A θ-ra vonatkozó egyenletet differenciálva hasonló módon kapjuk, hogy amiből és ezért 1 cos θ θ = y y 1 y 1 y y 1 = ( βy 1 + αy )y 1 (αy 1 + βy )y y 1 = β y 1 + y y 1 = β r y1, θ = β, θ = βt + θ. A mozgás során ezért a pont a trajektórián egyenletes sebességgel forog az origó körül. Ebből következik, hogy a trajektóriák alakja spirál görbe, lásd az 5.. és 5.3. Ábrát. y y y 1 y Ábra. λ = α ± iβ, α > 5.3. Ábra. λ = α ± iβ, α < A T lineáris transzformációt alkalmazva a görbékre az 5.4. és 5.5. Ábrán látható görbéket kapjuk. Az egyensúlyi helyet neve ebben az esetben fókusz, amely lehet instabil, ha α >, illetve aszimptotikusan stabil, ha α <. 6. eset: λ 1, = ±iβ komplex sajátértékei A-nak. Az előző pontban vett r és θ képletének levezetése az α = esetre ugyanúgy érvényes, így kapjuk, hogy az (5.4) egyenlet trajektóriái origó középpontú körök (5.6. Ábra). Lineáris transzformáció a köröket ellipszisbe visz át, ahogy azt az 5.7. Ábrán láthatjuk. Az egyensúlyi helyzet neve centrum. Egy centrum mindig stabil, de nem aszimptotikusan stabil.

11 5. Stabilitáselmélet 97 x x x 1 x Ábra. instabil fókusz 5.5. Ábra. aszimptotikusan stabil fókusz y x y 1 x Ábra. λ = ±iβ 5.7. Ábra. centrum, stabil 5.4. Lineáris rendszerek stabilitása Tekintsük az x = A(t)x (5.8) homogén lineáris egyenletet. Az egyenletnek u = egyensúlyi helyzete (azaz az azonosan függvény megoldása az egyenletnek), és ha feltesszük, hogy az A(t) mátrix minden t-re invertálható, akkor az egyenletnek nincs is több egyensúlyi helyzete Tétel. Az (5.8) egyenlet u = egyensúlyi helyzete (a) akkor és csak akkor stabil, ha az (5.8) egyenlet minden megoldása korlátos; (b) akkor és csak akkor aszimptotikusan stabil, ha az (5.8) egyenlet minden x megoldására lim x(t) =. t Tekintsük most az (5.8) speciális esetét, tegyük fel, hogy az együttható konstans mátrix, azaz tekintsük az x = Ax (5.9) egyenletet. Ebben az esetben az u = egyensúlyi helyzet stabilitását az együtthatómátrix sajátértékei meghatározzák Tétel. Legyen λ 1,...,λ n az n n-es A mátrix sajátértékei. Ekkor az (5.9) egyenlet u = egyensúlyi helyzete

12 98 Hartung Ferenc: Differenciálegyenletek, MA11i, MA613d, 6/7 (a) akkor és csak akkor stabil, ha Re λ i, i = 1,...,n, és ha valamely sajátértékre Reλ i =, akkor λ i geometriai multiplicitása megegyezik az algebrai multiplicitásával; (b) akkor és csak akkor aszimptotikusan stabil, ha Re λ i <, i = 1,...,n. Néhány speciális esetben az együtthatók ismeretében (a sajátértékek kiszámítása nélkül) eldönthető a rendszer aszimptotikus stabilitása Tétel. Legyen A = (a ij ) n n-es mátrix, amelyre a ii <, i = 1,...,n. Ekkor ha az A mátrix soronként diagonálisan domináns, azaz a ii > n a ij, i = 1,...,n, j=1 j i vagy ha A oszloponként diagonálisan domináns, azaz a jj > n a ij, j = 1,...,n, akkor az (5.9) egyenlet u = egyensúlyi helyzete aszimptotikusan stabil. i=1 i j 5.5. Nemlineáris rendszerek egyensúlyi helyzetének stabilitása Tekintsük az ú.n. kvázilineáris egyenletet, ahol feltesszük, hogy g() = és x = Ax + g(x), (5.1) g(x) lim x x =. (5.11) Az első feltételből következik, hogy u = egyensúlyi helyzete az (5.1) egyenletnek. A második feltétel azt jelenti, hogy a g függvény már csak lineárisnál nagyobb rendű tagokat tartalmaz. Az (5.1) egyenletben a nemlineáris tagokat, azaz a g függvényt elhagyva kapjuk az egyenlet ú.n. linearizált egyenletét: x = Ax. (5.1) A következő tétel szerint az (5.1) egyenlet u = egyensúlyi helyzetének aszimptotikus stabilitására illetve instabilitására következtetni tudunk az linearizált egyenlet u = egyensúlyi helyzetének stabilitási tulajdonságából.

13 5. Stabilitáselmélet Tétel. Ha az (5.1) linearizált egyenlet u = egyensúlyi helyzete aszimptotikusan stabil, akkor az (5.1) egyenlet u = egyensúlyi helyzete is aszimptotikusan stabil. Ha az (5.1) linearizált egyenlet u = egyensúlyi helyzete instabil, akkor az (5.1) egyenlet u = egyensúlyi helyzete is instabil. Ha az (5.1) linearizált egyenlet u = egyensúlyi helyzete stabil, akkor ebből nem tudunk következtetni az (5.1) egyenlet u = egyensúlyi helyzete stabilitási tulajdonságára: a nemlineáris egyenlet egyensúlyi helyzete lehet aszimptotikusan stabil, instabil vagy stabil is. Kétdimenziós esetben a linearizált egyenlet trajektóriáinak alakját fel tudjuk rajzolni. Megmutatható, hogy a nemlineáris egyenlet trajektóriái az egyensúlyi helyzet kis környezetében a lineáris egyenlet trajektóriáinak (nemlineáris) deformációjával kaphatók meg. Így az ábrák hasonlítanak a lineáris egyenlet trajektóriáira, csak pl. a csomópontok esetében a két egyenes is görbe trajektóriákba deformálódik Példa. Határozzuk meg az = x + y xy y = 4x + y + x egyenlet (, ) egyensúlyi helyzetének stabilitását! Az egyenletben szereplő nemlineáris tagok ( ) xy g(x,y) = x. x Erre teljesül az (5.11) feltétel, hiszen x = r cos θ, y = r sin θ polár koordinátákra áttérve A megfelelő linearizált egyenlet g(x) ( xy) + x 4 lim x x = lim (x,y) (,) x + y = lim r 4r 4 cos θ sin θ + r 4 cos 4 θ r = lim r r (4cos θ sin θ + cos 4 θ) =. = x + y y = 4x + y. Az ( x együtthatómátrix sajátértékei 3 és 1, így a linearizált egyenlet egyensúlyi helyzete egy nyeregpont, amely instabil egyensúlyi helyzet. Ebből következik, hogy a nemlineáris egyenlet (, ) egyensúlyi helyzete is instabil. ) Tekintsük most az általános x = f(x) (5.13) nemlineáris egyenletet, ahol legyen u az egyenlet egy tetszőlegesen rögzített trajektóriája. Azt vizsgáljuk, hogy az egyensúlyi helyzet közeléből indított x megoldásokra az x u különbség hogyan változik a mozgás során. Vezessük be ezért az y = x u

14 1 Hartung Ferenc: Differenciálegyenletek, MA11i, MA613d, 6/7 új változót. Ekkor, használva hogy u konstans vektor, y teljesíti az y = x = f(x) = f(y + u) differenciálegyenletet. Vegyük az f függvény lineáris Taylor-közelítését u körül, ahol a hibatagot jelölje g: f(y + u) = f(u) + f (u)y + g(y) Itt f az f függvény Jacobi-mátrixát jelöli, azaz azt az n n-es mátrixot, amelyben az i-edik sor j-edik eleme az f i-edik komponensfüggvényének a j-edik változó szerinti parciális deriváltja. Mivel u egyensúlyi helyzet, ezért f(u) =, így az y = f (u)y + g(y) egyenletet kapjuk. Ez kvázilineáris egyenlet, ezért az Tételt alkalmazva kapjuk a következő eredményt Tétel. Legyen u egy egyensúlyi helyzete az (5.13) egyenletnek. Ekkor ha az y = f (u)y linearizált egyenlet egyensúlyi helyzete aszimptotikusan stabilis, akkor az (5.13) egyenlet u egyensúlyi helyzete is az, illetve ha a linearizált egyenlet egyensúlyi helyzete instabil, akkor a nemlineáris egyenlet egyensúlyi helyzete is az Példa. Határozzuk meg az x = x(3 x y) y = y( x y) egyenlet egyensúlyi helyzeteit és azok stabilitását! Az egyensúlyi helyzeteket az x(3 x y) = y( x y) = algebrai egyenletrendszer megoldásai adják. Négy esetet különböztetünk meg: 1. x = és y =, azaz (,) az egyik egyensúlyi helyzet.. x = és x y =. Ennek megoldása (,) x y = és y =. Ehhez tartozó egyensúlyi helyzet (1.5,) x y és x y =. Ennek megoldása (1,1). Az egyenlet jobb oldalát leíró függvény ( ) 3x x f(x,y) = xy y xy y, és ennek Jacobi-mátrixa f (x,y) = ( 3 4x y x y x y ). Nézzük az egyes egyensúlyi helyzeteket. 1. (, ). Ebben a pontban f (,) = ( 3 ),

15 5. Stabilitáselmélet 11 amelynek sajátértékei a főáltóban álló számok, 3 és, hiszen a mátrix diagonális. Ezért a linearizált egyenlet egyensúlyi helyzete egy instabil csomópont, és így a nemlineáris egyenlet (,) egyensúlyi helyzete is instabil.. (, ). Ebben a pontban ( f (,) = 1 amelynek sajátértékei a főáltóban álló számok, 1 és, hiszen a mátrix alsó háromszög mátrix. Ezért a linearizált egyenlet egyensúlyi helyzete egy instabil nyeregpont, és így a nemlineáris egyenlet (,) egyensúlyi helyzete is instabil. 3. (1.5, ). Ebben a pontban f (1.5,) = ( amelynek sajátértékei a főáltóban álló számok, 3 és.5, hiszen a mátrix felső háromszög mátrix. Ezért a linearizált egyenlet egyensúlyi helyzete egy instabil nyeregpont, és így a nemlineáris egyenlet (1.5,) egyensúlyi helyzete is instabil. 4. (1, 1). Ebben a pontban f (1,1) = ( amelynek sajátértékei, λ 1, = 3± 5. Ezért a linearizált egyenlet egyensúlyi helyzete aszimptotikusan stabil csomópont, és így a nemlineáris egyenlet (1, 1) egyensúlyi helyzete is aszimptotikusan stabil. Az 5.8. Ábrában láthatók a nemlineáris rendszer trajektóriái. Látható, hogy az egyes egyensúlyi helyzetek kis környezetében a megoldások trajektóriáinak alakjai hasonlítanak a linearizált egyenlet trajektóriáira. ), ), ), Ábra. nemlineáris rendszer trajektóriái 5.6. Ljapunov-függvények Legyen U R n nyílt halmaz, amelyre U. Egy V : U R függvényt pozitív (negatív) definitnek nevezünk, ha V () = és V (x) > (V (x) < ) x, x U. A V függvényt pozitív (negatív) szemidefinitnek nevezzük, ha V () = és V (x) (V (x) ) x, x U.

16 1 Hartung Ferenc: Differenciálegyenletek, MA11i, MA613d, 6/7 Nyilván V pontosan akkor negatív (szemi)definit, ha V pozitív (szemi)definit. Az alkalmazásokban sokszor V értelmezési tartománya U = R n Példa. Legyen V (x,y) = ax + bxy + cy kétváltozós kvadratikus függvény. Feltesszük, hogy a. Alakítsuk V -t teljes négyzetté: V (x,y) = a (x + b ) (( a xy + cy = a x + b ) a y b ( 4a y) + cy = a x + b ) a y 4ac b + y. 4a Ebből látható, hogy ha akkor V pozitív szemidefinit. Ha pedig akkor pedig V negatív szemidefinit. V pontosan akkor lesz pozitív definit, ha a > és 4ac b, a < és 4ac b, a > és 4ac b >, hiszen ha V (x,y) =, akkor ebből következik, hogy ( a x + b ) a y 4ac b = és y =, 4a amiből következik, hogy y = és így x =. Hasonlóan, V pontosan akkor negatív definit, ha a < és 4ac b >. Az n-dimenziós esetre a kvadratikus függvény általános alakja V : R n R, V (x 1,...,x n ) = n n a ij x i x j. i=1 j=1 Ezt vektoriálisan a alakban írhatjuk fel, ahol Megmutatható a következő tétel. V (x) = x T Ax x = (x 1,...,x n ) T, A = (a ij ) Tétel (Sylvester). A V (x) = x T Ax kvadratikus függvény akkor és csak akkor pozitív definit, ha minden főminora pozitív, azaz a 11 a 1 a 13 a 1n a 11 >, a 11 a 1 a 11 a 1 a 13 a 1 a a 3 a n a 1 a >, a 1 a a 3 >,..., a 31 a 3 a 33 a 3n >. a 31 a 3 a a n1 a n a n3 a nn

17 5. Stabilitáselmélet 13 Tekintsük újra az x = f(x) (5.14) nemlineáris egyenletet, ahol feltesszük, hogy f() =, azaz legyen u = az egyenlet egyensúlyi helyzete. Ennek stabilitási tulajdonságait fogjuk vizsgálni. Az f függvény komponensfüggvényeit jelölje f(x) = (f 1 (x),...,f n (x)) T. Legyen V : R n R folytonosan parciálisan differenciálható. Számítsuk ki a V (x(t)) összetett függvény deriváltját, ahol x(t) = (x 1 (t),...,x n (t)) T az (5.14) egyenlet megoldása: dv dt (x(t)) = V (x(t))x x 1(t) + + V (x(t))x 1 x n(t) n = V x 1 (x(t))f 1 (x(t)) + + V x n (x(t))f n (x(t)). Ez a képlet motiválja az alábbi definíciót. Az f függvény (5.14) egyenletre vonatkozó deriváltját a V (x) = V (x)f 1 (x) + + V (x)f n (x) x 1 x n képlettel definiáljuk. Ha a V (x) függvényről tudjuk, hogy negatív definit, akkor bármely x(t) megoldásra a V (x(t)) összetett függvényről tudjuk, hogy szigorúan monoton csökkenő lesz. Ha emellett azt is belátjuk, hogy V (x(t)), ha t, akkor ebből x(t) is következik. Ez az elve a következő tétel bizonyításának, de a részletektől eltekintünk Tétel (Ljapunov). Tegyük fel, hogy f() =, U R n nyílt halmaz, U. Legyen V : U R folytonosan parciálisan differenciálható. (a) Ha V pozitív definit és V negatív szemidefinit, akkor az (5.14) egyenlet egyensúlyi helyzete stabil. (b) Ha V pozitív definit és V negatív definit, akkor a egyensúlyi helyzet aszimptotikusan stabil. (c) Ha bármely környezetében létezik olyan x, hogy V (x) >, és V pozitív definit, akkor a egyensúlyi helyzet instabil. Egy olyan V függvényt, amely pozitív definit és amelynek az (5.14) egyenletre vonatkozó V deriváltja negatív szemidefinit, Ljapunov-függvénynek nevezünk. 5.. Példa. V (x,y) = ax + by alakú Ljapunov-függvény megadásával igazoljuk, hogy az x y = x 3 xy = x 6y egyenletrendszer (,) megoldása aszimptotikusan stabil! Olyan Ljapunov-függvényt keresünk, amelyre a > és b > (azaz V pozitív definit), és amelyre V negatív definit. Számítsuk ki V (x,y) = ax( x 3 xy) + by(x 6y) = ax 4 + (4b 4a)x y 1by. Látható, hogy ha a = b, például a = b = 1, akkor az x y-os tag kiesik, és így V (x,y) = x 4 1y negatív definit lesz. Ezért az Tételből következik az állítás. Megjegyezzük, hogy erre az egyenletre a linearizáció módszere nem működik, hiszen az egyenlet linearizációja x = és y =, ami csak stabil egyensúlyi helyzettel rendelkezik, így az Tétel nem alkalmazható.

18 14 Hartung Ferenc: Differenciálegyenletek, MA11i, MA613d, 6/ Példa. V (x,y) = ax + by alakú Ljapunov-függvény megadásával igazoljuk, hogy az x = x + 5y y = 3xy egyenletrendszer (,) megoldása stabil! Olyan Ljapunov-függvényt keresünk, amelyre a > és b >, és amelyre V negatív szemidefinit. Tekintsük V (x,y) = ax( x + 5y ) + by( 3xy) = ax + (1a 6b)xy. Látható, hogy ha az x y-os tag nem esik ki, akkor ez előjelet válthat, azaz V nem biztos, hogy szemidefinit. Úgy választjuk meg tehát a paramétereket, hogy 1a 6b = teljesüljön. Ilyen például a = 3 és b = 5. Erre V (x,y) = 6x, ami csak negatív szemidefinit, hiszen V (,y) = minden y-ra Skaláris lineáris egyenletek stabilitása Tekintsük az a n y (n) + a n 1 y (n 1) + + a 1 y + a y = (5.15) konstans együtthatós n-edrendű skaláris lineáris homogén differenciálegyenletet és az y() = z 1, y () = z,..., y (n 1) () = z n kezdeti feltételt. Az (5.15) skaláris egyenlet y = u konstans megoldásait az egyenlet egyensúlyi helyzetének nevezzük. Ahogy ezt az 1.8. szakaszban láttuk, az (5.15) skaláris egyenlet ekvivalens egy x = Ax (5.16) homogén lineáris rendszerrel, ahol A = a a n a 1 a n a a n a 3 a n a n 1 a n és x(t) = (y(t),y (t),...,y (n 1) (t)) T. (5.17) A stabilitás, instabilitás és aszimptotikus stabilitás fogalmát értelemszerűen megfogalmazhatjuk a skaláris magasabbrendű lineáris egyenletek esetére is. Az (5.15) egyenlet y = egyensúlyi helyzetének az (5.16) egyenlet x = egyensúlyi helyzete felel meg. Azt mondjuk, hogy az (5.15) egyenlet y = egyensúlyi helyzete stabil, ha az (5.16) egyenlet x = egyensúlyi helyzete stabil, azaz bármely ε > -hoz létezik olyan δ >, hogy ha z < δ, akkor (y(t;z),...,y (n 1) (t;z)) T < ε minden t -ra. Ha például az euklideszi normát használjuk, akkor speciálisan teljesül az is, hogy y(t; z) < ε minden t -ra. Hasonlóan definiálhatjuk az aszimptotikus stabilitás és instabilitás fogalmát az (5.15) egyenletre. Természetesen nemlineáris skaláris n-edrendű egyenletekre is értelmezhetők a stabilitási fogalmak.

19 5. Stabilitáselmélet 15 Legyen λ az (5.15) skaláris egyenlet karakterisztikus gyöke, azaz a p(λ) = a n λ n + a n 1 λ n a 1 λ + a (5.18) karakterisztikus polinom gyöke. Láttuk, hogy ez azzal ekvivalens, hogy az (5.15) egyenletnek y(t) = e λt megoldása. De ekkor az (5.17) helyettesítést használva kapjuk, hogy x(t) = e λt ξ megoldása az (5.16) egyenletnek, ahol ξ = (1,λ,...,λ n 1 ) T, és λ sajátértéke az A mátrixnak. Fordítva, ha rögzítjük az A mátrix egy λ sajátértékét, akkor legyen ξ = (ξ 1,...,ξ n ) egy a λ-hoz tartozó sajátvektor, és ekkor x(t) = e λt ξ megoldása az (5.16) egyenletnek. De ekkor y(t) = e λt ξ 1 megoldása lesz az (5.15) egyenletnek, azaz λ gyöke az (5.15) karakterisztikus polinomnak. Megjegyezzük, hogy direkt módon is megmutatható, hogy det(a λi) = p(λ). Kapjuk tehát, hogy A sajátártékei egybeesnek p gyökeivel, így az Tételt erre az esetre megfogalmazva következik az alábbi eredmény: 5.. Tétel. Legyen λ 1,...,λ n az (5.18) képlettel definiált p karakterisztikus polinom gyökei. Ekkor az (5.15) egyenlet y = egyensúlyi helyzete (a) akkor és csak akkor stabil, ha Re λ i, i = 1,...,n, (b) akkor és csak akkor aszimptotikusan stabil, ha Re λ i <, i = 1,...,n. Az (5.18) alakú p polinomot stabil polinomnak nevezzük, ha minden gyökének valós része negatív. A következő tétel szükséges feltételt ad a stabilitásra Tétel. Ha az (5.18) alakú p polinom stabil, akkor a a n >, a 1 a n >,, a n 1 a n >. (5.19) A következő tétel szükséges és elegendő feltételt ad egy p polinom stabilitására Tétel (Routh Hurwitz-kritérium). Legyen p az (5.18) képlettel definiált, és legyen B = a 1 a a 3 a a 1 a a 5 a 4 a 3 a a 7 a 6 a 5 a 4.. a n a n 3 a n 4 a n a n 1 a n a n a polinom Routh Hurwitz-mátrixa, amelynek definíciója n n { ai j, ha i j n, b ij = egyébként, i,j = 1,...,n. Ekkor a p polinom akkor és csak akkor stabil, ha (5.19) teljesül és a B mátrix pozitív definit. A B mátrixot pozitív definitnek nevezzük, ha a hozzá tartozó x T Bx kvadratikus függvény pozitív definit. Megjegyezzük, hogy erre a Sylvester-tétel ad szükséges és elégséges feltételt.

20 16 Hartung Ferenc: Differenciálegyenletek, MA11i, MA613d, 6/ Példa. Tekintsük a p(λ) = 4λ 5 + 1λ 4 + 5λ 3 + 3λ + λ + 1 polinomot. Mutassuk meg, hogy p minden gyöke negatív valós részű, azaz p stabil polinom! Ehhez írjuk fel a Routh Hurwitz-mátrixot: a 1 a 1 1 a 3 a a 1 a B = a 5 a 4 a 3 a a 1 a 5 a 4 a = a 5 4 Ennek főminorai rendre és 1, = 5, = 117, = 3344, azaz a Routh-Hurwitz-kritérium feltételei teljesülnek, ezért a polinom stabil. = Alkalmazások 5.6. Példa. (ingamozgás surlódó közegben) Tekintsük a.34. Példában levezetett ingamozgást leíró egyenletet: θ + γ m θ + g sin θ =. (5.) L Feltesszük, hogy γ >, azaz olyan közegben történik a mozgás, ahol surlódás hat az ingára. Az x 1 = θ, x = θ helyettesítéssel kapjuk az x 1 = x x = g L sin x 1 γ m x egyenletrendszert. Ennek egyensúlyi helyzetei az x = g L sin x 1 γ m x = algebrai egyenletrendszer megoldásai, azaz x 1 = kπ és x = lesznek. Végtelen sok egyensúlyi helyzetet kaptunk, de ezek a forgásszögektől eltekintve két pozíciót definiálnak: az inga legalsó illetve legfelső pozíciójában, amikor az inga nyugalomban van. Linearizációs módszerrel vizsgáljuk a (kπ,) egyensúlyi helyzetek stabilitását. Számítsuk ki ehhez az függvény Jacobi-mátrixát: ( F(x 1,x ) = ( F (x 1,x ) = x g L sin x 1 γ m x 1 g L cos x 1 γ m ) ).

21 5. Stabilitáselmélet 17 Különböztessünk meg két esetet: 1. Legyen k = j páros (alsó nyugalmi pozíció). Ekkor ( F 1 (jπ,) = g L γ m ). Számítsuk ki a mátrix sajátértékeit: λ 1, = γ m ± γ 4g m L. (5.1) Három esetet különböztetünk meg: (a) < γ m < 4g L (kis surlódás esete). Ekkor komplex sajátértéket kapunk, amelynek valós része negatív. Azaz ebben az esetben a linearizált egyenlet egyensúlyi helyzete aszimptotikusan stabil fókusz. A nemlineáris egyenlet egyensúlyi helyzete is tehát szimptotikusan stabil lesz a linearizált stabilitás tétele szerint. (b) γ = 4g m L (kritikus surlódás esete). Ekkor kétszeres valós, negatív sajátértéke van a Jacobi-mátrixnak, azaz a linearizált egyenlet egyensúlyi helyzete aszimptotikusan stabil elfajult csomópont. A nemlineáris egyenlet egyensúlyi helyzete is tehát szimptotikusan stabil lesz. (c) γ > 4g m L (nagy surlódás esete). Ekkor két valós sajátértéke van a Jacobi-mátrixnak. Ellenőrizhetjük, hogy ekkor mindkét sajátérték negatív. Ebben az esetben tehát aszimptotikusan stabil csomópont lesz a linearizált egyenlet egyensúlyi helyzete. A nemlineáris egyenlet egyensúlyi helyzete is tehát szimptotikusan stabil lesz.. Legyen k = j + 1 páratlan (felső nyugalmi pozíció). Ekkor ( ) F 1 ((j + 1)π,) =, amelynek sajátértékei λ 1, = γ m ± γ + 4g m L. Két valós sajátértéke van a Jacobi-mátrixnak, ahol az egyik pozitív, a másik pedig negatív. Ezért a linearizált egyenlet egyensúlyi helyzete nyeregpont, azaz instabil. Ekkor a nemlineáris egyenlet egyensúlyi helyzete is instabil lesz. A kis surlódás esetén néhány trajektória grafikonja az 5.9. Ábrán látható. Jól látható, hogy a linearizált egyenlet egyensúlyi helyzetei stabilitási tulajdonságai megőrződnek a nemlineáris esetben. Az alsó egyensúlyi helyzetekben fókuszpont, a felső egyensúlyi helyzetekben pedig nyeregpontok nemlineáris deformációi láthatók. g L γ m 5.7. Példa. (ingamozgás surlódás nélkül) Tekintsük az (5.) ingamozgás egyenletét abban az esetben, amikor nem hat surlódás az ingára, azaz γ = : Rendszerré átírva a skaláris egyenletet az θ + g sinθ =. (5.) L x 1 = x x = g L sinx 1 egyenletrendszert kapjuk. Most is, ahogy az 5.6. Példában, a rendszer egyensúlyi helyzetei a (kπ,) pontok.

22 18 Hartung Ferenc: Differenciálegyenletek, MA11i, MA613d, 6/ y x Ábra. m = 1, L = 1, γ = y x Ábra. m = 1, L = 1, γ = A felső egyensúlyi helyzetben γ = -ra is egy pozitív és egy negatív sajátértéke lesz a Jacobimátrixnak, azaz a lineáris és így a nemlineáris egyenlet egyensúlyi helyzete is instabil lesz. Az alsó egyensúlyi helyzetben (páros k esete) az (5.1) képletből látható, hogy a Jacobimátrixnak tiszta képzetes sajátértékei vannak, azaz a linearizált egyenlet egyensúlyi helyzete centrum, azaz stabil az egyensúlyi helyzet. A linearizált stabilitás tétele viszont nem alkalmazható erre az esetre. Alkalmazzuk a Ljapunov-módszert a (,) egyensúlyi helyzet stabilitása eldöntésére. Ehhez egy Ljapunov-függvényt kell találnunk. Mechanikai alkalmazásokban konzervatív rendszerek esetén a test teljes energiája használható Ljapunov-függvényként. Az m tömegű test helyzeti energiája, azaz az a munka, amit a legalsó pozíció magasságából a θ = x 1 szöghöz tartozó magasságba emeléshez szükséges mgl(1 cos x 1 ). A test kinetikus energiája 1 ml (θ ) = 1 ml x. Tekintsük tehát a V (x 1,x ) = mgl(1 cos x 1 ) + 1 ml x függvényt. Legyen U egy olyan nyílt környezete (, )-nak, amely nem tartalmaz másik egyensúlyi helyzetet. Nyilván ekkor 1 cos x 1 > teljesül x 1 -ra U-ban, és ezért V pozitív definit. Számítsuk ki a rendszerre vonatkozó deriváltját: V (x 1,x ) = mglsin x 1 x 1 + ml x x = mglsin x 1 x ml x g L sin x 1 =. Kaptuk tehát, hogy speciálisan V negatív szemidefinit. A Ljapunov-féle stabilitási tételből következik, hogy az origó stabil egyensúlyi helyzet. Tekintsünk most egy (jπ,) általános alsó egyensúlyi helyzetet. Vezessük be az y 1 = x 1 jπ és y = x változókat. Ekkor y 1 = x 1 = x = y, y = x = g L sinx 1 = g L sin(y 1 + jπ) = g L sin y 1, és így az y 1 = y y = g L siny 1 teljesül. Mivel beláttuk korábban, hogy ennek a rendszernek az origó stabil egyensúlyi helyzete, ezért az eredeti rendszer (jπ,) egyensúlyi helyzete is stabil. Az 5.3. Ábrán surlódás nélküli ingamozgás esetének trajektóriái láthatók. Az alsó egyensúlyi helyzetekben centrum, a felső egyensúlyi helyzetben pedig nyeregpont nemlineáris deformációja látható. Az ábrán megfigyelhető az is, hogy vannak olyan speciális trajektóriák, amelyek

23 5. Stabilitáselmélet 19 összekötik a felső egyensúlyi helyzeteket. Azaz bármely pozícióhoz (szögelforduláshoz) létezik olyan sebesség, amellyel meglökve az ingát, az a következő ill. előző felső egyensúlyi helyzethez tart t esetén. Ha ennél a speciális kezdősebességnél kisebb sebességet kap az inga, akkor periodikusan leng oda-vissza. Ha pedig ennél nagyobb sebességgel lökjük meg, akkor forogni kezd a tengelye körül megállás nélkül.