Numerical solutions of index-1 differential algebraic equations can be computed in polynomial time
- 102 Downloads
The cost of solving an initial value problem for index-1 differential algebraic equations to accuracy ɛ is polynomial in ln(1/ɛ). This cost is obtained for an algorithm based on the Taylor series method for solving differential algebraic equations developed by Pryce. This result extends a recent result by Corless for solutions of ordinary differential equations. The results of the standard theory of information-based complexity give exponential cost for solving ordinary differential equations, being based on a different model.
Keywordsdifferential algebraic equations initial value problems adaptive step-size control Taylor series structural analysis automatic differentiation
AMS subject classification34A09 65L80 68Q25
Unable to display preview. Download preview PDF.
- P.S. Bullen, D.S. Mitrinovic and P.M. Vasic, Means and Their Inequalities, Mathematics and its Applications, East European Series (D. Reidel, Dordrecht, 1988).Google Scholar
- R.M. Corless, An elementary solution of a minimax problem arising in algorithms for automatic mesh selection, SIGSAM Bulletin: Commun. Comput. Algebra 34(4) (2001) 7–15.Google Scholar
- S. Ilie and R.M. Corless, The cost of locating singularities and rank changes, in preparation.Google Scholar
- E. Hairer, S.P. Norsett, G. Wanner, Solving Ordinary Differential Equations I, Computational Mathematics Vol. 8, (Springer, Berlin Heidelberg New York 1987).Google Scholar
- E. Hairer and G. Wanner, Solving Ordinary Differential Equations II, Computational Mathematics, Vol. 14, (Springer, Berlin Heidelberg New York 1991).Google Scholar
- C. Moler, Are we there yet? Zero crossing and event handling for differential equations, Matlab News & Notes (1997) 16–17.Google Scholar
- N.S. Nedialkov and J.D. Pryce, Solving differential-algebraic equations by Taylor series (I): computing Taylor coefficients, BIT, accepted.Google Scholar
- N.S.Nedialkov, Private Communication.Google Scholar
- H. Nguyen, Interpolation and error control schemes for DAE using continuous implicit Runge–Kutta methods, PhD thesis, Univ. of Toronto, (1995).Google Scholar