Top Banner
. . Section 5.4 The Fundamental Theorem of Calculus V63.0121.021, Calculus I New York University December 9, 2010 Announcements I Today: Section 5.4 I ”Thursday,” December 14: Section 5.5 I ”Monday,” December 15: (WWH 109, 12:30–1:45pm) Review and Movie Day! I Monday, December 20, 12:00–1:50pm: Final Exam (location still TBD) . . . . . .
82

Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

Dec 05, 2014

Download

Technology

The fundamental theorem shows that differentiation and integration are inverse processes.
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

..

Section 5.4The Fundamental Theorem of Calculus

V63.0121.021, Calculus I

New York University

December 9, 2010

Announcements

I Today: Section 5.4I ”Thursday,” December 14: Section 5.5I ”Monday,” December 15: (WWH 109, 12:30–1:45pm) Review and

Movie Day!I Monday, December 20, 12:00–1:50pm: Final Exam (location still

TBD). . . . . .

Page 2: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Announcements

I Today: Section 5.4I ”Thursday,” December 14:

Section 5.5I ”Monday,” December 15:

(WWH 109,12:30–1:45pm) Reviewand Movie Day!

I Monday, December 20,12:00–1:50pm: Final Exam(location still TBD)

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 2 / 32

Page 3: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Objectives

I State and explain theFundemental Theorems ofCalculus

I Use the first fundamentaltheorem of calculus to findderivatives of functionsdefined as integrals.

I Compute the averagevalue of an integrablefunction over a closedinterval.

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 3 / 32

Page 4: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Outline

Recall: The Evaluation Theorem a/k/a 2nd FTC

The First Fundamental Theorem of CalculusArea as a FunctionStatement and proof of 1FTCBiographies

Differentiation of functions defined by integrals“Contrived” examplesErfOther applications

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 4 / 32

Page 5: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

The definite integral as a limit

DefinitionIf f is a function defined on [a,b], the definite integral of f from a to bis the number ∫ b

af(x)dx = lim

∆x→0

n∑i=1

f(ci)∆x

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 5 / 32

Page 6: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Big time Theorem

Theorem (The Second Fundamental Theorem of Calculus)

Suppose f is integrable on [a,b] and f = F′ for another function F, then∫ b

af(x)dx = F(b)− F(a).

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 6 / 32

Page 7: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

The Integral as Total Change

Another way to state this theorem is:∫ b

aF′(x)dx = F(b)− F(a),

or the integral of a derivative along an interval is the total changebetween the sides of that interval. This has many ramifications:

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 7 / 32

Page 8: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

The Integral as Total Change

Another way to state this theorem is:∫ b

aF′(x)dx = F(b)− F(a),

or the integral of a derivative along an interval is the total changebetween the sides of that interval. This has many ramifications:

TheoremIf v(t) represents the velocity of a particle moving rectilinearly, then∫ t1

t0v(t)dt = s(t1)− s(t0).

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 7 / 32

Page 9: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

The Integral as Total Change

Another way to state this theorem is:∫ b

aF′(x)dx = F(b)− F(a),

or the integral of a derivative along an interval is the total changebetween the sides of that interval. This has many ramifications:

TheoremIf MC(x) represents the marginal cost of making x units of a product,then

C(x) = C(0) +∫ x

0MC(q)dq.

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 7 / 32

Page 10: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

The Integral as Total Change

Another way to state this theorem is:∫ b

aF′(x)dx = F(b)− F(a),

or the integral of a derivative along an interval is the total changebetween the sides of that interval. This has many ramifications:

TheoremIf ρ(x) represents the density of a thin rod at a distance of x from itsend, then the mass of the rod up to x is

m(x) =∫ x

0ρ(s)ds.

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 7 / 32

Page 11: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

My first table of integrals..

∫[f(x) + g(x)] dx =

∫f(x)dx+

∫g(x)dx∫

xn dx =xn+1

n+ 1+ C (n ̸= −1)∫

