On the Stability of Realistic Three-Body Problems

We consider the system Sun—Jupiter—Ceres as an example of a planar, circular, restricted three-body problem and, after substituting the mass ratio of Jupiter/Sun (which is approximately 10-3) with a parameter \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}\end{document}, we prove the existence of stable quasi-periodic motions with frequencies close to the observed (average) frequencies reported in “The Astronomical Almanac” for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}\end{document}. The proof is “computer-assisted”.