SlideShare uma empresa Scribd logo
1 de 52
Baixar para ler offline
Section	5.4
 The	Fundamental	Theorem	of	Calculus

                 V63.0121.027, Calculus	I



                    December	8, 2009



Announcements
   Final	Exam: Friday	12/18, 2:00-3:50pm, Tisch	UC50


                                       .    .   .      .   .   .
Redemption	policies




      Current	distribution	of	grade: 40%	final, 25%	midterm, 15%
      quizzes, 10%	written	HW,	10%	WebAssign
      Remember	we	drop	the	lowest	quiz, lowest	written	HW,	and
      5 lowest	WebAssign-ments
      [new!] If	your	final	exam	score	beats	your	midterm	score,
      we	will	re-weight	it	by	50%	and	make	the	midterm	15%




                                            .   .    .   .   .    .
Outline


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


  The	First	Fundamental	Theorem	of	Calculus
     The	Area	Function
     Statement	and	proof	of	1FTC
     Biographies


  Differentiation	of	functions	defined	by	integrals
      “Contrived”	examples
      Erf
      Other	applications



                                              .      .   .   .   .   .
The	definite	integral	as	a	limit




   Definition
   If f is	a	function	defined	on [a, b], the definite	integral	of f from a
   to b is	the	number
                       ∫ b                 ∑n
                           f(x) dx = lim      f(ci ) ∆x
                       a           ∆x→0
                                          i =1




                                                 .    .    .    .   .      .
Theorem	(The	Second	Fundamental	Theorem	of	Calculus)
Suppose f is	integrable	on [a, b] and f = F′ for	another	function F,
then                 ∫    b
                              f(x) dx = F(b) − F(a).
                      a




                                                  .    .   .   .   .   .
The	Integral	as	Total	Change


   Another	way	to	state	this	theorem	is:
                       ∫     b
                                 F′ (x) dx = F(b) − F(a),
                         a

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




                                                       .    .   .   .   .   .
The	Integral	as	Total	Change


   Another	way	to	state	this	theorem	is:
                        ∫    b
                                  F′ (x) dx = F(b) − F(a),
                         a

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

   Theorem
   If v(t) represents	the	velocity	of	a	particle	moving	rectilinearly,
   then                  ∫   t1
                                  v(t) dt = s(t1 ) − s(t0 ).
                            t0




                                                          .    .   .   .   .   .
The	Integral	as	Total	Change


   Another	way	to	state	this	theorem	is:
                       ∫     b
                                 F′ (x) dx = F(b) − F(a),
                         a

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

   Theorem
   If MC(x) represents	the	marginal	cost	of	making x units	of	a
   product, then
                                    ∫ x
                     C(x) = C(0) +      MC(q) dq.
                                            0



                                                       .    .   .   .   .   .
The	Integral	as	Total	Change


   Another	way	to	state	this	theorem	is:
                       ∫     b
                                 F′ (x) dx = F(b) − F(a),
                         a

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

   Theorem
   If ρ(x) represents	the	density	of	a	thin	rod	at	a	distance	of x from
   its	end, then	the	mass	of	the	rod	up	to x is
                                    ∫ x
                            m(x) =       ρ(s) ds.
                                          0



                                                       .    .   .   .   .   .
My	first	table	of	integrals
    ∫                         ∫               ∫
         [f(x) + g(x)] dx =       f(x) dx +       g(x) dx
     ∫                                               ∫                ∫
                     x n +1
          xn dx =           + C (n ̸= −1)               cf(x) dx = c f(x) dx
                    n+1                                ∫
               ∫
                                                           1
                  ex dx = ex + C                             dx = ln |x| + C
                                                           x
           ∫                                           ∫
                                                                     ax
              sin x dx = − cos x + C                       ax dx =       +C
                                                                    ln a
            ∫                                       ∫
                cos x dx = sin x + C                   csc2 x dx = − cot x + C
           ∫                                      ∫
               sec2 x dx = tan x + C                 csc x cot x dx = − csc x + C
         ∫                                        ∫
                                                         1
            sec x tan x dx = sec x + C               √          dx = arcsin x + C
                                                       1 − x2
         ∫
                1
                     dx = arctan x + C
             1 + x2
                                                          .   .    .    .    .      .
Outline


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


  The	First	Fundamental	Theorem	of	Calculus
     The	Area	Function
     Statement	and	proof	of	1FTC
     Biographies


  Differentiation	of	functions	defined	by	integrals
      “Contrived”	examples
      Erf
      Other	applications



                                              .      .   .   .   .   .
An	area	function
                                    ∫   x
               3
    Let f(t) = t and	define g(x) =           f(t) dt. Can	we	evaluate	the
                                    0
    integral	in g(x)?




    .
  0
  .                     x
                        .




                                                      .   .    .   .       .   .
An	area	function
                                    ∫   x
               3
    Let f(t) = t and	define g(x) =           f(t) dt. Can	we	evaluate	the
                                    0
    integral	in g(x)?
                               Dividing	the	interval [0, x] into n pieces
                                          x                        ix
                               gives ∆t = and ti = 0 + i∆t = . So
                                          n                        n
                                      x x3       x (2x)3         x (nx)3
                               Rn =      · 3 + · 3 + ··· + · 3
                                      n n       n    n           n   n
                                      x4 ( 3                       )
                                    = 4 1 + 2 3 + 3 3 + · · · + n3
                                      n
                                      x4 [ 1         ]2
                                    = 4 2 n(n + 1)
    .                                 n
  0
  .                     x
                        .
                                      x4 n2 (n + 1)2    x4
                                    =                →
                                            4n4         4
                               as n → ∞.
                                                      .   .    .   .       .   .
An	area	function, continued




   So
                                x4
                       g(x) =      .
                                4




                                       .   .   .   .   .   .
An	area	function, continued




   So
                                  x4
                       g(x) =        .
                                  4
   This	means	that
                       g ′ (x ) = x 3 .




                                          .   .   .   .   .   .
The	area	function


   Let f be	a	function	which	is	integrable	(i.e., continuous	or	with
   finitely	many	jump	discontinuities)	on [a, b]. Define
                                    ∫ x
                           g(x) =       f(t) dt.
                                     a


       The	variable	is x; t is	a	“dummy”	variable	that’s	integrated
       over.
       Picture	changing x and	taking	more	of	less	of	the	region
       under	the	curve.
       Question: What	does f tell	you	about g?




                                                 .   .    .    .      .   .
Envisioning	the	area	function
   Example
   Suppose f(t) is	the	function	graphed	below
               v
               .              .




                    .         .           .       .       .
                 t
                 .0          t
                             .1          c
                                         .       t
                                                 .2       t t
                                                          .3 .


                                                  .

                    ∫    x
       Let g(x) =            f(t) dt. What	can	you	say	about g?
                        t0
                                                      .    .      .   .   .   .
