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

Most likely balls in Banach spaces: Existence and nonexistence

Most likely balls in Banach spaces: existence and non-existence

Ball Convex Bodies in Minkowski Spaces

Elements of Geometry of Balls in Banach Spaces

Minimal ball-coverings in Banach spaces and their application

Convexity of Balls in Gromov--Hausdorff Space

Several Remarks on Ball-Coverings of Normed Spaces

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

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

Porosity of Mutually Nearest and Mutually Furthest Points in Banach Spaces

Ball-covering Property of Banach Spaces That is Not Preserved under Linear Isomorphisms

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

Nearest and Farthest Points in Spaces of Curvature Bounded Below

Selected topics from the theory of intersections of balls

A probabilistic approach to Lorentz balls

The Banach-Tarski paradox for some subsets of finite-dimensional normed spaces over non-Archimedean valued fields

Maximal noncompactness of limiting Sobolev embeddings

On covering a ball by congruent subsets in normed spaces

Characterization of Lipschitz Functions on Ball Banach Function Spaces

The Bourgain–Brezis–Mironescu Formula on Ball Banach Function Spaces

On eigenvalue inequalities of Schmuckenschlager