Vous êtes sur la page 1sur 12

n-body problem

This article is about the problem in classical mechanics. awareness and rise of the n-body problem in the early
For the problem in quantum mechanics, see Many-body 17th century. These gravitational attractive forces do
problem. For engineering problems and simulations conform to Newtons Laws of Motion and to his Law of
involving many components, see Multibody system and Universal Gravitation, but the many multiple ( n-body)
Multibody simulation. interactions have historically made any exact solution in-
tractable. Ironically, this conformity led to the wrong ap-
proach.
In physics, the n-body problem is the problem of pre-
dicting the individual motions of a group of celestial ob- After Newtons time the n-body problem historically was
jects interacting with each other gravitationally.[1] Solv- not stated correctly because it did not include a reference
ing this problem has been motivated by the desire to un- to those gravitational interactive forces. Newton does not
derstand the motions of the Sun, Moon, planets and the say it directly but implies in his Principia the n-body prob-
visible stars. In the 20th century, understanding the dy- lem is unsolvable because of those gravitational interac-
namics of globular cluster star systems became an impor- tive forces.[9] Newton said[10] in his Principia, paragraph
tant n-body problem.[2] The n-body problem in general 21:
relativity is considerably more dicult to solve.
The classical physical problem can be informally stated And hence it is that the attractive force is
as: found in both bodies. The Sun attracts Jupiter
and the other planets, Jupiter attracts its satel-
Given the quasi-steady orbital properties (in- lites and similarly the satellites act on one an-
stantaneous position, velocity and time)[3] of a other. And although the actions of each of
group of celestial bodies, predict their interac- a pair of planets on the other can be distin-
tive forces; and consequently, predict their true guished from each other and can be considered
orbital motions for all future times.[4] as two actions by which each attracts the other,
yet inasmuch as they are between the same,
To this purpose the two-body problem has been com- two bodies they are not two but a simple op-
pletely solved and is discussed below; as is the famous eration between two termini. Two bodies can
restricted three-body Problem.[5] be drawn to each other by the contraction of
rope between them. The cause of the action is
twofold, namely the disposition of each of the
two bodies; the action is likewise twofold, in-
1 History sofar as it is upon two bodies; but insofar as it
is between two bodies it is single and one ...
Knowing three orbital positions of a planets orbit po-
sitions obtained by Sir Isaac Newton from astronomer
Newton concluded via his third law of motion that ac-
John Flamsteed[6] Newton was able to produce an equa-
tion by straightforward analytical geometry, to predict a cording to this Law all bodies must attract each other.
planets motion; i.e., to give its orbital properties: po- This last statement, which implies the existence of grav-
sition, orbital diameter, period and orbital velocity.[7] itational interactive forces, is key.
Having done so, he and others soon discovered over the As shown below, the problem also conforms to Jean Le
course of a few years, those equations of motion did not Rond D'Alembert's non-Newtonian rst and second Prin-
predict some orbits very well or even correctly.[8] New- ciples and to the nonlinear n-body problem algorithm, the
ton realized it was because gravitational interactive forces latter allowing for a closed form solution for calculating
amongst all the planets was aecting all their orbits. those interactive forces.
The above discovery goes right to the heart of the mat- The problem of nding the general solution of the n-body
ter as to what exactly the n-body problem is physically: problem was considered very important and challenging.
as Newton realized, it is not sucient to just specify the Indeed, in the late 19th century King Oscar II of Sweden,
initial position and velocity, or three orbital positions ei- advised by Gsta Mittag-Leer, established a prize for
ther, to determine a planets true orbit: the gravitational anyone who could nd the solution to the problem. The
interactive forces have to be known too. Thus came the announcement was quite specic:

1
2 2 GENERAL FORMULATION

Given a system of arbitrarily many mass where the Hamiltonian function is


points that attract each according to Newtons
law, under the assumption that no two points
ever collide, try to nd a representation of the H =T U
coordinates of each point as a series in a vari-
able that is some known function of time and and T is the kinetic energy
for all of whose values the series converges
uniformly.

n
pi
2
T = .
In case the problem could not be solved, any other im- 2mi
i=1
portant contribution to classical mechanics would then be
considered to be prizeworthy. The prize was awarded to Hamiltons equations show that the n-body problem is a
Poincar, even though he did not solve the original prob- system of 6n rst-order dierential equations, with 6n
lem. (The rst version of his contribution even contained initial conditions as 3n initial position coordinates and 3n
a serious error[11] ). The version nally printed contained initial momentum values.
many important ideas which led to the development of
Symmetries in the n-body problem yield global integrals
chaos theory. The problem as stated originally was nally
of motion that simplify the problem.[14] Translational
solved by Karl Fritiof Sundman for n = 3.
symmetry of the problem results in the center of mass

2 General formulation
n
m i qi
i=1
The n-body problem considers n point masses mi, i = 1, 2, C=
n
, n in an inertial reference frame in three dimensional mi
space 3 moving under the inuence of mutual gravita- i=1
tional attraction. Each mass mi has a position vector qi.
Newtons second law says that mass times acceleration moving with constant velocity, so that C = L0 t + C0 ,
mi d 2 qi/dt 2 is equal to the sum of the forces on the mass. where L0 is the linear momentum and C0 is the initial
Newtons law of gravity says that the gravitational force position. The constants of motion L0 and C0 represent
felt on mass mi by a single mass mj is given by[12] six integrals of the motion. Rotational symmetry results
in the total angular momentum being constant

Gmi mj (qj qi )
Fij = 3 ,
n
qj qi A= qi pi ,
i=1
where G is the gravitational constant and || qj qi || is
the magnitude of the distance between qi and qj (metric where is the cross product. The three components of
induced by the l2 norm). the total angular momentum A yield three more constants
Summing over all masses yields the n-body equations of of the motion. The last general constant of the motion is
motion: given by the conservation of energy H. Hence, every n-
body problem has ten integrals of motion.
Because T and U are homogeneous functions of degree
d 2 qi Gmi mj (qj qi )
n
U 2 and 1, respectively, the equations of motion have
mi 2 = =
dt qj qi
3 q i a scaling invariance: if qi(t) is a solution, then so is
j=1 2
j=i 3 qi(t) for any > 0.[15]
where U is the self-potential energy The moment of inertia of an n-body system is given by

Gmi mj
n
n
2
U=
qj qi
. I= m i qi qi = mi qi
1i<jn i=1 i=1

