×

区间广义Sylvester矩阵方程统一解集的有效封闭方法。 (英文) Zbl 1380.65078号

摘要:我们研究了区间广义Sylvester矩阵方程(mathbf{A}X\mathbf{B}+\mathbf{C}X\mathbf{D}=\mathbf1{F})。我们给出了其解的一个必要条件,以及整个解集有界的一个充分条件。主要工作是开发计算该区间系统所谓统一解集的外部估计的技术。首先,我们提出了一种改进的Krawczyk算子,与Kronecker乘积形式相比,大大降低了计算复杂性。然后,我们提出一种封闭解集的迭代技术。这些方法基于(mathbf{A})、(mathbf{B})和(mathbf1{C})中点的谱分解,在这两种方法中,我们假设(mathbf2{A}\)和(mathbf{C}\)中点以及矩阵(mathbf2{B}\)与(mathbf-{D}\)的中点同时可对角化。通过数值实验验证了所提方法的性能。

MSC公司:

65楼30 其他矩阵算法(MSC2010)
65层10 线性系统的迭代数值方法
65G30型 区间和有限算术
65F08个 迭代方法的前置条件
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 阿莱菲尔德,G。;Herzberger,J.,《区间计算导论》,应用。数学。计算。科学。(1983),学术出版社:纽约学术出版社·Zbl 0552.65041号
[2] Bender,D.,Lyapunov-like方程和广义系统的可达性/可观测性Gramian,IEEE Trans。自动。控制,32,4,343-348(1987)·Zbl 0613.34002号
[3] Chu,K.-W.E.,广义特征值问题的排除定理和摄动分析,SIAM J.Numer。分析。,24, 5, 1114-1125 (1987) ·Zbl 0636.15009号
[4] Chu,K.-W.E.,矩阵方程的解(A X B-C X D=E)和((Y A-D Z,Y C-B Z)=(E,F)),线性代数应用。,93, 93-105 (1987) ·Zbl 0631.15006号
[5] Dehghani女士,M。;Dehghan,M.,区间广义Sylvester矩阵方程的广义解集和内外估计的一些方法,计算。数学。申请。,68,12,A部分,1758-1774(2014)·Zbl 1368.15012号
[6] Epton,M.,解(A X D-B X C=E)的方法及其在隐式常微分方程数值解中的应用,BIT Numer。数学。,20, 3, 341-345 (1980) ·Zbl 0452.65015号
[7] Frommer,A。;Hashemi,B.,矩阵平方根的验证计算,SIAM J.矩阵分析。申请。,31, 3, 1279-1302 (2009) ·Zbl 1194.65069号
[8] Frommer,A。;Hashemi,B.,Sylvester矩阵方程解的验证误差界,线性代数应用。,436, 2, 405-420 (2012) ·Zbl 1236.65045号
[9] 加德纳,J.D。;Laub,A.J。;阿马托·J·J。;Moler,C.B.,Sylvester矩阵方程的解(A X B ^ T+C X D ^ T=E),ACM Trans。数学。软质。,18, 2, 22-231 (1992) ·Zbl 0893.65026号
[10] 哈希米,B。;Dehghan,M.,关于具有多个右手边的区间线性系统和区间矩阵方程的结果(AX=B\),J.Comput。申请。数学。,235, 9, 2969-2978 (2011) ·Zbl 1221.65087号
[11] 哈希米,B。;Dehghan,M.,区间Lyapunov矩阵方程:统一解集外部估计的分析结果和有效的数值技术,数学。计算。型号。,55, 3-4, 622-633 (2012) ·Zbl 1255.15002号
[12] 埃尔南德斯,V。;Gassó,M.,矩阵方程的显式解(A X B-C X D=E),线性代数应用。,121, 333-344 (1989) ·Zbl 0682.15013号
[13] Hladík,M.,参数区间线性系统解集的封闭,国际期刊应用。数学。计算。科学。,22, 3, 561-574 (2012) ·Zbl 1310.65051号
[14] 霍恩,R.A。;Johnson,C.R.,《矩阵分析专题》(1991),剑桥大学出版社·Zbl 0729.15001号
[15] Jansson,C。;Rump,S.M.,不确定数据线性规划问题的严格解,ZOR,Z.Oper-研究,35,2,87-111(1991)·Zbl 0735.90043号
[16] 姜涛(Jiang,T.)。;Wei,M.,关于矩阵方程的解(X-A X B=C)和(X-A X B=C),线性代数应用。,367, 225-233 (2003) ·Zbl 1019.15002号
[17] Kearfott,R.B.,《区间计算:介绍、使用和资源》,欧洲数学公告。,2, 95-112 (1996) ·Zbl 1465.65041号
[18] (Kearfott,R.;Kreinovich,V.,区间计算的应用(1996),Kluwer:Kluwer-Dordrecht)·Zbl 0841.65031号
[19] Neumaier,A.,方程组的区间方法(1990),剑桥大学出版社:剑桥大学出版社·Zbl 2009年6月7日
[20] Popova,E.D。;Krämer,W.,参数线性系统解集的内外界,J.Compute。申请。数学。,199, 2, 310-316 (2007) ·Zbl 1108.65027号
[21] Rao,C.R.,线性模型中方差和协方差分量的估计,美国统计协会,67,337,112-115(1972)·Zbl 0231.62082号
[22] Rohn,J.,VERSOFT:MATLAB/INTLAB中的验证软件,版本10(2009)
[23] Rohn,J。;Kreinovich,V.,《计算区间数据线性系统解的精确分量界》,NP-hard,SIAM J.Matrix Ana。申请。,16, 2, 415-420 (1995) ·兹伯利0824.65011
[24] Rump,S.M.,稠密和稀疏方程组的验证方法,(Herzberger,J.,验证计算主题,计算数学研究(1994),Elsevier:Elsevier Amsterdam),63-136,奥尔登堡大学IMACS-GAMM验证计算国际研讨会论文集·Zbl 0813.65072号
[25] Rump,S.M.,关于Epsilon通货膨胀的注释,Reliab。计算。,4, 4, 371-375 (1998) ·Zbl 0920.65031号
[26] Rump,S.M.,《快速并行区间算法》,BIT Numer。数学。,39, 3, 534-554 (1999) ·Zbl 0942.65048号
[27] Rump,S.M.,INTLAB-INTerval LABoratory,(Csendes,T.,《可靠计算的发展》(1999),Kluwer学术出版社:Kluwer-学术出版社Dordrecht),77-104·Zbl 0949.65046号
[28] Rump,S.M.,《验证方法:使用浮点运算的严格结果》,Acta Numer。,19, 287-449 (2010) ·Zbl 1323.65046号
[29] 塞夫,N。;侯赛因,S。;Deif,A.,区间Sylvester方程,计算。J.,52,3,233-244(1994)·Zbl 0807.65046号
[30] Shary,S.P.,区间线性系统广义解集的外部估计,Reliab。计算。,5, 3, 323-335 (1999) ·Zbl 1130.65308号
[31] Shashikhin,V.,线性区间系统的鲁棒镇定,J.Appl。数学。机械。,66, 3, 393-400 (2002) ·Zbl 1066.93020号
[32] Shashikhin,V.,大型区间系统中的鲁棒极点配置,Autom。远程控制,63,2,200-208(2002)·Zbl 1090.93552号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。