Question Regarding L^p Spaces

  • Thread starter tornado28
  • Start date
  • #1
14
0
This is a functional analysis qualifying exam problem that I can't figure out. Any assistance would be appreciated since I have to take a similar qual soon. I was able to make some limited progress in the p=2 case using Holders inequality.

Suppose [itex]f_n, f\in L^p[/itex] where [itex]1\le p <\infty[/itex] and that [itex] f_n \rightarrow f[/itex] a.e. Show that [itex]\|f_n-f\|_p \rightarrow 0[/itex] iff [itex] \|f_n\|_p \rightarrow \|f\|_p [/itex].
 
Last edited:

Answers and Replies

  • #2
22,089
3,297
Hi tornado28! :smile:

First reduce everything to the case p=1. That is, assume that you know the result for p=1, show that it also holds for p>1.

In reducing this case, you will need the inequality:

For [itex]x,y\geq 0[/itex], then [itex]|x-y|^p\leq |x^p-y^p|[/itex]. Try to prove this.
 
  • #3
21
0
This is a functional analysis qualifying exam problem that I can't figure out. Any assistance would be appreciated since I have to take a similar qual soon. I was able to make some limited progress in the p=2 case using Holders inequality.

Suppose [itex]f_n, f\in L^p[/itex] where [itex]1\le p <\infty[/itex] and that [itex] f_n \rightarrow f[/itex] a.e. Show that [itex]\|f_n-f\|_p \rightarrow 0[/itex] iff [itex] \|f_n\|_p \rightarrow \|f\|_p [/itex].
This is in fact a difficult question. I had the same when I took my analysis qual a few years ago. Here is how you prove it. First, notice that [itex] \|f_n\|_p =\| f_n-f+f \|_p \leq \| f_n-f \|_p + \| f\|_p[/itex] This implies that [itex] \| f_n\|_p-\| f\|_p \leq \| f_n-f \|_p [/itex]. Thus if lim[itex] (\| f_n-f \|_p)=0 [/itex] then lim[itex] (\| f_n\|_p - \| f \|_p)=0 [/itex]
Next, to show the second part, use the fact that [itex]2^p( |f_n|^p+|f|^p-|f_n - f|^p) \geq 0[/itex] and lim[itex]( 2^p( |f_n|^p+|f|^p-|f_n - f|^p))=2^{p+1}|f|^p [/itex] and apply Fatou's lemma. I will let you finish the rest.
Vignon Oussa
 
Last edited:
  • #5
14
0
Ok, I understand why [itex]\|f_n-f\|_p \rightarrow 0 \Rightarrow \|f_n\|_p \rightarrow \|f\|_p [/itex], but I still don't have a solution for the other direction. In your solution, Vig, it is not necessarily true that [itex]2^p( |f_n|^p+|f|^p-|f_n - f|^p) \geq 0[/itex] since we could, for instance, have [itex]f_n=1[/itex], [itex]f = -1[/itex], and [itex]p=2[/itex].

I think I could do it using Egorov's Theorem in the case that the underlying space is sigma compact, but since both of you seem to think that it can be done in general I wonder if I could have another hint.

I thought I had a proof using the inequality you suggested Micro, but I'm running into the same problem. It's not necessarily the case that [itex]|f_n - f|^p \le \left| |f_n|^p - |f|^p \right|[/itex] when [itex]f_n[/itex] and [itex]f[/itex] have opposite signs.
 
  • #6
22,089
3,297
Ok, I understand why [itex]\|f_n-f\|_p \rightarrow 0 \Rightarrow \|f_n\|_p \rightarrow \|f\|_p [/itex], but I still don't have a solution for the other direction. In your solution, Vig, it is not necessarily true that [itex]2^p( |f_n|^p+|f|^p-|f_n - f|^p) \geq 0[/itex] since we could, for instance, have [itex]f_n=1[/itex], [itex]f = -1[/itex], and [itex]p=2[/itex].

I think I could do it using Egorov's Theorem in the case that the underlying space is sigma compact, but since both of you seem to think that it can be done in general I wonder if I could have another hint.

I thought I had a proof using the inequality you suggested Micro, but I'm running into the same problem. It's not necessarily the case that [itex]|f_n - f|^p \le \left| |f_n|^p - |f|^p \right|[/itex] when [itex]f_n[/itex] and [itex]f[/itex] have opposite signs.

Ok, let's do this in the way I know works (I was trying to find an easy way out). Firstly, establish that

[tex]\lim_{n\rightarrow +\infty}{2^p(|f_n|^p+|f|^p)-|f_n-f|^p}=2^{p+1}|f|^p[/tex]

Now, apply Fatou's lemma to calculate

[tex]\int{2^{p+1}|f|^pd\mu}[/tex]

(note: to be able to apply Fatou's lemma, you'll need to know that [itex]2^p(|f_n|^p+|f|^p)-|f_n-f|^p\geq 0[/itex]. To show that this is the case, apply that the function [itex]\Phi(x)=x^p[/itex] is convex)
 

Related Threads on Question Regarding L^p Spaces

  • Last Post
Replies
17
Views
2K
Replies
1
Views
2K
  • Last Post
Replies
3
Views
1K
Replies
2
Views
2K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
17
Views
873
  • Last Post
Replies
4
Views
4K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
2
Views
1K
Top