On the atomic decomposition for Hardy spaces on Lipschitz domains of \(\mathbb R^n\) (Q1888370): Difference between revisions

Let \(\Omega\subset\subset{\mathbb R}^n\) be a special Lipschitz domain. Let \(A\) be an \(n\times n\) matrix function with real symmetric, bounded measurable entries on \({\mathbb R}^n\) satisfying the ellipticity condition \[ \| A\| _\infty\leq \lambda^{-1} \] and \[ A(x)\xi\cdot \xi\geq \lambda| \xi| ^2 \] for some constant \(\lambda\in (0,1)\), for all \(\xi\in {\mathbb R}^n\). Denote \(L=-{\text{div}}(A\nabla)\) on \(L^2(\Omega)\). If \(f\in L^p_{loc}(\Omega)\), one defines \[ f^\ast_{L}(x)=\sup_{y\in\Omega,\, t>0,\, | x-y| <t} \big| e^{-t\sqrt L}f(y)\big| . \] A function \(f\in H^p_N(\Omega)\), \(n/(n+1)<p\leq 1\) if and only if \(f^\ast_{L}\in L^p(\Omega)\). In this paper, the authors obtain an atomic decomposition for the Hardy space \(H^p_N(\Omega)\). More precisely, if \(f\in H^p_N(\Omega)\), \(n/(n+1)<p\leq 1\), then there exist \(p\)-atoms \(a_k\) and numbers \(\lambda_k\) such that \[ f(x)=\sum_k \lambda_ka_k(x).\leqno(1) \] The numbers \(\lambda_k\) satisfy \[ \sum_k| \lambda_k| ^p\leq C(p,n)\| f\| _{H^p_N}. \] Conversely, every sum (1) satisfies \[ \| f\| _{H^p_N}\leq C(p,n)\sum_k| \lambda_k| ^p \] for \(n/(n+\mu)<p\leq 1\), where \(\mu\) is defined as in \[ \big | p_t(x,y)-p_t(x^\prime,y)\big| \leq \frac{C}{t^n}\Big(\frac {| y-y^\prime| }{t}\Big)^\mu \] for all \(t\in (0,\infty)\). Here \(p_t(x,y)\) is the Poisson kernel.