Computing integrals (4): Rational functions

 Recall that a rational function is a function of the form p(x)/q(x) where p(x) and q(x) are polynomial functions with real coefficients. We now consider the integration of such functions in general.



A polynomial function

f(x)=anxn+an1xn1++a1x+a0  (a0,a1,,anR),

has an anti-derivative

f(x)dx=ann+1xn+1+an1nxn++a12x2+a0x.

Thus, the anti-derivative of a polynomial function is a polynomial function. What about rational functions? In general, anti-derivatives of a rational function may not be a rational function, but a sum of rational functions, logarithm, and inverse trigonometric functions. We use the following lemma (proof is omitted) to show this.

Lemma (Partial fraction decomposition)

Any rational function can be decomposed into a finite sum of rational functions of the following three forms:

  1. polynomials,
  2. k(x+a)n where a,kR,nN,
  3. ex+d(x2+bx+c)m where b,c,d,eR,b24c<0,mN

Example. Let us decompose f(x)=x+5x2+x2 into partial fractions. The denominator is factorized as x2+x2=(x1)(x+2). Therefore, assume
x+5x2+x2=ax1+bx+2,
and we find a=2 and b=1 (how?). Therefore
x+5x2+x2=2x11x+2.

Example. Let us decompose
f(x)=x5x4+3x33x2x2x4x3x+1
into partial fractions. Since the degree of the numerator is greater than that of the denominator, we can perform division to have
x5x4+3x33x2x2x4x3x+1=x+3x32x22x2x4x3x+1.
The denominator can be factorized as
x4x3x+1=(x1)2(x2+x+1).
So, let us assume
3x32x22x2x4x3x+1=ax+bx2+x+1+cx1+d(x1)2
and we find a=b=1, c=2, d=1 (exercise!). Therefore, the desired decomposition is obtained as
x5x4+3x33x2x2x4x3x+1=x+x+1x2+x+1+2x11(x1)2.

To find an anti-derivative of a rational function, we need to find the anti-derivatives of three types of functions in the Partial Fraction Decomposition Lemma.
  1. As we have seen already, the anti-derivative of a polynomial is a polynomial.
  2. For k(x+a)ndx=kdx(x+a)n, we have kdx(x+a)n={k(1n)(x+a)n1(n2),klog|x+a|(n=1).
  3. Finally, consider ex+d(x2+bx+c)m where b,c,d,eR, b24c<0 and mN. With h=4cb22>0, we have x2+bx+c=(x+b2)2+cb24=(x+b2)2+h2=h2{(2x+b2h)2+1}=h2(z2+1) where z=2x+b2h. Thus, we have ex+d(x2+bx+c)mdx=ez+d(z2+1)mdz where e=eh2m2,d=be+2d2h2m1. Therefore, it reduces to computing the following two anti-derivatives:
    • (a) z(z2+1)mdz,
    • (b) dz(z2+1)m
    where mN.
    • (a) By the substitution w=z2+1, we have z(z2+1)mdz=12dwwm which can be computed in the same manner as in Part 2.
    • (b) If m=1, we have dzz2+1=arctanz. If m2, we can use the recurrent equation given in Example (eg:recur) in Integration by parts.
Example. You should verify:
x+5x2+x2dx=2log|x1|log|x+2|+C.x5x4+3x33x2x2x4x3x+1dx=12x2+12log(x2+x+1)+13arctan2x+13+2log|x1|+1x1+C. 

Comments

Popular posts from this blog

Birth process

Branching processes: Mean and variance

Informal introduction to formal logic