MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $I$ be a bounded interval and consider a sequence $(u_k)$ in $H^{1,2}(I)$ (usual Sobolev space). Suppose furthermore, that the sequence $(u_k)$ is bounded in $H^{1,2}(I)$. Then, by Rellich, we can extract a subsequence, still denoted by $u_k,$ s.t. $u_k$ converges to some $\bar{u}$ in $C^0(I)$. Furthermore, by weak compactness of bounded sets in $H^{1,2}(I)$ we can select a subsequence, s.t. $u_k$ converges to some $u$ weakly in $H^{1,2}(I)$. Thus, $u_k$ converges to $\bar{u}$ in $C^0$ and weakly to $u$ in $H^{1,2}$.

Do these limits coincide, i.e. is it true that $u=\bar{u}$?

share|cite|improve this question

Either type of convergence implies distributional convergence, among other things. So the limits must be the same.

share|cite|improve this answer
Could you elaborate on that? It just seems you are throwing another type of convergence into the box. – Orbicular May 19 '11 at 10:07
I think this would be a right place to say: "Do your homework!" Just recall the basic definitions, and you will see that $C^0$ and $(H^1)_\sigma$ are continuously injected in $\mathcal D'_\sigma$ . Furthermore, the last space is Hausdorff. – TaQ May 19 '11 at 17:48

Both convergences imply the weak convergence in $L^2 (I)$, which has a unique limit.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.