Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Hi!

I was wondering about the definition of the conormal derivative of a function $u$ which is given on a domain $\Omega$. It is known that if $-\Delta u = f$, considered as functionals on $H^1_0(\Omega)$, this does not provide enough information to define a conormal derivative of $u$. However, a lot of textbooks, for example "Strongly elliptic systems..." by W. McLean, state that if $-\Delta u = f$ as functionals on $H^1(\Omega)$, then the conormal derivative of $u$ can be defined (just by enforcing Green's formula). I'm not very convinced of this, because saying that $-\Delta u = f$ as functionals on $H^1(\Omega)$ means that i need to have a conormal derivative of $u$ defined already! Or, i can put it like that: either,

  • the definition of a weak solution $u$ and its conormal derivative has to be done simultaneously. However, i don't see how to do that.
  • Or, the definition of the conormal derivative depends on both, $u$ and $f$. But does this make any sense?

Maybe someone has thought about this and can share his ideas with me.

share|improve this question
add comment

1 Answer 1

up vote 1 down vote accepted

You may define a conormal derivative of $u$ in a very weak sense, just as a distribution. Or you can indeed take a normal derivative in a stronger recalling that each $u\in H^\frac{3}{2}(\Omega)$ s.t. $\Delta u\in L^2(\Omega)$ has a weak normal derivative in $L^2(\Omega)$, see e.g. the classical book of Lions-Magenes if you allow for a smooth boundary of $\Omega$; things are more delicate if $\Omega$ is rougher, say, merely Lipschitz, but can still be dealt with, cf. e.g. this article.

Here a weak normal derivative is defined as follows: If $u\in H^1(\Omega)$, then $g\in L^2(\partial \Omega)$ is called its weak normal derivative if the Gauss-Green formula $$ \int_\Omega \nabla u \nabla \phi +\int_\Omega \Delta u \phi = \int_{\partial \Omega} g \phi $$ holds for all $\phi \in H^1(\Omega)$. ($g$ need not exist for general $u\in H^1(\Omega)$; but if it exists, it is clearly unique).

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.