Property of a limit of functions of average value zero in L^2 space

Click For Summary
SUMMARY

The discussion centers on the property of limits of functions with average value zero in L^2 space. It establishes that if a sequence of functions \( f_k \) converges to a function \( f \) in L^2(\Omega) and each \( f_k \) has an integral of zero over a finite domain \( \Omega \), then the integral of \( f \) over \( \Omega \) is also zero. The proof involves applying Hölder's inequality and recognizing the implications of the finite measure of \( \Omega \) on the convergence of the integrals.

PREREQUISITES
  • Understanding of L^2 space and convergence in L^2 norms
  • Familiarity with Hölder's inequality
  • Knowledge of integration over finite measure spaces
  • Basic concepts of functional analysis
NEXT STEPS
  • Study the properties of L^p spaces, focusing on L^2 convergence
  • Explore applications of Hölder's inequality in functional analysis
  • Investigate examples of functions in L^2 space with zero average
  • Learn about the implications of finite measure in integration theory
USEFUL FOR

Mathematicians, graduate students in analysis, and anyone studying properties of function limits in L^2 spaces will benefit from this discussion.

lmedin02
Messages
52
Reaction score
0

Homework Statement



Let f_k\rightarrow f in L^2(\Omega) where |\Omega| is finite. If \int_{\Omega}{f_k(x)}dx=0 for all k=1,2,3,\ldots, then \int_{\Omega}{f(x)}dx=0.

Homework Equations





The Attempt at a Solution


I started by playing around with Holder's inequality and constructing examples where this is the case. Since every other example I create usually does not converge to a function. I used functions defined on a bounded symmetric interval like \dfrac{1}{k}x, \sin(\dfrac{1}{k}x). However, I do not see how to actually set up to make this conclusion.
 
Physics news on Phys.org


What if you write
$$\begin{align} \left| \int_{\Omega} f(x) dx \right| &=
\left| \int_{\Omega} f(x) dx - \int_{\Omega} f_k(x) dx \right| \\
&= \left|\int_{\Omega} (f(x) - f_k(x)) dx \right| \\
\end{align}$$
and apply an appropriate inequality to the right hand side?
 


Got it. Thanks. Using Holder's inequality and noting that the size of \Omega is finite the results follows since f_k\rightarrow f in L^2(\Omega).
 
Last edited:

Similar threads

  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
9
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K