Skip to main content
SpringerLink
Log in

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

  • Published:
Japan Journal of Applied Mathematics Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. P. G. Ciaret, The Finite Element Method for Elliptic Problems. North-Holland, Amsterdam, 1978.

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  3. P. Grisvard, Elliptic Problems in Nonsmooth Domains. Pitman, Boston, 1985.

    MATH  Google Scholar 

  4. IBM manual, High-Accuracy Arithmetic Subroutine Library (ACRITH), Program Description and User’s Guide, SC33-6164-02, 1986.

  5. E. W. Kaucher and W. L. Miranker, Self-Validating Numerics for Function Space Problems. Academic Press, New York, 1984.

    MATH  Google Scholar 

  6. U. W. Kulisch and W. L. Miranker, Comoputer Arithmetic in Theory and Practice. Academic Press, New York, 1981.

    Google Scholar 

  7. U. W. Kulisch and W. L. Miranker, A new approach to scientific computation. Proceedings of the IBM Symposium, Academic Press, New York, 1983.

  8. O. E. Lanford III, Computer-assisted proofs in analysis. Physica124A (1984), 465–470.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Science, Kyushu University 33, Hakozaki, 812, Fukuoka, Japan

    Mitsuhiro T. Nakao

Authors
  1. Mitsuhiro T. Nakao
    View author publications

    You can also search for this author in PubMed Google Scholar

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

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03167877

Key words

Search

Navigation