Potential theory on Lipschitz domains in Riemannian manifolds: \(L^p\) Hardy, and Hölder space results (Q5944147)

This is a fundamental treatment of the theory of potentials in Riemannian manifolds. The elliptic differential operator \(L=\Delta -V\) is introduced on a smooth, compact Riemannian manifold \(M\). Here \(\Delta \) is the Laplace-Beltrami operator, \(V\geq 0\) on \(M\), \(L\) acts in a Sobolev space. NEWLINENEWLINENEWLINELet \(\Omega \) be a domain on \(M\) with Lipschitz boundary \(\partial \Omega \). In Section 2 the authors consider the Dirichlet and Neumann boundary value problems for \(\Omega \). Counterparts of the single and double layer potentials \(S\) and \(D\) are introduced. The jump formulas for \(S\) and \(D\) are written. The authors also treat regularity problems. For instance, the solution \(u\) of the Dirichlet problem \(u=f\) on \(\partial \Omega \) is estimated as \(\|u^{\ast}\|\leq C\|f\|\), where \(u^{\ast }(x)\) denotes the nontangential maximal function of \(u\) at \( x\in \) \(\partial \Omega \), \(\|.\|\) stands for the \(L_{p}\)-norm on \(\partial \Omega \). NEWLINENEWLINENEWLINESection 3. Existence and behavior of boundary values. In this section the authors prove the following theorem. Let \(u\in C_{\text{loc}}^{1}(\Omega)\) satisfy \(Lu=0\) in \(\Omega \), \((c)^{\ast }(x)<+\infty \) for a.e. \(x\in \) \(\partial \Omega \). Then the pointwise nontangential boundary trace \(\nabla u\) exists for a.e. \(x\in \) \(\partial \Omega \). There are also estimates of \(\|u\|\) and \(\|\nabla u^{\ast }\|\) in various spaces. NEWLINENEWLINENEWLINEIn the next sections \(M\) has a Lipschitz metric tensor. NEWLINENEWLINENEWLINESection 4. Estimates of the Neumann kernel. NEWLINENEWLINENEWLINESection 5. Hardy space and \( L^{p}\) estimates for the Neumann problem. NEWLINENEWLINENEWLINESection 6. Dirichlet regularity problem. NEWLINENEWLINENEWLINESection 7. Invertibility properties for layer potential operator. Here the authors prove for \(M\) with a \(C^1\) metric tensor and \(V=0\) that NEWLINE\[NEWLINEDf=\tfrac{1}{2} I+K:L^{q}(\partial \Omega)\to L^{q}(\partial \Omega)NEWLINE\]NEWLINE is invertible (\(1<p<2+\varepsilon)\). They give various estimates and study the operators in a quasi-Banach space. NEWLINENEWLINENEWLINESection 8. Helmholtz type decompositions. NEWLINENEWLINENEWLINEA. Remarks on \(h^{p}(\partial \Omega)\) (the local Hardy spaces). NEWLINENEWLINENEWLINEB. Cauchy integrals and layer potentials on \(h^{p}(\partial \Omega) \), \(\tfrac{n-1}{n}<p\leq 1\).