Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor

In this paper, we present a general mathematical framework for integrating smooth vector fields in the vicinity of a fixed point with a spiral saddle. We restrict our study to the three-dimensional setting, where the stable manifold is of spiral type (and thus two-dimensional), and the unstable manifold is one-dimensional. The aim is to produce a general purpose set of bounds that can be applied to any system of this type. The existence (and explicit computation) of such bounds is important when integrating along the flow near the spiral saddle fixed point. As an application, we apply our work to a concrete situation: the cubic Chua's equations. Here, we present a computer assisted proof of the existence of a trapping region for the flow.