2
$\begingroup$

Let $\Omega$ be a bounded open set. It is well know that $H^1(\Omega) \subset L^2(\Omega)$ is dense. The proof is: $C_c^1(\Omega)$ is dense in $L^2(\Omega)$ and $C_c^1(\Omega) \subset H^1(\Omega).$

Is this same argument true if $\Omega$ were a $C^l$ hypersurface in $\mathbb{R}^n$ with boundary $\partial \Omega?$ What assumptions are required on the boundary and on $l?$

$\endgroup$
1
  • $\begingroup$ Is this really well-known if $\Omega$ is a general open set? I think it probably needs $\Omega$ to have Lipschitz boundary, or similar to get $C^1_c(\Omega)$ dense in $L^2(\Omega)$. $\endgroup$
    – user7868
    Commented Aug 27, 2020 at 7:01

0

You must log in to answer this question.

Browse other questions tagged .