Why is the last step of my proof for convergence in L^{p} space correct?

In summary, convergence in Lp space refers to the behavior of a sequence of functions or values in the Lp norm, taking into account the overall behavior in the given space. It differs from pointwise convergence, which only looks at specific points. For a sequence to converge in Lp space, it must be bounded, uniformly integrable, and the space must be complete. This type of convergence is significant in understanding the behavior and properties of the sequence. It is possible for a sequence to converge in Lp space but not pointwise, as pointwise convergence only considers specific points while Lp space looks at the overall behavior.
  • #1
SqueeSpleen
141
5
If [itex]f_{n} \underset{n \to \infty}{\longrightarrow} f[/itex] in [itex]L^{p}[/itex], [itex]1 \leq p < \infty[/itex], [itex]g_{n} \underset{n \to \infty}{\longrightarrow} g[/itex] pointwise and [itex]|| g_{m} ||_{\infty} \leq M \forall n \in \mathbb{N}[/itex] prove that:
[itex]f_{n} g_{n} \underset{n \to \infty}{\longrightarrow} fg[/itex] in [itex]L^{p}[/itex]

My attemp:

[itex]\displaystyle \int | f_{n} g_{n} - f g_{n} |^{p} = \displaystyle \int | g_{n} | | f_{n} - f |^{p} \leq M^{p} \displaystyle \int | f_{n} - f |^{p}[/itex]
Then [itex]f_{n} g_{n} \underset{n \to \infty}{\longrightarrow} f g_{n}[/itex] in [itex]L^{p}[/itex]
Now let's prove that [itex]f g_{n} \underset{n \to \infty}{\longrightarrow} fg [/itex] in [itex]L^{p}[/itex]
[itex]g_{n} \longrightarrow g[/itex] a.e. [itex]\Longrightarrow g_{n} \underset{\longrightarrow}{m} g[/itex]
[itex]\forall \varepsilon > 0, \forall \delta > 0, \exists n_{0} \in \mathbb{N} / \forall n \geq n_{0} :[/itex]
[itex]| D | = | \{ x / | g_{n} (x) - g(x) | \geq \delta \} | < \varepsilon[/itex]

[itex]\displaystyle \int | f g_{n} - fg |^{p} = \displaystyle \int | f |^{p} | g_{n} - g |^{p} \leq \displaystyle \int_{D} | f |^{p} M^{p} + \displaystyle \int_{D^{c}} | f |^{p} \delta^{p}[/itex]
I know [itex]| D | < \varepsilon[/itex], but [itex]f[/itex] isn't necessarily bounded in [itex] D [/itex], I need to prove that [itex]\int_{D} | f |^{p} \longrightarrow 0[/itex] as [itex]| D | \to 0[/itex]

Anyone has any idea?
Is this approach right or the last step is false and I need to rework the proof enterely?

Edit 2: Edit 1 was completely wrong so I deleted it.
 
Last edited:
Physics news on Phys.org
  • #2
You'll need to redo the proof start by adding an additional term and immediately subtracting it then use your bounds and the fact that gn => g and fn=>f pointwise.
 
  • #3
You mean to be able to apply dominated convergence theorem?

Anyway, I asked my teacher and he knew filled the last gap in my proof.

As
[itex]\displaystyle \int | f |^{p} < \infty \Longrightarrow \displaystyle \int_{E} | f |^{p} < \infty \forall E \subset R^{n}[/itex]
Then by the absolute continuity of the Lebesgue integral, for every [itex]\varepsilon > 0[/itex] there exists a [itex]\delta ' > 0 [/itex] such that:
[itex]| E | < \delta 0 \Longrightarrow | \displaystyle \int_{E} | f |^{p} | < \varepsilon [/itex]
As [itex](2M)^{p}[/itex]* is a constant, this converges to zero as [itex]\delta \to 0[/itex] and [itex]\varepsilon \to 0[/itex]
* I made a little mistake in the previous post:
[itex]| g - g_{n} |^{p} \leq (2M)^{p}[/itex] not only [itex]M^{p}[/itex]
 

FAQ: Why is the last step of my proof for convergence in L^{p} space correct?

What is convergence in Lp space?

Convergence in Lp space refers to the behavior of a sequence of functions or values in the Lp norm, which measures the size of a function or value in relation to the space it belongs to. It is a measure of how closely a sequence of functions or values approaches a limit in the Lp norm.

How is convergence in Lp space different from pointwise convergence?

Convergence in Lp space is different from pointwise convergence in that it considers the entire function or value in the given space, rather than just individual points. Pointwise convergence only looks at the behavior of a sequence of functions or values at specific points, while convergence in Lp space takes into account the overall behavior of the sequence in the given space.

What are the conditions for convergence in Lp space?

For a sequence of functions or values to converge in Lp space, it must satisfy the following conditions:

  • The sequence must be bounded in the Lp norm.
  • The sequence must be uniformly integrable.
  • The space in which the sequence is defined must be complete.

What is the significance of convergence in Lp space?

Convergence in Lp space is significant because it allows for the study of the behavior of a sequence of functions or values in relation to the space they belong to. It also provides a measure of how closely the sequence approaches a limit in the given space, which can help in understanding the behavior and properties of the sequence.

Can a sequence converge in Lp space but not pointwise?

Yes, a sequence can converge in Lp space but not pointwise. This is because pointwise convergence only considers the behavior of a sequence at specific points, while convergence in Lp space looks at the overall behavior of the sequence in the given space. So, even if the sequence does not converge at every point, it can still converge in Lp space if it satisfies the conditions for convergence in that space.

Back
Top