English

The regularity problem for the Laplace equation in rough domains

Analysis of PDEs 2023-08-09 v6 Classical Analysis and ODEs

Abstract

Let ΩRn+1\Omega \subset \mathbb{R}^{n+1}, n2n\geq 2, be a bounded open and connected set satisfying the corkscrew condition with uniformly nn-rectifiable boundary. In this paper we study the connection between the solvability of (Dp)(D_{p'}), the Dirichlet problem for the Laplacian with boundary data in Lp(Ω)L^{p'}(\partial \Omega), and (Rp)(R_{p}) (resp. (R~p)(\tilde R_{p})), the regularity problem for the Laplacian with boundary data in the Haj\l asz Sobolev space W1,p(Ω)W^{1,p}(\partial \Omega) (resp. W~1,p(Ω)\tilde W^{1,p}(\partial \Omega), the usual Sobolev space in terms of the tangential derivative), where p(1,2+ε)p \in (1,2+\varepsilon) and 1/p+1/p=11/p+1/p'=1. Our main result shows that (Dp)(D_{p'}) is solvable if and only if so is (Rp)(R_{p}). Under additional geometric assumptions (two-sided local John condition or weak Poincar\'e inequality on the boundary), we prove that (Dp)(R~p)(D_{p'}) \Rightarrow (\tilde R_{p}). In particular, we deduce that in bounded chord-arc domains (resp. two-sided chord-arc domains) there exists p0(1,2+ε)p_0 \in (1,2+\varepsilon) so that (Rp0)(R_{p_0}) (resp. (R~p0)(\tilde R_{p_0})) is solvable. We also extend the results to unbounded domains with compact boundary and show that in two-sided corkscrew domains with nn-Ahlfors-David regular boundaries the single layer potential operator is invertible from Lp(Ω)L^p(\partial \Omega) to the inhomogeneous Sobolev space W1,p(Ω) W^{1,p}(\partial \Omega). Finally, we provide a counterexample of a chord-arc domain Ω0Rn+1\Omega_0 \subset \mathbb{R}^{n+1}, n3n \geq 3, so that (R~p)(\tilde R_p) is not solvable for any p[1,)p \in [1, \infty).

Keywords

Cite

@article{arxiv.2110.02205,
  title  = {The regularity problem for the Laplace equation in rough domains},
  author = {Mihalis Mourgoglou and Xavier Tolsa},
  journal= {arXiv preprint arXiv:2110.02205},
  year   = {2023}
}

Comments

In v.6: We have modified the introduction and the proof of Theorem 7.2, and we have fixed some typos. We have also proved in the Appendix that for any elliptic operator in divergence form with merely bounded coefficients, solvability of the Regularity problem $(R^L_p)$ implies solvability of the Dirichlet problem $(D^{L^*}_{p'})$. Accepted for publication in Duke Math. J

R2 v1 2026-06-24T06:38:37.836Z