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-8MaRDI 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
differential operator; numerical verification; computer-assisted proof; solvability of linear problem
35P15: Estimates of eigenvalues in context of PDEs
47F05: General theory of partial differential operators
65G20: Algorithms with automatic result verification
Related Items
Equilibrium validation in models for pattern formation based on Sobolev embeddings, 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
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