>   

lab6.mws --- Integration Techniques and the Integration  Maplet [with REVISED hyperlinks!]

>    restart;
with( plots ):

>   

Lab Overview

You have been spending the last few lectures learning about several integration techniques: rationalizing substitutions, integration by parts, partial fractions. There are two steps to using these techniques to evaluate an integral: i) devising a plan to evaluate the integral and ii) carrying out all the necessary algebraic manipulations necessary to implement your plan. These two steps are interrelated. When working these problems by hand, any mistakes in the manipulations can doom the best plan (or make a bad plan seem to work well).

Maple's int  command can evaluate almost any definite or indefinite integral we are likely to ever encounter. Simply using this command does not help us develop our understanding of the integration process. The Integration  maplet [ Maplet Viewer][ MapleNet] is a Java-based graphical interface written in Maple that allows us to focus on selecting appropriate techniques to evaluate integrals.

The primary purpose of this lab is to provide an introduction to this maplet and to demonstrate its use to help you work some of the assigned problems. A secondary purpose of the lab is to complete the discussion of partial fractions (section 8.5).

Except for the essay question, the questions for this lab are taken from the assigned homework problems.

  Deadline for submitting a lab solution is midnight, Thursday, February 20, 2003.  

>   

The Integration  Maplet

There are several ways to access the Integration  maplet. The simplest, and most reliable, method is via MapleNet. MapleNet access is possible from any Java-enabled computer connected to the Internet. All of the computers in the CSM labs are more than capable of running maplets via MapleNet. Note that you do not need to have Maple on your computer to use MapleNet (Basically, MapleNet accesses Maple on a server via specialized interfaces.) The URL to access the Integration  maplet via MapleNet is http://maplenet.math.sc.edu/maplenet/meade/Calculus1Maplets/Integration.html. After you follow this link you will see a new window. If you are asked to grant permission to download and run java programs from Waterloo Maple, Inc., I recommend selecting the response "yes, for this session only". Then, after a (hopefully) short delay while Java starts, you will see a new window containing the Integration  maplet. (Do not use this browser window to visit any other sites while a maplet is open. Doing so will probably terminate the maplet.)

To the best of my knowledge the minimal requirements to run a maplet via MapleNet are:

If you have Maple on your local computer and want to run the maplet on your local computer, you can use the Maplet Viewer . The Maplet Viewer is a version of Maple that runs a maplet without opening the usual Maple window. The URL to access the Integration maplet with the Maplet Viewer is http://www.math.sc.edu/~meade/math142-S03/maplets/Calculus1Maplets/Integration.maplet. After you follow this link you will see a Maplets splash screen followed by a new window containing the maplet. You might be asked if you want to open the link with MapletViewer.exe or save the file; select open the link and continue. (Unfortunately, as of the time I am preparing this lab we are experiencing some problems with the libraries needed to execute the Integration  maplet. If you try to access the Integration  maplet with the Maplet Viewer and receive a message about quotedtext not being acceptable this problem has not been resolved --- use the MapleNet version.)

A third, and essentially unneeded, method to access the Integration maplet is to open the Maple worksheet from which the maplet was created in a Maple window. You will then need to execute the entire worksheet. (To execute an entire worksheet, either click on the !!!  icon or select Edit , Execute ... , Worksheet .  Because this uses the same installation of Maple as the Maple Viewer, you be unable to successfully execute the Integration worksheet if the Maplet Viewer did not work.)

>   

Section 8.3: Rationalizing Substitutions

Example 1: # 10 (p. 385)

Here are the steps needed to use the Integration maplet to evaluate the integral

  Int(x^2/sqrt(16-x^2),x)  

0. Launch the Integration  maplet (see above)

1. Enter the problem by filling in the fields at the top of the maplet window:

     Function : x^2/sqrt(16-x^2)  

     Variable : x

    The from  and to  fields are used to specify the lower and upper limits of integration for a definite integral.

2. Click the Start  button along the bottom row of the maplet.

3. The first step in this problem is to rationalize the integrand with the substitution: x=4*sin(t) . To implement this step, enter x=4*sin(t)  in the field to the right of the rewrite  and change  buttons. Then click the change  button. The result should be Int(16*sin(t)^2,t)

4. To integrate sin(t)^2  it is necessary to use the double-angle identity: sin(t)^2 = (1-cos(2*t))/2 . To complete this step, enter sin(t)^2=(1-cos(2*t))/2  in the field to the right of the rewrite  and change  buttons. Now click the rewrite  button.