features	of g from f



      Interval sign monotonicity monotonicity concavity
               of f    of g         of f        of g
       [ t0 , t 1 ]   +   ↗          ↗                ⌣
       [t1 , c]       +   ↗          ↘                ⌢
       [c, t2 ]       −   ↘          ↘                ⌢
       [ t2 , t 3 ]   −   ↘          ↗                ⌣
       [t3 , ∞)       −   ↘          →               none




                                         .   .   .        .   .   .
features	of g from f



       Interval sign monotonicity monotonicity concavity
                of f    of g         of f        of g
        [ t0 , t 1 ]   +      ↗               ↗                 ⌣
        [t1 , c]       +      ↗               ↘                 ⌢
        [c, t2 ]       −      ↘               ↘                 ⌢
        [ t2 , t 3 ]   −      ↘               ↗                 ⌣
        [t3 , ∞)       −      ↘               →                none

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



                                                  .   .    .        .   .   .
Theorem	(The	First	Fundamental	Theorem	of	Calculus)
Let f be	an	integrable	function	on [a, b] and	define
                                 ∫ x
                          g(x) =     f(t) dt.
                                    a

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

                             g′ (x) = f(x).




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

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




                                          .     .   .   .   .   .
Proof.
Let h > 0 be	given	so	that x + h < b. We	have
                                      ∫   x+h
                g(x + h) − g(x)   1
                                =               f(t) dt.
                       h          h   x




                                                 .     .   .   .   .   .
Proof.
Let h > 0 be	given	so	that x + h < b. We	have
                                           ∫    x+h
                g(x + h) − g(x)   1
                                =                     f(t) dt.
                       h          h         x

Let Mh be	the	maximum	value	of f on [x, x + h], and mh the
minimum	value	of f on [x, x + h]. From	§5.2	we	have
                          ∫    x +h
                                      f(t) dt
                           x




                                                       .     .   .   .   .   .
Proof.
Let h > 0 be	given	so	that x + h < b. We	have
                                          ∫    x+h
                g(x + h) − g(x)   1
                                =                    f(t) dt.
                       h          h        x

Let Mh be	the	maximum	value	of f on [x, x + h], and mh the
minimum	value	of f on [x, x + h]. From	§5.2	we	have
                          ∫    x +h
                                      f(t) dt ≤ Mh · h
                           x




                                                      .     .   .   .   .   .
Proof.
Let h > 0 be	given	so	that x + h < b. We	have
                                           ∫    x+h
                g(x + h) − g(x)   1
                                =                     f(t) dt.
                       h          h         x

Let Mh be	the	maximum	value	of f on [x, x + h], and mh the
minimum	value	of f on [x, x + h]. From	§5.2	we	have
                            ∫   x +h
                 mh · h ≤              f(t) dt ≤ Mh · h
                            x




                                                       .     .   .   .   .   .
Proof.
Let h > 0 be	given	so	that x + h < b. We	have
                                           ∫    x+h
                g(x + h) − g(x)   1
                                =                     f(t) dt.
                       h          h         x

Let Mh be	the	maximum	value	of f on [x, x + h], and mh the
minimum	value	of f on [x, x + h]. From	§5.2	we	have
                            ∫   x +h
                 mh · h ≤              f(t) dt ≤ Mh · h
                            x

So
                         g(x + h) − g(x)
                  mh ≤                   ≤ Mh .
                                h



                                                       .     .   .   .   .   .
Proof.
Let h > 0 be	given	so	that x + h < b. We	have
                                           ∫    x+h
                g(x + h) − g(x)   1
                                =                     f(t) dt.
                       h          h         x

Let Mh be	the	maximum	value	of f on [x, x + h], and mh the
minimum	value	of f on [x, x + h]. From	§5.2	we	have
                            ∫   x +h
                 mh · h ≤              f(t) dt ≤ Mh · h
                            x

So
                      g(x + h) − g(x)
                  mh ≤                 ≤ Mh .
                             h
As h → 0, both mh and Mh tend	to f(x).


                                                       .     .   .   .   .   .
Meet	the	Mathematician: James	Gregory


     Scottish, 1638-1675
     Astronomer	and
     Geometer
     Conceived
     transcendental	numbers
     and	found	evidence	that
     π was	transcendental
     Proved	a	geometric
     version	of	1FTC as	a
     lemma	but	didn’t	take	it
     further



                                 .   .   .   .   .   .
Meet	the	Mathematician: Isaac	Barrow




     English, 1630-1677
     Professor	of	Greek,
     theology, and
     mathematics	at
     Cambridge
     Had	a	famous	student




                                  .    .   .   .   .   .
Meet	the	Mathematician: Isaac	Newton




     English, 1643–1727
     Professor	at	Cambridge
     (England)
     Philosophiae	Naturalis
     Principia	Mathematica
     published	1687




                                 .     .   .   .   .   .
Meet	the	Mathematician: Gottfried	Leibniz




     German, 1646–1716
     Eminent	philosopher	as
     well	as	mathematician
     Contemporarily
     disgraced	by	the
     calculus	priority	dispute




                                   .   .    .   .   .   .
Differentiation	and	Integration	as	reverse	processes



   Putting	together	1FTC and	2FTC,	we	get	a	beautiful	relationship
   between	the	two	fundamental	concepts	in	calculus.
                                 ∫   x
                            d
                                         f(t) dt = f(x)
                            dx   a




                                                      .   .   .   .   .   .
Differentiation	and	Integration	as	reverse	processes



   Putting	together	1FTC and	2FTC,	we	get	a	beautiful	relationship
   between	the	two	fundamental	concepts	in	calculus.
                                      ∫   x
                                 d
                                              f(t) dt = f(x)
                                 dx   a


                        ∫    b
                                 F′ (x) dx = F(b) − F(a).
                         a




                                                           .   .   .   .   .   .
Outline


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


  The	First	Fundamental	Theorem	of	Calculus
     The	Area	Function
     Statement	and	proof	of	1FTC
     Biographies


  Differentiation	of	functions	defined	by	integrals
      “Contrived”	examples
      Erf
      Other	applications



                                              .      .   .   .   .   .
Differentiation	of	area	functions

   Example
                ∫   3x
   Let h(x) =            t3 dt. What	is h′ (x)?
                0




                                                  .   .   .   .   .   .
Differentiation	of	area	functions

   Example
                 ∫       3x
   Let h(x) =                 t3 dt. What	is h′ (x)?
                     0

   Solution	(Using	2FTC)
                 3x
            t4                1
   h(x) =             =         (3x)4 =   1
                                          4   · 81x4 , so h′ (x) = 81x3 .
            4    0            4




                                                                 .    .     .   .   .   .
Differentiation	of	area	functions

   Example
                 ∫       3x
   Let h(x) =                 t3 dt. What	is h′ (x)?
                     0

   Solution	(Using	2FTC)
                 3x
            t4                1
   h(x) =             =         (3x)4 =   1
                                          4   · 81x4 , so h′ (x) = 81x3 .
            4    0            4

   Solution	(Using	1FTC)                                                        ∫       u
   We	can	think	of h as	the	composition g k, where g(u) =  ◦                                t3 dt
                                                                                    0
   and k(x) = 3x.




                                                                 .    .     .   .            .      .
