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

Characterization of Lipschitz Functions on Ball Banach Function Spaces

Characterization of Lipschitz Space via the Commutators of Fractional Maximal Functions on Variable Lebesgue Spaces

Characterization of Lipschitz functions via commutators of maximal operators on slice spaces

A Characterization of Nevanlinna Class in the Unit Ball and Its Applications

Characterization of Lipschitz Spaces via Commutators of Fractional Maximal Function on the $p$-Adic Variable Exponent Lebesgue Spaces

Commutators for the maximal and sharp functions with weighted Lipschitz functions on weighted Morrey spaces

Characterizations of Lipschitz functions via the commutators of maximal function in total Morrey spaces

Product Hardy Spaces Meet Ball Quasi-Banach Function Spaces

Maximal Function and Riesz Transform Characterizations of Hardy Spaces Associated with Homogeneous Higher Order Elliptic Operators and Ball Quasi-Banach Function Spaces

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

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

Mixed Lipschitz Spaces and Their Applications

Characterizations of Composition Operators on Bloch and Hardy Type Spaces

Lattice Lipschitz superposition operators on Banach function spaces

Convergence Criterion and Convergence Ball of the King-Werner Method under the Radius Lipschitz Condition

Some notes on commutators of the fractional maximal function on variable Lebesgue spaces

Characterization of boundedness of some commutators of fractional maximal functions in terms of $p$-adic vector spaces

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

Some characterizations of BMO and Lipschitz spaces in the Schrödinger setting

On extreme points and representer theorems for the Lipschitz unit ball on finite metric spaces