5. While factoring the 8 from both terms of the integrand would be a reasonable next step, the Integration maplet does not permit it. (Click the Constant Multiple  button to see what happens.) Another possible step is to separate the integral into two separate integrals. To do this click the Difference  (or Sum ) button.

6. The first integral can now be evaluated using the Constant rule (click the Constant button).

7. For the remaining term, implement the change of variables 2*t = u  by entering 2*t=u  in the field to the right of the rewrite and change  buttons then click change .

8. Click Constant Multiple  to bring the factor of 1/2  outside the integral.

9. Click Select a Function . From the list that appears, click cos . Now click the Apply button.

10. There should be no integrals left in the problem. All that remains is to undo the change of variables. To do this, click the Revert  button - twice.

11. The final answer should be

  8*arcsin(x/4)-x/2*sqrt(16-x^2)  

Of course, you would add a constant of integration.

>   

Example 2: # 18 (p. 385)

0. To evaluate

  Int(1/sqrt(x^2+4*x+5),x)  

begin by entering the problem and clicking Start.

1. To complete the square in the expression under the radical, use the Integration maplet to rewrite   x^2+4*x+5  as (x+2)^2+1 .

2. Make the change  of variables x+2 = u . (Note the distinction between rewrite  and change .)

3. To rationalize the integrand, use the change  of variables u = tan(t) .

4. The resulting integral can be evaluated with an appropriate Function Rule.

5. Use the revert button as many times as necessary to undo the substitutions.

The final result, without the constant of integration, should be

  log(sqrt(x^2+4*x+5)+x+2)  

>   

Note: Notation for Logarithms

When a mathematician writes log, they mean the natural logarithm. The base 10 logarithm would be written log ``[10] . Maple understands both ln  and log  as the natural logarithm, log10  is Maple's base 10 logarithm. Usually, when  you enter ln it responds with ln. The Integration maplet does not follow this convention.

>   

Section 8.4: Integration by Parts

Example 3: # 17 (p. 390)

To evaluate the definite integral

  Int(sqrt(t)*ln(t),t = 1 .. e)  

enter the integrand and variable of integration as usual. In addition, fill in the from  field with 1  and the to  field with exp(1) . Integration by parts is the method of choice for this problem. Because there is no easy antiderivative for the natural logarithm, the only real choice is to choose u = ln(t)  and dv = sqrt(t)*dt . Then

   v = Int(1,v)  = Int(sqrt(t),t) = 2/3   t^(3/2) .

Enter the value of u  ( ln(t) ) in the field next to f(x)=  and the value of v  ( 2/3*t^(3/2) ) in the field next to g(x)= . Now, click the Int by Parts  button. Note that the u*v term is automatically evaluated at the upper and lower limits of integration. To finish the problem apply the Constant Multiple  rule followed by the Power  rule.

>   

Example 4: # 14 (p. 390)

This problem, Int(arctan(5*x),x) , is similar to Example 3 in that there is no easy antiderivative for the arctan function. Thus, choose u=arctan(5*x) and dv=dx. Then v = Int(1,v)  = Int(1,x) = x . Enter this information in the f(x)=  and g(x)=  fields and click Int by Parts . The integral produced by this step involves an integral that can be evaluated in a number of different ways. Seeing that the denominator 1+25*x^2 = 1+tan(u)^2  = sec(u)^2  when 5*x = tan(u) . Make this change  of variable. The next step is the ever-present Constant Multiple  rule. To conclude, select the function tan  (or simply type tan  in the Enter a Function  field), then click Apply , then Revert  to the original variable. (Note that the maplet uses ln in this result.)

>   

Note: Using Understood Rules

If you are like me, you are tired of having to click the Constant Multiple , Sum , and Difference  buttons. There is a way to tell the Integration  maplet to automatically apply these, or most other, rules. In the menu bar, click on Understood Rules , then click on Constant Multiple . Repeat for Sum Rule  and Difference Rule .

>   

Example 5: # 46 (p. 390)

This is one of the classical integrals found in every calculus course. Because differentiation or antidifferentiation of the exponential yields another exponential and derivatives and antiderivatives of sin and cos alternate, there is no real hope that integration by parts will ``simplify'' the integrand. But, the periodic nature of the trigonometric functions means we might end up where we started. Let's see this, then discuss how to complete the problem.

