Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems
DOI10.1016/j.camwa.2021.12.002OpenAlexW2978609232MaRDI QIDQ2074125
Kazuaki Tanaka, Shin'ichi Oishi, Kouta Sekine
Publication date: 4 February 2022
Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1910.02200
computer-assisted proofssystem of partial differential equationseigenvalue evaluationnorm of inverse operatorsrigorous numerical computations
Boundary value problems for second-order elliptic equations (35J25) Nonlinear boundary value problems for linear elliptic equations (35J65) Estimates of eigenvalues in context of PDEs (35P15) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Numerical methods for eigenvalue problems for boundary value problems involving PDEs (65N25)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A framework of verified eigenvalue bounds for self-adjoint differential operators
- Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications
- Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
- Bounds for eigenvalues of second-order elliptic differential operators
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
- Numerical verification of existence and inclusion of solutions for nonlinear operator equations
- Some improvements of invertibility verifications for second-order linear elliptic operators
- A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator
- Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation
- Some considerations of the invertibility verifications for linear elliptic operators
- A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
- Optimale Eigenwerteinschließungen
- Norm bound computation for inverses of linear operators in Hilbert spaces
- A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations
- Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape
- Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
- Computer-assisted enclosure methods for elliptic differential equations
This page was built for publication: Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems
