Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is it the case that $$|v|_{H^2(\Omega)}^2 = |v|_{H^1(\Omega)}^2 + \int_\Omega\sum_{i=1}^n |\nabla v_{x_i}|^2?$$ I think yes but I have never seen anybody write it like this. I guess generalisations are possible for $H^k$ functions. Is there any nicer way to write the RHS, so I want to make no reference to partial differentiation but gradients are OK..

share|cite|improve this question
up vote 0 down vote accepted

The two norms are definitely equivalent, and might be equal, depending on your exact definition of $|v|_{H^2(\Omega)}$. To show the equivalence, you might need to use the Cauchy-Schwarz inequality and the fact that $\frac{\partial}{\partial x_i} \left( \frac{\partial v}{\partial x_j} \right) = \frac{\partial^2 v}{\partial x_i \partial x_j}$ which is immediate from the definition (as typically a priori the left hand and the right hand have different definitions).

share|cite|improve this answer
Thanks. Do you know any way to make the RHS better looking? I want only grad terms involved and no partials. – mr. x Dec 9 '12 at 19:33
Nothing that is not a cosmetic makeup. That is, the right hand side should contain in some way the second partial derivatives. You can hide them as $||\nabla v||_{H^1(\Omega)}$ if you interpret the norm of a vector-valued Sobolev function appropriately, but this just hides away the second partial derivatives inside $||\nabla v||_{H^1(\Omega)}$. – levap Dec 9 '12 at 19:44

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.