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

Norming and dense sets of extreme points of the unit ball in spaces of bounded Lipschitz functions

On the set of extreme points of the unit ball of a Hardy-Lorentz space

Porous Sets for Mutually Nearest Points in Banach Spaces

Embeddings of infinite-dimensional spaces in the sets of norm-attaining Lipschitz functions

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

Linear structures of norm-attaining Lipschitz functions and their complements

Banach spaces with small weakly open subsets of the unit ball and massive sets of Daugavet and $Δ$-points

Extremal problems in BMO and VMO involving the Garsia norm

A Note on the Hausdorff Distance between Norm Balls and their Linear Maps

On the Density of Positive Proper Efficient Points in a Normed Space

The Dual Normal Chip and Linear Regularity for Infinite Systems of Convex Sets in Banach Spaces

The Extreme Points of the Unit Ball of the James space $J$ and its dual spaces

Regularity of sets of finite fractional perimeter and nonlocal minimal surfaces in metric measure spaces

Strictly convex norms and the local diameter two property

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

Unit balls of Polyhedral Banach spaces with many extreme points

Nonrough norms in spaces with small diameter

Lebesgue and Hardy Spaces for Symmetric Norms I

Norm Attaining Elements of the Ball Algebra

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

Extremal set theory for the binomial norm