Abstract
In this paper, we provide a rigorous computer-assisted proof (CAP) of the conjecture that in the planar four-body problem there exists a unique convex central configuration for any four fixed positive masses in a given order belonging to a closed domain in the mass space. The proof employs the Krawczyk operator and the implicit function theorem (IFT). Notably, we demonstrate that the implicit function theorem can be combined with interval analysis, enabling us to estimate the size of the region where the implicit function exists and extend our findings from one mass point to its neighborhood.
Similar content being viewed by others
Change history
29 October 2023
The numbering issue has been changed to 4-5.
References
Albouy, A., Symétrie de configurations centrales de quatre corps, C. R. Acad. Sci. Paris Ser. 1 Math., 1995, vol. 320, no. 2, pp. 217–220.
Albouy, A., The Symmetric Central Configurations of Four Equal Masses, in Hamiltonian Dynamics and Celestial Mechanics (Seattle, Wash., 1995), Contemp. Math., vol. 198, Providence, R.I.: AMS, 1996, pp. 131–135.
Albouy, A., Cabral, H. E., and Santos, A. A., Some Open Problems on the Classical \(N\)-Body Problem, Celestial Mech. Dynam. Astronom., 2012, vol. 113, no. 4, pp. 369–375.
Albouy, A., Fu, Y., and Sun, S., Symmetry of Planar Four-Body Convex Central Configurations, Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci., 2008, vol. 464, no. 2093, pp. 1355–1365.
Albouy, A. and Kaloshin, V., Finiteness of Central Configurations of Five Bodies in the Plane, Ann. of Math. (2), 2012, vol. 176, no. 1, pp. 535–588.
Alefeld, G. and Mayer, G., Interval Analysis: Theory and Applications. Numerical Analysis in the 20th Century: Vol. 1. Approximation Theory, J. Comput. Appl. Math., 2000, vol. 121, no. 1–2, pp. 421–464.
Corbera, M., Cors, J. M., Llibre, J., and Pérez-Chavela, E., Trapezoid Central Configurations, Appl. Math. Comput., 2019, vol. 346, pp. 127–142.
Corbera, M., Cors, J., Llibre, J., and Moeckel, R., Bifurcation of Relative Equilibria of the \((1+3)\)-Body Problem, SIAM J. Math. Anal., 2015, vol. 47, no. 2, pp. 1377–1404.
Corbera, M., Cors, J. M., and Roberts, G. E., A Four-Body Convex Central Configuration with Perpendicular Diagonals Is Necessarily a Kite, Qual. Theory Dyn. Syst., 2018, vol. 17, no. 2, pp. 367–374.
Corbera, M., Cors, J. M., and Roberts, G. E., Classifying Four-Body Convex Central Configurations, Celestial Mech. Dynam. Astronom., 2019, vol. 131, no. 7, Paper No. 34, 27 pp.
Cors, J. M. and Roberts, G. E., Four-Body Co-Circular Central Configurations, Nonlinearity, 2012, vol. 25, no. 2, pp. 343–370.
Fernandes, A. C., Llibre, J., and Mello, L. F., Convex Central Configurations of the \(4\)-Body Problem with Two Pairs of Equal Masses, Arch. Ration. Mech. Anal., 2017, vol. 226, no. 1, pp. 303–320.
Hagihara, Y., Celestial Mechanics: Vol. 1. Dynamical Principles and Transformation Theory, Cambridge, Mass.: MIT, 1970.
Hampton, M. and Moeckel, R., Finiteness of Relative Equilibria of the Four-Body Problem, Invent. Math., 2006, vol. 163, no. 2, pp. 289–312.
Jindal, A., Banavar, R., and Chatterjee, D., Implicit Function Theorem: Estimates on the Size of the Domain, arXiv:2205.12661 (2022).
Lee, T.-L. and Santoprete, M., Central Configurations of the Five-Body Problem with Equal Masses, Celestial Mech. Dynam. Astronom., 2009, vol. 104, no. 4, pp. 369–381.
Long, Y., Admissible Shapes of \(4\)-Body Non-Collinear Relative Equilibria, Adv. Nonlinear Stud., 2003, vol. 3, no. 4, pp. 495–509.
Long, Y. and Sun, S., Four-Body Central Configurations with Some Equal Masses, Arch. Ration. Mech. Anal., 2002, vol. 162, no. 1, pp. 25–44.
MacMillan, W. D. and Bartky, W., Permanent Configurations in the Problem of Four Bodies, Trans. Amer. Math. Soc., 1932, vol. 34, no. 4, pp. 838–875.
, MATLAB R2019b 9.7.0.1190202, https://www.mathworks.com (2018).
Moeckel, R., On Central Configurations, Math. Z., 1990, vol. 205, no. 4, pp. 499–517.
Moeckel, R., Central Configurations, in Central Configurations, Periodic Orbits, and Hamiltonian Systems, Basel: Birkhäuser/Springer, 2015, pp. 105–167.
Moczurad, M. and Zgliczyński, P., Central Configurations in Planar \(n\)-Body Problem with Equal Masses for \(n=5,6,7\), Celestial Mech. Dynam. Astronom., 2019, vol. 131, no. 10, Paper No. 46, 28 pp.
Moore, R. E., Kearfott, R. B., and Cloud, M. J., Introduction to Interval Analysis, Philadelphia, Pa.: SIAM, 2009.
SageMath, the Sage Mathematics Software System (Version 9.6), https://www.sagemath.org (2022).
Santoprete, M., Four-Body Central Configurations with One Pair of Opposite Sides Parallel, J. Math. Anal. Appl., 2018, vol. 464, no. 1, pp. 421–434.
Santoprete, M., On the Uniqueness of Co-Circular Four Body Central Configurations, Arch. Ration. Mech. Anal., 2021, vol. 240, no. 2, pp. 971–985.
Santoprete, M., On the Uniqueness of Trapezoidal Four-Body Central Configurations, Nonlinearity, 2021, vol. 34, no. 1, pp. 424–437.
Schmidt, D., Central Configurations and Relative Equilibria for the \(N\)-Body Problem, in Classical and Celestial Mechanics (Recife, 1993/1999), Princeton, N.J.: Princeton Univ. Press, 2002, pp. 1–33.
Shi, J. and Xie, Z., Classification of Four-Body Central Configurations with Three Equal Masses, J. Math. Anal. Appl., 2010, vol. 363, no. 2, pp. 512–524.
Simó, C., Relative Equilibrium Solutions in the Four-Body Problem, Celestial Mech., 1978, vol. 18, no. 2, pp. 165–184.
Smale, S., Mathematical Problems for the Next Century, Math. Intelligencer, 1998, vol. 20, no. 2, pp. 7–15.
Xia, Z., Convex Central Configurations for the \(N\)-Body Problem, J. Differential Equations, 2004, vol. 200, no. 2, pp. 185–190.
Xie, Z., Isosceles Trapezoid Central Configurations of the Newtonian Four-Body Problem, Proc. Roy. Soc. Edinburgh Sect. A, 2012, vol. 142, no. 3, pp. 665–672.
ACKNOWLEDGMENTS
We would like to acknowledge the valuable suggestions made by Professor Yiming Long, Professor Piotr Zgliczynski, and the anonymous referee.
Funding
Shanzhong Sun is partially supported by the National Key R&D Program of China (2020YFA 0713300), NSFC (Nos. 11771303, 12171327, 11911530092, 12261131498, 11871045). Zhifu Xie is partially supported by Wright W. and Annie Rea Cross Endowment Funds at the University of Southern Mississippi.
Author information
Authors and Affiliations
Corresponding authors
Ethics declarations
The authors declare that they have no conflicts of interest.
Additional information
Dédié à Alain Chenciner avec admiration et amitié
MSC2010
70F10, 70F15
Rights and permissions
About this article
Cite this article
Sun, S., Xie, Z. & You, P. On the Uniqueness of Convex Central Configurations in the Planar \(4\)-Body Problem. Regul. Chaot. Dyn. 28, 512–532 (2023). https://doi.org/10.1134/S1560354723520076
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1560354723520076