Generalized dimension estimates for images of porous sets in metric spaces (Q2790809)

This article gives sufficient conditions on a map \(f: X \to Y\) between metric spaces and on a closed set \(E\) in \(X\) ensuring that the image \(f(E)\) has zero Hausdorff measure \(\mathcal{H}^Q\) (for a given \(Q> 1\)).NEWLINENEWLINEMore precisely, the main result of the paper states that \(\mathcal{H}^Q(f(E)) = 0\) if: NEWLINENEWLINENEWLINENEWLINE (a) \(Q>1\); NEWLINENEWLINENEWLINENEWLINE (b) \(X\) is a \(Q\)-Ahlfors regular measure metric space (that is, \(X\) is equipped with a measure \(\mu\) such that for some \(r_0>0\) and a constant \(C\), then \(C^{-1} r^Q \leq \mu(B) \leq C r^Q\) for any open ball \(B\) of radius \(r <r_0\)); NEWLINENEWLINENEWLINENEWLINE (c) \(Y\) is a metric space; NEWLINENEWLINENEWLINENEWLINE (d) \(E \subset X\) is closed and porous (that is, there are positive numbers \(r_0\) and \(\alpha\) with the following property: any open ball centered at a point of \(E\) and of radius \(r <r_0\) contains an open ball of radius \(\alpha r\) disjoint from \(E\)); NEWLINENEWLINENEWLINENEWLINE (e) \(f: X \to Y\) has a \(L^Q\)-Hajłasz gradient (that is, there are \(g \in L^Q(X)\) and a measurable set \(A \subset X\) such that \(\mu(A) = 0\) and \(d_Y(f(x),f(y)) \leq (g(x) + g(y)) d_X(x,y)\) for all \(x, y \in X \setminus A\)); NEWLINENEWLINENEWLINENEWLINE (f) \(f\) is continuous with an allowable modulus of continuity \(\psi\) such that \(\int_0^a |\log(\psi(t))/\log(t)|^Q / t\, dt = \infty\) for any \(a> 0\). NEWLINENEWLINENEWLINENEWLINE The above theorem is related to a result of \textit{P. W. Jones} and \textit{N. G. Makarov} on conformal maps of the unit disk [Ann. Math. (2) 142, No. 3, 427--455 (1995; Zbl 0842.31001)] and generalizes results of \textit{A. Kauranen} and \textit{P. Koskela} settled in Sobolev spaces [Anal. PDE 7, No. 8, 1839--1859 (2014; Zbl 1312.26024)].