Predual spaces of Banach completions of Orlicz-Hardy spaces associated with operators (Q628707)

Let \(L\) be a linear operator in \(L^2(\mathbb{R}^n)\) and let \(\{ e^{-tL} \}_{t \geq 0}\) be an analytic semigroup with kernels satisfying an upper bound \(h_{t}(x, y)\) of Poisson type, whose decay is measured by \(\theta(L) \in (0, \infty]\). Let \(h_{t}(x,y)= t^{-\frac{n}{m}}g\bigl(\frac{|x-y|}{t^{1/m}}\bigr)\) in which \(m\) is a positive constant and \(g\) is a positive, bounded, decreasing function satisfying \[ \lim_{r \rightarrow \infty}r^{n+\epsilon}g(r)=0 \tag{*} \] for some \(\epsilon > 0\). Set \(\theta (L)= \sup \{ \epsilon > 0: \;\;(*)\;\;\text{holds} \}\). Let the positive Orlicz function \(\omega\) be of upper type 1 and of critical lower type \(\tilde{p}_{0}(\omega) = \sup \{p>0: \;\;\omega(st) \leq Ct^p\omega(s)\;\;\text{for}\;\;\text{all}\;\;0 < t < 1 \} \in (n/(n+ \theta (L)), 1]\) and \(\rho (t)=t^{-1}/ \omega^{-1}(t^{-1})\) for all \(0 < t < \infty\). The main purpose of this paper is to prove that the predual space of the Banach completion of the Orlicz-Hardy space \(H_{\omega, L}(\mathbb{R}^n)\) is the VMO-type space \(VMO_{\rho, L^*}(\mathbb{R}^n)\) where \(L^*\) denotes the adjoint operator of \(L\) in \(L^2(\mathbb{R}^n)\). These results generalize the known results by particularly taking \(\omega(t)=t\) for \(0 < t < \infty\). In this paper the authors first introduce the space \(T^{\infty}_{\omega, 0}(\mathbb{R}^{n+1}_{+})\) and characterize the space \(VMO_{\rho, L}(\mathbb{R}^n)\) via the space \(T^{\infty}_{\omega, 0}(\mathbb{R}^{n+1}_{+})\). The authors further prove that the predual space of the Banach completion of the tent space \(T_{\omega}(\mathbb{R}^{n+1}_{+})\) is the space \(T^{\infty}_{\omega,0}(\mathbb{R}^{n+1}_{+})\). As an application of this, the authors finally show the main result above. For any function \(f \in L^1(\mathbb{R}^n)\), the Lusin area function \(S_{L}(f)\) associated with the operator \(L\) is defined by setting, for all \(x \in \mathbb{R}^n\), \[ S_{L}(f)(x)= \Bigl(\int_{\Gamma(x)}|Q_{t^m}f(y)|^2\frac{dydt}{t^{n+1}} \Bigr)^{1/2}, \] where \(Q_{t}f(x)=tLe^{-tL}f(x)\) and \(\Gamma(x)\) is the standard cone with vertex \(x\) in \(\mathbb{R}_{+}^{n+1}\). Then we define \[ ||f||_{H_{\omega,L}(\mathbb{R}^n)}= \inf\{\lambda > 0: \;\;\int_{\mathbb{R}^n}\omega\Bigl(\frac{S_{L}(f)(x)}{\lambda}\Bigr) dx \leq 1 \}. \] Set \[ ||f||_{BMO_{\rho, L}(\mathbb{R}^n)}= \sup_{B \subset \mathbb{R}^n}\frac{1}{\rho(|B|)}\Bigl( \frac{1}{|B|} \int_{B}|f(x)-P_{s, (r_{B})^m}f(x)|^2dx \Bigr)^{1/2}, \] where the supremum is taken over all balls \(B\) with radius \(r_B\) in \(\mathbb{R}^n\), \(s= \frac{n}{m}(\frac{1}{\tilde{p}_{0}(\omega)}-1)\) and \(P_{s,t}f(x)=f(x)-(I-e^{-tL})^{s+1}f(x)\). A function \(f \in BMO_{\rho, L}(\mathbb{R}^n)\) is said to be in \(VMO_{\rho, L}(\mathbb{R}^n)\), if it satisfies the limiting conditions \(\gamma_{1}(f)=\gamma_{2}(f)=\gamma_{3}(f) =0\) where \[ \gamma_{1}(f)=\lim_{c \rightarrow 0}\sup_{ball\;B: r_{B} \leq c} \frac{1}{\rho(|B|)} \Bigl(\frac{1}{|B|}\int_{B}|f(x)-P_{s, (r_{B})^m}f(x)|^2dx\Bigr)^{1/2}, \] \[ \gamma_{2}(f)=\lim_{c \rightarrow 0}\sup_{ball\;B: r_{B} \geq c} \frac{1}{\rho(|B|)}\Bigl(\frac{1}{|B|}\int_{B}|f(x)-P_{s, (r_{B})^m}f(x)|^2dx \Bigr)^{1/2} \] and \[ \gamma_{3}(f)=\lim_{c \rightarrow 0}\sup_{ball\;B \subset [B(0,c)]^C} \frac{1}{\rho(|B|)}\Bigl(\frac{1}{|B|}\int_{B}|f(x)-P_{s, (r_{B})^m}f(x)|^2dx \Bigr)^{1/2}, \] where \(E^C\) denotes the complement of a set \(E\). For any function \(f \in VMO_{\rho, L}(\mathbb{R}^n)\), we define \(||f||_{VMO_{\rho,L}(\mathbb{R}^n)}=||f||_{BMO_{\rho,L}(\mathbb{R}^n)}\). For all measurable functions \(h\) on \(\mathbb{R}_{+}^{n+1}\), define \[ \mathcal{A}(h)(x)=\Bigl(\int_{\Gamma(x)}|h(y,t)|^2\frac{dydt}{t^{n+1}} \Bigr)^{1/2} \] and \[ \mathcal{C}_{\rho}(h)(x)=\sup_{ball\;B \ni x} \frac{1}{\rho(|B|)}\Bigl(\frac{1}{|B|}\int_{\hat{B}}|h(y,t)|^2\frac{dydt}{t} \Bigr)^{1/2} \] where \(\hat{B}=[\mathcal{R}(B^C)]^C\) and \(\mathcal{R}F= \cup_{x \in F} \Gamma(x)\). Set \[ ||h||_{T_{\omega}(\mathbb{R}_{+}^{n+1})}=\inf\{\lambda > 0:\;\;\int_{\mathbb{R}^n}\omega\Bigl(\frac{\mathcal{A}(h)(x)}{\lambda} \Bigr)dx \leq 1 \} \] and \[ ||h||_{T^{\infty}_{\omega}(\mathbb{R}_{+}^{n+1})}= ||\mathcal{C}_{\rho}(h)||_{L^{\infty}(\mathbb{R}^n)}. \] Let \(T^{\infty}_{\omega,0}(\mathbb{R}_{+}^{n+1})\) be the set of all \(h \in T^{\infty}_{\omega}(\mathbb{R}^{n+1}_{+})\) satisfying \(\eta_{1}(h)=\eta_{2}(h)=\eta_{3}(h)=0\), where \[ \eta_{1}(h)=\lim_{c \rightarrow 0}\sup_{ball\;B: r_{B} \leq c} \frac{1}{\rho(|B|)} \Bigl(\frac{1}{|B|}\int_{\hat{B}}|h(y,t)|^2\frac{dydt}{t} \Bigr)^{1/2}, \] \[ \eta_{2}(h)=\lim_{c \rightarrow 0}\sup_{ball\;B: r_{B} \geq c} \frac{1}{\rho(|B|)}\Bigl(\frac{1}{|B|}\int_{\hat{B}}|h(y,t)|^2\frac{dydt}{t} \Bigr)^{1/2} \] and \[ \eta_{3}(h)=\lim_{c \rightarrow 0}\sup_{ball\;B \subset [B(0,c)]^C} \frac{1}{\rho(|B|)}\Bigl(\frac{1}{|B|}\int_{\hat{B}}|h(y,t)|^2\frac{dydt}{t} \Bigr)^{1/2}. \]