ex dx = ex + C∫sin x dx = − cos x+ C∫cos x dx = sin x+ C∫sec2 x dx = tan x+ C∫

sec x tan x dx = sec x+ C∫1

1+ x2dx = arctan x+ C

∫cf(x)dx = c

∫f(x)dx∫

1xdx = ln |x|+ C∫

ax dx =ax

ln a+ C∫

csc2 x dx = − cot x+ C∫csc x cot x dx = − csc x+ C∫

1√1− x2

dx = arcsin x+ C

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 8 / 32

Page 12: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Outline

Recall: The Evaluation Theorem a/k/a 2nd FTC

The First Fundamental Theorem of CalculusArea as a FunctionStatement and proof of 1FTCBiographies

Differentiation of functions defined by integrals“Contrived” examplesErfOther applications

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 9 / 32

Page 13: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Area as a Function

Example

Let f(t) = t3 and define g(x) =∫ x

0f(t)dt. Find g(x) and g′(x).

Solution

..0.

x

Dividing the interval [0, x] into n pieces

gives ∆t =xnand ti = 0+ i∆t =

ixn. So

Rn

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 10 / 32

Page 14: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Area as a Function

Example

Let f(t) = t3 and define g(x) =∫ x

0f(t)dt. Find g(x) and g′(x).

Solution

..0.

x

Dividing the interval [0, x] into n pieces

gives ∆t =xnand ti = 0+ i∆t =

ixn.

So

Rn

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 10 / 32

Page 15: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Area as a Function

Example

Let f(t) = t3 and define g(x) =∫ x

0f(t)dt. Find g(x) and g′(x).

Solution

..0.

x

Dividing the interval [0, x] into n pieces

gives ∆t =xnand ti = 0+ i∆t =

ixn. So

Rn

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 10 / 32

Page 16: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Area as a Function

Example

Let f(t) = t3 and define g(x) =∫ x

0f(t)dt. Find g(x) and g′(x).

Solution

..0.

x

Dividing the interval [0, x] into n pieces

gives ∆t =xnand ti = 0+ i∆t =

ixn. So

Rn =xn· x

3

n3+

xn· (2x)

3

n3+ · · ·+ x

n· (nx)

3

n3

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 10 / 32

Page 17: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Area as a Function

Example

Let f(t) = t3 and define g(x) =∫ x

0f(t)dt. Find g(x) and g′(x).

Solution

..0.

x

Dividing the interval [0, x] into n pieces

gives ∆t =xnand ti = 0+ i∆t =

ixn. So

Rn =xn· x

3

n3+

xn· (2x)

3

n3+ · · ·+ x

n· (nx)

3

n3

=x4

n4(13 + 23 + 33 + · · ·+ n3

)

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 10 / 32

Page 18: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Area as a Function

Example

Let f(t) = t3 and define g(x) =∫ x

0f(t)dt. Find g(x) and g′(x).

Solution

..0.

x

Dividing the interval [0, x] into n pieces

gives ∆t =xnand ti = 0+ i∆t =

ixn. So

Rn =xn· x

3

n3+

xn· (2x)

3

n3+ · · ·+ x

n· (nx)

3

n3

=x4

n4(13 + 23 + 33 + · · ·+ n3

)=

x4

n4[12n(n+ 1)

]2V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 10 / 32

Page 19: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Area as a Function

Example

Let f(t) = t3 and define g(x) =∫ x

0f(t)dt. Find g(x) and g′(x).

Solution

..0.

x

Dividing the interval [0, x] into n pieces

gives ∆t =xnand ti = 0+ i∆t =

ixn. So

Rn =x4n2(n+ 1)2

4n4

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 10 / 32

Page 20: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Area as a Function

Example

Let f(t) = t3 and define g(x) =∫ x

0f(t)dt. Find g(x) and g′(x).

Solution

..0.

x

Dividing the interval [0, x] into n pieces

gives ∆t =xnand ti = 0+ i∆t =

ixn. So

