# Norm bound computation for inverses of linear operators in Hilbert spaces

@article{Watanabe2016NormBC, title={Norm bound computation for inverses of linear operators in Hilbert spaces}, author={Yoshitaka Watanabe and Kaori Nagatou and Michael Plum and Mitsuhiro T. Nakao}, journal={Journal of Differential Equations}, year={2016}, volume={260}, pages={6363-6374} }

## 10 Citations

An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces

- MathematicsJournal of Differential Equations
- 2019

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

- MathematicsJapan Journal of Industrial and Applied Mathematics
- 2019

This paper presents an improved method for determining the invertibility of second-order linear elliptic operators with a bound on the norm of their inverses by computers in a mathematically rigorous…

Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems

- MathematicsComput. Math. Appl.
- 2022

Infinite-Dimensional Newton-Type Method

- MathematicsSpringer Series in Computational Mathematics
- 2019

This chapter presents two numerical verification methods which are based on some infinite-dimensional fixed-point theorems. The first approach is a technique using sequential iteration. Although this…

Numerical verification methods for a system of elliptic PDEs, and their software library

- Computer Science, MathematicsNonlinear Theory and Its Applications, IEICE
- 2021

Existing verification methods are reformulated using a convergence theorem for simplified Newton-like methods in the direct product space of a computable finite-dimensional space Vh and its orthogonal complement space V⊥ to provide verification methods of solutions to PDEs.

A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration

- MathematicsAppl. Math. Comput.
- 2016

A new formulation for the numerical proof of the existence of solutions to elliptic problems

- MathematicsArXiv
- 2019

This paper represents the inverse operator ${\mathcal L}^{-1} as an infinite-dimensional operator matrix that can be decomposed into two parts, one finite dimensional and one infinite dimensional, enabling a more efficient verification procedure compared with existing methods for the solution of elliptic PDEs.

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

- Computer Science, MathematicsNumerische Mathematik
- 2020

<jats:p>Infinite-dimensional Newton methods can be effectively used to derive numerical proofs of the existence of solutions to partial differential equations (PDEs). In computer-assisted proofs of…

Equilibrium validation in models for pattern formation based on Sobolev embeddings

- MathematicsDiscrete & Continuous Dynamical Systems - B
- 2021

In the study of equilibrium solutions for partial differential equations there are so many equilibria that one cannot hope to find them all. Therefore one usually concentrates on finding individual…

## References

SHOWING 1-10 OF 28 REFERENCES

A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems

- MathematicsComputing
- 2004

A numerical method to verify the invertibility of second-order linear elliptic operators by using the projection and the constructive a priori error estimates based upon the existing verification method originally developed by one of the authors is proposed.

Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications

- Mathematics, Computer Science
- 2008

A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations

- MathematicsMath. Comput.
- 2013

This paper presents constructive a posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations (PDEs) on a bounded domain. This type of…

Explicit H2-estimates and pointwise bounds for solutions of second-order elliptic boundary value problems

- Mathematics
- 1992

Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse

- Mathematics, Computer Science
- 2011

Various approaches to the singular value decomposition and spectral norm of a matrix together with some auxiliary useful estimates are presented.

Existence of positive solutions to nonlinear elliptic problem in the half space.

- Mathematics
- 2005

This paper concerns nonlinear elliptic equations in the half space Rn := {x = (x 0,xn) 2 Rn : xn > 0}, n 2, with a nonlinear term satis- fying some conditions related to a certain Kato class of…

Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces

- MathematicsSIAM J. Numer. Anal.
- 2014

This paper presents eigenvalue excluding methods for self-adjoint or non-self-adjoint eigenvalue problems in Hilbert spaces, including problems with partial differential operators. Eigenvalue…

Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems

- Mathematics, Computer ScienceComputing
- 2005

A numerical method is presented which can be used to prove the existence of a solution within a “close”H1,4(Ω)-neighborhood of some approximate solution ω∈H2 (Ω) satisfying the boundary condition, provided that the defect-norm ∥−Δω +F(·, ω, ψx)∥2 is sufficiently small.

Numerical existence theorem for solutions of two-point boundary value problems of nonlinear differential equations

- Mathematics
- 2010

In this paper, a numerical method is presented for verifying the existence and uniqueness of solutions to two-point boundary value problems of nonlinear ordinary differential equations. Taking into…

A Numerical Verification of Nontrivial Solutions for the Heat Convection Problem

- Mathematics
- 2004

AbstractA computer assisted proof of
the existence of nontrivial steady-state solutions for the
two-dimensional Rayleigh-Bénard convection is described.
The method is based on an infinite dimensional…