Planetary motion tackled kinematically


Orbital motion expressed in terms of the auxiliary angle
Introduction

Nowadays astronomers accept that planetary motion has to be treated dynamically, as a many-body problem, for which there is bound to be no exact solution. This situation is currently approximated in textbooks by the two-body problem, which itself became amenable to analysis only after the work of Newton (1642-1727) [1]. His epoch-making publication was the source of recognisably modern formulations of mass, and force, and acceleration (in fact even the concept of resultant - tangential - velocity seems to have been new). It initiated the science of dynamics as we now know it.

Before that breakthrough, planetary motion involved merely a path (a curve), together with a measure of time, represented geometrically: that is, a strictly kinematical treatment. This by definition involves the dimensions of length and time alone, while excluding altogether the dimension of mass. Thus the situation is simplified to one in which a planet (regarded as a point) moves in a plane about a fixed source of motion. (The theory was developed first in terms of circles based on the heliocentric configuration invented by Copernicus (1473-1543) [2].) In this case, the motion of each individual planet occurs in isolation, entirely unaffected by any other member of the system. This will be specifically referred to as the 'one-body problem'. It is this situation we shall now examine, adjusting our terminology accordingly (in particular, replacing any mention of 'velocity' with the more appropriate term 'motion' throughout). The astronomical solution to the one-body problem consists of the two laws:
  1. Law I (the Ellipse Law) - the curve or path of a planet is an ellipse whose radius vector is measured from the Sun which is fixed at one focus.
  2. Law II (the Area Law) - the time taken by a planet to reach a particular position is measured by the area swept out by the radius vector drawn from the fixed Sun.
This composite solution represents what is in fact the earliest instance of a planetary orbit: it will be succinctly referred to in what follows as 'the Sun-focused ellipse'. We shall now prove that, subject to its obvious external limitations, this unique solution is of universal applicability as a self-contained piece of mathematics. Moreover the topic is of great historical significance - since the discovery of the two laws stated above actually took place during the period 1600-1630 [3], under the kinematical circumstances described above: see Kepler's Planetary Laws. Therefore it is of interest to assess the validity of the techniques actually employed at the time, applying rigorous modern methods as a standard of comparison.

Unexpectedly, this analysis is carried out in terms of the auxiliary angle of the ellipse, rather than the polar angle (at the Sun) that is invariably used nowadays: this came about for historical reasons - because, until the adoption of the heliocentric view, the position of the Sun did not play an explicit part in planetary theory. Moreover, the kinematical solution is qualitatively different from any later, dynamical one in that it possesses exact geometrical representation - while the adoption of the auxiliary angle as variable ensures that the treatment turns out to be the simplest possible.

In what follows, we establish the properties of an ellipse, both as a path, in Part I, and as an orbit, in Part II; while in Part III we will derive Law III, the relationship that synthesizes the planetary system.
Part I. Geometrical properties of the ellipse with focus at the origin

(i) Determination of the radius vector
Kepler 1

The figure shows an ellipse with its major auxiliary circle diameter CDCD, centre BB, whose given measures will be denoted by BC=BD=aBC = BD = a, the major semiaxis of the ellipse, and BF = bb, its minor semiaxis. The focus A is constructed geometrically by drawing FMFM parallel to CDCD to cut the circle at MM, and dropping a perpendicular from MM to cut CDCD at AA (thus making AM=BFAM = BF). Then we set AB=BE=aeAB = BE = ae, where aeae is derived from the relationship that connects the three determining constants of an ellipse (it may be referred to as 'the focus-fixing property'):
a2e2=a2b2a^{2}e^{2} = a^{2} - b^{2}.             (1)
It is essential to appreciate here that ee not only denotes the focal eccentricity (the 'ellipticity') but the polar eccentricity as well, since A is both the focus and the origin or pole of coordinates (which here coincides with the position of the Sun). Otherwise, the present treatment will be ineffective.

By considering the (evidently) congruent right-angled triangles ABFABF and ABMABM, we find AF=BM=aAF = BM = a. This length AF is subsequently recognized as 'the mean distance', which is of great significance in Part III below.

