https://zh.wikipedia.org/zh-hans/李亞普諾夫函數

李雅普诺夫函数Lyapunov function)是用来证明一动力系统或自治微分方程稳定性的函数。其名称来自俄罗斯数学家亚历山大·李亚普诺夫(Александр Михайлович Ляпунов)。李亚普诺夫函数在稳定性理论及控制理论中相当重要。

若一函数可能可以证明系统在某平衡点的稳定性,此函数称为李亚普诺夫候选函数Lyapunov-candidate-function)。不过目前还找不到一般性的方式可建构(或找到)一个系统的李亚普诺夫候选函数,而找不到李亚普诺夫函数也不代表此系统不稳定。在动态系统中,有时会利用守恒律来建构李亚普诺夫候选函数。

针对自治系统的李亚普诺夫定理,直接使用李亚普诺夫候选函数的特性。在寻找一个系统平衡点附近的稳定性时,此定理是很有效的工具。不过此定理只是一个证明平衡点稳定性的充分条件,不是必要条件。而寻找李亚普诺夫函数也需要碰运气,通常会用试误法(trial and error)来寻找李亚普诺夫函数。

Lyapunov Function -- from Wolfram MathWorld http://mathworld.wolfram.com/LyapunovFunction.html

稳定性问题的实质是考察系统由初始状态扰动引起的受扰运动能否趋近或返回到原平衡状态。

https://baike.baidu.com/item/李雅普诺夫稳定性/11038083?fr=aladdin

李雅普诺夫意义下的稳定性
指对系统平衡状态为稳定或不稳定所规定的标准。主要涉及稳定、渐近稳定、大范围渐近稳定和不稳定。
  ①稳定 用S(ε)表示状态空间中以原点为球心以ε为半径的一个球域,S(δ)表示另一个半径为δ的球域。如果对于任意选定的每一个域S(ε),必然存在相应的一个域S(δ),其中δ0,都存在实数δ(ε,t0),满足不等式ε>δ(ε,t0)>0,它使从满足不等式的任一初态x0出发的运动对于t≥t0满足不等式
  则称状态空间的原点xe=0是李雅普诺夫意义下稳定的。其中,δ的大小不仅与给定的ε值有关,而且也与初始时刻t0有关。当定义中δ值的选取和初始时刻t0无关时,称xe=0是一致稳定的。对定常系统,稳定等同于一致稳定。
  ②渐近稳定 如果原点平衡状态是李雅普诺夫意义下稳定的,而且在时间t趋于无穷大时受扰运动φ(t;x0,t0)收敛到平衡状态xe=0,则称系统平衡状态是渐近稳定的。从实用观点看,渐近稳定比稳定重要。在应用中,确定渐近稳定性的最大范围是十分必要的,它能决定受扰运动为渐近稳定前提下初始扰动x0的最大允许范围。
  ③大范围渐近稳定 又称全局渐近稳定,是指当状态空间中的一切非零点取为初始扰动x0时,受扰运动φ(t;x0,t0)都为渐近稳定的一种情况。在控制工程中总是希望系统具有大范围渐近稳定的特性。系统为全局渐近稳定的必要条件是它在状态空间中只有一个平衡状态。
  ④不稳定 如果存在一个选定的球域S(ε),不管把域S(δ)的半径取得多么小,在S(δ)内总存在至少一个点x0,使由这一状态出发的受扰运动轨线脱离域S(ε),则称系统原点平衡状态xe=0是不稳定的。
  当状态空间为二维平面时,系统平衡状态xe的稳定、渐近稳定、不稳定的含义,可用图表示。 李雅普诺夫函数  李雅普诺夫第二方法是在推广振动系统稳定性基础上建立的。根据力学原理,如果一个振动系统的总能量随时间连续减小,直到平衡状态为止,那么振动系统就是稳定的。李雅普诺夫把这一原理推广到可用状态方程描述的一般系统,并且引入一个虚构的能量函数,称为李雅普诺夫函数。李雅普诺夫函数具有能量函数的基本特征,也是和系统运动有关的一个标量函数,但其含义比能量更为一般,常用V(x,t)来表示。当李雅普诺夫函数仅与状态有关而与时间t无直接关系时,可用V(x)表示。在李雅普诺夫第二方法中,通过对V(x,t)及其导数的符号特征的分析,可判断平衡状态为稳定、渐近稳定或不稳定。这样做比通过求状态方程的解来判断容易得多。对于简单非线性系统李雅普诺夫函数常可取为x的一个二次型函数V(x)=xTQx,其中xT为x的转置,Q为正定对称矩阵。不过,对于复杂的系统,寻找李雅普诺夫函数可能十分困难。
 
 

李雅普诺夫函数 LyapunovFunction 李雅普诺夫意义下的稳定性的更多相关文章

  1. 【c++基础】static修饰的函数作用与意义

    static修饰的函数作用与意义 static修饰的函数叫做静态函数,静态函数有两种,根据其出现的地方来分类: 如果这个静态函数出现在类里,那么它是一个静态成员函数: 静态成员函数的作用在于:调用这个 ...

  2. HDU - 5755:Gambler Bo (开关问题,%3意义下的高斯消元)

    pro:给定N*M的矩阵,每次操作一个位置,它会增加2,周围4个位置会增加1.给定初始状态,求一种方案,使得最后的数都为0:(%3意义下. sol:(N*M)^3的复杂度的居然过了.          ...

  3. HDU 5627 Clarke and MST &意义下最大生成树 贪心

    题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=5627 题意:Bestcoder的一道题,让你求&意义下的最大生成树. 解法: 贪心,我们从高位 ...

  4. 2019牛客暑期多校训练营(第九场)B:Quadratic equation (二次剩余求mod意义下二元一次方程)

    题意:给定p=1e9+7,A,B.  求一对X,Y,满足(X+Y)%P=A; 且(X*Y)%P=B: 思路:即,X^2-BX+CΞ0;  那么X=[B+-sqrt(B^2-4C)]/2: 全部部分都要 ...

  5. hdu 6088 Rikka with Rock-paper-scissors (2017 多校第五场 1004) 【组合数学 + 数论 + 模意义下的FFT】

    题目链接 首先利用组合数学知识,枚举两人的总胜场数容易得到 这还不是卷积的形式,直接搞的话复杂度大概是O(n^2)的,肯定会TLE.但似乎和卷积有点像?想半天没想出来..多谢Q巨提醒,才知道可以用下面 ...

  6. 模意义下的FFT算法

    //写在前面 单就FFT算法来说的话,下面只给出个人认为比较重要的推导,详细的介绍可参考 FFT算法学习笔记 令v[n]是长度为2N的实序列,V[k]表示该实序列的2N点DFT.定义两个长度为N的实序 ...

  7. Newcoder Wannafly13 B Jxy军训(费马小定理、分数在模意义下的值)

    链接:https://www.nowcoder.com/acm/contest/80/B 题目描述 在文某路学车中学高一新生军训中,Jxc正站在太阳下站着军姿,对于这样的酷热的阳光,Jxc 表示非常不 ...

  8. c语言中变量/函数命名以单下划线(_)和双下划线(__) 开头的意义

    以单下划线(_)表明是标准库的变量 双下划线(__) 开头表明是编译器的变量 建议自己在命名的时候不要用下划线开头,避免与标准库中的命名冲突 命名方法有好多,何必为自己找不自在呢.

  9. 复杂的 Hash 函数组合有意义吗?

    很久以前看到一篇文章,讲某个大网站储存用户口令时,会经过十分复杂的处理.怎么个复杂记不得了,大概就是先 Hash,结果加上一些特殊字符再 Hash,结果再加上些字符.再倒序.再怎么怎么的.再 Hash ...

随机推荐

  1. 九度oj 题目1100:最短路径

    题目描述: N个城市,标号从0到N-1,M条道路,第K条道路(K从0开始)的长度为2^K,求编号为0的城市到其他城市的最短距离 输入: 第一行两个正整数N(2<=N<=100)M(M< ...

  2. BZOJ 2431: [HAOI2009]逆序对数列【dp】

    Description 对于一个数列{ai},如果有i<j且ai>aj,那么我们称ai与aj为一对逆序对数.若对于任意一个由1~n自然数组成的数列,可以很容易求出有多少个逆序对数.那么逆序 ...

  3. ReSharper7.1.25.234 注册机

    经常用vs做开发的人都知道,ReSharper是vistual studio必备插件之一.他的智能提示,智能感知,.net底层方法查看,测试等都非常方便,给程序员带来了巨大的效率. 但众所周知ReSh ...

  4. Java Socket应用

    Java Socket(套接字)通常也称作"套接字",用于描述IP地址和端口,是一个通信链的句柄.应用程序通常通过"套接字"向网络发出请求或者应答网络请求.

  5. Oracle 12c PDB和CDB全局用户权限问题

    Oracle12c版本中引入了新的CDB和PDB 默认登陆CDB后创建的用户为全局用户必须以c##开头 如果要访问CDB中的表,可以用GRANT命令赋权 但是上面的赋权并不会再PDB中生效 如果要这个 ...

  6. Oracle 12c在PDB中创建scott/tiger

    scott/tiger一直以来是oracle数据的默认用户,但是跟之前的版本相比,Oracle 12c引入了PDB管理,所以要麻烦一些 下面假设管理员为SYS/Oracle12csys,在orcl实例 ...

  7. python3.x之print()

    1.print内容 #!/usr/bin/python print('hello world')    //print("hello world") 2.print变量 #!/us ...

  8. 关于几种UI框架简单总结

    最近两年多的时间先后做过几款终端程序,UI框架从MFC转向过WxWidgets,之后再转向Qt.三种框架精通远谈不上,用起来还是没什么问题. 简单聊聊三种框架的优缺点. 1.MFC 似乎作为一种饱受批 ...

  9. 51 NOD 1383 整数分解为2的幂

    设f[i]为i这个数的划分方案,则: 1.i是奇数的时候,最前面只能放1,所以f[i] = f[i-1] 2.i是偶数的时候,最前面可以放1也可以不放1,而不放1的时候数列都是偶数所以 f[i] = ...

  10. 《Java虚拟机原理图解》 1.2.3、Class文件中的常量池详解(下)

    CONSTANT_Fieldref_info, CONSTANT_Name_Type_info) 一般而言,我们在定义类的过程中会定义一些 field 字段,然后会在这个类的其他地方(如方法中)使用到 ...