Verified integration of linear nth order ODEs using large steps

DOI10.1016/J.AMC.2006.08.033MaRDI QIDQ876676zbMATH OpenOpenAlexFDO

Authors Markus Neher

Publication date 26 April 2007

Published in Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.amc.2006.08.033

zbMATH Keywords

error boundsnumerical examplesenclosure methodinterval analysispower seriesTaylor polynomialinterval computationsroundoff errors

Mathematics Subject Classification ID

Linear ordinary differential equations and systems (34A30) General methods in interval analysis (65G40) Numerical methods for initial value problems involving ordinary differential equations (65L05)

Recommendations

• Verified High-Order Integration of DAEs and Higher-Order ODEs
• Efficient numerical integration of \(N\)th-order non-autonomous linear differential equations
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
• Verified integration of differential equations with discrete delay
• Publication:4945762
• Algorithmic verification of linearizability for ordinary differential equations
• Step size strategies for the numerical integration of systems of differential equations
• scientific article; zbMATH DE number 3954190
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• Linear Multistep Methods for Volterra Integral and Integro-Differential Equations

Cites work

• scientific article; zbMATH DE number 1639665 (Why is no real title available?)
• scientific article; zbMATH DE number 1694759 (Why is no real title available?)
• scientific article; zbMATH DE number 434853 (Why is no real title available?)
• scientific article; zbMATH DE number 3880009 (Why is no real title available?)
• scientific article; zbMATH DE number 4084894 (Why is no real title available?)
• scientific article; zbMATH DE number 3658896 (Why is no real title available?)
• scientific article; zbMATH DE number 3686799 (Why is no real title available?)
• scientific article; zbMATH DE number 3738830 (Why is no real title available?)
• scientific article; zbMATH DE number 3766957 (Why is no real title available?)
• scientific article; zbMATH DE number 48198 (Why is no real title available?)
• scientific article; zbMATH DE number 52928 (Why is no real title available?)
• scientific article; zbMATH DE number 177015 (Why is no real title available?)
• scientific article; zbMATH DE number 1056959 (Why is no real title available?)
• scientific article; zbMATH DE number 1543282 (Why is no real title available?)
• scientific article; zbMATH DE number 3994869 (Why is no real title available?)
• scientific article; zbMATH DE number 815437 (Why is no real title available?)
• scientific article; zbMATH DE number 852356 (Why is no real title available?)
• scientific article; zbMATH DE number 878933 (Why is no real title available?)
• scientific article; zbMATH DE number 1456803 (Why is no real title available?)
• scientific article; zbMATH DE number 3273551 (Why is no real title available?)
• scientific article; zbMATH DE number 3281219 (Why is no real title available?)
• scientific article; zbMATH DE number 3292104 (Why is no real title available?)
• scientific article; zbMATH DE number 3321654 (Why is no real title available?)
• scientific article; zbMATH DE number 3321655 (Why is no real title available?)
• A note on a sum associated with the generalized hypergeometric function
• ACETAF
• An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
• An enclosure method for the solution of linear odes with polynomial coefficients
• Derived eigenvalues of symmetric matrices, with applications to distance geometry
• Improved validated bounds for Taylor coefficients and for Taylor remainder series
• Numerical Software with Result Verification
• Rigorously computed orbits of dynamical systems without the wrapping effect
• Some recent advances in validated methods for IVPs for ODEs
• Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabilization by preconditioning
• Survey of integral algorithms for ordinary differential equations
• Validated bounds for Taylor coefficients of analytic functions
• Validated solutions of initial value problems for ordinary differential equations
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models

Cited in

(5)

• Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
• Verified High-Order Integration of DAEs and Higher-Order ODEs
• An enclosure method for the solution of linear odes with polynomial coefficients
• Verification of the quasi-analytic solutions of ordinary differential equations using the accurate element method
• A note on a sum associated with the generalized hypergeometric function

Describes a project that uses

Uses Software

• PASCAL-XSC
• ACETAF

This page was built for publication: Verified integration of linear \(n\)th order ODEs using large steps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q876676)