Abstract:Let (X, rho, mu) be a metric measure space of homogeneous type, and let C-c*(X) denote the set of all Lipschitz functions f on X such that lim(r -> 0+) sup(y is an element of B(.,r)) vertical bar f(.) - f(y)vertical bar/r converges uniformly to a compactly supported continuous function Lip f on X. Let p is an element of [1, infinity) and let f is an element of C-c*(X) be such that the pair (f, Lip f) satisfies a certain Poincare inequality. Assume that alpha is an element of R \{0} if p is an element of (1, infinity), and alpha is an element of (0, infinity) if p = 1. Under these assumptions, the authors prove the following result which extends a recent formula of H. Brezis, A. Seeger, J. Van Schaftingen, and P.-L. Yung on finite dimensional Euclidean spaces: sup(lambda is an element of(0,infinity)) lambda(p) integral integral(D lambda) [U(x, y)](alpha-1) d mu(x) d mu(y) similar to integral(X)[Lip f (x)](p) d mu(x), where D-lambda := {(x, y) is an element of X x X: vertical bar f (x) - f(y)vertical bar>lambda rho(x, y)[U(x, y)](alpha/p}) for any lambda is an element of (0, infinity), V(x, y) := mu(B(x, rho(x, y))) and U(x, y) := min{V(x, y), V(y, x)} for any x, y is an element of X, and the positive constants of equivalence are independent of f. A similar result remains true if p is an element of (1, infinity) and f lies in a wider class of functions in the Hajlasz-Sobolev space. As an application, the authors establish new fractional Sobolev and Gagliardo- Nirenb erg inequalities on X. These results are applicable to many classical examples, such as Euclidean spaces, with weighted Lebesgue measure, and complete finite dimensional Riemannian manifolds, with non-negative Ricci curvature. (C) 2022 Elsevier Inc. All rights reserved.

Metric Sobolev Spaces I: Equivalence of Definitions

Metric Sobolev spaces I: equivalence of definitions

Sobolev Metrics on Spaces of Discrete Regular Curves

Sobolev Inequalities and Convergence For Riemannian Metrics and Distance Functions

Schatten properties of commutators and equivalent Sobolev norms on metric spaces

On Newton-Sobolev spaces

Differential Equations in Metric Spaces with Applications

Nguyen's approach to Sobolev spaces in metric measure spaces with unique tangents

Sobolev spaces via chains in metric measure spaces

Poincaré Inequality Meets Brezis–Van Schaftingen–Yung Formula on Metric Measure Spaces

Korevaar-Schoen-Sobolev spaces and critical exponents in metric measure spaces

Metric Measure Spaces and Synthetic Ricci Bounds -- Fundamental Concepts and Recent Developments

Metric compatibility and determination in complete metric spaces

Generalized ordinary differential equations in metric spaces

Completeness and Geodesic Distance Properties for Fractional Sobolev Metrics on Spaces of Immersed Curves

A Class of the Newtonian HK-Sobolev Spaces on Metric Measure Spaces

A nonlinear d'Alembert comparison theorem and causal differential calculus on metric measure spacetimes

Sobolev mappings on metric spaces and Minkowski dimension

Density of subalgebras of Lipschitz functions in metric Sobolev spaces and applications to Wasserstein Sobolev spaces

Remarks on a Sobolev embedding

New Characterizations of First Order Sobolev Spaces