1. A model with additional randomness

The stochastic processes F considered in this article are natural extensions of the previous models, and fit in the general study of pointwise regularity properties of rough sample paths of stochastic processes. As in the aforementioned works, we obtain results regarding their existence and regularity properties. We go further by providing a complete multifractal analysis of F and by investigating various moduli of continuity.

Fix a probability space $(\Omega, \mathcal{F},\mathbb{P})$ on which all random variables and stochastic processes are defined.

Let $(C_n)_{n\in\mathbb{N}^*}$ be a point Poisson process whose intensity is the Lebesgue measure on $\mathbb{R}_+$ , and let S be another point Poisson process, independent with $(C_n)_{n\in \mathbb{N}^*}$ , whose intensity is the Lebesgue measure on $\mathbb{R}_+^* \times [0,1]$ . We write $S=(B_n,X_n)_{n\in\mathbb{N}^*}$ where the sequence $(B_n)_{n\in \mathbb{N}^*}$ is increasing. By construction, the three sequences of random variables $(C_n)$ , $(B_n)$ and $(X_n)$ are mutually independent.

Definition 1·1. Let $\psi\;:\;\mathbb{R}\rightarrow\mathbb{R}$ be a Lipschitz function with support equal to $[\!-\!1,1]$ , $\alpha\in (0,1)$ and $\eta\in (0,1)$ . The (random) sum of pulses F is defined by

(1·1) \begin{equation}F(x)=\sum_{n = 1}^{+\infty} C_n^{-\alpha} \psi_n(x), \ \ \mbox{ where } \ \ \psi_n(x)\;:\!=\; \psi (B_n^{\frac{1}{\eta}} (x-X_n))\end{equation}

The parameter $\alpha$ will be interpreted as a regularity coefficient, and $\eta$ as a lacunarity coefficient. Observe that the support of $\psi_n$ is the ball $B(X_n, B_n^{-1/\eta})$ (B(t, s) stands for the ball with centre t, radius s).

The stochastic process F possesses interesting properties on the interval [0, 1] only, since $X_n\in [0,1]$ . However, this is not a restriction at all, since F can easily be extended to $\mathbb{R}$ as follows.

For every integer m, consider $F_m$ , an independent copy of F but shifted by m. Then,

\begin{align*}\widetilde F \;:\!=\;\sum_{m\in \mathbb{Z}} F_m \end{align*}

enjoys the same pointwise regularity properties as F. It is interesting to see that this new process $\widetilde{F}$ has now stationary increments, and enlarges the (quite small) class of stochastic processes with stationary increments whose multifractal analysis is completely understood, see Figure 2.

Fig. 2.

Sample path of F computed with 1000 dilated and translated pulses.

In [ Reference Jaffard33 ], using for $\psi$ a smooth wavelet generating an orthonormal basis, Jaffard studied the lacunary random wavelet series

\begin{align*}W(x)=\sum_{j\in\mathbb{N}} \sum_{k\in\mathbb{Z}} C_{j,k}2^{-j\alpha} \psi_{j,k}(x), \ \ \ x\in\mathbb{R} ,\end{align*}

where for all $(j, k)\in\mathbb{N} \times \mathbb{Z}$ , $\psi_{j,k} (x)=\psi (2^j x-k)$ and the wavelet coefficients $C_{j, k}$ are independent random variables wavelets whose law is a Bernoulli measure with parameter $2^{-j\eta}$ (hence, depending on j only). The main difference between the lacunary wavelet series and our model (motivating our work) is that not only dilations $(B_n)_{n\in\mathbb{N}^*}$ but also the translations $(X_n)_{n\in\mathbb{N}^*}$ are random in our case. Hence our interest in F (and in $\widetilde F$ ) comes from the fact that it is not based on a dyadic grid, hence providing one with a homogeneous model more natural from a probabilistic point of view, the process $\widetilde F$ having stationary increments. The main results of this paper concern the global and pointwise regularity properties of F, which are proved to be similar to those of W.

We start by the multifractal properties of F, see Figure 3.

Fig. 3.

Multifractal spectrum in the case $\alpha=0.9$ and $\eta=0.4$ .

Theorem 1·1. Let F be as in Definition 1·1, with $\alpha,\eta\in (0,1)$ . With probability one, one has

