---
title: Non-Uniformly Expanding Maps
url: https://www.emergentmind.com/topics/non-uniformly-expanding-maps
type: topic
---

# Non-Uniformly Expanding Maps

Non-uniformly expanding maps are dynamical systems, typically continuous or piecewise-smooth transformations on manifolds or intervals, for which typical orbits undergo expansion on average, but may experience regions of indifferent or critical behavior where uniform expansion fails. Such maps frequently arise in one-dimensional dynamics, higher-dimensional systems with critical sets, and random or skew-product settings, and they underpin contemporary developments in thermodynamic formalism, multifractal analysis, equilibrium states, and statistical limit laws. The class is broad, encompassing intermittent maps (e.g., Pomeau–Manneville, Rényi maps), Viana skew-products, circle maps with logarithmic singularities, and non-uniformly expanding local diffeomorphisms—often with complex critical/singular structures.

## 1. Foundational Definitions and Classes

A map $f:M \to M$ (on a compact Riemannian manifold or interval $M$) is termed non-uniformly expanding if almost every orbit satisfies a positive lower bound for the time-average of the logarithm of the norm of the derivative: 
$$
\liminf_{n \to \infty} \frac{1}{n} \sum_{j=0}^{n-1} \log \| Df(f^{j}(x)) \| \geq \lambda > 0.
$$
In random dynamical systems, the analogous condition is formulated for random compositions $f^n_{\omega} = f_{\omega_{n-1}} \circ \cdots \circ f_{\omega_0}$, requiring
$$
\liminf_{n \to \infty} \frac{1}{n} \sum_{j=0}^{n-1} \log \| D f_{\omega_j}(f^j_\omega(x)) \| \geq \lambda.
$$
Maps may have critical or singular sets $C \subset M$, with slow recurrence: the measure of points not staying $\delta$-away from $C$ decays (stretched) exponentially, enforcing that non-uniform expansion dominates statistically for typical orbits [1501.00010], [1205.5358], [1111.4540].

Key subclasses:
- **Interval maps with indifferent fixed points:** Pomeau–Manneville, Rényi, backward continued fraction maps [1301.4033], [2511.02266].
- **Piecewise expanding maps (finite or countable branches):** With finitely or countably many intervals and uniformly expanding away from parabolic or indifferent points [2510.16789], [2511.02266].
- **Multimodal or unimodal interval maps:** Logistic, quadratic family with non-flat critical points and recurrence conditions [1107.2537], [1306.1479].
- **Higher-dimensional local diffeomorphisms:** Viana maps on $S^1 \times I$, non-uniformly expanding toral maps [2102.03666], [1501.00010].

## 2. Inducing Schemes, Hyperbolic Times, and Young Towers

Uniform control of statistical properties for non-uniformly expanding maps is achieved via inducing schemes (first-return maps) and hyperbolic times. A point $x$ has a $(\sigma,\delta)$-hyperbolic time $n$ if a neighborhood $V_n(x)$ is mapped diffeomorphically with expansion and bounded distortion onto a ball of radius $\delta$: 
$$
d(f^{k}(y), f^{k}(z)) \leq \sigma^{n-k} d(f^{n}(y), f^{n}(z)), \quad \forall 0 \leq k < n.
$$
A positive frequency of hyperbolic times guarantees sufficiently regular statistical behavior [2102.03666], [1501.00010].

Inducing schemes partition the phase space into regions where the first return (or inducing) map is uniformly expanding and admits bounded distortion. The induced system, coded as a (possibly countable) Markov shift, enables construction of Gibbs–Markov–Young towers, which have exponential or polynomial tails for return times—crucial for establishing decay rates of correlations and limit laws [2510.16789], [2008.06024].

## 3. Thermodynamic Formalism and Equilibrium States

Thermodynamic formalism in the non-uniformly expanding setting revolves around the study of topological pressure:
$$
P_{f}(\varphi) = \sup_{\mu \in M(f)} \left( h_\mu(f) + \int \varphi\, d\mu \right),
$$
and the existence/uniqueness of equilibrium states for Hölder or continuous potentials $\varphi$. For random dynamical systems (skew-product or i.i.d. compositions), the pressure is defined via integrals of transfer operator norms over the base $\Omega$: 
$$
P_{\text{top}}(\varphi) = \lim_{n \to \infty} \frac{1}{n} \int_\Omega \log \| \mathcal{L}_{\varphi_\omega}^n 1 \|_\infty\, dP(\omega).
$$
Under small variation or hyperbolicity conditions for $\varphi$, unique equilibrium states arise—even without Markov structure, uniform degree, or expansion everywhere. These equilibrium states possess weak (or full) Gibbs properties and exponential decay of correlations [1205.5358], [2102.03666], [2006.03749], [2007.11076].

Ruelle–Perron–Frobenius operators acting on spaces of Hölder (or generalized Hölder, BV, quasi-Hölder) functions admit spectral gaps, leading to exponential or polynomial mixing rates and central limit theorems [1205.5358], [1711.08052], [1307.0359]. Random perturbations preserve the spectral gap and stability of equilibrium states in many cases [2007.11076], [1107.2537].

## 4. Multifractal Analysis and Level-Set Spectra

