第四章稳定性与李雅普诺夫方法ppt课件

23 04 2020 1 第四章稳定性与李雅普诺夫方法 23 04 2020 2 一个实际的系统必须是稳定的 不稳定的系统是不可能付诸于工程实施的 系统的稳定性 表示系统在遭受外界绕扰动偏离原来的平衡状态 而在扰动消失后 系统自身仍有能力恢复到原来平衡状态的一种 顽性 可按两种方式来定义系统运动的稳定性 通过输入 输出关系来表征的外部稳定性 通过零输入状态下的状态运动的响应来表征的内部稳定性 只是在满足一定的条件时 系统的内部稳定性和外部稳定性之间才存在等价关系 23 04 2020 3 在经典控制理论中 对于单输入单输出线性定常系统 应用劳斯 Routh 判据和赫尔维茨 Hurwitz 判据等代数方法判定系统的稳定性 非常方便有效 至于频域中的奈奎斯特 Nyquist 判据则是更为通用的方法 它不仅用于判定系统是否稳定 而且还指明改善系统稳定性的方向 上述方法都是以分析系统特征方程在根平面上根的分布为基础的 但对于非线性和时变系统 这些判据不适用了 早在1892年 俄国数学家李雅普诺夫就提出将判定系统稳定性的问题归纳为两种方法 李雅普诺夫第一法和李雅普诺夫第二法 前者是通过求解系统微分方程 然后根据解的性质来判定系统的稳定性 它的基本思想和分析方法与经典理论是一致的 23 04 2020 4 本章重点讨论李雅普诺夫第二法 它的特点是不求解系统方程 而是通过一个叫李雅普诺夫函数的标量函数来直接判定系统的稳定性 因此 它特别适用于那些难以求解的非线性系统和时变系统 李雅普诺夫第二法除了用于对系统进行稳定性分析外 还可用于对系统瞬态响应的质量进行评价以及求解参数最优化问题 此外 在现代控制理论的许多方面 例如最优系统设计 最优估值 最优滤波以及自适应控制系统设计等 李雅普诺夫理论都有广泛的应用 23 04 2020 5 4 1外部稳定性和内部稳定性 23 04 2020 6 的输入u t 所产生的输出y t 也是有界的 即成立 则称此因果系统是外部稳定的 也即是有界输入 有界输出稳定的 并简称为BIBO稳定 一 外部稳定性 考虑一个线性因果系统 如果对应于一个有界的输入u t 即满足条件 23 04 2020 7 在讨论外部稳定性时 必须假定系统的初始条件为零 在这种假定下 系统的输入 输出描述才是唯一的和有意义的 对于零初始条件的线性定常系统 G s 为其传递函数阵 则系统为BIBO稳定的充要条件是 当G s 为真的有理分式函数矩阵时 G s 的每一个元传递函数的所有极点均具有负实部 23 04 2020 8 如果外输入u t 0 初始状态x0为任意 且由x0引起的零输入响应 t 0 x0 0 满足关系式 则称系统是内部稳定的 或称为是渐近稳定的 二 内部稳定性 23 04 2020 9 对于该式所描述的线性定常系统 其为渐近稳定的充分必要条件是矩阵A的所有特征值均具有负实部 即 其中n为系统的维数 那么就可利用劳斯 赫尔维茨判据 直接由特征多项式的系数来判断系统的渐近稳定性 当矩阵A给定后 则一旦导出其特征多项式 23 04 2020 10 三 内部稳定性和外部稳定性间的关系 结论1 线性定常系统是内部稳定的 则其必是BIBO稳定的 结论2 线性定常系统是BIBO稳定的 不能保证系统必是渐近稳定的 证 由系统结构的规范分解定理可知 通过引入线性非奇异变换 可将系统分解为能控能观 能控不能观 不能控能观和不能控不能观四个部分 而输入 输出特性只能反映系统的能控能观部分 因此 系统的BIBO稳定只是意味着其能控能观部分为渐近稳定 它既不表明也不要求系统的其它部分是渐近稳定的 结论3 如果线性定常系统为能控和能观的 则其内部稳定性与外部稳定性必是等价的 23 04 2020 11 分析系统的外部稳定性与内部稳定性 传递函数的极点s 1位于s的左半平面 故系统外部稳定 可得特征值 1 1 2 1 这是因为具有正实部的特征值 2 1被系统的零点s 1对消了 所以在系统的输入输出特性中没被表现出来 故系统不是内部稳定的 举例 23 04 2020 12 4 2李雅普诺夫关于稳定性的定义 23 04 2020 13 线性系统的稳定性只决定于系统的结构和参数 而与系统的初始条件及外界扰动的大小无关 非线性系统的稳定性则还与初始条件及外界扰动的大小有关 因此在经典控制理论中没有给出稳定性的一般定义 李雅普诺夫给出了对任何系统都普遍适用的稳定性的一般定义 23 04 2020 14 一 系统状态的运动及平衡状态 设所研究的齐次状态方程为 f为与x同维的向量函数 是x的各元素x1 x2 xn和时间t的函数 23 04 2020 15 设方程式在给定初始条件 t0 x0 下 有唯一解 表示x在初始时刻t0的状态 x描述了系统在n维状态空间中从初始条件 t0 x0 出发的一条状态运动的轨线 称系统的运动或状态轨线 运动 状态轨线 23 04 2020 16 成立 则称xe为系统的平衡状态 若系统存在状态向量xe 对所有t 都使 对于一个任意系统 不一定都存在平衡状态 有时即使存在也未必是唯一的 当A为非奇异矩阵时 满足Axe 0的解xe 0是系统唯一存在的一个平衡状态 而当A为奇异矩阵时 则系统将有无穷多个平衡状态 平衡状态 23 04 2020 17 对非线性系统 通常可有一个或多个平衡状态 稳定性问题都是相对于某个平衡状态而言的 线性定常系统 其所有平衡状态的稳定性都是一样的 所以才笼统地讲所谓的系统稳定性问题 对其余系统则由于可能存在多个平衡点 而不同平衡点可能表现出不同的稳定性 因此必须逐个加以讨论 23 04 2020 18 状态向量x与平衡状态xe的距离 为欧几里德范数 在n维状态空间中 当 很小时 则称s 为xe的邻域 二 稳定性的几个定义 点集s 以xe为中心 为半径的超球体 x s 如系统的解 位于球域s 内 则 表明系统由初态x0或短暂扰动所引起的自由响应是有界的 李雅普诺夫根据系统自由响应是否有界把系统的稳定性定义为四种情况 23 04 2020 19 如果系统对于任意选定的实数 0 都存在另一实数 t0 0 使当 时 从任意初态x0出发的解都满足 则称平衡状态xe为李雅普诺夫意义下稳定 1 李雅普诺夫意义下稳定 其中实数 与 有关 一般情况下也与t0有关 如果与t0无关 则称这种平衡状态是一致稳定的 23 04 2020 20 若对应于每一个s 都存在一个s 使当t无限增长使 从s 出发的状态轨线 系统的响应 总不离开s 即系统响应的幅值是有界的 则称平衡状态xe为李雅普诺夫意义下的稳定 简称为稳定 23 04 2020 21 如果平衡状态xe是稳定的 而且当t无限增长时 轨线不仅不超出s 而且最终收敛于xe 则称这种平衡状态xe渐近稳定 2 渐近稳定 23 04 2020 22 从工程意义上说 渐近稳定比稳定更重要 但渐近稳定是一个局部概念 通常只确定某平衡状态的渐近稳定性并不意味着整个系统就能正常运行 因此 如何确定渐近稳定的最大区域 并且尽可能扩大其范围是尤其重要的 23 04 2020 23 如果平衡状态xe是稳定的 而且从状态空间中所有初始状态出发的轨线都具有渐近稳定性 称这种平衡状态xe大范围渐近稳定 3 大范围渐近稳定 显然 大范围渐近稳定的必要条件是在整个状态空间中只有一个平衡状态 对于线性系统来说 由于满足叠加原理 如果平衡状态是渐近稳定的 则必然是大范围渐近稳定的 对于非线性系统 使xe为渐近稳定平衡状态的球域s 一般是不大的 常称这种平衡状态为小范围渐近稳定 23 04 2020 24 如果对于某个实数 0和任一实数 0 不管 这个实数多么小 由s 内出发的状态轨线 至少有一个轨线越过s 则称这种平衡状态xe不稳定 4 不稳定 23 04 2020 25 球域s 限制着初始状态x0的取值 球域s 规定了系统自由响应的边界 则称xe渐近稳定 如果x t 为有界 则称xe稳定 如果x t 不仅有界而且有 如果x t 为无界 则称xe不稳定 在经典控制理论中 只有渐近稳定的系统才称做稳定系统 只在李雅普诺夫意义下稳定 但不是渐近稳定的系统则称临界稳定系统 这在工程上属于不稳定系统 23 04 2020 26 4 3李雅普诺夫第一法 23 04 2020 27 李雅普诺夫第一法又称间接法 它的基本思路是通过系统状态方程的解来判别系统的稳定性 对于线性定常系统 解出特征方程的根即可作出稳定性判断 对于非线性不很严重的系统 可通过线性化处理 取其一次近似得到线性化方程 然后根据其特征根来判断系统的稳定性 23 04 2020 28 xe 0为它的一个平衡状态 一 线性系统的稳定判据 特征值判据 考察没有外输入作用存在时的线性定常自治系统 对于该系统 其原点平衡状态的稳定性 完全由A决定 根据A的特征值的分布来判断系统的稳定性时 其判据为 结论1 系统的每一平衡状态是在李雅普诺夫意义下稳定的充分必要条件为 A的所有特征值均具有非正 负或零 实部 且具有零实部的特征值为A的最小多项式的单根 结论2 系统的唯一平衡状态xe 0是渐近稳定的充分必要条件为 A的所有特征值均具有负实部 由于所讨论的系统为线性的和定常的 所有其为稳定时必是一致稳定的 当其为渐近稳定时必是大范围一致渐近稳定的 23 04 2020 29 考虑线性定常自治系统 其平衡状态为 其中 x2和x3为任意实数 也即 状态空间x2 x3中平面上的每一个点均为平衡状态 举例 23 04 2020 30 其最小多项式为s s 1 A的特征值为 1 0 0 特征值0仅是最小多项式的一个单根 根据特征值判据 此系统的每个平衡状态是李雅普诺夫意义下稳定的 但不是渐近稳定的 举例 23 04 2020 31 设系统的状态方程为 为讨论系统在xe的稳定性 可将非线性向量函数f x t 在xe邻域内展成泰勒级数 得 R x 为级数展开式中的高阶导数项 二 非线性系统的稳定性 称为雅可比 Jacobian 矩阵 23 04 2020 32 若令 x x xe 并取一次近似式 可得系统的线性化方程 在一次近似的基础上 李雅普诺夫给出下列结论 1 如果系数矩阵A的所有特征值都具有负实部 则原非线性系统在平衡状态xe是渐近稳定的 而且系统的稳定性与R x 无关 2 如果A的特征值 至少有一个具有正实部 则原非线性系统的平衡状态xe是不稳定的 3 如果A的特征值 至少有一个的实部为零 系统处于临界情况 那么原非线性系统的平衡状态xe的稳定性将取决于高阶导数项R x 而不能由A的特征值符号来确定 23 04 2020 33 系统状态方程为 分析系统在平衡状态处的稳定性 举例 23 04 2020 34 在xe1处线性化 系统有两个平衡状态 1 1 2 1 可见原非线性系统在xe1处是不稳定的 12 j 实部为零 因而不能由线性化方程得出原非线性系统在xe2处稳定性的结论 在xe2处线性化 这种情况要应用李雅普诺夫第二法进行判定 23 04 2020 35 4 4李雅普诺夫第二法 23 04 2020 36 李雅普诺夫第二法又称直接法 它的基本思想不是通过求解系统的运动方程 而是借助于一个李雅普诺夫函数来直接对系统平衡状态的稳定性作出判断 它是从能量观点进行稳定性分析的 如果一个系统被激励后 其存储的能量随着时间的推移逐渐衰减 到达平衡状态时 能量将达最小值 那么 这个平衡状态是渐近稳定的 反之 如果系统不断地从外界吸收能量 储能越来越大 那么这个平衡状态就是不稳定的 如果系统的储能既不增加 也不消耗 那么这个平衡状态就是李雅普诺夫意义下的稳定 23 04 2020 37 如图所示曲面上的小球B 受到扰动作用后 偏离平衡点A到达状态C 获得一定的能量 能量是系统状态的函数 然后便开始围绕平衡点A来回振荡 如果曲面表明绝对光滑 运动过程不消耗能量 也不再从外界吸收能量 储能对时间便没有变化 那么 振荡将等幅地一直维持下去 这就是李雅普诺夫意义下的稳定 如果曲面表面有摩擦 振荡过程将消耗能量 储能对时间的变化率为负值 那么振荡幅值将越来越小 直至最后小球又回复到平衡点A 根据定义 这个平衡状态便是渐近稳定的 23 04 2020 38 由此可见 按照系统运动过程中能量变化趋势的观点来分析系统的稳定性是直观而方便的 但是 由于系统的复杂性和多样性 往往不能直观地找到一个能量函数来描述系统的能量关系 于是李雅普诺夫定义一个正定的标量函数V x 作为虚构的广义能量函数 然后 根据的符号特征来判别系统的稳定性 对一个给定系统 若能找到一个正定的标量函数V x 而是负定的 则这个系统是渐近稳定的 这个V x 叫做李雅普诺夫函数 实际上 任何一个标量函数只有满足李雅普诺夫稳定性判据所假设的条件 均可作为李雅普诺夫函数 23 04 2020 39 由此可见 应用李雅普诺夫第二法的关键问题便可归结为寻找李雅普诺夫函数V x 的问题 过去 寻找李雅普诺夫函数主要是靠试探 几乎完全凭借设计者的经验和技巧 这严重地阻碍着李雅普诺夫第二法的推广应用 现在 随着计算机技术的发展 凭借数字计算机不仅可以找到所需要的李雅普诺夫函数 而且还能确定系统的稳定区域 但是要想找到一套对任何系统都普遍适用的方法仍很困难 23 04 2020 40 一 预备知识 1 标量函数的符号性质 设V x 为由n维向量x所定义的标量函数 x 且在x 0处 恒有V x 0 对所有在域 中的任何非零向量x 如果成立 1 V x 0 称V x 为正定的 2 V x 0 称V x 为半正定 或非负定 的 3 V x 0 称V x 为负定的 4 V x 0 称V x 为半负定 或非正定 的 5 V x 0或V x 0 称V x 为不定的 23 04 2020 41 V 0 0 V x 0 所以V x 为半正定 或非负定 的 对非零x 如 举例 23 04 2020 42 标量函数为 因为有V 0 0 而且当 也使V x 0 所以V x 为半正定 或非负定 的 举例 23 04 2020 43 设为n个变量 定义二次型标量函数 如果pij pji 则P为实对称阵 2 二次型标量函数 二次型标量函数在李雅普诺夫第二法分析系统的稳定性中起着很重要的作用 23 04 2020 44 对二次型函数 若P为实对称阵 则必存在正交矩阵T 通过变换 使之化成 称该式为二次型函数的标准形 它只包含变量的平方项 其中 i为对称矩阵P的互异特征值 且均为实数 则V x 正定的充要条件是对称阵P的所有特征值均大于零 23 04 2020 45 矩阵P的符号性质 1 若V x 正定 则称P为正定 记做P 0 2 若V x 负定 则称P为负定 记做P 0 3 若V x 半正定 非负定 称P为半正定 非负定 记做P 0 4 若V x 半负定 非正定 称P为半负定 非正定 记做P 0 由上可见 矩阵P的符号性质与其所决定的二次型函数的符号性质完全一致 因此 要判别V x 的符号只要判别P的符号即可 而后者可由希尔维斯特 Sylvester 判据进行判断 23 04 2020 46 3 希尔维斯特 Sylvester 判据 为其各阶主子行列式 设实对称矩阵 23 04 2020 47 矩阵P 或V x 定号性的充要条件 则称P 或V x 为正定的 2 则称P 或V x 为负定的 3 称P 或V x 为半正定 非负定 4 称P 或V x 为半负定 非正定 的 1 23 04 2020 48 二 李雅普诺夫第二法的主要定理 对一切t成立f 0 t 0 即状态空间的原点为系统的平衡状态 1 大范围一致渐近稳定的判别定理 考虑连续时间的非线性时变自由系统 对该系统 如果存在一个对x和t具有连续一阶偏导数的标量函数V x t V 0 t 0 且满足 1 V x t 正定且有界 2 V x t 对时间t的导数负定且有界 3 当时 有V x t 则系统的原点平衡状态为大范围一致渐近稳定 原点平衡状态为大范围渐近稳定的判别定理 通常称其为李雅普诺夫主稳定性定理 23 04 2020 49 由该结论给出的条件 只是保证系统为大范围一致渐近稳定的充分条件 充分条件的局限性在于 如果对给定系统找不到一个标量函数V x t 使满足结论中所指出的条件 那么将不能对判断系统的稳定性提供任何信息 而且 在实际问题中 这样的情况是相当常见的 进而 不难看出 若结论中的条件 3 不满足 且条件 1 和 2 仅对原点一个邻域 内满足 则相应地只能导出局部一致渐近稳定的结论 同时进一步的问题是要确定出吸引区 通常这不是一件容易的事 23 04 2020 50 因为V x t 为正定且有界 所以不妨将其看成是一种 能量 而则相应地为能量随时间的变化率 在物理上很容易理解 如果一个系统的能量是有限的 并且能量的变化率总是负的 那么系统的所有运动都必是有界的 并最终返回到原点平衡状态 李雅普诺夫主稳定定理正是这一明显的物理事实的推广形式 但是毕竟V x t 不能等同于能量 而且随着系统的不同 V x t 的含义和形式各不相同 故通常将V x t 称为李雅普诺夫函数 对于简单的系统 通常把李雅普诺夫函数取为系统状态的一个二次型函数 对于复杂的系统 其李雅普诺夫函数的构造尚无一般的方法 只能根据研究者的经验而试选 而且实例表明此时李雅普诺夫函数的形式也远比二次型要复杂得多 大范围一致渐近稳定的直观含义 23 04 2020 51 2 定常系统的大范围渐近稳定判别定理一 如果存在一个具有连续一阶导数的标量函数V x V 0 0 且对状态空间中的一切非零点x满足 1 V x 正定且有界 2 V x 对时间t的导数负定 3 当时 有V x 则系统的原点平衡状态为大范围一致渐近稳定 对于定常系统 对t 0成立f 0 0 23 04 2020 52 V x 为正定 负定 因此该系统大范围一致渐近稳定 且当 时 举例 23 04 2020 53 一般地说 对于相当一些系统 要构造一个李雅普诺夫函数V x 使其满足为负定 常常是不易做到的 同时 从直观上也容易理解 要求为负定不免过于保守 判别定理一的局限性 23 04 2020 54 3 定常系统的大范围一致渐近稳定判别定理二 对于定常系统 如果存在一个具有连续一阶导数的标量函数V x V 0 0 且对状态空间中的一切非零点x满足 1 V x 正定 2 为半负定 3 对任意x0 不恒为0 4 当时 有V x t 0 f 0 0 则系统的原点平衡状态是大范围一致渐近稳定的 23 04 2020 55 由于半负定 所以在x 0时会出现 这时系统可能有两种运动情况 恒为0 这时运动轨线落在某个特定曲面V x C上 这意味着运动轨线不会收敛于原点 不恒为0 运动轨线只在某个时刻与某个曲面V x C相切 运动轨线通过切点后向原点收敛 属渐近稳定 23 04 2020 56 系统是一个结构不稳定系统 它的自由解是一个等幅的正弦振荡 要想使这个系统稳定 必须改变系统的结构 举例 23 04 2020 57 在任意x 0的值上均为0 V x 为常数 系统运动的轨线是一系列以原点为圆心 C为半径的圆 系统为李雅普诺夫意义下的稳定 举例 23 04 2020 58 1 V x 为正定 2 a x1任意 x2 0 b x1任意 x2 1 其他 为半负定 故 举例 23 04 2020 59 考察情况 a x2 t 0 除了原点 不是系统的受扰运动解 3 检查是否恒为0 归结为判断这两种情况是否为系统的受扰运动解 23 04 2020 60 再考察情况 b x2 t 1 矛盾 不是系统的受扰运动解 不恒为0 4 因此 此系统的原点平衡状态是大范围渐近稳定的 23 04 2020 61 4 时变系统 李雅普诺夫意义下的 稳定的判别定理 如果存在一个对x和t具有连续一阶偏导数的标量函数V x t V 0 t 0 和围绕原点的一个吸引区 使对一切x 和一切t t0 且满足 1 V x t 正定且有界 2 V x t 对时间t的导数半负定且有界则系统的原点平衡状态为 域内一致稳定 考虑连续时间的非线性时变自由系统 对一切t成立f 0 t 0 即状态空间的原点为系统的平衡状态 23 04 2020 62 5 定常系统稳定的判别定理 如果存在一个具有连续一阶导数的标量函数V x V 0 0 和围绕原点的一个吸引区 使对一切x 和一切t 0满足 1 V x 正定 2 为半负定则称系统原点平衡状态为 域内稳定 由于上述给出的所有判别定理都只提供了充分条件 因此如果经多次试取李雅普诺夫函数都得不到确定的答案时 就要考虑其为不稳定的可能性 对于定常系统 对一切t 0成立f 0 0 23 04 2020 63 6 不稳定的判别定理 如果存在一个具有连续一阶导数的标量函数V x t 或V x V 0 t 0和V 0 0 和围绕原点的一个吸引区 使对一切x 和一切t t0 满足如下的条件 1 V x t 为正定且有界或V x 为正定 2 也为正定且有界或也为正定则系统平衡状态为不稳定 或定常系统 对于时变系统 由此结论可以看出 当V x t 和同号时 系统的受扰运动轨线理论上将发散到无穷大 23 04 2020 64 举例 确定xe 0处的稳定性 所以系统在xe 0处是不稳定的 由特征方程 可知 方程各系数不同号 系统必然不稳定 23 04 2020 65 三 对李雅普诺夫函数的讨论 运用李雅普诺夫第二法的关键在于寻找一个满足判据条件的李雅普诺夫函数V x 李雅普诺夫稳定性理论本身并没有提供构造V x 的一般方法 尽管第二法原理上很简单 但应用起来却很不容易 1 V x 是满足稳定性判据条件的一个正定的标量函数 且对x应具有连续的一阶偏导数 2 对于一个给定的系统 如果V x 是可找到的 那么通常是非唯一的 但这并不影响结论的一致性 3 V x 的最简单形式是二次型函数 其中P为实对称方阵 它的元素可以是定常的或时变的 但V x 并不一定都是简单的二次型 23 04 2020 66 4 如果V x 为二次型 且可表示为 则V x Ck 常数 Ck Ck 1 k 1 2 在几何上表示状态空间中以原点为中心 以Ck为半径的超球面 Ck必位于Ck 1的球面内 V x 就表示从原点至x点的距离 便表示了系统相对原点运动的速度 若这个距离随着时间的推移而减小 即 0 状态必将收敛于原点 则原点是渐近稳定的 若这个距离随着时间的推移而非增 即 0 则原点稳定 若这个距离随着时间的推移而增加 即 0 则原点不稳定 23 04 2020 67 5 V x 函数只表示系统在平衡状态附近某邻域内局部运动的稳定情况 但丝毫不能提供域外运动的任何信息 6 由于构造V x 函数需要较多的技巧 因此李雅普诺夫第二法主要用于确定那些使用别的方法无效或难以判别其稳定性的问题 例如高阶的非线性系统或时变系统 23 04 2020 68 4 5线性系统的状态运动稳定性的李雅普诺夫判据 23 04 2020 69 则平衡状态xe 0为大范围渐近稳定的充要条件是 对任意给定的正定实对称矩阵Q 如下形式的李雅普诺夫矩阵方程 有唯一正定对称矩阵解P 讨论线性系统中受扰运动即状态的零输入响应的稳定性问题 一 线性定常连续系统渐近稳定判据 23 04 2020 70 P正定 欲证xe 0为渐近稳定 P PT 0 V x 为正定 Q QT 0 为负定 由李雅普诺夫稳定性定理 零平衡状态xe 0为渐近稳定 充分性 23 04 2020 71 xe 0为渐近稳定 欲证P为唯一且正定 对称 由t 0到t 积分 可得 系统为渐近稳定 当t 时有eAt 0 X 0 必要性 且已知X 0 Q 并表 则可进而表为 这表明即为李雅普诺夫方程的解矩阵 23 04 2020 72 X t 存在且唯一和X 0 存在且唯一 可知为对称 23 04 2020 73 对任意的x0 0 可有 由于Q为正定 故可将其表为 其中N为非奇异 于是 也即P为正定 23 04 2020 74 说明 第一 实际应用时 通常是选择一个正定矩阵Q 代入李雅普诺夫方程 解出P 然后按希尔维斯特判据判断P的正定性 进而作出系统渐近稳定的结论 第二 在利用李雅普诺夫判据时 对Q的唯一限制是其应为对称正定 显然 满足这种限制的Q可有无穷多个 但可以断言 判断的结果即系统是否为渐近稳定 和对Q阵的不同选择无关 第三 这个结论实质上给出了矩阵A的所有特征值均具有负实部的充分必要条件 第四 考虑到一般地说求解李雅普诺夫方程并非一件容易的事 所以李雅普诺夫判据的意义主要在于理论研究上的用途 第五 若沿任一轨线不恒等于零 那么Q可取为半正定 23 04 2020 75 代入李雅普诺夫方程 得 将上式展开 令各对应元素相等 可得 举例 23 04 2020 76 根据希尔维斯特判据知 故矩阵P是正定的 因而系统的平衡点是大范围渐近稳定 或者由于 是正定的 而 是负定的 也可得到系统是渐近稳定的结论 23 04 2020 77 举例 设确定系统增益K的稳定范围 解 因detA 0 故原点是系统唯一的平衡状态 选取半正定的实对称矩阵 需证明沿任意轨线应不恒等于零 恒等于零的条件是x3 0 此时x1 0 x2 0 表明只在平衡