New Orlicz-Hardy spaces associated with divergence form elliptic operators (Q846958): Difference between revisions

Let \(L\) be the divergence form elliptic operator with complex bounded measurable coefficients. Suppose that \(\omega\) is a positive Orlicz function on \(\mathbb{R}_{+}\) which is continuous, strictly increasing, concave and \(\omega\) is of strictly lower type \(p_{\omega}\) with \(p_{\omega}\in (0,1]\). The Orlicz-Hardy space \(H_{\omega,L}(\mathbb{R}^n)\) associated to the operator \(L\) is defined to be the completion of the set \(\{f\in L^2(\mathbb{R}^n): S_Lf\in L(\omega)\}\) with respect to the quasi-norm \[ \|f\|_{H_{\omega,L}}=\|S_Lf\|_{L(\omega)}=\inf\{\lambda>0:\int_{\mathbb{R}^n}\omega\big(\frac{S_Lf(x)}{\lambda}\big)dx\leq 1\}, \] where the function \(S_Lf(x)\) is defined as follows: \[ S_Lf(x)=\int_{\Gamma(x)} |t^2Le^{-t^2L}f(y)|^2\frac{dydt}{t^{n+1}} \] with \(\Gamma(x)=\{(y,t)\in \mathbb{R}^n\times(0,\infty):|y-x|<t\}.\) This is a highly elaborated paper which investigates several topics for the new Orlicz-Hardy space \(H_{\omega,L}(\mathbb{R}^n)\). In this paper, the authors establish the molecular characterization, the Lusin-area function characterization and the maximal function characterization of \(H_{\omega,L}(\mathbb{R}^n)\). Moreover, they establish the duality relation between the spaces \(H_{\omega,L}(\mathbb{R}^n)\) and \(BMO_{\rho,L^{*}}(\mathbb{R}^n)\), where \(\rho(t)=\frac{t^{-1}}{\omega^{-1}(t^{-1})}\) and \(L^{*}\) is the adjoint operator of \(L\) in \(L^2(\mathbb{R}^n)\). Furthermore, they give a \(\rho\)-Carleson measure characterization and a John-Nirenberg inequality for the space \(BMO_{\rho,L}(\mathbb{R}^n)\). Finally, the authors give some applications to the Orlicz-Hardy space \(H_{\omega,L}(\mathbb{R}^n)\) for the Riesz transform, Littlewood-Paley \(g\)-function and the fractional integral associated to the operator \(L\). It is noted that the above operators may not be bounded on the classical Orlicz-Hardy space \(H_{\omega}(\mathbb{R}^n)\) or the Orlicz space \(L(\omega)\).