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

Endpoint Regularity Of Discrete Multisublinear Fractional Maximal Operators Associated With L(1)-Balls

Regularity for commutators of the local multilinear fractional maximal operators

Singular solutions of linear problems with fractional Laplacian

A characterization of L-maximal regularity for time-fractional systems in UMD spaces and applications

A Note on BV Continuity of Discrete Maximal Operators

Local Regularity for Minimizers of Integral Functionals

Fractional maximal operators on weighted variable Lebesgue spaces over the spaces of homogeneous type

The Boundedness of Sublinear Operators on Generalized Morrey Spaces and Its Application

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

Characterization of Lipschitz Functions on Ball Banach Function Spaces

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

Regularity of the centered fractional maximal function on radial functions

Endpoint Estimates for Commutators of Multilinear Fractional Integral Operators

Fractional operators on the bounded symmetric domains of the Bergman spaces

Maximal $L_p$-regularity for $x$-dependent fractional heat equations with Dirichlet conditions

Maximal regularity for fractional integro-differential equations in Besov spaces

Maximal regularity for fractional difference equations with finite delay on UMD space

Extremal Values of Eigenvalues of Sturm–Liouville Operators with Potentials in L1 Balls

Quasi-linear Fractional-Order Operators in Lipschitz Domains

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

Boundness of Some Multilinear Fractional Integral Operators in Generalized Morrey Spaces on Stratified Lie Groups