Abstract:Let $X$ be a ball Banach function space on $\mathbb{R}^n$. In this article, under some mild assumptions about both $X$ and the boundedness of the Hardy--Littlewood maximal operator on both $X$ and the associate space of its convexification, the authors successfully recover the homogeneous ball Banach Sobolev semi-norm $\|\,|\nabla f|\,\|_X$ via the functional $$ \sup_{\lambda\in(0,\infty)}\lambda \left\|\left[\int_{\{y\in\mathbb{R}^n:\ |f(\cdot)-f(y)|>\lambda|\cdot-y|^{1+\frac{\gamma}{q}}\}} \left|\cdot-y\right|^{\gamma-n}\,dy\right]^\frac{1}{q}\right\|_X $$ for any distributions $f$ with $|\nabla f|\in X$, as well as the corresponding limiting identities with the limit for $\lambda\to\infty$ when $\gamma\in(0,\infty)$ or the limit for $\lambda\to0^+$ when $\gamma\in(-\infty,0)$, where $\gamma\in\mathbb{R}\setminus\{0\}$ and where $q\in(0,\infty)$ is related to $X$. In particular, some of these results are still new even when $X:=L^p(X)$ with $p\in[1,\infty)$. As applications, the authors obtain some fractional Sobolev-type and some fractional Gagliardo--Nirenberg-type inequalities in the setting of $X$. All these results are of quite wide generality and are applied to various specific function spaces, including Morrey, mixed-norm (or variable or weighted) Lebesgue, Lorentz, and Orlicz (or Orlicz-slice) spaces, some of which are new even in all these special cases. The novelty of this article is to use both the method of the extrapolation and the boundedness of the Hardy--Littlewood maximal operator on both $X$ and the associate space of its convexification to overcome the essential difficulties caused by the deficiency of both the translation and the rotation invariance and an explicit expression of the norm of $X$.

The bounded variation capacity and Sobolev-type inequalities on Dirichlet spaces

Heat-Semigroup-Based Besov Capacity on Dirichlet Spaces and Its Applications

BV functions and nonlocal functionals in metric measure spaces

Functions of bounded variation on complete and connected one-dimensional metric spaces

Generalized Brezis--Van Schaftingen--Yung Formulae and Their Applications in Ball Banach Sobolev Spaces

Bourgain–Brezis–Mironescu-Type Characterization of Inhomogeneous Ball Banach Sobolev Spaces on Extension Domains

Density of continuous functions in Sobolev spaces with applications to capacity

The Weak Elliptic Harnack Inequality Revisited

Absolutely continuous and BV-curves in 1-Wasserstein spaces

A priori bounds for geodesic diameter. Part III. A Sobolev-Poincaré inequality and applications to a variety of geometric variational problems

Local Hölder continuity of nonnegative weak solutions of inverse variation-inequality problems of non-divergence type

Elliptic operators in rough sets, and the Dirichlet problem with boundary data in Hölder spaces

Existence and uniqueness of limits at infinity for bounded variation functions

Grand Besov–Bourgain–Morrey spaces and their applications to boundedness of operators

Boundary Hardy inequality on functions of bounded variation

Generalized Capacity, Harnack Inequality and Heat Kernels of Dirichlet Forms on Metric Measure Spaces

Toward Weighted Lorentz–Sobolev Capacities from Caffarelli–Silvestre Extensions

Discrete logarithmic Sobolev inequalities in Banach spaces

Hölder regularity and Liouville Theorem for the Schrödinger equation with certain critical potentials, and applications to Dirichlet problems