Hardy Sobolev spaces on strongly Lipschitz domains of \(\mathbb R^n\) (Q705327)

Let \(\Omega\) be a Lipschitz domain in \(\mathbb R^n\) and let \(H^1 (\mathbb R^n)\) be the usual Hardy space. Then \(H^1_r (\Omega)\) is the restriction of \(H^1 (\mathbb R^n)\) to \(\Omega\) and \(H^1_z (\Omega)\) is the subspace of \(H^1 (\mathbb R^n )\) of all \(f \in H^1 (\mathbb R^n )\) with supp \(f \subset \overline{\Omega}\). With these basic spaces, the authors introduce first order Sobolev-Hardy spaces \(H^{1,1}_r (\Omega)\), \(H^{1,1}_z (\Omega)\) and their subspaces \(H^{1,1}_{r,0} (\Omega)\), \(H^{1,1}_{z,0} (\Omega)\) where, in addition, trace \(f =0\) on \(\partial \Omega\). In the first part of this paper, the authors study in detail properties of these spaces, including changes of variables, extension and restriction theorems, density, duality, interpolation. On this basis, the second part of this paper deals with endpoint estimates (\(p=1\)) for the square root of second-order divergence elliptic operators subject to Dirichlet and von Neumann conditions.