关于平面 $4$ 体问题中凸中心构型唯一性的研究
On the Uniqueness of Convex Central Configurations in the Planar $4$-Body Problem
AI总结：
本文利用 Krawczyk 算子、隐函数定理与区间分析，提供了严格的计算机辅助证明，证实了平面4体问题中给定顺序下任意四个固定正质量的凸中心构型具有唯一性。
摘要：
本文提供了一个严格的计算机辅助证明（CAP），证明了如下猜想：对于质量空间中属于某一闭域的任意四个固定正质量，在给定顺序下存在唯一的凸中心构型。该证明采用了 Krawczyk 算子和隐函数定理。值得注意的是，我们证明了隐函数定理可以与区间分析相结合，使我们能够估计隐函数存在区域的大小，并将我们的发现从一个质量点扩展到其周围邻域。
英文摘要：
In this paper, we provide a rigorous computer-assisted proof (CAP) of the conjecture that 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. 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 surrounding neighborhood.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