To start, enter the integrand and the variable of integration. There are two choices for the f(x)=  and g(x)=  fields. If you choose u = exp(a*t)  and dv = sin(t)*dt , then v = -cos(t) . If you choose u = sin(t)  and dv = exp(a*t)*dt , then v = 1/a   exp(a*t) . Enter one of these choices in the f(x)=  and g(x)=  fields and click Int by Parts . The integral that this produces will have an integrand that includes exp(a*t)*cos(t) .

Now, apply integration by parts with the exponential in the same place as in the first integration by parts. If you do this correctly the second integration by parts will involve the original integral -- with a coefficient different from 1. (If you did reversed the choices of u and dv between the two applications of integration by parts you will end up --- after simplification --- with the original integral.)

You now have an equation that looks something like

  K = L-alpha*K  

where K = Int(exp(a*t)*sin(t),t) . It is easy to solve this equation for K : K = L/(1+alpha)  . The Solve  button will do this calculation within the Integration  maplet. The final result should be

  Int(exp(a*t)*sin(t),t) = exp(a*t)*(cos(t)-a*sin(t))/(a^2+1)  .

>   

Section 8.5: Integration of Rational Functions

Note: Applying Partial Fractions

For these examples it is helpful to let Maple find the partial fractions decomposition. On first glance this does not appear possible. But, if you will type partialfractions  (all one word, all lower case) in the field next to Enter a Function  and then click Apply , you will see the result of applying the partial fractions decomposition to the integrand.

>   

Example 6: # 6 (p. 397)

Consider the integral

  Int((x-7)/(x^2-x-12),x)  

The denominator factors as x^2-x-12 = (x-4)*(x+3) . This means we expect a partial fraction decomposition of the integrand to have the form B[1]/(x-4) + B[2]/(x+3). To complete this decomposition, type partialfractions  in the Enter a Function  field and click Apply . (Note that the Constant Multiple and Sum, or Difference, rules have been applied automatically.) The remaining integrals require separate change of variables. It is recommended that you work from left to right and completely evaluate each integral before beginning the next.

The final result from the Integration maplet should have the form 10/7*ln(x+3)-3/7*ln(x-4) . How could you rewrite this as a single logarithm?

>   

Example 7: # 22 (p. 397)

Consider the integral

  Int((5*x+7)/(x^2+4*x+4),x)  .

The integrand is a rational function and x^2+4*x+4 = (x+2)^2 . Enter this problem in the maplet and Apply  the partialfractions  function to this problem. Note that the two integrals have denominators of x+2  and (x+2)^2  and the numerator in each case is a constant. The same change of variable can be used to complete the evaluation of these integrals. As suggested above, work left to right and complete each integral before beginning the next.

>   

Example 8: # 35 (p. 397)

In this example the denominator involves a repeated (ireducible) quadratic factor. In general, a term (a*x^2+b*x+c)^m  in the denominator will lead to m  terms in the partial fraction decomposition. These m  terms will be of the form   (B[i]*x+C[i])/((a*x^2+b*x+c)^i)  for i = 1 , 2, ..., m .

In # 35 the denominator contains (x^2+1)^2 . This means we should expect to see two terms in the partial fraction decomposition of the integrand; one with denominator x^2+1 , the other with denominator (x^2+1)^2 .

Enter this problem in the Integration  maplet and click Start . The first step is to find the partial fraction decomposition (see Note 2, above). Notice that there are two terms in the partial fraction decomposition. These integrals can be completed by applying a change of variable and the Power rule. Is your final answer

   5/2*(x^2+1)^(-1)+ln(sqrt(x^2+1))  ?

>   

Lab Questions

For questions 1-5, use the Integration maplet to evaluate the integral and list the method(s) in the order used to reach this result. (Have the maplet understand the Constant, Constant Multiple, Sum, Difference, Identity, and Power rules.) For example, if Example 2 were assigned, a correct answer would be:

     ln( sqrt(x^2+4*x+5) + x+2 ) + C, by applying [rewrite, x^2+4*x+5=(x+2)^2+1], [change, x+2=u], [change, u=tan(t)], [sec], [revert], [revert]

1. p. 385, # 14 (using the methods of Section 8.3)

2. p. 385, # 14 (using the methods of Section 8.1)

3. p. 390, # 15

4. p. 390, # 27

5. p. 397, # 36

6. [Essay Question] p. 397, # 20. Give the general form of the partial fraction decomposition and the values of the constants that this form agree with the integrand in this problem. Then, use the Integration  maplet to evaluate this integral. To conclude, use your answer to evaluate the definite integral

  Int((x^6+4*x^3+4)/(x^3-4*x^2),x = 1 .. 3)  

>   

>