Constructing self-similar subsets within the fractal support of Lacunary Wavelet Series for their multifractal analysis
Céline Esser, Béatrice Vedel
TL;DR
This work addresses the problem of determining the increasing multifractal spectrum of lacunary wavelet series supported on fractal sets $\mathcal{I}$ where the Hausdorff and upper-box dimensions coincide, and classical Mass Transference Principles may not apply. It introduces quasi-Cantor subsets $\mathcal{K}_{\varepsilon}(b) \subset \mathcal{I}$ with controlled self-similarity across scales to obtain lower bounds for limsup-based dimension questions, and then applies these to lacunary wavelet series with parameters $(\alpha,\eta)$, proving that almost surely $\dim_{\mathcal{H}}\{x: h_f(x) \le h\} = (\eta/\alpha) h$ for $h$ in $[\alpha, \alpha H/\eta]$ (where $H = \dim_{\mathcal{H}}(\mathcal{I})$). The key contributions are (i) a constructive method to bypass MTP limitations via $(\varepsilon,b)$-quasi-Cantor sets, (ii) a transference-type result for limsup sets with centers chosen by Bernoulli laws, and (iii) an extension of Jaffard’s lacunary wavelet spectrum to fractal supports, enabling multifractal analysis on irregular domains. These results provide a principled way to estimate the multifractal structure of irregular signals on fractal supports and offer avenues for future generalizations to multivariate and other random processes on fractals.
Abstract
Given a fractal $\mathcal{I}$ whose Hausdorff dimension matches with the upper-box dimension, we propose a new method which consists in selecting inside $\mathcal{I}$ some subsets (called quasi-Cantor sets) of almost same dimension and with controled properties of self-similarties at prescribed scales. It allows us to estimate below the Hausdorff dimension $\mathcal{I}$ intersected to limsup sets of contracted balls selected according a Bernoulli law, in contexts where classical Mass Transference Principles cannot be applied. We apply this result to the computation of the increasing multifractal spectrum of lacunary wavelet series supported on $\mathcal{I}$.
