Dichotomy of global capacity density in metric measure spaces

The variational capacity {\operatorname{cap}_{p}} in Euclidean spaces is known to enjoy the density dichotomy at large scales, namely that for every {E\subset{\mathbb{R}}^{n}},\inf_{x\in{\mathbb{R}}^{n}}\frac{\operatorname{cap}_{p}(E\cap B(x,r),B(x,2r))}% {\operatorname{cap}_{p}(B(x,r),B(x,2r))}is either zero or tends to 1 as {r\to\infty}. We prove that this property still holds in unbounded complete geodesic metric spaces equipped with a doubling measure supporting a p-Poincaré inequality, but that it can fail in nongeodesic metric spaces and also for the Sobolev capacity in {{\mathbb{R}}^{n}}. It turns out that the shape of balls impacts the validity of the density dichotomy. Even in more general metric spaces, we construct families of sets, such as John domains, for which the density dichotomy holds. Our arguments include an exact formula for the variational capacity of superlevel sets for capacitary potentials and a quantitative approximation from inside of the variational capacity.

Anisotropic Sobolev Capacity with Fractional Order

In this paper, we introduce the anisotropic Sobolev capacity with fractional order and develop some basic properties for this new object. Applications to the theory of anisotropic fractional Sobolev spaces are provided. In particular, we give geometric characterizations for a nonnegative Radon measure μ that naturally induces an embedding of the anisotropic fractional Sobolev class into the μ-based-Lebesgue-space with 0 < β ≤ n. Also, we investigate the anisotropic fractional α-perimeter. Such a geometric quantity can be used to approximate the anisotropic Sobolev capacity with fractional order. Estimation on the constant in the related Minkowski inequality, which is asymptotically optimal as α →0+, will be provided.

Newtonian Spaces Based on Quasi-Banach Function Lattices

In this paper, first-order Sobolev-type spaces on abstract metric measure spaces are defined using the notion of (weak) upper gradients, where the summability of a function and its upper gradient is measured by the "norm" of a quasi-Banach function lattice. This approach gives rise to so-called Newtonian spaces. Tools such as moduli of curve families and Sobolev capacity are developed, which allows us to study basic properties of these spaces. The absolute continuity of Newtonian functions along curves and the completeness of Newtonian spaces in this general setting are established.