Dening the momentum to be pi = mi dqi/dt, Hamiltons and the virial is given by Q = 1/2 dI/dt. Then the
equations of motion for the n-body problem become[13] LagrangeJacobi formula states that[16]

dqi H dpi H d2 I
= = , = 2T U.
dt pi dt qi dt2
3.1 Two-body problem 3

For systems in dynamic equilibrium, the longterm time 1734. Notice for this approach forces have to be deter-
average of d2 I/dt 2 is zero. Then on average the to- mined rst, then the equation of motion resolved. This
tal kinetic energy is half the total potential energy, T dierential equation has elliptic, or parabolic or hyper-
= 1/2U, which is an example of the virial theorem for bolic solutions.[20][21][22]
gravitational systems.[17] If M is the total mass and R a It is incorrect to think of m1 (the Sun) as xed in space
characteristic size of the system (for example, the radius when applying Newtons law of universal gravitation, and
containing half the mass of the system), then the critical to do so leads to erroneous results. The xed point for
time for a system to settle down to a dynamic equilibrium two isolated gravitationally interacting bodies is their mu-
is[18]
tual barycenter, and this two-body problem can be solved
exactly, such as using Jacobi coordinates relative to the
barycenter.
GM
tcr = . Dr. Clarence Cleminshaw calculated the approximate
R3
position of the Solar Systems barycenter, a result
achieved mainly by combining only the masses of Jupiter
3 Special cases and the Sun. Science Program stated in reference to his
work:

3.1 Two-body problem The Sun contains 98 per cent of the mass
in the solar system, with the superior planets
Main article: Two-body problem beyond Mars accounting for most of the rest.
On the average, the center of the mass of the
Any discussion of planetary interactive forces has always SunJupiter system, when the two most mas-
started historically with the two-body problem. The pur- sive objects are considered alone, lies 462,000
pose of this Section is to relate the real complexity in cal- miles from the Suns center, or some 30,000
culating any planetary forces. Note in this Section also, miles above the solar surface! Other large plan-
several subjects, such as gravity, barycenter, Keplers ets also inuence the center of mass of the so-
Laws, etc.; and in the following Section too (Three-body lar system, however. In 1951, for example, the
problem) are discussed on other Wikipedia pages. Here systems center of mass was not far from the
though, these subjects are discussed from the perspective Suns center because Jupiter was on the oppo-
of the n-body problem. site side from Saturn, Uranus and Neptune. In
the late 1950s, when all four of these planets
The two-body problem (n = 2) was completely solved by were on the same side of the Sun, the systems
Johann Bernoulli (16671748) by classical theory (and center of mass was more than 330,000 miles
not by Newton) by assuming the main point-mass was from the solar surface, Dr. C. H. Cleminshaw
xed, is outlined here.[19] Consider then the motion of of Grith Observatory in Los Angeles has
two bodies, say the Sun and the Earth, with the Sun xed, calculated.[23]
then:
The Sun wobbles as it rotates around the galactic center,
dragging the Solar System and Earth along with it. What
Gm1 m2 mathematician Kepler did in arriving at his three famous
m1 a1 = 3 (r2 r1 ) SunEarth
r12 equations was curve-t the apparent motions of the plan-
Gm1 m2 ets using Tycho Brahe's data, and not curve-tting their
m2 a2 = 3 (r1 r2 ) EarthSun true circular motions about the Sun (see Figure). Both
r21
Robert Hooke and Newton were well aware that New-
The equation describing the motion of mass m2 relative to tons Law of Universal Gravitation did not hold for the
mass m1 is readily obtained from the dierences between forces associated with elliptical orbits.[10] In fact, New-
these two equations and after canceling common terms tons Universal Law does not account for the orbit of Mer-
gives: + /r3 r = 0, where cury, the asteroid belts gravitational behavior, or Saturns
rings.[24] Newton stated (in section 11 of the Principia)
r = r2 r1 is the vector position of m2 relative to that the main reason, however, for failing to predict the
m1 ; forces for elliptical orbits was that his math model was
for a body conned to a situation that hardly existed in
is the Eulerian acceleration d2 r/dt 2 ; the real world, namely, the motions of bodies attracted
toward an unmoving center. Some present physics and
= G(m1 + m2 ). astronomy textbooks do not emphasize the negative sig-
nicance of Newtons assumption and end up teaching
The equation + /r3 r = 0 is the fundamental dieren- that his math model is in eect reality. It is to be under-
tial equation for the two-body problem Bernoulli solved in stood that the classical two-body problem solution above
4 3 SPECIAL CASES

along a xed straight line. The circular restricted


three-body problem is the special case in which two
of the bodies are in circular orbits (approximated by
the SunEarthMoon system and many others).

In 1772 Lagrange discovered two classes of periodic


solution, each for three bodies of any masses. In one
class, the bodies lie on a rotating straight line. In the
other class, the bodies lie at the vertices of a rotating
equilateral triangle. In either case, the paths of the
bodies will be conic sections. Those solutions led to
the study of central congurations, for which q = kq
for some constant k > 0.

A major study of the EarthMoonSun system was


undertaken by Charles-Eugne Delaunay, who pub-
lished two volumes on the topic, each of 900 pages
in length, in 1860 and 1867. Among many other ac-
complishments, the work already hints at chaos, and
clearly demonstrates the problem of so-called "small
denominators" in perturbation theory.

In 1917 Forest Ray Moulton published his now clas-


Real motion versus Keplers apparent motion sic, An Introduction to Celestial Mechanics (see ref-
erences) with its plot of the restricted three-body
problem solution (see gure below).[28] An aside, see
is a mathematical idealization. See also Keplers rst law Meirovitchs book, pages 413414 for his restricted
of planetary motion. three-body problem solution.[29]
Some modern writers have criticized Newtons xed Sun
as emblematic of a school of reductive thoughtsee
Truesdells Essays in the History of Mechanics referenced
below. An aside: Newtonian physics doesn't include
(among other things) relative motion and may be the root
of the reason Newton "xed" the Sun.[25][26]

3.2 Three-body problem


Main article: Three-body problem

This section relates a historically important n-body prob-


