6.5: Partial Fraction Decomposition
- Page ID
- 4189
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)In this section we investigate the antiderivatives of rational functions. Recall that rational functions are functions of the form \(f(x)= \frac{p(x)}{q(x)}\), where \(p(x)\) and \(q(x)\) are polynomials and \(q(x)\neq 0\). Such functions arise in many contexts, one of which is the solving of certain fundamental differential equations.
We begin with an example that demonstrates the motivation behind this section. Consider the integral \(\int \frac{1}{x^2-1}\ dx\). We do not have a simple formula for this (if the denominator were \(x^2+1\), we would recognize the antiderivative as being the arctangent function). It can be solved using Trigonometric Substitution, but note how the integral is easy to evaluate once we realize:
$$\frac{1}{x^2-1} = \frac{1/2}{x-1} - \frac{1/2}{x+1}.\]
Thus
\[\begin{align}\int\frac{1}{x^2-1}\ dx &= \int\frac{1/2}{x-1}\ dx - \int\frac{1/2}{x+1}\ dx \\ &= \frac12\ln|x-1| - \frac12\ln|x+1| + C.\end{align}\]
This section teaches how to decompose
$$\frac{1}{x^2-1}\quad \text{into}\quad \frac{1/2}{x-1}-\frac{1/2}{x+1}.\]
We start with a rational function \(f(x)=\frac{p(x)}{q(x)}\), where \(p\) and \(q\) do not have any common factors and the degree of \(p\) is less than the degree of \(q\). It can be shown that any polynomial, and hence \(q\), can be factored into a product of linear and irreducible quadratic terms. The following Key Idea states how to decompose a rational function into a sum of rational functions whose denominators are all of lower degree than \(q\).
Key Idea 15: Partial Fraction Decomposition
Let \(\frac{p(x)}{q(x)}\) be a rational function, where the degree of \(p\) is less than the degree of \(q\).
- Linear Terms: Let \((x-a)\) divide \(q(x)\), where \((x-a)^n\) is the highest power of \((x-a)\) that divides \(q(x)\). Then the decomposition of \(\frac{p(x)}{q(x)}\) will contain the sum $$\frac{A_1}{(x-a)} + \frac{A_2}{(x-a)^2} + \cdots +\frac{A_n}{(x-a)^n}.$$
- Quadratic Terms: Let \(x^2+bx+c\) divide \(q(x)\), where \((x^2+bx+c)^n\) is the highest power of \(x^2+bx+c\) that divides \(q(x)\). Then the decomposition of \(\frac{p(x)}{q(x)}\) will contain the sum $$\frac{B_1x+C_1}{x^2+bx+c}+\frac{B_2x+C_2}{(x^2+bx+c)^2}+\cdots+\frac{B_nx+C_n}{(x^2+bx+c)^n}.$$
To find the coefficients \(A_i\), \(B_i\) and \(C_i\):
- Multiply all fractions by \(q(x)\), clearing the denominators. Collect like terms.
- Equate the resulting coefficients of the powers of \(x\) and solve the resulting system of linear equations.
The following examples will demonstrate how to put this Key Idea into practice. Example \(\PageIndex{1}\) stresses the decomposition aspect of the Key Idea.
Example \(\PageIndex{1}\): Decomposing into partial fractions
Decompose \(f(x)=\frac{1}{(x+5)(x-2)^3(x^2+x+2)(x^2+x+7)^2}\) without solving for the resulting coefficients.
Solution
The denominator is already factored, as both \(x^2+x+2\) and \(x^2+x+7\) cannot be factored further. We need to decompose \(f(x)\) properly. Since \((x+5)\) is a linear term that divides the denominator, there will be a
$$\frac{A}{x+5}\]
term in the decomposition.
As \((x-2)^3\) divides the denominator, we will have the following terms in the decomposition:
$$\frac{B}{x-2},\quad \frac{C}{(x-2)^2}\quad \text{and}\quad \frac{D}{(x-2)^3}.\]
The \(x^2+x+2\) term in the denominator results in a \(\frac{Ex+F}{x^2+x+2}\) term.
Finally, the \((x^2+x+7)^2\) term results in the terms
$$\frac{Gx+H}{x^2+x+7}\quad \text{and}\quad \frac{Ix+J}{(x^2+x+7)^2}.\]
All together, we have
\[\begin{align} \frac{1}{(x+5)(x-2)^3(x^2+x+2)(x^2+x+7)^2} &= \frac{A}{x+5} + \frac{B}{x-2}+ \frac{C}{(x-2)^2}+\frac{D}{(x-2)^3}+ \\ & \frac{Ex+F}{x^2+x+2}+\frac{Gx+H}{x^2+x+7}+\frac{Ix+J}{(x^2+x+7)^2} \end{align}\]
Solving for the coefficients \(A\), \(B \ldots J\) would be a bit tedious but not "hard."
Example \(\PageIndex{2}\): Decomposing into partial fractions
Perform the partial fraction decomposition of \(\frac{1}{x^2-1}\).
Solution
The denominator factors into two linear terms: \(x^2-1 = (x-1)(x+1)\). Thus
$$\frac{1}{x^2-1} = \frac{A}{x-1} + \frac{B}{x+1}.\]
To solve for \(A\) and \(B\), first multiply through by \(x^2-1 = (x-1)(x+1)\):
\[\begin{align}1 &= \frac{A(x-1)(x+1)}{x-1}+\frac{B(x-1)(x+1)}{x+1} \\ &= A(x+1) + B(x-1)\\ &= Ax+A + Bx-B\end{align}\]
Now collect like terms.
\[= (A+B)x + (A-B).\]
The next step is key. Note the equality we have:
\[1 = (A+B)x+(A-B).\]
For clarity's sake, rewrite the left hand side as
\[0x+1 = (A+B)x+(A-B).\]
On the left, the coefficient of the \(x\) term is 0; on the right, it is \((A+B)\). Since both sides are equal, we must have that \(0=A+B\).
Likewise, on the left, we have a constant term of 1; on the right, the constant term is \((A-B)\). Therefore we have \(1=A-B\).
We have two linear equations with two unknowns. This one is easy to solve by hand, leading to
$$\begin{array}{c} A+B = 0 \\ A-B = 1 \end{array} \Rightarrow \begin{array}{c} A=1/2 \\ B = -1/2\end{array}.$$
Thus $$\frac{1}{x^2-1} = \frac{1/2}{x-1}-\frac{1/2}{x+1}.\]
Example \(\PageIndex{3}\): Integrating using partial fractions
Use partial fraction decomposition to integrate \(\int\frac{1}{(x-1)(x+2)^2}\ dx.\)
Solution
We decompose the integrand as follows, as described by Key Idea 15:
$$\frac{1}{(x-1)(x+2)^2} = \frac{A}{x-1} + \frac{B}{x+2} + \frac{C}{(x+2)^2}.\]
To solve for \(A\), \(B\) and \(C\), we multiply both sides by \((x-1)(x+2)^2\) and collect like terms:
\[ \begin{align}1 &= A(x+2)^2 + B(x-1)(x+2) + C(x-1)\\ &= Ax^2+4Ax+4A + Bx^2 + Bx-2B + Cx-C \\ &= (A+B)x^2 + (4A+B+C)x + (4A-2B-C)\end{align}\]
Note: Equation \(\PageIndex{22}\) offers a direct route to finding the values of \(A\), \(B\) and \(C\). Since the equation holds for all values of \(x\), it holds in particular when \(x=1\). However, when \(x=1\), the right hand side simplifies to \(A(1+2)^2 = 9A\). Since the left hand side is still 1, we have \(1 = 9A\). Hence \(A = 1/9\).
Likewise, the equality holds when \(x=-2\); this leads to the equation \(1=-3C\). Thus \(C = -1/3\).
Knowing \(A\) and \(C\), we can find the value of \(B\) by choosing yet another value of \(x\), such as \(x=0\), and solving for \(B\).
We have
$$0x^2+0x+ 1 = (A+B)x^2 + (4A+B+C)x + (4A-2B-C)\]
leading to the equations
$$A+B = 0, \quad 4A+B+C = 0 \quad \text{and} \quad 4A-2B-C = 1.\]
These three equations of three unknowns lead to a unique solution:
$$A = 1/9,\quad B = -1/9 \quad \text{and} \quad C = -1/3.\]
Thus
$$\int\frac{1}{(x-1)(x+2)^2}\ dx = \int \frac{1/9}{x-1}\ dx + \int \frac{-1/9}{x+2}\ dx + \int \frac{-1/3}{(x+2)^2}\ dx.\]
Each can be integrated with a simple substitution with \(u=x-1\) or \(u=x+2\) (or by directly applying Key Idea 10 as the denominators are linear functions). The end result is
$$\int\frac{1}{(x-1)(x+2)^2}\ dx = \frac19\ln|x-1| -\frac19\ln|x+2| +\frac1{3(x+2)}+C.\]
Example \(\PageIndex{4}\): Integrating using partial fractions
Use partial fraction decomposition to integrate \( \int \frac{x^3}{(x-5)(x+3)}\ dx\).
Solution
Key Idea 15 presumes that the degree of the numerator is less than the degree of the denominator. Since this is not the case here, we begin by using polynomial division to reduce the degree of the numerator. We omit the steps, but encourage the reader to verify that
$$\frac{x^3}{(x-5)(x+3)} = x+2+\frac{19x+30}{(x-5)(x+3)}.\]
Using Key Idea 15, we can rewrite the new rational function as:
$$\frac{19x+30}{(x-5)(x+3)} = \frac{A}{x-5} + \frac{B}{x+3}\]
for appropriate values of \(A\) and \(B\). Clearing denominators, we have
Note: The values of \(A\) and \(B\) can be quickly found using the technique described in the margin of Example \(\PageIndex{3}\).}
\[\begin{align}19x+30 &= A(x+3) + B(x-5)\\ &= (A+B)x + (3A-5B). \end{align}\]
This implies that:
\[\begin{align} 19&= A+B \\30&= 3A-5B.\\ \end{align}\]
Solving this system of linear equations gives
\[\begin{align} 125/8 &=A\\27/8 &=B. \end{align}\]
We can now integrate.
\[\begin{align}\int \frac{x^3}{(x-5)(x+3)}\ dx &= \int\left(x+2+\frac{125/8}{x-5}+\frac{27/8}{x+3}\right)\ dx \\ &= \frac{x^2}2 + 2x + \frac{125}{8}\ln|x-5| + \frac{27}8\ln|x+3| + C.\end{align}\]
Example \(\PageIndex{5}\): Integrating using partial fractions
Use partial fraction decomposition to evaluate \(\int\frac{7x^2+31x+54}{(x+1)(x^2+6x+11)}\ dx.\)
Solution
The degree of the numerator is less than the degree of the denominator so we begin by applying Key Idea 15. We have:
\[\frac{7x^2+31x+54}{(x+1)(x^2+6x+11)} = \frac{A}{x+1} + \frac{Bx+C}{x^2+6x+11}. \]
Now clear the denominators.
\[\begin{align} 7x^2+31x+54 &= A(x^2+6x+11) + (Bx+C)(x+1)\\ &= (A+B)x^2 + (6A+B+C)x + (11A+C). \end{align}\]
This implies that:
\[\begin{align} 7&=A+B\\ 31 &= 6A+B+C\\ 54 &= 11A+C. \end{align}\]
Solving this system of linear equations gives the nice result of \(A=5\), \(B = 2\) and \(C=-1\). Thus
$$\int\frac{7x^2+31x+54}{(x+1)(x^2+6x+11)}\ dx = \int\left(\frac{5}{x+1} + \frac{2x-1}{x^2+6x+11}\right)\ dx.\]
The first term of this new integrand is easy to evaluate; it leads to a \(5\ln|x+1|\) term. The second term is not hard, but takes several steps and uses substitution techniques.
The integrand \(\frac{2x-1}{x^2+6x+11}\) has a quadratic in the denominator and a linear term in the numerator. This leads us to try substitution. Let \(u = x^2+6x+11\), so \(du = (2x+6)\ dx\). The numerator is \(2x-1\), not \(2x+6\), but we can get a \(2x+6\) term in the numerator by adding 0 in the form of "\(7-7\)."
\[ \begin{align} \frac{2x-1}{x^2+6x+11} &= \frac{2x-1+7-7}{x^2+6x+11} \\ &= \frac{2x+6}{x^2+6x+11} - \frac{7}{x^2+6x+11}.\end{align}\]
We can now integrate the first term with substitution, leading to a \(\ln|x^2+6x+11|\) term. The final term can be integrated using arctangent. First, complete the square in the denominator:
$$\frac{7}{x^2+6x+11} = \frac{7}{(x+3)^2+2}.\]
An antiderivative of the latter term can be found using Theorem 6.1.3 and substitution:
$$\int \frac{7}{x^2+6x+11}\ dx = \frac{7}{\sqrt{2}}\tan^{-1}\left(\frac{x+3}{\sqrt{2}}\right)+C.\]
Let's start at the beginning and put all of the steps together.
\[\begin{align}\int\frac{7x^2+31x+54}{(x+1)(x^2+6x+11)}\ dx &= \int\left(\frac{5}{x+1} + \frac{2x-1}{x^2+6x+11}\right)\ dx \\ &= \int\frac{5}{x+1}\ dx + \int\frac{2x+6}{x^2+6x+11}\ dx -\int\frac{7}{x^2+6x+11}\ dx \\ &= 5\ln|x+1|+ \ln|x^2+6x+11| -\frac{7}{\sqrt{2}}\tan^{-1}\left(\frac{x+3}{\sqrt{2}}\right)+C.\end{align}\]
As with many other problems in calculus, it is important to remember that one is not expected to "see" the final answer immediately after seeing the problem. Rather, given the initial problem, we break it down into smaller problems that are easier to solve. The final answer is a combination of the answers of the smaller problems.
Partial Fraction Decomposition is an important tool when dealing with rational functions. Note that at its heart, it is a technique of algebra, not calculus, as we are rewriting a fraction in a new form. Regardless, it is very useful in the realm of calculus as it lets us evaluate a certain set of "complicated" integrals.
The next section introduces new functions, called the Hyperbolic Functions. They will allow us to make substitutions similar to those found when studying Trigonometric Substitution, allowing us to approach even more integration problems.
Contributors and Attributions
Gregory Hartman (Virginia Military Institute). Contributions were made by Troy Siemers and Dimplekumar Chalishajar of VMI and Brian Heinold of Mount Saint Mary's University. This content is copyrighted by a Creative Commons Attribution - Noncommercial (BY-NC) License. http://www.apexcalculus.com/
Integrated by Justin Marshall.