Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
This paper shows how to compute enclosures for the solution of initial value problems using Chebyshev expansions rather than a Taylor-like approach. The method relies on the development of an algorithm that computes the multiplication of two function enclosures in truncated Chebyshev form. A Picard-type iteration scheme is used to obtain the enclosures and in order to integrate over larger time windows, then several steps of integration are needed in which the so-called wrapping effect can be suppressed. The approach seems to allow for higher precision with lower-order approximations than in the Taylor model. However, there are still issues with stiffness and even modest sized systems that this work does not address.
- A Software Package for the Numerical Integration of ODEs by Means of High-Order Taylor Methods
- Verified integration of linear \(n\)th order ODEs using large steps
- A new operational matrix of derivative for Chebyshev wavelets and its applications in solving ordinary differential equations with non analytic solution
- Reducing rounding errors and achieving Brouwer's law with Taylor series method
- Rigorous numerics for nonlinear differential equations using Chebyshev series
- A floating-point technique for extending the available precision
- A rigorous ODE solver and Smale's 14th problem
- Affine arithmetic: concepts and applications
- An Extension of MATLAB to Continuous Functions and Operators
- Chebyshev and Fourier spectral methods.
- Chebyshev interpolation polynomial-based tools for rigorous computing
- scientific article; zbMATH DE number 177015 (Why is no real title available?)
- scientific article; zbMATH DE number 1916891 (Why is no real title available?)
- scientific article; zbMATH DE number 878933 (Why is no real title available?)
- scientific article; zbMATH DE number 1444347 (Why is no real title available?)
- scientific article; zbMATH DE number 3281219 (Why is no real title available?)
- scientific article; zbMATH DE number 3110365 (Why is no real title available?)
- Hybrid Systems: Computation and Control
- Introduction to Interval Analysis
- Rigorous integration of flows and ODEs using Taylor models
- Rigorously computed orbits of dynamical systems without the wrapping effect
- Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabilization by preconditioning
- Surpression of the wrapping effect by Taylor model-based verified integrators: the single step
- The dynamics of the Jouanolou foliation on the complex projective 2-space
- Validated solutions of initial value problems for ordinary differential equations
- VERICOMP: A system to compare and assess verified IVP solvers
- Nonlinear Chebyshev fitting from the solution of ordinary differential equations
- An improved algorithm for the control synthesis of nonlinear sampled switched systems
- Chebyshev model arithmetic for factorable functions
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
- ODEIntegrator
- Sensitivity analysis of uncertain dynamic systems using set-valued integration
- Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation
- Enclosing Chebyshev expansions in linear time
- Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabilization by preconditioning
- Validated B-series and Runge-Kutta pairs
- Symbolic computation of local truncation error for approximate B-series-based validated simulation
- Insufficiency of chemical network model integration using a high-order Taylor series method
Uses Software
This page was built for publication: Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2346283)