lem solution after simplifying assumptions were made.
In the past not much was known about the n-body prob-
lem for n 3.[27] The case n = 3 has been the most stud-
ied. Many earlier attempts to understand the Three-body
problem were quantitative, aiming at nding explicit so-
lutions for special situations.
Motion of three particles under gravity, demonstrating chaotic
In 1687 Isaac Newton published in the Principia the behaviour
rst steps in the study of the problem of the move-
Moultons solution may be easier to visualize (and de-
ments of three bodies subject to their mutual grav-
nitely easier to solve) if one considers the more massive
itational attractions, but his eorts resulted in ver-
body (such as the Sun) to be stationary in space, and the
bal descriptions and geometrical sketches; see es-
less massive body (such as Jupiter) to orbit around it, with
pecially Book 1, Proposition 66 and its corollar-
the equilibrium points (Lagrangian points) maintaining
ies (Newton, 1687 and 1999 (transl.), see also Tis-
serand, 1894). the 60 spacing ahead of, and behind, the less massive
body almost in its orbit (although in reality neither of the
In 1767 Euler found collinear motions, in which bodies are truly stationary, as they both orbit the center
three bodies of any masses move proportionately of mass of the whole systemabout the barycenter). For
3.3 Planetary problem 5

suciently small mass ratio of the primaries, these tri- angles of which the two bodies are the rst and second
angular equilibrium points are stable, such that (nearly) vertices.
massless particles will orbit about these points as they
orbit around the larger primary (Sun). The ve equilib-
rium points of the circular problem are known as the La- 3.3 Planetary problem
grangian points. See gure below:
The planetary problem is the n-body problem in the case
that one of the masses is much larger than all the oth-
ers. A prototypical example of a planetary problem is the
SunJupiterSaturn system, where the mass of the Sun
is about 1000 times larger than the masses of Jupiter or
Saturn.[15] An approximate solution to the problem is to
decompose it into n 1 pairs of starplanet Kepler prob-
lems, treating interactions among the planets as perturba-
tions. Perturbative approximation works well as long as
there are no orbital resonances in the system, that is none
of the ratios of unperturbed Kepler frequencies is a ratio-
nal number. Resonances appear as small denominators in
the expansion.
The existence of resonances and small denominators led
to the important question of stability in the planetary
problem: do planets, in nearly circular orbits around a
star, remain in stable or bounded orbits over time?[15][30]
In 1963, Vladimir Arnold proved using KAM theory a
Restricted three-body problem kind of stability of the planetary problem: there exists
a set of positive measure of quasiperiodic orbits in the
In the restricted three-body problem math model gure case of the planetary problem restricted to the plane.[30]
above (after Moulton), the Lagrangian points L4 and L5 In the KAM theory, chaotic planetary orbits would be
are where the Trojan planetoids resided (see Lagrangian bounded by quasiperiodic KAM tori. Arnolds result was
point); m1 is the Sun and m2 is Jupiter. L2 is a point extended to a more general theorem by Fjoz and Herman
within the asteroid belt. It has to be realized for this in 2004.[31]
model, this whole Sun-Jupiter diagram is rotating about
its barycenter. The restricted three-body problem solu-
tion predicted the Trojan planetoids before they were rst
3.4 Central congurations
seen. The h-circles and closed loops echo the electromag-
A central conguration q1 (0), , qN(0) is an initial con-
netic uxes issued from the Sun and Jupiter. It is con-
guration such that if the particles were all released with
jectured, contrary to Richard H. Batins conjecture (see
zero velocity, they would all collapse toward the center
References), the two h1 are gravity sinks, in and where
of mass C.[30] Such a motion is called homothetic. Cen-
gravitational forces are zero, and the reason the Trojan
tral congurations may also give rise to homographic mo-
planetoids are trapped there. The total amount of mass
tions in which all masses moves along Keplerian trajecto-
of the planetoids is unknown.
ries (elliptical, circular, parabolic, or hyperbolic), with all
The restricted three-body problem assumes the mass of trajectories having the same eccentricity e. For elliptical
one of the bodies is negligible. For a discussion of the trajectories, e = 1 corresponds to homothetic motion and
case where the negligible body is a satellite of the body e = 0 gives a relative equilibrium motion in which the con-
of lesser mass, see Hill sphere; for binary systems, see guration remains an isometry of the initial conguration,
Roche lobe. Specic solutions to the three-body problem as if the conguration was a rigid body.[32] Central cong-
result in chaotic motion with no obvious sign of a repeti- urations have played an important role in understanding
tious path. the topology of invariant manifolds created by xing the
The restricted problem (both circular and elliptical) was rst integrals of a system.
worked on extensively by many famous mathematicians
and physicists, most notably by Poincar at the end of
the 19th century. Poincar's work on the restricted 3.5 n-body choreography
three-body problem was the foundation of deterministic
chaos theory. In the restricted problem, there exist ve Main article: n-body choreography
equilibrium points. Three are collinear with the masses
(in the rotating frame) and are unstable. The remaining Solutions in which all masses move on the same curve
two are located on the third vertex of both equilateral tri- without collisions are called choreographies.[33] A chore-
6 5 SIMULATION

ography for n = 3 was discovered by Lagrange in 1772 Lastly, Sundmans result was generalized to the case of
in which three bodies are situated at the vertices of n > 3 bodies by Qiudong Wang in the 1990s. Since the
an equilateral triangle in the rotating frame. A gure structure of singularities is more complicated, Wang had
eight choreography for n = 3 was found numerically by to leave out completely the questions of singularities. The
C. Moore in 1993 and generalized and proven by A. central point of his approach is to transform, in an appro-
Chenciner and R. Montgomery in 2000. Since then, priate manner, the equations to a new system, such that
many other choreographies have been found for n 3. the interval of existence for the solutions of this new sys-
tem is [0,).

4 Analytic approaches 4.3 Singularities of the n-body problem


For every solution of the problem, not only applying an There can be two types of singularities of the n-body
isometry or a time shift but also a reversal of time (unlike problem:
in the case of friction) gives a solution as well.
In the physical literature about the n-body problem (n collisions of two or more bodies, but for which q(t)
3), sometimes reference is made to the impossibility of (the bodies positions) remains nite. (In this mathe-
solving the n-body problem (via employing the above ap- matical sense, a collision means that two pointlike
proach). However, care must be taken when discussing bodies have identical positions in space.)
the 'impossibility' of a solution, as this refers only to the
singularities in which a collision does not occur, but
method of rst integrals (compare the theorems by Abel
q(t) does not remain nite. In this scenario, bodies
and Galois about the impossibility of solving algebraic
diverge to innity in a nite time, while at the same
equations of degree ve or higher by means of formulas
time tending towards zero separation (an imaginary
only involving roots).
collision occurs at innity).

