{"title":"A noninequality for the fractional gradient","authors":"Daniel Spector","doi":"10.4171/pm/2031","DOIUrl":null,"url":null,"abstract":"In this paper we give a streamlined proof of an inequality recently obtained by the author: For every $\\alpha \\in (0,1)$ there exists a constant $C=C(\\alpha,d)>0$ such that \r\n\\begin{align*} \\|u\\|_{L^{d/(d-\\alpha),1}(\\mathbb{R}^d)} \\leq C \\| D^\\alpha u\\|_{L^1(\\mathbb{R}^d;\\mathbb{R}^d)} \\end{align*} for all $u \\in L^q(\\mathbb{R}^d)$ for some $1 \\leq q<d/(1-\\alpha)$ such that $D^\\alpha u:=\\nabla I_{1-\\alpha} u \\in L^1(\\mathbb{R}^d;\\mathbb{R}^d)$. We also give a counterexample which shows that in contrast to the case $\\alpha =1$, the fractional gradient does not admit an $L^1$ trace inequality, i.e. $\\| D^\\alpha u\\|_{L^1(\\mathbb{R}^d;\\mathbb{R}^d)}$ cannot control the integral of $u$ with respect to the Hausdorff content $\\mathcal{H}^{d-\\alpha}_\\infty$. The main substance of this counterexample is a result of interest in its own right, that even a weak-type estimate for the Riesz transforms fails on the space $L^1(\\mathcal{H}^{d-\\beta}_\\infty)$, $\\beta \\in [1,d)$. It is an open question whether this failure of a weak-type estimate for the Riesz transforms extends to $\\beta \\in (0,1)$.","PeriodicalId":51269,"journal":{"name":"Portugaliae Mathematica","volume":" ","pages":""},"PeriodicalIF":0.5000,"publicationDate":"2019-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.4171/pm/2031","citationCount":"17","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Portugaliae Mathematica","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.4171/pm/2031","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 17
Abstract
In this paper we give a streamlined proof of an inequality recently obtained by the author: For every $\alpha \in (0,1)$ there exists a constant $C=C(\alpha,d)>0$ such that
\begin{align*} \|u\|_{L^{d/(d-\alpha),1}(\mathbb{R}^d)} \leq C \| D^\alpha u\|_{L^1(\mathbb{R}^d;\mathbb{R}^d)} \end{align*} for all $u \in L^q(\mathbb{R}^d)$ for some $1 \leq q
期刊介绍:
Since its foundation in 1937, Portugaliae Mathematica has aimed at publishing high-level research articles in all branches of mathematics. With great efforts by its founders, the journal was able to publish articles by some of the best mathematicians of the time. In 2001 a New Series of Portugaliae Mathematica was started, reaffirming the purpose of maintaining a high-level research journal in mathematics with a wide range scope.