Rn =x4n2(n+ 1)2

4n4

So g(x) = limx→∞

Rn =x4

4

and g′(x) = x3.

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 10 / 32

Page 21: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Area as a Function

Example

Let f(t) = t3 and define g(x) =∫ x

0f(t)dt. Find g(x) and g′(x).

Solution

..0.

x

Dividing the interval [0, x] into n pieces

gives ∆t =xnand ti = 0+ i∆t =

ixn. So

Rn =x4n2(n+ 1)2

4n4

So g(x) = limx→∞

Rn =x4

4and g′(x) = x3.

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 10 / 32

Page 22: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

The area function in general

Let f be a function which is integrable (i.e., continuous or with finitelymany jump discontinuities) on [a,b]. Define

g(x) =∫ x

af(t)dt.

I The variable is x; t is a “dummy” variable that’s integrated over.I Picture changing x and taking more of less of the region under the

curve.I Question: What does f tell you about g?

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 11 / 32

Page 23: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Envisioning the area function

Example

Suppose f(t) is the function graphed below:

...x

..

y

....f

..2

..4

..6

..8

..10

Let g(x) =∫ x

0f(t)dt. What can you say about g?

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 12 / 32

Page 24: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Envisioning the area function

Example

Suppose f(t) is the function graphed below:

...x

..

y

....g

....f

..2

..4

..6

..8

..10

Let g(x) =∫ x

0f(t)dt. What can you say about g?

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 12 / 32

Page 25: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Envisioning the area function

Example

Suppose f(t) is the function graphed below:

...x

..

y

....g

....f

..2

..4

..6

..8

..10

Let g(x) =∫ x

0f(t)dt. What can you say about g?

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 12 / 32

Page 26: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Envisioning the area function

Example

Suppose f(t) is the function graphed below:

...x

..

y

....g

....f

..2

..4

..6

..8

..10

Let g(x) =∫ x

0f(t)dt. What can you say about g?

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 12 / 32

Page 27: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Envisioning the area function

Example

Suppose f(t) is the function graphed below:

...x

..

y

....g

....f

..2

..4

..6

..8

..10

Let g(x) =∫ x

0f(t)dt. What can you say about g?

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 12 / 32

Page 28: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Envisioning the area function

Example

Suppose f(t) is the function graphed below:

...x

..

y

....g

....f

..2

..4

..6

..8

..10

Let g(x) =∫ x

0f(t)dt. What can you say about g?

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 12 / 32

Page 29: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Envisioning the area function

Example

Suppose f(t) is the function graphed below:

...x

..

y

....g

....f

..2

..4

..6

..8

..10

Let g(x) =∫ x

0f(t)dt. What can you say about g?

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 12 / 32

Page 30: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Envisioning the area function

Example

Suppose f(t) is the function graphed below:

...x

..

y

....g

....f

..2

..4

..6

..8

..10

Let g(x) =∫ x

0f(t)dt. What can you say about g?

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 12 / 32

Page 31: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Envisioning the area function

Example

Suppose f(t) is the function graphed below:

...x

..

y

....g

....f

..2

..4

..6

..8

..10

Let g(x) =∫ x

0f(t)dt. What can you say about g?

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 12 / 32

Page 32: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Envisioning the area function

Example

Suppose f(t) is the function graphed below:

...x

..

y

....g

....f

..2

..4

..6

..8

..10

Let g(x) =∫ x

0f(t)dt. What can you say about g?

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 12 / 32

Page 33: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Envisioning the area function

Example

Suppose f(t) is the function graphed below:

...x

..

y

....g

....f

..2

..4

..6

..8

..10

Let g(x) =∫ x

0f(t)dt. What can you say about g?

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 12 / 32

Page 34: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Envisioning the area function

Example

Suppose f(t) is the function graphed below:

...x

..

y

....g

....f

..2

..4

..6

..8

..10

Let g(x) =∫ x

0f(t)dt. What can you say about g?

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 12 / 32

Page 35: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

features of g from f

...x

..

y

....g

....f

..2

..4

..6

..8

..10

Interval sign monotonicity monotonicity concavityof f of g of f of g

[0,2] + ↗ ↗ ⌣

[2,4.5] + ↗ ↘ ⌢

[4.5,6] − ↘ ↘ ⌢

[6,8] − ↘ ↗ ⌣

[8,10] − ↘ → none

We see that g is behaving a lot like an antiderivative of f.

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 13 / 32

Page 36: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

features of g from f

...x

..

y

....g

....f

..2

..4

..6

..8

..10

Interval sign monotonicity monotonicity concavityof f of g of f of g

[0,2] + ↗ ↗ ⌣

[2,4.5] + ↗ ↘ ⌢

[4.5,6] − ↘ ↘ ⌢

[6,8] − ↘ ↗ ⌣

[8,10] − ↘ → none

We see that g is behaving a lot like an antiderivative of f.

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 13 / 32

Page 37: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Another Big Time Theorem

Theorem (The First Fundamental Theorem of Calculus)

Let f be an integrable function on [a,b] and define

g(x) =∫ x

af(t)dt.

If f is continuous at x in (a,b), then g is differentiable at x and

g′(x) = f(x).

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 14 / 32

Page 38: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Proving the Fundamental Theorem

Proof.Let h > 0 be given so that x+ h < b. We have

g(x+ h)− g(x)h

=

1h

∫ x+h

xf(t)dt.

Let Mh be the maximum value of f on [x, x+ h], and let mh the minimumvalue of f on [x, x+ h]. From §5.2 we have

mh · h ≤

∫ x+h

xf(t)dt

≤ Mh · h

Somh ≤ g(x+ h)− g(x)

h≤ Mh.

As h → 0, both mh and Mh tend to f(x).

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 15 / 32

Page 39: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Proving the Fundamental Theorem

Proof.Let h > 0 be given so that x+ h < b. We have

g(x+ h)− g(x)h

=1h

∫ x+h

xf(t)dt.

Let Mh be the maximum value of f on [x, x+ h], and let mh the minimumvalue of f on [x, x+ h]. From §5.2 we have

mh · h ≤

∫ x+h

xf(t)dt

≤ Mh · h

Somh ≤ g(x+ h)− g(x)

h≤ Mh.

As h → 0, both mh and Mh tend to f(x).

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 15 / 32

Page 40: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Proving the Fundamental Theorem

Proof.Let h > 0 be given so that x+ h < b. We have

g(x+ h)− g(x)h

=1h

∫ x+h

xf(t)dt.

Let Mh be the maximum value of f on [x, x+ h], and let mh the minimumvalue of f on [x, x+ h]. From §5.2 we have

mh · h ≤

∫ x+h

xf(t)dt

≤ Mh · h

Somh ≤ g(x+ h)− g(x)

h≤ Mh.

As h → 0, both mh and Mh tend to f(x).

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 15 / 32

Page 41: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Proving the Fundamental Theorem

Proof.Let h > 0 be given so that x+ h < b. We have

g(x+ h)− g(x)h

=1h

∫ x+h

xf(t)dt.

Let Mh be the maximum value of f on [x, x+ h], and let mh the minimumvalue of f on [x, x+ h]. From §5.2 we have

mh · h ≤

∫ x+h

xf(t)dt ≤ Mh · h

Somh ≤ g(x+ h)− g(x)

h≤ Mh.

As h → 0, both mh and Mh tend to f(x).

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 15 / 32

Page 42: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Proving the Fundamental Theorem

Proof.Let h > 0 be given so that x+ h < b. We have

g(x+ h)− g(x)h

=1h

∫ x+h

xf(t)dt.

Let Mh be the maximum value of f on [x, x+ h], and let mh the minimumvalue of f on [x, x+ h]. From §5.2 we have

mh · h ≤∫ x+h

xf(t)dt ≤ Mh · h

Somh ≤ g(x+ h)− g(x)

