We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.AP

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Classical Analysis and ODEs

Title: Generalization in Ball Banach Function Spaces of Brezis--Van Schaftingen--Yung Formulae with Applications to Fractional Sobolev and Gagliardo--Nirenberg Inequalities

Abstract: Let $X$ be a ball Banach function space on ${\mathbb R}^n$. In this article, under the mild assumption that the Hardy--Littlewood maximal operator is bounded on the associated space $X'$ of $X$, the authors prove that, for any $f\in C_{\mathrm{c}}^2({\mathbb R}^n)$, $$\sup_{\lambda\in(0,\infty)}\lambda\left \|\left|\left\{y\in{\mathbb R}^n:\ |f(\cdot)-f(y)| >\lambda|\cdot-y|^{\frac{n}{q}+1}\right\}\right|^{\frac{1}{q}} \right\|_X\sim \|\nabla f\|_X$$ with the positive equivalence constants independent of $f$, where $q\in(0,\infty)$ is an index depending on the space $X$, and $|E|$ denotes the Lebesgue measure of a measurable set $E\subset {\mathbb R}^n$. Particularly, when $X:=L^p({\mathbb R}^n)$ with $p\in [1,\infty)$, the above estimate holds true for any given $q\in [1, p]$, which when $q=p$ is exactly the recent surprising formula of H. Brezis, J. Van Schaftingen, and P.-L. Yung, and which even when $q< p$ is new. This generalization has a wide range of applications and, particularly, enables the authors to establish new fractional Sobolev and Gagliardo--Nirenberg inequalities in various function spaces, including Morrey spaces, mixed-norm Lebesgue spaces, variable Lebesgue spaces, weighted Lebesgue spaces, Orlicz spaces, and Orlicz-slice (generalized amalgam) spaces, and, even in all these special cases, the obtained results are new. The proofs of these results strongly depend on the Poincar\'e inequality, the extrapolation, the exact operator norm on $X'$ of the Hardy--Littlewood maximal operator, and the geometry of $\mathbb{R}^n.$
Comments: 45 pages, submitted
Subjects: Classical Analysis and ODEs (math.CA); Analysis of PDEs (math.AP); Functional Analysis (math.FA)
MSC classes: Primary 46E35, Secondary 26D10, 42B25, 26A33, 35A23
Cite as: arXiv:2109.04638 [math.CA]
  (or arXiv:2109.04638v1 [math.CA] for this version)

Submission history

From: Dachun Yang [view email]
[v1] Fri, 10 Sep 2021 02:54:15 GMT (36kb)

Link back to: arXiv, form interface, contact.