The capacity density and the Hausdorff dimension of fractal sets (Q1842115)

Let \(C_ t(E)\) be the \(t\)-capacity of a subset \(E\) in \(\mathbb{R}^ n\) defined via \(t\)-potential at points \(x\) and \(t\)-energy of measures \(\mu\) supported on subsets of \(E\). If \(B_ r (x)\) is the closed ball centered at \(x\) and with radius \(r\) then \[ C_ t \bigl( B_ r (x) \bigr) = C_ t \bigl (B_ 1 (x) \bigr) \cdot r^ t. \] This allows to unify the definition of the upper \(t\)-capacity density of \(E\) at a point \(x\), \[ \overline D^ E_ t (x) = \limsup_{r \to 0} {C_ t \bigl( B_ r(x) \cap E \bigr) \over C_ t \bigl( B_ r (x) \bigr)} \] due to Wen Zhiying and Zheng Yiping to the more natural form \[ \overline D^ E_ t (x) = \limsup_{r \to 0}{C_ t \bigl( B_ r (x) \cap E \bigr) \over (2r)^ t}. \] The main result says that \[ \overline D^ E_ t (x) \leq 4^{-s} \cdot {s - t \over s} \] at \({\mathcal H}^ s\)-almost all \(x \in E\) for any \(0 < t < s\) if \(E\) is a Hausdorff \(s\)-set or an analytic subset with Hausdorff dimension \(s\), which improves the analogous uniform lower bound result of Wen Zhiying and Zheng Yiping.