18
$\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.

  • 13
    I think I got one. Let $\Omega=(0,2\pi)$ and $f_n(x)=\sin(nx)+1$. Then $f_n \rightharpoonup 1 \text{ weakly in } \sigma(L^1,L^{\infty})$. Also, $\|f_n\|_1= 2\pi$ for all $n$. However, $\|f_n-1\|_1 = 4$ for all $n$ so we have NO strong convergence.2012-06-26
  • 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