非线性系统【五】|线性时变系统和线性化,逆定理
创始人
2024-06-03 15:34:19
0

非线性系统【五】|线性时变系统和线性化,逆定理

由线性时变系统x˙(t)=A(t)x(t)\dot{x}(t) = A(t)x(t)x˙(t)=A(t)x(t),使用状态转移矩阵进行描述,有
x(t)=Φ(t,t0)x(t0)x(t) = \Phi(t,t_0)x(t_0) x(t)=Φ(t,t0​)x(t0​)

定理4.11

当且仅当对于正常数kkk和λ\lambdaλ,状态转移矩阵满足不等式
∣∣Φ(t,t0)∣∣≤ke−λ(t−t0),∀t≥t0≥0||\Phi(t,t_0)|| \leq k e^{-\lambda (t-t_0)}, \forall t \geq t_0 \geq 0 ∣∣Φ(t,t0​)∣∣≤ke−λ(t−t0​),∀t≥t0​≥0
时,系统的平衡点x=0x=0x=0是(全局)一致渐近稳定的。

定理4.12

设x=0x=0x=0是系统的指数稳定平衡点。假设A(t)A(t)A(t)连续且有界,设Q(t)Q(t)Q(t)是连续且有界的正定对称矩阵,那么存在一个连续可微的正定对称矩阵P(t)P(t)P(t)满足方程
−P˙(t)=P(t)A(t)+AT(t)P(t)+Q(t)-\dot{P}(t)=P(t)A(t)+A^T(t)P(t)+Q(t) −P˙(t)=P(t)A(t)+AT(t)P(t)+Q(t)
因此,V(t,x)=xTP(t)xV(t,x)=x^TP(t)xV(t,x)=xTP(t)x是系统的李雅普诺夫函数,满足定理4.10的条件。

定理4.13

设x=0x=0x=0是非线性系统
x˙=f(t,x)\dot{x} = f(t,x) x˙=f(t,x)
的一个平衡点,其中f:[0,∞)×D→Rnf:[0,\infty) \times D \rightarrow R^nf:[0,∞)×D→Rn连续可微,D={x∈Rn∣∣∣x∣∣2x∈Rn∣∣∣x∣∣2​ A(t)=∂f∂x(t,x)∣x=0A(t) = \frac{\partial f}{\partial x} (t,x)|_{x=0} A(t)=∂x∂f​(t,x)∣x=0​
如果原点是线性系统x˙=A(t)x\dot{x}=A(t)xx˙=A(t)x的指数稳定平衡点,则它对非线性系统也是指数稳定平衡点。

定理4.14

设x=0x=0x=0是非线性系统x˙=f(t,x)\dot{x}=f(t,x)x˙=f(t,x)的平衡点,其中f:[0,∞)×D→Rnf:[0,\infty)\times D \rightarrow R^nf:[0,∞)×D→Rn连续可微,D={x∈Rn∣∣∣x∣∣2x∈Rn∣∣∣x∣∣2​x∈Rn∣∣∣x∣∣ ∣∣x(t)∣∣≤k∣∣x(t0)∣∣e−λ(t−t0),∀x(t0)∈D0,∀t≥t0≥0||x(t)|| \leq k ||x(t_0)||e^{-\lambda (t-t_0)},\forall x(t_0) \in D_0,\forall t \geq t_0 \geq 0 ∣∣x(t)∣∣≤k∣∣x(t0​)∣∣e−λ(t−t0​),∀x(t0​)∈D0​,∀t≥t0​≥0
于是,存在一个连续可微函数V:[0,∞)×D0→RV:[0, \infty) \times D_0 \rightarrow RV:[0,∞)×D0​→R满足不等式
c1∣∣x∣∣2≤V(t,x)≤c2∣∣x∣∣2c_1 ||x||^2 \leq V(t,x) \leq c_2 ||x||^2 c1​∣∣x∣∣2≤V(t,x)≤c2​∣∣x∣∣2
∂V∂t+∂V∂xf(t,x)≤−c3∣∣x∣∣2\frac{\partial V}{\partial t} + \frac{\partial V}{\partial x} f(t, x) \leq -c_3 ||x||^2 ∂t∂V​+∂x∂V​f(t,x)≤−c3​∣∣x∣∣2
∣∣∂V∂x∣∣≤c4∣∣x∣∣||\frac{\partial V}{\partial x}|| \leq c_4 ||x|| ∣∣∂x∂V​∣∣≤c4​∣∣x∣∣
其中c1c_1c1​,c2c_2c2​,c3c_3c3​,c4c_4c4​是正常数。此外如果r=∞r=\inftyr=∞和原点是全局指数稳定的,那么V(t,x)V(t,x)V(t,x)在RnR^nRn上有定义,且满足就上述不等式。进一步,如果系统是自治的,则可选择VVV与ttt无关。

定理4.15

设x=0x=0x=0是非线性系统x˙=f(t,x)\dot{x}=f(t,x)x˙=f(t,x)的平衡点,其中f:[0,∞)×D→Rnf:[0,\infty)\times D \rightarrow R^nf:[0,∞)×D→Rn连续可微,D={x∈Rn∣∣∣x∣∣2x∈Rn∣∣∣x∣∣2​ A(t)=∂f∂x(t,x)∣x=0A(t)=\frac{\partial f}{\partial x}(t,x)|_{x=0} A(t)=∂x∂f​(t,x)∣x=0​
那么,当且仅当x=0x=0x=0是线性系统x˙=A(t)x\dot{x}=A(t)xx˙=A(t)x的指数稳定平衡点时,它也是非线性系统的指数稳定平衡点。

相关内容

热门资讯

【NI Multisim 14...   目录 序言 一、工具栏 🍊1.“标准”工具栏 🍊 2.视图工具...
银河麒麟V10SP1高级服务器... 银河麒麟高级服务器操作系统简介: 银河麒麟高级服务器操作系统V10是针对企业级关键业务...
不能访问光猫的的管理页面 光猫是现代家庭宽带网络的重要组成部分,它可以提供高速稳定的网络连接。但是,有时候我们会遇到不能访问光...
AWSECS:访问外部网络时出... 如果您在AWS ECS中部署了应用程序,并且该应用程序需要访问外部网络,但是无法正常访问,可能是因为...
Android|无法访问或保存... 这个问题可能是由于权限设置不正确导致的。您需要在应用程序清单文件中添加以下代码来请求适当的权限:此外...
北信源内网安全管理卸载 北信源内网安全管理是一款网络安全管理软件,主要用于保护内网安全。在日常使用过程中,卸载该软件是一种常...
AWSElasticBeans... 在Dockerfile中手动配置nginx反向代理。例如,在Dockerfile中添加以下代码:FR...
AsusVivobook无法开... 首先,我们可以尝试重置BIOS(Basic Input/Output System)来解决这个问题。...
ASM贪吃蛇游戏-解决错误的问... 要解决ASM贪吃蛇游戏中的错误问题,你可以按照以下步骤进行:首先,确定错误的具体表现和问题所在。在贪...
月入8000+的steam搬砖... 大家好,我是阿阳 今天要给大家介绍的是 steam 游戏搬砖项目,目前...