A central focus is the multifractal spectrum of Birkhoff averages:
$$
\Lambda_\alpha = \left\{ x : \lim_{n \to \infty} \frac{1}{n} \sum_{k=0}^{n-1} \varphi(f^{k} x) = \alpha \right\}, \quad b(\alpha) = \dim_H \Lambda_\alpha.
$$
Conditional variational principles describe $b(\alpha)$ as the supremum of entropy divided by average expansion over invariant measures with fixed average $\alpha$:
$$
b(\alpha) = \sup \left\{ \frac{h_\mu(f)}{\lambda(\mu)} : \int \varphi\, d\mu = \alpha, \lambda(\mu) = \int \log |f'|\, d\mu > 0 \right\},
$$
with Legendre-type formulas relating $b(\alpha)$ to pressure functions [2510.16789], [2511.02266]. For non-uniformly expanding Rényi maps and their relatives, the multifractal spectrum outside central plateau intervals is real-analytic, strictly monotone, and identifies unique equilibrium states achieving prescribed averages [2511.02266]. The central plateau (from parabolic fixed points) supports measures of full Hausdorff dimension.

Applications include the analysis of Khinchin exponents, arithmetic means in backward continued fractions, and continued fraction expansions [2511.02266].

## 5. Statistical Properties: Mixing Rates and Limit Laws

Statistical properties of non-uniformly expanding maps critically rely on the tail estimates for return times in the inducing scheme:
- **Exponential tail:** $m\{R > n\} \leq Ce^{-cn}$
- **Polynomial tail:** $m\{R > n\} \leq C n^{-\beta}$

Young tower machinery leads to stretched-exponential or exponential decay of quenched correlations for random or deterministic compositions [1501.00010], [1205.5358], [2008.06024]. Polynomial tails yield optimal polynomial lower bounds for decay [1307.0359], which can be strictly quantified for observables supported away from neutral points. Central limit theorems, Berry–Esseen bounds, local limit theorems, and large/moderate deviations principles are verified for suitably regular random or deterministic systems, particularly when exponential tail conditions are met [2008.06024].

## 6. Stochastic Stability and Robustness

Non-uniform expansion persists under small random perturbations for a broad class of maps (interval, higher-dimensional, skew-products), provided summability, slow recurrence, and integrability conditions for hyperbolic times are satisfied [1107.2537], [1306.1479], [1002.4992]. Strong stochastic stability entails the convergence of stationary measure densities in $L^1$ (not just weak*-convergence) to those of the unperturbed SRB measure [1002.4992], [1107.2537]. Cone contraction, projective metrics, and uniform spectral gap arguments undergird continuity results for equilibrium states and pressure functions in both deterministic and random settings [1205.5358], [2007.11076].

## 7. Symbolic Dynamics, Coding, and Markov Structures

Symbolic models—often based on countable Markov shifts—can be constructed for invariant measures of non-uniformly expanding interval maps, even in the presence of critical points, discontinuities, and infinite distortion [1801.03359]. The coding map is Hölder continuous and typically finite-to-one onto the natural extension, recovering product structure and Markov partitions. Weak Markov or inducing structures on non-hyperbolic sets allow for robust symbolic decompositions, facilitating multifractal analysis, periodic point counting, and fine classification of equilibrium states. Notably, the coding techniques subsume classical Markov and Hofbauer tower frameworks [1801.03359].

## 8. Applications and Illustrative Examples

- **Pomeau–Manneville maps:** Polynomial decay of correlations; infinite distortion near neutral points [1307.0359], [1911.12004].
- **Rényi backward continued fraction maps:** Complete multifractal analysis for Khinchin exponents and backward digits; analytic dimension spectra [2511.02266].
- **Viana maps and quadratic families:** Randomly driven skew-products and induced maps with critical/singular sets; strong stochastic stability and exponential mixing [1501.00010], [2102.03666], [1002.4992].
- **Circle maps with logarithmic singularities:** Chaotic dynamics and existence of SRB measures for parametrized singular maps [1106.1707].
- **Random random non-uniformly expanding systems:** Limit theorems for random towers, storchastic stability, invariant density continuity [2008.06024], [1002.4992].

## 9. Advanced Topics and Open Directions

Recent developments extend the scope of non-uniformly expanding theory via:
- **Relative pressure for noncompact invariant sets:** Carathéodory-type constructions and variational principles for pressure on arbitrary random sets [2006.03749].
- **Flatness criteria for potentials:** Optimal transportation and Wasserstein contraction approaches to spectral gaps and decay rates without inducing or Markov partitions [1711.08052].
- **Phase transitions and multifractal spectra:** Identification of analytic sectors and plateaux in dimension spectra, especially in systems with parabolic or neutral fixed points [2510.16789], [2511.02266].
- **Random thermodynamic formalism:** Stability, existence, and uniqueness of equilibrium states in highly non-uniform settings without Markov or bounded-degree assumptions [2006.03749], [2007.11076].

Ongoing research seeks to generalize these mechanisms to higher dimensions, potentials of unbounded variation, partially hyperbolic systems, and systems with infinite or uncountable critical structures.

---

**Key References (arXiv ids for further reading):**

| Area | Example Map/Class | arXiv Reference |
|------|-------------------|----------------|
| Inducing/Young towers | Interval maps with parabolic points | [2510.16789], [2511.02266] |
| Random non-uniform expansion | Skew-product, Viana maps | [1501.00010], [2006.03749], [2102.03666] |
| Strong stochastic stability | Interval diffeomorphisms, Viana maps | [1002.4992], [1107.2537] |
| Flatness/waterstein contraction | Circle/intermittent maps | [1711.08052], [1307.0359] |
| Symbolic coding | Non-uniformly expanding interval maps | [1801.03359] |
| Multifractal spectra | Backward continued fractions | [2511.02266] |

For in-depth mathematical definitions, technical proofs, and specialized applications, consult the cited preprints and their appendices.

Source: https://www.emergentmind.com/topics/non-uniformly-expanding-maps