Let $\Omega$ be a smooth bounded domain, with outward normal vector $\nu$. Under what conditions on a function $u$ do we get that

$$ \partial_\nu u \in H^{-1/ 2}(\partial\Omega). $$

That is, under what conditions is the trace of the normal derivative of $u$ in the dual fractional Sobolev space on the boundary?

I know that $u \in H^2$ suffices, but is there anything weaker?

  • $\begingroup$ How do you define $\partial_\nu u$? $\endgroup$ – gerw Jan 25 '18 at 10:16

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.