$C^r$-Lohner algorithm
Numerical Analysis
2007-05-23 v1 Dynamical Systems
Abstract
We present a Lohner type algorithm for the computation of rigorous bounds for solutions of ordinary differential equations and its derivatives with respect to initial conditions up to arbitrary order. As an application we prove the existence of multiple invariant tori around some elliptic periodic orbits for the pendulum equation with periodic forcing and for Michelson system.
Keywords
Cite
@article{arxiv.0704.0720,
title = {$C^r$-Lohner algorithm},
author = {D. Wilczak and P. Zgliczyński},
journal= {arXiv preprint arXiv:0704.0720},
year = {2007}
}
Comments
for associated movie file, see http://www.ii.uj.edu.pl/~wilczak/papers/cnlohner/mpp.mov, 35 pages, 1 Figure