Tag Archives: hardy space

Compensated compactness

Suppose T is a vector field and \nabla\cdot T = 0. E= \nabla \psi and \psi is a scalar function. We have following theorem(Coifman-Lions-Meyers-Semmes)

Theorem: If T\in L^2(\mathbb{R}^n) and T\in L^2(\mathbb{R}^n), then E\cdot T\in \mathcal{H}^1(\mathbb{R}^n), which is the hardy space.
Given f(x)\in L^1(\mathbb{R}^n), it has harmonic extension \mathbb{R}^{n+1}_+=\{(x,t)|x\in\mathbb{R}^n, t>0\}

\tilde{f}(x,t)=c_n\int_{\mathbb{R}^n}\frac{ f(x-y)t}{(t^2+|x|^2)^{\frac{n+1}{2}}}dy

Definition: the non-tangential maximal function

N(f)=\sup_{(\xi,t)\in \Gamma(x)}|\tilde f(\xi, t)|

It is easy to prove that N(f)\leq c_n f^*(x) the Hardy-Littlewood maximal function. From this we can Hardy norm as


Hardy space consists of all f having finite hardy norm. There is well know fact that the dual space of \mathcal{H}^1 is BMO, which is defined as the following.

Define f\in L^1_{loc}(\mathbb{R}^n), if for any cube Q,

\sup_Q\frac{1}{|Q|}\int_Q|f-f_Q|<\infty,\quad \text{where }f_Q=\frac{1}{|Q|}\int_Qf

then f\in BMO. L^\infty \subset BMO and \log|x|\in BMO but not in L^\infty.

Let us see how do we use the main theorem. Suppose on \mathbb{R}^2, u is the solution of the following elliptic equation

\displaystyle\frac{\partial}{\partial x_i}\left(a_{ij}(x)\frac{\partial u}{\partial x_j}\right)=\frac{\partial f}{\partial x_1}\frac{\partial g}{\partial x_2}-\frac{\partial f}{\partial x_2}\frac{\partial f}{\partial x_2}

where ||\nabla f||_{L^2}<\infty, ||\nabla g||_{L^2}<\infty and (a_{ij}) is uniform elliptic. YanYan Li and Sagun Chanillo proved that the green function of this elliptic operator belongs to BMO. The right hand side of this equation can be rewritten as T\cdot E, where

T=\left(\frac{\partial f}{\partial x_2}, -\frac{\partial f}{\partial x_1}\right),\quad E=\left(\frac{\partial g}{\partial x_1},\frac{\partial g}{\partial x_a}\right)

therefore the right hand side belong to \mathcal{H}^1. Since

u(x)=\int G_x(y)T\cdot E(y)dy

therefore from the theorem we stated at the beginning, we get

||u||_\infty\leq C||\nabla f||_{L^2}||\nabla g||_{L^2}