Hardy and BMO spaces associated to divergence form elliptic operators

Consider a second order divergence form elliptic operator L with complex bounded measurable coefficients. In general, operators based on L, such as the Riesz transform or square function, may lie beyond the scope of the Calderón-Zygmund theory. They need not be bounded in the classical Hardy, BMO and even some L^p spaces. In this work we develop a theory of Hardy and BMO spaces associated to L, which includes, in particular, a molecular decomposition, maximal and square function characterizations, duality of Hardy and BMO spaces, and a John-Nirenberg inequality.