Differentiation properties of symmetric measures (Q2461586)

Let the lower and upper derivative \(\underline D\mu(x)\) and \(\overline D\mu(x)\), respectively, of measures on the Lebesgue \(\sigma\)-algebra of \(\mathbb{R}^d\), \(d\in \mathbb{N}\), in a point \(x\in\mathbb{R}^d\) be defined with respect to cubes containing the point \(x\). Then the main result of the paper says, that for any symmetric measure on the Lebesgue \(\sigma\)-algebra of \(\mathbb{R}^d\) which is singular with respect to the \(d\)-dimensional Lebesgue measure and for arbitrary \(a,b\in\mathbb{R}\) with \(0<a \leq b<\infty\), the Hausdorff-dimension of the set \(\{x\in\mathbb{R}^d: \underline D_\mu(x)=a\) and \(\overline D_\mu(x)=b\}\) is equal to the dimension \(d\). This means, that this set is large in the sense of the Hausdorff-dimension. Here a locally finite positive measure is called symmetric, if \(\lim_{|Q^-|\to 0}\mu(Q^-)/\mu(Q^+)=1\) for adjacent cubes \(Q^-\) and \(Q^+\). If \(a=b\), this result was proved by the same author in [St. Petersbg. Math. J. 19, No. 2, 225--238 (2008); translation from Algebra Anal. 19, No. 2, 86--104 (2007; Zbl 1172.28300)] by using properties of the corresponding harmonic continuation into the upper half-plane of the \(\mathbb{R}^{d+1}\), while in the present paper all calculations are taken in the initial space \(\mathbb{R}^d\). Note that singular symmetric measures are a natural object in the theory of quasiconformal mappings. An analogue of the main result for smooth singular measures was proved by J. J. Donaire in his Ph.D. thesis, Barcelona 1995.