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

希尔伯特空间中线性算子逆的范数界计算的另一种方法。 （英语） Zbl 1506.65069号

J.差异。方程 266，第9号，5431-5447（2019）.
摘要：在本文中，我们提出了一个计算机辅助的程序来证明Hilbert空间中线性算子的可逆性，并计算其逆的验证范数界。许多作者以前提出了两种基于投影和构造性先验误差估计的验证方法。本论文的方法有望弥合实际数值验证中前两个程序之间的差距。报告了几个验证实例，证实了拟议程序的实际有效性。

引用于4文件

MSC公司：

65J10型 线性算子方程的数值解
65G20个 具有自动结果验证的算法
第35页 偏微分方程背景下特征值的估计
47F05型 偏微分算子的一般理论

关键词：

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

软件：

国际实验室
PDF格式BibTeX公司 XML格式引用
\textit{T.Kinoshita}等人，J.Differ。等式266，No.9，5431--5447（2019；Zbl 1506.65069）
全文： 内政部

参考文献：

[1] 阿里奥利，G。；Koch，H.，耗散系统稳态解研究的计算机辅助方法，应用于Kuramoto-Sivashinski方程，Arch。定额。机械。分析。，197, 1033-1051 (2010) ·Zbl 1231.35016号
[2] 阿里奥利，G。；Koch，H.，对称边值问题的非对称低指数解，《微分方程》，252448-458（2012）·Zbl 1232.35047号
[3] 阿里奥利，G。；科赫，H。；Terracini，S.，《费米-帕斯塔-乌兰模型的两种新方法和多模周期解》，Comm.Math。物理。，255, 1-19 (2005) ·邮编1076.70008
[4] Ciarlet，P.G.，《椭圆问题的有限元方法》（1978），北荷兰：北荷兰阿姆斯特丹·Zbl 0383.65058号
[5] Day，S。；Lessard，J.-P。；Mischaikow，K.，验证了PDE平衡的延续性，SIAM J.Numer。分析。，45, 1398-1424 (2007) ·Zbl 1151.65074号
[6] 菲格拉斯，J.-L。；加梅罗，M。；Lessard，J.-P。；de la Llave，R.，演化方程不变量对象的数值计算和后验验证框架，SIAM J.Appl。动态。系统。，16, 1070-1088 (2017) ·Zbl 1370.65046号
[7] 加梅罗，M。；Lessard，J.-P.，高维偏微分方程平衡的分析估计和严格延拓，微分方程，2492237-2268（2010）·Zbl 1256.35196号
[8] 加梅罗，M。；Lessard，J.-P.，三维Cahn-Hilliard方程平衡点光滑分支的严格计算，数值。数学。，117, 753-778 (2011) ·Zbl 1216.65145号
[9] 加梅罗，M。；Lessard，J.-P.，《通过一维估计对高维偏微分方程进行高效严格数值计算》，SIAM J.Numer。分析。，51, 2063-2087 (2013) ·Zbl 1277.65084号
[10] Grisvard，P.，非光滑域中的椭圆问题（1985），皮特曼：皮特曼波士顿·Zbl 0695.35060号
[11] 桥本，K。；Nagatou，K。；Nakao，M.T.，非凸多边形域中双参数问题有限元近似的构造性先验误差估计的计算方法，信息，9573-580（2006）
[12] 匈牙利，A。；Lessard，J.-P。；Mireles James，J.D.，微分方程解析解的严格数值：半径多项式方法，数学。公司。，85, 1427-1459 (2016) ·Zbl 1332.65114号
[13] Kinoshita，T。；桥本，K。；Nakao，M.T.，关于带奇异伴随算子的椭圆问题有限元解的（L^2）先验误差估计，Numer。功能。分析。最佳。，30, 289-305 (2009) ·Zbl 1165.35009号
[14] Kinoshita，T。；Nakao，M.T.，关于（H_0^2）投影先验误差估计中最佳常数的非常精确的封闭，J.Compute。申请。数学。，234, 526-537 (2010) ·Zbl 1190.65166号
[15] Kinoshita，T。；渡边，Y。；Nakao，M.T.，反椭圆算子后验估计定理的改进，非线性理论应用。，IEICE，547-52（2014）
[16] Kinoshita，T。；渡边，Y。；Nakao，M.T.，关于逆线性椭圆算子严格估计的一些评论，（Nehmeier，M.；等，SCAN 2014。SCAN 2014，计算机课堂讲稿。科学。，第9553卷（2016）），225-235·Zbl 1354.65232号
[17] 菊池，F。；Liu，X.，线性三角形有限元Babuska-Aziz常数的确定，Jpn。J.Ind.申请。数学。，23, 75-82 (2006) ·Zbl 1098.65107号
[18] Kobayashi，K.，使用奇异函数的非凸域中有限元离散化的构造性先验误差估计，Jpn。J.Ind.申请。数学。，26, 493-516 (2009) ·Zbl 1186.65143号
[19] Kobayashi，K。；Tsuchiya，T.，三角形上拉格朗日插值的先验误差估计，应用。数学。，60, 485-499 (2015) ·Zbl 1363.65015号
[20] 刘，X。；Oishi，S.，《验证任意形状多边形域上拉普拉斯算子的特征值计算》，SIAM J.Numer。分析。，51, 1634-1654 (2013) ·Zbl 1273.65179号
[21] Nagatou，K。；桥本，K。；Nakao，M.T.，Navier-Stokes问题稳态解的数值验证，J.Compute。申请。数学。，199, 445-451 (2007) ·Zbl 1106.76057号
[22] Nagatou，K.，无限维特征值问题的数值验证方法，Jpn。J.Ind.申请。数学。，26, 477-491 (2009) ·Zbl 1184.65057号
[23] Nakao，M.T。；山本，N。；Kimura，S.，关于分段多项式空间的（H_0^1）投影误差界中的最佳常数，J.近似理论，93，491-500（1988）·Zbl 0907.65100号
[24] Nakao，M.T.，应用于非线性椭圆问题的有限元方法中的可计算误差估计，（Agarwal，R.P.，数值数学贡献（1993），世界科学：世界科学新加坡），309-319·Zbl 0834.65101号
[25] Nakao，M.T。；Yamamoto，N.，使用（L^ infty）残差法对非线性椭圆问题解的数值验证，J.Math。分析。申请。，217, 246-262 (1998) ·Zbl 0893.35006号
[26] Nakao，M.T。；Yamamoto，N.，线性三角形单元误差估计中最佳常数的保证界，（Alfeld，G.；Chen，X.，《数值分析中特别强调非线性问题的主题》，《计算补充》，第15卷（2001），Springer:Springer-Wien，纽约），163-173年·Zbl 1013.65119号
[27] Nakao，M.T。；Yamamoto，N.，线性三角形单元误差估计中最佳常数的保证界。第二部分：细节，（Kulisch，U.；Lohner，R.；Facius，A.，《关于封闭方法的观点》（2001），Springer:Springer-Wien，纽约），265-276·Zbl 0990.65123号
[28] Nakao，M.T.，常微分方程和偏微分方程解的数值验证方法，数值。功能。分析。最佳。，22, 321-356 (2001) ·Zbl 1106.65315号
[29] Nakao，M.T。；桥本，K。；Watanabe，Y.，验证线性椭圆算子可逆性的数值方法及其在非线性问题中的应用，《计算》，75，1-14（2005）·Zbl 1151.35337号
[30] Nakao，M.T。；Hashimoto，K.，非强制椭圆问题有限元近似的保证误差界及其应用，J.Compute。申请。数学。，218, 106-115 (2008) ·Zbl 1154.65081号
[31] Nakao，M.T。；Kinoshita，T.，关于有限元解在非光滑域中的行为的一些评论，应用。数学。莱特。，21, 1310-1314 (2008) ·Zbl 1184.35120号
[32] Nakao，M.T。；Watanabe，Y.，半线性椭圆边值问题解的数值验证方法，非线性理论应用。，IEICE，2，2-31（2011）
[33] Nakao，M.T。；渡边，Y。；Kinoshita，T。；木村，T。；Yamamoto，N.，线性椭圆算子可逆性验证的一些考虑，Jpn。J.Ind.申请。数学。，32, 19-32 (2015) ·Zbl 1320.35164号
[34] Oishi，S.，非线性算子方程解的存在性和包含性的数值验证，J.Compute。申请。数学。，60, 171-185 (1995) ·Zbl 0871.65045号
[35] Plum，M.，利用计算机辅助证明半线性椭圆边值问题的存在性和多重性，Jahresber。Dtsch公司。数学-版本110，19-54（2008）·Zbl 1185.35101号
[36] Rump，S.M.，INTLAB-INTerval LABoratory，（Csendes，T.，《可靠计算的发展》（1999），Kluwer学术出版社：Kluwer-学术出版社Dordrecht），77-104·兹伯利0949.65046
[37] Rump，S.M.，验证了奇异值的界，特别是矩阵及其逆矩阵的谱范数BIT Numer的界。数学。，51, 367-384 (2011) ·兹比尔1226.65028
[38] 范登伯格，J.B。；Lessard，J.-P.，《动力学中的严格数值》，《美国通告》。数学。Soc.，621057-1061（2015）·Zbl 1338.68301号
[39] 范登伯格，J.B。；Lessard，J.-P。；Mischaikow，K.，《使用严格分支跟踪的全局平滑解曲线》，数学。公司。，79, 1565-1584 (2010) ·Zbl 1206.37045号
[40] 渡边，Y。；山本，N。；Nakao，M.T。；Nishida，T.，热对流问题非平凡解的数值验证，数学杂志。流体力学。，6, 1-20 (2004) ·Zbl 1062.35092号
[41] 渡边，Y。；梅花，M。；Nakao，M.T.，Poiseuille流Orr-Sommerfeld问题的计算机辅助不稳定性证明，Z.Angew。数学。机械。，89, 5-18 (2009) ·Zbl 1156.76025号
[42] 渡边，Y。；Nagatou，K。；梅花，M。；Nakao，M.T.，带Poiseuille流的Orr-Sommerfeld问题的计算机辅助稳定性证明，非线性理论应用。，IEICE，2123-127（2011）
[43] 渡边，Y。；Kinoshita，T。；Nakao，M.T.，线性椭圆偏微分方程边值问题逆算子的后验估计，数学。公司。，82, 1543-1557 (2013) ·兹比尔1280.65119
[44] Watanabe，Y.，基于无限维序列迭代的微分方程简单数值验证方法，非线性理论应用。，IEICE，4，23-33（2013）
[45] 渡边，Y。；Nagatou，K。；梅花，M。；Nakao，M.T.，Hilbert空间特征值问题特征值封闭的验证计算，SIAM J.Numer。分析。，52, 975-992 (2014) ·Zbl 1294.35047号
[46] 渡边，Y。；Nagatou，K。；梅花，M。；Nakao，M.T.，Hilbert空间中线性算子逆的范数界计算，J.微分方程，260，6363-6374（2016）·Zbl 1398.65094号
[47] 渡边，Y。；Nakao，M.T.，基于无限维类牛顿迭代的非线性函数方程数值验证方法，应用。数学。计算。，276, 239-251 (2016) ·Zbl 1410.65228号
[48] Y.Watanabe等人，Orr-Sommerfeld问题临界雷诺数的计算机辅助证明，正在准备中。；Y.Watanabe等人，Orr-Sommerfeld问题临界雷诺数的计算机辅助证明，正在准备中。
[49] 山本，N。；Nakao，M.T.，非凸多边形域中椭圆方程解的数值验证，数值。数学。，65, 503-521 (1993) ·Zbl 0797.65081号
[50] 山本，N。；Hayakawa，K.，有限元法在非凸多边形域中保证精度的误差估计，J.Comput。申请。数学。，159, 173-183 (2003) ·Zbl 1033.65097号
[51] 山本，N。；Gemma，K.，关于非凸多边形区域中椭圆方程的有限元近似的误差估计，J.Compute。申请。数学。，199, 286-296 (2007) ·Zbl 1108.65109号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。