On the traces of harmonic functions and in Lipschitz domains
In this work, we revisit the following estimate due to Dahlberg \cite{Dahl}. Let a fixed point in a bounded Lipschitz domain . Then there exists a constant such that if is a harmonic function in and vanishes at , then \begin{equation*} C^{-1} \Vert u \Vert_{L^2(Γ)} \leq \Big(\int_Ω\varrho\vert \nabla u \vert^2\Big)^{1/2} \leq C \Vert u \Vert_{L^2(Γ)}, \end{equation*} where is the distance to the boundary of . Using Grisvard's work and interpolation theory for subspaces, we complete the solvability of the inhomogeneous Dirichlet problem: $$ (\mathscr{L}_D^0)\ \ \ \ -Δu = f\quad \ \mbox{in}\ Ω\quad \mbox{and } \quad u = 0 \ \ \mbox{on }Γ, $$ in a framework of fractional Sobolev spaces , when is a polygon or a polyhedron domain and . Thanks to these regularity results and an explicit function given by Neas, we show that the above inequalities cannot be valid in their current form. On the other hand, we identify a functional space which satisfies the embeddings and the trace operator from into is well-defined and continuous. This leads to an alternative to the functions , non necessarily harmonic, for having a trace in and also to a new characterization of as the kernel of this operator. However, we show that if the domain is of class , then the above inequalities are valid.