\begin{align*} D^{[0,1]} _F (H)=\left\{ \begin{array}{l@{\quad}c@{\quad}r} \frac{H}{\alpha} & \mbox{if} & H\in [\alpha\eta, \alpha] , \\ -\infty & \mbox{ else.} \end{array} \right.\end{align*}

The other results concern the almost-sure global regularity of F and its moduli of continuity. Let us recall the notions of modulus of continuity.

Function spaces are naturally associated with moduli of continuity.

Definition 1·3. A function $f\in L^\infty _{loc}(\mathbb{R})$ has $\theta\;:\;\mathbb{R}^+\to \mathbb{R} $ as uniform modulus of continuity when there exists $K>0$ such that

\begin{equation}\forall h\in\mathbb{R}_+, \ w_f (h)\;:\!=\;\sup_{|x-y|\leq h} |f(x)-f(y)|\leq K \theta(h) . \nonumber\end{equation}

A function $f\in L^\infty _{loc}(\mathbb{R})$ has $\theta\;:\;\mathbb{R}^+\to \mathbb{R} $ as local modulus of continuity at $x_0\in \mathbb{R}$ when there exist $\eta_{x_0}>0$ and $K_{x_0}>0$ such that

(1·2) \begin{equation}\forall x \mbox{ such that } |x-x_0|\leq \eta_{x_0}, \ \ \ \ |f(x)-f(x_0)|\leq K_{x_0} \theta(|x-x_0|) .\end{equation}

A function $f\in L^\infty _{loc}(\mathbb{R})$ has $\theta\;:\;\mathbb{R}^+\to \mathbb{R} $ as almost-everywhere modulus of continuity when $\theta$ is a local modulus of continuity for f at Lebesgue almost every $x_0\in \mathbb{R}$ .

When $\alpha\in (0,1)$ and $\theta(h)= \theta_\alpha(h)\;:\!=\; |h|^\alpha$ , the functions having $\theta_\alpha$ as uniform modulus of continuity is exactly the set $\mathcal{C}^\alpha(\mathbb{R})$ of $\alpha$ -Hölder functions (to deal with exponents $\alpha \geq 1$ , the definition of $w_f (h)$ must be modified and use finite differences of higher order).

Our result theorem regarding continuity moduli is the following.

Remark 1. Items (ii) and (iii) above provide us with a tight window for the optimal almost everywhere modulus of continuity $\theta_F$ of F, i.e.

\begin{align*} |h|^{\alpha } |\log_2 \!(h)|^{2\alpha} \leq \theta_F(h) \leq |h|^{\alpha } |\log_2 (h)|^{2+\alpha}.\end{align*}

The investigation of a sharper estimate for this modulus of continuity is certainly of interest. For instance, S. Jaffard was able to obtain a precise characterisation in the case of lacunary wavelet series, see [ Reference Jaffard33 , Theorem 2·2].

The paper is organised as follows. Preliminary results are given in Sections 2 and 3. A key point will be to estimate for $j\in\mathbb{N}$ , the maximal number of integers $n\in\mathbb{N}^*$ satisfying $2^{j} \leq B_n^{\frac{1}{\eta}}<2^{j+1}$ , such that the support of $\psi_n$ contains a given point $x\in [0,1]$ (a bound uniform in $x\in [0,1]$ is obtained). More specifically, we will focus on the so-called “isolated” pulses $\psi_n$ , i.e. those pulses whose support intersect only a few number of supports of other pulses with comparable support size. These random covering questions are dealt with in Section 3. This is key to obtain lower and upper estimates for the pointwise Hölder exponents of F at all points and to get Theorem 1·1. More precisely, in Section 4, Theorem 1·2 (i) is proved, and a uniform lower bound for all the pointwise Hölder exponents of F is obtained. In Sections 5 and Section 6, we relate the approximation rate of a point $x\in [0,1]$ by some family of random balls to the pointwise regularity of F. This allows us to derive the almost sure multifractal spectrum of F in Section 7. In Section 8, we explain how to get the almost everywhere modulus of continuity for F (Theorem 1·2 (ii) and (iii)). Finally, Section 9 proposes some research perspectives.

2. Preliminary results

Preliminary results are exposed, some of which can be found in standard books [ Reference Bertoin12, Reference Breiman13 ].

For $j\in\mathbb{N}$ , define

(2·1) \begin{eqnarray}A_0 &=& \left\{n\in\mathbb{N}^*\;:\; 0 \leq B_n^{\frac{1}{\eta}} \leq 1\right\} ,\nonumber\\A_j &=& \left\{n\in\mathbb{N}^*\;:\; 2^{j-1} < B_n^{\frac{1}{\eta}} \leq 2^j\right\} \ \ \ \mbox{ when } j> 0 ,\\N_j &=&\mbox{Card}(A_j) . \nonumber\end{eqnarray}

From its definition, each $N_j$ is a Poisson random variable with parameter $2^{\eta j}-2^{\eta(j-1)}$ .

Lemma 2·1. Almost surely, for every j large enough,

(2·2) \begin{equation}2^{\eta j(1-\varepsilon_j)}\leq N_j \leq 2^{\eta j(1+\varepsilon_j)} \ \ \mbox{ with } \ \ \varepsilon_j=\frac{\log_2\!(j)}{\eta j} .\end{equation}

Observe that the last equation can also be written

\begin{align*}\frac{1}{j} 2^{\eta j }\leq N_j \leq j2^{\eta j}.\end{align*}

Proof. Introduce the counting random function $(M_t)_{t\in\mathbb{R}_+^*}$ of the point process $(B_n)_{\mathbb{N}^*}$ as $M_t=\sup\{ n\in\mathbb{N}^* \;: \; B_n\leq t \}=\sum_{n\in\mathbb{N}^*} \unicode{x1d7d9}_{B_n\leq t}$ .

For all $0\leq s < t$ , $M_t-M_s$ is a Poisson variable with parameter $(t-s)$ . Noting that $N_j=M_{2^{\eta j}}-M_{2^{\eta(j-1)}}$ , the random variable $ N_j $ has a Poisson distribution of parameter $ a2^{\eta(j-1)}$ , where $a=2^\eta-1$ . By the Bienaymé–Tchebychev inequality, since $\mathbb{E}[N_j]=a 2^{\eta (j-1)}$ , one has

(2·3) \begin{equation}\mathbb{P}\!\left(|N_j - a2^{\eta(j-1)} |\geq j 2^{\frac{\eta}{2}(j-1)}\right)\leq \frac{a 2^{\eta (j-1)}}{j^2 2^{\eta (j-1)}} \leq \frac{a}{j^2} .\end{equation}

By the Borel–Cantelli lemma, a.s. for j large enough, $|N_j-a 2^{\eta(j-1)}|\leq j 2^{\frac{\eta}{2}(j-1)}$ . In particular, for every $\alpha>0$ and j large enough, $j^{-\alpha }2^{j\eta}\leq N_j\leq j^\alpha 2^{j\eta}$ . This implies (2·2).

From (2·3), for every $\alpha>0$ , there exists $K> 0$ such that for every j large,

(2·4) \begin{equation}\mathbb{P}\!\left(N_j\notin \left[2^{\eta j (1-\alpha \varepsilon_j)},2^{\eta j (1+\alpha \varepsilon_j)}\right]\right)\leq \frac{K}{j^2}.\end{equation}

Observe that (2·4) indeed holds for every j with a suitable choice for K. This will be used later. Bounds for the random variables $B_n$ and $C_n$ are deduced from the previous results.

Lemma 2·2. Almost surely, for all $j\in\mathbb{N}$ large enough and $n\in A_j$ ,

(2·5) \begin{eqnarray} \frac{1}{j} 2^{\eta j}= 2^{\eta j (1-\varepsilon_j)} \leq C_n \leq 2^{\eta j (1+\varepsilon_j)} = j2^{\eta j} .\end{eqnarray}

Proof. It is standard (from the law of large numbers for instance) that almost surely, for every $n\in\mathbb{N}^*$ large enough

(2·6) \begin{eqnarray} \frac{n}{2} \leq C_n \leq 2 n .\end{eqnarray}

Let $J\in\mathbb{N}$ be large enough so that (2·2) holds for $j\geq J$ . Call $A= \sum_{j^{\prime}=0}^{J } N_{j^{\prime}} $ .

Let $j\geq J+1$ , and $n\in A_j$ . By definition, one has $\sum_{j^{\prime}=0}^{j-1} N_{j^{\prime}} \leq n \leq \sum_{j^{\prime}=0}^j N_{j^{\prime}}$ .

We apply by (2·3) with $\alpha=1/2$ . On one side,

\begin{align*} \sum_{j^{\prime}=0}^{j -1} N_{j^{\prime}} \geq N_{j-1} \geq 2^{\eta (j-1)(1-\alpha \varepsilon_{j-1})} \geq K_1 2^{\eta j (1-\alpha \varepsilon_j)} \geq 2^{\eta j (1- \varepsilon_j)} .\end{align*}

On the other side, since $j\varepsilon_j$ is increasing with j, when j becomes large one has

\begin{eqnarray*} \sum_{j^{\prime}=0}^j N_{j^{\prime}} \leq A + \sum_{j^{\prime}=J+1 }^{j} 2^{\eta j^{\prime}(1+\alpha \varepsilon_{j^{\prime}})} \leq A + 2^ { \alpha \eta j \varepsilon_j} \sum_{j^{\prime}=J+1 }^{j } 2^{\eta j^{\prime}}\leq K_2 2^{\eta j (1+\alpha \varepsilon_{j})} ,\end{eqnarray*}

since A is finite. The last term is less than $ 2^{\eta j (1+ \varepsilon_{j})} $ , so combining this with (2·6) gives (2·5).

Finally, for all $j\in\mathbb{N}$ and $n\in A_j $ , additional information on the number of pulses $\psi_n $ for $n\in A_j$ (see (1·1)) whose support contains a given $x\in [0,1]$ is needed. So, for $x\in [0,1]$ , $r>0$ and $n \in\mathbb{N}^*$ , set

(2·7) \begin{align} T_n(x,r )=\left\{ \begin{array}{l@{\quad}l}1 & \mbox{ if } B\left(X_n, B_n^{-\frac{1}{\eta}}\right)\bigcap B(x,r)\neq \emptyset, \\[5pt] 0 & \mbox{ otherwise.}\end{array}\right.\end{align}

Next Lemma describes the number of overlaps between the balls $B\!\left(X_n, B_n^{-\frac{1}{\eta}}\right)$ for $n\in A_j$ . It is an improvement of some properties proved in [ Reference Demichel19 ].

Lemma 2·3. Almost surely, there exists $K>0$ such that for every $x \in [0,1]$ , for every $J,j \in\mathbb{N}^*$ ,

(2·8) \begin{eqnarray} \sum_{n\in A_j} T_n(x,2^{-\eta J}) \leq K j^2 \max\!\left(1,2^{\eta(j-J)}\right).\end{eqnarray}

Proof. We first work on the dyadic grid. Let $j\in\mathbb{N}$ and $j_\eta=\lfloor\eta j\rfloor$ . Observe that $ [0,1]=\bigcup_{k=0}^{2^{j_\eta}-1} I_{j_\eta,k} $ , where $ I_{j_\eta,k}=[k2^{-j_\eta},(k+1)2^{-j_\eta}].$ For $k\in\{0,1,...,2^{j_\eta}-1\}$ , and set

(2·9) \begin{align}L_{j,k} = \mbox{Card}\left\{ n\in A_j \;:\; \ X_n\in I_{j_\eta,k}\pm 2^{-j_\eta+1 } \right\},\end{align}

where the notation $ I_{j_\eta,k}\pm 2^{-j_\eta+1 }$ stands for the union of the interval $I_{j_\eta,k}$ with its two neighbors $I_{j_\eta,k-1}$ and $I_{j_\eta,k+1}$ . Let us estimate $p_j=\mathbb{P}(\exists k\in\{0,1,...,2^{j_\eta}-1\} \;:\; L_{j,k} > j^2).$ Using the total probability rule,

\begin{align*}p_j &= \mathbb{P}\!\left(\exists k\in\{0,1,...,2^{j_\eta}-1\}, \ L_{j,k}> j^2 | N_j\in \left[2^{\eta j (1-\varepsilon_j)},2^{\eta j (1+\varepsilon_j)}\right]\right)\\ &\quad \times \mathbb{P}\left(N_j\in \left[2^{\eta j (1-\varepsilon_j)},2^{\eta j (1+\varepsilon_j)}\right]\right) + \mathbb{P}\left(\exists k\in\left\{0,1,...,2^{j_\eta}-1\right\}, L_{j,k} \right. \\ & \quad \left. > j^2| N_j\notin\left[2^{\eta j (1-\varepsilon_j)},2^{\eta j (1+\varepsilon_j)}\right]\right) \times\mathbb{P}\left(N_j\notin\!\left[2^{\eta j (1-\varepsilon_j)},2^{\eta j (1+\varepsilon_j)}\right]\right).\end{align*}

Applying (2·4), there exists $K>0$ such that for every j large,

(2·10) \begin{equation}p_j \leq \sum_{N\in \{ \lfloor 2^{\eta j (1-\varepsilon_j)} \rfloor ,..., \lfloor2^{\eta j (1+\varepsilon_j)}\rfloor\}} p_{j,N} \mathbb{P}(N_j=N)\ +\frac{K}{j^2} , \end{equation}

where for every integer N, $p_{j,N}=\mathbb{P}(\exists k\in \{0,1,...,2^{j_\eta}-1\}\;:\; L_{j,k} >j^2 |N_j=N).$ Obviously, $p_{j,N}$ is increasing with N, hence $p_{j} \leq p_{j, {\lfloor 2^{\eta j (1+\varepsilon_j)}\rfloor}} +\frac{K}{j^2}$ .

Conditioned on $N_j=n_0\;:\!=\; {\lfloor 2^{\eta j (1+\varepsilon_j)}\rfloor}$ , the law of each $L_{j,k}$ is binomial $B(n_0,p)$ with parameters $n_0$ and $p=\mathbb{P}(X_n\in I_{j_\eta,k}\pm 2^{-j_\eta+1} )$ .

Recall the argument by Demichel and Tricot used in [ Reference Heurteaux28 , Lemma 2·1]: for $Y\sim B(n_0,p)$ , then for every $m\geq 1$ ,

\begin{equation*}\mathbb{P}(Y>m) \leq \frac{(n_0 p)^m}{m!}.\end{equation*}

In particular, in our case, since $p\leq 3\cdot 2 ^{-j_\eta} \leq 6\cdot 2^{-\eta j }$ , one has

\begin{equation*}\mathbb{P}(L_{j,k} > j^2 | N_j =n_0) \leq \frac{(n_0 p)^{j^2}}{(j^2)!} \leq \frac{( 6\cdot 2^{\eta j (1+ \varepsilon_j ) -\eta j} )^{j^2} }{(j^2)!} = \frac{ (6\cdot j)^{j^2} }{(j^2)!}.\end{equation*}

Hence,

\begin{align*}p_{j,\lfloor 2^{ \eta j (1+\varepsilon_j)}\rfloor} \leq \sum_{k=0}^{2^{j_\eta -1}} \frac{(6\cdot j)^{j^2}}{(j^2)!} \leq \frac{2^{j_\eta}(6\cdot j)^{j^2}}{(j^2)!}.\end{align*}

Recalling (2·10), one concludes that $p_j \leq {2^{j_\eta}(6\cdot j)^{j^2} }/{(j^2)!} + {K}/{j^2}$ which is the general term of a convergent series.

Borel–Cantelli lemma gives that almost surely, for all $j\in\mathbb{N}$ large enough and for every $k\in\{0,1,..,2^{j_\eta}-1\}$ , $L_{j,k}\leq j^2$ . So, almost surely, there exists $K>0$ such that for every $j\geq 1$ , for every $k\in\{0,1,..,2^{j_\eta}-1\}$ , $L_{j,k}\leq K j^2$ .

To conclude now, fix a real number $x\in [0,1]$ and a positive integer $J\geq 1$ . Two cases are distinguished:

• (i) when $ j\leq J$ : calling again $j_\eta=\lfloor j\eta\rfloor$ , the point x belongs to a unique interval $I_{j_\eta,k_x}$ (for some unique integer $k_x$ ). When $n\in A_j$ , observe that $T_n(x,2^{-\eta J}) =1$ if and only if $|X_n-x|\leq 2^{-\eta J} + B_n ^{-1/\eta} \leq 2^{-\eta J} +2^{-j}$ . This may occur only when $X_n\in I_{j_\eta,k_x}\pm (2^{-\eta J}+2^{-j} ) \subset I_{j_\eta,k_x}\pm 2\cdot 2^{-j_\eta} $ , since $ j \le J$ .

  From the consideration above, there are at most $K j^2$ points $X_n$ , $n\in A_j$ , such that $T_n(x,2^{-\eta J}) =1$ , hence (2·8);

• (ii) when $j > J$ : as above, when $n\in A_j$ , $T_n(x,2^{-\eta J}) =1$ may occur only if $|X_n-x|\leq 2^{-\eta J} + B_n ^{-1/\eta} \leq 2^{-\eta J} +2^{-j} \leq 2^{-{j_\eta} +1} $ . The interval $[x- 2^{-{j_\eta} +1}, x+2^{-{j_\eta} +1}]$ is covered by at most $\lfloor 2^{ \eta(j-J)+3}\rfloor$ intervals $I_{{j_\eta} ,k}$ , and each of these intervals contain at most $K j^2$ points $X_n$ . So, $T_n(x,2^{-\eta J}) =1$ for at most $Kj^2 2 ^{ \eta(j-J)+3} 2$ integers $n\in A_j$ . Hence the result (2·8).

Observe that the degenerate case $J=+\infty$ also holds in this case, i.e. almost surely, there exists $K>0$ such that for every $x \in [0,1]$ , for every $j \in\mathbb{N}^*$ , one has

(2·11) \begin{eqnarray}\sum_{n\in A_j} T_n (x) =\sum_{n\in A_j} T_n (x,0) \leq K j^2.\end{eqnarray}

3. Distribution of isolated pulses

There may be several pulses $\psi_n$ with $n\in A_j$ whose support intersect each other, creating unfortunate irregularity compensation phenomena and making the estimation of local increments of the process F difficult. In order to circumvent this issue, the knowledge on the distribution of the $\psi_n$ ’s shall be improved.

For this, fix $\gamma \in {(1,1/\eta)}$ and $\rho \in \mathbb{N}$ so large that

(3·1) \begin{equation}\rho > \frac{3+3 \alpha}{1-\alpha\eta} .\end{equation}

This condition will be key in Section 6 to get estimate (6·3).

Let us introduce for any $j\in\mathbb{N}$ the sets

(3·2) \begin{eqnarray} \widetilde{A}_j=\bigcup\nolimits_{j^{\prime}=\lfloor (1-\rho \eta\varepsilon_j)j \rfloor}^{\lfloor \gamma j \rfloor} A_{j^{\prime}} \ \ \ \mbox{ and }\ \ \ \widetilde{N}_j=\mbox{Card}(\widetilde{A}_j) \end{eqnarray}

(3·3) \begin{eqnarray} \mathcal{I} _j=\{ n\in A_j \;: \; \forall m\in\widetilde{A}_j,\ n\neq m ,\ B\left(X_n,B_n^{-\frac{1}{\eta}}\right)\cap B\left(X_m,B_m^{-\frac{1}{\eta}}\right)=\varnothing \}\end{eqnarray}

The elements of $\mathcal{I}_j$ are integers $n\in A_j$ such that the support of $\psi_n$ does not intersect any support of $\psi_m$ for $m\in\widetilde{A}_j $ with $m\neq n$ , see Figure 4.

The distribution of the isolated points $\{X_n\}_{n\in \mathcal{I}_j }$ is further investigated. Indeed, as said above, such information is key to obtain upper and lower bounds for the Hölder exponent of F at any point x (see Sections 5 and 6). To describe the distribution of $\{X_n\}_{n\in \mathcal{I}_j }$ , consider the two limsup sets

(3·4) \begin{eqnarray}G_\delta = \limsup_{j\rightarrow +\infty} \bigcup_{n\in A_j} B(X_n,B_n^{-\delta}) \end{eqnarray}

(3·5) \begin{eqnarray} G'_{\!\!\delta} = \limsup_{j\rightarrow +\infty} \bigcup_{n\in \mathcal{I} _j} B\left(X_n,B_n^{-\delta(1-\widetilde{\varepsilon}_j)}\right), \ \ \mbox{ where $\widetilde{\varepsilon}_j=\log_2 \!(16j \log_2 j)/(\eta j)$. }\end{eqnarray}

In the next sections, it is proved that $ G_\delta $ contains points whose pointwise Hölder exponent of F is lower-bounded by $\alpha /\delta$ and $G'_{\!\!\delta}$ points whose pointwise Hölder exponent of F is upper-bounded by $\alpha /\delta$ . The idea is that on the support of an isolated pulse, the process F has large local oscillations, thus forming points around which F possesses a low regularity.

Fig. 4.

Representation of pulses supports around an integer $n\in \mathcal{I} _j$ .

It is a classical result (see [ Reference Barral, Fournier, Jaffard and Seuret5, Reference Jaffard33 ]) that almost surely,

(3·6) \begin{equation}[0,1] = \limsup_{j\rightarrow +\infty} \bigcup_{n\in A_j} B\!\left(X_n,B_n^{- (1-\widetilde{\varepsilon}_j)}\right) .\end{equation}

Hence, almost surely, every $x\in [0,1]$ is infinitely many times at distance less than $B_n^{-(1-\widetilde{\varepsilon}_j)}$ from a point $X_n$ . A more subtle covering theorem is needed, using only isolated points $(X_n)_{n\in \mathcal{I}_ j}$ (instead of $(X_n)_{n\in A_ j}$ ).

Proof. For $j\in\mathbb{N}$ , define the following set

\begin{align*}D_j = \left\{ \left[8k2^{-\lfloor\eta j\rfloor}, (8k+1) 2^{-\lfloor\eta j\rfloor}\right] \; : \; k\in \mathbb{N} \ \mbox{ and } \ 0\leq 8k < 2^{\lfloor\eta j\rfloor} -1\right\} .\end{align*}

Obviously, $\mbox{Card} (D_j ) \sim 2^{\lfloor \eta j\rfloor}/8$ .

For all $V\in D_j$ (necessarily, $V\subset [0,1]$ ), consider the following event:

(3·7) \begin{eqnarray} \mathcal{A}_j (V) = \left\{\exists \, n\in A_j \ \mbox{ such that } X_n\in V \ \mbox{ and } \ B(X_n, 2B_n^{{-\gamma} })\bigcap \bigcup_{m\in \widetilde{A}_j}\{X_m\}=\{X_n\} \right\}. \end{eqnarray}

Proof. When $\mathcal{A}_j (V)$ is realised, the point $X_n$ is such that for every $m\in\widetilde{A}_{j}$ , $m\neq n$ , $X_m\notin B(X_n,2B_n^{{-\gamma}})$ .

Further, recall that $ 2^{(j-1) \eta } < B_n\leq 2^{j \eta}$ , and that $B_n^{-1/\eta} < B_n^{-\gamma} $ by our choice for $\gamma { \in (1,1/\eta)}$ . In addition, observe that when $m\in\widetilde{A}_{j}$ for j sufficiently large,

\begin{align*} B_m ^{-1/\eta} & \leq 2^{-(1-\rho \eta \varepsilon_j)j+1} \leq 2 \times 2^{\rho \eta \varepsilon_j j} 2^{-j}\leq 4 B_n^{ \rho \varepsilon_j - \frac{1}{\eta}} \leq B_n^{-\gamma} ,\end{align*}

again due to our choice for $\gamma$ .

What precedes proves that $B(X_m,B_m^{-1/\eta}) \cap B(X_n,B_n^{-1/\eta}) =\emptyset$ , hence $X_n$ is isolated.

Our aim is now to prove that these events $\mathcal{A}_j (V)$ are realised very frequently.

The restrictions of the point Poisson process $\{(X_n,B_n \}_{n\in\mathbb{N}}$ on $V\times [1,+\infty]$ , or equivalently of $\left\{\left(X_n,B_n^{-\frac{1}{\eta}}\right)\right\}_{n\in\mathbb{N}}$ on $V\times [0,1]$ , on the dyadic intervals $V\in D_j$ , are independent. Moreover, the intervals in $D_j$ being pairwise distant from at least $2^{1-\eta j}$ , and since ${5} B_n^{{ -\gamma} } < B_n^{-1}\leq 2^{1-\eta j}$ (when n is large enough), two balls $B(X_n,2B_n^{{ -\gamma} })$ with $X_n\in V$ and $B(X_m,2B_m^{{ -\gamma}})$ with $X_m \in V' \neq V$ (with $n,m\in A_j$ ) do not intersect. As a conclusion, the events $\mathcal{A}_j (V)$ for $V\in D_j$ are independent.

We introduce the set of (random) intervals

\begin{align*}Q_j = \{ V\in D_j \; : \; \mathcal{A}_j (V) \mbox{ is true }\}.\end{align*}

Let $V\in D_j$ with $V\subset[0,1]$ , and consider the random variable $T_j (V) =\unicode{x1d7d9}_{\mathcal{A}_j (V)}$ . From the above considerations, the random variables $(T_j (V))_{V\in D_j}$ are i.i.d. random Bernoulli variables with common parameter $p_j ({ \gamma })=\mathbb{P}(\mathcal{A}_j (V) \ \mbox{ is true})$ . Since $\mbox{Card}(Q_j) = \sum_{V\in D_j} T_j (V)$ , $\sum _{V\in D_j} T_j (V) \sim \mathcal{B}(\mbox{Card} (D_j) ,p_j({ \gamma}))$ , a binomial law with parameters $\mbox{Card}(D_j)$ and $p_j({ \gamma})$ .

The parameter is denoted $p_j({\gamma})$ because, the law of the random variables $X_n$ and $B_n$ being given, it depends only on $\gamma$ and j. To go further, we call for the following lemma that is proved in [ Reference Barral, Fournier, Jaffard and Seuret5 , lemma 28] (see also [ Reference Barral and Seuret8 ]).

Two intervals V, $V' \in D_j $ are successive when writing $V=[8k2^{-\lfloor\eta j\rfloor}, (8k+1) 2^{-\lfloor\eta j\rfloor}]$ , then either $V' = [8(k+1)2^{-\lfloor\eta j\rfloor}, (8(k+1)+1) 2^{-\lfloor\eta j\rfloor}]$ or $V' = [8(k-1)2^{-\lfloor\eta j\rfloor}, (8(k-1)+1) 2^{-\lfloor\eta j\rfloor}]$ . Next lemma shows that amongst any set of $j_p\log j_p$ successive intervals in $D_j$ , at least one of them, say V, satisfies $\mathcal{A}_j (V) $ .

Lemma 3·4. For all $p\in\mathbb{N}$ , define the events $\mathcal{E}_p$ by

\begin{eqnarray*}\mathcal{E}_p&=&\{\mbox{for all } (V_1,...,V_{\lfloor j_p \log j_p \rfloor}) \mbox{ successive intervals of } {D}_{j_p} \nonumber\\[5pt] & &\ \exists k\in\{1,...,\lfloor j_p\log j_p\rfloor\} \ \mbox{ such that } \mathcal{A}_{j_p} (V_k) \ \mbox{ is true}\}.\end{eqnarray*}

Then $\mathbb{P}(\!\limsup\limits_{p \rightarrow +\infty} \mathcal{E}_p ) = 1 $ .

Proof. It is easily checked that the $\{\mathcal{E}_p\}_{p\in\mathbb{N}}$ are mutually independent by our choice for $(j_p)_{p\geq 1}$ . There is a constant $K> 0$ such that

\begin{eqnarray*}\mathbb{P}(\mathcal{E}^c_p)&\leq & \sum_{i=1}^{\mbox{Card}(D_{j_n})} \prod_{k=1}^{\lfloor j_n\log j_n \rfloor} \mathbb{P}(\mathcal{A}_{j_n} (V_k) \mbox{ is false}) \nonumber\\& \leq & K2^{\eta j_p } (1-p_j({ \gamma}))^{j_p \log j_p} \nonumber\\& \leq & K2^{\eta j_p} (1-k({ \gamma}))^{j_p \log j_p}. \nonumber\end{eqnarray*}

By construction, $j_p>\!\!\!> p$ and $0< 1-k({ \gamma})<1$ . This implies that for p large enough, there exists $K'>0$ such that $\mathbb{P}(\mathcal{E}^c_p)\leq K'e^{- p}$ , and so $ \mathbb{P}(\mathcal{E}_p)\geq 1- K'e^{- p} $ .

In particular, $\sum\limits_{p\in\mathbb{N}}\mathbb{P}(\mathcal{E}_ p )=+\infty$ , and Borel–Cantelli’s lemma yields the result.

Let p be such that $\mathcal{E}_p$ is realised (this happens for an infinite number of p’s).

Let $V\in D_{j_p}$ such that $A_j (V)$ holds true. Hence V contains an isolated point, by Lemma 3·2.

From the $\mathcal{E}_p$ ’s and Lemma 3·4, it follows that amongst any $\lfloor {j_p} \log {j_p} \rfloor$ consecutive intervals in $D_{j_p}$ there is at least one interval that contains an isolated point. Consequently,

\begin{align*}\bigcup\limits_{n\in \mathcal{I} _{j_p}} B(X_n,8 j _p \log {j_p}2^{-\eta {j_p}})\end{align*}

forms a covering of [0, 1]. Since this occurs for an infinite number of integers ${j_p}$ , and recalling (3·5) and the definition of $\widetilde \varepsilon_j$ , we conclude that almost surely,

\begin{align*} [0,1] = \limsup\limits_{j\rightarrow +\infty} \bigcup\limits_{n\in \mathcal{I} _j} B(X_n, 8j\log {j} 2^{-\eta j}) \subset \limsup_{j\rightarrow +\infty} \bigcup_{n\in \mathcal{I} _j} B\!\left(X_n,B_n^{- (1-\widetilde{\varepsilon}_j)}\right) = G'_{\!\!1} ,\end{align*}

since $B_n \geq 2^{(j_p-1)/\eta}$ when $n \in \mathcal{I} _{j_p}$ . Hence the result.

4. Uniform regularity

In this section, the uniform Hölder regularity of F is investigated.

Recall that $\alpha \in ]0,1[$ and $\psi$ is Lipschitz.

An important tool for the following proofs is the wavelet transform. It is known since Jaffard’s works that wavelets provide a convenient method to analyse pointwise regularity of functions.

Definition 4·1. Let $\phi\;:\; \mathbb{R}\to\mathbb{R}$ be a compactly supported, non-zero function, with a vanishing integral: $\displaystyle \int_\mathbb{R} \phi(u)du=0$ .

The continuous wavelet transform associated with $\phi$ of a function $f\in L^2(\mathbb{R})$ is defined for every couple $(s,t)\in\mathbb{R}_{+}^*\times\mathbb{R}$ by

(4·1) \begin{equation}W_f (s,t)=\frac{1}{\sqrt{s}} \int_{\mathbb{R}} f(x)\phi_{s,t} (x) dx \ \ \mbox{ where }\ \ \phi_{s,t}(x)=\phi\left(\frac{x-t}{s}\right).\end{equation}

Recall here the theorem of Jaffard [ Reference Jaffard31 ] and Jaffard–Meyer [ Reference Jaffard and Meyer36 ] relating the decay rate of continuous wavelets and uniform regularity for a function f.

Theorem 4·1. Let $H\in\mathbb{R}_+^*$ , $f\in L^\infty_{loc} (\mathbb{R})$ , and $\psi$ be sufficiently regular (if $\alpha\in ]0,1[$ then $\psi$ is a Lipschitz function, otherwise $\psi \in C^{\lfloor\alpha\rfloor +1} (\mathbb{R})$ ). Then, the mapping $x\mapsto |x|^H |\log|x|| ^\beta $ is a uniform modulus of continuity for f if and only if there exists a constant $K>0$ such that

\begin{align*}\forall (s,t)\in\mathbb{R}_+^*\times\mathbb{R}, \ |W_f (s,t)|\leq K s^{H+\frac{1}{2}} |\log |s| |^\beta.\end{align*}

Next proposition deals with the uniform regularity of F.

Proposition 4·2. Let $\alpha\in \mathbb{R}_+^*\backslash\mathbb{N}$ , $\eta\in\mathbb{R}_+^*$ , $\alpha\eta <1$ and $\psi$ be sufficiently regular as in Theorem 4·1. Almost surely, there exists $K>0$ such that for any $(s,t)\in [0,1]^*\times\mathbb{R}$

\begin{align*}|W_F (s,t) | \leq K s^{\alpha\eta+\frac{1}{2}} |\log_2 (s)|^{2+\alpha}.\end{align*}

Therefore, Theorem 1·2(i) holds true.

Proof. Let $(s,t)\in\mathbb{R}_{+}^*\times\mathbb{R}$ . Note that the wavelet transform $W_F$ of F can be expanded in

\begin{align*}W_F (s,t) =\frac{1}{\sqrt{s}} \int_{\mathbb{R}} F(x) \phi_{s,t}(x)dx = \sum_{n=1}^{+\infty} C_n^{-\alpha} d_n (s,t)\end{align*}

with

(4·2) \begin{equation}d_n (s,t)=\frac{1}{\sqrt{s}}\int_{\mathbb{R}}\psi_n (x)\phi_{s,t}(x)dx.\end{equation}

A quick computation allows to bound by above $|d_n|$ (see [ Reference Demichel19 , Proposition 2·2·1]).

Lemma 4·3. There exists $K>0$ such that

(4·3) \begin{equation}\forall (s,t)\in [0,1]\times\mathbb{R},\ |d_n(s,t)|\leq K s^{\frac{1}{2}} \min\!\left\{ s B_n^{\frac{1}{\eta}},s^{-1} B_n^{-\frac{1}{\eta}} \right\} T_n(t,s).\end{equation}

Fix $t\in \mathbb{R}$ and $0<s<1$ . there exists a unique $J\in\mathbb{N}$ such that $2^{-\eta (J+1)}\leq s < 2^{-\eta J}$ .

When $j\leq \eta J$ and $n\in A_j$ , one has $ \min\!\left\{ s B_n^{\frac{1}{\eta}},s^{-1} B_n^{-\frac{1}{\eta}} \right\} = s B_n^{\frac{1}{\eta}} \leq s 2^j $ . Also, by Lemma 2·3 and the definition (2·7) of $T_n(x,r)$ , $\sum_{n\in A_j} T_n (t,2^{-\eta J} ) \leq K j^2$ . So, by Lemma 4·3 and (2·5), there exists a constant $K_1 >0$ (whose value can change from line to line, but does not depend on s, t, j or J) such that

\begin{eqnarray} {\sum_{j=0}^{\lfloor \eta J \rfloor}}\sum_{n\in A_j} C_n^{-\alpha} |d_n (s,t)| & \leq & K_1 s^{\frac{1}{2}} \sum_{j=0}^{\lfloor \eta J \rfloor } 2^{-\alpha\eta(1-\varepsilon_j)j} s 2^j \sum_{n\in A_j} T_n (t,s) \nonumber \\[5pt] & \leq & K_1 s^{\frac{1}{2}} \sum_{j=0}^{\lfloor \eta J \rfloor} 2^{-\alpha\eta(1-\varepsilon_j)j} s 2^j \sum_{n\in A_j} T_n (t,2^{-\eta J} ) \nonumber \\[5pt] & \leq & K_1 s^{\frac{3}{2}}\sum_{j=0}^{\lfloor \eta J \rfloor} j^{2+\alpha} 2^{(1-\alpha\eta)j} \leq K' s^{\frac{3}{2}} (\eta J)^{2+\alpha} 2^{(1-\alpha\eta) \eta J} \nonumber\\[5pt] & \leq & K_1 s^{\alpha\eta+\frac{1}{2}} |\log_2 (s)|^{2+\alpha}. \nonumber\end{eqnarray}

When $ \eta J +1\leq j\leq J$ , if $n\in A_j$ then $ \min\!\left\{ s B_n^{\frac{1}{\eta}},s^{-1} B_n^{-\frac{1}{\eta}} \right\} = s^{-1} B_n^{-\frac{1}{\eta}} \leq 2 s^{-1}2^{-j}$ and Lemma 2·3 still gives $\sum_{n\in A_j} T_n (t,2^{-\eta J} ) \leq K j^2$ . Hence, there exists $K_2 >0$ such that

\begin{eqnarray} {\sum_{j=\lfloor \eta J \rfloor+1}^{ J }}\sum_{n\in A_j} C_n^{-\alpha} |d_n (s,t)| & \leq & K_2 s^{\frac{1}{2}}\sum_{j=\eta J+1}^{ J } 2^{-\alpha\eta(1-\varepsilon_j)j} s^{-1 } 2^{-j} \sum_{n\in A_j} T_n (t, 2^{-\eta J} ) \nonumber \\[5pt] & \leq & K_2 s^{ -\frac{1}{2}} \sum_{j=\eta J+1}^{ J } j^{2+\alpha} 2^{-(1+\alpha\eta)j} \leq K_2 s^{-\frac{1}{2}} J^{2+\alpha} 2^{ -(1+\alpha\eta)\eta J} \nonumber\\[5pt] & \leq & K_2 s^{\alpha\eta+\frac{1}{2}} |\log_2 (s)|^{2+\alpha}. \nonumber\end{eqnarray}

Finally, when $j\geq J$ , $ \min\!\left\{ s B_n^{\frac{1}{\eta}},s^{-1} B_n^{-\frac{1}{\eta}} \right\} \leq s^{-1}2^{-j}$ and Lemma 2·3 yields this time $\sum_{n\in A_j} T_n (t,2^{-\eta J} ) \leq K j^2 2^{\eta(j-J)}$ . Hence, there exists $K_3 >0$ such that

\begin{eqnarray}\sum_{j=J}^{+\infty}\sum_{n\in A_j} C_n^{-\alpha} |d_n (s,t)| & \leq & K_3 s^{\frac{1}{2}} \sum_{j=J}^{+\infty } 2^{-\alpha\eta(1-\varepsilon_j)j} s^{-1} 2^{-j} \sum_{n\in A_j} T_n (t,2^{-\eta J}) \nonumber \\[5pt] & \leq & K_3 s^{-\frac{1}{2}}\sum_{j=J}^{+\infty } j^{2+\alpha} 2^{-(1+\alpha\eta)j} 2^{\eta(j-J)} \leq K_3 s^{-\frac{1}{2}} J^{2+\alpha} 2^{-(1+\alpha\eta)J} \nonumber\\[5pt] & \leq & K_3 s^{\alpha\eta+\frac{1}{2}} |\log_2 (s)|^{2+\alpha} \nonumber.\end{eqnarray}

The combination of the previous inequalities yields that for some constant $K>0$ ,

\[|W_F (s,t)|\leq K s^{\alpha\eta+\frac{1}{2}} |\log_2 \!(s)|^{2+\alpha}.\]

Theorem 4·1 allows to conclude the proof of Proposition 4·2.

5. Lower-bound for the Hölder exponent of F via the study of $G_\delta$

When $\delta\in [1,{1}/{\eta}]$ , next proposition yields a lower bound for the pointwise Hölder exponent of F at $x_0$ when $x_0 \notin G_\delta$ .

Proposition 5·1. Almost surely, for every $\delta\in (1,{1}/{\eta})$ , for every $x_0\notin G_\delta$ , there exists $K_{x_0} >0$ such that for any x close to $x_0$ ,

\begin{align*}|F(x)-F(x_0)| \leq K_{x_0} |\log_2 |x-x_0|\ |^{2+\alpha} |x-x_0|^{\frac{\alpha}{\delta}} .\end{align*}

Therefore, $h_F(x_0) \geq {\alpha}/{\delta}$ .

Proof. Let $x_0\notin G_\delta$ . Let $r>0$ be so small that $r+2^{-2}<2^{-2\delta\eta}$ (such an r exists since $\delta\eta<1$ ). Then, for x with $|x-x_0|\leq { r}$ , there exists a unique $j_0\in\mathbb{N}$ such that

\begin{equation} 2^{- \eta (j_0+1)} \leq |x-x_0| <2^{- \eta j_0} \nonumber\end{equation}

and call $j_1 $ the largest positive integer so that $ |x-x_0|+2^{-j_1} \leq 2^{-\delta\eta j_1}$ . The integer $j_1$ exists by the condition on r, and since $2^{- \eta \delta j_1}$ tends to 0 when $j_1 \to +\infty$ .

Observe that when $j_0$ becomes large (i.e. when $x\to x_0$ ), $|j_1 - j_0 /\delta| \to 0$ . So it is assumed that $j_0$ is so large that $ j_0/ \delta \leq j_1 \leq j_0/ \delta +2$ , so that $2^{-j_0\eta}\sim 2^{-j_1\delta \eta} \sim |x-x_0|$ . Observe also that this explains the fact that $\delta$ must be less or equal than $1/\eta$ .

By definition of $G_\delta$ , since $x_0\notin G_\delta$ , there exists at most a finite number, say $N_{x_0} $ , of balls $ \{B (X_{n_k},B_{n_k}^{-\delta} ) \}_{1\leq k \leq N_{x_0} }$ that contain $x_0$ . Write $\widetilde j_0$ for the smallest integer j such that $\bigcup_{k=1}^{N_{x_0} } \{n_k\} \subset \bigcup_{j=1}^{\widetilde j_0} A_j$ . So it may be assumed that x is so close to $x_0$ that for every $j\geq j_1/2\delta $ , $j\varepsilon_j \geq \widetilde j_0 +1$ and for every $n \in A_j $ with $j\geq j_1$ , $|x_0-X_n| > B_{n}^{-\delta}$ .

Recalling that the support of $\psi_n$ is the ball $B\!\left(X_n, B_n^{-1/\eta}\right)$ and that $\delta \leq 1/\eta$ , this implies that $x_0$ belongs to the support of at most N pulses $\psi_n$ with $n\in A_j$ and $j < j_1$ , and does not belong to any support of $\psi_n$ , for $n\in A_j$ and $j\geq j_1$ .

Also, when $j\leq j_1$ and $n\in A_j$ , by definition of $j_1$ , one has $|x-x_0|+B_n^{-1/\eta} \leq B_n^{-\delta}$ . Hence $x \in B\!\left(X_n, B_n^{-1/\eta}\right)$ would imply that $x_0 \in B(X_n, B_n^{-\delta})$ , which is possible for only N balls. Consequently, x and $x_0$ both belong to at most N supports of pulses $\psi_n$ with $n\in A_j$ and $j\leq j_1$ .

Let us write $|F(x)-F(x_0)|\leq S_1+S_2+S_3$ with $ F_j(x) = \sum_{n\in A_j} C_n^{-\alpha} \psi_n(x)$ and

\begin{eqnarray}S_1 = \left | \sum_{j=0}^{j_1-1} F_j(x)-F_j(x_0) \right |, \ \ \ \ S_2 = \sum_{j=j_1}^{+\infty} |F_j(x_0)| \ \ \mbox{ and } \ \ S_3 = \sum_{j=j_1}^{+\infty} |F_j(x)| . \nonumber\end{eqnarray}

We first give an upper-bound for $ S_1 $ . By the remarks above, $S_1$ contains at most $N_{x_0} $ non-zero terms of the form $C_{n_i} ^{-\alpha} (\psi_{n_i}(x)-\psi_{n_i}(x_0))$ (for integers $n_1$ , …, $n_{N_{x_0} }$ ), and for each of them, since $\psi $ is Lipschitz with some constant $K>0$ , one has

\begin{align*} C_{n_i} ^{-\alpha} \left|\psi\left( B_{n_i} ^{\frac{1}{\eta}} \left(x-X_{n_i} \right) \right)-\psi\left( B_{n_i} ^{\frac{1}{\eta}} \left(x_0-X_{n_i} \right) \right) \right| \leq C_{n_i} ^{-\alpha} B_{n_i} ^{\frac{1}{\eta}}K |x-x_0| . \end{align*}

By (2·1), (2·5) and the definition of $\widetilde j_0$ , if ${n_i} \in A_j$ , then one has for some other constant $K>0$ that

\begin{align*} C_{n_i} ^{-\alpha} B_{n_i} ^{\frac{1}{\eta}} \leq K 2^{-\alpha\eta j(1-\varepsilon_{j})}2^j \leq K \widetilde j_0 ^\alpha 2^{\widetilde j_0(1- \alpha\eta)} \leq K j_1 ^\alpha 2^{ \varepsilon_{j_1} j_1 } = K j_1^{\alpha+1/\eta}.\end{align*}

Using that $j_1\sim \delta j_0\sim ({\delta}/{\eta}),\;\textrm{and}\; |\log_2|x-x_0|| $ , this finally gives for some constant $K_{x_0}$ depending on $x_0$

(5·1) \begin{eqnarray}\nonumber S_1 & \leq & K N_{x_0} |x-x_0| j_1 ^{\alpha+1/\eta} \leq K_{x_0} |x-x_0| \cdot | \log_2 |x-x_0|\ |^{ \alpha+1/\eta}\\[5pt] & \leq& |x-x_0| ^\alpha | \log_2 |x-x_0|\ |^{ 2+ \alpha } .\end{eqnarray}

Observe that the last inequality holds when $j_1$ tends to $+\infty$ , and is quite crude.

By construction, $\psi_n(x_0) = 0$ for every $n\in A_j $ with $j\geq j_1$ , so $S_2=0$ .

Finally, for $S_3$ , one writes that $ |\psi_n(x) | \leq ||\psi||_{\infty}$ , and then

(5·2) \begin{eqnarray}S_3 & = & \sum_{j=j_1}^{+\infty} |F_j(x)| \leq K ||\psi||_{\infty} \sum_{j=j_1}^{+\infty} \sum_{n\in A_j} C_{n} ^{-\alpha} \textbf{1}_{\psi_n(x) \neq 0} \\[5pt] & \leq & K ||\psi||_{\infty} \sum_{j=j_1}^{+\infty} j^{\alpha} 2^{-\alpha \eta j} \sum_{n\in A_j} T_n(x,0) \nonumber \end{eqnarray}

(5·3) \begin{eqnarray} & \leq & K ||\psi||_{\infty} \Big( \sum_{j=j_1}^{+\infty} j^{\alpha} 2^{-\alpha \eta j} j^2 \Big) \leq K j_1^{2+\alpha} 2^{-\alpha \eta j_1 }\leq K j_0^{2+\alpha} 2^{- j_0\frac{\alpha\eta}{\delta}} \nonumber \\[5pt] &\leq & K | \log_2 |x-x_0|\ |^{2+\alpha} \ |x-y|^{\frac{\alpha}{\delta}} .\end{eqnarray}

The result follows from (5·1) and (5·3).

6. Upper-bound for the Hölder exponent of F via the sets $G'_{\!\!\delta}$

We now find an upper bound for the pointwise Hölder exponent of F at every $x_0\in G'_{\!\!\delta} $ , using a wavelet method. Let us recall the theorem of Jaffard [ Reference Jaffard31 ] relating continuous wavelet transforms and pointwise regularity.

Theorem 6·1. Let $f\in L^\infty_{loc}(\mathbb{R})$ , $x_0\in \mathbb{R}$ and $H>0$ . If $f\in C^H (x_0)$ , then there exists $K>0$ and a neighborhood U of $(0^+,x_0)$ such that

\begin{align*}\forall (s,t)\in U \ \ ,\ \ |W_f (s,t)|\leq K s^{ \frac{1}{2}} (s + |{x_0-t}| )^H.\end{align*}

This theorem is key to prove next proposition.

Proof. First, without loss of generality, assume in addition that the function $\phi$ used to compute the wavelet transform belongs to $C^1(\mathbb{R})$ , is exactly supported by the interval $[\!-\!1,1]$ , and that

(6·1) \begin{equation}\int_{-1}^1 \phi(u) \psi(u) du \neq 0.\end{equation}

The existence of such a $\phi$ is a trivial exercise.

Fix $x_0\in G'_{\!\!\delta}$ . There exist two increasing sequences of integers $(n_k)_{k\in\mathbb{N}}$ and $(j_k)_{k\in\mathbb{N}}$ such that $n_k\in \mathcal{I}_{j_k}$ and $x_0\in B\!\left(X_{n_k},B_{n_k}^{-\delta(1-\widetilde{\varepsilon}_{j_k})}\right),$ where $\widetilde\varepsilon_{j,k}$ was defined in (2·2).

Let $k\in\mathbb{N}^*$ with $n_k\in \mathcal{I}_{j_k}$ . The values of continuous wavelet transforms $W_F \!\left(B_{n_k}^{-\frac{1}{\eta}}, X_{n_k}\right)$ , are now estimated. Setting $J_k=\lfloor(1-\rho\eta\varepsilon_{j_k})j_k \rfloor$ and $\widetilde{J}_k=\lfloor {\gamma} j_k \rfloor$ , one writes $W_F(B_{n_k}^{-\frac{1}{\eta}},X_{n_k}) = S_1 + S_2 + S_3$ with

\begin{eqnarray}S_1 &=& \sum_{j=0}^{J_k-1}\sum_{n\in A_j}C_n^{-\alpha} d_n\!\left(B_{n_k}^{-\frac{1}{\eta}},X_{n_k}\right), \ \ \ \ S_2 = \sum_{j=J_k}^{\widetilde{J}_k}\sum_{n\in A_j}C_n^{-\alpha} d_n\!\left(B_{n_k}^{-\frac{1}{\eta}},X_{n_k}\right) \nonumber \\[5pt] \mbox{ and } \ \ S_3 &=& \sum_{j=\widetilde{J}_k+1}^{+\infty}\sum_{n\in A_j}C_n^{-\alpha} d_n\!\left(B_{n_k}^{-\frac{1}{\eta}},X_{n_k}\right). \nonumber\end{eqnarray}

Let us first find a lower bound for $S_2$ . Recalling the definition (3·3) of $\mathcal{I}_{j_k}$ , $ {n}_k $ is the unique integer in $\widetilde A_{j_k}$ such that $x_0\in B\!\left(X_{\widetilde{n}_k},B_{\widetilde{n}_k}^{-\frac{1}{\eta}}\right)$ . Hence, recalling (4·2), $d_n (B_{n_k}^{-\frac{1}{\eta}}, X_{n_k}) =0$ when $n\neq n_k$ (since the support of $\psi_n$ and $\phi_{n_k} $ do not intersect) and

\begin{equation} S_2 = C_{n_k}^{-\alpha} d_{n_k} \!\left(B_{n_k}^{-\frac{1}{\eta}}, X_{n_k}\right). \nonumber\end{equation}

An integration by part and a change of variables give

\begin{align*}d_{n_k} \!\left(B_{n_k}^{-\frac{1}{\eta}},X_{n_k}\right) = B_{n_k}^{-1/(2\eta)} \int_{-1}^{1} \psi(u)\phi(u)du.\end{align*}

Condition (6·1) implies that for some fixed constant $K_2>0$ (depending on $\psi$ and $\phi$ only), for every integer k,

(6·2) \begin{equation} |S_2|\geq K_2 C_{ {n}_k}^{-\alpha} B_{n_k}^{-\frac{1}{2\eta}} \geq K _2B_{n_k}^{-\frac{1}{2\eta}} 2^{-\alpha\eta (1+\varepsilon_{j_k})j_k} \geq K_2 B_{n_k}^{-\frac{1}{2\eta}-\alpha (1+\varepsilon_{j_k})},\end{equation}

where (3·3) and (2·5) have been used.

Next, let us estimate $S_1$ . By (4·3), (2·5) and (2·1), one has

\begin{eqnarray}|S_1| & \leq & \sum_{j=0}^{J_k-1} \sum_{n\in A_j} C_n^{-\alpha} \left|d_n\!\left(B_{n_k}^{-\frac{1}{\eta}},X_{n_k}\right)\right| \nonumber\\[5pt] & \leq & \sum_{j=0}^{J_k-1} \sum_{n\in A_j} C_n^{-\alpha} B_{n_k}^{-\frac{1}{2\eta}} \min\!\left\{ B_{n_k}^{-\frac{1}{\eta}} B_n^{\frac{1}{\eta}},B_{n_k}^{\frac{1}{\eta}} B_n^{-\frac{1}{\eta}} \right\} T_n\!\left(X_{n_k},B_{n_k}^{-\frac{1}{\eta}}\right) \nonumber\\[5pt] & \leq & \sum_{j=0}^{J_k-1} 2^{-\alpha\eta j(1-\varepsilon_j)} B_{n_k}^{-\frac{1}{2\eta}} \min\!\left\{ B_{n_k}^{-\frac{1}{\eta}} 2^j,B_{n_k}^{\frac{1}{\eta}} 2^{-j-1} \right\} \sum_{n\in A_j} T_n( X_{n_k}, 2^{-j_{k}}) . \nonumber\end{eqnarray}

When $j<(1-\eta\varepsilon_{j_k})j_k$ , $ B_{n_k}^{-\frac{1}{\eta}} \leq 2^{-j-1}$ , so the minimum above is less than $2 B_{n_k}^{-\frac{1}{\eta}} 2^j$ . In addition, by (2·2) one has $ \sum_{n\in A_j} T_n( X_{n_k}, 2^{-j_{k}}) \leq K j^2$ (this holds as long as $j \leq j_k/\eta$ ). Hence by (2·8), for some constant $K_1 >0$ (that may change from one inequality to the next one),

\begin{eqnarray*}|S_1|& \leq & K_1 \sum_{j=0}^{J_k -1} j^{2+\alpha} 2^{-\alpha\eta j} B_{n_k}^{-\frac{1}{2\eta}} B_{n_k}^{-\frac{1}{\eta}} 2^j \leq K_1 B_{n_k}^{ -\frac{3}{2\eta}} \sum_{j=0}^{J_k-1} j^{2+\alpha} 2^{(1-\alpha\eta) j} \\[5pt] &\leq & K_1 B_{n_k}^{-\frac{3}{2\eta}} j_k^{2+\alpha} 2^{(1-\alpha\eta)(1-\rho\eta\varepsilon_{j_k})j_k}.\end{eqnarray*}

Since $j_k=2^{\eta\varepsilon_{j_k} j_k}$ and $n_k\in \mathcal{I}_{j_k}$ , $2^{j_k}\leq B_{n_k}^{\frac{1}{\eta}}$ , so

\begin{eqnarray} |S_1| &\leq & K_1 B_{n_k}^{-\frac{3}{2\eta}} B_{n_k}^{(3+\alpha)\varepsilon_{j_k}} B_{n_k}^{(\frac{1}{\eta}-\alpha)(1-\rho\eta\varepsilon_{j_k})} \leq K_1 B_{n_k}^{-\frac{1}{2\eta}-\alpha-(\rho-3-\alpha-\alpha\eta \rho)\varepsilon_{j_k}}. \nonumber\end{eqnarray}

Our choice (3·1) for $\rho$ ensures that $\rho-3-\alpha-\alpha\eta \rho > 2 \alpha$ , hence

(6·3) \begin{eqnarray} |S_1| &\leq & K_1 B_{n_k}^{-\frac{1}{2\eta}-\alpha(1+2\varepsilon_{j_k})} .\end{eqnarray}

Finally, for $S_3$ , one writes by (4·3), (2·5) and (2·1), and the same lines of computations as above, that for some $K_3>0$ ,

\begin{eqnarray}|S_3| & \leq & \sum_{j=\widetilde{J}_k+1}^{+\infty} \sum_{n\in A_j} C_n^{-\alpha} \left|d_n\!\left(B_{n_k}^{-\frac{1}{\eta}},X_{n_k}\right)\right| \nonumber\\[5pt] & \leq &K_3 \sum_{j=\widetilde{J}_k+1}^{+\infty} 2^{-\alpha\eta j(1-\varepsilon_j)} B_{n_k}^{-\frac{1}{2\eta}} \min\!\left\{ B_{n_k}^{-\frac{1}{\eta}} 2^j,B_{n_k}^{\frac{1}{\eta}} 2^{-(j+1)} \right\} \sum_{n\in A_j} T_n(X_{n_k}, 2^{-j_k} ). \nonumber\end{eqnarray}

When $j \geq \widetilde J_k = \lfloor {\gamma} j_k \rfloor $ , the above minimum is reached at $ B_{n_k}^{\frac{1}{\eta}} 2^{-j-1}$ (this actually holds as soon as $j \geq j_k$ ).

Then, still by and (2·2), the sum $\sum_{n\in A_j} T_n(X_{n_k}, 2^{-j_k} )$ is bounded above by $Kj^2$ when $j\leq j_k/\eta$ , and by $Kj^2 2^{\eta(j-j_k/\eta)}$ when $j>j_k/\eta$ . Hence by (2·8), for some constant $K_3$ that may change from line to line but does not depend on k or any of the moving parameters,

(6·4) \begin{eqnarray}|S_3|& \leq &K_3 \sum_{j={ \widetilde J_k +1} }^{\lfloor j_k/\eta \rfloor } j^{2+\alpha} 2^{-\alpha\eta j} B_{n_k}^{-\frac{1}{2\eta}} B_{n_k}^{\frac{1}{\eta}} 2^{-j} \nonumber \\[5pt] && \ \ \ +\; K_3 \sum_{j={\lfloor j_k/\eta \rfloor }+1}^{+\infty} j^{2+\alpha} 2^{-\alpha\eta j} B_{n_k}^{-\frac{1}{2\eta}} B_{n_k}^{\frac{1}{\eta}} 2^{-j} 2^{\eta(j-j_k/\eta )}\nonumber\\[5pt] &\leq &K_3 B_{n_k}^{ \frac{1}{2\eta} }\left( \sum_{j={ \widetilde J_k +1}}^{\lfloor j_k/\eta \rfloor } j^{2+\alpha} 2^{- (1+\alpha\eta) j} + 2^{ - j_k} \sum_{j=\lfloor j_k/\eta \rfloor +1}^{+\infty}j^{2+\alpha} 2^{(\eta-1-\alpha\eta )j} \right) .\end{eqnarray}

The first sum above is bounded above by

\begin{align*}\sum_{j= { \widetilde J_k +1} }^{\lfloor j_k/\eta\rfloor} j^{2+\alpha} 2^{-(1+\alpha\eta)j} \leq K_3 {j}_k^{2+\alpha} 2^{-(1+\alpha\eta){ \gamma}j_k }\end{align*}

and the second one by

\begin{align*}2^{-j_k} \sum_{j=\lfloor j_k/\eta \rfloor+1}^{+\infty} j^{2+\alpha} 2^{(\eta-1-\alpha\eta)j} & \leq K_3 2^{-j_k}j_k^{2+\alpha} 2^{(\eta-1-\alpha\eta)j_k/\eta} = K_3 j_k^{2+\alpha}2^{-\frac{j_k}{\eta}(1+\alpha\eta)}.\end{align*}

Since $B_{n_k}^{\frac{1}{\eta}} \sim 2^{j_k}$ and $j_k=2^{j_k \eta \varepsilon_{j_k}} \sim B_{n_k}^{\varepsilon_{j_k}}$ and $ {\gamma } < 1/\eta $ , we get that

\begin{eqnarray*}|S_3| & \leq & K_3 {j}_k^{2+\alpha} 2^{-(1+\alpha\eta) {\gamma}j_k } + K_3 j_k^{2+\alpha}2^{-\frac{j_k}{\eta}(1+\alpha\eta)}\\[5pt] &\leq & { K_3 B_{n_k} ^{ (2+\alpha)\varepsilon_{j_k} - \frac{(1+\alpha\eta) {\gamma}}{\eta} }.}\end{eqnarray*}

Observe that since $\gamma>1$ and $\varepsilon_{{j_k}}\to 0$ , ${(1+\alpha\eta){\gamma}}/{\eta} -(2+\alpha)\varepsilon_{j_k} > {1}/{2\eta}+\alpha (1+2\varepsilon_{j_k})$ . So,

(6·5) \begin{equation}|S_3| \leq K_3 B_{n_k}^{-\frac{1}{2\eta}-\alpha (1+2\varepsilon_{j_k})},\end{equation}

this last inequality being very generous ( $S_3$ is much smaller than the term on the right–hand side).

Combining (6·2), (6·3) and (6·5), and the fact that $B_{n_k}^{ -\varepsilon_{j_k}} \to 0$ when k tends to infinity, one concludes that for every sufficiently large integers k,

(6·6) \begin{equation}|W_F\!\left(B_{n_k}^{-\frac{1}{\eta}},X_{n_k}\right) |\geq K B_{n_k}^{-\frac{1}{2\eta}-\alpha (1+\varepsilon_{j_k})}.\end{equation}

Assuming that $f\in \mathcal{C}^{\frac{\alpha}{\delta} +\varepsilon}(x_0)$ , we would have by Theorem 6·1 that for some $K'>0$ ,

\begin{eqnarray*} \left|W_F\left(B_{n_k}^{-\frac{1}{\eta}},X_{n_k}\right) \right| & \leq & K' B_{n_k}^{-\frac{1}{2\eta}} \Big( B_{n_k}^{-\frac{1}{\eta}} + |x_0-X_{n_k}| \Big)^{\frac{\alpha}{\delta} +\varepsilon} \\[5pt] &\leq & K' B_{n_k}^{-\frac{1}{2\eta}} \Big( B_{n_k}^{-\frac{1}{\eta}} +B_{n_k}^{- \delta(1-\widetilde{\varepsilon}_{j_k}) }\Big)^{\frac{\alpha}{\delta} +\varepsilon} \\[5pt] &\leq & K' B_{n_k}^{-\frac{1}{2\eta}} B_{n_k}^{- \delta(1-\widetilde{\varepsilon}_{j_k})(\frac{\alpha}{\delta} +\varepsilon)} \end{eqnarray*}

since $|x_0 -X_{n_k}| \leq B_{n_k}^{-\delta(1-\widetilde{\varepsilon}_{j_k})}$ . This contradicts (6·6) since the sequences $(\varepsilon_j)$ and $(\widetilde \varepsilon_j)$ converge to 0 as $j\to +\infty$ . Consequently, $f\notin \mathcal{C}^{\frac{\alpha}{\delta} +\varepsilon}(x_0)$ for every $\varepsilon>0$ , hence the result.

To conclude this part, we would like to emphasise that this analysis is quite sharp since the bounds obtained for $S_1$ , $S_2$ and $S_3$ are very tight (and the choice for $\rho$ is key). Only the fine study of isolated points made it possible to obtain this result.

Also, observe that the proof does not work any more when $\delta >1/\eta$ , since in the last series of inequalities $|W_F \!\left(B_{n_k}^{-\frac{1}{\eta}},X_{n_k}\right)| $ , the term $B_{n_k}^{-\frac{1}{\eta}} + B_{n_k}^{-\delta (1-\widetilde{\varepsilon}_{j_k})}$ can not be bounded by above by $B_{n_k}^{-\delta (1-\widetilde{\varepsilon}_{j_k})}$ .

7. Multifractal spectrum of F

Recall that the study of the regularity of F is restricted to the interval [0, 1]. We start by the range of possible exponents for F.

Then, Theorem 3·1 gives $ [0,1] =G'_{\!\!1}$ , and Proposition 6·2 ensures that every $x\in G'_{\!\!1}$ satisfies $h_F(x)\leq \alpha$ .

We are now able to describe the iso-Hödler sets $E_F(H)$ (defined in (0·2)) in terms of the $G_\delta$ and $G'_{\!\!\delta}$ sets. Indeed, gathering the results proved in the previous sections (Propositions 5·1 and 6·2, and the monotonicity of the sets $(G_\delta)_{\delta\geq 1}$ noted in Remark 3), one also sees that almost surely:

• (i) for all $H\in [\alpha\eta,\alpha)$ ,

  (7·1) \begin{equation} G'_{\!\!\alpha/H} \setminus \bigcup_{\delta > \frac{\alpha}{H}} G_\delta \subset E_F(H). \end{equation}

Indeed, when $x\in G'_{\!\frac{\alpha}{H}}$ , $h_F(x) \leq {\alpha}/({\alpha}/{H}) = H$ and when $\delta > {\alpha}/{H} $ and $x\notin G_{\delta } $ , $h_F(x) \geq {\alpha}/{\delta} $ ;

• (ii) for all $H\in [\alpha\eta,\alpha]$ ,

  (7·2) \begin{equation} E_F(H) \subset \bigcap _{\delta < {\frac{\alpha}{H}}} G_\delta . \end{equation}

In order to obtain the multifractal spectrum of F, a preliminary step consists in estimating the Hausdorff dimension and measures of the sets $G_\delta$ and $G'_{\!\!\delta}$ .

For $h>0$ , $\mathcal{H}^{h}$ , $\mathcal{H}^{h}_\xi$ stand respectively for the h-Hausdorff measure in $\mathbb{R}$ and the $\alpha$ -Hausdorff pre-measure computed with coverings of sets of diameter less than $\xi>0$ .

Proof. The upper bound $\dim_H G_\delta \leq 1/\delta $ follows by using as coverings of $G_\delta$ the family $\{B(X_n, B^{-\delta}_n)\}_{j\geq J, n \in A_j}$ , for $J\geq 1$ . For $\varepsilon>0$ ,

\begin{eqnarray*}\mathcal{H}^{1/\delta+\varepsilon}_{ 2^{-\eta J} } (G_\delta ) & \leq & \sum_{j\geq J} \sum_{n\in A_j} |B_n^{-\delta } |^{ 1/\delta+\varepsilon}.\end{eqnarray*}

By (2·2), and using that $B_n\leq 2^{j\eta} $ when $n\in A_j$ , one gets

\begin{align*}\mathcal{H}^{1/\delta+\varepsilon}_{ 2^{-\eta J} } (G_\delta ) \leq \sum_{j\geq J} 2^{\eta j(1+\varepsilon_j)}2^{-j\eta(1+\varepsilon \delta)},\end{align*}

which is the rest of a convergent series. Hence $\mathcal{H}^{1/\delta+\varepsilon}(G_\delta ) =0 $ and $\dim_H G_\delta \leq 1/\delta+\varepsilon$ .

The fact that $\mathcal{H} ^{1/\delta} (G'_{\!\!\delta}) =+\infty $ (giving the lower bound $\dim_H G'_{\!\!\delta} \geq 1/\delta$ ) is more delicate. The following mass transference principle [ Reference Beresnevitch and Velani11, Reference Dodson, Melian, Pestana and Velani22 ] is useful.

Theorem 7·3. Let $(x_n)_{n\in\mathbb{N}^*}$ be a real sequence in $[0,1]^d$ ( $d\geq 1$ ) and $(\lambda_n)_{n\in\mathbb{N}^*}$ a decreasing sequence of positive real numbers. For all $\delta \geq1$ , set

\begin{equation} L_\delta=\limsup_{n\rightarrow + \infty} B(x_n,\lambda_n^\delta)=\bigcap_{N\geq 1} \bigcup_{n\geq N} B(x_n,\lambda_n^\delta). \nonumber\end{equation}

If the d-dimensional Lebesgue measure $\mathcal{L}(L_1)$ of $L_1$ equals 1, then for all $\delta >1$ , $\mathcal{H}^\frac{d}{\delta} (L_\delta)=+\infty$ and $\dim_{H}\!(L_\delta)\geq {d}/{\delta}$ .

Theorem 3·1 gives that $G'_{\!\!1} =[0,1]$ , almost surely. In particular, $\mathcal{L}(G'_{\!\!1})=1$ . Applying the previous theorem to the (random) sequences $x_n=X_n$ and $\lambda_n = B_n^{-(1-\widetilde{\varepsilon}_j)}$ when $n\in A_j$ yields the claim of Proposition 7·2.

We are now in position to conclude the proof of Theorem 1·1.

Then, (7·2) yields that almost surely, $ D^{[0,1]} _F (H) = \dim_H (E_F(H)\cap [0,1] ) \leq \dim_{H} G_\delta$ , for every $\delta >\alpha/H$ . Proposition 7·2 yields $\dim_{H} G_\delta \leq 1/\delta$ , hence $D^{[0,1]}_F(H) \leq H/\alpha$ .

Finally, Proposition 7·2 gives simultaneously that $\mathcal{H}^ {H/\alpha} (G'_{\alpha/H}) =+\infty $ and $\mathcal{H}^ {H/\alpha} (G_\delta )= 0$ for every $\delta <\alpha/H$ . So, $\mathcal{H}^ {H/\alpha} ( G'_{\alpha/H} \setminus \bigcup_{\delta > \frac{\alpha}{H}} G_\delta ) = +\infty$ , and by (7·1), $\mathcal{H}^ {H/\alpha} (E_F(H) )=+\infty$ . This gives $\dim_{H} E_F(H) \geq H/\alpha$ , and by the remarks above $D^{[0,1]}_F(H) = H/\alpha$ .

When $H=\alpha$ , the same argument gives that $\mathcal{L} (E_{F}(\alpha)\cap [0,1])=1$ , i.e. $E_{F}(\alpha)$ is of full Lebesgue measure in [0, 1].

8. Almost-everywhere modulus of continuity

Le us explain how to obtain from what precedes the almost-everywhere modulus of continuity for F, almost surely.

By a Theorem of Jaffard-Meyer ([ Reference Jaffard and Meyer36 , Proposition 1·2]), the following (almost) equivalence holds true.

If the function f has a local modulus of continuity $\theta$ at $x_0$ , then for some constant $C>0$

(8·1) \begin{equation}\forall (s,t)\in U \ \ ,\ \ |W_f (s,t)|\leq K s^{ \frac{1}{2}} ( \theta(s) + \theta(|{x_0-t}| )).\end{equation}

Conversely, if $f\in C^\varepsilon(\mathbb{R})$ for some $\varepsilon>0$ , and if (8·1) holds, then there exist constants $\eta,C>0$ and a polynomial P such that setting $j_0= \lfloor |\log_2|x-x_0|\rfloor$ , one has

(8·2) \begin{equation} \forall x \textit{ such\;that}\; |x-x_0|\leq \eta, \ \ | f(x) -P(x-x_0) |\leq C \inf_{j\geq j_0} ( (j-j_0) \theta(|x-x_0|) +2^{-j\varepsilon}) .\end{equation}

Observe that if $\theta(h)=|h|^\beta |\log |h||^\gamma$ with $ \varepsilon< \beta<1$ , then the infimum at the right hand side of (8·2) is (roughly) reached at $j=j_0\beta/\varepsilon $ , and (8·2) reduces to

\begin{align*} | f(x) -P(x-x_0) |\leq C |x-x_0| ^\beta |\log |x-x_0|| ^{{\gamma}}.\end{align*}

Coming back to Proposition 6·2, let $x_0\in G'_{\!\!1}$ . At the end of the proof, recall the lower bound (6·6) for the wavelet coefficient $|W_F\!\left(B_{n_k}^{-\frac{1}{\eta}},X_{n_k}\right) | \geq K B_{n_k}^{-\frac{1}{2\eta}-\alpha (1+\varepsilon_{j_k})}$ .

Remembering that $ B_{n_k} \sim 2^{ \eta j_k } $ , the formulas for $\varepsilon _{j_k}$ and the fact that $\widetilde{\varepsilon}_{j_k}$ , and $|x_0-X_{n_k}|\leq B_{n_k}^{- (1-\widetilde{\varepsilon}_{j_k})}$ , one successively has (for large integers k)

\begin{align*} B_{n_k}^{ - \varepsilon_{j_k}} & \sim |\log j_k| ^{-1} \geq C | \log|x_0-X_{n_k}| |,\\[5pt] B_{n_k}^{ - \widetilde \varepsilon_{j_k}} & \sim |\log j_k| ^{-1} \geq C | \log|x_0-X_{n_k}||,\\[5pt] B_{n_k}^ {-1} & \geq C |x_0-X_{n_k}| |\log |x_0-X_{n_k}| |,\end{align*}

for some constant $C>0$ that depends on $\eta $ only. Hence,

\begin{align*}|W_F\!\left(B_{n_k}^{-\frac{1}{\eta}},X_{n_k}\right) | & \geq K B_{n_k}^{-\frac{1}{2\eta}-\alpha (1+\varepsilon_{j_k})}\geq K B_{n_k}^{-\frac{1}{2\eta}} B_{n_k}^{-\alpha }| \log|x_0-X_{n_k}| |^\alpha\\[5pt] & \geq K C B_{n_k}^{-\frac{1}{2\eta}} |x_0-X_{n_k}|^\alpha |\log |x_0-X_{n_k}| | ^{2\alpha}\\[5pt] & \geq \frac{K C}{2} B_{n_k}^{-\frac{1}{2\eta}} \left(\theta( |x_0-X_{n_k}|) +\theta\!\left( B_{n_k}^{-\frac{1}{\eta}} \right)\right),\end{align*}

where $\theta(h) = |h|^\alpha |\log |h||^{2\alpha}$ and where we used that $ B_{n_k}^{-\frac{1}{\eta}} <\!\!< |x_0-X_{n_k}|$ .

This shows that almost surely, for every $x\in G'_{\!\!1}$ , the modulus of continuity is larger than $|h|^\alpha |\log |h||^{2\alpha}$ .

Let us now introduce the set

\begin{align*} {\widetilde {G_1}} = \limsup_{j\rightarrow +\infty} \bigcup_{n\in A_j} B(X_n,B_n^{- (1+3 {\varepsilon}_j)}) .\end{align*}

Recalling (2·2), almost surely,

\begin{align*}\sum_{n\in A_j} |B\!\left(X_n,B_n^{- (1+2 {\varepsilon}_j)}\right) | \leq 2^{\eta j(1+\varepsilon_j)} 2^{-\eta j (1+3 {\varepsilon}_j)} = j^{-2}.\end{align*}

Consequently, $ {\widetilde {G_1}}$ has zero Lebesgue measure.

Then, a slight adaptation of the proof of Proposition 5·1 shows that almost surely, for every $x_0\notin {\widetilde {G_1}}$ , there exists $K_{x_0} >0$ such that for any x close to $x_0$ ,

\begin{align*}|F(x)-F(x_0)| \leq K_{x_0} |x-x_0|^{ {\alpha} } |\log_2 |x-x_0| |^{2+\alpha} .\end{align*}

The modification consists in replacing $\delta$ by $1+3\varepsilon_j$ , and adapting accordingly the computations.

The conclusion follows by considering the set $G= G'_{\!\!1}\setminus {\widetilde {G_1}} $ . Indeed, since $G'_{\!\!1}$ and ${\widetilde {G_1}} $ respectively have full and zero Lebesgue measure, G has full Lebesgue measure. And the two arguments above show that almost surely, for every $x_0 \in G$ , the modulus of continuity $\theta_{x_0}$ of F at $x_0$ satisfies

\begin{align*} |h|^\alpha |\log |h||^{2\alpha} \leq \theta_{x_0} (h) \leq |h|^{ {\alpha} } |\log_2 |h||^{2+\alpha} ,\end{align*}

hence items (ii) and (iii) of Theorem 1·2.

9. Perpectives

The case where $\alpha>1$ is a possible extension of our paper.

It is also a natural question for applications to ask whether the sample paths of F satisfy a multifractal formalism.

It would be interesting to determine whether F possess chirps or oscillating singularities, i.e. locally behaves like

\begin{align*}|x-x_0|^\alpha |\log|x-x_0||^\beta\end{align*}

around some points $x_0$ . Chirps are a key notion in many domains - for instance, the existence of gravitational waves has been experimentally proved thanks to wavelet based-algorithms able to detect chirps (that are the signature of coalescent binary black holes) in signals extracted from the LIGO and VIRGO interferometers.

Finally, it is worth investigating the case where the series defining F does not converge uniformly, this may occur for some choices of the parameters $\alpha$ and $\eta$ (recall that in the present paper, the uniform convergence follows from the sparse distribution of the pulses). In this situation, the relevant quantities to analyse are the p-exponents of F as defined in [ Reference Jaffard, Melot, Leonarduzzi, Wendt, Abry, Roux and Torres35 ]: a function f belongs to $T^p_\alpha(x_0)$ (which generalises the spaces $C^\alpha(x_0)$ ) when there exist a polynomial $P_{{x_0}}$ and a constant $C>0$ such that

\begin{align*}\mbox{for every sufficiently small $h>0$, } \ \ \left( \frac{1}{h^d} \int_{B({x_0},h)} |f( x)-P_{{x_0}}(x{-x_0})|^p {dx}\right) ^{1/p} \leq C |h|^\alpha.\end{align*}

Then the p-exponent is $h^p_f(x_0) = \sup \{\alpha\geq 0\;:\; f\in T^p_\alpha(x_0)\}$ , and the multifractal analysis of the p-exponents of F is a challenging issue.