4
$\begingroup$

Just a quick question. Under what conditions does $L^2(\Omega)$ embed compactly into the dual Sobolev space $H^{-1}(\Omega)$? Specifically, I'm looking for conditions on a bounded domain $\Omega\subset \mathbb{C}^n$. Any good references?

$\endgroup$
3
  • 5
    $\begingroup$ It's the adjoint of the embedding of $H^1_0(\Omega)$ into $L^2(\Omega)$, and an operator is compact iff its adjoint is. So this should follow from the usual Sobolev embedding theorems. $\endgroup$ Commented Mar 2, 2017 at 17:35
  • 2
    $\begingroup$ This is "Schauder's theorem", right? $\endgroup$
    – Neal
    Commented Mar 2, 2017 at 17:43
  • $\begingroup$ @Neal Yes it is. $\endgroup$
    – anonymous
    Commented Apr 9, 2017 at 18:26

1 Answer 1

6
$\begingroup$

For the sake of completeness, taking Nate Eldredge's comment and elevating to an answer. This is known as Schauder's theorem; the statement (as Nate Eldredge says) is that an operator is compact iff its adjoint is compact. A proof sketch can be found in this MSE answer. In this context, $L^2(\Omega)$ will embed compactly into $H^{-1}(\Omega)$ exactly when $H^1_0(\Omega)$ embeds compactly into $L^2(\Omega)$, which is the case when $\Omega$ is bounded by the Rellich-Kondrachov theorem.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .