12
$\begingroup$

I'm trying to prove the statement in the title in as simple a way as possible. It is Theorem 3.2.9 in Helein's book "Harmonic maps, conservation laws, and moving frames", although it is not proved there. The statement is as follows.

Suppose $\phi\in\mathbb{R}^m$ is a weak solution of $\Delta \phi = f \in \mathcal{H}^1$, where $\mathcal{H}^1$ is the standard Hardy space on $\mathbb{R}^m$. Then $$ \Big\lVert\frac{\partial^2\phi}{\partial x^\alpha \partial x^\beta}\Big\rVert_{L^1(\mathbb{R}^m)} \le C\lVert f \rVert_{\mathcal{H}^1(\mathbb{R}^m)}. $$

My idea is to use convolution with the kernel of the Laplacian, and then differentiate, estimate in $L^1$ and somehow interpolate between the $\mathcal H^1$ and $BMO$ norms. Then since the kernel of the Laplacian is in $BMO$, I am finished. However there are two problems with my proof: I don't know how to prove that one can interpolate a convolution between $\mathcal H^1$ and $BMO$ (atomic decomposition?) and I don't know how to prove that the kernel of the Laplacian is in $BMO$.

Does anyone have either a better way to prove this theorem, or a way to fix up my proof? Thanks!

  • 0
    Glen: I just wanted to point out that you can bump your question to the front page by editing it (of course, you should do this with reasonable restraint). I think this would get noticed more than advertising it on the chat (where there are at most 3 users a day). Also, if you have a heavy-handed solution, could you give some indication of what it is? I'd certainly be interested in seeing it.2011-04-12
  • 0
    @Theo Buehler Yeah, I am aware of that method of 'bumping' questions, but is this not considered poor behaviour? I wouldn't want to go against site policy. My solution is just to flesh out what I wrote in the question, and solve the two problems. The first is easy. The second is the reason I see it as heavy handed: the interpolation of a convolution between $\mathcal{H}^1$ and $BMO$ is a result from Stein, "Harmonic Analysis", which I do not understand at the moment. Atomic decomposition is the right idea, but the theorem is just a black box for me at the moment.2011-04-12
  • 0
    Maybe when I understand it a little better I will be able to provide a good answer.2011-04-12
  • 0
    Thanks for the info, I appreciate it. In fact, if you add actual content (such as your first comment), I don't think anyone would construe this as poor behavior. I think you're reasonable enough to avoid exaggerating. Moreover, there is of course the bounty system.2011-04-12

1 Answers 1

8

Let me take a try:

Recall that the Riesz transform is bounded from $\mathcal H^1$ to $\mathcal H^1$ (and from $L^2$ to $L^2$).

We have the inequality

$$\|\partial_i \partial_j u \|_{L^2} \leq \| \Delta u \|_{L^2}.$$

This is because $R_i R_j \Delta u = \partial_i \partial_j u$ where $R_i$ is the $i$-th Riesz transform. Now because the Riesz transform is also $\mathcal H^1$ bounded we have

$$\|\partial_i \partial_j u \|_{\mathcal H^1} \leq \| \Delta u \|_{\mathcal H^1}.$$

But the $L^1$ norm is dominated by the $\mathcal H^1$ norm so

$$\|\partial_i \partial_j u \|_{L^1} \leq \| \Delta u \|_{\mathcal H^1}.$$

Further note that

$$t f'(s) = f(t + s) - f(s) - \int_0^1 f''(s+r)(t - r) \, dr$$

and a similar statement holds for partial derivatives. This implies that we can control the first derivative by the second and the function itself. This should give the result as asked in the title.

Alternatively we could use Mikhlin's multiplier theorem for $\mathcal H^1$ for the second part.

  • 0
    Hi Jonas, thanks for the answer. It looks like you've perhaps made a typo in the second inequality? Should that not be the Hardy space there? Actually, I'm confused about the second inequality. Could you please write a bit more clarification there?2011-04-12
  • 0
    @Glen: I have added some information. Please tell me if it is enough or if you think it is wrong.2011-04-12
  • 0
    Oh sigh, I read the $H^1$ as the Sobolev space $W^{1,2}$ before the edit. Yes! Its correct, and it is much shorter than what I originally proposed. Thanks again for the answer.2011-04-12
  • 0
    @Jonas: Very nice! (I voted this up before but I was distracted by a phone call, that's why I write only now)2011-04-12
  • 0
    Hi again @Jonas :). It seems to me that for your last little argument you need $f\in L^\infty$. Can you also use the wonderful Riesz transform for that? Also, what is your favourite reference for proving that the Riesz transform is bounded from $\mathcal H^1$ to $\mathcal H^1$?2011-04-12
  • 0
    @Glen: Why would we need $f \in L^\infty$? I just use the triangle inequality (Minkowski). I'll see for a reference for the $\mathcal H^1$ question.2011-04-12
  • 0
    @Jonas I was thinking about the last step you mention, (where presumably $f=\phi$) to get the first derivative estimate. After you apply the norm to both sides you still have to estimate the function itself. I don't think we know that $\phi$ is absolutely continuous, so the integration by parts would have to be in a suitably weak sense. I think it works just fine though. Thinking out loud.2011-04-12
  • 0
    @Glen: I'll see if I can extend it but my idea was just to do this on a dense subset where the integration by parts doesn't give any problems.2011-04-13