Abstract

We show the existence of the twisted stacked central configurations for the 9-body problem. More precisely, the position vectors , , , , and are at the vertices of a square pyramid ; the position vectors , , , and are at the vertices of a square .

1. Introduction and Main Results

The classical -body problem [1, 2] concerns the motion of mass points moving in space according to Newton’s law: Here, is the position of mass , the gravitational constant is taken equal to 1, and is the Euclidean distance between and .

The space of configuration is defined by while the center of mass is given by where is the total mass.

A configuration is called a central configuration [2, 3] if there exists a constant , called the multiplier, such that It is easy to see that a central configuration remains a central configuration after a rotation in and a scalar multiplication. More precisely, let and , if is a central configuration, so are and .

Two central configurations are said to be equivalent if one can be transformed to the other by a scalar multiplication and a rotation. In this paper, when we say a central configuration, we mean a class of central configurations as defined by the above equivalent relation.

Central configurations of the -body problem are important because they allow the computation of homographic solutions; if the bodies are heading for a simultaneous collision, then the bodies tend to a central configuration (see [3, 4]); there is a relation between central configurations and the bifurcations of the hypersurfaces of constant energy and angular momentum (see [5]).

In this paper, we are interested in spatial central configurations, that is, . In 2005, Hampton [6] provides a new family of planar central configurations for the 5-body problem with an interesting property: the central configuration has a subset of three bodies forming a central configuration of the 3-body problem. The authors [7] find new classes of central configurations of the 5-body problem which are the ones studied by Hampton [6] having three bodies in the vertices of an equilateral triangle, but the other two, instead of being located symmetrically with respect to a perpendicular bisector, are on the perpendicular bisector. The stacked central configurations studied by Hampton [6] were completed by Llibre et al. [8] (see also [9]).

Zhang and Zhou [10] showed the existence of double pyramidal central configurations of -body problem. The authors [1113] provided new examples of stacked central configurations for the spatial 7-body problem where four bodies are at the vertices of a regular tetrahedron and the other three bodies are located at the vertices of an equilateral triangle.

In this paper, we find new classes of stacked spatial central configurations for the 9-body problem which have five bodies at the vertices of a square pyramid, and the other four bodies are located at the vertices of a square. More precisely, the spatial central configurations considered here satisfy the following (see Figure 1): the position vectors , and are at the vertices of a square pyramid ; the position vectors , and are at the vertices of a square .

Without loss of generality, we can assume that where , , and ; the positive constant satisfies the equation (see [10] and the references therein); that is, .

The main results of this paper are the following.

Theorem 1. Consider the spatial configurations according to Figure 1, in order that the nine mass points are in a central configuration, the following statements are necessary:(1)the masses , and must be equal;(2)the masses , and must be equal.

Theorem 2. There exist points (see Figure 2) such that the nine bodies take the coordinates Then, there are positive solutions of such that these bodies form a spatial central configuration according to Figure 1.

The proofs of the theorems are given in the next sections.

2. Proof of Theorem 1

For the spatial central configurations, instead of working with (4), we consider the Dziobek-Laura-Andoyer equations (see [9, 1113] and the references therein): for , . Here, and . Thus, gives six times the signed volume of the tetrahedron formed by the bodies with positions , and ; (8) is a system of equations.

For the 9-body problem, (8) is a system of 252 equations. According to Figure 1, our class of configurations with nine bodies must satisfy Due to assumption (5) and the definition of , we have several symmetries in the signed volumes.

By using the symmetries and the properties of , we obtain the following results.

Lemma 3. In order to have a spatial central configuration according to Figure 1, a necessary condition is that the masses , , , and must be equal.

Proof. It is sufficient to consider the equations and : For our class of central configurations, we have , , and . So the above equations hold if and only if , . Consider the expression of : Substituting , into the above equation, we have For our class of central configurations, we have , since the function is convex for all , and . So the above equation holds if and only if . So statement 1 of Theorem 1 is proved.

Lemma 4. If the configuration, according to Figure 1, is a central configuration, a necessary condition is that the masses , , , and must be equal.

Proof. It is sufficient to consider the equations and : For our class of central configurations, we have , , and . So the above equations hold if and only if , . Consider the expression of : Substituting , into the above equation, we have For our class of central configurations, we have , and . So the above equation holds if and only if . Hence, statement 2 of Theorem 1 is proved.
The proof Theorem 1 is completed.

We restrict the set of admissible masses to and . Substituting and into (8), they reduce to the following 4 equations:

If we write , it follows that in order to have central configurations. So in the following, we restrict our central configurations to the set .

Lemma 5. According to one’s assumptions and the set , (8) is satisfied if (17) and (18) are satisfied.

Proof. Under the assumptions (5), we have that is,
Substituting (21) into (19), we obtain the equation .
Hence in the set , implies . This completes the proof.

From Lemma 5, in order to study central configurations according to Figure 1 in the set , it is sufficient to study the following 2 equations: Denote by the matrix of the coefficients of the homogeneous linear system in the variables defined by (22). Thus, Let . Then in order to get the spatial central configuration as Figure 1, we need to find a positive solution of the following system: where .

3. The Existence of Spatial Central Configurations

In order to prove the existence of positive solutions of (24) in the set , it is sufficient to prove that the entries in each row of change the signs. So if the entries of some row of have the same signs, there are no admissible masses such that the bodies are in a central configuration according to Figure 1.

Proof of Theorem 2. Since the rank of matrix is two in the set , there are nontrivial solutions of (24) in the set .
Now we prove the existence of spatial central configurations according to Figure 1 for some points in the set (see Figure 2). In order to prove the existence of positive solutions of (24) in the set , the entries of the second line in the matrix should have opposite signs. Thus, we consider the following set , where is surrounded by curves , , , and .
In the set , the entries of matrix have the following signs: , (see Figures 3 and 4); , , because the set is included in the set , where is surrounded by curves , , and (see Figures 5, 6, 7, and 8). In short, the signs of the entries of the matrix restricted to the set are the following:
In the rest of the proof, we show that the set has intersection with the set . We consider the subset of : where . Obviously is a segment with endpoints (see Figure 9), and the point satisfies the equation . Evaluating the function at these points, we have Thus, there exists a point , such that . So at the point we have nontrivial positive solutions of (24), since the signs of the entries of the matrix at this point are the following: Thus, the proof of Theorem 2 is completed.

Acknowledgments

The authors are supported by the Natural Science Foundation of China (NFSC11201168) and the Scientific Research Foundation of Huaiyin Institute of Technology (HGA1102).