Regularity of the local fractional maximal function (Q2018124): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 05:36, 5 March 2024

scientific article
Language Label Description Also known as
English
Regularity of the local fractional maximal function
scientific article

    Statements

    Regularity of the local fractional maximal function (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    10 April 2015
    0 references
    This paper studies smoothness of the local fractional maximal function \[ \mathcal{M}_{\alpha, \Omega}u(x) = \sup_{0 < r < \text{dist}(x,\mathbb{R}^n\setminus\Omega )} \frac{r^\alpha}{|B(x,r)|} \int_{B(x,r)} |u(y)| \, dy , \] with \(\alpha \geq 0\), on an open proper subset \(\Omega\) of \(\mathbb{R}^n\), \(n\geq 2\). One of the main results is a pointwise estimate for the gradient \(D\mathcal{M}_{\alpha, \Omega}u\). It states that if \(p>n/(n-1)\) and \[ 1 \leq \alpha < \min \Big\{ \frac{n-1}{p}, n-\frac{2n}{(n-1)p} \Big\} + 1 , \] then \[ |D\mathcal{M}_{\alpha,\Omega} u(x)| \leq C (\mathcal{M}_{\alpha-1,\Omega}u(x) + \mathcal{S}_{\alpha-1,\Omega}u(x)) \] for almost every \(x\in\Omega\), where \(C\) is a dimensional constant. Here an unexpected feature is the appearance of the local \textit{spherical} fractional maximal function \[ \mathcal{S}_{\alpha -1, \Omega}u(x) = \sup_{0 < r < \text{dist}(x,\mathbb{R}^n\setminus\Omega )} \frac{r^\alpha}{\mathcal{H}^{n-1}(\partial B(x,r))} \int_{\partial B(x,r)} |u(y)| \, d\mathcal{H}^{n-1} (y) \] (\(\mathcal{H}^{n-1}\) stands for the \((n-1)\)-dimensional Hausdorff measure). Another main result, a variant of the estimate above, concerns subsets \(\Omega\) with finite measure and states that if \(1 < p < n\) and \(1\leq \alpha < n/p\), then \[ |D\mathcal{M}_{\alpha,\Omega}u(x)| \leq 2\mathcal{M}_{\alpha,\Omega} |Du|(x) + \alpha \mathcal{M}_{\alpha - 1,\Omega}u(x) \] for almost every \(x\in\Omega\). In addition, the authors construct several explicit examples, which show that the results are essentially optimal. Extensions to doubling metric measure spaces are also discussed, in particular, certain mapping properties for the local discrete fractional maximal operator are proved.
    0 references
    fractional maximal function
    0 references
    spherical maximal function
    0 references
    weak gradient
    0 references
    Sobolev function
    0 references

    Identifiers