Endpoint Sobolev and BV continuity for maximal operators

TL;DR

This paper studies the continuity properties of maximal operators in Sobolev and BV spaces, proving new continuity results in the one-dimensional continuous and discrete cases, and providing counterexamples for fractional variants.

Contribution

It establishes the continuity of the uncentered Hardy-Littlewood maximal operator in $W^{1,1}$ and BV spaces, and shows counterexamples for fractional maximal operators.

Findings

Continuity of $f o ( ilde{M}f)'$ from $W^{1,1}( r)$ to $L^1( r)$.

Continuity of $ ilde{M}: BV(bZ) o BV(bZ)$.

Counterexamples for fractional maximal operators' continuity.

Abstract

In this paper we investigate some questions related to the continuity of maximal operators in $W^{1,1}$ and $BV$ spaces, complementing some well-known boundedness results. Letting $\widetilde M$ be the one-dimensional uncentered Hardy-Littlewood maximal operator, we prove that the map $f \mapsto \big(\widetilde Mf\big)'$ is continuous from $W^{1,1}(\mathbb{R})$ to $L^1(\mathbb{R})$. In the discrete setting, we prove that $\widetilde M: BV(\mathbb{Z}) \to BV(\mathbb{Z})$ is also continuous. For the one-dimensional fractional Hardy-Littlewood maximal operator, we prove by means of counterexamples that the corresponding continuity statements do not hold, both in the continuous and discrete settings, and for the centered and uncentered versions.