李雅普诺夫稳定性
当启始点在区域V内,而轨迹均维持在区域U内(在附近),则系统在处为李雅普诺夫稳定
在数学和自动控制领域中,李雅普诺夫稳定性(英语:Lyapunov stability,或李亚普诺夫稳定性)可用来描述一个动力系统的稳定性。如果此动力系统任何初始条件在附近的轨迹均能维持在附近,那么该系统可以称为在处李雅普诺夫稳定。
若任何初始条件在附近的轨迹最后都趋近,那么该系统可以称为在处渐近稳定。指数稳定可用来保证系统最小的衰减速率,也可以估计轨迹收敛的快慢。
李雅普诺夫稳定性可用在线性及非线性的系统中。不过线性系统的稳定性可由其他方式求得,因此李雅普诺夫稳定性多半用来分析非线性系统的稳定性。李亚普诺夫稳定性的概念可以延伸到无限维的流形,即为结构稳定性,是考虑微分方程中一群不同但“接近”的解的行为。输入-状态稳定性(ISS)则是将李雅普诺夫稳定性应用在有输入的系统。
历史
这一稳定性以俄国数学家亚历山大·李亚普诺夫命名,他在1892年发表了他的博士论文《运动稳定性的一般问题》,文中给出了稳定性的科学概念、研究方法和相关理论。李雅普诺夫第一个考虑到在非线性系统到基于一个稳定点线性化的线性稳定理论的修正是必要的。他的作品,最初以俄文发行,后翻译为法文,但多年来来默默无闻。人们对它的兴趣突然在冷战初期(1953至1962年)开始,因当所谓的“李雅普诺夫第二方法”被认为适用于航空航天制导系统的稳定性,而这系统通常包含很强的非线性,其他方法并不适用。大量的相关出版物自那时起开始出现,并进入控制系统文献中。最近李雅普诺夫指数的概念(与李雅普诺夫稳定性第一种方法)引起了广泛兴趣,并与混沌理论结合了起来。
连续时间系统下的定义
考虑一个自治(autonomous)的非线式动态系统
,
其中是系统的状态向量,是原点的开邻域,且在范围内连续。我们可以不失一般性的假设原点即为一平衡点。
1.上述系统的原点为李雅普诺夫稳定的条件是:对于每个,均存在,使得在的条件下,只要,则。
2.上述系统的原点为渐近稳定的条件是:原点为李雅普诺夫稳定,均存在,使得在的条件下,。
3.上述系统的原点为指数稳定的条件是:原点为渐近稳定,且存在使得在的条件下,只要,则。
以下是上述数学定义的说明:
1.一个平衡点为李雅普诺夫稳定,表示若一个解的初值“够接近”平衡点(距平衡点的距离为),则其解会永远维持在平衡点附近(距平衡点的距离不超过),且此条件需针对所有任意的都要成立。
2.渐近稳定的意思是,初值够接近平衡点的解,不只是维持在平衡点附近,最后会收敛到平衡点。
3.指数稳定的意思是,解不但最后会收敛到平衡点,且收敛速度不慢于一已知的速率。
轨迹x为(区域的)吸引性(attractive),若针对所有够接近的轨迹y,下式均成立
for
若上述条件对所有轨迹均成立,则x有全域吸引性(globally attractive)。
因此,若x在稳定流形内,则x为渐近稳定的条件是有吸引性且稳定。(不过有吸引性不表示渐近稳定,利用同宿轨道(homoclinic orbit)就可以产生类似的反例。)
迭代系统下的定义
离散时间系统下稳定性的定义和连续时间系统下的定义几乎相同。以下为其定义,不过使用的是较多数学书籍上使用的定义。
令为度量空间而为一连续函数。点为李雅普诺夫稳定若针对每个皆存在使得针对所有的在以下条件成立时
下式就会成立
其中
称为渐近稳定若在稳定流形的内部。也就是存在使得而且下式成立。
李雅普诺夫稳定性理论
对于微分方程解之稳定性的研究称为稳定性理论。而李雅普诺夫稳定性定理只提供了稳定性的充份条件。
李雅普诺夫稳定性第二定理
考虑一个函数V(x) : Rn→R使得
·只有在处等号成立(正定函数)
·(负定)
则V(x)称为李雅普诺夫候选函数(Lyapunov function candidate),且系统(依李雅普诺夫的观点)为渐近稳定。
上式中是必要的条件。否则,可以用来“证明”有区域性稳定。另一个称为径向无界性(radial unboundedness)的条件则是用来得到全域渐近稳定的结果。
此种分析方式可类比为考虑一物理系统(如弹簧及质量的系统)及其中的能量。若系统能量随时间递减,且减少的能量不会恢复,而此系统最后一定会静止于某个特定的状态。最后的状态称为吸引子。不过针对一个物理系统,找到表达其精确能量的函数不一定容易,而且针对抽象数学系统、经济系统或生物系统,上述能量的概念又不一定适用。
利用李雅普诺夫的分析方式,可在不知道系统实际能量的情形下,证明系统的稳定性。不过前提是可以找到满足上述限制的李雅普诺夫函数。
例如考虑以下的系统
希望用李雅普诺夫函数来确认附近的稳定性。令
本身为正定函数.而V(x)的导函数如下
为负定函数,因此上述系统在附近为渐近稳定。
线性系统状态空间模型的稳定性
一个线性的状态空间模型
为渐近稳定(其实是指数稳定),若
的解存在。
其中且(正定矩阵)。(对应的李雅普诺夫函数为)
有输入值系统的稳定性
一个有输入(或受控制)的系统可以下式表示
其中输入u(t)可视为控制、外部输入、扰动、刺激或外力。这种系统的研究是控制理论研究的主题之一,也应用在控制工程中。
对于有输入的系统,需量化输入对系统稳定性的影响。在线性系统中会用BIBO稳定性来作分析的工具,在非线性系统中则会使用输入-状态稳定性。