Escolar Documentos
Profissional Documentos
Cultura Documentos
Giovanni Gallavotti
sense of (1).
In reality in Greek Astronomy it is always
lear that
the motion of the solar system,
on
eived as quasi periodi
, is only a possible one within a wider family of
motions that have the form
x(t) = f ('1 + !1 t; : : : ; 'n + !n t):
(2)
Hen
e it is in a stronger sense that motions are thought
of as
omposed by elementary
ir
ular ones. Indeed all
the n-ples ('1 ; : : : ; 'n ) of phases are
onsidered as des
ribing possible states of the system. This means that
one thinks that the phases ('1 ; : : : ; 'n ) provide a system
of
oordinates for the possible states of the system. The
observed motion is one that
orresponds,
onventionally,
to the initial state with phases '1 = '2 = : : : = 0; but
also the other states with arbitrary phases are possible
and are realized in
orresponden
e of dierent given initial
onditions and, furthermore, we
an get
lose to them
by waiting long enough.
Summarizing: to say that the motions of a system are
omposed by n
ir
ular uniform motions, of angular velo
ities !1; : : : ; !n is equivalent to say that it is possible
to nd a system of
oordinates
ompletely des
ribing the
states of the system (relevant for the dynami
al problem
under study) whi
h
an be
hosen to be n angles so that
, furthermore, the motion is simply a uniform
ir
ular
motion of every angle, with suitable angular velo
ities
!1 ; : : : ; !n . This is indeed manifestly equivalent to saying that an arbitrary observable of the system, evolving
in time, admits a representation of the type (2).
In Greek physi
s no methods were available (that we
know of) for determining the angle
oordinates in terms
of whi
h the motion would appear
ir
ular uniform, i.e.
no methods were available for the
omputation of the
oordinates 'i and of the fun
tions f , in terms of
oordinates with dire
t physi
al meaning (e.g. polar or Cartesian
oordinates of the several physi
al point masses of
the system). Hen
e Greek astronomy did
onsist in the
hypothesis that all the motions
ould have the form (2)
and in deriving, then, by experimental observations the
fun
tions f and the velo
ities !i well suited to the des
ription of the planets and stars motions, with a pre
ision that, even to our eyes (used to the s
reens of digital
omputers), appears marvelous and almost in
redible.
After Newton and the development of innitesimal
al
ulus it has be
ome natural and
ustomary to imagine
dynami
al problems as developing starting from initial
Contemporary resear
h on the problem of
haoti
motions in dynami
al systems nds its roots in the Aristotelian idea, often presented as kind of funny in high
s
hool, that motions
an always be
onsidered as
omposed by
ir
ular uniform motions,3;4.
The reason of this
on
eption is the perfe
tion and simpli
ity of su
h motions (of whi
h the uniform re
tilinear
motion
ase must be thought as a limit
ase).
The idea is far more an
ient than Hippar
hus (from
Ni
ea, 194-120 a.C.) from whom, for simpli
ity of exposition it is
onvenient to start. The rst step is to understand
learly what the Greeks really meant for motion
omposed by
ir
ular uniform motions. This indeed is by
no means a vague and qualitative notion, and in Greek
s
ien
e it a
quired a very pre
ise and quantitative meaning that was summarized in all its surprising rigor and
power in the Almagest of Ptolemy (100-175 d.C.).5{7
We thus dene the motion
omposed by n uniform
ir
ular motions with angular velo
ities !1 ; : : : ; !n that is,
impli
itly, in use in the Almagest, but following the terminology of
ontemporary mathemati
s.
A motion is said quasi periodi
if every
oordinate of
any point of the system, observed as time t varies,
an
be represented as:
x(t) = f (!1 t; : : : ; !nt)
(1)
where f ('1 ; : : : ; 'n ) is a multiperiodi
fun
tion of n angles, with periods 2 and !1 ; : : : ; !n are n angular velo
ities that are \rationally independent";8 they were
alled
the [velo
ities of the \motors" of the Heavens.
We must think of su
h fun
tion f as a fun
tion of
the positions '1 ; : : : ; 'n , (\phases" or \anomalies"), of
n points on n
ir
les of radius 1 and, hen
e, that the
state of the system is determined by the values of the
n angles. Therefore to say that an observable x evolves
as in (1) is equivalent to say that the motion of the system simply
orresponds to uniform
ir
ular motions of
the points that, varying on n
ir
les, represent the state
of the system.
1
onditions that
an be quite dierent from those of immediate interest in every parti
ular problem. For example it
is
ommon to imagine solar systems in whi
h the radius of
the orbits of Jupiter is double of what it a
tually is, or in
whi
h the Moon is at a distan
e from the Earth dierent
from the observed one, et
.. Situations of this kind
an be
in
luded in the Greek s
heme simply by imagining that
the
oordinates '1 ; : : : ; 'n are not a
omplete system of
oordinates, and other
oordinates are needed to des
ribe
the motions of the same planets if they are supposed to
have begun their motion in situations radi
ally dierent
from those whi
h, soon or later, they would rea
h when
starting at the given present states (and whi
h \just"
orrespond to states with arbitrary values of the phase
oordinates '1 ; : : : ; 'n ).
To get a
omplete des
ription, of su
h \other possible
motions" of the system, other
oordinates A1 ; : : : ; Am are
ne
essary: they are, however,
onstant in time on every
motion and hen
e they only serve to spe
ify to whi
h
family of motions the
onsidered one belongs. Obviously
we shall have to think that the !1 ; : : : ; !n themselves are
fun
tions of the Ai and, in fa
t, it would be
onvenient
to take the !i themselves as part of the
oordinates Ai ,
parti
ularly when one
an show that m = n and that the
!i
an be independent
oordinates.
Let us imagine, therefore, that the more general motion has the form:
x(t) = f (A1 ; : : : ; Am ; !1 t + '1 ; : : : ; !n t + 'n ) (3)
where !1 ; : : : ; !n are fun
tions of A1 ; : : : ; Am and the
oordinates A1 ; : : : ; Am ; '1 ; : : : ; 'n are a
omplete system
of
oordinates.
In Greek astronomy there is no mention of a relation between m and n: probably only be
ause no
mention is made of the
oordinates A1 ; : : : ; Am sin
e
the Greeks depended ex
lusively on a
tual observations
hen
e they
ould not
on
eive studying motions in whi
h
the A1 ; : : : ; Am (e.g. the radii of the orbits of the planets, the in
linations of the orbits, et
.) were dierent
from the observed values.
In this respe
t it is important to remark that Newtonian me
hani
s shows that it must be m = n = 3N =
fnumber of degrees of freedom of the systemg, if N is
the number of bodies, even though in general it
an happen that the !1 ; : : : ; !n
annot be taken as
oordinates
in pla
e of the Ai 's be
ause they are not always independent of ea
h other (for instan
e the Newtonian theory
of the two body problem gives that the three !i are all
rational multiples of one of them, as otherwise the motion would not be periodi
). Nevertheless this identity
between m and n has to be
onsidered one among the
great su
esses of Newtonian me
hani
s.
Returning to Greek astronomy it is useful to give some
example of how one
on
retely pro
eeded to the determination of '1 ; : : : ; 'n , of !1 ; : : : ; !n and of f .
A good example (other than the motion of the Fixed
Stars, that is too \trivial", and the motion of the Sun
(h1)
C0
Fig. (h1): Hippar hus' Moon theory: deferent and epi y le.
S0
D0
S0
D0
C0
C0
D1
D1
(t1)
C1
R0
F0
F0
(t2)
R s
R s
F1 =se i
F1
s
F 00
R0 e
z = R0 ei!0 t + r 0
jR e
+ sei!0 t e i!1 t
(6)
i!0 t + sei!0 t j
It is
lear that with
orre
tions of this type it is possible to obtain very general quasi periodi
fun
tions. Note
that the above theory
oin
ides with the pre
eding one
3
i!0 t
at
onjun
tion, opposition and quadratures and it is otherwise somewhat dierent (in parti
ular at the o
tagonal
positions).
The values that Ptolemy nds for R; r; s, so that the
theoreti
al ephemerides
onform with the experimental
ones, are however su
h that the possible variations of the
Earth{Moon distan
e (between R r s and R + r + s)
are very important and in
ompatible with a not observed
orresponding variation of the apparent diameter of the
heavenly body :t is not known why the apparent diameter of the Moon did not seem to worry Ptolemy. Astronomi
al distan
es (as opposed to
elestial longitudes
and latitudes of planets) were not, however, really measured in Greek times (due to the di
ulty of parallax
measurements): but we shall see that in Kepler's theory
the measurability of their value payed a major role.
of Ptolemy's lunar theories are still interpretable as motions of deferents and epi
y
les. Whi
h is not
ompletely
obvious sin
e some of the axes of referen
e of Ptolemy
do not move of uniform
ir
ular motion, to an extent
that by several a
ounts, still today, Ptolemy is \a
used" of having abandoned the purity of the
ir
ular
uniform motions with the utilitarian s
ope of obtaining
agreement between the experimental data and their theoreti
al representations10.
I just quote here Coperni
us' Commentariolus, few
lines before the statement of his famous se
ond postulate
setting the Earth away from the
enter of the World:
\Nevertheless, what Ptolemy and several others legated
to us about su
h questions, although mathemati
ally a
eptable, did not seem not to give rise to doubts and dif
ulties" ... \So that su
h an explanation did not seem
su
iently
omplete nor su
iently
onform to a rational
riterion" ... \Having realized this, I often meditated
whether, by
han
e, it would be possible to nd a more rational system of
ir
les with whi
h it would be possible to
explain every apparent diversity;
ir
les, of
ourse, moved
on themselves with a uniform motion", see11 p.108.
II. COPERNICUS
Therefore let us
he
k what was, in some form, probably so obvious to Ptolemy that he did not seem to
feel the ne
essity of justifying his alleged deviation from
the \dogma" of de
omposability into uniform motions.
Namely we
he
k that also the motions of the Ptolemai
lunar theories, as a
tually all quasi periodi
motions,
an
be interpreted in terms of epi
y
les.
Consider for simpli
ity the
ase of quasi periodi
motions with two frequen
ies !1; !2 . Then the position will
be
Coperni
us (1473-1543)9 (who was, indeed, very worried by the latter problem) tried to nd a remedy by
introdu
ing a se
ondary epi
y
le: his model goes ba
k
to that of Hippar
hus, \improved" by imagining that the
point of the epi
y
le on whi
h Hippar
hus set the Moon
was instead the
enter of a smaller se
ondary epi
y
le,
of radius s, on whi
h, the Moon journeyed with angular
velo
ity 2!0
F
S0
z (t) =
(
= !0 t
= !1t; CF = r (
1)
= 2!0t; F L = s
1 ;2
X
j
j ei
j t
(8)
by the Fourier series theorem, where i are arbitrary integers and j , in the se ond sum, denotes a pair 1 ; 2 and
1;1
X
r(t) = 1 ei
1 t 1 + 2 ei(
2
1 )t
1
1 + 3 ei(
3
2 )t (1 + : : :)
2
Fig. ( 1): Coperni us' Moon theory with two epi y les
and in formulae:
rL = Rei!0 t + e (!1 !0 )t (r + se2i!0 t )
(7)
This gives a theory of the longitudes of the Moon essentially as pre
ise as that of Ptolemy. Note that, again, the
same two independent angular velo
ities are su
ient.
Before attempting a
omparison between the method
of Ptolemy and that of Coperni
us it is good to
larify the modern interpretation of the notions of deferent and epi
y
le and to
larify, also, that the motions
(9)
whi h, negle ting 2 ; 3 : : :, is the uniform ir ular motion on the deferent of radius j1 j with angular velo ity
1 ; negle
ting only 3 ; 4 ; : : : it is a motion with a deferent of radius j1 j rotating at velo
ity
1 on whi
h rests
an epi
y
le of radius j2 j on whi
h the planet rotates at
velo
ity
2
1 ; negle
ting only j ; j 4 one obtains a
motion with one deferent and two epi
y
les, as that used
by Coperni
us in the above lunar model.
4
re
tly series whi
h
ontain innitely many Fourier
oe
ients (see R0 (!0 t) in (5) where this happens be
ause of
the square root), i.e. innitely many epi
y
les, most of
whi
h are obviously very small and hen
e irrelevant.
We
an therefore obtain the same results with several
arrangements of sti
ks, provided that the motion that
results has Fourier
oe
ients, I mean those whi
h are
not negligible, equal or
lose to those of the motion that
one wants to represent: it is this absen
e of uniqueness
that makes the Ptolemai
method appear unsystemati
.
It has, however, the advantage that, if applied by an
astronomer like Ptolemy, it apparently requires, at equal
approximation, less elementary uniform
ir
ular motions
(whi
h, on the
ontrary, very often in the Ptolemai
onstru
tions, are innitely many as we see in the
ase of
(5),(6)): this has been erroneously interpreted as meaning less epi
y
les than usually ne
essary with the methods of Coperni
us: a fa
t that was and still is
onsidered
a grave defe
t of the Coperni
an theory
ompared to the
Ptolemai
. Ptolemy identies 43 fundamental uniform
ir
ular motions (that
ombine to give rise to quasi periodi
fun
tions endowed with innitely many harmoni
s
formed with the 43 fundamental frequen
ies) to explain
the whole system of the World: young Coperni
us hopes
initially (in the Commentariolus) to be able to explain
everything with 34 harmoni
s, only to nd out in the De
Revolutionibus, at the end of a lifetime work, that he is
for
ed to introdu
e several more. See Neugebauer in5 ,
vol. 2, p.925- 926.18
One should not, however, miss stressing also that
Coperni
us helio
entri
assumption made possible a simple and unambiguous
omputation of the planetary
distan
es.16 If the Sun is assumed as the
enter, and the
orbits are supposed
ir
ular (to make this remark simplest) then the radii of the epi
y
les of the external planets (for instan
e) are automati
ally xed to be all equal
to the distan
e Earth{Sun. Then, knowing the periods of
revolution and observing one opposition (to the Sun) of
a planet and one position o
onjun
tion at a later time,
one easily dedu
es the distan
e of the planet to the Earth
and to the Sun, in units of the Earth{Sun distan
e. In
a geo
entri
system the radii of the epi
y
les are simply
related to their deferents sizes and the latter are a priori
unrelated to the Sun{Earth distan
e: also for this reason (although mainly be
ause of the di
ulty of parallax
measurements) in an
ient astronomy the size of the planetary distan
es was a big open problem. One
an \save
the phenomena" by arbitrarily s
aling deferent and epi
y
les radii independently for ea
h planet! The possibility
of reliably measuring distan
es, applied by Coperni
us
and then by Ty
ho and Kepler, was essential to establishing the helio
entri
system and to Kepler, who
ould
thus see that the saving of the phenomena in longitudinal
observation was not the same as saving them in the radial observations, a more di
ult but very illuminating
task, see23 .
Ptolemy, with
lever and auda
ious geometri
onstru
tions does not
ompute
oe
ient after
oe
ient
the rst few terms of a Fourier transform. He sees di5
III. KEPLER
Today we would say that Ptolemy's theory was nonperturbative be ause it immediately represented the motions
hen e
1
X
n=1
1
2
1
=
2
1
e ) )e = e + O(e3 )
(e) (1 (1
(e)n os n#)
(11)
(13)
To realize better the originality of the Newtonian theory we must observe that in the approximations in whi
h
Kepler worked it was evident that the laws of Kepler were
not absolutely valid: the pre
ession of the lunar node, of
the lunar perigee and of the Earth itself did require, to
be explained, new epi
y
les: in a
ertain sense the Keplerian ellipses be
ame \deferent" motions that, if run with
the law of the areas, did permit us to avoid the use of
equants and of other Ptolemai
\tri
ks".
A stri
t interpretation of Kepler's laws would be manifestly in
ontrast with
ertain elementary astronomi
al
observations unless
ombined with suitable
onstru
tions
of epi
y
les as Kepler himself realized and applied to the
theory of the Moon,21 . The theory of Newtonian gravitation follows after the abstra
tion made by Newton that
Kepler's laws would be rigorously exa
t in the situation in
whi
h we
ould negle
t the perturbations due to the other
planets, i.e. if we
onsider the \two body problem" and
we reinterpreted in a novel way the Keplerian
on
eption
that the motion of a planet was mostly due to a for
e
exer
ized by the Sun and partly to a for
e due to itself.
The theory of gravitation not only predi
ts that the
M
CM =a; SC =ea
#
S
(e)
ea
`
Sequant
the
this means that the angle ` in the drawing rotates uniformly and
# = ` 2e sin ` + e2 sin 2` + O(e3 )
(14)
Trun
ating the series in (13) and (14) to rst order in
the e
entri
ity we obtain (12) and hen
e a des
ription
in terms of one deferent, two epi
y
les and an equant:
it is a des
ription quite a
urate of the motion of Mars
7
motions of the heavenly bodies are quasi periodi
, apparently even in the approximation in whi
h one does not
negle
t the re
ipro
al intera
tions between the planets,
but it gives us the algorithms for
omputing the fun
tions
f ('1 ; : : : ; 'n ).
The summa of Lapla
e (1749-1827) on the Me
anique
eleste of 1799,25, makes us see how the des
ription of the
solar system motions, even after taking into a
ount the
intera
tions between the planets,
ould be made in terms
quasi periodi
fun
tions. Newtonian me
hani
s allows
us to
ompute approximately the 3N
oordinates A =
(A1 ; : : : ; A3N ) and the 3N angles '1 ; : : : ; '3N and the 3N
angular velo
ities !1 (A); : : : ; !3N (A) in terms of whi
h
the motion simply
onsists of 3N uniform rotations of
the 3N angles while the A remain
onstant.
Lapla
e makes us see that there is an algorithm that
allows us to
ompute the Ai ; !i ; 'i by su
essive approximations in a series of powers in several parameters (ratios of masses of heavenly bodies, e
entri
ities, ratios of
the planets radii to their orbits radii et
.), that will be
denoted here with the only symbol ", for simpli
ity.
After Lapla
e approximately 80 years elapse during
whi
h the te
hnique and the algorithms for the
onstru
tion of the heavenly series are developed and rened leading to the
onstru
tion of the formal stru
ture of analyti
me
hani
s. Then Poin
are was able to see
learly the new
phenomenon that marks the rst true and denitive blow
to the Greek
on
eption of motion: with a simple proof,
elebrated but somehow little known, he showed that the
algorithms that had obtained so many su
esses in the
astronomy of the 1800's were in general non
onvergent
algorithms,26.
Few did realize the depth and the revolutionary
hara
ter of Poin
are's dis
overy: among them Fermi who
tried of dedu
e with the methods of Poin
are a proof of
the ergodi
ity of the motions of Hamiltonian dynami
al
systems that are \not too spe
ial". The proof of Fermi,
very instru
tive and witty although stri
tly speaking not
on
lusive from a physi
al viewpoint, remained one of the
few attempts made in the rst sixty years of the 1900's
by theoreti
al physi
ists, to understand the importan
e
of of Poin
are's theorem.
Fermi himself, at the end of his history,
ame ba
k on
the subje
t to rea
h
on
lusions very dierent from the
ones of his youth (with the
elebrated numeri
al experiment of Fermi-Pasta-Ulam).28
And the Greek
on
eption of motion nds one of its last
(quite improbable, a priori) \advo
ates" in Landau that,
still in the 1950's, proposes it as a base of his theory of
turbulen
e in
uids.29 His
on
eption has been
riti
ized
by Ruelle and Takens (and apparently by others)30;31 on
the basis of the ideas that, at the root, went ba
k to
Poin
are.
The alternative proposed by them began modern resear
h on the theory of the development of turbulen
e
and the renewed attempts at establishing a theory of developed turbulen
e.
The attitude was quite dierent among mathemati8
odi
motion.
The answer of Kolmogorov is that if !1 ; : : : ; !n are the
n angular velo
ities of the motion of whi
h we investigate
the existen
e it will happen that for the most part of the
hoi
es of the !i there a
tually exists a quasi periodi
motion with su
h frequen
ies and its equations
an be
onstru
ted by means of a power series in ",
onvergent
for " small.33
The set of the initial data that generate quasi periodi
motions has a
omplement of measure that tends to zero
as " ! 0, in every bounded part of the phase spa
e
ontained in a region in whi
h the unperturbed motions are
already quasi periodi
.
One
annot say, therefore, whether a preassigned initial datum a
tually undergoes a quasi periodi
motion,
but one
an say that near it there are initial data that
generate quasi periodi
motions. And the
loser the
smaller " is.
By the theorem of
ontinuity of solutions of equations
of motion with respe
t to variations of initial data it follows that every motion
an be simulated, for a long time
as " ! 0, by a quasi periodi
motion.
But obviously there remains the problem:
(1) are there, really, initial data whi
h follow motions
that, in the long run, reveal themselves to be not quasi
periodi
?
(2) if yes, is it possible that in the long run the motion
of a system diers substantially from that of the (abundant) quasi periodi
motions that develop starting with
initial data near it?
The answer to these questions is armative: in many
systems motions that are not quasi periodi
do exist and
be
ome easily visible as " in
reases. Sin
e ele
troni
omputers be
ame easily a
essible it is easy for everybody to
observe personally on
omputer s
reens the very
omplex
drawings generated by su
h motions (as seen by Poin
are,
Birkho, Hopf et
., without using a
omputer).
Furthermore quasi periodi
motions although being, at
least for " small, very
ommon and almost dense in phase
spa
e probably do not
onstitute an obsta
le to the fa
t
that the not quasi periodi
motions evolve very far, in the
long run, from the points visited by the quasi periodi
motions to whi
h the initial data were
lose. This is the
phenomenon of Arnold's diusion of whi
h there exist
quite a few examples: it is a phenomenon of wide interest.
For example if diusion was possible in the solar system,
then the o
urren
e of important variations of quantities
su
h as the radii of the orbits of the planets would be
on
eivable, with obvious (dramati
)
onsequen
es on the
stability of the solar system.
In this last question the true problem is the evaluation of the time s
ale on whi
h the diusion in phase
spa
e
ould be observable. In systems simpler than the
solar system (to whi
h, stri
tly speaking, Kolmogorov's
theorem does not dire
tly apply, for some reasons that
we shall not attempt to analyze here,34 Se
. 5.10) one
3
1 2i`
ae
eae
=
2
2
= ea + aei` (1 ie sin `)
Ptolemy has the planet on an e
entri
ir
le,
entered ea
away from the Sun, whose
enter rotates at
onstant speed
around the equant point whi
h, in turn, is ea further away
from the
enter of the orbit. Hen
e if is the e
entri
anomaly (i.e. the longitudinal position of the planet on the
orbit as seen from the
enter) it is
zC
= aei` +
= ea + aei
and from Fig. (e) we see that the relation between the average anomaly ` (i.e. the longitudinal position of the planet
as seen from the equant point) is related to by
zT
sin(`
so that
10
)
= e sin `
=`
e sin ` + O(e
faithfully until the end of his work. The main one, for our
purposes, was the (vituperated or, more mildly, simply
riti
ized) law that the \speed of the motion due to the Sun
is inversely proportional to the distan
e to the Sun", see
below.
After as
ertaining that the Earth and Mars orbits lie on
planes through the Sun (rather than through the mean
Sun, as in Coperni
us and Ty
ho) he tried to \imitate the
an
ients" by assigning to Mars an orbit, on an e
entri
ir
le that I will
all the deferent, and an equant: he noted
that a very good approximation of the longitudes followed
if one abandoned Ptolemy's theory of the
enter C of the
orbit being half way between the Sun S and the equant
E . His equant was set, to save the phenomena, a little
loser to the
enter (with respe
t to the Ptolemai
equant
point) at distan
e e0 a from the
enter C of the deferent
rather than at distan
e ea. If z denotes the position with
respe
t to the
enter C in the plane of the orbit with x{axis
along the apsidal line of Mars and denotes the position
with respe
t to the Sun S (e
entri
by ea away from C )
and if denotes the position on the deferent of the planet,
alled the e
entri
anomaly, and if ! is the angular velo
ity
with respe
t to the equant point E this means (using the
omplex numbers notation of Se
. 1, Eq. 4 with x{axis
along the apsides line perihelion{aphelion)
1 2 2
3
e sin `) + O(e )
2
and we see that the longitudinal dieren
e (i.e. the differen
e of the true anomalies or longitudes from the Sun
position S ) is arg zzCT or
zT
= ea + aei` (1
ie sin `
1
e2 sin2 `
= O(e3 sin3 `)
2 e e i` + 1 ie sin `
However the dieren
e in distan
e is jzC j jzT j of the order
O( 12 e2 sin2 `) so that Coperni
us' epi
y
les are equivalent
to Ptolemy's equant within O(e3 ), or about 40 , in longitude
measurements and within O(e2 ), or about 400 in distan
e
measurements (i.e. to mat
h distan
es at quadrature, say,
one should alter by about 400 the average anomaly, whi
h
means to delay the observations by about one day sin
e
Mars period is about 2 years (provided the distan
es
ould
be measured a
urately enough, whi
h was not the
ase at
Ptolemy's time).
Before Ty
ho (relative) dieren
es of O(e2 )
ould not be
appre
iated experimentally: but their existen
e was derived from the theories, and used, by Kepler who dis
ussed
them at the beginning of his book in Ch.4, where the above
al
ulation is performed for ` = 2 , where the dis
repan
y
is maximal, see20 p. 23 (or p. 16 in the original edition).
Kepler's theory diers from both to order O(e2 ). He rst
derived a better theory for the longitudinal observations
(whi
h turned out eventually to agree with the
omplete
theory already to O(e3 )) and used it to nd the \
orre
t"
theory agreeing within O(e3 ) with the data for the distan
e measurements (that had be
ome possible, see16 , after
Coperni
us).
23
The following a
ount of the work on the se
ond Kepler's
law attempts at providing a self
ontained exposition whi
h
annot be regarded as a substitute for the series of papers in37 whi
h impressively analyses various aspe
ts of
Astronomia Nova,20 , in
luding a
lear te
hni
al analysis
of the \vi
arious hypothesis" (see37 , p. 311) and an interesting
omputer analysis of some of Kepler's
al
ulations
(see37 , p. 367). The only point on whi
h something not already
ontained in37 or in21 (where
omplementary
areful
and detailed analysis of Kepler's dis
overies are presented
and from where I derive most of what follows) is perhaps
the analysis of Kepler's 1=r for
e law.
A key point to keep in mind in this footnote is that the
resolution of the observations available to Ptolemy (and
Coperni
us) was of the order of 100 so that errors were in
the order of tens of primes: this meant that one
ould observe rst order
orre
tions in the e
entri
ity of Mars but
the se
ond order
orre
tions (of order e2 ' 10 2 or about
300 ) were barely non observable (the ensuing di
ulties in
interpreting the data earned Mars the name of inobservabile sidus, unobservable star, after Plinius). However the
observations of Ty
ho were of the order of a few primes so
that se
ond order
orre
tions were
learly observable, see3
p. 385, be
ause the third order amounts to about 30 .
Another major point to keep in mind is, as
learly stressed
in21 , that Kepler was the rst to have (perhaps sin
e Greek
times) a physi
al theory to
he
k: his language is not the
one we have be
ome a
ustomed to after Newton, but he
had very pre
ise laws in mind whi
h he kept following very
arg 1
= aei ;
=`
ar sin e0 sin ` = `
0 sin ` + O(e03 );
` = !t
1
= ea + aei ; j j = a ((" +
os )2 + sin2 ) 2 =
1
= a (1 + e2 + 2e
os ) 2
whi
h was
alled the vi
arious hypothesis, illustrated in Fig.
(k1):
P0
#
Pph
C
(k1)
Pap
11
the deferent and the epi
y
le are drawn. The a
tual orbit is
a
ir
le with the horizontal segment as a diameter
Then Kepler was assailed by the suspi
ion that the dis
repan
ies in the distan
es that he was nding were rather
due to a defe
tive theory of the Earth motion (whi
h was
needed to
onvert terrestrial observation into solar ones):
he was thus led to realize that the Earth too had an equant
and he
ould
he
k that the dis
repan
y between distan
es
theory and observations was not due to an erroneous theory
of the Earth motion: introdu
ing an equant for the Earth
did not ae
t sensibly the data for the Sun and Mars (this
meant a large amount of
he
king, a year or so).
Returning to Mars he tried to
he
k (again) his basi
hypothesis that the velo
ity was inversely proportional to the
distan
e from the Sun; he assumed that what pro
eeded
at velo
ity inversely proportional to the distan
e from the
Sun was the
enter of an epi
y
le of radius ea; the epi
y
le
enter had anomaly on a
ir
le of radius a around S and,
on it, the planet was rotating at rate _. So that the planet
was a
tually moving on a
ir
le of radius a around the e
entri
enter C with angular velo
ity _ too. The value of
_ was determined by the Kepler original law _ =
onst,
see21 p. 101. The planet equations would be:
= a (
os + i 1 e2 sin ); ` = + e sin ;
3
= ` e sin ` + O(e ); ` = !t
so we see that the vi
arious hypothesis gave an in
orre
t
distan
e Mars{Sun be
ause of the dieren
e of order O(e
e0 ) + O(e3 ) = O(e2 ), as e e0 is numeri
ally ' 5e2 (from
the data for e0 ): for instan
e the y {
oordinate was about
21
1 2
p. 46, at = 2 .
2 e higher than it should have, see
Nevertheless the vi
arious hypothesis gave very a
urate
longitudes. Therefore the hypothesis was used by Kepler
as a qui
k means to
ompute the longitudes until the very
end of his resear
h. The hypothesis was dis
arded be
ause,
after Coperni
us and Ty
ho, it had be
ome possible (see
Se
. II above) to measure distan
es from the Sun and they
were in
orre
tly predi
ted by the hypothesis be
ause the
se
ond order
orre
tions in the e
entri
ity were already
visible (in the
ase of Mars).
It is interesting to remark that a posteriori it is
lear why
the vi
arious hypothesis worked so well. The relation between the longitude #
orresponding to a theory in whi
h
the Sun is e
entri
by ea from the
enter of the orbit and
the equant is e0 a further away gives a longitude # as
z
= j j = a (1 + 2e
os + e2 ) 2
plus the dynami
al law _ =
onst: this gives both
anomaly and distan
e diering from the vi
arious hypothesis by O(e2 ): hen
e still in
ompatible with the observations
(a
tually worse than the vi
arious hypothesis whi
h at least
gave
orre
tly the longitudes).
1
(e + e0 ) sin ` + (ee0 + e2 ) sin 2` + O(e3 )
2
while the nal theory gives # in terms of the ellipse e
entri
ity e as
#
=`
5
2e sin ` + e2 sin 2` + O(e3 )
4
therefore a \non bise
ted" e
entri
ity (i.e. e 6= e0 with
0
1
and e = 45 e; e0 = 34 e) gives an agreement
2 (e + e ) = e
3
to order e ' 10 3 : this is a few primes, well out of observability. As Kepler noted Ty
ho's and his observations
gave e + e0 = 2e = 0:18564 and e = 0:11332 very
lose
to 45 e = 0; 11602, see21 p. 44. This provides an explanation of why the vi
arious hyptothesis is so a
urate for the
longitudes.
A realisti
drawing of the vi
arious hypothesis would be
illustrated by Fig. (k2):
#=`
= aei ; = ea + aei ;
P0
a
k3
Pph
Pap
S
Fig. (k3): The rst attempt to establish the law _ =
onst.
E
entri
ity (e = 0:4) is mu
h larger than the real value,
for illustration purposes. The deferent is a
ir
le of radius
a around S and the epi
y
le of radius e a is
entered at P0 ,
with anomaly with respe
t to S , the planet is in P
(k2)
Fig. (k2): Same as Fig. (k1) with e entri ity e = 0:1; only
12
1
2
1
P
(k4)
#
Pph
Pap
ea
Fig. (k5): Fabri
ius' interpretation, see3 p. 402-403, of Kepler's ellipse. The ellipse has very high e
entri
ity (e =
0:8!) to make visible the small epi
y
le. The planet is in
P and C 3 = b, C 1 = a and the
enter of the epi
yle is 2.
E
entri
anomaly re
koned at C and the angle 1 2 P is 2
ea os
3
#
Pph
(k5)
Pap
(k6)
Fig. (k4): Kepler's
onstru
tion of the ellipse. The e
entri
ity is e = 0:4 to make a
learer drawing. The planet is
in P . The segment 23 is the proje
tion on S 3 of the segment
31 and the segment SP is equal to S 3. The epi
y
le (dashed
ir
le) is no longer holding the planet but it determines its
position. The anomaly is the anomaly of the
enter of the
epi
y
le. Motion veries the law _ =
onst.
13
I know that I am mortal and the
reature of a day; but when I sear
h out the
massed wheeling
ir
les of the stars, my
feet no longer tou
h the Earth, but, side
by side with Zeus himself, I take my ll
of ambrosia, the food of Gods: (Ptolemy:
see37 ).
14
Giovanni Gallavotti
Dipartimento di Fisi
a
Universita di Roma \La Sapienza"
P.le Moro 2, 00185 Roma, Italy
email:
gallavottiroma1.infn.it
web: http://ippar
o.roma1.infn.it
A
knowledgments: I am grateful to I. Vardi for pointing out
the referen
e37 . Partial nan
ial support from IHES is gratefully a
knowledged.
REVTEX
15