Abstract
We propose a closed-form normalization method suitable for the study of the secular dynamics of small bodies in heliocentric orbits perturbed by the tidal potential of a planet with orbit external to the orbit of the small body. The method makes no use of relegation, thus circumventing all convergence issues related to that technique. The method is based on a convenient use of a book-keeping parameter keeping simultaneously track of all the small quantities in the problem. The book-keeping affects both the Lie series and the Poisson structure employed in successive perturbative steps. In particular, it affects the definition of the normal form remainder at every normalization step. We show the results obtained by assuming Jupiter as perturbing planet, and we discuss the validity and limits of the method.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The present paper is about the development of a method to compute a secular normal form in the framework of the restricted three-body problem (R3BP). We are interested in the heliocentric dynamics of a massless particle perturbed by the tidal potential of an external planet, i.e. a planet whose orbit is exterior to the particle’s one. The objective is to define a transformation leading to a Hamiltonian function suitable to study the particle’s secular dynamics, i.e. we search for a normal form not depending on the fast angles characterizing the problem. Using modified Delaunay variables, the latter are the mean longitudes of the particle and of the planet.
The Hamiltonian for the problem of interest is equal to the sum of two components, a leading term \(Z_0\) not depending on the fast angles and a disturbing function R:
The leading term is
where \(n_\mathrm{P}\) is the planet’s mean motion and \(I_\mathrm{P}\) is a dummy action variable canonically conjugated to the planet’s mean longitude \(\lambda _P\) such that
Moreover, we have
with \(a_\mathrm{P}\), \(e_\mathrm{P}\), \(f_\mathrm{P}\) the semi-major axis, eccentricity and true anomaly of the planet and a,e,i,\(\Omega \),\(\omega \),u the orbital elements of the particle (u is the eccentric anomaly); \((\Lambda ,\Gamma ,\Theta ,\lambda ,\gamma ,\theta )\) are modified Delaunay variables (see Brouwer and Clemence (1961)); \(\mathscr {M}\) is the mass of the Sun, \(\mathscr {G}\) is the Newton’s gravity parameter and \(\mu =\mathscr {G}{m}_{P}\), with \({m}_P\) the mass of the planet.
As typical in perturbation theory, in the sequel we will write \(\mathscr {H}\) in the form of a formal series:
where \(\epsilon \) is a formal parameter, called book-keeping parameter, used to assess the size of each perturbing term composing R. The normal form has to be computed iteratively, through, for example, a composition of Lie transformations (Deprit 1969). A Lie transformation is a canonical transformation between two sets of canonical variables, \(z_1\) and \(z_2\), given by
with the operator defined as
where is the Poisson bracket operator and
see Efthymiopoulos (2012). The function \(\chi \) is called a Lie generating function. Performing r steps of the normalization process, the transformation between the original and the final variables \(z^{(0)}\), \(z^{(r)}\)
is
At the jth iteration, we perform a Lie transformation leading to a new Hamiltonian \(\mathscr {H}^{(j)}\) given by
with
where \(Z_i\), \(i=1,\ldots , j-1\) are normal form terms arising at previous normalization steps. We have
Following the above iterative procedure, the Hamiltonian \(\mathscr {H}^{(r)}\) after r normalization steps is given by the sum between the normal form
and a remainder with a (hopefully) small size. Each generating function \(\chi _j\), \(j=1\dots r\), is determined by solving the so-called homological equation
with
In our problem, solving (2) can be complex, since the disturbing function R is not directly available as a sum of trigonometric terms over the problem’s canonical angles. In fact, R depends on the mean longitudes of the planet and of the particle through geometric angles, i.e. the true anomalies or the eccentric anomalies. This implies that we have to solve Kepler’s equation in series form in order to obtain the required trigonometric expansions in the angles \(\lambda \), \(\lambda _\mathrm{P}\). Typically, to overcome this difficulty the original Hamiltonian is approximated by means of a Taylor expansion in some small parameter truncated at an adequate order to make explicit the dependence on the fast angles [(see Tisserand (1889); Brouwer and Clemence (1961); Kaula (1966); Vinh (1970); Brumberg and Fukushima (1994)]. As an example, consider an expansion over the eccentricities of both the particle and the planet. The book-keeping parameter in (1) will depend on e and \(e_\mathrm{P}\) and each term \(R_s^{(j-1)}\) will have the form
where \(R_{s,\varvec{k}}^{(j-1)}=R_{s,\varvec{k}}^{(j-1)}(\Lambda ,\Gamma ,\Theta ;e_\mathrm{P},a_\mathrm{P})\) are the so-called Laplace coefficients (Brouwer and Clemence 1961). The generating function \(\chi _{j}\) satisfying (2) is
Some examples of application of the above method of expansion can be found in Metris et al. (1993), Wnuk (1988) and Lara et al. (2011). However, an important drawback of this technique is that it can be applied only for lowly eccentric orbits. To address this issue, an alternative, introduced in Palacián (1992) and formalized in Deprit et al. (2001) and Segerman and Coffey (2000), is the so-called relegation method; it consists in neglecting one of the two components of the leading term in the homological equation, so that this can be solved in closed form. A multipole expansion of the initial disturbing function R is performed so that each \(R_s^{(j-1)}\) has the form
where r is the heliocentric radius of the particle equal to \( r = a\big (1-e\cos {u}\big ) \). Since the planet’s trajectory is external to the particle’s trajectory, we have \(n_\mathrm{P}<n\). Hence, treating \(n_\mathrm{P}\) as a small quantity (of ‘book-keeping order 1’, see below), instead of the homological equation (2), we work with a homological equation involving only the particle’s Keplerian terms in the kernel, namely [see Palacián (2002)]:
so that
where \(\bar{{{R}}}^{(j-1)}_{j,\lambda }\) is the average of \({R}_j^{(j-1)}\) over \(\lambda \). Equation (4), now, can be solved in ‘closed-form’ (see Palacián (2002)), i.e. without expanding the function \({R}_j^{(j-1)}\) in the eccentricities e, \(e_\mathrm{P}\). However, it is easy to see that, by applying the Lie transformation, the new Hamiltonian contains terms due to the contribute \(\{n_\mathrm{P} I_\mathrm{P},\chi _j\}\) of the type
whose size may not be sufficiently small, i.e. comparable to the size of the next term to normalize, namely \(R_{j+1}^{(j)}\). As a consequence, the iterative normalization process must be adjusted: additional iterations must be added to handle first the terms coming from \(\{n_\mathrm{P} I_\mathrm{P},\chi _j\}\), before dealing with \(R_{j+1}^{(j)}\). This leads also to remainder terms depending on increasing powers of \(\delta \), whose size decreases, provided that \(\delta <1\). Generating functions \(\chi _{j}^{k}\), \(k=1,\ldots , m\), satisfying
are iteratively computed to normalize the contributions \({R}_{j,k}^{(j,k-1)}\) depending on \(\delta ^k\). After m steps, the final remainder \({{R}}_{j,m+1}^{(j,m)}\) will depend on \(\delta ^{m+1}\) and will have a size comparable to \(R_{j+1}^{(j)}\).
While the relegation technique successfully remedies the issue of the poor convergence of series depending on powers of the orbital eccentricities (see San-Juan et al. (2004); Ceccaroni and Biggs ( 2013); Feng et al. (2015); Palacián et al. (2006) for applications), the practical applicability of the technique is severely limited by the requirement of smallness of the ratio \(n_\mathrm{P}/n\). To understand this, let us use the example of a two degree-of-freedom harmonic oscillator system in action-angle variables as proposed in Segerman and Coffey (2000):
with \(J_1,J_2\) the actions and \(\phi _1,\phi _2\) the angles. The homological equation to solve is
where \(\epsilon \) is a formal parameter to assess the size of the terms. The classical solution is
However, in the case \(\omega _1/\omega _2<<1\) we can apply the relegation technique: we can neglect \(\omega _1J_1\) in the leading term and determine a generating function \(\chi _R\) satisfying
that is
Because of the term \(\omega _1J_1\) in the Hamiltonian, the Lie transformation gives
If \(k_1\omega _1/k_2\omega _2<1\) the remainder size is lower than the size of the normalized term. However, it may be higher than the targeted size, so that the relegation process must be further iterated. As discussed in Segerman and Coffey (2000), the iterations produce the generating function
It is, now, trivial to see that the generating function \(\chi _R\), obtained by relegation, corresponds to the series expansion of the usual generating function \(\chi _C\), obtained without relegation, in powers of the ratio \(k_1\omega _1/k_2\omega _2\). However, it is obvious that, even if \(\omega _1<<\omega _2\), the method may not converge if the coefficients \(k_1,k_2\) are such that \(k_1\omega _1/k_2\omega _2\ge 1\). We refer to Sansottera and Ceccaroni (2017) for more details about the convergence of the relegation algorithm.
Some methods alternative to relegation have been proposed in the literature to solve the homological equation in closed form. In Mahajan et al. (2018), a technique based on the method of characteristics is developed; its application is shown in Mahajan and Alfriend (2019). In Lara et al. (2013), the homological equation is solved in closed form for orbits with low eccentricity by accepting a remainder of small size depending on e.
All the above techniques were applied, so far, in the so-called satellite problem, i.e. the motion of a test body in the multiple expansion of a planet’s gravitational potential (e.g. with the \(J_2\) and \(C_{22}\) terms). In the present paper, we examine, instead, the applicability of a closed-form normalization method in the framework of the R3BP suitable for orbits with relatively high eccentricities and not using relegation. Our method is similar in spirit to the one introduced in Lara et al. (2013) for satellite motions in the geopotential. In particular, after a multipole expansion of the initial disturbing function, we introduce a book-keeping symbol \(\epsilon \) (with numerical value equal to 1), and write the initial Hamiltonian as
where we have
The exponent of the book-keeping parameter \(\epsilon \) in each perturbing term \(R_s^{(0)}\) keeps track of the order of smallness of the term, which, in turn, may depend on one or more of the following three small quantities: e, \(e_\mathrm{P}\) and the ratio between the planet and the Sun’s masses. As in Lara et al. (2013), to overcome the difficulty of solving the homological equation in closed form the main idea is to accept a remainder coming from the homological equation itself; at each jth iteration, \(j=1\dots r\), we determine a generating function \(\chi _{s_0+j-1}^{(j)}\) satisfying
where \(Z_{s_0+j-1}\) does not depend on \(\lambda \) and \(\lambda _\mathrm{P}\). The new Hamiltonian is
where \(R^{(j)}_s\) contains also the remainder contributions coming from the homological equation.
The structure of the paper is as follows. The method will be detailed in Sect. 2. In Sect. 3, we apply the method and give numerical results for the simplest case of the planar circular restricted three-body problem (PCR3BP); an analysis of the results is performed to assess the validity of the method. In the present study, we consider Jupiter as the perturbing planet and a main belt asteroid as the test particle. In Sect. 4, we report the outcomes obtained by applying, instead, the method to some orbits in the more general elliptic R3BP.
2 Normalization method
In this section, we describe the formal steps required to apply the proposed closed-form normalization method. They include the preparation of the initial Hamiltonian, the choice of the book-keeping scheme, the definitions related to the used Poisson structure as well as the normalization process through the composition of Lie series.
2.1 Hamiltonian preparation
Let us consider a heliocentric inertial reference frame with the \({\widehat{x}}\) axis pointing toward the planet’s perihelion and the \({\widehat{z}}\) axis parallel to the planet’s orbital angular momentum. The Hamiltonian of the R3BP is
where \({\textbf {r}}\) is the particle’s heliocentric position vector, \(r=\vert {\textbf {r}}\vert \), and \({\textbf {p}}\) is the conjugated canonical momenta vector, with \(p=\vert {\textbf {p}}\vert \). In Eq. (8), \(\mathscr {R}\) is the perturbing planet’s tidal potential equal to
with \({\textbf {r}}_{P}\) the position vector of the planet, \(r_\mathrm{P}=\vert {\textbf {r}}_{P}\vert \).
1. Multipolar expansion We are interested in analysing the motion of small bodies orbiting the Sun for which we always have \(r<r_\mathrm{P}\). Then, the function \(\mathscr {R}\) can be approximated with its truncated multipole expansion:
where
and \(P_j(\cdot )\) are Legendre polynomials. The time-dependent term \(1/r_\mathrm{P}\) is omitted in (9) since it does not contribute to the particle’s equations of motion.
2. Extended Hamiltonian The Hamiltonian (8) can be expressed as a function of orbital elements, using the relations
where
and f is the true anomaly. To avoid trigonometric functions at the denominator in \(\mathsf {R}\), it turns convenient to introduce the eccentric anomaly u in place of f through the relations
The planet orbit is assumed Keplerian, so that only the true anomaly \(f_\mathrm{P}\) varies in time. The variable \(f_\mathrm{P}\) depends on time through the orbit’s mean longitude \(\lambda _\mathrm{P}\). However, the Hamiltonian can be formally extended to an autonomous one by adding a term depending on a dummy action \(I_\mathrm{P}\) conjugated to the angle \(\lambda _\mathrm{P}\). The extended Hamiltonian is
where \(n_P\) is the planet’s mean motion. The dependence of \(\mathsf {H}\) on the modified Delaunay variables \((\Lambda ,\Gamma ,\Theta ,\lambda ,\gamma ,\theta )\) is implicit, through the orbital elements, and the dependence on \(\lambda _P\) is also implicit, through \(f_P\).
3. Expansion of the semi-major axis A key element of our proposed method is the following: for algorithmic convenience purposes, it turns out quite useful to have constant frequencies appearing at the kernel of the homological equation to be solved at successive normalization steps. This can be achieved in the following way: recalling that
we first choose a reference value \(a^*\) for the semi-major axis, around which the trajectories to be studied by the normal form oscillate. Setting, now
where
we readily find
Then, the Keplerian term in the Hamiltonian can be expanded in powers of the small quantity \(\delta \Lambda \):
Introducing the above expansion, the Hamiltonian takes the form (apart from a constant)
with
The angle u depends on the canonical variables, \(u = u(\delta \Lambda ,\Gamma ,\lambda ,\gamma )\), through Kepler’s equation
where \(M=\lambda +\gamma \) is the mean anomaly. We note that this expansion of the Hamiltonian in powers of \(\delta \Lambda \) is equivalent to the canonical transformation \(\Big (\Lambda ,\Gamma ,\Theta ,I_P,\lambda ,\gamma ,\theta ,\lambda _P\Big )\rightarrow \Big (\delta \Lambda ,\Gamma ,\Theta ,I_P,\lambda ,\gamma ,\theta ,\lambda _P\Big )\).
4. RM-reduction To the Hamiltonian found in the previous step, we perform the following operation, called ‘r-to the minus one’ or RM-reduction, which does not alter \(\mathscr {H}\):
where
The trigonometric reduction (13) yields a sum of trigonometric monomials \(\cos (k_1u+k_2f_P+k_3\omega +k_4\Omega )\); moreover, after RM-reduction all terms in \(\mathscr {H}\) appear divided by r except for the terms \(n_PI_P\) and \(n^*\delta \Lambda \).
2.2 Book keeping
A book-keeping symbol \(\epsilon \), with numerical value \(\epsilon =1\), is used in order to keep track of the relative size of the various terms in the Hamiltonian. There are four different small parameters to consider in the problem: \(\mu \), \(\delta \Lambda \) and the two eccentricities e and \(e_P\). We adopt the following ‘book-keeping rules’ to assign a unique power of the symbol \(\epsilon \) (reflecting the order of smallness) to each term in the Hamiltonian:
-
all terms depending on powers of the eccentricities \(e^je_P^k\), with \(j,k\in \mathbb {Z}\), are multiplied by the book-keeping factor \(\epsilon ^{(j+k)}\);
-
all terms depending on \((1+\eta )^j\) and \((1-\eta )^k\), with \(j,k\in \mathbb {N}\), are multiplied by \(\epsilon ^0\) and \(\epsilon ^{2k}\), respectively;
-
all terms depending on \(\mu ^j\delta \Lambda ^k\), with \(j,k\in \mathbb {N}\), are multiplied by \(\epsilon ^{(j+k)s_0}\) with \(s_0\) given in (7);
-
all terms depending on \(\delta \Lambda ^k\), with \(k\in \mathbb {N}\), coming from the Keplerian contribute in the Hamiltonian, are multiplied by \(\epsilon ^{(k-1)s_0}\);
-
all terms depending on \(\phi ^k\), with \(k\in \mathbb {N}\), are multiplied by \(\epsilon ^k\).
The quantity \(\phi =u-M\) is called ‘equation of the center’. By Kepler’s equation, we have \(\phi =e\sin u\). After the assignment of the above book-keeping factors, the Hamiltonian is split into two main components, i.e. a leading term \(Z_0\) and the disturbing function R, where
To perform the above operation, and in particular to specify the value of the lowest book-keeping order \(s_0\) in the perturbation, we must have an estimate of the size of e along any individual trajectory: in the numerical examples below we use the initial value \(e(t_0)\) for this purpose.
In terms of the above book-keeping, the goal of the normalization becomes, now, to define a Lie series transformation leading to a final Hamiltonian normalized up to a pre-selected order \(s_m\) in the book-keeping parameter \(\epsilon \). In particular, after \(s_m-s_0+1\) normalization steps, the Hamiltonian will have the form:
where Z is in normal form. All terms with book-keeping order higher than \(s_m\) are considered negligible in the initial Hamiltonian. Then, the starting Hamiltonian for computing the normal form is set as:
The order \(s_m\) is called the maximum truncation order of the expansion. Let us remark that if we target a remainder with a size of order \(\big (\frac{{m}_P}{\mathscr {M}}\big )^2\), we must impose
.
For a remainder of order \(\big (\frac{{m}_P}{\mathscr {M}}\big )^{\ell }\), with \(\ell >2\), we have, instead, \( s_m=\ell s_0-1\).
2.3 Poisson structure
All along the normalization in closed form, we need to compute Poisson brackets of the form \(\{A_1,A_2\}\), where \(A_1\) and \(A_2\) are functions of \((\delta \Lambda ,\Gamma ,\Theta ,I_P,\lambda ,\gamma ,\theta ,\lambda _P)\) whose explicit expressions are given in terms of the orbital elements \((e,i,\omega ,\Omega ,u,f_P)\) and of the variables \(r,\phi ,\eta \):
To compute \(\{A_1,A_2\}\) we use the formula
The partial derivatives in the Poisson bracket (19) are computed using the formulas in “Appendix A”, which allow for various simplifications during the normalization process. An important remark regarding these formulas is that the book-keeping parameter \(\epsilon \) appears explicitly in all the partial derivatives which depend on the variables e, \(e_P\) and \(\delta \Lambda \). This is an essential element of the method: supposing that \(A_1=\tilde{A}_1\epsilon ^j\) and \(A_2=\tilde{A}_2\epsilon ^k\), \(j,k\ge s_0\), the result of \(\{A_1,A_2\}\) will not be exclusively of order \(j+k\) in \(\epsilon \), but will contain also several terms with different powers of \(\epsilon \). In particular, we have the following
Proposition 1
Given two functions \(A_1=\tilde{A}_1\epsilon ^j\) and \(A_2=\tilde{A}_2\epsilon ^k\) with \(\tilde{A}_1\) and \(\tilde{A}_2\) in the form (18), the Poisson bracket \(\{A_1,A_2\}\) generates terms whose minimum order in \(\epsilon \) is equal to
-
\(j+k-2\) if \(j,k> s_0\);
-
\(j+k-1\) if either \(j=s_0\), \(k>s_0\) or \(j>s_0\), \(k=s_0\);
-
\(j+k\) if \(j=k=s_0\).
The proof of Proposition 1 is given in “Appendix B”.
2.4 Homological equation
As mentioned in the introduction, at the j-th iteration of the normalization process, we must determine a generating function \(\chi _{s_0+j-1}^{(j)}\) satisfying a homological equation of the form
We now give the precise form of the homological equation.
By applying formula (19) and using the expressions in “Appendix A”, the Poisson bracket \(\{Z_0,\chi _{s_0+j-1}^{(j)}\}\) is given by
We then define \(\chi _{s_0+j-1}^{(j)}\) by solving the equation:
The solution of (22) is found as follows: the function \(Z_{s_0+j-1}\) contains all the terms of \({R}_{s_0+j-1}^{(j-1)}\) not depending on \(\lambda \) and \(\lambda _P\). Beside these terms, the function \({R}_{s_0+j-1}^{(j-1)}\) contains four more different types of terms:
-
type 1: \(\frac{a^*}{r}f(e,i,\eta ,\omega ,\Omega )\),
-
type 2: \( \frac{a^*}{r} \widehat{f}_{\varvec{k}}(e,i,\eta )\cos (k_1u+k_2f_P+k_3\omega +k_4\Omega )\),
-
type 3: \(\frac{a^*}{r^p}\bar{f}(e,i,\eta ,\omega ,\Omega )\), \(p>1\),
-
type 4: \( \frac{a^*}{r^p} \tilde{f}_{\varvec{k}}(e,i,\eta )\cos (k_1u+k_2f_P+k_3\omega +k_4\Omega )\), \(p>1\).
Depending on the type of encountered term to be normalized, the generating function \(\chi _{s_0+j-1}^{(j)}\) must acquire a corresponding term equal to:
-
for type 1: \(\epsilon \frac{1}{n^*}f(e,i,\eta ,\omega ,\Omega )\phi \),
-
for type 2: \( \frac{1}{k_1n^*+k_2n_P} \widehat{f}_{\varvec{k}}(e,i,\eta )\cos (k_1u+k_2f_P+k_3\omega +k_4\Omega )\),
-
for type 3: \(\epsilon \frac{1}{n^*}\phi \sum _{k=1}^{p}\frac{\hat{f}(e,\eta ,i,\omega ,\Omega )}{a^{k-1}r^{p-k}}\), \(p>1\),
-
for type 4: \(\frac{1}{k_1n^*+k_2n_P}\frac{1}{{r}^{p-1}} {\tilde{f}_{\varvec{k}}(e,\eta ,i)\sin (k_1u+k_2f_P+k_3\omega +k_4\Omega )}\), \(p>1\).
Then, the outcome of the operation \(\{Z_0,\chi _{s_0+j-1}^{(j)}\}+\epsilon ^{s_0+j-1}R_{s_0+j-1}^{(j-1)}\) yields terms in the normal form having the form as follows:
-
for each normalized term of type 1: \(f(e,i,\eta ,\omega ,\Omega )\),
-
for each normalized term of type 2: 0,
-
for each normalized term of type 3: \(\frac{\bar{f}(e,i,\eta ,\omega ,\Omega )}{{a^*}^{p-1}}\), \(p>1\),
-
for each normalized term of type 4: 0.
We note that the residual of the normalization is equal to zero only for the terms of type 1. Another important remark regards the average value \(<\chi _{s_0+j-1}^{(j)}>\) of the generating function \(\chi _{s_0+j-1}^{(j)}\) with respect to the angles \(\lambda \),\(\lambda _P\). We have that
Thus, the average \(<\chi _{s_0+j-1}^{(j)}>\) is different from zero. This generates no problem for the iterative application of the method. However, it is customary to subtract from \(\chi _{s_0+j-1}^{(j)}\) the average \(<\chi _{s_0+j-1}^{(j)}>\) in order that the elements found in the normal form properly correspond to mean elements (see Lara et al. (2014)). We collect in “Appendix C” all the formulas required for the computation of the average \(<\chi _{s_0+j-1}^{(j)}>\).
From Proposition 1, we have that the terms generated by the Lie transformation are of order higher than the term normalized at each step when \(s_0>1\). In case \(s_0=1\), this no longer holds true. We, then, have two distinct algorithms to perform the normalization depending on whether \(s_0>1\) or \(s_0=1\).
2.5 Normalization process for \(s_0>1\)
The normalization process consists of determining a succession of Lie transformations leading to the targeted normal form. If \(s_m\) is the targeted order of the final normal form, \(s_m-s_0+1\) steps must be performed. At each step j, the goal is to normalize the Hamiltonian \(H^{(j-1)}\) obtained at the previous step. For this purpose, the homological equation (Eqs. (20) and (22)) is solved to determine the generating function \(\chi _{s_0+j-1}^{(j)}\); the new Hamiltonian is
For \(j=1\) (first step), \(\mathscr {H}^{(j-1)}=\mathscr {H}^{(0)}\) (see (16)).
The remainder terms \({{R}}_{(s)}^{(j)}\), with \(s\ge s_0+j\), contain three parts:
-
(i)
\(R_{s}^{(j-1)}\);
-
(ii)
the remainder of the homological equation (20);
-
(iii)
the terms generated by the the Lie transformation, i.e. coming from
$$\begin{aligned}&\left\{ \sum _{s=s_0}^{s_0+j-2}\epsilon ^sZ_{s}+\sum _{s=s_0+j-1}^{s_m}\epsilon ^s{{R}}_{(s)}^{(j-1)},\chi _{s_0+j-1}^{(j)}\right\} \\&\quad + \frac{1}{2}\Big \{\Big \{\mathscr {H}^{(j-1)},\chi _{s_0+j-1}^{(j)}\Big \},\chi _{s_0+j-1}^{(j)}\Big \}+\cdots . \end{aligned}$$
Concerning the last part, from Proposition 1 we have
while
Then, the smallest order of the terms coming from the Lie transformation is equal to \(2s_0\), for \(j=1\), or equal to \(2s_0+j-2\), for \(j>1\). Since \(s_0>1\), we have that the remainder is always of order higher than \(s_0+j-1\), i.e. the order of the normalized term in the Hamiltonian \(\mathscr {H}^{(j-1)}\).
A detailed example of the normalization process for \(s_0>1\) is given in “Appendix D”. We note that the case \(s_0>1\) is rather generic, in the sense that it applies to all trajectories except for those with \(e=\mathscr {O}({m}_P/\mathscr {M})\).
2.6 Normalization process for \(s_0=1\)
Size of the remainder If the particle’s orbital eccentricity e is very small (\(e\sim \mathscr {O}({{m}_P}/{\mathscr {M}})\)), we obtain from (7) \(s_0=1\). In this case, at the generic jth iteration of the normalization algorithm it is easy to see that the operator \(\mathscr {H}^{(j)}=\exp (L_{\chi _j})\mathscr {H}^{(j-1)}\) produces remainder terms of the same book-keeping order as those normalized. Consider the Poisson bracket
From Proposition 1, we have
However,
Then, for \(j=2\) the Poisson brackets \(\{R_{2}^{(1)},\chi _{2}^{(2)}\}\) and \(\{Z_{1},\chi _{2}^{(2)}\}\) generate terms of book-keeping order equal to 2. Similarly, for \(j>2\) the Poisson brackets \(\{Z_{1},\chi _{j}^{(j)}\}\) and \(\{Z_{2},\chi _{j}^{(j)}\}\) generate terms of order j. Control of these extra terms can be achieved on the basis of the following
Proposition 2
The following properties hold
-
(i)
The normal form term \(Z_{1}\) satisfies the relation
$$\begin{aligned} \{Z_{1},\chi _{j}^{(j)}\}\sim \epsilon ^{j+1}, \quad \forall j\ge 2; \end{aligned}$$ -
(ii)
The normal form term \({Z_{2}}\) satisfies the relation
$$\begin{aligned} \{Z_{2},\chi _{j}^{(j)}\}\sim \epsilon ^{j+1}, \quad \forall j\ge 3; \end{aligned}$$ -
(iii)
Let \(\{R_{2}^{(2)}\}\) denotes the terms of book-keeping order 2 coming from \(\{R_{2}^{(1)},\chi _{2}^{(2)}\}\). Let \(\chi _{2}^{(2,\mathrm bis)}\) be the Lie generating function normalizing \(R_{2}^{(2)}\) according to Eq. (20). Let
$$\begin{aligned} \mathscr {H}^{(2,\mathrm bis)}=\exp (\mathscr {L}_{\chi _{2}^{(2,\mathrm bis)}})\mathscr {H}^{(2)}=Z_0+Z_1+Z_2+Z_{2,\mathrm bis}+\sum _{s=3}^{s_m}\epsilon ^sR_s^{(2, \mathrm bis)} \end{aligned}$$be the new Hamiltonian computed by the Lie transform with the generating function \(\chi _{2}^{(2,\mathrm bis)}\). The remainder of \(\mathscr {H}^{(2,\mathrm bis)}\) has terms of book-keeping order larger than 2. Moreover, we have
$$\begin{aligned} \{Z_{2, \mathrm bis},\chi _{j}^{(j)}\}\sim \epsilon ^{j+1}, \quad \forall j\ge 3. \end{aligned}$$
The proof of Proposition 2 is given in “Appendix E”. From it, it follows that only at the second step of the normalization process the Lie transformation will generate terms with the same order as the normalized term. We show now how to deal with this problem by performing just one more additional normalization step.
Adjustment of the normalization process The normalization process must be modified as follows:
-
The first step is as in the case \(s_0>1\).
-
The second step consists of two sub-steps; in the first sub-step, the generating function \(\chi _{2}^{(2)}\) is determined leading to the new Hamiltonian
$$\begin{aligned} \mathscr {H}^{(2)}=\exp (\mathscr {L}_{\chi _{2}^{(2)}})\mathscr {H}^{(1)}. \end{aligned}$$In the second sub-step, the generating function \(\chi _{2}^{(2,\mathrm bis)}\) is computed as described above and the new Hamiltonian is
$$\begin{aligned} \mathscr {H}^{(2,\mathrm bis)}=\exp (\mathscr {L}_{\chi _{2}^{(2,\mathrm bis)}})\mathscr {H}^{(2)}. \end{aligned}$$ -
In the third step, the Hamiltonian \(\mathscr {H}^{(2,\mathrm bis)}\) is normalized up to the third order in \(\epsilon \); the Lie transformation leads to the new Hamiltonian
$$\begin{aligned} \mathscr {H}^{(3)}=\exp (\mathscr {L}_{\chi _{3}^{(3)}})\mathscr {H}^{(2,\mathrm bis)}. \end{aligned}$$ -
Successive iterations beyond the order 3 are performed as in the case \(s_0>1\).
3 Numerical application in the PCR3BP
We applied the method described in Sect. 2 in the case of the PCR3BP considering Jupiter as the perturbing planet. The orbital planes of the body and planet coincide and the planet orbit is assumed circular (\(e_P=0\)). This implies that \(f_P=\lambda _P\), \(i=0\) and \(\Omega =0\) so that the Hamiltonian does not depend on the Delaunay variables \(\Theta \) and \(\theta \).
We perform two tests to assess the applicability and precision of the method. As a first test, we estimate the size of reminder \(\mathscr {H}_R=\sum _{s\ge s_m+1}^{+\infty } R_s^{(s_m-s_0+1)}\) of the normal form and compare it to the size of the initial disturbing function \(R=\mathscr {H}^{(0)}-Z_0\) (see (16)). We perform a multipolar expansion of degree 10 and a normalization up to a certain order \(s_m\) in book-keeping set as
with \(s_0\) given in (7). Such a choice is empirically found to yield a good compromise between computational load and requirements for precision.
To obtain estimates of the remainder size, we consider a truncation of the remainder up to terms of book-keeping order \(s_m+3\):
Writing \(\mathscr {H}_R\) in the form
the size of \(\mathscr {H}_R\) can be estimated through the norm
The norm of R was computed with the same definition. Figure 1 shows \(\log _{10}\Big (||\tilde{\mathscr {H}}_R||/||{{R}}||\Big )\) in color scale in a grid of values for the initial semi-major axis \(a(0)=a^*\) and eccentricity \(e(0)=\sqrt{1-\Big (1-\frac{\Gamma (0)}{n*{a^*}^2}\Big )^2}\). The quantity \(\log _{10}\Big (||\tilde{\mathscr {H}}_R||/||{{R}}||\Big )\) gives an estimate of the relative size of the remainder with respect to the initial perturbation, which estimates, in turn, the relative error of the semi-analytically computed trajectory with respect to the true trajectory. Denoting \(e_0=e(0)\) and \(a_0=a(0)\), in Fig. 1 the red line corresponds to the set of points \((a_0,e_0)\) such that \(a_0(1+e_0)=a_P\), i.e. the radius at the apocenter coincides with the Sun-Jupiter distance (for the PR3BP \(r_P=a_P\)). Since our method is applicable to particles with trajectories lying entirely inside the trajectory of the planet, the red line represents an upper boundary of the region in the \((a_0,e_0)\) plane in which the method can be applied. The black line represents the upper boundary of the values \((a_0,e_0)\) for which we have Hill-stable orbits. An orbit is defined as Hill-stable when its Jacobi constant C is larger than the Jacobi constant \(C_{L_1}\) at the Lagrangian point \(L_1\). The boundary drawn was determined as described in Ramos et al. (2015).
From Fig. 1, we can observe that the relative error is lower than \(10^{-2}\) for each value of the eccentricity up to an initial semi-major axis lower than \(\sim 0.3 a_P\); up to \(\sim 0.45 a_P\) it raises above \(10^{-1}\) only for the higher values of e(0). On the other hand, getting closer to the Hill-unstable region, the error becomes higher and keeps having acceptable values (of few percent) only in regions with low eccentricity. In the Hill-unstable region, the error is everywhere high. In the figure, we can notice also several vertical strips along which the error is always higher than in their neighbourhood. These strips correspond to mean motion resonances, in which the method fails due to small divisors appearing along the normalization process; note that in the Hill-stable region, the error is high at those domains where the concentration of these strips becomes more conspicuous.
As a second test, we compare the semi-analytical computation of the evolution of the orbital semi-major axis and eccentricity using the normal form with the results obtained through the numerical propagation of the particle’s trajectory.
After \(s_m-s_0+1\) steps, the normalization process transforms the original canonical variables, \((\delta \Lambda ^{(0)},\Gamma ^{(0)}, I_P^{(0)},\lambda ^{(0)},\gamma ^{(0)},\lambda _P^{(0)})\), into new canonical variables \((\delta \Lambda ^{(s_m-s_0+1)},\) \(\Gamma ^{(s_m-s_0+1)},\) \(I_P^{(s_m-s_0+1)}\), \(\lambda ^{(s_m-s_0+1)}, \gamma ^{(s_m-s_0+1)},\lambda _P^{(s_m-s_0+1)})\). Using Hamilton’s equations for the normal form Hamiltonian \(Z=\sum _{s=s_0}^{s_m}Z_s\), we compute the evolution of the trajectories in the new canonical variables and back-transform the result to obtain the evolution also in the original variables through the composition of the Lie series; for example,
with analogous formulas holding for all the other variables. Since the initial conditions of any trajectory are given in the original variables, to compute the initial conditions in the new variables, the inverse transformation must be used; for example, we have
Since
\(\delta \Lambda ^{(s_m-s_0+1)}\) and \(\Gamma ^{(s_m-s_0+1)}\) are integrals of motion, while \(\delta \Lambda ^{(0)}\) and \(\Gamma ^{(0)}\) change in time. Having computed their evolution, we can obtain also the evolution of the semi-major axis and the eccentricity as
Note that both \(a^{(s_m-s_0+1)}\) and \(e^{(s_m-s_0+1)}\) are constants of motion (the ‘proper’ semi-major axis and ‘proper’ eccentricity) under the flow of Z in the PC3BP. The initial conditions imposed are: \(\delta \Lambda =0\), \(\omega = 90^{\circ }\), \(M=90^{\circ }\), \(\lambda _P=0^{\circ }\). Both forward and backward propagations in time were performed for each trajectory considering an interval from \(-50\) years to 50 years. The disturbing function was computed as in the previous test; to save computational time, only 4 steps were carried out in the normalization process. The numerical propagation was performed with MATLAB using the function ode45. Figure 2 shows the maximum relative errors obtained in function of the initial values of the semi-major axis and eccentricity \((a_0,e_0)\). To interpret the results, we also computed the stability map shown in Fig. 3. It was obtained by computing the fast Lyapunov indicators (FLI) (Froeschlé et al. 1997) for orbits with the same initial conditions presented above, using a propagation time equal to 20 orbital periods. In Figs. 2a, b and 3, the red and black lines are the same as described above. We observe that in the domain left to the black line, the error is generally small, except along the vertical strips corresponding to mean motion resonances and their neighbourhood, similar as in Fig. 1. The stability map (Fig. 3) confirms these features due to mean motion resonances. Figure 2 shows that the error of the error increases, in general, as a and e increase. For higher values of a, the error is mostly dominated by the truncation level of the multipolar expansion. Fixing a, the error as e increases is regulated, instead, by the choice of maximum normalization order.
From the tests performed, we can conclude that with the adopted truncation and normalization orders the method produces accurate results up to an initial semi-major axis \(a_0\le 0.6a_P\); for higher values of the initial a, either we accept an higher error or we must increase the order of the multipolar expansion which implies a substantial increase in computational time. On the other hand, the method gives accurate results for still high values of \(e_0\), up to almost 0.7: again more accurate results can be obtained for still higher values of \(e_0\), by performing a large number of normalization steps at higher computational cost.
Let us finally remark that, while in the case of the PCR3BP the normalization method described above can be used directly for the computation of the proper semi-major axis and proper eccentricity, the method lends itself conveniently as the starting point for the computation of proper elements also in more complex cases, e.g. when the perturbation effects of external planets are considered or in the more general spatial elliptic R3BP.
4 Numerical application in the spatial elliptic R3BP
We reproduced the second test described in Sect. 3 in the more general of the elliptic R3BP selecting few initial conditions for the particle’s trajectory. In particular, we considered the following cases
-
case 1 : \(a_0=2.3\) au \(\sim 0.44 a_P\), \(e_0=0.1\);
-
case 2 : \(a_0=2.3\) au \(\sim 0.44 a_P\), \(e_0=0.5\);
-
case 3 : \(a_0=2.3\) au \(\sim 0.44 a_P\), \(e_0=0.7\);
-
case 4 : \(a_0=4\) au \(\sim 0.77 a_P\), \(e_0=0.1\).
In all cases also impose \(\delta \Lambda (0)=0\), \(\omega (0) = 90^{\circ }\), \(M(0)=90^{\circ }\), \(i(0)=20^{\circ }\), \(\Omega (0)=0^{\circ }\), \(\lambda _P(0)=0^{\circ }\). The number of terms in the initial disturbing function is higher than in the case of the PCR3BP; to keep the number of operations relatively low we perform a multipolar expansion of order 5. We carried out 4 steps during the normalization process as in the numerical examples for the PC3BP. Figure 4 shows the outcomes obtained for the semi-major. The method works well in the first three cases yielding a maximum relative error \(\sim 10^{-4.3}\) for case 1 and \(\sim 10^{-3.7}\) in the other two cases. Instead, in case 4 the method does not work properly; indeed the maximum relative error we get is \(10^{-1}\). Similarly, for the eccentricity (Fig. 5) the maximum relative error is \(\sim 10^{-3.9}\) for case 1, \(\sim 10^{-3.7}\) for case 2, \(\sim 10^{-2.6}\) for case 3 and \(\sim 10^{-0.12}\) for case 4.
These results generally confirm the conclusions obtained for the PCR3BP. The method is able to produce accurate outcomes also for high eccentricity if the initial semi-major axis \(a_0\) is sufficiently lower than \(a_P\). For high values of \(a_0\) the relative error depends also on the maximum order of the multipolar expansion of the original Hamiltonian. Increasing the multiple order produces a lower error, but also causes a significant increase of the computational time. Moreover, for a fixed normalization order the error increases with the orbital eccentricity: to rectify this trend it is necessary to perform a larger number of steps during the normalization process as the initial value of the eccentricity grows. For example, repeating the test for case 3, but performing 7 steps of the normalization process, the resulting maximum relative error decreases: it reduces to \(\sim 10^{-4.3}\) for the semi-major axis and to \(\sim 10^{-2.8}\) for the eccentricity (see Fig. 6).
5 Conclusions
In the present paper, we discussed a closed-form normalization method which can be applied to the study of the secular dynamics of the massless particles whose heliocentric orbit is affected by a planet external to the orbit. The main novelties of the hereby presented method are: (i) the lack of any relegation, and (ii) the use of a book-keeping scheme applied not only to the Hamiltonian, but also to the Poisson structure used at all perturbative steps. In particular:
-
Section 2 explains in detail all the algorithmic steps for the implementation of the method. These steps include: i) the preparation of the initial Hamiltonian (Sect. 2.1); ii) the implementation of the book-keeping scheme (Sects. 2.2, 2.3); and iii) the strategy to solve the homological equation in closed-form (Sect. 2.4). The consistency of the method is rigorously demonstrated with the help of Propositions 1 and 2. We also discuss variants of the method which have to be used in the case of orbits with small eccentricities (\(e\sim \mathscr {O}({{m}_P}/{\mathscr {M}})\)).
-
We have illustrated a numerical application of the method in the framework of the planar restricted three-body problem. Due to the relatively small number of series terms in that case, all expansions can be pushed to relatively high orders in our chosen book-keeping parameter, which practically corresponds to computing a \(\mathscr {O}\big (({{m}_P}/{\mathscr {M}})^2\big )\) secular Hamiltonian, along with the complete formulas for the corresponding normalizing canonical transformation in closed-form. A map of the precision level of the method is given in Fig. 1 (relative error of the remainder) and through numerical estimates in Fig. 2a, b. Overall, in the Sun-Jupiter case, we obtained relative errors in the reproduction of the time series of the osculating elements of numerically propagated trajectories of the order of \(10^{-6}\) for NEA objects and \(10^{-3}\) for a main-belt asteroid with eccentricities up to 0.7. The exact structure of the map of the precision in the (a, e) plane depends mostly on the existence of mean motion resonances; this is expected since very small divisors are introduced near any such resonance. In fact, the treatment of mean motion resonances requires a different method, albeit still possible to implement in closed-form. This subject is proposed for further studies.
-
We have also illustrated a numerical application of the method in the framework of the more general spatial elliptic restricted three-body problem. In that case, the number of series terms to be normalized quickly grows and poses the most severe limits to the implementation of the method in the computer. Preliminary results suggest an overall error of the order of \(\sim 10^{-3}\), even for highly eccentric orbits (\(e\sim 0.7\)), but in areas with \(a<0.6 a_P\) in the Sun-Jupiter case.
As a general conclusion, the method allows to produce quite accurate results up to high values of the eccentricity, but with a drawback relative to the computational cost; indeed, the number of terms to be normalized quickly reaches the limits of the personal computer for trajectories with eccentricities \(e>0.7\) and semi-major axis \(a<0.6 a_P\). This is normal, since every term in closed-form encodes the information of many terms in the associated expansion in powers of the orbital eccentricity. On the other hand, it is well known that closed-form methods can benefit from algebraic simplifications (see Lara (2021)) that can be suitably implemented in special manipulators. In the present paper, we do not discuss any potential optimization of the algebraic structure of the method, since our main focus is on demonstrating the possibility to avoid relegation, which would otherwise be the major limitation to any closed-form approach in the restricted three-body problem. We, thus, leave open the possibility of such optimization.
We finally remark that a method analogous to the one presented here can be implemented also to deal with the perturbation on a small body by an internal planet, as discussed in Rossi and Efthymiopoulos (2022).
Change history
24 July 2022
Missing Open Access funding information has been added in the Funding Note
References
Brouwer, D., Clemence, G.M.: Methods of Celestial Mechanics. Academic Press, New York (1961)
Brumberg, E., Fukushima, T.: Expansions of elliptic motion based on elliptic function theory. Celest. Mech. Dyn. Astron. 60(1), 69–89 (1994)
Ceccaroni, M., Biggs, J.: Analytic perturbative theories in highly inhomogeneous gravitational fields. Icarus 224(1), 74–85 (2013)
Deprit, A.: Canonical transformations depending on a small parameter. Celest. Mech. Dyn. Astron. 1(1), 12–30 (1969)
Deprit, A., Palacián, J., Deprit, E.: The relegation algorithm. Celest. Mech. Dyn. Astron. 79(3), 157–182 (2001)
Efthymiopoulos, C.: Canonical Perturbation Theory, Stability and Diffusion in Hamiltonian Systems: Applications in Dynamical Astronomy. Asociación Argentina de Astronomía, Third La Plata International School on Astronomy and Geophysicsx (2012)
Feng, J., Noomen, R., Visser, P.N.A.M., Yuan, J.: Modeling and analysis of periodic orbits around a contact binary asteroid. Astrophys. Space Sci. 357(2), 124 (2015)
Froeschlé, C., Gonczi, R., Lega, E.: The fast Lyapunov indicator: a simple tool to detect weak chaos: application to the structure of the main asteroidal belt. Planet. Space Sci. 45(7), 881–886 (1997)
Kaula, W.M.: Theory of Satellite Geodesy. Blaisdell Publishing Company, Applications of Satellites to Geodesy (1966)
Kelly, T.S.: A note on first-order normalizations of perturbed Keplerian systems. Celest. Mech. Dyn. Astron. 46(1), 19–25 (1989)
Kozai, Y.: Mean values of cosine functions in elliptic motion. Astron. J. 67, 311 (1962)
Lara, M.: Hamiltonian Perturbation Solutions for Spacecraft Orbit Prediction: The Method of Lie Transforms. De Gruyter (2021)
Lara, M., San-Juan, J.F., Folcik, Z.J., Cefola, P.: Deep resonant GPS-dynamics due to the geopotential. J. Astronaut. Sci. 58(4), 661–676 (2011)
Lara, M., San-Juan, J.F., López-Ochoa, L.M.: Averaging tesseral effects: closed form relegation versus expansions of elliptic motion. Math. Probl. Eng. 2013, 1–11 (2013)
Lara, M., San-Juan, J.F., López-Ochoa, L.M.: Delaunay variables approach to the elimination of the perigee in artificial satellite theory. Celest. Mech. Dyn. Astron. 120(1), 39–56 (2014)
Mahajan, B., Alfriend, K.T.: Analytic orbit theory with any arbitrary spherical harmonic as the dominant perturbation. Celest. Mech. Dyn. Astron. 131(10), 45 (2019)
Mahajan, B., Vadali, S.R., Alfriend, K.T.: Exact delaunay normalization of the perturbed Keplerian Hamiltonian with tesseral harmonics. Celest. Mech. Dyn. Astron. 130(3), 25 (2018)
Metris, G., Exertier, P., Boudon, Y., Barlier, F.: Longperiodic variations of the motion of a satellite due to non-resonant Tesseral harmonics of a gravity potential. Celest. Mech. Dyn. Astron. 57(1–2), 175–188 (1993)
Palacián, J.: Teoriá del satélite artificial: armońicos teserales y su relegación mediante simplificaciones algebraicas. Ph.D Thesis, Universidad de Zaragoza (1992)
Palacián, J.: Normal forms for perturbed Keplerian systems. J. Differ. Equ. 180(2), 471–519 (2002)
Palacián, J.F., Yanguas, P., Fernández, S., Nicotra, M.A.: Searching for periodic orbits of the spatial elliptic restricted three-body problem by double averaging. Physica D 213(1), 15–24 (2006)
Ramos, X.S., Correa-Otto, J.A., Beaugé, C.: The resonance overlap and Hill stability criteria revisited. Celest. Mech. Dyn. Astron. 123(4), 453–479 (2015)
Rossi, M, Efthymiopoulos, C.: Closed-form perturbation theory in the restricted three-body problem without relegation: external planetary orbit (in preparation) (2022)
San-Juan, J.F., Abad, A., Lara, M., Scheeres, D.J.: First-order analytical solution for spacecraft motion about (433) Eros. J. Guidance Control Dyn. 27(2), 290–293 (2004)
Sansottera, M., Ceccaroni, M.: Rigorous estimates for the relegation algorithm. Celest. Mech. Dyn. Astron. 127(1), 1–18 (2017)
Segerman, A.M., Coffey, S.L.: An analytical theory for tesseral gravitational harmonics. Celest. Mech. Dyn. Astron. 76(3), 139–156 (2000)
Tisserand, F.F.: Traité de mécanique céleste, tome I: perturbations des plantes d’apres la méthode de la variation des constantes arbitraires
Vinh, N.X.: Recurrence formulae for the Hansen’s developments. Celest. Mech. Dyn. Astron. 2(1), 64–76 (1970)
Wnuk, E.: Tesseral harmonic perturbations for high order and degree harmonics. Celest. Mech. Dyn. Astron. 44(1–2), 179–191 (1988)
Acknowledgements
I.C. has been supported by the H2020 MSCA ETN Stardust-Reloaded, Grant Agreement n. 813644. C.E. acknowledges the support of MIUR-PRIN 20178CJA2B ‘New frontiers of Celestial Mechanics: theory and applications’.
Funding
Open access funding provided by Università di Pisa 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.
Appendices
A Poisson structure: formulas
We report the formulas used to compute the Poisson bracket (21). For any function for any \(A=A_{1,2}\) of the form (18):
The partial derivatives in the formulas above are:
Whenever needed, the higher order terms \(\mathscr {O}(\epsilon ^{s_0}\delta \Lambda )\) in the above formulas are easy to obtain by computer algebra.
If implemented in the manipulator in the exact form given above, the previous expressions allow for various simplifications during the normalization process.
B Proof of Proposition 1
We analyse the powers in \(\epsilon \) of the various terms produced in the Poisson bracket \(\{A_1,A_2\}\). The partial derivatives with respect to \(\theta \) and \(\Theta \) do not introduce any order variation, thus
Similarly,
In fact, the partial derivatives with respect to \(\lambda _P\) generate terms of orders \(j+k\) or higher. The same holds true for
The only part of \(\{A_1,A_2\}\) which produces terms of order lower than \(j+k\) is
We have
where
and
where
with
Then, the quantity
generates terms of order \(j+k-2\), while the quantity
generates terms of order \(j+k-1\).
If both \(j,k>s_0\), the minimum book-keeping order encountered in the above derivatives is \(j+k-2\) and the proof of Proposition 1 is completed. We will show, now, that the minimum book-keeping order becomes \(j+k-1\) if either \(j=s_0\), \(k>s_0\) or \(k=s_0\), \(j>s_0\). To this end, the following lemma must be used:
Lemma 1
Consider the angular variables
where \(L_E\) is the eccentric longitude, \(L_{T,P}\) is the planet’s true longitude, and \(\bar{\omega }\) and \(\bar{\omega }_P\) are the longitudes of the pericenter of the particle. The Hamiltonian function contains terms of the form
fulfilling the following D’Alembert rules:
-
$$\begin{aligned} m_1+m_2+m_3+m_4+m_5+m_6=0 \end{aligned}$$(24)
-
$$\begin{aligned} q-|m_3| \text{ is } \text{ nonnegative } \text{ and } \text{ positive } \end{aligned}$$(25)
-
$$\begin{aligned} p-|m_5| \text{ is } \text{ nonnegative } \text{ and } \text{ positive }. \end{aligned}$$(26)
We recall that in the selected reference frame \(\Omega _P=\omega _P=0\).
If, now, \(j=s_0\), \(A_1\) does not depend explicitly on e and \(\phi \) (as a consequence of the adopted book-keeping rules). The only small parameter on which it can depend will be either \(\mu \) or \(\delta \Lambda ^2\). Thus
Moreover, from Lemma 1 it follows that \(A_1\) does not contain \(\bar{\omega }\). This implies that either it does not depend on u and \(\omega \) or it is of the form
We have
Since \(k_1=k_3\) and \(r=a^*(1-\epsilon e\cos u)+\mathscr {O}(\epsilon ^{s_0}\delta \Lambda )\), it follows that
so that
Hence, if \(j=s_0\) and \(k>s_0\) the terms of smallest order, equal to \(j+k-1\), are generated by
In the same way we prove that when \(k=s_0\) and \(j>s_0\) the minimum order of \(\{A_1,A_2\}\) is limited from below by \(j+k-1\). If \(j=s_0\), \(k>s_0\) or \(k=s_0\), \(j>s_0\), this completes the proof. If, however, both \(k=j=s_0\), by the same formulas we have that \(\{A_1,A_2\}\) does not generate any terms of order lower than \(j+k\).
\(\Box \)
Remark 1
Given two functions \(A_1=\tilde{A}_1\epsilon ^{j}\) and \(A_2=\tilde{A}_2\epsilon ^k\), with \(j,k>s_0\) and \(\tilde{A}_1\), \(\tilde{A}_2\) of the form (18), the part of \(\{A_1,A_2\}\) generating terms of order \(j+k-2\) is
Remark 2
Given two functions \(A_1=\tilde{A}_1\epsilon ^{s_0}\) and \(A_2=\tilde{A}_2\epsilon ^k\), \(k>s_0\), with \(\tilde{A}_1\) and \(\tilde{A}_2\) of the form (18), the part of \(\{A_1,A_2\}\) generating terms of order \(s_0+k-1\) is
Remark 3
Given two functions \(A_1=\tilde{A}_1\epsilon ^{j}\) and \(A_2=\tilde{A}_2\epsilon ^k\), with \(j,k>s_0\) and \(\tilde{A}_1\), \(\tilde{A}_2\) of the form (18), if \(\tilde{A}_1\) does not explicitly depend on the equation of the center \(\phi \) and on the eccentricity e and it is either of the form
or
the Poisson bracket \(\{A_1,A_2\}\) produces terms of order equal or larger than \(j+k-1\) (since the quantity in (27) is zero).
Remark 4
To automatically obtain all the terms with the correct book-keeping order, all terms generated by expressions of the form \(\frac{\partial A_1}{\partial \gamma }\frac{\partial A_2}{\partial \Gamma }-\frac{\partial A_1}{\partial \Gamma }\frac{\partial A_2}{\partial \gamma }\) are automatically adjusted to appear with the same exponent of r in the denominator. Then, in the numerator of all the resulting terms the variable r is substituted with its expansion \(r=a^*(1-\epsilon e \cos u)+\mathscr {O}(\epsilon ^{s_0}\delta \Lambda )\).
Remark 5
If we target a normal form of order \(s_m\), as defined in (17), all the contributions \(\mathscr {O}(\epsilon ^{s_0}\delta \Lambda )\) in the partial derivatives used to compute the Poisson bracket can be neglected.
Remark 6
Once having computed the Poisson bracket by applying formula (19), we substitute \(\phi \) with \( e\sin u\) in all produced terms depending on the equation of the center.
Proof of Lemma 1
Consider the expression of the initial Hamiltonian (Eq. (13)) before the introduction of the book-keeping parameter. The terms obtained after the substitution \(a=a^*+\delta a\) and the expansion in \(\delta \Lambda \) (see Sect. 2.1) come from two parts: i) the initial Keplerian term, and ii) \(\mathsf {R}\) determined through the multipole expansion of the planet’s tidal potential (see (9)). Moreover, the Hamiltonian contains the term \(n_PI_P\).
From Eq. (9), \(\mathsf {R}\) contains terms of the type
We have
where
By performing the transformation (23), we obtain
Then, \(\cos \alpha \) fulfils the D’Alembert rules (24), (25), (26). Moreover, since
it follows that r and \(1/r_P\) also fulfil the D’Alembert rules.
The product between terms fulfilling the D’Alembert rules fulfils them as well. It follows that the terms coming from \(\mathsf {R}\) in \(\mathscr {H}\) fulfil the D’Alembert rules.
Now, all the terms of \(\mathsf {R}\) are multiplied by Q defined in (14) (RM-reduction). Q results from the expansion in \(\delta \Lambda \) of
Thus, Q fulfils the D’Alembert rules, implying that the product \(\mathsf {R}Q\) fulfils the D’Alembert rules as well.
Finally, the Lie transformation preserves the d’Alembert rules. Thus, all the Hamiltonians computed throughout the normalization process fulfil the D’Alembert rules. \(\square \)
C Computation of the average of the disturbing function or the generating functions \(\varvec{ \chi _{s_0+j-1}^{(j)}}\)
We report some useful formulas to apply for the computation of the average of the disturbing function and of any generating function with respect to \(\lambda \). Since
the average of any trigonometric quantity over \(\lambda \) coincides with the average over the mean anomaly M.
From Kelly (1989), we have
where \(k\in \mathbb {Z}\) and \(\nu \) is a generic angle.
From Kelly (1989) and Kozai (1962), we have the following formulas applicable whenever f is used in place of u:
D Example of the normalization algorithm for \(\varvec{s_0>1}\)
We give below a detailed example of the proposed normalization algorithm in the generic case \(s_0>1\) (i.e. \(e>>{m}_P/\mathscr {M}\)). We consider a toy Hamiltonian in which the initial disturbing function R is given by the quadrupolar expansion (see (9)):
where
with
Note that in \({R}_{s_0}^{(0)}\), the terms
are of type 1, while all the others are of the type 2 (see Sect. 2.4 for the definition of type 1 and 2); \({R}_{s_0+1}^{(0)}\) has only terms of type 2.
At the first step of the iterative method, the goal is to determine the function \(\chi _{s_0}^{(1)}\) to normalize \(\mathscr {H}^{(0)}\) up to the order \(s_0\) in \(\epsilon \): then, the term to be normalized is \(R^{(0)}_{s_0}\). In view of Eq. (33), we obtain the following generating function \(\chi _{s_0}^{(1)}\):
The homological equation (Eqs. (20) and (22)) contains the normal form terms
and the remainder terms (of order lower than \(2s_0\)) given by
The new Hamiltonian is
For all \( s\in [s_0+1,s_m]\) \({{R}}_{s}^{(1)}\) contains the following contributions : (i) \({{R}}_{(s)}^{(0)}\); (ii) the remainder of the homological equation; (iii) the terms generated by the Lie transformation. From the previous considerations, we have that these last ones have book-keeping order equal to or larger than \(2s_0\).
At the second step, the procedure is repeated with the goal of determining the generating function \(\chi _{s_0+1}^{(2)}\) to normalize \(\mathscr {H}^{(1)}\) up to the order \(s_0+1\) in \(\epsilon \). The term to normalize is
with \({R}_{s_0+1}^{(0)}\) given in (34) and \(\hat{R}_{s_0+1}^{(1)}\) equal to the order \(s_0+1\) (in \(\epsilon \)) term of the remainder computed at the previous step. The generating function \(\chi _{s_0+1}^{(2)}\) then is computed as
while we also have
Subsequent steps can be computed using analogous formulas.
E Proof of Proposition 2
(i) Consider the jth normalization step in the case \(s_0=1\). From Remark 2 it follows that the Poisson bracket \(\{Z_{s_0},\chi _j^{(j)}\}\) yields terms of order \(s_0+j-1=j\) through formula (28), by taking \(A_1=Z_1\) and \(A_2=\chi _{j}^{(j)}\). However, since \(Z_1\) is a normal form term, it does not depend on u and r. Moreover, since it has book-keeping order equal to \(s_0=1\), it does not depend explicitly on e (as a consequence of the adopted book-keeping rules). By Lemma 1, we conclude that it does not depend on \(\omega \). It follows that the term of book-keeping order j coming from \(\{Z_{s_0},\chi _j^{(j)}\}\) is equal to zero.
(ii,iii) To show the second and third points of Proposition 2, we use the following lemma:
Lemma 2
All terms in \(R_2^{(1)}\) are of the following two types:
-
terms of type A, not depending on the eccentricity e and \(\phi \);
-
terms of type B, linearly depending on the eccentricity e (and not depending on \(\phi \)).
All terms of type A are of the form (29). All terms of type B depend on the eccentric anomaly u, the true anomaly \(f_P\), or both.
Since at the second step \(R_2^{(1)}\) is the term to be normalized, it follows that all terms in the generating function \(\chi _2^{(2)}\) also satisfy Lemma 2.
By Lemma 2, the normal form term \(Z_2\) obtained by normalizing \(R_2^{(1)}\) does not depend explicitly on e and \(\phi \). Moreover, by definition, any normal form terms cannot depend on u. By Lemma 1, it cannot depend on \(\omega \). Thus
It follows from Remark 1 (considering \(A_1=Z_{2}\)) that \(\{Z_{2},\chi _{j}^{(j)}\}\sim \epsilon ^{j+1}\) \(\forall j>2\). This concludes the demonstration of point (ii) of Proposition 2.
To demonstrate point (iii) of Proposition 2, we finally need to prove that
Let \(R_{2}^{(2)}\) be the terms of book-keeping order 2 coming from \(\{R_{2}^{(1)},\chi _2^{(2)}\}\). Since all terms in \(R_{2}^{(1)}\) and in \(\chi _2^{(2)}\) are of type A or B, from Remark 3 it follows that \(R_{2}^{(2)}\) is produced by a Poisson bracket of the form
where \(T_{R_{2}^{(1)},B}\) and \(T_{\chi _{2}^{(2)},B}\) are any terms of type B contained in \(R_{2}^{(1)}\) and \(\chi _{2}^{(2)}\), respectively. More specifically, from Remark 1 we have that \(R_{2}^{(2)}\) is produced by the part of \(\{T_{R_{2}^{(1)},B},T_{\chi _{2}^{(2)},B}\}\) given in (27) with \(A_1=T_{R_{2}^{(1)},B}\) and \(A_2 =T_{\chi _{2}^{(2)},B}\). However, since \(T_{R_{2}^{(1)},B}\) and \(T_{\chi _{2}^{(2)},B}\) are linear functions of e (not depending on \(\phi \)), applying the formulas listed in Sect. 2.3 to compute \(\{T_{R_{2}^{(1)},B},T_{\chi _{2}^{(2)},B}\}\), we obtain that \(R_{2}^{(2)}\) does not depend on e. Thus, by Lemma 1\(R_{2}^{(2)}\) is made by terms of the form (29). It follows that:
-
the generating function \(\chi _{2}^{(2,\mathrm bis)}\) contains terms of the form (30);
-
from Remark 3, we have \(\{Z_2,\chi _{2}^{(2,\mathrm bis)}\}\sim \epsilon ^3\) and \(\{R_{2}^{(2)},\chi _{2}^{(2,\mathrm bis)}\}\sim \epsilon ^3\).
-
the normal form term \(Z_{2,\mathrm bis}\) does not depend on e or \(\omega \). Moreover, by definition, it does not depend on u and \(\phi \). Thus, in view of Remark 1 we have that \(\{Z_{2,\mathrm bis},\chi _{j}^{(j)}\}\sim \epsilon ^{j+1}\), \(\forall j\ge 3\) (as also shown for \(Z_2\)).
From the first point of the Proposition, we have \(\{Z_1,\chi _{2}^{(2,\mathrm bis)}\}\sim \epsilon ^3\). This concludes the demonstration of point (iii) of Proposition 2.
\(\square \)
Proof of Lemma 2
At the second step of the normalization process, the remainder term to normalize is \(R_2^{(1)}\), which is of book-keeping order 2. Because of the book-keeping rules, \(R_2^{(1)}\) contains terms which can only depend on the following factors (powers or products) of small parameters:
-
factor 1: \(\mu ^2\)
-
factor 2: \(\delta \Lambda ^3\)
-
factor 3: \(\mu \delta \Lambda \)
-
factor 4: \(\mu e_P\)
-
factor 5: \(\delta \Lambda e_P\)
-
factor 6: \(\mu e\)
-
factor 7: \(\delta \Lambda e\)
-
factor 8: \(\mu \phi \)
-
factor 9: \(\delta \Lambda \phi \)
All terms in \(R_2^{(1)}\) containing one of the first five factors are of type A; all terms in \(R_2^{(1)}\) containing the factors 6 and 7 are of type B. Considering that \(\phi =e\sin u\), by substitution we have that also all terms containing factors 8 and 9 are of type B.
From Lemma 1, it follows that the terms of type A are of the form (29).
To show that all the terms of type B depend on u, \(f_P\), or both, we need to examine the following parts of \(R_2^{(1)}\):
-
(i)
\(R_{2}^{(0)}\), stemming from terms of book-keeping order 2 in the original Hamiltonian,
-
(ii)
the remainder terms produced by the homological equation and the Lie transformation at the first step of the normalization process.
-
(1)
Analysis of \(R_2^{(0)}\)
Let us consider, first, the initial Hamiltonian (13). In view of the expressions for \(\cos \alpha \) in (31), r in (11) and \(r_P\) in (10), we obtain that \(\mathsf {R}\) (see (9)) contains terms of the form
or
with \(D_k,C_{k,j}\in \mathbb {Q}\), \(k,j\in \mathbb {Z}^+\), \(k\ge 3\), \(j\ge 1\).
After expanding the semi-major axis (Eq. (12)), the terms of book-keeping order 1 of \(\mathsf {R}\) have one of the forms
and those of book-keeping order 2 have one of the forms
Then, considering also the terms from the Keplerian part and performing the product by Q, \(R_1^{(0)}\) contains terms of the form
with \(\bar{D}_k, \bar{C}_{k,j}\in \mathbb {Q}\); we also have that \(R_2^{(0)}\) contains terms linearly depending on e, in one of the forms
as well as terms of the form
We conclude that \(R_1^{(0)}\) contains only terms of type 1 or type 2 (see Sect. 2.4) which do not depend on the eccentricity and are consequently of the form (29). Moreover, all the terms of \(R_2^{(0)}\) which depend linearly on the eccentricity (Eq. (36)) also necessarily depend on u, \(f_P\), or both, as we readily to infer by considering the expressions of \(T_0\) and \(T_1\) in (32).
-
(2)
Analysis of \(R_2^{(1)}\)
\(R_2^{(1)}\) is composed by three contributes:
where we denote by \(\hat{R}_{2}^{(1)}\) and \(\hat{{R}}_{LT,2}^{(1)}\) the parts of the remainder, respectively, coming from the homological equation and the Lie transformation at the first step of the normalization process. It has been already shown that the terms of \(R_{2}^{(0)}\) linearly depending on e depend also on u, \(f_P\), or both. Furthermore, the remainder term \({R}_{1}^{(0)}\) (normalized at the first step) contains only terms of type 1 and 2 of the form
with either \(k_1\ge 1\) or \(k_2\ge 1\). It follows that the residual of the homological equation of the first step is produced only by terms of type 2. To normalize these last terms, \(\chi _{1}^{(1)}\) has to acquire terms of the form
Applying, now, the homological equation (20) for the function \(\chi _{1}^{(1)}\), we obtain that the residual of the homological equation yields remainder terms of book-keeping order 2, which are of the form
All terms above with \(k_2=0\) are equal to zero; if \(|k_2|\ge 1\) we find that all terms linearly depending on e necessarily also depend on \(f_P\).
Now, when the Lie transformation is performed at the first step, the remainder terms of book-keeping order 2 are produced by the Poisson bracket
as we can deduce from Proposition 1. Neither \(R_1^{(0)}\) or \(\chi _1^{(1)}\) depends on the eccentricity. Then, using the formulas of Sect. 2.3, it is easy to verify that the Poisson bracket \(\{R_1^{(0)},\chi _1^{(1)}\}\) does not produce any term linearly depending on e. The Poisson bracket \(\{R_2^{(0)},\chi _1^{(1)}\}\) produces remainder terms of book-keeping order 2 through the contributions
(see Remark 2). \(R_2^{(0)}\) depends at most linearly on e. Applying the formulas of Sect. 2.3, we then observe that the eccentricity is simplified in the computation of the Poisson brackets. Hence, also the terms of book-keeping order 2 coming from \(\{R_2^{(0)},\chi _1^{(1)}\}\) do not depend on e. This concludes the proof. \(\square \)
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
Cavallari, I., Efthymiopoulos, C. Closed-form perturbation theory in the restricted three-body problem without relegation. Celest Mech Dyn Astr 134, 16 (2022). https://doi.org/10.1007/s10569-022-10070-y
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10569-022-10070-y