Calderón reproducing formulas and applications to Hardy spaces (Q888923)

Hardy spaces of differential forms \(H_D^p(\Lambda T^*M)\) were introduced in [\textit{P. Auscher} et al., J. Geom. Anal. 18, No. 1, 192--248 (2008; Zbl 1217.42043)]. These spaces were designed for the analysis of the Hodge-Dirac operator \(D=d+d^*\) and the Hodge-Laplacian \(\Delta=D^2\), where \(d\) and \(d^*\) denote, respectively, the exterior derivative and its adjoint, acting on the Hilbert space of square integrable differential forms \(L^2(\Lambda T^*M)\) over a complete, smooth and connected Riemannian manifold \(M\), whose geodesic balls satisfy a doubling condition. One of the main results of the paper establishes that \(H_D^p(\Lambda T^*M) \subseteq L^p(\Lambda T^*M)\) for \(p\in [1,2]\) and it fills a gap contained in the work [loc. cit.]. The work also contains a proof of the atomic characterization of \(H_D^1(\Lambda T^*M)\), obtained by means of a Calderón reproducing formula valid for the space \(E_{D, \Psi}^p (\Lambda T^*M)\), whose completion as a normed space is a Hardy space. Namely, for \(u \in E_{D, \Psi}^p (\Lambda T^*M)\), the use of holomorphic functional calculus of \(D\) implies \[ u=\int_0^{\infty} \Psi_t (D) {\mathcal U}_t \frac{dt}{t} \;\;\text{for some \({\mathcal U} \in T^p\cap T^2\)}, \] where \(T^p=T^p(( \Lambda T^*M)_+)\) is an analogue of the tent space \(T^p(\mathbb{R}_{+}^{n+1})\) studied by \textit{R. R. Coifman} et al. [J. Funct. Anal. 62, 304--335 (1985; Zbl 0569.42016)]. The work also includes the study of the embedding into \(L^p\) of Hardy spaces associated to an operator \(L\), which is either a divergence form elliptic operator on \(\mathbb{R}^{n}\) or a nonnegative self-adjoint operator satisfying the so-called Davies-Gaffney estimates.