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

Unbounded generalization of the Baker-Campbell-Hausdorff formulae

Boundedness of Hadamard–Bergman and Variable Hadamard–Bergman Convolution Operators

Yet another generalization of the Fuglede-Putnam theorem to unbounded operators

Unbounded Products of Operators and Connections to Dirac-Type Operators

The Baker-Campbell-Hausdorff formula via mould calculus

Efficient Implementation of Baker-Campbell-Hausdorff Formula

Boundedness of Hausdorff Operators on Lebesgue Spaces and Hardy Spaces

The non-Hermitian operators on the Baker-Hausdorff formula

Kontsevich's Universal Formula for Deformation Quantization and the Campbell-Baker-Hausdorff Formula, I

The Representation and Computational Procedures for the Generalized Inverse of an Operator<i>A</i>in Hilbert Spaces

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

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

Boundedness of the Hardy-Littlewood Maximal Operator, Fractional Integral Operators, and Calderon-Zygmund Operators on Generalized Weighted Morrey Spaces

M-serially summing operators on Banach lattices

Automatic Boundedness of Adjointable Operators on Barreled VH-Spaces

On Generalization of Martinelli-Bochner Integral Formula Using Clifford Analysis

Boundedness of operator-valued commutators involving martingale paraproducts

Integral Representation Formulas in Banach Algebra Settings

Boundedness from below of Composition Operators on Α-Logarithmic Bloch Spaces

On A Generalization of Motohashi's Formula

Closed Form of the Baker-Campbell-Hausdorff Formula for the Generators of Semisimple Complex Lie Algebras