4.1 Power series solution The latter ones are called Painlev's conjecture (no-
collisions singularities). Their existence has been con-
One way of solving the classical n-body problem is the n- jectured for n > 3 by Painlev (see Painlev conjecture).
body problem by Taylor series", which is an implementa- Examples of this behavior for n = 5 have been constructed
[34] [35]
tion of the Power series solution of dierential equations. by Xia and a heuristic model for n = 4 by Gerver.
Donald G. Saari has shown that for 4 or fewer bodies, the
We start by dening the system of dierential equations: set of initial data giving rise to singularities has measure
zero.[36]

d2 xi (t) n
mk (xk (t) xi (t))
= G 3 ,
dt2 k=1 |xk (t) xi (t)|
k=i
5 Simulation
As xi(t 0 ) and dxi(t 0 )/dt are given as initial conditions, ev- Main article: n-body simulation
ery d 2 xi(t)/dt 2 is known. Dierentiating d2 xi(t)/dt 2 re-
sults in d3 xi(t)/dt 3 which at t 0 which is also known, and
While there are analytic solutions available for the clas-
the Taylor series is constructed iteratively.
sical (i.e. nonrelativistic) two-body problem and for
selected congurations with n > 2, in general n-body
4.2 A generalized Sundman global solu- problems[18] must be solved or simulated using numerical
methods.
tion

In order to generalize Sundmans result for the case n > 3 5.1 Few bodies
(or n = 3 and c = 0) one has to face two obstacles:
For a small number of bodies, an n-body problem can
1. As it has been shown by Siegel, collisions which in- be solved using direct methods, also called particle
volve more than two bodies cannot be regularized particle methods. These methods numerically integrate
analytically, hence Sundmans regularization cannot the dierential equations of motion. Numerical integra-
be generalized. tion for this problem can be a challenge for several rea-
sons. First, the gravitational potential is singular; it goes
2. The structure of singularities is more complicated in to innity as the distance between two particles goes to
this case: other types of singularities may occur (see zero. The gravitational potential may be softened to re-
below). move the singularity at small distances:[18]
5.3 Strong gravitation 7

or multigrid techniques can further reduce the com-


plexity of the methods.
Gmi mj
U = .
1i<jn
2
qj qi + 2 P3 M and PM-tree methods are hybrid methods
that use the particle mesh approximation for distant
Second, in general for n > 2, the n-body problem is particles, but use more accurate methods for close
chaotic,[37] which means that even small errors in integra- particles (within a few grid intervals). P3 M stands
tion may grow exponentially in time. Third, a simulation for particleparticle, particlemesh and uses direct
may be over large stretches of model time (e.g. millions methods with softened potentials at close range.
of years) and numerical errors accumulate as integration PM-tree methods instead use tree codes at close
time increases. range. As with particle mesh methods, adaptive
meshes can increase computational eciency.
There are a number of techniques to reduce errors in nu-
merical integration.[18] Local coordinate systems are used Mean eld methods approximate the system of
to deal with widely diering scales in some problems, for particles with a time-dependent Boltzmann equa-
example an EarthMoon coordinate system in the con- tion representing the mass density that is coupled to
text of a solar system simulation. Variational methods a self-consistent Poisson equation representing the
and perturbation theory can yield approximate analytic potential. It is a type of smoothed-particle hydrody-
trajectories upon which the numerical integration can be namics approximation suitable for large systems.
a correction. The use of a symplectic integrator ensures
that the simulation obeys Hamiltons equations to a high
degree of accuracy and in particular that energy is con- 5.3 Strong gravitation
served.
In astrophysical systems with strong gravitational elds,
such as those near the event horizon of a black hole, n-
5.2 Many bodies body simulations must take into account general relativ-
ity; such simulations are the domain of numerical rela-
Direct methods using numerical integration require on tivity. Numerically simulating the Einstein eld equa-
[18]
the order of 1/2n2 computations to evaluate the poten- tions is extremely challenging and a parameterized
tial energy over all pairs of particles, and thus have a time post-Newtonian formalism (PPN), such as the Einstein
2
complexity of O(n ). For simulations with many parti- InfeldHomann equations, is used if possible. The two-
2
cles, the O(n ) factor makes large-scale calculations es- body problem in general relativity is analytically solvable
pecially time consuming. [18] only for the Kepler problem, in which one mass is as-
sumed to be much larger than the other.[38]
A number of approximate methods have been devel-
oped that reduce the time complexity relative to direct
methods:[18]
6 Other n-body problems
Tree code methods, such as a BarnesHut simula-
tion, are collisionless methods used when close en- Most work done on the n-body problem has been on
counters among pairs are not important and distant the gravitational problem. But there exist other systems
particle contributions do not need to be computed for which n-body mathematics and simulation techniques
to high accuracy. The potential of a distant group have proven useful.
of particles is computed using a multipole expan- In large scale electrostatics problems, such as the simu-
sion of the potential. This approximation allows for lation of proteins and cellular assemblies in structural bi-
a reduction in complexity to O(n log n). ology, the Coulomb potential has the same form as the
gravitational potential, except that charges may be posi-
Fast multipole methods take advantage of the fact tive or negative, leading to repulsive as well as attractive
that the multipole-expanded forces from distant par- forces.[39] Fast Coulomb solvers are the electrostatic coun-
ticles are similar for particles close to each other. It terpart to fast multipole method simulators. These are of-
is claimed that this further approximation reduces ten used with periodic boundary conditions on the region
the complexity to O(n).[18] simulated and Ewald summation techniques are used to
[40]
Particle mesh methods divide up simulation space speed up computations.
into a three dimensional grid onto which the mass In statistics and machine learning, some models have loss
density of the particles is interpolated. Then cal- functions of a form similar to that of the gravitational po-
culating the potential becomes a matter of solving tential: a sum of kernel functions over all pairs of objects,
a Poisson equation on the grid, which can be com- where the kernel function depends on the distance be-
puted in O(n log n) time using fast Fourier trans- tween the objects in parameter space.[41] Example prob-
form techniques. Using adaptive mesh renement lems that t into this form include all-nearest-neighbors in
8 8 NOTES

