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

A remark on a conjecture on the symmetric Gaussian Problem

A remark on a conjecture on the symmetric Gaussian problem

The Minkowski Problem in the Sphere

Hadwiger's problem for bodies with enough sub-Gaussian marginals

A Condition in Mean Curvature Prescriptions for Conformal Metrics on the Ball

The Gaussian measure of a convex body controls its maximal covering radius

Centro-Affine Differential Geometry and the Log-Minkowski Problem

A Generalization of Liu-Yau's Quasi-Local Mass

Strengthened inequalities for the mean width and the $\ell$-norm of origin symmetric convex bodies

Invariant kernels on Riemannian symmetric spaces: a harmonic-analytic approach

Prescribing curvatures in the disk via conformal changes of the metric: the case of negative Gaussian curvature

A Variational Approach to the Yamabe Problem: Conformal Transformations and Scalar Curvature on Compact Riemannian Manifolds

The Minkowski problem in the Gaussian probability space

A mean field problem approach for the double curvature prescription problem

Alexandrov Theorem for nonlocal curvature

Some sharp inequalities of Mizohata--Takeuchi-type

Asymptotic location and shape of the optimal favorable region in a Neumann spectral problem

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

On eigenvalue inequalities of Schmuckenschlager

Nodal Volumes as Differentiable Functionals of Gaussian fields

Remarks on the generalised Calabi-Yau problem in higher codimension