An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space

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

zbMATH Keywords

differential operator; numerical verification; computer-assisted proof; solvability of linear problem

Mathematics Subject Classification ID

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

• INTLAB

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