Integral as Antiderivative: A Mathematical Proof

In summary: It is exactly the same thing as the proof I gave! The difference is I used geometry and you used the definition of the integral. That's a good thing- it's important to realize that the two are the same. But the proof is the same.In summary, the fundamental theorem of calculus states that given an integrable function f:[a,b]\mapsto \mathbb{R}, the function g(x) = \int_a^x f(t) dt for all t\in [a,b] is continuous on [a,b]. Additionally, if f is continuous at t_0 \in (a,b), then g is differentiable at t_0 with g'(x_0)=f
  • #1
anantchowdhary
372
0
Is there a mathematical proof that can prove that the integral is the antiderivative?
 
Physics news on Phys.org
  • #2
fundamental theorem of calculus

Look up the fundamental theorem of calculus.
 
  • #3
umm...ive tried to study it...but my question is a little different...i meant to say..

if we take out the area of the graph of a function f(x) bound at certain limits, then..is there any way to prove that the indefinite integral gives us the antiderivative of the function

or rather..the area bound under two limits of the function is simply the limits applied to the antiderivative of the function
 
  • #4
Given an integrable function [tex]f:[a,b]\mapsto \mathbb{R}[/tex] we define,
[tex]g(x) = \int_a^x f(t) dt[/tex] for all [tex]t\in [a,b][/tex].
Then, [tex]g[/tex] is a continuous function on [tex][a,b][/tex]. And furthermore if [tex]f[/tex] is continuous at [tex]t_0 \in (a,b)[/tex] then [tex]g[/tex] is differentiable at [tex]t_0[/tex] with [tex]g'(x_0)=f(x_0)[/tex]

Are you asking this?
 
  • #5
suppose f is aN INCREASING CONTINUOUS FUNCTION. then the area under the graph between x and x+h is between f(x)h and f(x+h)h,

i.e.f(x)h < A(x+h)-A(x) < f(x+h)h.

satisfy yourself of this by drawing a picture.

now the derivative of that area function is the limit of [A(x+h)-A(x)]/h, as h goes to zero.

by the inequality above, this limit iscaught b etween f(x) and f(x+h), for all h, which emans, since f is continuious, it equals f(x). i.e. dA/dx= f(x).now in creasing is not n eeded ubt makes it easier.
 
  • #6
thanks..ill give it a thought
 
  • #7
A little more generally- assume f(x)> 0 for a< x< b. For any number n, divide the interval from a to b into n equal sub-intervals (each of length (b-a)/n)). Construct on each a rectangle having height equal to the minimum value of f on the interval- that is, each rectangle is completely "below" the graph. Let An be the total area of those rectangles. Since each rectangle is contained in the region below the graph of f, it is obvious that [itex]A_n \le A[/itex] where A is the area of that region (the "area below the graph").

Now do exactly the same thing except taking the height to be the maximum value of f in each interval. Now, the top of each interval is above the graph of f so the region under f is completely contained in the union of all the rectangles. Taking An to be the total area of all those rectangles, we must have [itex]A \le A^n[/itex].

That is, for all n, [itex]A_n \le A \le A^n[/itex]

If f HAS an integral (if f is integrable) then, by definition, the limits of An and An must be the same- and equal to the integral of f from a to b. Since A is always "trapped" between those two values, the two limits must be equal to A: The area is equal to the integral of f from a to b.

That's pretty much the proof given in any Calculus book.
 
  • #8
"is there any way to prove that the indefinite integral gives us the antiderivative of the function"

I seemed to understand this as - ' is there any way to prove F(x), where F'(x)=f(x), is the same function as the function given by [tex]\int f(x) dx[/tex].' The fundamental theorem of Calculus shows when we put upper and lower bounds, b and a, on the integral, it results in F(b) - F(a), however to the specific question as I understood, the dropping of bounds is just a nice notation for the integral/antiderivatve function.
 
  • #9
HallsofIvy said:
A little more generally- assume f(x)> 0 for a< x< b. For any number n, divide the interval from a to b into n equal sub-intervals (each of length (b-a)/n)). Construct on each a rectangle having height equal to the minimum value of f on the interval- that is, each rectangle is completely "below" the graph. Let An be the total area of those rectangles. Since each rectangle is contained in the region below the graph of f, it is obvious that [itex]A_n \le A[/itex] where A is the area of that region (the "area below the graph").

Now do exactly the same thing except taking the height to be the maximum value of f in each interval. Now, the top of each interval is above the graph of f so the region under f is completely contained in the union of all the rectangles. Taking An to be the total area of all those rectangles, we must have [itex]A \le A^n[/itex].

That is, for all n, [itex]A_n \le A \le A^n[/itex]

If f HAS an integral (if f is integrable) then, by definition, the limits of An and An must be the same- and equal to the integral of f from a to b. Since A is always "trapped" between those two values, the two limits must be equal to A: The area is equal to the integral of f from a to b.

That's pretty much the proof given in any Calculus book.
umm...i tried this out..i Followed pretty much of it

but how do we prove that dA/dx=f(x)?

thanks
 
  • #10