h≤ Mh.

As h → 0, both mh and Mh tend to f(x).

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 15 / 32

Page 43: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Proving the Fundamental Theorem

Proof.Let h > 0 be given so that x+ h < b. We have

g(x+ h)− g(x)h

=1h

∫ x+h

xf(t)dt.

Let Mh be the maximum value of f on [x, x+ h], and let mh the minimumvalue of f on [x, x+ h]. From §5.2 we have

mh · h ≤∫ x+h

xf(t)dt ≤ Mh · h

Somh ≤ g(x+ h)− g(x)

h≤ Mh.

As h → 0, both mh and Mh tend to f(x).

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 15 / 32

Page 44: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Proving the Fundamental Theorem

Proof.Let h > 0 be given so that x+ h < b. We have

g(x+ h)− g(x)h

=1h

∫ x+h

xf(t)dt.

Let Mh be the maximum value of f on [x, x+ h], and let mh the minimumvalue of f on [x, x+ h]. From §5.2 we have

mh · h ≤∫ x+h

xf(t)dt ≤ Mh · h

Somh ≤ g(x+ h)− g(x)

h≤ Mh.

As h → 0, both mh and Mh tend to f(x).

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 15 / 32

Page 45: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Meet the Mathematician: James Gregory

I Scottish, 1638-1675I Astronomer and GeometerI Conceived transcendental

numbers and foundevidence that π wastranscendental

I Proved a geometricversion of 1FTC as alemma but didn’t take itfurther

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 16 / 32

Page 46: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Meet the Mathematician: Isaac Barrow

I English, 1630-1677I Professor of Greek,

theology, and mathematicsat Cambridge

I Had a famous student

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 17 / 32

Page 47: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Meet the Mathematician: Isaac Newton

I English, 1643–1727I Professor at Cambridge

(England)I Philosophiae Naturalis

Principia Mathematicapublished 1687

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 18 / 32

Page 48: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Meet the Mathematician: Gottfried Leibniz

I German, 1646–1716I Eminent philosopher as

well as mathematicianI Contemporarily disgraced

by the calculus prioritydispute

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 19 / 32

Page 49: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Differentiation and Integration as reverse processes

Putting together 1FTC and 2FTC, we get a beautiful relationshipbetween the two fundamental concepts in calculus.

Theorem (The Fundamental Theorem(s) of Calculus)

I. If f is a continuous function, then

ddx

∫ x

af(t) dt = f(x)

So the derivative of the integral is the original function.II. If f is a differentiable function, then∫ b

af′(x)dx = f(b)− f(a).

So the integral of the derivative of is (an evaluation of) the originalfunction.

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 20 / 32

Page 50: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Outline

Recall: The Evaluation Theorem a/k/a 2nd FTC

The First Fundamental Theorem of CalculusArea as a FunctionStatement and proof of 1FTCBiographies

Differentiation of functions defined by integrals“Contrived” examplesErfOther applications

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 21 / 32

Page 51: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Differentiation of area functions

Example

Let h(x) =∫ 3x

0t3 dt. What is h′(x)?

Solution (Using 2FTC)

h(x) =t4

4

∣∣∣∣∣3x

0

=14(3x)4 = 1

4 · 81x4, so h′(x) = 81x3.

Solution (Using 1FTC)

We can think of h as the composition g ◦ k, where g(u) =∫ u

0t3 dt and

k(x) = 3x. Then h′(x) = g′(u) · k′(x), or

h′(x) = g′(k(x)) · k′(x) = (k(x))3 · 3 = (3x)3 · 3 = 81x3.

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 22 / 32

Page 52: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Differentiation of area functions

Example

Let h(x) =∫ 3x

0t3 dt. What is h′(x)?

Solution (Using 2FTC)

h(x) =t4

4

∣∣∣∣∣3x

0

=14(3x)4 = 1

4 · 81x4, so h′(x) = 81x3.

Solution (Using 1FTC)

We can think of h as the composition g ◦ k, where g(u) =∫ u

