Hardy spaces associated with magnetic Schrödinger operators on strongly Lipschitz domains (Q714469): Difference between revisions

Let \(\Omega\) be a strongly Lipschitz domain in \(\mathbb{R}^n\), and let \(A:=-(\nabla-i\vec{a})\cdot (\nabla-i\vec{a})+V\) be a magnetic Schrödinger operator on \(L^2(\Omega)\) satisfying a Dirichlet boundary condition, where \(\vec{a}:=(a_1,\dotsc,a_n)\in L^2(\Omega, \mathbb{R}^n)\) and \(0\leq V\in L^1_{loc}(\Omega)\). For all \(f\in L^2(\Omega)\) and \(x\in \Omega\), define the Lusin-area function \(S_Af\) by \[ S_Af(x):=\Big[\int\int_{\Gamma(x)}|t^2Ae^{-t^2A}f(y)|^2\frac{dydt}{t^{n+1}}\Big]^{1/2}, \] where, for all \(x\in \Omega\), \(\Gamma(x):=\{(y,t)\in \Omega\times (0,\infty): |x-y|<t\}\). For \(f\in L^2(\Omega)\) and \(x\in \Omega\), define the non-tangential maximal function \(\mathcal{N}_p\) by \[ \mathcal{N}_pf(x):=\sup_{y\in\Omega,|x-y|< t}|e^{-t\sqrt{A}}f(y)|. \] The authors introduce the Hardy space \(H^p_A(\Omega)\) defined by the Lusin-area function \(S_Af\) and the Hardy space \(H^p_{\mathcal{N}_p}(\Omega)\) defined by the non-tangential maximal function \(\mathcal{N}_p\) for \(0<p\leq 1\). The main result in this paper is to establish the equivalence between \(H^p_A(\Omega)\) and \(H^p_{\mathcal{N}_p}(\Omega)\). As applications of the main result, they obtain the boundedness of the Riesz transform \(L_kA^{-1/2}\), \(k\in\{1,\dotsc,n\}\), from \(H^p_A(\Omega)\) to \(L^p(\Omega)\) for \(p\in (0,1]\) and the fractional integral \(A^{-\gamma}\) from \(H^p_A(\Omega)\) to \(H^q_A(\Omega)\) for \(0<p<q\leq 1\) and \(\gamma:=\frac{n}{2}(\frac{1}{p}-\frac{1}{q})\), where \(L_k\) is the closure of \(\frac{\partial}{\partial x_k}-ia_k\) in \(L^2(\Omega)\).