Non-quasicontinuous Newtonian functions and outer capacities based on Banach function spaces

Abstract

We construct various examples of Sobolev-type functions, defined via upper gradients in metric spaces, that fail to be quasicontinuous or weakly quasicontinuous. This is done with quasi-Banach function lattices $X$ as the function spaces defining the smoothness of the Sobolev-type functions. These results are in contrast to the case $X=L^p$ with $1\le p<\infty$, where all Sobolev-type functions in $N^p$ are known to be quasicontinuous, provided that the underlying metric space $\mathcal{P}$ is locally complete. In most of our examples, $\mathcal{P}$ is a compact subset of $\mathbf{R}^2$ and $X=L^\infty$. Four particular examples are the damped topologist's sine curve, the von Koch snowflake curve, the Cantor ternary set and the Sierpi\'nski carpet. We also discuss several related properties, such as whether the Sobolev capacity is an outer capacity, and how these properties are related. A fundamental role in these considerations is played by the lack of the Vitali--Carath\'eodory property.