Proof of lemma $9.7$ in Haim Brezis' Functional Analysis, Sobolev Spaces and Partial Differential Equations argues as follows:

For an element $u \in H_0^1(\Omega)$ we define $D_h u= \frac{u(x+h)-u(x)}{|h|}$, for $h \in \mathbb{R}^n$. Let's assume that $D_hu \in H_0^1(\Omega)$ and that: $$ ||D_hu||_{H^1(\Omega)} \leq || u||_{H^2(\Omega)}$$

Thus there exists a sequence $h_n \to 0$ such that $D_{h_n}u$ converges weakly to $g \in H_0^1(\Omega)$ (Since $H_0^1(\Omega)$ is a Hilbert Space).

Could someone explain me why do we have this result about weak convergence?


Any bounded sequence in a separable Hilbert space (which is reflexive) has a weakly convergent subsequence.

Added on edit: See Theorem 3.18 of the same book.

  • $\begingroup$ This fact can also be explained using the Rellich theorem, right? $\endgroup$ – user288972 Jun 7 '16 at 15:01

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.