Some considerations of the invertibility verifications for linear elliptic operators

DOI10.1007/S13160-014-0160-6zbMATH Open1320.35164OpenAlexW1997242374MaRDI QIDQ2352136FDOQ2352136

Authors: Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takehiko Kinoshita, Takuma Kimura, Nobito Yamamoto 

Publication date: 30 June 2015

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-014-0160-6

Recommendations

• Some improvements of invertibility verifications for second-order linear elliptic operators
• A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
• An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
• Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces
• Norm bound computation for inverses of linear operators in Hilbert spaces

zbMATH Keywords

computer-assisted proofdifferential operatorsnumerical verificationsolvability of linear problem

Mathematics Subject Classification ID

Estimates of eigenvalues in context of PDEs (35P15) Second-order elliptic equations (35J15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A numerical verification of nontrivial solutions for the heat convection problem
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• On the best constant in the error bound for the \(H_0^1\)-projection into piecewise polynomial spaces
• A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
• Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains
• Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method
• Determination of the Babuska-Aziz constant for the linear triangular finite element
• Numerical verification method for infinite dimensional eigenvalue problems
• A constructive a priori error estimation for finite element discretizations in a non-convex domain using singular functions
• Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains.
• Title not available (Why is that?)
• Title not available (Why is that?)
• On error estimation of finite element approximations to the elliptic equations in nonconvex polygonal domains
• Title not available (Why is that?)
• A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations

Cited In (9)

• An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
• Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators
• An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space
• A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
• 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
• Some lower bound estimates for resolvents of a compact operator on an infinite-dimensional Hilbert space
• Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems
• Some improvements of invertibility verifications for second-order linear elliptic operators
• Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces

Uses Software

• INTLAB

This page was built for publication: Some considerations of the invertibility verifications for linear elliptic operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2352136)