A database of rigorous and high-precision periodic orbits of the Lorenz model

摘要

A benchmark database of very high-precision numerical and validated initial conditions of periodic orbits for the Lorenz model is presented. This database is a "computational challenge" and it provides the initial conditions of all periodic orbits of the Lorenz model up to multiplicity 10 and guarantees their existence via computer-assisted proofs methods, The orbits are computed using high-precision arithmetic and mixing several techniques resulting in 1000 digits of precision on the initial conditions of the periodic orbits, and intervals of size 10100 that prove the existence of each orbit.