1
$\begingroup$

Hello,

On a compact (without boundary) Riemannian manifold (eg. some surface in $\mathbb{R}^n$), I'm looking for a result like $$\lVert \nabla u\rVert_{L^2}^2 \leq \epsilon\lVert u\rVert_{H^1}^2+\epsilon^{-1}\lVert u\rVert_{L^2}^2$$ for $u \in H^2,$ where $\epsilon$ is of my choosing.

Does this or something similar hold (eg. instead, the inequality can have the LHS in $H^1$ norm and the $H^1$ norm on the RHS can be the $H^2$ norm.)

I saw something like this in Adams but this requires the domain to satisfy some unpleasant conditions. Thanks.

$\endgroup$
8
  • $\begingroup$ If I understood correctly, what you are looking for is interpolation inequalities. The question is more suitable for MSE. $\endgroup$
    – timur
    Jan 7, 2013 at 19:20
  • 1
    $\begingroup$ If $\|u\|_{H^1} = \|\nabla u\|_{L^2} + \|u\|_{L^2}$, I don't see how this could be true. $\endgroup$
    – Deane Yang
    Jan 7, 2013 at 20:00
  • 1
    $\begingroup$ If you put the $H^2$ norm on the right hand side instead of the $H^1$ norm, this is Ehrling's lemma, which is well known. $\endgroup$ Jan 7, 2013 at 20:03
  • 1
    $\begingroup$ But if you mean to use the $H^2$ norm on the RHS, then this is indeed an interpolation inequality. It indeed is probably in Adams for function on a domain in $R^n$, but this can be transferred to a manifold using co-ordinate charts and a partition of unity. $\endgroup$
    – Deane Yang
    Jan 7, 2013 at 20:05
  • 2
    $\begingroup$ Chris, any domain with smooth boundary satisfies the cone condition. You would cover the manifold by open sets that are diffeomorphic to a ball and apply the result in Adams to the function multiplied by the appropriate cutoff function restricted to one of the open sets and pulled back to the ball. $\endgroup$
    – Deane Yang
    Jan 7, 2013 at 20:24

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.