×
齐格弗里德·M·臀部。;斯特夫·格雷亚特

验证了非线性方程组多根的误差界。 （英语） Zbl 1201.65081号

数字。算法 54，第3期，359-377（2010）.
作者提出了计算验证误差界和窄误差界的有效数值算法，并证明了微扰非线性方程组在计算范围内具有双根。这些方法被应用于一元和多元多项式以及特征值问题。给出了一些数值例子。不同维系统的计算结果证明了这些方法的性能。
审核人：斯韦托斯拉夫·马尔科夫（索非亚）

引用于1审查
引用于18文件

MSC公司：

65时10分 方程组解的数值计算
65G20个 具有自动结果验证的算法
65小时04 多项式方程根的数值计算
2015财年65 矩阵特征值和特征向量的数值计算

关键词：

双根;多个根;验证;误差界限;国际实验室;非线性方程组;多元多项式;特征值问题;数值示例

软件：

Matlab公司;国际实验室;mctoolbox软件
PDF格式BibTeX公司 XML格式引用
\textit{S.M.臀部}和\textit{S.Graillat}，数字。算法54，第3号，359-377（2010年；Zbl 1201.65081）
全文： 内政部

参考文献：

[1] Alefeld，G.，Spreuer，H.：属于双特征值或近双特征值的不变子空间的分量误差的迭代改进。计算36，321–334（1986）·Zbl 0582.65026号 ·doi:10.1007/BF02240207
[2] Alt，R.，Vignes，J.：稳定贝尔斯托方法。计算。数学。申请。8(5), 379–387 (1982) ·Zbl 0502.65031号 ·doi:10.1016/0898-1221（82）90031-1
[3] Frommer，A.，Lang，B.，Schnurr，M.：摩尔和米兰达存在性测试的比较。计算72（3-4），349-354（2004）·Zbl 1069.47060号 ·doi:10.1007/s00607-004-0064-4
[4] 新泽西州海厄姆：《数值算法的准确性和稳定性》，第2版。SIAM，费城（2002）·Zbl 1011.65010号
[5] Kanzawa，Y.，Oishi，S.：以保证的准确性计算分歧点。IEICE传输。芬丹。E82-A（6），1055-1061（1999）
[6] Kanzawa，Y.，Oishi，S.：非线性方程的不完全奇异解及其存在性的数值证明方法。IEICE传输。芬丹。E82-A（6），1062-1069（1999）
[7] Krawczyk，R.：纽顿算法（Newton-algorithmen zur）在fehlerschranken中取得了最好的成绩。计算4187-201（1969）·Zbl 0187.10001号 ·doi:10.1007/BF02234767
[8] La Porte，M.，Vignes，J.：坐标的误差统计；应用程序au controle des results d’algorithmes numériques。数字。数学。23, 63–72 (1974) ·doi:10.1007/BF01409991
[9] La Porte，M.，Vignes，J.：矩阵奇异点的保护方法。数字。数学。23, 73–81 (1974) ·Zbl 0302.65022号 ·doi:10.1007/BF01409992
[10] MATLAB用户指南，第7版。MathWorks公司（2004）
[11] Moore，R.E.：非线性系统解的存在性测试。SIAM J.数字。分析。（SINUM）4611–615（1977）·兹比尔0365.65034 ·doi:10.1137/0714040
[12] Moré，J.J.，Cosnard，M.Y.：非线性方程的数值解。ACM事务处理。数学。软件5，64–85（1979）·Zbl 0393.65019号 ·doi:10.1145/355815.355820
[13] Nakao，M.R.：常微分方程和偏微分方程解的数值验证方法。数字。功能。分析。最佳方案。33(3/4), 321–356 (2001) ·Zbl 1106.65315号 ·doi:10.1081/NFA-100105107
[14] Neumaier，A.：数值分析导论。剑桥大学出版社，剑桥（2001）·Zbl 0980.65001号
[15] Plum，M.，Wieners，Ch.：凝胶带问题的新解决方案。数学杂志。分析。申请。269, 588–606 (2002) ·Zbl 1003.65131号 ·doi:10.1016/S0022-247X（02）00038-0
[16] Poljak，S.，Rohn，J.：检查鲁棒非奇异性是np-hard。数学。控制、信号和系统6，1–9（1993）·Zbl 0780.93027号 ·doi:10.1007/BF01213466
[17] Rump，S.M.：高精度解决代数问题。习惯改变。收录：Kulisch，U.W.，Miranker，W.L.（编辑）《科学计算的新方法》，第51-120页。纽约学术出版社（1983年）
[18] 臀部S.M.：INTLAB-内脏实验室。收录人：Csendes，T.（编辑）。可靠计算的发展。第77-104页。多德雷赫特·克鲁沃（1999）·Zbl 0949.65046号
[19] Rump，S.M.：多个或几乎多个特征值的计算误差界。线性代数应用。（LAA）324，209–226（2001）·兹伯利0986.65031 ·doi:10.1016/S0024-3795（00）00279-2
[20] Rump，S.M.绑定多项式多重根的十种方法。J.计算。申请。数学。（JCAM）156、403–432（2003）·Zbl 1030.65046号 ·doi:10.1016/S0377-0427（03）00381-9
[21] Rump，S.M.，Zemke，J.：关于特征向量边界。BIT编号。数学。43, 823–837 (2004) ·Zbl 1042.65029号 ·doi:10.1023/B:BITN.00009941.51707.26
[22] Vignes，J.：算法数，分析和总结。2.巴黎理工大学，1980年。非线性方程与系统。【非线性方程和系统】，在RenéAlt和Michèle Pichat的合作下，《语言与算法汇编》（Collection Langages et Algorithmes de l'Informatique）。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。