Some improvements of invertibility verifications for second-order linear elliptic operators
From MaRDI portal
Publication:2174959
Recommendations
- 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
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
- 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
Cites work
- A constructive a priori error estimation for finite element discretizations in a non-convex domain using singular functions
- A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
- A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration
- A numerical verification of nontrivial solutions for the heat convection problem
- A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
- An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space
- Computer-assisted equilibrium validation for the diblock copolymer model
- Computer-assisted proofs for semilinear elliptic boundary value problems
- Determination of the Babuska-Aziz constant for the linear triangular finite element
- Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains.
- 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
- scientific article; zbMATH DE number 1694760 (Why is no real title available?)
- scientific article; zbMATH DE number 1694909 (Why is no real title available?)
- scientific article; zbMATH DE number 4138299 (Why is no real title available?)
- scientific article; zbMATH DE number 107781 (Why is no real title available?)
- scientific article; zbMATH DE number 3596197 (Why is no real title available?)
- scientific article; zbMATH DE number 1440908 (Why is no real title available?)
- Norm bound computation for inverses of linear operators in Hilbert spaces
- Numerical verification method for infinite dimensional eigenvalue problems
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- Numerical verification of existence and inclusion of solutions for nonlinear operator equations
- Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains
- On error estimation of finite element approximations to the elliptic equations in nonconvex polygonal domains
- On the best constant in the error bound for the H₀^1-projection into piecewise polynomial spaces
- Some considerations of the invertibility verifications for linear elliptic operators
- Some remarks on the rigorous estimation of inverse linear elliptic operators
- Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse
- Verified eigenvalue evaluation for the Laplacian over polygonal domains of arbitrary shape
- Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains
Cited in
(10)- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
- Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems
- Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains
- Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation
- An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space
- 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
- Some remarks on the rigorous estimation of inverse linear elliptic operators
- Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces
- Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems
This page was built for publication: Some improvements of invertibility verifications for second-order linear elliptic operators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2174959)
