The Dirichlet Problem for the Laplacian in Lipschitz Domains Revisited

Here we study the Dirichlet problem for the Laplacian, we denote $({\mathcal{L}}_D)$, when the domain $\mathrm{\Omega }$ in ${\mathbb{R}}^N,$ with $N\ge 2$, is assumed to be only Lipschitz. We would like to return to a number of fundamental questions and known results, such as the traces, the uniqueness and the maximal regularity of solutions. First, we rigorously define the notion of traces for non regular functions. This approach replaces the non-tangential trace notion. We identify a functional space $E(\mathrm{\nabla };\mathrm{\Omega })$ which satisfies the embeddings $H_{00}^{1\mathrm{/}2}(\mathrm{\Omega })\hookrightarrow E\hookrightarrow H^{1\mathrm{/}2}(\mathrm{\Omega })$ and the trace operator $\gamma :E\to L^2(\mathrm{\Gamma })$ is well defined, continuous and leads to a new characterization of $H_{00}^{1\mathrm{/}2}(\mathrm{\Omega })$. Second, by using Grisvard’s results, interpolation theory, the characterization of $H_{00}^{1\mathrm{/}2}(\mathrm{\Omega })$ and the uniqueness of $H^{1\mathrm{/}2}(\mathrm{\Omega })$ solution to Problem $({\mathcal{L}}_D)$, we prove that maximal regularity $H^{3\mathrm{/}2}$ holds for all right-hand sides in the dual of $H_{00}^{1\mathrm{/}2}(\mathrm{\Omega })$. This conclusion contradicts the prevailing claims in the literature since the 90s. Third, we return to the very delicate question of the existence and uniqueness of solutions $W^{s,p}(\mathrm{\Omega })$ to the problem $({\mathcal{L}}_D)$. Finally, we revisit the classical Area Integral Estimate of Dahlberg for a harmonic function $u$ in $\mathrm{\Omega }$ vanishing at some interior point: \begin{equation}\label{ineg} \int_Γ\vert u \vert^2 dσ\leq C \int_Γ\vert S(u)\vert^2 dσ\simeq C \int_Ω\varrho \vert\nabla u\vert^2 dx. \end{equation} We show that this inequality cannot hold in its stated form. Since the estimate \eqref{ineg} has been widely used to argue that $H^{3\mathrm{/}2}$-regularity is unattainable for data in the dual of $H_{00}^{1\mathrm{/}2}(\mathrm{\Omega })$, our counterexample provides a decisive clarification.