Skip to main content
Minor Math Jaxing and formatting
Source Link
Daniele Tampieri
  • 6.4k
  • 7
  • 30
  • 45

Let $\Omega$ be an open set of the $\Bbb R$

-As usual denotes by $H_0^1(\Omega)$ the closure of $C_c^\infty(\Omega)$ in $H^1(\Omega)$

-Consider $H_*(\Omega)$$\Bbb R^d$: consider the closure of $C_c^\infty(\Omega)$ in $H^1(\Bbb R^d)$.following function spaces

-Consider $H_{\Omega}(\Omega)=\{u\in H^1(\Bbb R^d) \text{ u= 0 a.e on } \Omega^c\}$.

  • $H_0^1(\Omega)$, i.e. the closure of $C_c^\infty(\Omega)$ in $H^1(\Omega)$
  • $H_*(\Omega)$, i.e. the closure of $C_c^\infty(\Omega)$ in $H^1(\Bbb R^d)$.
  • $H_{\Omega}(\Omega)=\{u\in H^1(\Bbb R^d):\ u= 0 \text{ a.e on } \Omega^c\}$.

QuestionQuestion: does the above spaces coincide? If not when are they equal?

Let $\Omega$ be an open set of the $\Bbb R$

-As usual denotes by $H_0^1(\Omega)$ the closure of $C_c^\infty(\Omega)$ in $H^1(\Omega)$

-Consider $H_*(\Omega)$ the closure of $C_c^\infty(\Omega)$ in $H^1(\Bbb R^d)$.

-Consider $H_{\Omega}(\Omega)=\{u\in H^1(\Bbb R^d) \text{ u= 0 a.e on } \Omega^c\}$.

Question does the above spaces coincide? If not when are they equal?

Let $\Omega$ be an open set of $\Bbb R^d$: consider the following function spaces

  • $H_0^1(\Omega)$, i.e. the closure of $C_c^\infty(\Omega)$ in $H^1(\Omega)$
  • $H_*(\Omega)$, i.e. the closure of $C_c^\infty(\Omega)$ in $H^1(\Bbb R^d)$.
  • $H_{\Omega}(\Omega)=\{u\in H^1(\Bbb R^d):\ u= 0 \text{ a.e on } \Omega^c\}$.

Question: does the above spaces coincide? If not when are they equal?

Source Link
Guy Fsone
  • 1.1k
  • 6
  • 20

Possible way to define $H_0^1(\Omega)$ Sobolev spaces

Let $\Omega$ be an open set of the $\Bbb R$

-As usual denotes by $H_0^1(\Omega)$ the closure of $C_c^\infty(\Omega)$ in $H^1(\Omega)$

-Consider $H_*(\Omega)$ the closure of $C_c^\infty(\Omega)$ in $H^1(\Bbb R^d)$.

-Consider $H_{\Omega}(\Omega)=\{u\in H^1(\Bbb R^d) \text{ u= 0 a.e on } \Omega^c\}$.

Question does the above spaces coincide? If not when are they equal?