阵，其纵排（column）形成对应子空间的基底，表示为区块矩阵的形式，如下所示则是Riccati方程的解。而且formula_17的特征值即为formula_18特征值中有负实部的特征值。针对DARE，若formula_19是可逆矩阵，可以定义辛矩阵因为formula_13是辛矩阵，若在单位圆圆周上没有特征值，则会有恰好一半的特征值会在单位圆内。若定义formula_14矩阵，其纵排（column）形成对应子空间的基底，表示为区块矩阵的形式，如下所示则是Riccati方程的解。而且formul