New estimates for a class of non-local approximations of the total variation

TL;DR

This paper provides new estimates for non-local functionals related to total variation, proving lower bounds and optimality in specific cases, advancing understanding of functions with bounded variation.

Contribution

It offers the first positive answer to an open question about these non-local functionals and computes the exact limit when the Cantor part vanishes.

Findings

Lower bounds for the non-local functionals in BV functions.

Optimality of the estimates when the Cantor part is zero.

Explicit computation of the limit in the absence of the Cantor part.

Abstract

We consider a class of non-local functionals recently introduced by H. Brezis, A. Seeger, J. Van Schaftingen, and P.-L. Yung, which offers a novel way to characterize functions with bounded variation. We give a positive answer to an open question related to these functionals in the case of functions with bounded variation. Specifically, we prove that in this case the liminf of these functionals can be estimated from below by a linear combination in which the three terms that sum up to the total variation (namely the total variation of the absolutely continuous part, of the jump part and of the Cantor part) appear with different coefficients. We prove also that this estimate is optimal in the case where the Cantor part vanishes, and we compute the precise value of the limit in this specific scenario. In the proof we start by showing the results in dimension one by relying on some measure theoretic arguments in order to identify sufficiently many disjoint rectangles in which the difference quotient can be estimated, and then we extend them to higher dimension by a classical sectioning argument.