×

希尔伯特空间问题的后退控制。 (英语) Zbl 1412.65039号

摘要:我们分析了向后步长控制全球化,以找到从巴拿赫空间映射到希尔伯特空间的G¨teaux-可微函数的零点。结果包括全局收敛到一个独特的解,其特征是通过广义牛顿流传播初始猜测,该广义牛顿流具有离散非线性剩余范数减少的保证界和易于控制的渐近线性剩余收敛速度。收敛理论可以用来构造有效的数值方法,我们对Krylov-Newton方法和近似离散化多层框架的情况进行了证明。这两种方法优化了Krylov子空间上或通过自适应离散化的渐近线性剩余收敛速度,这反过来又产生了实用有效的停止准则和精化策略,以平衡非线性残差和线性系统的相对残差。我们将这些方法应用于一类非线性椭圆边值问题,并给出了Carrier方程和最小曲面方程的数值结果。

MSC公司:

65J15年 非线性算子方程的数值解
65F08个 迭代方法的前置条件
58立方厘米 隐函数定理;流形上的全局牛顿方法
74S05号 有限元方法在固体力学问题中的应用
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Ainsworth,M.,Oden,J.T.:有限元分析中的后验误差估计。纯粹与应用数学(纽约)。威利,纽约(2000年)·Zbl 1008.65076号 ·doi:10.1002/9781118032824
[2] Amann,H.:《常微分方程》,《德格鲁伊特数学研究》,第13卷。Walter de Gruyter&Co.,柏林(1990)·兹比尔0708.34002 ·doi:10.1515/9783110853698
[3] Ascher,U.,Osborne,M.:关于求解非线性方程和自然准则函数的注释。J.优化。理论应用。55(1), 147-152 (1987) ·Zbl 0622.90074号 ·doi:10.1007/BF00939050
[4] Bangerth,W.、Davydov,D.、Heister,T.、Heltai,L.、Kanschat,G.、Kronbichler,M.、Maier,M.,Turcksin,B.、Wells,D.:交易。II库,版本8.4。J.数字。数学。24(3), 135-141 (2016) ·Zbl 1348.65187号 ·doi:10.1515/jnma-2016-1045
[5] Bangerth,W.,Hartmann,R.,Kanschat,G.:交易。通用面向对象有限元库。ACM事务处理。数学。柔和。33(4), 24/1-24/27 (2007) ·Zbl 1365.65248号 ·doi:10.1145/1268776.1268779
[6] Bank,R.E.,Rose,D.J.:全球近似牛顿法。数字。数学。37(2), 279-295 (1981) ·Zbl 0442.65034号 ·doi:10.1007/BF01398257
[7] Battles,Z.,Trefethen,法律公告:MATLAB对连续函数和运算符的扩展。SIAM J.科学。计算。25(5), 1743-1770 (2004) ·Zbl 1057.65003号 ·doi:10.1137/S1064827503430126
[8] Becker,R.,Rannacher,R.:有限元方法中后验误差估计的最优控制方法。Acta Numer公司。10, 1-102 (2001) ·Zbl 1105.65349号 ·网址:10.1017/S0962492901000010
[9] Bender,C.M.,Orszag,S.A.:科学家和工程师的高级数学方法。I.Springer,纽约(1999)。渐近方法和微扰理论,1978年原版再版·Zbl 0938.34001号 ·数字对象标识代码:10.1007/978-1-4757-3069-2
[10] Birkisson,A.,Driscoll,T.A.:边值问题数值解的自动Fréchet微分。ACM事务处理。数学。软件38(4),第26条,29页(2012年)·Zbl 1365.65192号 ·数字对象标识代码:10.1145/2331130.2331134
[11] Bock,H.G.:Randwertproblemmethoden Zur Parameteridentifizierung,摘自Systemen Nichtlinerer Differentialgleichungen,Bonner Mathematische Schriften,第183卷。波恩,波恩大学(1987)·Zbl 0622.65064号
[12] Bock,H.G.,Kostina,E.A.,Schlöder,J.P.:关于自然水平函数在阻尼牛顿方法实现全局收敛方面的作用。收录:Powell,M.J.D.,Scholtes,S.(编辑)《系统建模与优化》。方法、理论和应用,第51-74页,Kluwer(2000)·Zbl 0982.65068号
[13] Brezinski,C.:求解非线性方程组的二次方法的数值稳定性。计算14(3),205-211(1975)·Zbl 0302.65042号 ·doi:10.1007/BF02244626
[14] Davidenko,D.F.:关于非线性方程组数值解的新方法。多克拉迪·阿卡德。Nauk SSSR(N.S.)88、601-602(1953年)·Zbl 0050.12103号
[15] Dembo,R.S.、Eisenstat,S.C.、Steihaug,T.:不精确牛顿法。SIAM J.数字。分析。19(2), 400-408 (1982) ·Zbl 0478.65030号 ·doi:10.1137/0719025
[16] Dennis,J.E.Jr,Moré,J.J.:拟牛顿方法、动机和理论。SIAM Rev.19(1),46-89(1977)·Zbl 0356.65041号 ·doi:10.1137/1019005
[17] Deufhard,P.:一种用于求解非线性方程组病态系统的修正牛顿法,并应用于多次射击。数字。数学。22, 289-311 (1974) ·Zbl 0313.65070号 ·doi:10.1007/BF01406969
[18] Deufhard,P.:超大规模非线性问题的全局不精确牛顿方法。影响计算。科学。工程3(4),366-393(1991)·Zbl 0745.65032号 ·doi:10.1016/0899-8248(91)90004-E
[19] Deufhard,P.:非线性问题的牛顿方法,计算数学中的Springer级数,第35卷。斯普林格,海德堡(2011)。仿射不变性与自适应算法·Zbl 1226.65043号
[20] Deufhard,P.,Weiser,M.:非线性椭圆问题的全局不精确牛顿多层有限元法。In:多重网格方法V(斯图加特,1996),Lect。注释计算。科学。《工程》,第3卷,第71-89页。柏林施普林格(1998)·Zbl 0926.65135号
[21] Driscoll,T.A.,Hale,N.,Trefethen,法律公告(编辑):Chebfun指南。牛津Pafnuty出版社(2014)
[22] Evans,L.C.:偏微分方程,数学研究生课程,第二版。,第19卷。美国数学学会,普罗维登斯(2010)·Zbl 1194.35001号
[23] Gago,J.P.de S.R.,Kelly,D.W.,Zienkiewicz,O.C.,Babuška,I.:有限元法中的后验误差分析和自适应过程。二、。自适应网格细化。国际期刊数字。方法工程19(11),1621-1656(1983)·Zbl 0534.65069号 ·doi:10.1002/nme.1620191104
[24] Galántai,A.,Abaffy,J.:Lipschitz函数非线性方程的始终收敛迭代方法。数字。阿尔戈。69(2), 443-453 (2015) ·Zbl 1319.65036号 ·doi:10.1007/s11075-014-9905-1
[25] Gasparo,M.G.,Papini,A.,Pasquali,A.:希尔伯特空间中GMRES的一些性质。数字。功能。分析。最佳方案。29(11-12), 1276-1285 (2008) ·兹比尔1167.65023 ·数字对象标识代码:10.1080/01630560802580786
[26] Goldberg,H.,Kampowsky,W.,Tröltzsch,F.:关于抽象函数Lp空间中的Nemytskij算子。数学。纳克里斯。155, 127-140 (1992) ·Zbl 0760.47031号 ·doi:10.1002/mana.19921550110
[27] Grätsch,T.,Bathe,K.J.:实际有限元分析中的后验误差估计技术。计算。结构。83(4-5), 235-265 (2005) ·doi:10.1016/j.compstruc.2004.08.011
[28] Günnel,A.,Herzog,R.,Sachs,E.:关于Hilbert空间中自伴随问题的Krylov子空间方法中的预条件和标积的注记。电子。事务处理。数字。分析。41, 13-20 (2014) ·Zbl 1295.65062号
[29] Hairer,E.,Wanner,G.:求解常微分方程II,计算数学中的Springer级数,第二版。,第14卷。施普林格,柏林(1996)·Zbl 1192.65097号 ·doi:10.1007/978-3-642-05221-7
[30] Hamilton,R.S.:Nash和Moser的反函数定理。牛市。阿默尔。数学。《社会学杂志》(N.S.)7(1),65-222(1982)·Zbl 0499.58003号 ·doi:10.1090/S0273-0979-1982-15004-2
[31] Hestenes,M.R.,Stiefel,E.:求解线性系统的共轭梯度方法。《国家研究杂志》。伯尔。站立。49, 409-436 (1952) ·Zbl 0048.09901号 ·doi:10.6028/jres.049.044
[32] Hohmann,A.:参数相关非线性问题的非精确高斯-牛顿方法。柏林弗雷大学博士论文(1994年)·Zbl 0941.65517号
[33] Janssen,B.,Kanschat,G.:H1-和Hcurl-一致高阶有限元方法的局部平滑自适应多级方法。SIAM J.科学。计算。33(4), 2095-2114 (2011) ·Zbl 1230.65133号 ·doi:10.1137/090778523
[34] Kelly,D.W.,Gago,J.P.de S.R.,Zienkiewicz,O.C.,Babuška,I.:有限元法中的后验误差分析和自适应过程。一、误差分析。国际期刊数字。方法工程19(11),1593-1619(1983)·Zbl 0534.65068号 ·doi:10.1002/nme.1620191103
[35] Kronbichler,M.,Kormann,K.:基于并行单元的有限元算子应用的通用接口。计算。流体63,135-147(2012)·Zbl 1365.76121号 ·doi:10.1016/j.compfluid.2012.04.012
[36] Lieb,E.H.,Loss,M.:分析,数学研究生课程,第二版。,第14卷。美国数学学会,普罗维登斯(2001)·Zbl 0966.26002号
[37] Nevanlinna,O.:线性方程迭代的收敛性。数学讲座。伯卡用户,巴塞尔,波士顿,柏林(1993年)·兹比尔0846.47008
[38] Olver,S.,Townsend,A.:一种快速且条件良好的光谱方法。SIAM版本55(3),462-489(2013)·兹比尔1273.65182 ·doi:10.1137/120865458
[39] Paige,C.C.,Saunders,M.A.:线性方程组稀疏不定系统的解。SIAM J.数字。分析。12(4), 617-629 (1975) ·兹伯利0319.65025 ·数字对象标识代码:10.1137/0712047
[40] Potschka,A.:抛物型偏微分方程约束优化问题的一种直接方法。数值数学进展。施普林格,柏林(2013)
[41] Potschka,A.:全球Newton型方法的后退控制。SIAM J.数字。分析。54(1), 361-387 (2016) ·Zbl 1382.65145号 ·数字对象标识代码:10.1137/140968586
[42] Rannacher,R.,Vihharev,J.:非线性问题的自适应有限元分析:离散化和迭代误差的平衡。J.数字。数学。21(1), 23-61 (2013) ·Zbl 1267.65184号 ·doi:10.1515/jnum-2013-0002
[43] Saad,Y.,Schultz,M.H.:GMRES:求解非对称线性系统的广义最小残差算法。SIAM J.科学。统计计算。7(3), 856-869 (1986) ·Zbl 0599.65018号 ·doi:10.1137/0907058
[44] Trefethen,法律公告:用函数代替数字进行数字计算。数学。计算。科学。1(1), 9-19 (2007) ·Zbl 1145.41302号 ·doi:10.1007/s11786-007-0001-y
[45] Wachsmuth,G.:隐函数的可微性:超越隐函数定理。数学杂志。分析。申请。414(1), 259-272 (2014) ·Zbl 1316.47050号 ·doi:10.1016/j.jmaa.2014.01.007
[46] Yosida,K.:《功能分析》,第5版。柏林施普林格(1978)·兹比尔0365.46001 ·doi:10.1007/978-3-642-96439-8
[47] Ypma,T.J.:不精确牛顿方法的局部收敛性。SIAM J.数字。分析。21(3), 583-590 (1984) ·Zbl 0566.65037号 ·doi:10.1137/0721040
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。