Lyapunov矩阵方程和Riccati矩阵方程解的一些估计
详细信息    本馆镜像全文|  推荐本文 |  |   获取CNKI官网全文
摘要
Lyapunov矩阵方程和Riccati矩阵方程等线性和非线性矩阵方程足数值代数和非线性分析中研究和探讨的重要课题之一。它们在控制理论,运输理论,动态规划,梯形网络,统计过滤和统计学等科学和工程计算领域中有着广泛的应用。
     本文采用控制不等式方法,给出了Lyapunov矩阵微分方程和连续代数Lyapunov矩阵方程解的特征值的和(包括迹)的上界;给出了两个矩阵乘积迹的上下界估计;使用相似变换,扩充了现有的一些基于Delta算子统一代数Lyapunov矩阵方程解的求解范围。
     第一章介绍了Lyapunov矩阵方程和Riccati矩阵方程的应用背景和研究现状,给出本文所涉及的记号和引理。
     第二章使用控制不等式方法,结合经典的特征值不等式和指数矩阵乘积的特征值不等式,给出了Lyapunov矩阵微分方程、连续代数Lyapunov矩阵方程解的特征值的和及其迹的上界。进一步,对Lyapunov矩阵微分方程使用特殊的相似变换,扩充了其求解范围,获得了具有更弱限制条件的Lyapunov矩阵微分方程、连续代数Lyapunov矩阵方程解的特征值的和及其迹的上界。
     第三章利用矩阵的奇异值分解,结合控制不等式的技巧和经典的矩阵乘积迹的不等式,给出了两个矩阵乘积迹的上下界估计,并证明了所得结果改进了现有的一些结果,是现有的非对称情形中最好的估计。进一步,把迹界估计应用到连续代数Riccati矩阵方程中,利用H(o|¨)lder(Cauchy-Schwarts)不等式及特殊的凸函数不等式,给出了连续代数Riccati矩阵方程解的迹的上下界估计。
     第四章利用可对角化矩阵的分解,结合控制不等式的方法和特殊的矩阵乘积迹的不等式,给出了一个是可对角化矩阵的两个矩阵乘积迹的上下界估计,证明了这个迹界估计比现有的一些结果更精确。进一步,利用所得结果,结合H(o|¨)lder(Cauchy-Schwarts)不等式及凸函数不等式,获得了连续代数Riccati矩阵方程解的迹的上下界估计,改进和推广了已有的一些结果。
     第五章通过一些适当的变形,把基于Delta算子统一代数Lyapunov矩阵方程转换为连续代数的Lyapunov矩阵方程和离散代数的Lyapunov矩阵方程。使用特殊的相似变换,扩充了现有的一些基于Delta算子统一代数Lyapunov矩阵方程解的求解范围,结合控制不等式的技巧及其经典的矩阵积与和的特征值不等式,给出了这类矩阵方程解的上下界估计和解的数值界估计,改进了已有的结果。进一步,利用矩阵特征值和奇异值的特殊性质,给出了在一些特定要求下的某些特殊相似变换的相似矩阵的存在定理和相应算法。
Solving linear and nonlinear matrix equations such as the Lyapunov matrix equation and the Riccati matrix equation is one of important topics in the fields of numerical algebra and nonlinear analysis. Actually, they are widely used in areas of science and engineering computation, such as control theory, transport theory, dynamic programming, ladder networks, stochastic filtering and statistics.
     In this paper, by using majorization inequalities, we obtain upper bounds on summations of eigenvalues (including the trace) of the solution for the Lyapunov matrix differential equation and the continuous algebraic Lyapunov matrix equation; and give new inequalities for the trace of the product of two matrices; by using similarity transformation, we expand the solution range of the existing unified algebraic Lyapunov equation based on Delta operator.
     In chapter one, we present some background knowledge and recent works for the Lyapunov matrix equation and the Riccati matrix equation, and introduce some basic symbols and lemmas used in this paper.
     In chapter two, we obtain upper bounds on summations of eigenvalues (including the trace) of the solution for the Lyapunov matrix differential equation and the continuous algebraic Lyapunov matrix equation by using majorization inequalities and classical eigenvalue inequalities with exponential matrix product eigenvalue inequalities. Further, by using similarity transformation, we expand the solution range of the existing the Lyapunov matrix differential equation and the continuous algebraic Lyapunov matrix equation, and obtain some new bounds with less constrictions of the solution for such a matrix equation.
     In chapter three, by using matrix singularity decomposition, applying majorization inequalities and some classical matrix product trace inequalities, we propose new lower and upper trace bounds for the product of two matrices and prove them which improve some existing results are the tightest in nonsymmetric case. Further, by applying trace bounds in the continuous algebraic Riccati equation and using Holder (Cauchy-Schwarts) inequalities with special convex function inequalities, we obtain upper and lower bounds for the solution of the continuous algebraic Riccati equation.
     In chapter four, we propose new lower and upper trace bounds for the product of two matrices in which one is diagonalizable by using diagonalizable matrix decomposition and applying majorization inequalities with some special matrix product trace inequalities, and prove them are more precise than some existing results. Further, by using our results in the continuous algebraic Riccati equation, applying Holder (Cauchy-Schwarts) inequalities and convex function inequalities, we obtain upper and lower bounds for the solution of the continuous algebraic Riccati equation which improve and extend some recent results.
     In chapter five, by using some appropriate deformation, we change the unified algebraic Lyapunov equation based on Delta operator into the continuous algebraic Lyapunov equation and the discrete algebraic Lyapunov equation. We expand the solution range of the existing unified algebraic Lyapunov equation based on Delta operator by using similarity transformation, and obtain some new bounds of the solution for such a matrix equation by applying majorization inequalities with some classical matrix product with sum eigenvalue inequalities. Further, by using some special character of matrix eigenvalue and singular value, we give theorems and algorithm for the transformation matrix of some special similar transformation under certain special conditions.
