Haar wavelet characterization of dyadic Lipschitz regularity

We obtain a necessary and sufficient condition on the Haar coefficients of a real function $f$ defined on $\mathbb{R}^+$ for the Lipschitz $\alpha$ regularity of $f$ with respect to the ultrametric $\delta(x,y)=\inf \{|I|: x, y\in I; I\in\mathcal{D}\}$, where $\mathcal{D}$ is the family of all dyadic intervals in $\mathbb{R}^+$ and $\alpha$ is positive. Precisely, $f\in \textrm{Lip}_\delta(\alpha)$ if and only if $\left\vert\left<f,h^j_k\right>\right\vert\leq C 2^{-(\alpha + \tfrac{1}{2})j}$, for some constant $C$, every $j\in\mathbb{Z}$ and every $k=0,1,2,\ldots$ Here, as usual $h^j_k(x)= 2^{j/2}h(2^jx-k)$ and $h(x)=\mathcal{X}_{[0,1/2)}(x)-\mathcal{X}_{[1/2,1)}(x)$.