×

兹马思-数学第一资源

计算矩阵指数的包围。(英语) Zbl公司 1459.65056
摘要:我们回顾了旧的区间算术技术,并开发了新的,用于计算准确的矩阵的指数。这意味着在计算过程中所有舍入和截断误差都被严格地考虑在内,并且从数学上保证结果包含正确的矩阵指数。我们考虑的算法依赖于验证的谱分解,两个变量依赖于泰勒级数展开,一个Padé 一个轮廓积分方法,以及一个基于切比雪夫近似的方法,它是为厄米特矩阵设计的。我们的大多数方法都使用标度和平方框架,并在应用于原始矩阵和近似对角化时进行了检验。除了对算法进行了比较研究外,还给出了几个算例。
审核人: 评审员(柏林)

理学硕士:
65层60 矩阵指数和相似矩阵函数的数值计算
6520国集团 自动结果验证算法
15A16型 矩阵指数与矩阵的相似函数
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] A。H。莫希和N。J。Higham,一种新的矩阵指数标度和平方算法,SIAM J。母体肛门。申请书,31(2009年),第970-989页,https://doi.org/10.1137/09074721X。·Zbl公司 1194.15021
[2] G。亚历菲尔德和G。Heindl,一个基于改进的中点半径区间算法的不动点定理,Reliab。Comput.,26(2018年),第97-108页。
[3] T。奥肯塔勒,M。巴德,T。哈克尔,A。Spo公司̈rl和K。Waldherr,量子控制问题中的矩阵指数和并行前缀计算,并行计算,36(2010),第359-369页·Zbl公司 1208.68233
[4] C。A。巴弗利和G。W。Stewart,一种用块对角化方法计算约化子空间的算法。数字。《分析》,16(1979年),第359-367页,https://doi.org/10.1137/0716028。·Zbl公司 413.65034
[5] P。Bochev,同步自验证计算\(\exp(a)\)和\(\int_0^1\exp(as)ds\),计算,45(1990),第183-191页·Zbl公司 721.65020
[6] P。波切夫和S。马尔科夫,矩阵指数自验证数值方法,计算,43(1989),第59-72页·Zbl公司 685.65035
[7] E。B。戴维斯,近似对角化,暹罗J。母体肛门。申请书,29(2007年),第1051-1064页,https://doi.org/10.1137/060659909。·Zbl公司 1157.65024
[8] P。一。戴维斯和N。J。Higham,计算矩阵函数的Schur-Parlett算法,SIAM J。母体肛门。应用,25(2003),第464-485页,https://doi.org/10.1137/S0895479802410815。·Zbl公司 1052.65031
[9] J。W。Demmel,《应用数值线性代数》,暹罗,费城,1997年,https://doi.org/10.1137/1.9781611971446。·Zbl公司 879.65017
[10] T。A。新德里斯科尔。黑尔和我。N。Trefethen,Chebfun指南,Pafnuty出版物,牛津,2014年。
[11] 五。L。德鲁斯金和L。A。《对称矩阵函数的两种多项式计算方法》,中华人民共和国计算机学会。数学。数学。Phys.,29(1989),第112-121页·Zbl公司 719.65035
[12] A。戈尔斯泰恩和A。Neumaier,关于区间矩阵的指数化,Reliab。Comput.,20(2014),第53-72页。
[13] B。哈希米,线性时间中包含切比雪夫展开式,ACM Trans。数学。软件,45(2019年),第1-33页,https://doi.org/10.1145/3319395, http://bit.ly/2D9brjd。·Zbl公司 07193376
[14] N。J。Higham,《数值算法的精度和稳定性》,第2版,暹罗,费城,2002年,https://doi.org/10.1137/1.9780898718027。·Zbl公司 1011.65010
[15] N。J。Higham,矩阵指数的标度和平方法重温,SIAM J。母体肛门。申请书,26(2005年),第1179-1193页,https://doi.org/10.1137/0406101x。·Zbl公司 1081.65037
[16] N。J。海姆,矩阵函数:理论与计算,暹罗,费城,2008,https://doi.org/10.1137/1.9780898717778。·Zbl公司 1167.15001
[17] N。J。Higham,《矩阵指数的标度和平方法重温》,暹罗出版社,51(2009),第747-764页,https://doi.org/10.1137/090768539。·Zbl公司 1178.65040
[18] N。霍夫曼,O。施瓦茨和S。托莱多,矩阵多项式的有效求值,并行处理与应用数学。第一部分,计算机课堂讲稿。科学。10777年,R。Wyrzykowski,J。东加拉。迪尔曼和K。卡尔切夫斯基编辑,斯普林格,查姆,2018年,第24-35页。
[19] W。霍夫舒斯特和W。Kra公司̈mer,C-xsc2.0-一个扩展科学计算的C++库,在具有结果验证的数值软件中,R。Alt,A。弗罗默,R。B。Kearfott和W。路德编辑,斯普林格,纽约,2004年,第15-35页·Zbl公司 1126.65328
[20] F。Johansson,Arb:高效任意精度中点半径区间算法,IEEE Trans。Comput.,66(2017),第1281-1292页·Zbl公司 1388.65037
[21] R。科莱特,美国。库利什,A。Wiethoff和M。Rauch,C-XSC:扩展科学计算的C++类库,斯普林格·韦拉格,柏林,1993年·Zbl公司 814.68035
[22] O。科舍列娃。克雷诺维奇,G。梅尔和H。T。Nguyen,计算区间矩阵的立方是NP难的,载于2005年ACM应用计算研讨会论文集,ACM,纽约,2005,第1449-1453页。
[23] R。Krawczyk,Newton Algorithmen zur Bestinmung von Nullstellen mit Fehlerschranken,《计算》,4(1969年),第187-201页·Zbl公司 187.10001
[24] M。一种新的瞬态响应评估方法。IEEE,54(1966),第20-23页。
[25] J。C。梅森和D。C。手梳,切比雪夫多项式,CRC出版社,博卡拉顿,佛罗里达州,2003年·Zbl公司 1015.33001
[26] G。Mayer,《区间分析和自动结果验证》,de Gruyter,柏林,2017年·Zbl公司 1373.65036
[27] 美国。Miyajima,MATLAB-INTLAB实现“矩阵指数的验证计算”,2019年,http://web.cc.iwate-u.ac.jp/miyajima/Mexp.zip·Zbl公司 1447.65009
[28] 美国。宫崎骏,验证矩阵指数的计算,高级计算机。《数学》,45(2019年),第137-152页·Zbl公司 1447.65009
[29] C。莫勒和C。范洛恩,《计算矩阵指数的十九种可疑方法》,暹罗出版社,20(1978),第801-836页,https://doi.org/10.1137/1020098。·Zbl公司 395.65012
[30] C。莫勒和C。Van Loan,《计算矩阵指数的十九种可疑方法》,25年后,暹罗修订版,45(2003年),第3-49页,https://doi.org/10.1137/S00361445024180。·Zbl公司 1030.65029
[31] R。E。摩尔,R。B。Kearfott和M。J。云,区间分析导论,暹罗,费城,2009,https://doi.org/10.1137/1.9780898717716。·Zbl公司 1168.65002
[32] A。《多项式零点的封闭簇》,J。计算机。申请。数学,156(2003),第389-401页·Zbl公司 1029.65050
[33] E。P。奥本海默,区间分析在线性控制系统问题中的应用,博士。论文,爱荷华州立大学电气工程系,1979年。
[34] E。P。奥本海默和A。N。Michel,区间分析技术在线性系统中的应用\textupII:区间矩阵指数函数,IEEE Trans。电路系统,35(1988),第1230-1242页。
[35] M。美国。帕特森和L。J。《求值多项式所需的非标量乘法的个数》,施亚姆J。Comput.,2(1973),第60-66页,https://doi.org/10.1137/020007。·Zbl公司 262.65033
[36] W。出版社,S。A。Teukolsky,W。维特林和B。P。弗兰纳里,《C中的数值食谱》,第二版,剑桥大学出版社,剑桥,英国,1992年·Zbl公司 778.65003
[37] J。Rohn,VERSOFT:MATLAB/INTLAB中的验证软件,http://uivtx.cs.cas.cz/rohn/matlab/。
[38] 美国。M。Rump,Kleine Fehlerschranken bei Matrixproblemen博士。论文,法库塔̈t付̈r Mathematik大学̈卡尔斯鲁厄,1980年·Zbl公司 437.65036
[39] 美国。M。《快速并行区间算法》,第39期(1999年),第534-554页·Zbl公司 942.65048
[40] 美国。M。伦普,国际实验室间隔实验室,可靠计算发展,T。Csendes,ed.,Kluwer Academic,多德雷赫特,1999年,第77-104页·Zbl公司 949.65046
[41] 美国。M。罗姆普,多项式重根的十种方法,J。计算机。申请。《数学》,156(2003),第403-432页·Zbl公司 1030.65046
[42] 美国。M。Rump,《验证方法:使用浮点运算的严格结果》,Acta Numer.,19(2010),第287-449页·Zbl公司 1323.65046
[43] 美国。M。Rump,验证奇异值的界限,特别是矩阵的谱范数及其逆,BIT,51(2011),第367-384页·Zbl公司 1226.65028
[44] 美国。M。鲁姆,稠密线性系统的精确解,第二部分:使用定向舍入的算法,J。计算机。申请。《数学》(Math),第242-212页,2013年·Zbl公司 1260.65034
[45] 美国。M。臀部,T。奥吉塔和S。大石,精确浮点求和第一部分:忠实舍入,暹罗J。科学。Comput.,31(2008),第189-224页,https://doi.org/10.1137/050645671。·Zbl公司 1185.65082
[46] J。Sastre,矩阵多项式的有效评估,线性代数应用,539(2018),第229-250页·Zbl公司 1432.65029
[47] J。萨斯特里,J。Iba公司́n͂ez和E。德菲兹,增强矩阵指数的计算,应用。数学。Comput.,340(2019年),第206-220页·Zbl公司 1429.65093
[48] J。萨斯特里,J。Iba公司́n͂ez,E。德菲兹和P。鲁伊斯,基于有效正交矩阵多项式的矩阵指数计算方法,应用。数学。Comput.,217(2011年),第6451-6463页·Zbl公司 1211.65052
[49] M。邵伟。高和J。薛,非负矩阵指数的精确计算的积极截断泰勒级数法,暹罗J。母体肛门。应用,35(2014),第317-338页,https://doi.org/10.1137/120894294。·Zbl公司 1309.65051
[50] H。J。高精度浮点算法的顺序缺陷修正,数值分析,D。F。格里菲斯,编辑,数学课堂讲稿。1066年,斯普林格,柏林,1984年,第186-202页·Zbl公司 568.65027
[51] M。Suzuki,广义Trotter公式和指数算子的系统逼近及其在多体问题中的应用,通讯数学。Phys.,51(1976),第183-190页·Zbl公司 341.47028
[52] L。N。Trefethen,近似理论与近似实践,暹罗,费城,2013,https://doi.org/10.1137/1.9781611975949。·Zbl公司 1264.41001
[53] L。N。Trefethen,整函数的收敛界,Chebfun example,2016,http://www.chebfun.org/examples/approach/entibreake.html(访问日期:2017-04-05)。
[54] L。N。特雷费森和J。A。C。魏德曼,《指数收敛的梯形规则》,暹罗出版社,56(2014),第385-458页,https://doi.org/10.1137/130932132。·Zbl公司 1307.65031
[55] R。美国。高次稳定隐式方法在求解抛物型偏微分方程中的应用。数学。Phys.,40(1961),第220-231页·Zbl公司 106.10805
[56] R。C。沃德,矩阵指数的数值计算及其精度估计。数字。《分析》,14(1977年),第600-610页,https://doi.org/10.1137/0714039。·Zbl公司 363.65031
[57] J。A。C。魏德曼,周期函数的数值积分:几个例子,艾默尔。数学。月刊,109(2002年),第21-36页·Zbl公司 1022.65027
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。