1
$\begingroup$

What exactly is the content of Sobolev Embedding Theorems (compact for Sobolev spaces and Hölder spaces) when we're looking at functions on the real line?

  • 0
    I am not exactly sure what you are asking about; but Sobolev embedding in one dimension is essentially just fundamental theorem of calculus + Hölder inequality + (optionally) interpolation of Lebesgue spaces. The statement of the theorem can be easily checked on, say, [Wikipedia](http://en.wikipedia.org/wiki/Sobolev_inequality#Sobolev_embedding_theorem), so I guess you are not just asking for the statement(s). Can you clarify what you mean by "the content"? (What do you seek in an answer?)2012-09-03

1 Answers 1

5

The theorem tells you that if $U$ is a bounded open subset of $\mathbb R$ and $k > l + d/2$ then the inclusion $C^\infty (U) \hookrightarrow C^l(U)$ can be continuously extended to $H^k(U) \hookrightarrow C^l(U)$ where $H^k(U)$ is your Sobolev space.

This is the Sobolev embedding theorem for $\mathbb R^d$, so in your question, $d=1$. $C^l(U)$ denotes the set of all continuous functions $f: U \to \mathbb R$ (or $\mathbb C$) such that $f$ has $l$ continuous derivatives.

As a consequence, if $T: C^l \hookrightarrow X$ is a linear operator, you may apply it to $H^k (U)$.

Here are three related threads: 1, 2, 3.

  • 0
    Thanks for your answer! Unfortunately, I still have some questions: What's d here? Is $H^k(U) = H^\infty,k(U)$ the space with the Sobolev sup-norm? Is $C^l$ a Hölder space, if es, what's the $\alpha$. I would also like to know if there's a version for all of $R$, not just bounded domains, and a version comparing different Sobolev spaces? Thanks for our reply!2012-08-29
  • 0
    @corni75 I added some of the answers to your questions to the answer. $d$ is the dimension of your space. I don't think that $H^\infty = H^k$. The $k$ in the Sobolev space is the number of derivatives we take. I find it difficult to imagine what $H^\infty$ looks like. What is $k(U)$ in your comment? I don't know whether there is a version for all of $R$ but I suspect one would have to restrict to something like bounded functions whose derivatives are all also bounded.2012-08-29
  • 0
    Sobolev spaces usually take some p-norm, that's why they're usually indexed by two and not just one letter...2012-08-29
  • 1
    @corni75: The customary notation is $H^{k} = W^{k,2}$. Matt isn't talking about Hölder spaces at all (no Morrey inequality or anything involved here). This answer only adresses the easiest instance (only continuity, no compactness) of the Sobolev embedding theorems.2012-08-29
  • 0
    So what's the statement in full generality? I'm simply a bit confused since the version stated on wikipedia doesn't seem to give anything for n=1.2012-08-29
  • 1
    @corni75 Sorry, for some reason your previous comment didn't ping me. If you had read the threads I linked to you would've noticed that $p$ is chosen to be $2$ implicitly here. I was trying to keep this as simple as possible. But of course we can go general: the Sobolev embedding theorem tells you (for $d=1$) that if $U\subset \mathbb R$ is a bounded subset with sufficiently smooth boundary, $1 < p \leq q < \infty$, $m \geq k \in \mathbb N$, such that $$ m - \frac{1}{p} \geq k - \frac{1}{q}$$ then $$ W^{m,p}(U) \hookrightarrow W^{k,q}(U)$$ is continuous.2012-08-29
  • 0
    Do you Happen to have a reference for this?2012-08-29
  • 0
    @corni75 Yeah, I do. [Googling](http://www.google.com) for "Sobolev Embedding theorem" yields [this](http://home.ku.edu.tr/~vkalantarov/math551/SbspPDE(05).pdf), [this](http://www.icmc.usp.br/~andcarva/sobolew.pdf), [this](http://maths.swan.ac.uk/staff/vl/projects/main.pdf), [this](http://terrytao.wordpress.com/2009/04/30/245c-notes-4-sobolev-spaces/), [this](http://www-m12.ma.tum.de/foswiki/pub/M12/Allgemeines/SobolevR%E4ume/Kapitel5.pdf), ...2012-08-30