Abstract
We study the co-circular central configurations of the n-body problem for which the center of mass and the center of the common circle coincide. In particular, we prove that there are no central configurations of this type with all the masses equal except one. This provides more evidences for the veracity of the conjecture that the regular n-gon with equal masses is the unique co-circular central configuration of the n-body problem whose center of mass is the center of the circle. Our result remains valid if we consider power-law potentials.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A configuration of the Newtonian n-body problem is central if the acceleration vector of each body is a common scalar multiple of its position vector (with respect to the center of mass); i.e. if there exists \(\lambda \) independent of i such that
where \(\mathbf {q}_i\) is the position of the mass \(m_i\) and \( \mathbf {c}=\sum _{i=1}^n m_i \mathbf {q}_i/\sum _{i=1}^n m_i \) is the center of mass of the system; or equivalently, if there exists \(\lambda \) such that
Equations (1) can be written as
where
is the Newtonian potential and
is one half the moment of inertia of the system.
Central configurations play an important role in the study of the n-body problem. They provide the unique solutions of the n-body problem for \(n\geqslant 3\) that are known explicitly, the homographic solutions for which the configuration formed by the bodies remains similar to itself for any time; every motion starting or ending in a total collision and every parabolic scape to infinity is asymptotic to a central configuration (see for instance [5, 29]); the bifurcations in the topology of the level sets with constant energy and angular momentum are related with central configurations (see for instance [22, 30]).
The equations for central configurations (1) are invariant under homotheties and rotations with respect to the center of mass. Thus we consider classes of central configurations module such transformations.
The study of central configurations goes back to Euler and Lagrange in the second part of the eighteenth century. In 1767 Euler [12] found the three collinear central configurations of the 3-body problem and 5 years later Lagrange [19] found the two equilateral triangle central configurations. These five are the only classes of central configurations of the 3-body problem, see [32]. The set of central configurations of the n-body problem with \(n>3\) for an arbitrary given set of the masses is not completely known. Over the years many authors have found several partial results on central configurations of the n-body problem with \(n>3\), see for instance [14, 22, 23, 28, 32] for a general background. The difficulty of the problem of finding central configurations of the general n-body problem forces us to consider some simplifications by imposing restrictions, usually on the masses or the geometry of the configuration. The most common simplifications are to take some equal masses or some infinitesimal masses and to impose symmetries or a fixed shape on the configuration, see for instance [1, 3, 8,9,10, 16, 20, 27, 33] and the reference therein.
One of the main open questions is about the finiteness of the number of central configurations in the plane for fixed positive masses. It was proposed by Wintner [32] and it the sixth problem of the list of eighteen problems of the twenty-first century by Smale [31]. It is also collected as Problem 9 in the list of open problems in celestial mechanics compiled by Albouy, Cabral and Santos [2]. The exact number of central configurations of the n-body for a given set of masses is only known for \(n=3\) (there are have five classes of central configurations, the ones found by Euler and Lagrange) and for the collinear central configurations (Moulton [24] proved that there are n! / 2 classes of collinear central configurations). A lower bound of the number of classes of planar central configurations can be found in [26]. Recently Hampton and Moeckel [18] and Albouy and Kaloshin [4] proved the finiteness of the number of classes of central configurations for \(n=4\) for any choice of the masses and Albouy and Kaloshin [4] the finiteness of the number of classes of central configurations for \(n=5\) for almost any choice of the masses.
In this paper we deal with another of the important open questions related with central configurations, collected also in [2] as Problem 12 and proposed first by Chencienr in 2004 [7]. The question is
Is there any central configuration of then-body problem, different from then-gon with equal masses, with all the masses lying on a common circle with origin at its center of mass?
This question arose while Chenciner studied a particular kind of solutions of the n-body problem, called choreographies, in which all the bodies move on a common path. The n-gon with equal masses is the simplest choreography of the n-body problem, for more examples of choreographies see for instance [6, 13, 25].
It is easy to show than the open question proposed by Chenciner has positive answer for \(n=3\). Hampton in [15] proved that the question has positive answer for \(n=4\). For \(n=5\) the problem has been studied in [21]. Many other authors have been interested in proving the positive answer of the question for \(n>5\). For the planar n-vortex problem, Cors et al. [11] proved that the regular n-gon with equal-strength circulations is the only co-circular central configuration whose center of vorticity is located at the center of the circle containing the vortices. But only few partial results have been found for the Newtonian n-body problem. Next we give the most important ones. In what follows the central configurations with n masses lying on a common circle having the center of mass at the center of the circle will be called, as in [17], centered co-circular central configurations.
Cors et al. in [11] proved the following result for the family of power-law potentials of the form
Notice that \(\alpha =1\) corresponds to the Newtonian potential (2).
Theorem 1
For any \(\alpha >0\) and given a set of positive masses, for each ordering of the bodies on the unit circle, there exist a unique centered co-circular central configuration.
As a corollary of Theorem 1 (see again [11]), if all the masses are equal then for any \(\alpha >0\) the regular n-gon is the only centered co-circular central configuration.
Hampton in [17] proved that the regular n-gon with equal masses is isolated among the set of centered co-circular central configurations of the Newtonian n-body problem (i.e. \(\alpha =1\)); in other words, small perturbations of the masses and of the positions of the regular n-gon with equal masses does not provide centered co-circular central configurations. He also proved that there are no centered co-circular central configurations of the \(n+1\)-body problem formed by n equal masses on a regular n-gon plus one infinitesimal mass.
In this paper we give more evidences than the question proposed by Chenciner has positive answer for all n. In particular we go a step further than Hampton and we prove that there are no centered co-circular central configurations with \(n-1\) equal masses and an arbitrary non equal mass, not necessarily small. We extend the result to general power-law potentials, and we get the following result.
Theorem 2
For any \(\alpha >0\), there are no centered co-circular central configurations of the n-body problem with power law potentials (3) having all the masses equal except one.
The paper is structured as follows. In Sect. 2 we give the equations of the centered co-circular central configurations. In Sect. 3 we give the proof of Theorem 2.
2 Equations for the Centered Co-circular Central Configurations
In this paper we will use the equations derived in [11], which are summarized in the following result.
Theorem 3
Let
and let \(\mathbf {q}=(\mathbf {q}_1,\ldots ,\mathbf {q}_n)\) with \(\mathbf {q}_i=(\cos \theta _i,\sin \theta _i)\) and \(\theta _i\in [0,2\pi )\) for \(i=1,\ldots ,n\) be a centered co-circular central configuration with masses \(m_1,\ldots , m_n\). Then there exists \(\lambda \in \mathbb {R}\) such that the angles \(\theta _i\) and the masses \(m_i\) satisfy the 2n equations
where
Let \( \varvec{\theta }=(\theta _1,\ldots ,\theta _n) \quad \text {and} \quad \mathbf {m}=(m_1,\ldots ,m_n). \) We consider the function
It is easy to check that Eqs. (4) and (5) are equivalent, respectively, to the vectorial equations
Therefore the centered co-circular central configurations are solutions of (6).
Our aim is to analyze the solutions with all the masses equal except one. Without loss of generality we can take the unit of mass such that all the equal masses be equal to 1. Due to the invariance of central configurations under rotations, we can assume that the different mass is \(m_1\) and that \(\theta _1=0\). It is not restrictive to assume that the bodies are arranged so that
this corresponds to ordering the masses \((m_1,\ldots ,m_n)\) counterclockwise around the circle.
We define \(\tilde{\varOmega }=\{\varvec{\tilde{\theta }}\in [0,2\pi )^{n-1}\,:\, 0<\theta _2<\cdots<\theta _n<2\pi \}\) and \(\tilde{F}:\tilde{\varOmega }\times \mathbb {R}\times \mathbb {R}\longrightarrow \mathbb {R}\) where
and we consider the system of equations
We observe that a solution of the centered co-circular central configurations, that is, of \(\nabla _{\varvec{\theta }} F=0\) and \(\nabla _\mathbf {m}F=0\) with \(\theta _1=0\) and \(m_j=1\) for \(j=2,\ldots ,n\) if it exists, must in particular satisfy (7).
3 Proof of Theorem 2
We start giving some preliminary results that will be useful in the proof of our main result.
Lemma 1
The solutions of system (6) satisfy \(F(\varvec{\theta },\mathbf {m},\lambda /2)=0\).
Proof
By simple algebra it can be shown that
so the solutions of \(\nabla _\mathbf {m}F=0\) are zeroes of \(F(\varvec{\theta },\mathbf {m},\lambda /2)\). \(\square \)
Lemma 2
Assume that \(\varvec{\tilde{\theta }}=(\theta _2,\ldots , \theta _n)\) for \(i=2,\ldots ,n\) is a solution of \(\partial \tilde{F}/\partial \theta _j=0\) for \(j=2,\ldots ,n\). Then \(\theta _j=\theta _j(m_1)\) is an analytic function of the variable \(m_1\) for \(j=2,\ldots ,n\). Moreover, we have
where \(A=(a_{ij})_{2 \le i,j \le n}\) with
Proof
The theorem follows readily from the implicit function theorem together with the fact that the Hessian matrix \(A=(a_{ij})_{2 \le i,j \le n}\) given in (9) coincides with the Hessian matrix of \(V_\alpha \) with respect to the variables \(\theta _j\) for \(j=2,\ldots ,n\) with \(\theta _1=0\) and so \(\det A \ne 0\) (it was proved by Cors et al. in [11] that if \(\theta _1=0\), then \(\mathbf {u}^T A \mathbf {u}> 0\) for all \(\mathbf {u} \ne 0\)). \(\square \)
Note that the solutions \(\theta _j=\theta _j(m_1)\) for \(j=2,\ldots ,n\) given by Lemma 2 do not depend on \(\lambda \) and that we can rewrite (8) as
Proof of Theorem 2
Assume that \(\varvec{\tilde{\theta }}=(\theta _2(m_1),\ldots ,\theta _n(m_1))\) is the unique solution of \(\nabla _{\theta _i} \tilde{F}=0\) for \(i=2,\ldots ,n\) given by Lemma 2. From equation \(\nabla _{m_1}\tilde{F}=0\) we get
Isolating \(\lambda \) we have
So, given \(m_1\) there exist unique \(\theta _j(m_1)\) and \(\lambda (m_1)\) for \(j=2,\ldots ,n\) which are a solution of \(\nabla _{\theta _i} \tilde{F}=0\) and \(\nabla _{m_1} \tilde{F}=0\).
Note that if \(\theta _j(m_1)\) is constant for \(j=2,\ldots ,n\) then \(\lambda (m_1)\) is also constant. Substituting this solution into equation \(\partial F/\partial m_2=0\) we find a unique solution \(m_1\). So system (6) has at most one solution and since the n-gon with equal masses is a solution of system (6), the possible solution that we have found is in fact a solution of (6) and it is the n-gon.
Assume now that not all the functions \(\theta _j(m_1)\) are constant and we compute \( \partial \lambda /\partial m_1 \). Clearly
Since
using (10) and (8) we have that
because the matrix A is positive definite.
Since any centered co-circular central configuration is a zero of \(F(\varvec{\theta },\mathbf {m},\lambda /2)\) (see Lemma 1), the unique solution \(\theta _j(m_1)\) and \(\lambda (m_1)\) for \(j=2,\ldots ,n\) of \(\nabla _{\theta _i} \tilde{F}=0\) and \(\nabla _{m_1} \tilde{F}=0\) defined above should be a zero of the function
Note that \(\overline{F}(m_1)\) is a function in the variable \(m_1\). We want to show that
This will clearly imply that \(\overline{F}(m_1)\) at most has one solution. As above, since the n-gon with equal masses is a solution of system (6), the possible solution that we have found is in fact a solution of (6) and it is the n-gon, so the proof will follow.
Clearly,
in view of (11). Recall that, from (4), \(\partial V_\alpha /\partial \theta _j\) evaluated at the solution \(\theta _j(m_1)\) and \(\lambda (m_1)\) for \(j=2,\ldots ,n\) is zero. This concludes the proof. \(\square \)
References
Albouy, A.: The symmetric central configurations of four equal masses. Contemp. Math. 198, 131–135 (1996)
Albouy, A., Cabral, H.E., Santos, A.A.: Some problems on the classical \(n\)-body problem. Celest. Mech. Dyn. Astron. 113, 369–375 (2012)
Arenstorf, R.F.: Central configurations of four bodies with one inferior mass. Cell Mech. 28, 9–15 (1982)
Albouy, A., Kaloshin, V.: Finiteness of central configurations of five bodies in the plane. Ann. Math. 176, 535588 (2012)
Chenciner, A.: Collisions totales, mouvements complètement paraboliques et réduction des homothéthies dans le problème des \(n\) corps. Regul. Chaot. Dyn. 3, 93–106 (1998)
Checiner, A., Gerver, J., Montgomery, R., Simo, C.: Simple choreographies of N bodies: a preliminary study. In: Newton, P., Holmes, P., Weinstein, A. (eds.) Geometry, Mechanics and Dynamics, pp. 287–308. Springer, New York (2002)
Chenciner, A.: Are there perverse choreographies. New Advances in Celestial Mechanics and Hamiltonian Systems, pp. 63–76. Kluwer, New York (2004)
Corbera, M., Cors, J.M., Llibre, J., Moeckel, R.: Bifurcation of relative equilibria of the \((1+3)\)-body problem. SIAM J. Math. Anal 47, 1377–1404 (2015)
Corbera, M., Llibre, J., Pérez-Chavela, E.: Spatial bi-stacked central configurations formed by two dual reauglar polyhedra. J. Math. Anal. Appl. 413, 648–659 (2014)
Cors, J.M., Roberts, G.E.: Four-body co-circular central configurations. Nonlinearity 25, 343–370 (2012)
Cors, J.M., Hall, G.R., Roberts, G.E.: Uniqueness results for co-circular central configurations for power-law potentials. Phys. D Nonlinear Phenom. 280(281), 44–47 (2014)
Euler, L.: De moto rectilineo trium corporum se mutuo attahentium. Novi Comment Acad. Sci. Imp. Petropolitanae 11, 144–151 (1767)
Ferrario, D.L., Terracini, S.: On the existence of collisionless equivariant minimizers for the classical n-body problem. Invent. Math. 155, 305–362 (2004)
Hagihara, Y.: Celestial Mechanics, Chap. 3, vol. 1. The MIT Press, Cambridge (1970)
Hampton, M.: Co-circular central configurations in the four-body problem. EQUADIFF 2003 (Conference Proceedings), pp. 993–998. World Scientific Publishing, Hackensack (2005)
Hampton, M.: Stacked central configurations: new examples in the planar five-body problem. Nonlinearity 18, 2299–2304 (2005)
Hampton, M.: Splendid isolation: local uniqueness of centered co-circular relative equilibria in the \(N\)-body problem. Celest. Mech. Dyn. Astron. 124, 145–153 (2016)
Hampton, H., Moeckel, R.: Finiteness of relative equilibria of the four-body problem. Invent. Math. 163, 289–312 (2006)
Lagrange, J.L.: Essai sur le problème de trois corps. Prix de l’Académie Royale des Sciences de Paris, tome IX, in Oeuvres, vol. 6, pp. 229–331 (1772)
Lee, T.L., Santoprete, M.: Central configurations of the five-body problem with equal masses. Celest. Mech. Dyn. Astron. 104, 369–381 (2009)
Llibre, J., Valls, C.: The co-circular central configurations of the \(5\)-body problem. J. Dyn. Differ. Equ. 27, 55–67 (2015)
Moeckel, R.: On central configurations. Mah. Z. 205, 499–517 (1990)
Moeckel, R.: Central configurations. In: Central Configurations Periodic Orbits, and Hamiltonian Systems, Advanced courses in Mathematics - CRM Barcelona, Birkhuser, pp. 105–168. Springer, Basel (2015)
Moulton, F.R.: The straight line solutions of \(n\) bodies. Ann. Math. 12, 1–17 (1910)
Ouyang, T., Xie, Z.: Star pentagon and many stable choreographic solutions of the Newtonian 4-body problem. Phys. D Nonlinear Phenom. 307, 61–76 (2015)
Palmore, J.: Classifying relative equilibria. Bull. Am. Math. Soc. 79, 904–907 (1973)
Pérez-Chavela, E., Santoprete, M.: Convex four-body central configurations with some equal masses. Arch. Ration. Mech. Anal. 185, 481–494 (2007)
Saari, D.: On the role and properties of central configurations. Celest. Mech. 21, 9–20 (1980)
Saari, D., Hulkower, N.D.: On the manifolds of total collapse orbits and of completely parabolic orbits for the n-body problem. J. Differ. Equ. 41, 27–43 (1981)
Smale, S.: Topology and mechanics II: the planar \(n\)-body problem. Invent. Math. 11, 45–64 (1970)
Smale, S.: Mathematical problems for the next century. Math. Intell. 20, 7–15 (1998)
Wintner, A.: The Analytical Foundations of Celestial Mechanics. Princeton University Press, New Jersey (1941)
Xia, Z.: Central configurations with many small masses. J. Differ. Equ. 91, 168–179 (1991)
Author information
Authors and Affiliations
Corresponding author
Additional information
Montserrat Corbera is supported by the MINECO-FEDER Grant MTM2016-77278-P. Claudia Valls is supported by FCT/Portugal through UID/MAT/04459/2013.
Rights and permissions
About this article
Cite this article
Corbera, M., Valls, C. On Centered Co-circular Central Configurations of the n-Body Problem. J Dyn Diff Equat 31, 2053–2060 (2019). https://doi.org/10.1007/s10884-018-9699-2
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10884-018-9699-2