Abstract
This paper is concerned with the validation of simple turning points of two-point boundary value problems of nonlinear ordinary differential equations. Usually it is hard to validate approximate solutions of turning points numerically because of it's singularity. In this paper, it is pointed out that applying the infinite dimensional Krawcyzk-based interval validation method to enlarged system, the existence of simple turning points can be verified. Taking an example, the result of validation is also presented.
| Original language | English |
|---|---|
| Pages (from-to) | 1892-1897 |
| Number of pages | 6 |
| Journal | IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences |
| Volume | E81-A |
| Issue number | 9 |
| Publication status | Published - 1998 |
Keywords
- Enlarged systems
- Krawczyk's mapping
- Numerical computation with guaranteed accuracy
- Turning points
- Two-point boundary-value problems
ASJC Scopus subject areas
- Signal Processing
- Computer Graphics and Computer-Aided Design
- Electrical and Electronic Engineering
- Applied Mathematics