Next Article in Journal
Assessing the Ability of Genetic Programming for Feature Selection in Constructing Dispatching Rules for Unrelated Machine Environments
Next Article in Special Issue
An Efficient Third-Order Scheme Based on Runge–Kutta and Taylor Series Expansion for Solving Initial Value Problems
Previous Article in Journal
Special Issue: “2022 and 2023 Selected Papers from Algorithms’ Editorial Board Members”
Previous Article in Special Issue
Analysis of the Effectiveness of a Freight Transport Vehicle at High Speed in a Vacuum Tube (Hyperloop Transport System)
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Geometrical Study about the Biparametric Family of Anomalies in the Elliptic Two-Body Problem with Extensions to Other Families

by
José Antonio López Ortí
1,*,†,
Francisco José Marco Castillo
2,† and
María José Martínez Usó
1,†
1
Department of Mathematics, IMAC, Universitat Jaume I de Castellón, E-12071 Castellón, Spain
2
Department of Applied Mathematics, IUMPA, Universitat Politècnica de València, E-46022 Valencia, Spain
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Algorithms 2024, 17(2), 66; https://doi.org/10.3390/a17020066
Submission received: 27 December 2023 / Revised: 29 January 2024 / Accepted: 30 January 2024 / Published: 4 February 2024
(This article belongs to the Special Issue Mathematical Modelling in Engineering and Human Behaviour)

Abstract

:
In the present paper, we efficiently solve the two-body problem for extreme cases such as those with high eccentricities. The use of numerical methods, with the usual variables, cannot maintain the perihelion passage accurately. In previous articles, we have verified that this problem is treated more adequately through temporal reparametrizations related to the mean anomaly through the partition function. The biparametric family of anomalies, with an appropriate partition function, allows a systematic study of these transformations. In the present work, we consider the elliptical orbit as a meridian section of the ellipsoid of revolution, and the partition function depends on two variables raised to specific parameters. One of the variables is the mean radius of the ellipsoid at the secondary, and the other is the distance to the primary. One parameter regulates the concentration of points in the apoapsis region, and the other produces a symmetrical displacement between the polar and equatorial regions. The three most used geodesy latitude variables are also studied, resulting in one not belonging to the biparametric family. However, it is in the one introduced now, which implies an extension of the biparametric method. The results obtained using the method presented here now allow a causal interpretation of the operation of numerous reparametrizations used in the study of orbital motion.

1. Introduction

One of the main problems in celestial mechanics is the two-body problem, especially in its elliptical case. This problem can be formulated as follows: given two masses m 1 , m 2 called primary and secondary, respectively, establish the position of the secondary relative to the primary, denoted by r , as a function of time.
The second-order differential equations define the relative motion of the secondary with respect to the primary:
d 2 r d t 2 = μ r r 3
where r is the vector radius of the secondary and μ = G ( m 1 + m 2 ) , where G is the gravitational constant and m 1 , m 2 the masses of the primary and the secondary, respectively.
The two-body problem in celestial mechanics is a well-known classical integrable problem whose analytical solution is well-known. It has been studied by numerous authors, e.g., [1,2,3,4,5].
This problem is also appropriate for testing numerical methods because we can compare the numerical and the analytical solutions. The analytical solution is described by the set III of elements of Brouwer and Clemence ( a , e , i , Ω , ω , M ) [1], where a is the semimajor axis of the ellipse, e the eccentricity, i the inclination, Ω the argument of ascending node, ω the argument of the apoapsis, and M the mean anomaly for the epoch.
The performance of the numerical methods is good. However, the distribution of points provided by the natural time is contrary to the dynamics by accumulating more points in the apoapsis region than in the periapsis region if constant time intervals are taken as base points of integration when the opposite would be desirable. One way to achieve this goal is to find a temporal variable for which the distribution of points at constant intervals in the new variables is more significant in the areas of higher speed of the secondary and those with greater curvature. This is particularly interesting in the case of very high eccentricities, like most periodic comets, in whose study numerical integrators can and do present problems.
There are several ways to solve this problem. In this paper, we use the analytical regularization of step size to reparametrize the orbit to obtain a more appropriate point distribution in the orbit. This method can be combined with variable step-size integrators, symplectic integrators, and other techniques. The reparametrization technique is a very interesting method to solve several problems. A review of these methods can be seen in [6].
In 1912, Sundman [7] introduced a change in the temporal variable τ using the transformation r d τ = d t , a temporal reparametrization of the motion known as the Sundman transformation. In this transformation, we can change the time by the mean anomaly; multiplying by the mean motion n and including in τ a normalization factor 1 a , the Sundman transformation can be rewritten as d g = r a d M , where g is the eccentric anomaly. To solve this problem, several authors have tried to use a time transformation to obtain a point distribution more according to the dynamics.
  • Hansen [8] pioneered in this field, introducing the relative anomalies.
  • Sundman, in 1912 [7], introduced a new temporal variable s related to t by means of r d s = d t .
  • Nacozy [9] introduced a new anomaly τ related by r 3 2 d τ = d t .
  • Janin and Bond [10,11] extended this transformation to Ψ α , defined by r α d Ψ α = d t .
  • Brumberg [12] introduced the regularized length of arc s * by v d s * = d t , where v is the velocity of the secondary.
  • Brumberg and Fukushima [13] introduced the elliptic anomaly w as w = π z 2 K ( e ) π 2 , where am z = g + π 2 .
