Consider the following question (from a text in portuguese on Critical Point Theory I am reading):
Let $E$ be a Hilbert space, $a: E \times E \longrightarrow \Bbb{R}$ a continuous coercive bilinear form and $f \in E^*$. Given a closed, convex subset $C$ of $E$, show that there exists an unique $u_0 \in C$ such that
$$
\psi(u_0) = \inf_C \psi(u),
$$
where
$$
\psi(u) = \frac12a(u, u) – f(u).
$$
I can see that the functional $\psi$ is continuous (hence lower semicontinuous) and coercive, and that if we take the intersection of $C$ with any ball the resulting set is weakly compact (as a closed, bounded, convex set os a reflexive space), but this is not helping since lower semicontinuity does not imply weak lower semicontinuity.
Any hints or comments will be the most appreciated.
Thanks in advance and kind regards.
EDIT
I have found in Kavian's Introduction à la Théorie des Points Critiques that a convex lower semicontinuous functional on a convex closed set is weakly lower semicontinuous. This solves the problem, once I show that $\psi$ is convex. I would now appreciate help on this issue, with which I am having trouble.
Best Answer
I would show it more straight forward: Let $v_n \rightharpoonup v$ be a weakly convergent sequence. Then: $$ a(v_n,v_n)-a(v,v)=a(v_n-v,v_n-v)+a(v,v_n-v)+a(v_n-v,v) \geq $$ $$ a(v,v_n-v)+a(v_n-v,v) $$ The inequality comes from the the coervity of $a(u,u)$ i.e. $a(v_n-v,v_n-v) \geq c||v_n-v||_H^2\geq0$.
Now $a(v,v_n-v)$ defines a linear, continuous function if we fix the first component i.e. we consider $g(w)=a(v,w) \in H^*$ and note that $g(v_n-v)=a(v,v_n-v) \to 0 $ by the defintion of weak convergence. Similar, we argue that $a(v_n-v,v) \to 0$. Overall, we see that $$ \liminf_{n \to \infty}a(v_n,v_n) \geq a(v,v) $$ and you have weak, lower-semicontinuity. I hope this answers your question despite me not showing convexity of the associated bilinear form (I was thinking about using differential calculus in Hilbert spaces to do so). If you have any question, just leave a comment.