24
$\begingroup$

I found the following property of compact operators in a proof, and I can't prove it.

Prove that if $T \in \mathcal{L}(E,F)$ is compact, and if $u_n \rightharpoonup u$ (the sequence converges weakly to $u$ in $\sigma(E,E^*)$) then $Tu_n \to Tu$ strongly in $F$.

I was able to prove that $Tu_n$ has a convergent subsequence ($u_n \rightharpoonup u$ implies that $(u_n)$ is bounded in $E$. Then, because $T$ is compact it must follow that $(Tu_n)$ must contain some strong convergent subsequence), but didn't manage to finalize the proof.

Any reference or hints are welcome.

$\endgroup$
  • $\begingroup$ @all: please ignore my vote to close. I'm pretty sure this was discussed several times already, but I can't seem to find the thread at the moment. The thread I linked to is not a duplicate of this question. Beni, sorry about that. $\endgroup$ – t.b. Oct 6 '11 at 18:19
  • $\begingroup$ @t.b.: It's ok. I was wondering why it was voted to close. I also searched the site before posting, and didn't find it. $\endgroup$ – Beni Bogosel Oct 6 '11 at 18:21
31
$\begingroup$

Make use of the following topological lemma.

Lemma Let $X$ be a topological space and $\mathbf{x}=(x_n)_{n\in \mathbb{N}}$ be a sequence of elements of $X$. If every subsequence of $\mathbf{x}$ contains a subsequence convergent to $x$ then $x_n \to x$.

$\endgroup$
  • $\begingroup$ This surely is a very nice argument. Thank you. $\endgroup$ – Beni Bogosel Oct 6 '11 at 18:22
  • 1
    $\begingroup$ You're welcome! This little lemma is simple yet useful to know, IMHO. $\endgroup$ – Giuseppe Negro Oct 6 '11 at 21:29
  • 1
    $\begingroup$ One of the most beautiful and useful techniques in analysis and problems in sequences. I love it $\endgroup$ – Fardad Pouran May 8 '18 at 8:29
9
$\begingroup$

This is also true by the following reason:

Since you've already proved that there is a strongly convergent subsequence, let's say $ Tu_{n_k} \to u^* $ for $ k \to \infty $. Then by the weak convergence of $ u_n \rightharpoonup u $ you get immediately that $ Tu_n \rightharpoonup Tu $. Now since strong convergence implies weak convergence and from the uniqueness of the limit of a weak convergent sequence it must be true that

$ u^*= Tu $.

Therefore $ Tu $ is a limit point of the sequence $ (Tu_n)_{n \in \mathbb{N}} $. Now there's just one thing left to prove your statement

Claim: There's no other limit point, hence it must be the limit.

Proof: Suppose there's another limit point $ z $ of the sequence $ (Tu_n)_{n \in \mathbb{N}} $. Again there must be a subsequence $ (Tu_{n_m})_{m \in \mathbb{N}} $ converging to $ z $. Hence this subsequence $ u_{n_m} \rightharpoonup u$. Last step, use the same argumentation as above to conclude that $ z = Tu = u^*$.

Therefore $ Tu_n \to Tu $ as $ n\to \infty $.

To be precise, at this point you know that

$ Tu_{n_k} \to Tu $ and that the limit $ Tu $ is the only limit point of $ (Tu_n)_{n\in \mathbb{N}} $. Use now a contradiction argument to prove that $ Tu_n\to Tu $.

$\endgroup$
  • 5
    $\begingroup$ Why is it "immediate" that you get $Tu_n \rightharpoonup Tu$ from the weak convergence of the $u_n$? $\endgroup$ – maximumtag Mar 11 '14 at 21:56
  • $\begingroup$ @maximumtag what is your definition of weak convergence? $\endgroup$ – math Mar 25 '14 at 10:23
  • $\begingroup$ @maximumtag: I wouldn't say that it's "immediate", but it is indeed easy. Given any $y$, you have $$\lim_n \langle Tu_n-Tu,y\rangle=\lim_n \langle u_n-u,T^*y\rangle=0.$$ $\endgroup$ – Martin Argerami Oct 27 '18 at 3:56

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.