Psi-Series Solutions of the Cubic Hénon-Heiles System and Their Convergence

The cubic Hénon-Heiles system contains parameters, for most values of which, the system is not integrable. In such parameter regimes, the general solution is expressible in formal expansions about arbitrary movable branch points, the so-called psi-series expansions. In this paper, the convergence of known, as well as new, psi-series solutions on real time intervals is proved, thereby establishing that the formal solutions are actual solutions.