5
$\begingroup$

In using lax-milgram to find a weak solution in an intersection of sobolev spaces the weak solution for $$ -\Delta^2 u = f \in L^2(U)\\ \\ u|_{\partial U}=\Delta u|_{\partial U} = 0 $$ was discussed, I have a question about the week solution of $$ \Delta^2 u + u = f \in L^2(U)\\ \\ u|_{\partial U}=\Delta u|_{\partial U} = 0 $$ I think I should use coupled elliptic PDE theory. Any hint or suggestion is helpful for me.

In advanced thanks from anyone who tries to help me.

$\endgroup$
4
$\begingroup$

I will assume that $U$ is bounded. Let $H=H(U)=H_0^1(U)\cap H^2(U)$. As you can see in the post you have cited, $H$ is a Hibert space with the scalar product $(u,v)=\int_U \Delta u\Delta v$. We also have $$\int |\Delta u|^2\geq\lambda_1^2\int|u|^2,\ \forall\ u\in H\tag{1}$$

Now consider, for example, the bilinear form $a:H\times H\to\mathbb{R}$ given by $$a(u,v)=\int_U\Delta u\Delta v+\int_Uuv$$

You can verify (by using (1)) that $a$ is continuous, coercive and symmetric. You can also verify that $f$ defines a bounded linear functional in $H$ by the expression $$v\mapsto\int_U fv,\ \forall\ v\in H$$

This implies by Lax-Milgram Theorem that for every $f\in L^2$, there exist $u\in H$ such that $$a(u,v)=\int_U fv,\ \forall v\in H\tag{2}$$

i.e. $u$ is a weak solution of your problem.

Remark 1: Lax-Milgram also gives you that $u$ is the minimizer of the functional $$I(u)=\int_U |\Delta u|^2+\int_U u^2-\int_U fu,\ \forall\ u\in H$$

Remark 2: $u\in H_0^1(U)\cap H^4(U)$

Remark 3: Can you see why $\Delta u=0$ in the boundary of $U$?

Edit: To prove Remark 3, first choose $w\in H$ such that $\Delta w=f$ in $U$. This can be done because the problem $$ \left\{\begin{array}{ccc} \Delta w=f &\mbox{ in $U$} \\ w=0 &\mbox{ in $\partial U$} \end{array} \right. $$

has a unique solution $w$ in $H^2$. Moreover, because $v\mapsto \int_U uv$ defines a bounded linear function in $H_0^1(U)$, we have by Riesz Theorem that there exist $\phi\in H_0^1(U)$ such that $$\int_U uv = \int_U \nabla \phi\nabla v,\ \forall\ v\in H_0^1\tag{3}$$

We conclude from $(2)$ and $(3)$ that $$\int_U \Delta u\Delta v+\int_U\nabla \phi\nabla v=\int_U \Delta w v,\ \forall\ v\in H\tag{4}$$

We apply Green Theoren in $(4)$ to conclude that

$$\int_U \Delta u\Delta v-\int_U\phi\Delta v=\int_U w \Delta v,\ \forall\ v\in H\tag{5}$$

"Again", for every $\psi\in L^2(U)$, there exist $v\in H$ such that $\Delta v=\psi$, therefore, from $(5)$ we get

$$\int_U (\Delta u-\phi-w)\psi=0,\ \forall\ \psi\in L^2(U)\tag{6}$$

We apply du Bois-Reymond to conclude that $$\Delta u(x)-\phi(x)-w(x)=0,\ a.e.\ x\in U$$

Because $\phi,w\in H_0^1(U)$, we conclude that $\Delta u=0$ in $\partial U$.

$\endgroup$
  • $\begingroup$ Thanks. When I want to verify continuity I confused with the spaces that should be considered, I mean: $$\int_{U} |\Delta u \Delta v| +| uv | \leq \int_{U}|\Delta u \Delta v| + c_1|\Delta u \Delta v| \leq (1+ c_1) \|u\|_{H^2}\|v\|_{H^2},$$ Now can we infer continuity for $H^1_0(U)\cap H^4(U)$? $\endgroup$ – All Oct 30 '13 at 12:16
  • $\begingroup$ To prove continuity, we have to prove that $$|a(u,v)|\leq C \|u\|\|v\|$$ where $\|u\|=\|\Delta u\|_2$. Now, note that $$\int_U |\Delta u\Delta v|+\int_U |uv|\leq \|u\|\|v\|+\|u\|_2\|v\|_2$$ To conclude apply inequality $(1)$ and regroup the terms. $\endgroup$ – Tomás Oct 30 '13 at 12:24
  • $\begingroup$ You are welcome @schliffen $\endgroup$ – Tomás Oct 30 '13 at 12:41
  • $\begingroup$ @schliffen, what do you study? $\endgroup$ – Tomás Oct 30 '13 at 13:05
  • $\begingroup$ Applied mathematics, Control and Optimization. $\endgroup$ – All Oct 30 '13 at 13:08

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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