Three-body problem

From Wikipedia, the free encyclopedia
Jump to: navigation, search
For the novel, see The Three-Body Problem.

Three-body problem has two distinguishable meanings in physics and classical mechanics:

  1. In its traditional sense, the three-body problem is the problem of taking an initial set of data that specifies the positions, masses and velocities of three bodies for some particular point in time and then determining the motions of the three bodies, in accordance with the laws of classical mechanics (Newton's laws of motion and of universal gravitation).
  2. In an extended modern sense, a three-body problem is a class of problems in classical or quantum mechanics that model the motion of three particles.

Historically, the first specific three-body problem to receive extended study was the one involving the Moon, the Earth and the Sun.[1]

History[edit]

The gravitational problem of three bodies in its traditional sense dates in substance from 1687, when Isaac Newton published his "Principia" (Philosophiæ Naturalis Principia Mathematica). In Proposition 66 of Book 1 of the "Principia", and its 22 Corollaries, Newton took the first steps in the definition and study of the problem of the movements of three massive bodies subject to their mutually perturbing gravitational attractions. In Propositions 25 to 35 of Book 3, Newton also took the first steps in applying his results of Proposition 66 to the lunar theory, the motion of the Moon under the gravitational influence of the Earth and the Sun.

During the second quarter of the eighteenth century, the problem of improving the accuracy of the lunar theory came to be of topical interest. The topicality arose mainly because it was perceived that the results should be applicable to navigation, that is, to the development of a method for determining geographical longitude at sea. Following Newton's work, it was appreciated that at least a major part of the problem in lunar theory consisted in evaluating the perturbing effect of the Sun on the motion of the Moon around the Earth.

Jean d'Alembert and Alexis Clairaut, who developed a longstanding rivalry, both attempted to analyze the problem in some degree of generality, and by the use of differential equations to be solved by successive approximations. They submitted their competing first analyses to the Académie Royale des Sciences in 1747.[2]

It was in connection with these researches, in Paris, in the 1740s, that the name "three-body problem" (Problème des Trois Corps) began to be commonly used. An account published in 1761 by Jean d'Alembert indicates that the name was first used in 1747.[3]

In 1887, mathematicians Ernst Bruns [4] and Henri Poincaré showed that there is no general analytical solution for the three-body problem given by algebraic expressions and integrals. The motion of three bodies is generally non-repeating, except in special cases.[5]

Examples[edit]

The circular restricted three-body problem is a valid approximation of elliptical orbits found in the Solar System, and this can be visualized as a combination of the potentials due to the gravity of the two primary bodies along with the centrifugal effect from their rotation (Coriolis effects are dynamic and not shown). The Lagrange points can then be seen as the five places where the gradient on the resultant surface is zero (shown as blue lines) indicating that the forces are in balance there.

Gravitational systems[edit]

A prominent example of the classical three-body problem is the movement of a planet with a satellite around a star. In most cases such a system can be factorized, considering the movement of the complex system (planet and satellite) around a star as a single particle; then, considering the movement of the satellite around the planet, neglecting the movement around the star. In this case, the problem is simplified to the two-body problem. However, the effect of the star on the movement of the satellite around the planet can be considered as a perturbation.

A three-body problem also arises from the situation of a spacecraft and two relevant celestial bodies, e.g. the Earth and the Moon, such as when considering a free return trajectory around the Moon, or other trans-lunar injection. While a spaceflight involving a gravity assist tends to be at least a four-body problem (spacecraft, Earth, Sun, Moon), once far away from the Earth when Earth's gravity becomes negligible, it is approximately a three-body problem.

Circular restricted three-body problem[edit]

In the circular restricted three-body problem two massive bodies move in circular orbits around their common center of mass, and the third mass is small and moves in the same plane.[6] With respect to a rotating reference frame, the two co-orbiting bodies are stationary, and the third can be stationary as well at the Lagrangian points, or orbit around them, for instance on a horseshoe orbit. It can be useful to consider the effective potential.

Constant-pattern solutions[edit]

Lagrange, tackling the general three-body problem, considered the behaviour of the distances between the bodies, without finding a general solution. But from his numerous equations he discovered two classes of constant-pattern solutions: collinear, in which one of the distances is the sum of the other two, and equiangular, in which the three distances are equal. Those classes yield what are now called L1, L2, L3, L4, and L5 respectively.

Additional solutions[edit]

In 2013, physicists Milovan Šuvakov and Veljko Dmitrašinović at the Institute of Physics in Belgrade discovered 13 new families of solutions, bringing the total number of families of repetitive motion to 16. One of the 16 families is a figure-eight pattern discovered in 1993 by physicist Cris Moore at the Santa Fe Institute.[5]

Classical versus quantum mechanics[edit]

Physicist Vladimir Krivchenkov used the three-body problem as an example, showing the simplicity of quantum mechanics in comparison to classical mechanics. The quantum three-body problem is studied in university courses of quantum mechanics.[7]

For a special case of the quantum three-body problem known as the hydrogen molecular ion, the eigenenergies are solvable analytically (see discussion in quantum mechanical version of Euler's three-body problem) in terms of a generalization of the Lambert W function.

Sundman's theorem[edit]

In 1912, the Finnish mathematician Karl Fritiof Sundman proved there existed a series solution in powers of t1/3 for the 3-body problem. This series is convergent for all real t, except initial data that correspond to zero angular momentum. However, these initial data are not generic since they have Lebesgue measure zero.

An important issue in proving this result is the fact that the radius of convergence for this series is determined by the distance to the nearest singularity. Therefore it is necessary to study the possible singularities of the 3-body problems. As it will be briefly discussed below, the only singularities in the 3-body problem are binary collisions (collisions between two particles at an instant), and triple collisions (collisions between three particles at an instant).

Now collisions, whether binary or triple (in fact any number), are somehow improbable—since it has been shown they correspond to a set of initial data of measure zero. However, there is no criterion known to be put on the initial state in order to avoid collisions for the corresponding solution. So, Sundman's strategy consisted of the following steps:

  1. Using an appropriate change of variables, to continue analytizing the solution beyond the binary collision, in a process known as regularization.
  2. Prove that triple collisions only occur when the angular momentum L vanishes. By restricting the initial data to L0 he removed all real singularities from the transformed equations for the 3-body problem.
  3. Showing that if L0, then not only can there be no triple collision, but the system is strictly bounded away from a triple collision. This implies, by using Cauchy's existence theorem for differential equations, there are no complex singularities in a strip (depending on the value of L) in the complex plane centered around the real axis (shades of Kovalevskaya).
  4. Find a conformal transformation that maps this strip into the unit disc. For example if s = t1/3 (the new variable after the regularization) and if |\mathop{\text{Ln}} \, s| \leq \beta [clarification needed] then this map is given by:
\sigma = \frac{e^{\pi s/(2\beta)} - 1}{e^{\pi s/(2\beta) }+1}\,.

This finishes the proof of Sundman's theorem. Unfortunately the corresponding convergent series converges very slowly. That is, getting the value to any useful precision requires so many terms, that his solution is of little practical use.

n-body problem[edit]

The three-body problem is a special case of the n-body problem, which describes how n objects will move under one of the physical forces, such as gravity. These problems have a global analytical solution in the form of a convergent power series, as was proven by Sundman for n = 3 and by Wang for n > 3 (see n-body problem for details). However, the Sundman and Wang series converge so slowly that they are useless for practical purposes;[8] therefore, it is currently necessary to approximate solutions by numerical analysis in the form of numerical integration or, for some cases, classical trigonometric series approximations (see n-body simulation). Atomic systems, e.g. atoms, ions, and molecules, can be treated in terms of the quantum n-body problem. Among classical physical systems, the n-body problem usually refers to a galaxy or to a cluster of galaxies; planetary systems, such as star(s), planets, and their satellites, can also be treated as n-body systems. Some applications are conveniently treated by perturbation theory, in which the system is considered as a two-body problem plus additional forces causing deviations from a hypothetical unperturbed two-body trajectory.

See also[edit]

Notes[edit]

  1. ^ "Historical Notes: Three-Body Problem". Retrieved December 2010. 
  2. ^ The 1747 memoirs of both parties can be read in the volume of Histoires (including Mémoires) of the Académie Royale des Sciences for 1745 (belatedly published in Paris in 1749) (in French):
    Clairaut: "On the System of the World, according to the principles of Universal Gravitation" (at pp. 329–364); and
    d'Alembert: "General method for determining the orbits and the movements of all the planets, taking into account their mutual actions" (at pp. 365–390).
    The peculiar dating is explained by a note printed on page 390 of the 'Memoirs' section:"Even though the preceding memoirs, of Messrs. Clairaut and d'Alembert, were only read during the course of 1747, it was judged appropriate to publish them in the volume for this year" (i.e. the volume otherwise dedicated to the proceedings of 1745, but published in 1749).
  3. ^ Jean d'Alembert, in a paper of 1761 reviewing the mathematical history of the problem, mentions that Euler had given a method for integrating a certain differential equation "in 1740 (seven years before there was question of the Problem of Three Bodies)": see d'Alembert, "Opuscules Mathématiques", vol.2, Paris 1761, Quatorzième Mémoire ("Réflexions sur le Problème des trois Corps, avec de Nouvelles Tables de la Lune ...") pp. 329–312, at sec. VI, p. 245.
  4. ^ J J O'Connor and E F Robertson (August 2006). "Bruns biography". University of St. Andrews, Scotland. Retrieved 2013-04-04. 
  5. ^ a b Jon Cartwright (8 March 2013). "Physicists Discover a Whopping 13 New Solutions to Three-Body Problem". Science Now. Retrieved 2013-04-04. 
  6. ^ Restricted Three-Body Problem, Science World.
  7. ^ Gol’dman, I. I.; Krivchenkov, V. D. (2006). Problems in Quantum Mechanics (3rd ed.). Mineola, NY: Dover Publications. ISBN 0486453227. 
  8. ^ Diacu, Florin. "The Solution of the n-body Problem*", The Mathematical Intelligencer, 1996.

References[edit]

External links[edit]