Next Article in Journal
Light-Fueled Self-Propulsion of Liquid Crystal Elastomer-Engined Automobiles in Zero-Energy Modes
Next Article in Special Issue
A Time-Series Feature-Extraction Methodology Based on Multiscale Overlapping Windows, Adaptive KDE, and Continuous Entropic and Information Functionals
Previous Article in Journal
Unified Training for Cross-Lingual Abstractive Summarization by Aligning Parallel Machine Translation Pairs
Previous Article in Special Issue
Two Schemes of Impulsive Runge–Kutta Methods for Linear Differential Equations with Delayed Impulses
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Quasi-Analytical Solution of Kepler’s Equation as an Explicit Function of Time

Departamento de Física, Universidad de Guadalajara, Blvd. Marcelino García Barragán y Calzada Olimpica, Guadalajara 44840, JA, Mexico
*
Author to whom correspondence should be addressed.
Mathematics 2024, 12(13), 2108; https://doi.org/10.3390/math12132108
Submission received: 14 May 2024 / Revised: 29 June 2024 / Accepted: 2 July 2024 / Published: 4 July 2024
(This article belongs to the Special Issue Advances in Computational Mathematics and Applied Mathematics)

Abstract

:
Although Kepler’s laws can be empirically proven by applying Newton’s laws to the dynamics of two particles attracted by gravitational interaction, an explicit formula for the motion as a function of time remains undefined. This paper proposes a quasi-analytical solution to address this challenge. It approximates the real dynamics of celestial bodies with a satisfactory degree of accuracy and minimal computational cost. This problem is closely related to Kepler’s equation, as solving the equations of motion as a function of time also provides a solution to Kepler’s equation. The results are presented for each planet of the solar system, including Pluto, and the solution is compared against real orbits.

1. Introduction

Kepler’s laws offer an empirical mathematical model for describing the motion of orbiting bodies, later proven by Newton’s analytical results [1,2]. Therefore, they are of fundamental importance in astrophysics, celestial mechanics, and Earth science [3]. Nevertheless, Kepler’s laws do not describe the motion of celestial bodies as a function of time. It is the so-called Kepler’s equation (KE) that provides the time dependence of the position of orbiting celestial bodies. Since Kepler first established this equation in 1609, several solutions of different types have been proposed, continuing up to the present day [2,4,5,6,7,8,9]. One of the significant early attempts was made by Carlini in 1819, later refined by Jacobi [9]. Because of its transcendental nature, an exact explicit solution remains elusive. There exist a vast variety of numerical methods renowned for their remarkable accuracy. These methods typically involve calculating infinite series or employing high-order iterative approaches. It is hardly possible to refer here to all these works, but we cite the most relevant ones [3,10,11,12,13,14,15,16,17,18,19]. Recently, some methods that use artificial intelligence have been proposed [20].
In this work, we present a quasi-analytical solution that gives explicit equations of motion as a function of time. This solution is quasi-analytical, because even though it gives explicit formulas, it depends on six numerical coefficients, which in turn depend on the orbital eccentricity. Our results provide an explicit solution to KE.

The Orbit Equation

The classical problem begins then, with the description of the motion of the planets according to the following equations [21]:
t ( θ ) = α 2 μ l 0 θ 1 ( 1 + ε c o s φ ) 2 d φ ,
and
r ( θ ) = α 1 + ε c o s θ .
Here, ( r , θ ) are the coordinates of the planet in the polar coordinate system, with the origin at the Sun; t is the time; ε is the eccentricity; and α , μ , and l are the focal parameter, the reduced mass, and the angular momentum, respectively [2]. The angle θ is called the true anomaly, defined as θ = 0 at the pericenter [19].
The inverse of the solution of Equation (1), θ ( t ) is closely related to KE (the explicit relation will be shown in Section 4):
E ε sin E = M ,
where E is the eccentric anomaly and M is the mean anomaly, expressed as
M = 2 π T t , t [ 0 , T ] ,
T is the orbital period. As was pointed out before, usually, E needs to be estimated by iterative methods [8] or series expansions [22]. Thus, the accuracy of the position and/or velocity of a celestial object moving in the Keplerian orbit, which may be obtained from the solution of KE, depends on the approximation method used. Figure 1 illustrates the variables involved in the problem.
Equations (1) and (3) are both transcendental. The solution of Equation (1) gives the solution of Equation (3), and vice-versa, which has led to a vast literature concerning alternative approaches [3]. A detailed description of the different works presented in the literature on this problem can be found in [3,19].
The remainder of this paper is structured as follows. In Section 2, we present in detail, step by step, a quasi-analytical solution of Equation (1). In Section 3, the results are presented and compared with the real orbit of each planet of the solar system. In Section 4 we present the solution to KE based on the solution of Equation (1). Finally, in Section 5, we give a brief discussion and conclusions about the results obtained in this work.

2. Methodology

