Leaving the Moon by means of invariant manifolds of libration point orbits

The aim of this work is to look for rescue trajectories that leave the surface of the Moon, belonging to the hyperbolic manifolds associated with the central manifold of the Lagrangian points L₁ and L₂ of the Earth–Moon system. The model used for the Earth–Moon system is the Circular Restricted Three-Body Problem. We consider as nominal arrival orbits halo orbits and square Lissajous orbits around L₁ and L₂ and we show, for a given Δv, the regions of the Moon’s surface from which we can reach them. The key point of this work is the geometry of the hyperbolic manifolds associated with libration point orbits. Both periodic/quasi-periodic orbits and their corresponding stable invariant manifold are approximated by means of the Lindstedt–Poincaré semi-analytical approach.     

Stable Manifolds and Nonuniform Hyperbolicity: Optimal Estimates

We establish the existence of invariant stable manifolds for C ¹ perturbations of a nonuniform exponential dichotomy with an arbitrary nonuniform part. We consider the general case of sequences of maps, which corresponds to a nonautonomous dynamics with discrete time. We also obtain optimal estimates for the decay of trajectories along the stable manifolds. The optimal C ¹ smoothness of the invariant manifolds is obtained using an invariant family of cones.     

Enveloppes inférieures de fonctions admissibles sur l'espace projectif complexe. Cas symétrique

We prove that admissible functions for Fubini-Study metric on the complex projective space PmC of complex dimension m, invariant by a convenient automorphisms group, are lower bounded by a function going to minus infinity on the boundary of usual charts of PmC. A similar lower bound holds on some projective manifolds. This gives an optimal constant in a Hörmander type inequality on these manifolds, which allows us, using Tian's invariant, to establish the existence of Einstein-Kähler metrics on them.     

C Invariant Manifolds for Maps of Banach Spaces

In this work we give a unified proof for the existence, under appropriate gap conditions, of the standard invariant manifolds for a C^k map of a Banach space near a fixed point where k ≥ 1 is an integer.     

Heteroclinic Transition Motions in Periodic Perturbations of Conservative Systems with an Application to Forced Rigid Body Dynamics

We consider periodic perturbations of conservative systems. The unperturbed systems are assumed to have two nonhyperbolic equilibria connected by a heteroclinic orbit on each level set of conservative quantities. These equilibria construct two normally hyperbolic invariant manifolds in the unperturbed phase space, and by invariant manifold theory there exist two normally hyperbolic, locally invariant manifolds in the perturbed phase space. We extend Melnikov’s method to give a condition under which the stable and unstable manifolds of these locally invariant manifolds intersect transversely. Moreover, when the locally invariant manifolds consist of nonhyperbolic periodic orbits, we show that there can exist heteroclinic orbits connecting periodic orbits near the unperturbed equilibria on distinct level sets. This behavior can occur even when the two unperturbed equilibria on each level set coincide and have a homoclinic orbit. In addition, it yields transition motions between neighborhoods of very distant periodic orbits, which are similar to Arnold diffusion for three or more degree of freedom Hamiltonian systems possessing a sequence of heteroclinic orbits to invariant tori, if there exists a sequence of heteroclinic orbits connecting periodic orbits successively.We illustrate our theory for rotational motions of a periodically forced rigid body. Numerical computations to support the theoretical results are also given.     

Minimization of the number of periodic points for smooth self-maps of simply-connected manifolds with periodic sequence of Lefschetz numbers

Let f be a smooth self-map of m-dimensional, m ≥ 4, smooth closed connected and simply-connected manifold, r a fixed natural number. For the class of maps with periodic sequence of Lefschetz numbers of iterations the authors introduced in [Graff G., Kaczkowska A., Reducing the number of periodic points in smooth homotopy class of self-maps of simply-connected manifolds with periodic sequence of Lefschetz numbers, Ann. Polon. Math. (in press)] the topological invariant J[f] which is equal to the minimal number of periodic points with the periods less or equal to r in the smooth homotopy class of f. In this paper the invariant J[f] is computed for self-maps of 4-manifold M with dimH ₂(M; ?) ≤ 4 and estimated for other types of manifolds. We also use J[f] to compare minimization of the number of periodic points in smooth and in continuous categories.     

The Weyl functional near the Yamabe invariant

For a compact manifold M ofdim M=n≥4, we study two conformal invariants of a conformal class C on M. These are the Yamabe constant Y_C(M) and the L^n/2-norm W_C(M) of the Weyl curvature. We prove that for any manifold M there exists a conformal class C such that the Yamabe constant Y_C(M) is arbitrarily close to the Yamabe invariant Y(M), and, at the same time, the constant W_C(M) is arbitrarily large. We study the image of the mapYW:C→(Y_C(M), W_C(M))∈R ² near the line {(Y(M), w)|w∈R}. We also apply our results to certain classes of 4-manifolds, in particular, minimal compact Kähler surfaces of Kodaira dimension 0, 1 or 2.     

On a class of symmetric CR manifolds

We study and classify a large class of minimal orbits in complex flag manifolds for the holomorphic action of a real Lie group. These orbits are all symmetric CR spaces for the restriction of a suitable class of Hermitian invariant metrics on the ambient flag manifold. As a particular case we obtain that the standard compact homogeneous CR manifolds associated with semisimple Levi-Tanaka algebras are symmetric CR-spaces.     

Poincaré bifurcation of a three-dimensional system

Consider a three-dimensional system having an invariant surface. By using bifurcation techniques and analyzing the solutions of bifurcation equations, we study the spatial bifurcation phenomena near a family of periodic orbits and a center in the invariant surface respectively. New formula of Melnikov function is derived and sufficient conditions for the existence of periodic orbits are obtained. An application of our results to a modified van der Pol–Duffing electronic circuit is given.     

Linearization of class C for contractions on Banach spaces

In this work we prove a C¹-linearization result for contraction diffeomorphisms, near a fixed point, valid in infinite-dimensional Banach spaces. As an intermediate step, we prove a specific result of existence of invariant manifolds, which can be interesting by itself and that was needed on the proof of our main theorem. Our results essentially generalize some classical results by P. Hartman in finite dimensions, and a result of Mora-Sola-Morales in the infinite-dimensional case. It is shown that the result can be applied to some abstract systems of semilinear damped wave equations.     

Orthonormal expansions of invariant densities for expanding maps

We give a novel way of constructing the density function for the absolutely continuous invariant measure of piecewise expanding C^ω Markov maps. This is a classical problem, with one of the standard approaches being Ulam's method [Problems in Modern Mathematics, Interscience, New York, 1960] of phase space discretisation.Our method hinges instead on the expansion of the density function with respect to an L² orthonormal basis, and the computation of the expansion coefficients in terms of the periodic orbits of the expanding map. The efficiency of the method, and its extension to C^k expanding maps, are also discussed.     

Systematic Computer Assisted Proofs of periodic orbits of Hamiltonian systems

The numerical study of Dynamical Systems leads to obtain invariant objects of the systems such as periodic orbits, invariant tori, attractors and so on, that helps to the global understanding of the problem. In this paper we focus on the rigorous computation of periodic orbits and their distribution on the phase space, which configures the so called skeleton of the system. We use Computer Assisted Proof techniques to make a rigorous proof of the existence and the stability of families of periodic orbits in two-degrees of freedom Hamiltonian systems, which provide rigorous skeletons of periodic orbits. To that goal we show how to prove the existence and stability of a huge set of discrete initial conditions of periodic orbits, and later, how to prove the existence and stability of continuous families of periodic orbits. We illustrate the approach with two paradigmatic problems: the Hénon–Heiles Hamiltonian and the Diamagnetic Kepler problem.     

Homoclinic orbits and chaos in discretized perturbed NLS systems: Part I. Homoclinic orbits

Summary The existence of homocliic orbits, for a finite-difference discretized form of a damped and driven perturbation of the focusing nonlinear Schroedinger equation under even periodic boundary conditions, is established. More specifically, for external parameters on a codimension 1 submanifold, the existence of homoclinic orbits is established through an argument which combines Melnikov analysis with a geometric singular perturbation theory and a purely geometric argument (called the “second measurement” in the paper). The geometric singular perturbation theory deals with persistence of invariant manifolds and fibration of the persistent invariant manifolds. The approximate location of the codimension 1 submanifold of parameters is calculated. (This is the material in Part I.) Then, in a neighborhood of these homoclinic orbits, the existence of “Smale horseshoes” and the corresponding symbolic dynamics are established in Part II [21].     

Banach Lie algebras with Lie subalgebras of finite codimension: Their invariant subspaces and Lie ideals