Our derivation will be carried out exclusively in terms of the auxiliary angle
QBC=β\angle QBC = \beta.
This will be unfamiliar to modern readers since the standard treatment is nowadays invariably based on the polar angle PAC=PAC=θPAC = \angle PAC = \theta.

We start from what was almost certainly the earliest definition of an ellipse (because it can be derived from the plane section of a cone in three easy steps, as set out in [4]). It enables the ellipse to be regarded as a 'compressed circle', by a relation known nowadays as 'the ratio-property of the ordinates':
PHQH=ba\large\frac{PH}{QH}\normalsize = \large\frac{b}{a}\normalsize.             (2)
Now from ΔQHB\Delta QHB,
QH=asinβQH = a\sin \beta,
so from (2),
PH=ba.QH=bsinβPH = \large\frac{b}{a}\normalsize . QH = b \sin \beta .
We will first find the radius vector AP=rAP = r in terms of β\beta (though it will be convenient to introduce the polar angle θ\theta temporarily, in a subsidiary capacity). Then two geometrical equivalences can be derived from ΔAPH\Delta APH, again shown in the figure:
PH=rsinθ=bsinβPH = r \sin \theta = b \sin \beta             (3)

AH=rcosθ=a(cosβ+e)AH = r \cos \theta = a(\cos \beta + e).             (4)
Applying Pythagoras' theorem to ΔAPH\Delta APH, we derive:
r2=AP2=PH2+AH2r^{2} = AP^{2} = PH^{2} + AH^{2}
and thus,
r2=b2sin2β+a2(cosβ+e)2r^{2} = b^{2}\sin^{2} \beta + a^{2}(\cos \beta + e)^{2}.
Using (1),
r2=a2(1e2)sin2β+a2(cos2β+2ecosβ+e2)r^{2} =a^{2}(1 - e^{2})\sin^{2} \beta + a^{2}(\cos^{2} \beta + 2e \cos \beta + e^{2})

=a2(sin2βe2sin2β+cos2β+2ecosβ+e2)= a^{2}(\sin^{2} \beta - e^{2}\sin^{2} \beta + \cos^{2} \beta + 2e \cos \beta + e^{2})

=a2(1+2ecosβ+e2cos2β).= a^{2}(1 + 2e \cos \beta + e^{2}\cos^{2}\beta).
Hence,
r=AP=a(1+ecosβ).r = AP = a(1 + e \cos \beta).            (5)
This is Law I: the equation of the elliptic path with respect to the origin at one focus: see Kepler's Planetary Laws: Section 6.

(ii) Proof that the ellipse is 'simpler than any circle (except one)'

We consider the equation of a circle with origin at some eccentric point: as an illustration we may take the circle CQDCQD, centre BB, shown in the figure, where AA is to be regarded as the origin or pole; just for our present purpose, we set AB=aeAB = a e to represent the 'polar distance' alone (since the focal distance for a circle is zero). Then we use the information from (i) above to calculate the radius vector AQAQ of the circle:
AQ2=AH2+QH2AQ^{2} = AH^{2} + QH^{2}

=a2(cosβ+e)2+a2sin2β= a^{2}(\cos \beta + e)^{2} + a^{2}\sin^{2} \beta

=a2(1+2ecosβ+e2).= a^{2}(1 + 2e \cos \beta + e^{2}).
So,
AQ=a(1+2ecosβ+e2)12AQ = a(1 + 2e \cos \beta + e^{2})^{{1\over2}}
Hence,
AQ=a(1+ecosβ+12e2sin2β+...).AQ = a(1 + e \cos \beta + \large\frac{1}{2}\normalsize e^{2}\sin^{2} \beta + ...).
Therefore it is clear that this expression for the radius vector of a circle with its origin at an eccentric point is much less simple than that for the radius vector of the ellipse with the same origin when that point is its focus, as set out in (5) just above.

Further, this argument could be generalized by carrying out a similar brief calculation to find the radius vector of any ellipse belonging to the system of conics whose origin is at the Sun (again setting polar distance AB=aeAB = ae) that has CQDCQD as its auxiliary circle and its typical point lying on QHQH (still defined by auxiliary angle β). However, because each such ellipse possesses its own individual eccentricity, this would introduce a separate constant (say ϵ\epsilon ) to represent the focal eccentricity of that particular ellipse, and thus produce a still more complicated expression. Since both the focal distance and the polar distance are measured from the centre BB of the ellipse, it is only when these two distances coincide (aϵ=aea\epsilon = ae), uniquely, that we obtain the simplest possible equation -- as expressed in (5). (And mathematicians will not need convincing that the simplest of all circles, having its origin at the centre BB, is no more than a special case of that system of conics, with e=ϵ=0.e = \epsilon = 0.)

