核心:基于Lyapunov方法
考虑常微分方程
方程(1)中f是连续函数。
- 对于Lyapunov函数V(t,x)和连续正定函数ωi(x),i=1,2,使得满足如下性质:
- ω1(x)≤V(t,x)≤ω2(x);
- ˙V(t,x)≤0,
则方程(1)的零解是一致稳定的。
- 对于Lyapunov函数V(t,x)和连续正定函数ωi(x),i=1,2,3,使得满足如下性质:
- ω1(x)≤V(t,x)≤ω2(x);
- ˙V(t,x)≤−ω3(x),
则方程(1)的零解是一致渐进稳定的。
考虑时滞微分方程
方程(1)中f是连续函数。核心思想是构造新的泛函W(t,x)=sups∈[−h,0]V(t+s,x(t+s)), h≥0. 证明泛函W(t,x)是满足上面的1或者2.即可得到W(t,x(t))是稳定(渐进稳定)的.
-
对于1中,如果还成立
If V(t+s,x(t+s))≤V(t,x(t)) s∈[−h,0]⇒ddtV(t,x(t))≤0,
则方程(2)的零解是一致稳定的。
-
对于2中,如果还成立
iI V(t+s,x(t+s))≤V(t,x(t)) s∈[−h,0]⇒ddtV(t,x(t))≤−ω3(x),
则方程(2)的零解是一致渐进稳定的。
|