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

Spaces of Besov-Sobolev type and a problem on nonlinear approximation

The Equivalence Relations Between the Best Approximation and Linear Operators Approximation in a Besov Space

Grand Besov–Bourgain–Morrey spaces and their applications to boundedness of operators

Nonlocal Bounded Variations with Applications

On Sobolev and Besov Spaces With Hybrid Regularity

Jumps in Besov spaces and fine properties of Besov and fractional Sobolev functions

Bourgain–Morrey Spaces Mixed with Structure of Besov Spaces

Brezis–Van Schaftingen–Yung Formulae in Ball Banach Function Spaces with Applications to Fractional Sobolev and Gagliardo–Nirenberg Inequalities

Anisotropic fractional Sobolev spaces with variable exponent and application to nonlocal problems

Maximal regularity for fractional integro-differential equations in Besov spaces

On homogeneous Sobolev and Besov spaces on the whole and the half space

Spatially sparse optimization problems in fractional order Sobolev spaces

On generalized Sobolev-Orlicz spaces associated to the Riesz fractional gradient

Right fractional Sobolev space via Riemann$-$Liouville derivatives on time scales and an application to fractional boundary value problem on time scales

Refined localization spaces, Kondratiev spaces with fractional smoothness and extension operators

On the Obstacle Problem in Fractional Generalised Orlicz Spaces

Some approximation theorems in Fourier-Jacobi analysis and Boas type results for Nikol'skii spaces

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

Some approximation results for mild solutions of stochastic fractional order evolution equations driven by Gaussian noise

Existence of solutions for time fractional semilinear parabolic equations in Besov--Morrey spaces