
We provide a new framework for a posteriori validation of vector-valued problems with componentwise tight error enclosures, and use it to design a symbolic-numeric Newton-like validation algorithm for Chebyshev approximate solutions of coupled systems of linear ordinary differential equations. More precisely, given a coupled differential system of dimension p with polynomial coefficients over a compact interval (or continuous coefficients rigorously approximated by poly-nomials) and polynomial approximate solutions Φ • i in Chebyshev basis (1 i p), the algorithm outputs rigorous upper bounds ε i for the approximation error of Φ • i to the exact solution Φ i , with respect to the uniform norm over the interval under consideration. A complexity analysis shows that the number of arithmetic operations needed by this algorithm (in floating-point or interval arith-metics) is proportional to the approximation degree when the differential equation is considered fixed. Finally, we illustrate the efficiency of this fully automated validation method on an example of a coupled Airy-like system.
Newton's method, [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS], [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], fixed-point validation, differential equations, D-finite functions, rigorous numerics, [INFO] Computer Science [cs], symbolic-numeric algorithm
Newton's method, [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS], [INFO.INFO-NA] Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], fixed-point validation, differential equations, D-finite functions, rigorous numerics, [INFO] Computer Science [cs], symbolic-numeric algorithm
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
