Abstract
We study central configuration of a set of symmetric planar five-body problems where the five masses are arranged in such a way that , , and are collinear and , , and are collinear; the two sets of collinear masses form a triangle with at the intersection of the two sets of collinear masses; four of the bodies are on the vertices of an isosceles trapezoid and the fifth body can take various positions on the axis of symmetry both outside and inside the trapezoid. We form expressions for mass ratios and identify regions in the phase space where it is possible to choose positive masses which will make the configuration central. We also show that the triangular configuration is not possible.
1. Introduction
The equations of motion for positive masses subject to Newtonian Gravitation is given by where is the Newtonian potential, is the position vector of the th body, is the mass of the th body, and is the universal constant of gravitation. The central configuration of an -body system is obtained, if the position vector of each particle with respect to the center of mass is a common scalar multiple of its acceleration; that is,where the constant .
Using the Laura/Andoyer/Dziobek equations [1], the condition that form a planar, noncollinear, central configuration is where and .
The study of the central configurations plays a key role in understanding the Gravitational -body problems (cf. [2–4]). Central configurations are useful in providing explicit homographic solutions of the equations of motion and families of periodic solutions [5]. They are also useful in understanding the nature of solutions near collisions and the energy level sets that hold the central configuration determine the topology of the integral manifolds. Understanding the four- and five-body problem is very important as it is known that approximately two-thirds of stars in our Galaxy are part of multistellar systems. There is a growing interest in studying spatial central configurations of Newtonian five-body problem with various symmetrical restrictions. Several authors have recently studied central configuration of restricted four-body and five-body problems [6–9]. According to [10], finiteness problem of -body central configurations is an open problem for the 21st century. Hampton and Moeckel [11] proved that finite central configurations are possible for the Newtonian three-body and four-body problems with positive masses. Finiteness of central configurations of planar five-body problem is recently established by Albouy and Kaloshin in [12]. Hampton and Jensen [13] showed that number of spatial central configurations are finite for positive masses in the Newtonian five-body problem.
Several authors studied the inverse problem of central configurations by finding the mass vectors which makes the configuration central for a given configuration of bodies. Albouy and Moeckel [14] show that two-parameter family of masses exists for collinear central configurations with . Xie [15] proved the existence of a singular curve where it is possible to have permutational admissible set of mass vectors in the collinear central configuration four-body problem. According to [16], families of stacked central configurations can be formed by adding extra bodies to known central configurations of three bodies. Gidea and Llibre [1] studied the stacked symmetric planar central configuration of five bodies with some special symmetries. They have shown that central configuration is possible in rhomboidal arrangement where four masses are kept at the vertices and a fifth mass in the center and a trapezoidal arrangement where four masses are at the vertices and a fifth mass at the midpoint of one of the parallel sides. Shoaib et al. [17] have studied central configuration of the rhomboidal 5-body problem and identified CC regions using similar approaches.
Xie [18] studied central configuration of the planar Newtonian four-body problems, where two equal mass pairs are kept at adjacent vertices of a trapezoid and possible central configuration mass ratios are expressed in terms of the size of quadrilateral. While much is known about trapezoid central configurations in the restricted four-body problem, there is less known about trapezoid central configurations in the restricted five-body problem. Shoaib [19] recently investigated the inverse problem of central configuration in a symmetric -body problem and derived regions of central configuration.
In this work, we study the central configuration of the isosceles trapezoidal five-body problem and identify regions in the phase space where it is possible to choose positive masses which will make the configuration central. We are motivated by the work of [1] and follow similar ideas to study planar symmetric five-body problems. The problems we investigate include two types of trapezoidal five-body problems with four masses on its vertices and a fifth mass on the axis of symmetry which can be both inside and outside the trapezoid. The third type of problem which is investigated here is a triangular problem with two pairs of masses and a fifth mass on the perpendicular bisector of the triangle which is not necessarily equal to any of the four masses. In Section 2, we present the main theorems related to the three five-body problems and their proofs are given in Sections 3, 4, and 5, respectively.
2. Main Results
Theorem 1. Consider a 5-body noncollinear configuration and a positive mass vector , where Assume that and are placed symmetrically on the vertices of an isosceles trapezoid and the fifth mass is placed on the axis of symmetry of the trapezoid.(a)When , there is a continuous family of central configurations determined by the region and the function , given in Figure 2. There are no central configurations when .(b)When and there exists a continuous family of central configurations for . There are no central configurations when or when .
Theorem 2. Consider a 5-body noncollinear configuration with a positive mass vector , where are given by (5). The five masses are arranged in such a way that , , and are collinear and , , and are collinear. The two sets of collinear masses form a triangle with at the intersection of the two sets of collinear masses. Then there does not exist any such type of central configuration.
3. Proof of Theorem 1
3.1. Proof of Theorem 1(a)
Consider five bodies of masses , , , , and placed at , , , , and : Four of the masses make a trapezoid (see Figure 1) while the mass is on the line of symmetry. Using the inherent symmetries of the trapezoidal 5-body model we obtain the following system of four equations from (4) which define the central configurations for the model described above: where Write (7) to (10) as a linear homogeneous system in given by the matrix
Using a simple Gaussian elimination approach, matrix is reduced as in what follows: The above systems can now be written in equation form as in what follows: For the above systems to have a nontrivial solution . This will be treated as a geometric constraint on the existence of trapezoidal central configurations. Setting and , we obtain Such that and . Therefore (15) define central configuration for the trapezoidal 5-body problem for all masses subject to the constraintIt can be seen from the reduced matrix that (8) is not used in deriving and which necessitates a second constraint given as follows: However it is numerically confirmed that is satisfied everywhere, where . The constraint has some additional solutions but that is irrelevant as for nontrivial solution both the constraints have to be satisfied. Hence we will only use in our analysis. As only positive solutions are of practical interest, therefore we will now isolate the regions where all the masses are positive.
Lemma 3. The function attain positive values in where and are given in (20) and (22).
Proof. To find the central configuration region where is positive, we will need to find regions in the -plane where and have opposite signs. We can see that is negative when its two factors have opposite signs. Therefore in Similarly As is a sum of two nonlinear functions of and , we used some approximation techniques to find the region in the -plane, where andThus the CC region where has positive real values is given as follows: This completes the proof of Lemma 3.
Lemma 4. The function attain positive values in the following region of the -plane:
Proof. The denominator of , that is, , is positive when its components () have the same signs. We have shown that in . The second component is positive in Hence in
Lemma 5. The function attain positive values in the following region of -plane:
Proof. Using the same technique as we have used for , , and we show that , , and are positive in the following regions:There are various possibilities for to have positive values. These possibilities are listed below with the corresponding regions:(a), , , . Consider(b), , , . Consider The combination , , , and , , , returned empty regions. It is also possible for to be positive in some part of the region where at least one of () and () are positive. An all inclusive analytical solution is not possible in most of these cases; therefore we will use approximation techniques to find regions where is positive.(c), , , . in the following region: In this case is never negative.(d), , , . This region is determined from Using numerical approximation techniques it can be shown that in the following part of : is always negative in the rest of the combinations of , , , and . Therefore in the union of the regions found above. This completes the proof of Lemma 5.
Lemma 6. Given the five-body arrangement of Theorem 1, defines the region of central configurations where .
Proof. For , and must have the same sign. Therefore central configuration region where is given by This completes the proof of Lemma 6.
The proof of Theorem 1(a) is a direct consequence of Lemmas 3 and 6. That is, the central configuration region , where both and are positive, can be found by taking the intersection of the regions found for and . This region is given in Figure 2 with the geometric constraint . The continuous family of central configurations is shown by intersection of the bold line with the colored region in Figure 2. This completes the proof of Theorem 1.
3.2. Proof of Theorem 1(b)
Consider five bodies of masses , , , , and placed at , , , , and , respectively. Similar to Theorem 1, four of the masses make a trapezoid (see Figure 1) while the mass is on the line of symmetry. In Theorem 1, the trapezoid considered had . In this case, the height of trapezoid is fixed at 1 with variable width. The general CC equations are the same as in Theorem 1 with different ’s. The which have different values are The general equations for , and the constraints and are the same as in Theorem 1 but with different values of all the functions: Similar to Theorem 1(a), the constraints and have identical solutions; therefore we use only .
Lemma 7. There exists a region given by (39) in the -plane such that, for any , .
Proof. The method of proof is the same as in Theorem 1. For , and must have opposite signs. The functions and are positive in the following regions, respectively:Therefore the CC region where is determined by This completes the proof of Lemma 7.
Lemma 8. There exists a region given by (46) in the -plane such that for any , .
Proof. For the mass ratio to be positive the functions and must have the same signs. The denominator of , when and have opposite sign. The sign analysis of is given in (38). The second factor of , that is, , is positive in and negative in : Therefore in For the numerator of , that is, , to be negative we have the following possibilities with the corresponding regions mentioned alongside them. We will only list the possibilities where we get a nonempty region for and will ignore all other possibilities:(a), , , . Consider(b), , , . Consider(c), , , . ConsiderTherefore in Thus the CC region where is given by This completes the proof of Lemma 8.
The intersection of and will give the region which is the central configuration region where both and are positive. Region will satisfy (3) subject to the constraint . The intersection of the constraints , and the region where all the masses are positive is represented by a line marked in Figure 3. This confirms the existence of central configuration for the trapezoidal 5-body problem at . There is a continuous family of central configuration when and . There is no central configuration when . This completes the proof of Theorem 1(b).
To complement the analysis given in Theorem 1 a number of graphs are given in Figure 3 for fixed values of alongside . The general expressions for , and the constraints can be derived in the same way as in Theorem 1.
In each case there is a continuous family of central configurations for both positive and negative values of . In Figures 4(a) and 4(b) 3D regions are given where and are positive, respectively. Figure 5 gives the intersection of regions given in Figure 4; this will provide the central configuration region subject to the two constraints , . The part of this region is given in Figure 6 where both the constraints are satisfied which is the central configuration for the trapezoidal 5-body problem where one of the masses is allowed to move symmetrically on the axis of symmetry.
(a)
(b)
4. Proof of Theorem 2
Consider masses , , and and masses , , and to be collinear. The two sets of collinear masses form a triangle with at the intersection of the two sets of collinear masses; see Figure 7. To enforce collinearity take in (5). We derive the CC equations from (4) as follows: where We repeat the same procedure as was done in the previous case to obtain the following expressions for the two mass ratios , and the geometric constraints and Equation (50) determine CC regions in the -plane subject to the constraint given by in (52). First we will analyse and and will then discuss to find CC regions where (4) is satisfied.
Lemma 9. The function is positive in
Proof. For the mass ratio to be positive and must have opposite signs. Write and as functions of and :It is possible to show that and are positive in the following region: whereTherefore is positive in
Lemma 10. The numerator of , , is negative in given by (64).
Proof. The function involve functions , , , and . The sign analyses of and are given in Lemma 9. The remaining functions are given as follows:Using the same technique as in Theorem 1, we find the following regions where and are positive:whereFor the numerator of , that is, , to be negative we have the following possibilities with the corresponding regions mentioned alongside them. As before we list only the possibilities where return nonempty regions:(a), , , ; . Consider(b), , , ; . Consider in the following part of Therefore in This completes the proof of Lemma 10.
Lemma 11. (a) The function which is the denominator of is positive in given by (70).
(b) The central configuration region where is given by .
Proof. The function is given below as function of and : Using the same technique as in Theorem 1, we find that is positive in the following region:For ; and must have the same signs. Both and are positive in and , respectively. Therefore, in and :Similarly can be found as follows:Therefore in , whereThis completes the proof of Lemma 11(a).
Thus the CC region () where is determined from Lemmas 10 and 11(a) as follows: From Lemmas 9 and 11(b), the region where both and are positive is found by taking the intersection of and and is given by It is clear from Figure 8 that the constraint does not intersect the region where all the masses are positive. Hence no central configurations of this particular type are possible.
5. Conclusions
We studied the central configuration of different types of symmetric 5-body problems. All the problems investigated have two pairs of equal masses. In one case two pairs of equal masses are placed at the vertices of an isosceles trapezoid and the fifth body not necessarily equal to the other masses was allowed to take various positions on the axis of symmetry. Initially we formed expressions for mass ratios and derived regions of central configuration for positive masses. The existence of continuous family of central configurations is shown to exist for trapezoids of various sizes. It is also shown that it is possible for the fifth mass to be both inside the trapezoid and outside the trapezoid. In the second case the five masses are arranged in two sets of three collinear masses such that one of the masses is at the intersection of the two collinear sets, hence making a triangle; similarly expressions are formed for mass ratios to derive regions of central configuration for positive masses. It was shown that no such type of central configuration is possible.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgment
The authors thank the deanship of research at the University of Ha’il, Saudi Arabia, for funding this work under Grant no. SM14007.