Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\bar{\Omega}$ be a smooth, compact manifold with boundary; we denote the interior by $\Omega$. We can suppose $\bar{\Omega}$ is contained in a compact, smooth manifold $M$, with $\partial\Omega$ a smooth hypersurface. For $s\geq0$, we define $H_0^s(\Omega)$ to consist of the closure of $C_0^\infty(\Omega)$ in $H^s(\Omega)$. For $s=k$ a nonnegative integer, how can I show that $$H_0^k(\Omega)=\{u\in H^k(M):\text{supp }u\subset\bar{\Omega}\}?$$ I am trying to write a rigorous proof of that, and I just need a subtle pointer. Do you guys have any ideas? Thanks in advance!

share|cite|improve this question
up vote 0 down vote accepted

Notation: $D=\{u\in H^k(M):\text{supp }u\subset\bar{\Omega}\}$. Why $D$? Cause I like the letter D... =)

To prove that two sets are the same, it's usually a good idea to prove that one is a subset of the other and viceversa.

First you can easily show that if $u\in H^k_0$, than for sure supp $u\subset \bar{\Omega}$ (argue by contradiction); this proves $H^k_0\subset D$.

To prove that $D\subset H^k_0$ use the definition of $H^k$ (that is the closure of $C^\infty$ with respect to the $H^k$ norm) and prove that, for a given $u\in D$, any approximating sequence $\varphi_n\in D$ must have a trace on $\partial \Omega$ that vanishes as $n$ goes to infinity. Then try to approximate each of the $\varphi_n$ with a function $\psi_n\in D$. Then conclude.

I hope I didn't give too many details and let you some steps to have fun with... ;-)

share|cite|improve this answer

Your Answer


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.