On the endpoint regularity of discrete maximal operators

Abstract

Given a discrete function $f:\Z^d \to \R$ we consider the maximal operator $$Mf(\vec{n}) = \sup_{r\geq0} \frac{1}{N(r)} \sum_{\vec{m} \in \bar{\Omega}_r} \big|f(\vec{n} + \vec{m})\big|,$$ where $\big\{\bar{\Omega}_r\big\}_{r \geq 0}$ are dilations of a convex set $\Omega$ (open, bounded and with Lipschitz boudary) containing the origin and $N(r)$ is the number of lattice points inside $\bar{\Omega}_r$. We prove here that the operator $f \mapsto \nabla M f$ is bounded and continuous from $l^1(\Z^d)$ to $l^1(\Z^d)$. We also prove the same result for the non-centered version of this discrete maximal operator.