李雅普诺夫函数 LyapunovFunction 李雅普诺夫意义下的稳定性
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 李雅普诺夫意义下的稳定性的更多相关文章
- 【c++基础】static修饰的函数作用与意义
static修饰的函数作用与意义 static修饰的函数叫做静态函数,静态函数有两种,根据其出现的地方来分类: 如果这个静态函数出现在类里,那么它是一个静态成员函数: 静态成员函数的作用在于:调用这个 ...
- HDU - 5755:Gambler Bo (开关问题,%3意义下的高斯消元)
pro:给定N*M的矩阵,每次操作一个位置,它会增加2,周围4个位置会增加1.给定初始状态,求一种方案,使得最后的数都为0:(%3意义下. sol:(N*M)^3的复杂度的居然过了. ...
- HDU 5627 Clarke and MST &意义下最大生成树 贪心
题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=5627 题意:Bestcoder的一道题,让你求&意义下的最大生成树. 解法: 贪心,我们从高位 ...
- 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: 全部部分都要 ...
- hdu 6088 Rikka with Rock-paper-scissors (2017 多校第五场 1004) 【组合数学 + 数论 + 模意义下的FFT】
题目链接 首先利用组合数学知识,枚举两人的总胜场数容易得到 这还不是卷积的形式,直接搞的话复杂度大概是O(n^2)的,肯定会TLE.但似乎和卷积有点像?想半天没想出来..多谢Q巨提醒,才知道可以用下面 ...
- 模意义下的FFT算法
//写在前面 单就FFT算法来说的话,下面只给出个人认为比较重要的推导,详细的介绍可参考 FFT算法学习笔记 令v[n]是长度为2N的实序列,V[k]表示该实序列的2N点DFT.定义两个长度为N的实序 ...
- Newcoder Wannafly13 B Jxy军训(费马小定理、分数在模意义下的值)
链接:https://www.nowcoder.com/acm/contest/80/B 题目描述 在文某路学车中学高一新生军训中,Jxc正站在太阳下站着军姿,对于这样的酷热的阳光,Jxc 表示非常不 ...
- c语言中变量/函数命名以单下划线(_)和双下划线(__) 开头的意义
以单下划线(_)表明是标准库的变量 双下划线(__) 开头表明是编译器的变量 建议自己在命名的时候不要用下划线开头,避免与标准库中的命名冲突 命名方法有好多,何必为自己找不自在呢.
- 复杂的 Hash 函数组合有意义吗?
很久以前看到一篇文章,讲某个大网站储存用户口令时,会经过十分复杂的处理.怎么个复杂记不得了,大概就是先 Hash,结果加上一些特殊字符再 Hash,结果再加上些字符.再倒序.再怎么怎么的.再 Hash ...
随机推荐
- ASP.NET项目使用MYSQL数据库部署到IIS服务器找不到请求的.Net Framework Data Provider解决方案
使用MySQL开发过程中在自己的机器上跑项目是没有问题的,但在实际部署到服务器上的时候就发生“找不到请求的.Net Framework Data Provider解决方案”错误,在排除项目本身原因之后 ...
- Python2.6.6升级2.7.3
Python2.7替换2.6: 1.下载Python-2.7.3 #wget http://python.org/ftp/python/2.7.3/Python-2.7.3.tar.bz2 2.解压 ...
- 【Luogu】P3455Zip-Queries(莫比乌斯反演)
题目链接 真是神TM莫比乌斯 首先来看一个神奇的结论:求gcd(x,y)==k的对数,其中1<=x<=n,1<=y<=m 等同于求gcd(x,y)==1的对数,其中1<= ...
- BZOJ 2005 [Noi2010]能量采集 ——Dirichlet积
[题目分析] 卷积一卷. 然后分块去一段一段的求. O(n)即可. [代码] #include <cstdio> #include <cstring> #include < ...
- UVA 11297 Census ——二维线段树
[题目分析] 二维线段树模板题目. 简直就是无比的暴力.时间复杂度为两个log. 标记的更新方式比较奇特,空间复杂度为N^2. 模板题目. [代码] #include <cstdio> # ...
- mybatis学习(二)——环境搭建
开发环境搭建主要包括以下几步 1.新建一个JAVA项目(可以只建一个文件夹) 2.导入jar包 log4j是一个日志包,可以不加,这里为了定位问题添加了该包,下面两个包必须需要. 3.创建数据库 C ...
- 【二叉树】hdu 1622 Trees on the level
[题意] 给定一棵树每个结点的权重和路径(路径用LR串表示),输出这棵树的层次遍历 [思路] 注意输入输出,sscanf用来格式化地截取需要的数据,strchr来在字符串中查找字符的位置 [Accep ...
- ElasticSearch API 之 GET
GET API是Elasticsearch中常用的操作,一般用于验证文档是否存在:或者执行CURD中的文档查询.与检索不同的是,GET查询是实时查询,可以实时查询到索引结果.而检索则是需要经过处理才能 ...
- TYVJ4623 球球大作战·生存
时间: 500ms / 空间: 65536KiB / Java类名: Main 背景 小天很喜欢玩球球大作战这个游戏,大家也应该都玩过.游戏规则是:移动自己的球,移动到别人的球(一定要比自己的球小)的 ...
- lnux 下 core文件
1. core文件的简单介绍在一个程序崩溃时,它一般会在指定目录下生成一个core文件.core文件仅仅是一个内存映象(同时加上调试信息),主要是用来调试的. 2. 开启或关闭core文件的生成用以下 ...