Some recent advances in validated methods for IVPs for ODEs

Applied Numerical Mathematics

Volumn 42, Issue 1-3, 2002, Pages 269-284

  Jackson, Kenneth R ^a   Nedialkov, Nedialko S ^b  

^a UNIVERSITY OF TORONTO   (Canada)

^b MCMASTER UNIVERSITY   (Canada)

Author keywords

Initial value problems; Interval methods; Ordinary differential equations; QR algorithm; Simultaneous iteration; Stability; Taylor series; Validated methods; Wrapping effect

Indexed keywords

ALGORITHMS; ITERATIVE METHODS; NUMERICAL METHODS; ORDINARY DIFFERENTIAL EQUATIONS;

INTERVAL TAYLOR SERIES (ITS);

INITIAL VALUE PROBLEMS;

EID: 0036679644     PISSN: 01689274     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-9274(01)00155-6     Document Type: Conference Paper

References (33)

1. Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
2. Discretization errors for well-set Cauchy problems: I
3. Validating an a priori enclosure using high-order Taylor series
4. On Padé approximations to the exponential function and A-stable methods for the numerical solution of initial value problems
5. The Solution of Initial Value Problems Using Interval Arithmetic
6. The QR transformation: A unitary analogue to the LR transformation - Part 1
7. A computable error bound for systems of ordinary differential equations
8. Ordinary differential equations
9. Rigorously computed orbits of dynamical systems without the wrapping effect
10. Enclosing the solutions of ordinary initial and boundary value problems
11. Step size order control in the verified solution of IVP with ODE's
12. An interval Hermite-Obreschkoff method for computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation
13. Validated solutions of initial value problems for ordinary differential equations
14. An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
15. Global rigorous and realistic bounds for the solution of dissipative differential equations. Part I: Theory
16. On a class of enclosure methods for initial value problems
17. On the existence and the verified determination of homoclinic and heteroclinic orbits of the origin for the Lorenz system
18. A heuristic to reduce the wrapping effect in the numerical solution of x′ = f(t,x)
19. On higher order stable implicit methods for solving parabolic differential equations
20. On the integration of stiff differential equations
21. Understanding the QR algorithm