For any pairwise potential interaction, consider masses placed at the vertices of a regular n-gon. Curiously enough there is a frequency of rotation that always leads to a solution to the equations of motion. The gravitational three-body version was first solved by Lagrange, and the appellation “choreography” indicates that the masses follow one another equally spaced along the orbit.

The Lagrangian for a planar n-body problem is

$L=m2 ∑i (x· i2 +y· i2) -∑pairs f(r ij) rij =(xi -xj)2 +(yi -yj)2$

with the corresponding equations of motion

$mx ··i =−∑ j≠i xi -xj rij f′(r ij) my ··i =−∑ j≠i yi -yj rij f′(r ij)$

A rotating regular n-gon of radius a has vertices at the coordinates

$xi =acos(ωt +φi) yi =asin(ωt +φi) φi =2πni , i=1,…,n$

and sides of length $l=2asin( πn)$ . The squares of the separations between vertices are easily evaluated from the coordinates of the vertices,

$rij2 =2a[1 -cos(φi -φj)]$

and are constant as expected. Inserting the coordinates of the vertices into the equations of motion and equating coefficients leads to the two apparently different conditions

$mω2 cosφi =∑ j≠i cosφi -cosφj rij f′(r ij) mω2 sinφi =∑ j≠i sinφi -sinφj rij f′(r ij)$

which are seen to be equivalent when all angles are shifted by $π2$ . Taking $i=n$ in the first form for convenience, the square of the frequency of rotation that produces a solution to the equations of motion is

$ω2 =12ma ∑j=1 n-1 rij f′(r ij)$

Given the symmetry of the vertices, this can also be written

$ω2 =1ma ∑j=1 int(n-1 2) rij f′(r ij) +δ(n even) f′ (2a)m$

And now the fun begins! Consider an attractive power potential with arbitrary exponent

$f(r) =(sgnp) krp$

where the signum function ensures the potential is attractive for negative exponents. The square of the frequency that produces a solution to the equations of motion is

$ω2 =(sgnp) kp 2ma ∑j=1 n-1 rijp$

Note that the signum function keeps the frequency real. Let $k=m=1$ for convenience, since the dependence on these variables is trivial. The frequency as a function of remaining parameters behaves like this:

The behavior is strikingly similar over a wide range of powers. Interestingly, for positive exponents greater than about five, the frequency for two bodies surpasses that for three bodies. The three-body solution is in this context more stable in some sense in this region than the two-body solution.

As the exponent approaches minus two, the frequency appears to approach a straight line. For exponents less than this the arrangement of frequencies curiously changes from convex to concave. It should be noted that exponents in this regime correspond to unstable circular orbits. Presumably that instability carries over to these choreographies.

Another way to look at the behavior is as a function of the exponent:

Whether the frequency curve increases more rapidly for positive or negative exponents depends on whether the radius of the n-gon is greater or less than about one, along with significant contribution from the number of bodies.

Keep in mind that the interaction coefficient k was set equal to one merely for convenience. It is still a free parameter in the system, along with the mass, both of which can be adjusted to make the evolution of the system occur more or less rapidly.

Consideration of additional potential forms is left for a future possible addition. The existence of a general solution is clear enough, and that is the main point of this presentation.

As pointed out in a previous presentation, since the distances between bodies are constant the potential for this system is identically constant regardless of the particular potential chosen. In this system the centrifugal tendencies of the bodies balance the gravitational attractions for uniform circular motion in a constant potential.

Uploaded 2022.09.10 — Updated 2022.09.12 analyticphysics.com