Norm bound computation for inverses of linear operators in Hilbert spaces
From MaRDI portal
Publication:2634224
DOI10.1016/j.jde.2015.12.041zbMath1398.65094OpenAlexW2226622866MaRDI QIDQ2634224
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Kaori Nagatou, Michael Plum
Publication date: 8 February 2016
Published in: Journal of Differential Equations (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jde.2015.12.041
Estimates of eigenvalues in context of PDEs (35P15) General theory of partial differential operators (47F05) Algorithms with automatic result verification (65G20)
Related Items (8)
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 ⋮ 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 ⋮ An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces ⋮ A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration ⋮ Equilibrium validation in models for pattern formation based on Sobolev embeddings ⋮ An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space ⋮ Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse
- Some remarks on the behaviour of the finite element solution in nonsmooth domains
- A numerical verification method for two-coupled elliptic partial differential equations
- Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications
- 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
- Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
- On the best constant in the error bound for the \(H_0^1\)-projection into piecewise polynomial spaces
- A numerically based existence theorem for the Navier-Stokes equations
- A numerical verification of nontrivial solutions for the heat convection problem
- Numerical verification of existence and inclusion of solutions for nonlinear operator equations
- Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
- An efficient approach to the numerical verification for solutions of elliptic differential equations
- A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
- Determination of the Babuska-Aziz constant for the linear triangular finite element
- A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations
- Eigenvalue enclosures and exclosures for non-self-adjoint problems in hydrodynamics
- A numerical approach to the proof of existence of solutions for elliptic problems
- A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
- On theL2a PrioriError Estimates to the Finite Element Solution of Elliptic Problems with Singular Adjoint Operator
- A computer-assisted instability proof for the Orr-Sommerfeld equation with Blasius profile
- Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces
This page was built for publication: Norm bound computation for inverses of linear operators in Hilbert spaces
