6
$\begingroup$

Let $u$ be in the Sobolev space $H^2$. Then the standard definition of the norm is $ ||u||_{H^2}^2 = \sum_{|\alpha| \leq 2} ||D^{\alpha} u||_{L^2}^2. $

However, I have also seen it defined this way $ ||u||_{H^2}^2 = ||u||_{L^2}^2 + \sum_{|\alpha| = 2} ||D^{\alpha} u||_{L^2}^2. $

Are these two norms equivalent? Clearly, the latter is $\leq$ the former. To get an ineqaulity the other way, is the Poincare inequality used?

3 Answers 3

1

As both are Banach spaces with the respective norm, and the second is $\geq$ than the first, then by the Banach's theorem applied to the identity (The inverse of an invertible bounded linear operator between Banach spaces is continuous) both are equivalent.

8

It's possible Poincaré inequality may not be true, for example if you work on $\mathbb R^n$. However, as @timur says, we have if $u\in\mathcal D(\mathbb R^n)$ $||D^{e_i}u||_{L^2}^2=\int_{\mathbb R^n}D^{e_i}uD^{e_i}udx=-\int_{\mathbb R^n}uD^{2e_i}udx\leq ||u||_{L^2}||D^{2e_i}u||_{L^2}\leq \frac 12(||u||_{L^2}^2+||D^{2e_i}u||^2_{L^2}),$ hence by a density argument $\sum_{|\alpha|=1}||D^{\alpha}u||_{L^2}^2\leq \frac n2||u||_{L^2}+\frac 12\sum_{|\alpha|=2}||D^{\alpha}u||_{L^2}^2.$ So, if we put $N_1(u)^2:=\sum_{|\alpha|\leq 2}||D^{\alpha}u||_{L^2}^2$ and $N_2(u)^2=||u||_{L^2}^2+\sum_{|\alpha|=2}||D^{\alpha}u||_{L^2}^2$ we have $N_2(u)\leq N_1(u)\leq N_1(u)+\frac n2||u||_{L^2}+\sum_{|\alpha|=2}||D^{\alpha}u||_{L^2}^2\leq \left(1+\max\left\{1,\frac n2\right\}\right)N_2(u)$ for all $u\in H^2(\mathbb R^n)$.

2

In the other direction, use an interpolation inequality of the form $ \sum_{|\alpha|=1}\|D^\alpha u\|_{L^2}^2\leq A \|u\|_{L^2}^2 + B \sum_{|\alpha|=2}\|D^\alpha u\|_{L^2}^2 $

where $A$ and $B$ are constants.