0 Ja n 20 02 Hardy spaces and divergence operators on strongly Lipschitz domains

Let Ω be a strongly Lipschitz domain of Rn. Consider an elliptic second order divergence operator L (including a boundary condition on ∂Ω) 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 L1. Under suitable assumptions on L, we identify this maximal Hardy space with atomic Hardy spaces, namely with H1(Rn) if Ω = Rn, H1 r (Ω) under the Dirichlet boundary condition, and H1 z (Ω) under the Neumann boundary condition. In particular, we obtain a new proof of the atomic decomposition for H1 z (Ω). 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.