This method has been used by several authors to obtain a set of time reparametrizations Ψ of the form d M = Q ( r ) d Ψ , where Q ( r ) is called the partition function and Ψ = Ψ ( M ) is a 2 π periodic function of M that satisfies Ψ ( 0 ) = 0 , Ψ ( π ) = π .
All these variables can be reduced to anomalies, including a normalization scale factor, so that they take values in [ 0 , 2 π ] along one revolution. The classic mean anomaly M, the eccentric anomaly g, and the true anomaly f can be considered temporal variables. López [14] defines the semifocal anomaly Ψ as the mean between f and f , where f is the antifocal anomaly [15].
In the year 2017, López introduced the biparametric family of anomalies Ψ α , β , defined by López [16] as
K α , β r α r β d Ψ α , β = d M .
This family contains the anomalies defined by the previous time transformations. For α = β = 0 , we have the mean anomaly M; for α = 1 , β = 0 , the eccentric anomaly g; for α = 1 / 2 , β = 1 / 2 , the generalized length of arc introduced by Brumberg; for α = 3 / 2 , β = 1 / 2 , the elliptic anomaly w; for α = 1 , β = 1 , the antifocal anomaly; and for α = 2 , β = 1 , the semifocal anomaly. The biparametric family groups many anomalies used in celestial mechanics, although this is an empirical grouping.
Notice that the anomaly Ψ α , β is symmetric to the axis of the ellipse when α β = 1 .
There are some interesting anomalies not included in this biparametric family [17,18,19,20].
This paper is focused on studying a new geometric point of view on the biparametric family, which allows reinterpretation of its operation in causal terms, which would be a relevant fact. This section presents the background and the primary goal of this paper. In Section 2, we study the relation between the curvature of the revolution ellipsoid that contains the orbit and the vector radii r r . From them, the biparametric family of anomalies is related through the vector radius r and the mean radius of curvature of the ellipsoid. In Section 3, we study several anomalies induced by the latitudes of the ellipsoid, in particular, the geodetic latitude Ψ and the geocentric latitude Φ , concluding in the first case that the anomaly induced by the geodetic latitude coincides with the semifocal anomaly and the anomaly induced by the geocentric anomaly is not included in the biparametric family of anomalies. Despite the above, we can generalize the relations obtained for the biparametric family to the other anomalies in some instances. In Section 4, we present several numerical examples that allow a better understanding of the results previously obtained. In Section 5, the main conclusions of this study will be discussed.

2. The Biparametric Family of Anomalies as a Function of Vector Radius and  Curvature

