Proving Limit of Integral for Nonnegative Continuous Function on [0,1]

  • Thread starter Thread starter adpc
  • Start date Start date
  • Tags Tags
    Integral Limit
Click For Summary
SUMMARY

The discussion centers on proving the limit of the integral of a nonnegative continuous function \( f \) on the interval \([0,1]\). The key result is that \(\lim_{n \rightarrow \infty} \left[ \int^1_0 f(t)^n dt \right]^{1/n} = M\), where \( M \) is the supremum of \( f \). The solution involves applying the squeeze theorem and leveraging properties of upper sums to compute the limit effectively.

PREREQUISITES
  • Understanding of limits and continuity in calculus
  • Familiarity with the concept of supremum in real analysis
  • Knowledge of the squeeze theorem and its application
  • Basic integration techniques for continuous functions
NEXT STEPS
  • Study the application of the squeeze theorem in real analysis
  • Explore properties of supremum and infimum in the context of integrals
  • Learn about upper and lower sums in the context of Riemann integration
  • Investigate the behavior of limits involving integrals of continuous functions
USEFUL FOR

Mathematics students, particularly those studying real analysis, calculus, or anyone interested in understanding the behavior of integrals of continuous functions.

adpc
Messages
5
Reaction score
0

Homework Statement


f nonnegative continuous function on the interval [0,1]. Let M be the supremum of f on the interval. Prove:
\lim_{n \rightarrow \infty} \left[ \int^1_0 f(t)^n dt \right] ^{1/n} = M


Homework Equations





The Attempt at a Solution


I was trying using Upper Sums but I don't know how to compute the limit.
 
Physics news on Phys.org
It seems like you need following intermediate result:

Let x_1,...x_n be real numbers and w_1,...,w_n be positive such that w_1+...+w_n=1. Assume without loss of generality that x_1 is the greatest among the x_i. Then

\lim_{n\rightarrow+\infty}{\sqrt[n]{\sum_{i=1}^k{w_ix_i^n}}}=x_1.

HINT: Show, using the squeeze theorem, that

\lim_{n\rightarrow +\infty}{\left(\frac{1}{n} ln\left(\frac{\sum_{i=1}^k{w_ix_i^n}}{x_1^n}\right)\right)}=0
 
Just think about this simple case.

Suppose you have a function that is M for a little interval of width \delta, and zero otherwise. Never mind that it isn't continuous and all that. Now what's the integral there? And what's the limit? That should put you on the right track.
 

Similar threads

Replies
17
Views
3K
Replies
7
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K