No label defined (Q4548133)

For a wide class of kernels \(K\), the authors consider the capacity \(C_K\) defined for subsets \(E\) of \(\mathbb R^N\) by \(C_K(E)=\sup \{\mu (E): \mu \in {\mathcal A}_K(E)\}\), where \({\mathcal A}_K(E)\) is the set of finite Borel measures \(\mu\) with compact support contained in \(E\) such that \(\int K (| x-y|) \,d\mu (y)\leq 1\) for all \(x\) in \(\mathbb R^N\). Let \(B(a,\delta)\) denote the open ball in \(\mathbb R^N\) with centre \(a\) and radius \(\delta\). The following question is addressed: if \(C_K(E)>0\), how quickly can \(C_K(B(a,\delta)\cap E)\) tend to 0 as \(\delta\to 0\)? The main hypotheses concerning \(K\) are that \(K: [0,\infty)\to (0,\infty]\) and satisfies \(K(r)\to \infty\) as \(r\to 0\) and \(\int^{1}_{0}K(t)t^{N-1}\,dt<\infty\). Under further mild regularity conditions on \(K\) and on an increasing continuous function \(h\colon [0,\infty)\to [0,\infty)\) with \(h(0)=0\), it is shown that the condition \(\int^{1}_{0}h(t) \,dK(t)=-\infty\) is necessary and sufficient for the existence of a compact set \(E\) such that \(C_K(E)>0\) and \(C_K(B(a,\delta)\cap E)\asymp H(\delta)\) as \(\delta\to 0\) for all \(a\in E\). For the entire collection see [Zbl 0980.00050].