如果一个实矩阵 的所有特征值都具有实部,那么对于任意负定二次型 ,其中 ,都存在一个正定二次型 ,使得如果取
那么 和 满足
更多尝试
Weisstein, Eric W. “李雅普诺夫第二定理。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/LyapunovsSecondTheorem.html