Algorithm 924: Tides, a taylor series integrator for differential equations

ACM Transactions on Mathematical Software

Volumn 39, Issue 1, 2012, Pages

  Abad, Alberto ^a   Barrio, Roberto ^a   Blesa, Fernando ^a   Rodriguez, Marcos ^b  

^a UNIVERSITY OF ZARAGOZA   (Spain)

^b CENTRO UNIVERSITARIO DE LA DEFENSA   (Spain)

Author keywords

Taylor series method, automatic differentiation, high precision, variational equations, numerical integration of ODEs

Indexed keywords

AUTOMATIC DIFFERENTIATIONS; C PROGRAMS; DIRECT SOLUTION; DOUBLE PRECISION; HIGH PRECISION; MATHEMATICA; NUMERICAL INTEGRATIONS; NUMERICAL TESTS; PRECISION INTEGRATION; QUADRUPLE PRECISION; SCIENTIFIC DISCIPLINE; STANDARD METHOD; VARIATIONAL EQUATIONS;

INTEGRATION; ORDINARY DIFFERENTIAL EQUATIONS; TAYLOR SERIES; TIDES;

NUMERICAL METHODS;

EID: 84871240666     PISSN: 00983500     EISSN: 15577295     Source Type: Journal    
DOI: 10.1145/2382585.2382590     Document Type: Article

References (71)

