[Math] coercive implies bounded, variational principle

calculus-of-variationscoercivefunctional-analysisnormed-spacesweak-convergence

I have a question about the proof of the variational principle, see below. Any help is much appreciated!

  • How does it follow from coercivity that $(x_k)_k$ is bounded?

  • Why is $\alpha_0 > – \infty$?

$\,$

Prerequisites

Let $(X, || · ||_X )$ a normed real vector space, $\, M \subset X$, $\, F : M \rightarrow \mathbb R.$

$\,$

Theorem. (Eberlein-Šmulyan) Let $X$ be reflexive, $(x_k)_{k \in \mathbb N} \subset X$ bounded. Then there exists $x \in X$ and a subsequence $\Lambda \subset \mathbb N$ with
$$ x_k \overset{w}{\rightarrow} x \quad (\text{for } \, k → ∞ , \, k \in \Lambda) .$$

$\,$

Definition. The function $F$ ist weakly sequentially lower semi-continuous (w.s.l.s.c.) at $x_0 \in M$, if $\forall \, (x_k)_{k\in \mathbb N} \subset M$ with $x_k \overset{w}{\rightarrow} x_0$ (for $k \rightarrow \infty$) there holds

$$F(x_0) ≤ \liminf_{k \rightarrow \infty} F(x_k).$$

$\,$

Definition. $F$ is called coercive on $M$ with respect to $||·||_X$ , if for $x \in M$ $$F(x) \rightarrow \infty, \quad (\text{for} \, ||x||_X \rightarrow \infty).$$

$\,$

Actual question

Theorem. (Variational Principle) Let $X$ be reflexive, $M \subset X$ nonempty and weakly sequentially closed, $F : M \rightarrow R$ coercive and w.s.l.s.c.. Then there exists $x_0 \in M$ with
$$F(x_0) = \inf_{x∈M} F(x).$$

$\,$

Proof.
Consider a minimal sequence $(x_k)_{k ∈ \mathbb N} \subset M$ with $$F(x_k)→ \inf_{x \in M} F(x)=:α_0 ≥ −∞, \quad (\text{for } k→∞).$$

Since $F$ is coercive, $(x_k)_{k \in \mathbb N}$ is bounded. (Why?) By Eberlein-Šmulyan's theorem $(x_k)_{k \in \mathbb N}$ has a
weakly convergent subsequence $x_k \overset{w}{\rightarrow} x_0$ $($for $k → ∞, k ∈ Λ)$. Since $M$ is weakly sequentially closed, it follows that $x_0 ∈ M$, and
$$F(x_0) ≤ \liminf_{k→∞, \, k∈Λ} F(x_k) = α_0$$
since $F$ is w.s.l.s.c., in particular we have $α_0 > −∞.$

Best Answer

Because if $(x_k)_{k\in\mathbb N}$ weren't bounded, we would have $\lim_{k\to\infty} F(x_k) = \infty$, by definition of the coercivity, thus contradicting the convergence to the infimum, no?

Related Question