5
$\begingroup$

I am looking for a reference for the following result (if it is true, which I would expect):

Let $\Omega\subset\mathbb{R}^n$ be a bounded Lipschitz domain. Let $\Gamma_0\subset\partial\Omega$ be sufficiently regular.

Let $V_1:=\left\{\phi\in C^\infty\left(\overline{\Omega}\right):\phi\geq 0 ~\text{on}~ \Gamma_0\right\}$.

Let $V_2$ be the set of functions $u\in W^{1,p}(\Omega)$ with non-negative trace on $\Gamma_0$.

Then $V_1$ is dense in $V_2$.

If we consider the case of "$\phi = 0$" instead of "$\phi \geq 0$", of course an analogous result for $\Gamma_0=\partial\Omega$ is well known, and there is a result that it stays true if $\Gamma_0\subset\partial\Omega$ is relatively open and has relative Lipschitz boundary.

It would already be very helpful to have a reference for the result with $\phi \geq 0$ and $\Gamma_0=\partial\Omega$.

$\endgroup$

1 Answer 1

4
$\begingroup$

More of a comment than an answer, but...

I don't know a reference, but perhaps you could prove it as follows. For $u \in W^{1,p}(\Omega)$ with nonnegative trace, write $u = u^+ - u^-$ which are both in $W^{1,p}(\Omega)$. Since $u^+$ is nonnegative everywhere, you should be able to approximate it by nonnegative smooth functions $\phi_n$. And since $u^-$ has zero trace, by the result you quote, you can approximate it by smooth functions $\psi_n$ vanishing on the boundary (maybe even compactly supported). Then $\phi_n - \psi_n$ are nonnegative on the boundary and converge to $u$.

$\endgroup$
2
  • 3
    $\begingroup$ Actually, a Theorem due to Stampacchia says that if $\phi$ is a Lipschit functin, then $u\mapsto\phi\circ u$ is a Lipschitz function from $W^{1,p}$ into itself. Apply this to $\phi(s)=s^+$. $\endgroup$ Mar 10, 2015 at 15:29
  • 1
    $\begingroup$ @DenisSerre: That will certainly work. You can also do it by hand, by approximating $\phi(s) = s^+$ pointwise by $C^\infty$ functions with controlled derivatives. $\endgroup$ Mar 10, 2015 at 15:31

Your Answer

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

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