Skip to main content
5 of 8
added 293 characters in body
Adi
  • 455
  • 2
  • 12

Hardy Littlewood maximal function bounds

Let $u \in W^{1,p}(\mathbb{R}^n) \cap L^{\infty}(\mathbb{R}^n)$ be a given function for some $1<p< \infty$ and let $k \in \mathbb{R}$ be any number and consider the following maximal function $$ \mathcal{M}_{\leq k}(|\nabla u|)(x) = \sup_{R>0}\frac{1}{|B_R(x) \cap \{u \leq k\}|} \int_{B_R(x)\cap \{u \leq k\}} |\nabla u| \ dx. $$

Question: Is it true that $\mathcal{M}_{\leq k}(|\nabla u|)(x)$ is finite almost everywhere?

Question 2: if the answer to the above question is true, then can the measure zero set where the maximal function is infinite be independent of k?
More specifically, for all $k \in [a,b]$, some closed interval, can one still expect the above maximal function to be finite almost everywhere?

Analogous question regarding $\mathcal{M}_{\geq k}(|\nabla u|)(x)$ can also be asked.

Adi
  • 455
  • 2
  • 12