Variation of the uncentered maximal characteristic function (Q2135419)

Summary: Let \(\text{M}\) be the uncentered Hardy-Littlewood maximal operator, or the dyadic maximal operator, and let \(d\geq 1\). We prove that for a set \(E\subset\mathbb{R}^d\) of finite perimeter, the bound \(\operatorname{var}\text{M} 1_E\leq C_d \operatorname{var} 1_E\) holds. We also prove this for the local maximal operator.