Dimension of gradient measures (Q467684)

The authors of this paper show that if \(f\) is a function on \(\mathbb{R}^n\) such that its pure derivatives are complex measures, then their lower Hausdorff dimension is not less than \(n-1\). It is noteworthy that the derivatives with respect to different coordinates may be of different order. The proof of this theorem uses the Sobolev embedding theorem with the limiting summation exponent as well as a modification of the Frostman lemma. Finally, the authors provide examples that demonstrate the sharpness of this result.