Weak differentiability for fractional maximal functions of general $L^p$ functions on domains

Abstract

Let $\Omega \subset {\mathbb{R}}^n$ be bounded a domain. We prove under certain structural assumptions that the fractional maximal operator relative to $\Omega$ maps $L^p(\Omega )\to W^{1,p}(\Omega )$ for all $p>1$, when the smoothness index $\alpha \ge 1$. In particular, the results are valid in the range $p\in (1,n/(n-1)]$ that was previously unknown. As an application, we prove an endpoint regularity result in the domain setting.

Curvature condition in the 3rd item of Thm 1.1 corrected