Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $(f_n)$ be functions in $L^p(\Omega), 1<p<\infty$ such that $(f_n) \rightarrow f$ almost everywhere and $\Vert f_n\Vert_p \rightarrow \Vert f\Vert_p$. How does one show that $f_n \rightarrow f$ weakly in $L^p(\Omega)$ without first showing that $f_n \rightarrow f$ strongly in $L^p(\Omega)$? (I know that under these hypotheses we in fact get that $f_n \rightarrow f$ strongly, as explained here

Pointwise and Convergence of $L^p$ Norms implying Convergence in $L^p$ ,

but there must be an easier, direct argument that $f_n \rightarrow f$ weakly.)

I know that some subsequence $(f_{n_k})$ converges weakly to some $g$ in $L^p(\Omega)$ since the $f_n's$ are bounded, but then (1) how do we pass from the subsequence to the original sequence, and (2) how do we show that $g=f$?

Thanks!

share|improve this question
    
when I said "the $f_n$'s are bounded," I of course meant that the $\Vert f_n \Vert$'s are bounded. –  jake Nov 2 '11 at 23:44
2  
The proof of strong convergence is about three lines, and your proposed argument invokes Alaoglu's theorem, which in turn invokes Tychonoff's. I'm not sure I would call that "easier". –  Nate Eldredge Nov 3 '11 at 0:10
    
@jake: You can edit your question using the "edit" link just above the comments, you know. –  Henning Makholm Nov 3 '11 at 0:11
add comment

2 Answers

The boundedness of $\|f_n\|_p$, together with the reflexiveness of $L^p(\Omega)$ for $p\in (1,\infty)$, allows us to conclude that $f_{n_k}\rightharpoonup g$ weakly in $L^p(\Omega)$ for some $g\in L^p(\Omega)$. Recall that $f_n\rightarrow f$ a.e. in $\Omega$. Using these facts and Egorov's theorem we can show $g=f$ a.e. in $\Omega$. Then via arguing by contradiction (a standard way) one can show the original sequence $f_n\rightharpoonup f$ weakly in $L^p(\Omega)$.

share|improve this answer
add comment

Because the Norms of the f_n are bounded. There is a subsequence that converges weakly to some g in Lp: by Alaoglu's theorem the Normed ball is compact in the weak star topology. I think you can repeat this for any subsequence, and using the fact that fn conv ae to f, get that fn conv weakly to fn.

share|improve this answer
add comment

Your Answer

 
discard

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.