Differentiation	of	area	functions

   Example
                 ∫       3x
   Let h(x) =                 t3 dt. What	is h′ (x)?
                     0

   Solution	(Using	2FTC)
                 3x
            t4                1
   h(x) =             =         (3x)4 =   1
                                          4   · 81x4 , so h′ (x) = 81x3 .
            4    0            4

   Solution	(Using	1FTC)                                                        ∫       u
   We	can	think	of h as	the	composition g k, where g(u) =  ◦                                t3 dt
                                                                                    0
   and k(x) = 3x. Then

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



                                                                 .    .     .   .            .      .
Differentiation	of	area	functions, in	general

       by	1FTC
                                       ∫   k(x)
                                  d
                                                  f(t) dt = f(k(x))k′ (x)
                                  dx   a
       by	reversing	the	order	of	integration:
                   ∫     b                             ∫     h(x)
              d                               d
                                f(t) dt = −                         f(t) dt = −f(h(x))h′ (x)
              dx       h (x )                 dx         b

       by	combining	the	two	above:

              ∫                              (∫                             ∫                    )
                  k(x)                                 k (x )                    0
         d                         d
                         f(t) dt =                              f(t) dt +              f(t) dt
         dx   h (x )               dx              0                            h(x)

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


                                                                            .          .    .        .   .   .
Example
             ∫   sin2 x
Let h(x) =                (17t2 + 4t − 4) dt. What	is h′ (x)?
             0




                                                      .    .    .   .   .   .
Example
             ∫       sin2 x
Let h(x) =                    (17t2 + 4t − 4) dt. What	is h′ (x)?
                 0

Solution
We	have
             ∫   sin2 x
       d
                          (17t2 + 4t − 4) dt
       dx    0
                               (                            ) d
                              = 17(sin2 x)2 + 4(sin2 x) − 4 ·       sin2 x
                               (                        )       dx
                              = 17 sin4 x + 4 sin2 x − 4 · 2 sin x cos x




                                                          .    .    .    .   .   .
Example
                                ∫   ex
Find	the	derivative	of F(x) =            sin4 t dt.
                                x3




                                                      .   .   .   .   .   .
Example
                                      ∫   ex
Find	the	derivative	of F(x) =                  sin4 t dt.
                                        x3

Solution
                ∫   ex
           d
                         sin4 t dt = sin4 (ex ) · ex − sin4 (x3 ) · 3x2
           dx   x3




                                                            .   .   .     .   .   .
Example
                                      ∫   ex
Find	the	derivative	of F(x) =                  sin4 t dt.
                                        x3

Solution
                ∫   ex
           d
                         sin4 t dt = sin4 (ex ) · ex − sin4 (x3 ) · 3x2
           dx   x3

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




                                                            .   .   .     .   .   .
Erf
      Here’s	a	function	with	a	funny	name	but	an	important	role:
                                       ∫ x
                                     2        2
                           erf(x) = √      e−t dt.
                                      π 0




                                                 .   .    .   .    .   .
Erf
      Here’s	a	function	with	a	funny	name	but	an	important	role:
                                       ∫ x
                                     2        2
                           erf(x) = √      e−t dt.
                                      π 0
      It	turns	out erf is	the	shape	of	the	bell	curve.




                                                         .   .   .   .   .   .
Erf
      Here’s	a	function	with	a	funny	name	but	an	important	role:
                                       ∫ x
                                     2        2
                           erf(x) = √      e−t dt.
                                      π 0
      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) =




                                                    .    .    .    .   .      .
Erf
      Here’s	a	function	with	a	funny	name	but	an	important	role:
                                       ∫ x
                                     2        2
                           erf(x) = √      e−t dt.
                                      π 0
      It	turns	out erf is	the	shape	of	the	bell	curve. We	can’t	find erf(x),
      explicitly, but	we	do	know	its	derivative.
                                           2   2
                               erf′ (x) = √ e−x .
                                            π




                                                    .    .    .    .   .      .
Erf
      Here’s	a	function	with	a	funny	name	but	an	important	role:
                                       ∫ x
                                     2        2
                           erf(x) = √      e−t dt.
                                      π 0
      It	turns	out erf is	the	shape	of	the	bell	curve. We	can’t	find erf(x),
      explicitly, but	we	do	know	its	derivative.
                                           2   2
                               erf′ (x) = √ e−x .
                                            π

      Example
             d
      Find      erf(x2 ).
             dx




                                                    .    .    .    .   .      .
Erf
      Here’s	a	function	with	a	funny	name	but	an	important	role:
                                       ∫ x
                                     2        2
                           erf(x) = √      e−t dt.
                                      π 0
      It	turns	out erf is	the	shape	of	the	bell	curve. We	can’t	find erf(x),
      explicitly, but	we	do	know	its	derivative.
                                           2   2
                               erf′ (x) = √ e−x .
                                            π

      Example
             d
      Find      erf(x2 ).
             dx
      Solution
      By	the	chain	rule	we	have

              d                       d      2    2 2      4    4
                 erf(x2 ) = erf′ (x2 ) x2 = √ e−(x ) 2x = √ xe−x .
              dx                      dx      π             π
                                                    .    .    .    .   .      .
Other	functions	defined	by	integrals

      The	future	value	of	an	asset:
                                 ∫ ∞
                        FV(t) =      π(τ )e−rτ dτ
                                       t

      where π(τ ) is	the	profitability	at	time τ and r is	the	discount
      rate.
      The	consumer	surplus	of	a	good:
                                   ∫       q∗
                       CS(q∗ ) =                (f(q) − p∗ ) dq
                                   0

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


                                                         .    .   .   .   .   .
Surplus	by	picture

                         c
                         . onsumer	surplus
            p
            . rice	(p)

                                             s
                                             . upply


            .∗ .
            p              . . quilibrium
                             e




                                        . emand f(q)
                                        d
                 .         .
                          .∗
                          q             q
                                        . uantity	(q)


                                             .    .     .   .   .   .

Mais conteúdo relacionado

Mais procurados

An Efficient Convex Hull Algorithm for a Planer Set of Points
An Efficient Convex Hull Algorithm for a Planer Set of PointsAn Efficient Convex Hull Algorithm for a Planer Set of Points
An Efficient Convex Hull Algorithm for a Planer Set of Points
Kasun Ranga Wijeweera
 
Snakes in Images (Active contour tutorial)
Snakes in Images (Active contour tutorial)Snakes in Images (Active contour tutorial)
Snakes in Images (Active contour tutorial)
Yan Xu
 
Deep Learning Opening Workshop - ProxSARAH Algorithms for Stochastic Composit...
Deep Learning Opening Workshop - ProxSARAH Algorithms for Stochastic Composit...Deep Learning Opening Workshop - ProxSARAH Algorithms for Stochastic Composit...
Deep Learning Opening Workshop - ProxSARAH Algorithms for Stochastic Composit...
The Statistical and Applied Mathematical Sciences Institute
 

