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 extreme points and representer theorems for the Lipschitz unit ball on finite metric spaces

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

On extremal points for some vectorial total variation seminorms

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

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

Unit balls of Polyhedral Banach spaces with many extreme points

A solution to the extreme point problem and other applications of Choquet theory to Lipschitz-free spaces

On extremal nonexpansive mappings

Characterization of Lipschitz Functions on Ball Banach Function Spaces

How Lipschitz Functions Characterize the Underlying Metric Spaces

Characterization of Lipschitz functions in terms of variable exponent Lebesgue spaces

Extreme Points of Spectrahedra

Delta-points and their implications for the geometry of Banach spaces

Lipschitz vector spaces

Extremal Points for Fractional Boundary Value Problems

Sign Changing Critical Points for Locally Lipschitz Functionals

de Leeuw representations of functionals on Lipschitz spaces

A note on non-support points, negligible sets, Gâteaux differentiability and Lipschitz embeddings

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

Delta‐points and their implications for the geometry of Banach spaces

On various diametral notions of points in the unit ball of some vector-valued function spaces