Proving that the limiting function is in Lp

  • Thread starter Thread starter bbkrsen585
  • Start date Start date
  • Tags Tags
    Function
Click For Summary

Homework Help Overview

The discussion revolves around the topic of convergence in Lp spaces, specifically addressing the conditions under which the pointwise limit of a sequence of functions, gn, is also in Lp given that gn converges to g almost everywhere and that the Lp norms are bounded.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants explore the implications of pointwise convergence and the boundedness of Lp norms on the limiting function's membership in Lp. Questions arise regarding the convergence of |gn|^p to |g|^p almost everywhere and the application of Fatou's lemma.

Discussion Status

The discussion is active, with participants questioning the assumptions related to the convergence of |gn|^p and discussing the relevance of Fatou's lemma in this context. There is no explicit consensus yet, but guidance has been offered regarding the use of continuity in the context of the absolute value function.

Contextual Notes

Participants note that the original poster is uncertain about the implications of convergence and the conditions necessary for the limiting function to be in Lp, highlighting the complexity of the problem.

bbkrsen585
Messages
10
Reaction score
0

Homework Statement



Hi guys. I have one question regarding convergence in Lp. Suppose gn converges to g mu-almost everywhere on [0,1]. Suppose further that \left\|gn\left\|p\rightarrowM < \infty. How do I show that the pointwise limit g is in Lp?

Thanks.

Homework Equations



So far, I know this is not true if we only know that gn goes to g mu-almost everywhere. I just don't see how the additional condition that the Lp-norms converge to some finite number implies that the limiting function g is also in Lp.
 
Physics news on Phys.org
So, you need to show that

\int |g|^p&lt;+\infty.

Since |g_n|^p\rightarrow |g|^p, we need to show

\int \lim_{n\rightarrow +\infty}{|g_n|^p}&lt;+\infty

Now, apply Fatou's lemma...
 
But, how do we know that |gn|^p converges to |g|^p a.e.?

If gn goes to g almost everywhere does that imply that |gn|^p converges to |g|^p a.e.? That's not so clear to me. Thanks.
 
It follows from the continuity of |~|^p.
 

Similar threads

  • · Replies 14 ·
Replies
14
Views
2K
Replies
4
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 6 ·
Replies
6
Views
9K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K