Search arXivSearch

arXiv · 1310.4206

A continuum of periodic solutions to the four-body problem with various choices of masses

Abstract

In this paper, we apply the variational method with the Structural Prescribed Boundary Conditions (SPBC) to prove the existence of periodic and quasi-periodic solutions for planar four-body problem with $m_1=m_3$ and $m_2=m_4$. A path $q(t)$ in $[0,T]$ satisfies SPBC if the boundaries $q(0)\in \mathbf{A}$ and $q(T)\in \mathbf{B}$, where $\mathbf{A}$ and $\mathbf{B}$ are two structural configuration spaces in $(\mathbf{R}^2)^4$ and they depend on a rotation angle $θ\in (0,2π)$ and the mass ratio $μ=\frac{m_2}{m_1}\in \mathbf{R}^+$. We show that there is a region $Ω\subseteq (0,2π)\times R^+$ such that there exists at least one local minimizer of the Lagrangian action functional on the path space satisfying SPBC $\{q(t)\in H^1([0,T],$ $(\mathbf{R}^2)^4)| $ $q(0)\in $ $\mathbf{A}, q(T)\in $ $\mathbf{B}\}$ for any $(θ,μ)\in Ω$. The corresponding minimizing path of the minimizer can be extended to a non-homographic periodic solution if $θ$ is commensurable with $π$ or a quasi-periodic solution if $θ$ is not commensurable with $π$. In the variational method with SPBC, we only impose constraints on boundary and we do not impose any symmetry constraint on solutions. Instead, we prove that our solutions extended from the initial minimizing pathes have the symmetries. The periodic solutions can be further classified as simple choreographic solutions, double choreographic solutions and non-choreographic solutions. Among the many stable simple choreographic orbits, the most extraordinary one is the stable star pentagon choreographic solution when $(θ,μ)=(\frac{4π}{5},1)$. Remarkably the unequal-mass variants of the stable star pentagon are just as stable as the basic equal mass choreography (See figure 1).

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tiancheng Ouyang, Zhifu Xie. 2014-02-05. A continuum of periodic solutions to the four-body problem with various choices of masses. https://arxiv.org/abs/1310.4206

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Equidistribution of saddle periodic points for Hénon-like maps

We prove that under a natural assumption on the dynamical degrees, the saddle periodic points of a Hénon-like map in any dimension equidistribute with respect to the equilibrium measure. Our work is a generalization of the results of Bedford-Lyubich-Smillie, Dujardin, and Dinh-Sibony along with improvements of their techniques. We also investigate some fine properties of Green currents associated with the map.

math.DS

On dissonance and orthogonal projections of self-conformal measures

Let $μ$ be a self-conformal measure on $\mathbb{R}^d$. We establish conditions for $μ$ under which $\dim(μ*ν) = \min\lbrace d,\dimμ+\dimν\rbrace$ holds when $ν$ is any Ahlfors-regular or self-conformal measure on $\mathbb{R}^d$. Our main result states the following sufficient condition: $μ$ is totally non-linear and not supported on a smooth hypersurface. We also establish sufficient (likely non-sharp) algebraic conditions for self-conformal measures which are not totally non-linear. In addition, we show that $\dim μ\circπ^{-1} = \min\{ k, \dim μ\}$ for every ortohogonal projection $π:\mathbb{R}^d\to\mathbb{R}^k$, $0<k<d$, when either $d=2$ and $μ$ is not self-similar and not supported on a line, or $d\geq 3$ and $μ$ is totally non-linear and not supported on a smooth hypersurface.

math.DS

Equation-Free Screening of Mittag-Leffler-Compatible Dynamics from Scalar Time Series via kNN Multi-Horizon Profiles

Fractional models provide a natural description of systems with memory, but a noninteger derivative should not be introduced solely because a time series is curved or slowly relaxing. We develop an equation-free preliminary screening framework that asks whether a scalar time series produces a multi-horizon k-nearest-neighbor (kNN) profile more compatible with Mittag-Leffler-type behavior than with selected conventional alternatives. In an ideal matched Caputo-relaxation benchmark, the complete generation-kNN-profile-model-comparison pipeline reproduces the expected Mittag-Leffler geometry and recovers the generating order to within approximately $10^{-3}$; this is interpreted as controlled calibration rather than as general fractional-order identification. Under 3% trajectory-specific observational noise, the held-out Mittag-Leffler preference is most consistent when the generating dynamics are well separated from the integer-order limit and becomes progressively less decisive as $α\rightarrow1$. The fitted order $α_{\mathrm{fit}}$, however, shows substantially larger realization-to-realization variability. Thus, relative model compatibility is more robust than single-realization order estimation in the present noisy benchmark. Noise-free nonfractional controls show a separate limitation of specificity: a stretched exponential can generate a strongly Mittag-Leffler-compatible profile, whereas inclusion of the generating rational/Hill family recovers that family and its parameters to numerical precision in the matched setting. A positive Mittag-Leffler-versus-exponential screen therefore does not uniquely establish fractional origin. A fractional chaotic system is treated only as an exploratory extension: the Mittag-Leffler growth family gives lower finite-window RMSE than exponential and logistic/saturating alternatives over the detected pre-transition interval.

math.DS