李雅普诺夫函数 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 ...
随机推荐
- 最近项目中公用的JS
var closeid = 1; var isneedpwd = 0; var editor1; var NoCheckUrl = 0;//适用于框架 不验证权限 !=0验证 function Erp ...
- cell左右滑动展开更多按钮-MGSwipeTableCell
MGSwipeTableCell是一个UITableViewCell的子类, 它实现了左,右滑动展开更多按钮用来实现一些相关操作就和QQ好友列表滑动展开的按钮一样,封装的很好,动画效果也处理很到位,废 ...
- 【NOIP2014】伤感·伤感·伤感
Day <0 虽说初三的时候考过一次提高组,而且还考得不错,但自己还是挺看重这次NOIP的[你想想旁边两大神级别人物在死命刷题,蒟蒻怎敢颓废]于是切完所有复赛题后又做了好多好多次模拟赛,状态自己 ...
- 【树状数组区间修改区间求和】codevs 1082 线段树练习 3
http://codevs.cn/problem/1082/ [AC] #include<bits/stdc++.h> using namespace std; typedef long ...
- bzoj2648/2716 kdtree
SJY摆棋子 Time Limit: 20 Sec Memory Limit: 128 MBSubmit: 5199 Solved: 1813[Submit][Status][Discuss] D ...
- LA 并查集路径压缩
题目大意:有n个节点,初始时每个节点的父亲节点都不存在.有两种操作 I u v:把点节点u的父亲节点设为v,距离为|u-v|除以1000的余数.输入保证执行指令前u没有父亲节点. E u:询问u到根节 ...
- 标准C程序设计七---10
Linux应用 编程深入 语言编程 标准C程序设计七---经典C11程序设计 以下内容为阅读: <标准C程序设计>(第7版) 作者 ...
- 《Java虚拟机原理图解》 1.1、class文件基本组织结构
作为Java程序猿,我们知道,我们写好的.java 源代码,最后会被Java编译器编译成后缀为.class的文件,该类型的文件是由字节组成的文件,又叫字节码文件.那么,class字节码文件里面到底是有 ...
- flask如何使模板返回大文件,又不消耗大量内存
当我们要往客户端发送大量的数据,比如一个大文件时,将它保存在内存中再一次性发到客户端开销很大.比较好的方式是使用流,本篇就要介绍怎么在Flask中通过流的方式来将响应内容发送给客户端.此外,我们还会演 ...
- Linux上利用NFS实现远程挂载
两台服务器 192.168.1.1 [WEB服务器] 192.168.1.2 [录音服务器] 说明 在192.168.1.2服务器上每天有许多录音文件生成,192.168.1.1作为WEB服务器,里面 ...