Yoshitaka Watanabe and Mitsuhiro T. Nakao:
Numerical Verifications of Solutions for Nonlinear Elliptic Equations,
Japan Journal of Industrial and Applied Mathematics, Vol.10, No.1 (1993) pp.165-178.

A numerical technique which enables us to verify the existence of weak solutions for nonlinear elliptic boundary value problems is proposed.

It is based on the infinite dimensional fixed point theorems using the Newton-like operator and the error estimates for finite element approximations.

We also present an effective verification procedure which automatically generates the set including the exact solution in a computer. Some numerical examples are illustrated. 14pages.

The publisher holds the copyright on this manuscript.