0t3 dt and

k(x) = 3x. Then h′(x) = g′(u) · k′(x), or

h′(x) = g′(k(x)) · k′(x) = (k(x))3 · 3 = (3x)3 · 3 = 81x3.

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 22 / 32

Page 53: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Differentiation of area functions

Example

Let h(x) =∫ 3x

0t3 dt. What is h′(x)?

Solution (Using 2FTC)

h(x) =t4

4

∣∣∣∣∣3x

0

=14(3x)4 = 1

4 · 81x4, so h′(x) = 81x3.

Solution (Using 1FTC)

We can think of h as the composition g ◦ k, where g(u) =∫ u

0t3 dt and

k(x) = 3x.

Then h′(x) = g′(u) · k′(x), or

h′(x) = g′(k(x)) · k′(x) = (k(x))3 · 3 = (3x)3 · 3 = 81x3.

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 22 / 32

Page 54: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Differentiation of area functions

Example

Let h(x) =∫ 3x

0t3 dt. What is h′(x)?

Solution (Using 2FTC)

h(x) =t4

4

∣∣∣∣∣3x

0

=14(3x)4 = 1

4 · 81x4, so h′(x) = 81x3.

Solution (Using 1FTC)

We can think of h as the composition g ◦ k, where g(u) =∫ u

0t3 dt and

k(x) = 3x. Then h′(x) = g′(u) · k′(x), or

h′(x) = g′(k(x)) · k′(x) = (k(x))3 · 3 = (3x)3 · 3 = 81x3.

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 22 / 32

Page 55: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Differentiation of area functions, in general

I by 1FTCddx

∫ k(x)

af(t)dt = f(k(x))k′(x)

I by reversing the order of integration:

ddx

∫ b

h(x)f(t)dt = − d

dx

∫ h(x)

bf(t) dt = −f(h(x))h′(x)

I by combining the two above:

ddx

∫ k(x)

h(x)f(t)dt =

ddx

(∫ k(x)

0f(t) dt+

∫ 0

h(x)f(t)dt

)= f(k(x))k′(x)− f(h(x))h′(x)

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 23 / 32

Page 56: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Another Example

Example

Let h(x) =∫ sin2 x

0(17t2 + 4t− 4)dt. What is h′(x)?

SolutionWe have

ddx

∫ sin2 x

0(17t2 + 4t− 4)dt

=(17(sin2 x)2 + 4(sin2 x)− 4

)· ddx

sin2 x

=(17 sin4 x+ 4 sin2 x− 4

)· 2 sin x cos x

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 24 / 32

Page 57: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Another Example

Example

Let h(x) =∫ sin2 x

0(17t2 + 4t− 4)dt. What is h′(x)?

SolutionWe have

ddx

∫ sin2 x

0(17t2 + 4t− 4)dt

=(17(sin2 x)2 + 4(sin2 x)− 4

)· ddx

sin2 x

=(17 sin4 x+ 4 sin2 x− 4

)· 2 sin x cos x

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 24 / 32

Page 58: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

A Similar Example

Example

Let h(x) =∫ sin2 x

3(17t2 + 4t− 4)dt. What is h′(x)?

SolutionWe have

ddx

∫ sin2 x

0(17t2 + 4t− 4)dt

=(17(sin2 x)2 + 4(sin2 x)− 4

)· ddx

sin2 x

=(17 sin4 x+ 4 sin2 x− 4

)· 2 sin x cos x

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 25 / 32

Page 59: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

A Similar Example

Example

Let h(x) =∫ sin2 x

3(17t2 + 4t− 4)dt. What is h′(x)?

SolutionWe have

ddx

∫ sin2 x

0(17t2 + 4t− 4)dt

=(17(sin2 x)2 + 4(sin2 x)− 4

)· ddx

sin2 x

=(17 sin4 x+ 4 sin2 x− 4

)· 2 sin x cos x

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 25 / 32

Page 60: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Compare

QuestionWhy is

