>   

The Mean Value Theorems for Derivatives and Integrals

Calculus I Lab -- Fall 2002

prepared by

Douglas B. Meade

Department of Mathematics

University of South Carolina

Columbia, SC 29208

E-mail: meade@math.sc.edu

18 November 2002

>   

Purpose

The purpose of this week's lab is to investigate the Mean Value Theorems (MVTs) for Derivatives and Integrals. This investigation will emphasize the hypotheses and conclusions of the two theorems and the connections between the two results. This will be done by way of several examples. The main Maple tools that will be used are the MeanValueTheorem  and FunctionAverage  commands provided in the Student[Calculus1]  package.

This lab can be prepared in any format -- Word document, Maple worksheet, text file, handwritten (provided it is neat!). All reports are due by 5:00pm Thursday, November 21, 2002.

>   

Example:

>    restart;
with( plots ):
with( Student[Calculus1] ):

>   

Recall the statements of the two Mean Value Theorems:

Mean Value Theorem for Derivatives

Let F be a function that is continuous on [ a , b ] and differentiable on ( a , b ). Then there is at least one point c  in ( a , b ) for which

 F'( c ) = (F(b)-F(a))/(b-a) .

>   

Mean Value Theorem for Integrals

Let f be a function that is continuous on [ a , b ]. Then there is at least one point c  in ( a , b ) for which

 f(c) = 1/(b-a)    Int(f(t),t = a .. b) .

>   

>   

To illustrate these two results, consider the function f(x) = sin(x)+x/2  on the interval [ 0, 10 ].

>    f := sin(x) + x/2;

>    a := 0;

>    b := 10;

>   

The hypotheses for the MVT for Derivatives are clearly satisfied.  A visualization of the MVT for Derivatives applied to this problem can be obtained with the MeanValueTheorem with optional argument output=plot :

>    MeanValueTheorem( f, x=a..b, output=plot );

>   

To obtain the (three) values of c  guaranteed by the MVT for Derivatives, change the optional argument to output=points :

>    mvtDpts := MeanValueTheorem( f, x=a..b, output=points );

>   

The points on the curve can be found using a loop such as the following:

>    for c in mvtDpts do
  pt := [ c, eval( f, x=c ) ];
  print( pt = evalf( pt ) );
end do:

>   

Turning our attention to the MVT for Integrals, the hypotheses are again satisfied.  The FunctionAverage  command with optional argument output=plot  produces a picture showing the rectangle whose ``area'' agrees with the ``area'' under the curve.  (I like to include the additional argument averageoptions=[color=cyan,filled=true]  to emphasize the ``area'' of the rectangle. The view  optional argument is included to overcome an apparent bug in FunctionAverage .)

>    FunctionAverage( f, x=a..b, output=plot,
                 averageoptions=[color=cyan,filled=true],
                 view=[0..10, 0..6] );

>   

The height of the rectangle, i.e., the average value of the function over this interval, can be obtained with the FunctionAverage  command with optional argument output=value :

>    ht := FunctionAverage( f, x=a..b, output=value );

The (in this case unique) value of c  in this interval where the function has this height can generally be found with the command

>    mvtIpts := solve( f=ht, x );

In this case, the point, c, is approximately

>    c := evalf( mvtIpts );

(In examples with more than one solution it might help to use the allvalues  command.)

The point on the graph corresponding to this value of c  is found to be

>    pt := [ c, eval( f, x=c ) ];

>   

This result can be verified by noting that

>    evalf( ht ) = pt[2];

>   

Exercise 1:

Note that there is no connection between the c  values for the two Mean Value Theorems when applied to the same function (as in the Example). This is to be expected. However, it is possible to find a related function, say g(x) , with the property that the MVT for Derivatives applied to f(x)  on [ a , b ] and the MVT for Integrals applied to g(x)  on [ a , b ] both produce the same c  values.

a. With f(x) = sin(x)+x/2 , find a function g(x)  that satisfies the condition in the previous paragraph. That is,

         f'(c) = (f(b)-f(a))/(b-a)    if and only if    g(c)  = 1/(b-a)   Int(g(x),x = a .. b)           

>    f := sin(x) + x/2;

>   

b. With f(x) = sin(x)+x/2 , find a function F(x)  with the property that the MVT for Integrals applied to f(x)  on [ a , b ] and the MVT for Derivatives applied to F(x)  on [ a , b ] produce the same c  values.  That is,

           f(c)    = 1/(b-a)   Int(f(x),x = a .. b)    if and only if   F'(c) = (F(b)-F(a))/(b-a)           

>    f := sin(x) + x/2;

>   

Your lab report should clearly indicate the functions g(x)  and F(x)  with appropriate Maple commands (and output) showing that your functions satisfy the stated conditions.

>   

Exercise 2:

What is the general relationship between the function f(x)  and the functions g(x)  and F(x)  found in Exercise 1?

Your answer to this questions must be one or more complete English sentences, using appropriate mathematical terminology, that answer this question.

>   

Exercise 3:

Consider the function f(x) = abs(x^2-1)  on the interval [ -1.5, 1.5 ].

>    f := abs( x^2-1 );
a := -1.5;
b := 1.5;

>   

Which, if either, of the Mean Value Theorems can be applied to this function?

For each MVT that applies, list all values of c that satisfy the conclusion of the theorem. For each MVT that does not apply, explicitly indicate all hypotheses that are not satisfied.

>   

Your response to this question should consist of at least two complete English sentences, using appropriate mathematical terminology and plots, that explain your answer to the question.

Hints:

Recall that discontinuous functions look best when the plot  command with optional argument discont=true  is used.

Note that Maple reports the derivative of the absolute value function, abs, in a strange (to us) format. To put this in a more explicit form, convert  the expression to piecewise  form with the command: convert( %?, piecewise );  with %?  replaced by the expression to be converted.

>   

>   

>