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$.

Ball Average Characterizations of Variable Besov-type Spaces

Besov spaces and K -functionals in L p , 0< p <1 *

The Equivalence Relations Between the Ditzian–Totik Moduli of Smoothness and Best Polynomial Approximation in the Besov Spaces

The Equivalence Relations Between the Best Approximation and Linear Operators Approximation in a Besov Space

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

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

Pointwise characterizations of variable Besov and Triebel-Lizorkin spaces via Hajłasz gradients

Hardy spaces associated with ball quasi‐Banach function spaces on spaces of homogeneous type: Characterizations of maximal functions, decompositions, and dual spaces

Some Intrinsic Characterizations of Besov-Triebel-Lizorkin-Morrey-type Spaces on Lipschitz Domains

Besov-Lipschitz and mean Besov-Lipschitz spaces of holomorphic functions on the unit ball

Hardy Spaces Associated with Non-negative Self-adjoint Operators and Ball Quasi-Banach Function Spaces on Doubling Metric Measure Spaces and Their Applications

Characterization of Besov spaces with dominating mixed smoothness by differences

On Relationship Between Convergence Ball of Euler Iteration in Banach Spaces and Its Dynamical Behavior on Riemann Spheres

Characterization of Lipschitz Functions on Ball Banach Function Spaces

Compactness of averaging operators on Banach function spaces

Optimal embeddings for Triebel–Lizorkin and Besov spaces on quasi-metric measure spaces

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

The ball-covering property of non-commutative spaces of operators on Banach spaces

Carleson Measures for the Drury-Arveson Hardy space and other Besov-Sobolev spaces on Complex Balls

Variational characterizations of weighted Hardy spaces and weighted $BMO$ spaces

Characterizations of pointwise multipliers of Besov spaces in endpoint cases with an application to the duality principle