Mais procurados (20)

Dixon Deep Learning
Dixon Deep LearningDixon Deep Learning
Dixon Deep Learning
 
An elementary introduction to information geometry
An elementary introduction to information geometryAn elementary introduction to information geometry
An elementary introduction to information geometry
 
Information geometry: Dualistic manifold structures and their uses
Information geometry: Dualistic manifold structures and their usesInformation geometry: Dualistic manifold structures and their uses
Information geometry: Dualistic manifold structures and their uses
 
Talk iccf 19_ben_hammouda
Talk iccf 19_ben_hammoudaTalk iccf 19_ben_hammouda
Talk iccf 19_ben_hammouda
 
Region filling
Region fillingRegion filling
Region filling
 
Unit 1. day 5. quiz 1
Unit 1. day 5. quiz 1Unit 1. day 5. quiz 1
Unit 1. day 5. quiz 1
 
Hierarchical Deterministic Quadrature Methods for Option Pricing under the Ro...
Hierarchical Deterministic Quadrature Methods for Option Pricing under the Ro...Hierarchical Deterministic Quadrature Methods for Option Pricing under the Ro...
Hierarchical Deterministic Quadrature Methods for Option Pricing under the Ro...
 
An Efficient Convex Hull Algorithm for a Planer Set of Points
An Efficient Convex Hull Algorithm for a Planer Set of PointsAn Efficient Convex Hull Algorithm for a Planer Set of Points
An Efficient Convex Hull Algorithm for a Planer Set of Points
 
15_representation.pdf
15_representation.pdf15_representation.pdf
15_representation.pdf
 
Convex Hull Algorithms
Convex Hull AlgorithmsConvex Hull Algorithms
Convex Hull Algorithms
 
Optimization Techniques
Optimization TechniquesOptimization Techniques
Optimization Techniques
 
14_autoencoders.pdf
14_autoencoders.pdf14_autoencoders.pdf
14_autoencoders.pdf
 
10_rnn.pdf
10_rnn.pdf10_rnn.pdf
10_rnn.pdf
 
Geometric transformation 2d chapter 5
Geometric transformation 2d   chapter 5Geometric transformation 2d   chapter 5
Geometric transformation 2d chapter 5
 
Snakes in Images (Active contour tutorial)
Snakes in Images (Active contour tutorial)Snakes in Images (Active contour tutorial)
Snakes in Images (Active contour tutorial)
 
Deep Learning Opening Workshop - ProxSARAH Algorithms for Stochastic Composit...
Deep Learning Opening Workshop - ProxSARAH Algorithms for Stochastic Composit...Deep Learning Opening Workshop - ProxSARAH Algorithms for Stochastic Composit...
Deep Learning Opening Workshop - ProxSARAH Algorithms for Stochastic Composit...
 
CLIM Fall 2017 Course: Statistics for Climate Research, Nonstationary Covaria...
CLIM Fall 2017 Course: Statistics for Climate Research, Nonstationary Covaria...CLIM Fall 2017 Course: Statistics for Climate Research, Nonstationary Covaria...
CLIM Fall 2017 Course: Statistics for Climate Research, Nonstationary Covaria...
 
Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Applie...
Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Applie...Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Applie...
Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Applie...
 
Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Appli...
 Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Appli... Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Appli...
Program on Quasi-Monte Carlo and High-Dimensional Sampling Methods for Appli...
 
10.1.1.630.8055
10.1.1.630.805510.1.1.630.8055
10.1.1.630.8055
 

Destaque

Lesson 29: Integration by Substition (worksheet solutions)
Lesson 29: Integration by Substition (worksheet solutions)Lesson 29: Integration by Substition (worksheet solutions)
Lesson 29: Integration by Substition (worksheet solutions)
Matthew Leingang
 
Lesson 29: Integration by Substition
Lesson 29: Integration by SubstitionLesson 29: Integration by Substition
Lesson 29: Integration by Substition
Matthew Leingang
 
Lesson 28: The Fundamental Theorem of Calculus
Lesson 28: The Fundamental Theorem of CalculusLesson 28: The Fundamental Theorem of Calculus
Lesson 28: The Fundamental Theorem of Calculus
Matthew Leingang
 

Destaque (20)

Lesson 29: Integration by Substition (worksheet solutions)
Lesson 29: Integration by Substition (worksheet solutions)Lesson 29: Integration by Substition (worksheet solutions)
Lesson 29: Integration by Substition (worksheet solutions)
 
Lesson 24: Optimization II
Lesson 24: Optimization IILesson 24: Optimization II
Lesson 24: Optimization II
 
Lesson 21: Derivatives and the Shapes of Curves
Lesson 21: Derivatives and the Shapes of CurvesLesson 21: Derivatives and the Shapes of Curves
Lesson 21: Derivatives and the Shapes of Curves
 
Lesson 20: The Mean Value Theorem
Lesson 20: The Mean Value TheoremLesson 20: The Mean Value Theorem
Lesson 20: The Mean Value Theorem
 
Lesson 22: Graphing
Lesson 22: GraphingLesson 22: Graphing
Lesson 22: Graphing
 
Lesson 29: Integration by Substition
Lesson 29: Integration by SubstitionLesson 29: Integration by Substition
Lesson 29: Integration by Substition
 
Lesson 25: Areas and Distances; The Definite Integral
Lesson 25: Areas and Distances; The Definite IntegralLesson 25: Areas and Distances; The Definite Integral
Lesson 25: Areas and Distances; The Definite Integral
 
Lesson 23: Antiderivatives
Lesson 23: AntiderivativesLesson 23: Antiderivatives
Lesson 23: Antiderivatives
 
Lesson 24: Optimization
Lesson 24: OptimizationLesson 24: Optimization
Lesson 24: Optimization
 
Lesson 28: The Fundamental Theorem of Calculus
Lesson 28: The Fundamental Theorem of CalculusLesson 28: The Fundamental Theorem of Calculus
Lesson 28: The Fundamental Theorem of Calculus
 
Lesson 22: Graphing
Lesson 22: GraphingLesson 22: Graphing
Lesson 22: Graphing
 
Lesson 27: Evaluating Definite Integrals
Lesson 27: Evaluating Definite IntegralsLesson 27: Evaluating Definite Integrals
Lesson 27: Evaluating Definite Integrals
 
A Multiformat Document Workflow With Docutils
A Multiformat Document Workflow With DocutilsA Multiformat Document Workflow With Docutils
A Multiformat Document Workflow With Docutils
 
Lesson19 Maximum And Minimum Values 034 Slides
Lesson19   Maximum And Minimum Values 034 SlidesLesson19   Maximum And Minimum Values 034 Slides
Lesson19 Maximum And Minimum Values 034 Slides
 
Lesson 1: Functions and their Representations
Lesson 1: Functions and their RepresentationsLesson 1: Functions and their Representations
Lesson 1: Functions and their Representations
 