The paper studies the existence of closed invariant subspaces for a Lie algebra L of bounded operators on an infinite-dimensional Banach space X. It is assumed that L contains a Lie subalgebra L₀ that has a non-trivial closed invariant subspace in X of finite codimension or dimension. It is proved that L itself has a non-trivial closed invariant subspace in the following two cases: (1) L₀ has finite codimension in L and there are Lie subalgebras L₀=L⁰⊂L¹⊂?⊂Lp=L such that Li+1=Li+[Li,Li+1] for all i; (2) L₀ is a Lie ideal of L and dim(L₀)=∞. These results are applied to the problem of the existence of non-trivial closed Lie ideals and closed characteristic Lie ideals in an infinite-dimensional Banach Lie algebra L that contains a non-trivial closed Lie subalgebra of finite codimension.     

Rotation intervals for chaotic sets

Chaotic invariant sets for planar maps typically contain periodic orbits whose stable and unstable manifolds cross in grid-like fashion. Consider the rotation of orbits around a central fixed point. The intersections of the invariant manifolds of two periodic points with distinct rotation numbers can imply complicated rotational behavior. We show, in particular, that when the unstable manifold of one of these periodic points crosses the stable manifold of the other, and, similarly, the unstable manifold of the second crosses the stable manifold of the first, so that the segments of these invariant manifolds form a topological rectangle, then all rotation numbers between those of the two given orbits are represented. The result follows from a horseshoe-like construction.

     

周期流形的不变环面和次调和分支

本文通过精华Ｆｌｏｑｕｅｔ方法在周期流形的周期轨道邻域建立起适当的局部坐标，然后应用平均法和积分流形及Ｆｅｎｉｃｈｅｌ不变流形理论来证明不变环面和次调和轨道的存在性和法向双曲性．大多数传统的假设被放弃，而大多数已知的结果被推广．文中还给出了一个例子作为应用     

Orbits heteroclinic to invariant manifolds

Using the theory of invariant manifolds, we give local expressions of the stable and unstable manifolds for normally hyperbolic invariant tori, and study the existence of transverse orbits heteroclinic to hyperbolic invariant tori. These extend and improve the corresponding results obtained in [3–5].Supported by the National Natural Science Foundation of China and Shanghai Natural Science Foundation.     

Shilnikov lemma for a nondegenerate critical manifold of a Hamiltonian system

Let M be a normally hyperbolic symplectic critical manifold of a Hamiltonian system. Suppose M consists of equilibria with real eigenvalues. We prove an analog of the Shilnikov lemma (strong version of the λ-lemma) describing the behavior of trajectories near M. Using this result, trajectories shadowing chains of homoclinic orbits to M are represented as extremals of a discrete variational problem. Then the existence of shadowing periodic orbits is proved. This paper is motivated by applications to the Poincaré’s second species solutions of the 3 body problem with 2 masses small of order µ. As µ → 0, double collisions of small bodies correspond to a symplectic critical manifold M of the regularized Hamiltonian system. Thus our results imply the existence of Poincaré’s second species (nearly collision) periodic solutions for the unrestricted 3 body problem.     

Orbits of unbounded energy in quasi-periodic perturbations of geodesic flows

We show that certain mechanical systems, including a geodesic flow in any dimension plus a quasi-periodic perturbation by a potential, have orbits of unbounded energy.The assumptions we make in the case of geodesic flows are:

(a)

The metric and the external perturbation are smooth enough.

(b)

The geodesic flow has a hyperbolic periodic orbit such that its stable and unstable manifolds have a tranverse homoclinic intersection.

(c)

The frequency of the external perturbation is Diophantine.

(d)

The external potential satisfies a generic condition depending on the periodic orbit considered in (b).

The assumptions on the metric are C² open and are known to be dense on many manifolds. The assumptions on the potential fail only in infinite codimension spaces of potentials.The proof is based on geometric considerations of invariant manifolds and their intersections. The main tools include the scattering map of normally hyperbolic invariant manifolds, as well as standard perturbation theories (averaging, KAM and Melnikov techniques).We do not need to assume that the metric is Riemannian and we obtain results for Finsler or Lorentz metrics. Indeed, there is a formulation for Hamiltonian systems satisfying scaling hypotheses. We do not need to make assumptions on the global topology of the manifold nor on its dimension.