Shanzhong Sun

Capital Normal University


Sun S., Xie Z., You P.
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.
Keywords: central configuration, convex central configuration, uniqueness, $N$-body problem, Krawczyk operator, implicit function theorem
Citation: Sun S., Xie Z., You P.,  On the Uniqueness of Convex Central Configurations in the Planar $4$-Body Problem, Regular and Chaotic Dynamics, 2023, vol. 28, nos. 4-5, pp. 512-532
Chenciner A., Sauzin D., Sun S., Wei Q.
We address the following question: let $F:(\mathbb {R}^2,0)\to(\mathbb {R}^2,0)$ be an analytic local diffeomorphism defined in the neighborhood of the nonresonant elliptic fixed point 0 and let $\Phi$ be a formal conjugacy to a normal form $N$. Supposing $F$ leaves invariant the foliation by circles centered at $0$, what is the analytic nature of $\Phi$ and $N$?
Keywords: normal form, Arnold family, weakly attracting fixed point
Citation: Chenciner A., Sauzin D., Sun S., Wei Q.,  Elliptic Fixed Points with an Invariant Foliation: Some Facts and More Questions, Regular and Chaotic Dynamics, 2022, vol. 27, no. 1, pp. 43-64

Back to the list