BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Alain Chenciner appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We address the following question: let F:(R^2,0)->(R^2,0) be an analytic local diffeomorphism defined in the neighborhood of the non resonant elliptic fixed point 0 and let Φ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 Φand N?
The balanced configurations are those n-body configurations which admit a relative equilibrium motion in a Euclidean space E of high enough dimension 2p. They are characterized by the commutation of two symmetric endomorphisms of the (n-1)-dimensional Euclidean space of codispositions, the intrinsic inertia endomorphism B which encodes the shape and the Wintner-Conley endomorphism A which encodes the forces. In general, p is the dimension d of the configuration, which is also the rank of B. Lowering to 2(d-1) the dimension of E occurs when the restriction of A to the (invariant) image of B possesses a double eigenvalue. It is shown that, while in the space of all dxd-symmetric endomorphisms, having a double eigenvalue is a condition of codimension 2 (the avoided crossings of physicists), here it becomes of codimension 1 provided some condition (H) is satisfied. As the condition is always satisfied for configurations of the maximal dimension (i.e. if d=n-1), this implies in particular the existence, in the neighborhood of the regular tetrahedron configuration of 4 bodies with no three of the masses equal, of exactly 3 families of balanced configurations which admit relative equilibrium motion in a four dimensional space.
In this short note, we draw attention to a relation between two Horn polytopes which is proved in [Chenciner-Jiménez Pérez] as the result on the one side of a deep combinatorial result in [Fomin,Fulton, Li,Poon], on the other side of a simple computation involving complex structures. This suggested an inequality between Littlewood-Richardson coefficients which we prove using the symmetric characterization of these coefficients given in [Carré,Leclerc].
We prove a conjecture made by the first author: given an n-body central configuration X_0 in the euclidean space R^{2p}, let Im F be the set of ordered real p-tuples {ν_1,ν_2,...,ν_p} such that {\pm iν_1,\pm iν_2,...,\pm iν_p} is the spectrum of the angular momentum of some (periodic) relative equilibrium motion of X_0 in R^{2p}. Then Im F is a convex polytope. The proof consists in showing that there exist two (p-1)-dimensional convex polytopes P_1 and P_2 in R^{p} such that Im F lies between P_1 and P_2 and that these two polytopes coincide. Introduced in \cite{C1}, P_1 is the set of spectra corresponding to the hermitian structures J on R^{2p} which are "adapted" to the symmetries of the inertia matrix S_0; it is associated with Horn's problem for the sum of pxp real symmetric matrices with spectra sigma_- and sigma_+ whose union is the spectrum of S_0; P_2 is the orthogonal projection onto the set of "hermitian spectra" of the polytope P associated with Horn's problem for the sum of 2px2p real symmetric matrices having each the same spectrum as S_0. The equality P_1=P_2 follows directly from a deep combinatorial lemma, proved by Fomin, Fulton, Li and Poon, which implies that among the sums of two 2px2p real symmetric matrices A and B with the same spectrum, those C=A+B which are hermitian for some hermitian structure play a central role.
There are two main reasons why relative equilibria of N point masses under the influence of Newton attraction are mathematically more interesting to study when space dimension is at least 4: On the one hand, in a higher dimensional space, a relative equilibrium is determined not only by the initial configuration but also by the choice of a complex structure on the space where the motion takes place; in particular, its angular momentum depends on this choice; On the other hand, relative equilibria are not necessarily periodic: if the configuration is "balanced" but not central, the motion is in general quasi-periodic. In this exploratory paper we address the following question, which touches both aspects: what are the possible frequencies of the angular momentum of a given central (or balanced) configuration and at what values of these frequencies bifurcations from periodic to quasi-periodic relative equilibria do occur ? We give a full answer for relative equilibrium motions in dimension 4 and conjecture that an analogous situation holds true for higher dimensions. A refinement of Horn's problem given by Fomin, Fulton, Li and Poon plays an important role. P.S. The conjecture is now proved (see Alain Chenciner and Hugo Jimenez Perez, Angular momentum and Horn's problem, arXiv:1110.5030v1 [math.DS]).
In his fondamental "Essay on the 3-body problem", Lagrange, well before Jacobi's "reduction of the node", carries out the first complete reduction of symetries. Discovering the so-called homographic motions, he shows that they necessarily take place in a fixed plane. The true nature of this reduction is revealed if one considers the n-body problem in an euclidean space of arbitrary dimension. The actual dimension of the ambiant space then appears as a constraint, namely the angular momentum bivector's degeneracy. The main part of this survey is a detailed description of the results obtained in a joint paper with Alain Albouy published in french (Inventiones 1998): for a non homothetic homographic motion to exist, it is necessary that the space of motion be even dimensional. Two cases are possible: either the configuration is "central" (that is a critical point of the potential among configurations with a given moment of inertia) and the space where the motion takes place is endowed with an hermitian structure, or it is "balanced" (that is a critical point of the potential among configurations with a given inertia spectrum) and the motion is a new type, quasi-periodic, of relative equilibrium. Hip-Hops, which are substitutes to the non-existing homographic solutions with odd dimensional space of motion, are also discussed.
A section in the 2-jet space of Morse functions is not always homotopic to a holonomic section. We give a necessary condition for being the case and we discuss the sufficiency.
The simplest solutions of the N-body problem --symmetric relative equilibria-- are shown to be organizing centers from which stem some recently studied classes of periodic solutions. We focus on the relative equilibrium of the equal-mass regular N-gon, assumed horizontal, and study the families of Lyapunov quasi-periodic solutions bifurcating from them in the vertical direction. The proof of the local existence of such solutions relies on the fact that the restriction to the corresponding directions of the quadratic part of the energy is positive definite. We then discuss the possibility of continuing the families globally as action minimizers under symmetry constraints by using the fact that, in rotating frames where they become periodic, these solutions are highly symmetric. The paradigmatic examples are the "Eight" families for an odd number of bodies and the "Hip-Hop" families for an even number. We argue that it is precisely for these two families that global minimization may be used. We also study the relation with the regular N-gon, of the so-called "chain" choreographies (see C. Simó, New families of Solutions in N-Body Problems, Progr. Math. 201, 2001): here, only a local minimization property is true (except for N=3) and moreover the parity plays a deciding role, in particular through the value of the angular momentum.
Using a variational method, we exhibit a surprisingly simple periodic orbit for the newtonian problem of three equal masses in the plane. The orbit has zero angular momentum and a very rich symmetry pattern. Its most surprising feature is that the three bodies chase each other around a fixed eight-shaped curve. Setting aside collinear motions, the only other known motion along a fixed curve in the inertial plane is the ``Lagrange relative equilibrium" in which the three bodies form a rigid equilateral triangle which rotates at constant angular velocity within its circumscribing circle. Our orbit visits in turns every ``Euler configuration" in which one of the bodies sits at the midpoint of the segment defined by the other two (Figure 1). Numerical computations by Carles Simó, to be published elsewhere, indicate that the orbit is ``stable" (i.e. completely elliptic with torsion). Moreover, they show that the moment of inertia I(t) with respect to the center of mass and the potential U(t) as functions of time are almost constant.