Integral Inequality for Measurable Functions

Click For Summary
SUMMARY

The discussion centers on the integral inequality for measurable functions, specifically the condition that for a positive measurable function \( f \) defined on an open bounded set \( \Omega \), the inequality \( \int_{\Omega} [f(x)]^m dx \leq C \left( \int_{\Omega} f(x)dx \right)^{m} \) holds for constants \( C, m > 0 \). It is established that the sup-norm \( \|f\|_\infty \) exists and is bounded by the \( L^1 \) norm \( \|f\|_1 \), implying that \( f \) must be bounded almost everywhere. This conclusion is derived by taking limits as \( m \) approaches infinity.

PREREQUISITES
  • Understanding of measurable functions and their properties
  • Familiarity with \( L^p \) spaces, particularly \( L^1 \) and \( L^\infty \)
  • Knowledge of integral calculus and inequalities
  • Basic concepts of functional analysis
NEXT STEPS
  • Study the properties of \( L^p \) spaces, focusing on the relationship between different norms
  • Explore the Lebesgue Dominated Convergence Theorem for deeper insights into integrable functions
  • Investigate the implications of the Riesz Representation Theorem in functional analysis
  • Learn about the applications of integral inequalities in real analysis and probability theory
USEFUL FOR

Mathematicians, students of analysis, and researchers in functional analysis who are interested in the properties of measurable functions and integral inequalities.

amirmath
Messages
8
Reaction score
0
For what class of functions we have:
$$
\int_{\Omega} [f(x)]^m dx \leq
C\Bigr ( \int_{\Omega} f(x)dx\Bigr)^{m},
$$
where ##\Omega## is open bounded and ##f## is measurable on ##\Omega## and ##C,m>0##.
 
Physics news on Phys.org
For all ##m##?

Well, take ##f## positive. You want ##\|f\|_m\leq C^{1/m}\|f\|_1##, for all ##m##. So by taking limits, we get

[tex]\|f\|_\infty = \lim_{m\rightarrow +\infty} \|f\|_m\leq \lim_{m\rightarrow +\infty}C^{1/m}\|f\|_1 = \|f\|_1[/tex]

In particular, you want the sup-norm to exist. This already forces your function to be bounded a.e.
 
Last edited:

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
4K
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K