Poincaré Inequality Meets Brezis–Van Schaftingen–Yung Formula on Metric Measure Spaces
Feng Dai,Xiaosheng Lin,Dachun Yang,Wen Yuan,Yangyang Zhang
DOI: https://doi.org/10.1016/j.jfa.2022.109645
IF: 1.891
2022-01-01
Journal of Functional Analysis
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.