Efficient Approaches for Verifying the Existence and Bound of Inverse of Linear Operators in Hilbert Spaces
Efficient Approaches for Verifying the Existence and Bound of Inverse of Linear Operators in Hilbert Spaces
复制标题
验证希尔伯特空间中线性算子逆的存在性和有界的有效方法
DOI：
10.1007/s10915-023-02097-6
复制
发表时间：
2023
影响因子：
2.5
通讯作者：
Yoshitaka Watanabe and Takehiko Kinoshita and Mitsuhiro T. Nakao
中科院分区：
文献类型：
--
作者：
土屋 拓也;中村 誠;Yoshitaka Watanabe and Takehiko Kinoshita and Mitsuhiro T. Nakao
本文描述了证明Hilbert空间中线性算子可逆性和计算其逆算子范数上界的一些数值验证过程。这些方法改进了以前的程序，使用希尔伯特空间的正交投影及其先验误差估计。几个验证的例子，证实了新的程序的有效性。
This paper describes some numerical verification procedures to prove the invertibility of a linear operator in Hilbert spaces and to compute a bound on the norm of its inverse. These approaches improve on previous procedures that use an orthogonal projection of the Hilbert space and its a priori error estimations. Several verified examples which confirm the effectiveness of the new procedures are presented.
登录
查看更多内容
DOI：
--
发表时间：
2009
期刊：
Japan Journal of Industrial and Applied Mathematics (to appear)
影响因子：
--
作者：
Nagatou;K.
通讯作者：
K.
影响因子：
1.3
作者：
J. G. Heywood;W. Nagata;W. Xie
通讯作者：
W. Xie
DOI：
10.1016/j.cam.2019.112620
发表时间：
2020
期刊：
J. Comput. Appl. Math.
影响因子：
--
作者：
S. Oishi
通讯作者：
S. Oishi
使用 Schur 补集来证明椭圆问题解的数值存在性的新公式：无需直接估计线性算子的逆
影响因子：
2.1
作者：
Sekine Kouta;Nakao Mitsuhiro T.;Oishi Shin’ichi
通讯作者：
Oishi Shin’ichi
关于 H20 投影的先验误差估计中最优常数的非常准确的包含
DOI：
10.1016/j.cam.2009.12.044
发表时间：
2009
期刊：
J. Comput. Appl. Math.
影响因子：
--
作者：
T. Kinoshita;M. Nakao
通讯作者：
M. Nakao