notice the proof i gave for the increasing case, which is due to newtton, does not need the deep theorem that a continuous function always has a max and a min on a closed bounded interval.

it also covers (when used piecewise) all polynomials, con tinuous rational functions, and continuous trig functions, that occur in practice. hence there is

no reason for books to omit this proof or banish it to an appendix.
 
  • #11
Define F(x) to be
[tex]\int_a^x f(t)dt[/tex]
For f(x)> 0 we can interpret that as the area between the graph y= f(x) and the x-axis, from a to the fixed value x. Then F(x+h) is
[tex]\int a^{x+h}f(t)dt[/tex]
the area between the graph y= f(x) and x-axis, from a to the fixed value x+h.

Now F(x+h)- F(x) is the area between the graph y= f(x), between x and x+h. It's not difficult to see that is equal to the area of the rectangle with base x to x+h and height f(x*) where x* is some value between x and x+h: That is F(x+h)- F(x)= hf(x*). Then
[tex]\frac{F(x+h)- F(x)}{h}= f(x^*)[/tex]
Taking the limit as h goes to 0 forces x*, which is always between x and x+h, to go to x.
Therefore
[tex]\frac{dF}{dx}= \lim_{h\rightarrow 0} \frac{F(x+h)- F(x)}{h}= f(x)[/tex]
 
  • #12
let me combine halls discussion with mine in post 5.

he has shown, modulo the theorem that max and min exist,

that in my notation, if m(h) is the min of f on the interval [x,x+h], and if M(h) is the max,

that m(h)h < A(x+h)-A(x) < M(h)h.

where < means less than or equal.

Then again if we compute the derivative of A as the limit of
[A(x+h)-A(x)]/h

as h goes to 0, we see by the inequalities that [A(x+h)-A(x)]/h
is squeezed between

M(h) and m(h) for all h. since f is continuous, these numbers both apprioach f(x), so lim [A(x+h)-A(x)]/h
= dA/dx = f(x).
 
  • #13
to prove the point halls says is "not difficult to see", uses the intermediate value theorem, in case you do not see it.
 
Last edited:
  • #14
thanks a lot for the proof!:smile::biggrin:
 
  • #15
"It is easy to see ..." means "I think there is a proof but I can't remember it just now".

"Obvious to the most casual observer" means "I hope no one asks me to prove it"!
 
  • #16
"It is easy to see ..." means "I think there is a proof but I can't remember it just now".

"Obvious to the most casual observer" means "I hope no one asks me to prove it"!
 
  • #17
mathwonk said:
suppose f is aN INCREASING CONTINUOUS FUNCTION. then the area under the graph between x and x+h is between f(x)h and f(x+h)h,

i.e.f(x)h < A(x+h)-A(x) < f(x+h)h.

satisfy yourself of this by drawing a picture.

now the derivative of that area function is the limit of [A(x+h)-A(x)]/h, as h goes to zero.

by the inequality above, this limit iscaught b etween f(x) and f(x+h), for all h, which emans, since f is continuious, it equals f(x). i.e. dA/dx= f(x).


now in creasing is not n eeded ubt makes it easier.


This is a beauty... incomplete though. I believe,for a student new to calculus, it is enough to remove all mental barriers about the fact whether an integral is anti-derivative.
 
  • #18
Technically the indefinite integral is defined to be the anti-derivative (or rather a variable anti-derivative depending on an arbitrary constant since "the" anti-derivative is not unique.)

The definite integral is a value rather than a function so you can't call it an anti-derivative.

That technical nit picking aside see your undergraduate calculus text and the two forms of the FTC.
 

1. What is an integral as an antiderivative?

An integral as an antiderivative is a mathematical concept that describes the relationship between the derivative and the integral of a function. It states that the integral of a function is the antiderivative of its derivative.

2. How is the integral as an antiderivative used in mathematics?

The integral as an antiderivative is used in various mathematical applications, such as calculating areas under curves, finding volumes of solids, and solving differential equations. It is also an essential tool in calculus and helps in understanding the behavior of functions.

3. What is the process of proving the integral as an antiderivative?

The proof of the integral as an antiderivative involves using the fundamental theorem of calculus, which states that the definite integral of a function is equal to the difference of its antiderivative evaluated at the upper and lower limits of integration. This theorem is then applied to show that the derivative of the integral of a function is equal to the original function.

4. Are there any limitations to the integral as an antiderivative?

There are some limitations to the integral as an antiderivative, such as the function must be continuous and defined on the given interval. Also, certain functions, such as those with vertical asymptotes, do not have antiderivatives.

5. Why is understanding the integral as an antiderivative important?

Understanding the integral as an antiderivative is crucial in many fields of science and engineering, as it allows for the calculation of various quantities and helps in solving equations. It also provides a deeper understanding of the relationship between derivatives and integrals, which is fundamental in calculus.

Similar threads

Replies
20
Views
2K
Replies
8
Views
936
Replies
3
Views
1K
  • Calculus
Replies
6
Views
1K
Replies
7
Views
1K
  • Calculus
Replies
17
Views
2K
Replies
15
Views
2K
Replies
4
Views
2K
Replies
7
Views
1K
Back
Top