Consider piecewise linear Lorenz maps on $[0, 1]$ of the following form \[ f_{a,b,c}(x)= {ll} ax+1-ac & x \in [0, c) b(x-c) & x \in (c, 1].\] We prove that $f_{a,b,c}$ admits an absolutely continuous invariant probability measure (acim) $μ$ with respect to the Lebesgue measure if and only if $f_{a,b,c}(0) \le f_{a,b,c}(1)$, i.e. $ac+(1-c)b \ge 1$. The acim is unique and ergodic unless $f_{a,b,c}$ is conjugate to a rational rotation. The equivalence between the acim and the Lebesgue measure is also fully investigated via the renormalization theory.
For each piecewise linear Lorenz map that expand on average, we show that it admits a dichotomy: it is either periodic renormalizable or prime. As a result, such a map is conjugate to a $β$-transformation.
We consider a class of piecewise hyperbolic maps from the unit square to itself preserving a contracting foliation and inducing a piecewise expanding quotient map, with infinite derivative (like the first return maps of Lorenz like flows). We show how the physical measure of those systems can be rigorously approximated with an explicitly given bound on the error, with respect to the Wasserstein distance. We apply this to the rigorous computation of the dimension of the measure. We present a rigorous implementation of the algorithms using interval arithmetics, and the result of the computation …
A class of piecewise affine hyperbolic maps on a bounded subset of the plane is considered. It is shown that if a map from this class is sufficiently area-expanding then almost surely this map has an absolutely continuous invariant measure.
Let $IET(\mathbb{S}^{1})$ be the group of interval exchange transformation of $\mathbb{S}^{1}$ and $\mathcal{AC}_{+}(\mathbb{S}^{1})$ be the group of absolutely continuous preserving orientation bijection with inverse absolutely continuous. We denote by $\mathcal{ACI}$ the group generated by $IET(\mathbb{S}^{1})$ and $\mathcal{AC}_{+}(\mathbb{S}^{1})$. Given a suitable distance on $\mathcal{ACI}$, we classify all continuous homomorphisms $ρ:\mathbb{R} \to \mathcal{ACI}$. More precisely, $ρ$ is conjugated to a continuous homomorphism $\hatρ:\mathbb{R} \to \mathcal{AC}_{+}(\uplus_{i}(\mathbb{S}^…
Let $f : [0, 1] \to [0, 1]$ be a piecewise expanding unimodal map of class $C^{k+1}$, with $k \geq 1$, and $μ= ρdx$ the (unique) SRB measure associated to it. We study the regularity of $ρ$. In particular, points $\mathcal{N}$ where $ρ$ is not differentiable has zero Hausdorff dimension, but is uncountable if the critical orbit of $f$ is dense. This improves on a work of Szewc (1984). We also obtain results about higher orders of differentiability of $ρ$ in the sense of Whitney.
Necessary and sufficient conditions for the symbolic dynamics of a Lorenz map to be fully embedded in the symbolic dynamics of a piecewise continuous interval map are given. As an application of this result, we describe a new algorithm for calculating the topological entropy of a Lorenz map.
Let $L:[0,1]\setminus\{d\}\rightarrow [0,1]$ be a one-dimensional Lorenz like expanding map ($d$ is the point of discontinuity), $\mathcal{P}=\{ (0,d),(d,1) \}$ be a partition of $[0,1]$ and $C^α([0,1],\mathcal{P})$ the set of piecewise Hölder-continuous potential of [0,1] with the usual $\mathcal{C}^0$ topology. In this context, we prove, improving a result of \cite{BS03}, that piecewise Hölder-continuous potential $ϕ$ satisfying \linebreak $\max\left\{ \limsup_{n \rightarrow \infty}\frac{1}{n}(S_{n}ϕ)(0),\limsup_{n \rightarrow \infty}\frac{1}{n}(S_{n}ϕ)(1)\right\}<P_{\text{top}}(ϕ,T)$ suppor…
For piecewise $C^1$ interval maps possibly containing critical points and discontinuities with negative Schwarzian derivative, under two summability conditions on the growth of the derivative and recurrence along critical orbits, we prove the nonexistence of wandering intervals, the existence of absolutely continuous invariant measures, and the bounded backward contraction property. The proofs are based on the method of proving the existence of absolutely continuous invariant measures of unimodal map, developed by Nowicki and van Strien.
This paper generalizes the results of [13] and then provides an interesting example. We construct a family of $W$-like maps $\{W_a\}$ with a turning fixed point having slope $s_1$ on one side and $-s_2$ on the other. Each $W_a$ has an absolutely continuous invariant measure $μ_a$. Depending on whether $\frac{1}{s_1}+\frac{1}{s_2}$ is larger, equal or smaller than 1, we show that the limit of $μ_a$ is a singular measure, a combination of singular and absolutely continuous measure or an absolutely continuous measure, respectively. It is known that the invariant density of a single piecewise expa…
We study renormalizations of piecewise smooth homeomorphisms on the circle, by considering such maps as generalized interval exchange maps of genus one. Suppose that $Df$ is absolutely continuous on each interval of continuity and $D\ln{Df}\in \mathbb{L}_{p}$ for some $p>1$. We prove, that under certain combinatorial assumptions on $f_{1}$ and $f_{2}$, corresponding renormalizations approach to each other in $C^{1+L_{1}}$-norm.
We consider some classes of piecewise expanding maps in finite dimensional spaces having invariant probability measures which are absolutely continuous with respect to Lebesgue measure. We derive an entropy formula for such measures and, using this entropy formula, in some parametrized families we present sufficient conditions for the continuity of that entropy with respect to the parameter. We apply our results to a classical one-dimensional family of tent maps and a family of two-dimensional maps which arises as the limit of return maps when a homoclinic tangency is unfolded by a family of t…
We prove the existence of Sinai-Ruelle-Bowen measures for a class of $C^2$ self-mappings of a rectangle with unbounded derivatives. The results can be regarded as a generalization of a well-known one dimensional Folklore Theorem on the existence of absolutely continuous invariant measures. In an earlier paper analogous results were stated and the proofs were sketched for the case of invertible systems. Here we give complete proofs in the more general case of noninvertible systems, and, in particular, develop the theory of stable and unstable manifolds for maps with unbounded derivatives.
We consider the dynamics of `nonlinear tent maps': piecewise smooth unimodal maps with nowhere vanishing derivative. We show that if a nonlinear tent map $f$ is not infinitely renormalizable, then all its periodic orbits of sufficiently high period are hyperbolic repelling. If additionally all periodic orbits of $f$ are hyperbolic, then $f$ has at most finitely many periodic attractors and there is a hyperbolic expansion outside the basins of these periodic attractors. In particular, if a nonlinear tent map $f$ is not infinitely renormalizable and all its periodic orbits are hyperbolic repelli…
We investigate the properties of absolutely continuous invariant probability measures (ACIPs), especially those measures with bounded variation densities, for piecewise area preserving maps (PAPs) on $\mathbb{R}^d$. This class of maps unifies piecewise isometries (PWIs) and piecewise hyperbolic maps where Lebesgue measure is locally preserved. Using a functional analytic approach, we first explore the relationship between topological transitivity and uniqueness of ACIPs, and then give an approach to construct invariant measures with bounded variation densities for PWIs. Our results "partially"…
Open dynamical systems in topologically expansive decreasing Lorenz maps
Wuhan University of Science and Technology（武汉科技大学）；IRIF, Université Paris Cité, CNRS（巴黎西岱大学IRIF研究所、法国国家科学研究中心）；School of Mathematics and Statistics, Wuhan University of Technology（武汉理工大学数学与统计学院）
Let $f_{i},$ $i=1,2$ be piecewise-smooth $C^{1}$ circle homeomorphisms with two break points, $\log Df_{i},$ $i=1,2$ are absolutely continuous on each continuity intervals of $Df_{i}$ and $D\log Df_{i}\in L^{p}$ for some $p>1.$ Suppose, the jump ratios of $f_{1} $ and $f_{2} $ at their break points do not coincide but have the same total jumps (i.e. the product of jump ratios) and identical irrational rotation number of bounded type. Then the conjugation $h$ between $f_{1} $ and $f_{2} $ is a singular function, i.e. it is continuous on $S^1,$ but $Dh(x)=0$ a.e. with respect to Lebesgue measure…
We give a heuristic method to solve explicitly for an absolutely continuous invariant measure for a piecewise differentiable, expanding map of a compact subset $I$ of Euclidean space $R^d$. The method consists of constructing a skew product family of maps on $I\times R^d$, which has an attractor. Lebesgue measure is invariant for the skew product family restricted to this attractor. Under reasonable measure theoretic conditions, integration over the fibers gives the desired measure on $I$. Furthermore, the attractor system is then the natural extension of the original map with this measure. We…
It is proved that all special flows over the rotation by an irrational $α$ with bounded partial quotients and under $f$ which is piecewise absolutely continuous with a non-zero sum of jumps are mildly mixing. Such flows are also shown to enjoy a condition which emulates the Ratner condition introduced in \cite{Rat}. As a consequence we construct a smooth vector--field on $\T^2$ with one singularity point such that the corresponding flow $(ϕ_t)_{t\in\R}$ preserves a smooth measure, its set of ergodic components consists of a family of periodic orbits and one component of positive measure on whi…
We construct an invariant measure for a piecewise analytic interval map whose Lyapunov exponent is not defined. Moreover, for a set of full measure, the pointwise Lyapunov exponent is not defined. This map has a Lorenz-like singularity and non-flat critical points.
I provide a proof of the existence of absolutely continuous invariant measures (and study their statistical properties) for multidimensional piecewise expanding systems with not necessarily bounded derivative or distortion. The proof uses basic properties of multidimensional BV functions.
We study random perturbations of multidimensional piecewise expanding maps. We characterize absolutely continuous stationary measures (acsm) of randomly perturbed dynamical systems in terms of pseudo-orbits linking the ergodic components of absolutely invariant measures (acim) of the unperturbed system. We focus on those components, called least-elements, which attract pseudo-orbits. We show that each least element admits a neighbourhood which supports exactly one ergodic acsm of the random system. We use this result to identify random perturbations that exhibit a metastable behavior.
ACIM instability of piecewise expanding maps through the lens of metastability
Budapest University of Technology and Economics（布达佩斯技术与经济大学）；HUN-REN–BME Stochastics Research Group, Budapest University of Technology and Economics（匈牙利研究网络-布达佩斯技术与经济大学随机过程研究组）
Polygonal slap maps are piecewise affine expanding maps of the interval obtained by projecting the sides of a polygon along their normals onto the perimeter of the polygon. These maps arise in the study of polygonal billiards with non-specular reflections laws. We study the absolutely continuous invariant probabilities of the slap maps for several polygons, including regular polygons and triangles. We also present a general method for constructing polygons with slap maps having more than one ergodic absolutely continuous invariant probability.
Let $I=[0,1]$ and consider disjoint closed regions $G_{1},....,G_{n}$ in $% I\times I$ and subintervals $I_{1},......,I_{n},$ such that $G_{i}$ projects onto $I_{i.}$ We define the lower and upper maps $τ_{1},$ $τ_{2}$ by the lower and upper boundaries of $G_{i},i=1,....,n,$ respectively. We assume $τ_{1}$, $τ_{2}$ to be piecewise monotonic and preserving continuous invariant measures $μ_{1}$ and $μ_{2}$, respectively. Let $% F^{(1)}$ and $F^{(2)}$ be the distribution functions of $μ_{1}$ and $μ_{2}.$ The main results shows that for any convex combination $F$ of $% F^{(1)} $ and $F^{(2)}$ we c…
Consider a piecewise smooth expanding map of the interval possessing several invariant subintervals and the same number of ergodic absolutely continuous invariant probability measures (ACIMs). After this system is perturbed to make the subintervals lose their invariance in such a way that there is a unique ACIM, we show how to approximate the diffusion coefficient for an observable of bounded variation by the diffusion coefficient of a related continuous time Markov chain.
Let $I\subset\mathbb{R}$ be an interval and $T_a:[0,1]\to[0,1]$, $a\in I$, a one-parameter family of piecewise expanding maps such that for each $a\in I$ the map $T_a$ admits a unique absolutely continuous invariant probability measure $μ_a$. We establish sufficient conditions on such a one-parameter family such that a given point $x\in[0,1]$ is typical for $μ_a$ for a full Lebesgue measure set of parameters $a$, i.e. $$ \frac{1}{n}\sum_{i=0}^{n-1}δ_{T_a^i(x)} \overset{\text{weak-}*}{\longrightarrow}μ_a,\qquad\text{as} n\to\infty, $$ for Lebesgue almost every $a\in I$. In particular, we consid…
We consider polygonal billiards with collisions contracting the reflection angle towards the normal to the boundary of the table. In previous work, we proved that such billiards has a finite number of ergodic SRB measures supported on hyperbolic generalized attractors. Here we study the relation of these measures with the ergodic absolutely continuous invariant probability measures (acips) of the slap map, the 1-dimensional map obtained from the billiard map when the angle of reflection is always equal to zero. Our main result states that for a generic polygon, if the reflection law has a Lips…
We prove that, under a mild summability condition on the growth of the derivative on critical orbits any piecewise monotone interval map possibly containing discontinuities and singularities with infinite derivative (cusp map) admits an ergodic invariant probability measures which is absolutely continuous with respect to Lebesgue measure.
We consider two classes of piecewise expanding maps $T$ of $[0,1]$: a class of uniformly expanding maps for which the Perron-Frobenius operator has a spectral gap in the space of bounded variation functions, and a class of expanding maps with a neutral fixed point at zero. In both cases, we give a large class of unbounded functions $f$ for which the partial sums of $f\circ T^i$ satisfy an almost sure invariance principle. This class contains piecewise monotonic functions (with a finite number of branches) such that: - For uniformly expanding maps, they are square integrable with respect to the…
Let $f$ be an orientation preserving homeomorphisms on the circle with several break points, that is, its derivative $Df$ has jump discontinuities at these points. We study Rauzy-Veech renormalizations of piecewise smooth circle homeomorphisms, by considering such maps as generalized interval exchange maps with genus one. Suppose that $Df$ is absolutely continuous on the each interval of continuity and $D\ln{Df}\in \mathbb{L}_{p}$ for some $p>1$. We prove that, under certain combinatorial assumptions on $f$, renormalizations $R^{n}(f)$ are approximated by piecewise Möbus functions in $C^{1+L_{…
We study parametrised families of piecewise expanding interval mappings $T_a \colon [0,1] \to [0,1]$ with absolutely continuous invariant measures $μ_a$ and give sufficient conditions for a point $X(a)$ to be typical with respect to $(T_a, μ_a)$ for almost all parameters $a$. This is similar to a result by D. Schnellmann, but with different assumptions.
We consider a piecewise smooth expanding map of the interval possessing two invariant subsets of positive Lebesgue measure and exactly two ergodic absolutely continuous invariant probability measures (ACIMs). When this system is perturbed slightly to make the invariant sets merge, we describe how the unique ACIM of the perturbed map can be approximated by a convex combination of the two initial ergodic ACIMs.
Let $T$ be a piecewise expanding interval map and $T_H$ be an abstract perturbation of $T$ into an interval map with a hole. Given a number $\ell$, $0<\ell<1$, we compute an upper-bound on the size of a hole needed for the existence of an absolutely continuous conditionally invariant measure (accim) with escape rate not greater than $-\ln(1-\ell)$. The two main ingredients of our approach are Ulam's method and an abstract perturbation result of Keller and Liverani.
We consider the family of one-dimensional maps arising from the contracting Lorenz attractors studied by Rovella. Benedicks-Carleson techniques were used by Rovella to prove that there is a one-parameter family of maps whose derivatives along their critical orbits increase exponentially fast and the critical orbits have slow recurrent to the critical point. Metzger proved that these maps have a unique absolutely continuous ergodic invariant probability measure (SRB measure). Here we use the technique developed by Freitas and show that the tail set (the set of points which at a given time have …
For general quantum systems the semiclassical behaviour of eigenfunctions in relation to the ergodic properties of the underlying classical system is quite difficult to understand. The Wignerfunctions of eigenstates converge weakly to invariant measures of the classical system, the so called quantum limits, and one would like to understand which invariant measures can occur that way, thereby classifying the semiclassical behaviour of eigenfunctions. We introduce a class of maps on the torus for whose quantisations we can understand the set of quantum limits in great detail. In particular we ca…
We associate to a perturbation $(f_t)$ of a (stably mixing) piecewise expanding unimodal map $f_0$ a two-variable fractional susceptibility function $Ψ_ϕ(η, z)$, depending also on a bounded observable $ϕ$. For fixed $η\in (0,1)$, we show that the function $Ψ_ϕ(η, z)$ is holomorphic in a disc $D_η\subset \mathbb{C}$ centered at zero of radius $>1$, and that $Ψ_ϕ(η, 1)$ is the Marchaud fractional derivative of order $η$ of the function $t\mapsto \mathcal{R}_ϕ(t):=\int ϕ(x)\, dμ_t$, at $t=0$, where $μ_t$ is the unique absolutely continuous invariant probability measure of $f_t$. In addition, we s…
We consider a Piecewise Deterministic Markov Process given by random switching between finitely many vector fields vanishing at $0$. It has been shown recently that the behaviour of this process is mainly determined by the signs of Lyapunov exponents. However, results have only been given when all these exponents have the same sign. In this note, we consider the degenerate case where the process leaves invariant some face and results are stated when the Lyapunov exponents are of opposite signs. Applications are given to Lorenz vector fields with switching, and to SIRS model in random environme…
In \cite{J}, Jabłoński proved that a piecewise expanding $C^{2}$ multidimensional Jabłoński map admits an absolutely continuous invariant probability measure (ACIP). In \cite{BL}, Boyarsky and Lou extended this result to the case of i.i.d. compositions of the above maps, with an on average expanding condition. We generalize these results to the (quenched) setting of random Jabłoński maps, where the randomness is governed by an ergodic, invertible and measure preserving transformation. We prove that the skew product associated to this random dynamical system admits a finite number of ergodic AC…
We introduce a parametrised family of maps $\{S_η\}_{η\in [1,2]}$, called symmetric doubling maps, defined on $[-1,1]$ by $S_η(x)=2x-dη$, where $d\in \{-1,0,1 \}$. Each map $S_η$ generates binary expansions with digits $-1$, 0 and 1. We study the frequency of the digit 0 in typical expansions as a function of the parameter $η$. The transformations $S_η$ have a natural ergodic invariant measure $μ_η$ that is absolutely continuous with respect to Lebesgue measure. The frequency of the digit 0 is related to the measure $μ_η([-\frac12,\frac12])$ by the Ergodic Theorem. We show that the density of …
We study invariant measures of a piecewise expanding map in $\mathbb{R}^m$ defined by an expanding similitude modulo lattice. Using the result of Bang on a problem of Tarski, we show that when the similarity ratio is not less than $m+1$, it has an absolutely continuous invariant measure equivalent to the $m$-dimensional Lebesgue measure, under some mild assumption on the fundamental domain. Applying the method to the case $m=2$, we obtain an alternative proof of the result in Akiyama-Caalim:2015 together with some improvement.
We develop a quenched thermodynamic formalism for open random dynamical systems generated by finitely branched, piecewise-monotone mappings of the interval. The openness refers to the presence of holes in the interval, which terminate trajectories once they enter; the holes may also be random. Our random driving is generated by an invertible, ergodic, measure-preserving transformation $σ$ on a probability space $(Ω,\mathscr{F},m)$. For each $ω\inΩ$ we associate a piecewise-monotone, surjective map $T_ω:I\to I$, and a hole $H_ω\subset I$; the map $T_ω$, the random potential $φ_ω$, and the hole …
Liverani-Saussol-Vaienti (L-S-V) maps form a family of piecewise differentiable dynamical systems on $[0,1]$ depending on one parameter $ω\in\mathbb R^+$. These maps are everywhere expanding apart from a neutral fixed point. It is well known that depending on the amount of expansion close to the neutral point, they have either an absolutely continuous invariant probability measure and polynomial decay of correlations ($ω<1$), or a unique physical measure that is singular and concentrated at the neutral point ($ω>1$). In this paper, we study the composition of L-S-V maps whose parameters are ra…
We show that for a large class of piecewise expanding maps T, the bounded p-variation observables u_0 that admits an infinite sequence of bounded p-variation observables u_i satisfying u_i(x)= u_{i+1}(Tx) -u_{i+1}(x) are constant. The method of the proof consists in to find a suitable Hilbert basis for L^2(hm), where hm is the unique absolutely continuous invariant probability of T. In terms of this basis, the action of the Perron-Frobenious and the Koopan operator on L^2(hm) can be easily understood. This result generalizes earlier results by Bamon, Kiwi, Rivera-Letelier and Urzua in the case…
Motivated by proving the loss of ergodicity in expanding systems of piecewise affine coupled maps with arbitrary number of units, all-to-all coupling and inversion symmetry, we provide ad-hoc substitutes - namely inversion-symmetric maps of the simplex with arbitrary number of vertices - that exhibit several asymmetric absolutely continuous invariant measures when their expanding rate is sufficiently small. In a preliminary study, we consider arbitrary maps of the multi-dimensional torus with permutation symmetries. Using these symmetries, we show that the existence of multiple invariant sets …
In this paper, we establish a coupling lemma for standard families in the setting of piecewise expanding interval maps with countably many branches. Our method merely requires that the expanding map satisfies Chernov's one-step expansion at $q$-scale and eventually covers a magnet interval. Therefore, our approach is particularly powerful for maps whose inverse Jacobian has low regularity and those who does not satisfy the big image property. The main ingredients of our coupling method are two crucial lemmas: the growth lemma in terms of the characteristic $\cZ$ function and the covering ratio…
