Abstract
The gravitational influence of a second satellite on the rotation of an oblate moon is numerically examined. A simplified model, assuming the axis of rotation perpendicular to the (Keplerian) orbit plane, is derived. The differences between the two models, i.e. in the absence and presence of the second satellite, are investigated via bifurcation diagrams and by evolving compact sets of initial conditions in the phase space. It turns out that the presence of another satellite causes some trajectories, that were regular in its absence, to become chaotic. Moreover, the highly structured picture revealed by the bifurcation diagrams in dependence on the eccentricity of the oblate body’s orbit is destroyed when the gravitational influence is included, and the periodicities and critical curves are destroyed as well. For demonstrative purposes, focus is laid on parameters of the Saturn–Titan–Hyperion system, and on oblate satellites on loweccentric orbits, i.e. \(e\approx 0.005\).
Introduction
Saturn’s seventh moon, Hyperion (also known as Saturn VII), was discovered in the XIX century by Bond (1848) and Lassel (1848), but only due to Voyager 2 (Smith et al. 1982) and Cassini (Thomas 2010) missions it became apparent that it is the biggest known highly aspherical celestial body in the Solar System, with a highly elongated shape and dimensions \(360\,\times \,266\,\times \,205\) km. Since the rotational state of Hyperion was predicted to remain in the chaotic zone (Wisdom et al. 1984) based on the spinorbit coupling theory (Goldreich and Peale 1966), further analyses and observations, regarding Hyperion as well as other Solar System satellites, were conducted on a regular basis.
Hyperion’s longterm observations were carried out twice in the post Voyager 2 era. In 1987, Klavetter (1989a, (1989b) performed photometric R band observations over a timespan of more than 50 days, resulting in 38 highquality data points. In 1999 and 2000, Devyatkin et al. (2002) conducted C (integral), B, V and R band observations. The objective of both analyses was to determine whether Hyperion’s rotation is chaotic and to fit a solution of the equation of motion to the observations. To the best of the author’s knowledge (Melnikov, priv. comm.) there were no other longterm observations that resulted in a lightcurve allowing the determination of Hyperion’s rotational state (see also Strugnell and Taylor 1990; Dourneau 1993 for a list of earlier observations). Although, shortly after the Cassini 2005 passage a groundbased BVR photometry was conducted (Hicks et al. 2008), resulting in 6 nights of measurements (and additional 3 nights of R photometry alone) over a monthlong period. Unfortunately, this data was greatly undersampled and period fitting procedures yielded several plausible solutions.
The theoretical and numerical treatment of the rotational dynamics of an oblate satellite have been performed widely. After the seminal paper of Wisdom et al. (1984), Boyd et al. (1994) applied the method of close returns to a sparse and shortterm simulated observations of Hyperion’s lightcurve. Black et al. (1995) performed numerical experiments using the full set of Euler equations to model longterm dynamical evolution. Beletskii et al. (1996) considered a number of models, including the gravitational, magnetic and tidal moments as well as rotation in gravitational field of two centers. A model with a tidal torque was examined analytically using Melnikov’s integrals and assymptotic methods (Khan et al. 1998). The stability of resonances with application to the Solar System satellites was inferred based on a series expansion of the terms in the equation of rotational motion (Celletti and Chierchia 1998, 2000). The Lyapunov exponents and spectra were exhaustively examined for a number of satellites^{Footnote 1} (Shevchenko 2002; Shevchenko and Kouprianov 2002; Kouprianov and Shevchenko 2003, 2005). A model of an oblate satellite with dissipation was used to examine the basins of attraction in case of low eccentricities, especially with application to the Moon (Celletti and Chierchia 2008). The dynamical stability was examined for all known satellites by Melnikov and Shevchenko (2010). Again the dynamical modeling using the full Euler equations was conducted by Harbison et al. (2011), who also analyzed the moments of inertia in light of the precessional period. Finally, Tarnopolski (2015a) argued that in order to extract a maximal Lyapunov exponent from the photometric lightcurve of Hyperion, at least one year of dense data is required.
The orbital dynamics of Hyperion in the Saturn–Titan–Hyperion system (see Table 1 for some physical parameters) have been exhaustively examined due to the interesting 4:3 mean motion resonance between Hyperion and Titan (Peale 1976; Taylor 1992; Stellmacher 1999; Rein et al. 2012). While the impact of Titan’s gravitation on Hyperion’s orbit has been established (Taylor et al. 1987) and the stability of the resonance has been considered in great detail (Colombo et al. 1974; Bevilacqua et al. 1980), introduction of the gravitational impact of a secondary body on the rotation of an oblate satellite has been done before for nearly spherical bodies such as Venus (Beletskii and Levin 1981) or loweccentric orbits in the Pluto–Charon system (Correia et al. 2015). Herein, numerical integrations will be performed within the chaotic zone of the Saturn–Titan–Hyperion system with parameters \(\omega ^2\) and e such that the perturbation techniques are not valid (Maciejewski 1995), which to the best of the author’s knowlege has not yet been examined and hence is the aim of this work, which is general enough to be applicable to moons other than Hyperion. To focus attention, throughout the analysis the parameters are set to those of the Saturn–Titan–Hyperion system unless otherwise stated, but loweccentricity and lowoblateness cases are also investigated for comparison.
This paper is organized in the following manner. In Sect. 2 the rotational models in case of the absence and presence of a second satellite’s gravitation are derived. In Sect. 3 the phase space is briefly described. Section 4 presents the methods used: the correlation dimension and its benchmark testing, and the bifurcation diagrams. The results are presented in Sect. 5, which is followed by discussion and conclusions gathered in Sect. 6. The computer algebra system mathematica ^{®} is applied throughout this paper.
Models
Rotational model of an oblate moon
The equation of rotational motion can be derived based on the following assumptions (Greiner 2010):

1.
the orbit of the satellite around the planet is Keplerian with eccentricity e and major semiaxis a:
$$\begin{aligned} r=\frac{a\left( 1e^2\right) }{1+e\cos f_H}, \end{aligned}$$(1)where \(f_H\) is the true anomaly given by
$$\begin{aligned} \dot{f}_H=\frac{\sqrt{GM}}{\left[ a\left( 1e^2\right) \right] ^{3/2}}\left( 1+e\cos f_H\right) ^2, \end{aligned}$$(2)with M the mass of the planet and the overdot denotes differentation with respect to time;

2.
in general, the physical model of the satellite is a triaxial ellipsoid; however, to simplify calculations, the satellite is simulated by a double dumbbell with four mass points 1–4 (see Fig. 1) with equal mass m arranged in the orbital plane. The principal moments of inertia are \(A>B>C\);

3.
the satellite’s spin axis is fixed and perpendicular to the orbit plane; the spin axis is aligned with the shortest physical axis, i.e. the one corresponding to the largest principal moment of inertia.
In case of Hyperion, the first assumption is not precisely valid, as it is well known that due to gravitational interaction with Titan the eccentricity of Hyperion oscillates from \(\sim 0.08\) to \(\sim 0.12\) with an 18.8year period (Taylor et al. 1987). However, as the analysis herein is performed on a time span much shorter than this period (i.e., \(<1\,\mathrm{yr}\)), the effect of this interaction will be negligible and as such is omitted (Black et al. 1995; Shevchenko and Kouprianov 2002). The second assumption, while might look like an oversimplification at first, does not affect the final equation of motion, which is the same as the one obtained directly from the Euler equations (Danby 1962; see also Appendix 1 for a remark on the moments of inertia in both models). The third assumption is justified for most satellites as the angular momentum is assumed to be constant with great accuracy. However, it should be noted that Wisdom et al. (1984) showed that the chaotic state is attitude unstable, and also the analysis of Voyager 2 images showed that the axis of rotation was far from being perpendicular to the orbital plane. Therefore, the models derived herein are a first approximation that will be expected to give initial insight into the dynamics of the satellite, and the parameters corresponding of the Saturn–Titan–Hyperion system are used for demonstrative reasons.
Defining the oblateness as \(\omega ^2=\frac{3(BA)}{C}\), and choosing the units so that the orbital period T is equal to \(2\pi \) and the major semiaxis \(a=1\) (which implies through Kepler’s third law \(GM=1\), and that the orbital mean motion \(n=1\)), eventually the equation of motion takes the form
where time is dimensionless and \(\dot{\theta }\) is measured in units of n, with Eq. (1) for the orbit in the form
and Eq. (2) for the true anomaly yields
Moreover, transforming Eq. (3) so that \(f_H\) is the independent variable leads to the famous Beletskii equation (Beletskii 1963), which was shown to be nonintegrable (Maciejewski 1995).
Introducing a second satellite
Herein, a second satellite is assumed to revolve around the planet on a circular orbit, with radius \(a_0\), in the same plane as the oblate moon. Based on Eq. (5), the true anomaly depends linearly on time:
From the triangle TSH (see Fig. 1) one obtains that the distance between the two satellites is equal to
The angle \(\alpha _1\) is also required. Using again the triangle TSH one finds
The angle x can be found by applying the law of cosines to the same triangle TSH, what gives
Inserting Eq. (9) into (8) one arrives at the formula for \(\alpha _1\).
Finally (see Appendix 2), one obtains the following equation of motion:
The initial conditions (ICs) for the true anomalies will be assumed throughout to be \(f_H(0)=f_T(0)=0\). The backward differentiation formula (BDF) is employed for numerical integrations (Ascher and Petzold 1998).
Phase space properties
In this Section the structure of the phase space of the dynamical system given by Eqs. (3)–(5) is briefly described. This will allow an insight into how does the gravitational interaction with the second satellite influence the oblate moon’s rotation.
The phase space is 3dimensional: \(\varOmega =\{(\theta ,\dot{\theta },f_H):\theta \in \mathbb {R}\,\mathrm{mod}\,2\pi ,\dot{\theta }\in \mathbb {R},f_H\in \mathbb {R}\,\mathrm{mod}\,2\pi \}\). But \(f_H\) is a regular, \(2\pi \)periodic function and does not carry much information. Moreover, in dimensionless units the orbital period of the oblate moon is also equal to \(2\pi \). Hence, a Poincaré surface of section, constructed by taking the values of \((\theta ,\dot{\theta })\) with a time step of \(2\pi \), i.e. employing stroboscopic variables, provides insight into the rotational dynamics. Furthermore, the rotation of the satellite by \(180^\circ \) (i.e., \(\theta \rightarrow \theta +\pi \)) gives an equivalent configuration, hence \(\theta \) can be confined to the interval \([0,\pi )\). Such surfaces of section are shown in Fig. 2.
As is common in Hamiltonian systems, the phase space is divided into regions occupied with chaotic trajectories, and regions of regular (periodic or quasiperiodic) motion. There are also motions called sticky orbits, when the trajectory initially behaves in a regular manner and diverges into the chaotic zone after some time. (See also Melnikov 2014 for the emergence of strange attractors when dissipation is introduced.) The phase space in Fig. 2a is dominated by a large chaotic sea, formed by merging the chaotic zones surrounding spinorbit resonances from p=1:2 to p=2:1 when \(\omega ^2\) increases (Wisdom et al. 1984). Quasiperiodic motions are represented by smooth curves and by closed curves, e.g. the ones surrounding the synchronous \(p\,=\,\)1:1 resonance (see Table 1 in Black et al. 1995 for locations of the surviving resonances). When the IC is located near the boundary between regular motion and the chaotic sea, sticky motion occurs. A narrow chaotic zone is present also in Fig. 2b, c obtained for smaller values of the eccentricity and oblateness, respectively. In fact, every Solar System satellite has a chaotic period in its past (Spohn et al. 2014).
Methods
Correlation dimension
The algorithm and programme for computing the correlation dimension are briefly described in Sect. 4.1.1, which is followed by the description of methodology and discussion of the results of the benchmark testing in Sect. 4.1.2.
Algorithm
A fractal dimension (or, more precisely, the Hausdorff dimension; Hausdorff 1919; Theiler 1990; Ott 2002) is often measured with the correlation dimension, \(d_C\) (Grassberger and Procaccia 1983; Grassberger 1986; Theiler 1990; Alligood et al. 2000; Ott 2002), which takes into account the local densities of the points in the examined dataset. For usual 1D, 2D or 3D cases the \(d_C\) is equal to 1, 2 and 3, respectively. Typically, a fractional correlation dimension is obtained for fractals (Mandelbrot 1983).
The correlation dimension is defined as
with the estimate for the correlation function C(R) as
where the Heaviside step function \(\varTheta \) adds to C(R) only points \(x_i\) in a distance smaller than R from \(x_j\) and vice versa. The total number of points is denoted by N, and the usual Euclidean distance, \({\varvec{.}}\), is employed. The limit in Eq. (11) is attained by using multiple values of R and fitting a straight line to the linear part of the obtained dependency. The correlation dimension is estimated as the slope of the linear regression. The computations in this work were performed using the python code from (Tarnopolski 2014), with a slight modification so that \(\ln R\), instead of R, is uniformly sampled with a step \(\varDelta \ln R\). Throughout this paper, when the \(d_C\) is considered, N is set to be 10, 201 (see Sect. 5.2).
Benchmark testing
In order to verify the reliability of the correlation dimension algorithm, benchmark testing is performed on 128 realisations of uniform sampling with N points in each of the regions I and II defined as follows: region I is a unit square, and region II is a unit square without a circle of radius 1 / 4 placed at the center of the square. Next, the \(d_C\) is computed as described in Sect. 4.1.1, with \(\ln R\in [8,2]\) and \(\varDelta \ln R=0.5\). The results are gathered in Table 2, from which it follows that the estimated \(d_C\) is very close to the correct dimension expected for an Euclidean 2dimensional space.
To validate the performance when clustering is introduced, regions I and II are uniformly sampled with 9000 points, and the remaining 1201 points are introduced in a circular region with radius equal to 1/8 (which is overlaid with points in the unit square), randomly chosen at each of the 128 realisations and lying entirely within region I or II. The results are gathered in Table 3. The correlation dimensions are close to the expected value of 2, but slightly smaller than they were when there was no clustering.
Finally, 128 realisations of uniform distributions of 2101 points within a unit square, which was overlaid with 8000 points distributed uniformly in a \(0.25\times 0.25\) square located in one corner of the unit one, were generated. The resulting mean \(d_C\) was 1.937, and \(\sigma =0.008\). Hence it was shown that clustering might result in a correlation dimension systematically lower than the expected one. Figure 3 shows the \(\ln C(R)\) versus \(\ln R\) relations for a uniformly sampled unit square and for the last numerical experiment on clustering.
Bifurcation diagrams
In dynamical systems theory, a bifurcation occurs when an infinitesimal change of a (nonlinear) parameter governing the system leads to a topological change in its behaviour. Generally speaking, at a bifurcation the stability of equilibria, periodic orbits or other invariant sets is changed. The theory of bifurcation is a vast field (Crawford 1991; Lichtenberg and Lieberman 1992; Baker and Gollub 1996; Alligood et al. 2000; Ott 2002; Kuznetsov 2004; Peitgen et al. 2004). Herein focus will be laid on the pitchfork bifurcations, that are present e.g. in the logistic map (May 1976; Feigenbaum 1979) and that constitute one of the routes to chaos. Let us consider a system of differential equations in the form \(\dot{x}=f(x;\alpha )\), where \(\alpha \) is a parameter, and assume that given \(x_0\) as an IC, for \(\alpha <\alpha _1\) the orbit is 1periodic. A bifurcation at \(\alpha =\alpha _1\) is a point where the trajectory begins to be 2periodic and maintains its periodicity up to \(\alpha =\alpha _2\). Similarly, at \(\alpha =\alpha _2\) a bifurcation occurs on each of the two branches, hence the orbit becomes 4periodic. This scheme, called a perioddoubling (pitchfork) bifurcation cascade, continues until at \(\alpha =\alpha _{\infty }<\infty \) the orbit becomes chaotic. However, in the chaotic zone, \(\alpha >\alpha _{\infty }\), windows of periodic motion with arbitrary period occur. E.g., when a 3periodic trajectory emerges from the chaotic zone it also undergoes the perioddoubling, hence produces orbits that are 6periodic, 12periodic, and so on. A bifurcation diagram is a diagram illustrating this complex mechanism with respect to the nonlinear parameter \(\alpha \). Finally, bifurcations may also occur when \(\alpha \) is decreasing (periodhalving bifurcations) as well as when \(\alpha \) is decreasing or increasing.
Usually, on the bifurcation diagrams there appear to be some curves running through the plot in the chaotic region. These are the so called critical curves (Peitgen et al. 2004) defined by \(x=f^n(x_0;\alpha )\).
Results
Correlation dimension
In this section the influence of the second satellite’s absence or presence on the phase space flow is examined. In order to do so, two sets of ICs \((\theta _0,\dot{\theta }_0)\) are chosen:

1.
IC1 – a total of \(101\times 101=10,201\) ICs distributed uniformly (with a step of \(10^{3}\)) on a \(0.1\times 0.1\) square centered on \((\pi /2,0.55)\);

2.
IC2 – similar to IC1, but centered on \((\pi /2,1.5)\).
IC1 was chosen so that it is located on the edge of the chaotic sea and the domain of quasiperiodic motion (according to Black et al. 1995, the 1:2 resonance is located at \((\pi /2,0.9)\); compare also with Fig. 2a), and IC2 was chosen so that it lies entirely within the chaotic zone (according to Wisdom et al. (1984), the 3:2 resonance does not exist).
The equations of motion (3) and (10) are solved numerically for every IC in the sets IC1 and IC2. The integration time is equal to 20 orbital periods of the oblate satellite, i.e. \(t_\mathrm{max}=20\times 2\pi \). After each revolution, starting from \(t=0\) (corresponding to the sets IC1 and IC2), the value of \(\theta \) and \(\dot{\theta }\) is recorded, and the sets to which IC1 and IC2 evolved after k orbital periods are displayed in Fig. 4.
Next, the correlation dimensions of these sets are computed according to Sect. 4.1. The linear regression was performed for \(\ln C(R)\) vs. \(\ln R\) relation in the region \(\ln R\in (7,\ln R_\mathrm{th})\), where \(R_\mathrm{th}\) was chosen in each case so that the fit was done only in the linear part of the plot. The results, in graphical form, are displayed in Fig. 5. Because all orbits corresponding to IC1 and the absence of the second satellite are quasiperiodic, the \(d_C\), as expected, plateaus to a value near 1 (Fig. 5a). However, when its influence is taken into account, the \(d_C\) initially tends to a slightly higher value, approximately 1.1, but then starts to rise suddenly (Fig. 5b). As can be seen in the second row of Fig. 4, some of the orbits appear to remain quasiperiodic when the other satellite’s gravitation is switched on, but some become chaotic. On the other hand, based on the behaviour of \(d_C\) in Fig. 5b, one might suspect that sticky chaos is also encountered. While the analysis of different types of rotation—periodic, quasiperiodic, and chaotic, including sticky chaos—is beyond the scope of this work, it is remarkable to note a clear impact of a second satellite on the rotation of an oblate moon: some ICs that would lead to quasiperiodic motion become chaotic.
The evolution of IC2 is very similar in case of both the absence and presence of the second satellite’s gravity (third and fourth rows in Fig. 4). Also, the \(d_C\) behaves in the same manner for both models, reaching a plateau of \(d_C\approx 1.75\) after about 16 orbital periods, as shown in Fig. 5c, d. It is important to note that the value 1.75 cannot be a reliable estimate of the supposed fractality of the attained structure due to the following reasons:

both models given by Eqs. (3) and (10) are Hamiltonian and hence cannot posses a strange attractor (Greiner 2010) that could be characterized by a fractional correlation dimension; assymptotically any set of ICs leading to chaotic orbits should occupy a 2dimensional subset in the phase space;

the number of points, \(N=10,201\), used to estimate the \(d_C\) is relatively small and hence might bias the outcome (Tarnopolski 2014);

local densities exceeding the average density (clustering) affect the correlation dimension such that it is lower than the dimension of the embedding space (see Sect. 4.1.2 and Tarnopolski 2015b).
Bifurcation diagrams
First, Eq. (3), describing the rotation in the absence of a second satellite, was integrated using the initial conditions \((\theta _0,\dot{\theta }_0)=(\pi /2,3/2)\) in the time range \(t\in (0,10^4)\), and the values of \(\dot{\theta }\) were recorded every revolution, i.e. with a time step of \(2\pi \). To obtain the bifurcation diagrams in dependence on the oblateness, the eccentricity e was set to 0.1 and \(\omega ^2\) was varied. Next, the same procedure was undertaken to obtain the bifurcation diagrams in dependence on the eccentricity, i.e. the oblateness was set to \(\omega ^2=0.79\) and e was varied. The results are presented in Fig. 6a, c. For relatively small values of \(\omega ^2\) and e, the magnifications in Fig. 6b, d show a very complex structure with alternating quasiperiodic and periodic orbits with a wide range of periods, e.g. a 4period at \(\omega ^2\approx 0.08\) or a 2period at \(e\approx 0.005\) in Fig. 6b, d, respectively. Note that global chaos occurs at \(\omega ^2\approx 0.083\), which corresponds to \(\omega \approx 0.29\), what is in good agreement with the critical value obtained by Wisdom et al. (1984) using the resonance overlap criterion (Chirikov 1979; Lichtenberg and Lieberman 1992), \(\omega ^\mathrm{RO}=1/\left( 2+\sqrt{14e}\right) \approx 0.31\). Hence the bifurcation diagrams confirm the applicability of this criterion to the rotation of an oblate moon.
In the same way the bifurcation diagrams were obtained using Eq. (10) including the gravitational influence of a second satellite. In this case the motion is governed by a third parameter, \(m_1/M\), in addition to \(\omega ^2\) and e. The diagram in Fig. 7a (where \(m_1/M\) was set to 0.00024) is qualitatively similar to the corresponding one in Fig. 6a, and the dependence on the ratio \(m_1/M\) in Fig. 7b is mainly structureless. However, there is a significant difference when the oblateness and mass ratio are set to the values from Table 1, and the eccentricity e is varied. Note that the range of e in Fig. 7c is about four times smaller than in the corresponding Fig. 6c, as the computational complexity of the problem was much higher when Eq. (10) was applied. However, using a more sparse grid it was confirmed that the range of \(\dot{\theta }\) also increases with the eccentricity (not shown). A remarkable difference becomes apparent in Fig. 7d: the image drawn by the bifurcation diagram is less structured compared to Fig. 6d, and the critical curves are much more tangled. Hence, the impact of a second satellite on the rotation is that the additional body destroys a number of periodic orbits that could occur for low eccentricity values, but for the parameters (i.e., oblateness and eccentricity) of the Saturn–Titan–Hyperion system, its dynamics should also be expected to remain in a chaotic state.
As was pointed out in Sect. 2.1, the model of planar rotation is not applicable to the real Saturn–Titan–Hyperion system as it is attitude unstable. Hence, the bifurcation diagrams are also computed in dependence of \(\omega ^2\) and the ratio \(m_1/M\) with \(e=0.005\), which is the mean eccentricity of all Solar System satellites.^{Footnote 2} Figure 8 shows that for a range of \(\omega ^2\) the rotation is highly structured in the absence of the second satellite. Interestingly, a distinct 2periodic window emerges at \(\omega ^2\approx 0.79\), which surprisingly coincides with the oblateness of Hyperion. Figure 9 shows that the picture becomes much more complex also for such small eccentricity when the gravitational influence of a second satellite is introduced. In particular, the 2periodic window from Fig. 8 has disappeared altogether. Finally, when \(\omega ^2\) was set to 0.04, the bifurcation diagrams revealed a highly regular structure (not shown).
Discussion and conclusions
The aim of this paper was to investigate how does the gravitational interaction with a second satellite influence the rotational dynamics of an oblate moon. A simplified model was designed, resulting in the equation on motion given in Eq. (10), being basically a perturbation of the well known Eq. (3). The derived equation of motion introduces a third parameter, the mass ratio \(m_1/M\), additional to the oblateness \(\omega ^2\) and eccentricity e. To allow comparison, two sets of ICs distributed uniformly in a \(0.1\times 0.1\) square in the phase space were evolved, in case of the absence and presence of the additional source of gravitation. In case of the set IC1 [centered at \((\pi /2,0.55)\)] the difference between the two models is qualitative in nature: when the second satellite was absent all trajectories were quasiperiodic (first row in Fig. 4), as indicated by the \(d_C=1\) in Fig. 5a. Interestingly, when its presence was taken into account, one could observe leaking of the orbits into the chaotic sea (second row in Fig. 4). This phenomenon manifests itself also through a higher \(d_C\) attained in Fig. 5b. Hence, it turns out that an additional satellite has the ability to change quasiperiodic orbits into chaotic ones, i.e. it enlarges the chaotic domain. On the other hand, when the set IC2, located in the center of the chaotic region [an \(0.1\times 0.1\) square centered at \((\pi /2,1.5)\)], was considered, no long term (assymptotic) differences could be observed (third and fourth rows in Fig. 4), and the correlation dimension for both models reached a plateau at \(d_C\approx 1.75<2\) (Fig. 5c, d), likely due to clustering. However, this is not that surprising, given that the gravitational influence under investigation was three orders of magnitude smaller than the planet’s, and that the rotational model in absence of the second satellite is dominated by the chaotic zone, hence it would be highly unexpected for it to have the ability to change chaotic motion into a regular one.
The bifurcation diagrams, especially interesting when \(m_1/M\) and \(\omega ^2\) were fixed and e was varied, when small values of the eccentricity (i.e., \(e<0.03\)) are considered lead to a conclusion that the regular and highly structured picture (Fig. 6d) becomes much more messy, and the transition to chaos occurs for smaller eccentricities than in the case when additional gravitation source is neglected (Fig. 7d). This is consistent with the results of the other method (i.e., evolving the sets IC1 and IC2) in the sense that the second satellite changes regular motion into chaotic. The differences in case when \(\omega ^2\) was varied was not that much remarkable (Figs. 6a, 7a), and both models lead to chaotic motion when larger e are considered (Fig. 6c, 7c). The bifurcation diagram in dependence on the ratio \(m_1/M\) was mostly structureless (Fig. 7b). Eventually, the destruction of regular rotation caused by the second satellite might be ascribed to the destruction of the invariant tori (Tabor 1989; see also Celletti and Chierchia 1998 and references therein).
Finally, when e was set to the mean eccentricity of all Solar System satellites (i.e., \(e=0.005\)), the highly structured bifurcation diagram displayed in Fig. 8 also got destroyed and became much more tangled, as shown in Fig. 9. To conclude, the derived simplified model of a second satellite’s influence on rotational dynamics of an oblate satellite implies that:

1.
the additional source of gravitation can change some regular orbits into chaotic ones, and

2.
it destroys the regularity, particularly the periodicities and critical curves, in the bifurcation diagram for small eccentricities \(e<0.03\).
Notes
 1.
In particular, Lyapunov times for Hyperion ranged from \(1.5\times T\) to \(7\times T\), where \(T=21.3\,\mathrm{d}\) is the orbital period.
 2.
References
Alligood, K.T., Sauer, T.D., Yorke, J.A.: Chaos. An Introduction to Dynamical Systems. Springer, Berlin (2000)
Ascher, U.M., Petzold, L.R.: Computer Methods for Ordinary Differential Equations and DifferentialAlgebraic Equations. SIAM, Philadelphia (1998)
Baker, G., Gollub, J.: Chaotic Dynamics: An Introduction. Cambridge University Press, Cambridge (1996)
Beletskii, V.V.: The Motion of an Artificial Satellite About Its Center of Mass. Plenum, New York (1963)
Beletskii, V.V., Levin, E.M.: Correctness of averaging in the plane problem of the resonance of Venus. Sov. Astron. 25, 234 (1981)
Beletskii, V.V., Pivovarov, M.L., Starostin, E.L.: Regular and chaotic motions in applied dynamics of a rigid body. Chaos 6, 155 (1996)
Bevilacqua, R., Menchi, O., Milani, A., Nobili, A.M., Farinella, P.: Resonances and close approaches. I. The Titan–Hyperion case. Moon Planets 22, 141 (1980)
Black, G.J., Nicholson, P.D., Thomas, P.C.: Hyperion: rotational dynamics. Icarus 117, 149 (1995)
Bond, W.C.: Discovery of a new satellite of Saturn. Mon. Not. R. Astron. Soc. 9, 1 (1848)
Boyd, P.T., Mindlin, G.B., Gilmore, R., Solari, H.G.: Topological analysis of chaotic orbits: revisiting hyperion. Astrophys. J. 431, 425 (1994)
Celletti, A., Chierchia, L.: KAM stability estimates in celestial mechanics. Planet. Space Sci. 46, 1433 (1998)
Celletti, A., Chierchia, L.: Hamiltonian stability of spin–orbit resonances in celestial mechanics. Celest. Mech. Dyn. Astron. 76, 229 (2000)
Celletti, A., Chierchia, L.: Measures of basins of attraction in spin–orbit dynamics. Celest. Mech. Dyn. Astron. 101, 159 (2008)
Chirikov, B.V.: A universal instability of manydimensional oscillator systems. Phys. Rep. 52, 263 (1979)
Colombo, G., Franklin, F.A., Shapiro, I.I.: On the formation of the orbitorbit resonance of Titan and Hyperion. Astron. J. 79, 61 (1974)
Correia, A.C.M., Leleu, A., Rambaux, N., Robutel, P.: Spin–orbit coupling and chaotic rotation for circumbinary bodies. Application to the small satellites of the Pluto–Charon system. Astron. Astrophys. 580, L14 (2015)
Crawford, J.D.: Introduction to bifurcation theory. Rev. Mod. Phys. 63, 991 (1991)
Danby, J.M.A.: Fundamentals of Celestial Mechanics. The MacMillan Company, New York (1962)
Devyatkin, A.V., Gorshanov, D.L., Gritsuk, A.N., Mel’nikov, A.V., Sidorov, MYu., Shevchenko, I.I.: Observations and theoretical analysis of lightcurves of natural satellites of planets. Sol. Syst. Res. 36, 248 (2002)
Dourneau, G.: Orbital elements of the eight major satellites of Saturn determined from a fit of their theories of motion to observations from 1886 to 1985. Astron. Astrophys. 267, 299 (1993)
Feigenbaum, M.J.: The universal metric properties of nonlinear transformations. J. Stat. Phys. 21, 669 (1979)
Goldreich, P., Peale, S.: Spin–orbit coupling in the solar system. Astron. J. 71, 425 (1966)
Grassberger, P., Procaccia, I.: Measuring the strangeness of strange attractors. Phys. D 9, 189 (1983)
Grassberger, P.: Do climatic attractors exist? Nature 323, 609 (1986)
Greiner, W.: Classical Mechanics. Systems of Particles and Hamiltonian Dynamics. Springer, Berlin (2010)
Harbison, R.A., Thomas, P.C., Nicholson, P.C.: Rotational modeling of hyperion. Celest. Mech. Dyn. Astron. 110, 1 (2011)
Hausdorff, F.: Dimension und äußeres Maß. Math. Ann. 79, 157 (1919)
Hicks, M.D., Buratti, B.J., Basilier, E.N.: BVR photometry of hyperion near the time of the 2005 cassini encounter. Icarus 193, 352 (2008)
Jacobson, R.A., Antreasian, P.G., Bordi, J.J., Criddle, K.E., Ionasescu, R., Jones, J.B., et al.: The gravity field of the saturnian system from satellite observations and spacecraft tracking data. Astron. J. 132, 2520 (2006)
Khan, A., Sharma, R., Saha, L.M.: Chaotic motion of an Ellipsoidal satellite. I. Astrophys. J. 116, 2058 (1998)
Klavetter, J.J.: Rotation of Hyperion. Iobservations. Astron. J. 97, 570 (1989a)
Klavetter, J.J.: Rotation of Hyperion. IIdynamics. Astron. J. 98, 1855 (1989b)
Kouprianov, V.V., Shevchenko, I.I.: On the chaotic rotation of planetary satellites: the Lyapunov exponents and the energy. Astron. Astrophys. 410, 749 (2003)
Kouprianov, V.V., Shevchenko, I.I.: Rotational dynamics of planetary satellites: a survey of regular and chaotic behavior. Icarus 176, 224 (2005)
Kuznetsov, Y.: Elements of Applied Bifurcation Theory. Springer, New York (2004)
Lassel, W.: Discovery of a new satellite of Saturn. Mon. Not. R. Astron. Soc. 8, 195 (1848)
Lichtenberg, A.J., Lieberman, M.A.: Regular and Chaotic Dynamics. Springer, New York (1992)
Maciejewski, A.J.: Nonintegrability of the planar oscillations of a satellite. Acta Astron. 45, 327 (1995)
Mandelbrot, B.: The Fractal Geometry of Nature. W. H. Freeman and Company, New York (1983)
May, R.M.: Simple mathematical models with very complicated dynamics. Nature 261, 459 (1976)
Melnikov, A.V., Shevchenko, V.V.: The rotation states predominant among the planetary satellites. Icarus 209, 786 (2010)
Melnikov, A.V.: Conditions for appearance of strange attractors in rotational dynamics of small planetary satellites. Cosm. Res. 52, 461 (2014)
Ott, E.: Chaos in Dynamical Systems. Cambridge University Press, Cambridge (2002)
Peale, S.J.: Orbital resonances in the solar system. Annu. Rev. Astron. Astrophys. 14, 215 (1976)
Peitgen, H.O., Jürgens, H., Saupe, D.: Chaos and Fractals. New Frontiers of Science. Springer, New York (2004)
Rein, H., Payne, M.J., Veras, D., Ford, E.B.: Traditional formation scenarios fail to explain 4:3 mean motion resonances. Mon. Not. R. Astron. Soc. 426, 187 (2012)
Seidelmann, P.K., Archinal, B.A., A’Hearn, M.F., Conrad, A., Consolmagno, G.J., Hestroffer, D., et al.: Report of the IAU/IAG working group on cartographic coordinates and rotational elements: 2006. Celest. Mech. Dyn. Astron. 98, 155 (2007)
Shevchenko, I.I.: Maximum Lyapunov exponents for chaotic rotation of natural planetary satellites. Cosm. Res. 40, 296 (2002)
Shevchenko, I.I., Kouprianov, V.V.: On the chaotic rotation of planetary satellites: the Lyapunov spectra and the maximum Lyapunov exponents. Astron. Astrophys. 394, 663 (2002)
Smith, B.A., Soderblom, L., Batson, R.M., Bridges, P.M., Inge, J.L., Masursky, H., et al.: A new look at the Saturn system–the Voyager 2 images. Science 215, 504 (1982)
Spohn, T., Johnson, T., Breuer, D.: Encyclopedia of the Solar System, 3rd edn. Elsevier, Boston (2014)
Stellmacher, I.: Periodic solutions for resonance 4/3: application to the construction of an intermediary orbit for Hyperion’s motion. Celest. Mech. Dyn. Astron. 75, 185 (1999)
Strugnell, P.R., Taylor, D.B.: A catalogue of groundbased observations of the eight major satellites of Saturn, 1874–1989. Astrophys. Space Sci. 83, 289 (1990)
Tabor, M.: Chaos and Integrability in Nonlinear Dynamics: An Introduction. Wiley, New York (1989)
Thomas, P.C., Armstrong, J.W., Asmar, S.W., Burns, J.A., Denk, T., Giese, B., et al.: Hyperion’s spongelike appearance. Nature 448, 50 (2007)
Thomas, P.C.: Sizes, shapes, and derived properties of the saturnian satellites after the Cassini nominal mission. Icarus 208, 395 (2010)
Tarnopolski, M.: On the fractal dimension of the Duffing attractor. Rom. Rep. Phys. 66, 907 (2014)
Tarnopolski, M.: Nonlinear timeseries analysis of Hyperion’s lightcurves. Astrophys. Space Sci. 357, 160 (2015a)
Tarnopolski, M.: Testing the anisotropy in the angular distribution of Fermi/GBM gammaray bursts. Preprint (arXiv:1512.02865) (2015b)
Taylor, D.B., Sinclair, A.T., Message, P.J.: Corrections to the theory of the orbit of Saturn’s satellite Hyperion. Astron. Astrophys. 181, 383 (1987)
Taylor, D.B.: A synthetic theory for the perturbations of Titan on Hyperion. Astron. Astrophys. 265, 825 (1992)
Theiler, J.: Estimating fractal dimension. J. Soc. Opt. Am. A 7, 1055 (1990)
Wisdom, J., Peale, S.J., Mignard, S.: The chaotic rotation of Hyperion. Icarus 58, 137 (1984)
Acknowledgments
The author acknowledges support in form of a special scholarship of Marian Smoluchowski Scientific Consortium MatterEnergyFuture from KNOW funding, grant number KNOW/48/SS/PC/2015.
Author information
Affiliations
Corresponding author
Appendices
Appendix 1: Moments of inertia
Assuming the oblate moon is a triaxial ellipsoid with axes \(a>b>c\) and mass \(M=\frac{4\pi }{3}\rho abc\), the respective principal moments of inertia \(A<B<C\) are
In the double dumbbell model (here \(c=0\)):
Comparing Eqs. (13) and (14), the masses should obey \(m=\frac{2}{5}M\) for the moments of inertia for the ellipsoid model to contain the double dumbbell model. However, this does not affect the analysis performed here because the equations of motion (3) and (10) depend only on a dimensionless parameter \(\omega ^2=\frac{3(BA)}{C}\) which takes the same value for both models (with \(4m=M\)).
Appendix 2: Equations of motion
Rotational model of an oblate moon
Denote by \(\mathbf{e}_1\) the bodyfixed axis joining points 2 and 1, and by \(\mathbf{e}_2\) the axis joining points 4 and 3 (see Fig. 1). Thence, \(\mathbf{e}_3=\mathbf{e}_1\times \mathbf{e}_2\) is perpendicular to the orbital plane. Since \(A\ne B\), the satellite experiences a torque. Specifically, when points 1 and 2 are considered, the torque is
where \(\mathbf{F}_i=\textit{GMm}{} \mathbf{r}_ir_i^{3}\) is the gravitational force acting on mass i. Using the law of cosines to the triangles \(\textit{SHi}\) (\(i=1,2\)) and the fact that \(d_{12}\ll r\), one obtains
where the positive sign holds for \(r_1\), while the negative for \(r_2\). Inserting this into Eq. (15), after some algebraic manipulations one arrives at
Similarly, the torque \(\mathbf{D}^{(3,4)}\) can be calculated as
The total torque is therefore \(\mathbf{D}=\mathbf{D}^{(1,2)}+\mathbf{D}^{(3,4)}\), and with Euler’s second law: \(\mathbf{D}=\dot{\mathbf{L}}=C\ddot{\theta }{} \mathbf{e}_3\) the equation of angular motion takes the form from Eq. (3).
Introducing the second satellite
The torques coming from an additional satellite and acting on the oblate moon are given by
and
where \(m_1\) is the mass of the second satellite. The total torque acting on an oblate body is then
which after inserting the formula for \(\alpha _1\) from Eq. (8), and noting that \(Gm_1=GM\frac{m_1}{M}=n^2a^3\frac{m_1}{M}\), leads via Euler’s second law to the equation of motion from Eq. (10).
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Tarnopolski, M. Influence of a second satellite on the rotational dynamics of an oblate moon. Celest Mech Dyn Astr 127, 121–138 (2017). https://doi.org/10.1007/s1056901697197
Received:
Revised:
Accepted:
Published:
Issue Date:
Keywords
 Chaos
 Planets and satellites
 Rotation
 Bifurcation diagrams