(iii) Evaluation of the transradial arc rdθr d\theta

From the equivalences for PHPH set out in (3), we obtain:
sinθsin β=br\large\frac{\sin\theta}{\sin \beta}\normalsize = \large\frac{b}{r}\normalsize.            (6)
So, applying the formula for the radius vector from (5), we have:
sinθ=basinβ1 + e cos β\sin \theta = \large\frac{b}{a}\normalsize \large\frac{\sin\beta}{1 + e \cos \beta}\normalsize .
Differentiating with respect to β, we derive:
dθdβ=ba.1cosθ.cosβ(1+ecosβ)+esin2β(1+ecosβ)2\large\frac{d\theta}{d\beta} = \frac{b}{a}.\large\frac{1}{\cos \theta}.\large\frac{\cos \beta (1 + e \cos\beta) + e\sin^{2}\beta}{(1 + e \cos\beta)^{2}}
and using (4),
dθdβ=ab.1cosθ.cosβ+e(cos2β+sin2β)r2\large\frac{d\theta}{d\beta}\normalsize = ab.\large\frac{1}{\cos \theta}.\large\frac{\cos \beta + e (\cos^{2}\beta + \sin^{2}\beta)}{r^{2}} .
Hence,
dθdβ=br\large\frac{d\theta}{d\beta}\normalsize = \large\frac{b}{r}\normalsize.            (7)
This identity acts as the bridging relation (inverse or direct) between the modern treatment by polar angle and the present treatment by auxiliary angle (which will only work effectively in the case of the unique Sun-focused ellipse alone).

Moreover, this purely geometrical relationship is unexpectedly of enormous significance in connection with one kinematical component of the orbit, as we shall see in Part II(i) below. Meanwhile we point out that the transradial arc is constant with respect to the auxiliary angle:
rdθ=bdβr d\theta = b d\beta.            (8)
Part II. Kinematical properties of the ellipse with focus at the origin
(i) The transradial component of motion rdθ/dt
(This motion is known to some mathematicians as the transverse component of motion). Whatever we call it, this motion is defined to take place round the Sun instantaneously in a circle.

The characteristic property of orbital motion in its most general form is generally stated dynamically, but it was in fact first proved as a kinematical relation in Book I, Prop.1 of Newton's work, already cited [1] (at that early stage, the concept of mass had not yet been introduced). This property can be formulated in various ways, all equivalent to the statement that equal areas correspond to equal times. The constant of proportionality involved (12h\large\frac{1}{2}\normalsize h is standard usage) is expressed mathematically by the following relationship, in which rr represents the radius vector measured from the source of motion at the Sun, still taken as the origin of coordinates, again with reference to the figure:
r2dθdt=hr^{2} \large\frac{d\theta}{dt}\normalsize = h.
This is the modern mathematical expression of the kinematical area-time law.

We now apply this to the special case of the Sun-focused ellipse, whose total area is πab\pi ab and periodic time TT, in order to evaluate its particular constant. For one complete circuit, the area-time law gives:
2πabT=h2\pi \large\frac{ab}{T}\normalsize = h.            (9)
So in this case,
r2dθdt=2πabTr^{2} \large\frac{d\theta}{dt}\normalsize = 2\pi \large\frac{ab}{T}\normalsize,
and hence,
rdθdt=2πabT×1rr \large\frac{d\theta}{dt}\normalsize = 2\pi \large\frac{ab}{T}\normalsize \times \large\frac{1}{r}\normalsize.            (10)
Now from the evaluation of the transradial arc in (8) above, we have:
rdθdt=bdβdtr \large\frac{d\theta}{dt}\normalsize = b \large\frac{d\beta}{dt}\normalsize.            (11)
Thus for the Sun-focused ellipse alone, we deduce from (10) and (11):
dβdt=2πaT×1r\large\frac{d\beta}{dt}\normalsize = 2\pi \large\frac{a}{T}\normalsize \times \large\frac{1}{r}\normalsize.            (12)
We digress to consider the inverse form:
dtdβ=T2π×ra=T2π(1+ecosβ)\large\frac{dt}{d\beta}\normalsize = \large\frac{T}{2\pi}\normalsize \times \large\frac{r}{a}\normalsize = \large\frac{T}{2\pi}\normalsize (1 + e \cos \beta)    from (5).
Hence by integration,
tβ+esinβt \propto \beta + e \sin \beta.
This is Law II: the time expressed in angular measure. Then, by introducing the dimensional constant 12ab\large\frac{1}{2}\normalsize ab, for the Sun-focused ellipse alone, we can easily deduce that time is proportional to area. See Kepler's Planetary Laws: Section 7.

