6
$\begingroup$

I would like to know why on $W^{2,2}\cap W^{1,2}_0$ the norms

$ ||u|| _{W^{2,2}}=\sum_{|\alpha|\leq 2}||D^\alpha u||_{L^2}$ and $||\Delta u||_{L^2}$ are equivalent.

  • 3
    Are you working on a bounded domain?2012-11-28

1 Answers 1

8

Im gonna suppose that $\Omega$ is bounded because i dont know if $\|\Delta u||_{L^2}$ is a norm if $\Omega$ is not bounded. If $\Omega$ is bounded then $||\Delta u||_{L^2}$ is a norm. Let $H=H_0^1(\Omega)\cap H^2(\Omega)$, $\|u\|_1=\sum_{|\alpha|\leq 2}||D^\alpha u||_{L^2}$ and $\|u\|_2=||\Delta u||_{L^2}$.

Note that (trivially) $\|u\|_2\leq C\|u\|_1$, hence, if you know that $H$ is a Banach space for both norms then, you can conclude that the norms are equivalents by using a standard application of the Open Mapping Theorem, therefore, im gonna prove that $H$ is a Banach space for the norm $\|u\|_2$.

Let $(u_{n})\subset H$ be a Cauchy sequence, i.e. $\|u_{n}-u_{m}\|_{2}\rightarrow 0\ \mbox{if}\ n,m\rightarrow\infty.$

Let $w_{nm}\equiv u_{n}-u_{m}$ and $-\Delta w_{nm}\equiv f_{nm}\in L^{2}(\Omega)$. Therefore, $\left\{ \begin{array}{ll} -\Delta w_{nm}=f_{nm}, & \hbox{em $\Omega$,} \\ w_{nm}\in H_{0}^{1}(\Omega). & \hbox{} \end{array} \right. $

By using a priori estimates, we can find a constant $C>0$ such that \begin{equation}\|w_{nm}\|_{H^{2}(\Omega)}\leq C\|f_{nm}\|_{L^{2}(\Omega)}\ \forall\ n,m\in\mathbb{N}.\end{equation}

On the other hand \begin{eqnarray*} % \nonumber to remove numbering (before each equation) \|w_{nm}\|_{2}^{2} &=& \int_{\Omega}|\Delta w_{nm}|^{2}\\ &=& \|\Delta w_{nm}\|_{L^{2}(\Omega)}^{2}, \\ &=& \|f_{nm}\|_{L^{2}(\Omega)}^{2}, \end{eqnarray*}

From the last inequality we can conclud that $\|f_{nm}\|_{L^{2}(\Omega)}\rightarrow 0$ if $n,m\rightarrow \infty$, because $w_{nm}$ is a Cauchy sequence.

By using the a priori estimate we get that $\|w_{nm}\|_{H^{2}}\rightarrow 0,\ se\ n,m\rightarrow\infty.$

As $H^{2}(\Omega)$ is complete, there exists $u\in H^{2}(\Omega)$ such that $u_{n}\rightarrow u$

To prove that $u\in H_{0}^{1}(\Omega)$ we use trace theory. From trace theory, there exists $T:H^{2}(\Omega)\rightarrow L^{2}(\partial\Omega)$ bounded linear operator. As $(u_{n})\subset H_{0}^{1}(\Omega)$, we have that $T(u_{n})=0,\ \forall\ n\in\mathbb{N}.$

By using the continuity of $T$, we have $\|T(u_{n})-T(u)\|_{L^{2}(\partial\Omega)}\leq C\|u_{n}-u\|_{H^{2}(\Omega)}\ \rightarrow\ 0,\ se\ n\rightarrow\infty,$ hence, $\|T(u)\|_{L^{2}(\partial\Omega)}\leq C\|u_{n}-u\|_{H^{2}(\Omega)}\ \rightarrow\ 0,\ se\ n\rightarrow\infty,$ therefore, $\|T(u)\|_{L^{2}(\partial\Omega)}=0,$ which implies, $T(u)=0.$

From the last equality we conclude that $u\in H$.

The proof that $H^2$ is Banach with the norm $\|\ \|_1$ is standard. Once $H$ is a closed subset of $H^2$ you can conclude that $H$ is Banach with the norm $\|\ \|_1$.