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

An asymptotic analog of a local-to-global phenomenon for uniformly convex renormings

Strictly convex norms and the local diameter two property

A note on smooth rotund norms which are not midpoint locally uniformly rotund

Local Boundedness for Minimizers of Convex Integral Functionals in Metric Measure Spaces

The asymptotic Fubini-Study operator over general non-Archimedean fields

Norm attaining operators into locally asymptotically midpoint uniformly convex Banach spaces

On Characterizations of Some General $(α, β)$ Norms in a Minkowski Space

Norm attaining operators which satisfy a Bollobás type theorem

An Alternating Procedure for Operators on Uniformly Convex and Uniformly Smooth Banach-Spaces

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

Localisation for constrained transports I: theory

Rotund Gateaux smooth norms which are not locally uniformly rotund

Unconditional bases and strictly convex dual renormings

On the Local Gevrey Integrability

Zalcman's lemma, Pinchuk's rescaling method, and Catlin's estimates revisited

Uniform Convergence of Metrics on Alexandrov Surfaces with Bounded Integral Curvature

Some Moduli of Angles in Banach Spaces

YET ON LINEAR STRUCTURES OF NORM-ATTAINING FUNCTIONALS ON ASPLUND SPACES

Moduli Spaces of Critical Riemannian Metrics with Ln2 Norm Curvature Bounds

Gagliardo Representation of Norms of Ball Quasi-Banach Function Spaces

A Noncommutative Beurling Theorem with Respect to Unitarily Invariant Norms