This section studies the relationship between the product of the radii vectors r and r of a point P, which represents the secondary point in the elliptic case of the two-body problem, where r represents the distance to the main focus where the primary is located and r the distance to the secondary focus of the ellipse. These magnitudes are reflected in Figure 1, where the true anomaly f and the antifocal anomaly f also appear. The radii vectors r, r , since the orbit is an ellipse, are related by
r + r = 2 a .
Taking into account the relationship between the radius vectors as a function of the eccentric anomaly in the two-body problem and (3), we immediately have:
r = a ( 1 e cos g ) , r = a ( 1 + e cos g ) .
In order to find simple geometric relationships, we will generate an ellipsoid of revolution from the ellipse by rotating the orbit around its semiminor axis. In this ellipsoid, we will take the meridian of zero longitude as the one containing the periapsis of the orbit. It is enough to obtain its longitude and latitude to determine the position of a point P on the ellipsoid. In the case of points located on the orbit whose rotation generates the ellipsoid and the origin of whose length is fixed, it is more convenient to dispense with the length and take a modified length that takes values between [ 0 , 2 π ] , which does not present any difficulty and characterizes all the points P on the orbit.
Figure 2 shows the variables u, Ψ , and Φ [4,21], called in geodesy the parametric or reduced latitude, geodesic latitude, and geocentric latitude. When we restrict ourselves to the orbit generated by the ellipsoid, as stated above, we will call them the eccentric anomaly g in the case of u, the geodesic anomaly in the case of Ψ , and the geocentric anomaly in the case of Φ . In the next section, it will be shown that the geodetic anomaly coincides with the semifocal anomaly in elliptical motion.
It will be enough to study the main curvature and the mean and Gaussian curvature in the ellipse’s first quadrant for reasons of symmetry. Firstly, given a non-umbilical point P [22] on the first quadrant, we will consider a coordinate system O X Y Z so that O is located in the center of the orbit and therefore of the ellipsoid, the axis O X runs to the peripsis, the axis O Y is in the direction of the semiminor axis of the ellipse, and the axis O Z forms a direct trihedron with O and O Y . This notation, which is different from that used in geodesy, is used in celestial mechanics when we take the orbital plane as the O X Y plane and place O in the center of the orbit.
The relationship between the different latitudes [4,21] is determined by:
1 1 e 2 tan Ψ = tan u = 1 e 2 tan Φ .
In the ellipse that defines the equation of the orbit, the main directions of curvature are given by the direction of the meridian and that of the parallel. In the first case, the ellipse itself is normal to the surface of the ellipse; its curvature will be the main curvature κ 1 , and the corresponding radius, which we will denote by ρ 1 , is given by [4,21]:
κ 1 = ( 1 e 2 sin 2 Ψ ) 3 / 2 a ( 1 e 2 ) , ρ 1 = a ( 1 e 2 ) ( 1 e 2 sin 2 Ψ ) 3 / 2 .
On the other hand, the parallel is not a normal section of the ellipsoid. To construct the corresponding normal section, the first vertical must intersect with the ellipsoid, and from their curvatures [4,21], it turns out that:
κ 2 = 1 e 2 sin 2 Ψ a , ρ 2 = a 1 e 2 sin 2 Ψ .
For a normal section whose direction in P has azimuth A measured from the north, it is verified that its curvature and its radius of curvature are given [21] by:
κ A = κ 1 cos 2 A + κ 2 sin 2 A , ρ A = κ 1 κ 2 κ 1 sin 2 A + κ 2 cos 2 A .
It is also of interest to calculate the average curvature κ m and the average radius of curvature ρ m , which leads to the quantities [21]
κ m = 4 2 π 0 π / 2 κ A d A = 1 2 ( κ 1 + κ 2 ) .
If, in addition, we average the radii of normal curvatures following directions of different azimuths A at a point P [21], we have that:
ρ m = 4 2 π 0 π / 2 ρ A d A = 4 2 π 0 π / 2 κ 1 κ 2 κ 1 sin 2 A + κ 2 cos 2 A d A = ρ 1 ρ 2 .
Notice that the relation ρ m κ m = 1 is not satisfied. For this reason and to avoid confusion, we will use the notation R = ρ m , since, as we have seen, it is not the inverse of the mean curvature.
Taking into consideration the Gaussian curvature of a surface K ( ( P ) = κ 1 ( P ) κ 2 ( P ) , which is an intrinsic magnitude, a result known as Gauss’s theorem egregium [22], we have that R K ( P ) = 1 and, therefore, defining κ as
κ = K ( P )
it is verified that
R = 1 κ .
To obtain the mean radius of curvature R as a function of the geodetic latitude, just replace (6) and (7) in (10), from which we obtain:
R = a 1 e 2 1 e 2 sin 2 Ψ .
On the other hand, as will be seen in the next section, the geodetic latitude coincides with the semifocal anomaly. Therefore, the sine of the latitude Ψ is expressed as a function of the eccentric anomaly g [14] as:
sin Ψ = sin g 1 e 2 cos 2 g .
Replacing (14) in (13), we have:
R = a ( 1 e 2 cos 2 g ) 1 e 2 .
Finally, we obtain that the product of the radius vectors r and r given by (4) is given by:
r r = a 2 ( 1 e 2 cos 2 g ) .
Comparing this last expression with (15), we obtain the fundamental relation:
r r = a 1 e 2 R
Given an anomaly in the biparametric family (2) Ψ α , β , we can define an equivalent anomaly Φ γ , δ whose relationship to the mean anomaly is given by:
d M = C γ , δ r γ R δ d Φ γ , δ ,
where γ = α 1 , δ = β , C γ , δ = a β ( 1 e 2 ) β / 2 K α , β .
In this way, we have the anomaly Φ γ , δ = Ψ α , β but whose connection with the mean anomaly is given by (18), where a normalization constant appears. The radius vector r is raised to an exponent γ times the mean radius of curvature of the ellipsoid of revolution that contains the orbit as a meridian ellipse R raised to δ . This fact is of great importance because of the effect that the factor r γ causes when we work with a constant step number, namely, a translation of the points from the apoapsis region, in the case of working with M, to more concentrated points in the periapsis region; it is more remarkable as γ increases. In the case of γ = 1 , we are faced with a symmetrical anomaly with respect to the axes of the orbital ellipse.
The second factor R δ transfers a set of points symmetrical to the axes of the orbital ellipse towards the intersections of the ellipse with the semimajor axis a if δ is positive and towards the intersection of the ellipse with its semiminor axis if δ is negative.
As the numerical examples section shows, this allows a purely geometric explanation in the biparametric family of anomalies.

3. Other Symmetric Variables Not Belonging to the Biparametric Family

This section shows that some symmetric variables cannot be included in the modified biparametric family defined above. First, the study of three temporal variables related to the latitudes used in geodesy is addressed to do this. We will consider an ellipsoid of revolution around the semiminor axis of the ellipse so that the orbit is the meridian ellipse located so that the length of the periapsis is zero. The position of a point P on the orbit is determined by the position of this point on the ellipsoid, so it will be enough to determine its latitude on the ellipsoid. In geodesy, the use of three latitudes is common. These latitudes are reflected in Figure 1: the reduced or parametric latitude u, the geodesic latitude Ψ , and the geocentric latitude Φ . The range of latitudes u, Ψ , Φ in geodesy is [ π / 2 , π / 2 ] , given that in the case of the orbit, we do not consider the second geodetic coordinate, that is, the longitude. In order to represent all the points on the orbit, it is necessary to extend the range of these variables to [ 0 , 2 π ] . In this way, we can obtain anomalies from these variables.
The reduced latitude u is better known as an eccentric anomaly g in celestial mechanics. The geodesic latitude coincides with the semifocal latitude defined by the authors, since a characteristic of the ellipse is the so-called property of elliptical billiards, according to which a ball located at the primary focus, once thrown, bounces off the ellipse and heads to the secondary focus. Therefore, if we consider the point N intersection of the bisector of the angle β formed by the radii vectors r and r in P, it results that, on the one hand Figure 3, in the triangle of vertices N F P , we have that π f + β / 2 + Ψ = π , and in the triangle of vertices F P N is verified f + β / 2 + π Ψ = π , from which, eliminating β , we have Ψ = f + f 2 . The third latitude variable is the geocentric latitude Φ , which gives rise to a new symmetric anomaly that we will call the central anomaly. Since the radii r, r are, according to the property of elliptical billiards, reflected from each other in the ellipse, the direction P N is normal to the ellipse and therefore Ψ coincides with the geodetic latitude. The semifocal latitude, although it belongs to the biparametric family, will be simply denoted by Ψ instead of Ψ 2 , 1 , as it does not lead to confusion and simplifies the notation.
On the other hand, as is well known, the coordinates of the secondary with respect to the primary ( ξ , η ) are given by:
ξ = a ( e cos g ) , η = a 1 e 2 sin g ,
and the distances between the primary and secondary foci by (4).
Many classical authors have studied the eccentric anomaly [1,2,5], among others. The semifocal anomaly, which, for the reasons explained above, we will also call the geodesic anomaly, has also been studied by [14,23]. At this point, it remains to study the central anomaly Φ . To do this, let ρ be the distance O P ¯ , which is determined by the coordinates of the point P with respect to the system of axes X Y with origin in O. Thus, we have:
X = ρ cos Φ , Y = ρ sin Φ ,
Depending on the eccentric anomaly, we have Φ . For this, let ρ be the distance O P ¯ , which is determined by the coordinates of the point P with respect to the axis system X Y with origin in O; thus, we have:
X = a cos g , Y = b sin g ,
where a, b = a 1 e 2 are the semimajor and semiminor axes of the ellipse. From the previous equation, we have:
ρ = a 1 e 2 sin 2 g .
On the other hand, from the equation of the ellipse X 2 a 2 + Y 2 b 2 = 1 , ρ is obtained as a function of Φ as:
ρ = a 1 e 2 1 e 2 sin 2 Φ .
From (20), (21), and (22), it follows that:
cos Φ = cos g 1 e 2 sin 2 g , sin Φ = 1 e 2 sin g 1 e 2 sin 2 g .
From this equation, and after some elemental calculations, we obtain:
cos g = 1 e 2 cos Φ 1 e 2 cos 2 Φ , sin g = sin Φ 1 e 2 cos 2 Φ .
From (24) or (25), we immediately have:
tan g = tan Φ 1 e 2 .
Deriving (26), and after some calculations, we have:
d g = 1 e 2 sin 2 g a 2 1 e 2 d Φ ,
and taking into account (22), the following relationship is obtained:
d g = ρ 2 a 2 1 e 2 d Φ .
and considering Kepler’s equation for the eccentric anomaly:
M = g e sin g ,
where M is the mean anomaly. It is obtained by derivation:
d M = ( 1 e cos g ) d g ,
Finally, from (30), (28), and (4), we obtain:
d M = r ρ 2 a 3 1 e 2 d Φ ,
where, from (22) and (31), the partition function Q ( r ) = r ρ 2 a 3 1 e 2 , and after some calculations, we can express Q ( r ) as:
Q ( r ) = r a 2 e 2 1 e 2 r r a 2 1 e 2 = r a 1 e 2 2 e 2 r ( 2 a r ) a 2 .
It is evident that the central anomaly Φ is not in the biparametric family of anomalies. This is not new, since the intermediate radials of Cid [17], the natural family of anomalies [19], and the geometric family of anomalies [20] are not in general in the biparametric family, but they are in the symmetrical case since they coincide, respectively, with the semifocal anomaly and with the eccentric anomaly. Therefore, we have a symmetrical anomaly that does not belong to the biparametric family.
However, it is possible to represent (32) in the form:
Q ( r ) = r a 2 e 2 1 e 2 r r a 2 1 e 2 = r 2 e 2 a 1 e 2 R a 2 ,
from which we have Q ( r ) = r h ( R ) , where h ( R ) is a function of R given by h ( R ) = 2 e 2 a 1 e 2 R a 2 .
This fact can be generalized to Θ reparameterizations:
d M = r γ h ( R ) d Θ ,
where the partition function can be written as the product of a power of r times a function of the mean radius of curvature of the ellipsoid of revolution generated by the orbital ellipse. Note that, on the one hand, the normalization factor has been included in the function h and, on the other hand, d M = Q ( r ) d Θ must be an admissible reparametrization.
As a final consideration in this section, it should be noted that r δ plays the same role as in the case of symmetric anomalies and h ( R ) plays a role similar to that of R δ . However, in the latter case, there are more types of symmetrical motions of the points with respect to the semi-axes than those given by the term R δ , which appears in the case of the biparametric family.

4. Numerical Examples

To illustrate the previously obtained results with respect to the new geometric interpretation that transforms the anomaly Ψ α , η into its equivalent Φ γ , δ we will first proceed to represent a set of 20 equally spaced points Φ γ , δ . For this, we will take as an example a satellite with eccentricity e = 0.7 and M corresponding to γ = 0 , δ = 0 ; g corresponding to γ = 1 , δ = 0 ; τ corresponding to γ = 1.5 , δ = 0 ; and f corresponding to γ = 1.5 , δ = 0 .
In Figure 4, it can be seen that the factor r γ causes a displacement of points from the region corresponding to the apoapsis, that is, from the left part of the ellipse to the region of the periapsis, the right part of the ellipse. This fact implies a distribution of points more in line with the dynamics, which is reflected in better integration values.
Secondly, if the value of γ is fixed, we will focus on the example in Figure 5 in the case γ = 1 corresponding to symmetric anomalies. This choice is to show the action of γ more clearly.
Also, in Figure 6, twenty uniformly distributed points for the eccentric anomaly and the central anomaly are presented on the same graph, and it can be seen that the big black points are more concentrated towards the periapsis and apoapsis regions than those corresponding to the central anomaly. The smaller red dots are more concentrated in the regions corresponding to the intersection of the orbit with respect to the semiminor axis, so it is expected that for large eccentricities, the central anomaly will provide worse precision in the study of orbital motion than the eccentric anomaly.
To interpret the effect on the errors in numerical integration, we proceed to integrate the old artificial satellite Heos II, which is performed in order to compare our results with those of other authors cited above who used this satellite as a test. The satellite’s orbital elements are given by a = 118 , 363.47 km, e = 0.942572319 , i = 28 ° .16096, Ω = 185 ° .07554, ω = 270 ° . 07151 , M 0 = 0 ° . The period of the satellite is 4.69 days and for the Earth the spaceflight constant μ = G M = 3.986005 · 10 5 km 3 · s 2 . Finally, we will analyze the integration errors for various anomalies in the biparametric family according to the new interpretation based on Φ γ , δ = Ψ α , β .
The results obtained are listed in Table 1, which is, in essence, the same Table 1 that appears in [16] corrected, to which the column corresponding to the semifocal anomaly has been added, and the one that has been added in the lower part the values ( γ , δ ) corresponding to the respective ( α , β ) .
Table 1 shows the errors regarding the position and initial velocity made in the numerical integration using 10 , 000 equally spaced points, taking different anomalies as integration variables. If the table with value γ = 0 is observed, the mean anomaly M and the antifocal anomaly f appear, which are differentiated by the value of δ , which in the case of the mean anomaly takes a value of 0 and in the case of the antifocal anomaly takes a value of 1. It can be seen in Figure 6 that the distribution of points differs in both cases, concentrating more points in the periapsis region, and correspondingly in the apoapsis region in the case of the antifocal anomaly, which is reflected in the results.
In the case of γ = 1 , which corresponds to symmetric anomalies, if the eccentric anomaly g is taken as a basis, the regularized arc length s * δ takes the value 0.5 , which moves the points away from the apsidal regions, causing worse results. In the case of the elliptical anomaly w and the semifocal anomaly Ψ , delta takes the values 0.5 and 1, respectively. It appears that the precision in position and speed improves with respect to the eccentric anomaly g, which corresponds to a greater concentration of points in the apsidal regions, with the values being better in the case of w. It can be understood that for large values of δ , too many points have been removed over the region corresponding to the ellipse intersection with its semiminor axis, causing a certain loss of precision.

5. Concluding Remarks

In the present study, the relationship between the curvature of a point P of the orbit with the main curvatures of an ellipsoid of revolution generated by the rotation of the orbital ellipse around its semiminor axis has been addressed from a strictly geometric point of view.
Geometric geodesy studies in depth, as a preliminary topic, the geometry of the ellipsoid of revolution, resulting that at a point P, the directions of the main curvature are given by the curvature of the meridian ellipse that passes through the point κ 1 and the normal direction of the parallel to the ellipsoid that passes through the given point. Since the parallel is not normal to the surface of the ellipsoid, the second principal curvature κ 2 is determined by the intersection curve between the first vertical that passes through the point P and the ellipsoid. The inverses of the principal curvatures determine the radii of the main curvatures ρ 1 and ρ 2 . From these curvatures and given a direction in P of geodesic azimuth A, we have, without further ado than applying classical theory, the curvatures of the normal sections in P, κ A according to the directions corresponding to the different azimuths, as well as the corresponding radii of normal curvature ρ A . The expressions for the curvatures and radii of curvature above are somewhat complicated, as they contain fractional exponents.
Next, the mean curvature is obtained as an integral mean of the normal curvature with respect to the different azimuths and the average radius of curvature, as well as an integral mean with respect to the different azimuths. The mean curvature and the mean radius of curvature are not inverse, so for simplicity and convenience, R is denoted by the mean radius of curvature, whose R 2 turns out to be the inverse of the Gaussian curvature κ = κ 1 κ 2 , an expression in which fractional powers no longer appear in its latitude-dependent part. The calculation of the product of the radius vectors r r leads to an expression directly proportional to R, so that the partition function of the biparametric family of anomalies Q ( r ) = K α , β r α r β can be written as Q ( r ) = C γ , δ r γ R δ , where γ = α 1 and δ = β , which appears perfectly factored with respect to the radius vector of the secondary with respect to the primary r and the average radius of curvature of the ellipsoid at point P.
On the other hand, in geodesy, three latitudes are used: the parametric latitude u, the geodetic latitude Ψ , and the geocentric latitude Ψ , which can be modified for a meridian ellipse by making its value oscillate between [ 0 , 2 π ] , thus making u coincide with the eccentric anomaly g. The geodetic latitude is shown to coincide with the semifocal anomaly, and the modified geocentric latitude Φ does not coincide with any of the known anomalies and is defined as a central anomaly. Once a sufficiently complete study of this variable has been carried out, we obtain the relationships between Φ and the eccentric anomaly g in closed form. The partition function that relates the anomaly Φ to the mean anomaly M is also obtained.
One of the first results observed is that said anomaly, which is obviously symmetrical, does not belong to the biparametric family of anomalies. Despite this, it is possible to factorize the partition function as a function proportional to r · h ( R ) , which allows an interpretation similar to that of the anomalies of the biparametric family, which allows the method to be extended to anomalies whose function of partition is proportional to r α h ( R ) , provided that they constitute an admissible reparametization of the ellipse.
In the numerical examples section, the effect of γ and δ is observed for the case of the biparametric family. The factor r γ causes a translation of the points from the apoapsis region to the periapsis region when a set of equally spaced points is taken in the corresponding anomaly. This translation is more significant the larger γ is. The factor R δ causes a symmetric distribution of the points with respect to the axes, bringing them closer to the apsidal region when γ > 0 and to the region of the orbit that cuts the semiminor axis when δ < 0 . Finally, a case of integration over one revolution of a highly eccentric artificial satellite is studied, interpreting the precision obtained following these guidelines, which is totally coherent.
In this way, the main objective of the present work is achieved, which consists of finding a geometric explanation of why, among similar anomalies α β = c t e some behave better than others, not only through empirical knowledge such as that currently developed by numerous authors, ourselves included, but through an analytical explanation that allows us to interpret, for example, why the antifocal anomaly produces less error in integration than the average anomaly; why the eccentric anomaly e, the regularized arc length s * , the elliptical anomaly w, and the geodesic anomaly Ψ , all of which are symmetrical, produce different errors in the integration, etc. In this study, we provide a theoretical explanation for this, which considerably increases the consistency of the method by going from a simple empirical description of a biparametric family to being able to provide a causal explanation. As we have seen previously, the result can be extended to other families, although this should be addressed in the future.

Author Contributions

All authors contributed equally to this work. All authors have read and agreed to the published version of the manuscript.

Funding

This work has been partially supported by grant 16I358.01/1 of University Jaume I of Castellón.

Data Availability Statement

No new data were created or analyzed in this study. Data sharing is not applicable to this article.

Conflicts of Interest

The authors declare that they have no conflicts of interest regarding this work.

References

  1. Brouwer, D.; Clemence, G.M. Methods of Celestial Cechanics; Academic Press: New York, NY, USA, 1961. [Google Scholar]
  2. Hagihara, Y. Celestial Mechanics; MIT Press: Cambridge, MA, USA, 1970. [Google Scholar]
  3. Kovalevsky, J. Introduction to Celestial Mechanics; D. Reidel Publishing Company: Dordrecht, The Netherlands, 1967. [Google Scholar]
  4. Levallois, L.L.; Kovalewsky, J. Geodesie Generale; Ed Eyrolles: Paris, France, 1971; Volume 4. [Google Scholar]
  5. Tisserand, F.F. Traité de Mécanique Céleste; Gauthier-Vilars: Paris, France, 1894. [Google Scholar]
  6. Cariñena, J.F.; Martínez, E.; Muñoz-Lecanda, M.C. Infinitesimal time reparametrisation and its applications. J. Nonlinear Math. Phys. 2022, 29, 523–555. [Google Scholar] [CrossRef]
  7. Sundman, K. Memoire sur le probleme des trois corps. Acta Math. 1912, 36, 105–179. [Google Scholar] [CrossRef]
  8. Nacozy, P. Hansen’s method of partial anomalies: An application. Astron. J. 1969, 74, 544–550. [Google Scholar] [CrossRef]
  9. Nacozy, P. The intermediate anomaly. Celest. Mech. 1977, 16, 309–313. [Google Scholar] [CrossRef]
  10. Janin, G. Accurate computation of highly eccentric satellite orbits. Celest. Mech. 1974, 10, 451–467. [Google Scholar] [CrossRef]
  11. Janin, G.; Bond, V.R. The Elliptic Anomaly; NASA Technical Memorandum: Greenbelt, MD, USA, 1980; p. 58228. [Google Scholar]
  12. Brumberg, E.V. Length of arc as independent argument for highly eccentric orbits. Celest. Mech. 1992, 53, 323–328. [Google Scholar] [CrossRef]
  13. Brumberg, E.V.; Fufkushima, T. Expansions of elliptic motion based on elliptic functions theory. Celest. Mech. Dyn. Astron. 1994, 60, 69–89. [Google Scholar] [CrossRef]
  14. López, J.A.; Agost, V.; Barreda, M. CMMSE: Study of a new symmetric anomaly in the elliptic, hyperbolic, and parabolic Keplerian motion. Math. Methods Appl. Sci. 2023, 46, 1429–1442. [Google Scholar]
  15. Fukushima, T. Efficient orbit integration by the orbital longitude method Uusing antifocal anomaly. Astrononical J. 2004, 128, 1455–1464. [Google Scholar] [CrossRef]
  16. López, J.A.; Agost, V.; Barreda, M. A new bi-parametric family of temporal transformations to improve the integration algorithms in the study of the orbital motion. J. Comput. Appl. Math. 2017, 309, 482–492. [Google Scholar] [CrossRef]
  17. Cid, R.; Ferrer, S.; Elipe, A. Regularization and linearization of the equations of motion in central force-fields. Celest. Mech. 1983, 31, 73–80. [Google Scholar] [CrossRef]
  18. Ferrándiz, J.M.; Ferrer, S.; Sein-Echaluce, M.L. Generalized elliptic anomalies. Celest. Mech. 1987, 40, 315–328. [Google Scholar] [CrossRef]
  19. López, J.A.; Marco, F.J.; Martínez, M.J. A Study about the integration of the elliptical orbital motion based on a special one-parametric family of Anomalies. In Abstract and Applied Analysis; Hindawi: London, UK, 2014. [Google Scholar]
  20. López, J.A.; Marco, F.J.; Martínez, M.J. Geometrical definition of a continuous family of time transformations generalizing and including the classic anomalies of the elliptic two-body problem. J. Comput. Appl. Math. 2016, 318, 479–490. [Google Scholar] [CrossRef]
  21. Zakatov, P.S. A Course in Higher Geodesy; Ed Mir Moscú: Russia, Moscu, 1976. [Google Scholar]
  22. do Carmo, P. Differential Geometry of Curves and Surfaces, 2nd ed.; Dover Publications Inc.: Mineola, NY, USA, 2017. [Google Scholar]
  23. López, J.A.; Agost, V.; Barreda, M. Study of a set of symmetric temporal transformations for the study of the orbital motion. In Computational and Mathematical Methods; Hindawi: London, UK, 2022. [Google Scholar]
Figure 1. True f and antifocal f anomaly and vector radii r and r .
Figure 1. True f and antifocal f anomaly and vector radii r and r .
Algorithms 17 00066 g001
Figure 2. Section of revolution ellipsoid containing the orbit. Parametric u, geodetic Ψ , and geocentric Φ latitudes.
Figure 2. Section of revolution ellipsoid containing the orbit. Parametric u, geodetic Ψ , and geocentric Φ latitudes.
Algorithms 17 00066 g002
Figure 3. Relation between semifocal and geodetic anomalies.
Figure 3. Relation between semifocal and geodetic anomalies.
Algorithms 17 00066 g003
Figure 4. Point distribution for e = 0.7 , γ = 0.0 , 1 , 1 , 5 , 2.0 , δ = 0 .
Figure 4. Point distribution for e = 0.7 , γ = 0.0 , 1 , 1 , 5 , 2.0 , δ = 0 .
Algorithms 17 00066 g004
Figure 5. Point distribution for e = 0.7 , g, s, w, Ψ .
Figure 5. Point distribution for e = 0.7 , g, s, w, Ψ .
Algorithms 17 00066 g005
Figure 6. Point distribution for e = 0.7 ; g, big black points; Φ , small red points.
Figure 6. Point distribution for e = 0.7 ; g, big black points; Φ , small red points.
Algorithms 17 00066 g006
Table 1. Integration errors in position (Km) and velocity (Km/s) for different anomalies in the biparametric family Ψ α , β and in their equivalents in the representation Φ γ , δ .
Table 1. Integration errors in position (Km) and velocity (Km/s) for different anomalies in the biparametric family Ψ α , β and in their equivalents in the representation Φ γ , δ .
Mgf τ * s * w f Ψ
α 012 1.5 0.5 1.5 12
β 0000 0.5 0.5 11
| | Δ r | | 9.54 × 10 + 00 1.12 × 10 05 9.49 × 10 10 2.86 × 10 08 4.51 × 10 04 1.07 × 10 07 2.60 × 10 + 00 8.03 × 10 06
| | Δ v | | 7.71 × 10 03 9.01 × 10 09 3.56 × 10 11 2.41 × 10 11 3.64 × 10 07 4.41 × 10 11 2.10 × 10 03 6.51 × 10 09
γ 012 1.5 1101
δ 0000 0.5 0.5 11
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

López Ortí, J.A.; Marco Castillo, F.J.; Martínez Usó, M.J. A Geometrical Study about the Biparametric Family of Anomalies in the Elliptic Two-Body Problem with Extensions to Other Families. Algorithms 2024, 17, 66. https://doi.org/10.3390/a17020066

AMA Style

López Ortí JA, Marco Castillo FJ, Martínez Usó MJ. A Geometrical Study about the Biparametric Family of Anomalies in the Elliptic Two-Body Problem with Extensions to Other Families. Algorithms. 2024; 17(2):66. https://doi.org/10.3390/a17020066

Chicago/Turabian Style

López Ortí, José Antonio, Francisco José Marco Castillo, and María José Martínez Usó. 2024. "A Geometrical Study about the Biparametric Family of Anomalies in the Elliptic Two-Body Problem with Extensions to Other Families" Algorithms 17, no. 2: 66. https://doi.org/10.3390/a17020066

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop