N-body problem
   HOME

TheInfoList



OR:

In
physics Physics is the natural science that studies matter, its fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge which ...
, the -body problem is the problem of predicting the individual motions of a group of
celestial object An astronomical object, celestial object, stellar object or heavenly body is a naturally occurring physical entity, association, or structure that exists in the observable universe. In astronomy, the terms ''object'' and ''body'' are often u ...
s interacting with each other
gravitation In physics, gravity () is a fundamental interaction which causes mutual attraction between all things with mass or energy. Gravity is, by far, the weakest of the four fundamental interactions, approximately 1038 times weaker than the stron ...
ally.Leimanis and Minorsky: Our interest is with Leimanis, who first discusses some history about the -body problem, especially Ms. Kovalevskaya's 1868–1888 twenty-year complex-variables approach, failure; Section 1: "The Dynamics of Rigid Bodies and Mathematical Exterior Ballistics" (Chapter 1, "The motion of a rigid body about a fixed point (Euler and Poisson equations)"; Chapter 2, "Mathematical Exterior Ballistics"), good precursor background to the -body problem; Section 2: "Celestial Mechanics" (Chapter 1, "The Uniformization of the Three-body Problem (Restricted Three-body Problem)"; Chapter 2, "Capture in the Three-Body Problem"; Chapter 3, "Generalized -body Problem"). Solving this problem has been motivated by the desire to understand the motions of the Sun,
Moon The Moon is Earth's only natural satellite. It is the fifth largest satellite in the Solar System and the largest and most massive relative to its parent planet, with a diameter about one-quarter that of Earth (comparable to the width of ...
,
planet A planet is a large, rounded astronomical body that is neither a star nor its remnant. The best available theory of planet formation is the nebular hypothesis, which posits that an interstellar cloud collapses out of a nebula to create a you ...
s, and visible
star A star is an astronomical object comprising a luminous spheroid of plasma (physics), plasma held together by its gravity. The List of nearest stars and brown dwarfs, nearest star to Earth is the Sun. Many other stars are visible to the naked ...
s. In the 20th century, understanding the dynamics of
globular cluster A globular cluster is a spheroidal conglomeration of stars. Globular clusters are bound together by gravity, with a higher concentration of stars towards their centers. They can contain anywhere from tens of thousands to many millions of membe ...
star systems became an important -body problem.See references cited for Heggie and Hut. The -body problem in
general relativity General relativity, also known as the general theory of relativity and Einstein's theory of gravity, is the geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of gravitation in modern physics ...
is considerably more difficult to solve due to additional factors like time and space distortions. The classical physical problem can be informally stated as the following: The
two-body problem In classical mechanics, the two-body problem is to predict the motion of two massive objects which are abstractly viewed as point particles. The problem assumes that the two objects interact only with one another; the only force affecting each ...
has been completely solved and is discussed below, as well as the famous ''restricted''
three-body problem In physics and classical mechanics, the three-body problem is the problem of taking the initial positions and velocities (or momenta) of three point masses and solving for their subsequent motion according to Newton's laws of motion and Newton's ...
.


History

Knowing three orbital positions of a planet's orbit – positions obtained by Sir
Isaac Newton Sir Isaac Newton (25 December 1642 – 20 March 1726/27) was an English mathematician, physicist, astronomer, alchemist, Theology, theologian, and author (described in his time as a "natural philosophy, natural philosopher"), widely ...
from astronomer
John Flamsteed John Flamsteed (19 August 1646 – 31 December 1719) was an English astronomer and the first Astronomer Royal. His main achievements were the preparation of a 3,000-star catalogue, ''Catalogus Britannicus'', and a star atlas called '' Atlas C ...
– Newton was able to produce an equation by straightforward analytical geometry, to predict a planet's motion; i.e., to give its orbital properties: position, orbital diameter, period and orbital velocity. Having done so, he and others soon discovered over the course of a few years, those equations of motion did not predict some orbits correctly or even very well. Newton realized that this was because gravitational interactive forces amongst all the planets were affecting all their orbits. The above discovery goes right to the heart of the matter as to what exactly the -body problem is physically: as Newton realized, it is not sufficient to just specify the initial position and velocity, or three orbital positions either, to determine a planet's true orbit: ''the gravitational interactive forces have to be known too''. Thus came the awareness and rise of the -body "problem" in the early 17th century. These gravitational attractive forces do conform to Newton's ''laws of motion'' and to his ''law of universal gravitation'', but the many multiple (-body) interactions have historically made any exact solution intractable. Ironically, this conformity led to the wrong approach. After Newton's time the -body problem historically was not stated correctly ''because it did not include a reference to those gravitational interactive forces''. Newton does not say it directly but implies in his '' Principia'' the -body problem is unsolvable because of those gravitational interactive forces. Newton said in his ''Principia'', paragraph 21: Newton concluded via his third law of motion that "according to this Law all bodies must attract each other." This last statement, which implies the existence of gravitational interactive forces, is key. As shown below, the problem also conforms to
Jean Le Rond D'Alembert Jean-Baptiste le Rond d'Alembert (; ; 16 November 1717 – 29 October 1783) was a French mathematician, mechanician, physicist, philosopher, and music theorist. Until 1759 he was, together with Denis Diderot, a co-editor of the '' Encyclopéd ...
's non-Newtonian first and second Principles and to the nonlinear -body problem algorithm, the latter allowing for a closed form solution for calculating those interactive forces. The problem of finding the general solution of the -body problem was considered very important and challenging. Indeed, in the late 19th century King
Oscar II of Sweden Oscar II (Oscar Fredrik; 21 January 1829 – 8 December 1907) was King of Sweden from 1872 until his death in 1907 and King of Norway from 1872 to 1905. Oscar was the son of King Oscar I and Queen Josephine. He inherited the Swedish and Norwe ...
, advised by
Gösta Mittag-Leffler Magnus Gustaf "Gösta" Mittag-Leffler (16 March 1846 – 7 July 1927) was a Swedish mathematician. His mathematical contributions are connected chiefly with the theory of functions, which today is called complex analysis. Biography Mittag-Leffl ...
, established a prize for anyone who could find the solution to the problem. The announcement was quite specific: In case the problem could not be solved, any other important contribution to classical mechanics would then be considered to be prizeworthy. The prize was awarded to Poincaré, even though he did not solve the original problem. (The first version of his contribution even contained a serious error.) The version finally printed contained many important ideas which led to the development of
chaos theory Chaos theory is an interdisciplinary area of scientific study and branch of mathematics focused on underlying patterns and deterministic laws of dynamical systems that are highly sensitive to initial conditions, and were once thought to hav ...
. The problem as stated originally was finally solved by
Karl Fritiof Sundman Karl Frithiof Sundman (28 October 1873, in Kaskinen – 28 September 1949, in Helsinki) was a Finnish mathematician who used analytic methods to prove the existence of a convergent infinite series solution to the three-body problem in two pap ...
for and generalized to by L. K. Babadzanjanz and Qiudong Wang.


General formulation

The -body problem considers point masses in an
inertial reference frame In classical physics and special relativity, an inertial frame of reference (also called inertial reference frame, inertial frame, inertial space, or Galilean reference frame) is a frame of reference that is not undergoing any acceleration. ...
in three dimensional space moving under the influence of mutual gravitational attraction. Each mass has a position vector .
Newton's second law Newton's laws of motion are three basic laws of classical mechanics that describe the relationship between the motion of an object and the forces acting on it. These laws can be paraphrased as follows: # A body remains at rest, or in mo ...
says that mass times acceleration is equal to the sum of the forces on the mass.
Newton's law of gravity Newton's law of universal gravitation is usually stated as that every particle attracts every other particle in the universe with a force that is proportional to the product of their masses and inversely proportional to the square of the dista ...
says that the gravitational force felt on mass by a single mass is given by \mathbf_ = \frac \cdot \frac = \frac, where is the
gravitational constant The gravitational constant (also known as the universal gravitational constant, the Newtonian constant of gravitation, or the Cavendish gravitational constant), denoted by the capital letter , is an empirical physical constant involved in ...
and is the magnitude of the distance between and ( metric induced by the norm). Summing over all masses yields the -body
equations of motion In physics, equations of motion are equations that describe the behavior of a physical system in terms of its motion as a function of time.''Encyclopaedia of Physics'' (second Edition), R.G. Lerner, G.L. Trigg, VHC Publishers, 1991, ISBN (V ...
: m_i \frac = \sum_^n \frac = -\frac where is the ''self-potential'' energy U = -\sum_ \frac. Defining the momentum to be , Hamilton's equations of motion for the -body problem become \frac = \frac \qquad \frac = -\frac, where the
Hamiltonian function Hamiltonian mechanics emerged in 1833 as a reformulation of Lagrangian mechanics. Introduced by Sir William Rowan Hamilton, Hamiltonian mechanics replaces (generalized) velocities \dot q^i used in Lagrangian mechanics with (generalized) ''moment ...
is H = T + U and is the
kinetic energy In physics, the kinetic energy of an object is the energy that it possesses due to its motion. It is defined as the work needed to accelerate a body of a given mass from rest to its stated velocity. Having gained this energy during its acce ...
T = \sum_^n \frac. Hamilton's equations show that the -body problem is a system of first-order
differential equation In mathematics, a differential equation is an equation that relates one or more unknown functions and their derivatives. In applications, the functions generally represent physical quantities, the derivatives represent their rates of change, ...
s, with
initial condition In mathematics and particularly in dynamic systems, an initial condition, in some contexts called a seed value, is a value of an evolving variable at some point in time designated as the initial time (typically denoted ''t'' = 0). Fo ...
s as initial position coordinates and initial momentum values. Symmetries in the -body problem yield global integrals of motion that simplify the problem.
Translational symmetry In geometry, to translate a geometric figure is to move it from one place to another without rotating it. A translation "slides" a thing by . In physics and mathematics, continuous translational symmetry is the invariance of a system of equati ...
of the problem results in the
center of mass In physics, the center of mass of a distribution of mass in space (sometimes referred to as the balance point) is the unique point where the weighted relative position of the distributed mass sums to zero. This is the point to which a force may ...
\mathbf = \frac moving with constant velocity, so that , where is the linear velocity and is the initial position. The constants of motion and represent six integrals of the motion.
Rotational symmetry Rotational symmetry, also known as radial symmetry in geometry, is the property a shape has when it looks the same after some rotation by a partial turn. An object's degree of rotational symmetry is the number of distinct orientations in which ...
results in the total
angular momentum In physics, angular momentum (rarely, moment of momentum or rotational momentum) is the rotational analog of linear momentum. It is an important physical quantity because it is a conserved quantity—the total angular momentum of a closed syst ...
being constant \mathbf = \sum_^n \mathbf_i \times \mathbf_i, where × is the
cross product In mathematics, the cross product or vector product (occasionally directed area product, to emphasize its geometric significance) is a binary operation on two vectors in a three-dimensional oriented Euclidean vector space (named here E), and ...
. The three components of the total angular momentum yield three more constants of the motion. The last general constant of the motion is given by the
conservation of energy In physics and chemistry, the law of conservation of energy states that the total energy of an isolated system remains constant; it is said to be ''conserved'' over time. This law, first proposed and tested by Émilie du Châtelet, means tha ...
. Hence, every -body problem has ten integrals of motion. Because and are
homogeneous function In mathematics, a homogeneous function is a function of several variables such that, if all its arguments are multiplied by a scalar, then its value is multiplied by some power of this scalar, called the degree of homogeneity, or simply the ''d ...
s of degree 2 and −1, respectively, the equations of motion have a scaling invariance: if is a solution, then so is for any .Chenciner 2007 The
moment of inertia The moment of inertia, otherwise known as the mass moment of inertia, angular mass, second moment of mass, or most accurately, rotational inertia, of a rigid body is a quantity that determines the torque needed for a desired angular accele ...
of an -body system is given by I = \sum_^n m_i \mathbf_i \cdot \mathbf_i = \sum_^n m_i \left\, \mathbf_i\right\, ^2 and the ''virial'' is given by . Then the ''Lagrange–Jacobi formula'' states that \frac = 2T - U. For systems in ''dynamic equilibrium'', the longterm time average of is zero. Then on average the total kinetic energy is half the total potential energy, , which is an example of the
virial theorem In mechanics, the virial theorem provides a general equation that relates the average over time of the total kinetic energy of a stable system of discrete particles, bound by potential forces, with that of the total potential energy of the system. ...
for gravitational systems. If is the total mass and a characteristic size of the system (for example, the radius containing half the mass of the system), then the critical time for a system to settle down to a dynamic equilibrium isTrenti 2008 t_\mathrm = \sqrt\frac.


Special cases


Two-body problem

Any discussion of planetary interactive forces has always started historically with the
two-body problem In classical mechanics, the two-body problem is to predict the motion of two massive objects which are abstractly viewed as point particles. The problem assumes that the two objects interact only with one another; the only force affecting each ...
. The purpose of this section is to relate the real complexity in calculating any planetary forces. Note in this Section also, several subjects, such as
gravity In physics, gravity () is a fundamental interaction which causes mutual attraction between all things with mass or energy. Gravity is, by far, the weakest of the four fundamental interactions, approximately 1038 times weaker than the stro ...
,
barycenter In astronomy, the barycenter (or barycentre; ) is the center of mass of two or more bodies that orbit one another and is the point about which the bodies orbit. A barycenter is a dynamical point, not a physical object. It is an important con ...
,
Kepler's Laws In astronomy, Kepler's laws of planetary motion, published by Johannes Kepler between 1609 and 1619, describe the orbits of planets around the Sun. The laws modified the heliocentric theory of Nicolaus Copernicus, replacing its circular orbi ...
, etc.; and in the following Section too (
Three-body problem In physics and classical mechanics, the three-body problem is the problem of taking the initial positions and velocities (or momenta) of three point masses and solving for their subsequent motion according to Newton's laws of motion and Newton's ...
) are discussed on other Wikipedia pages. Here though, these subjects are discussed from the perspective of the -body problem. The two-body problem () was completely solved by
Johann Bernoulli Johann Bernoulli (also known as Jean or John; – 1 January 1748) was a Swiss mathematician and was one of the many prominent mathematicians in the Bernoulli family. He is known for his contributions to infinitesimal calculus and educating Le ...
(1667–1748) by ''classical'' theory (and not by Newton) by assuming the main point-mass was ''fixed''; this is outlined here.See Bate, Mueller, and White, Chapter 1: "Two-Body Orbital Mechanics", pp 1–49. These authors were from the Department of Astronautics and Computer Science, United States Air Force Academy. Their textbook is not filled with advanced mathematics. Consider then the motion of two bodies, say the Sun and the Earth, with the Sun ''fixed'', then: \begin m_1 \mathbf_1 &= \frac(\mathbf_2-\mathbf_1) &&\quad\text \\ m_2 \mathbf_2 &= \frac(\mathbf_1-\mathbf_2) &&\quad\text \end The equation describing the motion of mass relative to mass is readily obtained from the differences between these two equations and after canceling common terms gives: \mathbf + \frac \mathbf = \mathbf Where * is the vector position of relative to ; * is the ''Eulerian'' acceleration ; *. The equation is the fundamental differential equation for the two-body problem Bernoulli solved in 1734. Notice for this approach forces have to be determined first, then the equation of motion resolved. This differential equation has elliptic, or parabolic or hyperbolic solutions. It is incorrect to think of (the Sun) as fixed in space when applying Newton's law of universal gravitation, and to do so leads to erroneous results. The fixed point for two isolated gravitationally interacting bodies is their mutual
barycenter In astronomy, the barycenter (or barycentre; ) is the center of mass of two or more bodies that orbit one another and is the point about which the bodies orbit. A barycenter is a dynamical point, not a physical object. It is an important con ...
, and this
two-body problem In classical mechanics, the two-body problem is to predict the motion of two massive objects which are abstractly viewed as point particles. The problem assumes that the two objects interact only with one another; the only force affecting each ...
can be solved exactly, such as using Jacobi coordinates relative to the barycenter. Dr. Clarence Cleminshaw calculated the approximate position of the Solar System's barycenter, a result achieved mainly by combining only the masses of Jupiter and the Sun. ''Science Program'' stated in reference to his work: The Sun wobbles as it rotates around the galactic center, dragging the Solar System and Earth along with it. What mathematician
Kepler Johannes Kepler (; ; 27 December 1571 – 15 November 1630) was a German astronomer, mathematician, astrologer, natural philosopher and writer on music. He is a key figure in the 17th-century Scientific Revolution, best known for his laws o ...
did in arriving at his three famous equations was curve-fit the apparent motions of the planets using
Tycho Brahe Tycho Brahe ( ; born Tyge Ottesen Brahe; generally called Tycho (14 December 154624 October 1601) was a Danish astronomer, known for his comprehensive astronomical observations, generally considered to be the most accurate of his time. He was ...
's data, and ''not'' curve-fitting their true circular motions about the Sun (see Figure). Both
Robert Hooke Robert Hooke FRS (; 18 July 16353 March 1703) was an English polymath active as a scientist, natural philosopher and architect, who is credited to be one of two scientists to discover microorganisms in 1665 using a compound microscope that ...
and Newton were well aware that Newton's ''Law of Universal Gravitation'' did not hold for the forces associated with elliptical orbits.See. I. Bernard Cohen's ''Scientific American'' article. In fact, Newton's Universal Law does not account for the orbit of Mercury, the asteroid belt's gravitational behavior, or Saturn's rings. Newton stated (in section 11 of the ''Principia'') that the main reason, however, for failing to predict the forces for elliptical orbits was that his math model was for a body confined to a situation that hardly existed in the real world, namely, the motions of bodies attracted toward an unmoving center. Some present physics and astronomy textbooks do not emphasize the negative significance of Newton's assumption and end up teaching that his mathematical model is in effect reality. It is to be understood that the classical two-body problem solution above is a mathematical idealization. See also Kepler's first law of planetary motion.


Three-body problem

This section relates a historically important -body problem solution after simplifying assumptions were made. In the past not much was known about the -body problem for . The case has been the most studied. Many earlier attempts to understand the ''Three-body problem'' were quantitative, aiming at finding explicit solutions for special situations. *In 1687,
Isaac Newton Sir Isaac Newton (25 December 1642 – 20 March 1726/27) was an English mathematician, physicist, astronomer, alchemist, Theology, theologian, and author (described in his time as a "natural philosophy, natural philosopher"), widely ...
published in the ''Principia'' the first steps in the study of the problem of the movements of three bodies subject to their mutual gravitational attractions, but his efforts resulted in verbal descriptions and geometrical sketches; see especially Book 1, Proposition 66 and its corollaries (Newton, 1687 and 1999 (transl.), see also Tisserand, 1894). *In 1767,
Euler Leonhard Euler ( , ; 15 April 170718 September 1783) was a Swiss mathematician, physicist, astronomer, geographer, logician and engineer who founded the studies of graph theory and topology and made pioneering and influential discoveries in ...
found
collinear In geometry, collinearity of a set of points is the property of their lying on a single line. A set of points with this property is said to be collinear (sometimes spelled as colinear). In greater generality, the term has been used for aligned o ...
motions, in which three bodies of any masses move proportionately along a fixed straight line. The
Euler's three-body problem In physics and astronomy, Euler's three-body problem is to solve for the motion of a particle that is acted upon by the gravitational field of two other point masses that are fixed in space. This problem is exactly solvable, and yields an approxi ...
is the special case in which two of the bodies are fixed in space (this should not be confused with the circular restricted three-body problem, in which the two massive bodies describe a circular orbit and are only fixed in a synodic reference frame). *In 1772,
Lagrange Joseph-Louis Lagrange (born Giuseppe Luigi LagrangiaCharles-Eugène Delaunay, who published two volumes on the topic, each of 900 pages in length, in 1860 and 1867. Among many other accomplishments, the work already hints at chaos, and clearly demonstrates the problem of so-called "''small denominators''" in
perturbation theory In mathematics and applied mathematics, perturbation theory comprises methods for finding an approximate solution to a problem, by starting from the exact solution of a related, simpler problem. A critical feature of the technique is a middle ...
. *In 1917, Forest Ray Moulton published his now classic, ''An Introduction to Celestial Mechanics'' (see references) with its plot of the ''restricted three-body problem'' solution (see figure below). An aside, see Meirovitch's book, pages 413–414 for his restricted three-body problem solution. Moulton's solution may be easier to visualize (and definitely easier to solve) if one considers the more massive body (such as the Sun) to be stationary in space, and the less massive body (such as
Jupiter Jupiter is the fifth planet from the Sun and the largest in the Solar System. It is a gas giant with a mass more than two and a half times that of all the other planets in the Solar System combined, but slightly less than one-thousand ...
) to orbit around it, with the equilibrium points (
Lagrangian point In celestial mechanics, the Lagrange points (; also Lagrangian points or libration points) are points of equilibrium for small-mass objects under the influence of two massive orbiting bodies. Mathematically, this involves the solution of t ...
s) maintaining the 60° spacing ahead of, and behind, the less massive body almost in its orbit (although in reality neither of the bodies are truly stationary, as they both orbit the center of mass of the whole system—about the barycenter). For sufficiently small mass ratio of the primaries, these triangular equilibrium points are stable, such that (nearly) massless particles will orbit about these points as they orbit around the larger primary (Sun). The five equilibrium points of the circular problem are known as the Lagrangian points. See figure below: In the ''restricted three-body problem'' math model figure above (after Moulton), the Lagrangian points L4 and L5 are where the
Trojan Trojan or Trojans may refer to: * Of or from the ancient city of Troy * Trojan language, the language of the historical Trojans Arts and entertainment Music * ''Les Troyens'' ('The Trojans'), an opera by Berlioz, premiered part 1863, part 189 ...
planetoids resided (see
Lagrangian point In celestial mechanics, the Lagrange points (; also Lagrangian points or libration points) are points of equilibrium for small-mass objects under the influence of two massive orbiting bodies. Mathematically, this involves the solution of t ...
); is the Sun and is Jupiter. L2 is a point within the asteroid belt. It has to be realized for this model, this whole Sun-Jupiter diagram is rotating about its barycenter. The restricted three-body problem solution predicted the Trojan planetoids before they were first seen. The -circles and closed loops echo the electromagnetic fluxes issued from the Sun and Jupiter. It is conjectured, contrary to Richard H. Batin's conjecture (see References), the two are gravity sinks, in and where gravitational forces are zero, and the reason the Trojan planetoids are trapped there. The total amount of mass of the planetoids is unknown. The restricted three-body problem that assumes the
mass Mass is an intrinsic property of a body. It was traditionally believed to be related to the quantity of matter in a physical body, until the discovery of the atom and particle physics. It was found that different atoms and different ele ...
of one of the bodies is negligible. For a discussion of the case where the negligible body is a satellite of the body of lesser mass, see
Hill sphere The Hill sphere of an astronomical body is the region in which it dominates the attraction of satellites. To be retained by a planet, a moon must have an orbit that lies within the planet's Hill sphere. That moon would, in turn, have a Hill sph ...
; for binary systems, see
Roche lobe In astronomy, the Roche lobe is the region around a star in a binary system within which orbiting material is gravitationally bound to that star. It is an approximately teardrop-shaped region bounded by a critical gravitational equipotential, ...
. Specific solutions to the three-body problem result in
chaotic Chaotic was originally a Danish trading card game. It expanded to an online game in America which then became a television program based on the game. The program was able to be seen on 4Kids TV (Fox affiliates, nationwide), Jetix, The CW4Kid ...
motion with no obvious sign of a repetitious path. The restricted problem (both circular and elliptical) was 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 three-body problem was the foundation of
deterministic Determinism is a philosophical view, where all events are determined completely by previously existing causes. Deterministic theories throughout the history of philosophy have developed from diverse and sometimes overlapping motives and cons ...
chaos theory Chaos theory is an interdisciplinary area of scientific study and branch of mathematics focused on underlying patterns and deterministic laws of dynamical systems that are highly sensitive to initial conditions, and were once thought to hav ...
. In the restricted problem, there exist five equilibrium points. Three are collinear with the masses (in the rotating frame) and are unstable. The remaining two are located on the third vertex of both equilateral triangles of which the two bodies are the first and second vertices.


Four-body problem

Inspired by the circular restricted three-body problem, the four-body problem can be greatly simplified by considering a smaller body to have a small mass compared to the other three massive bodies, which in turn are approximated to describe circular orbits. This is known as the bicircular restricted four-body problem (also known as bicircular model) and it can be traced back to 1960 in a NASA report written by Su-Shu Huang. This formulation has been highly relevant in the
astrodynamics Orbital mechanics or astrodynamics is the application of ballistics and celestial mechanics to the practical problems concerning the motion of rockets and other spacecraft. The motion of these objects is usually calculated from Newton's laws of ...
, mainly to model spacecraft trajectories in the Earth-Moon system with the addition of the gravitational attraction of the Sun. The former formulation of the bicircular restricted four-body problem can be problematic when modelling other systems than the Earth-Moon-Sun, so the formulation was generalized by Negri and Prado to expand the application range and improve the accuracy without loss of simplicity.


Planetary problem

The ''planetary problem'' is the -body problem in the case that one of the masses is much larger than all the others. A prototypical example of a planetary problem is the Sun–
Jupiter Jupiter is the fifth planet from the Sun and the largest in the Solar System. It is a gas giant with a mass more than two and a half times that of all the other planets in the Solar System combined, but slightly less than one-thousand ...
Saturn Saturn is the sixth planet from the Sun and the second-largest in the Solar System, after Jupiter. It is a gas giant with an average radius of about nine and a half times that of Earth. It has only one-eighth the average density of Earth; h ...
system, where the mass of the Sun is about 1000 times larger than the masses of Jupiter or Saturn. An approximate solution to the problem is to decompose it into pairs of star–planet
Kepler problem In classical mechanics, the Kepler problem is a special case of the two-body problem, in which the two bodies interact by a central force ''F'' that varies in strength as the inverse square of the distance ''r'' between them. The force may be ei ...
s, treating interactions among the planets as perturbations. Perturbative approximation works well as long as there are no
orbital resonance In celestial mechanics, orbital resonance occurs when orbiting bodies exert regular, periodic gravitational influence on each other, usually because their orbital periods are related by a ratio of small integers. Most commonly, this relationsh ...
s in the system, that is none of the ratios of unperturbed Kepler frequencies is a rational 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?Chierchia 2010 In 1963, Vladimir Arnold proved using
KAM theory Kaam ( Gurmukhi: ਕਾਮ ''Kāma'') in common usage, the term stands for 'excessive passion for sexual pleasure' and it is in this sense that it is considered to be an evil in Sikhism. In Sikhism it is believed that Kaam can be overcom ...
a kind of stability of the planetary problem: there exists a set of positive measure of quasiperiodic orbits in the case of the planetary problem restricted to the plane. In the KAM theory, chaotic planetary orbits would be bounded by quasiperiodic KAM tori. Arnold's result was extended to a more general theorem by Féjoz and Herman in 2004.


Central configurations

A central configuration is an initial configuration such that if the particles were all released with zero velocity, they would all collapse toward the center of mass . Such a motion is called ''homothetic''. Central configurations may also give rise to ''homographic motions'' in which all masses moves along Keplerian trajectories (elliptical, circular, parabolic, or hyperbolic), with all trajectories having the same eccentricity . For elliptical trajectories, corresponds to homothetic motion and gives a ''relative equilibrium motion'' in which the configuration remains an isometry of the initial configuration, as if the configuration was a rigid body. Central configurations have played an important role in understanding the
topology In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing ...
of
invariant manifold In dynamical systems, a branch of mathematics, an invariant manifold is a topological manifold that is invariant under the action of the dynamical system. Examples include the slow manifold, center manifold, stable manifold, unstable manifold, s ...
s created by fixing the first integrals of a system.


-body choreography

Solutions in which all masses move on the ''same'' curve without collisions are called choreographies. A choreography for was discovered by Lagrange in 1772 in which three bodies are situated at the vertices of an
equilateral triangle In geometry, an equilateral triangle is a triangle in which all three sides have the same length. In the familiar Euclidean geometry, an equilateral triangle is also equiangular; that is, all three internal angles are also congruent to each oth ...
in the rotating frame. A
figure eight Figure 8 (figure of 8 in British English) may refer to: * 8 (number), in Arabic numerals Entertainment * ''Figure 8'' (album), a 2000 album by Elliott Smith * "Figure of Eight" (song), a 1989 song by Paul McCartney * ''Figure Eight EP'', a ...
choreography for was found numerically by C. Moore in 1993 and generalized and proven by A. Chenciner and R. Montgomery in 2000. Since then, many other choreographies have been found for .


Analytic approaches

For every solution of the problem, not only applying an
isometry In mathematics, an isometry (or congruence, or congruent transformation) is a distance-preserving transformation between metric spaces, usually assumed to be bijective. The word isometry is derived from the Ancient Greek: ἴσος ''isos'' ...
or a time shift but also a reversal of time (unlike in the case of friction) gives a solution as well. In the physical literature about the -body problem (), sometimes reference is made to ''the impossibility of solving the -body problem'' (via employing the above approach). However, care must be taken when discussing the 'impossibility' of a solution, as this refers only to the method of first integrals (compare the theorems by
Abel Abel ''Hábel''; ar, هابيل, Hābīl is a Biblical figure in the Book of Genesis within Abrahamic religions. He was the younger brother of Cain, and the younger son of Adam and Eve, the first couple in Biblical history. He was a shepherd ...
and Galois about the impossibility of solving algebraic equations of degree five or higher by means of formulas only involving roots).


Power series solution

One way of solving the classical -body problem is "the -body problem by
Taylor series In mathematics, the Taylor series or Taylor expansion of a function is an infinite sum of terms that are expressed in terms of the function's derivatives at a single point. For most common functions, the function and the sum of its Taylor ser ...
". We start by defining the system of
differential equations In mathematics, a differential equation is an equation that relates one or more unknown functions and their derivatives. In applications, the functions generally represent physical quantities, the derivatives represent their rates of change, an ...
: \frac=G \sum_^n \frac, As and are given as initial conditions, every is known. Differentiating results in which at which is also known, and the Taylor series is constructed iteratively.


A generalized Sundman global solution

In order to generalize Sundman's result for the case (or and ) one has to face two obstacles: #As has been shown by Siegel, collisions which involve more than two bodies cannot be regularized analytically, hence Sundman's regularization cannot be generalized. #The structure of singularities is more complicated in this case: other types of singularities may occur (see
below Below may refer to: *Earth * Ground (disambiguation) *Soil *Floor * Bottom (disambiguation) *Less than *Temperatures below freezing *Hell or underworld People with the surname *Ernst von Below (1863–1955), German World War I general *Fred Below ...
). Lastly, Sundman's result was generalized to the case of bodies by Qiudong Wang in the 1990s. Since the structure of singularities is more complicated, Wang had to leave out completely the questions of singularities. The central point of his approach is to transform, in an appropriate manner, the equations to a new system, such that the interval of existence for the solutions of this new system is .


Singularities of the -body problem

There can be two types of singularities of the -body problem: *collisions of two or more bodies, but for which (the bodies' positions) remains finite. (In this mathematical sense, a "collision" means that two pointlike bodies have identical positions in space.) *singularities in which a collision does not occur, but does not remain finite. In this scenario, bodies diverge to infinity in a finite time, while at the same time tending towards zero separation (an imaginary collision occurs "at infinity"). The latter ones are called Painlevé's conjecture (no-collisions singularities). Their existence has been conjectured for by Painlevé (see Painlevé conjecture). Examples of this behavior for have been constructed by Xia and a heuristic model for by Gerver.
Donald G. Saari Donald Gene Saari (born March 1940) is an American mathematician, a Distinguished Professor of Mathematics and Economics and former director of the Institute for Mathematical Behavioral Sciences at the University of California, Irvine. His resear ...
has shown that for 4 or fewer bodies, the set of initial data giving rise to singularities has measure zero.


Simulation

While there are analytic solutions available for the classical (i.e. nonrelativistic) two-body problem and for selected configurations with , in general -body problems must be solved or simulated using numerical methods.


Few bodies

For a small number of bodies, an -body problem can be solved using direct methods, also called particle–particle methods. These methods numerically integrate the differential equations of motion. Numerical integration for this problem can be a challenge for several reasons. First, the
gravitational potential In classical mechanics, the gravitational potential at a location is equal to the work (energy transferred) per unit mass that would be needed to move an object to that location from a fixed reference location. It is analogous to the electric ...
is singular; it goes to infinity as the distance between two particles goes to zero. The gravitational potential may be ''softened'' to remove the singularity at small distances: U_\varepsilon = \sum_ \frac Second, in general for , the -body problem is
chaotic Chaotic was originally a Danish trading card game. It expanded to an online game in America which then became a television program based on the game. The program was able to be seen on 4Kids TV (Fox affiliates, nationwide), Jetix, The CW4Kid ...
, which means that even small errors in integration may grow exponentially in time. Third, a simulation may be over large stretches of model time (e.g. millions of years) and numerical errors accumulate as integration time increases. There are a number of techniques to reduce errors in numerical integration. Local coordinate systems are used to deal with widely differing scales in some problems, for example an Earth–Moon coordinate system in the context of a solar system simulation. Variational methods and perturbation theory can yield approximate analytic trajectories upon which the numerical integration can be a correction. The use of a symplectic integrator ensures that the simulation obeys Hamilton's equations to a high degree of accuracy and in particular that energy is conserved.


Many bodies

Direct methods using numerical integration require on the order of computations to evaluate the potential energy over all pairs of particles, and thus have a
time complexity In computer science, the time complexity is the computational complexity that describes the amount of computer time it takes to run an algorithm. Time complexity is commonly estimated by counting the number of elementary operations performed by t ...
of . For simulations with many particles, the factor makes large-scale calculations especially time consuming. A number of approximate methods have been developed that reduce the time complexity relative to direct methods: * Tree code methods, such as a
Barnes–Hut simulation The Barnes–Hut simulation (named after Josh Barnes and Piet Hut) is an approximation algorithm for performing an ''n''-body simulation. It is notable for having order O(''n'' log ''n'') compared to a direct-sum algorithm which would b ...
, are spatially-hierarchical methods used when distant particle contributions do not need to be computed to high accuracy. The potential of a distant group of particles is computed using a
multipole expansion A multipole expansion is a mathematical series representing a function that depends on angles—usually the two angles used in the spherical coordinate system (the polar and azimuthal angles) for three-dimensional Euclidean space, \R^3. Similar ...
or other approximation of the potential. This allows for a reduction in complexity to . * Fast multipole methods take advantage of the fact that the multipole-expanded forces from distant particles are similar for particles close to each other, and uses local expansions of far-field forces to reduce computational effort. It is claimed that this further approximation reduces the complexity to . * Particle mesh methods divide up simulation space into a three dimensional grid onto which the mass density of the particles is interpolated. Then calculating the potential becomes a matter of solving a
Poisson equation Poisson's equation is an elliptic partial differential equation of broad utility in theoretical physics. For example, the solution to Poisson's equation is the potential field caused by a given electric charge or mass density distribution; with ...
on the grid, which can be computed in time using
fast Fourier transform A fast Fourier transform (FFT) is an algorithm that computes the discrete Fourier transform (DFT) of a sequence, or its inverse (IDFT). Fourier analysis converts a signal from its original domain (often time or space) to a representation in ...
or time using multigrid techniques. This can provide fast solutions at the cost of higher error for short-range forces.
Adaptive mesh refinement In numerical analysis, adaptive mesh refinement (AMR) is a method of adapting the accuracy of a solution within certain sensitive or turbulent regions of simulation, dynamically and during the time the solution is being calculated. When solutions ...
can be used to increase accuracy in regions with large numbers of particles. * P3M and PM-tree methods are hybrid methods that use the particle mesh approximation for distant particles, but use more accurate methods for close particles (within a few grid intervals). P3M stands for ''particle–particle, particle–mesh'' and uses direct methods with softened potentials at close range. PM-tree methods instead use tree codes at close range. As with particle mesh methods, adaptive meshes can increase computational efficiency. *
Mean field In physics and probability theory, Mean-field theory (MFT) or Self-consistent field theory studies the behavior of high-dimensional random (stochastic) models by studying a simpler model that approximates the original by averaging over degrees of ...
methods approximate the system of particles with a time-dependent Boltzmann equation representing the mass density that is coupled to a self-consistent Poisson equation representing the potential. It is a type of
smoothed-particle hydrodynamics Smoothed-particle hydrodynamics (SPH) is a computational method used for simulating the mechanics of continuum media, such as solid mechanics and fluid flows. It was developed by Gingold and Monaghan and Lucy in 1977, initially for astrophysica ...
approximation suitable for large systems.


Strong gravitation

In astrophysical systems with strong gravitational fields, such as those near the
event horizon In astrophysics, an event horizon is a boundary beyond which events cannot affect an observer. Wolfgang Rindler coined the term in the 1950s. In 1784, John Michell proposed that gravity can be strong enough in the vicinity of massive compact ob ...
of a
black hole A black hole is a region of spacetime where gravity is so strong that nothing, including light or other electromagnetic waves, has enough energy to escape it. The theory of general relativity predicts that a sufficiently compact mass can def ...
, -body simulations must take into account
general relativity General relativity, also known as the general theory of relativity and Einstein's theory of gravity, is the geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of gravitation in modern physics ...
; such simulations are the domain of
numerical relativity Numerical relativity is one of the branches of general relativity that uses numerical methods and algorithms to solve and analyze problems. To this end, supercomputers are often employed to study black holes, gravitational waves, neutron stars a ...
. Numerically simulating the
Einstein field equations In the general theory of relativity, the Einstein field equations (EFE; also known as Einstein's equations) relate the geometry of spacetime to the distribution of matter within it. The equations were published by Einstein in 1915 in the form ...
is extremely challenging and a
parameterized post-Newtonian formalism In physics, precisely in the study of the theory of general relativity and many alternatives to it, the post-Newtonian formalism is a calculational tool that expresses Einstein's (nonlinear) equations of gravity in terms of the lowest-order devi ...
(PPN), such as the
Einstein–Infeld–Hoffmann equations The Einstein–Infeld–Hoffmann equations of motion, jointly derived by Albert Einstein, Leopold Infeld and Banesh Hoffmann, are the differential equations describing the approximate dynamics of a system of point-like masses due to their mutua ...
, is used if possible. The
two-body problem in general relativity The two-body problem in general relativity is the determination of the motion and gravitational field of two bodies as described by the field equations of general relativity. Solving the Kepler problem is essential to calculate the bending of lig ...
is analytically solvable only for the Kepler problem, in which one mass is assumed to be much larger than the other.


Other -body problems

Most work done on the -body problem has been on the gravitational problem. But there exist other systems for which -body mathematics and simulation techniques have proven useful. In large scale
electrostatics Electrostatics is a branch of physics that studies electric charges at rest ( static electricity). Since classical times, it has been known that some materials, such as amber, attract lightweight particles after rubbing. The Greek word for a ...
problems, such as the simulation of
protein Proteins are large biomolecules and macromolecules that comprise one or more long chains of amino acid residues. Proteins perform a vast array of functions within organisms, including catalysing metabolic reactions, DNA replication, res ...
s and cellular assemblies in
structural biology Structural biology is a field that is many centuries old which, and as defined by the Journal of Structural Biology, deals with structural analysis of living material (formed, composed of, and/or maintained and refined by living cells) at every le ...
, the
Coulomb potential The electric potential (also called the ''electric field potential'', potential drop, the electrostatic potential) is defined as the amount of work energy needed to move a unit of electric charge from a reference point to the specific point in ...
has the same form as the gravitational potential, except that charges may be positive or negative, leading to repulsive as well as attractive forces. ''Fast Coulomb solvers'' are the electrostatic counterpart to fast multipole method simulators. These are often used with
periodic boundary conditions Periodic boundary conditions (PBCs) are a set of boundary conditions which are often chosen for approximating a large (infinite) system by using a small part called a ''unit cell''. PBCs are often used in computer simulations and mathematical mod ...
on the region simulated and Ewald summation techniques are used to speed up computations. In
statistics Statistics (from German: '' Statistik'', "description of a state, a country") is the discipline that concerns the collection, organization, analysis, interpretation, and presentation of data. In applying statistics to a scientific, indust ...
and
machine learning Machine learning (ML) is a field of inquiry devoted to understanding and building methods that 'learn', that is, methods that leverage data to improve performance on some set of tasks. It is seen as a part of artificial intelligence. Machine ...
, some models have
loss function In mathematical optimization and decision theory, a loss function or cost function (sometimes also called an error function) is a function that maps an event or values of one or more variables onto a real number intuitively representing some "cos ...
s of a form similar to that of the gravitational potential: a sum of kernel functions over all pairs of objects, where the kernel function depends on the distance between the objects in parameter space. Example problems that fit into this form include all-nearest-neighbors in
manifold learning Nonlinear dimensionality reduction, also known as manifold learning, refers to various related techniques that aim to project high-dimensional data onto lower-dimensional latent manifolds, with the goal of either visualizing the data in the low- ...
,
kernel density estimation In statistics, kernel density estimation (KDE) is the application of kernel smoothing for probability density estimation, i.e., a non-parametric method to estimate the probability density function of a random variable based on '' kernels'' as ...
, and kernel machines. Alternative optimizations to reduce the time complexity to have been developed, such as ''dual tree'' algorithms, that have applicability to the gravitational -body problem as well. A technique in
Computational fluid dynamics Computational fluid dynamics (CFD) is a branch of fluid mechanics that uses numerical analysis and data structures to analyze and solve problems that involve fluid flows. Computers are used to perform the calculations required to simulate ...
called Vortex Methods sees the
vorticity In continuum mechanics, vorticity is a pseudovector field that describes the local spinning motion of a continuum near some point (the tendency of something to rotate), as would be seen by an observer located at that point and traveling along wi ...
in a fluid domain discretized onto particles which are then advected with the velocity at their centers. Because the fluid velocity and vorticity are related via a
Poisson's equation Poisson's equation is an elliptic partial differential equation of broad utility in theoretical physics. For example, the solution to Poisson's equation is the potential field caused by a given electric charge or mass density distribution; with ...
, the velocity can be solved in the same manner as gravitation and electrostatics: as an -body summation over all vorticity-containing particles. The summation uses the Biot-Savart law, with vorticity taking the place of electrical current. In the context of particle-laden turbulent multiphase flows, determining an overall disturbance field generated by all particles is an -body problem. If the particles translating within the flow are much smaller than the flow's Kolmogorov scale, their linear Stokes disturbance fields can be superposed, yielding a system of 3 equations for 3 components of disturbance velocities at the location of particles.


See also

*
Celestial mechanics Celestial mechanics is the branch of astronomy that deals with the motions of objects in outer space. Historically, celestial mechanics applies principles of physics (classical mechanics) to astronomical objects, such as stars and planets, ...
* Gravitational two-body problem *
Jacobi integral In celestial mechanics, Jacobi's integral (also known as the Jacobi integral or Jacobi constant) is the only known conserved quantity for the circular restricted three-body problem.Lunar theory Lunar theory attempts to account for the motions of the Moon. There are many small variations (or perturbations) in the Moon's motion, and many attempts have been made to account for them. After centuries of being problematic, lunar motion can now ...
*
Natural units In physics, natural units are physical units of measurement in which only universal physical constants are used as defining constants, such that each of these constants acts as a coherent unit of a quantity. For example, the elementary charge ma ...
* Numerical model of the Solar System * Stability of the Solar System * Few-body systems *
N-body simulation In physics and astronomy, an ''N''-body simulation is a simulation of a dynamical system of particles, usually under the influence of physical forces, such as gravity (see ''n''-body problem for other applications). ''N''-body simulations a ...
, a method for numerically obtaining trajectories of bodies in an N-body system.


Notes


References

* * * * * * * * * * * * * * * * * * * * * * * * * Also English translation of 3rd (1726) edition by I. Bernard Cohen and Anne Whitman (Berkeley, CA, 1999). . * * * * * * * * * *


Further reading

* Employs energy methods rather than a Newtonian approach. * * * * * *


* * * * * nbody*.zip is available at https://web.archive.org/web/19990221123102/http://ftp.cica.indiana.edu/: see external links. * * *


External links


Three-Body Problem
at
Scholarpedia ''Scholarpedia'' is an English-language wiki-based online encyclopedia with features commonly associated with open-access online academic journals, which aims to have quality content in science and medicine. ''Scholarpedia'' articles are writ ...

More detailed information on the three-body problemRegular Keplerian motions in classical many-body systemsApplet demonstrating chaos in restricted three-body problem


* ttps://web.archive.org/web/20090108060338/http://www.telefonica.net/web2/canrosin/index.htm A java applet to simulate the 3D movement of set of particles under gravitational interactionbr>Javascript Simulation of our Solar System
– with links to the original papers of Euler and Lagrange, and to translations, with discussion


Parallel GPU N-body simulation program with fast stackless particles tree traversal
{{DEFAULTSORT:N-Body Problem Gravity Orbits Classical mechanics Computational problems Computational physics