2
$\begingroup$

I am Looking for a theorem that says that the embedding $H^{1-\sigma}(M)\subset C^1(M)$ is compact for $\sigma \in (0,1)$, where $M$ is a compact manifold.

Any references are appreciated.

PS I am also looking for a reference that gives interpolation inequalities that justify (for when $u_\epsilon \in C(I, H^k) \cap C^1(I,H^{k-1})$), that $\{ u_\epsilon : \epsilon \in (0,1] \} $ is bounded in $C^{\sigma}(I,H^{k-\sigma}(M))$.

where $k$ is some nonnegative integer, $\sigma$ as above.

Thanks.

$\endgroup$

1 Answer 1

3
$\begingroup$

Surely there is a typo for the first inclusion, since you have strictly less than a derivative in $L^2(M)$ on the left hand side and one full derivative in $L^{\infty}(M)$ on the right hand side.

Regarding the interpolation question, that's an application of the usual interpolation inequality between $H^k(M)$ and $H^{k-1}(M)$ (which itself comes out from Hölder inequality). Let $t,s \in I$ be two times and $\sigma \in ]0,1[$. We have :

$$\|u(t)-u(s)\|_{H^{k-\sigma}} \lesssim \|u(t)-u(s)\|_{H^{k}}^{1-\sigma} \|u(t)-u(s)\|_{H^{k-1}}^{\sigma}. $$

Because $u \in \mathcal{C}(I,H^k)$ and $M$ is compact, the first norm of the r.h.s. is bounded. Because $u \in \mathcal{C}^1(I,H^{k-1})$, the second norm of the r.h.s. is $\lesssim |t-s|^{\sigma}$.

Thus, $$\|u(t)-u(s)\|_{H^{k-\sigma}} \lesssim |t-s|^{\sigma}$$ and you are done.

$\endgroup$
2
  • 1
    $\begingroup$ Well, for the first inclusion I am quoting from Michael Taylor's third volume in PDE. On page 416, section 16.1 he writes that "... the inclusion $H^{k-\sigma} \subset C^1(M)$ is compact for small $\sigma>0$ if $k > n/2+1$..." so I thought that it works also for $k=1$, but you say it ain't so? $\endgroup$
    – Alan
    Mar 20, 2015 at 8:35
  • 1
    $\begingroup$ "if $k > \frac n2 +1$" is the key you forgot. $\endgroup$
    – Hachino
    Mar 20, 2015 at 8:36

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.