An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space
From MaRDI portal
Publication:2318498
DOI10.1007/s13160-019-00344-8OpenAlexW2912666934MaRDI QIDQ2318498
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takehiko Kinoshita
Publication date: 15 August 2019
Published in: Japan Journal of Industrial and Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s13160-019-00344-8
Estimates of eigenvalues in context of PDEs (35P15) General theory of partial differential operators (47F05) Algorithms with automatic result verification (65G20)
Related Items (3)
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 ⋮ Equilibrium validation in models for pattern formation based on Sobolev embeddings
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Numerical verification method for infinite dimensional eigenvalue problems
- Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
- 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
- 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
This page was built for publication: An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space
