In most applications, there is a large central body, the center of mass of which is assumed to be the center of mass of the entire system. By decomposition, the orbits of two objects of similar mass can be described as Kepler orbits around their common center of mass, their barycenter.
Every point mass attracts every other point mass by a force pointing along the line intersecting both points. The force is proportional to the product of the two masses and inversely proportional to the square of the distance between the point masses:
where:
F is the magnitude of the gravitational force between the two point masses,
G is the gravitational constant,
m1 is the mass of the first point mass,
m2 is the mass of the second point mass,
r is the distance between the two point masses.
The shapes of large celestial bodies are close to spheres. By symmetry, the net gravitational force attracting a mass point towards a homogeneous sphere must be directed towards the centre of the sphere. The shell theorem (also proven by Isaac Newton) says that the magnitude of this force is the same as if all mass was concentrated in the middle of the sphere, even if the density of the sphere varies with depth (as it does for most celestial bodies). From this immediately follows that the attraction between two homogeneous spheres is as if both had its mass concentrated to its center.
Smaller objects, like asteroids or spacecraft often have a shape strongly deviating from a sphere. But the gravitational forces produced by these irregularities are generally small compared to the gravity of the central body. The difference between an irregular shape and a perfect sphere also diminishes with distances, and most orbital distances are very large when compared with the diameter of a small orbiting body. Thus for some applications, shape irregularity can be neglected without significant impact on accuracy.
Planets that rotate (such as the Earth) take a slightly oblate shape because of the centrifugal force and with such an oblate shape the gravitational attraction will deviate somewhat from that of a homogeneous sphere. This phenomenon is quite noticeable for artificial Earth satellites, especially those in low orbits, but at a large distance the effect of this oblateness is very small and the planetary motions in the Solar System can be computed with sufficient precision assuming the gravitational attraction between any two bodies of the Solar System follow the law:
where r is the distance between the centres of the celestial bodies.
The two-body problem is the case that there are only two point masses (or homogeneous spheres).
If the two mass points (or homogenous spheres) have the masses and and the position vectors
and relative a point fixed with respect to inertial space (for example relative their common centre of mass) the equations of motion for the two mass points are
where
is the distance between the bodies
and
is the unit vector pointing from body 2 to body 1.
This differential equation for the two body case can be completely solved mathematically and the resulting orbit which follows Kepler's laws of planetary motion is called a "Kepler orbit". The orbits of all planets are to high accuracy Kepler orbits around the Sun (as observed by Johannes Kepler!), the small deviations being due to the much weaker gravitational attractions between the planets, or in the case of Mercury, due to general relativity. Also the orbits around the Earth of the Moon and of the artificial satellites are with a fair approximation Kepler orbits. In fact, the gravitational acceleration towards the Sun is about the same for the Earth and the satellite and therefore in a first approximation "cancels out". Also in high accuracy applications for which the equation of motion must be integrated numerically with all gravitational and non-gravitational forces (such as solar radiation pressure and atmospheric drag) being taken into account, the Kepler orbit concepts are of paramount importance and heavily used.
are only defined for a Kepler orbit. The use of orbital elements therefore always implies that the orbit is approximated with the Kepler orbit having these orbital elements.
Mathematical solution of the differential equation (1) above
Using the expressions for of equations (2), (4), (5) and (6) all time derivatives in (3) can be replaced by derivatives of r as function of . After some simplification one gets
The differential equation (7) can be solved analytically by the variable substitution
Using the chain rule for differentiation one gets:
Using the expressions (10) and (9) for and
one gets
with the general solution
where e and are constants of integration depending on the initial values for s and .
Instead of using the constant of integration explicitly one introduces the convention that the unit vectors defining the coordinate system in the orbital plane are selected such that takes the value zero and e is positive. This then means that is zero at the point where is maximal and therefore is minimal. Defining the parameter p as one has that
This is the equation in polar coordinates for a conic section with origin in a focal point. The argument is called "true anomaly".
The following image illustrates an ellipse (red), a parabola (green) and a hyperbola (blue)
The lower branch of the hyperbola is irrelevant here (image from Wikimedia Commons).
The point below the focal point F is the point with for which the distance to the focus takes the minimal value , the pericentre. For the ellipse there is also an apocentre for which the distance to the focus takes the maximal value . For the hyperbola the range for is
and for a parobola the range is
Using the chain rule for differentiation (5), the equation (2) and the definition of p as one gets that the radial velocity component is
and that the tangential component is
The connection between the polar argument and time t is slightly different for elliptic and hyperbolic orbits.
For an elliptic orbit one switches to the "eccentric anomaly" E for which
and consequently
and the angular momentum H is
Integrating with respect to time t one gets
under the assumption that time is selected such that the integration constant is zero.
As by definition of p one has
this can be written
For a hyperbolic orbit one uses the hyperbolic functions for the parameterisation
for which one has
and the angular momentum H is
Integrating with respect to time t one gets
i.e.
To find what time t that corresponds to a certain true anomaly one computes corresponding parameter E connected to time with relation (27) for an elliptic and with relation (34) for a hyperbolic orbit.
Note that the relations (27) and (34) define a mapping between the ranges
For an elliptic orbit one gets from (20) and (21) that
and therefore that
From (36) then follows that
From the geometrical construction defining the eccentric anomaly it is clear that the vectors and
are on the same side of the x-axis. From this then follows that the vectors
and are in the same quadrant. One therefore has that
and that
.
where "" is the polar argument of the vector and n is selected such that
For the numerical computation of the standard function ATAN2(y,x)
(or in double precision DATAN2(y,x)) available in for example the programming language FORTRAN can be used.
Note that this is a mapping between the ranges
For an hyperbolic orbit one gets from (28) and (29) that
and therefore that
As
and as and have the same sign it follows that
This relation is convenient for passing between "true anomaly" and the parameter
E, the latter being connected to time through relation (34). Note that this is a mapping between the ranges
and that can be computed using the relation
From relation (27) follows that the orbital period P for an elliptic orbit is
As the potential energy corresponding to the force field of relation (1) is
it follows from (13) , (14), (18) and (19) that the sum of the kinetic and the
potential energy
for an elliptic orbit is
and from (13) , (16), (18) and (19) that the sum of the kinetic and the
potential energy for a hyperbolic orbit is
Relative the inertial coordinate system
in the orbital plane with towards pericentre one gets from (18) and (19) that the velocity components are
Determination of the Kepler orbit that corresponds to a given initial state
This is the "initial value problem" for the differential equation (1) which is a first order equation
for the 6-dimensional "state vector" when written as
For any values for the initial "state vector" the Kepler orbit corresponding
to the solution of this initial value problem can be found with the following algorithm:
Define the orthogonal unit vectors through
with and
From (13), (18) and (19) follows that by setting
and by defining and such that
where
one gets a Kepler orbit that for true anomaly has the same r, and values as those defined by (48) and (49).
If this Kepler orbit then also has the same vectors for this true anomaly as the ones defined by (48) and (49) the state vector of the Kepler orbit takes the desired values for true anomaly .
The standard inertially fixed coordinate system in the orbital plane (with directed from the centre of the homogeneous sphere to the pericentre) defining the orientation of the conical section (ellipse, parabola or hyperbola) can then be determined with the relation
Note that the relations (51) and (52) has a singularity when and
i.e.
which is the case that it is a circular orbit that is fitting the initial state
For any state vector the Kepler orbit corresponding to this state can be computed with the algorithm defined above.
First the parameters are determined from and then
the orthogonal unit vectors in the orbital plane using the relations (54) and (55).
If now the equation of motion is
where
is another function then
the resulting parameters
defined by will all vary with time as opposed to the case of a Kepler orbit for which only the parameter
will vary
The Kepler orbit computed in this way having the same "state vector" as the solution to the "equation of motion" (57) at time t is said to be "osculating" at this time.
This concept is for example useful in case
where
is a small "perturbing force" due to for example a faint gravitational pull from other celestial bodies. The parameters of the osculating Kepler orbit will then only slowly change and the osculating Kepler orbit is a good approximation to the real orbit for a considerable time period before and after the time of osculation.
This concept can also be useful for a rocket during powered flight as it then tells which Kepler orbit
the rocket would continue in in case the thrust is switched-off.
For a "close to circular" orbit the concept "eccentricity vector" defined as is useful. From (51), (52) and (54) follows that
i.e. is a smooth differentiable function of the state vector also if this state corresponds to a
circular orbit.
A Kepler orbit is specified by six orbital elements, normally the following (assuming an elliptical orbit; parabolas and hyperbolas are also possible if eccentricity >= 1).
Argument of periapsis () defines the orientation of the ellipse in the orbital plane.
Mean anomaly at epoch () defines the position of the orbiting body along the ellipse. (True anomaly () is shown on the diagram, since mean anomaly does not represent a real geometric angle.)