6
$\begingroup$

I'm studying harmonic analysis and found that we can bound non-tangential maximal function by Hardy-Littlewood maximal function. Most books don't give the proof of it. How can I see that? Is there a proof of it using dyadic decomposition?


It appears the OP is asking the following question. Given $\phi$ a bounded positive integrable function on $\mathbb{R}^n$ that is radial and radially decreasing. For $t> 0$ let $\phi_t = t^{-n}\phi(x/t)$. Define the maximal operator $$ M_\phi f(x) = \sup \{ |\phi_t\ast f(y)| : |x-y| < t\} $$

Why does the following hold: $$ M_\phi f(x) \leq C \mathcal{M} f(x) $$ where $\mathcal{M}$ is the Hardy-Littlewood maximal operator.

$\endgroup$
7
  • $\begingroup$ What do you mean by your question? In particular, what do you mean by "bound non-tangential maximal function by Hardy-Littlewood maximal function"? Classically the definition of the HL maximal operator $\mathcal{M}$ takes input a function defined on $\mathbb{R}^n$, whereas the non-tangential maximal operator $\mathcal{F}$ takes input a function defined on the upper-half-space $\mathbb{R}^n\times\mathbb{R}_+$. The two operators do not even operate on the same domain, how do you want to compare the two? $\endgroup$ Dec 18, 2012 at 13:03
  • 1
    $\begingroup$ It would help greatly if you state where you "found" this fact. $\endgroup$ Dec 18, 2012 at 13:03
  • $\begingroup$ I mean that the non tangential maximal function is less than constant * maximal function. I mean that when the tangential function can be written as a convolution like sup (psi * f) and * here is convolution and psi< const(1+x)^n. Do you know something like that? $\endgroup$
    – Danny
    Dec 18, 2012 at 17:01
  • 1
    $\begingroup$ Do you mean non-tangential maximal function of harmonic extension or of a similar convolution? Aside: you are not a new user; it's about time to take up simple LaTeX like $(1+x)^{n}$. Had you used some notation in your question, chances are the meaning would be easier to understand. $\endgroup$
    – user53153
    Dec 19, 2012 at 4:29
  • $\begingroup$ Please either give a source for the claim (so we can check definitions or notations) or better yet include in your questions statement how you see the Hardy-Littlewood maximal function and the non-tangential maximal function defined. I suspect @Pavel is on the mark, but dude you are making it extremely hard for us to help you. $\endgroup$ Dec 19, 2012 at 9:21

1 Answer 1

6
$\begingroup$

Why insist on dyadic decomposition of cubes when you don't need it?

Observe that the maximal function $\mathcal{M}f = \mathcal{M} |f|$ by definition. And observe that since $\phi$ is positive, $|\phi_t\ast f| \leq \phi_t \ast |f|$. Hence we can assume without loss of generality that $f$ is positive.

Let $\lambda_\phi(s)$ for $s \geq 0$ be the set $\{ \phi(x) \geq s\}$. We have that $\phi(x) = \int_0^P \chi_{\lambda_{\phi}(s)}(x) \mathrm{d}s$, where $P = \sup \phi$. Note that by assumption $\lambda_\phi(s)$ for a decreasing family of balls around the origin. Let $\lambda^*\phi(s)$ be the ball whose radius is 1 more than the radius of $\lambda_\phi(s)$. Now, let $|y-x| < 1$. We have that

$$ \int_{\lambda_\phi(s)} f(y-z) \mathrm{d}z \leq \int_{\lambda^*_\phi(s)} f(x - z) \mathrm{d}z $$

since $f$ is positive and $x + \lambda^*_\phi(s) \supset y + \lambda_\phi(s)$.

Let $P'$ be the smallest number such that $\lambda_\phi(P')$ has radius at most 1. By assumption (that $\phi$ is a bounded integrable function) we have that $\lambda_\phi(P')$ has positive radius $R'$.

$$\begin{align} \phi\ast f(y) &= \int_0^{P'} \int_{\lambda_\phi(s)} f(y-z) \mathrm{d}z \mathrm{d}s + \int_{P'}^P \int_{\lambda_\phi(s)} f(y-z) \mathrm{d}z \mathrm{d}s \\ &\leq \int_0^{P'} \int_{\lambda^*_\phi(s)} f(x-z) \mathrm{d}z \mathrm{d}s + \int_{P'}^P\int_{\lambda^*_\phi(P')} f(x-z) \mathrm{d}z \mathrm{d}s \\ & \leq \int_0^{P'} |\lambda_\phi^*(s)| \mathcal{M}f(x) \mathrm{d}s + |P' - P||\lambda_\phi^*(P')|\mathcal{M}f(x) \end{align}$$

Now using that for $s \leq P'$ we have that $|\lambda_\phi^*(s)| \leq c^n |\lambda_\phi(s)|$ where $c = 1 + 1/R'$ we have

$$ \leq \mathcal{M}f(x)\left( c^n \int_0^P |\lambda_\phi(s)| \mathrm{d}s + |P-P'| |\lambda_\phi^*(P')|\right)\tag{*}$$

The first term inside the parenthesis gives $\int \phi(z) \mathrm{d}z$ from the distributional function characterisation of Lebesgue spaces. The second term is quite obviously a finite constant depending on $\phi$.


Now, if we replace $\phi$ by $\phi_t$ in the above argument, then $P \mapsto t^{-n} P$. We will need to consider $|y-x| < t$ and we let $\lambda^*_{\phi_t}(s)$ to have radius $t$ more than its counterpart without the star. We also let $P'$ be such that the corresponding ball has radius at least $t$: by the scaling property of $\phi_t$ we see that $P' \mapsto t^{-n} P'$, and $\lambda_\phi(P') \to t \lambda_\phi(P')$. So the above analysis goes to show that the constant derived above (the term inside the parentheses in (*)) does not depend on the scaling $t$. Hence we get the desired inequality.

$\endgroup$
5
  • $\begingroup$ I certainly will read it carefully...many thanks... $\endgroup$
    – Danny
    Dec 19, 2012 at 15:22
  • 1
    $\begingroup$ If someone is interested, there is another argument in Stein, "Harmonic Analysis", Ch.II, § 2.1. $\endgroup$
    – Desura
    Sep 14, 2021 at 9:00
  • $\begingroup$ @Desura The passage in Stein from $\Phi$ to $\Psi$ is similar to my passage from $\lambda$ to $\lambda^*$. The way he organized his proof is quite neat. Thanks so much for pointing it out! $\endgroup$ Sep 14, 2021 at 14:02
  • $\begingroup$ @WillieWong Is this proof generalizable to the case when $\phi$ is not assumed to be positive? $\endgroup$
    – eggplant
    Nov 28, 2022 at 9:19
  • $\begingroup$ @eggplant: I'm not sure. But I probably can't find the time to think about it at the moment. $\endgroup$ Nov 28, 2022 at 18:30

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .