Let $\Omega \subset \mathbb{R}^n$. Is there a good (*) Banach space $X$ that $L^2(\Omega)$ is compactly embedded into: $$L^2(\Omega) \subset\!\subset X$$?

If not compactly embedding, I at least would like "any bounded sequence in $L^2(\Omega)$ has a convergent subsequence in some space $X$.

(*) good in the sense that I can use such compact embedding to prove existence of solution of PDE using Faedo--Galerkin method.

  • $\begingroup$ @mookid Sorry I made a mistake. I meant the compact embedding the other way round. $\endgroup$ – maximumtag Mar 7 '14 at 13:32
  • $\begingroup$ Well, if you have a PDE, I doubt that the "good" space to work in is larger than $L^2$. Usually you definitely need some assumption on derivatives... $\endgroup$ – Siminore Mar 7 '14 at 13:48

Think of $L^2$ as the space of bounded functionals on $L^2$. In particular, your bounded sequence is a bounded sequence of linear functionals $f_n: L^2\to \mathbb R$. If you have a space $Z$ compactly embedded into $L^2$, then the restrictions of $f_n$ to the unit ball of $Z$ have a convergent subsequence (by the Arzelà–Ascoli theorem). Also, the restriction is an injective operator provided that $Z$ is dense in $L^2$. So, in this situation $L^2$ compactly embeds into $Z^*$.

A concrete example would be $Z=H_0^1$, for which $Z^*=H^{-1}$.


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.