41元源性形式 ●KY引理 对系统汇=Ax严格稳定的系统,有对任意的对称 正定矩阵Q,存在对称正定矩阵P,使得 AP+PA=-Q--李雅普若夫方程 令6 4.1 无源性形式 KY引理 对系统 严格稳定的系统，有对任意的对称 正定矩阵 ，存在对称正定矩阵 ，使得 ---李雅普若夫方程。 令 x Ax = Q P T A P PA Q + = − 1 2 T V x Px = 1 2 T V x Qx = −