Ljapunov függvény

Kapcsolódó fogalmak: 
energiafüggvény
Rövid szöveges bemutatás: 
A Ljapunov függvény egy speciális függvény. Csupán három kitételnek kell megfelelnie, hogy egy függvény Ljapunov függvény legyen. A függvényt a valós számok felett van értelmezve. A függvény értéke mindig pozitív, kivéve egy kiemelt bemeneten kívül, ahol az értéke 0. A függvény nem növekvő, azaz vagy állandó (a bemenethez tartozó kimenet megegyezik a szomszédos előző bemenethez tartozó kimenettel) vagy csökkenő. A függvény mindenhol egyszer legalább differenciálható. Ilyen függvények általában a rendszer energiafüggvényei, ahol a rendszer a kezdeti energiából folyamatosan veszít. (Egy rendszer energiája nem lehet negatív.)