Abstract
We derive a new analytical solution for the first-order, short-periodic perturbations due to planetary oblateness and systematically compare our results to the classical Brouwer–Lyddane transformation. Our approach is based on the Milankovitch vectorial elements and is free of all the mathematical singularities. Being a non-canonical set, our derivation follows the scheme used by Kozai in his oblateness solution. We adopt the mean longitude as the fast variable and present a compact power-series solution in eccentricity for its short-periodic perturbations that relies on Hansen’s coefficients. We also use a numerical averaging algorithm based on the fast-Fourier transform to further validate our new mean-to-osculating and inverse transformations. This technique constitutes a new approach for deriving short-periodic corrections and exhibits performance that are comparable to other existing and well-established theories, with the advantage that it can be potentially extended to modeling non-conservative orbit perturbations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the brief span of time after the launch of Sputnik, a whole succession of analyses was devoted to the problem poised by the drag-free motion of an artificial satellite about an oblate planet, employing almost every known perturbation method. Although, in a sense, the problem is a classic one that also occurred among the natural satellites, in the applications of artificial satellite motion it was necessary to obtain a more general, detailed, and accurate solution. The most intricate and notable investigations were presented by Brouwer (1959), Garfinkel (1959), and Kozai (1959) in the celebrated 1959 issue of the Astronomical Journal. These authors treat the first- and second-order secular perturbations, as well as the first-order short-periodic (related to the satellite’s mean motion) and long-periodic (related to the evolution of the argument of the perigee) perturbations of the orbital elements, where order here refers to the oblateness parameter.
Astronomical experience amply bears out the notion of separation of perturbing effects into periodic and secular variations and the distinction between fast and slow time variables concerning the motion of satellites (Lara 2019). The device of canonical transformations employed by Brouwer (1959) and Garfinkel (1959) permits a deeper understanding of the difference between periodic and secular perturbations and provides a systematic procedure for the inclusion of higher-order terms (Kozai 1962b). On the other hand, the technique used by Kozai (1959), known formally as the method of analytic continuation (Scheeres 2012), while applicable to any set of orbital elements, canonical or otherwise, can be cumbersome beyond the first order. The Poincaré-von Zeipel method of canonical transformations, though still in use (Nie et al. 2019), was significantly generalized by Hori (1966) and Deprit (1969) based on Lie series; the latter becoming the sine qua non of modern perturbation theory in celestial mechanics (Deprit and Rom 1970; Kaufman 1981).
Kozai’s gravity solution to the artificial satellite problem became the basis for the simplified general perturbations theory, SGP, that would be supplanted by SGP4, an analytical solution for satellite short-term prediction using the two-line element sets that instead has its roots in Brouwer’s gravitational theory (Hoots et al. 2004). Brouwer (1959) developed his original solution in Delaunay variables, the canonically-conjugate counterpart of the Keplerian orbital elements used by Kozai (1959), which, like the classical ones themselves, are singular for circular and equatorial orbits. The mathematical singularities associated with zero eccentricity and vanishing line of nodes that plague these solutions can be removed by reformulating them in nonsingular variables, such as those of Poincaré (Lyddane 1963; Breakwell and Vagners 1970), Hill (Izsak 1963; Aksnes 1972), or the equinoctial set (Gim and Alfriend 2003; Alfriend et al. 2009; Le Fèvre et al. 2014),Footnote 1 or Euler-parameter-based elements (Alfriend et al. 2009). A simplified form of the Lyddane-modified Brouwer theory, optimized in SGP4 for the rapid propagation of satellite ephemerides of the space object catalog (SOC) (Hoots 1981), is the basis for many tracking and prediction operations. Moreover, SGP4, or its deep space equivalent, SDP4, must be used to convert the mean, orbit-averaged, TLEs of the SOC into an osculating set of elements for use in special perturbation theory to obtain more accurate predictions (Levit and Marshall 2011).
The principal observable features due to Earth’s oblateness are a secular precession of the orbit plane about the polar axis and a steady motion of the major axis in the moving orbit plane. Well-known applications of this particular problem are the two inclined and elliptical orbit systems (12-hr Molniya and 24-hr Tundra), placed at the reputed critical inclination of \(\sim \)63.4\(^\circ \) so that the apsidal precession freezes on average. The critical inclination is an intrinsic singularity in the artificial satellite theories of our forebears (Coffey et al. 1986), and hitherto remains a fundamental issue in all modern reformulations of the main problem (Breakwell and Vagners 1970; Aksnes 1972; Lara 2015a, b). The orbit-averaging technique fundamentally involves removing all terms that depend on the fast-varying mean anomaly, thus retaining the (secular and long-period) mean-element motion. As noted by Kozai (1959), the long-periodic perturbations of the first order come from the terms of the second order, and the singularity associated with the critical inclination only arises when such long-period effects are retained. Nevertheless, the distinction between secular and mean elements has often been muddled in the literature, and tabulated mean-to-osculating transformations (Gim and Alfriend 2003; Schaub and Junkins 2018) apply Brouwer’s full periodic corrections. This approach will inevitably lead to significant errors near the critical inclination, but can be properly amended by neglecting the long-periodic terms (Breakwell and Vagners 1970).
An important application of the mean-to-osculating transformation is in the computation of the nominal osculating orbits from the frozen-orbit conditions determined in mean-elements space (Gurfil and Lara 2013). Frozen orbits correspond to equilibria for the averaged equations of motion, and, in the oblateness model, occur when secular effects due to even zonal harmonics are canceled by the long-period perturbations of the odd harmonics. While modern formulations compute frozen orbits directly from the non-averaged equations, based on the underlying quasi-periodic structure of librations around these mean equilibria, explicit analytical solutions form the starting point for the numerical optimization process. Recovering the short-periodic effects needed for this initialization can be troublesome at the critical inclination, whose precise frozen-orbit location is very sensitive to model truncation (Lara 2018).
Here, we present a new formulation of the mean-to-osculating and inverse conversions for first-order oblateness perturbations based on the Milankovitch elements (Rosengren and Scheeres 2013, 2014). We use the direct method of Kozai (1959), as further elucidated by Scheeres (2012), and present an explicit analytical short-period correction in vector form that is valid for all elliptical orbits. We adopt the mean longitude as the fast variable and present a compact power-series solution in eccentricity for its short-periodic perturbations that can be truncated to achieve the necessary accuracy. We establish a numerical averaging approach based on the fast-Fourier transform (Uphoff 1973; Ely 2015) and make detailed comparisons between our vectorial solution and the classical Brouwer–Lyddane (BL) theory. For the latter, we adapt the more streamlined formulas presented in Schaub and Junkins (2018) and Gim and Alfriend (2003).
2 Problem formulation
2.1 Analytical averaging
The basic idea in orbit-averaging methods is to obtain approximate equations for the system evolution that contain only slowly changing variables by exploiting the presence of a small dimensionless parameter \(\epsilon \) that characterizes the size of the perturbation. The tacit assumption is that the perturbing forces are sufficiently weak so that these approximate mean equations of motion can be used to describe the secular and long-period orbital evolution. The perturbation equations in celestial mechanics, relating the time variation of the orbit parameters to the perturbing accelerations, in Gauss or Lagrange form, are nonlinear, nonautonomous, first-order differential equations: (Alfriend et al. 2009; Scheeres 2012)
in which \({{\varvec{g}}} ({{\varvec{x}}}, t)\) is assumed to be T-periodic in time t. Equation (1) is trivially solved when \(\epsilon = 0\), yielding the integrals (Keplerian elements) in the unperturbed problem. The method of averaging consists of replacing Eq. (1) by the averaged autonomous system (Sanders et al. 2007)
where the average is performed over time, and it is understood that \(\overline{{\varvec{x}}}\) in the integrand is to be regarded as a constant during the averaging process. The basis for this approximation is the averaging principle, which states that in the general, non-resonant case, the short-period terms removed by averaging cause only small oscillations that are superimposed on the long-term solution described by the averaged system.
Comparison between numerical integrations and the mean solution will in general show a divergence between the two as a result of an inconsistent choice of initial conditions, as depicted in Fig. 1. This offset can be understood by decomposing the osculating elements into mean and short-period components (Kozai 1959; Scheeres 2012):
Differentiating, we can obtain an approximate equation governing the short-period dynamics:
in which the mean state \(\overline{{\varvec{x}}}\) has replaced the corresponding osculating elements \({{\varvec{x}}}\) in the dynamical equations and where the small parameter \(\epsilon \) has been omitted without lack of generality. From Eqs. (3) and (4), the short-periodic perturbations can be obtained as (Kozai 1959)
Accordingly, it can be seen that \(\overline{{\varvec{x}}}^{sp} = {{\varvec{0}}}\), which is also the implicit assumption in the averaging process.
The interpretation of this result is that given an initial condition for a state \({{\varvec{x}}}_0 = {{\varvec{x}}} (t_0)\), the mean equations have to be initialized at a value provided by Eqs. (3) and (5) as
to have the averaged dynamics track the true evolution more closely.
The removal of time, or analogously of the mean anomaly, requires computing the quadrature of functions depending implicitly on this variable through the true anomaly. The time averaging is performed over a periodic motion having a period much shorter than the time that characterizes the evolution of the dynamical system; this periodicity necessarily implies that averaging is taken for elliptical orbits. Given a quantity \({{\varvec{g}}} ({{\varvec{x}}}, M)\) representing the right-hand side of the equations of motion, defined as a function of the dimensionless time variable M (the mean anomaly) in addition to the other orbital elements given by \({{\varvec{x}}}\), the average, Eq. (2), can be redefined as
where the orbital elements \(\overline{{\varvec{x}}}\) are held constant in the integration. Although the average is defined with respect to mean anomaly, it is often more easily calculated by means of the true or eccentric anomaly, f and E, respectively, using the differential relationships
in which a and \(b = a \sqrt{1 - e^2}\) are the semi-major and semi-minor axes, respectively, and e is the eccentricity, yielding the equivalent forms for averaging:
Note that r can be expressed in terms of f and E as
Here, H is the specific angular momentum and \(\mu \) is the gravitational parameter.
The Milankovitch elements consist of the two fundamental vectorial integrals of motion, namely, the eccentricity vector \({{\varvec{e}}}\) and angular momentum vector \({{\varvec{H}}}\). These vectors can be parameterized in terms of the Keplerian elements relative to an inertial frame:
where i is the inclination, \(\varOmega \) is the right ascension of the ascending node, and \(\omega \) is the argument of periapsis. Because of the orthogonality constraint (i.e., \({{\varvec{H}}} \cdot {{\varvec{e}}}=0\)), we need a sixth scalar element to fully define an orbit (Roy and Moran 1973). Adopting the mean longitude \(l = \omega + \varOmega + M\), the non-averaged equations of motion for an arbitrary disturbing acceleration \({{\varvec{a}}}_d\) can be stated in ‘dyadic’ formFootnote 2 as (Battin 1999; Rosengren and Scheeres 2014):
where \(n^2 = \mu / a^3\), \(p = H^2/\mu \), and \({\hat{{{\varvec{\theta }}}}} = {\widetilde{{\hat{{{\varvec{h}}}}}}} \cdot {\hat{{{\varvec{r}}}}}\). Note that Eq. (13c) consists of terms that collect the contributions due to the three components in the radial, transverse, and normal directions of the disturbing acceleration and is valid for elliptical orbits in which \(e < 1\).
The position and velocity vectors, \({{\varvec{r}}}\) and \({{\varvec{v}}}\), may be expressed as
where \({\hat{{{\varvec{e}}}}} = {{\varvec{e}}}/e\), \({\hat{{{\varvec{e}}}}}_\perp = {\widetilde{{\hat{{{\varvec{h}}}}}}} \cdot {\hat{{{\varvec{e}}}}}\), and \({\hat{{{\varvec{h}}}}} = {{\varvec{H}}}/H\).
The Gauss equations have time-varying terms multiplying the accelerations involving the true anomaly, and thus they must each be averaged separately. The mean evolution of these elements can be computed as
The approximate short-period equations of motion for each element can then be formulated by subtracting Eq. (16) from Eq. (13), while holding all orbital elements but f constant. Kozai (1959), in his solution employing the classical elements a, e, i, \(\varOmega \), \(\omega \), and M, obtained the non-averaged, mean, and short-period equations of motion using the Lagrange planetary equations. We note that a more general procedure has been outlined herein.
Particularly, for \({{\varvec{e}}}\) and \({{\varvec{H}}}\), following Eq. (5), we have
so that
Special care, however, must be taken in the case of the mean longitude due to the presence of the mean motion appearing without any factor in Eq. (13c) (Kozai 1959). Expanding the osculating n into a first-order Taylor series about the mean elements, and following Eq. (4), we can write the approximate equation governing the short-period dynamics as
where
Accordingly,
and
As a result, the short-periodic perturbations of l are given by
2.2 Numerical averaging
The conversion between mean and osculating elements can be obtained numerically, as previously shown by Walter (1967), Uphoff (1973), and Ely (2015). Here, we will exploit a numerical implementation of the near-identity transformation in Eq. (3) between averaged and osculating Milankovitch elements to validate our subsequent analytical developments.
The mapping is obtained by numerically solving
The boundary condition in Eq. (25) guarantees that the oscillations of \({{\varvec{x}}}^{sp} (t)\) are unbiased with respect to \(\overline{{\varvec{x}}}\). The formal solution is then (Sanders et al. 2007)
where \({c}_k\left( \overline{{\varvec{x}}} \right) \) are the Fourier coefficients of \({{\varvec{g}}} \left( \overline{{\varvec{x}}}, t \right) \), and i is the imaginary unit.
In this study, we numerically approximate Eq. (26) by truncating the series and by using the fast-Fourier transform (FFT) algorithm as discussed in Ely (2015), under the assumption that \({{\varvec{g}}}\) is analytic on the continuation of nt in a non-vanishing complex strip. This assumption guarantees that the Fourier coefficients exhibit exponential decrease as a function of k. It results in a numerical averaging scheme that we call “FFT transformation" from now on. This scheme yields a first-order approximation of the motion, similarly to the Brouwer–Lyddane or Milankovitch ones. For the mean orbit longitude, we incorporate the additional terms in Eq. (19), resulting from the Taylor series of n, into Eq. (25), before performing the numerical quadrature.
3 Analytical short-period correction for oblateness perturbations
The quadrupolar (i.e., \(J_2\)-truncated) disturbing function arising from an oblate planet can be stated in a general vector expression as (Scheeres 2012)
where \(J_2\) is the second zonal harmonic coefficient, R is the mean equatorial radius of the planet, and \({\hat{{{\varvec{r}}}}} = {{\varvec{r}}}/r\) from Eq. (14). Note that the Earth’s spin axis \({\hat{{{\varvec{p}}}}}\) is assumed to be fixed in inertial space, and, as such, is aligned with \({\hat{{{\varvec{z}}}}}\).
The perturbing acceleration is then given by \(\partial {\mathcal {R}} / \partial {{\varvec{r}}}\) as
Accordingly, following Eq. (13), the perturbation equations can be stated as
The averaged equations of motion for the eccentricity and angular momentum vectors are given by Ward (1962) and Rosengren and Scheeres (2013). Averaging Eq. (29c) directly requires computing the quadrature of various dyadics and higher rank tensors of the dynamical variables, the details of which we omit. The mean equations can be stated as
where the bar operator is omitted from the elements because there is no ambiguity in what follows, i.e., all variables are averaged variables. Note that Eq. (30c) can be seen as the sum of the classical secular precession rates arising from planetary oblateness, \(\dot{\overline{l}} = \dot{\overline{M}} + \dot{\overline{\omega }} + \dot{\overline{\varOmega }}\), where
Following the procedure outlined in Sect. 2.1 and detailed in Appendix B, the short-periodic perturbations in the eccentricity vector, angular momentum vector, and mean longitude can be stated as
where Roman numerals \(I_1\), \(I_2\), \(II_{11}\), \(\ldots \) designate various functions of true anomaly, \({\widehat{I}}_2\), \({\widehat{II}}_{12}\), \(\ldots \) represent the difference of these trigonometric expressions from their averaged values, \(\widetilde{I}_{1}\), \(\ldots \) are indefinite integrals of the previous core functions, and \(\widehat{\widetilde{I}}_{2}\), \(\ldots \), represent differences between the doubly-integrated expressions, their averaged values, and the previous core averages. While somewhat cumbersome, the adopted notation mirrors the derivation of Appendix B and is otherwise systematic and methodical. The needed results pertaining to the solution, Eq. (32), are given by
where all intermediate terms are given in Appendix B. They are obtained by also using the auxiliary formulas given in Appendix A.
Thus, following Eq. (6), given the initial osculating state \(( {{\varvec{e}}}_0, {{\varvec{H}}}_0, l_0 )\), the mean equations of motion, Eqs. (30), have to be initialized as
4 Validation of the Milankovitch scheme
In this section, we consider an extended grid of initial conditions and test the developed Milankovitch formulation against both BL and the fully numerical transformation of Sect. 2.2. For Brouwer–Lyddane, we have verified that the more streamlined formulas presented in Schaub and Junkins (2018) have been correctly transcribed according to their original sources, excepting the missing \(\sin ( 2 \omega )\) factor in the long-period terms of M, \(\omega \), and \(\varOmega \), which has only been noted in the recent erratum of the latest edition of this widely used monograph.Footnote 3 Furthermore, rather than using Lyddane’s adhoc modification, Gim and Alfriend (2003) developed a new theory based on Brouwer’s generating function that uses equinoctial elements. While still invalid at the critical inclination, Gim and Alfriend (2003) concluded from various numerical simulations that their method produces reasonable results within \(0.25^\circ \) of this small divisor. Being inherently rooted in Brouwer’s theory, it was expected at the outset that Lyddane (1963) and Gim and Alfriend (2003) would yield the same overall degree of accuracy. Nevertheless, for the sake of completeness, and because, superficially, it is not apparent that the formulas of Gim and Alfriend (2003) are mathematically equivalent to those systematized in Schaub and Junkins (2018),Footnote 4 we have also extended our numerical campaign to include a comparison between these as well (see Appendix C).
Figure 2 shows a numerical confirmation of the validity of the Milankovitch formulation for satellites of the Sun-synchronous and Molniya type. The procedure was to first convert the initial osculating orbit into its corresponding mean elements using the developed formulas. These initial osculating and mean states were then propagated according to their dynamics described by Eqs. (29) and (30). In the former case, the results are equivalent to, though generally more accurate than, a simple Cowell integration in Cartesian space. The time histories of these evolutions at various subintervals were subsequently used as input to the respective osculating-to-mean and mean-to-osculating transformations in order to recover the aforementioned simulated trajectories.
Projecting both the simulated and recovered osculating evolutions into the radial, along-track, and cross-track frame, we use the norm root mean square (RMS) of the positional error as a means to assess the accuracy of the transformation. To keep the presentation brief, we do not consider the velocity errors or other metrics. Figure 3 shows the results of this process for Brouwer–Lyddane, Milankovitch, and the FFT transformations, respectively, for Sun-synchronous-like orbits and nearly critically inclined, semi-synchronous ones. The dependence of the resulting errors on the choice of orbit orientation angles is also highlighted by Fig. 3.
For completeness and further validation, Fig. 4 compares the aforementioned Brouwer–Lyddane transformation which includes the long-period terms, with a BL mean-to-osculating implementation that omits them. These test cases are simulated in the trusted semi-analytical propagator, STELA, using a \(J_2\)-only model. While slight discrepancies with STELA are to be expected due to different platforms, mean-element equations, and astronomical constants used in the respective simulations, the results are in good quantitative agreement. Importantly, the long-period terms in the full Brouwer theory do not cause appreciable changes in the recovered solutions throughout the whole of orbital phase space excepting a narrow band centered around the critical inclination.
Figure 5 shows error maps corresponding to two different initial eccentricities for \(500 \times 500\) grids of initial inclinations and semi-major axes. Each grid point, together with \((M, \omega , \varOmega ) = (0, 0, 0)\), was used to form the full osculating element state vector and propagated for five orbital periods. The same procedure outlined in the previous paragraph was used to characterize the accuracy of each transformation, where the colorbar in Fig. 5 corresponds to the norm RMS of the difference between the recovered and simulated positions over the timescale of the propagations (five orbital periods). Note that prescribed limits were imposed on the colorbar of each map in this numerical campaign so as to more clearly highlight the differences among the various transformations.
Figure 6 shows error maps in the semi-major axis–eccentricity plane for four different initial inclinations. For all three transformations, the error is highest at the boundary of allowable orbits, above which the perigee altitude would equal the Earth’s radius.
The remaining slice of the action-like element space is given in Fig. 7, which shows how the errors manifest in the (i, e) plane for two values of initial semi-major axes (representing LEO satellites at 800 km altitude and GEO birds).
From this simulation campaign, we can conclude that the Milankovitch method consistently agrees with the classical Brouwer–Lyddane solution with each of the approaches showing a slightly better accuracy in specific orbital regimes. Differences in positional error residuals remain in the order of a few kilometers or less.
5 Discussion
Our Milankovitch formulation is closed-form in both the eccentricity and angular momentum vectors. We have provided a general series solution for the mean longitude based on Hansen coefficients, which can be taken to any desired order of accuracyFootnote 5, and shown that our scheme performs in agreement with standard BL theories. We note that our formulation bypasses the critical inclination because we do not consider the long-periodic terms that arise from a second-order perturbation treatment. On this account, we also omitted these in Brouwer’s theory in Fig. 4 to emphasize that the long-periodic terms are negligible away from the critical inclination in the time-scale of interest.
Being a non-canonical set of elements, our derivation followed the approach used by Kozai (1959), as further elucidated by Scheeres (2012). We note, however, that, like Gim and Alfriend (2003), we could have merely adopted Brouwer’s generating function and computed the short-periodic corrections using Poisson-bracket operations. Nevertheless, we chose to present an independent derivation that, as a positive outcome, results to be applicable to other perturbations for which a convenient generating function is not always available, see Shen et al. (2019). Having provided a general Kozai-like scheme, not rooted in canonical perturbation theory, our approach can be potentially extended to non-conservative forces, such as solar radiation pressure and atmospheric drag, in addition to treating lunisolar third-body gravity and other predominant perturbations. Future work will be devoted to the inclusion of long-periodic terms in our transformation and to the application of this method to modeling non-conservative perturbations.
6 Conclusions
We have developed a new mean-to-osculating and inverse transformation based on the Milankovitch elements with the mean longitude as the fast variable, which is valid for all eccentricity values smaller than one. An extensive numerical campaign was used to validate the vectorial transformation over orbital phase-space grids tailored to the relative distribution of cataloged Earth satellites and debris.
Change history
25 July 2022
Missing Open Access funding information has been added in the Funding Note
Notes
The open-source and extensively validated tool, Semi-analytic Tool for End of Life Analysis (STELA), developed by CNES, is also based on the equinoctial parameters (Le Fèvre et al. 2014).
An expression \({{\varvec{a}}}{{\varvec{b}}}\), formed by the juxtaposition of two vectors in \(R^3\) constitutes what is called a dyad. For notational convenience, we denote the cross-product dyadic as \(\widetilde{{\varvec{a}}}\) so that the tilde operator turns a vector into a skew-symmetric dyadic, allowing to write the cross product as a linear vector function. Equivalent expressions of the cross product are: \({{\varvec{a}}} \times {{\varvec{b}}} = \widetilde{{\varvec{a}}} \cdot {{\varvec{b}}} = {{\varvec{a}}} \cdot \widetilde{{\varvec{b}}} = -\widetilde{{\varvec{b}}} \cdot {{\varvec{a}}} = -{{\varvec{b}}} \cdot \widetilde{{\varvec{a}}}\).
Retaining the long-periodic perturbations in the transformation from osculating to mean elements is technically a misuse of Brouwer’s theory (Breakwell and Vagners 1970); yet, it is, perhaps inadvertently, done in the literature (Schaub and Alfriend 2001) and we show herein that it does not have much bearing on the solutions outside the critical inclination.
We have verified that the expressions for a and i do indeed agree, but have not done so for the remaining elements, which is a more painstaking and arduous task.
Truncating to order 12 in the Hansen coefficients was found to yield accurate results, in general, with higher orders being needed with increasing eccentricity.
References
Aksnes, K.: On the use of the Hill variables in artificial satellite theory: Brouwer’s theory. Astron. Astrophys. 17, 70–75 (1972)
Alfriend, K.T., Vadali, S.R., Gurfil, P., How, J.P., Breger, L.S.: Spacecraft Formation Flying: Dynamics. Control and Navigation. Butterworth-Heinemann, Oxford (2009)
Battin, R.H.: An Introduction to the Mathematics and Methods of Astrodynamics, revised AIAA, Reston (1999)
Breakwell, J.V., Vagners, J.: On error bounds and initialization in satellite orbit theories. Celest. Mech. 2, 253–264 (1970)
Brouwer, D.: Solution of the problem of artificial satellite theory without drag. Astron. J. 64, 378–397 (1959)
Brumberg, V.: Analytical Techniques of Celestial Mechanics. Springer-Verlag, Berlin (1995)
Challe, A., Laclaverie, J.J.: Disturbing function and analytical solution of the problem of the motion of a satellite. Astron. Astrophys. 3, 15–28 (1969)
Coffey, S.L., Deprit, A., Miller, B.R.: The critical inclination in artificial satellite theory. Celest. Mech. 39, 365–406 (1986)
Deprit, A.: Canonical transformations depending on a small parameter. Celest. Mech. 1, 12–30 (1969)
Deprit, A., Rom, A.: The main problem of artificial satellite theory for small and moderate eccentricities. Celest. Mech. 2, 166–206 (1970)
Ely, T.A.: Transforming mean and osculating elements using numerical methods. J. Astronaut. Sci. 62, 21–43 (2015)
Garfinkel, B.: The orbit of a satellite of an oblate planet. Astron. J. 64, 353–367 (1959)
Giacaglia, G.E.O.: A note on Hansen’s coefficients in satellite theory. Celest. Mech. 14, 515–523 (1976)
Gim, D.W., Alfriend, K.T.: State transition matrix of relative motion for the perturbed noncircular reference orbit. J. Guid. Control Dyn. 26, 956–971 (2003)
Gurfil, P., Lara, M.: Motion near frozen orbits as a means for mitigating satellite relative drift. Celest. Mech. Dyn. Astron. 116, 213–227 (2013)
Hoots, F.R.: Reformulation of the Brouwer geopotential theory for improved computational efficiency. Celest. Mech. 24, 367–375 (1981)
Hoots, F.R., Glover, R.A., Schumacher, P.W., Jr.: History of analytical orbit modeling in the U. S. Space Surveillance System. J. Guid. Control Dyn. 27, 174–185 (2004)
Hori, G.: Theory of general perturbations with unspecified canonical variables. Publ. Astron. Soc. Jpn 18, 287–296 (1966)
Hughes, S.: The computation of tables of Hansen coefficients. Celest. Mech. 29, 101–107 (1981)
Izsak, I.G.: A note on perturbation theory. Astron. J. 68, 559–561 (1963)
Kaufman, B.: First order semianalytic satellite theory with recovery of the short period terms due to third body and zonal perturbations. Acta Astronaut. 8, 611–623 (1981)
Kozai, Y.: The motion of a close Earth satellite. Astron. J. 64, 367–377 (1959)
Kozai, Y.: Mean values of cosine functions in elliptic motion. Astron. J. 67, 311–312 (1962)
Kozai, Y.: Second-order solution of artificial satellite theory without air drag. Astron. J. 67, 446–461 (1962)
Lara, M.: Efficient formulation of the periodic corrections in Brouwer’s gravity solution. Math. Probl. Eng. 2015(980), 652 (2015)
Lara, M.: LEO intermediary propagation as a feasible alternative to Brouwer’s gravity solution. Adv. Space Res. 56, 367–376 (2015)
Lara, M.: Exploring sensitivity of orbital dynamics with respect to model truncation: The frozen orbits approach. In: Vasile, M., Minisci, E., Summerer, L., McGinty, P. (eds.) Stardust Final Conference. Astrophysics and Space Science Proceedings, pp. 69–83. Springer, Cham (2018)
Lara, M.: A new radial, natural, higher-order intermediary of the main problem four decades after the elimination of the parallax. Celest. Mech. Dyn. Astron. (2019). https://doi.org/10.1007/s10569-019-9921-5
Le Fèvre, C., Fraysse, H., Morand, V., Lamy, A., Cazaux, C., Mercier, P., Dental, C., Deleflie, F., Handschuh, D.A.: Compliance of disposal orbits with the French Space Operations Act: the good practices and the STELA tool. Acta Astronaut. 94, 234–245 (2014)
Levit, C., Marshall, W.: Improved orbit prediction using two-line elements. Adv. Space Res. 47, 1107–1115 (2011)
Lyddane, R.H.: Small eccentricities or inclinations in the Brouwer theory of the artificial satellite. Astron. J. 68, 555–558 (1963)
Nie, T., Gurfil, P., Zhang, S.: Semi-analytical model for third-body perturbations including the inclination and eccentricity of the perturbing body. Celest. Mech. Dyn. Astron. (2019). https://doi.org/10.1007/s10569-019-9905-5
Proulx, R.J., McClain, W.D.: Series representations and rational approximations for Hansen coefficients. J. Guid. Control Dyn. 11, 313–319 (1988)
Rosengren, A.J., Scheeres, D.J.: Long-term dynamics of high area-to-mass ratio objects in high-Earth orbit. Adv. Space Res. 52, 1545–1560 (2013)
Rosengren, A.J., Scheeres, D.J.: On the Milankovitch orbital elements for perturbed Keplerian motion. Celest. Mech. Dyn. Astron. 118, 197–220 (2014)
Roy, A.E., Moran, P.E.: Studies in the application of recurrence relations to special perturbation methods III. Non-singular differential equations for special perturbations. Celest. Mech. 7, 236–255 (1973)
Sanders, J.A., Verhulst, F., Murdock, J.: Averaging Methods in Nonlinear Dynamical Systems, 2nd edn. Springer, New York (2007)
Schaub, H., Alfriend, T.K.: J\(_2\) invariant relative orbits for spacecraft formations. Celest. Mech. Dyn. Astron. 79, 75–95 (2001)
Schaub, H., Junkins, J.L.: Analytical Mechanics of Space Systems, 4th edn. American Institute of Aeronautics and Astronautics, Reston (2018)
Scheeres, D.J.: Orbital Motion in Strongly Perturbed Environments: Applications to Asteroid. Comet and Planetary Satellite Orbiters, Springer-Praxis, Berlin (2012)
Shen, H.X., Kuai, Z.Z., Li, H.N.: Propagation and transformation of mean elements at geostationary orbits. J. Guid. Control Dyn. 42, 2132–2142 (2019)
Uphoff, C.: Numerical averaging in orbit prediction. AIAA J. 11, 1512–1516 (1973)
Walter, H.G.: Conversion of osculating orbital elements into mean elements. Astron. J. 72, 994–997 (1967)
Ward, G.N.: On the secular variations of the elements of satellite orbits. Proc. R. Soc. Lond. A 266, 130–142 (1962)
Acknowledgements
A deep debt of gratitude is extended to Claudio Bombardelli for help in clarifying a subtle issue related to the mean motion in Kozai’s solution, which has led to a substantial improvement in the Milankovitch formulation. Special thanks are also due to K. Terry Alfriend and Daniel J. Scheeres for insightful and motivating conversations, and to Carlos Yanez for running independent simulations using the reference CNES tool, STELA. We are also grateful to the anonymous referees for helping to improve the presentation.
Funding
Open access funding provided by Alma Mater Studiorum - Università di Bologna within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Some results of this paper were presented at the 27th International Symposium on Space Flight Dynamics (ISSFD), 2019, Melbourne, Australia.
Appendices
A Auxiliary Formulas
We require the double quadrature of f, \(\sin m f\), \(\cos m f\), where m is an integer. The traditional approach has resorted to more or less elaborate expansions of various functions into sums of periodic terms, which depend chiefly on Taylor’s series and Fourier’s theorem, mainly because the integrals of these functions cannot be obtained conveniently in any other way (Brumberg 1995). While detailed explicit tabulations for these quantities may be found in Cayley’s and Newcomb’s classical tables, these results may be deduced from the Hansen coefficients (Hughes 1981). Namely,
where the coefficients \(S_k^{n,m}\) and \(C_k^{n,m}\) for integers k, n, and m are power series in the eccentricity, starting with degree \(|m - k |\), and are related to Hansen coefficients \(X_{k}^{n,m}\) by
For \(k = 0\), exact analytical expressions exist for the zero-order Hansen coefficients \(X_{0}^{n,m}\) for all values of n and m; in particular, we recall a special result for the zero-order Hansen coefficients, derived by Kozai (1962a):
For \(k \ne 0\), the analytical expressions for them do not terminate and, consequently, the series have to be truncated at some particular order in the eccentricity.
Hansen’s coefficients can be expressed as series invoking Bessel and hypergeometric functions from which several formulae of recurrence can be derived that greatly facilitate their calculation (Challe and Laclaverie 1969; Giacaglia 1976):
A useful series representation to seed the recursion, which dates back to Hansen, is given by (Proulx and McClain 1988)
where the functions \(L_i^{(j)} (x)\) are the generalized Laguerre polynomial defined as
and
In the preceding expressions, \(\eta = \sqrt{1 - e^2}\) and \(\beta = (1 - \eta )/e\).
Also needed in our derivation is the classical equation of the center, which is given by
where \(J_k (x)\) are Bessel functions of the first kind.
B Derivation of the short-periodic perturbations in the Milankovitch elements
The procedure involves first writing down an approximate differential equation that governs the short-period dynamics for each variable \(( {{\varvec{e}}}, {{\varvec{H}}}, l )\), according to Eq. (4). The first indefinite time integration of Eq. (5) requires the quadrature of dyadics and higher rank tensors of the dynamical variable \({{\varvec{r}}}\). In particular, we can expose all of the fast-variable terms of Eq. (13) and can complete the needed core integrals by changing the dependent variable from time to true anomaly or mean anomaly:
Specifically, we have
For the vector term, we have
Similarly, for the dyadic terms, we find
where
In the same way, we have for the first triadic terms:
Finally, for the last triadic term, we have
where
We also require the averages of these core integrals, which can easily be deduced by exploiting the Hansen coefficients (Eq. (38)) and equation of the center (Eq. (49)) expansions:
The previous results are sufficient to derive the short-periodic perturbations in the eccentricity and angular momentum vectors, according to Eqs. (18a) and (18b), respectively. The mean longitude, however, requires the computation of additional integrals due to the mean motion Taylor-series terms, as detailed in Eqs. (22) and (23). These can be carried through to the core integrals, where again we can use Eqs. (38) and (49). In particular, using the mean anomaly as the dependent variable, we have
Note that integrands are the same as those of the previous averages \(\overline{I}_1\), \(\overline{I}_2\), \(\overline{II}_{11}\), \(\ldots \), in Eq. (60), but they differ in that the former are definite while the later are indefinite.
Finally, we require the averages of these doubly-integrated expressions:
With these ingredients at hand, we now step through the derivation of the short-period corrections.
Eccentricity vector: Subtracting Eq. (30a) from Eq. (29a), holding the slowly varying orbital elements constant, and integrating, according to Eq. (17a), gives the short-periodic perturbations in \({{\varvec{e}}}\) as
The mean value of this deviation with respect to the mean anomaly is given by
We then have from Eq. (18a), after simplifying, that
in which
Equation (65) can be cast into a simpler form that exposes the perifocal frame components, as given in Eq. (32a).
Angular momentum vector: In the same vein, following Eq. (17b), upon integrating, we have
Computing the average gives
The result is then
Equation (69) can also be written in a non-dyadic form as shown in Eq. (32b)
Mean longitude: We first note that
and
Furthermore,
We also have that
The short-periodic perturbations for mean longitude can thus be stated as
Simplifying gives
where
C Numerical comparisons between Brouwer–Lyddane and Gim–Alfriend
Figures 8, 9, 10, 11 show comparisons between the Brouwer–Lyddane and Gim–Alfriend formulations, as concerns the error maps of Sect. 4.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Izzo, P., Dell’Elce, L., Gurfil, P. et al. Nonsingular vectorial reformulation of the short-period corrections in Kozai’s oblateness solution. Celest Mech Dyn Astr 134, 12 (2022). https://doi.org/10.1007/s10569-022-10067-7
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10569-022-10067-7