1. ABAD, A., BARRIO, R., BLESA, F., AND RODŔIGUEZ, M. 2011. TIDES web page:http://gme.unizar.es/software/tides.
2. BARRIO, R. 2006a. Painting chaos: A gallery of sensitivity plots of classical problems. Int. J. Bifur. Chaos Appl. Sci. Engrg. 16, 10, 2777-2798..
3. BARRIO, R. 2006b. Sensitivity analysis of ODEs/DAEs using the Taylor series method. SIAM J. Sci. Comput. 27, 6, 1929-1947..
4. BARRIO, R. AND BLESA, F. 2009. Systematic search of symmetric periodic orbits in 2DOF Hamiltonian systems. Chaos Solitons Fractals 41, 2, 560-582..
5. BARRIO, R., BLESA, F., AND LARA, M. 2005. VSVO formulation of the Taylor method for the numerical solution of ODEs. Comput. Math. Appl. 50, 1-2, 93-111..
6. BARRIO, R., BLESA, F., AND SERRANO, S. 2009a. Bifurcations and safe regions in open Hamiltonians. New J. Phys. 11, 053004..
7. BARRIO, R., BLESA, F., AND SERRANO, S. 2009b. Periodic, escape and chaotic orbits in the Copenhagen and the (n + 1)-body ring problems. Comm. Nonlinear Sci. Numer. Simul. 14, 5, 2229-2238..
8. BARRIO, R. AND SERRANO, S. 2007. A three-parametric study of the Lorenz model. Phys. D 229, 1, 43-51..
9. BARTON, D. 1980. On Taylor series and stiff equations. ACM Trans. Math. Softw. 6, 3, 280-294..
10. BAUER, F.L. 1974. Computational graphs and rounding error. SIAM J. Numer. Anal. 11, 1, 87-96..
11. BARTON, D., WILLERS, I. M., AND ZAHAR, R. V. M. 1971. The automatic solution of ordinary differential equations by the method of Taylor series. Comput. J. 14, 243-248..
12. BERZ, M. 1991. Algorithms for higher derivatives in many variables with applications to beam physics. In Automatic Differentiation of Algorithms. SIAM, Philadelphia, PA, 147-156..
13. BINNEY, J. AND TREMAINE, S. 1987. Galactic Dynamics. Princeton University Press..
14. BROUWER, D. 1937. On the accumulation of errors in numerical integration. Astron. J. 30, 149-153..
15. CAUCHY, A. 1839-42. Several articles in Comptes Rendus de l'Acad. des Sciences de Paris..
16. CHANG, Y. F. 1974. Automatic solution of differential equations. In Constructive and Computational Methods for Differential and Integral Equations, Lecture Notes in Mathematics, vol 430, 61-94..
17. CHANG, Y. F. AND CORLISS, G. 1994. ATOMFT: Solving ODEs and DAEs using Taylor series. Comput. Math. Appl. 28, 10-12, 209-233..
18. CHANG, Y. F. AND CORLISS, G. F. 1980. Ratio-Like and recurrence relation tests for convergence of series. J. Inst. Math. Appl. 25, 349-359..
19. CORLESS, R. M. 2002. A new view of the computational complexity of IVP for ODE. Numer. Algor. 31, 1-4, 115-124..
20. CORLESS, R. M. AND ILIE, S. 2008. Polynomial cost for solving IVP for high-index DAE. BIT 48, 1, 29-49..
21. CORLISS, G. AND CHANG, Y. F. 1982. Solving ordinary differential equations using Taylor series. ACM Trans. Math. Softw. 8, 2, 114-144..
22. CORLISS, G. AND LOWERY, D. 1977a. Choosing a stepsize for Taylor series methods for solving ODE's. J. Comput. Appl. Math. 3, 4, 251-256..
23. CORLISS, G. F., GRIEWANK, A., HENNEBERGER, P., KIRLINGER, G., POTRA, F. A., AND STETTER, H. J. 1997. High-Order stiff ODE solvers via automatic differentiation and rational prediction. Lecture Notes in Computer Science, vol. 1196, 114-125..
24. CORLISS, G. F. AND LOWERY, D. 1977b. Choosing a stepsize for Taylor series methods for solving ODE's. J. Comp. Appl. Math. 4, 251-256..
25. DEPRIT, A. AND ZAHAR, R. 1966. Numerical integration of an orbit and its concomitant variations. Z. Angew. Math. Phys. 17, 425-430..
26. ENRIGHT, W. AND PRYCE, J. 1987. Two Fortran packages for assesing initial value problems. ACM Trans. Math. Softw. 13, 1-27..
27. ENRIGHT, W. H. 1989. A new error-control for initial value solvers. Appl. Math. Comput. 31, 288-301..
28. ENRIGHT, W. H. AND HAYES, W. B. 2007. Robust and reliable defect control for Runge Kutta methods. ACM Trans. Math. Softw. 33, 1, 1:1-1:19..
29. EULER, L. 1768. Institutionum Calculi Integralis. Vol. I, St. Petersburg. In Opera Omnia, Ser. I, Vol. XI..
30. FOUSSE, L., HANROT, G., LEF 'EVRE, V., ṔeLISSIER, P., AND ZIMMERMANN, P. 2007. MPFR: A multipleprecision binary floating-point library with correct rounding. ACMTrans.Math. Softw. 33, 2, 13:1-13:15..
31. GALIAS, Z. 2001. Interval methods for rigorous investigations of periodic orbits. Int. J. Bifur. Chaos Appl. Sci. Engrg. 11, 9, 2427-2450..
32. GRAZIER, K. R., NEWMAN, W. I.,HYMAN, J. M., AND SHARP, P. W. 2004/05a. Long simulations of the solar system: Brouwer's law and chaos. ANZIAM J. 46, (C), C1086-C1103..
33. R.newman G.K. W I., Hyman J.M., Sharp P.W., Goldstein D.J. 2004/05b. Achieving Brouwer's law with high-order Stormer multistep methods. ANZIAM J. 46, C, C786-C804..
34. GRIEWANK, A. 1996. ODE solving via automatic differentiation and rational prediction. In Numerical Analysis 1995. Pitman Research Notes Mathematics Series, vol. 344, Longman, Harlow, 36-56..
35. GRIEWANK, A. 2000. Evaluating Derivatives. Frontiers in Applied Mathematics, vol. 19, SIAM, Philadelphia, PA..
36. GRIEWANK, A., UTKE, J., AND WALTHER, A. 2000. Evaluating higher derivative tensors by forward propagation of univariate Taylor series. Math. Comput. 69, 231, 1117-1130..
37. HAIRER, E., LUBICH, C., AND WANNER, G. 2006. Geometric Numerical Integration, 2nd Ed. Springer Series in Computational Mathematics, vol. 31, Springer..
38. HAIRER, E., MCLACHLAN, R. I., AND RAZAKARIVONY, A. 2008. Achieving Brouwer's law with implicit Runge-Kutta methods. BIT 48, 2, 231-243..
39. HAIRER, E., NØRSETT, S. P., AND WANNER, G. 1993. Solving Ordinary Differential Equations. I, 2nd Ed. Springer Series in Computational Mathematics, vol. 8, Springer..
40. H́eNON, M. AND HEILES, C. 1964. The applicability of the third integral of motion: Some numerical experiments. Astronom. J. 69, 73-79..
41. HIGHAM, N. J. 2002. Accuracy and Stability of Numerical Algorithms, 2nd Ed. SIAM, Philadelphia, PA..
42. HINDMARSH, A. C., BROWN, P. N., GRANT, K. E., LEE, S. L., SERBAN, R., SHUMAKER, D. E., AND WOODWARD, C. S. 2005. Sundials: Suite of nonlinear and differential/algebraic equation solvers. ACM Trans. Math. Softw. 31, 3, 363-396..
43. JELTSCH, R. AND NEVANLINNA, O. 1982. Stability and accuracy of time discretizations for initial value problems. Numer. Math. 40, 245-296..
44. JORBA, A' . AND ZOU, M. 2005. A software package for the numerical integration of ODEs by means of high-order Taylor methods. Experiment. Math. 14, 1, 99-117..
45. KAHAN, W. 1965. Further remarks on reducing truncation errors. Comm. ACM 8, 1, 40..
46. LARA, M., ELIPE, A., AND PALACIOS, M. 1999. Automatic programming of recurrent power series. Math. Comput. Simul. 49, 4-5, 351-362..
47. LORENZ, E. 1963. Deterministic nonperiodic flow. J. Atmosph. Sci. 20, 130-141..
48. MAKINO, K. AND BERZ, M. 2006. Cosy infinity version 9. Nucl. Instrum. Meth. Phys. Res. 558, 1, 346-350..
49. MOORE, R. E. 1966. Interval Analysis. Prentice-Hall..
50. MOORE, R. E., KEARFOTT, R. B., AND CLOUD, M. J. 2009. Introduction to Interval Analysis. (SIAM), Philadelphia, PA..
51. NEDIALKOV, N. S., JACKSON, K. R., AND CORLISS, G. F. 1999. Validated solutions of initial value problems for ordinary differential equations. Appl. Math. Comput. 105, 1, 21-68..
52. NEDIALKOV, N. S. AND PRYCE, J. D. 2005. Solving differential-algebraic equations by Taylor series. I. Computing Taylor coefficients. BIT 45, 3, 561-591..
53. NEDIALKOV, N. S. AND PRYCE, J. D. 2007. Solving differential-algebraic equations by Taylor series. II. Computing the system Jacobian. BIT 47, 1, 121-135..
54. NEDIALKOV, N. S. AND PRYCE, J. D. 2008. Solving differential algebraic equations by Taylor series. III. The DAETS code. J. Numer. Anal. Ind. Appl. Math. 3, 1-2, 61-80..
55. NEIDINGER, R. D. 1992. An efficient method for the numerical evaluation of partial derivatives of arbitrary order. ACM Trans. Math. Softw. 18, 2, 159-173..
56. NEIDINGER, R. D. 2005. Directions for computing truncated multivariate Taylor series. Math. Comput. 74, 249, 321-340..
57. NEWTON, I. 1671. Methodus Fluxionum et Serierum Infinitarum. edita Londini 1736, Opuscula mathematica, Vol.I, traduit en francais par M. de Buffon, Pasis MDCCXL..
58. PRYCE, J. D. 1998. Solving high-index DAEs by Taylor series. Numer. Algor. 19, 1-4, 195-211..
59. PRYCE, J. D. 2001. A simple structural analysis method for DAEs. BIT 41, 2, 364-394..
60. PRYCE, J., NEDIALKOV, N. AND ENRIGHT, W. 2009. On the Ilie-Corless polynomial complexity proof. Preprint..
61. RALL, L. B. 1981. Automatic Differentiation-Techniques and Applications. Lecture Notes in Computer Science, vol. 120, Springer..
62. RALL, L. B. AND CORLISS, G. F. 1996. An introduction to automatic Differentiation. In Computational Differentiation. SIAM, Philadelphia, PA, 1-18..
63. REVOL, N.,MAKINO, K., AND BERZ, M. 2005. Taylor models and floating-point arithmetic: Proof that arithmetic operations are validated in COSY. J. Log. Algebr. Program. 64, 1, 135-154..
64. ROY, A., MORAN, P., AND BLACK, W. 1972. Studies in the application of recurrence relations to special perturbation methods I. Celest. Mech. 6, 468-482..
65. SHAMPINE, L. AND BACA, L. 1986. Fixed versus variable order Runge-Kutta. ACM Trans. Math. Softw. 12, 1-23..
66. SHARP, P. W. 2006. N-body simulations: The performance of some integrators. ACM Trans. Math. Software 32, 3, 375-395..
67. SIḾO, C. 2001. Global dynamics and fast indicators. In Global Analysis of Dynamical Systems. 373-389..
68. TSUKANOV, I. AND HALL, M. 2003. Data structure and algorithms for fast automatic differentiation. Int. J. Numer. Meth. Eng. 56, 13, 1949-1972..
69. TUCKER, W. 2002. A rigorous ODE solver and Smale's 14th problem. Found. Comput. Math. 2, 1, 53-117..
70. VISWANATH, D. 2004. The fractal property of the Lorenz attractor. Phys. D 190, 1-2, 115-128..
71. WOLFRAM, S. 1999. The Mathematica-Book, 4th Ed. Wolfram Media, Inc., Champaign, IL..