manifold learning, kernel density estimation, and kernel best only an approximate solution; and an approach now
machines. Alternative optimizations to reduce the O(n2 ) obsolete. In addition, the n-body problem may be solved
time complexity to O(n) have been developed, such as using numerical integration, but these, too, are approxi-
dual tree algorithms, that have applicability to the gravi- mate solutions; and again obsolete. See Sverre J. Aarseths
tational n-body problem as well. book Gravitational n-Body Simulations listed in the Ref-
erences.

[6] Clark, David H.; Clark, Stephen P. H. (2001). The Sup-


7 See also pressed Scientic Discoveries of Stephen Gray and John
Flamsteed, Newtons Tyranny. W. H. Freeman and Co..
A popularization of the historical events and bickering be-
Celestial mechanics
tween those parties, but more importantly about the results
Gravitational two-body problem they produced.

Jacobi integral [7] See Brewster, David (1905). Discovery of gravitation,


A.D. 1666. In Johnson, Rossiter. The Great Events by
Lunar theory Famous Historians. XII. The National Alumni. p. 51
65.
Natural units
[8] Rudolf Kurth has an extensive discussion in his book (see
Numerical model of the Solar System References) on planetary perturbations. An aside: these
mathematically undened planetary perturbations (wob-
Stability of the Solar System bles) still exist undened even today and planetary orbits
have to be constantly updated, usually yearly. See As-
tronomical Ephemeris and the American Ephemeris and
8 Notes Nautical Almanac, prepared jointly by the Nautical Al-
manac Oces of the United Kingdom and the United
States of America.
[1] Leimanis and Minorsky: Our interest is with Leimanis,
who rst discusses some history about the n-body prob- [9] See Principia, Book Three, System of the World, General
lem, especially Ms. Kovalevskayas 18681888 twenty- Scholium, page 372, last paragraph. Newton was well
year complex-variables approach, failure; Section 1: The aware his mathematical model did not reect physical re-
Dynamics of Rigid Bodies and Mathematical Exterior ality. This edition referenced is from the Great Books of
Ballistics (Chapter 1, The motion of a rigid body about the Western World, Volume 34, which was translated by
a xed point (Euler and Poisson equations)"; Chapter 2, Andrew Motte and revised by Florian Cajori. This same
Mathematical Exterior Ballistics), good precursor back- paragraph is on page 1160 in Stephen Hawkins, On the
ground to the n-body problem; Section 2: Celestial Me- Shoulders of Giants, 2002 edition; is a copy from Daniel
chanics (Chapter 1, The Uniformization of the Three- Adees 1848 addition. Cohen also has translated new edi-
body Problem (Restricted Three-body Problem)"; Chap- tions: Introduction to Newtons Principia, 1970; and Isaac
ter 2, Capture in the Three-Body Problem"; Chapter 3, Newtons Principia, with Variant Readings, 1972. Cajori
Generalized n-body Problem). also wrote History of Science, which is online.
[2] See references cited for Heggie and Hut. [10] See. I. Bernard Cohens Scientic American article.
[3] Quasi-steady loads refers to the instantaneous inertial [11] For details of the serious error in Poincares rst submis-
loads generated by instantaneous angular velocities and sion see the article by Diacu.
accelerations, as well as translational accelerations (9 vari-
ables). It is as though one took a photograph, which also [12] Meyer 2009, pp. 2728
recorded the instantaneous position and properties of mo-
tion. In contrast, a steady-state condition refers to a sys- [13] Meyer 2009, p. 28
tems state being invariant to time; otherwise, the rst
[14] Meyer 2009, pp. 2829
derivatives and all higher derivatives are zero.

[4] R. M. Rosenberg states the n-body problem similarly (see [15] Chenciner 2007
References): Each particle in a system of a nite number [16] Meyer 2009, p. 34
of particles is subjected to a Newtonian gravitational at-
traction from all the other particles, and to no other forces. [17] AST1100 Lecture Notes: 5 The virial theorem (PDF).
If the initial state of the system is given, how will the parti- University of Oslo. Retrieved 25 March 2014.
cles move? Rosenberg failed to realize, like everyone else,
that it is necessary to determine the forces rst before the [18] Trenti 2008
motions can be determined.
[19] See Bate, Mueller, and White, Chapter 1: Two-Body
[5] A general, classical solution in terms of rst integrals is Orbital Mechanics, pp 149. These authors were from
known to be impossible. An exact theoretical solution for the Department of Astronautics and Computer Science,
arbitrary n can be approximated via Taylor series, but in United States Air Force Academy.Their textbook is not
practice such an innite series must be truncated, giving at lled with advanced mathematics.
9

[20] For the classical approach, if the common center of mass [26] As Hufbauer points out, Newton miscalculated and pub-
(i.e., the barycenter) of the two bodies is considered to be lished unfortunately the wrong value for the Suns mass
at rest, then each body travels along a conic section which twice before he got it correct in his third attempt.
has a focus at the barycenter of the system. In the case of
a hyperbola it has the branch at the side of that focus. The [27] See Leimanis and Minorskys historical comments.
two conics will be in the same plane. The type of conic
(circle, ellipse, parabola or hyperbola) is determined by [28] See Moultons Restricted Three-body Problem for its ana-
nding the sum of the combined kinetic energy of two lytical and graphical solution.
bodies and the potential energy when the bodies are far
apart. (This potential energy is always a negative value; [29] See Meirovitchs book: Chapters 11: Problems in Celes-
energy of rotation of the bodies about their axes is not tial Mechanics"; 12; Problem in Spacecraft Dynamics";
counted here) and Appendix A: Dyadics.

If the sum of the energies is negative, then they both [30] Chierchia 2010
trace out ellipses.
[31] Fjoz 2004
If the sum of both energies is zero, then they both
trace out parabolas. As the distance between the
[32] See Chierchia 2010 for animations illustrating homo-
bodies tends to innity, their relative speed tends to
graphic motions.
zero.
If the sum of both energies is positive, then they [33] Celletti 2008
both trace out hyperbolas. As the distance between
the bodies tends to innity, their relative speed tends [34] Xia, Zhihong (May 1992). The Existence of Noncolli-
to some positive number. sion Singularities in Newtonian Systems. Ann. Math.,
2nd Series. 135 (3): 411468.
[21] For this approach see Lindsays Physical Mechanics,
Chapter 3: Curvilinear Motion in a Plane, and specif- [35] Gerver, Joseph L. (2003). Noncollision Singularities:
ically paragraphs 39, Planetary Motion"; pp. 8396. Do Four Bodies Suce?". Exp. Math.: 187198.
Lindsay presentation goes a long way in explaining these
latter comments for the xed two-body problem; i.e., when [36] Saari, Donald G. (1977). A global existence the-
the Sun is assumed xed. orem for the four-body problem of Newtonian me-
chanics. J. Dierential Equations. 26: 80
[22] Note: The fact a parabolic orbit has zero energy arises 111. Bibcode:1977JDE....26...80S. doi:10.1016/0022-
from the assumption the gravitational potential energy 0396(77)90100-0.
goes to zero as the bodies get innitely far apart. One
could assign any value to the potential energy in the state [37] Alligood 1996
of innite separation. That state is assumed to have zero
potential energy by convention. [38] Blanchet 2001

