Rigorous integration of flows and ODEs using Taylor models

Proceedings of the 2009 Conference on Symbolic Numeric Computation, SNC 2009

Volumn , Issue , 2009, Pages 79-84

  Makino, Kyoko ^a   Berz, Martin ^a  

^a MICHIGAN STATE UNIVERSITY   (United States)

Author keywords

Double pendulum; Error bound; Initial value problem; Interval arithmetic; Nonlinear flow of ODE; Rigorous flow integration; Rigorous ODE integration; Taylor model; Taylor polynomial

Indexed keywords

DOUBLE PENDULUM; ERROR BOUND; INTERVAL ARITHMETIC; NONLINEAR FLOW; TAYLOR MODELS; TAYLOR POLYNOMIALS;

ALGEBRA; BOUNDARY LAYER FLOW; CHAOTIC SYSTEMS; DIFFERENTIATION (CALCULUS); ENCLOSURES; INITIAL VALUE PROBLEMS; INTEGRATION; MATHEMATICAL MODELS; METEORITES; NUMERICAL METHODS; ORDINARY DIFFERENTIAL EQUATIONS; PENDULUMS; SYNCHRONOUS MOTORS;

NONLINEAR EQUATIONS;

EID: 70450205256     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1577190.1577206     Document Type: Conference Paper

References (8)

1. M. Berz. Differential algebraic description of beam dynamics to very high orders. Particle Accelerators, 24: 109, 1989.
2. M. Berz. Modern Map Methods in Particle Beam Physics. Academic Press, San Diego, 1999. Also available athttp://bt.pa.msu.edu/pub.
3. M. Berz and K. Makino. Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models. Reliable Computing, 4(4): 361-369, 1998.
4. K. Makino. Rigorous Analysis of Nonlinear Motion in Particle Accelerators. PhD thesis, Michigan State University, East Lansing, Michigan, USA, 1998. Also MSUCL-1093.
5. K. Makino and M. Berz. Taylor models and other validated functional inclusion methods. International Journal of Pure and Applied Mathematics, 6, 3: 239-316, 2003.
6. K. Makino and M. Berz. Suppression of the wrapping effect by Taylor model- based verified integrators: The single step. International Journal of Pure and Applied Mathematics, 36, 2: 175-197, 2006.
7. R. E. Moore. Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ, 1966.
8. A. Rauh. Private communication.