• Aucun résultat trouvé

Fundamental Theorem of Calculus. Part I:

N/A
N/A
Protected

Academic year: 2021

Partager "Fundamental Theorem of Calculus. Part I:"

Copied!
38
0
0

Texte intégral

(1)

Fundamental Theorem of

Calculus. Part I:

Connection between integration

and differentiation

(2)

Motivation:

(3)

Definition: An antiderivative of a function f (x) is a function F (x) such that F 0(x) = f (x).

In other words, given the function f (x), you want to tell whose derivative it is.

Example 1. Find an antiderivative of 1.

An answer: x.

Example 2. Find an antiderivative of 1

1 + x2.

(4)

!!..??!..!?

(5)

Some antiderivatives can be found by reading differentiation formulas backwards:

[xα]0 = αxα−1 [cos x]0 = − sin x [tan x]0 = cos12 x [arctan x]0 = 1+x1 2 [arcsin x]0 = √ 1 1−x2

(6)

Limitation: there aren’t formulas for

sin(x2), e(x2), q

x + sin2(1 − x3)

?!?

(7)

An observation

No matter what object’s velocity v(t) is, its position d(t) is always an antiderivative of v(t): d0(t) = v(t). This suggests that all functions have antiderivatives.

(8)

Antiderivative of sin(t2) exists!

Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The car will move accordingly and the position of the car F (t) will give the antiderivative of sin(t2).

(9)

A hypothesis

Calculating antiderivatives must be similar to calculating position from velocity

(10)

Fundamental Theorem of Calculus

Naive derivation

(11)

Let, at initial time t0, position of the car on the road is d(t0) and velocity is v(t0). After a short period of time ∆t, the new position of the car is approximately

d(t1) ≈ d(t0) + v(t0)∆t, (t1 = t0 + ∆t) 4 4 4 4 4 h h h c t0 t1 t2 t3 v(t )0t v(t )0t h

(12)

After two moments of time d(t2) ≈ d(t0) + v(t0)∆t + v(t1)∆t, (t2 = t1 + ∆t) 4 4 4 4 4 h h c t0 t1 t2 v(t )1tt v(t )0t v(t )1t 4 4 4 h h t3 h

(13)

After n moments of time d(tn) ≈ d(t0) + v(t0)∆t + . . . + v(tn−1)∆t = d(t0) + n−1 X i=0 v(ti)∆t (tn = t0 + n∆t) 4 4 4 4 4 h h h h h c t0 t1 t2 t3 v(t )ntt v(t )0t v(t )1t v(t )n-1t

(14)

As ∆t → 0, (∆t = (t − t0)/n). d(t) − d(t0) = lim ∆t→0 n−1 X i=0 v(ti)∆t Compare this to Z t t0 v(τ )dτ = lim ∆t→0 n−1 X i=0 v(ti)∆t

(15)

Combining the two formulas d(t) − d(t0) = Z t t0 v(τ )dτ while d0(t) = v(t)

(16)

Assuming t0 = 0, d(t0) = 0, distance can be calculated from velocity by

d(t) =

Z t

0

v(τ )dτ

Is this a function in our regular sense? Yes, for each value of t it defines a unique number.

If d0(t) = v(t)? Yes. This constitutes the assertion of Fundamental Theorem of Calculus.

(17)

THEOREM. Let f (x) be a continuous function (so, the definite integral of f (x) exists). Then the function

F (x) = Z x a f (τ )dτ. is an antiderivative of f (x), F 0(x) = f (x). d dx Z x a f (τ )dτ  = f (x)

(18)
(19)

d dx Z x a f (τ )dτ  = f (x)

Example 3. Find an antiderivative of

f (x) = sin(x2).

An answer: F (x) =

Z x

0

(20)

d dx Z x a f (τ )dτ  = f (x)

Example 4. Find an antiderivative of

f (x) = e(x2).

An answer: G(x) =

Z x

0

(21)

d dx Z x a f (τ )dτ  = f (x)

Example 5. Find an antiderivative of

f (x) = q x + sin2(1 − x3). An answer: H(x) = Z x 0 q τ + sin2(1 − τ 3)dτ .

(22)

d dx Z x a f (τ )dτ  = f (x) Example 6. Calculate F 0(x) if F (x) = Z x 0 sin(τ 2)dτ Answer: sin(x2).

(23)

d dx Z x a f (τ )dτ  = f (x) Example 7. Calculate G0(x) if G(x) = Z x 0 e(τ2)dτ Answer: e(x2).

(24)

d dx Z x a f (τ )dτ  = f (x) Example 8. Calculate H0(x) if H(x) = Z x 0 q τ + sin2(1 − τ 3)dτ Answer: q x + sin2(1 − x3).

