Abstract
In order to verify the solutions of nonlinear boundary value problems by Nakao’s computerassisted numerical method, it is required to find a constant, as sharp as possible, in the a priori error estimates for the finite element approximation of some simple linear problems. For singularly perturbed problems, however, generally it is known that the perturbation term produces a bad effect on the a priori error estimates, i.e., leads to a large constant, if we use the usual approximation methods. In this paper, we propose some verification algorithms for solutions of singularly perturbed problems with nonlinearity by using the constant obtained in the a priori error estimates based on the exponential fitting method with Green’s function. Some numerical examples which confirm us the effectiveness of our method are presented.
Similar content being viewed by others
References
Owe Axelsson, Iterative Solution Methods. Cambridge University Press, 1994.
Mitsuhiro T. Nakao, Numerical verification methods for solutions of ordinary and partial differential equations. Numer. Funct. Anal. Optim.,22, No. 3&4 (2001), 321–356.
T. Ogita, S. Oishi and Y. Ushiro, Fast verification of solutions for sparse monotone matrix equations. Computing Suppl.,15 (2001), 175–187.
Eugene O’Riordan and Martin Stynes, An analysis of a superconvergence result for a singularly perturbed boundary value problem. Math. Comp.,46, No. 173 (1986), 81–92.
S.M. Rump, INTLAB-INTerval LABoratory, a Matlab toolbox for verified computations, version 4.1.2. Inst. Infomatik, Technical University of Hamburg-Harburg, 2002.
H.-G. Roos, M. Stynes and L. Tobiska, Numerical Methods for Singularly Perturbed Differential Equations. Springer, Berlin Heidelberg, 1996.
Martin Stynes and Eugene O’Riordan, A finite element method for a singularly perturbed boundary value problem. Numer. Math.,50, No. 1 (1986), 1–15.
Martin Stynes and Eugene O’Riordan, An analysis of a singularly perturbed two-point boundary value problem using only finite element techniques. Math. Comp.,56, No. 194 (1991), 663–675.
Nobito Yamamoto and Mitsuhiro T. Nakao, Numerical verifications for solutions to elliptic equations using residual iterations with higher order finite element. J. Comput. Appl. Math.,60 (1995), 271–279.
Author information
Authors and Affiliations
About this article
Cite this article
Hashimoto, K., Abe, R., Nakao, M.T. et al. A numerical verification method for solutions of singularly perturbed problems with nonlinearity. Japan J. Indust. Appl. Math. 22, 111 (2005). https://doi.org/10.1007/BF03167479
Received:
Revised:
DOI: https://doi.org/10.1007/BF03167479