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

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

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

A Bourgain-Brezis-Mironescu -type characterization for Sobolev differential forms

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

Bourgain–Morrey Spaces Mixed with Structure of Besov Spaces

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

Characterization of Lipschitz Functions on Ball Banach Function Spaces

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

Two-scale density of almost smooth functions in sphere-valued Sobolev spaces: A high-contrast extension of the Bethuel-Zheng theory

Asymptotic characterizations of strong pseudoconvexity on pseudoconvex domains of finite type in $\mathbb{C}^2$

On Sobolev spaces of bounded subanalytic manifolds

boundedness of multiparameter Forelli–Rudin type operators on the product of unit balls of

Discrete logarithmic Sobolev inequalities in Banach spaces

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

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

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

Bilinear Strichartz's type estimates in Besov spaces with application to inhomogeneous nonlinear biharmonic Schr\"odinger equation

Bourgain-Brezis-Mironescu formula for -spaces in arbitrary domains

Sobolev and Hölder estimates for the $\overline \partial$ equation on pseudoconvex domains of finite type in $\mathbb C^2$

Characterization of Holomorphic Invariant Complex Finsler Metrics and Schwarz Lemma on the Polyball