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

@article{Kinoshita2019AnAA, title={An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces}, author={Takehiko Kinoshita and Yoshitaka Watanabe and Mitsuhiro T. Nakao}, journal={Journal of Differential Equations}, year={2019} }

## 5 Citations

### Some improvements of invertibility verifications for second-order linear elliptic operators

- Mathematics
- 2020

### 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.

### 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…

### 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…

## References

SHOWING 1-10 OF 50 REFERENCES

### An improvement of the theorem of a posteriori estimates for inverse elliptic operators

- Mathematics
- 2014

: This paper presents a numerical method to verify the invertibility of a linear elliptic operator. The invertibility of a linearized operator is useful information when verifying the existence of a…

### Some considerations of the invertibility verifications for linear elliptic operators

- Mathematics
- 2015

This paper presents three computer-assisted procedures for verifying the invertibility of second-order linear elliptic operators and for computing a bound on the norm of its inverse. One of these…

### 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 Guaranteed Bound of the Optimal Constant in the Error Estimates for Linear Triangular Elements

- Mathematics, Computer SciencePerspectives on Enclosure Methods
- 2001

This paper provides the basic idea and outline the concept of verification procedures as well as show the final numerical result, which is a sufficiently sharp bound of the desired constant by a computer assisted proof.

### Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators

- Mathematics, Computer ScienceSCAN
- 2014

A new numerical method is presented to obtain the rigorous upper bounds of inverse linear elliptic elliptic operators and it is shown the proposed new estimate is effective for an intermediate mesh size.

### Numerical verification methods for solutions of semilinear elliptic boundary value problems

- Mathematics
- 2011

This article describes a survey on numerical verification methods for second-order semilinear elliptic boundary value problems introduced by authors and their colleagues. Here “numerical…

### On very accurate enclosure of the optimal constant in the a priori error estimates for H20-projection

- Mathematics, Computer ScienceJ. Comput. Appl. Math.
- 2010

### Numerical Verification of Solutions for Nonlinear Elliptic Problems Using anL∞Residual Method☆

- Mathematics
- 1998

Abstract We consider a numerical enclosure method with guaranteedL∞error bounds for the solution of nonlinear elliptic problems of second order. By using an a posteriori error estimate for the…