We describe necessary and sufficient conditions for an orientation preserving fixed point free planar homeomorphism that preserves the standard Reeb foliation to embed in a planar flow that leaves the foliation invariant.
In this paper we show that every homeomorphism of the plane with the topological shadowing property has a fixed point. Also, we show that a linear isomorphism of an Euclidean space has the topological shadowing property if and only if the origin is an attractor or a repeller.
This article tackles the problem of the classification of expansive homeomorphisms of the plane. Necessary and sufficient conditions for a homeomorphism to be conjugate to a linear hyperbolic automorphism will be presented. The techniques involve topological and metric aspects of the plane. The use of a Lyapunov metric function which defines the same topology as the one induced by the usual metric but that, in general, is not equivalent to it is an example of such techniques. The discovery of a hypothesis about the behavior of Lyapunov functions at infinity allows us to generalize some results…
This paper deals with classifying the dynamics of {\it Topologically Anosov} plane homeomorphisms. We prove that a Topologically Anosov homeomorphism $f:\mathbb{R}^2 \to \mathbb{R}^2$ is conjugate to a homothety if it is the time one map of a flow. We also obtain results for the cases when the nonwandering set of $f$ reduces to a fixed point, or if there exists an open, connected, simply connected proper subset $U$ such that $U \subset \mathrm{Int}(\overline {f(U)})$, and such that $ \cup_{n\geq 0} f^n (U)= \mathbb{R}^2$. In the general case, we prove a structure theorem for the $α$-limits of …
Given $p/q$ and $p'/q$ both irreducible, we construct homeomorphisms between the $p/q$ and the $p'/q$ limbs of the Mandelbrot set. This homeomorphisms are not compatible with the dynamics. Moreover, the filled Julia sets of corresponding parameter values are also homeomorphic. All the homeomorphisms above have counterparts on the combinatorial level relating corresponding external arguments, in the dynamical planes as well as in the parameter spaces. Assuming local connectivity of $M$ we may conclude that the constructed homeomorphisms between limbs are compatible with the embeddings of the li…
In this paper it is proved that there is no minimal action (i.e. every orbit is dense) of Z^2 on the plane. The proof uses the non-existence of minimal homeomorphisms on the infinite annulus (Le Calvez-Yoccoz's theorem), and the theory of Brouwer homeomorphisms.
Given an integer m>1 we consider Zm-equivariant and orientation preserving homeomorphisms in the plane with an asymptotically stable fixed point at the origin. We present examples without periodic points and having some complicated dynamical features. The key is a preliminary construction of Zm-equivariant Denjoy maps of the circle.
Let f be an orientation-preserving homeomorphism of the plane such that f-Id is contracting. Under these hypotheses, we establish the existence, for every periodic orbit, of a fixed point which has nonzero linking number with this periodic orbit.
We study in this paper global properties, mainly of topological nature, of attractors of discrete dynamical systems. We consider the Andronov-Hopf bifurcation for homeomorphisms of the plane and establish some robustness properties for attractors of such homeomorphisms. We also give relations between attractors of flows and quasi-attractors of homeomorphisms in Rn. Finally, we give a result on the shape (in the sense of Borsuk) of invariant sets of IFSs on the plane, and make some remarks about the recent theory of Conley attractors for IFS.
Pecora and Carroll presented a notion of synchronization where an (n-1)-dimensional nonautonomous system is constructed from a given $n$-dimensional dynamical system by imposing the evolution of one coordinate. They noticed that the resulting dynamics may be contracting even if the original dynamics are not. It is easy to construct flows or maps such that no coordinate has synchronizing properties, but this cannot be done in an open set of linear maps or flows in $\R^n$, $n\geq 2$. In this paper we give examples of real analytic homeomorphisms of $\R^2$ such that the non-synchronizability is s…
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.
Let f:E -> E be a homeomorphism of the plane E. We define open sets P, called {\em pruning fronts} after the work of Cvitanović, for which it is possible to construct an isotopy H: E x [0,1] -> E with open support contained in the union of f^{n}(P), such that H(*,0)=f(*) and H(*,1)=f_P(*), where f_P is a homeomorphism under which every point of P is wandering. Applying this construction with f being Smale's horseshoe, it is possible to obtain an uncountable family of homeomorphisms, depending on infinitely many parameters, going from trivial to chaotic dynamic behaviour. This family is a 2-dim…
Let G be a group acting on the plane by orientation-preserving homeomorphisms. We show that if for some k>0 there is a ball of radius r > k/\sqrt{3} such that each point x in the ball satisfies |gx -hx| < k for all g, h in G, and the action of G satisfies a nonwandering hypothesis, then the action has a global fixed point. In particular, any group of measure-preserving orientation preserving homeomorphisms of the plane with uniformly bounded orbits has a global fixed point. The constant k/\sqrt{3} is sharp. We also show that a group acting on the plane with orbits bounded as above is left orde…
The goal of this paper is proving the existence and then localizing global fixed points for nilpotent groups generated by homeomorphisms of the plane satisfying a certain Lipschitz condition. The condition is inspired in a classical result of Bonatti for commuting diffeomorphisms of the 2-sphere and in particular it is satisfied by diffeomorphisms, not necessarily of class $C^{1}$, whose linear part at every point is uniformly close to the identity. In this same setting we prove a version of the Cartwright-Littlewood theorem, obtaining fixed points in any continuum preserved by a nilpotent act…
We provide sufficient conditions so that a homeomorphism of the real line or of the circle admits an extension to a mapping of finite distortion in the upper half-plane or the disk, respectively. Moreover, we can ensure that the quasiconformal dilatation of the extension satisfies certain integrability conditions, such as $p$-integrability or exponential integrability. Mappings satisfying the latter integrability condition are also known as David homeomorphisms. Our extension operator is the same as the one used by Beurling and Ahlfors in their celebrated work. We prove an optimal bound for th…
Let $BS(1,n)= \langle a,b : a b a ^{-1} = b ^n\rangle$ be the solvable Baumslag-Solitar group for $n \geq 2$. We study representations of $BS(1, n)$ on the plane by orientation preserving homeomorphisms, assuming that $a$ acts as a linear map and $b$ as a map with bounded displacement. We find that the possibilities for a faithful action depend greatly on the Jordan canonical form of the map $h$ defined by the action of $a$. In case $h$ is diagonalizable over $\mathbb R$, we shall give examples or prove rigidity theorems depending on the eigenvalues. We also show some rigidity in the cases whe…
In this paper we study free mappings of the plane, that is orientation preserving fixed point free homeomorphisms of $\mathbb{R}^2$. We provide a necessary and sufficient condition under which two free mappings of the plane that are embedded in flows are conjugate to one another using Haefliger-Reeb theory of plane foliations.
Let $h$ be a without fixed point lift to the plane of a homeomorphism of the open annulus isotopic to the identity and without wandering point. We show that $h$ admits a $h$-invariant dense open set $O$ on which it is conjugate to a translation and we study the action of $h$ on the compactly connected components of the closed and without interior set ${\bf R}^2 \setminus O$.
We describe the structure of the free actions of the Klein bottle group by orientation preserving homeomorphisms of the plane. This group is generated by two elements $a,b$, where the conjugate of $b$ by $a$ equals the inverse of $b$. The main result is that $a$ must act properly discontinuously, while $b$ cannot act properly discontinuously. As a corollary, we describe some torsion free groups that cannot act freely on the plane. We also find some properties which are reminiscent of Brouwer theory for the infinite cyclic group $Z$, in particular that every free action is virtually wandering.
This paper studies the behavior under iteration of the maps T_{ab}(x,y)=(F_{ab}(x)-y,x) of the plane R^2, in which F_{ab}(x)=ax if x>=0 and bx if x<0. The orbits under iteration correspond to solutions of the nonlinear difference equation x_{n+2}= 1/2(a-b)|x_{n+1}| + 1/2(a+b)x_{n+1} - x_n. This family of maps has the parameter space (a,b)\in R^2. These maps are area-preserving homeomorphisms of R^s that map rays from the origin into rays from the origin. This paper shows the existence of special parameter values where T_{ab} has every nonzero orbit an invariant circle with irrational rotation …
This paper studies the behavior under iteration of the maps T_{ab}(x,y) = (F_{ab}(x)-y,x) of the plane R^2, in which F_{ab}(x)=ax if x>=0 and bx if x<0. The orbits under iteration correspond to solutions of the nonlinear difference equation x_{n+2}= 1/2(a-b)|x_{n+1}| + 1/2(a+b)x_{n+1} - x_n. This family of piecewise-linear maps has the parameter space (a,b)\in R^2. These maps are area-preserving homeomorphisms of R^2 that map rays from the origin into rays from the origin. The action on rays defines a map S_{ab} of the circle, which has a well-defined rotation number. This paper characterizes …
We consider a class of foliations on the complex projective plane that are determined by a quadratic vector field in a fixed affine neighborhood. Such foliations, as a rule, have an invariant line at infinity. Two foliations with singularities on $\mathbb C P^2$ are topologically equivalent provided that there exists a homeomorphism of the projective plane onto itself that preserves orientation both on the leaves and in $\mathbb C P^2$ and brings the leaves of the first foliation to that of the second one. We prove that a generic foliation of this class may be topologically equivalent to but a…
This paper provides a canonical compactification of the plane ${\mathbb R}^2$ by adding a circle at infinity associated to a countable family of singular foliations or laminations (under some hypotheses), generalizing an idea by Mather \cite{Ma}. Moreover any homeomorphism of ${\mathbb R}^2 $ preserving the foliations extends on the circle at infinity. Then this paper provides conditions ensuring the minimality of the action on the circle at infinity induced by an action on ${\mathbb R}^2 $ preserving one foliation or two transverse foliations. In particular the action on the circle at infinit…
This paper studies the behavior under iteration of the maps T_{ab}(x,y) = (F_{ab}(x)- y, x) of the plane R^2, in which F_{ab}(x)= ax if x>0 and bx if x<0. These maps are area-preserving homeomorphisms of the plane that map rays from the origin into rays from the origin. Orbits of the map correspond to solutions of the nonlinear difference equation x_{n+2}= 1/2(a-b)|x_{n+1}| + 1/2(a+b)x_{n+1} - x_n. This difference equation can be written in an eigenvalue form for a nonlinear difference operator of Schrodinger type, in which μ= 1/2(a-b) is viewed as fixed and the energy E=2- 1/2(a+b). The paper…
We study groups of C^1 orientation-preserving homeomorphisms of the plane, and pursue analogies between such groups and circularly-orderable groups. We show that every such group with a bounded orbit is circularly-orderable, and show that certain generalized braid groups are circularly-orderable. We also show that the Euler class of C^infty diffeomorphisms of the plane is an unbounded class, and that any closed surface group of genus >1 admits a C^infty action with arbitrary Euler class. On the other hand, we show that Z oplus Z actions satisfy a homological rigidity property: every orientatio…