Prefer a chat interface with context about you and your work?
Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
A computational method based on Chebyshev series to rigorously compute solutions of initial and boundary value problems of analytic nonlinear vector fields is proposed. The idea is to recast solutions as fixed points of an operator defined on a Banach space of rapidly decaying Chebyshev coefficients and to use the …