Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2)...
Transcript of Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2)...
![Page 1: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/1.jpg)
Fundamental Theorem ofCalculus. Part I:
Connection between integrationand differentiation
– Typeset by FoilTEX – 1
![Page 2: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/2.jpg)
Motivation:
Problem of finding antiderivatives
– Typeset by FoilTEX – 2
![Page 3: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/3.jpg)
Definition: An antiderivative of a function f(x)is a function F (x) such that F ′(x) = f(x).
In other words, given the function f(x), you wantto tell whose derivative it is.
Example 1. Find an antiderivative of 1.
An answer: x.
Example 2. Find an antiderivative of1
1 + x2.
An answer: arctanx.
– Typeset by FoilTEX – 3
![Page 4: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/4.jpg)
!!..??!..!?
HOW DO YOU KNOW?
– Typeset by FoilTEX – 4
![Page 5: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/5.jpg)
Some antiderivatives can be found by readingdifferentiation formulas backwards:
[xα]′ = αxα−1
[cos x]′ = − sinx
[tanx]′ = 1cos2 x
[arctan x]′ = 11+x2
[arcsinx]′ = 1√1−x2
– Typeset by FoilTEX – 5
![Page 6: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/6.jpg)
Limitation: there aren’t formulas for
sin(x2), e(x2),√x + sin2(1 − x3)
?!?
Do these functions have antiderivatives?
– Typeset by FoilTEX – 6
![Page 7: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/7.jpg)
An observation
No matter what object’s velocity v(t) is, itsposition d(t) is always an antiderivative of v(t):d′(t) = v(t). This suggests that all functionshave antiderivatives.
– Typeset by FoilTEX – 7
![Page 8: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/8.jpg)
Antiderivative of sin(t2) exists!
Suppose the speed of my car obeys sin(t2)(do not try it on the road!). The car will moveaccordingly and the position of the car F (t)will give the antiderivative of sin(t2).
– Typeset by FoilTEX – 8
![Page 9: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/9.jpg)
A hypothesis
Calculating antiderivatives must be similar tocalculating position from velocity
– Typeset by FoilTEX – 9
![Page 10: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/10.jpg)
Fundamental Theorem of Calculus
Naive derivation
– Typeset by FoilTEX – 10
![Page 11: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/11.jpg)
Let, at initial time t0, position of the car onthe road is d(t0) and velocity is v(t0). After ashort period of time ∆t, the new position ofthe car is approximately
d(t1) ≈ d(t0) + v(t0)∆t, (t1 = t0 + ∆t)
4 4
4
4
4 h
hh
c
t0 t1
t2t3
v(t )0
∆t
v(t )0 ∆t
h
– Typeset by FoilTEX – 11
![Page 12: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/12.jpg)
After two moments of time
d(t2) ≈ d(t0) + v(t0)∆t + v(t1)∆t,
(t2 = t1 + ∆t)
4 4
4
4
4 hh c
t0 t1
t2
v(t )1
∆t ∆t
v(t )0 ∆tv(t )1 ∆t
4 4 4
hh
t3h
– Typeset by FoilTEX – 12
![Page 13: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/13.jpg)
After n moments of time
d(tn) ≈ d(t0) + v(t0)∆t + . . . + v(tn−1)∆t
= d(t0) +n−1∑i=0
v(ti)∆t
(tn = t0 + n∆t)
4 4
4
4
4 h
h
h
h
hc
t0 t1
t2t3 v(t )n
∆t ∆t
v(t )0 ∆tv(t )1 ∆t
v(t )n-1 ∆t
– Typeset by FoilTEX – 13
![Page 14: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/14.jpg)
As ∆t → 0, (∆t = (t − t0)/n).
d(t) − d(t0) = lim∆t→0
n−1∑i=0
v(ti)∆t
Compare this to∫ t
t0
v(τ )dτ = lim∆t→0
n−1∑i=0
v(ti)∆t
– Typeset by FoilTEX – 14
![Page 15: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/15.jpg)
Combining the two formulas
d(t) − d(t0) =∫ t
t0
v(τ )dτ
while
d′(t) = v(t)
– Typeset by FoilTEX – 15
![Page 16: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/16.jpg)
Assuming t0 = 0, d(t0) = 0, distance can becalculated from velocity by
d(t) =∫ t
0v(τ )dτ
Is this a function in our regular sense? Yes, foreach value of t it defines a unique number.
If d′(t) = v(t)? Yes. This constitutes theassertion of Fundamental Theorem of Calculus.
– Typeset by FoilTEX – 16
![Page 17: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/17.jpg)
THEOREM. Let f(x) be a continuousfunction (so, the definite integral of f(x)exists). Then the function
F (x) =∫ x
a
f(τ )dτ.
is an antiderivative of f(x), F ′(x) = f(x).
d
dx
[∫ x
a
f(τ )dτ
]= f(x)
– Typeset by FoilTEX – 17
![Page 18: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/18.jpg)
EXAMPLES
– Typeset by FoilTEX – 18
![Page 19: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/19.jpg)
d
dx
[∫ x
a
f(τ )dτ
]= f(x)
Example 3. Find an antiderivative of
f(x) = sin(x2).
An answer: F (x) =∫ x
0sin(τ 2)dτ .
– Typeset by FoilTEX – 19
![Page 20: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/20.jpg)
d
dx
[∫ x
a
f(τ )dτ
]= f(x)
Example 4. Find an antiderivative of
f(x) = e(x2).
An answer: G(x) =∫ x
0e(τ2)dτ .
– Typeset by FoilTEX – 20
![Page 21: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/21.jpg)
d
dx
[∫ x
a
f(τ )dτ
]= f(x)
Example 5. Find an antiderivative of
f(x) =√
x + sin2(1 − x3).
An answer:
H(x) =∫ x
0
√τ + sin2(1 − τ 3)dτ .
– Typeset by FoilTEX – 21
![Page 22: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/22.jpg)
d
dx
[∫ x
a
f(τ )dτ
]= f(x)
Example 6. Calculate F ′(x) if
F (x) =∫ x
0sin(τ 2)dτ
Answer: sin(x2).
– Typeset by FoilTEX – 22
![Page 23: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/23.jpg)
d
dx
[∫ x
a
f(τ )dτ
]= f(x)
Example 7. Calculate G′(x) if
G(x) =∫ x
0e(τ2)dτ
Answer: e(x2).
– Typeset by FoilTEX – 23
![Page 24: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/24.jpg)
d
dx
[∫ x
a
f(τ )dτ
]= f(x)
Example 8. Calculate H ′(x) if
H(x) =∫ x
0
√τ + sin2(1 − τ 3)dτ
Answer:√
x + sin2(1 − x3).
– Typeset by FoilTEX – 24
![Page 25: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/25.jpg)
d
dx
[∫ x
a
f(τ )dτ
]= f(x)
Example 9. Calculate F ′(x) if
F (x) =∫ 0
x
sin(τ 2)dτ
Solution:d
dxF (x) =
d
dx
[∫ 0
x
sin(τ 2)dτ
]=
d
dx
[−
∫ x
0sin(τ 2)dτ
]= − sin(x2)
– Typeset by FoilTEX – 25
![Page 26: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/26.jpg)
d
dx
[∫ x
a
f(τ )dτ
]= f(x)
Example 10. Calculate G′(x) if
G(x) =∫ 5x
1sin(τ 2)dτ
Trick. Introduce F (x) =∫ x
1 sin(τ 2)dτ , so,G(x) = F (5x).
Use FTC to calculate F ′(x) = sin(x2).
– Typeset by FoilTEX – 26
![Page 27: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/27.jpg)
Use the Chain Rule to find the derivative
d
dxG(x) =
d
dxF (5x)
= F ′(5x)[5x]′ = sin((5x)2)5.
– Typeset by FoilTEX – 27
![Page 28: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/28.jpg)
d
dx
[∫ x
a
f(τ )dτ
]= f(x)
Example 11. Calculate H ′(x) if
H(x) =∫ x3
π
sin(τ 2)dτ
Trick. Introduce F (x) =∫ x
π sin(τ 2)dτ , so,H(x) = F (x3).
Use FTC to calculate F ′(x) = sin(x2).
– Typeset by FoilTEX – 28
![Page 29: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/29.jpg)
Use the Chain Rule to find the derivative
d
dxH(x) =
d
dxF (x3)
= F ′(x3)[x3]′ = sin((x3)2)3x2.
– Typeset by FoilTEX – 29
![Page 30: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/30.jpg)
Example 12. Calculate G′(x) if
G(x) =∫ x3
√x
sin(τ 2)dτ
Solution: First, notice that
G(x) =∫ 0
√x
sin(τ 2)dτ +∫ x3
0sin(τ 2)dτ
Trick. Introduce F (x) =∫ x
0 sin(τ 2)dτ , so,
G(x) = −F (√
x) + F (x3).
– Typeset by FoilTEX – 30
![Page 31: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/31.jpg)
Use FTC to calculate F ′(x) = sin(x2).
Use the Chain Rule to find the derivative
d
dxG(x) = −
d
dxF (
√x) +
d
dxF (x3)
= −F ′(√
x)[√
x]′ + F ′(x3)[x3]′
= − sin((√
x)2)1
2√
x+ sin((x3)2)3x2.
– Typeset by FoilTEX – 31
![Page 32: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/32.jpg)
Control exercises
Example 13. Calculate F ′(x) if
F (x) =∫ 1+x2
1−x2sin(τ 2)dτ
Example 14. Calculate G′(x) if
G(x) =∫ x
1x2 sin(τ 2)dτ
– Typeset by FoilTEX – 32
![Page 33: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/33.jpg)
Fundamental Theorem of Calculus
Proof of Part I
– Typeset by FoilTEX – 33
![Page 34: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/34.jpg)
We will be using two facts
Interval Additive Property:∫ b
a
f(τ )dτ =∫ c
a
f(τ )dτ +∫ b
c
f(τ )dτ
Comparison Property: If m ≤ f(x) ≤ M on[a, b]
m(b − a) ≤∫ b
a
f(τ )dτ ≤ M(b − a)
– Typeset by FoilTEX – 34
![Page 35: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/35.jpg)
Let F (x) =∫ x
a
f(τ )dτ .
We will now show that F ′(x) = f(x).
By definition
F ′(x) = limh→0
F (x + h) − F (x)
h
= limh→0
∫ x+h
a f(τ )dτ −∫ x
a f(τ )dτ
h
– Typeset by FoilTEX – 35
![Page 36: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/36.jpg)
Notice, that by the Interval Additive Property∫ x+h
a
f(τ )dτ −∫ x
a
f(τ )dτ =∫ x+h
x
f(τ )dτ
Therefore,
F ′(x) = limh→0
∫ x+h
a f(τ )dτ −∫ x
a f(τ )dτ
h
= limh→0
1
h
∫ x+h
x
f(τ )dτ
– Typeset by FoilTEX – 36
![Page 37: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/37.jpg)
Also, by the Comparison Property, for
m = minτ∈[x,x+h]
f(τ ), M = maxτ∈[x,x+h]
f(τ )
one has
mh ≤∫ x+h
x
f(τ )dτ ≤ Mh
or, dividing by h,
m ≤1
h
∫ x+h
x
f(τ )dτ ≤ M
– Typeset by FoilTEX – 37
![Page 38: Fundamental Theorem of Calculus. Part Iama5348/calculus/presentations...Antiderivative of sin(t2) exists! Suppose the speed of my car obeys sin(t2) (do not try it on the road!). The](https://reader033.fdocuments.net/reader033/viewer/2022041702/5e42960b33e7dd710b662dfe/html5/thumbnails/38.jpg)
Finally, by the Squeeze Theorem, expression
m ≤1
h
∫ x+h
x
f(τ )dτ ≤ M
converges to
f(x) ≤ limh→0
1
h
∫ 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
The theorem is proved.
– Typeset by FoilTEX – 38