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

On the Extension of Bounded Holomorphic Maps from Gleason Parts of the Maximal Ideal Space of

Holomorphic extension of one-parameter operator groups

Fibers and Gleason parts for the maximal ideal space of

Fibers and Gleason parts for the maximal ideal space of $\mathcal A_u(B_{\ell_p})$

Extension of holomorphic functions and cohomology classes from non reduced analytic subvarieties

Vector spaces on non-extendable holomorphic functions

On the extension of positive maps to Haagerup non-commutative $L^p$-spaces

On maximal functions generated by Hörmander-type spectral multipliers

Runge-Type Approximation Theorem for Banach-valued ${\mathbf H^\infty}$ Functions on a Polydisk

Extended Sobolev scale for vector bundles, and its applications

Hyperbolic imbedding and spaces of continuous extensions of holomorphic maps

Self-improving boundedness of the maximal operator on quasi-Banach lattices over spaces of homogeneous type

Optimal extensions of openness type

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

Boundedness of Hausdorff Operators on Lebesgue Spaces and Hardy Spaces

On Maximal Functions Associated to Families of Curves in the Plane

The Hartogs extension phenomenon and open embeddings, proper maps, compactifications, cohomologies

Universal holomorphic maps with slow growth II. functional analysis methods

Embeddings into de Branges-Rovnyak spaces

Holomorphic functions of slow growth on coverings of pseudoconvex domains in Stein manifolds

Uniqueness of Hahn-Banach extension and related norm-$1$ projections in dual spaces