19
$\begingroup$

Having trouble with this problem. Any ideas?

Let $\Omega$ be a measure space. Let $f_n$ be a sequence in $L^p(\Omega)$ with $1 and let $f \in L^p(\Omega)$. Suppose that $f_n \rightharpoonup f \text{ weakly in } \sigma(L^p,L^{p'})$ and $\|f_n\|_p \to \|f\|_p.$

Prove that $\|f_n-f\|_p \to 0$.

Also, can you come up with a counter-example for the $L^1$ case?

  • 0
    Do you know that $L^p$ is reflexive for 1

    while it is not for $p\in\{1,\infty\}$? – 2012-06-26

1 Answers 1

17

Since $1, the space $L^p(\Omega)$ is uniformly convex. This follows from Clarkson's inequalities. Now we use the following theorem, which can be studied in Brezis' book on functional analysis (chapter III).

Theorem. Let $E$ be a uniformly convex Banach space, and let $\{x_n\}$ be a weakly convergent sequence in $E$, i.e. $x_n \rightharpoonup x$ for some $x \in E$. If $\limsup_{n \to +\infty} \|x_n\| \leq \|x\|,$ then $x_n \to x$ strongly in $E$.

Try to construct a counter-example in the $\sigma(L^1,L^\infty)$ topology.

  • 0
    @chango: Thank you, I needed exactly the example you found above. You saved me quite a bit of time and effort!2012-11-16