# Improvement of weak type inequality for Hardy-Littlewood Maximal inequality

Let $B(x,R)$ denotes the ball in centered at $x\in \mathbb{R}^n$ with radius $R$. The centered Hardy-Littlewood maximal operator $M$ is defined by $$Mf(x)=\sup_{B(x,R)} \frac{1}{|B(x,R)|} \int_{B(x,R)} |f(y)| dy$$ for every locally integrable function $f \in L^1_{\text{loc}}(\mathbb{R}^n)$. We know that $M$ is of weak type-$(1,1)$, that is, there exist a constant $C>0$ such that $$|\{ x\in \mathbb{R}^n: Mf(x)>\lambda \}| \le \frac{C\|f\|_{L^1}}{\lambda},$$ for every $\lambda>0$ and $f\in L^1(\mathbb{R}^n)$.

My question is that could we improve the right hand side bound in the sense as follows:

There exist a constant $C>0$ such that $$|\{ x\in \mathbb{R}^n: Mf(x)>2\lambda \}| \le \frac{C\|f \chi_{\{|f|>\lambda\}}\|_{L^1}}{\lambda},$$ for every $\lambda>0$ and $f\in L^1(\mathbb{R}^n)$.

## 1 Answer

Yes, this result is true. And actually you can explicitly write, for $f$ non-negative, $$\mu\{Mf>\alpha\}\leq \frac{3^d}{(1-\delta)\alpha}\int_{\{f>\delta\alpha\}}f\,dx$$ where $d$ denotes the dimension.

For general $f$, write $f=f^+-f^-$

Let $E_\alpha:=\{Mf > \alpha \}$. By definition of maximal function we can choose a ball $B_x$, centered at $x$ for each $x\in E_\alpha$, such that $$\frac{1}{\mu(B_x)}\int_{B_x}|{f}|dx>\alpha,$$ and $\{B_x\}_{x\in E_\alpha}$ covers $E_\alpha$.

Then by Vitali covering theorem, we can choose a sequence of disjoint balls $\{B_k\}$ from $\{B_x\}_{x\in E_\alpha}$ such that $E_\alpha\subset \bigcup_k B_k$ and

$$\mu(E_\alpha)\leq 3^d \sum_k \mu(B_k).$$

Then by we have $$\mu(E_\alpha)\leq 3^d\sum_k \mu(B_k) \leq \sum_k\frac{3^d}{\alpha}\int_{B_k}|{f}|dx\leq \frac{3^d}{\alpha}\int_{\bigcup_kB_k}|{f}|dx$$ Now since $f\geq 0$, for each given $\alpha$, we can choose $0<\delta<1$ such that

$$\{Mf(x)>\alpha\}\subset \bigcup_k B_k\subset \{f(x)>\delta\alpha\}.$$ Thus, we have $$\mu(E_\alpha)\leq \frac{3^d}{\alpha}\int_{\bigcup_kB_k}|{f}|dx \leq \frac{3^d}{\alpha}\int_{\{{f>\delta\alpha}\}}|{f}|dx\leq \frac{3^d}{\alpha(1-\delta)}\int_{\{f>\delta\alpha\}}|{f}|dx.$$

• Could you give the hint to prove this result or the reference? Is it related to weak type-(1,1) and strong type-$(\infty,\infty)$ for $M$? – beginner Nov 16 '14 at 2:10
• Now the answer is complete – spatially Nov 16 '14 at 2:22