A dynamical approach to validated numerics
Dynamical Systems
2022-03-30 v1
Abstract
We describe a method, using periodic points and determinants, for giving alternative expressions for dynamical quantities (including Lyapunov exponents and Hausdorff dimension of invariant sets) associated to analytic hyperbolic systems. This leads to validated numerical estimates on their values
Cite
@article{arxiv.2203.15131,
title = {A dynamical approach to validated numerics},
author = {Oliver Jenkinson and Mark Pollicott},
journal= {arXiv preprint arXiv:2203.15131},
year = {2022}
}
Comments
32 pages