×
渡边吉隆;武彦基诺西塔;Nakao，Mitsuhiro T。

二阶线性椭圆算子可逆性验证的一些改进。 （英语） Zbl 1462.65057号

申请。数字。数学。 154，36-46（2020）.
摘要：本文给出了一些计算机辅助的程序来证明二阶线性椭圆算子的可逆性并计算其逆模的界。这些方法基于拉普拉斯的构造性L^2范数估计，改进了以前使用投影和先验误差估计的程序。报告了几个证实程序实际有效性的例子。

引用于4文件

MSC公司：

65J10型 线性算子方程的数值解
35J25型 二阶椭圆方程的边值问题
35J61型 半线性椭圆方程

关键词：

数值验证;线性问题的可解性;微分算子

软件：

国际实验室
PDF格式BibTeX公司 XML格式引用
\textit｛Y.Watanabe｝等人，应用。数字。数学。154、36-46（2020；Zbl 1462.65057）
全文： 内政部

参考文献：

[1] Ciarlet，P.G.，《椭圆问题的有限元方法》（1978），北荷兰：北荷兰阿姆斯特丹·Zbl 0383.65058号
[2] Grisvard，P.，非光滑域中的椭圆问题（1985），皮特曼：皮特曼波士顿·Zbl 0695.35060号
[3] Grisvard，P.，边值问题中的奇点（1992），Masson·Zbl 0766.35001号
[4] 菊池，F。；Liu，X.，线性三角形有限元Babuska-Aziz常数的确定，Jpn。J.Ind.申请。数学。，第23页，第75-82页（2006年）·Zbl 1098.65107号
[5] 木下，T。；渡边，Y。；Nakao，M.T.，逆椭圆算子后验估计定理的改进，非线性理论应用。，IEICE，547-52（2014）
[6] 木下，T。；渡边，Y。；Nakao，M.T.，关于逆线性椭圆算子严格估计的一些评论，（Nehmeier，M.；等，SCAN 2014。SCAN 2014，LNCS，第9553卷（2016年），225-235·Zbl 1354.65232号
[7] 木下，T。；渡边，Y。；Nakao，M.T.，Hilbert空间中线性算子逆的范数界计算的另一种方法，J.Differ。Equ.、。，266, 5431-5447 (2019) ·Zbl 1506.65069号
[8] Kobayashi，K.，使用奇异函数在非凸域中进行有限元离散的构造性先验误差估计，Jpn。J.Ind.申请。数学。，26, 493-516 (2009) ·Zbl 1186.65143号
[9] 刘，X。；Oishi，S.，《验证任意形状多边形域上拉普拉斯算子的特征值计算》，SIAM J.Numer。分析。，51, 1634-1654 (2013) ·Zbl 1273.65179号
[10] Nagatou，K.，无限维特征值问题的数值验证方法，Jpn。J.Ind.申请。数学。，26, 477-491 (2009) ·Zbl 1184.65057号
[11] Nakao，M.T.，常微分方程和偏微分方程解的数值验证方法，Numer。功能。分析。最佳。，22, 321-356 (2001) ·Zbl 1106.65315号
[12] Nakao，M.T。；Yamamoto，N.，线性三角形单元误差估计中最优常数的保证界，（Alfeld，G.；Chen，X.，《数值分析中特别强调非线性问题的主题》，《数值计算中特别重视非线性问题的话题》，增刊，第15卷（2001年），Springer:Springer-Wien，纽约），163-173·Zbl 1013.65119号
[13] Nakao，M.T。；Yamamoto，N.，线性三角形元素误差估计中最佳常数的保证界第二部分：细节，（Kulisch，U.；Lohner，R.；Facius，A.，《封闭方法的观点》（2001），Springer:Springer-Wien，纽约），265-276·兹比尔0990.65123
[14] Nakao，M.T。；山本，N。；Kimura，S.，关于分段多项式空间的（H_0^1）投影误差界中的最佳常数，J.近似理论，93，491-500（1998）·Zbl 0907.65100号
[15] Nakao，M.T。；桥本，K。；Watanabe，Y.，验证线性椭圆算子可逆性的数值方法及其在非线性问题中的应用，《计算》，75，1-14（2005）·Zbl 1151.35337号
[16] Nakao，M.T。；桥本，K。；Kobayashi，K.，验证非凸多边形域中定常Navier-Stokes方程解的数值计算，北海道数学。J.，36，777-799（2007）·Zbl 1134.76029号
[17] Nakao，M.T。；渡边，Y。；木下，T。；木村，T。；Yamamoto，N.，线性椭圆算子可逆性验证的一些考虑，Jpn。J.Ind.申请。数学。，32, 19-32 (2015) ·Zbl 1320.35164号
[18] Oishi，S.，非线性算子方程解的存在性和包含性的数值验证，J.Compute。申请。数学。，60, 1-2, 171-185 (1995) ·Zbl 0871.65045号
[19] Plum，M.，二阶椭圆边值问题解的显式（H_2）估计和逐点界，J.Math。分析。申请。，165, 36-61 (1992) ·Zbl 0780.35028号
[20] Plum，M.，利用计算机辅助证明半线性椭圆边值问题的存在性和多重性，Jahresber。Dtsch公司。数学-版本110，19-54（2008）·Zbl 1185.35101号
[21] Plum，M.，半线性椭圆边值问题的计算机辅助证明，Jpn。J.Ind.申请。数学。，26, 2-3, 419-442 (2009) ·Zbl 1186.35073号
[22] Rump，S.M.，INTLAB-INTerval LABoratory，（Csendes，T.，《可靠计算的发展》（1999），Kluwer学术出版社：Kluwer-学术出版社Dordrecht），77-104·Zbl 0949.65046号
[23] Rump，S.M.，验证了奇异值的界，特别是矩阵及其逆矩阵的谱范数BIT Numer的界。数学。，51367-384（2011年）·Zbl 1226.65028号
[24] Wanner，T.，二嵌段共聚物模型的计算机辅助平衡验证，离散Contin。动态。系统。，序列号。A、 37、2、1075-1107（2017）·Zbl 1364.35116号
[25] Watanabe，Y.，基于无限维序列迭代的微分方程简单数值验证方法，非线性理论应用。，IEICE，4，23-33（2013）
[26] 渡边，Y。；Nakao，M.T.，基于无限维类牛顿迭代的非线性函数方程数值验证方法，应用。数学。计算。，276, 239-251 (2016) ·Zbl 1410.65228号
[27] 渡边，Y。；山本，N。；中尾，M.T。；Nishida，T.，对流换热问题非平凡解的数值验证，J.Math。流体力学。，6, 1-20 (2004) ·Zbl 1062.35092号
[28] 渡边，Y。；木下，T。；Nakao，M.T.，线性椭圆偏微分方程边值问题逆算子的后验估计，数学。竞争。，82, 1543-1557 (2013) ·Zbl 1280.65119号
[29] 渡边，Y。；Nagatou，K。；梅花，M。；Nakao，M.T.，Hilbert空间中线性算子逆的范数界计算，J.Differ。Equ.、。，260, 6363-6374 (2016) ·Zbl 1398.65094号
[30] 渡边，Y。；Nakao，M.T。；Kinoshita，T.，映射到对偶空间的二阶线性椭圆算子可逆性验证的改进，Jpn。J.Ind.申请。数学。，36, 407-420 (2019) ·Zbl 07094577号
[31] 山本，N。；Gemma，K.，关于非凸多边形区域中椭圆方程的有限元近似的误差估计，J.Compute。申请。数学。，199, 286-296 (2007) ·Zbl 1108.65109号
[32] 山本，N。；Hayakawa，K.，非凸多边形域中有限元方法保证精度的误差估计，J.Compute。申请。数学。，159, 173-183 (2003) ·Zbl 1033.65097号
[33] 山本，N。；Nakao，M.T.，非凸多边形域中椭圆方程解的数值验证，数值。数学。，65, 503-521 (1993) ·Zbl 0797.65081号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。