[For a less precise version of equation (10) - simply that the transradial motion is proportional (inverse-linearly) to the distance - see Kepler's Planetary Laws: Section 10.]

(ii) The radial component of motion drdt\large\frac{dr}{dt}\normalsize
This motion takes place linearly in the direction of the radius vector -- towards or away from the Sun.

We return to equation (5), the formula for the radius vector:
r=a(1+ecosβ).r = a(1 + e \cos \beta).
Hence,
drdβ=aesinβ\large\frac{dr}{d\beta}\normalsize = -ae \sin \beta.            (13)
This is the radial variation of the distance with respect to β: see Kepler's Planetary Laws: Section 11.]

Continuing our modern treatment, we carry out a change of variable, using (12) and (13):
drdt=drdβ.dβdt=2πaT.aesinβr\large\frac{dr}{dt} = \large\frac{dr}{d\beta}.\large\frac{d\beta}{dt}= \frac{2\pi a}{T}.\frac{ae\sin \beta}{r},
and thus,
drdt=2πaT.esinβ1+ecosβ\large\frac{dr}{dt} = -\frac{2\pi a}{T}.\frac{e\sin \beta}{1 + e\cos{\beta}}.            (14)
It can easily be checked that calculating the resultant of these two components (10) and (14) will produce the modern value of the 'velocity' in orbit -- but there is no reason to do so since the present treatment by components is entirely adequate -- and much simpler -- for a kinematical approach.

(iii) The radial acceleration

On the other hand, for the removal of doubt, we should confirm that this treatment is compatible with the modern dynamical approach, by determining the acceleration that corresponds to this motion (as has been said, this concept was an anachronism in Kepler's day). There are several ways of carrying this out, which unfortunately involve either sophisticated calculus or fairly heavy algebra. We start from the formula analogous to that found in textbooks of dynamics:
Radial acceleration rdθdt2d2rdt2r\large\frac{d\theta}{dt}^{2} -\frac{d^{2} r}{dt^{2}} directed towards the Sun.            (15)
Then we apply result (11) above to the first term, and, as one possibility for the second term, introduce a formula for change of variable which is found in some calculus textbooks:
d2rdt2=[dtdβ.d2rdβ2drdβ.d2tdβ2](dβdt)3\large\frac{d^{2} r}{dt^{2}}= \left[\frac{dt}{d\beta}.\frac{d^{2}r}{d\beta^{2}}- \frac{dr}{d\beta}.\frac{d^{2}t}{d\beta^{2}}\right]\left( \frac{d\beta}{dt}\right)^{3}.            (16)
This can be expressed in terms of rr as required by differentiating (12) and (13), and also using (14), and then simplified by applying (5) and (1). Lastly by using (12), we obtain:
Radial acceleration = (2π)2a3T2×1r2(2\pi)^{2} \large\frac{a^{3}}{T^{2}}\normalsize \times \large\frac{1}{r^{2}} towards the Sun.
Now introducing, provisionally, the quantity μ0\mu_{0} to represent (2π)2a3T2(2\pi)^{2} \large\frac{a^{3}}{T^{2}}, we express the radial acceleration in the more familiar form:
Acceleration = μ0r2\large\frac{\mu_{0}}{r^{2}\normalsize} towards the Sun.
This quantity μ0\mu_{0} is evidently determined by the particular orbit, and thus appears to be a (kinematical) constant associated with the individual planet. It will be interpreted further in Part III below.

We conclude that this theory is rigorously exact in kinematical terms for an individual planet, in accordance with presentday standards. Moreover, subject to precise determination of the values of all the constants involved, Kepler's own treatment was entirely satisfactory, up to the level of first order differentiation.
Part III. Corollary: the derivation of Law III for a system of planets

A geometrical lemma to Part I(i) above will enable us to evaluate AL=lAL = l, the semilatus rectum, shown in the figure (where L is the point of the ellipse lying on AMAM). By the original construction, AM=BF=bAM = BF = b. Accordingly, applying the ratio-property of the ordinates, we obtain:
ALAM=lb=ba\large\frac{AL}{AM}\normalsize = \large\frac{l}{b}\normalsize = \large\frac{b}{a}\normalsize.
Hence,
b2=alb^{2} = al.            (17)
Now we return to equation (9), which stated the area-time law (in kinematical terms) for one complete circuit:
h=2πabT,h = 2\pi \large\frac{ab}{T}\normalsize ,
and so,
h2=(2π)2a2b2/T2h^{2} = (2\pi)^{2}a^{2}b^{2}/T^{2}
Using (17), we obtain:
h2=(2π)2a3l/T2h^{2} = (2\pi)^{2}a^{3}l/T^{2}.
Rearranging,
a3T2=1(2π)2.h2l\large\frac{a^{3}}{T^{2}}\normalsize = \large\frac{1}{(2\pi)^{2}} . \large\frac{h^{2}}{l}.
Since hh and ll are constants determined by the particular orbit, we will follow Cohen [5] (who presumably chose the notation to commemorate the discoverer of this relationship) to write the result:
a3T2=K\large\frac{a^{3}}{T^{2}}\normalsize = K.            (18)
Hence we have uncovered the existence of a kinematical relationship between the square of the periodic time and the cube of the mean distance for each of the (six) planets independently, each apparently possessing its own individual value of KK. In the event the value of KK was compared empirically for all the planets in pairs, and was found to be constant (within observational limits) for every pair tested; KK was then assumed to have a common value for the whole planetary system -and the relationship is known as Kepler's Third Law [6]. (It was proved, in a dynamical context, in Book I, Prop.15 of Newton's work, already cited.) However, it is possible to formulate a rational basis for the above deduction, founded on geometry - and so to produce a theoretical proof of Law III which would have been not so far beyond the conceptual understanding of a pre-Newtonian mathematician [7]. (The proof involves the extension of a method actually used by Kepler in his proof of the area law.)

Accordingly, it is evident that the quantity μ0\mu_{0} provisionally defined in Part II(iii) - there associated with an individual planet -- may now be identified as a kinematical constant that will operate to synthesize the planetary system. (It is explained in elementary textbooks of modern astronomy that the corresponding value μ\mu in the dynamical system depends on the relative masses as well as the actual constant of gravitation.) So we will name μ0\mu_{0} 'the coefficient of planetary cohesion', and in correlation, we have:
μ0=(2π)2a3T2=(2π)2K\mu_{0} = (2\pi)^{2} \large\frac{a^{3}}{T^{2}}\normalsize = (2\pi)^{2}K.

References (show)

  1. Isaac Newton: The Mathematical Principles of Natural Philosophy, London 1687.
  2. Nicolaus Copernicus: On the Revolutions of the Heavenly Spheres, Nürnberg 1543.
  3. The laws appeared in Johannes Kepler (1571-1630): New Astronomy, Heidelberg 1609. They were validated in his later work: Epitome of Copernican Astronomy, Book V, Frankfurt 1621.
  4. A E L Davis: 'Some plane geometry from a cone ... 'Mathematical Gazette, forthcoming, July 2007.
  5. I. Bernard Cohen: The Birth of a New Physics, Norton 1985 (up-dated), p.166.
  6. Johannes Kepler: The Harmony of the World, Linz 1619. Stated Book V, Ch.3, Prop.8.
  7. A E L Davis: 'Kepler's potential proof of his Third Law' in Miscellanea Kepleriana, ed. Boockman, Di Liscia, Kothmann, Augsburg 2005.

Written by A E L Davis, University College, London.
Last Update October 2006