Module

for

Improper Integrals of Rational Functions

 

8.3  Improper Integrals of Rational Functions

    An important application of the theory of residues is the evaluation of certain types of improper integrals.  Let f(x) be a continuous function of the real variable x on the interval  [Graphics:Images/IntegralsRationalMod_gr_1.gif].  Recall from calculus that the improper integral of f(x) over  [[Graphics:Images/IntegralsRationalMod_gr_2.gif])  is defined by

            [Graphics:Images/IntegralsRationalMod_gr_3.gif],  
    
provided that the limit exists.  If f(x)  is defined for all real x, then the integral of f(x) over [Graphics:Images/IntegralsRationalMod_gr_4.gif] is defined by

(8-7)            [Graphics:Images/IntegralsRationalMod_gr_5.gif],  

provided both limits exist.  If the integral in Equation (8-7) exists, we can obtain its value by taking a single limit:

(8-8)            [Graphics:Images/IntegralsRationalMod_gr_6.gif].  

For some functions the limit on the right side of Equation (8-8) exists, but the limit on the right side of Equation (8-7) doesn't exist.

 

Example 8.13.  [Graphics:Images/IntegralsRationalMod_gr_7.gif],  

but Equation (8-7) tells us that the improper integral of  [Graphics:Images/IntegralsRationalMod_gr_8.gif]  over [Graphics:Images/IntegralsRationalMod_gr_9.gif]  doesn't exist, because the calculation  

            [Graphics:Images/IntegralsRationalMod_gr_10.gif]    is undefined .  

Therefore we can use Equation (8-8) to extend the notion of the value of an improper integral, as Definition 8.2 indicates.  

[Graphics:Images/IntegralsRationalMod_gr_11.gif]

Explore Solution 8.13.

 

Extra Example 1.  [Graphics:Images/IntegralsRationalMod_gr_16.gif],  

and Equation (8-7) tells us that the improper integral of  [Graphics:Images/IntegralsRationalMod_gr_17.gif]  over [Graphics:Images/IntegralsRationalMod_gr_18.gif]  also diverges to [Graphics:Images/IntegralsRationalMod_gr_19.gif], because  

            [Graphics:Images/IntegralsRationalMod_gr_20.gif].  

[Graphics:Images/IntegralsRationalMod_gr_21.gif]

Explore Extra Solution 1.

 

Definition 8.2 (Cauchy Principal Value - P.V.).  Let f(x) be a continuous real valued function for all x.  The Cauchy principal value (P.V.) of the integral  [Graphics:Images/IntegralsRationalMod_gr_26.gif]  is defined by

            [Graphics:Images/IntegralsRationalMod_gr_27.gif],  

provided the limit exists.

 

    Example 8.13 shows that  [Graphics:Images/IntegralsRationalMod_gr_28.gif].  

 

Example 8.14.  Find the Cauchy principal value of  [Graphics:Images/IntegralsRationalMod_gr_29.gif].

[Graphics:Images/IntegralsRationalMod_gr_30.gif]

Solution.  
        [Graphics:Images/IntegralsRationalMod_gr_31.gif]   

Explore Solution 8.14.

 

    If  [Graphics:Images/IntegralsRationalMod_gr_51.gif],  where P(x) and Q(x) are polynomials, then f(x) is called a rational function.  Techniques in calculus were developed to integrate rational functions.  We now show how the Residue Theorem can be used to obtain the Cauchy principal value of the integral of f(x) over  [Graphics:Images/IntegralsRationalMod_gr_52.gif].  

 

Theorem 8.3 (Contour Integration for Rational Functions).  Let  [Graphics:Images/IntegralsRationalMod_gr_53.gif]  where P(x) and Q(x) are polynomials, of degree m and n , respectively.  If [Graphics:Images/IntegralsRationalMod_gr_54.gif] for all real x and  [Graphics:Images/IntegralsRationalMod_gr_55.gif],  then the Cauchy Principal Value (P.V.) of the integral is

            [Graphics:Images/IntegralsRationalMod_gr_56.gif].  

where  [Graphics:Images/IntegralsRationalMod_gr_57.gif]  are the poles of  [Graphics:Images/IntegralsRationalMod_gr_58.gif]  that lie in the upper half plane.   The situation is illustrated in Figure 8.4.  

Figure 8.4  The poles  [Graphics:Images/IntegralsRationalMod_gr_59.gif]  of  [Graphics:Images/IntegralsRationalMod_gr_60.gif]  that lie in the upper half-plane.

Proof.

Proof of Theorem 8.3 is in the book.
Complex Analysis for Mathematics and Engineering

 

Example 8.15.  Evaluate  [Graphics:Images/IntegralsRationalMod_gr_61.gif].  

[Graphics:Images/IntegralsRationalMod_gr_62.gif]

Solution.  We write the integrand as  [Graphics:Images/IntegralsRationalMod_gr_63.gif].  We see that f(z) has simple poles at the points [Graphics:Images/IntegralsRationalMod_gr_64.gif] and [Graphics:Images/IntegralsRationalMod_gr_65.gif],  and that the points  [Graphics:Images/IntegralsRationalMod_gr_66.gif]  and  [Graphics:Images/IntegralsRationalMod_gr_67.gif],  are the only singularities of f(z) in the upper half-plane.  Computing the residues, we obtain  

            [Graphics:Images/IntegralsRationalMod_gr_68.gif]  

            [Graphics:Images/IntegralsRationalMod_gr_69.gif]   

Using Theorem 8.3, we conclude that  

            [Graphics:Images/IntegralsRationalMod_gr_70.gif]  

Explore Solution 8.15.

 

Example 8.16.  Evaluate  [Graphics:Images/IntegralsRationalMod_gr_86.gif].  

[Graphics:Images/IntegralsRationalMod_gr_87.gif]

Solution.  The integrand  [Graphics:Images/IntegralsRationalMod_gr_88.gif]  has a poles of order 3 at the points [Graphics:Images/IntegralsRationalMod_gr_89.gif], and  [Graphics:Images/IntegralsRationalMod_gr_90.gif]  is the only singularity of f(z) in the upper half-plane.  Computing the residue at   [Graphics:Images/IntegralsRationalMod_gr_91.gif], we get  

            [Graphics:Images/IntegralsRationalMod_gr_92.gif]   

Therefore

            [Graphics:Images/IntegralsRationalMod_gr_93.gif].  

Explore Solution 8.16.

 

Library Research Experience for Undergraduates

Residue Calculus  

Contour Integrals  

Cauchy Principal Value  

Hilbert Transformation  

The z-Transform  

 

Download This Mathematica Notebook

Download The Maple Worksheet

 

 

The Next Module is

Improper Integrals Involving Trigonometric Functions

 

 

 Return to the Complex Analysis Modules

 

 

Return to the Complex Analysis Project

 

 

 

(c) 2006 John H. Mathews, Russell W. Howell