Abstract
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 computing procedures to verify the existence, uniqueness and inclusion set of a solution based on Schauder’s fixed point theorem. Using the finite element approximations for some simple Poisson’s equations and the results of error estimates, we generate iteratively a set sequence composed of functions and attempt to construct automatically the set including the exact solution. Further, the conditions of verifiability by this method are considered and some numerical examples of verification are presented.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
P. G. Ciaret, The Finite Element Method for Elliptic Problems. North-Holland, Amsterdam, 1978.
J. Douglas, Jr. and T. Dupont, Galerkin approximation for the two point boundary problem using continuous piecewise polynomial spaces. Numer. Math.,22 (1974), 99–109.
P. Grisvard, Elliptic Problems in Nonsmooth Domains. Pitman, Boston, 1985.
IBM manual, High-Accuracy Arithmetic Subroutine Library (ACRITH), Program Description and User’s Guide, SC33-6164-02, 1986.
E. W. Kaucher and W. L. Miranker, Self-Validating Numerics for Function Space Problems. Academic Press, New York, 1984.
U. W. Kulisch and W. L. Miranker, Comoputer Arithmetic in Theory and Practice. Academic Press, New York, 1981.
U. W. Kulisch and W. L. Miranker, A new approach to scientific computation. Proceedings of the IBM Symposium, Academic Press, New York, 1983.
O. E. Lanford III, Computer-assisted proofs in analysis. Physica124A (1984), 465–470.
Author information
Authors and Affiliations
About this article
Cite this article
Nakao, M.T. A numerical approach to the proof of existence of solutions for elliptic problems. Japan J. Appl. Math. 5, 313–332 (1988). https://doi.org/10.1007/BF03167877
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF03167877