In the present section, a quasi-analytical method is established for solving Equation (1). For clarity, we divide the method into sections that we call steps. All calculations and graphics were performed with MATLAB 2020b (MathWorks Inc., Natick, MA USA). Now, we briefly describe each step.
Step 0: In this step, we integrate Equation (1) and introduce a normalized time τ , which maps the real time t from the interval [ 0 , T ] to the interval [ 0 , π ] , which leads us to Equation (7) for τ ( θ ) .
Step 1: In this step, we separate τ ( θ ) into two parts, τ a ( θ ) and τ b ( θ ) . Based on the observation that τ a ( θ ) resembles the behavior of τ ( θ ) (especially for small values of ε ), and, taking into account its analytical form, we find the inverse of τ a ( θ ) , θ 0 ( τ ) as our zeroth approximation for θ ( τ ) .
Step 2: Assuming the exact solution has the form of Equation (14), we introduce the true argument of the arctangent function, φ ( τ ) , which gives the exact solution. Then, we introduce the function ψ 0 ( τ ) (Equation (17)) as the quotient of the true argument φ ( τ ) and the argument of the zeroth approximation, φ 0 ( τ ) . Finally, we define the first approximation θ 1 ( τ ) by adjusting the argument φ 0 ( τ ) of the arctangent function, which appears in the zeroth approximation θ 0 ( τ ) . The main idea is to make a series of adjustments in such a way that the quotient mentioned above approaches 1 as closely as possible.
Step 3: Following the logic of Step 2, we introduce the function ψ 1 ( τ ) (Equation (22)) and the argument φ 2 ( τ ) (Equation (25)) in order to obtain the second approximation θ 2 ( τ ) (Equation (26)). First, we propose two kinds of approximations for ψ 1 ( τ ) : linear and harmonic. This gives the approximations θ 2.1 ( τ ) and θ 2.2 ( τ ) (Equations (27) and (28)), respectively. These approximations give corresponding precisions of 3400 km and 470 km, respectively, for the position of the Earth and are completely analytical. They may be used in certain applications that do not require high precision.
Next, we proceed to improving the function ψ 1 ( τ ) as an analytical expression (Equation (29)), involving an arctangent function, with an argument which, in turn, is an expression that depends on six numerical coefficients (Equation (30)). In order to calculate these coefficients, we propose two methods, namely Method A and Method B.
Method A consists in calculating the coefficients for each given value of the orbital eccentricity, while Method B allows us to express these coefficients as another analytical function with corresponding numeric coefficients that are calculated for ranges of the eccentricity.

2.1. Step 0

Our first step is integrating Equation (1) to obtain t ( θ ) . The solution is (see Appendix A).
t ( θ ) = α 2 μ l 2 ( 1 ε 2 ) 3 2 arctan 1 ε 1 + ε tan θ 2 2 ε 1 ε 2 tan θ 2 1 + ε + ( 1 ε ) tan 2 θ 2 .
This solution is periodic, with a period equal to 2 π , and coincides with the actual time behavior in the interval θ [ π , π ] . Since the time evolution should be monotonic, we illustrate a way to extend Equation (5) to depict the time evolution by applying the following mapping:
t 1 ( θ ) = 2 t ( π ) 1 + θ π 2 π + t ( θ ) ,
where 2 t ( π ) = max ( t ( θ ) ) min ( t ( θ ) ) . In order to avoid complications related to the periodicity of the functions of θ involved, and the monotony of time, in what follows, we focus our work only on the half-period of the orbit, namely θ [ 0 , π ] . The second half of the orbit may be obtained from the first part using the symmetry of the orbit.
We now propose the following change of variable:
τ = l α 2 μ ( 1 ε 2 ) 3 2 2 t .
Thus, Equation (5), in terms of τ and θ has the form:
τ ( θ ) = arctan 1 ε 1 + ε tan θ 2 ε 1 ε 2 tan θ 2 1 + ε + ( 1 ε ) tan 2 θ 2 for θ [ 0 , π ) , π 2 for θ = π .
Let us seek for the solution to Equation (7) in the form θ ( τ ) on the interval θ [ 0 , π ] , and, as deduced from Equation (7), in τ [ 0 , π 2 ] .
Note the relationship between τ and the mean anomaly M:
τ = M 2 .

2.2. Step 1

We rewrite Equation (7) as follows:
τ ( θ ) = τ a ( θ ) τ b ( θ ) for θ [ 0 , π ) , π 2 for θ = π ,
where
τ a ( θ ) = arctan 1 ε 1 + ε tan θ 2 ,
τ b ( θ ) = ε 1 ε 2 tan θ 2 1 + ε + ( 1 ε ) tan 2 θ 2 .
Figure 2 shows the behavior of τ ( θ ) , τ a ( θ ) , and τ b ( θ ) with ε as parameter.
Figure 2 shows how τ a ( θ ) is similar to τ ( θ ) ; therefore, as our zeroth approximation θ 0 ( τ ) , we will solve the following equation:
τ ( θ ) = τ a ( θ ) = arctan 1 ε 1 + ε tan θ 2 .
To solve the Equation (12), we apply the tangent function to both parts. Solving for θ , we obtain
θ 0 ( τ ) = 2 arctan 1 + ε 1 ε tan τ for τ [ 0 , π 2 ) , π for τ = π 2 .
Figure 3 shows plots of θ ( τ ) and θ 0 ( τ ) with ε as parameter. θ ( τ ) was obtained using Equation (7) and interchanging axes.

2.3. Step 2

We introduce the functions φ ( τ ) and φ 0 ( τ ) as follows:
θ ( τ ) = 2 arctan [ φ ( τ ) ] ,
φ 0 ( τ ) = 1 + ε 1 ε tan τ ,
so that
θ 0 ( τ ) = 2 arctan [ φ 0 ( τ ) ] .
Now, we introduce another function ψ 0 ( τ ) , defined on the open interval τ ( 0 , π 2 ) :
ψ 0 ( τ ) = φ ( τ ) φ 0 ( τ ) .
Appendix B proves the following limits (the former is used immediately to introduce the function φ 1 ( τ ) , and the latter is used in step 3):
lim τ 0 ψ 0 ( τ ) = 1 1 ε ,
and
lim τ π 2 ψ 0 ( τ ) = 1 + ε .
Now, we introduce, using Equations (15) and (18), the function φ 1 ( τ ) as follows:
φ 1 ( τ ) = lim τ 0 ψ 0 ( τ ) φ 0 ( τ ) = 1 1 ε φ 0 ( τ ) = 1 + ε ( 1 ε ) 3 2 tan τ .
We define approximation one, θ 1 ( τ ) , as follows:
θ 1 ( τ ) = 2 arctan [ φ 1 ( τ ) ] = 2 arctan 1 + ε ( 1 ε ) 3 2 tan τ for τ ( 0 , π 2 ) , 0 for τ = 0 , π for τ = π 2 .
Figure 4 shows plots of θ ( τ ) and θ 1 ( τ ) with ε as parameter.
In Figure 4, we observe an evident improvement in the θ 1 ( τ ) approximation compared to θ 0 ( τ ) shown in Figure 3.

2.4. Step 3

We introduce a new function, ψ 1 ( τ ) , defined on the open interval τ ( 0 , π 2 ) :
ψ 1 ( τ ) = φ ( τ ) φ 1 ( τ ) .
As follows from Equations (18)–(20),
lim τ 0 ψ 1 ( τ ) = 1 ,
lim τ π 2 ψ 1 ( τ ) = 1 ε 2 .
Figure 5 shows the plot of ψ 1 ( τ ) for different values of the parameter ε .
We introduce the function φ 2 ( τ ) as follows:
φ 2 ( τ ) = ψ 1 ( τ ) φ 1 ( τ ) = ψ 1 ( τ ) 1 + ε ( 1 ε ) 3 2 tan τ .
The definition of φ 2 ( τ ) as the product of ψ 1 ( τ ) and φ 1 ( τ ) leads us to an apparent logical paradox, since, as follows from Equation (22), φ 2 ( τ ) = φ ( τ ) . The solution to this paradox is the fact that ψ 1 ( τ ) is an unknown function, which we are trying to approximate with the best precision possible. The existence of such a function is obvious, for it can be theoretically constructed point-wise. However, in this work, we are looking for a quasi-analytical expression for ψ 1 ( τ ) , since the exact analytical expression for it, in principle, may not even exist.
Now, we define approximation two, θ 2 ( τ ) , as follows:
θ 2 ( τ ) = 2 arctan [ φ 2 ( τ ) ] = 2 arctan ψ 1 ( τ ) 1 + ε ( 1 ε ) 3 2 tan τ for τ ( 0 , π 2 ) , 0 for τ = 0 , π for τ = π 2 .
It should be noted that the approximation θ 1 ( τ ) (Equation (21)) can be considered as the approximation θ 2 ( τ ) with ψ 1 ( τ ) = 1 . For small values of ε , such as Earth’s ( ε = 0.0167 ), ψ 1 ( τ ) has a small range (for the Earth, it will be of [0.9997, 1]) so that the approximation ψ 1 ( τ ) = 1 already gives us an acceptable result for certain applications. Thus, for the Earth, the maximum error of θ 1 ( τ ) is of 1.8 × 10 4 rad, which, translated to the error in the position and taking into account the average distance from the Earth to the Sun as 1.5 × 10 8 km, is equivalent to 27,000 km, which is a little more than two diameters of the Earth. Now, approximating ψ 1 ( τ ) in a linear form, and as a cosine with period π and amplitude adjusted to the range [ 1 ε 2 , 1], the following corresponding approximations are obtained:
θ 2.1 ( τ ) = 2 arctan 1 2 ε 2 π τ 1 + ε ( 1 ε ) 3 2 tan τ for τ [ 0 , π 2 ) , π for τ = π 2 ,
θ 2.2 ( τ ) = 2 arctan 1 + ε 2 2 ( cos 2 τ 1 ) 1 + ε ( 1 ε ) 3 2 tan τ for τ [ 0 , π 2 ) , π for τ = π 2 .
The approximation θ 2.1 ( τ ) gives a maximum error of 2.24 × 10 5 rad, which translates to 3400 km in this position (slightly more than half the Earth’s radius), and the approximation θ 2.2 ( τ ) gives a maximum error of 3.11 × 10 6 rad, which corresponds to approximately 470 km in this position.
In Figure 5, we notice that the shape of the curves resembles an arctangent function, with a mapping of the argument from ( , ) to ( π 2 , 0), with the range mapping from ( π 2 , π 2 ) to ( 1 ε 2 , 1 ), and with the behavior of the argument being asymmetric and nonlinear. As before, we search for the approximation of the function ψ 1 ( τ ) in the following form:
ψ 1 ( τ ) = 1 + ε 2 2 2 π arctan [ ξ ( ε , τ ) ] 1 ,
where
ξ ( ε , τ ) = a 1 τ 2 + a 2 τ 1 + a 3 τ + b 1 τ π 2 2 + b 2 τ π 2 1 + b 3 τ π 2 ,
with a i y b i ( i = 1 , 2 , 3 ) being functions of ε .
In order to evaluate the coefficients a i and b i (the six numerical coefficients mentioned in the introduction), two methods were developed, Method A and Method B. In Method A, the coefficients are calculated for each value of ε , while in Method B, they are expressed as analytical functions that, in turn, depend on other numeric coefficients, which are calculated for ranges of ε . As will be seen subsequently, Method A is more accurate, but less general, while Method B is slightly less accurate (especially after a certain value of ε ), but more general and easier to use in applications.

2.4.1. Method A

The coefficients a i ( ε ) and b i ( ε ) were calculated numerically for each eccentricity value, corresponding to every planet of the solar system, by means of RMSE (root mean square error) minimization, using MATLAB 2020b.
Figure 6 shows the behavior of a i ( ε ) and b i ( ε ) in the range of ε ∈ (0, 0.5) (this range was selected because some absolute values of a i ( ε ) and b i ( ε ) grow drastically after ε = 0.5 , which does not allow us to appreciate the behavior before ε = 0.5 ).
Table 1 shows the values of a i ( ε ) and b i ( ε ) , as well as the error of θ ( τ ) for the Earth and Pluto, in radians, where ME is the maximum absolute error, MAE is the mean absolute error, and RMSE is the root mean square error.
Since Table 1 serves just for illustrative purposes, the values of a i ( ε ) and b i ( ε ) were rounded to three decimal places. A detailed table including more accurate values for all planets will be shown in Section 3. For now, let us mention that the absolute maximum error in the position of the Earth is 915 meters and approximately 39,000 km (close to the value of the circumference of the Earth, or 16 Pluto diameters) for the position of Pluto (the average distance of Pluto to the Sun is approximately 5.9 billion kilometers).

2.4.2. Method B

Analyzing Figure 6, it can be seen that the shapes of the curves have the behavior of a cubic polynomial, so we search for the coefficients a i ( ε ) and b i ( ε ) in the following form:
a i ( ε ) = a i j ε j , b i ( ε ) = b i j ε j , i = 1 , 2 , 3 , j = 0 , 1 , 2 , 3 ,
where repeated indices imply summation.
We introduced the approximation θ 3 ( τ ) with the same form of θ 2 ( τ ) given by Equations (26), (29) and (30), where Equation (31) was now used to approximate the a i and b i in Equation (30).
The attempt to calculate the coefficients a i j and b i j in the complete range of ε ∈ (0,1) was not successful. Thus, it was decided to divide the range into five intervals: ε ∈ (0,0.1], ε ∈ (0.1,0.25], ε ∈ (0.25,0.5], ε ∈ (0.5,0.7], and ε ∈ (0.7,1). In the next section, we will present the values of a i j and b i j by ranges, and compare the precision of the approximation θ 2 ( τ ) , which uses values of ψ 1 ( τ ) calculated using Method A, with that of θ 3 ( τ ) .

3. Results

We now compare the results of our quasi-analytical solution with the real orbits of the planets of the solar system. First, we review the results obtained above in the following equations. By a change of variable,
τ = 1 α 2 μ ( 1 ϵ 2 ) 3 2 2 t ,
the equations of motion in the polar coordinate system with the origin at the Sun, and in the interval of time τ [ 0 , π 2 ] ( t [ 0 , T 2 ] ) , θ [ 0 , π ] are the following:
θ ( τ ) = 2 arctan 1 + ε 2 2 ( 2 π arctan [ ξ ( ε , τ ) ] 1 ) 1 + ε ( 1 ε ) 3 2 tan τ for τ ( 0 , π 2 ) , 0 for τ = 0 , π for τ = π 2 ,
r ( τ ) = α 1 + ε cos θ ( τ ) ,
where ξ ( ε , τ ) is given by the following expression:
ξ ( ε , τ ) = a 1 τ 2 + a 2 τ 1 + a 3 τ + b 1 τ π 2 2 + b 2 τ π 2 1 + b 3 τ π 2 ,
a i and b i ( i = 1 , 2 , 3 ) are functions of ε . In what follows, we present the two methods developed for the calculation of the coefficients a i and b i .

3.1. Method A

As mentioned above, in this method, the values of a i and b i were calculated for each eccentricity by means of RMSE minimization in MATLAB 2020b. Table 2 shows the values of a i and b i , ME, MAE, and RMSE errors in θ ( τ ) , in radians, with D s being the average distance of the planet to the Sun in kilometers, and E p being the maximum error of the position in kilometers with respect to the real orbit.
The results in Table 2 show that for small values of ε , the accuracy was high. However, for values of ε 0.2 the error increased significantly (for Mercury and Pluto the error increased by 2–3 orders in comparison to the errors for the other planets).

3.2. Method B

As was pointed out before, in this method, we calculate the coefficients of a third-degree polynomial (Equation (31)) by minimizing the RMSE for the ranges of ε . Therefore, in this case, it is not necessary to calculate the a i and b i for each value of the eccentricity. Table 3 shows the values of the coefficients a i j and b i j for the different ranges of ε . Obviously, using this method results in errors greater than those of Method A.
Figure 7 shows a comparison of the errors between methods A and B. As can be seen, the error in Method B was slightly higher (especially for ME) up to values of ε = 0.8 . For values of ε > 0.8 , the errors of Method B increased significantly with respect to those of Method A.

3.3. Equations of Motion for the Planets

Finally, let us express the equations of motion of both position and velocity in the Cartesian coordinate system, with the origin at the Sun.
The equations for the position are as follows:
x ( τ ) = r ( τ ) cos θ ( τ ) , y ( τ ) = r ( τ ) sin θ ( τ ) ,
where θ ( τ ) and r ( τ ) are given by Equations (33) and (34), respectively.
The equations for the velocity are as follows:
v x = r ˙ ( τ ) cos θ ( τ ) r θ ˙ ( τ ) sin θ ( τ ) , v y = r ˙ ( τ ) sin θ ( τ ) + r θ ˙ ( τ ) cos θ ( τ ) ,
where
θ ˙ ( τ ) = 2 1 + ε ( 1 ε ) 3 2 ψ ˙ ( τ ) tan τ + ψ ( τ ) sec 2 τ 1 + 1 + ε ( 1 ε ) 3 ψ 2 ( τ ) tan 2 τ , r ˙ ( τ ) = α ε θ ˙ ( τ ) sin θ ( τ ) ( 1 + ε cos θ ( τ ) ) 2 ,
and
ψ ( τ ) = 1 + ε 2 2 ( 2 π arctan [ ξ ( ε , τ ) ] 1 ) for τ ( 0 , π 2 ) , 1 for τ = 0 , 1 ε 2 for τ = π 2 ,
ψ ˙ ( τ ) = ε 2 π ξ ˙ ( τ ) 1 + ξ 2 ( τ ) for τ ( 0 , π 2 ) , 0 for τ = 0 , 0 for τ = π 2 .
The function ξ ( τ ) defined in the interval τ ( 0 , π 2 ) is given by Equation (35) and its derivative is the following:
ξ ˙ ( τ ) = 2 a 1 τ 3 a 2 τ 2 + a 3 2 b 1 τ π 2 3 b 2 τ π 2 2 + b 3 .
Figure 8 shows a comparison plot between the real orbit, calculated numerically using Equation (7), and the orbit obtained by numerical integration of Equation (37) (where Method A was used). Additionally, the velocity vectors are shown at an arbitrary scale at certain points of the trajectory.
As can be seen in Figure 8, the integrated orbit closely resembles the behavior of the real orbit. This shows that our Method A is sufficiently accurate, even for eccentricities of the order of up to ε = 0.5 .

4. Solution to Kepler’s Equation

As can be seen from Figure 1b, it is trivial to obtain the following expression, which gives the formula for E (the eccentric anomaly), appearing in Equation (3) as a function of the polar coordinates ( ρ , θ ) with the center in the focus F. In what follows, we set the major semi-axis equal to one ( a = 1 ):
E = arccos ( F + ρ cos θ ) ,
where F = | O F | (Figure 1b). As is well known from the theory of conic sections, F = ε a = ε , since we set a = 1 . Thus, Equation (42) acquires the following form:
E = arccos ( ε + ρ cos θ ) .
Due to the normalization a = 1 , the expression for ρ is as follows:
ρ = r a .
The functions θ ( τ ) and r ( τ ) are given by our final quasi-analytical solution (Equations (33) and (34)).
Now, in order to obtain the final explicit expression for the solution of KE, E ( M ) , we need to express θ and ρ as functions of M (the mean anomaly given by Equation (4)). So far, θ and r are functions of τ (where τ is given by Equation (6)). Thus, by expressing τ as a function of M, θ and r automatically become functions of M. The expression for τ ( M ) is the following:
τ ( M ) = M 2 .
In order to obtain ρ as a function of M, we use Kepler’s third law to express a as follows:
a = l 2 π μ 1 ε 2 T 1 2 .
The final solution to KE is given by Equation (43), using the quasi-analytical solution for the motion given by Equations (33) and (34) and taking into account the relations (44), (45) and (46).

5. Remarks and Conclusions

In this work, we obtained a quasi-analytical solution for the motion of the celestial bodies as an explicit function of time in four steps. We called this solution quasi-analytical, due to the dependency on certain numerical coefficients, which in turn themselves depend on the orbital eccentricity. We proposed two methods for evaluating these coefficients: Method A and Method B. The former gives a higher degree of accuracy, but involves calculations for each value of the eccentricity, while the latter is less accurate (especially for values of ε > 0.8 ) but more practical, since it works for ranges of the eccentricity. Although there exist methods for solving Kepler’s equation up to machine precision, e.g., [11], these methods are completely numerical and require an initial guess. The aim of our work was to find a relatively simple explicit analytical solution with acceptable precision. In future work, we plan to use our results as an initial guess for the iterative procedures mentioned previously. We hypothesize that this approach will lead to highly precise results with fewer iterations.

Author Contributions

The first two authors A.N.B. and V.A.B. developed the theory and worked on the redaction together with R.C.C.-G. and C.O.M. J.L.R. collaborated on the theoretical revision of the manuscript. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Data are contained within the article.

Conflicts of Interest

The authors declare no conflicts of interest.

Appendix A. Integration of Equation (uid1)

To solve the integral, we propose the Weierstrass change of variable:
u = tan φ 2 .
From Equation (A1), it follows that
cos φ = 1 u 2 1 + u 2 , d φ = 2 d u 1 + u 2 .
Substituting Equation (A2) into Equation (1), and with a little algebra, we obtain the following:
F ( φ ) = 2 α 2 μ l 1 + u 2 a + b u 2 2 d u ,
which will be left undefined for now and will eventually be evaluated in the original variables. Here, a = 1 + ε and b = 1 ε . To facilitate the integration, the integrand is simplified using partial fractions, leaving the integral as follows:
F ( φ ) = 2 α 2 μ l b a b d u ( a + b u 2 ) 2 + 1 b d u a + b u 2 .
Performing a bit of algebra and making the trigonometric substitution
u = c tan v , d u = c sec 2 v d v ,
where c 2 = a b . Finally, Equation (A4) reads
F ( φ ) = 2 α 2 μ l b a b 3 c sec 2 v d v c 4 sec 4 v + 1 b 2 c sec 2 v d v c 2 sec 2 v = 2 α 2 μ l b a b 3 c 3 cos 2 v d v + 1 b 2 c d v .
The latter integral is trivial, and the former is solved using the identity cos 2 v = 1 2 1 + cos 2 v , such that F ( φ ) is left as
F ( φ ) = 2 α 2 μ l b a + 2 b c 2 2 b 3 c 3 v + b a 2 b 3 c 3 sin v cos v .
Returning to the variable u, recalling that c 2 = a b and performing some algebra, Equation (A6) reads
F ( φ ) = α 2 μ l a + b ( a b ) 3 2 arctan b a u + b a a b u a + b u 2 .
Finally, recalling Equation (A1), expressing a and b in terms of ε , performing algebra, and evaluating the limits of integration, we arrive at our final result:
t ( θ ) = α 2 μ l 2 ( 1 ε 2 ) 3 2 arctan 1 ε 1 + ε tan θ 2 2 ε 1 ε 2 tan θ 2 1 + ε + ( 1 ε ) tan 2 θ 2 ,
which is in agreement with Equation (5).

Appendix B. Proofs of Limits Equations (18) and (19)

We begin by solving for φ ( τ ) from Equation (14):
φ ( τ ) = tan θ 2 .
Next, in Equation (15), we substitute τ by the expression Equation (7):
φ 0 ( τ ) = 1 + ε 1 ε tan arctan 1 ε 1 + ε tan θ 2 ε 1 ε 2 tan θ 2 1 + ε + ( 1 ε ) tan 2 θ 2 .
We introduce the variable β as follows:
β = tan θ 2 .
For the sake of simplicity, we will evaluate the limit φ 0 ( τ ) φ ( τ ) instead of φ ( τ ) φ 0 ( τ ) .
In order to prove limit Equation (18), we will use the Taylor expansion about zero of the following functions:
tan x = x + o ( x ) , arctan x = x + o ( x ) .
Using Equation (A12), we obtain
lim τ 0 φ 0 ( τ ) φ ( τ ) = lim β 0 φ 0 ( β ) φ ( β ) = lim β 0 1 β 1 + ε 1 ε tan 1 ε 1 + ε β ε 1 ε 2 β 1 + ε + ( 1 ε ) β 2 + o ( β ) = lim β 0 1 β 1 + ε 1 ε 1 ε 1 + ε β ε 1 ε 2 β 1 + ε + o ( β ) + o ( β ) = lim β 0 1 β 1 + ε 1 ε β 1 ε 1 + ε ε 1 ε 2 1 + ε + O ( β ) = lim β 0 [ ( 1 ε + O ( β ) ] = 1 ε ,
which is equivalent to
lim τ 0 φ ( τ ) φ 0 ( τ ) = 1 1 ε ,
which agrees with Equation (18).
In order to demonstrate Equation (19), we use the following trigonometric identity:
tan ( a b ) = tan a tan b 1 + tan a tan b .
Using Equation (A12) and Equation (A14), we have
lim τ π 2 φ 0 ( τ ) φ ( τ ) = lim β φ 0 ( β ) φ ( β ) = lim β 1 β 1 + ε 1 ε tan arctan 1 ε 1 + ε β ε 1 ε 2 β 1 + ε + ( 1 ε ) β 2 = lim β 1 β 1 + ε 1 ε 1 ε 1 + ε β ε 1 ε 2 β 1 + ε + ( 1 ε ) β 2 + o 1 β 1 + 1 ε 1 + ε ε 1 ε 2 β 2 O 1 β 2 + ( 1 ε ) β 2 + O 1 β = lim β 1 β 1 + ε 1 ε 1 ε 1 + ε β + o 1 β 1 + 1 ε 1 + ε ε 1 ε 2 1 ε + O 1 β = lim β 1 + o 1 β 1 + ε + O 1 β = 1 1 + ε ,
which is equivalent to
lim τ π 2 φ ( τ ) φ 0 ( τ ) = 1 + ε ,
which agrees with Equation (19).

References

  1. Krisciunas, K. Demonstrating the elliptical orbit of Mars using naked eye data. Am. J. Phys. 2019, 87, 885–893. [Google Scholar] [CrossRef]
  2. Goldstein, H. Classical Mechanics, 2nd ed.; Addison-Wesley: Reading, UK, 2020. [Google Scholar]
  3. Baisheng, W.; Zhou, Y.; Lim, C.; Zhong, H. A new solution approach via analytical approximation of the elliptic kepler equation. Acta Astronaut. 2023, 202, 303–310. [Google Scholar] [CrossRef]
  4. Colwell, P. Solving Kepler’s Equation over Three Centuries; Willman-Bell, Inc.: Richmond, VA, USA, 1993. [Google Scholar]
  5. Landau, L.D.; Lifshitz, E.M. Mechanics, 3rd ed.; Elsevier Butterworth-Heinemann: Burlington, NJ, USA, 1976. [Google Scholar]
  6. Hagihara, Y. Celestial Mechanics: Perturbation Theory, 1st ed.; MIT Press: Cambridge, MA, USA, 1970. [Google Scholar]
  7. Danby, J.M.A. Fundamentals of Celestial Mechanics: Perturbation Theory, 2nd ed.; Willmann-Bell: New York, NY, USA, 1988. [Google Scholar]
  8. Odell, A.W.; Gooding, R.H. Procedures for Solving Kepler’s Equation. Cel. Mech. 1986, 38, 307–334. [Google Scholar] [CrossRef]
  9. Sacchetti, A. Francesco Carlini: Kepler’s equation and the asymptotic solution to singular differential equations. Hist. Math. 2020, 53, 1–32. [Google Scholar] [CrossRef]
  10. González-Gaxiola, O.; Hernández-Linares, S. An Efficient Iterative Method for Solving the Elliptical Kepler’s Equation. Int. J. Appl. Comput. Math 2021, 7, 1–14. [Google Scholar] [CrossRef]
  11. Abubekerov, M.K.; Gostev, N.Y. Solution of Kepler’s equation with machine precision, Astr. Rep. 2020, 64, 1060–1066. [Google Scholar] [CrossRef]
  12. Dubinov, A.E.; Galidakis, I.N. Explicit solution of the Kepler equation. Phys. Part. Nuclei Lett. 2007, 4, 213–216. [Google Scholar] [CrossRef]
  13. Elenin, G.G.; Elenina, T.G. Parametrization of the Solution of the Kepler Problem and New Adaptive Numerical Methods Based on This Parametrization. Differ. Equ. 2018, 54, 911–918. [Google Scholar] [CrossRef]
  14. Markley, F.L. Kepler Equation solver. Celest. Mech. Dyn. Astron. 1995, 63, 101–111. [Google Scholar] [CrossRef]
  15. Simha, A. An algebra and trigonometry-based proof of Kepler’s first law. Am. J. Phys. 2021, 89, 1009–1011. [Google Scholar] [CrossRef]
  16. Easton, R.W.; Anderson, R.L.; Lo, M.W. Conic transfer arcs for Kepler’s problem. Am. J. Phys. 2022, 90, 666–671. [Google Scholar] [CrossRef]
  17. Calvo, M.; Elipe, A.; Rández, L. On the integral solution of elliptic Kepler’s equation. Celest. Mech. Dyn. Astron. 2023, 135, 26. [Google Scholar] [CrossRef]
  18. Borghi, R. On the Bessel solution of Kepler’s Equation. Mathematics 2024, 12, 154. [Google Scholar] [CrossRef]
  19. Orlando, F.; de Souza, C.F.; Zarro, C.; Terra, P. Kepler’s equation and some of its pearls. Am. J. Phys. 2018, 86, 849–858. [Google Scholar] [CrossRef]
  20. Zheng, M.; Luo, J.; Dang, Z. Machine Learning-Based Solution of Kepler’s Equation; Society of Photo-Optical Instrumentation Engineers (SPIE) Conference Series; SPIE: Bellingham, WA, USA, 2022. [Google Scholar] [CrossRef]
  21. Marion, J.B. Classical Dynamics, 1st ed.; Academic Press Inc.: Cambridge, MA, USA, 1965. [Google Scholar]
  22. Mikkola, S.A. A cubic approximation for Kepler’s equation. Cel. Mech. 2018, 86, 849–858. [Google Scholar] [CrossRef]
Figure 1. Illustration of the relative position of the Sun and planet (a) and Kepler’s equation (b).
Figure 1. Illustration of the relative position of the Sun and planet (a) and Kepler’s equation (b).
Mathematics 12 02108 g001
Figure 2. Plots of τ ( θ ) , τ a ( θ ) , and τ b ( θ ) with ε = 0.1 (left) and ε = 0.5 (right).
Figure 2. Plots of τ ( θ ) , τ a ( θ ) , and τ b ( θ ) with ε = 0.1 (left) and ε = 0.5 (right).
Mathematics 12 02108 g002
Figure 3. Plots of θ ( τ ) and θ 0 ( τ ) with ε = 0.1 (left) y ε = 0.5 (right).
Figure 3. Plots of θ ( τ ) and θ 0 ( τ ) with ε = 0.1 (left) y ε = 0.5 (right).
Mathematics 12 02108 g003
Figure 4. Plots of θ ( τ ) and θ 1 ( τ ) with ε = 0.1 (left) and ε = 0.5 (right).
Figure 4. Plots of θ ( τ ) and θ 1 ( τ ) with ε = 0.1 (left) and ε = 0.5 (right).
Mathematics 12 02108 g004
Figure 5. Plot of ψ 1 ( τ ) with ε as parameter.
Figure 5. Plot of ψ 1 ( τ ) with ε as parameter.
Mathematics 12 02108 g005
Figure 6. Plots of a i ( ε ) (left) and b i ( ε ) (right).
Figure 6. Plots of a i ( ε ) (left) and b i ( ε ) (right).
Mathematics 12 02108 g006
Figure 7. Logarithmic plots of the error in θ ( τ ) as a function of ε for both methods.
Figure 7. Logarithmic plots of the error in θ ( τ ) as a function of ε for both methods.
Mathematics 12 02108 g007
Figure 8. Plot of the orbits, real and integrated, with α = 1 and ε = 0.5 .
Figure 8. Plot of the orbits, real and integrated, with α = 1 and ε = 0.5 .
Mathematics 12 02108 g008
Table 1. Values of a i and b i and error in θ ( τ ) for the Earth and Pluto.
Table 1. Values of a i and b i and error in θ ( τ ) for the Earth and Pluto.
Planet ε a 1 a 2 a 3 b 1 b 2 b 3 MEMAERMSE
Earth0.01670.310−0.073−0.363−0.340−0.087−0.357 6.1 × 10 9 2.9 × 10 9 3.4 × 10 9
Pluto0.24880.146−0.001−0.472−0.647−0.274−0.331 6.6 × 10 6 2.8 × 10 6 3.4 × 10 6
Table 2. Values of a i , b i , corresponding errors in θ ( τ ) , and absolute position for celestial bodies.
Table 2. Values of a i , b i , corresponding errors in θ ( τ ) , and absolute position for celestial bodies.
MercuryVenusEarthMarsJupiterSaturnUranusNeptunePluto
ε 0.20560.00670.01670.09350.04890.05650.04570.01130.2488
a 1 0.170535170.318623950.309775030.246943310.282342560.276099960.284997280.314533770.14561949
a 2 −0.01166110−0.07705003−0.0728542−0.04432541−0.06014655−0.05731287−0.06135776−0.07510434−0.0012376
a 3 −0.43861374−0.36086494−0.36274460−0.38289299−0.36985666−0.37179675−0.36907139−0.36171170−0.47217706
b 1 −0.57282655−0.33074668−0.34005421−0.42023391−0.37170483−0.37957121−0.36843946−0.33499871−0.64694223
b 2 −0.22240872−0.08288098−0.08742593−0.12920751−0.10334339−0.10741403−0.10166725−0.08494978−0.27396065
b 3 −0.33681377−0.35855961−0.35697508−0.34764211−0.35253989−0.35161930−0.35294044−0.35781706−0.33108759
ME 3.6 × 10 6 9.5 × 10 10 6.1 × 10 9 3.5 × 10 7 6.6 × 10 8 9.4 × 10 8 5.6 × 10 8 2.7 × 10 9 6.6 × 10 6
MAE 1.5 × 10 6 4.5 × 10 10 2.9 × 10 9 1.5 × 10 7 2.9 × 10 8 4.1 × 10 8 2.5 × 10 8 1.3 × 10 9 2.8 × 10 6
RMSE 1.9 × 10 6 5.3 × 10 10 3.4 × 10 9 1.8 × 10 7 3.5 × 10 8 5.0 × 10 8 3.0 × 10 8 1.5 × 10 9 3.4 × 10 6
D s 5.8 × 10 7 1.1 × 10 8 1.5 × 10 8 2.3 × 10 8 7.9 × 10 8 1.4 × 10 9 2.9 × 10 9 4.5 × 10 9 5.9 × 10 9
E p 2080.110.9280521311631239,000
Table 3. Values of a i j and b i j calculated in ranges of ε .
Table 3. Values of a i j and b i j calculated in ranges of ε .
Range of ε (0,0.1](0.1,0.25](0.25,0.5](0.5,0.7](0.7,1.0)
a 10 0.324640900.324559840.324935190.331177950.34799892
a 11 −0.90342437−0.90136299−0.90443788−0.94434644−1.02378174
a 12 0.797982920.779566820.786888700.871798160.99672027
a 13 −0.24897861−0.19074605−0.19470806−0.25486105−0.32027157
a 20 −0.07992819−0.07920359−0.07197522−0.06646582−0.11098658
a 21 0.434044100.416485070.336659650.296153220.50088661
a 22 −0.64017363−0.49188569−0.19208276−0.09396227−0.40748236
a 23 0.753411160.31132787−0.07256170−0.150932520.00894242
a 30 −0.35968044−0.35742442−0.156751626.29837377154.50791377
a 31 −0.17220655−0.22278632−2.20357719−41.92862343−715.24316797
a 32 −0.64666864−0.260553056.2802490187.405209591105.82612363
a 33 −1.78408496−2.80408480−10.06884121−65.08749455−577.96129585
b 10 −0.32463507−0.32142203−0.092942156.21933680138.39317241
b 11 −0.90434048−0.97722350−3.24616805−42.18802414−643.15766068
b 12 −1.11071449−0.545253977.0035613486.74796714996.53861794
b 13 −1.63153199−3.15712303−11.61829996−65.86504267−524.44755555
b 20 −0.07992299−0.075273910.2908046611.97863173287.23614950
b 21 −0.43571269−0.54094614−4.16198706−76.07319110−1326.12648115
b 22 −0.780633180.0335387712.02291626158.841512912048.91985911
b 23 −2.10660888−4.29567159−17.65734989−117.20310761−1068.68369232
b 30 −0.35968350−0.36025835−0.44346730−3.54853992−81.17535211
b 31 0.171711820.184028190.9988855220.06864682372.42195877
b 32 −0.59524043−0.68312683−3.34688052−42.20159066−574.67488149
b 33 1.455940361.666661994.5881896930.87266047298.77577747
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

Beloiarov, A.N.; Beloiarov, V.A.; Cruz-Gómez, R.C.; Monzón, C.O.; Romero, J.L. Quasi-Analytical Solution of Kepler’s Equation as an Explicit Function of Time. Mathematics 2024, 12, 2108. https://doi.org/10.3390/math12132108

AMA Style

Beloiarov AN, Beloiarov VA, Cruz-Gómez RC, Monzón CO, Romero JL. Quasi-Analytical Solution of Kepler’s Equation as an Explicit Function of Time. Mathematics. 2024; 12(13):2108. https://doi.org/10.3390/math12132108

Chicago/Turabian Style

Beloiarov, A. N., V. A. Beloiarov, R. C. Cruz-Gómez, C. O. Monzón, and J. L. Romero. 2024. "Quasi-Analytical Solution of Kepler’s Equation as an Explicit Function of Time" Mathematics 12, no. 13: 2108. https://doi.org/10.3390/math12132108

APA Style

Beloiarov, A. N., Beloiarov, V. A., Cruz-Gómez, R. C., Monzón, C. O., & Romero, J. L. (2024). Quasi-Analytical Solution of Kepler’s Equation as an Explicit Function of Time. Mathematics, 12(13), 2108. https://doi.org/10.3390/math12132108

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