No Arabic abstract
In 1980, Albert Fathi asked whether the group of area-preserving homeomorphisms of the 2-disc that are the identity near the boundary is a simple group. In this paper, we show that the simplicity of this group is equivalent to the following fragmentation property in the group of compactly supported, area preserving diffeomorphisms of the plane: there exists a constant m such that every element supported on a disc D is the product of at most m elements supported on topological discs whose area are half the area of D.
The two main results of this paper concern the regularity of the invariant foliation of a C0-integrable symplectic twist diffeomorphisms of the 2-dimensional annulus, namely that $bullet$ the generating function of such a foliation is C1 ; $bullet$ the foliation is H{o}lder with exponent 1/2. We also characterize foliations by graphs that are straightenable via a symplectic homeomorphism and prove that every symplectic homeomorphism that leaves invariant all the leaves of a straightenable foliation has Arnold-Liouville coordinates, in which the Dynamics restricted to the leaves is conjugated to a rotation. We deduce that every Lipschitz integrable symplectic twist diffeomorphisms of the 2-dimensional annulus has Arnold-Liouville coordinates and then provide examples of strange Lipschitz foliations in smooth curves that cannot be straightened by a symplectic homeomorphism and cannot be invariant by a symplectic twist diffeomorphism.This article is a part of another preprint of the authors, entitled On the transversal dependence of weak K.A.M. solutions for symplectic twist maps, after rewriting ant adding of the H{o}lder part.
We generalize the hamiltonian topology on hamiltonian isotopies to an intrinsic symplectic topology on the space of symplectic isotopies. We use it to define the group $SSympeo(M,omega)$ of strong symplectic homeomorphisms, which generalizes the group $Hameo(M,omega)$ of hamiltonian homeomorphisms introduced by Oh and Muller. The group $SSympeo(M,omega)$ is arcwise connected, is contained in the identity component of $Sympeo(M,omega)$; it contains $Hameo(M,omega)$ as a normal subgroup and coincides with it when $M$ is simply connected. Finally its commutator subgroup $[SSympeo(M,omega),SSympeo(M,omega)]$ is contained in $Hameo(M,omega)$.
We provide a new geometric proof of Reimanns theorem characterizing quasiconformal mappings as the ones preserving functions of bounded mean oscillation. While our proof is new already in the Euclidean spaces, it is applicable in Heisenberg groups as well as in more general stratified nilpotent Carnot groups.
We study an equation lying `mid-way between the periodic Hunter-Saxton and Camassa-Holm equations, and which describes evolution of rotators in liquid crystals with external magnetic field and self-interaction. We prove that it is an Euler equation on the diffeomorphism group of the circle corresponding to a natural right-invariant Sobolev metric. We show that the equation is bihamiltonian and admits both cusped, as well as smooth, traveling-wave solutions which are natural candidates for solitons. We also prove that it is locally well-posed and establish results on the lifespan of its solutions. Throughout the paper we argue that despite similarities to the KdV, CH and HS equations, the new equation manifests several distinctive features that set it apart from the other three.
A group $G$ is said to be periodic if for any $gin G$ there exists a positive integer $n$ with $g^n=id$. We prove that a finitely generated periodic group of homeomorphisms on the 2-torus that preserves a measure $mu$ is finite. Moreover if the group consists in homeomorphisms isotopic to the identity, then it is abelian and acts freely on $mathbb{T}^2$. In the Appendix, we show that every finitely generated 2-group of toral homeomorphisms is finite.