Lesson 21: Derivatives and the Shapes of Curves
Lesson 21: Derivatives and the Shapes of CurvesLesson 21: Derivatives and the Shapes of Curves
Lesson 21: Derivatives and the Shapes of Curves
 
Lesson 27: Evaluating Definite Integrals
Lesson 27: Evaluating Definite IntegralsLesson 27: Evaluating Definite Integrals
Lesson 27: Evaluating Definite Integrals
 
Lesson 23: Antiderivatives
Lesson 23: AntiderivativesLesson 23: Antiderivatives
Lesson 23: Antiderivatives
 
Lesson 3: The Concept of Limit
Lesson 3: The Concept of LimitLesson 3: The Concept of Limit
Lesson 3: The Concept of Limit
 
Lesson 24: Optimization
Lesson 24: OptimizationLesson 24: Optimization
Lesson 24: Optimization
 

Semelhante a Lesson 28: The Fundamental Theorem of Calculus

584 fundamental theorem of calculus
584 fundamental theorem of calculus584 fundamental theorem of calculus
584 fundamental theorem of calculus
goldenratio618
 
Lesson 27: The Fundamental Theorem of Calculus
Lesson 27: The Fundamental Theorem of Calculus Lesson 27: The Fundamental Theorem of Calculus
Lesson 27: The Fundamental Theorem of Calculus
Mel Anthony Pepito
 
Lesson 27: The Fundamental Theorem of Calculus
Lesson 27: The Fundamental Theorem of CalculusLesson 27: The Fundamental Theorem of Calculus
Lesson 27: The Fundamental Theorem of Calculus
Matthew Leingang
 
Calculus cheat sheet_integrals
Calculus cheat sheet_integralsCalculus cheat sheet_integrals
Calculus cheat sheet_integrals
UrbanX4
 

Semelhante a Lesson 28: The Fundamental Theorem of Calculus (20)

Lesson 26: The Fundamental Theorem of Calculus (slides)
Lesson 26: The Fundamental Theorem of Calculus (slides)Lesson 26: The Fundamental Theorem of Calculus (slides)
Lesson 26: The Fundamental Theorem of Calculus (slides)
 
Lesson 26: The Fundamental Theorem of Calculus (slides)
Lesson 26: The Fundamental Theorem of Calculus (slides)Lesson 26: The Fundamental Theorem of Calculus (slides)
Lesson 26: The Fundamental Theorem of Calculus (slides)
 
Lesson 26: The Fundamental Theorem of Calculus (slides)
Lesson 26: The Fundamental Theorem of Calculus (slides)Lesson 26: The Fundamental Theorem of Calculus (slides)
Lesson 26: The Fundamental Theorem of Calculus (slides)
 
Lesson 31: Evaluating Definite Integrals
Lesson 31: Evaluating Definite IntegralsLesson 31: Evaluating Definite Integrals
Lesson 31: Evaluating Definite Integrals
 
Lesson 26: The Fundamental Theorem of Calculus (Section 10 version)
Lesson 26: The Fundamental Theorem of Calculus (Section 10 version)Lesson 26: The Fundamental Theorem of Calculus (Section 10 version)
Lesson 26: The Fundamental Theorem of Calculus (Section 10 version)
 
Lesson 26: The Fundamental Theorem of Calculus (Section 4 version)
Lesson 26: The Fundamental Theorem of Calculus (Section 4 version)Lesson 26: The Fundamental Theorem of Calculus (Section 4 version)
Lesson 26: The Fundamental Theorem of Calculus (Section 4 version)
 
The integral
The integralThe integral
The integral
 
584 fundamental theorem of calculus
584 fundamental theorem of calculus584 fundamental theorem of calculus
584 fundamental theorem of calculus
 
gfg
gfggfg
gfg
 
Business math
Business mathBusiness math
Business math
 
Lesson 27: The Fundamental Theorem of Calculus
Lesson 27: The Fundamental Theorem of Calculus Lesson 27: The Fundamental Theorem of Calculus
Lesson 27: The Fundamental Theorem of Calculus
 
Lesson 27: The Fundamental Theorem of Calculus
Lesson 27: The Fundamental Theorem of CalculusLesson 27: The Fundamental Theorem of Calculus
Lesson 27: The Fundamental Theorem of Calculus
 
Lesson 2: A Catalog of Essential Functions (slides)
Lesson 2: A Catalog of Essential Functions (slides)Lesson 2: A Catalog of Essential Functions (slides)
Lesson 2: A Catalog of Essential Functions (slides)
 
Lesson 2: A Catalog of Essential Functions (slides)
Lesson 2: A Catalog of Essential Functions (slides)Lesson 2: A Catalog of Essential Functions (slides)
Lesson 2: A Catalog of Essential Functions (slides)
 
Lesson03 The Concept Of Limit 027 Slides
Lesson03   The Concept Of Limit 027 SlidesLesson03   The Concept Of Limit 027 Slides
Lesson03 The Concept Of Limit 027 Slides
 
Differential Calculus
Differential Calculus Differential Calculus
Differential Calculus
 
