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

Uses Software

• INTLAB