find a weak solution in an intersection of Sobolev spaces 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.
 A: 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$.
