A METHOD OF PROVING THE EXISTENCE OF SIMPLE TURNING-POINTS OF 2-POINTBOUNDARY-VALUE-PROBLEMS BASED ON THE NUMERICAL COMPUTATION WITH GUARANTEED ACCURACY

Authors
SOMA T OISHI S KANZAWA Y HORIUCHI K
Citation
T. Soma et al., A METHOD OF PROVING THE EXISTENCE OF SIMPLE TURNING-POINTS OF 2-POINTBOUNDARY-VALUE-PROBLEMS BASED ON THE NUMERICAL COMPUTATION WITH GUARANTEED ACCURACY, IEICE transactions on fundamentals of electronics, communications and computer science, E81A(9), 1998, pp. 1892-1897
Citations number
11
Categorie Soggetti
Engineering, Eletrical & Electronic","Computer Science Hardware & Architecture","Computer Science Information Systems
Journal title
IEICE transactions on fundamentals of electronics, communications and computer science → ACNP
ISSN journal
09168508
Volume
E81A
Issue
9
Year of publication
1998
Pages
1892 - 1897
Database
ISI
SICI code
0916-8508(1998)E81A:9<1892:AMOPTE>2.0.ZU;2-D
Abstract
This paper is concerned with the validation of simple turning points o f two-point boundary value problems of nonlinear ordinary differential equations. Usually it is hard to validate approximate solutions of tu rning points numerically because of it's singularity. In this paper, i t is pointed out that applying the infinite dimensional Krawcyzk-based interval validation method to enlarged system, the existence of simpl e turning points can be verified. Taking an example, the result of val idation is also presented.