引文
[1]Richard Davies,Peng shi and Ron Wiltshire.New upper solution bounds for perturbed continuous algebraic Riccati equations applied to automatic control[J].Chaos,Solitons and Fractals,2007,32:487-495.
    [2]Jacobs O L R.Introduction to Control Theory[M].London:Oxford University Pressp,1974,217-219.
    [3]Lancaster P,Rodman L.Algebraic Riccati Equations[M].Oxford:The Clarendon Press,1995,105-192.
    [4]Kenney C,Laub A J.Condition estimates for matrix functions[J].SIAM J.Matrix Anal.Appl.,1970,7:627-656.
    [5]Levy B C,Frezza R,Krener A J.Modeling and estimation of discretetime Gaussian reciprocal processes[J].IEEE Trans.Automat.Control,1990,35:1013-1023.
    [6]Pusz W,Woronowitz S L.Funcitional calculus for sequilinear forms and the purification mape[J].Rep.Math.Phys.,2003,1:459-463.
    [7]Anderson W N,Morley T D,Trapp G E.Ladder networks,fixed points and the geometric mean[J].Circuits Systems Signal Process.,1983,1:259-268.
    [8]Ando T.Limit of cascade iteration of matrices[J].Numer.Funct.Anal.Optim.,1980,21:579-589.
    [9]Zemanian J.Non-uniform semi-infinite gromlded grids[J].SIAM J.Appl.Math.,1982,13:770-778.
    [10]Anderson W N,Kleindorfer G B,Kleindorer M B,et al.Consistent estimates of the parameters of a linear system[J].Ann.Math.Statist.,1969,40:2064-2075.
    [11]Ouelltte D V.Schur complements and statistics[J].Linear Algebra Appl.,1981,36:187-295.
    [12]Dong-Gi Lee,Gwang-Hee Heo and Jong-Myung Woo.New bounds using the solution of the discrete Lyapunov equation[J].International Journal of Control,Automation,and Systems,2003,1:459-463.
    [13] Y. Fang, K. A. Lopaxo and X. Feng. New estimates for solutions of Lyapunov equation [J]. IEEE Trans. Automat. Contr., 1997, 42:408-411.
    
    [14] N. Komaroff. Diverse bounds for the eigenvalues of the continuous algebraic Riccati equation [J]. Ibid., 1994, 39:532-534.
    
    [15] N. Komaroff. Upper bounds for the eigenvalues of the solution of the discrete Lyapunov matrix equation[J]. IEEE Trans. Automat. Contr., 1990, 35:468-469.
    
    [16] Svetoslav. Savov and Ivan popchev. New Upper Estimates for the Solution of the Continuous Algebraic Lyapunov Equation [J]. IEEE Trans. Automat. Contr., 2004, 49:1841-1842.
    
    [17] J. C. Geromel and J. Bernussou. On bounds of Lyapunov's matrix equation[J]. IEEE Trans. Automat. Contr., 1979, 24: 482-487.
    
    [18] N. Komaroff and B. Shahian. Lower summation bounds for the solution of the discrete Riccati and Lyapunov equation[J]. IEEE Trans. Automat. Contr., 1992, 37:1078-1080.
    
    [19] M. Mrabti and A. Hmamed. Bounds for the solution of the Lyapunov matrix equation-A unified approach [J]. Syst. Contr. Lett., 1992, 18:73-81.
    
    [20] N. Komaroff. Upper summation and product bounds for solution eigenvalues of the Lyapunov matrix equation [J]. IEEE Trans. Automat. Contr., 1992, 37:1040-1042.
    
    [21] W. H. Kwon, Y. S. Moon and S. C. Ahn. Bounds on solutions of algebraic Riccati and Lyapunov equations: A survey and new results[J]. Int. J. Control, 1996, 64:377-389.
    
    [22] C. H. Lee. On the upper and lower boundsof the solution for the continuous Riccati matrix equation[J]. Int. J. Control, 1997, 66:105-118.
    
    [23] K. Yasuda and K. Hirai. Upper and lower bounds on the solution of algebraic Riccati equation[J]. IEEE Trans. Automat. Contr., 1979, 24:483-487.
    
    [24] Chien-Hua Lee. Upper matrix bound of the solution for the discrete Riccati equation[J]. IEEE Trans. Automat. Contr., 1997, 42:840-842.
    [25]M.T.Tran and M.E.Swan.A note on the discrete Lyapunov and Riccati matrix equation[J].Int.J.Control,1984,39:337-341.
    [26]A.Hmamed.Discrete Lyapunov equation:Simultaneous eigenvalue lower bounds[J].Int.J.Syst.Sci.,1991,22:1121-1126.
    [27]B.H.Kwon,M.J.Youn and Z.Bien.On bounds of the Riccati and Lyapunov equations[J].IEEE Trans.Automat.Contr.,1985,30:1134-1135.
    [28]R.V.Patel and M.Toda.On norm bounds on the solution of the algebraic Riccati equation[J].IEEE Trans.Automat.Contr.,1978,23:87-88.
    [29]Mori.T.A note on bounds for the solution to the algebraic Riccati and Lyapunov matrix equations[J].IEEE Trans.Automat.Contr.,1979,62:760-761.
    [30]Yaz.E.Bounds for the eigenvalues of the solution matrix of the algebraic Riccati equation[J].Int.J.Syst.Sci.,1985,16:815-820.
    [31]Kim.J.H and Bien.Z.Some bounds of the solution of the algebraic Riccati and Lyapunov matrix equations[J].IEEE Trans.Automat.Contr.,1992,37:1209-1210.
    [32]Karanam.V.R.Eigenvalue bounds for the algebraic Riccati and Lyapunov matrix equations[J].Ibid.,1982,28:109-111.
    [33]Wang.S.D,T.S and Hsu.C.F.Trace bounds on the solution of the matrix Riccati equation and Lyapunov equation[J].IEEE Trans.Automat.Contr.,1986,31:654-656.
    [34]N.Komaroff.Bounds on eigenvalues of matrix products with an application to the algebraic Riccati equation[J].Ibid.,1990,35:348-350.
    [35]Kwon.B.H,T.S and Youn.M.J.Comments on 'On some bounds in the the algebraic Riccati and Lyapunov equations'[J].IEEE Trans.Automat.Contr.,1986,31:591.
    [36]Kwon.W.H and Pearson.A.E.A note on the algebraic Riccati and Lyapunov equations[J].IEEE Trans.Automat.Contr.,1977,22:143-144.
    [37]Kwon.B.H,T.S and Youn.M.J.On bounds of the the algebraic Riccati and Lyapunov matrix equation[J].IEEE Trans.Automat.Contr.,1985,30:1134-1135.
    [38]N.Komaroff.Simultaneous eigenvahm lower bounds for the the Riccati matrix equation[J].Ibid.,1989,34:175-177.
    [39]T.Mori,N.Fukuma and M.Kuwahara.Bounds in the Lyapunov matrix differential equation[J].IEEE Trans.Automat.Contr.,1987,32:55-57.
    [40]N.Komaroff.Upper bounds for the eigenvalues of the solution of the Lyapunov matrix equation[J].IEEE Trans.Automat.Contr.,1990,35:737-739.
    [41]T.Mori,N.Fukuma and M.Kuwahara.Eigenvalue bounds for the discrete Lyapunov matrix equation[J].IEEE Trans.Automat.Contr.,1985,30:925-926.
    [42]J.Garloff.Bounds for the eigenvalues of the solution of the discrete Riccati and Lyapunov equation and the continuous Lyapunov equation[J].International Journal of Control,1986,43:423-431.
    [43]Chien-Hua Lee.Upper and lower matrix bounds of the solution for the discrete Lyapunov equation[J].IEEE Trans.Automat.Contr.,1996,41:1338-1341.
    [44]T.Mori,N.Fukuma and M.Kuwahara.On the discrete Lyapunov matrix equation [J].IEEE Trans.Automat.Contr.,1982,27:463-464.
    [45]T.Mori,N.Fukuma and M.Kuwahara.On the discrete Riccati equation[J].IEEE Trans.Automat.Contr.,1987,32:828-829.
    [46]N.Komaroff.Lower bounds for the solution of the discrete algebraic Lyapunov equation[J].IEEE Trans.Automat.Contr.,1992,37:1017-1018.
    [47]T.Morl,N.Fukuma and M.kuwahara.Bounds in the Lyapunov matrix differential equation[J].IEEE Trans.Automat.Contr.,1987,32:55-57.
    [48]N.Komaroff.Upper summation and product bounds for solution eigenvalues of the Lyapunov matrix equation[J].IEEE Trans.Automat.Contr.,1992,37:1040-1042.
    [49]NI Mao-Lin.Existence Condition on Solutions to the Algebraic Riccati Equation [J].Acta Automatica Sinica,2008,34(1):85-87.
    [50]D.L.Kleinman and M.Athans.The design of suboptimal linear time-varying systems[J].IEEE Trans.Automat.Contr.,1968,13:150-159.
    [51]S.D.Wang,T.S.Kuo and C.F.Hsu.The bounds on the solution of the algebraic Riccati and Lyapunov equation[J].IEEE Trans.Automat.Contr.,1986,31:654-656.
    [52]J.M.Saniuk and I.B.Rhodes.A matrix inequality associated with bounds on solutions of algebraic Riccati and Lyapunov equations[J].IEEE Trans.Automat.Contr.,1987,32:739-740.
    [53]T.Mori.Comments on 'A matrix inequality associated with bounds on solutions of algebraic Riccati and Lyapunov equations'[J].IEEE Trans.Automat.Contr.,1988,33:1088-1091.
    [54]Y.Fang,K.A.Loparo and X.Feug.Inequalities for the trace of matrix product[J].IEEE Trans.Automat.Contr.,1994,39:2489-2490.
    [55]J.B.Lasserre.A trace Inequalities for matrix product[J].IEEE Trans.Automat.Contr.,1995,40:1500-1501.
    [56]P.Park.On the trace bound of a matrix product[J].IEEE Trans.Automat.Contr.,1996,41:1799-1802.
    [57]J.B.Lasserre.Tight bounds for the trace of matrix product[J].IEEE Trans.Automat.Contr.,1997,42:578-581.
    [58]W.Xing,Q.Zhang and Q.Wang.A trace bound for a general square matrix product[J].IEEE Trans.Automat.Contr.,2000,45:1563-1565.
    [59]Jianzhou Liu and LingLi He.A new trace bound for a general square matrix product[J].IEEE Trans.Automat.Contr.,2007,52(2):349-352.
    [60]Fuzhen Zhang and Qingling Zhang.Eigenvalue inequalities for matrix product[J].IEEE Trans.Automat.Contr.,2006,51(9):1506-1509.
    [61]Middleton.R.H and Goodwin.G.C.Inproves finite word length characteristics in digital control using Delta operator[J].IEEE Trans.Automat.Contr.,1986,31:1015-1021.
    [62]张端金,张文英,吴捷.Delta算子离散模型辨识的性能分析[J].电机与控制学报,2003,7(1):37-39.
    [63]张端金,王忠勇,吴捷.Delta算子不确定系统的多目标鲁棒H_∞控制[J].控制与决策,2003,8(2):164-168.
    [64]张端金,王忠勇,吴捷.系统控制和信号处理中的Delta算子方法[J].控制与决策,2003,18(4):385-391.
    [65]张端金,王忠勇,吴捷.Delta算子不确定系统的多目标鲁棒H_∞控制[J].控制与决策,2003,8(2):164-168.
    [66]向峥嵘,陈庆伟,胡维礼,张端金.模糊Delta算子系统的鲁棒稳定性分析与控制[J].控制与决策,2003,18(16):720-723.
    [67]邵锡军,杨苹,吴捷.基于Delta算子的统一代数Lyapunov方程解的研究[J].控制理论与应用,2004,21(1):94-96.
    [68]邵锡军,杨成梧.Delta域Lyapunov方程解的研究[J].南京理工大学学报,1999,23(3):193-196.
    [69]A.W.Marshall and Olkin.Inequalities:Theory of majorization and its applications [M].Academic Press,New York,1979.
    [70]Diaz-Goldman-Metcalf.On development of inverses of the Cauchy and Holder inequalities[J].SIAM Review.,1979,21(4):550-557.
    [71]Roger A.Horn and Charles R.Johnson.Matrix Analysis[M].Cambridge University Press,1986.
    [72]Fuzhen Zhang.The Schur complement and its applications[M].Springer-Verlag,New York,2005.
    [73]Stephen H.Friedberg,Arnold J.Insel and Lawrence E.Spence.Linear Algebra[M].Pearson Addison-Wesley,2005.
    [74]Rainer.Kress.Numerical analysis[M].Spring-Verlag,New York,1998.

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址:北京市海淀区学院路29号 邮编:100083

电话:办公室:(+86 10)66554848;文献借阅、咨询服务、科技查新:66554700