Integrals 215 problem 10.mws

A rational expression of the form / , where the degree of the numerator is greater than or equal to the degree of the denominator is called an improper fraction. By long division, any improper fraction can be converted into a polynomial plus a proper fraction. In this exercise, we will use Maple to perform the tedious work of conversion, so we can focus on how to proceed after this conversion is completed.

Consider the function and suppose we want to compute . Let us compute the quotient and remainder from the long division.

> f:=x->(x^3-2*x^2+3*x-1)/(x+3);

> convert(f(x),parfrac,x);

Once this fraction is reduced, it is a simple matter to integrate the function by hand, and we see immediately that . Let us confirm our computation with Maple.

> int(f(x),x);

This procedure reduces any rational function with a denominator which is linear to one that we can integrate by hand. It works for functions with a quadratic denominator as well. For example, suppose that . Then we proceed as follows.

> f:=x->(3*x^3-2*x^2+x-1)/(x^2+1);

> convert(f(x),parfrac,x);

Here we have to recognize that the fraction can be expressed in the form . The first term is of the form -u'/u, where , so can be integrated easily, while the second term is just the derivative of the arctan function. Thus we can compute easily by hand that . Let us see if Maple is as smart as we are.

> int(f(x),x);

Submission:

For the functions below, do the following.

a) Use Maple to convert them to a polynomial plus a proper fraction.

b) Determine by hand. You may have to make a simple substitution.

1) .

2)

Submission worksheet:

>

The key to integrating rational functions by the method of partial fractions rests on our ability to express the rational expression as a sum of simpler fractions. This technique rewriting a rational expression as a sum of simpler fractions is useful in other contexts as well and Maple has a tool to help us to achieve this type of decomposition. Let's walk through a couple homework problems. Starting simply, consider .

> f := 1/((x-1)*(x+2)):

> fpar := convert(f,parfrac,x);

Notice that we now have with the help of convert and the parfrac option the partial fraction decomposition of the given expression . An antiderivative can now be found quite easily by inspection. Another, slightly more difficult problem is .

> f := (1+16*x)/((2*x-3)*(x+5)^2*(x^2+x+1)):

> fpar := convert(f,parfrac,x);

In this case most of the antiderivative can be obtained by inspection, but perhaps the last fraction is giving you some trouble. Here the appropriate technique is to complete the square in the denominator. We could also let Maple go for it:

> int(fpar,x);

Submission:

(a) Find the partial fraction decomposition of

(b) Find the antiderivative of f by hand and using Maple. Comment on any discrepancy that you see.

Submission worksheet:

>

Any rational function with real coefficients can be decomposed by partial fraction decomposition into a sum of a polynomial terms which have a constant numerator and either a power of a linear function or a power of a quadratic function in the denominator. The process of decomposing such a function is tedious and can be simplified by using Maple. For example, suppose that . Let us decompose the function into partial fractions.

> f:=x->(x^2+4*x+1)/(10*x^3-29*x^2+25*x-6);

> convert(f(x),parfrac,x);

In order to integrate these fractions by hand, one should factor out the coefficient in front of the x in the denominator to simplify this expression to -2 * + * + * , which integrates to

. Let us verify this in Maple.

> int(f(x),x);

Notice that Maple does not have the exact same answer as we did, but its answer does differ by a constant. To see this, note for example that = = .

If there is a repeated linear factor, then we can still integrate it by hand if we use Maple to do partial fraction decomposition. For example, if , then we obtain

> f:=x->(4*x^3-33*x^2+89*x-93)/(x^4-11*x^3+42*x^2-68*x+40);

> convert(f(x),parfrac,x);

and it is easy to see that this integrates to . Let us verify this in Maple.

> int(f(x),x);

Submission:

For each of the functions below do the following.

a) Find a partial fraction decomposition of the function.

b) Integrate the function by hand.

c) Check your result with Maple. Account for any differences.

1)

2)

Submission worksheet:

>

A quadratic which is of the form is an irreducible quadratic, because it does not factor over the reals. We have already dealt with these types of partial fractions in activity 1. Let us consider the function . Decomposing into partial fractions, we obtain:

> f:=x->(3*x^4-2*x^2+x-7)/(x^8+5*x^6+9*x^4+7*x^2-3*x^7-9*x^5-9*x^3-3*x+2);

> convert(f(x),parfrac,x);

The first two terms can be integrated by hand, and the third term splits into two pieces, each of which we know how to handle. But what about the last two terms. They also fit into a known pattern, and you might look them up in an integral table to see how to integrate them. Note that each of these terms also splits into two pieces, and the term which has an x in the numerator can be integrated by a simple substitution. But how do you integrate something like ? Later on in the course, we may examine how to do this, using integral tables, but for now, let us just look at what Maple gives for the answer.

> int(1/(x^2+1)^2,x);

Let us consider a more simple example, which does not involve higher powers of the irreducible quadratic. Suppose . We proceed as follows.

> f:=x->(x^2+2*x+1)/((x^2+1)^2);

> convert(f(x),parfrac,x);

The first term can be integrated by setting , so . Then the integrand is just , which integrates to , while the second term integrates to . Thus . Let us check what Maple thinks.

> int(f(x),x);

This time, Maple agrees with our indefinite integral exactly.

Submission:

For the functions below, do the following.

a) Decompose the function into partial fractions.

b) Integrate the function by hand.

c) Check your work with Maple, accounting for any differences.

1)

2)

Submission worksheet:

>

We know how to integrate integrals of the following form.

, , , for any positive integer n>1.

But how do you compute the integral ? In order to integrate rational functions, it is necessary to be able to do such an integral, because partial fraction decompositions may involve terms like this. If you just ask Maple to compute the integral above, then it gives the following unilluminating answer.

> int(1/((x^2+a^2)^n),x);

But if we choose a specific value for n , then Maple's answer tells us something interesting.

> int(1/((x^2+a^2)^3),x);

It seems that we obtain terms that may be a bit more predictable. The purpose of this activity is to develop a reduction formula which will allow us to do these integrals in general.

Submission:

1) By differentiating by hand, show that .

2) Explain why .

3) Explain why the formula in 2) leads to the reduction formula

Submission worksheet:

>

>

>