Abstract
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 Dirichlet problems of second order. We newly formulate a verification method using the Newton-like method and Sadovskii’s fixed point theorem for the codensing map. This approach enables us to remove the magnitude limit of the spectral radius of operator appeared in the previous work. We show some numerical examples which confirm us that the method is really applicable to problems having large spectral radius.
Similar content being viewed by others
References
E.W. Kaucher and W.L. Miranker, Self-Validating Numerics for Function Space Problems. Academic Press, New York, 1984.
M.T. Nakao, A numerical approach to the proof of existence of solutions for elliptic problems. Japan J. Appl. Math.,5 (1988), 313–332.
M.T. Nakao, A computational verification method of existence of solution for nonlinear elliptic problems. Lecture Notes in Numer. Appl. Anal.,10, North Holland/Kinokuniya, Amsterdam/Tokyo, 1989, 101–120.
J.T. Oden and J.N. Reddy, An introduction to the mathematical theory of finite elements. John Wiley & Sons, New York, 1976.
S.M. Rump, Solving algebraic problems with high accuracy. Proceedings of the IBM Symposium, Academic Press, New York, 1983.
M.H. Schultz, Spline Analysis. Prentice-Hall, Englewood Cliffs, New Jersey, 1973.
E. Zeidler, Nonlinear Functional Analysis and Its Applications I. Springer-Verlag, New York, 1986.
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 II. Japan J. Appl. Math. 7, 477–488 (1990). https://doi.org/10.1007/BF03167855
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF03167855