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}
}

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

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

Infinite-Dimensional Newton-Type Method

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

TLDR
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 new formulation for the numerical proof of the existence of solutions to elliptic problems

TLDR
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

<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

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

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

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

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

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

  • S. Rump
  • Mathematics, Computer Science
  • 2011
TLDR
Various approaches to the singular value decomposition and spectral norm of a matrix together with some auxiliary useful estimates are presented.

A numerical approach to the proof of existence of solutions for elliptic problems II

This paper is a continuation of the preceding study ([2]) in which we described an automatic proof by computer, utilizing Schauder’s fixed point theorem, of the existence of weak solutions for

Numerical verification methods for solutions of semilinear elliptic boundary value problems

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 the L 2 a Priori Error Estimates to the Finite Element Solution of Elliptic Problems with Singular Adjoint Operator

The Aubin–Nitsche trick for the finite element method of Dirichlet boundary value problem is a well-known technique to obtain a higher order a priori L 2 error estimation than that of estimates by

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

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