Need help with a simple integral proof

  • Context: Undergrad 
  • Thread starter Thread starter tolove
  • Start date Start date
  • Tags Tags
    Integral Proof
Click For Summary
SUMMARY

The discussion centers on proving the inequality \(\int_{1}^{n+1} f(x) dx \leq a_{1} + a_{2} + \cdots + a_{n}\) for a positive decreasing function \(f\) where \(f(n) = a_n\). The proof involves expressing the left side as a sum of integrals over intervals and demonstrating that each integral is less than or equal to the corresponding term on the right side, which consists of the areas represented by the sequence \(a_n\). The key insight is that the area under the curve of \(f(x)\) is always less than the area of the piecewise constant function defined by \(a_n\).

PREREQUISITES
  • Understanding of definite integrals and their properties
  • Familiarity with the concept of decreasing functions
  • Knowledge of piecewise functions and their graphical representation
  • Basic summation notation and series convergence
NEXT STEPS
  • Study the properties of definite integrals, particularly the comparison theorem
  • Learn about piecewise functions and their applications in calculus
  • Explore the concept of convergence in series and its implications for integrals
  • Investigate the relationship between integrals and areas under curves in more depth
USEFUL FOR

Students and educators in calculus, mathematicians focusing on analysis, and anyone interested in understanding the relationship between integrals and series in mathematical proofs.

tolove
Messages
164
Reaction score
1
f is a positive decreasing function of x, f(n) = an for all n:

[itex]\int\stackrel{n+1}{1} f(x) dx[/itex] [itex]\leq[/itex] a[itex]_{1}[/itex] + a[itex]_{2}[/itex] + [itex]\cdots[/itex] + a[itex]_{n}[/itex]

Why is this true? I think I'm missing a fundamental understanding of summation, since the reasoning for this step was left out in my book.

[edited out some nonsense]

Thanks for any help!
 
Last edited:
Physics news on Phys.org
Write the left side of the inequality as [itex]\int^{2}_{1}f(x)dx+\int^{3}_{2}f(x)dx+\dots\int^{n+1}_{n}f(x)dx[/itex] and the right side as [itex]\int^{2}_{1}a_{1}dx+\int^{3}_{2}a_{2}dx+\dots\int^{n+1}_{n}a_{n}dx[/itex] and show that each term on the LHS is smaller than the corresponding term on the RHS. Note that [itex]\int^{b}_{a}f(x)dx\leq\int^{b}_{a}g(x)dx[/itex] if [itex]f(x)\leq g(x)[/itex] on interval [a,b].
 
hilbert2 said:
Write the left side of the inequality as [itex]\int^{2}_{1}f(x)dx+\int^{3}_{2}f(x)dx+\dots\int^{n+1}_{n}f(x)dx[/itex] and the right side as [itex]\int^{2}_{1}a_{1}dx+\int^{3}_{2}a_{2}dx+\dots\int^{n+1}_{n}a_{n}dx[/itex] and show that each term on the LHS is smaller than the corresponding term on the RHS. Note that [itex]\int^{b}_{a}f(x)dx\leq\int^{b}_{a}g(x)dx[/itex] if [itex]f(x)\leq g(x)[/itex] on interval [a,b].

Alright. I've got this, I think.

In order to make sense of the series, I should represent it as a piecewise graph with height an and a width Δx, where Δx is always 1. The area of each piece of such a graph will be an*Δx, which is just an.

If Ʃ an is continuous, etc, then I can compare it to a function, f. f(x) is always going to dip underneath (in the case of decreasing functions) or be equal to the horizontal line y = an for each interval. Thus the area of f(x) is always less than the area of the piecewise graph. And, when calculating the area of f(x), I need to go out one more step, n+1, since the Δx from the piecewise graph steps out one further.

Thank you very much!
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K