Based in many questions and answers like [1, 2, 3 ] and a comment a good comment here [4]. I would like to know that the space $H=H_0^1(\Omega)\cap H^2(\Omega)$ can be equiped with this norm $$\tag{1}\|\cdot\|_H=||\Delta\cdot||_{L^2}+||\nabla\cdot||_{L^2}+||\cdot||_{L^2},$$ this is the $H^2$-norm. Or, is it equipped with this one $$\tag{2}\|\cdot\|_H=||\Delta\cdot||_{L^2}+||\cdot||_{L^2}.$$ Can I say that if $H$ is equipped with (1) then, normes (1), (2) and $||\Delta\cdot||_{L^2}$ are equivalent in $H$.
Asked
Active
Viewed 1,183 times
5
-
What are the assumptions for $\Omega$? – Nov 09 '16 at 16:21
-
@Jack, we can assume that the domain $\Omega$ is bounded in $\mathbb{R}^2$ and with Lipschitz boundary – Achaire Nov 09 '16 at 17:40
1 Answers
2
This depends on the regularity of the domain: If $H^2$-regularity for the equation $-\Delta u=f$ is available then one has $$ \|u\|_{H^2(\Omega)} \le c \|f\|_{L^2(\Omega)} = c \|\Delta u\|_{L^2(\Omega)}, $$ and your norm is equivalent to the $H^2$-norm.
If $\Omega$ is not nice, i.e., it has a non-convex corner, then there are functions $y\in H^1_0(\Omega)$ with $\Delta y\in L^2(\Omega)$ but $y\not\in H^2(\Omega)$.
daw
- 49,113
- 2
- 38
- 76
-
Thanks for your helphol answer, the domain $\Omega$ is bounded in $\mathbb{R}^2$ and with Lipschitz boundary. if I'll use the fourth- order equation like $\Delta\Delta u= f$ where $u\in H$ is it done also??? – Achaire Nov 12 '16 at 11:45