-
Analytic pseudo-rotations II: a principle for spheres, disks and annuli
Authors:
Pierre Berger
Abstract:
We construct analytic surface symplectomorphisms with unstable elliptic fixed points; this solves a problem of Birkhoff (1927). More precisely, we construct analytic symplectomorphisms of the sphere and of the disk which are transitive, with respectively only 2 and 1 periodic points. This also solves problems of proposed by Herman (1998), Fayad-Katok (2004) and Fayad-Krikorian (2018). To establish…
▽ More
We construct analytic surface symplectomorphisms with unstable elliptic fixed points; this solves a problem of Birkhoff (1927). More precisely, we construct analytic symplectomorphisms of the sphere and of the disk which are transitive, with respectively only 2 and 1 periodic points. This also solves problems of proposed by Herman (1998), Fayad-Katok (2004) and Fayad-Krikorian (2018). To establish these results, we introduce a principle that enables to realize, by an analytic symplectomorphism, properties which are $C^0$-realizable by the approximation by conjugacy method of Anosov-Katok.
△ Less
Submitted 16 April, 2024; v1 submitted 23 February, 2024;
originally announced February 2024.
-
Hénon maps: a list of open problems
Authors:
Pierre Berger,
Eric Bedford,
Fabrizio Bianchi,
Xavier Buff,
Sylvain Crovisier,
Tien-Cuong Dinh,
Romain Dujardin,
Charles Favre,
Tanya Firsova,
Patrick Ingram,
Yutaka Ishii,
Liviana Palmisano,
Enrique Pujals,
Jasmin Raissy,
Sonja Štimac,
Gabriel Vigny
Abstract:
We propose a set of questions on the dynamics of Hénon maps from the real, complex, algebraic and arithmetic points of view.
We propose a set of questions on the dynamics of Hénon maps from the real, complex, algebraic and arithmetic points of view.
△ Less
Submitted 6 December, 2023;
originally announced December 2023.
-
Generators of groups of Hamitonian maps
Authors:
Pierre Berger,
Dmitry Turaev
Abstract:
We prove that analytic Hamiltonian dynamics on tori, annuli, or Euclidean space can be approximated by a composition of nonlinear shear maps where each of the shears depends only on the position or only on the momentum.
We prove that analytic Hamiltonian dynamics on tori, annuli, or Euclidean space can be approximated by a composition of nonlinear shear maps where each of the shears depends only on the position or only on the momentum.
△ Less
Submitted 26 October, 2022;
originally announced October 2022.
-
Every diffeomorphism is a total renormalization of a close to identity map
Authors:
Pierre Berger,
Nicolaz Gourmelon,
Mathieu Helfter
Abstract:
For any $1\le r\le \infty$, we show that every diffeomorphism of a manifold of the form $\mathbb{R}/\mathbb{Z} \times M$ is a total renormalization of a $C^r$-close to identity map. In other words, for every diffeomorphism $f$ of $\mathbb{R}/\mathbb{Z} \times M$, there exists a map $g$ arbitrarily close to identity such that the first return map of $g$ to a domain is conjugate to $f$ and moreover…
▽ More
For any $1\le r\le \infty$, we show that every diffeomorphism of a manifold of the form $\mathbb{R}/\mathbb{Z} \times M$ is a total renormalization of a $C^r$-close to identity map. In other words, for every diffeomorphism $f$ of $\mathbb{R}/\mathbb{Z} \times M$, there exists a map $g$ arbitrarily close to identity such that the first return map of $g$ to a domain is conjugate to $f$ and moreover the orbit of this domain is equal to $\mathbb{R}/\mathbb{Z} \times M$. This enables us to localize nearby the identity the existence of many properties in dynamical systems, such as being Bernoulli for a smooth volume form.
△ Less
Submitted 3 December, 2024; v1 submitted 17 October, 2022;
originally announced October 2022.
-
Parametric linearization of skew products
Authors:
Pierre Berger,
Bernhard Reinke
Abstract:
We establish a linearization criterion for skew products of contractions in any dimension. We prove their smooth or holomorphic parameter dependence. In the smooth setting, we use the language of tame Fréchet spaces. We apply our result to the linearization of totally projectively expanding Cantor sets.
We establish a linearization criterion for skew products of contractions in any dimension. We prove their smooth or holomorphic parameter dependence. In the smooth setting, we use the language of tame Fréchet spaces. We apply our result to the linearization of totally projectively expanding Cantor sets.
△ Less
Submitted 11 October, 2022;
originally announced October 2022.
-
Analytic pseudo-rotations
Authors:
Pierre Berger
Abstract:
We construct analytic symplectomorphisms of the cylinder or the sphere with zero or exactly two periodic points and which are not conjugated to a rotation. In the case of the cylinder, we show that these symplectomorphisms can be chosen ergodic or to the contrary with local emergence of maximal order. In particular, this disproves a conjecture of Birkhoff (1941) and solve a problem of Herman (1998…
▽ More
We construct analytic symplectomorphisms of the cylinder or the sphere with zero or exactly two periodic points and which are not conjugated to a rotation. In the case of the cylinder, we show that these symplectomorphisms can be chosen ergodic or to the contrary with local emergence of maximal order. In particular, this disproves a conjecture of Birkhoff (1941) and solve a problem of Herman (1998). One aspect of the proof provides a new approximation theorem, it enables in particular to implement the Anosov-Katok scheme in new analytic settings.
△ Less
Submitted 7 October, 2022;
originally announced October 2022.
-
Steady Euler flows on $\mathbb{R}^3$ with wild and universal dynamics
Authors:
Pierre Berger,
Anna Florio,
Daniel Peralta-Salas
Abstract:
Understanding complexity in fluid mechanics is a major problem that has attracted the attention of physicists and mathematicians during the last decades. Using the concept of renormalization in dynamics, we show the existence of a locally dense set $\mathscr G$ of stationary solutions to the Euler equations in $\mathbb R^3$ such that each vector field $X\in \mathscr G$ is universal in the sense th…
▽ More
Understanding complexity in fluid mechanics is a major problem that has attracted the attention of physicists and mathematicians during the last decades. Using the concept of renormalization in dynamics, we show the existence of a locally dense set $\mathscr G$ of stationary solutions to the Euler equations in $\mathbb R^3$ such that each vector field $X\in \mathscr G$ is universal in the sense that any area preserving diffeomorphism of the disk can be approximated (with arbitrary precision) by the Poincaré map of $X$ at some transverse section. We remark that this universality is approximate but occurs at all scales. In particular, our results establish that a steady Euler flow may exhibit any conservative finite codimensional dynamical phenomenon; this includes the existence of horseshoes accumulated by elliptic islands, increasing union of horseshoes of Hausdorff dimension $3$ or homoclinic tangencies of arbitrarily high multiplicity. The steady solutions we construct are Beltrami fields with sharp decay at infinity. To prove these results we introduce new perturbation methods in the context of Beltrami fields that allow us to import deep techniques from bifurcation theory: the Gonchenko-Shilnikov-Turaev universality theory and the Newhouse and Duarte theorems on the geometry of wild hyperbolic sets. These perturbation methods rely on two tools from linear PDEs: global approximation and Cauchy-Kovalevskaya theorems. These results imply a strong version of V.I. Arnold's vision on the complexity of Beltrami fields in Euclidean space.
△ Less
Submitted 6 February, 2022;
originally announced February 2022.
-
Coexistence of chaotic and elliptic behaviors among analytic, symplectic diffeomorphisms of any surface
Authors:
Pierre Berger
Abstract:
We show the coexistence of chaotic behaviors (positive metric entropy) and elliptic behaviors (intregrable KAM island) among analytic, symplectic diffeomorphism of any closed surface. In particilar this solves a problem by F. Przytycki (1982).
We show the coexistence of chaotic behaviors (positive metric entropy) and elliptic behaviors (intregrable KAM island) among analytic, symplectic diffeomorphism of any closed surface. In particilar this solves a problem by F. Przytycki (1982).
△ Less
Submitted 18 May, 2021;
originally announced May 2021.
-
Germ-typicality of the coexistence of infinitely many sinks
Authors:
Pierre Berger,
Sylvain Crovisier,
Enrique Pujals
Abstract:
In the spirit of Kolmogorov typicality, we introduce the notion of germ-typicality: in a space of dynamics, it encompass all these phenomena that occur for a dense and open subset of parameters of any generic parametrized family of systems.
For any $2\le r<\infty$, we prove that the Newhouse phenomenon (the coexistence of infinitely many sinks) is locally $C^r$-germ-typical, nearby a dissipative…
▽ More
In the spirit of Kolmogorov typicality, we introduce the notion of germ-typicality: in a space of dynamics, it encompass all these phenomena that occur for a dense and open subset of parameters of any generic parametrized family of systems.
For any $2\le r<\infty$, we prove that the Newhouse phenomenon (the coexistence of infinitely many sinks) is locally $C^r$-germ-typical, nearby a dissipative bicycle: a dissipative homoclinic tangency linked to a special heterodimensional cycle.
During the proof we show a result of independent interest: the stabilization of some heterodimensional cycles for any regularity class $r\in \{1, \dots, \infty\}\cup \{ω\}$ by introducing a new renormalization scheme. We also continue the study of the paradynamics done in [Be15,Be17,BCP16] and prove that parablenders appear by unfolding some heterodimensional cycles.
△ Less
Submitted 30 March, 2021;
originally announced March 2021.
-
Emergence of wandering stable components
Authors:
Pierre Berger,
Sebastien Biebler
Abstract:
We prove the existence of a locally dense set of real polynomial automorphisms of C 2 displaying a wandering Fatou component; in particular this solves the problem of their existence, reported by Bedford and Smillie in 1991. These Fatou components have non-empty real trace and their statistical behavior is historical with high emergence. The proof is based on a geometric model for parameter famili…
▽ More
We prove the existence of a locally dense set of real polynomial automorphisms of C 2 displaying a wandering Fatou component; in particular this solves the problem of their existence, reported by Bedford and Smillie in 1991. These Fatou components have non-empty real trace and their statistical behavior is historical with high emergence. The proof is based on a geometric model for parameter families of surface real mappings. At a dense set of parameters, we show that the dynamics of the model displays a historical, high emergent, stable domain. We show that this model can be embedded into families of H{é}non maps of explicit degree and also in an open and dense set of 5-parameter C r-families of surface diffeomorphisms in the Newhouse domain, for every 2 $\le$ r $\le$ $\infty$ and r = $ω$. This implies a complement of the work of Kiriki and Soma (2017), a proof of the last Taken's problem in the C $\infty$ and C $ω$-case. The main difficulty is that here perturbations are done only along finite-dimensional parameter families. The proof is based on the multi-renormalization introduced in [Ber18].
△ Less
Submitted 18 March, 2022; v1 submitted 23 January, 2020;
originally announced January 2020.
-
Complexities of differentiable dynamical systems
Authors:
Pierre Berger
Abstract:
We define the notion of localizable property for a dynamical system. Then we survey three properties of complexity and relate how they are known to be typical among differentiable dynamical systems. These notions are the fast growth of the number of periodic points, the positive entropy and the high emergence. We finally propose a dictionary between the previously explained theory on entropy and t…
▽ More
We define the notion of localizable property for a dynamical system. Then we survey three properties of complexity and relate how they are known to be typical among differentiable dynamical systems. These notions are the fast growth of the number of periodic points, the positive entropy and the high emergence. We finally propose a dictionary between the previously explained theory on entropy and the ongoing one on emergence.
△ Less
Submitted 25 October, 2019;
originally announced October 2019.
-
Strong regularity
Authors:
Pierre Berger,
Jean-Christophe Yoccoz
Abstract:
This is an introduction of a book called "strong regularity", to appear at Astérisque, containing:
1) Yoccoz' proof of Jakobson theorem www.college-de-france.fr/media/jean-christophe-yoccoz/UPL7416254474776698194_Jakobson_jcy.pdf
2) Berger's proof of the abundance of non-uniformly hyperbolic Hénon like endomorphisms arxiv.org/abs/0903.1473
It gives an overview of the main examples and conjec…
▽ More
This is an introduction of a book called "strong regularity", to appear at Astérisque, containing:
1) Yoccoz' proof of Jakobson theorem www.college-de-france.fr/media/jean-christophe-yoccoz/UPL7416254474776698194_Jakobson_jcy.pdf
2) Berger's proof of the abundance of non-uniformly hyperbolic Hénon like endomorphisms arxiv.org/abs/0903.1473
It gives an overview of the main examples and conjectures of non-uniformly hyperbolic set for low dimensional dynamical systems. It compares the proofs of parameter selections based on the concept of binding with those based on the one of strong regularity.
△ Less
Submitted 27 January, 2019;
originally announced January 2019.
-
On Emergence and Complexity of Ergodic Decompositions
Authors:
Pierre Berger,
Jairo Bochi
Abstract:
A concept of emergence was recently introduced in the paper [Berger] in order to quantify the richness of possible statistical behaviors of orbits of a given dynamical system. In this paper, we develop this concept and provide several new definitions, results, and examples. We introduce the notion of topological emergence of a dynamical system, which essentially evaluates how big the set of all it…
▽ More
A concept of emergence was recently introduced in the paper [Berger] in order to quantify the richness of possible statistical behaviors of orbits of a given dynamical system. In this paper, we develop this concept and provide several new definitions, results, and examples. We introduce the notion of topological emergence of a dynamical system, which essentially evaluates how big the set of all its ergodic probability measures is. On the other hand, the metric emergence of a particular reference measure (usually Lebesgue) quantifies how non-ergodic this measure is. We prove fundamental properties of these two emergences, relating them with classical concepts such as Kolmogorov's $ε$-entropy of metric spaces and quantization of measures. We also relate the two types of emergences by means of a variational principle. Furthermore, we provide several examples of dynamics with high emergence. First, we show that the topological emergence of some standard classes of hyperbolic dynamical systems is essentially the maximal one allowed by the ambient. Secondly, we construct examples of smooth area-preserving diffeomorphisms that are extremely non-ergodic in the sense that the metric emergence of the Lebesgue measure is essentially maximal. These examples confirm that super-polynomial emergence indeed exists, as conjectured in the paper [Berger]. Finally, we prove that such examples are locally generic among smooth diffeomorphisms.
△ Less
Submitted 30 June, 2021; v1 submitted 10 January, 2019;
originally announced January 2019.
-
Zoology in the Hénon family: twin babies and Milnor's swallows
Authors:
Pierre Berger
Abstract:
We study $C^{d,r}$-Hénon-like families $(f_{a\, b})_{a\, b}$ with two parameters $(a,b)\in \mathbb R^2$. We show the existence of an open set of parameters $(a,b)\in \mathcal D$, so that a renormalization chart conjugates an iterate of $f_{a\, b}$ to a perturbation of $(x,y)\mapsto ((x^2+c_1)^2+c_2,0)$. We prove that the map $(a,b)\in \mathcal D\mapsto (c_1,c_2)$ is a $C^d$-diffeomorphism; as firs…
▽ More
We study $C^{d,r}$-Hénon-like families $(f_{a\, b})_{a\, b}$ with two parameters $(a,b)\in \mathbb R^2$. We show the existence of an open set of parameters $(a,b)\in \mathcal D$, so that a renormalization chart conjugates an iterate of $f_{a\, b}$ to a perturbation of $(x,y)\mapsto ((x^2+c_1)^2+c_2,0)$. We prove that the map $(a,b)\in \mathcal D\mapsto (c_1,c_2)$ is a $C^d$-diffeomorphism; as first numerically conjectured by Milnor in 1992.
Furthermore, we show the existence of an open set of parameters $(a,b)$ so that $f_{a\, b}$ displays exactly two different renormalized Hénon-like maps whose basins union attracts Lebesgue a.e. point with bounded forward orbit. A great freedom in the choice of the renormalized parameters enables us to deduce in particular the existence of a (unperturbed) Hénon map with exactly $2$ attracting cycles (an answer to a Question by Lyubich).
The proof is based on a generalization of puzzle pieces for Hénon-like maps, and on a generalization of both the affine-like formalism of Palis-Yoccoz and the cross map of Shilnikov. The distortion bounds enable us to define (for the first time) $C^{r}$ and $C^{d,r}$-renormalizations and multi-renormalizations with bounds on all the derivatives.
△ Less
Submitted 17 January, 2018;
originally announced January 2018.
-
Sampling and Reconstruction in Distinct Subspaces Using Oblique Projections
Authors:
Peter Berger,
Karlheinz Gröchenig,
Gerald Matz
Abstract:
We study reconstruction operators on a Hilbert space that are exact on a given reconstruction subspace. Among those the reconstruction operator obtained by the least squares fit has the smallest operator norm, and therefore is most stable with respect to noisy measurements. We then construct the operator with the smallest possible quasi-optimality constant, which is the most stable with respect to…
▽ More
We study reconstruction operators on a Hilbert space that are exact on a given reconstruction subspace. Among those the reconstruction operator obtained by the least squares fit has the smallest operator norm, and therefore is most stable with respect to noisy measurements. We then construct the operator with the smallest possible quasi-optimality constant, which is the most stable with respect to a systematic error appearing before the sampling process (model uncertainty). We describe how to vary continuously between the two reconstruction methods, so that we can trade stability for quasi-optimality. As an application we study the reconstruction of a compactly supported function from nonuniform samples of its Fourier transform.
△ Less
Submitted 20 June, 2017;
originally announced June 2017.
-
On Herman's Positive Entropy Conjecture
Authors:
Pierre Berger,
Dimitry Turaev
Abstract:
We show that any area-preserving $C^r$-diffeomorphism of a two-dimensional surface displaying an elliptic fixed point can be $C^r$-perturbed to one exhibiting a chaotic island whose metric entropy is positive, for every $1\le r\le \infty$. This proves a conjecture of Herman stating that the identity map of the disk can be $C^\infty$-perturbed to a conservative diffeomorphism with positive metric e…
▽ More
We show that any area-preserving $C^r$-diffeomorphism of a two-dimensional surface displaying an elliptic fixed point can be $C^r$-perturbed to one exhibiting a chaotic island whose metric entropy is positive, for every $1\le r\le \infty$. This proves a conjecture of Herman stating that the identity map of the disk can be $C^\infty$-perturbed to a conservative diffeomorphism with positive metric entropy. This implies also that the Chirikov standard map for large and small parameter values can be $C^\infty$-approximated by a conservative diffeomorphisms displaying a positive metric entropy (a weak version of Sinai's positive metric entropy conjecture). Finally, this sheds light onto a Herman's question on the density of $C^r$-conservative diffeomorphisms displaying a positive metric entropy: we show the existence of a dense set formed by conservative diffeomorphism which either are weakly stable (so, conjecturally, uniformly hyperbolic) or display a chaotic island of positive metric entropy.
△ Less
Submitted 8 April, 2017;
originally announced April 2017.
-
Lectures on Structural Stability in Dynamics
Authors:
Pierre Berger
Abstract:
These lectures present results and problems on the characterization of structurally stable dynamics. We will shed light those which do not seem to depend on the regularity class (holomorphic or differentiable). Furthermore, we will present some links between the problems of structural stability in dynamical systems and in singularity theory.
These lectures present results and problems on the characterization of structurally stable dynamics. We will shed light those which do not seem to depend on the regularity class (holomorphic or differentiable). Furthermore, we will present some links between the problems of structural stability in dynamical systems and in singularity theory.
△ Less
Submitted 28 February, 2017;
originally announced March 2017.
-
Generic family displaying robustly a fast growth of the number of periodic points
Authors:
Pierre Berger
Abstract:
For any $ 2 \le r \le \infty$, $n\ge2$, we prove the existence of an open set $U$ of $C^r$-self-mappings of any $n$-manifold so that a generic map $f$ in $U$ displays a fast growth of the number of periodic points: the number of its $n$-periodic points grows as fast as asked. This complements the works of Martens-de Melo-van Strien, Kaloshin, Bonatti-D\' iaz-Fisher and Turaev, to give a full answe…
▽ More
For any $ 2 \le r \le \infty$, $n\ge2$, we prove the existence of an open set $U$ of $C^r$-self-mappings of any $n$-manifold so that a generic map $f$ in $U$ displays a fast growth of the number of periodic points: the number of its $n$-periodic points grows as fast as asked. This complements the works of Martens-de Melo-van Strien, Kaloshin, Bonatti-D\' iaz-Fisher and Turaev, to give a full answer to questions asked by Smale in 1967, Bowen in 1978 and Arnold in 1989, for any manifold of any dimension and for any smoothness.
Furthermore for any $1\le r<\infty$ and any $k\ge 0$, we prove the existence of an open set $\hat U$ of $k$-parameter families in $U$ so that for a generic $(f_p)_p\in \hat U$, for every $\|p\|\le 1$, the map $f_p$ displays a fast growth of the number of periodic points. This gives a negative answer to a problem asked by Arnold in 1992 in the finitely smooth case.
△ Less
Submitted 8 January, 2021; v1 submitted 9 January, 2017;
originally announced January 2017.
-
Emergence and non-typicality of the finiteness of the attractors in many topologies
Authors:
Pierre Berger
Abstract:
We will introduce the notion of Emergence for a dynamical system, and we will conjecture the local typicality of super-polynomial ones. Then, as part of this program, we will provide sufficient conditions for an open set of Cd-families of Cr-dynamics to contain a Baire generic set formed by families displaying infinitely many sinks at every parameter, for all 1 \le d \le r with d finite (and r pos…
▽ More
We will introduce the notion of Emergence for a dynamical system, and we will conjecture the local typicality of super-polynomial ones. Then, as part of this program, we will provide sufficient conditions for an open set of Cd-families of Cr-dynamics to contain a Baire generic set formed by families displaying infinitely many sinks at every parameter, for all 1 \le d \le r with d finite (and r possibly infinite) for two different topologies on families. In particular the case d=r=1 is new.
△ Less
Submitted 10 March, 2017; v1 submitted 28 September, 2016;
originally announced September 2016.
-
Iterated Functions Systems, Blenders and Parablenders
Authors:
Pierre Berger,
Sylvain Crovisier,
Enrique Pujals
Abstract:
We recast the notion of parablender introduced in [Berger2015] as a parametric IFS. This is done using the concept of open covering property and looking to parametric IFS as systems acting on jets.
We recast the notion of parablender introduced in [Berger2015] as a parametric IFS. This is done using the concept of open covering property and looking to parametric IFS as systems acting on jets.
△ Less
Submitted 30 May, 2016; v1 submitted 3 March, 2016;
originally announced March 2016.
-
The non-hyperbolicity of irrational invariant curves for twist maps and all that follows
Authors:
M. -C Arnaud,
P Berger
Abstract:
The key result of this article is key lemma: if a Jordan curve $γ$ is invariant by a given C 1+$α$ -diffeomorphism f of a surface and if $γ$ carries an ergodic hyperbolic probability $μ$, then $μ$ is supported on a periodic orbit. From this Lemma we deduce three new results for the C 1+$α$ symplectic twist maps f of the annulus: 1. if $γ$ is a loop at the boundary of an instability zone such that…
▽ More
The key result of this article is key lemma: if a Jordan curve $γ$ is invariant by a given C 1+$α$ -diffeomorphism f of a surface and if $γ$ carries an ergodic hyperbolic probability $μ$, then $μ$ is supported on a periodic orbit. From this Lemma we deduce three new results for the C 1+$α$ symplectic twist maps f of the annulus: 1. if $γ$ is a loop at the boundary of an instability zone such that f |$γ$ has an irrational rotation number, then the convergence of any orbit to $γ$ is slower than exponential; 2. if $μ$ is an invariant probability that is supported in an invariant curve $γ$ with an irrational rotation number, then $γ$ is C 1 $μ$-almost everywhere; 3. we prove a part of the so-called "Greene criterion", introduced by J. M. Greene in [16] in 1978 and never proved: assume that (pn qn) is a sequence of rational numbers converging to an irrational number $ω$; let (f k (x n)) 1$\le$k$\le$qn be a minimizing periodic orbit with rotation number pn qn and let us denote by R n its mean residue R n = |1/2 -- Tr(Df qn (x n))/4|
△ Less
Submitted 25 November, 2014;
originally announced November 2014.
-
Generic family with robustly infinitely many sinks
Authors:
Pierre Berger
Abstract:
We show, for every $r>d\ge 0$ or $r=d\ge 2$, the existence of a Baire generic set of $C^d$-families of $C^r$-maps $(f_a)_{a\in (-1,1)^k}$ of a manifold $M$ of dimension $\ge 2$, so that for every $a$ small the map $f_a$ has infinitely many sinks. When the dimension of the manifold is greater than $3$, the generic set is formed by families of diffeomorphisms. This result is a counter-example to a c…
▽ More
We show, for every $r>d\ge 0$ or $r=d\ge 2$, the existence of a Baire generic set of $C^d$-families of $C^r$-maps $(f_a)_{a\in (-1,1)^k}$ of a manifold $M$ of dimension $\ge 2$, so that for every $a$ small the map $f_a$ has infinitely many sinks. When the dimension of the manifold is greater than $3$, the generic set is formed by families of diffeomorphisms. This result is a counter-example to a conjecture of Pugh and Shub.
△ Less
Submitted 29 September, 2015; v1 submitted 24 November, 2014;
originally announced November 2014.
-
On stability and hyperbolicity for polynomial automorphisms of C^2
Authors:
Pierre Berger,
Romain Dujardin
Abstract:
Let $(f_λ)_{λ\in Λ}$ be a holomorphic family of polynomial automorphisms of $\mathbb{C}^2$. Following previous work of Dujardin and Lyubich, we say that such a family is weakly stable if saddle periodic orbits do not bifurcate. It is an open question whether this property is equivalent to structural stability on the Julia set $J^*$ (that is, the closure of the set of saddle periodic points).
In…
▽ More
Let $(f_λ)_{λ\in Λ}$ be a holomorphic family of polynomial automorphisms of $\mathbb{C}^2$. Following previous work of Dujardin and Lyubich, we say that such a family is weakly stable if saddle periodic orbits do not bifurcate. It is an open question whether this property is equivalent to structural stability on the Julia set $J^*$ (that is, the closure of the set of saddle periodic points).
In this paper we introduce a notion of regular point for a polynomial automorphism, inspired by Pesin theory, and prove that in a weakly stable family, the set of regular points moves holomorphically. It follows that a weakly stable family is probabilistically structurally stable, in a very strong sense.
Another consequence of these techniques is that weak stability preserves uniform hyperbolicity on $J^*$.
△ Less
Submitted 15 September, 2014;
originally announced September 2014.
-
On the Hausdorff dimension of Newhouse phenomena
Authors:
Pierre Berger,
Jacopo De Simoi
Abstract:
We show that at the vicinity of a generic dissipative homoclinic unfolding of a surface diffeomorphism, the Hausdorff dimension of the set of parameters for which the diffeomorphism admits infinitely many periodic sinks is at least 1/2.
We show that at the vicinity of a generic dissipative homoclinic unfolding of a surface diffeomorphism, the Hausdorff dimension of the set of parameters for which the diffeomorphism admits infinitely many periodic sinks is at least 1/2.
△ Less
Submitted 8 April, 2014;
originally announced April 2014.
-
Normal forms and Misiurewicz renormalization for dissipative surface diffeomorphisms
Authors:
Pierre Berger
Abstract:
We define a hyperbolic renormalizations suitable for maps of small determinant, with uniform bounds for large periods. The techniques involve an improvement of the celebrated Palis-Takens renormalization and normal forms (fibered linearizations). These techniques are useful to study the dynamics of Hénon like maps and the geometry of their parameter space.
We define a hyperbolic renormalizations suitable for maps of small determinant, with uniform bounds for large periods. The techniques involve an improvement of the celebrated Palis-Takens renormalization and normal forms (fibered linearizations). These techniques are useful to study the dynamics of Hénon like maps and the geometry of their parameter space.
△ Less
Submitted 8 April, 2014;
originally announced April 2014.
-
Sampling and Reconstruction in Different Subspaces by Using Oblique Projections
Authors:
Peter Berger,
Karlheinz Gröchenig
Abstract:
We introduce a new method for the reconstruction of a function from linear measurements by means of oblique projections. The space spanned by the measurement vectors may be different from the subspace in which the function is reconstructed. This method is a variation of the generalized sampling of Adcock and Hansen. In many cases the use of suitable oblique projections yield a better quasi-optimal…
▽ More
We introduce a new method for the reconstruction of a function from linear measurements by means of oblique projections. The space spanned by the measurement vectors may be different from the subspace in which the function is reconstructed. This method is a variation of the generalized sampling of Adcock and Hansen. In many cases the use of suitable oblique projections yield a better quasi-optimality constants than in generalized sampling.
△ Less
Submitted 6 December, 2013;
originally announced December 2013.
-
Structural stability of the inverse limit of endomorphisms
Authors:
Pierre Berger,
Alejandro Kocsard
Abstract:
We prove that every endomorphism which satisfies Axiom A and the strong transversality conditions is $C^1$-inverse limit structurally stable. These conditions were conjectured to be necessary and sufficient. This result is applied to the study of unfolding of some homoclinic tangencies. This also achieves a characterization of $C^1$-inverse limit structurally stable covering maps.
We prove that every endomorphism which satisfies Axiom A and the strong transversality conditions is $C^1$-inverse limit structurally stable. These conditions were conjectured to be necessary and sufficient. This result is applied to the study of unfolding of some homoclinic tangencies. This also achieves a characterization of $C^1$-inverse limit structurally stable covering maps.
△ Less
Submitted 28 June, 2013;
originally announced June 2013.
-
Nested Cantor sets
Authors:
Pierre Berger,
Carlos Gustavo Moreira
Abstract:
We give sufficient conditions for two Cantor sets of the line to be nested for a positive set of translation parameters. This problem occurs in diophantine approximations. It also occurs as a toy model of the parameter selection for non-uniformly hyperbolic attractors of the plane. For natural Cantors sets, we show that this condition is optimal.
We give sufficient conditions for two Cantor sets of the line to be nested for a positive set of translation parameters. This problem occurs in diophantine approximations. It also occurs as a toy model of the parameter selection for non-uniformly hyperbolic attractors of the plane. For natural Cantors sets, we show that this condition is optimal.
△ Less
Submitted 26 July, 2013; v1 submitted 5 March, 2013;
originally announced March 2013.
-
Non uniformly hyperbolic diffeomorphisms derived from the standard map
Authors:
Pierre Berger,
Pablo D. Carrasco
Abstract:
We prove that the system resulting of coupling the standard map with a fast hyperbolic system is robustly non-uniformly hyperbolic.
We prove that the system resulting of coupling the standard map with a fast hyperbolic system is robustly non-uniformly hyperbolic.
△ Less
Submitted 13 November, 2013; v1 submitted 14 November, 2012;
originally announced November 2012.
-
Properties of the maximal entropy measure and geometry of Hénon attractors
Authors:
Pierre Berger
Abstract:
We consider an abundant class of non-uniformly hyperbolic $C^2$-Hénon like diffeomorphisms called strongly regular and which corresponds to Benedicks-Carleson parameters. We prove the existence of $m>0$ such that for any such diffeomorphism $f$, every invariant probability measure of $f$ has a Lyapunov exponent greater than $m$, answering a question of L. Carleson. Moreover, we show the existence…
▽ More
We consider an abundant class of non-uniformly hyperbolic $C^2$-Hénon like diffeomorphisms called strongly regular and which corresponds to Benedicks-Carleson parameters. We prove the existence of $m>0$ such that for any such diffeomorphism $f$, every invariant probability measure of $f$ has a Lyapunov exponent greater than $m$, answering a question of L. Carleson. Moreover, we show the existence and uniqueness of a measure of maximal entropy, this answers a question of M. Lyubich and Y. Pesin. We also prove that the maximal entropy measure is equi-distributed on the periodic points and is finitarily Bernoulli, which gives an answer to a question of J.P. Thouvenot. Finally, we show that the maximal entropy measure is exponentially mixing and satisfies the central limit Theorem. The proof is based on a new construction of Young tower for which the first return time coincides with the symbolic return time, and whose orbit is conjugated to a strongly positive recurrent Markov shift.
△ Less
Submitted 14 April, 2016; v1 submitted 13 February, 2012;
originally announced February 2012.
-
A geometrical proof of the persistence of normally hyperbolic submanifolds
Authors:
Pierre Berger,
Abed Bounemoura
Abstract:
We present a simple, computation free and geometrical proof of the following classical result: for a diffeomorphism of a manifold, any compact submanifold which is invariant and normally hyperbolic persists under small perturbations of the diffeomorphism. The persistence of a Lipschitz invariant submanifold follows from an application of the Schauder fixed point theorem to a graph transform, while…
▽ More
We present a simple, computation free and geometrical proof of the following classical result: for a diffeomorphism of a manifold, any compact submanifold which is invariant and normally hyperbolic persists under small perturbations of the diffeomorphism. The persistence of a Lipschitz invariant submanifold follows from an application of the Schauder fixed point theorem to a graph transform, while smoothness and uniqueness of the invariant submanifold are obtained through geometrical arguments. Moreover, our proof provides a new result on persistence and regularity of "topologically" normally hyperbolic submanifolds, but without any uniqueness statement.
△ Less
Submitted 15 September, 2011;
originally announced September 2011.
-
On the inverse limit stability of endomorphisms
Authors:
Pierre Berger,
Alvaro Rovella
Abstract:
We present several results suggesting that the concept of $C^1$-inverse limit stability is free of singularity theory. We describe an example of a $C^1$-inverse stable endomorphism which is robustly transitive with persistent critical set. We show that every (weak) axiom A, $C^1$-inverse limit stable endomorphism satisfies a certain strong transversality condition $(T)$. We prove that every attrac…
▽ More
We present several results suggesting that the concept of $C^1$-inverse limit stability is free of singularity theory. We describe an example of a $C^1$-inverse stable endomorphism which is robustly transitive with persistent critical set. We show that every (weak) axiom A, $C^1$-inverse limit stable endomorphism satisfies a certain strong transversality condition $(T)$. We prove that every attractor-repellor endomorphism satisfying axiom A and Condition $(T)$ is $C^1$-inverse limit stable. The latter is applied to Hénon maps, rational functions of the sphere and others. This leads us to conjecture that $C^1$-inverse stable endomorphisms are those which satisfy axiom A and the strong transversality condition $(T)$.
△ Less
Submitted 22 June, 2010;
originally announced June 2010.
-
Abundance of non-uniformly hyperbolic Hénon like endomorphisms
Authors:
Pierre Berger
Abstract:
For every $C^2$-small function $B$, we prove that the map $(x,y)\mapsto (x^2+a,0)+B(x,y,a)$ leaves invariant a physical, SRB probability measure, for a set of parameters $a$ of positive Lebesgue measure. When the perturbation $B$ is zero, this is the Jakobson Theorem; when the perturbation is a small constant times $(0,x)$, this is the celebrated Benedicks-Carleson Theorem.
In particular, a new…
▽ More
For every $C^2$-small function $B$, we prove that the map $(x,y)\mapsto (x^2+a,0)+B(x,y,a)$ leaves invariant a physical, SRB probability measure, for a set of parameters $a$ of positive Lebesgue measure. When the perturbation $B$ is zero, this is the Jakobson Theorem; when the perturbation is a small constant times $(0,x)$, this is the celebrated Benedicks-Carleson Theorem.
In particular, a new proof of the last theorem is given, based on devellopment of the combinatorial formalism of the Yoccoz puzzles. By adding new geometrical and combinatorial ingredients, and restructuring classic analytical ideas, we are able to carry out our proof in the $C^2$-topology, even when the underlying dynamics are given by endomorphisms.
△ Less
Submitted 2 August, 2018; v1 submitted 8 March, 2009;
originally announced March 2009.
-
Persistent bundles over a two dimensional compact set
Authors:
Pierre Berger
Abstract:
The $C^1$-structurally stable diffeomorphims of a compact manifold are those that satisfy Axiom A and the strong transversality condition (AS). We generalize the concept of AS from diffeomorphisms to invariant compact subsets. Among other properties, we show the structural stability of the AS invariant compact sets $K$ of surface diffeomorphisms $f$. Moreover if $\hat f$ is the dynamics of a compa…
▽ More
The $C^1$-structurally stable diffeomorphims of a compact manifold are those that satisfy Axiom A and the strong transversality condition (AS). We generalize the concept of AS from diffeomorphisms to invariant compact subsets. Among other properties, we show the structural stability of the AS invariant compact sets $K$ of surface diffeomorphisms $f$. Moreover if $\hat f$ is the dynamics of a compact manifold, which fibers over $f$ and such that the bundle is normally hyperbolic over the non-wandering set of $f_{|K}$, then the bundle over $K$ is persistent. This provides non trivial examples of persistent laminations that are not normally hyperbolic.
△ Less
Submitted 26 October, 2010; v1 submitted 14 January, 2009;
originally announced January 2009.
-
Structural stability of attractor-repellor endomorphisms with singularities
Authors:
Pierre Berger
Abstract:
We prove a theorem on structural stability of smooth attractor-repellor endomorphisms of compact manifolds, with singularities. By attractor-repellor, we mean that the non-wandering set of the dynamics $f$ is the disjoint union of a repulsive compact subset with a hyperbolic attractor on which $f$ acts bijectively. The statement of this result is both infinitesimal and dynamical. Up to our knowl…
▽ More
We prove a theorem on structural stability of smooth attractor-repellor endomorphisms of compact manifolds, with singularities. By attractor-repellor, we mean that the non-wandering set of the dynamics $f$ is the disjoint union of a repulsive compact subset with a hyperbolic attractor on which $f$ acts bijectively. The statement of this result is both infinitesimal and dynamical. Up to our knowledge, this is the first in this hybrid direction. Our results generalize also a Mather's theorem in singularity theory which states that infinitesimal stability implies structural stability for composed mappings, to the larger category of laminations.
△ Less
Submitted 1 September, 2008;
originally announced September 2008.
-
Persistence of laminations
Authors:
Pierre Berger
Abstract:
We present a modern proof of some extensions of the celebrated Hirsch-Pugh-Shub theorem on persistence of normally hyperbolic compact laminations. Our extensions consist of allowing the dynamics to be an endomorphism, of considering the complex analytic case and of allowing the laminations to be non compact. To study the analytic case, we use the formalism of deformations of complex structures.…
▽ More
We present a modern proof of some extensions of the celebrated Hirsch-Pugh-Shub theorem on persistence of normally hyperbolic compact laminations. Our extensions consist of allowing the dynamics to be an endomorphism, of considering the complex analytic case and of allowing the laminations to be non compact. To study the analytic case, we use the formalism of deformations of complex structures. We present various persistent complex laminations which appear in dynamics of several complex variables: Henon maps, fibered holomorphic maps... In order to proof the persistence theorems, we construct a laminar structure on the stable and unstable of the normally hyperbolic laminations.
△ Less
Submitted 30 July, 2008;
originally announced July 2008.
-
Persistence of normally expanded submanifolds with boundary or corners
Authors:
Pierre Berger
Abstract:
We show that invariant submanifolds with boundary, and more generally with corners which are normally expanded by an endomorphism are persistent as $a$-regular stratifications. This result will be shown in class $C^s$, for $s\ge 1$. We present also a simple example of a submanifold with boundary which is normally expanded but non-persistent as a differentiable submanifold.
We show that invariant submanifolds with boundary, and more generally with corners which are normally expanded by an endomorphism are persistent as $a$-regular stratifications. This result will be shown in class $C^s$, for $s\ge 1$. We present also a simple example of a submanifold with boundary which is normally expanded but non-persistent as a differentiable submanifold.
△ Less
Submitted 24 March, 2008;
originally announced March 2008.
-
Persistence of stratification of normally expanded laminations
Authors:
Pierre Berger
Abstract:
This manuscript complements the Hirsch-Pugh-Shub (HPS) theory on persistence of normally hyperbolic laminations and the theorem of Robinson on the structural stability of diffeomorphisms that satisfy Axiom A and the strong transversality condition (SA). We generalize these results by introducing a geometric object: the stratification of laminations. It is a stratification whose strata are lamina…
▽ More
This manuscript complements the Hirsch-Pugh-Shub (HPS) theory on persistence of normally hyperbolic laminations and the theorem of Robinson on the structural stability of diffeomorphisms that satisfy Axiom A and the strong transversality condition (SA). We generalize these results by introducing a geometric object: the stratification of laminations. It is a stratification whose strata are laminations. Our main theorem implies the persistence of some stratifications whose strata are normally expanded. The dynamics is a $C^r$-endomorphism of a manifold (which is possibly not invertible). The persistence means that for any $C^r$-perturbation of the dynamics, there exists a close $C^r$-stratification preserved by the perturbation. This theorem in its elementary statement (the stratification is constituted by a unique stratum) gives the persistence of normally expanded laminations by endomorphisms, generalizing HPS theory. Another application of this theorem is the persistence, as stratifications, of submanifolds with boundary or corners normally expanded. Moreover, we remark that SA diffeomorphism gives a canonical stratifications: the stratification whose strata are the stable sets of basic pieces of the spectral decomposition. Our Main theorem then implies the persistence of some ``normally SA'' laminations which are not normally hyperbolic.
△ Less
Submitted 26 October, 2007;
originally announced October 2007.
