Hardy spaces and divergence operators on strongly Lipschitz domains in $R^n$

Abstract

Let $\Omega$ be a strongly Lipschitz domain of $\reel^n$. Consider an elliptic second order divergence operator $L$ (including a boundary condition on $\partial \Omega$) and define a Hardy space by imposing the non-tangential maximal function of the extension of a function $f$ via the Poisson semigroup for $L$ to be in$L^1$. Under suitable assumptions on $L$, we identify this maximal Hardy space with atomic Hardy spaces, namely with $H^1(\reel^n)$ if $Ω=\reel^n$, $H_r^1(\Omega )$ under the Dirichlet boundary condition, and $H_z^1(\Omega )$ under the Neumann boundary condition. In particular, we obtain a new proof of the atomic decomposition for $H_z^1(\Omega )$. A version for local Hardy spaces is also given. We also present an overview of the theory of Hardy spaces and BMO spaces on Lipschitz domains with proofs.

submitted