[23] Science Programs The Nature of the Universe states [39] Krumscheid 2010
Clarence Cleminshaw (19021985) served as Assistant
Director of Grith Observatory from 19381958 and [40] Board 1999
as Director from 19581969. Some publications by
Cleminshaw: [41] Ram 2010
Cleminshaw, C. H.: Celestial Speeds, 4 1953,
equation, Kepler, orbit, comet, Saturn, Mars, ve-
locity. 9 References
Cleminshaw, C. H.: The Coming Conjunction of
Jupiter and Saturn, 7 1960, Saturn, Jupiter, ob- Aarseth, Sverre J. (2003). Gravitational n-body Sim-
serve, conjunction.
ulations, Tools and Algorithms. Cambridge Univer-
Cleminshaw, C. H.: The Scale of The Solar Sys- sity Press.
tem, 7 1959, Solar system, scale, Jupiter, sun, size,
light. Alligood, K. T.; Sauer, T. D.; Yorke, J. A. (1996).
Chaos: An Introduction to Dynamical Systems.
[24] Brush, Stephen G., ed. (1983). Maxwell on Saturns Rings.
Springer. p. 4648.
MIT Press.

[25] For a discussion of this apparent lack of understanding by Bate, Roger R.; Mueller, Donald D.; White, Jerry
Newton, see Bronowski, Jacob; Mazlish, Bruce (1986). (1971). Fundamentals of Astrodynamics. Dover.
The Western Intellectual Tradition. Dorset Press. Also for
additional background about Newtons accomplishments Blanchet, Luc (2001). On the two-body problem in
or lack therein see Truesdells Essays in the History of Me- general relativity. Comptes Rendus de l'Acadmie
chanics. des Sciences, Series IV: Physics. 2 (9): 13431352.
10 9 REFERENCES

Board, John A., Jr.; Humphres, Christopher W.; Kurth, Rudolf (1959). Introduction to the Mechanics
Lambert, Christophe G.; Rankin, William T.; Touk- of the Solar System. Pergamon Press.
maji, Abdulnour Y. (1999). Ewald and Multipole
Leimanis, E.; Minorsky, N. (1958). Part I: Some
Methods for Periodic n-Body Problems. In Deu-
Recent Advances in the Dynamics of Rigid Bodies
hard, Peter; Hermans, Jan; Leimkuhler, Benedict;
and Celestial Mechanics (Leimanis); Part II: The
Mark, Alan E.; Reich, Sebastian; Skeel, Robert
Theory of Oscillations (Minorsky)". Dynamics and
D. Computational Molecular Dynamics: Challenges,
Nonlinear Mechanics. John Wiley & Sons.
Methods, Ideas. Berlin & Heidelberg: Springer.
p. 459471. doi:10.1007/978-3-642-58360-5_27. Lindsay, Robert Bruce (1961). Physical Mechanics
ISBN 978-3-540-63242-9. (3rd ed.). D. Van Nostrand Co.
Bronowski, Jacob; Mazlish, Bruce (1986). The Meirovitch, Leonard (1970). Methods of Analytical
Western Intellectual Tradition, from Leonardo to Dynamics. McGraw-Hill Book Co.
Hegel. Dorsey Press.
Meyer, Kenneth Ray; Hall, Glen R. (2009). Intro-
Celletti, Alessandra (2008). Computational ce- duction to Hamiltonian Dynamical Systems and the
lestial mechanics. Scholarpedia. 3 (9): 4079. n-body Problem. Springer Science & Business Me-
doi:10.4249/scholarpedia.4079. dia. ISBN 978-0-387-09724-4.