ddx

∫ sin2 x

0(17t2 + 4t− 4)dt =

ddx

∫ sin2 x

3(17t2 + 4t− 4)dt?

Or, why doesn’t the lower limit appear in the derivative?

AnswerBecause∫ sin2 x

0(17t2+ 4t− 4)dt =

∫ 3

0(17t2+ 4t− 4) dt+

∫ sin2 x

3(17t2+ 4t− 4)dt

So the two functions differ by a constant.

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 26 / 32

Page 61: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Compare

QuestionWhy is

ddx

∫ sin2 x

0(17t2 + 4t− 4)dt =

ddx

∫ sin2 x

3(17t2 + 4t− 4)dt?

Or, why doesn’t the lower limit appear in the derivative?

AnswerBecause∫ sin2 x

0(17t2+ 4t− 4)dt =

∫ 3

0(17t2+ 4t− 4) dt+

∫ sin2 x

3(17t2+ 4t− 4)dt

So the two functions differ by a constant.

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 26 / 32

Page 62: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

The Full Nasty

Example

Find the derivative of F(x) =∫ ex

x3sin4 t dt.

Solution

ddx

∫ ex

x3sin4 t dt = sin4(ex) · ex − sin4(x3) · 3x2

Notice here it’s much easier than finding an antiderivative for sin4.

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 27 / 32

Page 63: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

The Full Nasty

Example

Find the derivative of F(x) =∫ ex

x3sin4 t dt.

Solution

ddx

∫ ex

x3sin4 t dt = sin4(ex) · ex − sin4(x3) · 3x2

Notice here it’s much easier than finding an antiderivative for sin4.

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 27 / 32

Page 64: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

The Full Nasty

Example

Find the derivative of F(x) =∫ ex

x3sin4 t dt.

Solution

ddx

∫ ex

x3sin4 t dt = sin4(ex) · ex − sin4(x3) · 3x2

Notice here it’s much easier than finding an antiderivative for sin4.

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 27 / 32

Page 65: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Why use 1FTC?

QuestionWhy would we use 1FTC to find the derivative of an integral? It seemslike confusion for its own sake.

Answer

I Some functions are difficult or impossible to integrate inelementary terms.

I Some functions are naturally defined in terms of other integrals.

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 28 / 32

Page 66: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Why use 1FTC?

QuestionWhy would we use 1FTC to find the derivative of an integral? It seemslike confusion for its own sake.

Answer

I Some functions are difficult or impossible to integrate inelementary terms.

I Some functions are naturally defined in terms of other integrals.

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 28 / 32

Page 67: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Why use 1FTC?

QuestionWhy would we use 1FTC to find the derivative of an integral? It seemslike confusion for its own sake.

Answer

I Some functions are difficult or impossible to integrate inelementary terms.

I Some functions are naturally defined in terms of other integrals.

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 28 / 32

Page 68: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Erf

Here’s a function with a funny name but an important role:

erf(x) =2√π

∫ x

0e−t2 dt.

It turns out erf is the shape of the bell curve. We can’t find erf(x),

explicitly, but we do know its derivative: erf′(x) =2√πe−x2 .

Example

Findddx

erf(x2).

SolutionBy the chain rule we have

ddx

erf(x2) = erf′(x2)ddx

x2 =2√πe−(x2)22x =

4√πxe−x4 .

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 29 / 32

Page 69: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Erf

Here’s a function with a funny name but an important role:

erf(x) =2√π

∫ x

0e−t2 dt.

It turns out erf is the shape of the bell curve.

We can’t find erf(x),

explicitly, but we do know its derivative: erf′(x) =2√πe−x2 .

Example

Findddx

erf(x2).

SolutionBy the chain rule we have

ddx

erf(x2) = erf′(x2)ddx

x2 =2√πe−(x2)22x =

4√πxe−x4 .

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 29 / 32

Page 70: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Erf

Here’s a function with a funny name but an important role:

erf(x) =2√π

∫ x

