Some improvements of invertibility verifications for second-order linear elliptic operators

被引：4
|
作者：
Watanabe, Yoshitaka [1 ]
Kinoshita, Takehiko [1 ]
Nakao, Mitsuhiro T. [2 ]
机构：
[1] Kyushu Univ, Res Inst Informat Technol, Nishi Ku, 744 Motooka, Fukuoka 8190395, Japan
[2] Waseda Univ, Fac Sci & Engn, Shinjuku Ku, 3-4-1 Okubo, Tokyo 1698555, Japan
来源：
APPLIED NUMERICAL MATHEMATICS | 2020年 / 154卷 / 154期
基金：
日本科学技术振兴机构;
关键词：
Numerical verification; Solvability of linear problem; Differential operators; NUMERICAL VERIFICATION; ERROR ESTIMATION; EQUATIONS; INVERSE; BOUNDS; EXISTENCE; CONSTANT; NORM;
D O I：
10.1016/j.apnum.2020.03.016
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
This paper presents some computer-assisted procedures to prove the invertibility of a second-order linear elliptic operator and to compute a bound for the norm of its inverse. These approaches are based on constructive L-2-norm estimates of the Laplacian and improve on previous procedures that use projection and a priori error estimations. Several examples which confirm the actual effectiveness of the procedures are reported. (C) 2020 IMACS. Published by Elsevier B.V. All rights reserved.
引用
收藏
页码：36 / 46
页数：11
相关论文
共 50 条
  • [1] Some considerations of the invertibility verifications for linear elliptic operators
    Nakao, Mitsuhiro T.
    Watanabe, Yoshitaka
    Kinoshita, Takehiko
    Kimura, Takuma
    Yamamoto, Nobito
    JAPAN JOURNAL OF INDUSTRIAL AND APPLIED MATHEMATICS, 2015, 32 (01) : 19 - 31
  • [2] Some considerations of the invertibility verifications for linear elliptic operators
    Mitsuhiro T. Nakao
    Yoshitaka Watanabe
    Takehiko Kinoshita
    Takuma Kimura
    Nobito Yamamoto
    Japan Journal of Industrial and Applied Mathematics, 2015, 32 : 19 - 31
  • [3] An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space
    Yoshitaka Watanabe
    Takehiko Kinoshita
    Mitsuhiro T. Nakao
    Japan Journal of Industrial and Applied Mathematics, 2019, 36 : 407 - 420
  • [4] An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space
    Watanabe, Yoshitaka
    Kinoshita, Takehiko
    Nakao, Mitsuhiro T.
    JAPAN JOURNAL OF INDUSTRIAL AND APPLIED MATHEMATICS, 2019, 36 (02) : 407 - 420
  • [5] Homogenization of generalized second-order elliptic difference operators
    Simas, Alexandre B.
    Valentim, Fabio J.
    JOURNAL OF DIFFERENTIAL EQUATIONS, 2018, 265 (08) : 3709 - 3753
  • [6] Invertibility Conditions for Second-Order Differential Operators in the Space of Continuous Bounded Functions
    Baskakov, A. G.
    Kabantsova, L. Yu.
    Smagina, T. I.
    DIFFERENTIAL EQUATIONS, 2018, 54 (03) : 285 - 294
  • [7] OPTIMAL SOBOLEV REGULARITY FOR LINEAR SECOND-ORDER DIVERGENCE ELLIPTIC OPERATORS OCCURRING IN REAL-WORLD PROBLEMS
    Disser, Karoline
    Kaiser, Hans-Christoph
    Rehberg, Joachim
    SIAM JOURNAL ON MATHEMATICAL ANALYSIS, 2015, 47 (03) : 1719 - 1746
  • [8] BOUNDARY VALUE PROBLEMS FOR SECOND-ORDER ELLIPTIC OPERATORS WITH COMPLEX COEFFICIENTS
    Dindos, Martin
    Pipher, Jill
    ANALYSIS & PDE, 2020, 13 (06): : 1897 - 1938
  • [9] On the maximum principle for complete second-order elliptic operators in general domains
    Vitolo, A
    JOURNAL OF DIFFERENTIAL EQUATIONS, 2003, 194 (01) : 166 - 184
  • [10] Commutators of the fractional integrals for second-order elliptic operators on Morrey spaces
    Chen, Yanping
    Ding, Yong
    FORUM MATHEMATICUM, 2018, 30 (03) : 617 - 629
12345