The inequality seems to be simple but I could not find the right limits of integration.
$$\sup_{\delta>0} |f*K_{\delta}|(x)\leq c f^*(x)$$
Where is some positive constant, $f$ is integrable, $K_\delta$ is an approximation of the identity and $f^*$ is the Hardy-Littlewood maximal function of $f$.
An approximation of the identity is family of Kernel satisfying:
I)$\int_{\mathbb{R}^n}K_{\delta}(x)dx = 1$;
II)$|K_{\delta}(x)|\leq A\delta^{-n}$;
III)$|K_{\delta}(x)|\leq A\delta /|x|^{n+1}$.
And the maximal function is the non-centered.
Best Answer
It is enough to assume just II and III. Define $L_{\delta}(x) = \min(\delta^{-n}, {\delta \over |x|^{n+1}})$. Since $|K_{\delta}(x)| \leq L_{\delta}(x)$, you have $|f \ast K_{\delta}(x)| \leq |f| \ast L_{\delta}(x)$ and thus it suffices to show your statement for $L_{\delta}(x)$ in place of $K_{\delta}(x)$.
Observe that $$|f\ast L_{\delta}(x)| \leq \int_{{\mathbb R}^n} |f(x - y)|L_{\delta}(y)\,dy$$ $$\leq \int_{|y| \leq \delta} |f(x - y)|L_{\delta}(y)\,dy + \sum_{k = 0}^{\infty}\int_{2^k\delta \leq |y| \leq 2^{k+1}\delta}|f(x - y)|L_{\delta}(y)\,dy$$ In the first term $L_{\delta} = \delta^{-n}$ and thus the term is bounded by $cf^*(x)$. In the $k$th term of the sum, $L_{\delta}(y) \leq C{\delta \over (2^{k}\delta)^{n+1}} = C2^{-k} (2^k\delta)^{-n}$. Thus this term is bounded by $C'2^{-k}f^*(x)$. Adding over all $k$ gives a bound of $$cf^*(x) + C'\sum_{k=0}^{\infty}2^{-k}f^*(x) = C''f^*(x)$$ This is independent of $\delta$ so your statement follows.