卷 22, 编号 6 (2017)

We study in this paper the remnants of the contact partial order on the orbits of the adjoint action of contactomorphism groups on their Lie algebras. Our main interest is a class of noncompact contact manifolds, called convex at infinity.

We establish Écalle’s mould calculus in an abstract Lie-theoretic setting and use it to solve a normalization problem, which covers several formal normal form problems in the theory of dynamical systems. The mould formalism allows us to reduce the Lie-theoretic problem to a mould equation, the solutions of which are remarkably explicit and can be fully described by means of a gauge transformation group. The dynamical applications include the construction of Poincaré–Dulac formal normal forms for a vector field around an equilibrium point, a formal infinite-order multiphase averaging procedure for vector fields with fast angular variables (Hamiltonian or not), or the construction of Birkhoff normal forms both in classical and quantum situations. As a by-product we obtain, in the case of harmonic oscillators, the convergence of the quantum Birkhoff form to the classical one, without any Diophantine hypothesis on the frequencies of the unperturbed Hamiltonians.

Balanced configurations of N point masses are the configurations which, in a Euclidean space of high enough dimension, i. e., up to 2(N − 1), admit a relative equilibrium motion under the Newtonian (or similar) attraction. Central configurations are balanced and it has been proved by Alain Albouy that central configurations of four equal masses necessarily possess a symmetry axis, from which followed a proof that the number of such configurations up to similarity is finite and explicitly describable. It is known that balanced configurations of three equal masses are exactly the isosceles triangles, but it is not known whether balanced configurations of four equal masses must have some symmetry. As balanced configurations come in families, it makes sense to look for possible branches of nonsymmetric balanced configurations bifurcating from the subset of symmetric ones. In the simpler case of a logarithmic potential, the subset of symmetric balanced configurations of four equal masses is easy to describe as well as the bifurcation locus, but there is a grain of salt: expressed in terms of the squared mutual distances, this locus lies almost completely outside the set of true configurations (i. e., generalizations of triangular inequalities are not satisfied) and hence could lead most of the time only to the bifurcation of a branch of virtual nonsymmetric balanced configurations. Nevertheless, a tiny piece of the bifurcation locus lies within the subset of real balanced configurations symmetric with respect to a line and hence has a chance to lead to the bifurcation of real nonsymmetric balanced configurations. This raises the question of the title, a question which, thanks to the explicit description given here, should be solvable by computer experts even in the Newtonian case. Another interesting question is about the possibility for a bifurcating branch of virtual nonsymmetric balanced configurations to come back to the domain of true configurations.

A nearly-integrable dynamical system has a natural formulation in terms of actions, y (nearly constant), and angles, x (nearly rigidly rotating with frequency Ω(y)).We study angleaction maps that are close to symplectic and have a twist, the derivative of the frequency map, DΩ(y), that is positive-definite. When the map is symplectic, Nekhoroshev’s theorem implies that the actions are confined for exponentially long times: the drift is exponentially small and numerically appears to be diffusive. We show that when the symplectic condition is relaxed, but the map is still volume-preserving, the actions can have a strong drift along resonance channels. Averaging theory is used to compute the drift for the case of rank-r resonances. A comparison with computations for a generalized Froeschl´e map in four-dimensions shows that this theory gives accurate results for the rank-one case.

Some interesting variants of walking droplet based discrete dynamical bifurcations arising from diffeomorphisms are analyzed in detail. A notable feature of these new bifurcations is that, like Smale horseshoes, they can be represented by simple geometric paradigms, which markedly simplify their analysis. The two-dimensional diffeomorphisms that produce these bifurcations are called sigma maps or double sigma maps for reasons that are made manifest in this investigation. Several examples are presented along with their dynamical simulations.