(25)

d dx Z x a f (τ )dτ  = f (x) Example 9. Calculate F 0(x) if F (x) = Z 0 x sin(τ 2)dτ Solution: d dxF (x) = d dx " Z 0 x sin(τ 2)dτ # = d  − Z x sin(τ 2)dτ  = − sin(x2)

(26)

d dx Z x a f (τ )dτ  = f (x) Example 10. Calculate G0(x) if G(x) = Z 5x 1 sin(τ 2)dτ

Trick. Introduce F (x) = R1x sin(τ 2)dτ , so, G(x) = F (5x).

(27)

Use the Chain Rule to find the derivative d dxG(x) = d dxF (5x) = F 0(5x)[5x]0 = sin((5x)2)5.

(28)

d dx Z x a f (τ )dτ  = f (x) Example 11. Calculate H0(x) if H(x) = Z x3 π sin(τ 2)dτ

Trick. Introduce F (x) = Rπx sin(τ 2)dτ , so, H(x) = F (x3).

(29)

Use the Chain Rule to find the derivative d dxH(x) = d dxF (x 3 ) = F 0(x3)[x3]0 = sin((x3)2)3x2.

(30)

Example 12. Calculate G0(x) if G(x) = Z x3 √ x sin(τ 2)dτ

Solution: First, notice that

G(x) = Z 0 √ x sin(τ 2)dτ + Z x3 0 sin(τ 2)dτ

Trick. Introduce F (x) = R0x sin(τ 2)dτ , so,

(31)

Use FTC to calculate F 0(x) = sin(x2). Use the Chain Rule to find the derivative

d dxG(x) = − d dxF ( √ x) + d dxF (x 3 ) = −F 0(√x)[√x]0 + F 0(x3)[x3]0 = − sin((√x)2) 1 2√x + sin((x 3 )2)3x2.

(32)

Control exercises Example 13. Calculate F 0(x) if F (x) = Z 1+x2 1−x2 sin(τ 2)dτ Example 14. Calculate G0(x) if G(x) = Z x 1 x2 sin(τ 2)dτ

(33)

Fundamental Theorem of Calculus

Proof of Part I

(34)

We will be using two facts

Interval Additive Property:

Z b a f (τ )dτ = Z c a f (τ )dτ + Z b c f (τ )dτ Comparison Property: If m ≤ f (x) ≤ M on [a, b] m(b − a) ≤ Z b a f (τ )dτ ≤ M (b − a)

(35)

Let F (x) =

Z x

a

f (τ )dτ .

We will now show that F 0(x) = f (x).

By definition F 0(x) = lim h→0 F (x + h) − F (x) h = lim h→0 R x+h a f (τ )dτ − R x a f (τ )dτ h

(36)

Notice, that by the Interval Additive Property Z x+h a f (τ )dτ − Z x a f (τ )dτ = Z x+h x f (τ )dτ Therefore, F 0(x) = lim h→0 R x+h a f (τ )dτ − R x a f (τ )dτ h = lim h→0 1 h Z x+h x f (τ )dτ

(37)

Also, by the Comparison Property, for m = min τ ∈[x,x+h] f (τ ), M = max τ ∈[x,x+h] f (τ ) one has mh ≤ Z x+h x f (τ )dτ ≤ M h or, dividing by h, m ≤ 1 h Z x+h x f (τ )dτ ≤ M

(38)

Finally, by the Squeeze Theorem, expression m ≤ 1 h Z x+h x f (τ )dτ ≤ M converges to f (x) ≤ lim h→0 1 h Z x+h x f (τ )dτ ≤ f (x)

since both m = min f (τ ) and M = max f (τ ) on [x, x + h] coincide with f (x) as h → 0

Références

Documents relatifs

We have extended the Brown's fundamental theorem on ne ferromagnetic particles to the case of a general ellipsoid, and given (by means of Poincaré inequality for the Sobolev space H

This result can be generalized to higher codimension [10], and the classical Fundamental Theorem of Submanifolds states that, in fact, the Gauss, Codazzi and Ricci equations

The Fundamental Theorem of Tropical Di ff erential Algebraic Geometry and its extensions state that the support of power series solutions of systems of ordinary di ff erential

For now, we’ll just say that the correct way to define improper integrals is as a limit of well–defined approximating integrals. The approximating integrals have restricted domains

The Fundamental Theorem of Calculus

The Fundamental Theorem of Calculus

Tsuji [9] replaced the arithmetic mean in the définition of uniform distribution by certain weighted means and proved an analogue of van der Corput’s theorem

Kepler conjetura la existencia de un punto límite F sobre el eje AD tal que, más allá de F toda la radiación que proviene de un punto allí ubicado interseca al eje al otro lado de