Abstract
We consider the partial average, i.e. the Lagrange average with respect to just one of the two mean anomalies, of the Newtonian part of the perturbing function in the three-body problem Hamiltonian. We prove that such a partial average exhibits a non-trivial first integral. We show that this integral is fully responsible for certain cancellations in the averaged Newtonian potential, including a property noticed by Harrington in the 1960s. We also highlight its joint role (together with certain symmetries) in the appearance of the so-called Herman resonance. Finally, we discuss an application and an open problem.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Motivation
The purpose of this work is to highlight a property of the “partial average of the Newtonian potential” and discuss some consequences.
By “partial averaged Newtonian potential”, we mean the following. Let \((y^{ (i) }, x^{ (i) }) = \big ((y^{ (i) }_1\), \(y^{ (i) }_2\), \(y^{ (i) }_3)\), \(( x^{ (i) }_1\), \(x^{ (i) }_2\), \(x^{ (i) }_3)\big )\), with \(i=1\), 2, be impulse–position coordinates for a two-particle system (which we also call “planets”) and let
where \({{\mathcal {A}}}\) is a domainFootnote 1 in \({\mathbb R} \), V is a domain in \({\mathbb R} ^{10}\), \({\mathbb T} :={\mathbb R} /(2{\pi } {\mathbb Z} )\), \((u, v)=\big ((u_1, u_2, u_3, u_4, u_5)\), \((v_1, v_2, v_3, v_4, v_5)\big )\), be a change in coordinates, which we call, for brevity, partial Kepler map, which “preserves the standard two forms”:
and “integrates the Keplerian motions of \((y^{ (2) }, x^{ (2) })\)”:
where \(\mathrm{m}_2\), \(\mathrm{M}_2\) are suitable “mass parameters”. Of course, we have assumed that the image of \({{\mathcal {C}}}\) in (1) is a domain of (y, x) where the left-hand side of (2) takes negative values. We also assume, throughout the paper, that (y, x) are chosen so that the instantaneous ellipse \({{\mathbb {E}}}_2\) generated by the two-body Hamiltonian (2) has non-vanishingFootnote 2 eccentricity, so we denote as \(\mathrm{P}^{ (2) }\), \(\Vert \mathrm{P}^{ (2) }\Vert =1\), the direction of its perihelion. The angle \(\ell _2\) will be referred to as “mean anomaly”, for uniformity with the name attributed to an analogue angle in the set of the coordinates named after Delaunay [see, e.g. Féjoz (2013) for a definition]. We look at the Lagrange average
which we will refer to as partially averaged Newtonian potential.
There are many examples, in Celestial Mechanics, of canonical maps of the form above. Well-known ones are the above-mentioned Delaunay map (hereafter, \({{\mathcal {D}}}\)), or the coordinates after the Jacobi–Deprit reductionFootnote 3 of the nodes (\({{\mathcal {J}}}\)) (Jacobi 1842; Deprit 1983). Another example, called “perihelia reduction” (\({{\mathcal {P}}}\)), has been introduced by Pinzari (2018b). A comprehensive review can be found in Pinzari (2015). All the maps mentioned here might actually be named double Kepler maps, since, in such cases, they satisfy (1)–(2), with, in turn, the (u, v)’s having the form
where \(\ell _1\in {\mathbb T} \) and \({\varLambda } _1\) is such that (2) holds also with \(\mathrm{m}_2\), \(\mathrm{M}_2\), \(y^{ (2) }\), \(x^{ (2) }\) replaced by \(\mathrm{m}_1\), \(\mathrm{M}_1\), \(y^{ (1) }\), \(x^{ (1) }\). In Sect. 2, we present a “genuine” partial Kepler map, namely a map \({{\mathcal {C}}}\) where (2) holds only for one of the bodies.
We have been interested to function (3) because, in planetary \((1+N)\)-body theories, one has to deal with analogue maps of the kind
with W a domain in \({\mathbb R} ^{4N}\) in terms of which the Hamiltonian of the system is
where the Hamiltonian is composed of a leading“Keplerian part”, given by \(-\sum _{i=1}^N \frac{\mathrm{m}_i^3\mathrm{M}_i^2}{2{\varLambda } _i^2}\), slightly perturbed by a function \(f_N\). The splitting (4) is possible—and in fact it has been adopted by Arnold (1963), Laskar and Robutel (1995), Chierchia and Pinzari (2011), Palacián et al. (2013), Meyer et al. (2018) and Pinzari (2018b), for example, in the so-called planetary problem where one of the masses (“sun”) is much larger than the remaining, equally sized, N ones (“planets”). In that case, averaging over the Keplerian frequency vector
leads to study the so-called secular problem
where the perturbing term is given by “multi-averaged Newtonian potential” (the study of which goes back to Sundman 1916)
It is known (Gallavotti 1986) that the dynamics of the full problem is well approximated by the one of the secular one as soon as no resonances between the frequencies (5) appear. In case of resonance, for example, in the case \(N=2\), with the two planets being much distant one to the other, it is reasonable to expect that a better approximation is obtained replacing the average (6) with the partial average (3). Concretely, it might be challenging to investigate whether there is an application to any of the following regions of motion that have been proposed by Féjoz (2002, p. 310), for the \(N=2\) case:
-
the planetary region, where the eccentricity of the outer ellipse and both semi-major axes are in a small compact set, and two masses are small compared to the third mass;
-
the lunar region, where the masses are in a compact set, and the outer body is far away from the outer two;
-
the anti-planetary region, where the outer body ellipse may have a large mass, provided its ellipse is far away from the outer two;
-
the anti-lunar region, when the ellipses of the two outer bodies are close, but the corresponding masses are much different.
We now go back to \(h_2\) in (3). We firstly observe that
Theorem 1
\(h_2\) is integrable by quadratures.
Indeed, \(h_2\) has six degrees of freedom and possesses, besides itself, the following five commutingFootnote 4 integrals:
- \(\mathrm{I_1}\):=:
-
the semi-major axis action \({\varLambda } _2:=\mathrm{m}_2\sqrt{\mathrm{M}_2 a_2}\);
- \(\mathrm{I_2}\):=:
-
the Euclidean length \(\Vert x^{ (1) }\Vert \) of \(x^{ (1) }\);
- \(\mathrm{I_3}\):=:
-
the Euclidean length of the total angular momentum \(\mathrm{C}:=\mathrm{C}^{ (1) }+\mathrm{C}^{ (2) }\), with \(\mathrm{C}^{ (i) }:=x^{ (i) }\times y^{ (i) }\), and “\(\times \)” denoting skew product;
- \(\mathrm{I_4}\):=:
-
its third component;
- \(\mathrm{I_5}\):=:
-
the projection of the angular momentum \(\mathrm{C}^{ (2) }\) along the direction \(x^{ (1) }\).
Indeed, \(\mathrm I_1\) is trivially due to the \(\ell _2\)-averaging; \(\mathrm I_3\) and \(\mathrm I_4\) descend from the invariance by rotations of \(h_2\); \(\mathrm I_2\) and \(\mathrm I_5\) from invariance by rotations around the \(x^{ (1) }\) axis. Such integrals are independent if \(\mathrm{C}^{ (1) }\) and \(\mathrm{C}^{ (2) }\) are not parallel. Otherwise, the problem reduces to be planar; namely, \(h_2\) has four degrees of freedom, and three independent commuting integrals are obtained neglecting, in the list above, \(\mathrm{I}_4\) and \(\mathrm{I}_5\).
Remark 1
The list of independent first integrals to \(h_2\) is even longer than the one above. For example, in the spatial case, the three components of \(x^{ (1) }\) and the three components \(\mathrm{C}^{ (2) }\) are all first integrals. However, the maximum number of commuting first integrals that can be formed with these quantities is four (and the functions \(\mathrm I_2\), \(\mathrm I_3\), \(\mathrm I_4\) and \(\mathrm I_5\) are an example of them).
Remark 2
The integrability of \(h_2\) does not imply that also the partial average of the three-body problem Hamiltonian is so, because this includes also a kinetic term. This is an even different situation compared to the secular problem mentioned above, whose non-integrability is clearly proven, as a consequence of the so-called splitting of separatrices (Féjoz and Guardia 2016).
We now consider the ellipse generated by the “Kepler Hamiltonian” at left-hand side in (2) and denote as \(\mathrm{e}_2:=\sqrt{1-\frac{\mathrm{G}_{2}^2}{{\varLambda } _2^{2}}}\) its eccentricity, where \(\mathrm{G}_2:=\Vert \mathrm{C}^{ (2) }\Vert \). Then, let
The following fact is a bit more subtle.
Theorem 2
The function \(\mathrm{E}_0\) is a first integral of \(h_2\).
Proof
The proof of this theorem uses some results fromFootnote 5 Pinzari (2018a) that here we recall. We consider the Hamiltonian
This is the Hamiltonian of one moving particle \((y^{ (2) }, x^{ (2) })\) having mass \(\mathrm{m}_2\), subject to the gravitational attraction by two fixed particles: \(\mathrm{M}_2\), at the origin, and \(\mathrm{M}_1\), at \(x^{ (1) }\). The Hamiltonian is integrable by quadratures, for having, as first integrals, the function \(\mathrm{I}_5\) defined above (which trivializes in the case of the planar problem) and the function
where \(\mathrm{E}_0\) is as in (7), while
We write \(\mathrm{J}\) and \(\mathrm{E}\) in terms of a given partial Kepler map, \({{\mathcal {C}}}\). We obtain
where the sub-fix \({{\mathcal {C}}}\) denotes the composition with \({{\mathcal {C}}}\). The commutation of \(\mathrm{J}_{{\mathcal {C}}}\) and \(\mathrm{E}_{{\mathcal {C}}}\) implies the following relation, which is obtained picking up the terms at the first order in \(\mathrm{M}_1\):
Taking the \(\ell _2\)-average of this identity, the first term vanishes itself:
Hence,
since \(\mathrm{E}_{0, {{\mathcal {C}}}}\) is \(\ell _2\)-independent. This is the thesis. \(\square \)
In the next sections, we highlight some properties of the partially averaged Newtonian potential that descend from Theorems 1 and 2. More precisely, the paper is organized as follows. In Sect. 2, we show that, as a consequence of Theorem 2, an infinite number of Fourier coefficients in the expansion of \(h_2\) with respect to the perihelion of its outer planet cancel. This property is a generalization of a fact noticed by S. Harrington in the 1960s, Harrington (1969). To this purpose, we introduce a set of canonical coordinates in terms of which \(h_2\) and \(\mathrm{E}_0\) are reduced to one degree of freedom. In Sect. 3, we show that there is an explicit functional dependence between \(h_2\) and \(\mathrm{E}_0\). We call this circumstance “renormalizable integrability”. The author argues that it might be helpful in the framework of the study of the three-body problem. For example, it would be nice to understand whether fixed points of \(\mathrm{E}_0\), both of elliptic and hyperbolic character, being at the same time fixed points to \(h_2\) with the same character, might give rise to quasi-periodic motions in the three-body problem, whether hyperbolic equilibria might lead to a splitting of separatrices, etc. Instead of addressing such issues here (which would lead much further than the purposes of this note; see, however, Pinzari (2018a) for an application in this direction), we discuss the relations between level curves and the fixed points of the two functions. Next, we show that, as a consequence of renormalizable integrability and the well-known
Proposition 1
(Keplerian property)
A linear combination with integer coefficients in a suitable expansion of \(h_2\) is identically verified. We name it “generalized Herman resonance” since it recalls the well-known Herman resonance in the doubly averaged Newtonian potential (we refer to Abdullah and Albouy (2001) or Féjoz (2004, Proprieté 80) for information on Herman resonance). After proving, in Sect. 4, an algebraic property of the well-known Legendre polynomials (which, roughly, says that a certain average of a Legendre polynomial is still a Legendre polynomial), we establish, in Sect. 5, a link between the aforementioned generalized Herman resonance and Herman resonance. In this conclusive section, we also provide a sort of “eccentricity–inclination” expansion at any order for such function and discuss a problem which is left open.
2 Generalized Harrington property
In this section, we assume that the map \({{\mathcal {C}}}\) in (1) includes, among the u’s, the impulse \(u_1:=\mathrm{G}_2:=\Vert \mathrm{C}^{ (2) }\Vert \). We also give \(x^{ (1) }\), \(x^{ (2) }\) the meaning of “interior”, “exterior” planet, respectively, because we write formal expansions with respect to \(\Vert x^{ (1) }\Vert \).
We prove the following
Theorem 3
Fix a domain for \({{\mathcal {C}}}\) where \(x_{{\mathcal {C}}}^{ (1) }\times \mathrm{C}_{{\mathcal {C}}}^{ (2) }\), \(\mathrm{C}_{{\mathcal {C}}}^{ (2) }\times \mathrm{P}^{ (2) }_{{\mathcal {C}}}\), and \(\mathrm{C}_{{\mathcal {C}}}^{ (2) }\) never vanish. Let
Poisson commute with \(\mathrm{E}_0\). Assume that h has the form
where \({\rho } ({\varLambda } _2, u, v):=\Vert x^{ (1) }_{{\mathcal {C}}}\Vert \) and \({\varphi } ({\varLambda } _2, u, v)\) is the angle formed by the two vectors \(x_{{\mathcal {C}}}^{ (1) }\times \mathrm{C}_{{\mathcal {C}}}^{ (2) }\), \(\mathrm{C}_{{\mathcal {C}}}^{ (2) }\times \mathrm{P}^{ (2) }_{{\mathcal {C}}}\), with respect to the counterclockwise orientation established by \(\mathrm{C}_{{\mathcal {C}}}^{ (2) }\). Assume also that \(h_{nm}\) depends on \(({\varLambda } _2, u, v)\) only via the following quantities
with \(h_{0m}\) being independent of \(u_1=\mathrm{G}_2\) for all \(m\ge 0\). Then
In the case that \(h_{nm}=0\) for \(n-m\) odd, for \(n\ge 1\), the following stronger identities hold:
To prove Theorem 3, we shall need the following
Lemma 1
Let the functions
verify
and assume that \(\partial _{\varGamma } a\not \equiv 0\) and \(h_{0m}\) is independent of \({\varGamma } \) for all \(m\ge 0\). Then \(h_{nm}=0\) for all \(m\ge \max \{1, n\}\).
Proof
Due to the assumptions of h and g, their Poisson parenthesis at left-hand side of (13) is a Fourier series including only sines \(\{\sin k{\gamma } \}_{k\ge 1}\). Projecting (13) over such basis, we obtain the following relations:
for all \(n= 0\), 1, \(m=1\), \(2, \ldots \), where \({\delta } _{ij}\) is the Kronecker symbol, and \(h_{-1,k}:=0\) for all \(k\in {\mathbb Z} \). We now prove that such relations imply \(h_{nm}\equiv 0\) for \(m\ge \max \{1, n\}\). We proceed by steps.
(i) We prove \(h_{0m}=0\) for \(m=1,2,\ldots \). We use (14) with \(n=0\) and \(m=1, 2,\ldots \):
since \(h_{-1, k}=0\) for all \(k\in {\mathbb Z} \), as \(\partial _{\varGamma } a\not \equiv 0\).
(ii) We prove \(h_{1m}=0\) for \(m\ge 1\).
(ii)-a We prove \(h_{11}=0\). We use (14) with \(n=m=1\). We obtain
since \(h_{02}=0\) by (i) and \(\partial _{\varGamma } h_{00}=0\) by assumption.
(ii)-b We prove \(h_{1m}=0\) for \(m\ge 2\). We use (14) with \(n=1\), \(m\ge 2\):
because the first line vanishes by (i), while the second vanishes because, by assumption, \(\partial _{\varGamma } h_{0,p}\) for all \(p\ge 1\).
(iii) We prove \(h_{nm}=0\) for \(n\ge 1\) and \(m\ge n\). We proceed by induction on n. The case \(n=1\) has been done in (ii). We assume that it is true for \(n\ge 1\) and prove it for \(n+1\). We use (14) replacing n with \(n+1\) and taking \(m\ge n+1\):
Here, we have used that for \(m\ge n+1\), \(m+1>m-1\ge n\), so the first line and the two first terms in the second line vanish. The last term also vanishes because \(m\ge n+1\ge 2\), so the Kronecker symbol is zero. The lemma is completely proved. \(\square \)
We now proceed to prove Theorem 3. To this end, we introduce a specific system of canonical coordinates which will allow us to apply the lemma above.
The \({{\mathcal {K}}}\)-map Define the “nodes”
and assume that they do not vanish. Denote, as above, as \(\mathrm{P}^{ (2) }\), with \(\Vert \mathrm{P}^{ (2) }\Vert =1\) the direction of its perihelion (well defined because the eccentricity does not vanish), \(a_2\) its semi-major axis, we define the map
via the relations
where (i, j, k) is a prefixed reference frame, and for \(u,v\in {\mathbb R} ^3\) lying in the plane orthogonal to a vector w and \({\alpha } _w(u,v)\) denotes the positively oriented angle (mod \(2{\pi } \)) between u and v (orientation follows the “right-hand rule”). We remark that the planar case corresponds to taking \(\varTheta =0\) and \(\vartheta ={\pi } \) (prograde case) of \(\vartheta =0\) (retrograde case).
The map \({{\mathcal {K}}}\) verifies (1)–(2) with \(\ell _2=\mathrm{l}_2\) and \(u=(\mathrm{G}_2, \breve{u})\), \(v=(\mathrm{g}_2, \breve{v})\), where \(\breve{u}=(\mathrm{Z}, \mathrm{G}, \mathrm{R}_1, \varTheta )\), \(\breve{v}=(\mathrm{z}, \mathrm{g}, \mathrm{r}_1, \vartheta )\). Therefore, u and v are also as claimed in the assumptions of Theorem 3. The canonical character of the coordinates \({{\mathcal {K}}}\) is discussed in Pinzari (2018a) and to such paper we refer also for the formula, in terms of \({{\mathcal {K}}}\), of the function \({\mathrm{E}_0}\) in (7), which is
We continue denoting as h the function in the statement expressed in terms of \({{\mathcal {K}}}\). It follows from the definitions (15) that \({\rho } =\mathrm{r}_1\) and \({\varphi } =\mathrm{g}_2\), so, by (9), h is given by
Here, we have used that, by assumption, the coefficients \(h_{nm}\) in this expansion depend only on \({\varLambda } _2\), \(\mathrm{G}_2\), \(\varTheta \). Therefore, in terms of \({{\mathcal {K}}}\), the assumption that h Poisson commutes with \({\mathrm{E}_0}\) reduces to
Furthermore, with \(a=\mathrm{G}_2^2\), we have \(\partial _{\mathrm{G}_2} a\not \equiv 0\) and, finally, \(h_{0m}\) is independent of \(\mathrm{G}_2\) for all \(m\ge 0\), being this one of the assumptions of Theorem 3. We can thus apply Lemma 1 and we obtain that \(h_{nm}(\mathrm{r}_1, {\varLambda } _2, \varTheta )\equiv 0\) for \(m\ge \max \{1, n\}\). The identities (12) trivially follow, under the additional assumption that \(h_{nm}=0\) if \(n-m\) is odd. \(\square \)
Application of Theorem 3 to the function \(h_2\) In this section, we discuss the application of Theorem 3 to the function \(h_2\) in (3). First of all, \(h_2\) Poisson commutes with \(\mathrm{E}_0\), as stated by Theorem 2. As in the proof of Theorem 3, we now write \(h_2\) in terms of the coordinates \({{\mathcal {K}}}\) in (15) and we fix a domain as in the statement of the theorem. This map is useful because \({\rho } =\mathrm{r}_2\), \({\varphi } =\mathrm{g}_2\) and the functions in (10) are coordinates in such system, so we have only to check that \(h_2\) affords an expansion of the form:
with \( \partial _{\mathrm{G_2}}h_{1, 0m}({\varLambda } _2, \varTheta , \mathrm{G}_2)\equiv 0\). We shall also check that, in this summand, only terms with even \(n-m\) appear. We observe that, since h commutes with \(\mathrm{I}_1, \ldots \), \(\mathrm{I}_5\), and, by their definitions, such functions are coordinates in the system \({{\mathcal {K}}}\):
we have that \(h_2\) is independent of their conjugate coordinates, respectively, \(\ell _2\), \(\mathrm{R}_1\), \(\mathrm{g}\), \(\mathrm{z}\), \(\vartheta \). The angles \(\mathrm{g}\), \(\mathrm{z}\) are themselves first integrals to \(h_2\) and so we have that \(h_2\) is also independent of \(\mathrm{G}\), \(\mathrm{Z}\). In summary, \(h_2\) will be a function of \(\mathrm{r}_1\), \({\varLambda } _2\), \(\varTheta \), \(\mathrm{G}_2\), \(\mathrm{g}_2\) only. Now we check that \(h_2\) affords an expansion of the form (9), with \(h_{nm}\) depending only on the quantities (10). As already observed in the proof of Theorem 3, in terms of the coordinates \({{\mathcal {K}}}\), this reduces to check that \(h_2\), in terms of \({{\mathcal {K}}}\), has an expansion of the form (17). To this end, we start from the expansion of the Newtonian potential in Legendre polynomials (see Sect. 4)
In terms of \({{\mathcal {K}}}\), such quantities are given by
where \(a_2=\frac{{\varLambda } _2^2}{\mathrm{m}_2^2\mathrm{M}_2}\); \(\mathrm{f}_2=\mathrm{f}_2({\varLambda } _2, \mathrm{G}_2, \mathrm{l}_2)\) is the true anomaly. The two former expressions are classical; the one for t has been worked out by Pinzari (2018a). Inserting these expressions into (19) and taking the \(\mathrm{l}_2\)-averageFootnote 6, we have that
with
This expression shows \(h_{2, n}({\varLambda } _2, \varTheta , \mathrm{G}_2, \mathrm{g}_2)\) is even in \(\mathrm{g}_2\):
so, it affords a Fourier expansion
and the claimed expansion (17) follows. We finally check that \(\partial _{\mathrm{G}_2}h_{1, 0m}\equiv 0\) for all \(m\ge 0\). But this is a consequence of the fact that, for \(\mathrm{r}_1=0\), \(h_2\) reduces to \(\frac{1}{2{\pi } }\int _{{\mathbb T} }\frac{d\mathrm{l}_2}{\Vert x_{{\mathcal {K}}}^{ (2) }\Vert }\), which is \({\varGamma } \)-independent by Proposition 1. Then the assertion and hence thesis (11) hold. We now check that, in the case of \(h_2\), one also has \(h_{2, nm}=0\) for \(n-m\) odd, so, for \(n\ge 1\), the stronger identity in (12) holds. Denoting as \(c_{np}\in {\mathbb Q} \) the coefficients in the expansion
where, we recall, only p’s having the same parity as n appear (an explicit formula for the \(c_{np}\)’s is available from the first formula in Eq. 53), so that
Using the expansion
and finally inserting this expression into (24) and afterwards into (21), we can write (21) as a trigonometric polynomial in \(\mathrm{g}_2\) having degree n given by
where
The function under the integral in the expression above has the same parity as k, so \({\hat{h}}_{npk}\) vanishes for k odd.Footnote 7 Therefore, in the summand in (25) only even indices k appear. But for any even k, \(\sin ^k\mathrm{g}_2 \cos ^{p-k}\mathrm{g}_2\) has a Fourier expansion \(\sum _{m=0}^p b_m \cos m\mathrm{g}_2\) where m has the same parity as p, which is the same as n. We collect all of the information in the following.
Proposition 2
All the assumptions of Theorem 3 are verified with \(h=h_2\). Therefore, the coefficients \( h_{2, nm}\) in the expansion (9) verify (11) and, for \(n\ge 1\), they verify the stronger identity (12). Choosing \({{\mathcal {C}}}={{\mathcal {K}}}\), the expansion in (20)–(23) holds true, with \(h_{2, nm}\) verifying (11) and (12). In particular, the term \(h_{2, 1}\) vanishes identically and \(h_{2, 2}\), called the dipolar term, does not depend on \(\mathrm{g}_2\).
One could ask what the last assertion becomes when using, instead of the \({{\mathcal {K}}}\)-map, one of the more familiar maps, \({{\mathcal {D}}}\), \({{\mathcal {J}}}\)or \({{\mathcal {P}}}\), mentioned in the introduction. As a matter of fact, the same assertion holds, apart from parity in the Fourier expansion:
Proposition 3
Let \(\mathrm{g}^{{\mathcal {D}}}_2\), \(\mathrm{g}^{{\mathcal {J}}}_2\) or \(\mathrm{g}^{{\mathcal {P}}}_2\) denote the angles conjugate to \(\mathrm{G}_2\), in the case of the maps \({{\mathcal {D}}}\), \({{\mathcal {J}}}\) or \({{\mathcal {P}}}\). In the expansion
the coefficients \(h_{2, n}\) afford a Fourier expansion \(\sum _{m=0}^{+\infty }(a_{nm}\cos \mathrm{g}^{{\mathcal {C}}}_2+b_{nm}\sin \mathrm{g}^{{\mathcal {C}}}_2)\), with m having the parity as n and \(a_{nm}\), \(b_{nm}\) verifying (11) and (12). In particular, \(h_{1, 1}\equiv 0\) and \(h_{1, 2}\) does not depend on \(\mathrm{g}^{{\mathcal {D}}}_2\), \(\mathrm{g}^{{\mathcal {J}}}_2\) or \(\mathrm{g}^{{\mathcal {P}}}_2\), respectively.
Proof
The maps \({{\mathcal {D}}}\), \({{\mathcal {J}}}\)or \({{\mathcal {P}}}\) share the property that \(u_1=\mathrm{G}_2\) is one of their impulses. However, the coordinate conjugate to \(\mathrm{G}_2\) is different in any of such cases and is given by the angle that here we denote as \(\mathrm{g}_{2}^{{\mathcal {D}}}\), \(\mathrm{g}_{2}^g\) or \(\mathrm{g}_{2}^{{\mathcal {P}}}\), formed by a certain “node” (we call so a non-vanishing vector in \({\mathbb R} ^3\)) with \(\mathrm{P}^{ (2) }\) in the plane orthogonal to \(\mathrm{C}^{ (2) }\), with respect to the positive direction determined by \(\mathrm{C}^{ (2) }\). The mentioned node is given by:
where \(\mathrm{P}^{ (1) }\) denotes the direction of the perihelion associated to the Keplerian ellipse of the inner body. We then find the following relation
where \({\varphi } ^{{\mathcal {C}}}\) is the angle determined by \({\nu } _{{\mathcal {C}}}\) and \({\nu } _2\) in (15). Such function does not depend on \(\mathrm{g}_{2}^{{\mathcal {C}}}\). Since the functions \(a_2\), \(\varTheta \), \(\mathrm{r}_1\), \(\zeta _2\), \(\mathrm{f}_2\) in (20), expressed in terms of \({{\mathcal {D}}}\), \({{\mathcal {J}}}\), \({{\mathcal {P}}}\), even do not depend on \(\mathrm{g}_{2}^{{\mathcal {C}}}\), the proof of Proposition 3 follows, replacing such functions into (20), and using the information given by Proposition 2. \(\square \)
3 Renormalizable integrability
Another consequence of Theorems 1 and 2 is that there actually exists a functional dependence between \(h_2\) and \({\mathrm{E}_0}\) which we shall write explicitly. To this end, we premise some abstract consideration.
Definition 1
Let h, g be two (commuting) functions of the form
where
with \( U\subset {\mathbb R} ^2\), \({{\mathcal {B}}}\subset {\mathbb R} ^{2n}\) open and connected, \((p,q)= (p_1, \ldots , p_n, q_1, \ldots , q_n)\) conjugate coordinates with respect to the two-form \({\omega } =dy\wedge dx+\sum _{i=1}^{n}dp_i\wedge dq_i\) and \(\mathrm{I}(p,q)=(\mathrm{I}_1(p,q), \ldots , \mathrm{I}_n(p,q))\), with
pairwise Poisson commuting:
We say that h is renormalizably integrable via g if there exists a function
such that
for all \((p, q, y, x)\in {{\mathcal {D}}}\).
Proposition 4
If h is renormalizably integrable via g, then:
-
(i)
\(\mathrm{I}_1, \ldots \), \(\mathrm{I}_n\) are first integrals to h and g;
-
(ii)
h and g Poisson commute.
Proof
It follows from (26) that
In this expression, all the terms in the summand vanish because of (28), while the last term vanishes because of (29):
This proves (ii). (i) follows from (ii), replacing the couple (h, g) with \((h, \mathrm{I}_i)\) or \((g, \mathrm{I}_i)\), with \(i=1, \ldots \), n. \(\square \)
At level of motion, renormalizable integrability can be rephrased as follows.
Proposition 5
Let h be renormalizably integrable via g. Fix a value \(\mathrm{I}_0\) for the integrals \(\mathrm{I}\) and look at the motion of (y, x) under h and g, on the manifold \(\mathrm{I}=\mathrm{I}_0\). For any fixed initial datum \((y_0, x_0)\), let \(g_0:=g(\mathrm{I}_0, y_0, x_0)\). If \({\omega } (\mathrm{I}_0, g_0):=\partial _{g}{\tilde{h}}(\mathrm{I}, g)|_{(\mathrm{I}_0, g_0)}\ne 0\), the motion \((y^h(t), x^h(t))\) with initial datum\((y_0, x_0)\) under h is related to the corresponding motion \((y^g(t), x^g(t))\) under g via
In particular, under this condition, all the fixed points of g in the plane (y, x) are fixed point to h. Values of \((\mathrm{I}_0, g_0)\) for which \({\omega } (\mathrm{I}_0, g_0)= 0\) provide, in the plane (y, x), curves of fixed points for h (which are not necessarily curves of fixed points to g).
Proof
All the assertions follow from the formulae, implied by (26):
and, similarly,
\(\square \)
Below, we prove that, under an additional condition, the converse of Proposition 4 holds true.
Theorem 4
Let h, g two commuting functions of the form (26) on the possibly complex domain \({{\mathcal {D}}}\) as in (27), with \(\mathrm{I}_i\) pairwise Poisson commuting. For any fixed \(c=(c_1,\ldots ,c_{n})\in \mathrm{I}({{\mathcal {B}}})\), let \({\varDelta } _c\) be the set of stationary points of the function \((y,x)\rightarrow g(y,x,c_1,\ldots ,c_{n})\), and put \(U^*_c:=U{\setminus }{\varDelta } _c\). Assume that the set \({{\mathcal {D}}}^*:=\bigcup _{(p,q)\in {{\mathcal {B}}}}\Big \{(p,q)\Big \}\times U^*_{\mathrm{I}(p,q)}\) has full closure. Then h is renormalizably integrable via g.
Proof
We firstly observe that, since \(\{h, g\}=\{\mathrm{I}_i, \mathrm{I}_j\}=0\) for all \(1\le i<j\le n\), using, as in the proof of Proposition 4, Eq. (30), then
The assumptions and the implicit function theorem ensure that for any given \(c=(c_1,\ldots ,c_{n})\in {\mathbb R} ^{n}\) in the image of the function \((p, q)\in {{\mathcal {B}}}\) \(\rightarrow \) \((\mathrm{I}_1, \ldots \), \(\mathrm{I}_n)\), and \(c_{n+1}\) sufficiently close to in the image of \(g(c_1,\ldots ,c_{n}, \overline{y} , \overline{x} )\) where \(( \overline{y} , \overline{x} )\in U^*_c\), equation
can be uniquely solved with respect to either y or x, via suitable functions
where \(\mathrm{Y}(c_1,\ldots , c_{n+1}, \cdot )\) is defined on a small neighbourhood of \( \overline{x} \), while \(\mathrm{X}\) \((c_1, \ldots \), \(c_{n+1}, \cdot )\) is defined on a small neighbourhood of \( \overline{y} \). We now consider the function
and/or the function
We have that \(\mathrm{h}\) is x-independent, while \(\mathrm{h}'\) is y-independent. Let us check the assertion for \(\mathrm{h}\) (for \(\mathrm{h}'\) is specular). Again by the implicit function theorem:
because of (31). Choosing, for a fixed \((p,q)\in {{\mathcal {B}}}\), \((y,x)\in U^*_{\mathrm{I}(p,q)}\), \(c_1=\mathrm{I}_1(p,q), \ldots \), \(c_n=\mathrm{I}_n(p,q)\), \(c_{n+1}=g(p,q,y,x)\), we have the thesis on the set \({{\mathcal {D}}}^*\). Then, by smooth continuation, the thesis holds on all of \({{\mathcal {D}}}={{\mathcal {B}}}\times U\).\(\square \)
Remark 3
We observe that the proof is constructive: it provides the function \({\widehat{h}}\) via formulae (32)–(33).
In the following, we prove that \(h_2\) is renormalizably integrable via \(\mathrm{E}_0\) as an application of Theorem 4. Afterwards, in Sect. 3.1, we exhibit, explicitly, the relative function \({\widetilde{h}}_2\) realizing (29). In Sect. 3.2, as a counter-example to the last assertion of Proposition 5, we exhibit a curve of fixed points for \(h_{2}\) which is not so for \(\mathrm{E}_0\).
Application of Theorem 4 to \(h_2\) and \(\mathrm{E}_0\). We aim to apply Theorem 4 to \(h_2\) and \(\mathrm{E}_0\). As in the former section, we use the coordinates \({{\mathcal {K}}}\) defined in (15). This map turns to be useful, because the integrals \(\mathrm{I}_1, \ldots \), \(\mathrm{I}_5\) are coordinates of such system and hence depend on (p, q) only via one of the p’s or one of the q’s: see (18). As a first step, we aim to check that \(h_2\) and \(\mathrm{E}_0\) have the form in (26), with
The expression of \(\mathrm{E}_0\) is given in (16), so it turns to be as claimed. The expression of \(h_2\) in terms of \({{\mathcal {K}}}\) has been discussed by Pinzari (2018a) and is
where
with \(\zeta _2\), as above, the eccentric anomaly, and \(\mathrm{f}_2\), the true anomaly, both depending on \(({\varLambda } _2, \mathrm{G}_2, \mathrm{l}_2)\). We observe that it is possible to have a closed formula for \(h_2\), since the integration in \(d\mathrm{l}_2\) can be written explicitly by means of the eccentric anomaly
and the true anomaly \(\mathrm{f}_2\) can be eliminated via the well-known relation
Then we rewrite \(h_2\) as
which is precisely of the form (26). As a second step, we check that, for any fixed value of the integrals \(\mathrm{I}\) in (34), the set of fixed points of \(\mathrm{E}_0\) as a function of \((\mathrm{G}_2, \mathrm{g}_2)\) is at most one-dimensional in the plane \((\mathrm{g}_2, \mathrm{G}_2)\). Indeed, equations
which read
define an algebraic set in having positive co-dimension. Then Theorem 4 applies and we have the following
Proposition 6
\(h_2\) is renormalizably integrable via \(\mathrm{E}_0\). Namely, there exists a function \({\widetilde{h}}_2\) such that
In the two following sections, we discuss some insights of dynamical character, related to the renormalizable integrability of \(h_2\).
3.1 The explicit expression of \({\widetilde{h}}_2\)
The function \({\widetilde{h}}_2\) in Proposition 6 can be written explicitly, and this is the purpose of this section. Before doing it, let us premise some algebraic consideration.
Definition 2
(The class \({{\mathcal {H}}}_*\)) We call class \({{\mathcal {H}}}_*\) the set of functions of the form
where: \(u\rightarrow P(u)\), \(u\rightarrow Q(u)\) are smooth functions for \(u=0\); \(P(0)> 0\); \(u\rightarrow Q(u)\) is odd; c, s are periodic functions such that there exist two “symmetries”, i.e. transformations \({\sigma } \), \({\sigma } ':{\mathbb T} \rightarrow {\mathbb T} \) verifying \(|\partial _w{\sigma } |=|\partial _w{\sigma } '|\equiv 1\) and
Definition 2 implies that any \(f\in {{\mathcal {H}}}_*\) is homogeneous of degree \(-1\) in (a, b); even in all of their arguments
and, moreover, verifies
Proposition 7
All the functions in \({{\mathcal {H}}}_*\) afford a formal series expansion
with
where q(a, b) is a positive definite quadratic form and \(p_{ij}(a, b)\) are polynomials of degree \(4(i+j-1)\) with coefficients in \({{\mathbb {Q}}}\), even separately in a and b. In particular, for any \(f\in {{\mathcal {H}}}_*\), there exist r, \(s\in {{\mathbb {Q}}}\) such that
Remark 4
We call identity (43) generalized Herman resonance and underline that its validity is strongly based on identity (40). For the averaged Newtonian potential, (40) is guaranteed by the Keplerian property (Proposition 1).
Proof
Using formula (38), it is easy to prove, by induction, that any \(f\in {{\mathcal {H}}}_*\) affords an expansion of the kind
with
where \( \overline{p} _{ij}(a, b)\) are polynomials in (a, b) and
Using the parity of f with respect to all of its arguments, one has, actually, that \( \overline{p} _{ij}\)’s are even with respect to a and b separately, and vanish if i, j are not both even, so we have an expansion of the form (41), with \(f_{hk}= \overline{f} _{2h, 2k}\). Furthermore, since f is homogeneous of degree \(-1\), all of its derivatives with respect to u or v are homogeneous of the same degree. Since q(a, b) is homogeneous of degree 2 (see 45), we have that the \( \overline{p} _{2h, 2k}\) in (44) are to be homogeneous of degree \(4(h+k)\). Finally, due to (40), \( \overline{p} _{2h, 2k}(1, 0)= \overline{p} _{2h, 2kj}(0, 1)\equiv 0\) for all \((h, k)\ne (0, 0)\). Combining this with parity of \( \overline{p} _{2h, 2k}\) with respect to a and b separately, (42), \( \overline{p} _{2h, 2k}(a, b)=a^2b^2 p_{hk}(a, b)\) where p(h, k)(a, b) has degree \(4(h+k-1)\). This proves the former assertion. The latter follows from this, since, when \(h+k=1\),
with \(p_{10}\) and \(p_{01}\) having degree 0, namely, \(p_{10}\) and \(p_{01}\in {{\mathbb {Q}}}\). So, one can take \(r=-p_{01}\), \(s=p_{10}\). \(\square \)
Let us now proceed to write down an explicit expression of function \({\widetilde{h}}_2\) in Proposition 6. We let
Note that \(\mathrm{U}\) is in the class \({{\mathcal {H}}}_*\), with
We prove that
Proposition 8
\(\displaystyle {\widetilde{h}}_2(\mathrm{r}_1, {\varLambda } _2, \varTheta , \mathrm{E}_0)=\mathrm{U}(\mathrm{r}_1, a_2, {{\mathcal {E}}}({\varLambda } _2,{\mathrm{E}_0}), {{{\mathcal {I}}}}({\varLambda } _2,\varTheta , {\mathrm{E}_0}))\).
Proof
Reasoning as in the proof of Theorem 4 (see Remark 3), we invert equation
with respect to \(\mathrm{G}_2\) in the complex field, fixing a value of \(\mathrm{g}_2\). We choose \(\mathrm{g}_2=\frac{{\pi } }{2}\), so that \(\cos \mathrm{g}_2=0\) and the inversion is immediate:
Then \({\widetilde{h}}_2(\mathrm{r}_1, {\varLambda } _2, \varTheta , \overline{\mathrm{E}} _0)\) is given by
Using the formula in (36), we obtain
with \({{\mathcal {E}}}\), \({{\mathcal {I}}}\) as in (47). \(\square \)
Remark 5
Combining Propositions 6, 8 with (7) and the definitions of \(\mathrm{G}_2\) and \(\varTheta \) in (15), we obtain that, for a generic \({{\mathcal {C}}}\) as in (1),
with
In Sect. 5.1, we use the following consequence of this.
Proposition 9
Let
where U is a domain of \({\mathbb R} ^4\), verify (2) and let \({\tilde{v}}\in {\mathbb R} ^3\). Then
where the sub-fix \({{\mathcal {C}}}_2\) denotes the composition with \({{\mathcal {C}}}_2\).
Proof
Choose \({{\mathcal {C}}}={\, \mathrm id \,}\otimes {{\mathcal {C}}}_2\) in (1); namely, such that \(u=({\widetilde{u}}, \overline{u} )\), \(v=({\widetilde{v}}, \overline{v} )\in {\mathbb R} ^3\times {\mathbb R} ^2\), with \((y^{ (1) }, x^{ (1) })\circ {{\mathcal {C}}}=({\widetilde{u}}, {\widetilde{v}})\in {\mathbb R} ^3\times {\mathbb R} ^2\), and \((y^{ (2) }, x^{ (2) })\circ {{\mathcal {C}}}=(y^{ (2) }, x^{ (2) })\circ {{\mathcal {C}}}_2\), depending only on \(({\varLambda } _2,\ell _2, \overline{u} , \overline{v} )\). \(\square \)
3.2 A curve of fixed points for \(h_2\) (which is not so for \(\mathrm{E}_0\))
Proposition 6 implies that any level set (in the plane \((\mathrm{G}, \mathrm{g})\)) to \(\mathrm{E}_0\) is also a level set of \(h_2\) and hence, in particular, any fixed point to \(\mathrm{E}_0\) is so to \(h_2\). Here, we prove that the converse is not true:
Proposition 10
If \(\varTheta \ne 0\) and \(\mathrm{r}_1/a_2\) is sufficiently small, in the plane \((\mathrm{G}_2, \mathrm{g}_2)\), there exists at least a curve of fixed points of \(h_2\) which is a level set of \(\mathrm{E}_0\), but is not a curve a fixed points to it.
Proof
In principle, to find any such curve, one should solve equation \({\omega } (\mathrm{I}, {\tilde{h}}):=\partial _{g}{\tilde{h}}(\mathrm{I}, {\tilde{h}})= 0\). In the case of \(h_2\), such equation seems too difficult, so we shall use a perturbative approach. We look at the Taylor expansion (20) of \(h_2\) in (35) in powers of \(\mathrm{r}_1\). Letting \(\varepsilon :=\frac{\mathrm{r_1}}{{a_2}}\), we obtain
By (48), a corresponding expansion for the function \({\widetilde{h}}\) in (49) is obtained letting \(\mathrm{G}_2=\sqrt{\mathrm{E}_0}\) and \(\mathrm{g}_2=\frac{{\pi } }{2}\). We obtain:
We study equation
via the implicit function theorem, for small \(\varepsilon \). Neglecting the \(\mathrm{O}(\varepsilon ^2)\) inside parentheses, we obtain the solution
The non-degeneracy condition at this solution is verified, since indeed
Then for sufficiently small \(\varepsilon \), Eq. (51) has, as a solution, the following level set of \(\mathrm{E}_0\):
Replacing the formula for \(\mathrm{E}_0\) in (16), we rewrite such solution as the curve, in the \((\mathrm{G}_2, \mathrm{g}_2)\) plane,
By Proposition 5, \({{\mathcal {S}}}\) is a curve of fixed points for \(h_2\). It remains to prove that \({{\mathcal {S}}}\) is not a curve of fixed points for \(\mathrm{E}_0\). The fixed points of \(\mathrm{E}_0\) are the solutions of system (37). The curve \({{\mathcal {S}}}\) includes a point having coordinates
which does not solve system (37). (It does not solve the second equation.) \(\square \)
Remark 6
The proof fails for \(\varTheta =0\), because, in such a case, the leading part in Eq. (51) has no solution.
4 An algebraic property of Legendre polynomials
The Legendre polynomials \({{\mathcal {P}}}_n(t)\), with \({{\mathcal {P}}}_0(t)=1\), \({{\mathcal {P}}}_1(t)=t, \ldots \), are defined via the \(\varepsilon \)-expansion
Many notices on such classical polynomials may be found in Giorgilli (2008, Appendix B).
The purpose of this section is to present an algebraic property of the \({{\mathcal {P}}}_n\)’s. Roughly, it says that a certain average of a Legendre polynomial is still a Legendre polynomial. The author is not aware if it was known before and if there is a “dynamical” explanation of it.
Lemma 2
Let \(t\in {\mathbb R} \), \(|t|< 1\), \({{\mathcal {P}}}_n\) the nth Legendre polynomial. Then,
where
We shall prove Lemma 2 via the following one.
Lemma 3
The even Legendre polynomials \(P_{2m}(t)\) verify, for any \(h=0, \ldots \), m,
where \(\tau :=t^2\). In particular, the following relation holds
Proof
We first prove the former formula in (53). Let \(n\in {\mathbb N} \), \(k=0, \ldots \), n with \(n-k\) even. We have x
Therefore, denoting as \({\varPi } _{n}\) the projection over the monomial \(\varepsilon ^n\),
Then the desired formula follows, taking \(n=2m\), \(k=2h\) and noticing that
The proof of the latter formula in (53) is a bit more complicate. We propose an algebraic one.
First of all, we change variable
Since
we are definitely reduced to prove the following identity
To this end, we let
so that (analogously to (54)) we may identify
We introduce the auxiliary functions
so that \(g_{1,0}=g\). Observe that the linear space generated by such functions is closed under the derivative operation, since in fact
More in general, by iteration, one finds
where, from the identity
one easily sees that the coefficients \(c^{ (h) }_{j}\), with \(j=0, \ldots \), h, satisfy the recursion
Let \( \overline{c} ^{ (h) }_j\)’s be the numbers defined by
corresponding to the case
Specializing formula (57) to this case, we find
Therefore, applying (56), we find the desired derivatives
with
In order to check (55), let \({{\mathcal {P}}}_{2h}({\mu } )\), \({{\mathcal {Q}}}_{2j}({\mu } )\) the polynomials in the real variable \({\mu } \) defined as the extensions of \(D_{2m, 2h}\), \(C_{2m, 2h}\) on the reals, i.e. such that
and let
the analogous polynomial extending the right-hand side of (59). We shall prove that
which clearly implies (55). Note that \({{\mathcal {D}}}_{2h}({\mu } )\), \({{\mathcal {P}}}_{2h}({\mu } )\) have degree 2h; \({{\mathcal {P}}}_{2h}({\mu } )\) vanishes at the odd integers \(-(2h-1)\), \(-(2h-3),\ldots , -1\), and the even integers 0, \(2, \ldots , 2h-2\), while the \({{\mathcal {Q}}}_{2j}({\mu } )\)’s have degree 2j and vanish at the integers \(-j\), \(-j+1, \ldots \), \(j-1\). The last formula in (60) provides a decomposition of \({{\mathcal {D}}}_{2h}({\mu } )\) on the basis of the \({{\mathcal {Q}}}_{2j}\)’s. We then do the same for \({{\mathcal {P}}}_{2h}\), i.e. we decompose
We now need to show that
From the relations
and
the following recursion rule among the coefficients immediately follows
Let
The formulae in (58) and (62) imply
Those relations immediately enforce, by induction, \({\delta } ^{ (h) }_j\equiv 0\) for all h, j, and hence (61). \(\square \)
Proof of Lemma 2
Let \({{\mathcal {Q}}}_{n}(t)\) denote the left-hand side of (52). Observe that, since any \({{\mathcal {P}}}_n(t)\) has the same parity, in t, as n and odd powers of \(\cos \theta \) have vanishing average, the \({{\mathcal {Q}}}_{2m+1}(t)\)’s vanish, while the \({{\mathcal {Q}}}_{2m}(t)\)’s are polynomials of degree m in \(\tau :=t^2\). Since also the even Legendre polynomials \({{\mathcal {P}}}_{2m}\)’s are polynomial of degree m in \(\tau \), we only need to show, e.g. that
The definition of \(Q_{2m}\) implies that, for \(h=1, \ldots \), m
where
Using Lemma 3, we find
and hence the thesis follows. \(\square \)
5 Applications
5.1 An explicit formula for a semi-axes–eccentricities–inclination expansion of a “mixed” averaged Newtonian potential.
In this section, we assume that the map \({{\mathcal {C}}}\) in (1) satisfies the following conditions:
– the coordinates (u, v) include
where, in addition to (2), also the following holds
with suitable other mass parameters \(\mathrm{m}_1\), \(\mathrm{M}_1\); \(\ell _1\) in conjugate to \({\varLambda } _1\);
-
the image of \({{\mathcal {C}}}\) in (1) is a domain of (y, x) where the left-hand side of (64) takes negative values;
-
the instantaneous ellipse \({{\mathbb {E}}}_1\) generated by the two-body Hamiltonian (64) has non-vanishing eccentricity;
-
if \(\mathrm{P}^{ (1) }\), \(\Vert \mathrm{P}^{ (1) }\Vert =1\) denotes the direction of its perihelion, and, as above, \(\mathrm{C}^{ (1) }:=x^{ (1) }\times y^{ (1) }\), the angle \(\mathrm{g}_1\) in (63) corresponds to the anomaly of \(\mathrm{P}^{ (1) }\) with respect to a prefixed direction \({\nu } _1\) in (and a prefixed orientation of) the plane orthogonal to \(\mathrm{C}^{ (1) }\);
-
\(x^{ (2) }_{{\mathcal {C}}}:=x^{ (2) }\circ {{\mathcal {C}}}\) and the angle \(\mathrm{f}_1\) (“true anomaly of \(x^{ (1) }_{{\mathcal {C}}}\)”) formed by \(\mathrm{P}_{{\mathcal {C}}}^{ (1) }\) and \(x_{{\mathcal {C}}}^{ (1) }\) with respect to the orientation established by \(\mathrm{C}^{ (1) }_{{\mathcal {C}}}\) do not depend on \(\mathrm{g}_1\);
-
if \({{\mathcal {D}}}_i=({\varLambda } _i, \mathrm{l}_i, p_i, q_i)\), with \(p_i=(p_{i1}, p_{i2})\in {\mathbb R} ^2\), \(q_i=(q_{i1}, q_{i2})\in {\mathbb R} ^2\) are the Delaunay coordinates associated with \((y^{ (i) }, x^{ (i) })\), and \({{\mathcal {D}}}:= {{\mathcal {D}}}_1\otimes {{\mathcal {D}}}_2:=({\varLambda } , \mathrm{l}, p, q):=({\varLambda } _1, {\varLambda } _2, \mathrm{l}_1, \mathrm{l}_2, p_{11}, p_{12}, p_{21}, p_{22}, q_{11}, q_{12}, q_{21}, q_{22})\), the change in coordinates
$$\begin{aligned} \phi _{{\mathcal {C}}}^{{\mathcal {D}}}:\quad {{\mathcal {D}}}_1\otimes {{\mathcal {D}}}_2\rightarrow {{\mathcal {C}}}\end{aligned}$$
has the form
Our purpose is to provide, under the previous assumptions, a representation formula for the functionFootnote 8
which we believe may turn to be useful in applications. We introduce the following
Definition 3
For a given power series in the parameter \(\varepsilon \)
we denote as \({\varPi } _{\varepsilon } g_\varepsilon \) the even power series
with \((-1)!!:=1\).
We shall prove the following formula. We let \(\mathrm{U}\) as in (46) and
where the sub-fix \({{\mathcal {C}}}\) denotes the composition with \({{\mathcal {C}}}\). Then
Proposition 11
\(h_{12}={\varPi } _{\mathrm{r}_1}\mathrm{U}(\mathrm{r}_1, \mathrm{a}_2, {{\mathbb {E}}}(\mathrm{r}_1), {{\mathbb {I}}}(\mathrm{r}_1))\big |_{\mathrm{r}_1=\Vert x^{ (1) }_{{\mathcal {C}}}\Vert }\).
Remark 7
(Herman resonance for \(h_{12}\)) The functions \({{\mathbb {E}}}(\mathrm{r}_1)\), \({{\mathbb {I}}}(\mathrm{r}_1)\) in (66) vanish, respectively, in case of zero eccentricity of the exterior planet and mutual inclination. Combining Propositions 7, 11, Remark 4, we obtain an eccentricity–inclination expansion for \(h_{12}\):
The second-order term of this expansion of course exhibits (43), as a by-product of Proposition 7 (because \({\varPi } _{\mathrm{r}}\) kills the linear terms in \(\mathrm{r}_1\) in (66) acts on the even terms only modifying the coefficients). This identity reduces to the classical Herman resonance switching to Poincaré coordinates with the inner body moving on a circle. In this framework, Herman resonance naturally appears as a by-product of parities (39), renormalizable integrability of the Newtonian potential (Proposition 8), Keplerian property (Proposition 1) and Lemma 2.
To prove Proposition 11, we need an equivalent formulation of Lemma 2, which is as follows.
Proposition 12
Let \(\mathrm{r}_1>0\), \({\varphi } _1\in {\mathbb T} \), \(\mathrm{N}^{ (1) }\in {\mathbb R} ^3\), with \(\Vert \mathrm{N}^{ (1) }\Vert =1\), \(z^{ (2) }\in {\mathbb R} ^3\), with \(z^{ (2) }\ne 0\), \(z^{ (2) }\not \parallel \mathrm{N}^{ (1) }\). Define \({\nu } :=z^{ (2) }\times \mathrm{N}^{ (1) }\). Let \(z^{ (1) }(\mathrm{r}_1,{\varphi } _1, \mathrm{N}^{ (1) }, z^{ (2) })\) be such that \(z^{ (1) }\perp \mathrm{N}^{ (1) }\), \(\Vert z^{ (1) }\Vert =\mathrm{r}_1\) and \({\alpha } _{\mathrm{N}^{ (1) }}({\nu } ,\ \mathrm{N}^{ (1) }\times z^{ (1) })={\varphi } _1\). Then, the following identity holds
with \(\mathrm{r}_2:=\Vert z^{ (2) }\Vert \), \({\widetilde{z}}^{ (2) }:=\frac{z^{ (2) }}{\mathrm{r}_2}\). Such identity still holds replacing \(z^{ (1) }(\mathrm{r}_1, {\varphi } _1, \mathrm{N}^{ (1) }, z^{ (2) })\) with \(z^{ (1) }(\mathrm{r}_1, {\varphi } _1+{\hat{{\varphi } }}, \mathrm{N}^{ (1) }, z^{ (2) })\), with any \({\hat{{\varphi } }}\), independent of \({\varphi } _1\).
Proof
Let us decompose
where \(z^{ (2) }_\perp :=z^{ (2) }-(z^{ (2) }\cdot \mathrm{N}^{ (1) }) \mathrm{N}^{ (1) }\) is orthogonal to \(\mathrm{N}^{ (1) }\). Since \(z^{ (1) }\) is orthogonal to \(\mathrm{N}^{ (1) }\) and \(\Vert z^{ (2) }_\perp \Vert =\sqrt{\Vert z^{ (2) }\Vert ^2-(z^{ (2) }\cdot \mathrm{N}^{ (1) })^2}\Vert =\mathrm{r}_2\sqrt{1-({\widehat{z}}^{ (2) }\cdot \mathrm{N}^{ (1) })^2}\), we have
where \(\psi \) is the convex angle formed by \(z^{ (1) }\) and \(z^{ (2) }_\perp \). But \(\psi \) is related to \({\varphi } _1\) via
and therefore, \(\cos \psi =-\cos {\varphi } _1\). This readily implies
We now use this in the expansion of the inverse distance
in terms of Legendre polynomials
To conclude, we only need to use Lemma 2, so that
which is a rewrite of the thesis. From the formulae from (68) on, it follows that identity (67) still holds replacing \(z^{ (1) }(\mathrm{r}_1, {\varphi } _1, \mathrm{N}^{ (1) }, z^{ (2) })\) with \(z^{ (1) }(\mathrm{r}_1, {\varphi } _1+{\hat{{\varphi } }}, \mathrm{N}^{ (1) }, z^{ (2) })\), for any \({\hat{{\varphi } }}\) independent of \({\varphi } _1\). \(\square \)
We can now proceed to prove Proposition 11. We do it in three steps.
First Step. Application of Proposition 12. Let \({{\mathcal {C}}}\) and \({\nu } _1\in {\mathbb R} ^3{\setminus }\{0\}\) be as said at the beginning of this section. As a first step, we aim to compute the \(\mathrm{g}_1\)-average applying Proposition 12. If
then
Hence, we can write
where \(z^{ (1) }\) is as in Proposition 12. We apply Proposition 12 with this \(z^{ (1) }\), \(z^{ (2) }=x^{ (2) }_{{\mathcal {C}}}\), \({\hat{{\varphi } }}=v_1+\frac{{\pi } }{2}-{\hat{v}}\), which is independent of \(\mathrm{g}_1\), by assumption. We find
with \({\widetilde{x}}_{{\mathcal {C}}}^{ (2) }:=\frac{{x^{ (2) }_{{\mathcal {C}}}}}{ \Vert x^{ (2) }_{{\mathcal {C}}}\Vert }\). Now we average with respect to \(\ell _2\). We obtain, interchanging \({\varPi } _{\mathrm{r_1}}\) and \(\int _{{\mathbb T} }d\ell _2\),
Second Step. Switch to Delaunay coordinates. We apply \(\phi _{{\mathcal {C}}}^{{\mathcal {D}}}\) in (65) to (69). We obtain
where \({{\mathcal {E}}}_{2, {{\mathcal {D}}}_2}\), \({{\mathcal {I}}}_{2, {{\mathcal {D}}}_2}\) are as in (50), with \({{\mathcal {C}}}_2={{\mathcal {D}}}_2\). We have that \(\mathrm{r}_{1, {{\mathcal {D}}}} \frac{\mathrm{C}^{ (1) }_{{\mathcal {D}}}}{\Vert \mathrm{C}^{ (1) }_{{\mathcal {D}}}\Vert }\) depends only on \({{\mathcal {D}}}_1=({\varLambda } _1, \mathrm{l}_1, p_1, q_1)\), while \(x^{ (2) }_{{\mathcal {D}}}\) depends only on \({{\mathcal {D}}}_2=({\varLambda } _2, \mathrm{l}_2, p_2, q_2)\). We have used Proposition 9 with a given \({\widetilde{w}}\in {\mathbb R} ^3\), \({{\mathcal {C}}}_2={{\mathcal {D}}}_2\) and next we have taken \({\widetilde{w}}=\mathrm{r}_{1, {{\mathcal {D}}}} \frac{\mathrm{C}^{ (1) }_{{\mathcal {D}}}}{\Vert \mathrm{C}^{ (1) }_{{\mathcal {D}}}\Vert }\).
Third Step. Applying \((\phi _{{\mathcal {C}}}^{{\mathcal {D}}})^{-1}\), we conclude the proof. \(\square \)
5.2 Is the two-centre Hamiltonian renormalizably integrable?
In this section, we outline an underlying open problem in the framework of the paper. We pose a conjecture that we aim to study in further work, which, if proved, may be applied to the two-centre Hamiltonian (8), so as to obtain a stronger assertion than Proposition 6.
Throughout the section, \(V\subset {\mathbb R} \), \({{\mathcal {U}}}\subset {\mathbb R} ^2\) are domains, \((I,{\varphi } )\in {{\mathcal {I}}}\times {\mathbb T} \), \((p,q)\in {{\mathcal {U}}}\) are pairwise conjugate canonical coordinates. We shall be concerned with real-analyticFootnote 9 functions (“Hamiltonians”) for \((I, {\varphi } , p,q,{\mu } )\in {{\mathcal {P}}}={{\mathcal {I}}}\times {\mathbb T} \times {{\mathcal {U}}}\times (-{\mu } _0, {\mu } _0)\) having the form:
Definition 4
We say that \( \overline{h} \) is in p–normal form if there exist \(\{ \overline{h} _k( \overline{I} , \overline{p} , \overline{q} )\}_{k=0, \ldots , p}\) \(h_k: V\times {{\mathcal {U}}}\rightarrow {\mathbb R} \) such that
The following result is well known and hence will be not discussed.
Proposition 13
Let h be as in (70). For any \(p\in {\mathbb N} \), it is possible to find a real-analytic, canonical and \({\mu } \)-close to the identity transformation
such that \( \overline{h} := h \circ \phi \) is in p-normal form:
with \( \overline{h} _0( \overline{I} , \overline{p} , \overline{q} )=h_0( \overline{I} )\).
Lemma 4
Let h be in p-normal form and let g be a first integral of h. Then
-
(i)
g is in p-normal form;
-
(ii)
\(\{ \overline{h} _1, \overline{g} \}=\mathrm{O}({\mu } ^{p})\), where \( \overline{h} _1(I, p, q, {\mu } ):=\sum _{k=1}^p \overline{h} _k( \overline{I} , \overline{p} , \overline{q} ){\mu } ^k\).
Proof
(i) Let
denote the Taylor–Maclaurin series in \({\mu } \) of g. We prove that the functions \( \overline{g} _j\) are \({\varphi } \)-independent for all \(0\le j\le p\). We proceed by induction on j. Since \( h (\cdot , \cdot , \cdot , \cdot , {\mu } )\) and \( g (\cdot , \cdot , \cdot , \cdot , {\mu } )\) Poisson commute for all \({\mu } \in (-{\mu } _0, {\mu } _0)\), we find
where we have used that \( h _0\) depends only on I. Since, by assumption, \(\partial _I h _0(I)\not \equiv 0\), it follows that \(\partial _{\varphi } \overline{g} _0(I,{\varphi } , p, q)\equiv 0\) and hence \( \overline{g} _0(I, {\varphi } , p, q)\) is \({\varphi } \)-independent, and hence \( \overline{g} _0(I, {\varphi } , p, q)= \overline{g} _0(I, 0, p, q)= g _0\big (I, (p, q)\big )\) for all \({\varphi } \in {\mathbb T} \), with \( g _0\big (I, (p, q)\big )\) as in (ii). So the step \(j=0\) is proved. Assume now that, for a given \(0\le j<p\) and any \(0\le k\le j\), \( \overline{g} _k\) is \({\varphi } \)-independent. Namely, \( \overline{g} _k(I,{\varphi } , p, q)= g _k\big (I, (p, q)\big )\), for some function \( g _k\big (I, (p, q)\big )\), with \(0\le k\le j\). We prove that \( \overline{g} _{j+1}\) is so. Since h and g Poisson commute,
Since \(j+1\le p\), the projection of the left-hand side over the monomial \(\mu ^{j+1}\) vanishes:
In this identity, the term \(\Big \{ h _0, \overline{g} _{j+1}\Big \}\) has vanishing \({\varphi } \)-average, because \( h _0\) depends only on I, while the term \(\sum _{k=0}^{j}\Big \{ h _{j-k+1},\ g _{k}\Big \}\) is \({\varphi } \)-independent, due to the fact that the \( h _{j-k+1}\) (by assumption) and the \( g _{k}\) (by the inductive hypothesis) are so. Therefore, such two terms have to identically vanish separately:
The vanishing of the left-hand side implies, as in the base step, that \( \overline{g} _{j+1}\) is \({\varphi } \)-independent. The vanishing of the right-hand side for all \(0\le j+1\le p\) is a rewrite ofFootnote 10 (ii). \(\square \)
Corollary 1
For any p,
verify
We recall that
Definition 5
We shall refer to the formal series \(\sum _{k=0}^\infty \overline{h} _k( \overline{I} , \overline{p} , \overline{q} ){\mu } ^k\) as perturbative series in \({\mu } \) to h.
Conjecture 1
If h as in (70) has an independent first integral, its perturbative series converges, as well as the perturbative series to g. If \( \overline{h} \), \( \overline{g} \) denote the sum of the two series, \( \overline{h} \) is renormalizably integrable via \( \overline{g} \).
Notes
By “domain” we mean an open and connected set in \({{\mathbb {K}}}={\mathbb R} ^m, {\mathbb C} ^m\).
For simplicity, we refrain to formulate the results in the case that the map \({{\mathcal {C}}}\) in (1) is regular when the eccentricity of \({{\mathbb {E}}}_2\) vanishes, as it happens, for example, in the case of the Poincaré or the rps map.
In Hamiltonian mechanics, f(p, q), g(p, q) are said to be Poisson commuting if their Poisson parentheses \(\{f, g\}:=\sum \partial _p f\partial _q g-\partial _p g\partial _q f\) vanish. Poisson commutation of f and g is equivalent to say that g remains constant along the Hamiltonian motions of f.
\(\mathrm{m}_2\), \(\mathrm{M}_2\), \(\mathrm{M}_1\), correspond to \(\mathrm{m}\), \({{\mathcal {M}}}\), \({\mu } {{\mathcal {M}}}\) in Pinzari (2018a).
Recall the well-known transition formula [see, e.g. Palacián et al. (2017)] \(\displaystyle d\mathrm{l}_2=\frac{\frac{\mathrm{G}_2^3}{{\varLambda } _2^3}}{\left( 1+\sqrt{1-\frac{\mathrm{G}_{2}^2}{{\varLambda } _2^{2}}}\cos \mathrm{f}_2\right) ^2}d\mathrm{f}_2\).
Incidentally, by explicit computation of the integral, we obtain, for even k,
$$\begin{aligned} {\hat{h}}_{npk}({\varLambda } _2, \mathrm{G}_2, \varTheta )= & {} (-1)^k\left( 1-\frac{\varTheta ^2}{\mathrm{G}_2^2}\right) ^{p/2} \left( \begin{array}{llrr} p\\ k \end{array} \right) \frac{1}{2\pi a_2^{n+1}}\nonumber \\&\sum _{j=0}^{n-1}\sum _{r=0}^{k/2}(-1)^r\left( \begin{array}{cc} n-1\\ j \end{array} \right) \left( \begin{array}{cc} k/2\\ r \end{array} \right) \left( 1-\frac{\mathrm{G}_2^2}{{\varLambda } _2^2}\right) ^{j/2}\frac{(j+p-k+2r-1)!!}{(j+p-k+2r)!!}, \end{aligned}$$where only terms with j having the same parity as p appear.
The reader should not confuse the function \(h_{12}\) above with what is commonly called “doubly averaged Newtonian potential”, defined as
$$\begin{aligned} \overline{h} _{12}:=\frac{1}{(2{\pi } )^2}\int _{{\mathbb T} ^2}\frac{d \ell _1d\ell _2}{\Vert x_{{\mathcal {C}}}^{ (1) }-x^{ (2) }_{{\mathcal {C}}}\Vert } \end{aligned}$$even though, in the case that \({{\mathbb {E}}}_1\) has identically vanishing eccentricity and \({{\mathcal {C}}}\) is regular in this limit, \(h_{12}\) and \( \overline{h} _{12}\) coincide.
Following the standard terminology, a real function h is said to be real-analytic on a domain \({{\mathcal {P}}}\subset {\mathbb R} ^p\) if there exists an open set \({\hat{{{\mathcal {P}}}}}\), with \({{\mathcal {P}}}\subset {\hat{{{\mathcal {P}}}}}\subset {\mathbb C} ^p\), such that h has a holomorphic extension on \({\hat{{{\mathcal {P}}}}}\).
Alternatively, observe that, since \( \overline{g} \) is independent of \({\varphi } \) up to the order \(\mathrm{O}({\mu } ^{p+1})\) and h, g do Poisson commute, by (71),
$$\begin{aligned} {\mu } \{ \overline{h} _1,\ \overline{g} \}=\{ h _0,\ \overline{g} \}+{\mu } \{ \overline{h} _1,\ \overline{g} \}+\mathrm{O}({\mu } ^{p+1})=\{ \overline{h} ,\ \overline{g} \}+\mathrm{O}({\mu } ^{p+1})=\{ h,\ g \}+\mathrm{O}({\mu } ^{p+1})=\mathrm{O}({\mu } ^{p+1}). \end{aligned}$$
References
Abdullah, K., Albouy, A.: On a strange resonance noticed by M. Herman. Regul. Chaotic Dyn. 6(4), 421–432 (2001)
Arnold, V.I.: Small denominators and problems of stability of motion in classical and celestial mechanics. Russ. Math. Surv. 18(6), 85–191 (1963)
Bekov, A.A., Omarov, T.B.: Integrable cases of the Hamilton–Jacobi equation and some nonsteady problems of celestial mechanics. Sov. Astron. 22, 366–370 (1978)
Chierchia, L., Pinzari, G.: The planetary \(N\)-body problem: symplectic foliation, reductions and invariant tori. Invent. Math. 186(1), 1–77 (2011)
Deprit, A.: Elimination of the nodes in problems of \(n\) bodies. Celest. Mech. 30(2), 181–195 (1983)
Féjoz, J.: Démonstration du ‘théorème d’Arnold’ sur la stabilité du système planétaire (d’après Herman). Ergod. Theory Dyn. Syst. 24(5), 1521–1582 (2004)
Féjoz, J.: Quasi periodic motion in the planar three-body problem. J. Differ. Equ. 183, 303–341 (2002)
Féjoz, J.: On “Arnold’s theorem” in celestial mechanics -a summary with an appendix on the Poincaré coordinates. Discrete Contin. Dyn. Syst. 3, 3555–3565 (2013)
Féjoz, J., Guardia, M.: Secular instability in the three-body problem. Arch. Ration. Mech. Anal. 221(1), 335–362 (2016)
Gallavotti, G.: Phénomènes critiques, systèmes aléatoires, théories de jauge, Quasi-integrable mechanical systems, pp. 539–624, Amsterdam (1986)
Giorgilli, A.: Appunti di Meccanica Celeste. http://www.mat.unimi.it/users/antonio/meccel/meccel.html (2008)
Harrington, R.S.: The stellar three-body problem. Celestial Mech. 1(2), 200–209 (1969)
Jacobi, C.G.J.: Sur l’élimination des nœuds dans le problème des trois corps. Astron. Nachr. Bd XX, 81–102 (1842)
Laskar, J., Robutel, P.: Stability of the planetary three-body problem. I. Expansion of the planetary Hamiltonian. Celest. Mech. Dyn. Astron. 62(3), 193–217 (1995)
Meyer, K.R., Palacián, J.F., Yanguas, P.: Singular reduction of resonant Hamiltonians. Nonlinearity 31(6), 2854–2894 (2018)
Palacián, J.F., Sayas, F., Yanguas, P.: Regular and singular reductions in the spatial three-body problem. Qual. Theory Dyn. Syst. 12(1), 143–182 (2013)
Palacián, J.F., Vanegas, J., Yanguas, P.: Compact normalisations in the elliptic restricted three body problem. Astrophys. Space Sci. 362, 215 (2017)
Pinzari, G.: Canonical coordinates for the planetary problem. Acta Appl. Math. 137(1), 205–232 (2015)
Pinzari, G.: Exponential stability of Euler integral in the three–body problem. arXiv:1808.07633 (2018)
Pinzari, G.: Perihelia reduction and global Kolmogorov tori in the planetary problem. Mem. Am. Math. Soc. 255, 1218 (2018)
Sundman, K.F.: Sur les conditions nécessaires et suffisantes pour la convergence du développement de la fonction perturbatrice dans le mouvement plan. Öfvers af FVS. förh 58, A:24 (1916)
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflicts of interest
The author declares that she has no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
I wish to thank the Associate Editor and the anonymous Reviewers, who, with their constructive remarks, considerably helped me to improve the presentation of the results. I am indebted to Giacomo Tommei, for providing me reference Bekov and Omarov (1978), which was the starting point of this study. I heartily thank A. Celletti, C. Efthimiopulos, Marcel Guardia, Tere Seara and Lei Zhao for their interest. I am grateful to the Mathematical Sciences Research Institute in Berkeley for its kind hospitality in Fall 2018, during which the paper was written. This research has been funded by the European Research Council (Grant 677793 Stable and Chaotic Motions in the Planetary Problem).
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Pinzari, G. A first integral to the partially averaged Newtonian potential of the three-body problem. Celest Mech Dyn Astr 131, 22 (2019). https://doi.org/10.1007/s10569-019-9899-z
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10569-019-9899-z