平面四体问题中凸中心构型的唯一性
动力系统
2023-08-01 v2 数学物理
math.MP
摘要
本文针对如下猜想给出了严格的计算机辅助证明（CAP）：在质量空间中某一闭域内按给定顺序固定的任意四个正质量，存在唯一的凸中心构型。证明采用了 Krawczyk 算子与隐函数定理。值得注意的是，我们证明了隐函数定理可与区间分析相结合，从而能够估计隐函数存在区域的大小，并将结论从单个质量点推广至其邻域。
引用
@article{arxiv.2303.00201,
title = {On the Uniqueness of Convex Central Configurations in the Planar $4$-Body Problem},
author = {Shanzhong Sun and Zhifu Xie and Peng You},
journal= {arXiv preprint arXiv:2303.00201},
year = {2023}
}
备注
30 pages,2 figures