《现代控制理论基础》第五章(讲义) 续地减小(即(x()<0),则x()→>0。 图5.2常数V圆和典型轨迹 V增大 定理5.1是 Lyapunov第二法的基本定理,下面对这一重要定理作几点说明。 (1)这里仅给出了充分条件,也就是说,如果我们构造出了 Lyapunov函数 I(x,1),那么系统是渐近稳定的。但如果我们找不到这样的 Lyapunov函数,我 们并不能给出任何结论,例如我们不能据此说该系统是不稳定的。 (2)对于渐近稳定的平衡状态,则 Lyapunov函数必存在。 (3)对于非线性系统,通过构造某个具体的 Lyapunov函数,可以证明系统 在某个稳定域内是渐近稳定的,但这并不意味着稳定域外的运动是不稳定的 对于线性系统,如果存在渐近稳定的平衡状态,则它必定是大范围渐近稳定的 (4)我们这里给出的稳定性定理,既适合于线性系统、非线性系统,也适合 于定常系统、时变系统,具有极其一般的普遍意义。 显然,定理5.1仍有一些限制条件,比如(x,1)必须是负定函数。如果在 r(x,1)上附加一个限制条件,即除了原点以外,沿任一轨迹(x,D)均不恒等于零, 则要求T(x,1)负定的条件可用v(x,)取负半定的条件来代替。 定理5.2(克拉索夫斯基,巴巴辛)考虑如下非线性系统 x(1)=f(x(1),1) 式中 f(0,1)≡0,对所有t≥to 若存在具有连续一阶偏导数的纯量函数(x,1),且满足以下条件: 1、V(x,1)是正定的 2、(x,1)是负半定的 3、VΦ(t;x0,l0),l对于任意和任意x≠0,在1≥t0时,不恒等于零,其中 的Φ(Gx0,l0)表示在t时从x出发的轨迹或解。则在系统原点处的平衡状态是大 范围渐近稳定的。《现代控制理论基础》第五章(讲义) 9 续地减小（即 V(x(t))  0  ），则 x(t) → 0 。 图 5.2 常数 V 圆和典型轨迹 ------------------------------------------------------------------ 定理 5.1 是 Lyapunov 第二法的基本定理，下面对这一重要定理作几点说明。 (1) 这里仅给出了充分条件，也就是说，如果我们构造出了 Lyapunov 函数 V(x,t) ，那么系统是渐近稳定的。但如果我们找不到这样的 Lyapunov 函数，我 们并不能给出任何结论，例如我们不能据此说该系统是不稳定的。 (2) 对于渐近稳定的平衡状态，则 Lyapunov 函数必存在。 (3) 对于非线性系统，通过构造某个具体的 Lyapunov 函数，可以证明系统 在某个稳定域内是渐近稳定的，但这并不意味着稳定域外的运动是不稳定的。 对于线性系统，如果存在渐近稳定的平衡状态，则它必定是大范围渐近稳定的。 (4) 我们这里给出的稳定性定理，既适合于线性系统、非线性系统，也适合 于定常系统、时变系统，具有极其一般的普遍意义。 显然，定理 5.1 仍有一些限制条件，比如  V(x,t) 必须是负定函数。如果在  V(x,t) 上附加一个限制条件，即除了原点以外，沿任一轨迹  V(x,t) 均不恒等于零， 则要求  V(x,t) 负定的条件可用  V(x,t) 取负半定的条件来代替。 定理 5.2 (克拉索夫斯基，巴巴辛) 考虑如下非线性系统 x (t) = f (x(t),t) 式中 f (0,t)  0 , 对所有 0 t  t 若存在具有连续一阶偏导数的纯量函数 V(x,t) ，且满足以下条件： 1、V(x,t) 是正定的； 2、V(x,t) 是负半定的； 3、 [ ( ; , ), ] 0 0 V  t x t t  对于任意 0 t 和任意 x0  0 ，在 0 t  t 时，不恒等于零，其中 的 ( ; , ) 0 0  t x t 表示在 0 t 时从 0 x 出发的轨迹或解。则在系统原点处的平衡状态是大 范围渐近稳定的