Special Session 162: Computer-Assisted Proofs in Dynamical Systems

An ellipsoidal satellite`s chaotic tumbling model
Anna Gierzkiewicz
Jagiellonian University in Krakow
Poland
Co-Author(s):    Amadeu Delshams, Piotr Zgliczy\\`{n}ski
Abstract:
We study the triaxial inner rotation (tumbling) of an ellipsoidal satellite in a Keplerian orbit. In our previous paper we considered a simplified uniaxial case, with the axis of rotation perpendicular to the orbital plane. The system of three ordinary differential equations is periodic with respect to one of the variables (true anomaly $f$), which allowed us to study the Poincar\`e section $f=0=2\pi$. The system exhibited chaotic behavior for some parameters (the shape of the ellipsoid and the orbital eccentricity $e$). We are particularly interested in the values corresponding to Hyperion, one of Saturn`s moons, known for its non-spherical shape and apparently chaotic inner rotation. The uniaxial model does not provide a full physical description of Hyperion`s tumbling, which is clearly triaxial. The full model, based on Euler`s rigid-body equations, leads to a much more complicated system of seven ordinary differential equations (omitted here for reasons of size), of which the simplified uniaxial model is an invariant subspace. For this reason, it too is chaotic, but we expect the structure of this chaos to be more complex in the 7-dimensional space: perhaps it is divided into chaotic regions connected by homo- and heteroclinic orbits. Using the Interval Newton Method implemented in C++ with the use of CAPD library for computer-assisted proofs, we found a number of periodic orbits for the analogous Poincar\`e map in the full space. The current work is to study the behavior of their weakly stable and unstable manifolds which seem to intersect transversely with the help of system`s symmetries. This, in turn, we expect to prove rigorously with CAPD.