0e−t2 dt.

It turns out erf is the shape of the bell curve. We can’t find erf(x),

explicitly, but we do know its derivative: erf′(x) =

2√πe−x2 .

Example

Findddx

erf(x2).

SolutionBy the chain rule we have

ddx

erf(x2) = erf′(x2)ddx

x2 =2√πe−(x2)22x =

4√πxe−x4 .

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 29 / 32

Page 71: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Erf

Here’s a function with a funny name but an important role:

erf(x) =2√π

∫ x

0e−t2 dt.

It turns out erf is the shape of the bell curve. We can’t find erf(x),

explicitly, but we do know its derivative: erf′(x) =2√πe−x2 .

Example

Findddx

erf(x2).

SolutionBy the chain rule we have

ddx

erf(x2) = erf′(x2)ddx

x2 =2√πe−(x2)22x =

4√πxe−x4 .

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 29 / 32

Page 72: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Erf

Here’s a function with a funny name but an important role:

erf(x) =2√π

∫ x

0e−t2 dt.

It turns out erf is the shape of the bell curve. We can’t find erf(x),

explicitly, but we do know its derivative: erf′(x) =2√πe−x2 .

Example

Findddx

erf(x2).

SolutionBy the chain rule we have

ddx

erf(x2) = erf′(x2)ddx

x2 =2√πe−(x2)22x =

4√πxe−x4 .

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 29 / 32

Page 73: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Erf

Here’s a function with a funny name but an important role:

erf(x) =2√π

∫ x

0e−t2 dt.

It turns out erf is the shape of the bell curve. We can’t find erf(x),

explicitly, but we do know its derivative: erf′(x) =2√πe−x2 .

Example

Findddx

erf(x2).

SolutionBy the chain rule we have

ddx

erf(x2) = erf′(x2)ddx

x2 =2√πe−(x2)22x =

4√πxe−x4 .

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 29 / 32

Page 74: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Other functions defined by integrals

I The future value of an asset:

FV(t) =∫ ∞

tπ(s)e−rs ds

where π(s) is the profitability at time s and r is the discount rate.I The consumer surplus of a good:

CS(q∗) =∫ q∗

0(f(q)− p∗)dq

where f(q) is the demand function and p∗ and q∗ the equilibriumprice and quantity.

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 30 / 32

Page 75: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Surplus by picture

..quantity (q)

.

price (p)

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 31 / 32

Page 76: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Surplus by picture

..quantity (q)

.

price (p)

..

demand f(q)

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 31 / 32

Page 77: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Surplus by picture

..quantity (q)

.

price (p)

..

demand f(q)

.

supply

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 31 / 32

Page 78: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Surplus by picture

..quantity (q)

.

price (p)

..

demand f(q)

.

supply

.

equilibrium

..q∗

..

p∗

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 31 / 32

Page 79: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Surplus by picture

..quantity (q)

.

price (p)

..

demand f(q)

.

market revenue

.

supply

.

equilibrium

..q∗

..

p∗

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 31 / 32

Page 80: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Surplus by picture

..quantity (q)

.

price (p)

..

demand f(q)

.

market revenue

.

supply

.

equilibrium

..q∗

..

p∗

.

consumer surplus

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 31 / 32

Page 81: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Surplus by picture

..quantity (q)

.

price (p)

..

demand f(q)

.

supply

.

equilibrium

..q∗

..

p∗

.

consumer surplus

.

producer surplus

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 31 / 32

Page 82: Lesson 26: The Fundamental Theorem of Calculus (Section 021 slides)

. . . . . .

Summary

I Functions defined as integrals can be differentiated using the firstFTC:

ddx

∫ x

af(t)dt = f(x)

I The two FTCs link the two major processes in calculus:differentiation and integration∫

F′(x)dx = F(x) + C

I Follow the calculus wars on twitter: #calcwars

V63.0121.021, Calculus I (NYU) Section 5.4 The Fundamental Theorem December 9, 2010 32 / 32