Lyapunov stability

Angol

Főnév

Lyapunov stability (tsz. Lyapunov stabilities)

(informatika) A Lyapunov-stabilitás egy alapvető eszköz a nemlineáris dinamikus rendszerek viselkedésének vizsgálatában. Orosz matematikus, Alekszandr Mihajlovics Ljapunov dolgozta ki a 19. század végén. Lényege, hogy anélkül vizsgálhatjuk egy egyensúlyi pont stabilitását, hogy megoldanánk a differenciálegyenleteket.

A módszer alapja egy Lyapunov-függvény konstruálása, amely az energia fogalmához hasonló: ha ez a függvény időben csökken, akkor a rendszer „energiát veszít”, azaz visszatér az egyensúlyi állapothoz.

1. Rendszermodellezés

Tegyük fel, hogy egy autonóm nemlineáris rendszer adott:

${\dot {x}}=f(x),\quad x\in \mathbb {R} ^{n},\quad f(0)=0$

Itt ${\textstyle x=0}$ az egyensúlyi pont.

Célunk: annak vizsgálata, hogy ez az egyensúlyi pont stabil-e.

2. Stabilitás definíciók (Lyapunov szerint)

2.1. Stabil egyensúly (stabil in the sense of Lyapunov)

Az egyensúlyi pont stabil, ha minden ${\textstyle \varepsilon >0}$ esetén létezik ${\textstyle \delta >0}$ , hogy ha az induló állapot ${\textstyle \|x(0)\|<\delta }$ , akkor a pálya mindig az ${\textstyle \varepsilon }$ -sugárban marad:

$\|x(t)\|<\varepsilon \quad \forall t\geq 0$

2.2. Aszimptotikusan stabil egyensúly

Az előzőn túl még:

$\lim _{t\to \infty }x(t)=0$

→ nemcsak benn marad, hanem vissza is tér az egyensúlyba.

2.3. Instabil egyensúly

Ha nem teljesül a stabilitás feltétele.

3. A Lyapunov-függvény ötlete

A Lyapunov-függvény egy skalárfüggvény:

$V(x):\mathbb {R} ^{n}\to \mathbb {R} ,\quad V(0)=0,\quad V(x)>0{\text{ ha }}x\neq 0$

→ olyan, mint egy potenciális energia: pozitív a rendszer körül, és csökken, ha a rendszer közelít az egyensúlyhoz.

A függvény idő szerinti deriváltját vizsgáljuk az úton:

${\dot {V}}(x)={\frac {d}{dt}}V(x(t))=\nabla V(x)\cdot {\dot {x}}=\nabla V(x)\cdot f(x)$

4. Lyapunov stabilitás tételei

4.1. Stabilitás

Ha létezik egy környezet ${\textstyle D\subset \mathbb {R} ^{n}}$ és egy ${\textstyle V(x)}$ Lyapunov-függvény, amelyre:

${\textstyle V(x)>0}$ minden ${\textstyle x\neq 0}$
${\textstyle V(0)=0}$
${\textstyle {\dot {V}}(x)\leq 0}$

akkor a rendszer stabil az egyensúlyi pontban.

4.2. Aszimptotikus stabilitás

Ha az előzőeken túl:

${\textstyle {\dot {V}}(x)<0}$ minden ${\textstyle x\neq 0}$

akkor az egyensúly aszimptotikusan stabil.

4.3. Instabilitás

Ha ${\textstyle V(x)>0}$ , de ${\textstyle {\dot {V}}(x)>0}$ , akkor a rendszer instabil.

5. Példa

Vizsgáljuk:

${\dot {x}}=-x^{3}$

Lyapunov-függvény:

Legyen ${\textstyle V(x)={\frac {1}{2}}x^{2}}$

→ pozitív definit, mert ${\textstyle V(0)=0}$ , ${\textstyle V(x)>0}$ ha ${\textstyle x\neq 0}$

${\dot {V}}(x)=x\cdot {\dot {x}}=x\cdot (-x^{3})=-x^{4}<0{\text{ ha }}x\neq 0$

⇒ aszimptotikusan stabil.

6. Miben segít a Lyapunov-módszer?

Nem kell megoldani a differenciálegyenletet!
Általánosan alkalmazható nemlineáris rendszerekre is.
A stabilitást energiához hasonló mennyiség segítségével értelmezi.
Lokális vagy globális stabilitás is vizsgálható.

7. Lokális vs. globális stabilitás

Lokális stabilitás: csak az egyensúly környezetében vizsgáljuk a viselkedést.
Globális stabilitás: minden induló állapotra teljesül.

Globális stabilitás feltétele: a ${\textstyle V(x)\to \infty }$ , ha ${\textstyle \|x\|\to \infty }$ , és ${\textstyle {\dot {V}}(x)<0}$ minden ${\textstyle x\neq 0}$ .

8. Lineáris rendszerek esete

Legyen:

${\dot {x}}=Ax$

Egy szimmetrikus, pozitív definit ${\textstyle P}$ mátrix esetén keressük ${\textstyle V(x)=x^{T}Px}$ alakban a Lyapunov-függvényt.

Ha találunk ilyen ${\textstyle P}$ -t, amelyre:

$A^{T}P+PA<0$

akkor a rendszer aszimptotikusan stabil.

Ez a Lyapunov-egyenlőség alapja lineáris rendszerekhez.

9. Mit jelent pozitív definit?

Egy ${\textstyle V(x)}$ függvény vagy mátrix pozitív definit, ha:

${\textstyle V(x)>0}$ minden ${\textstyle x\neq 0}$
${\textstyle V(0)=0}$

Mátrix esetén: ${\textstyle x^{T}Px>0}$ minden ${\textstyle x\neq 0}$ .

10. Összefoglalás

A Lyapunov-stabilitás egy rendkívül hasznos módszer a rendszerek stabilitásának elemzésére – különösen nemlineáris rendszerek esetén, ahol más módszerek csődöt mondanak. A kulcs egy olyan függvény megtalálása, amely a rendszer viselkedését „energia”-ként írja le, és amelynek csökkenése a stabilitás jele.

A módszer:

Általános, nem igényli az egyenlet megoldását,
Széles körben alkalmazható, vezérlés, robotika, biológiai rendszerek, stb.
Lokális és globális stabilitás egyaránt vizsgálható.

További információk

Lyapunov stability - Szótár.net (en-hu)
Lyapunov stability - Sztaki (en-hu)
Lyapunov stability - Merriam–Webster
Lyapunov stability - Cambridge
Lyapunov stability - WordNet
Lyapunov stability - Яндекс (en-ru)
Lyapunov stability - Google (en-hu)
Lyapunov stability - Wikidata
Lyapunov stability - Wikipédia (angol)