• Corpus ID: 55794893

Numerical Verification Methods for the Solutions of Nonlinear Elliptic and Evolution Problems

@inproceedings{Nakao1992NumericalVM,
  title={Numerical Verification Methods for the Solutions of Nonlinear Elliptic and Evolution Problems},
  author={Mitsuhiro T. Nakao},
  year={1992}
}
  • M. Nakao
  • Published 1 June 1992
  • Mathematics
In this paper, we consider a numerical technique to enclose the solutions with guaranteed error bounds for nonlinear elliptic bundary value problems as well as its extension to the evolution equations. Using a finite element solution and explicit error estimate for certain simple hnear problem, we construct, in computer, a set of functions which satisfies the condition of Schauder’s or other fixed point theorem under some appropriately function spaces. In order to obtain such a numerical set… 
1 Citations

References

SHOWING 1-9 OF 9 REFERENCES

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

Aspects of Self-Validating Numerics in Banach Spaces

On the Smoothing Property of the Galerkin Method for Parabolic Equations

We analyze the Galerkin approximation of the general second-order parabolic initial-boundary value problem. For the second-order continuous time method with initial data only in $L^2 $ we prove an

Elliptic Problems in Nonsmooth Domains

Foreword Preface 1. Sobolev spaces 2. Regular second-order elliptic boundary value problems 3. Second-order elliptic boundary value problems in convex domains 4. Second-order boundary value problems

Self-Validating Numerics for Function Space Problems

Non-homogeneous boundary value problems and apphcations I and I I, Springer-Verlag

  • 1972

The finite element method for elhptic

  • 1978

Enclosing the solutions of ordinary initial and boundary value problems, Computerarithmetic(eds

  • 1987