Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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.

share|improve this question
2  
Are you working on a bounded domain? –  Davide Giraudo Nov 28 '12 at 20:43

1 Answer 1

up vote 2 down vote accepted

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$.

share|improve this answer

Your Answer

 
discard

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.