Abstract
The Kepler potential \(\propto {-1/r}\) and the harmonic potential \(\propto r^2\) share the following remarkable property: In either of these potentials, a bound test particle orbits with a radial period that is independent of its angular momentum. For this reason, the Kepler and harmonic potentials are called isochrone. In this paper, we solve the following general problem: Are there any other isochrone potentials, and if so, what kind of orbits do they contain? To answer these questions, we adopt a geometrical point of view initiated by Hénon (Annales d’Astrophysique 22:126–139, 1959a, 22:491–498, 1959b), in order to explore and classify exhaustively the set of isochrone potentials and isochrone orbits. In particular, we provide a geometrical generalization of Kepler’s third law, and give a similar law for the apsidal angle, of any isochrone orbit. We also relate the set of isochrone orbits to the set of parabolae in the plane under linear transformations and use this to derive an analytic parameterization of any isochrone orbit. Along the way, we compare our results to known ones, pinpoint some interesting details of this mathematical physics problem and argue that our geometrical methods can be exported to more generic orbits in potential theory.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The concept of isochrony in physics can be traced back to Galileo’s pendulum and his discovery of isochrone oscillations: the period of (small) oscillations of a simple pendulum is independent of its initial conditions. In modern classical mechanics, the one-dimensional motion of an oscillator or small oscillations of a pendulum is characterized by harmonic potentials \(\psi (q)=\omega ^2 q^2/2\) where \(\omega \) is the common pulsation to all orbits and q represents the varying amplitude of the oscillation through time. In general or theoretical physics, the concept of isochrony is crystallized around this fundamental potential: This notion is reducted to potentials V which offer constant periods for all solutions of the ordinary differential equation \(\ddot{q}+\partial _q V(q)=0\) (see Sfecci 2015 and reference therein). Applications for such problems range from scalar field cosmologies (Hawkins and Lidsey 2002) to quantum mechanics (Dorignac 2005); in the former, the isochronous property is often associated with regularly spaced discrete spectra. In all cases, isochrony is appreciated for providing exact models and explicit analytic formulae.
In this paper, we are interested in a more general paradigm which include the historical and classical previous one. It comes from gravitational potential theory applied to astrophysics. It was coined by Michel Hénon in 1959 to qualify a gravitational potential meant to describe globular clusters. As the core of such spherical clusters of stars is roughly homogeneous, their mean field potential is harmonic at small radial distances \(r\ll 1\). By opposition, stars confined to the outer parts only feel a Kepler potential \(\psi (r)=-\mu /r\) associated with a point mass distribution, seeing the cluster from far away \(r\gg 1\). In these two celebrated potentials, bound test particles orbit along ellipses, and their associated orbital period exhibit the striking feature of being independent of the angular momentum of the particle. Michel Hénon then proposed looking for a general potential characterized by this property, in order to describe globular clusters as a whole.
In his seminal paper Hénon (1959a) (in French, for an English version see Binney 2014), he succeeded in solving this ambitious problem and found what he called isochrone potential: \(\psi (r)=-\mu /s\), where \(s:=b^2+\sqrt{b^2+r^2}\) and b is a size parameter closely related to the half-mass radius of the system. While having the requested dynamical properties, the corresponding mass density distribution, obtained by solving the Poisson equation, was in good agreement with some of the observed globular clusters available in 1959. Although the recent refinement of observations has actually revealed a wider diversity, Hénon’s isochrone model remains at the center of cluster modeling for at least two reasons. As the harmonic and Kepler potentials, this potential is fully integrable and its action-angle formalism provides a fundamental basis for both the modeling and simulations of stellar systems (see, e.g., McGill and Binney 1990). More recently, a detailed numerical analysis (Simon-Petit et al. 2019) has showed that the isochrone model could be associated with the initial state of the evolution of singular stellar systems (e.g., globular clusters and/or low surface brightness galaxies), a result that followed an involved extension of many aspects of Hénon’s work on isochrone potentials (Simon-Petit et al. 2018).
The modern version of the isochrony proposed by Simon-Petit et al. (2018) extended many mathematical aspects of the work pioneered by Hénon on isochrone potentials. In particular, other kinds of potentials with the isochrone property were found and classified using elements of group theory and Euclidean geometry. In the present paper, building on these results, we go a step further in two directions. On the one hand, we provide a fully geometrical treatment of the problem first posed by Hénon, namely finding all isochrone potentials. We shall see that with a geometrical treatment, one family of potentials was left aside in Simon-Petit et al. (2018). Therefore, we complete and exhaustively classify all isochrone potentials, based on their physical properties. On the other hand, we study in details the shape, properties and conditions of existence of isochrone orbits, i.e., bounded orbits in isochrone potentials. In particular, we generalize Kepler’s third law to all isochrone orbits, providing a synthetic analytic formula for both the radial period and the apsidal angle. We also detail and fulfill a geometrical program that leads to an analytic parameterization of any isochrone orbit, completing the program started in Simon-Petit et al. (2018).
This paper’s main content is the solution to a problem of mathematical physics: finding the complete set of isochrone potentials and describing the isochrone orbits. It is remarkable that it can be solved analytically and that everything is expressible in terms of elementary functions. Furthermore, these solutions can be obtained using elementary Euclidean geometry. We stress that, physically speaking, the isochrone potentials with interesting properties are the Kepler, the harmonic and the Hénon one, as was already found by Hénon. All other potentials are necessary to get the complete picture of isochrony, but present somewhat unfamiliar physical properties that shall be discussed. They may nonetheless be of some interest as toy models for astrophysics or electrodynamics and also for academic purposes. Many of our results and geometrical methods are relevant to orbits in any central potential, as shall be pointed out in the text. This paper is organized in four main sections, as follows:
\(\bullet \) In Sect. 2, we briefly mention well-known results about bounded orbits in central potentials, along with our notations and conventions (Sect. 2.1). We define the notion of isochrony for potentials and the Hénon variables (Sect. 2.2) that shall be used throughout the paper.
\(\bullet \) The aim of Sect. 3 is twofold: First, we derive an explicit formula for the radial period in an arbitrary isochrone potential in terms of geometrical quantities (Sect. 3.1), and second, we use this formula to give a geometrical proof that isochrone potentials are parabolae in Hénon’s variable (Sect. 3.2). This proof is inspired by the findings of Archimedes.
\(\bullet \) Based on these results, in Sect. 4 we first sum up some generalities on parabolae (Sect. 4.1) in the plane. We then discuss the physical and mathematical properties of the associated potentials (Sect. 4.2) and draw the bifurcation diagram that ensures the existence of periodic orbits, in terms of the energy and angular momentum of the test particle. This is necessary to give an exhaustive classification of isochrone potentials (Sect. 4.3).
\(\bullet \) This leads naturally to Sect. 5 where our main and new results are stated. We provide a generalization of Kepler’s third law (Sect. 5.1) for all isochrone orbits, for both the radial period and the apsidal angle. We discuss their geometrical meaning in various context. We then show how to geometrically derive an analytic parameterization of any orbit in any isochrone potential (Sect. 5.2). Lastly we depict some isochrone orbits, analyze their properties and classify them (Sect. 5.3).
Throughout the paper, we emphasize on the geometry of the problem, fill in some gaps that may be found in Simon-Petit et al. (2018) and pinpoint some interesting mathematical physics details. Computations that are not central to the results are left in the appendices.
2 Periodic orbits in central potentials
In this first section, the aim is to lay down the definitions and notations that shall be used in this paper. First, in Sect. 2.1, we derive some standard results regarding periodic orbits of test particles in a given central potential. In Sect. 2.2, we define the qualifier isochrone for a central potential, as well as the Hénon variables that shall be used throughout the paper.
2.1 Basic definitions
Let us consider the three-dimensional Euclidean space and an inertial frame of reference equipped with the usual spherical coordinates \((r,\theta ,\varphi )\) and the associated natural basis \((\mathbf {e}_r,\mathbf {e}_\theta ,\mathbf {e}_\varphi )\). We assume that around the origin \(O=(0,0,0)\) lies a spherically symmetric distribution of matter with mass density \(\rho (r)\). This system generates a gravitational potential, denoted \(\psi (r)\), that obeys Poisson’s equation
where a prime \(^{\prime }\) denotes a differentiation with respect to r and G is the universal gravitational constant.Footnote 1 We shall also use the usual dot \(\dot{r}\) for the time derivative \({\mathrm {d}}r / {\mathrm {d}}t\).
Let us now consider a test particle of mass m orbiting this system, with position vector \(\mathbf {r}\) and velocity vector \(\mathbf {v}:={\mathrm {d}}\mathbf {r} / {\mathrm {d}}t\). From the spherical symmetry, the angular momentum \(\mathbf {L}:=m \mathbf {r}\times \mathbf {v}\) of the particle is conserved. Its norm can be computed explicitly and is given by \(|\mathbf {L}|=mr^2\dot{\theta }\), with the usual notation \(\dot{\theta }={\mathrm {d}}\theta / {\mathrm {d}}t\) for the time derivative. The total energy E of the particle, sum of a kinetic term \(m|\mathbf {v}|^2/2\) and a potential term \(m\psi \), is conserved as well. Let us introduce \(\xi := E/m\), the (total) energy of the particle per unit mass and \(\varLambda := |\mathbf {L}|/m\), the (norm of the) angular momentum per unit mass. The explicit computation of the energy in terms of r yields the following energy conservation equation
Since \(E, \mathbf {L}\) and m are conserved quantities, \(\xi \) and \(\varLambda \) are two constants of motion for the particle. In a given potential \(\psi \), the quantities \((\xi ,\varLambda )\) are sufficient to know everything about the dynamics of a particle, up to initial conditions. Accordingly, we may abuse notation and speak of \((\xi ,\varLambda )\) as a particle. Along with some initial conditions, Eq. (2) is a nonlinear ordinary differential equation for the function \(t\mapsto r(t)\). We are interested in orbits and therefore will consider bounded solutions to Eq. (2).
Since the orbit is bounded and the function r continuous, we may define \(r_P\) and \(r_A\) as the minimum and maximum values of r(t). Accordingly, we will sometimes use the notation \([r_P,r_A]\) for an orbit since, physically, \(r_P\) is (the radius of) the periapsis, i.e., the point along the orbit closest to O and \(r_A\) that of the apoapsis, the one farthest from O. At these turning points, the radial velocity \(\dot{r}\mathbf {e}_r\) vanishes and \(\dot{r}\) changes sign. Consequently, by Eq. (2), \(r_P\) and \(r_A\) are two solutions to the following algebraic equationFootnote 2
where we have introduced the effective potential\(\psi _e(r)\), sum of the potential \(\psi (r)\) and the centrifugal term \(\varLambda ^2/2r^2\). Note that when there is unique solution \(r_C\) to Eq. (3), the associated orbit is circular, of radius \(r=r_C\). This can always be seen as the degenerate case \(r_P\rightarrow r_A\).
It is customary to use the effective potential to study geometrically the orbit of a particle, depending on its energy. As depicted in Fig. 1, one plots the function \(\psi _e\) for a given value of \(\varLambda \) and then draws a line of height \(\xi \). By construction, any choice of initial conditions will yield \(\xi \ge \min {\psi _e}\). When there are two intersections between the line \(y=\xi \) and the curve \(y=\psi _e(r)\), the orbit is non-circular and one can read the periapsis \(r_P\) and apoapsis \(r_A\) as the abscissae of the intersection points. When there is only one intersection, its abscissa is the orbital radius \(r_C\) and the orbit is circular. Furthermore, at \(r=r_C\) the tangent to the curve is the horizontal line \(y=\xi \), and therefore, \(\psi _e^{\prime }(r_C)=0\). Two examples of this well-known construction are depicted in Fig. 1 for two particles with same energy, but different angular momenta.
We stress that, by virtue of Eq. (2), the quantity \(\xi -\psi _e(r)\propto \dot{r}^2\) should always be strictly positive when \(r(t)\in ]r_P,r_A[\), and vanish at \(r_P\) and \(r_A\), by definition. This remark is important for later, so we summarize it geometrically as
2.1.1 Radial period
It is a remarkable result of Hamiltonian dynamics that any bounded and continuous solution to Eq. (2) must be periodic (Arnol’d 1995). In other words, if an orbit is bounded in a central potential, it is necessarily radially periodic. We shall denote by T the radial period (the period in short hereafter), i.e., the smallest \(T\in \mathbb {R}\) such that \(r(t+T)=r(t)\) for all \(t\ge 0\). Note that T always exists for bound orbits, and it should not be confused with the period of motion of the particle (i.e., the period of \(t\mapsto \mathbf {r}(t)\in \mathbb {R}^3\)), which only exists if the orbit is closedFootnote 3 in real space (to be discussed below).
For a generic, non-circular orbit,Footnote 4 one can get a formula for T by first isolating the variables t and r in Eq. (2). This yields
In this formula, the \(+\) sign corresponds to an increasing radius r(t), i.e., when the particle goes from \(r_P\) to \(r_A\), whereas the—sign corresponds to a decreasing radius, i.e., when the particle comes from \(r_A\) back to \(r_P\). Integrating Eq. (5) over a full period and taking into account the two different signs provides the following integral formula for the period
Notice that the bounds of the integral \(r_P\) and \(r_A\) are precisely the values making the denominator vanish, by virtue of Eq. (3). The fact that \(x\mapsto 1/\sqrt{x}\) is integrable near 0 ensures the convergence of the integral.Footnote 5
2.1.2 Apsidal angle
Let a particle \((\xi ,\varLambda )\) be at position \((r(t),\theta (t))\) on its orbit at some time t (red point on the right of Fig. 2). The radial period T corresponds to the time taken for the particle to go back to the radius r(t) (with sign of \(\dot{r}\)). This does not mean, however, that the orbit itself is a closed curve in real space. It will be the case only if after a period T, the new angle \(\theta (t+T)\) is equal to \(\theta (t)+q\pi \), for some \(q\in \mathbb {Q}\). The orbit then closes after a number of radial periods equal to the denominator of q.
To quantify this, let us define the quantity \(\varTheta :=\theta (t+T)-\theta (t)\). It is a constant angle along the orbitFootnote 6 that corresponds physically to the angle difference between two positions, a period T apart. In orbital mechanics, it is customary to take the angle difference between two successive periapsis, as depicted in Fig. 2. Therefore, we shall call \(\varTheta >0\) the apsidal angle. When \(\varTheta \) is a rational multiple of \(\pi \), the orbit depicts a closed curve in real space. Otherwise, the orbit densely fills the shell region \(r\in [r_P,r_A]\).
An integral formula can be obtained for \(\varTheta \), by using the conservation of angular momentum \(\varLambda =r^2\dot{\theta }\). This equation gives \({\mathrm {d}}\theta =\varLambda {\mathrm {d}}t / r^2\), which, when combined with Eq. (5) and integrated over one period, gives easily
Once again, we stress that Eq. (7) is valid for a generic, non-circularFootnote 7 orbit \([r_P,r_A]\), the convergence of the integral (7) being justified by the same argument that was used for T in Eq. (6).
2.1.3 Radial action
The Hamiltonian formulation of a test particle orbiting in a central potential allows us to define the so-called radial action\(A(\xi ,\varLambda ) \propto \int _{r_P}^{r_A} \dot{r}(t) {\mathrm {d}}r\), see, e.g., Binney and Tremaine (2008). Explicitly, using Eq. (2), this action is defined for any orbit \([r_P,r_A]\) and reads
The radial action acts as a generating function for the radial period \(T(\xi ,\varLambda )\) and the apsidal angle \(\varTheta (\xi ,\varLambda )\). Without going into too much detail, which can be found, e.g., in Sect. 6 of Binney and Tremaine (2008), one can think of T and \(\varTheta \) as the frequencies associated with the angle-action variables of the dynamics. In particular, we can set
and this coincides with the definitions (6) and (7), respectively. The definitions (9) give an important result that we shall keep in mind: Tdepends only on\(\xi \)if and only if\(\varTheta \)depends only on\(\varLambda \). This is immediate from Eq. (9) since \(\partial _{\varLambda }T \propto \partial _{\xi }\varTheta \) by swapping the order of derivatives using Schwartz’s theorem.
2.2 Isochrony and Hénon’s variables
2.2.1 Hénon’s definition of isochrony
For a generic central potential \(\psi \), the radial period T and the apsidal angle \(\varTheta \) are functions of both \(\xi \) and \(\varLambda \), as should be clear in view of Eqs. (6) and (7). In this paper, we are particularly interested in the class of isochrone potentials. A central potential \(\psi \) is called isochrone if all periodic orbits it generates are such that T is a function of the energy of the particle only, i.e., \(T=T(\xi )\). In an isochrone potential, particles with the same energy share the same period, whence the name. As we have mentioned above (see Eq. (9)), we thus have an alternative characterization of isochrony, namely that \(\varTheta \) depends on \(\varLambda \) only (and not on \(\xi \)). In the end, one should keep in mind the following result
Isochrone potentials were introduced and studied first by Michel Hénon in 1959. In a series of three papers Hénon (1959a, b, 1960), he studied their physical properties, the orbits they generate and their application to astrophysics, respectively. Historically, the interest of Hénon in the isochrone property was motivated during his study of globular clusters (a particular spherical collection of stars). He knew that these systems were isolated and had a homogeneous core. He also knew that a constant density profile is associated with an harmonic potential (\(\psi \propto r^2\)), and that outside any isolated spherical system, the potential is Keplerian (\(\psi \propto -1/r\)). Consequently, Hénon wanted to find a potential that could interpolate these two. He noticed, quite remarkably, that one common feature of the Kepler and the harmonic potentials was isochrony, and this led him to try and find other isochrone potentials. After quite a remarkable analysis, he succeeded in finding a third potential with this property, nowadays commonly known as theFootnote 8 isochrone potential (Binney and Tremaine 2008) that would help describe the density profiles of some stellar systems (Hénon 1960).
2.2.2 Hénon’s variables for central potentials
The effective potential method, presented in Fig. 1, mixes the properties of the potential \(\psi \) with that of the test particle \((\xi ,\varLambda )\), as \(\psi _e\) includes the centrifugal term \(\varLambda ^2/2r^2\). In particular, it is unpractical to draw and compare the orbits of two particles with different \((\xi ,\varLambda )\) in a given potential \(\psi \). In other words, a line \(y=\xi \) crossing the curve \(y=\psi _e(r)\) does not characterize a unique particle, as \(\varLambda \) is encoded in \(\psi _e\) and not in that line. We define in this section Hénon’s variables, which provide a way of working around this problem.
In his seminal paper on isochrony (Hénon 1959a), Michel Hénon introduced a change of variables in order to compute some complicated integrals. These variables have a much broader use that we shall exploit here. Instead of working with the physical radius r and the physical potential \(\psi (r)\), let us introduce the Hénon variables x and Y(x) defined by
Since Y(x) and \(\psi (r)\) are in a one-to-one correspondence through Eq. (11), the x variable can still be thought of as a radius and Y as a potential, and we shall sometimes abuse and speak of the radius x and the potential Y, always referring to this duality. In terms of the Hénon variables, the energy conservation (2) can be rewritten in the following evocative form
In view of the paragraph above Eq. (3), the apoapsis and periapsis \(x_A:=2r_A^2\) and \(x_P:=2r_P^2\) in Hénon’s variables are given by the intersection between the curve \({\mathscr {C}}:y=Y(x)\) and the straight line \({\mathscr {L}}:y=\xi x-\varLambda ^2\), as can be read off the right-hand side of Eq. (12). Furthermore, it is clear that line \({\mathscr {L}}\) should always lie above curve \({\mathscr {C}}\) since the left-hand side of Eq. (12) is always positive. In what follows, \({\mathscr {L}}\) will always denote a line of equation \(y=\xi x-\varLambda ^2\), associated with a particle \((\xi ,\varLambda )\), and \({\mathscr {C}}\) will always be the curve of equation \(y=Y(x)\), associated with a potential \(Y(x)=2r^2\psi (r)\). We note that, in terms of Hénon’s variables, the conservation of angular momentum reads
Hénon’s variables (x, Y(x)) take advantage of the fact that a particle is entirely described by two numbers \((\xi ,\varLambda )\), and is therefore in a one-to-one correspondence with a line that has two degrees of freedom (e.g., the slope and the y-intercept). The potential Y(x) corresponds to a unique curve \({\mathscr {C}}\), and a particle \((\xi ,\varLambda )\) is associated with a unique straight line \({\mathscr {L}}\). If \({\mathscr {L}}\) intersects \({\mathscr {C}}\) and lies above it, this particle orbits periodically the origin as detailed in Fig. 3. The advantage is that for a given potential Y(x), one can draw any particles and compare their orbital properties (which is not possible with the \((r,\psi _e)\) variables).
3 A geometrical characterization of isochrony
This section aims at giving a geometrical characterization of isochrony. In Sect. 3.1, we derive the Hénon formulae which give T and \(\varTheta \) explicitly for isochrone potentials. In Sect. 3.2, we give a geometrical proof that the Hénon formula for T implies that the potential Y must be an arc of parabola. We follow the notation introduced in the last section using Hénon’s variables: A particle \((\xi , \varLambda )\) is associated with a line \({\mathscr {L}}:y=\xi x-\varLambda ^2\), and \({\mathscr {C}}:y=Y(x)\) is the curve of an arbitrary isochrone potential \(Y(x)=2r^2\psi (r)\).
3.1 Hénon’s formulae
This subsection is split into three parts. In the first, we integrate Eq. (6) explicitly, for any central potential, following a method of Hénon (1959a). Assuming isochrony, we simplify in the second part this result to get the Hénon formula for T. The third part presents more briefly this computation for \(\varTheta \).
3.1.1 Computing the integral for T
As we motivated below Eq. (12), we start by performing in Eq. (6) the change of variables \(r\rightarrow x=2r^2\) and we introduce the potential \(Y(x)=2r^2\psi (r)\). We readily obtain the following expression
The bounds of the integral are \(x_P:=2r_P^2\) and \(x_A:=2r_A^2\ge x_P\). In the (x, y) plane, the quantity D appearing in Eq. (14) is the vertical distance between the curve \({\mathscr {C}}\) and the line \({\mathscr {L}}\). The fact that \(D(x)\ge 0\) is ensured by the very existence of the orbit, or equivalently by Eq. (12), as discussed in the last section.
Since the curve \({\mathscr {C}}\) is smooth and lies below \({\mathscr {L}}\) on \([x_P,x_A]\), there exists a line \({\mathscr {L}}_C\) that is both parallel to \({\mathscr {L}}\) and tangent to \({\mathscr {C}}\) at some point C of abscissa \(x_C \in [x_P,x_A]\). This line intersects \({\mathscr {C}}\) exactly once and corresponds to a particle with a circular radius \(r_C\), such that \(x_C=2r_C^2\). Moreover, \({\mathscr {L}}\) and \({\mathscr {L}}_C\) are parallel and therefore associated with particles that share the same energy \(\xi \). Consequently, we may write \({\mathscr {L}}_C:y=\xi x-\varLambda _C^2\), where \(\varLambda _C\) is the angular momentum of the other particle, on the circular orbit.
With the help of this secondary line \({\mathscr {L}}_C\), we may rewrite the distance D of Eq. (14) as the difference \(\ell ^2 - z(x)^2\), where \(\ell ^2:=\varLambda _C^2 - \varLambda ^2 > 0\) is the vertical distance between \({\mathscr {L}}\) and \({\mathscr {L}}_C\), and \(z(x)^2 := Y(x) - ( \xi x - \varLambda _C^2 ) >0 \) is the vertical distance between \({\mathscr {C}}\) and \({\mathscr {L}}_C\) (see Fig. 4). We denote the latter by a squared quantity \(z(x)^2\), so that we may conveniently choose \(z(x)\le 0\) on \([x_P,x_C]\) and \(z(x)\ge 0\) on \([x_C,x_A]\). We stress that this is nothing but a convention: The positive distance is still \(z(x)^2\ge 0\), but the sign of z(x) depends on where we are on \([x_P,x_A]\).
These new quantities are depicted in Fig. 4, and upon insertion in Eq. (14), we obtain
Now, by construction, z(x) varies monotonically on \([x_P,x_A]\): It is negative, and increasing on \([x_P,x_C]\), it hits zero at \(x_C\) and it is positive and increasing again on \([x_C,x_A]\). We can therefore perform the change of variables \(x \rightarrow z(x)\) in Eq. (15). We readily obtain
It is now natural to perform in Eq. (16) one last change of variables, namely \(z \rightarrow \ell \sin \phi \), with \(\phi \) varying between \(-\pi /2\) and \(\pi /2\), corresponding to \(z=-\ell \) and \(z=\ell \), respectively. We then get
We cannot, in general, compute explicitly the integral in Eq. (17), for \(f'\) is but a generic, unspecified function that depends on the potential and the particle. However, assuming that the potential is regular enough, we can expand the function \(f^{\prime }\) as a Taylor expansion at zero, i.e., write \(f^{\prime }(z) = a_0 + \sum _{n\ge 1} a_n z^n\). Inserting this in Eq. (17) and integrating term by term give
Note that only the even terms \(a_{2n}\) remain since the integral of the odd function \(\sin ^{2n+1}\) vanishes over the symmetric interval \([-\pi /2,\pi /2]\). The integral \(W_n\) is the celebrated Wallis integral, and can be given explicitly. Notice that Eq. (18) is valid for any potential and any particle orbiting within it. Both the coefficients \(a_n\) and \(\ell \) depend on \((\xi ,\varLambda )\) and the properties of the potential. As such, it is not that useful. However, for isochrone potentials, it is of considerable interest.
3.1.2 Explicit formula for T
So far, what we have done does not take advantage of the isochrony property, and Eq. (18) is valid for any particle \((\xi ,\varLambda )\) in any central potential Y(x). In particular, we insist that the coefficients \(a_n\) appearing in Eq. (18) are all function of \(\xi \) and \(\varLambda \), a priori. Now let us fix the energy \(\xi \) of the particle. If the potential is isochrone, then by definition T is independent of \(\varLambda \), and so is the right-hand side of Eq. (18). We may therefore choose \(\varLambda =\varLambda _C\), i.e., \(\ell =0\), so that the last term on the right-hand side of Eq. (18) vanishes, and we readily find that
Now Eq. (19) is true for any \(\varLambda \). (Actually, it is independent of \(\varLambda \).) The combination of Eqs. (18) and (19) implies that the sum on the right-hand side of Eq. (18) is a power series in \(\ell \) that vanishes for any \(\ell \). By a classical result on power series, this is true if and only if all the coefficients of the power series vanish, i.e., \(a_{2n}W_{2n}=0\) for all \(n\ge 1\). Since the Wallis integrals \(W_n\) are all nonzero, we conclude that, if the potential is isochrone, \(a_{2n}=0\) for all \(n\ge 1\). In particular, the Taylor expansion of \(f'\) now reads
The last step consists in finding explicitly the coefficient \(a_0\) appearing in Eq. (19). To this end, we integrate Eq. (20) over \([z(x_P),z(x_A)]=[-\ell ,\ell ]\). On the left-hand side, we use \(f(z_A)=x_A\) and \(f(z_P)=x_P\) (which follows from the definition \(x=f(z)\)). On the right-hand side, the first term is a mere constant, and the second term is an odd function of z: Its integral over \([-\ell ,\ell ]\) will vanish. Consequently, the integrated result is simply \(x_A-x_P=2\ell a_0\). With the help of \(\ell ^2=\varLambda _C^2-\varLambda ^2\) and Eq. (19), we obtain the following explicit formula for \(T(\xi )\)
Let us make a few remarks on Eq. (21). First, and quite remarkably, we stress that altough both \(x_A-x_P\) and \(\sqrt{\varLambda _C^2-\varLambda ^2}\) depend explicitly on \(\varLambda \), their ratio does not, since T is independent of \(\varLambda \) by assumption.
Second, if we square both sides of the equation, we observe that the horizontal distance \(x_P-x_A\) squared is proportional to the vertical one \(\varLambda _C^2-\varLambda ^2\), and that the constant of proportionality, namely \(16T^2/\pi ^2\), is independent of \(\varLambda \). We shall use this geometrical result to prove that the curve \({\mathscr {C}}\) must be a parabola in the (x, y) plane.
Third, we insist that this relation is valid for all isochrone potentials, even though their explicit form is unknown at this stage. In particular, given an isochrone potential, the radial period of any orbit can be read simply by drawing the line \({\mathscr {L}}\) intersecting the curve \({\mathscr {C}}\), and then finding the secondary line \({\mathscr {L}}_C\) that is both parallel to \({\mathscr {L}}\) and tangent to \({\mathscr {C}}\).
Lastly, let us mention that formula (21) for the period T in not entirely new: It can be found as an intermediate equation in the seminal paper of Hénon (1959a) (with a missing factor of 1/2 there). In fact, our method here is similar to his, altough more detailed. Hénon did not seem to be interested in this particular equation, perhaps because his main goal was not to obtain a formula for the period. Yet, we shall see that this equation is rather central in the context of isochrony.
3.1.3 Explicit formula of \(\varTheta \)
In the last paragraphs, we were able to obtain the explicit formula (21) for \(T(\xi )\). The recipe for the computation went in five steps that can be summarized as follows:
fix \(\xi \) and rewrite the integrand in Eq. (6) as \(1/\sqrt{D(x)}\) using Hénon’s variables,
rewrite D(x) as \(\ell ^2-z(x)\) using the line \({\mathscr {L}}_C\) associated with the circular orbit of same energy (and thus same period),
introduce \(x=f(z)\), and perform the change of variables \(x\rightarrow z\) and then \(z\rightarrow \phi \),
perform a Taylor expansion of \(f\prime \) around 0 and integrate explicitly,
assume that \(\psi \) is isochrone and thus use \(T=T(\xi ,\varLambda \!\!\!/)\) to constrain f and conclude.
Ultimately, the effectiveness of this recipe can be traced back to the Hénon variable \(x=2r^2\) which isolates\(\varLambda \) from the denominator of the integrand in Eq. (6), as can be seen in Eq. (14). Knowing this, it is possible to try and adapt the recipe to find an explicit formula for \(\varTheta \), starting from its integral definition in Eq. (7). As we argued earlier, examining the radial action (8) shows that \(T=T(\xi ,\varLambda \!\!\!/)\) is equivalent to \(\varTheta =\varTheta (\xi \!\!\!/,\varLambda )\). Therefore, one can apply the same recipe provided that one uses a variable that isolates\(\xi \) in the denominator in Eq. (7). The Binet variable \(u:=1/r\) turns out to be the appropriate variable this time.
More precisely, with the Binet variables \(u=1/r\) and the Binet effective potential \(\varPsi _e(u):=\psi _e(1/u)\), it is possible to make a one-to-one dictionary between what was used for T and what can be used for \(\varTheta \). The latter is presented in Table 1. The detailed computation is given in Appendix C. At the end of the computation, for any given \(\varLambda \) we obtain the following formula in the case of isochrone potentials
with \(u_{P,A}:=1/r_{P,A}\). The value \(\xi _C\) depends only on \(\varLambda \) and is the energy to be given to a particle of angular momentum \(\varLambda \) to obtain a circular orbit. Moreover, as we argued earlier for T in Eq. (21) despite appearances the right-hand side of Eq. (22) is independent of \(\xi \).
Just as Eq. (21) will be used in Sect. 5 in order to write a generalized Kepler’s third law for all isochrone orbits, Eq. (22) will be used to find a similar law for the apsidal angle of any isochrone orbit. We shall not use it directly and present a more astute computation, but it is possible to derive, without any trick, this periapsis law directly from Eq. (22).
This apsidal angle law can, in turn, be used to give a proof of Bertrand’s theorem, a well-known result of classical mechanics that states that the only two potentials in which all periodic orbits are closed are the Kepler and the harmonic potentials. In fact, since these two are also isochrone potentials, it should come as no surprise that Bertrand’s theorem is closely related to isochrony. As demonstrated in Simon-Petit et al. (2018), the theorem actually follows from the examination of Eq. (22), once the latter is expressed in terms of \(\varLambda \). Let us mention that the equivalent of Eq. (18) for \(\varTheta \) (Eq. (97)) can be used to give a proof a Bertrand’s theorem with brute force as in Santos et al. (2009) [compare Eq. (20) of Santos et al. (2009) to Eq. (97)].
3.2 Geometry of parabolae
In this section, we provide a geometrical proof that the curve \({\mathscr {C}}:y=Y(x)\) must be a parabolaFootnote 9 in order for the associated potential \(\psi \) to be isochrone. This result was first established by Hénon (1959a), using a very technical argument. It is also found in Simon-Petit et al. (2018) using techniques from complex analysis. In this paper, sticking to the geometrical approach, we present a new, geometrical proof of this remarkable fact, based only on Eq. (21) and a characterization of parabolae that can be traced back to Archimedes.
3.2.1 Archimedean characterization
Archimedes, in his treatise Quadrature of the Parabola,Footnote 10 proved in a series of 24 propositions the following remarkable property shared by all parabolae. On a given parabola \({\mathscr {P}}\), take two points A and B defining a chord AB and a third point C where the tangent to \({\mathscr {P}}\) is parallel to the chord AB. Then the area enclosed by \({\mathscr {P}}\) and AB is four thirds that of the triangle ABC. Although it was not known to Archimedes, it turns out that this property uniquely characterizes parabolae Bényi et al. (2003). In other words, we have the following theorem:
Theorem 1
Let \({\mathscr {C}}\) be an arbitrary smooth curve in the plane, and \({\mathscr {L}}\) any line that intersects \({\mathscr {C}}\) exactly twice, say at points \(P\!\) and A. Let C be the point where the tangent to \({\mathscr {C}}\) is parallel to \({\mathscr {L}}\). Then, if \({\mathscr {T}}\) denotes the triangle \(P\!AC\) and \({\mathscr {S}}\) the region enclosed by \({\mathscr {L}}\) and \({\mathscr {C}}\), the following equivalence holds
Notice that in order for \({\mathscr {C}}\) to be a parabola, the area ratio should be 4/3 for all of its chords. As stated above, the \(\Leftarrow \) result was the aim of Archimedes’ work.
3.2.2 Rewriting of Hénon’s formula
Consider the curve \({\mathscr {C}}:y=Y(x)\) associated with an isochrone potential \(Y(x)=2r^2\psi (r)\). Following the notation used so far, let us take a line \({\mathscr {L}}:y=\xi x - \varLambda ^2\), such that \(P\!\) and A correspond to the periapsis and apoapsis of the orbit of particle \((\xi ,\varLambda )\). Accordingly, the parallel line that passes through C is \({\mathscr {L}}_C:y=\xi x-\varLambda ^2_C\), and defines a circular orbit with the same energy \(\xi \), and thus the same period \(T(\xi )\), given by Eq. (21). If for any line \({\mathscr {L}}\) the areas involved in the theorem are in proportion 4/3, we will have shown that \({\mathscr {C}}\) is a parabola. Therefore, the goal is to find an expression for these areas, using Eq. (21).
First let us do a bit of geometry. We define B to be the orthogonal projection of C on \({\mathscr {L}}\) and take M to be an arbitrary point on CB. We parameterize the length CM by \(h\ge 0\), with the convention \(h=0\) when \(M=C\), and \(h=CB\) when \(M=B\). Next we define a chord \(P^{\prime }A^{\prime }\) that is parallel to \({\mathscr {L}}\) and passes through M. We denote by L(h) the length of that chord \(A^{\prime }\) and \(P^{\prime }\). Note that L(h) varies between 0 (when \(h=0\)) and PA (when \(h=CB\)). All these quantities are depicted in Fig. 5.
Now let us rewrite Eq. (21) in terms of these geometrical quantities. For the numerator, \(x_A-x_P\) is but the horizontal projection of \(P\!A\), and thus, \(x_A-x_P=P\!A\cos \varphi \), where \(\varphi \) is the angle that \({\mathscr {L}}\) makes with the horizontal axis, i.e., \(\varphi =\arctan \xi \). Similarly, for the denominator, \(\varLambda ^2_C-\varLambda ^2\) is simply the vertical projection of CB; consequently, we also have \(\varLambda ^2_C-\varLambda ^2=CB/\cos \varphi \). Inserting these two identities in Eq. (21) gives its geometrical variant
where we used the trigonometric identity \(\cos (\arctan \xi )=(1+\xi ^2)^{-1/2}\). Now, formula (24) has been obtained for any chord \(P\!A\) of the curve \({\mathscr {C}}\), corresponding to a particle of energy \(\xi \). However, by construction, for any h the chord \(P^{\prime }A^{\prime }\) is parallel to \(P\!A\) and thus corresponds to an orbit with the same energy \(\xi \). Therefore, the potential being isochrone, all parallel chords \(P^{\prime }A^{\prime }\) generated by varying h correspond to orbits with the same energy \(\xi \) and therefore the same period \(T(\xi )\). The conclusion is that Eq. (24), which corresponds to the case \(h=CB\), is also verified for any value of h when the potential is isochrone. In other words, for any \(h\in ]0,CB]\), we have
Of course, Eq. (24) is just a particular case of Eq. (25), when \(h=CB\) and \(L(h)=P\!A\).
3.2.3 Computing the areas
With Eq. (25) at hand, we can now turn to the computation of the areas involved in the theorem. For the triangle \(P\!AC\), we have the basis \(P\!A\) and the height CB. For the area between \({\mathscr {C}}\) and \({\mathscr {L}}\), we can simply integrate à la Lebesgue the infinitesimal area \(L(h) {\mathrm {d}}h\), while h varies between 0 and CB. We thus have, respectively
Now we compute these areas and we show that they are in proportion 4/3. For the area of the triangle \({\mathscr {T}}\), we use Eq. (24) to express \(P\!A\) in terms of CB and plug the result in Eq. (26). We obtain the following expression
In a similar manner, the area of the region \({\mathscr {S}}\) can be found by isolating L(h) from Eq. (25) and expressing it in terms of h. Plugging the result in the area formula for \({\mathscr {S}}\) in Eq. (26) and computing the integral explicitly give easily
Comparing Eqs. (27) and (28) shows that, indeed, \(\text {Area} \, ({\mathscr {S}})/\text {Area} \, ({\mathscr {T}})=4/3\). By virtue of the theorem, the claimed result follows: If a potential is isochrone, then the curve \({\mathscr {C}}:y=Y(x)\) in Hénon’s variables is a parabola.
3.2.4 Final remarks
We end this section by answering a question: Why is it that \({\mathscr {C}}\) should be a parabola, and not any other type of curve, when the potential is isochrone? What is so special about parabolae? To understand this, let us focus our attention on a point M of a generic curve \({\mathscr {C}}\) (i.e., non-necessarily a parabola).
Close enough to M, \({\mathscr {C}}\) always looks like a parabola, as can be seen by writing its Taylor expansionFootnote 11 around M. To see this, consider the particular frame (x, y) centered on M where the tangent to \({\mathscr {C}}\) at M is horizontal. These two conditions indicate that \(y(0)=0\) and \(y'(0)=0\), respectively. Therefore, the curve has an implicit equation of the type
For a generic curve, the \(o(x^2)\) in Eq. (29) corrects the local parabolicness of the curve as one moves away from M. However, Eq. (25) shows that the \(o(x^2)\) terms vanishes identically in the case of isochrony. Indeed, in Fig. 5, this particular frame (x, y) we are considering is precisely the one centered on C equipped with coordinates \((x,y)=(L,h)\). Now Eq. (25) may be rewritten as
Since this should be true for all h, or equivalently any x, comparing Eqs. (29) and (30) shows that in the case of isochrony the \(o(x^2)\) vanishes identically as claimed.
To summarize, in Hénon’s variables, any potential always looks, locally, like a parabola, a universal mathematical property encoded in its Taylor expansion. However, isochrony, through Eq. (25), propagates this local property to the global level, constraining the curve to be a parabola, in addition to locally look like one.
Following the same logic, one could ask whether Eq. (22) for \(\varTheta \) could not be used to reach the same result. The central difference is that Eq. (22) is to be read in the (u, y) plane, where orbits correspond to horizontal lines \({\mathscr {L}}:y=\xi \), whereas Eq. (21) is to be read in the (x, y) plane, where orbits correspond to straight lines \({\mathscr {L}}:y=\xi x-\varLambda ^2\). Yet, the Archimedean characterization of parabola requires the areas ratio to be 4/3 for any chord, not just horizontal ones. Therefore, Eq. (22) cannot be used to conclude that \({\mathscr {C}}\) should be a parabola, at least not with the Archimedean characterization.
4 Isochrone parabolae
The result of the last section implies that the curve \({\mathscr {C}}\) of an isochrone potential Y corresponds to (at least an arc of) a parabola. However, not all parabolae will contain the potential of a physically realistic system. The aim of this section is to classify, based on their geometrical properties, the isochrone parabolae, i.e., these that contain the curve \({\mathscr {C}}\) of a well-defined, isochrone potential Y. From now on, we shall always use the notation \({\mathscr {P}}\) for an arbitrary parabola in the plane.
4.1 Generalities on parabolae
We start by a potpourri of algebraic and geometrical properties of parabolae and derive some general results that shall be used throughout the next sections. The implicit equation of a parabola \({\mathscr {P}}\) in the (x, y) plane is
where (a, b, c, d, e) are five real numbers. The quantity \(\delta \) is the discriminant of \({\mathscr {P}}\) and is taken to be nonzero; otherwise, Eq. (31) degenerates into a pair of parallel lines. Without loss of generality, we will assume from now on that \(\delta >0\).Footnote 12
As an algebraic curve, a parabola is not, in general, the graph of a function. It is, however, always the union of such graphs. To see this, let us take a point (x, y) on the parabola \({\mathscr {P}}\) given by Eq. (31). Its ordinate y can be given as a function of its abscissa x by solving Eq. (31) for y. There are two cases depending on the parameter b:
\(\bullet \) when \(b=0\), the whole parabola \({\mathscr {P}}\) is the graph of a function. Its equation is given by
where \(d\ne 0\) since the discriminant \(\delta =ad\ne 0\). For \(d<0\), this parabola opens upwards and we shall say that it is top-oriented. When \(d>0\), it opens downwards and we will say bottom-oriented. Any top- or bottom-oriented parabola crosses the y-axis once, and the ordinate of this point is
\(\bullet \) when \(b\ne 0\), the curve \({\mathscr {P}}\) is the union of two branches, which are actual graphs of a function. Indeed, for a fixed x, Eq. (31) is a quadratic in y equation. Its solutions are easily found to be
where the condition \(4b(\delta x - be) + d^2\ge 0\) ensures the positivity inside the square root. The support of the parabola is the set of x such that \(4b(\delta x - be) + d^2\ge 0\). In particular, there is a unique value
that makes the square root in Eq. (34) vanish. The quantity \(x_v\) is the abscissa of the common point between \({\mathscr {P}}_+\) and \({\mathscr {P}}_-\), where the branches meet and the tangent to \({\mathscr {P}}\) is vertical (cf. Fig. 6). Note that \({\mathscr {P}}_-\) is always convex and always below \({\mathscr {P}}_+\) which is concave.
The sign of b controls the orientation of the parabola. If \(b>0\), we will say that the parabola is right-oriented. Its support is \([x_v,+\infty ]\), and the parabola crosses the y-axis if and only if \(x_v\le 0\). If \(b<0\), we say that it is left-oriented. Its support is \([-\infty ,x_v]\) and it crosses the y-axis if and only if \(x_v\ge 0\).
A left or right-oriented parabola may not always cross the y-axis. When it does, the ordinates of the intersection points are obtained by setting \(x=0\) in Eq. (34). In particular, the convex branch \({\mathscr {P}}_-\) crosses the y-axis at ordinate
This implies that \(d^2 -4 e b^2\) should always be positive for parabolae crossing the y-axis. In particular, we have \(d^2 -4 b^2 e>0\) when there are two intersections. The case \(d^2 -4 e b^2=0 \Leftrightarrow d^2 =4 e b^2\) happens when the two intersections degenerate into one, and its ordinate is simply \(-d/2b^2\).
To summarize, the graph \({\mathscr {C}}\) of an isochrone potential Y(x) must be contained within a parabola \({\mathscr {P}}\) in the plane. From the preceding generalities on parabolae, it follows that \({\mathscr {C}}\) is to be looked for in any of the following families:
top- and bottom-oriented parabolae, whose whole curve \({\mathscr {P}}\) is that of a function defined on \(\mathbb {R}\), cf. Eq. (32),
left-oriented parabolae, whose curve \({\mathscr {P}}\) is the union of a convex branch \({\mathscr {P}}_-\) and a concave branch, \({\mathscr {P}}_+\), each of the two being the graph of a function defined on \(]-\infty ,x_v]\), cf. Eq. (34) with \(b<0\),
right-oriented parabolae, whose curve \({\mathscr {P}}\) is the union of a convex branch \({\mathscr {P}}_-\) and a concave branch, \({\mathscr {P}}_+\), each of the two being the graph of a function defined on \([x_v,+\infty [\), cf. Eq. (34) with \(b>0\).
4.2 Physical portion of the graph
In this section, we examine under which conditions the curve \({\mathscr {C}}\) of the—so far arbitrary—potential \(Y(x)=2r^2\psi (r)\) is a physically and mathematically well-posed, isochrone potential. This will be done in four steps, each consisting on imposing a geometrical hypothesis \(H_i\), \(i=0,\ldots ,3\), on the curve. After each step, some curves will be discarded. At the end of the reduction process, we obtain the complete set of isochrone potentials.
In light of the results of Sect. 3.2, the first hypothesis is
\(\bullet \quad \, H_0\): \({\mathscr {C}}\)must be an arc of parabola. This geometrical requirement ensures that the potential \(\psi \) is isochrone, regardless of its mathematical and physical properties. The next hypotheses are therefore concerned with the parabola \({\mathscr {P}}\) that contains the curve \({\mathscr {C}}\).
4.2.1 Existence of orbits and well-posedness around origin
\(\bullet \quad \, H_1\): \({\mathscr {C}}\)must lie on the right half plane. From a purely mathematical perspective, an isochrone potential is a function \(\psi (r)\) defined on some subset of \(\mathbb {R}_+\) (since r is a positive radius). Since \(x=2r^2>0\), we only keep parabolae that exhibit a portion on the right half plane\(x>0\). The only parabolae that do not are the left-oriented ones not crossing the y-axis (Eq. (34) with \(b<0\) and \(x_v\le 0\)).
\(\bullet \quad \, H_2\): \({\mathscr {C}}\)must be convex. Indeed, a particle orbits periodically when the line \({\mathscr {L}}\) intersects \({\mathscr {C}}\) twice and \({\mathscr {C}}\)is below\({\mathscr {L}}\). The geometrical equivalent of this is that \({\mathscr {C}}\) should lie under its chords, and therefore be convex. Since this is not possible on the concave branch of a parabola, we only keep parabolae that exhibit a convex branch. These that do not are the bottom-oriented onesFootnote 13 (Eq. (32) with \(d<0\).). Therefore, we discard the bottom-oriented parabolae, and stress that on the right- and left-oriented ones, the curve of the potential will be an arc \({\mathscr {A}}\) of the convex branch \({\mathscr {P}}_-\).
At this stage, with only the three hypotheses \(H_0,H_1\) and \(H_2\), it turns out that all remaining parabolae are isochrone, in the following sense: Any parabola with a convex portion on the right half plane defines an isochrone potential\(\psi (r)\), i.e., such that Eq. (2) has a periodic solution for some \(\xi ,\varLambda \) with \(T(\xi )\). The following sections will be dedicated to the detailed analysis of these periodic orbits, and serve as a proof of this result. Nonetheless, we shall focus on parabolae that verify one more hypothesis.
\(\bullet \quad \, H_3\): \({\mathscr {C}}\)should cross they-axis. This hypothesis discards right-oriented parabolae that do not cross they-axis. Indeed, these define a potential \(\psi \) on an interval \([r_v,+\infty [\), where \(x_v=2r_v^2>0\). The associated potential \(\psi \) is therefore undefined in the region \(r\in [0,r_v[\) surrounding the physical origin, as is the force \(\mathbf {F}\propto \varvec{\nabla }{\psi }\) and the mass density \(\rho \propto \varDelta \psi \). We shall coin such potentials “hollow potentials” and leave them aside, stressing, however, that all our isochrone results apply to this type of potentials.
After this reduction process, summarized in Fig. 7, all the remaining parabolae verify the four hypotheses and define the set of isochrone parabolae. We recover, in particular, the algebraic classification of isochrone parabolae found in Simon-Petit et al. (2018).
In this work, we shall group the isochrone parabolae into four families, according to their orientation in the (x, y) plane and their number of intersections with the y-axis:
\({\mathscr {P}}_1\): top-oriented (Eq. (32), with \(d<0\)),
\({\mathscr {P}}_2\): left-oriented, crossing the y-axis twice (Eq.(34) with \(b< 0, 4b^2e < d^2\)),
\({\mathscr {P}}_3\): right-oriented, crossing the y-axis twice (Eq.(34) with \(b> 0, 4b^2e > d^2\)),
\({\mathscr {P}}_4\): right-oriented, crossing the y-axis once (Eq.(34) with \(b > 0, 4b^2e = d^2\)).
4.2.2 Finite mass and attractive nature
Before going further, we would like to discuss some physical properties of the isochrone potentials associated with the four families \(({\mathscr {P}}_i)_{i=1,2,3,4}\). We start with a (non-necessarily isochrone) central potential \(\psi \) and the Poisson equation (1), from which we can easily infer the mass contained within a (spherical) shell surrounding the origin. We choose the units so that \(G=1\) in order to simplify the equations.
Let \(\epsilon >0\) be the inner radius of such a shell and \(R>\epsilon \) be its outer radius, so that \(\psi (R)\) is well defined, and we let \(M_\epsilon (R)\) be the mass contained within this shell \([\epsilon ,R]\). By definition, \(M_\epsilon (R)\) is given by \(\int _\varepsilon ^R \rho (r)4\pi r^2 {\mathrm {d}}r\). Multiplying Eq. (1) by \(r^2\) and integrating over the shell \([\epsilon ,R]\) readily give
From this equation, it is clear that the total mass M(R) contained within the sphere or radius \(r=R\) is simply given by the \(\epsilon \rightarrow 0\) limit of \(M_\epsilon (R)\). Therefore, for any radius R, M(R) is finite if and only if the rightmost term \(\epsilon ^2 \psi ^{\prime }(\epsilon )\) in Eq. (37) remains bounded as \(\epsilon \rightarrow 0\). If this limit is infinite, the potential is sourced by an infinite amount of mass at the physical origin.
With the Hénon variables, it is very simple to see geometrically if M(R) is infinite or not. Indeed, if we differentiate \(Y(x)=2r^2\psi (r)\) with respect to r we obtain \(r^2\psi '(r)=(xY^\prime (x)-Y(x))/r\). Evaluating this at \(r=\epsilon \) and Taylor expanding around \(\epsilon =0\) give easily
It is clear from Eqs. (37) and (38) that the mass M(R) is finite if and only if \(Y(0)=0\), a result true for any central potential \(\psi \). In other words, we have the following geometrical result: A potential\(\psi \)is sourced by a finite mass at the origin if and only if its curve\({\mathscr {C}}\)in Hénon’s variables passes through the origin. In the isochrone context, this means that any isochrone parabola whose convex branch does not cross the origin is associated with an infinite mass at the origin. Moreover, we see in Eq. (38) that if \(Y(0)>0\), i.e., the convex branch crosses the y-axis above the origin, then the central mass is infinite and positive.Footnote 14
Now if we focus on a potential satisfying \(Y(0)=0\), the mass M(r) is finite within any sphere, and it can be read off of the curve \({\mathscr {C}}\) as follows. Plugging \(r^2\psi '(r)=(xY^\prime (x)-Y(x))/r\) into Eq. (37) allows us to write M(r) in the following evocative form
Notice that the numerator in Eq. (39) is nothing but the y-intercept of the tangent of \({\mathscr {C}}\) at the point of abscissa x. Therefore, given a central potential, the mass contained within a sphere of radius r can be measured simply by reading this y-intercept. In particular, for the isochrone potentials the mass within a given sphere is also something that can be geometrically read off the parabola, as depicted in Fig. 8.
4.2.3 New parameters
When working in the Hénon plane, with geometry and parabolae, the Latin parameters (a, b, c, d, e) are useful. In order to work with simpler expressions when dealing with the potentials, and prepare for the next steps, we rewrite the equations of the isochrone parabola \(({\mathscr {P}}_i)\) with more adapted, Greek parameters \((\varepsilon ,\lambda ,\omega ,\mu ,\beta )\). We will follow the notations and definitions introduced in Simon-Petit et al. (2018).
We first consider the top-oriented parabolae given by Eq. (32) with \(d<0\). We may combine the constants in the first two terms and define \(\varepsilon :=-c/d\in \mathbb {R}\), \(\lambda :=-e/d\in \mathbb {R}\). Moreover, since \(d<0\) in this case, we may always write
Inserting the new parameters \((\varepsilon ,\lambda ,\omega )\) in Eq. (32) and using \(\psi (r)=Y(2r^2)/2r^2\), we obtain for the first family of potentials \(\psi _1\) and/or parabolae \({\mathscr {P}}_1\), associated with top-oriented parabolae,
\(\bullet \) the Harmonic family:
The name Harmonic comes from the fact that \(\psi _1\) is a harmonic potential, up to a constant \(\varepsilon \) and a centrifugal-like term \(\lambda /2r^2\). The normalizing factor 1/16 is chosen such that the radial period T coincides exactly with the angular frequency \(\omega \); i.e., \(T=2\pi /\omega \), as we shall find later on.
Now consider the \(b\ne 0\) case, i.e., the convex branch \({\mathscr {P}}_-\) of Eq. (34). Once again, we may define \(\varepsilon :=-a/b\in \mathbb {R}\). With a bit of rewriting, we can also introduce the \(\lambda \) parameter of Eq. (36) and move the square root of the rightmost term down, using the usual conjugate trick. Furthermore, independently of the sign of \(b\ne 0\), we may always define
When \(\beta \ne 0\), the parabola crosses the y-axis twice. Then either \(b>0\) (right-oriented parabola) or \(b<0\) (left-oriented parabola), as depicted in Fig. 7. Inserting the new parameters \((\varepsilon ,\lambda ,\mu ,\beta )\) in Eq. (34) and using \(\psi (r)=Y(2r^2)/2r^2 \), we obtain the second family of potentials \(\psi _2\) and/or parabolae \({\mathscr {P}}_2\), associated with left-oriented parabolae,
\(\bullet \) the Bounded family:
The name Bounded comes from the fact that \(\psi _2\) is defined only on the bounded interval \([0,\beta ]\). Finally, the same parameters can be used to define the third family of potentials \(\psi _3\) and/or parabolae \({\mathscr {P}}_3\), associated with right-oriented parabolae crossing the y-axis twice, namely
\(\bullet \) the Hénon family:
The name Hénon comes from the fact that \(\psi _3\) is, up to a constant and a centrifugal-like term, the potential found by Hénon (1959a). Finally, the case \(\beta =0\) makes up for the fourth and last family of potentials \(\psi _4\) and/or parabolae \({\mathscr {P}}_4\), associated with right-oriented parabolae crossing the y-axis once, namely
\(\bullet \) the Kepler family:
The name Kepler comes from the fact that \(\psi _4\) is, up to a constant and a centrifugal-like term \(\lambda /2r^2\), the usual Kepler potential.
With the new parameters, the result of this section can be summarized easily: If a potential\(\psi \)is isochrone, then it must be equal to one of the\(\psi _i\)with\(i=1,2,3\)or 4. In other words, if \(\psi \) is isochrone, then there exists some constants \((\varepsilon ,\lambda )\) and \((\mu ,\beta ,\omega )\) such that \(\psi (r)=\psi _i(r)\) for some \(i=1,2,3,4\). We stress that by definition, \(\omega \ne 0\) , \(\mu >0\) and \(\beta \ge 0\). However, \(\varepsilon \) and \(\lambda \) are defined in such a way that they can take any real value, a priori.
Lastly, let us make contact with Simon-Petit et al. (2018) once again and introduce some qualifiers for the different potentials. Notice that the parameter \(\lambda \) in Eqs. (41)–(45) is precisely the y-intercept of the parabola, i.e., \(Y(0)=\lambda \). According to our findings in Sect. 4.2.2, any potential with \(\lambda \ne 0\) will be associated with an infinite mass at the origin. Such potentials are coined gauged potentials in Simon-Petit et al. (2018), as the term \(\lambda /2r^2\) that makes them special looks like a gauged angular momentum \(\varLambda ^2\rightarrow \varLambda ^2+\lambda \) in the effective potential formalism. Gauged potential are opposed to so-called physical potentials that have \(\lambda =0\) and that are associated with a finite mass at the center.
4.3 Complete set of isochrone parabolae
In the last section, we have isolated four families of potentials \((\psi _i)\) and their associated parabolae \(({\mathscr {P}}_i)\), and discussed some of their properties. We have shown that if a potential is isochrone, then its curve \({\mathscr {C}}:y=Y(x)\) is the portion of a parabola \({\mathscr {P}}_i\) that is convex and lies on the right half plane \(x>0\).
What remains to be shown is the reciprocal of this statement, i.e., that any such \({\mathscr {C}}\) is the curve of an isochrone potential. To this end, we just need to show that \({\mathscr {C}}\) can always be intersected twice by some line \({\mathscr {L}}:y=\xi x-\varLambda ^2\). We shall do this by finding explicitly which lines \({\mathscr {L}}\) can intersect \({\mathscr {C}}\). In so doing, we will find two important results:
the set \((\psi _i)\) is complete, i.e., it contains all and only the isochrone potentials, and
necessary and sufficient conditions on \((\xi ,\varLambda )\) such that the particle’s orbit is bounded.
In what follows, we consider a curve \({\mathscr {C}}\) and a line \({\mathscr {L}}:y=\xi x-\varLambda ^2\). By assumption, \({\mathscr {C}}\) is on the right half plane and on the convex portion of a parabola \({\mathscr {P}}_i\) given by Eqs. (41)–(45). When they exist, we denote by \(x_P\) and \(x_A>x_P\) the abscissae of P and A, the two intersections of \({\mathscr {L}}\) with \({\mathscr {C}}\).
4.3.1 Top-oriented parabolae \({\mathscr {P}}_1\)
Let us start with the family \({\mathscr {P}}_1\) given in Eq. (41). We fix the parameters \((\varepsilon ,\lambda ,\omega )\) and look for the conditions on \((\xi ,\varLambda )\) under which the line \({\mathscr {L}}:y=\xi x-\varLambda ^2\) intersects \({\mathscr {P}}_1\) twice. By definition, P, A belong to both \({\mathscr {L}}\) and \({\mathscr {P}}_1\); therefore, \(x_P,x_A\) are solutions to \(\xi x -\varLambda ^2 = \varepsilon x + \lambda + \omega ^2 x^2 / 16\). We may equivalently write this equation in the following evocative form
with the sum \(s=x_P+x_A\) and product \(p=x_Px_A\) of the two roots. Note that \(x_P,x_A\) and therefore s and p are all functions of \(\xi \) and \(\varLambda ^2\). For a generic quadratic equation such as Eq. (46), two solutions exist if and only if \(\varDelta :=s^2-4p>0\), and are given by \((s\pm \sqrt{\varDelta })/2\), with a minus sign for \(x_P\) and a plus sign for \(x_A\). We want these solutions to lie on the convex branch of the parabola, in order for an orbit to actually exist. This is always satisfied since the parabola \({\mathscr {P}}_1\) is everywhere convex. Furthermore, we want them to be strictly positive, in order for P and A to be in the right half plane \(x\ge 0\). It is sufficient to require \(x_P>0\), because then \(x_A>x_P>0\).
The parameters of the potential are fixed; therefore, the condition \(x_P(\xi ,\varLambda ^2)>0\), along with \(\varLambda ^2\ge 0\), defines a region in the \((\xi ,\varLambda ^2)\) plane that contains every pair \((\xi ,\varLambda ^2)\) such that the orbit is periodic. Using the formula for \(x_P\) in terms of s and p, this domain is explicitly delimitated by the two inequalities
with \(x_P=(s-\sqrt{s^2-4p})/2\) and s, p given by Eq. (46). Outside this region, there may be collision orbits (the particle avoids the origin and goes to infinity), or no orbit at all (for instance in the \(\varLambda ^2<0\) region). This is depicted in Fig. 9.
4.3.2 Left-oriented parabolae \({\mathscr {P}}_2\)
We proceed similarly for the left-oriented parabolae \({\mathscr {P}}_2\), associated with a Bounded potential. In particular, we fix the parameters \((\varepsilon ,\lambda ,\mu ,\beta )\) and look for a domain in the \((\xi ,\varLambda ^2)\) plane that contains all and only the periodic orbits. The condition \(P,A\in {\mathscr {L}}\cap {\mathscr {P}}_2\) translates algebraically into
As for \({\mathscr {P}}_1\), with a bit of algebra we may write Eq. (48) as \(x^2 - s x + p = 0\) where \(s:=x_P+x_A\) and \(p:=x_Px_A\). In terms of \((\xi ,\varLambda ^2)\), we have explicitly
As before, the solutions \(x_P,x_A\) must be strictly positive and this is ensured by the condition \(x_P>0\). At this point, choosing \((\xi ,\varLambda ^2)\) in the region \(x_P(\xi ,\varLambda ^2)>0\) ensures that there are two intersections between \({\mathscr {P}}_2\) and \({\mathscr {L}}\). Adding the condition \(\varLambda ^2\ge 0\) ensures that \(x_P\) is on the convex branch. However, a third condition is needed, namely that A belongs to the convex branch. To this end, notice that in Eq. (48), the minus sign in front of \(2\mu \) came from selecting the convex branch of the parabola. Therefore, to ensure that A is on this branch, it is sufficient to impose that \(\xi x_A - \varLambda ^2 \le \varepsilon x_A + \lambda +2\mu \beta \). All in all, three conditions are sufficient to draw the bifurcation diagram. They read explicitly
Once we express \(x_P\) and \(x_A\) in terms of s, p, and thus in terms of \((\xi ,\varLambda ^2)\) via Eq. (49), the three inequalities (50) delimit a region with all and only the periodic orbits. This region is depicted for a typical Bounded potential \(\psi _2\) in Fig. 10.
4.3.3 Right-oriented parabolae \({\mathscr {P}}_3\) and \({\mathscr {P}}_4\)
For the right-oriented parabolae, we proceed the same way. Noticing that a parabola \({\mathscr {P}}_3\) can be obtained as the \(\beta \rightarrow 0\) limit of a parabola \({\mathscr {P}}_4\), we may focus on the latter. As before, the condition \(P,A\in {\mathscr {P}}_4\) translates into \(x^2-sx+p=0\), where s and p are have the same expression as in Eq. (49), albeit with a plus sign in front of \(\mu ^2\) for the former.
The conditions to be imposed to have a well-defined orbit are as before, \(x_P>0\), \(\varLambda ^2\ge 0\). These two ensure that P is in the right half plane and on the convex branch. However, this does not imply that A is on the convex branch, so we must, again, add a third condition. Therefore, all three requirements are the same as in the \({\mathscr {P}}_2\) case, and the bifurcation diagram can be depicted using the inequalities Eq. (50) (again, with a plus sign in front of \(\mu ^2\)). For the Hénon family, \(\beta \ne 0\) and the bifurcation diagram is depicted in Fig. 11. The bifurcation diagram for the Kepler family \({\mathscr {P}}_4\) is the \(\beta \rightarrow 0\) limit of Fig. 11 and coincides precisely with Fig. (2.3) of Arnol’d (1995).
5 Dynamics in isochrone potentials
Johannes Kepler published in his Astronomia Nova a set of three laws that nowadays rightfully bear his name. The first law states that planets follow elliptical orbits around the Sun. The second law states that an orbiting planet always sweeps equal areas in equal times, and this holds for any central potential, hence for isochrone ones. Last but not least, the third law is arguably one of the most celebrated and useful equations in astronomy and astrophysics. In modern notation, this law reads
with T the period of motionFootnote 15 of a test particle of energy \(\xi <0\) orbiting a point mass \(\mu =GM\).
This fourth and last section is mainly dedicated to a generalization of Kepler’s first and third laws. Regarding the third law, we will show that it is actually inherent to isochrony, in the sense that any periodic orbit in any isochrone potential satisfies a strikingly similar law. We shall interpret this law in various geometrical contexts and will also point out a similar and unified law for the apsidal angle \(\varTheta \). For the first law, we will provide an explicit formula for isochrone orbits in polar coordinates, and show that all isochrone orbits can be parameterized by a Keplerian ellipse. Finally, we shall use these results to exhibit and classify isochrone orbits, i.e., orbits of test particles in an isochrone potential.
5.1 Isochrone Kepler’s laws for T and \(\varTheta \)
This subsection is divided into three parts. In Sect. 5.1.1, we derive the generalized Kepler’s third law for the period T in any isochrone potential, by solving quadratic equations. Then in Sect. 5.1.2, we use the circular orbit trick to get a similar law for \(\varTheta \). Lastly in Sect. 5.1.3 we provide an alternative formulation of these laws, in terms of purely geometrical quantities that can all be inferred solely from the parabola \({\mathscr {P}}\) and the line \({\mathscr {L}}\).
5.1.1 Laws for the radial period T
Let us consider a generic isochrone potential \(\psi \) and a particle \((\xi ,\varLambda )\) that orbits periodically within it. As we did many times above, in the Hénon plane \(\psi \) is associated with a parabola \({\mathscr {P}}\), and the particle is associated with a line \({\mathscr {L}}\) that intersects \({\mathscr {P}}\). The equations for \({\mathscr {P}}\) and \({\mathscr {L}}\) are of the form
Keeping the parabola \({\mathscr {P}}\) fixed, we take a line \((\xi ,\varLambda )\) with two intersections P and A, both functions of \((\xi ,\varLambda )\). Now since A and P belong to both \({\mathscr {P}}\) and \({\mathscr {L}}\), we can eliminate y from the two equations in (52) and get an equation on x whose solutions are \(x_P\) and \(x_A\), the abscissa of P and A. Re-arranging the result gives the following quadratic equation:
whose discriminant \(\varDelta \) is given by
We will now compute the period T with the help of Hénon’s formula for T given in Eq. (21) proved in Sect. 5.1. First, we need the difference between \(x_A\) and \(x_P\). This is simply a matter of writing the solutions to a quadratic equation. We obtain easily
Second we need a formula for \(\varLambda _C\), the angular momentum of the circular orbit with energy \(\xi \). To find it, we notice that when we keep \(\xi \) fixed, the discriminant \(\varDelta (\xi ,\varLambda )\) is strictly positive when there are two intersections, and by definition vanishes for some \(\varLambda _C\), when there is only one intersection. This corresponds to a circular orbit, obtained by translating \({\mathscr {L}}\) downward until P and A degenerate into a single point C. Therefore, we have \(\varDelta (\xi ,\varLambda _C)=0\), which may be solved for \(\varLambda _C\). With the help of Eq. (53) and some elementary algebra, we obtain
where \(\delta \) is the discriminant of the parabola, cf. (31). Now we can combine Hénon’s formula (21) with Eqs. (55) and (56). Once again, after some easy algebra we obtain the following generalization of Kepler’s third law
A few remarks are in order here. First of all, we stress that Eq. (57) is valid for any particle \((\xi ,\varLambda )\) orbiting periodically in any isochrone potential. In particular, this law is valid even for the potentials that were discarded earlier, i.e., these that are decreasing around the origin, these that contain infinite mass at the center and even the hollow ones, undefined around the origin. As long as there is a periodic orbit in a isochrone potential, physical or not, there is an associated parabola \({\mathscr {P}}\) given by Eq. (52) and its radial period T verifies Eq. (57).
Second, we see that it involves in the numerator \(\delta \) which is strictly positive. Therefore, Eq. (57) implies that the denominator is strictly negative and thus that \(a+b\xi <0\). This is a general property that can be traced back to the very existence of solutions to the quadratic equation (53). We shall use this result later in Sect. 5.2 to find a parameterization of isochrone orbits. Moreover, speaking of the parameters, we recover the two well-known cases: when \(a=0\) the parabola has horizontal symmetry and we have \(T^2\propto \xi ^{-3}\), as in the Kepler potential. Similarly, when \(b=0\), the parabola has vertical symmetry and we have \(T=\text {cst}\), i.e., T is independent of the properties of the particle, as for the harmonic potential.
5.1.2 Laws for the apsidal angle \(\varTheta \)
All the results presented in the last paragraphs regarding T are also true for the apsidal angle \(\varTheta \). In particular, we can use the Hénon formula (22) in order to write the apsidal angle for any orbit solely in terms of \(\varLambda \) and the parameters (a, b, c, d, e). To this end, we start, as usual, with some geometry.
Consider a line \({\mathscr {L}}\) intersecting a generic isochrone parabola \({\mathscr {P}}\), both given by Eq. (52). Since \(\varTheta \) is independent of \(\xi \), we may choose a value of \(\xi \) such that the orbit is circular. This can be done as follows. Keeping \(\varLambda \) fixed, decreasing \(\xi \) defines other lines with the same \(\varLambda \) and thus the same apsidal angle \(\varTheta (\varLambda )\) for the associated orbits. In particular, \(\xi \) can reach a critical value \(\xi _C\) such that the line \({\mathscr {L}}\) becomes tangent to \({\mathscr {P}}\), at some point of abscissa \(x_C\). It is important to notice that \(\xi _C\) and \(x_C\) are function of \(\varLambda \) only.
Let us focus on this very line \({\mathscr {L}}_C:y=\xi _C x - \varLambda ^2\) and the associated circular orbit. Its orbital radius is \(r_C\), such that \(2r_C^2=x_C\). The period \(T(\xi _C)\) of this orbit is given by Eq. (57). Now by definition of the angular momentum, we have, for this circular orbit \(\varLambda = r_C^2 \dot{\theta }\). Since \(x_C=2r_C^2\), this can be turned into a differential equality \(2\varLambda {\mathrm {d}}t = x_C {\mathrm {d}}\theta \). Now, by definition of \(\varTheta \), integrating the latter over a period \(T(\xi _C)\) readily gives
Let us stress again that both \(\xi _C\) and \(x_C\) are functions of \(\varLambda \), thus we just need a formula for these in terms of (a, b, c, d, e) and \(\varLambda \). Now we can apply the results of the last section, regarding the intersections of \({\mathscr {P}}\) and \({\mathscr {L}}\), below Eq. (52). In particular, in the present context \(\xi _C\) is such that \(\varDelta (\xi _C,\varLambda )=0\), with \(\varDelta \) given by Eq. (54). After some algebra, the solution for \(\xi _C\) is easily found to be
and the \(+/-\) sign should be used for the left-/right-oriented parabolae, respectively. Regarding the quantity \(x_C\), it can be found by writing the solution to Eq. (53) when \(\varDelta =0\). We obtain easily
where \(\xi _C\) is given in terms of \(\varLambda \) by Eq. (59).
Now it is just a matter of inserting Eqs. (60) and (59) into Eq. (58) and do some algebra to obtain a formula for \(\varTheta \). After a rather lengthy but simple computation, we obtain the following law, valid for any particle orbiting in any isochrone potential
As for Eq.(57), we stress that Eq. (61) is valid for any orbit in any isochrone potential, even the gauged and hollow ones (discarded at the end of Sect. 4.2 due to unusual physical properties). As a corollary of this general formula, one may insert the Greek parameters \((\varepsilon ,\lambda ,\omega ,\mu ,\beta )\) introduced earlier and find agreement with the results of Simon-Petit et al. (2018).
5.1.3 Geometrical reading of the third laws
The computation of the period T and apsidal angle \(\varTheta \) via Eqs. (57) and (61) involves the parameters a, b, c, d, e, and can thus be made only if we know the algebraic equation of the parabola. Here, we show that it is also possible to express T and \(\varTheta \) entirely in terms of geometrical quantities, i.e., compute them solely with Euclidean geometry, once a parabola \({\mathscr {P}}\) and a line \({\mathscr {L}}\) is drawn in the Hénon plane. For the period T, we need to define three geometrical quantities
\(\varvec{\xi }:=(1,\xi )\), the natural tangent vector to the line \({\mathscr {L}}\),
\(\mathbf {N}=(a,b)\), the natural tangent vector to \({\mathscr {P}}\) at its apex (controls its orientation) and
\(R=\delta /2|\mathbf {N}|^3\), the radius of curvature of \({\mathscr {P}}\) at its apex (controls its aperture).
The expressions for these quantities can be easily derived with the help of Sect. 4.1. We can now rewrite Eq. (57) without the (a, b, c, d, e) parameters, using the unit vector \(\mathbf {n}=\mathbf {N}/|\mathbf {N}|\), simply as
This formula should be compared to Kepler’s third law for the radial period as given by Eq. (51). In a similar fashion, we can make a geometrical construction for the law of the apsidal angle \(\varTheta \). In particular, let \(\ell _\pm \) be the ordinate of the intersection points between the branch \({\mathscr {P}}_\pm \) and the y-axis. As we have seen already in Sect. 4.1, we have
In terms of the Greek parameters, we can show easily that the quantity \(\ell _+\) is nothing but \(\lambda \), and that \(\ell _-\) is \(\lambda +4\mu \beta \). Now we can easily turn Eq. (63) into \(b^2\varLambda ^4-d\varLambda ^2+e=b^2(\ell _++\varLambda ^2)(\ell _-+\varLambda ^2)\) and notice that the left-hand side appears precisely in the denominator in Eq. (61). Therefore, we insert this result in Eq. (61), make a partial fraction decomposition for the first term and obtain
where \(\iota \in \{-1,0,1\}\) is simply the sign of b and determines the orientation (resp. left, top, bottom) of the parabola. As for the period T, we see that the apsidal angle \(\varTheta \) can be found with only geometrical quantities that can be read off the parabola. In particular, \(\ell _\pm /\varLambda ^2\) is simply the ratio of the vertical distances between the y-intercept of \({\mathscr {L}}\) and the branchesFootnote 16\({\mathscr {P}}_\pm \), as depicted in Fig. 12.
Finally, at the end of Appendix B we provide yet another form for the third law \(T(\xi )\) and \(\varTheta (\varLambda )\). For T, this alternative form involves the slope and curvature of the parabola at the circular point C uniquely associated with the orbit. For \(\varTheta \), this alternative involves the curvature of the effective potential, when looked at in the Binet variable \(u=1/r\). The interested reader may find these results useful in order to go further into the geometrical properties of isochrony, e.g., for academic purposes. Along these lines, we stress that what led to the mathematical equalities (57), (61) and other third laws in Appendix B can be seen as a geometrical method to compute the rather complex-looking integrals (14) and (22), with Y(x) given by Eq. (32) or Eq. (34). In particular, the fact that these rather complex-looking integrals do not depend on \(\varLambda \) for T, and on \(\xi \) for \(\varTheta \), is quite remarkable.
5.2 Isochrone orbits transformations
In this section, we provide a geometrical analysis that leads naturally to an explicit and analytic parameterization of any isochrone orbit in polar coordinates. The essential idea is the following: An isochrone orbit is associated with an arc of parabola in the Hénon plane. There is one isochrone orbit for which we know an analytic expression: the Keplerian ellipse. Using linear transformations in the Hénon plane, we show how to map any arc of parabola to a Keplerian one, and therefore establish a one-to-one correspondence between any isochrone orbit and a Keplerian ellipse, the latter being used to parameterize the former.
5.2.1 Reduced orbit
As we have seen many times before, an arc of parabola \({\mathscr {A}}\) in the Hénon plane (x, y) is associated with an isochrone orbit in the physical space that will be denoted by \({\mathscr {O}}\). By conservation of angular momentum, the particle orbits within a plane, equipped with the usual polar coordinates \((r,\theta )\). We shall always choose the angle \(\theta \) such that \(\theta =0\) at periapsis \(r=r_P\).
When the particle moves on an isochrone orbit \({\mathscr {O}}\), its radius r changes periodically and can be mapped to a point M that travels back and forth on the arc \({\mathscr {A}}\). However, the converse is not true: A point \(M\in {\mathscr {A}}\) of abscissa \(x=2r^2\) corresponds to an infinite number of points on \({\mathscr {O}}\), namely the points \((r,\theta +k\varTheta )_{k\in \mathbb {Z}}\), precisely because of the radial periodicity. To get a one-to-one correspondence, we can quotient the full orbit \({\mathscr {O}}\) by reflexions and rotations, to get the reduced orbit\({\mathscr {O}}_o\), as depicted in Fig. 13. The full orbit \({\mathscr {O}}\) can be constructed from \({\mathscr {O}}_o\), which acts as a generator of the orbit and which, contrary to the full orbit \({\mathscr {O}}\), is in a one-to-one correspondence with the arc \({\mathscr {A}}\): A point \((r,\theta )\in {\mathscr {O}}_o\) is uniquely linked to a point \((x,y)\in {\mathscr {A}}\) via \(x=2r^2\).
5.2.2 Kepler parabola
We will need in this section a few results about the Kepler parabola \(y^2=2\mu ^2x\). It is associated with the usual Kepler potential \(\psi (r)=-\mu /r\). The bifurcation diagram in terms of \((\xi ,\varLambda )\) for the Kepler potential is given in Fig. 11 with \(\beta =\varepsilon =\lambda =0\), or equivalently in Fig. (2.3) of Arnol’d (1995). Requiring that the values of \((\xi ,\varLambda )\) generate a periodic orbit (i.e., that they are in the grey region of Fig. 11) is equivalent to the following algebraic inequalities:
In the Kepler potential, any bounded orbit is an ellipse whose focus is at the center of polar coordinates. An elliptic orbit \({\mathscr {O}}\) is made of one periapsis and one apoapsis, joined by two symmetrical portions, as can be seen in the bottom left of Fig. 14. We will take the reduced orbit \({\mathscr {O}}_o\) to be the upper portion. From the classical solution to the Kepler problem (see, e.g., Arnol’d 1995), the reduced orbit \({\mathscr {O}}_o\) can be given the following parametric representationFootnote 17
In these equations, \(\varepsilon \) is the eccentricity of the orbit, and p is its semi-latus rectum (Arnol’d 1995). They depend explicitly on the energy \(\xi \) and angular momentum \(\varLambda \) of the particle, as well as the central mass \(\mu :=GM\) of the Keplerian potential. They are given by
and one can see that the conditions (65) are actually equivalent to \(\varepsilon \in [0,1[\) and \(p\ge 0\).
5.2.3 Linear transformation
We consider a reduced isochrone orbit \({\mathscr {O}}_o\) in a central isochrone potential with finite mass at the origin. Recall that \({\mathscr {O}}_o\) is in a one-to-one correspondence with an arc of parabola \({\mathscr {A}}\) in the Hénon plane that passes through the origin (as explained in Sect. 4.2.2). This arc \({\mathscr {A}}\) is defined as the portion of a parabola \({\mathscr {P}}\) that lies below a given line \({\mathscr {L}}\), both given by Eq. (52) with \(e=0\)
Now let us apply the following linear transformation F to the Hénon plane
Following Eq. (69), any quantity X that has been mapped by F will be denoted with a bar as \(\bar{X}:=F(X)\). For instance, a point M of coordinates (x, y) on \({\mathscr {A}}\) will be mapped to the point \(\bar{M}\) with coordinates \((\bar{x},{\bar{y}})=F(x,y)\) given by Eq. (69). Since the set of parabolae and the set of lines are stable under affine transformations (and thus linear ones), \(\bar{{\mathscr {P}}}=F({\mathscr {P}})\) is still a parabola and \(\bar{{\mathscr {L}}}=F({\mathscr {L}})\) still a line. The parameters (a, b, c, d) in Eq. (69) are precisely these of the parabola \({\mathscr {P}}\) in Eq. (68) and are not chosen randomly. It is straightforward to find its implicit equation which reads
In view of the previous subsection, it is clear from Eq. (70) that F maps \({\mathscr {P}}\) to a Keplerian parabola with mass parameter \(\mu =1/\sqrt{2}\). Regarding the image \(\bar{{\mathscr {L}}}\) of the line \({\mathscr {L}}\), a quick computation gives the following equation
The image arc \(\bar{{\mathscr {A}}}\) is a portion of \(\bar{{\mathscr {P}}}\), although we do not know yet if it lies below \(\bar{{\mathscr {L}}}\). If it does, then \(\bar{{\mathscr {A}}}\) is a Keplerian arc and the associated orbit is an ellipse. Let us first ensure that \(\bar{{\mathscr {A}}}\) indeed corresponds to a well-defined elliptic orbit. According to the inequalities (65) with \(\mu =1/\sqrt{2}\), a Keplerian orbit is periodic provided that \(\bar{\varLambda }^2\ge 0\), \(\bar{\xi }<0\) and \(\bar{\xi }>-1/4\bar{\varLambda }^2\). We now argue that these three conditions are always satisfied, in the three following steps:
From Kepler’s generalized third law (57) and \(\delta >0\), we have \(a+b\xi <0\). Consequently, by Eq. (71), the two conditions \(\bar{\xi }<0\) and \(\bar{\varLambda }^2\ge 0\) hold if and only if \(c+d\xi <0\).
The condition \(c+d\xi <0\) is a geometrical consequence of all hypotheses \((H_i)\) that are, by assumption, verified since the initial orbit \({\mathscr {O}}\) is isochrone. (The proof is easy but not central here; it can be found in Appendix E.) At this stage, we thus have \(\bar{\xi }<0\) and \(\bar{\varLambda }^2\ge 0\).
Linear transformations preserve the existence of intersection points; therefore, \(\bar{{\mathscr {L}}}\) intersects the Kepler parabola \(\bar{{\mathscr {P}}}\) twice. Along with \(\bar{\xi }<0\) and \(\bar{\varLambda }^2\ge 0\), we can check easily that these intersections are necessarily on the convex branch. Therefore, the orbit is an ellipse with eccentricity \(\bar{\varepsilon }=\sqrt{1+4\bar{\varLambda }^2\bar{\xi }}\in [0,1[\), and therefore, \(\bar{\xi }>-1/4\bar{\varLambda }^2\) holds.
To summarize, we can map any isochrone arc \({\mathscr {A}}\) to a Keplerian one \(\bar{{\mathscr {A}}}\) with mass \(\mu =1/\sqrt{2}\) using an appropriate linear transformation F given by Eq. (69). According to Keplerian dynamics, the orbit \(\bar{{\mathscr {O}}}\) associated with \(\bar{{\mathscr {A}}}\) is an ellipse whose polar equation is
We thus have a mapping between the generic isochrone arc \({\mathscr {A}}\) and the Keplerian one \(\bar{{\mathscr {A}}}\), i.e., we have established the upper part of Fig. 14. The next step is to extend this to the lower part of Fig. 14, i.e., link the polar coordinates of each orbit.
5.2.4 General isochrone orbit
Consider a point \(N=(r,\theta )\) on a reduced isochrone orbit \({\mathscr {O}}_o\). It is in a one-to-one correspondence with the point \(M\in {\mathscr {A}}\) of abscissa \(x=2r^2\). The point \(M=(x,y)\) is in turn associated with a unique point \(\bar{M}=(\bar{x},\bar{y})\) on the Keplerian parabola (70) and thus with a unique point \(N=(\bar{r},\bar{\theta })\) on the reduced elliptic orbit \(\bar{O}_o\). This is all depicted in Fig. 14. The goal now is to express \((r,\theta )\) of the generic isochrone orbit in terms of \((\bar{r},\bar{\theta })\).
We start with the radius. By inverting Eq. (69), we write \(x=\delta ^{-1}(b\bar{x}+d\bar{y})\). Now \(\bar{M}\) is on the convex branch of the Keplerian parabola (70); therefore, \(\bar{y}=-\sqrt{\bar{x}}\). Combining these two equations readily gives a relation between the abscissa of the two points M and \(\bar{M}\), namely
where we simply used the definition of Hénon variables for each orbit, i.e., \(\bar{x}=2\bar{r}^2\) and \(x=2r^2\) to get the second equation, and \(\delta =ad-bc\ne 0\) (see Sect. 4.1). Now if we take a point \((\bar{r},\bar{\theta })\) on the Keplerian reduced ellipse, then while \(\bar{\theta }\) varies in \([0,\pi ]\), \(\bar{r}\) changes according to Eq. (72), and r changes as well according to Eq. (73). Therefore, we can use \(\bar{\theta }\) as a parameter, denoted s, to track the radius r on \({\mathscr {O}}_o\). To this end, we insert Eq. (72) into Eq. (73) and perform some algebraic manipulations to find that the radiusrof the particle on a generic reduced isochrone orbit\({\mathscr {O}}_o\)can be parameterized by\(r=\varrho (s)\), \(s\in [0,\pi ]\), where
for some constants\(c_1,c_2\)and\(c_3\)that depend algebraically on (a, b, c, d) and\((\xi ,\varLambda )\)given by
We note incidentally that \(c_3\) is actually the eccentricity \(\bar{\varepsilon }\) of the parameterizing ellipse (72). Now we seek to find a similar parameterization for the angle \(\theta \). Since \(\bar{\theta }=s\) is our parameter, all we need is an expression of \(\theta \) in terms of \(\bar{\theta }\). To this end, we start by writing the following chain rule
In this equation, the time \(\bar{t}\) is the one associated with the dynamics of the Keplerian orbit \(\bar{{\mathscr {O}}}\), i.e., such that energy and angular momentum conservation read
We now express each factor on the right-hand side of Eq. (76) in terms of \(\bar{\theta }\), in order to integrate a first order ODE. For the first and last terms, we use angular momentum conservation in each orbit: Eq. (13) for \({\mathscr {O}}\) and Eq. (77) for \(\bar{{\mathscr {O}}}\). Similarly, in the second and second-to-last terms, we use energy conservation: Eq. (12) for \({\mathscr {O}}\) and Eq. (77) for \(\bar{{\mathscr {O}}}\). Inserting these results in Eq. (76) readily gives
To simplify this equation, we express \((\bar{x},\bar{y})\) in terms of (x, y) using Eq. (69) and \((\bar{\xi },\bar{\varLambda })\) in terms of \((\xi ,\varLambda )\) using Eq. (71). When doing so, the last two terms on the right-hand side compensate each other exactly. The only terms contributing on the right-hand side of Eq. (78) are the first two, and they can be simplified with the help of Eq. (73). In the end, we find
The final step is to insert Eq. (72) into Eq. (79). We then obtain a first-order ODE that can then be integrated using the usual change of variables \(u = \tan \bar{\theta }/2\). Once this integration is done and the initial condition is chosen,Footnote 18 we find that the angle\(\theta \)of the particle on a generic reduced isochrone orbit\({\mathscr {O}}_o\)can be parameterized by\(\theta = \vartheta (s)\), with\(s\in [0,\pi ]\), where
for some constants\(c_4\)and\(c_5\)that depend algebraically on (a, b, c, d) and\((\xi ,\varLambda )\), given by
5.2.5 Summary and remarks
To summarize, we have found a parameterization for any reduced orbit \({\mathscr {O}}_o\) in an isochrone potential \(\psi \) with finite central mass. To get the full orbit \({\mathscr {O}}\) from \({\mathscr {O}}_o\), we follow Fig. 13. In particular, we add to \({\mathscr {O}}_o\) its symmetric with respect to the x-axis, by extending the range of the parameter s from \([0,\pi ]\) to \([-\pi ,\pi ]\).Footnote 19 We then obtain a piece \({\mathscr {O}}_T\) of the orbit that spans a full radial period T, or equivalently a full apsidal angle \(\varTheta \). The full orbit \({\mathscr {O}}\) is then obtained by copying and pasting the piece \({\mathscr {O}}_T\), albeit rotated anti-clockwise by an angle \(n\varTheta \), for all \(n\in \mathbb {Z}\). In particular, any orbit \({\mathscr {O}}\) in a potential with finite central mass can be parameterized by
with \(\varrho (s)\) and \(\vartheta (s)\) given by Eqs. (74) and (80), respectively. By construction, when \(s=0\), the particle is at periapsis \((r_P,0)\) and when \(s=\pi \) it is at apoapsis \((r_A,\varTheta /2)\). The latter implies that \(\varTheta =\pi (1+c_4)\), a result that can be checked by comparing Eqs. (61) and (81). The special case of the Keplerian ellipse of eccentricity \(\varepsilon \) and semi-latus rectum p corresponds to \((c_1,c_2,c_3,c_4,c_5)=(p^2,0,\varepsilon ,1,1)\).
This parameterization covers any isochrone orbit in a potential associated with a finite mass at the center. However, it can be extended easily to orbits in gauged potentials (with \(\lambda \ne 0\), i.e., infinite central mass) and to hollow potentials (with \(x_v>0\), i.e., undefined around the origin), by considering affine transformations instead of only linear ones. Indeed, starting from the appropriate parabola crossing the origin, with a vertical (resp horizontal) translation, one can reach any orbit in a gauged (resp hollow) potential. In particular, one can follow the previous method and send any parabola \({\mathscr {P}}:(ax+by)^2+cx+dy+e=0\) to the Keplerian parabola \(\bar{{\mathscr {P}}}:\bar{y}^2=\bar{x}\) by applying to \({\mathscr {P}}\) the affine transformation \(F\circ G\), composed of the linear map F given by Eq. (69) and the translation \(G:x\mapsto x-e\). The computation can be done to find an analytic parameterization, with a little more work in the integration of the ODE expressing \(\theta \) in terms of \(\bar{\theta }\), cf. Eq. (78). We leave this as an exercise to the interested reader.
Speaking of Eq. (78), we have seen that the last two terms on the right-hand side cancel each other. Notice that it would also have been the case if the following assumptions had been made: \(\xi x - y=\bar{\xi }\bar{x} - \bar{y}\) and \(\varLambda =\bar{\varLambda }\). In Simon-Petit et al. (2018), the authors precisely make these assumptions and the consequence was twofold. On the one hand, not all orbits can be reached from the Keplerian one (only the ones associated with arcs that verify theses two geometrical constraints). Therefore, the so-called bolst transformations cannot bridge between any two isochrone orbits. On the other hand, these bolsts form a subgroup of the linear transformations, whose additive representation exhibits similarities with the Lorentz group (to some extent), allowing for some analogies with special relativity, for a particular subclass of bolsts (the so-called \(\varvec{i}-\)bolst). However, as we have seen, the integration of Eq. (78) is tractable without any additional assumption, and considering linear transformations is the only way to describe all isochrone orbits. To summarize, although we believe that the special relativistic analogies presented in Simon-Petit et al. (2018) may be of pedagogical interest, the fundamental group associated with isochrony is that of parabola arcs equipped with affine transformation. Any other subgroup will necessarily miss the description of some isochrone orbits.
5.3 Classification of isochrone orbits
Now that we have an analytic expression for any isochrone orbit, we will classify each of them according to the isochrone potential in which it exists. In classical textbooks, the two academic orbits turn out to be ellipses: In the Kepler problem, these ellipses have the origin at one of their foci, and in the harmonic problem, the ellipse is centered on the origin. We will of course recover these results here and try to exhibit the plethora of orbits arising from all four families of isochrone potentials, one by one.
5.3.1 General properties of isochrone orbits
It is well known that in gravitational mechanics, a periodic orbit in a generic radial potential consists in a rosette (Arnol’d 1995). Although no clear definition of a rosette exists, all have in common a generally not-closed flower-shaped plane curve that may wrap numerous times around the origin while oscillating between an perapsis and apoapsis. Of course, we will recover all these results here. In Figs. 15 through 17, we depict the orbits of particles in each of the four families of isochrone potentials, such as defined in Sect. 4.2.3. However, all isochrone orbits exhibit similar properties, due to the following fact: Any isochrone potential \(\psi (r)\) can be written as
where f is an increasing function or r, as can be checked on the definitions of the potentials \(\psi _i\) in Sect. 4.2.3.
In the case \(\lambda \le 0\), it is immediate from Eq. (83) that \(\psi \) will be increasing and therefore be associated with a gravitational potential, i.e., with positive mass density \(\rho \). Consequently, the orbiting particle will feel an ever-attracting force and its orbit will be some kind of rosette (Arnol’d 1995), as is well known in classical mechanics. In particular, the apsidal angle in such a case will always verify \(\varTheta \ge \pi \) since the particle, when approaching the origin, misses it as its angular velocity \(v_\theta =\varLambda /r\) increases, while \(r\rightarrow 0\). Given that the harmonic and Kepler potentials are isochrone, it is no surprise that all isochrone orbits with \(\lambda \le 0\) will be some kind of precessing ellipses, as we shall see in the following sections.
We mention that in the \(\lambda \le 0\) case, any particle \((\xi ,\varLambda )\) with \(\varLambda ^2=-\lambda \) will fall toward the center without stopping and will take an infinite amount of time to reach it, as on the innermost orbit depicted in Fig. 15. This is because the \(\lambda /2r^2\) term will balance the centrifugal term \(\varLambda ^2/2r^2\) and the particle will not feel that centrifugal wall anymore. In terms of the parabola, this happens when the line \({\mathscr {L}}\) intersects the parabola \({\mathscr {P}}\) once, on the y-axis. This is a generalization of the well-known radial orbits (Arnol’d 1995), i.e., these with \(\varLambda =0\). When \(\lambda =0\), only \(\varLambda =0\) travel on radial orbits. As their angular velocity \(v_\theta =\varLambda /r\) vanishes they go in a straight line to the center. When \(\lambda <0\), although the centrifugal wall is not here anymore, they still have \(v_\theta \ne 0\) and will thus inspiral toward the center. These orbits are all depicted as the innermost ones in Fig. 15 through Fig. 17.
In the case \(\lambda >0\), Eq. (83) shows that \(\psi \) will be decreasing around the origin \(r=0\), and therefore be associated with a repulsive force in this region, associated with a negative mass density. The particle will therefore be repelled at periapsis. Far from the origin, however, the potential is always decreasing, and the particle will be attracted at apoapsis. This situation is closer to electrostatics than to gravitational dynamics, and shows that isochrony is not unique to gravitational systems, and can be found in the motion of charged, test particles in central electrostatic potentials. This special property of \(\lambda >0\) potentials will imply that \(\varTheta \) can take value in \([0,\pi ]\), and isochrone orbits will be drastically different.
We now turn to the analysis of orbits in each of the four families of isochrone potentials. We stress that the general shape of the orbits can be classified only by the value of the \(\lambda \) parameter. In particular, we will set \(\varepsilon =0\) for each potential as it just amounts to re-scaling the potential energy, and with a good choice of units for time and space, we may always set \(\omega =1\) for the Harmonic family and \(\mu =\beta =1\) in the Bounded, Hénon and Kepler families. These choices do not change the general characteristics of the orbit. A dynamical system formulation of the problem (detailed in Appendix A) has been integrated numerically and used to check (and found perfect agreement with) all the isochrone formulae: (57) for the radial period T, (61) for the apsidal angle \(\varTheta \) and the parameterization (82) for the shape of the orbit.
5.3.2 Harmonic family
According to Sect. 4.2.3, a potential \(\psi \) in the Harmonic family is given by
for some \(\omega >0\) and \((\varepsilon ,\lambda )\in \mathbb {R}^2\). Given the potential, the values of \((\xi ,\varLambda )\) that yield periodic orbits are given by the inequalities (47). With the help of Sect. 4.2.3, we may insert the Greek parameters in place of the Latin ones into Eq. (57) and (61) to find the period \(T(\xi )\) and apsidal angle \(\varTheta (\varLambda )\) in terms of \(\varepsilon ,\lambda ,\omega \)
\(\bullet \) In the case \(\lambda =0\), we have \(\varTheta =\pi \) for all orbits. Up to the additive constant \(\varepsilon \), \(\psi _1\) is the well-known harmonic (or Hooke) potential. The dynamics can be solved analytically, and the shape of the orbit is an ellipse centered on the origin (bottom left of Fig. 15).
\(\bullet \) In the case \(\lambda <0\), from Eq. (85) we have \(\varTheta >\pi \). When \(\pi<\varTheta <2\pi ,\) the particle makes less than one turn in one radial period T. When \(\varTheta >2\pi \) the orbit winds up at least once around the origin, and the winding number can become arbitrarily large with \(\lambda \). One such orbit is depicted on the bottom right of Fig. 15.
\(\bullet \) In the case \(\lambda >0\), we have \(\varTheta \in ]0,\pi [\). In this peculiar case, the orbits need many periods in order to make a complete turn around the origin. This is because particles are repelled when reaching their periapsis. Such orbits are depicted at the top of Fig. 15. When the orbit is close to a circular one this gives rather odd shapes, such as the top right of Fig. 15.
5.3.3 Bounded family
According to Sect. 4.2.3, a potential \(\psi \) in the Bounded family is given by
for some \(\mu>0,\beta >0\) and \((\varepsilon ,\lambda )\in \mathbb {R}^2\). Given the potential, the values of \((\xi ,\varLambda )\) that yield periodic orbits are given by the inequalities (50). As established in Sect. 5.1, the period \(T(\xi )\) and apsidal angle \(\varTheta (\varLambda )\) of the orbit are given by
The most striking feature of orbits in Bounded potentials is the angular, almost non-differentiable, turning point at the apoapsis, as depicted in Fig. 16. In fact, these orbits are smooth and we provide some insight as to why they seem pointy in Appendix F. Regarding the classification of orbits, it will be very similar to that of the Harmonic family, by examining the function \(\varTheta (\varLambda )\) given by Eq. (87), the properties of which can be found in Appendix D. We set \(\varepsilon =0\) and \(\mu =\beta =1\) in Eq. (86) by a good choice of units, and the shape of the orbits depends on the sign of \(\lambda \).
\(\bullet \) In the case \(\lambda =0\), \(\varTheta \) decreases with \(\varLambda \), but varies in \(]0;\pi ]\). The particle needs many periods to make a full rotation around the center. If the apoapsis are peaked, then this can lead to peculiar, star-shaped orbits, such as the bottom left one in Fig. 16. It is even possible to tune \(\varLambda \) so that \(\varTheta \) is commensurable with \(\pi \) in order to obtain any regular polygon whose vertices are the apsides of the orbit.
\(\bullet \) In the case \(\lambda <0\), \(\varTheta \) decreases with \(\varLambda \) and can take arbitrary values in \(]0,+\infty [\). As we said for the Harmonic family, the orbit may wrap around the origin numerous times in one period, as depicted at the bottom of Fig. 16.
\(\bullet \) In the case \(\lambda >0\), \(\varTheta \) is not monotonous with respect to \(\varLambda \). It is increasing from 0 to some maximum value \(\varTheta _{\text {max}}<\pi \) when \(\varLambda \) equals some critical value \(\varLambda _o\), and then, it decreases to zero for \(\varLambda _o\). In particular, all orbits have a maximum apsidal angle that is less than \(\pi \). However, we are again in the case where the particle is repelled at periapsis, giving the orbits a different look than the \(\lambda =0\) case. Two examples are depicted at the top of Fig. 16.
5.3.4 Hénon family
According to Sect. 4.2.3, a potential \(\psi \) in the Hénon family is given by
for some \(\mu >0,\beta \ge 0\) and \((\varepsilon ,\lambda )\in \mathbb {R}^2\). Given the potential, the values of \((\xi ,\varLambda )\) that yield periodic orbits are given by the inequalities (50) (with a minus sign in front of \(\mu ^2\)). As established in Sect. 5.1, the period \(T(\xi )\) and apsidal angle \(\varTheta (\varLambda )\) of the orbit are given by
Regarding the classification of orbits, we apply the same method that we used for the two other families. In particular, the variations of the function \(\varTheta (\varLambda )\) by Eq. (89) are given in Appendix D and we set \(\varepsilon =0\) and \(\mu =\beta =1\) in Eq. (86) by a good choice of units. The shape of the orbits depends on the sign of \(\lambda \).
\(\bullet \) In the case \(\lambda =0\), \(\varTheta \) increases with \(\varLambda \) and varies in \([\pi ;2\pi [\). The particle needs at least two periods to make a full rotation around the center. The Kepler potential belongs to the Hénon family with \(\lambda =\beta =0\), and has \(\varTheta =2\pi \), recovering the elliptic orbit. It is thus not a surprise that most orbits in the Hénon family resemble precessing ellipses. One such orbit is depicted at the bottom of Fig. 17.
\(\bullet \) In the case \(\lambda <0\), \(\varTheta \) is, in general, not monotonous with respect to \(\varLambda \). The precise shape of the function \(\varTheta (\varLambda )\) can be found in Appendix C, but generally speaking, \(\varTheta \) is decreasing from \(+\infty \) to some minimum value \(\varTheta _{\text {min}}<\pi \) when \(\varLambda \) equals some critical value \(\varLambda _o\), and it increases to reach \(2\pi \) for \(\varLambda >\varLambda _o\). For some values of \(\lambda \), the critical angular momentum \(\varLambda _o\) goes to \(+\infty \), and \(\varTheta (\varLambda )\) is then strictly decreasing, varying between \(2\pi \) and \(+\infty \). In either case, \(\varTheta >\pi \) and the periapsis can be at an arbitrarily large radius, leading to an orbit with numerous windings around the center, as depicted on the bottom right of Fig. 17.
\(\bullet \) In the case \(\lambda >0\), the apsidal angle \(\varTheta \) is strictly increasing between 0 and \(2\pi \). This case is peculiar because the shape of the orbit will depend on the location of the periapsis. Indeed, note that since \(\lambda >0\), the potential is always decreasing in some region surrounding the origin. If the periapsis is in this region, then the particle will be repelled, and we will have necessarily \(0<\varTheta <\pi \), as usual for repelled orbits. On the contrary, if the periapsis is outside the region where the potential decreases, the particle is always attracted and \(\pi<\varTheta <2\pi \).
6 Conclusion
In this paper, we have tried to answer as thoroughly as possible the following mathematical physics question: What are the characteristics of orbits in isochrone potentials? To this end, we have extended some results of Simon-Petit et al. (2018) and managed to fill in some gaps along the way, privileging a geometrical approach as much as possible, in the spirit of Michel Hénon’s work. We often made contact with the results of Simon-Petit et al. (2018) and argued that this paper should be seen as the second part of a work toward the completion of Michel Hénon’s endeavor, namely the systematic study of isochrone potentials and orbits.
After some reminders about orbital dynamics in central potentials in the first section, in the second one we have presented and argued how the Hénon variables (x, Y) are well suited for the study of a test particle in an arbitrary central potential. The reason is that, in these variables, the particle is associated with a line \({\mathscr {L}}\) whose two degrees of freedom (slope and y-intercept) are in a one-to-one correspondence with the properties of the particle (energy and angular momentum). We have used this Hénon formalism to give a geometrical proof of the central result of isochrony: A potential \(\psi \) is isochrone if and only if its curve \({\mathscr {C}}\) in Hénon’s variables is an arc of parabola, using a beautiful result of Euclidean geometry tracing back to Archimedes. We have given insight as to why these special curves are parabolae and not any other type of curve in Sect. 3.2.4.
To establish that the set of isochrone potentials is really in a one-to-one correspondence with parabolae in the Hénon plane, we needed to find the explicit bifurcation diagrams for each potential. In particular, we built on the Keplerian picture exposed in Arnol’d (1995) and provided the set of particles \((\xi ,\varLambda )\) that have bounded motion in any isochrone potential, as depicted in Fig. 9 through 11. By a careful analysis of the set of parabolae summarized in Fig. 7, we have derived a classification of isochrone potentials. We have found the one exposed in Hénon (1959a) and Simon-Petit et al. (2018), as well as the hollow potentials, with non-usual physical properties, but nonetheless bounded isochrone orbits, and therefore necessary to exhaustively complete the set of isochrone potentials. We have also provided a geometrical way of finding the mass in a given sphere, associated with a given isochrone potential.
After this analysis on isochrone potentials, we turned to the study of isochrone orbits per se in Sect. 5. We first derived a generic and analytic formula for the radial period T and the apsidal angle \(\varTheta \) of any isochrone orbit in terms of the parabola parameters (a, b, c, d) and the particles properties (\(\xi \) for T and \(\varLambda \) for \(\varTheta \)). We provided various geometrical interpretations of these laws and given a recipe for computing both T and \(\varTheta \) in the Hénon plane, as depicted in Fig. 12. The final results involve the solution of the orbital differential equation itself. Based on all our previous findings, we devised and completed a geometrical program in the Hénon plane that allowed to find an analytic parameterization for any isochrone orbit.Footnote 20 Last but not least, we have computed numerically and plotted various isochrone orbits in order to check the consistency of our analytic results in the orbital plane. We described and classified these orbits according to the isochrone potential \(\psi _i\) to which they belong and to the parameter \(\lambda \) that is essentially the only responsible for the different shapes of the orbits. In particular, we have seen that orbits in the Bounded potential have peculiar properties at apoapsis and understood these properties analytically.
Isochrony has much to offer when it comes to useful and fruitful problems of mathematical physics: It contains the two most fundamental potentials of gravitation, the Keplerian and the harmonic ones, and exhibits interesting geometrical and algebraic properties (generalized Kepler’s third laws, affine transformations of parabolae in the Hénon plane), and on top of that, everything can be found analytically, from the shape of the potentials ((41) through (45)), the radial period and apsidal angle ((62) and (61)) to the parameterization of orbits therein ((74), (80) and (82)). Last but not least, it seems to be of physical interest in the evolution of cluster dynamics, as suggested in Simon-Petit et al. (2019) and in ongoing works. We encourage the interested reader to take inspiration out of the geometrical methods and results of this paper to devise exercises material that serve academic purposes. It appears that mathematical physics problems such as isochrony are rarely seen in the literature nowadays, and the authors are convinced that such problems are of great interest as both academic and research material.
Notes
In electrostatics, G must be replaced by the Coulomb constant \(-1/4\pi \varepsilon _0\), where \(\varepsilon _0\) is the vacuum electric permittivity. In this context, \(\rho (r)\) is the charge density and is not required to be positive as in the gravitational case.
For monotonous potentials, there is either 0, 1 or 2 solutions to Eq. (3). When there are more than two solutions, say \((r_1,\ldots ,r_n)\) for some \(n \ge 3\), the orbit is selected on the graph by the initial radius \(r_0\): its periapsis and apoapsis being \(r_P=r_i\) and \(r_A=r_{i+1}\), where i is such that \(r_0\in [r_i,r_{i+1}]\).
For example, in a Kepler potential the period of motion is twice the radial period, and in an harmonic potential, both periods coincide.
We do not define T for circular orbits, since the radial motion for the latter is \(r(t)=r_C\) where \(r_C\) is a mere constant; therefore, any \(T\in \mathbb {R}\) is a radial period.
Indeed, using Eq. (3), we have the Taylor expansion \(\xi -\psi _e(r)=\psi _e^\prime (r_P)(r_P-r)+o(r_P-r)\), and \(\psi _e^\prime (r_P)\ne 0\) since the orbit is non-circular. The integrand in Eq. (6) is thus equivalent to \((r_P-r)^{-1/2}\), which is integrable at \(r_P\). The same holds at \(r_A\).
Since \(\varLambda =r^2\dot{\theta }\), we have \(\dot{\varTheta }=\varLambda /r(t+T)^2-\varLambda /r(t)^2\), which vanishes by T-periodicity of r(t).
As for the radial period T, any \(\varTheta \in \mathbb {R}\) is an apsidal angle for circular orbits, \(r(t)=r_C\) for all t, and therefore, the particle is in some sense always at periapsis.
In this paper as in Simon-Petit et al. (2018), this one isochrone potential is referred to as the Hénon potential, isochrone being a qualifier used here for the whole class of potentials such that \(T=T(\xi ,\varLambda \!\!\!/)\).
Strictly speaking, we will show that \({\mathscr {C}}\) is an arc of parabola, as it is the graph of a function. However, any given arc of parabola defines a unique parabola, so there will be no possible confusion here.
Qualitatively speaking, at least. The particular case when the second derivative vanishes at M is not a problem; it corresponds to \(\alpha =0\) in Eq. (29).
If \(\delta <0\) we can always replace (a, b) by \((-a,-b)\). This leaves Eq. (31) unchanged and thus corresponds to the same parabola, but changes the sign of \(\delta \).
Strictly speaking, these bottom-oriented parabolae will contain a unique, circular, unstable orbit.
We shall see this feature at play in the classification of isochrone orbits, later in Sect. 5.3.
Around a point mass, a test particle orbits on a closed ellipse whose semimajor axis a is such that \(a\propto \xi ^{-1}\) Arnol’d (1995). Consequently, Kepler’s third law is commonly written as \(T^2 \propto a^3\). Note that here the radial period coincides with that of the motion, i.e., \(\mathbf {r}(t+T)=\mathbf {r}(t)\).
For the Kepler family, the two intersections degenerate into one and \(\ell _+=\ell _-\). For the Harmonic family, \(\ell _+\) goes to \(+\infty \) (think of a \(\pi /2\)-rotation turning \(y=-\sqrt{x}\) into \(y=x^2\)).
Note that if the periapsis is at \((r,\theta )=(r_P,0)\), the reduced orbit \({\mathscr {O}}_o\) is simply the upper half of \({\mathscr {O}}\).
We choose \(\theta \) such that \(\theta =0\) at initial \(r=r_P\). Since \(\bar{r}_P\) is sent to \(r_P\), we require \(\theta =0\) when \(\bar{\theta }=0.\)
We note that this procedure could be repeated for any family of curves in the Hénon plane that is stable under affine transformations, provided that one of them is already analytically known. This might be a fruitful and interesting academic exercise, perhaps by replacing parabolae by other conics, or algebraic curves of higher degree.
The intuition comes from the following remark: The information on the period should be encoded somewhere on the curve, but be independent of \(\varLambda \) and thus of the height of the line \({\mathscr {L}}\). By varying \(\varLambda \), we see that the only place that is not altered by this translation is the point C. In particular, the slope of the tangent encodes \(\xi \), and the curvature at that point encodes T.
References
Arnol’d, V.I.: Mathematical Methods of Classical Mechanics. Springer, New York (1995)
Bényi, À., Szeptycki, P., Vleck, F.V.: A generalized archimedean property. Real Anal. Exchange 29(2), 881–889 (2003)
Binney, J.: Hénon’s Isochrone Model. arXiv e-prints (2014)
Binney, J., Tremaine, S.: Galactic Dynamics, 2nd edn. Princeton University Press, Princeton (2008)
Dorignac, J.: On the quantum spectrum of isochronous potentials. J. Phys. A Math. Gen. 38, 6183–6210 (2005)
Hawkins, R., Lidsey, J.: Ermakov-Pinney equation in scalar field cosmologies. Phys. Rev. D 66, 023523 (2002)
Heath, T.: The Works of Archimedes. Dover Publications Inc., New-York (2002)
Hénon, M.: L’amas isochrone: I. Annales d’Astrophysique 22, 126–139 (1959a)
Hénon, M.: L’amas isochrone: II. Le calcul des orbites. Annales d’Astrophysique 22, 491–498 (1959b)
Hénon, M.: L’amas isochrone: III. Fonction de distribution. Annales d’Astrophysique 23, 474–477 (1960)
McGill, C., Binney, J.: Torus construction in general gravitational potentials. Mon. Not. R. Astron. Soc. 244, 634–645 (1990)
Santos, F., Soares, V., Tort, A.: Determination of the apsidal angles and Bertrand’s theorem. Phys. Rev. E 79(3), 036605 (2009)
Sfecci, A.: From isochronous potentials to isochronous systems. J. Differ. Equ. 258, 1791–1800 (2015)
Simon-Petit, A., Perez, J., Duval, G.: Isochrony in 3D radial potentials. From Michel Hénon’s ideas to isochrone relativity: classification, interpretation and applications. Commun. Math. Phys. 363, 605–653 (2018)
Simon-Petit, A., Perez, J., Plum, G.: The status of isochrony in the formation and evolution of self-gravitating systems. Mon. Not. R. Astron. Soc. 484(4), 4963–4971 (2019)
Stein, S.: Archimedes: What Did He Do Beside Cry Eureka?. The Mathematical Association of America, Washington (1999)
Acknowledgements
PR is grateful to M. Langer and A. Le Tiec for helpful discussions, suggestions and comments; and to the Centro Brasileiro de Pesquisas Fisìcas for its hospitality, where part of this work was done.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Dynamical system
In order to draw the orbit, we write the equations of motion as a three-dimensional dynamical system. Although, in general, a generic three-dimensional motion in classical mechanics involves 6 degrees of freedom, namely the three coordinates and their associated momenta, the spherical symmetry here at play reduces this number to three. Moreover, the radial motion is decoupled from the polar one. To see this, differentiate Eq. (2) with respect to r to obtain a second-order ODE for r(t), or equivalently, a two-dimensional dynamical system for the radial motion in \((r,\dot{r})\). To get the polar motion, and thus the full orbit \((r(t),\theta (t))\), one may simply use the definition of the angular momentum \(\varLambda =r^2\dot{\theta }\), which gives \(\theta (t)\) directly from r(t). These three pieces together give the following three-dimensional dynamical system in \((r,\dot{r},\theta )\)
The system (90) is sufficient to compute the trajectory of any particle in any central potential \(\psi (r)\). In particular, once \(\psi (r)\) is plugged into Eqs. (90) and some initial conditions \((r(0),\dot{r}(0),\theta (0))\) are provided, the motion can be solved using, e.g., a classical Runge—Kutta numerical method. Since we are interested in periodic, bounded orbits, we must, however, choose the initial conditions carefully. In order to find these orbits more easily, we choose to express \((r(0),\dot{r}(0))\) in terms of the two constants of motion \(\xi \) and \(\varLambda \), and take \(\theta (0)=0\), as the latter does not change the periodic nature of an orbit. Since the set of \((\xi ,\varLambda )\) that produces periodic orbits is precisely the one we found in Sect. 4.3 depicted in Figs. 9, 10 and 11, this procedure allows for an easy picking of initial conditions and allows us to draw any periodic orbit in any isochrone potential. This has been used to draw the orbits in Figs. 15 through 17 and to check the validity of all our analytic isochrone formulae.
Alternative form of the third laws
We have seen that the Hénon’s formula (21) gives the period \(T(\xi )\) of an orbit \((\xi ,\varLambda )\) in any isochrone potential. For any value of \(\xi \), there exists a unique value \(\varLambda _C\) such that the orbit is circular, corresponding to the line \({\mathscr {L}}_C:y=\xi x-\varLambda ^2_C\) being tangent to the isochrone parabola. Using the notations h and L(h) introduced in Sect. 3.2, this circular limit corresponds to \(h\rightarrow 0\). Taking this well-defined limit in Eq. (25) gives
As it can be intuited from the discussion of Sect. 3.2.4, it turns out that the limit on the right-hand side of Eq. (91) is independent of the global aspect of the curve. In fact, this limit is simply eight times the radius of curvature \(R_C\) at the point C corresponding to the circular orbit.Footnote 21 In other words, we have
Equation (92) provides a geometrical way to find the period of any given orbit in an isochrone potential, without any algebraic reference to the parabola itself. First take a line \({\mathscr {L}}\) intersecting an isochrone parabola \({\mathscr {P}}\) at P and A, and then, perform a translation of this line to construct \({\mathscr {L}}_C\), tangent to \({\mathscr {P}}\) at C. The curvature radius \(r_C\) of the parabola at the tangency point C gives the period, via Eq. (92). This is the local version of the result given in Eq. (21).
In a similar fashion, the law for the apsidal angle can also be written in terms of curvature, albeit for the effective potential. If \(\varPsi _e(u)=\psi _e(r)\) with \(u=1/r\), we have
This law provides a way to compute the apsidal angle in the effective potential \(\varPsi _e\) in the Binet variable \(u=1/r\), or in the real effective potential \(\psi _e\), using \(\varPsi _e^{\prime \prime }(u_C)=r_C^4\psi _e^{\prime \prime }(r_C)\).
Hénon’s formula for \(\varTheta \)
We detail the computation of the integral (7) for \(\varTheta \), with the method used to derive the Hénon formula (21) for T. According to the dictionary in Table. 1, this time we use the Binet variable \(u:=1/r\) and define a potential \(\varPsi _e(u)\) by \(\psi _e(r)=\varPsi _e(u)\). Inserting these notations in (7) readily gives
This is the equivalent for \(\varTheta \), of Eq. (14) for T. The bounds of the integral are \(u_A:=1/r_A\) and \(u_P=1/r_P \ge u_A\). In the (u, y) plane, the quantity \(D_\varTheta (u):=\xi - \varPsi _e(u)\) appearing in Eq. (94) is the vertical distance between the curve \({\mathscr {C}}:y=\varPsi _e(u)\) and the line \({\mathscr {L}}:y=\xi \). Once again, the fact that \(D_\varTheta (u)\ge 0\) follows from the requirement \(\xi -\psi _e(r)\ge 0\), cf. (4).
Next we rewrite the distance \(D_\varTheta \) as \(D_\varTheta (u)=\varepsilon ^2 - z(u)^2\), with \(\varepsilon ^2 := \xi - \xi _C\) the vertical distance between the two lines \({\mathscr {L}}\) and \({\mathscr {L}}_C\), and \(z(u)^2:=\varPsi _e(u)-\xi _C\), as depicted in Fig. 18. As we did for T, we may conveniently choose z(u) to be negative on \([u_A,u_C]\) and positive on \([u_C,u_P]\). The formula for \(\varTheta \) becomes
As we argued for T, the function \(u\mapsto z(u)\) is by construction monotonically increasing so that we can perform the change of variables \(u\rightarrow z(u)\) and introduce f such that \(u=f(z)\). Since \(z(u_A)=-\varepsilon \) and \(z(u_A)=\varepsilon \), the integral becomes
where the last equality follows from the change of variables \(z\rightarrow \varepsilon \sin \phi \), with \(\phi \) varying between \(-\pi /2\) and \(\pi /2\) when \(z\in [-\varepsilon ,\varepsilon ]\). Now we assume for \(f^{\prime }\) a Taylor expansion around 0 of the form \(f(z)=a_0 + \sum _{n\ge 1} a_n z^n\), and integrate term by term to get
with \(W_n\) the Wallis integral as given in Eq. (18), and the odd terms vanishing by integration over the symmetric interval \([-\varepsilon ,\varepsilon ]\). Now if \(\varTheta \) is to be independent of \(\xi \), then it must also be independent of \(\varepsilon \), since \(\xi _C\) depends only on \(\varLambda \). Therefore, we must have \(a_{2n}=0\) for all \(n\ge 1\). We thus obtain the formula \(\varTheta = \sqrt{2} \pi \varLambda a_0\) and the Taylor expansion of \(f'\) therefore writes
Integrating this equation over the interval \([z(u_A),z(u_P)]=[-\varepsilon ,\varepsilon ]\), we can make the same remarks as we did in the paragraph below Eq. (20), except that in this case \(f(z_A)=u_A\) and \(f(z_P)=u_P\). In the end, we obtain Eq. (22), which is the equivalent to Eq. (21) for T. The right-hand side of that equation is independent of \(\xi \), even though the quantities \(u_P,u_A\) depend explicitly on \(\xi \).
Analysis of \(\varTheta (\varLambda )\)
Let \(\psi _i\) be a potential in one of the four families \(i\in \{1,2,3,4\}\) as defined in Sect. 3.2. In this appendix, we study the properties of the function \(\varTheta _i(\varLambda )\) defined in Eq. (61). These formulae are used in Sect. 5.3 to classify the orbits in each isochrone potential \(\psi _i\). The claims of Sect. 5.3 regarding each function \(\varLambda \mapsto \varTheta _i(\varLambda )\) follow easily from the mathematical analysis detailed here, with the Latin parameters (a, b, c, d, e) replaced by the Greek ones \((\omega ,\varepsilon ,\lambda ,\mu ,\beta )\).
1.1 Harmonic and Kepler family, \(\varTheta _1(\varLambda )\) and \(\varTheta _4(\varLambda )\)
For the harmonic potential \(\psi _1\), the analysis of \(\varTheta _1(\varLambda )=\pi \varLambda (\varLambda ^2+\lambda )^{-1/2}\) is straightforward. For \(\lambda <0\), it is strictly decreasing and \(\varTheta \) varies in \(]\pi ,+\infty [\) when \(\varLambda \in ]\sqrt{-\lambda },+\infty [\). For \(\lambda =0\), \(\varTheta =\pi \) for all \(\varLambda \in \mathbb {R}\). For \(\lambda >0\), it is strictly increasing and \(\varTheta \) varies in \(]0,\pi [\) when \(\varLambda \in ]0,+\infty [\). For the Kepler family \(\psi _4\), the analysis is also straightforward since we have for any \(\varLambda \) and \(\lambda \) the identity \(\varTheta _4(\varLambda )=2\varTheta _1(\varLambda )\) by direct examination of Eq. (61) when \(b=0\) (harmonic) and \(d^2=4b^2e\) (Kepler).
1.2 Bounded family, \(\varTheta _2(\varLambda )\)
For Bounded potentials \(\psi _2\), the analysis is more involved. For any \(\mu >0\) and \(\beta >0\), we write \(\alpha :=\lambda /(\lambda +4\mu \beta )\). We also define a function \(f(\varLambda ,\lambda )\) of the real variables \(\varLambda ,\lambda \) by the formula
With these notations, we have \(\varTheta _2(\varLambda )=\pi f(\varLambda ,\lambda )\) (cf. Eq. (87)). We want to study the three cases \(\lambda >0\), \(\lambda =0\) and \(\lambda <0\), used to classify the orbits in Sect. 5.3.
\(\bullet \) Case \(\lambda =0\). In this case, we simply plug \(\lambda =0\) in Eq. (99) and we see that \(f(\varLambda ,0)\in [0,1]\). Moreover, we have easily \(\partial _\varLambda f<0\). Therefore, \(\varTheta (\varLambda )\) is strictly decreasing and varies \([0,\pi ]\).
\(\bullet \) Case \(\lambda >0\). In this case, \(0<\alpha <1\) and for a fixed \(\lambda \), we have
Then, a few algebraic manipulation show that \(\partial _\varLambda f(\varLambda ,\lambda )\) vanishes for a value \(\varLambda _o\) given by
Since \(0<\alpha <1\) and \(0<\varLambda _o<(\varLambda _o+4\mu \beta )^{1/2}\), we have readily \(0<f(\varLambda _o,\lambda )<1\). Now, for any fixed \(\lambda >0\), \(\varLambda \mapsto f(\varLambda ,\lambda )\) is continuous, \(\partial _\varLambda f\) vanishes only once at \(\varLambda _o\) and furthermore \(0<f(\varLambda _o,\lambda )<1\). Furthermore, it is clear that \(f(\varLambda ,\lambda )\) goes to 0 as \(\varLambda \rightarrow 0\) and \(\varLambda \rightarrow +\infty \). With all these results, the general shape of the curve \(\varLambda \mapsto f(\varLambda ,\lambda )\) can be easily inferred.
\(\bullet \) Case \(\lambda <0\). In this case, \(\varLambda \mapsto f(\varLambda ;\lambda )\) is defined only when \(\varLambda ^2>-\lambda \). First subcase: \(\lambda <0\) and \(\lambda +4\mu \beta <0\). Then we readily see in Eq. (100) that \(\partial _\varLambda f(\varLambda ,\lambda )>0\). Second subcase: \(\lambda <0\) but \(\lambda +4\mu \beta \ge 0\), then setting \(g(\varLambda ,\lambda ) := \lambda (\varLambda ^2+\lambda )^{-3/2}\), we have for any \(\varLambda ^2>-\lambda \)
Now, since \(\varLambda ^2>-\lambda \), the right-hand side of Eq. (102) is strictly positive, and therefore, g is an increasing function of \(\lambda \). In particular, we have \(\lambda +4\mu \beta>\lambda \Rightarrow g(\varLambda ,\lambda +4\mu \beta ) > g(\varLambda ,\lambda )\) and by definition of g, the latter is exactly \(\partial _\varLambda f(\varLambda ,\lambda )>0\). To conclude, in the \(\lambda <0\) case, \(\varLambda \mapsto f(\varLambda ,\lambda )\) is strictly decreasing. Furthermore, it is clear that \(f(\varLambda ,\lambda )\) goes to \(+\infty \) as \(\varLambda \rightarrow (-\lambda )^{1/2}\) and to 0 as \(\varLambda \rightarrow +\infty \). With all these results, the general shape of the curve \(\varLambda \mapsto f(\varLambda ,\lambda )\) can be easily inferred.
1.3 Hénon family, \(\varTheta _3(\varLambda )\)
For Hénon potentials \(\psi _3\), the analysis is similarly more involved. As for the Bounded potentials, we fix \(\mu >0\) and \(\beta >0\) and write \(\alpha :=\lambda /(\lambda +4\mu \beta )\). This time we define a function \(h(\varLambda ,\lambda )\) of the real variables \(\varLambda ,\lambda \) by the formula
With these notations, we have \(\varTheta _3(\varLambda )=\pi h(\varLambda ,\lambda -2\mu \beta )\) (cf. Eq. (89)). The analysis follows the same lines as what was done for \(\varTheta _2(\varLambda )\). We want to study the three cases \(\lambda >0\), \(\lambda =0\) and \(\lambda <0\), used to classify the orbits in Sect. 5.3.
\(\bullet \) Case \(\lambda >0\). Then we have \(0<\alpha <1\) and there is no problem in showing that \(\varLambda \mapsto h(\varLambda ,\lambda )\) is strictly increasing and that \(0<h(\varLambda ,\lambda )<1\).
\(\bullet \) Case \(\lambda =0\). Once again, there is no problem in showing that \(\varLambda \mapsto h(\varLambda ,\lambda )\) is strictly increasing and that \(0<h(\varLambda ,\lambda )<2\).
\(\bullet \) Case \(\lambda <0\). In this case, h is only defined when \(\varLambda ^2>-\lambda \). For any such \((\varLambda ,\lambda )\), we have
There are two subcases. First subcase: \(\lambda <0\) and \(\lambda +4\mu \beta <0\). Then from Eq. (104), \(\partial _\varLambda h(\varLambda ,\lambda )<0\). Furthermore, \(h(\varLambda ,\lambda )\) goes to \(+\infty \) as \(\varLambda \rightarrow (-\lambda )^{1/2}\), and to 2 as \(\varLambda \rightarrow +\infty \). Second subcase: \(\lambda <0\) and \(\lambda +4\mu \beta <0\). If \(|\alpha |<1\), then there is a value \(\varLambda _o\) that makes \(\partial _\varLambda h(\varLambda ,\lambda )\) vanish. It is given by
In this case, the function \(\varLambda \mapsto h(\varLambda ,\lambda )\) decreases on \([(-\lambda )^{1/2},\varLambda _o]\) and increases on \([\varLambda _o,+\infty [\). The value \(h(\varLambda _o,\lambda )\) is always strictly between 1 and 2. If \(|\alpha |\ge 1\), then the function f is strictly decreasing. (It can be seen as the limit \(\varLambda _o\rightarrow +\infty \).) The value \(h(\varLambda _o,\lambda )\) is in this case always above 2.
Proof that \(c+d\xi <0\) for isochrone orbits around finite central mass
In Sect. 5.2, we used the fact that \(a+b\xi <0\) and \(c+d\xi <0\) for isochrone orbits in order to prove that our formula (82) covers all isochrone orbits. The former identity follows from the generalized Kepler’s third law, and here, we prove the latter identity. By assumption, we have a particle \((\xi ,\varLambda )\) on an isochrone orbit in a potential with finite central mass whose parabola \({\mathscr {P}}:(ax+by)^2+cx+dy=0\) verifies all hypotheses \((H_i)\) of Sect. 4.2. First we can check easily that \(cx+dy=0\) is an equation for the tangent to \({\mathscr {P}}\) at the origin. Geometrically, since two intersections exist between \({\mathscr {L}}\) and \({\mathscr {P}}\), the slope of \({\mathscr {L}}\) must be bigger than that of this tangent, i.e., we must have \(\xi >-c/d\). We just have to show that \(d\le 0\) and the result will follow. First, if \(b=0\) (harmonic case), then we necessarily have \(d<0\) (top-oriented parabola). Second, if \(b\ne 0\), then since \(\lambda =0\) (\({\mathscr {P}}\) crosses the origin) we have by Eq. (36) the equality \(-d=\sqrt{d^2}\), which implies \(d\le 0\). Therefore, we always have \(d\le 0\) and thus \(c+d\xi <0\).
Peaks of orbits in Bounded potentials
Let an arbitrary orbit be given by a polar equation \(r(\theta )\), and compute the value of \(|{\mathrm {d}}r/{\mathrm {d}}\theta |\). The latter is a measure of the change of \({\mathrm {d}}r\) when moving from \(\theta \) to \(\theta +{\mathrm {d}}\theta \). It vanishes for circles \(r=\text {cst}\) and is infinite for straight lines \(\theta =\text {cst}\). With the help of Eq. (2) and \(\varLambda =r^2\dot{\theta }\), we obtain easily \(|{\mathrm {d}}r/ {\mathrm {d}}\theta |^2 = 2r^4(\xi -\psi _e(r))/ \varLambda ^2\). Using a Taylor expansion of \(\psi (r)\) and Eq. (3), we can linearize this equation around the apoapsis \(r_A\). We then obtain
Examining Eq. (106), we see that as \(r\rightarrow r_A\) the right-hand side goes to zero as every term is finite in front of \((r_A-r)\). The orbit is therefore smooth and differentiable around the apoapsis. However, the quantity \(\psi ^\prime (r_A)\) turns out to be very large for the Bounded family, in general. This is because the slope of a Bounded potential increases to infinity as r grows toward \(\beta \) from below, as can be seen readily on Eq. (86). Therefore, a line \({\mathscr {L}}\) can intersect \({\mathscr {C}}\) such that \(r_A\) is very close to \(\beta \), and it is clear from Eq. (86) that \(\psi _2^\prime (r) \rightarrow \infty \) as \(r \rightarrow \beta \). As a conclusion, before the apoapsis, the term \((r_A-r)\) does not yet compensate the \(\psi ^\prime (r_A)\) which is large for the Bounded potential, making \(\frac{{\mathrm {d}}r}{{\mathrm {d}}\theta }\) large and the curve resembles a \(\theta =\text {cst}\) line. This is why we see such abrupt and pointy turns on Fig. 16.
Rights and permissions
About this article
Cite this article
Ramond, P., Perez, J. The geometry of isochrone orbits: from Archimedes’ parabolae to Kepler’s third law. Celest Mech Dyn Astr 132, 22 (2020). https://doi.org/10.1007/s10569-020-09960-w
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10569-020-09960-w