关于部分变元的Liapunov方程

考虑线性系统■其中x=(y~T·z~T)~T,y=(x_1,…,x_m)~T,z=(x_(m+1),…,x_n)~TP>0,P+m=n);A,B,C,D是相应阶数的常数矩阵;A(t),B(t),C(t),D(t)均为[a,+∞)上相应阶数且足够连续可微的有界矩阵。