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

Regularized Brascamp--Lieb inequalities

Adjoint Brascamp–Lieb inequalities

Information-Theoretic Perspectives on Brascamp-Lieb Inequality and Its Reverse

Brascamp-Lieb Inequality and Its Reverse: An Information Theoretic View

A generalized Legendre duality relation and Gaussian saturation

A Hölder--Young--Lieb inequality for norms of Gaussian Wick products

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

New Brunn--Minkowski and functional inequalities via convexity of entropy

A parabolic PDE-based approach to Borell--Brascamp--Lieb inequality

Stability for the Brunn-Minkowski and Riesz Rearrangement Inequalities, with Applications to Gaussian Concentration and Finite Range Non-local Isoperimetry

Brascamp-Lieb inequality and quantitative versions of Helly's theorem

Inequalities of Brascamp-Lieb type on the Heisenberg group

Quantitative logarithmic Sobolev inequalities and stability estimates

An Algebraic Brascamp-Lieb Inequality

A Nonlinear Variant of Ball's Inequality

A posterior contraction for Bayesian inverse problems in Banach spaces

Stability of hypercontractivity, the logarithmic Sobolev inequality, and Talagrand's cost inequality

The strong Brunn–Minkowski inequality and its equivalence with the [math] condition

Extension of Berezin-Lieb Inequalities

New logarithmic Sobolev inequalities and an ε-regularity theorem for the Ricci flow

Unifying the Brascamp-Lieb Inequality and the Entropy Power Inequality