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] Numerical verifications for eigenvalues of second-order elliptic operators
    M. T. Nakao
    N. Yamamoto
    K. Nagatou
    Japan Journal of Industrial and Applied Mathematics, 1999, 16 : 307 - 320
  • [4] Numerical verifications for eigenvalues of second-order elliptic operators
    Nakao, MT
    Yamamoto, N
    Nagatou, K
    JAPAN JOURNAL OF INDUSTRIAL AND APPLIED MATHEMATICS, 1999, 16 (03) : 307 - 320
  • [5] On a factorization of second-order elliptic operators and applications
    Kravchenko, Vladislav V.
    JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 2006, 39 (40): : 12407 - 12425
  • [6] Quantitative uniqueness for second-order elliptic operators
    Kukavica, I
    DUKE MATHEMATICAL JOURNAL, 1998, 91 (02) : 225 - 240
  • [7] On families of optimal Hardy-weights for linear second-order elliptic operators
    Pinchover, Yehuda
    Versano, Idan
    JOURNAL OF FUNCTIONAL ANALYSIS, 2020, 278 (09)
  • [8] ON SOME NEW RESULTS ON ANISOTROPIC SINGULAR PERTURBATIONS OF SECOND-ORDER ELLIPTIC OPERATORS
    Maltese, David
    Ogabi, Chokri
    COMMUNICATIONS ON PURE AND APPLIED ANALYSIS, 2022, : 639 - 667
  • [9] On Solving Second-Order Linear Elliptic Equations
    Shilkov A.V.
    Mathematical Models and Computer Simulations, 2020, 12 (4) : 597 - 612
  • [10] Eigenvalue asymptotics for second-order elliptic operators on networks
    von Belowa, Joachim
    Lubary, Jose A.
    ASYMPTOTIC ANALYSIS, 2012, 77 (3-4) : 147 - 167
12345