BV continuity for the uncentered Hardy-Littlewood maximal operator (Q2020102)

The questions of boundedness and continuity of the classical Hardy-Littlewood operator in the Sobolev space \(W^{1,p}(\mathbb{R}^d)\) for \(1<p<\infty\) have been solved by \textit{J. Kinnunen} [Isr. J. Math. 100, 117--124 (1997; Zbl 0882.43003)] and \textit{H. Luiro} [Proc. Am. Math. Soc. 135, No. 1, 243--251 (2007; Zbl 1136.42018)], respectively. The much more subtle case of \(p=1\) has been the subject of the so called endpoint continuity programme proposed in [\textit{E. Carneiro} et al., J. Funct. Anal. 273, No. 10, 3262--3294 (2017; Zbl 1402.42024)], where some partial answers were given. The aim of this paper is to add to the programme by proving the continuity of the noncentered maximal operator \(\widetilde M(f)=\sup\{|B|^{-1}\int_B |f(x)|dx: B\subset\mathbb{R}^d\ \text{is a ball},\ x\in B\}\) as mapping from \(BV(\mathbb{R})\) to \(BV(\mathbb{R})\). The main tools in the proof are the variation convergence and the pointwise derivative analysis.