Abstract
This paper is one of a series underpinning the authors’ DAETS code for solving DAE initial value problems by Taylor series expansion. First, building on the second author’s structural analysis of DAEs (BIT, 41 (2001), pp. 364–394), it describes and justifies the method used in DAETS to compute Taylor coefficients (TCs) using automatic differentiation. The DAE may be fully implicit, nonlinear, and contain derivatives of order higher than one. Algorithmic details are given.
Second, it proves that either the method succeeds in the sense of computing TCs of the local solution, or one of a number of detectable error conditions occurs.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
R. Barrio, Performance of the Taylor series method for ODEs/DAEs, Appl. Math. Comput., 163 (2005), pp. 525–545.
R. Barrio, F. Blesa, and M. Lara, VSVO formulation of the Taylor method for the numerical solution of ODEs, preprint, University of Zaragoza, submitted for publication, 2005.
D. Barton, I. M. Willers, and R. V. M. Zahar, The automatic solution of ordinary differential equations by the method of Taylor series, Comput. J., 14 (1970), pp. 243–248.
C. Bendsten and O. Stauning, TADIFF, a flexible C++ package for automatic differentiation using Taylor series, Technical Report 1997-x5-94, Department of Mathematical Modelling, Technical University of Denmark, DK-2800, Lyngby, Denmark, April 1997.
M. Berz, COSY INFINITY version 8 reference manual, Technical Report MSUCL–1088, National Superconducting Cyclotron Lab., Michigan State University, East Lansing, Mich., 1997.
S. L. Campbell and C. W. Gear, The index of general nonlinear DAEs, Numer. Math., 72 (1995), pp. 173–196.
Y. F. Chang and G. F. Corliss, ATOMFT: Solving ODEs and DAEs using Taylor series, Comput. Math. Appl., 28 (1994), pp. 209–233.
G. F. Corliss and W. Lodwick, Role of constraints in the validated solution of DAEs, Technical Report 430, Marquette University Department of Mathematics, Statistics, and Computer Science, Milwaukee, Wisc., March 1996.
J. J. B. de Swart, W. M. Lioen, and W. A. van der Veen, PSIDE—parallel software for implicit differential equations, December 1997. http://www.cwi.nl/archive/projects/PSIDE/.
A. Gofen, The Taylor Center for PCs: exploring, graphing and integrating ODEs with the ultimate accuracy, in Computational Science: ICCS 2002, P. Sloot et al., eds., Lect. Notes Comput. Sci., vol. 2329, Springer, Amsterdam, 2002.
G. H. Golub and C. F. V. Loan, Matrix Computations, Johns Hopkins University Press, Baltimore, 3rd ed., 1996.
A. Griewank, Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, Frontiers in Applied Mathematics, SIAM, Philadelphia, PA, 2000.
A. Griewank, D. Juedes, and J. Utke, ADOL-C, a package for the automatic differentiation of algorithms written in C/C++, ACM Trans. Math. Softw., 22 (1996), pp. 131–167.
J. Hoefkens, Rigorous Numerical Analysis with High-Order Taylor Models, PhD thesis, Department of Mathematics and Department of Physics and Astronomy, Michigan State University, East Lansing, MI 48824, August 2001.
F. Iavernaro and F. Mazzia, Block-boundary value methods for the solution of ordinary differential equation, SIAM J. Sci. Comput., 21 (1999), pp. 323–339. GAMD web site is http://pitagora.dm.uniba.it/ mazzia/ode/gamd.html.
K. R. Jackson and N. S. Nedialkov, Some recent advances in validated methods for IVPs for ODEs, Appl. Numer. Math., 42 (2002), pp. 269–284.
R. Jonker and A. Volgenant, A shortest augmenting path algorithm for dense and sparse linear assignment problems, Computing, 38 (1987), pp. 325–340. The assignment code is available at www.magiclogic.com/assignment.html.
A. Jorba and M. Zou, A software package for the numerical integration of ODE by means of high-order Taylor methods, Technical Report, Department of Mathematics, University of Texas at Austin, TX 78712-1082, USA, 2001.
C. T. Kelley, Iterative Methods for Linear and Nonlinear Equations, Frontiers in Applied Mathematics, vol. 16, SIAM, Philadelphia, 1995.
W. M. Lioen and J. J. B. de Swart, Test set for initial value problem solvers, Technical Report MAS-R9832, CWI, Amsterdam, The Netherlands, December 1998. http://www.cwi.nl/cwi/projects/IVPtestset/.
F. Mazzia and F. Iavernaro, Test set for initial value problem solvers, Technical Report 40, Department of Mathematics, University of Bari, Italy, 2003. http://pitagora.dm.uniba.it/ testset/.
R. E. Moore, Interval Analysis, Prentice-Hall, Englewood Cliffs, N.J., 1966.
N. S. Nedialkov, Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation, PhD thesis, Department of Computer Science, University of Toronto, Toronto, Canada, M5S 3G4, February 1999.
N. S. Nedialkov, K. R. Jackson, and G. F. Corliss, Validated solutions of initial value problems for ordinary differential equations, Appl. Math. Comput., 105 (1999), pp. 21–68.
N. S. Nedialkov and J. D. Pryce, Solving differential-algebraic equations by Taylor series (II): Computing the System Jacobian, submitted to BIT, 2005.
C. C. Pantelides, The consistent initialization of differential-algebraic systems, SIAM J. Sci. Stat. Comput., 9 (1988), pp. 213–231.
J. D. Pryce, Solving high-index DAEs by Taylor series, Numer. Algorithms, 19 (1998), pp. 195–211.
J. D. Pryce, A simple structural analysis method for DAEs, BIT, 41 (2001), pp. 364–394.
L. B. Rall, Automatic Differentiation: Techniques and Applications, Lect. Notes Comput. Sci., vol. 120, Springer, Berlin, 1981.
O. Stauning and C. Bendtsen, FADBAD++ web page, May 2003. FADBAD++ is availabe at www.imm.dtu.dk/fadbad.html.
A. Wächter, An Interior Point Algorithm for Large-Scale Nonlinear Optimization with Applications in Process Engineering, PhD thesis, Carnegie Mellon University, Pittsburgh, PA, 2002.
Author information
Authors and Affiliations
Corresponding authors
Additional information
AMS subject classification (2000)
34A09, 65L80, 65L05, 41A58
Rights and permissions
About this article
Cite this article
Nedialkov, N., Pryce, J. Solving Differential-Algebraic Equations by Taylor Series (I): Computing Taylor Coefficients. Bit Numer Math 45, 561–591 (2005). https://doi.org/10.1007/s10543-005-0019-y
Issue Date:
DOI: https://doi.org/10.1007/s10543-005-0019-y