# Weak lower semicontinuity of a functional on Hilbert space?

Let $H:=\left\{u\in L^2(R^N):\nabla u \in L^2(R^N)\right\}$ and a functional $$f(u)=\int_{R^N} |\nabla u|^2dx+\left(\int_{R^N} |\nabla u|^2dx\right)^2.$$

If $\{u_n\}\subset H$ is a sequence such that $u_n \rightharpoonup u$, is it true that

$$\liminf_{n\rightarrow +\infty}\left[\int_{R^N} |\nabla u_n|^2dx+\left(\int_{R^N} |\nabla u_n|^2dx\right)^2\right]\geq \int_{R^N} |\nabla u|^2dx+\left(\int_{R^N} |\nabla u|^2dx\right)^2 \;?$$

Given any Hilbert space, if $u_n\rightharpoonup u$ weakly, then $\liminf_{n\to\infty}\|u_n\| \ge \|u\|$.
Proof: W.l.o.g. $\|u\| = 1$. $$\|u\| = \langle u,u \rangle = \lim_{n\to\infty} \langle u,u_n \rangle$$ and $$\langle u,u_n \rangle \le \|u_n\|$$ so $$\lim_{n\to\infty} \langle u,u_n \rangle \le \liminf_{n\to\infty}\|u_n\|$$
I guess the inner product is given by $$\langle u,v\rangle=\int_{\mathbb R^N}u(x)v(x)dx+\sum_{j=1}^N\int_{\mathbb R^N}\dfrac{\partial u}{\partial x_j}(x)\dfrac{\partial v}{\partial x_j}(x)dx.$$ Note that we can find a subsequence $\{u_{n_k}\}$ such that $\lim_{k\to\infty}f(u_{n_k})=\liminf_{n}f(u_n)$, and since the sequence $\{|\nabla u_{n_k}|\}$ and $\{u_{n_k}\}$ are bounded in $L^2(\mathbb R^N)$ , we can extract a subsequence such that $\{u_{\varphi(n)}\}$ and $\{\nabla u_{\varphi(n)}\}$ are weakly convergent in $L^2$. We denote by $v$ and $(v_1,\ldots,v_N)$ these limits. Then weak convergence shows that $\dfrac{\partial v}{\partial x_j}=v_j$, so $u=v$. We can conclude since in an Hilbert space, if a sequence $\{x_n\}$ converges weakly to $x$ then $\lVert x\rVert\leq \liminf_n \lVert x_n\rVert$: \begin{align*} \liminf_n\: f(u_n)&=\lim_{k\to \infty}f(u_{\varphi(k)})\\ &= \liminf_{k\to\infty}\:\left(\int_{\mathbb R^N}|\nabla u_{\varphi(k)}(x)|^2dx+\left(\int_{\mathbb R^N}|\nabla u_{\varphi(k)}(x)|^2dx\right)^2\right)\\ &\geq \liminf_{k\to\infty}\:\int_{\mathbb R^N}|\nabla u_{\varphi(k)}(x)|^2dx+ \left(\liminf_{k\to\infty}\int_{\mathbb R^N}|\nabla u_{\varphi(k)} (x)|^2dx\right)^2\\ &=\int_{\mathbb R^N}|\nabla u(x)|^2dx+\left(\int_{\mathbb R^N}|\nabla u(x)|^2dx\right)^2\\ &=f(u). \end{align*}
• But I cannot see that $u_n\rightharpoonup u$ guarantees finding a subsequence $\{u_{n_k}\}$ such that $lim_{k\rightarrow+\infty} f(u_{n_k})=\liminf_{n\rightarrow} f(u_{n_k} )$. – Jiahua Jin Dec 2 '11 at 9:24