Multifractal analysis of weak Gibbs measures for non-uniformly expanding C^1 maps
Thomas Jordan, Michal Rams
备注：
New version, main changes: the results hold for continuous potentials (previously: Holder potentials) and C^1 maps (previously: C^1+α), we also prove analyticity of the spectrum
We consider the local dimension spectrum of a weak Gibbs measure on a C^1 non-uniformly hyperbolic system of Manneville- Pomeau type. We present the spectrum in three ways: using invariant measures, uniformly hyperbolic ergodic measures and equilibrium states. We are also proving analyticity of the spectrum under additional assumptions. All three presentations are well known for smooth uniformly hyperbolic systems.
We describe the multifractal nature of random weak Gibbs measures on some class of attractors associated with $C^1$ random dynamics semi-conjugate to a random subshift of finite type. This includes the validity of the multifractal formalism, the calculation of Hausdorff and packing dimensions of the so-called level sets of divergent points, and a $0$-$\infty$ law for the Hausdorff and packing measures of the level sets of the local dimension.
Any Borel probability measure supported on a Cantor set of zero Lebesgue measure on the real line possesses a discrete inverse measure. We study the validity of the multifractal formalism for the inverse measures of random weak Gibbs measures supported on the attractor associated with some $C^1$ random dynamics encoded by a random subshift of finite type, and expanding in the mean. The study requires, in particular, to develop in this context of random dynamics a suitable extension of the results known for heterogeneous ubiquity associated with deterministic Gibbs measures.
We refine the multifractal formalism for the local dimension of a Gibbs measure $μ$ supported on the attractor $Λ$ of a conformal iterated functions system on the real line. Namely, for given $α\in \mathbb{R}$, we establish the formalism for the Hausdorff dimension of level sets of points $x\inΛ$ for which the $μ$-measure of a ball of radius $r_{n}$ centered at $x$ obeys a power law $r_{n}{}^α$, for a sequence $r_{n}\rightarrow0$. This allows us to investigate the Hölder regularity of various fractal functions, such as distribution functions and conjugacy maps associated with conformal iterate…
In this paper we investigate multifractal decompositions based on values of Birkhoff averages of functions from a class of symbolically continuous functions. This will be done for an expanding interval map with infinitely many branches and is a generalisation of previous work for expanding maps with finitely many branches. We show that there are substantial differences between this case and the setting where the expanding map has only finitely many branches.
In this article we prove estimates for the topological pressure of the set of points whose Birkhoff time averages are far from the space averages corresponding to the unique equilibrium state that has a weak Gibbs property. In particular, if $f$ has an expanding repeller and $ϕ$ is an Hölder continuous potential we prove that the topological pressure of the set of points whose accumulation values of Birkhoff averages belong to some interval $I\subset \mathbb R$ can be expressed in terms of the topological pressure of the whole system and the large deviations rate function. As a byproduct we de…
For a Markov map of an interval or the circle with countably many branches and finitely many neutral periodic points, we establish conditional variational formulas for the mixed multifractal spectra of Birkhoff averages of countably many observables, in terms of the Hausdorff dimension of invariant probability measures. Using our results, we are able to exhibit new fractal-geometric results for backward continued fraction expansions of real numbers, answering in particular a question of Pollicott. Moreover, we establish formulas for multi-cusp winding spectra for the Bowen-Series maps associat…
We consider the multifractal analysis of the pointwise dimension for Gibbs measures on countable Markov shifts. Our paper analyses the set of non-analytic points or phase transitions of the multifractal spectrum. By Sarig's thermodynamic formalism for countable Markov shifts and Iommi's expression of the multifractal spectrum, we apply analyticity arguments on the pressure function for the countable shift. Finally, we apply our results about the phase transitions of the multifractal spectrum to the Gauss map.
We consider the multifractal formalism for the dynamics of semigroups of rational maps on the Riemann sphere and random complex dynamical systems. We elaborate a multifractal analysis of level sets given by quotients of Birkhoff sums with respect to the skew product associated with a semigroup of rational maps. Applying these results, we perform a multifractal analysis of the Hölder regularity of limit state functions of random complex dynamical systems.
This article is devoted to the study of the multifractal analysis of ergodic averages in some nonuniformly hyperbolic systems. In particular, our results hold for the robust classes of multidimensional nonuniformly expanding local diffeomorphisms and Viana maps.
In this note we prove that every weak Gibbs measure for an asymptotically additive sequences is a Gibbs measure for another asymptotically additive sequence. In particular, a weak Gibbs measure for a continuous potential is a Gibbs measure for an asymptotically additive sequence. This allows, for example, to apply recent results on dimension theory of asymptotically additive sequences to study multifractal analysis for weak Gibbs measure for continuous potentials.
We consider multifractal random wavelet series built from Gibbs measures, and study the singularity spectra associated with the graph and range of these functions restricted to their iso-Hölder sets. To obtain these singularity spectra, we use a family of Gibbs measures defined on a sequence of topologically transitive subshift of finite type whose Hausdorff distance to the set of zeros of the mother wavelet tends to 0.
In this article we initially fix ourselves to smooth (C^r) expanding dynamical systems. We prove the C^{r-1} differentiability of the topological pressure, equilibrium states and their densities with respect to smooth expanding dynamical systems and any smooth potential (C^{r-1}- linear response formula wiyh respect to the dynamics, and analytical response formula with respect to the potential). This is done by proving the regularity of the dominant eigenvalue of the transfer operator with respect to dynamics and potential. From that, we obtain strong consequences on the regularity of the dyna…
We consider a partially hyperbolic set $K$ on a Riemannian manifold $M$ whose tangent space splits as $T_K M=E^{cu}\oplus E^{s}$, for which the centre-unstable direction $E^{cu}$ expands non-uniformly on some local unstable disk. We show that under these assumptions $f$ induces a Gibbs-Markov structure. Moreover, the decay of the return time function can be controlled in terms of the time typical points need to achieve some uniform expanding behavior in the centre-unstable direction. As an application of the main result we obtain certain rates for decay of correlations, large deviations, an al…
In this paper we define distance expanding random dynamical systems. We develop the appropriate thermodynamic formalism of such systems. We obtain in particular the existence and uniqueness of invariant Gibbs states, the appropriate pressure function and exponentially fast convergence of iterates of Perron-Frobenius operators resulting, in particular, in an exponential decay of correlations. We also obtain the formula for the derivative of the expected value of the pressure function. Next, we define and investigate in detail conformal random expanding repellers. Applying the developed machiner…
We establish bounds for the measure of deviation sets associated to continuous observables with respect to not necessarily invariant weak Gibbs measures. Under some mild assumptions, we obtain upper and lower bounds for the measure of deviation sets of some non-uniformly expanding maps, including quadratic maps and robust multidimensional non-uniformly expanding local diffeomorphisms. For that purpose, a measure theoretical weak form of specification is introduced and proved to hold for the robust classes of multidimensional nonuniformly expanding local diffeomorphisms and Viana maps.
This paper is devoted to study ergodic optimisation problems for almost-additive sequences of functions (rather than a fixed potential) defined over countable Markov shifts (that is a non-compact space). Under certain assumptions we prove that any accumulation point of a family of Gibbs equilibrium measures is a maximising measure. Applications are given in the study of the joint spectral radius and to multifractal analysis of Lyapunov exponent of non-conformal maps.
Let $T : Λ\to Λ$ be an expanding map on a Cantor set. For each suitably normalized Hölder continuous potential, we construct a spectral triple from which one may recover the associated Gibbs measure as a noncommutative measure.
It is known that all uniformly expanding or hyperbolic dynamics have no phase transition with respect to Hölder continuous potentials. In \cite{BC21}, is proved that for all transitive $C^{1+α}-$local diffeomorphism $f$ on the circle, that is neither a uniformly expanding map nor invertible, has a unique thermodynamic phase transition with respect to the geometric potential, in other words, the topological pressure function $\mathbb{R} \ni t \mapsto P_{top}(f,-t\log|Df|)$ is analytic except at a point $t_{0} \in (0 , 1]$. Also it is proved spectral phase transitions, in other words, the transf…
We consider a class of non-conformal expanding maps on the $d$-dimensional torus. For an equilibrium measure of an Hölder potential, we prove an analogue of the Central Limit Theorem for the fluctuations of the logarithm of the measure of balls as the radius goes to zero. An unexpected consequence is that when the measure is not absolutely continuous, then half of the balls of radius $\eps$ have a measure smaller than $\eps^δ$ and half of them have a measure larger than $\eps^δ$, where $δ$ is the Hausdorff dimension of the measure. We first show that the problem is equivalent to the study of t…
In this paper we study the multiple ergodic averages $$ \frac{1}{n}\sum_{k=1}^n φ(x_k, x_{kq}, ..., x_{k q^{\ell-1}}), \qquad (x_n) \in Σ_m $$ on the symbolic space $Σ_m ={0, 1, ..., m-1}^{\mathbb{N}^*}$ where $m\ge 2, \ell\ge 2, q\ge 2$ are integers. We give a complete solution to the problem of multifractal analysis of the limit of the above multiple ergodic averages. Actually we develop a non-invariant and non-linear version of thermodynamic formalism that is of its own interest. We study a large class of measures (called telescopic measures) and the special case of telescopic measures defi…
For a positive measure set of nonuniformly expanding quadratic maps on the interval we effect a multifractal formalism, i.e., decompose the phase space into level sets of time averages of a given observable and consider the associated {\it Birkhoff spectrum} which encodes this decomposition. We derive a formula which relates the Hausdorff dimension of level sets to entropies and Lyapunov exponents of invariant probability measures, and then use this formula to show that the spectrum is continuous. In order to estimate the Hausdorff dimension from above, one has to "see" sufficiently many point…
Let $μ$ be the geometric realization on $[0,1]$ of a Gibbs measure on $Σ=\{0,1\}^{\mathbb{N}}$ associated with a Hölder potential. The thermodynamic and multifractal properties of $μ$ are well known to be linked via the multifractal formalism. In this article, the impact of a random sampling procedure on this structure is studied. More precisely, let $\{I_w\}_{w\in Σ^*}$ stand for the collection of dyadic subintervals of $[0,1]$ naturally indexed by the set of finite dyadic words $Σ^*$. Fix $η\in(0,1)$, and a sequence $(p_w)_{w\in Σ^*}$ of independent Bernoulli variables of parameters $2^{-|w|…
In this paper using Banach limit we have determined a Gibbs-like measure $μ_h$ supported by a cookie-cutter set $E$ which is generated by a single cookie-cutter mapping $f$. For such a measure $μ_h$ and $r\in (0, +\infty)$ we have shown that there exists a unique $κ_r \in (0, +\infty)$ such that $κ_r$ is the quantization dimension function of the probability measure $μ_h$, and established its functional relationship with the temperature function of the thermodynamic formalism. The temperature function is commonly used to perform the multifractal analysis, in our context of the measure $μ_h$. I…
We consider the random iteration of finitely many expanding $\mathcal{C}^{1+ε}$ diffeomorphisms on the real line without a common fixed point. We derive the spectral gap property of the associated transition operator acting on Hölder spaces. As an application we introduce generalised Takagi functions on the real line and we perform a complete multifractal analysis of the pointwise Hölder exponents of these functions.
We consider infinitely convolved Bernoulli measures (or simply Bernoulli convolutions) related to the $β$-numeration. A matrix decomposition of these measures is obtained in the case when $β$ is a PV number. We also determine their Gibbs properties for $β$ being a multinacci number, which makes the multifractal analysis of the corresponding Bernoulli convolution possible.
The multifractal formalism for measures in its original formulation is checked for special classes of measures such as doubling, self-similar, and Gibbs-like ones. Out of these classes, suitable conditions should be taken into account to prove the validity of the multifractal formalism. In the present work, a large class of measures satisfying a weak condition known as quasi Ahlfors is considered in the framework of mixed multifractal analysis. A joint multifractal analysis of finitely many quasi Ahlfors probability measures is developed. Mixed variants of multifractal generalizations of Hausd…
We construct inducing schemes for general multi-dimensional piecewise expanding maps where the base transformation is Gibbs-Markov and the return times have exponential tails. Such structures are a crucial tool in proving statistical properties of dynamical systems with some hyperbolicity.
We prove that for conformal expanding maps the return time does have constant multifractal spectrum. This is the counterpart of the result by Feng and Wu in the symbolic setting.
We study differentiability of topological conjugacies between expanding piecewise $C^{1+ε}$ interval maps. If these conjugacies are not $C^1$, then they have zero derivative almost everywhere. We obtain the result that in this case the Hausdorff dimension of the set of points for which the derivative of the conjugacy does not exist lies strictly between zero and one. Using multifractal analysis and thermodynamic formalism, we show that this Hausdorff dimension is explicitly determined by the Lyapunov spectrum. Moreover, we show that these results give rise to a "rigidity dichotomy" for the typ…
We introduce a new induction scheme for non-uniformly expanding maps $f$ of compact Riemannian manifolds, proving that the existence of a Gibbs-Markov-Young structure is a necessary condition for $f$ to preserve an absolutely continuous probability with all its Lyapunov exponents positive.
We consider partially hyperbolic \( C^{1+} \) diffeomorphisms of compact Riemannian manifolds of arbitrary dimension which admit a partially hyperbolic tangent bundle decomposition \( E^s\oplus E^{cu} \). Assuming the existence of a set of positive Lebesgue measure on which \( f \) satisfies a weak nonuniform expansivity assumption in the centre~unstable direction, we prove that there exists at most a finite number of transitive attractors each of which supports an SRB measure. As part of our argument, we prove that each attractor admits a Gibbs-Markov-Young geometric structure with integrable…
Geometric models and Teichmüller structures have been introduced for the space of smooth expanding circle endomorphisms and for the space of uniformly symmetric circle endomorphisms. The latter one is the completion of the previous one under the Techmüller metric. Moreover, the spaces of geometric models as well as the Teichmüller spaces can be described as the space of Hölder continuous scaling functions and the space of continuous scaling functions on the dual symbolic space. The characterizations of these scaling functions have been also investigated. The Gibbs measure theory and the dual G…
We study partially hyperbolic sets $K$ on a Riemannian manifold $M$ whose tangent space splits as $T_K M=E^{cu}\oplus E^{s}$, for which the center-unstable direction $E^{cu}$ is non-uniformly expanding on some local unstable disk. We prove that the (stretched) exponential decay of recurrence times for an induced scheme can be deduced under the assumption of (stretched) exponential decay of the time that typical points need to achieve some uniform expanding in the center-unstable direction. This extends a result by Alves and Pinheiro to the (stretched) exponential case. As an application of our…
We prove the stochastic stability of an open class of partially hyperbolic diffeomorphisms, each of which admits two centers $E^c_1$ and $E^c_2$ such that any Gibbs $u$-state admits only positive (resp. negative) Lyapunov exponents along $E^c_1$ (resp. $E^c_2$).
We consider random perturbations of a topologically transitive local diffeomorphism of a Riemannian manifold. We show that if an absolutely continuous ergodic stationary measures is expanding (all Lyapunov exponents positive), then there is a random Gibbs-Markov-Young structure which can be used to lift that measure. We also prove that if the original map admits a finite number of expanding invariant measures then the stationary measures of a sufficiently small stochastic perturbation are expanding.
We study how physical measures vary with the underlying dynamics in the open class of $C^r$, $r>1$, strong partially hyperbolic diffeomorphisms for which the central Lyapunov exponents of every Gibbs $u$-state is positive. If transitive, such a diffeomorphism has a unique physical measure that persists and varies continuously with the dynamics. A main ingredient in the proof is a new Pliss-like Lemma which, under the right circumstances, yields frequency of hyperbolic times close to one. Another novelty is the introduction of a new characterization of Gibbs $cu$-states. Both of these may be of…
We prove a new result in the area of hitting time statistics. Currently, there is a lot of papers showing that the first entry times into cylinders or balls are often faster than the Birkhoff's Ergodic Theorem would suggest. We provide an opposite counterpart to these results by proving that the hitting times into shrinking balls are also often much larger than these theorems would suggest, by showing that for many dynamical systems $$ \displaystyle \limsup_{r\to 0} τ_{B(y,r)}(x)μ(B(y,r))=+\infty, $$ for an appropriately large, at least of full measure, set of points $y$ and $x$. We first do t…
For a map $T \colon [0,1] \to [0,1]$ with an invariant measure $μ$, we study, for a $μ$-typical $x$, the set of points $y$ such that the inequality $|T^n x - y| < r_n$ is satisfied for infinitely many $n$. We give a formula for the Hausdorff dimension of this set, under the assumption that $T$ is piecewise expanding and $μ_ϕ$ is a Gibbs measure. In some cases we also show that the set has a large intersection property.
We prove that a partially hyperbolic attractor for a $C^1$ vector field with two dimensional center supports an SRB measure. In addition, we show that if the vector field is $C^2$, and the center bundle admits the sectional expanding condition w.r.t. any Gibbs $u$-state, then the attractor can only support finitely many SRB/physical measures whose basins cover Lebesgue almost all points of the topological basin. The proof of these results has to deal with the difficulties which do not occur in the case of diffeomorphisms.
We prove existence of finitely many ergodic equilibrium states for a large class of non-uniformly expanding local homeomorphisms on compact manifolds and Holder continuous potentials with not very large oscillation. No Markov structure is assumed. If the transformation is topologically mixing there is a unique equilibrium state, it is exact and satisfies a non-uniform Gibbs property. Under mild additional assumptions we also prove that the equilibrium states vary continuously with the dynamics and the potentials (statistical stability) and are also stable under stochastic perturbations of the …
We show that for a large class of maps on manifolds of arbitrary finite dimension, the existence of a Gibbs-Markov-Young structure (with Lebesgue as the reference measure) is a necessary as well as sufficient condition for the existence of an invariant probability measure which is absolutely continuous measure (with respect to Lebesgue) and for which all Lyapunov exponents are positive.
We study the statistical properties of piecewise expanding maps in the general setting of metric measure spaces. We provide sufficient conditions for exponential mixing of such systems with explicit estimates on the constants. We also provide sufficient conditions for the existence of inducing schemes where the base transformation is Gibbs-Markov and the return times have exponential tails. Such structures can then be used to deduce finer statistical properties.
In this note, we establish an original result for the thermodynamic formalism in the context of expanding circle transformations with an indifferent fixed point. For an observable whose continuity modulus is linked to the dynamics near such a fixed point, by identifying an appropriate linear space to evaluate the action of the transfer operator, we show that there is a strictly positive eigenfunction associated with the maximal eigenvalue given as the exponential of the topological pressure. Taking into account also the corresponding eigenmeasure, the invariant probability thus obtained is pro…
In the case of smooth non-invertible maps which are hyperbolic on folded basic sets $Λ$, we give approximations for the Gibbs states (equilibrium measures) of arbitrary Hölder potentials, with the help of weighted sums of atomic measures on preimage sets of high order. Our endomorphism may have also stable directions on $Λ$, thus it is non-expanding in general. Folding of the phase space means that we do not have a foliation structure for the local unstable manifolds (they depend on the whole past and may intersect each other both inside and outside $Λ$), and moreover the number of preimages r…
In [30] different statistical behavior of dynamical orbits without syndetic center are considered. In present paper we continue this project and consider different statistical behavior of dynamical orbits with nonempty syndetic center: Two of sixteen cases appear (for which other fourteen cases are still unknown) in transive topologically expanding or hyperbolic systems and are discovered to have full topological entropy for which it is also true if combined with non-recurrence and multifractal analysis such as quasi-regular set, irregular set and level sets. In this process a strong entropy-d…
We consider the regularity of measurable solutions $χ$ to the cohomological equation \[ ϕ= χ\circ T -χ, \] where $(T,X,μ)$ is a dynamical system and $ϕ\colon X\rightarrow \R$ is a $C^k$ valued cocycle in the setting in which $T \colon X\rightarrow X$ is a piecewise $C^k$ Gibbs--Markov map, an affine $β$-transformation of the unit interval or more generally a piecewise $C^{k}$ uniformly expanding map of an interval. We show that under mild assumptions, bounded solutions $χ$ possess $C^k$ versions. In particular we show that if $(T,X,μ)$ is a $β$-transformation then $χ$ has a $C^k$ version, thus…
In this paper we give an example of uniform convergence of the sequence of column vectors $\displaystyle{A_1\dots A_nV\over\left\Vert A_1\dots A_nV\right\Vert}$, $A_i\in\{A,B,C\}$, $A,B,C$ being some $(0,1)$-matrices of order $7$ with much null entries, and $V$ a fixed positive column vector. These matrices come from the study of the Bernoulli convolution in the base $β>1$ such that $β^3=2β^2-β+1$, that is, the (continuous singular) probability distribution of the random variable $\displaystyle(β-1)\sum_{n=1}^\infty{ω_n\overβ^n}$ when the independent random variables $ω_n$ take the values $0$ …
In this paper we consider the probability distribution function of a Gibbs measure supported on a self-conformal set given by an iterated function system (devil's staircase). We use thermodynamic multifractal formalism to calculate the Hausdorff dimension of the sets $S^α_{0}$, $S^α_{\infty}$ and $S^α$, the set of points at which this function has, respectively, Hölder derivative 0, $\infty$ or no derivative in the general sense. This extends recent work by Darst, Dekking, Falconer, Kesseböhmer and Stratmann and Yao, Zhang and Li.
We study the Fourier transforms $\widehatμ(ξ)$ of non-atomic Gibbs measures $μ$ for uniformly expanding maps $T$ of bounded distortions on $[0,1]$ or Cantor sets with strong separation. When $T$ is totally non-linear, then $\widehatμ(ξ) \to 0$ at a polynomial rate as $|ξ| \to \infty$.
