No Arabic abstract
Asaoka & Irie recently proved a $C^{infty}$ closing lemma of Hamiltonian diffeomorphisms of closed surfaces. We reformulated their techniques into a more general perturbation lemma for area-preserving diffeomorphism and proved a $C^{infty}$ closing lemma for area-preserving diffeomorphisms on a torus that is isotopic to identity. i.e., we show that the set of periodic orbits is dense for a generic diffeomorphism isotopic to identity area-preserving diffeomorphism on torus. The main tool is the flux vector of area-preserving diffeomorphisms which is, different from Hamiltonian cases, non-zero in general.
The problem of the existence of an additional (independent on the energy) first integral, of a geodesic (or magnetic geodesic) flow, which is polynomial in momenta is studied. The relation of this problem to the existence of nontrivial solutions of stationary dispersionless limits of two-dimensional soliton equations is demonstrated. The nonexistence of an additional quadratic first integral is established for certain classes of magnetic geodesic flows.
We completely integrate the magnetic geodesic flow on a flat two-torus with the magnetic field $F = cos (x) dx wedge dy$ and describe all contractible periodic magnetic geodesics. It is shown that there are no such geodesics for energy $E geq 1/2$, for $E< 1/2$ simple periodic magnetic geodesics form two $S^1$-families for which the (fixed energy) action functional is positive and therefore there are no periodic magnetic geodesics for which the action functional is negative.
We reprove the $lambda$-Lemma for finite dimensional gradient flows by generalizing the well-known contraction method proof of the local (un)stable manifold theorem. This only relies on the forward Cauchy problem. We obtain a rather quantitative description of (un)stable foliations which allows to equip each leaf with a copy of the flow on the central leaf -- the local (un)stable manifold. These dynamical thickenings are key tools in our recent work [Web]. The present paper provides their construction.
We show that joinings of higher rank torus actions on S-arithmetic quotients of semi-simple or perfect algebraic groups must be algebraic.
We prove that for Anosov maps of the $3$-torus if the Lyapunov exponents of absolutely continuous measures in every direction are equal to the geometric growth of the invariant foliations then $f$ is $C^1$ conjugated to his linear part.