Lesson 25: Evaluating Definite Integrals (slides
Lesson 25: Evaluating Definite Integrals (slidesLesson 25: Evaluating Definite Integrals (slides
Lesson 25: Evaluating Definite Integrals (slides
 
Lesson 25: Evaluating Definite Integrals (slides)
Lesson 25: Evaluating Definite Integrals (slides)Lesson 25: Evaluating Definite Integrals (slides)
Lesson 25: Evaluating Definite Integrals (slides)
 
Calculus cheat sheet_integrals
Calculus cheat sheet_integralsCalculus cheat sheet_integrals
Calculus cheat sheet_integrals
 
Local linear approximation
Local linear approximationLocal linear approximation
Local linear approximation
 

Mais de Matthew Leingang

Mais de Matthew Leingang (20)

Making Lesson Plans
Making Lesson PlansMaking Lesson Plans
Making Lesson Plans
 
Streamlining assessment, feedback, and archival with auto-multiple-choice
Streamlining assessment, feedback, and archival with auto-multiple-choiceStreamlining assessment, feedback, and archival with auto-multiple-choice
Streamlining assessment, feedback, and archival with auto-multiple-choice
 
Electronic Grading of Paper Assessments
Electronic Grading of Paper AssessmentsElectronic Grading of Paper Assessments
Electronic Grading of Paper Assessments
 
Lesson 27: Integration by Substitution (slides)
Lesson 27: Integration by Substitution (slides)Lesson 27: Integration by Substitution (slides)
Lesson 27: Integration by Substitution (slides)
 
Lesson 27: Integration by Substitution (handout)
Lesson 27: Integration by Substitution (handout)Lesson 27: Integration by Substitution (handout)
Lesson 27: Integration by Substitution (handout)
 
Lesson 26: The Fundamental Theorem of Calculus (handout)
Lesson 26: The Fundamental Theorem of Calculus (handout)Lesson 26: The Fundamental Theorem of Calculus (handout)
Lesson 26: The Fundamental Theorem of Calculus (handout)
 
Lesson 25: Evaluating Definite Integrals (handout)
Lesson 25: Evaluating Definite Integrals (handout)Lesson 25: Evaluating Definite Integrals (handout)
Lesson 25: Evaluating Definite Integrals (handout)
 
Lesson 24: Areas and Distances, The Definite Integral (handout)
Lesson 24: Areas and Distances, The Definite Integral (handout)Lesson 24: Areas and Distances, The Definite Integral (handout)
Lesson 24: Areas and Distances, The Definite Integral (handout)
 
Lesson 24: Areas and Distances, The Definite Integral (slides)
Lesson 24: Areas and Distances, The Definite Integral (slides)Lesson 24: Areas and Distances, The Definite Integral (slides)
Lesson 24: Areas and Distances, The Definite Integral (slides)
 
Lesson 23: Antiderivatives (slides)
Lesson 23: Antiderivatives (slides)Lesson 23: Antiderivatives (slides)
Lesson 23: Antiderivatives (slides)
 
Lesson 23: Antiderivatives (slides)
Lesson 23: Antiderivatives (slides)Lesson 23: Antiderivatives (slides)
Lesson 23: Antiderivatives (slides)
 
Lesson 22: Optimization Problems (slides)
Lesson 22: Optimization Problems (slides)Lesson 22: Optimization Problems (slides)
Lesson 22: Optimization Problems (slides)
 
Lesson 22: Optimization Problems (handout)
Lesson 22: Optimization Problems (handout)Lesson 22: Optimization Problems (handout)
Lesson 22: Optimization Problems (handout)
 
Lesson 21: Curve Sketching (slides)
Lesson 21: Curve Sketching (slides)Lesson 21: Curve Sketching (slides)
Lesson 21: Curve Sketching (slides)
 
Lesson 21: Curve Sketching (handout)
Lesson 21: Curve Sketching (handout)Lesson 21: Curve Sketching (handout)
Lesson 21: Curve Sketching (handout)
 
Lesson 20: Derivatives and the Shapes of Curves (slides)
Lesson 20: Derivatives and the Shapes of Curves (slides)Lesson 20: Derivatives and the Shapes of Curves (slides)
Lesson 20: Derivatives and the Shapes of Curves (slides)
 
Lesson 20: Derivatives and the Shapes of Curves (handout)
Lesson 20: Derivatives and the Shapes of Curves (handout)Lesson 20: Derivatives and the Shapes of Curves (handout)
Lesson 20: Derivatives and the Shapes of Curves (handout)
 
Lesson 19: The Mean Value Theorem (slides)
Lesson 19: The Mean Value Theorem (slides)Lesson 19: The Mean Value Theorem (slides)
Lesson 19: The Mean Value Theorem (slides)
 
Lesson 18: Maximum and Minimum Values (slides)
Lesson 18: Maximum and Minimum Values (slides)Lesson 18: Maximum and Minimum Values (slides)
Lesson 18: Maximum and Minimum Values (slides)
 
Lesson 17: Indeterminate forms and l'Hôpital's Rule (slides)
Lesson 17: Indeterminate forms and l'Hôpital's Rule (slides)Lesson 17: Indeterminate forms and l'Hôpital's Rule (slides)
Lesson 17: Indeterminate forms and l'Hôpital's Rule (slides)
 

Último

IAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsIAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI Solutions
Enterprise Knowledge
 
Histor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slideHistor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slide
vu2urc
 

Último (20)

A Call to Action for Generative AI in 2024
A Call to Action for Generative AI in 2024A Call to Action for Generative AI in 2024
A Call to Action for Generative AI in 2024
 
Presentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreterPresentation on how to chat with PDF using ChatGPT code interpreter
Presentation on how to chat with PDF using ChatGPT code interpreter
 
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerHow to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected Worker
 
Automating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps ScriptAutomating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps Script
 
Powerful Google developer tools for immediate impact! (2023-24 C)
Powerful Google developer tools for immediate impact! (2023-24 C)Powerful Google developer tools for immediate impact! (2023-24 C)
Powerful Google developer tools for immediate impact! (2023-24 C)
 
How to convert PDF to text with Nanonets
How to convert PDF to text with NanonetsHow to convert PDF to text with Nanonets
How to convert PDF to text with Nanonets
 
A Year of the Servo Reboot: Where Are We Now?
A Year of the Servo Reboot: Where Are We Now?A Year of the Servo Reboot: Where Are We Now?
A Year of the Servo Reboot: Where Are We Now?
 
Tata AIG General Insurance Company - Insurer Innovation Award 2024
Tata AIG General Insurance Company - Insurer Innovation Award 2024Tata AIG General Insurance Company - Insurer Innovation Award 2024
Tata AIG General Insurance Company - Insurer Innovation Award 2024
 
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdfThe Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf
 
IAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsIAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI Solutions
 
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptxFactors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
 
08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men
 
Histor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slideHistor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slide
 
Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024
 
Boost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdfBoost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdf
 
Exploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone ProcessorsExploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone Processors
 
[2024]Digital Global Overview Report 2024 Meltwater.pdf
[2024]Digital Global Overview Report 2024 Meltwater.pdf[2024]Digital Global Overview Report 2024 Meltwater.pdf
[2024]Digital Global Overview Report 2024 Meltwater.pdf
 
The Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxThe Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptx
 
Data Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt RobisonData Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt Robison
 
Breaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path MountBreaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path Mount
 

Lesson 28: The Fundamental Theorem of Calculus

  • 1. Section 5.4 The Fundamental Theorem of Calculus V63.0121.027, Calculus I December 8, 2009 Announcements Final Exam: Friday 12/18, 2:00-3:50pm, Tisch UC50 . . . . . .
  • 2. Redemption policies Current distribution of grade: 40% final, 25% midterm, 15% quizzes, 10% written HW, 10% WebAssign Remember we drop the lowest quiz, lowest written HW, and 5 lowest WebAssign-ments [new!] If your final exam score beats your midterm score, we will re-weight it by 50% and make the midterm 15% . . . . . .
  • 3. Outline Recall: The Evaluation Theorem a/k/a 2FTC The First Fundamental Theorem of Calculus The Area Function Statement and proof of 1FTC Biographies Differentiation of functions defined by integrals “Contrived” examples Erf Other applications . . . . . .
  • 4. The definite integral as a limit Definition If f is a function defined on [a, b], the definite integral of f from a to b is the number ∫ b ∑n f(x) dx = lim f(ci ) ∆x a ∆x→0 i =1 . . . . . .
  • 5. Theorem (The Second Fundamental Theorem of Calculus) Suppose f is integrable on [a, b] and f = F′ for another function F, then ∫ b f(x) dx = F(b) − F(a). a . . . . . .
  • 6. The Integral as Total Change Another way to state this theorem is: ∫ b F′ (x) dx = F(b) − F(a), a or the integral of a derivative along an interval is the total change between the sides of that interval. This has many ramifications: . . . . . .
  • 7. The Integral as Total Change Another way to state this theorem is: ∫ b F′ (x) dx = F(b) − F(a), a or the integral of a derivative along an interval is the total change between the sides of that interval. This has many ramifications: Theorem If v(t) represents the velocity of a particle moving rectilinearly, then ∫ t1 v(t) dt = s(t1 ) − s(t0 ). t0 . . . . . .
  • 8. The Integral as Total Change Another way to state this theorem is: ∫ b F′ (x) dx = F(b) − F(a), a or the integral of a derivative along an interval is the total change between the sides of that interval. This has many ramifications: Theorem If MC(x) represents the marginal cost of making x units of a product, then ∫ x C(x) = C(0) + MC(q) dq. 0 . . . . . .
  • 9. The Integral as Total Change Another way to state this theorem is: ∫ b F′ (x) dx = F(b) − F(a), a or the integral of a derivative along an interval is the total change between the sides of that interval. This has many ramifications: Theorem If ρ(x) represents the density of a thin rod at a distance of x from its end, then the mass of the rod up to x is ∫ x m(x) = ρ(s) ds. 0 . . . . . .
  • 10. My first table of integrals ∫ ∫ ∫ [f(x) + g(x)] dx = f(x) dx + g(x) dx ∫ ∫ ∫ x n +1 xn dx = + C (n ̸= −1) cf(x) dx = c f(x) dx n+1 ∫ ∫ 1 ex dx = ex + C dx = ln |x| + C x ∫ ∫ ax sin x dx = − cos x + C ax dx = +C ln a ∫ ∫ cos x dx = sin x + C csc2 x dx = − cot x + C ∫ ∫ sec2 x dx = tan x + C csc x cot x dx = − csc x + C ∫ ∫ 1 sec x tan x dx = sec x + C √ dx = arcsin x + C 1 − x2 ∫ 1 dx = arctan x + C 1 + x2 . . . . . .
  • 11. Outline Recall: The Evaluation Theorem a/k/a 2FTC The First Fundamental Theorem of Calculus The Area Function Statement and proof of 1FTC Biographies Differentiation of functions defined by integrals “Contrived” examples Erf Other applications . . . . . .
  • 12. An area function ∫ x 3 Let f(t) = t and define g(x) = f(t) dt. Can we evaluate the 0 integral in g(x)? . 0 . x . . . . . . .
  • 13. An area function ∫ x 3 Let f(t) = t and define g(x) = f(t) dt. Can we evaluate the 0 integral in g(x)? Dividing the interval [0, x] into n pieces x ix gives ∆t = and ti = 0 + i∆t = . So n n x x3 x (2x)3 x (nx)3 Rn = · 3 + · 3 + ··· + · 3 n n n n n n x4 ( 3 ) = 4 1 + 2 3 + 3 3 + · · · + n3 n x4 [ 1 ]2 = 4 2 n(n + 1) . n 0 . x . x4 n2 (n + 1)2 x4 = → 4n4 4 as n → ∞. . . . . . .
  • 14. An area function, continued So x4 g(x) = . 4 . . . . . .
  • 15. An area function, continued So x4 g(x) = . 4 This means that g ′ (x ) = x 3 . . . . . . .
  • 16. The area function Let f be a function which is integrable (i.e., continuous or with finitely many jump discontinuities) on [a, b]. Define ∫ x g(x) = f(t) dt. a The variable is x; t is a “dummy” variable that’s integrated over. Picture changing x and taking more of less of the region under the curve. Question: What does f tell you about g? . . . . . .
  • 17. Envisioning the area function Example Suppose f(t) is the function graphed below v . . . . . . . t .0 t .1 c . t .2 t t .3 . . ∫ x Let g(x) = f(t) dt. What can you say about g? t0 . . . . . .
  • 18. features of g from f Interval sign monotonicity monotonicity concavity of f of g of f of g [ t0 , t 1 ] + ↗ ↗ ⌣ [t1 , c] + ↗ ↘ ⌢ [c, t2 ] − ↘ ↘ ⌢ [ t2 , t 3 ] − ↘ ↗ ⌣ [t3 , ∞) − ↘ → none . . . . . .
  • 19. features of g from f Interval sign monotonicity monotonicity concavity of f of g of f of g [ t0 , t 1 ] + ↗ ↗ ⌣ [t1 , c] + ↗ ↘ ⌢ [c, t2 ] − ↘ ↘ ⌢ [ t2 , t 3 ] − ↘ ↗ ⌣ [t3 , ∞) − ↘ → none We see that g is behaving a lot like an antiderivative of f. . . . . . .
  • 20. Theorem (The First Fundamental Theorem of Calculus) Let f be an integrable function on [a, b] and define ∫ x g(x) = f(t) dt. a If f is continuous at x in (a, b), then g is differentiable at x and g′ (x) = f(x). . . . . . .
  • 21. Proof. Let h > 0 be given so that x + h < b. We have g(x + h) − g(x) = h . . . . . .
  • 22. Proof. Let h > 0 be given so that x + h < b. We have ∫ x+h g(x + h) − g(x) 1 = f(t) dt. h h x . . . . . .
  • 23. Proof. Let h > 0 be given so that x + h < b. We have ∫ x+h g(x + h) − g(x) 1 = f(t) dt. h h x Let Mh be the maximum value of f on [x, x + h], and mh the minimum value of f on [x, x + h]. From §5.2 we have ∫ x +h f(t) dt x . . . . . .
  • 24. Proof. Let h > 0 be given so that x + h < b. We have ∫ x+h g(x + h) − g(x) 1 = f(t) dt. h h x Let Mh be the maximum value of f on [x, x + h], and mh the minimum value of f on [x, x + h]. From §5.2 we have ∫ x +h f(t) dt ≤ Mh · h x . . . . . .
  • 25. Proof. Let h > 0 be given so that x + h < b. We have ∫ x+h g(x + h) − g(x) 1 = f(t) dt. h h x Let Mh be the maximum value of f on [x, x + h], and mh the minimum value of f on [x, x + h]. From §5.2 we have ∫ x +h mh · h ≤ f(t) dt ≤ Mh · h x . . . . . .
  • 26. Proof. Let h > 0 be given so that x + h < b. We have ∫ x+h g(x + h) − g(x) 1 = f(t) dt. h h x Let Mh be the maximum value of f on [x, x + h], and mh the minimum value of f on [x, x + h]. From §5.2 we have ∫ x +h mh · h ≤ f(t) dt ≤ Mh · h x So g(x + h) − g(x) mh ≤ ≤ Mh . h . . . . . .
  • 27. Proof. Let h > 0 be given so that x + h < b. We have ∫ x+h g(x + h) − g(x) 1 = f(t) dt. h h x Let Mh be the maximum value of f on [x, x + h], and mh the minimum value of f on [x, x + h]. From §5.2 we have ∫ x +h mh · h ≤ f(t) dt ≤ Mh · h x So g(x + h) − g(x) mh ≤ ≤ Mh . h As h → 0, both mh and Mh tend to f(x). . . . . . .
  • 28. Meet the Mathematician: James Gregory Scottish, 1638-1675 Astronomer and Geometer Conceived transcendental numbers and found evidence that π was transcendental Proved a geometric version of 1FTC as a lemma but didn’t take it further . . . . . .
  • 29. Meet the Mathematician: Isaac Barrow English, 1630-1677 Professor of Greek, theology, and mathematics at Cambridge Had a famous student . . . . . .
  • 30. Meet the Mathematician: Isaac Newton English, 1643–1727 Professor at Cambridge (England) Philosophiae Naturalis Principia Mathematica published 1687 . . . . . .
  • 31. Meet the Mathematician: Gottfried Leibniz German, 1646–1716 Eminent philosopher as well as mathematician Contemporarily disgraced by the calculus priority dispute . . . . . .
  • 32. Differentiation and Integration as reverse processes Putting together 1FTC and 2FTC, we get a beautiful relationship between the two fundamental concepts in calculus. ∫ x d f(t) dt = f(x) dx a . . . . . .
  • 33. Differentiation and Integration as reverse processes Putting together 1FTC and 2FTC, we get a beautiful relationship between the two fundamental concepts in calculus. ∫ x d f(t) dt = f(x) dx a ∫ b F′ (x) dx = F(b) − F(a). a . . . . . .
  • 34. Outline Recall: The Evaluation Theorem a/k/a 2FTC The First Fundamental Theorem of Calculus The Area Function Statement and proof of 1FTC Biographies Differentiation of functions defined by integrals “Contrived” examples Erf Other applications . . . . . .
  • 35. Differentiation of area functions Example ∫ 3x Let h(x) = t3 dt. What is h′ (x)? 0 . . . . . .
  • 36. Differentiation of area functions Example ∫ 3x Let h(x) = t3 dt. What is h′ (x)? 0 Solution (Using 2FTC) 3x t4 1 h(x) = = (3x)4 = 1 4 · 81x4 , so h′ (x) = 81x3 . 4 0 4 . . . . . .
  • 37. Differentiation of area functions Example ∫ 3x Let h(x) = t3 dt. What is h′ (x)? 0 Solution (Using 2FTC) 3x t4 1 h(x) = = (3x)4 = 1 4 · 81x4 , so h′ (x) = 81x3 . 4 0 4 Solution (Using 1FTC) ∫ u We can think of h as the composition g k, where g(u) = ◦ t3 dt 0 and k(x) = 3x. . . . . . .
  • 38. Differentiation of area functions Example ∫ 3x Let h(x) = t3 dt. What is h′ (x)? 0 Solution (Using 2FTC) 3x t4 1 h(x) = = (3x)4 = 1 4 · 81x4 , so h′ (x) = 81x3 . 4 0 4 Solution (Using 1FTC) ∫ u We can think of h as the composition g k, where g(u) = ◦ t3 dt 0 and k(x) = 3x. Then h′ (x) = g′ (k(x))k′ (x) = (k(x))3 · 3 = (3x)3 · 3 = 81x3 . . . . . . .
  • 39. Differentiation of area functions, in general by 1FTC ∫ k(x) d f(t) dt = f(k(x))k′ (x) dx a by reversing the order of integration: ∫ b ∫ h(x) d d f(t) dt = − f(t) dt = −f(h(x))h′ (x) dx h (x ) dx b by combining the two above: ∫ (∫ ∫ ) k(x) k (x ) 0 d d f(t) dt = f(t) dt + f(t) dt dx h (x ) dx 0 h(x) = f(k(x))k′ (x) − f(h(x))h′ (x) . . . . . .
  • 40. Example ∫ sin2 x Let h(x) = (17t2 + 4t − 4) dt. What is h′ (x)? 0 . . . . . .
  • 41. Example ∫ sin2 x Let h(x) = (17t2 + 4t − 4) dt. What is h′ (x)? 0 Solution We have ∫ sin2 x d (17t2 + 4t − 4) dt dx 0 ( ) d = 17(sin2 x)2 + 4(sin2 x) − 4 · sin2 x ( ) dx = 17 sin4 x + 4 sin2 x − 4 · 2 sin x cos x . . . . . .
  • 42. Example ∫ ex Find the derivative of F(x) = sin4 t dt. x3 . . . . . .
  • 43. Example ∫ ex Find the derivative of F(x) = sin4 t dt. x3 Solution ∫ ex d sin4 t dt = sin4 (ex ) · ex − sin4 (x3 ) · 3x2 dx x3 . . . . . .
  • 44. Example ∫ ex Find the derivative of F(x) = sin4 t dt. x3 Solution ∫ ex d sin4 t dt = sin4 (ex ) · ex − sin4 (x3 ) · 3x2 dx x3 Notice here it’s much easier than finding an antiderivative for sin4 . . . . . . .
  • 45. Erf Here’s a function with a funny name but an important role: ∫ x 2 2 erf(x) = √ e−t dt. π 0 . . . . . .
  • 46. Erf Here’s a function with a funny name but an important role: ∫ x 2 2 erf(x) = √ e−t dt. π 0 It turns out erf is the shape of the bell curve. . . . . . .
  • 47. Erf Here’s a function with a funny name but an important role: ∫ x 2 2 erf(x) = √ e−t dt. π 0 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) = . . . . . .
  • 48. Erf Here’s a function with a funny name but an important role: ∫ x 2 2 erf(x) = √ e−t dt. π 0 It turns out erf is the shape of the bell curve. We can’t find erf(x), explicitly, but we do know its derivative. 2 2 erf′ (x) = √ e−x . π . . . . . .
  • 49. Erf Here’s a function with a funny name but an important role: ∫ x 2 2 erf(x) = √ e−t dt. π 0 It turns out erf is the shape of the bell curve. We can’t find erf(x), explicitly, but we do know its derivative. 2 2 erf′ (x) = √ e−x . π Example d Find erf(x2 ). dx . . . . . .
  • 50. Erf Here’s a function with a funny name but an important role: ∫ x 2 2 erf(x) = √ e−t dt. π 0 It turns out erf is the shape of the bell curve. We can’t find erf(x), explicitly, but we do know its derivative. 2 2 erf′ (x) = √ e−x . π Example d Find erf(x2 ). dx Solution By the chain rule we have d d 2 2 2 4 4 erf(x2 ) = erf′ (x2 ) x2 = √ e−(x ) 2x = √ xe−x . dx dx π π . . . . . .
  • 51. Other functions defined by integrals The future value of an asset: ∫ ∞ FV(t) = π(τ )e−rτ dτ t where π(τ ) is the profitability at time τ and r is the discount rate. The consumer surplus of a good: ∫ q∗ CS(q∗ ) = (f(q) − p∗ ) dq 0 where f(q) is the demand function and p∗ and q∗ the equilibrium price and quantity. . . . . . .
  • 52. Surplus by picture c . onsumer surplus p . rice (p) s . upply .∗ . p . . quilibrium e . emand f(q) d . . .∗ q q . uantity (q) . . . . . .