Chenciner, Alain (2007). Three body Mittag-Leer, G. (188586). The n-body problem
problem. Scholarpedia. 2 (10): 2111. (Price Announcement)". Acta Mathematica. 7.
doi:10.4249/scholarpedia.2111. Moulton, Forest Ray (1970). An Introduction to Ce-
lestial Mechanics. Dover.
Chierchia, Luigi; Mather, John N. (2010).
KolmogorovArnoldMoser Theory. Scholarpe- Newton, Isaac (1687). Philosophiae Naturalis Prin-
dia. 5 (9): 2123. Bibcode:2010SchpJ...5.2123C. cipia Mathematica. London. Also English transla-
doi:10.4249/scholarpedia.2123. tion of 3rd (1726) edition by I. Bernard Cohen and
Anne Whitman (Berkeley, CA, 1999).
Cohen, I. Bernard (March 1980). Newtons Dis-
covery of Gravity. Scientic American. 244 (3): Ram, Parikshit; Lee, Dongryeol; March, William
167179. B.; Gray, Alexander G. (2009). Linear-time Al-
gorithms for Pairwise Statistical Problems (PDF).
Cohen, I. Bernard (1985). The Birth of a New NIPS: 15271535.
Physics, Revised and Updated. W. W. Norton & Co.
Rosenberg, Reinhardt M. (1977). Chapter 19:
Diacu, F. (1996). The solution of the n-body prob- About Celestial Problems, paragraph 19.5: The
lem (PDF). The Mathematical Intelligencer. 18: n-body Problem. Analytical Dynamics, of Discrete
6670. Systems. Plenum Press. p. 364371. Like Battin
above, Rosenberg employs energy methods too, and
Fjoz, J. (2004). Dmonstration du 'thorme
to the solution of the general n-body problem but
d'Arnold' sur la stabilit du systme plantaire
doesn't actually solve anything.
(d'aprs Herman)". Ergodic Theory Dynam. Sys-
tems. 5: 15211582. Science Program (1968). The Nature of the Uni-
verse. Nelson Doubleday.
Heggie, Douglas; Hut, Piet (2003). The Gravi-
tational Million-Body Problem, A Multidisciplinary Sundman, K. F. (1912). Mmoire sur le problme
Approach to Star Cluster Dynamics. Cambridge Uni- de trois corps. Acta Mathematica. 36: 105179.
versity Press.
Tisserand, F.-F. (1894). Mcanique Cleste. III.
Heggie, Douglas C. (1991). Chaos in the n-body Paris. p. 27.
Problem of Stellar Dynamics. In Roy, A. E. Pre- Trenti, Michele; Hut, Piet (2008). n-body
dictability, Stability and Chaos in n-Body Dynamical simulations. Scholarpedia. 3 (5): 3930.
Systems. Plenum Press. doi:10.4249/scholarpedia.3930.
Hufbauer, Karl (1991). Exploring the Sun, Solar Sci- Truesdell, Cliord (1968). Essays in the History of
ence since Galileo. Johns Hopkins University Press, Mechanics. Springer-Verlag.
sponsored by the NASA History Oce.
Van Winter, Clasine (1970). The n-body problem
Krumscheid, Sebastian (2010). Benchmark of fast on a Hilbert space of analytic functions. In Gilbert,
Coulomb Solvers for open and periodic boundary Robert P.; Newton, Roger G. Analytic Methods in
conditions (Report). Technical Report FZJ-JSC-IB- Mathematical Physics. Gordon and Breach. p. 569
2010-01. Jlich Supercomputing Centre. 578.
11

Wang, Qiudong (1991). The global solu- Murray, Carl D.; Dermott, Stanley F. (2000). Solar
tion of the n-body problem. Celestial Me- System Dynamics. Cambridge University Press.
chanics and Dynamical Astronomy. 50 (1):
7388. Bibcode:1991CeMDA..50...73W. Quadling, Henley (June 1994). Gravitational n-
doi:10.1007/BF00048987. ISSN 0923-2958. Body Simulation: 16 bit DOS version. nbody*.zip
MR 1117788. Retrieved 2017-03-01. is available at http://www.ftp.cica.indiana.edu: see
external links.
Xia, Zhihong (1992). The Existence of Noncol-
Saari, D. (1990). A visit to the Newtonian n-
lision Singularities in Newtonian Systems. Ann.
body problem via Elementary Complex Variables.
Math. 135 (3): 411468. doi:10.2307/2946572.
American Mathematical Monthly. 89 (2): 105119.
JSTOR 2946572.
doi:10.2307/2323910. JSTOR 2323910.
Saari, D. G.; Hulkower, N. D. (1981). On the
10 Further reading Manifolds of Total Collapse Orbits and of Com-
pletely Parabolic Orbits for the n-Body Problem.
Journal of Dierential Equations. 41 (1): 2743.
Battin, Richard H. (1987). An Introduction to The
Bibcode:1981JDE....41...27S. doi:10.1016/0022-
Mathematics and Methods of Astrodynamics. AIAA.
0396(81)90051-6.
Employs energy methods rather than a Newtonian
approach. Szebehely, Victor (1967). Theory of Orbits. Aca-
demic Press.
Boccaletti, D.; Pucacco, G. (1998). Theory of Or-
bits. Springer-Verlag.

Brouwer, Dirk; Clemence, Gerald M. (1961). Meth- 11 External links


ods of Celestial Mechanics. Academic Press.
Three-Body Problem at Scholarpedia
Crandall, Richard E. (1996). Chapter 5: Nonlin-
ear & Complex Systems"; paragraph 5.1: n-body More detailed information on the three-body prob-
problems & chaos"". Topics in Advanced Scientic lem
Computation. Springer-Verlag. p. 215221.
Regular Keplerian motions in classical many-body
Crandall, Richard E. (1996). Chapter 2: Ex- systems
ploratory Computation"; Project 2.4.1: Classical
Applet demonstrating chaos in restricted three-body
Physics"". Projects in Scientic Computation (cor-
problem
rected 3rd ed.). Springer-Verlag. p. 9397.
Applets demonstrating many dierent three-body
Eisele, John A.; Mason, Robert M. (1970). Applied motions
Matrix and Tensor Analysis. John Wiley & Sons.
On the integration of the n-body equations
Gelman, Harry (1968). The second orthogonality
conditions in the theory of proper and improper ro- Java applet simulating Solar System
tations: Derivation of the conditions and of their Java applet simulating a ring of bodies orbiting a
main consequences. J. Res. NBS 72B (Math. Sci.). large central mass
1968 (3).
Gelman, Harry (1968). The intrinsic vector. J. Java applet simulating dust in the Solar System
Res. NBS 72B (Math. Sci.). 1968 (3).
Java applet simulating a stable solution to the equi-
Gelman, Harry (1969). The Conjugacy Theorem.
mass 3-body problem
J. Res. NBS 72B (Math. Sci.). 1969 (2).
Gelman, Harry (October 1971). A Note on the Java applet simulating choreographies and other in-
time dependence of the eective axis and angle of teresting n-body solutions
a rotation. J. Res. NBS 72B (Math. Sci.). 1971
(34). A java applet to simulate the 3D movement of set of
particles under gravitational interaction
Hagihara, Y. (1970). Celestial Mechanics. I, II pt 1,
II pt 2. MIT Press. Javascript Simulation of our Solar System
The Lagrange Points with links to the original pa-
Korenev, G. V. (1967). The Mechanics of Guided
pers of Euler and Lagrange, and to translations, with
Bodies. CRC Press.
discussion
Meriam, J. L. (1978). Engineering Mechanics. 12.
John Wiley & Sons.
12 12 TEXT AND IMAGE SOURCES, CONTRIBUTORS, AND LICENSES

12 Text and image sources, contributors, and licenses


12.1 Text
N-body problem Source: https://en.wikipedia.org/wiki/N-body_problem?oldid=772759167 Contributors: AxelBoldt, Mav, Bryan Derk-
sen, Zundark, The Anome, Gareth Owen, Khendon, PierreAbbat, Heron, Stevertigo, Nealmcb, Patrick, Michael Hardy, Georey~enwiki,
Eric119, Looxix~enwiki, Stevenj, Ideyal, Revolver, Dying, Charles Matthews, Reddi, Jitse Niesen, Doradus, Saltine, Itai, Finlay McWalter,
Jaredwf, Fredrik, MathMartin, Hadal, Wikibot, Wereon, Robinh, Xanzzibar, Cyrius, Giftlite, Gene Ward Smith, Wolfkeeper, Jacob1207,
Curps, CyborgTosser, Murison, Pascal666, Wmahan, Gugganij, Neilc, CryptoDerk, Abu badali, LucasVB, Fpahl, Beland, Urhixidur, Ma-
sudr, Pjacobi, Smyth, Paul August, Bender235, Tompw, RJHall, Pt, Wareh, Aaron D. Ball, Jpceayene, Apostrophe, Espoo, Alansohn, Jeltz,
Avenue, Joris Gillis, RJFJR, Gene Nygaard, Oleg Alexandrov, Linas, Benhocking, GregorB, Dmitry Gerasimov~enwiki, Waldir, Seven-
tyThree, Marudubshinki, Graham87, Rjwilmsi, MarSch, BlueMoonlet, Nneonneo, Bubba73, Mathbot, Gurch, Woodardj, Kri, Nsteinberg,
Chobot, Bgwhite, YurikBot, Hairy Dude, 4C~enwiki, Bjf, Zwobot, Denis Constales, Ingling, ClaesWallin, Urger48400, Tsiaojian lee, Bo
Jacoby, That Guy, From That Show!, SmackBot, Oub, InverseHypercube, K-UNIT, CrypticBacon, Septegram, Ga, Kmarinas86, Jayanta
Sen, Gutworth, Kostmo, Tamfang, Chlewbot, Mr Snrub, Somnlaut, Mistamagic28, Agradman, Ourai, EdC~enwiki, Novangelis, Freelance
Intellectual, Olaf Davis, Mattbuck, Yaris678, Stebbins, A876, WillowW, Dimacq, Michael C Price, Tewapack, Headbomb, Jauricchio,
Nisselua, Mattva01, Spartaz, Barek, Coolhandscot, MegX, Engelbaet, Swpb, David Eppstein, Gwern, David J Wilson, CommonsDelinker,
Vanderbei, Hu Totya, Hans Dunkelberg, ChrisfromHouston, Dispenser, Tarotcards, Michaelban, Sdommers~enwiki, TXiKiBoT, Jacob
Lundberg, Red Act, MusicScience, PaulTanenbaum, Suriel1981, Timothy Cooper, Paolo.dL, Mangledorf, Anchor Link Bot, JL-Bot, Kjka-
tusc, ClueBot, PixelBot, Heckledpie, Cr7i, Cuz183, Togaen, DumZiBoT, YouRang?, Terry0051, LuciferJ, Addbot, The Equilibrium,
Canrosin, Anders Sandberg, Protonk, 84user, Lightbot, Wmrwiki, Yobot, Fraggle81, AnomieBOT, ThaddeusB, Piano non troppo, Csigabi,
Citation bot, Quebec99, LilHelpa, Constructive editor, GliderMaven, Keen Commander, Lookhigh, Parvons, Tom.Reding, Double sharp,
Puzl bustr, Duoduoduo, Diannaa, Olawlor, Math+Wine, EmausBot, Tuankiet65, Dewritech, Kristian Larsen, Sk!d, Mmeijeri, Dcirovic,
ZroBot, BrokenAnchorBot, Maschen, Zfeinst, Teapeat, Llightex, Morgis, ClueBot NG, Anagogist, Chrisminter, Moneya, Ernest3.141,
Bibcode Bot, BG19bot, Camrto, Negativecharge, Northamerica1000, 155blue, Solomon7968, Jobojobocat, Andresgoens, Mogism, Ru-
drene, Mark viking, Jrmrjnck, Smirglis, Martin Ziegler, Abitslow, *thing goes, KasparBot, CanisStultus and Anonymous: 139

12.2 Images
File:Crab_Nebula.jpg Source: https://upload.wikimedia.org/wikipedia/commons/0/00/Crab_Nebula.jpg License: Public domain Con-
tributors: HubbleSite: gallery, release. Original artist: NASA, ESA, J. Hester and A. Loll (Arizona State University)
File:Edit-clear.svg Source: https://upload.wikimedia.org/wikipedia/en/f/f2/Edit-clear.svg License: Public domain Contributors: The
Tango! Desktop Project. Original artist:
The people from the Tango! project. And according to the meta-data in the le, specically: Andreas Nilsson, and Jakub Steiner (although
minimally).
File:Kipler{}s_Error.jpg Source: https://upload.wikimedia.org/wikipedia/commons/1/13/Kipler%27s_Error.jpg License: CC BY-SA
3.0 Contributors: Own work Original artist: Rudrene
File:N-body_problem_(3).gif Source: https://upload.wikimedia.org/wikipedia/commons/f/f9/N-body_problem_%283%29.gif License:
Public domain Contributors: ? Original artist: ?
File:Nuvola_apps_edu_mathematics_blue-p.svg Source: https://upload.wikimedia.org/wikipedia/commons/3/3e/Nuvola_apps_edu_
mathematics_blue-p.svg License: GPL Contributors: Derivative work from Image:Nuvola apps edu mathematics.png and Image:Nuvola
apps edu mathematics-p.svg Original artist: David Vignoni (original icon); Flamurai (SVG convertion); bayo (color)
File:Nuvola_kdict_glass.svg Source: https://upload.wikimedia.org/wikipedia/commons/1/18/Nuvola_kdict_glass.svg License: LGPL
Contributors:
Nuvola_apps_kdict.svg Original artist: Nuvola_apps_kdict.svg: *Nuvola_apps_kdict.png: user:David_Vignoni
File:Restricted_3-Body_1.jpg Source: https://upload.wikimedia.org/wikipedia/commons/9/97/Restricted_3-Body_1.jpg License: CC
BY-SA 3.0 Contributors: Own work Original artist: Rudrene
File:Stylised_Lithium_Atom.svg Source: https://upload.wikimedia.org/wikipedia/commons/6/6f/Stylised_atom_with_three_Bohr_
model_orbits_and_stylised_nucleus.svg License: CC-BY-SA-3.0 Contributors: based o of Image:Stylised Lithium Atom.png by Halfdan.
Original artist: SVG by Indolences. Recoloring and ironing out some glitches done by Rainer Klute.

12.3 Content license


Creative Commons Attribution-Share Alike 3.0

Vous aimerez peut-être aussi