Abstract
Nonlinear boundary value problems (NBVPs in abbreviation) with parameters are called parametrized nonlinear boundary value problems. This paper studies numerical verification of solutions of parametrized NBVPs defined on one-dimensional bounded intervals. Around turning points the original problem is extended so that the extended problem has an invertible Fréchet derivative. Then, the usual procedure of numerical verification of solutions can be applied to the extended problem. A numerical example is given.
Similar content being viewed by others
References
F. Brezzi, J. Rappaz and P.A. Raviart, Finite dimensional approximation of nonlinear problems, Part I: Branches of nonsingular solutions. Numer. Math., 36 (1980), 1–25.
F. Brezzi, J. Rappaz and P.A. Raviart, Finite dimensional approximation of nonlinear problems, Part II: Limit points, Numer. Math.,37 (1981), 1–28.
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 solutions for nonlinear elliptic equations. Lecture Notes Numer. Appl. Anal.,10 (1989), 101–120.
M.T. Nakao, A numerical approach to the proof of existence of solutions for elliptic problems II. Japan J. Appl. Math.,7 (1990), 477–488.
M.T. Nakao, Solving nonlinear parabolic problems with result verificaion. J. Comput. Appl. Math.,38 (1991), 323–334.
M.T. Nakao, A numrical verification method for the existence of weak solutions for non-linear boundary value problmes. J. Math. Anal. Appl.,164 (1992), 489–507.
M.T. Nakao, Solving nonlinear elliptic problems with result verification using anH −1 type residual iteration. Comput. Suppl.,9 (1993), 161–173.
W.C. Rheinboldt, Numerical Analysis of Parametrized Nonlinear Equations. Wiley, 1986.
T. Tsuchiya, Enlargement procedure for resolution of singularities at simple singular solutions of nonlinear equations. Numer. Math.,52 (1988), 401–411.
T. Tsuchiya and I. Babuška, A prioir error estimates of finite element solutions of parametrized strongly nonlinear boundary value problems. J. Comput. Appl. Math.,79 (1997), 41–66.
Y. Watanabe and M.T. Nakao, Numerical verifications of solutions for nonlinear elliptic equations. Japan J. Appl. Math.,10 (1993), 165–178.
E. Zeidler, Nonlinear Functional Analysis and Its Application I. Springer, 1986.
Author information
Authors and Affiliations
Additional information
Partially supported by Saneyoshi Scholarship Foundation.
About this article
Cite this article
Tsuchiya, T., Nakao, M.T. Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points. Japan J. Indust. Appl. Math. 14, 357–372 (1997). https://doi.org/10.1007/BF03167389
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF03167389