Current browse context:
math.CA
Change to browse by:
References & Citations
Mathematics > Classical Analysis and ODEs
Title: Endpoint Sobolev Bounds for Fractional Hardy-Littlewood Maximal Operators
(Submitted on 12 Oct 2020 (v1), last revised 27 Apr 2021 (this version, v6))
Abstract: Let $0<\alpha<d$ and $1\leq p<d/\alpha$. We present a proof that for all $f\in W^{1,p}(\mathbb{R}^d)$ both the centered and the uncentered Hardy-Littlewood fractional maximal operator $\mathcal M_\alpha f$ are weakly differentiable and $ \|\nabla\mathcal M_\alpha f\|_{p^*} \leq C_{d,\alpha,p} \|\nabla f\|_p , $ where $ p^* = (p^{-1}-\alpha/d)^{-1} . $ In particular it covers the endpoint case $p=1$ for $0<\alpha<1$ where the bound was previously unknown. For $p=1$ we can replace $W^{1,1}(\mathbb{R}^d)$ by $\mathrm{BV}(\mathbb{R}^d)$. The ingredients used are a pointwise estimate for the gradient of the fractional maximal function, the layer cake formula, a Vitali type argument, a reduction from balls to dyadic cubes, the coarea formula, a relative isoperimetric inequality and an earlier established result for $\alpha=0$ in the dyadic setting. We use that for $\alpha>0$ the fractional maximal function does not use certain small balls. For $\alpha=0$ the proof collapses.
Submission history
From: Julian Weigt [view email][v1] Mon, 12 Oct 2020 09:29:43 GMT (17kb)
[v2] Tue, 13 Oct 2020 09:46:47 GMT (17kb)
[v3] Fri, 16 Oct 2020 14:07:27 GMT (17kb)
[v4] Fri, 5 Feb 2021 09:20:52 GMT (18kb)
[v5] Thu, 22 Apr 2021 06:41:33 GMT (18kb)
[v6] Tue, 27 Apr 2021 14:05:59 GMT (18kb)
Link back to: arXiv, form interface, contact.