Ngô Quốc Anh

April 29, 2011

Uniformly boundedness implies weak convergence

Filed under: Uncategorized — Ngô Quốc Anh @ 5:01

In the study of L^p spaces, there is a well-known theorem that used frequently in PDE. Its statement is the following

Theorem. Let \{f_n\}_n be a sequence of functions in L^p(\Omega) with 1<p<\infty. If there is a positive constant C and a function f such that

\|f_n\|_p \leqslant C, \quad \text{ for any } n


f_n \to f \quad \text{ almost everywhere in } \Omega

then f \in L^p(\Omega) and f_n \rightharpoonup f weakly in L^p(\Omega).

For a proof, we refer the reader to Brezis’s book. The idea is as follows

Step 1. If f_n \rightharpoonup f weakly in L^p(\Omega) and f_n \to \overline f almost everywhere in \Omega then f = \overline f almost everywhere.

The idea of the proof of Step 1 is well-known. If f_n \rightharpoonup f weakly in L^p(\Omega), then we can select a new sequence g_n such that g_n \to f strongly in \Omega. Moreover, g_n \to f almost everywhere.

Step 2. The boundedness and the reflexivity of L^p(\Omega)  imply there is a subsequence of \{f_n\}_n converging to f.

This is a standard property.

Step 3. For any subsequence, if we can find a subsubsequence converging to the same limit, the whole sequence also converges to the limit.

This can be proved by contradiction.

The advantage of the theorem is very clear. If we want to prove something like

\displaystyle \int_\Omega (u_n)^pvd\mu \to \int_\Omega u^pvd\mu

as n\to \infty, u_n \in H^1(\Omega), u_n \rightharpoonup u, and for certain p higher enough that we don’t have any compactness property, the uniformly bounded of \{u_n\}_n in some L^q space, q>p, will help us.


  1. Bạn ơi, tôi muốn xem chứng minh của định lý này. Bạn có thể chỉ giúp tôi tên quyển sách của Brezis được không? Tôi chỉ thấy nội dung này trong một bài tập trong một cuốn sách xuất bản năm 2010 của Brezis chứ không phải định lý và không có chứng minh cụ thể. Cám ơn bạn!

    Comment by Tran Minh Nguyet — May 1, 2021 @ 1:32

    • Bạn xem Bài tập 4.16 trang 123 sách “Functional Analysis, Sobolev Spaces, and Partial Differential Equations” của Brezis nhé.

      Comment by Ngô Quốc Anh — May 1, 2021 @ 13:05

      • Ok, cám ơn bạn nhiều!

        Comment by Tran Minh Nguyet — May 1, 2021 @ 17:36

RSS feed for comments on this post. TrackBack URI

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.

Create a free website or blog at

%d bloggers like this: