Sobolev spaces via chains in metric measure spaces

TL;DR

This paper introduces a new chain-based Sobolev space framework in metric measure spaces, establishing equivalences with classical Sobolev spaces in complete spaces and exploring inequalities in non-complete spaces.

Contribution

It defines chain Sobolev spaces via chain upper gradients, proving their equivalence to classical Sobolev spaces in complete spaces and analyzing their properties in non-complete spaces.

Findings

Chain Sobolev space equals classical Sobolev space in complete spaces.

In non-complete spaces, chain Sobolev space matches the relaxation-based Sobolev space.

New formulations of Poincaré inequality using chain and pointwise estimates.

Abstract

We define the chain Sobolev space on a possibly non-complete metric measure space in terms of chain upper gradients. In this context, $\varepsilon$-chains are a finite collection of points with distance at most $\varepsilon$ between consecutive points. They play the role of discrete versions of curves. Chain upper gradients are defined accordingly and the chain Sobolev space is defined by letting the size parameter $\varepsilon$ going to zero. In the complete setting, we prove that the chain Sobolev space is equal to the classical notions of Sobolev spaces in terms of relaxation of upper gradients or of the local Lipschitz constant of Lipschitz functions. The proof of this fact is inspired by a recent technique developed by Eriksson-Bique. In the possible non-complete setting, we prove that the chain Sobolev space is equal to the one defined via relaxation of the local Lipschitz constant of Lipschitz functions, while in general they are different from the one defined via upper gradients along curves. We apply the theory developed in the paper to prove equivalent formulations of the Poincar\'{e} inequality in terms of pointwise estimates involving $\varepsilon$-upper gradients, lower bounds on modulus of chains connecting points and size of separating sets measured with the Minkowski content in the non-complete setting. Along the way, we discuss the notion of weak $\varepsilon$-upper gradients and asymmetric notions of integral along chains.