Orlicz-Hardy spaces associated to operators satisfying bounded \(H_{\infty }\) functional calculus and Davies-Gaffney estimates (Q711018): Difference between revisions

Let \(X\) be a metric space with doubling measure \(\mu\) and the distance \(d\). Let \(A\) be an \(n\times n\) matrix with entries \[ a_{jk}:L^{\infty}(\mathbb R^n)\rightarrow \mathbb{C},j=1,\cdots,n,k=1,\cdots,n, \] satisfying the elliptic condition \[ \lambda|\xi|^2\leq \operatorname{Re} A\xi\cdot\bar{\xi}\;\mathrm{and} \;|A\xi\cdot\zeta|\leq \Lambda |\xi||\zeta|,\forall \xi,\zeta\in\mathbb{C}^n, \] for some constants \(0<\lambda\leq\Lambda<\infty.\) Then the second order divergence form operator is given by \(Lf:=-\mathrm{div}(A\nabla f)\), interpreted in the weak sense via a sesquilinear form. Furthermore, suppose that \(L\) has a bounded \(H_{\infty}\)-calculus on \(L^2(X)\) and it generates an analytic semigroup \(\{e^{-tL}\}_{t>0}\) which satisfies the Davies-Gaffney estimates. For all functions \(f\in L^2(X)\), the square function \(S_L(f)\) is defined by \[ S_Lf(x)=\left(\int\int_{\Gamma(x)}|t^2Le^{-t^2L}f(y)|^2\frac{d\mu(y)}{V(x,t)}\frac{dt}{t}\right)^{\frac{1}{2}}, x\in X, \] where the set \(\Gamma(x)=\{(y,t)\in X\times(0,\infty): d(y,x)<t\}\) and \(V(x,t)\) denotes the measure of the ball \(B(x,t)\). The Orlicz-Hardy spaces \(H_{L,\omega}(X)\) associated to \(L\) is defined as the completion of \(\{f\in L^2(X): \parallel S_Lf\parallel_{L(\omega)}<\infty\}\), where \(\omega\) is a positive Orlicz function on \(\mathbb{R_{+}}\) which is continuous, strictly increasing, subadditive and concave. At first, the authors give a molecules decomposition for this space \(H_{L,\omega}(X)\). For all \(f\in H_{L,\omega}(X)\cap L^2(X)\), there exist \((\omega,\varepsilon,M)\)-molecules \(\{\alpha_j\}\) and \(\{\lambda_j\}\subset \mathbb{C}\) such that \(f=\sum^\infty_{j=1}\lambda_j\alpha_j\) in both \(H_{L,\omega}(X)\) and \(L^2(X)\). Secondly, they define the space \(BMO^M_{\rho,L}(X)\) and they prove that \((H_{L,\omega}(X))^{\ast}=BMO^M_{\rho,L^{\ast}}(X)\). Finally, they show that the Riesz transform \(DL^{-\frac{1}{2}}\) is bounded from \(H_{L,\omega}(X)\) into \(L(\omega)\), where \(D\) is a densely defined linear operator on \(L^2(X)\) which possesses the following properties: (1) \(DL^{-\frac{1}{2}}\) is bounded on \(L^2\). (2) The operators \(\{\sqrt{t}De^{-tL}\}_{t>0}\) satisfy the Davies-Gaffney estimates. It is noted that the assumption on \(L\) in this paper is weaker than that in the work of \textit{R. Jiang} and \textit{D. Yang} [New Orlicz-Hardy spaces associated with operators satisfying Davies-Gaffney estimates, preprint], that is, ``\(L\) has a bounded \(H_{\infty}\) functional calculus on \(L^2(X)\)'' is weaker than ``\(L\) is a nonnegative self-adjoint operator''.