Proving F'(x)= f(x) using the definition of integral?

  • Context: Graduate 
  • Thread starter Thread starter irresistible
  • Start date Start date
  • Tags Tags
    Definition Integral
Click For Summary
SUMMARY

The discussion centers on proving that F(b) - F(a) = ∫ f(x) dx from the definition of the integral, given that F'(x) = f(x) for a differentiable function F on the interval [a, b]. The proof utilizes the concept of Riemann sums and the integral mean value theorem, establishing that the area under the curve f(x) can be represented as the difference in values of F at the endpoints of the interval. The approach emphasizes the use of partitions and limits to derive the fundamental relationship between differentiation and integration without relying on the Fundamental Theorem of Calculus.

PREREQUISITES
  • Understanding of Riemann sums and partitions in calculus
  • Familiarity with the integral mean value theorem
  • Knowledge of the definition of the integral as the area under a curve
  • Concept of continuity and differentiability of functions
NEXT STEPS
  • Study the properties of Riemann sums and their applications in integration
  • Explore the integral mean value theorem in greater detail
  • Learn about the Fundamental Theorem of Calculus and its implications
  • Investigate the relationship between continuity and differentiability in real analysis
USEFUL FOR

Students of calculus, mathematics educators, and anyone interested in the foundational principles of integration and differentiation.

irresistible
Messages
15
Reaction score
0
Hey guys,
Can you help me prove this?

Suppose that f:[a.b] -> R is integrable and that F:[a,b]->R is a differentiable function such thet F'(x)= f(x) for all xLaTeX Code: \\in [a,b].
Prove from the definition of the integral that;

F(b)-F(a) =LaTeX Code: \\int f(x) dx ( integral going from a to b)

I can prove this using the Fundamental theorem of calculus;however, this question specifically asks that we use the definition of integral to prove this:

I'm thinking that I have to use the "partition" prepositions to prove this.
Any ideas?
Thank you in advance guys!
 
Physics news on Phys.org
You could start by considering an equidistant partition
[tex]\mathcal P = \{ x_0 = a, x_1 = a + \Delta, x_2 = a + 2 \Delta, \cdots, x_N = a + N \Delta \}[/tex] where [tex]\Delta = \frac{b - a}{N}[/tex]
and writing down the left and right Riemann sums. Then I think it's fairly straightforward manipulations of series and limit taking.
 
I presume the "definition of the integral" you are talking about is "[itex]\int_a^b f(x)dx[/itex] is the area of the region bounded by y= f(x), y= 0, x= a, x= b" (I am assuming here that f(x) is greater than or equal to 0 and that f is continuous. You may want to generalize that.)

Let u be the minimum value of f(x) on [a,b] and U be the maximum value. Then that area lies between the areas of the two rectangles [itex]u(b-a)\le \int_a^b f(x)dx\le U(b-a)[/itex] since f is continuous there must exist a value [itex]\overline{x}[/itex], between a and b, such that [itex]\int_a^b f(x)dx= f(\overline{x})(b-a)[/itex]. (That's the "integral mean value theorem".)

Now define [tex]F(x)= \int_a^x f(t)dt[/tex]. Then [tex]F(x+h)= \int_a^{x+h} f(t)dt[/tex] and [tex]F(x+h)- F(x)= \int_a^{x+h}f(t)dt- \int_a^x f(t)dt= \int_x^{x+h}f(t)dt[/tex]

Applying the integral mean value theorem to that, for every non-zero h there must exist [itex]\overline{x}[/itex] between x and x+ h such that [tex]F(x+h)- F(x)= f(\overline{x})((x+h)- x)= f(\overline{x})h[/tex] and so
[tex]\frac{F(x+h)- F(x)}{h}= f(\overline{x})[/tex]
Since [itex]\overline{x}[/itex] always lies between x and x+h, as h goes to 0, [itex]\overline{x}[/itex] goes to x and, since f is continuous we have
[tex]\lim_{h\rightarrow 0}\frac{F(x+h)- F(x)}{h}= F'(x)= f(x)[/tex]
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 30 ·
2
Replies
30
Views
4K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 23 ·
Replies
23
Views
5K