Renewal of singularity sets of statistically self-similar measures

This paper investigates new properties concerning the multifractal structure of a class of statistically self-similar measures. These measures include the well-known Mandelbrot multiplicative cascades, sometimes called independent random cascades. We evaluate the scale at which the multifractal structure of these measures becomes discernible. The value of this scale is obtained through what we call the growth speed in H\"older singularity sets of a Borel measure. This growth speed yields new information on the multifractal behavior of the rescaled copies involved in the structure of statistically self-similar measures. Our results are useful to understand the multifractal nature of various heterogeneous jump processes

Diophantine approximation by orbits of Markov maps

In 1995, Hill and Velani introduced the shrinking targets theory. Given a dynamical system $([0,1],T)$, they investigated the Hausdorff dimension of sets of points whose orbits are close to some fixed point. In this paper, we study the sets of points well-approximated by orbits $\{T^n x\}_{n\geq 0}$, where $T$ is an expanding Markov map with a finite partition supported by $[0,1]$. The dimensions of these sets are described using the multifractal properties of invariant Gibbs measures.Comment: 24 pages, 3 figures; To appear in ETDS, 201

Quantitative recurrence properties in conformal iterated function systems

Let $\Lambda$ be a countable index set and $S=\{\phi_i: i\in \Lambda\}$ be a conformal iterated function system on $[0,1]^d$ satisfying the open set condition. Denote by $J$ the attractor of $S$. With each sequence $(w_1,w_2,...)\in \Lambda^{\mathbb{N}}$ is associated a unique point $x\in [0,1]^d$. Let $J^\ast$ denote the set of points of $J$ with unique coding, and define the mapping $T:J^\ast \to J^\ast$ by $Tx= T (w_1,w_2, w_3...) = (w_2,w_3,...)$. In this paper, we consider the quantitative recurrence properties related to the dynamical system $(J^\ast, T)$. More precisely, let $f:[0,1]^d\to \mathbb{R}^+$ be a positive function and $$R(f):=\{x\in J^\ast: |T^nx-x|<e^{-S_n f(x)}, \ {\text{for infinitely many}}\ n\in \mathbb{N}\},$$ where $S_n f(x)$ is the $n$th Birkhoff sum associated with the potential $f$. In other words, $R(f)$ contains the points $x$ whose orbits return close to $x$ infinitely often, with a rate varying along time. Under some conditions, we prove that the Hausdorff dimension of $R(f)$ is given by $\inf\{s\ge 0: P(T, -s(f+\log |T'|))\le 0\}$, where $P$ is the pressure function and $T'$ is the derivative of $T$. We present some applications of the main theorem to Diophantine approximation.Comment: 25 page

Measures and functions with prescribed homogeneous multifractal spectrum

In this paper we construct measures supported in $[0,1]$ with prescribed multifractal spectrum. Moreover, these measures are homogeneously multifractal (HM, for short), in the sense that their restriction on any subinterval of $[0,1]$ has the same multifractal spectrum as the whole measure. The spectra $f$ that we are able to prescribe are suprema of a countable set of step functions supported by subintervals of $[0,1]$ and satisfy $f(h)\leq h$ for all $h\in [0,1]$. We also find a surprising constraint on the multifractal spectrum of a HM measure: the support of its spectrum within $[0,1]$ must be an interval. This result is a sort of Darboux theorem for multifractal spectra of measures. This result is optimal, since we construct a HM measure with spectrum supported by $[0,1] \cup {2}$. Using wavelet theory, we also build HM functions with prescribed multifractal spectrum.Comment: 34 pages, 6 figure

Multifractal properties of typical convex functions

We study the singularity (multifractal) spectrum of continuous convex functions defined on $[0,1]^{d}$. Let $E_f({h})$ be the set of points at which $f$ has a pointwise exponent equal to $h$. We first obtain general upper bounds for the Hausdorff dimension of these sets $E_f(h)$, for all convex functions $f$ and all $h\geq 0$. We prove that for typical/generic (in the sense of Baire) continuous convex functions $f:[0,1]^{d}\to \mathbb{R}$, one has $\dim E_f(h) =d-2+h$ for all $h\in[1,2],$ and in addition, we obtain that the set $E_f({h} )$ is empty if $h\in (0,1)\cup (1,+\infty)$. Also, when $f$ is typical, the boundary of $[0,1]^{d}$ belongs to $E_{f}({0})$