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

A Beurling Theorem for Generalized Hardy Spaces on a Multiply Connected Domain

Fourier Transform of Anisotropic Hardy Spaces Associated with Ball Quasi-Banach Function Spaces and Its Applications to Hardy--Littlewood Inequalities

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

Beurling's Theorem for Valuation Hilbert Modules and Several Complex Variables

Beurling and Model subspaces invariant under a universal operator

Hardy Spaces of Certain Convolution Operator

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

A generalization of representation theorems in Hardy-Orlicz spaces on the upper complex half-plane

A class of closed manifolds in nonseparable Hilbert spaces

Boundedness of Hausdorff Operators on Lebesgue Spaces and Hardy Spaces

Some aspects of the Bergman and Hardy spaces associated with a class of generalized analytic functions

Noncommutative domains, universal operator models, and operator algebras, II

Volterra-type inner derivations on Hardy spaces

The Hardy number and the Bergman number of a planar domain are equal

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

Weyl type theorems in Banach algebras and hyponormal elements in algebras

On the boundedness of generalized integration operators on Hardy spaces

Product Hardy spaces associated to operators with heat kernel bounds on spaces of homogeneous type

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

Generalized Hyperbolicity, Stability and Expansivity for Operators on Locally Convex Spaces