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

@article{Nakao2004ANM,
  title={A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems},
  author={Mitsuhiro T. Nakao and Kouji Hashimoto and Yoshitaka Watanabe},
  journal={Computing},
  year={2004},
  volume={75},
  pages={1-14}
}
Abstract.In this paper, we propose a numerical method to verify the invertibility of second-order linear elliptic operators. By using the projection and the constructive a priori error estimates, the invertibility condition is formulated as a numerical inequality based upon the existing verification method originally developed by one of the authors. As a useful application of the result, we present a new verification method of solutions for nonlinear elliptic problems, which enables us to… 

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

: 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

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

Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation

This paper proposes a verified numerical method of proving the invertibility of linear elliptic operators. This method also provides a verified norm estimation for the inverse operators. This type of

Some considerations of the invertibility verifications for linear elliptic operators

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

Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators

TLDR
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

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 verification of solutions for boundary value problems by using spectral methods

TLDR
A constructive error estimates for the H 0 -projection into polynomial spaces are derived by using the property of the Legendre polynomials and the Galerkin approximation with higher degree polynoms enables us to get very small residual errors.

On Some Convergence Properties for Finite Element Approximations to the Inverse of Linear Elliptic Operators

This paper deals with convergence theorems of the Galerkin finite element approximation for the second-order elliptic boundary value problems. Under some quite general settings, we show not only the

A numerical verification method for solutions of nonlinear parabolic problems

By using the finite element approximation and constructive a priori error estimates, a new formulation for proving the existence of solutions for nonlinear parabolic problems is presented. We present
...

References

SHOWING 1-10 OF 17 REFERENCES

An approach to the numerical verification of solutions for nonlinear elliptic problems with local uniqueness

We propose a numerical method to verify the existence and local uniqueness of solutions to nonlinear elliptic equations. We numerically construct a set containing solutions which satisfies the

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

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

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

In this paper, we describe a method which proves by computers the existence of weak solutions for linear elliptic boundary value problems of second order. It is shown that we can constitute the

Solving Nonlinear Elliptic Problems with Result Verification Using an H -1 Type Residual Iteration

Solving Nonlinear Elliptic Problems with Result Verification Using an H -1 Type Residual Iteration. In this paper, we consider a numerical technique to verify the solutions with guaranteed error

An Efficient Approach to the Numerical Verification for Solutions of Elliptic Differential Equations

TLDR
An alternative method to overcome the difficulty of verifying the accuracy of numerical verification methods for solutions of second-order elliptic boundary value problems based on the infinite-dimensional fixed-point theorem is proposed.

A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem

In this paper, we propose a method to prove the existence and the local uniqueness of solutions to infinite-dimensional fixed-point equations using computers. Choosing a set which possibly includes a

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

Computer-assisted enclosure methods for elliptic differential equations

NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS

In this article, we describe on a state of the art of validated numerical computations for solutions of differential equations. A brief overview of the main techniques for self-validating numerics