Completing the square is an essential technique for transforming quadratic expressions that don’t directly match a form in the table of common Laplace transforms. However, it’s not the only strategy available. In this section, we’ll explore another important technique: partial fraction decomposition. This method is useful for breaking down complex fractions into simpler components that can each be matched with forms in the Laplace transform table.
Two other forms we may wish to match when we study Laplace transforms are
As in the previous examples, the denominator is a second-degree polynomial; therefore it is sensible for us to begin by completing the square in the denominator as we did in the previous two examples.
Take a careful look at the denominator here. It’s really close to matching \(L7\) or \(L8\), but it is not a match because of the negative sign in front of the \(2^2.\) We need to change course when this happens. Another algebraic manipulation that we might consider is a partial fraction decomposition.
We revert to the original expression, but this time, instead of completing the square, we factor the denominator.
Our next goal is to determine the coefficients \(A\) and \(B\) in this equations. There are multiple ways to achieve this and we demonstrate just one here. We multiply both sides of the equation by the least common denominator, \((s-3)(s+1)\text{,}\) and then expand and collect like terms, as shown.
\begin{align*}
=\amp\ \frac{A}{s-3}\cdot (s-3)(s+1) + \frac{B}{s+1} \cdot (s-3)(s+1)\\
s+9 =\amp\ A(s+1) + B(s-3)\\
s+9 =\amp\ As + A + Bs - 3B\\
s+9 =\amp\ (As + Bs) + (A - 3B)\\
1s+9 =\amp\ (A+B)s + (A - 3B).
\end{align*}
At this point, we have a polynomial on the left hand side and a polynomial on the right hand side. The only way these can be equal to each other is if the corresponding coefficients are equal. That is, the coefficient on \(s\) on the left hand side is 1, while the coefficient on \(s\) on the right hand side of the equation is \(A+B\text{.}\) Since the polynomials are equal, we know that these are equal. That is, \(A + B = 1.\) Similarly, if we equate the constants, we have \(A - 3B = 9.\) Thus, we have the following system of two linear equations in terms of two unknown variables, \(A\) and \(B\text{.}\)
\begin{align*}
A + B =\amp\ 1\\
A - 3B =\amp\ 9.
\end{align*}
There are many ways to solve such an equation, and you are encouraged to choose the solution technique you like the most. Here we will solve the first equation for \(A\text{,}\) and then substitute into the second equation,
\begin{align*}
A + B =\amp\ 1 \amp A - 3B =\amp\ 9\\
A =\amp\ 1 - B \amp \amp\\
\amp \amp (1 - B) - 3B =\amp\ 9\\
\amp \amp 1 - 4B =\amp\ 9\\
\amp \amp -4B =\amp\ 8\\
\amp \amp B =\amp\ -2\\
A =\amp\ 1 - (-2) \amp \amp\\
=\amp\ 3 \amp \amp
\end{align*}
Remember that our goal is to take the inverse Laplace transform. Our algebraic manipulation was helpful because we took a more complex expression and rewrote it as two simpler fractions. We can now use \(L2\) to find the inverse Laplace transform as follows.
Write \(\ds\frac{s-6}{s^2 - 4s + 29}\) in the form \(\ds\frac{s-a}{(s-a)^2 + b^2}\)
Solution.Solution
As we mentioned earlier, we’ll try to make the denominator match first. Since both of the forms we’re trying to match are of the form \((s-a)^2 + b^2,\) we will complete the square first:
We’ve got the denominator in exactly the right form--it looks just like \((s-a)^2 + b^2,\) with \(a = 2\) and \(b = 5\text{.}\) As in the previous section, once we’ve gotten the denominator in shape, we turn our attention to the numerator. If we look back at the two forms we are trying to match, we see that our expression has an \(s\) in the numerator, so it’s more like \(\ds \frac{s-a}{(s-a)^2 + b^2}\text{.}\) It would be exactly right if we had \(s-a\) in the numerator, which in this case would be \(s-2\text{.}\)
What we do have in the numerator is \(s-6\text{;}\) and we would like it to be \(s-2,\) which means if we added 4, we’d have exactly the right thing. If we want to add 4, we’ll need to compensate by also subtracting 4, like this:
We’re almost there! The first fraction is a perfect match for the form \(\ds\frac{s-a}{(s-a)^2 + b^2}\) (with \(a = 2\) and \(b = 5\)); but we still have another expression that is not yet a match. The remaining fraction looks like it could eventually match the form \(\ds\frac{b}{(s-a)^2 + b^2}\text{.}\) We would need to have a 5 in the numerator, and we currently have a 4. But we can fix that as we did in the previous section:
Now let’s put it all together. Here’s everything we did:
\begin{align*}
\frac{s-6}{s^2 - 4s + 9} =\amp\ \frac{s-6}{(s-2)^2 + 25} \mbox{(we completed the square)}\\
=\amp\ \frac{s-6}{(s-2)^2 + 5^2} \mbox{(we rewrote the denominator)}\\
=\amp\ \frac{s-6+4-4}{(s-2)^2 + 5^2} \mbox{(we added and subtracted 4 in the numerator...)}\\
=\amp\ \frac{(s-2) - 4}{(s-2)^2 + 5^2} \mbox{(...so that we could make the numerator match part of the denom)}\\
=\amp\ \frac{s-2}{(s-2)^2 + 5^2} - \frac{4}{(s-2)^2 + 5^2} \mbox{(split into fractions)}\\
=\amp\ \frac{s-2}{(s-2)^2 + 5^2} - 4\cdot\frac{5}{5}\cdot \frac{1}{(s-2)^2 + 5^2} \mbox{(work on the second fraction...)}\\
=\amp\ \frac{s-2}{(s-2)^2 + 5^2} - \frac{4}{5}\cdot \frac{5}{(s-2)^2 + 5^2}\mbox{(...so now it is also in form)}
\end{align*}
As mentioned before, being able to use appropriate algebra to "match" forms is really important when we work with Laplace Transforms. Since it’s really just algebra, now is a great time to practice that skill--so when we are in the middle of studying Laplace Transforms, you can just focus on the "new" stuff.
Now you try some!
Manipulate each of the following expressions to make it match the form \(\ds \frac{b}{(s-a)^2 + b^2}\) and/or \(\ds \frac{s-a}{(s-a)^2 + b^2}.\)
Now that’s you’ve been practicing manipulating expressions to get them to match a particular, specific form, it’s time to practice picking out which form an expression is most like. Find the form(s) on the right that best match the expression on the left. It may not be a perfect match, but could be manipulated (as we did above) to get into the correct form(s).
(EXAMPLE) \(\ds \frac{1}{(s-3)^5}\)Answer.
\(\ds \frac{12}{s^2 + 15}\)%D
\(\ds \frac{7}{1-s}\) %B
\(\ds \frac{-1}{s}\) %A
\(\ds \frac{s-1}{s^2 + 4s + 1}\) %forms G and H
\(\ds \frac{7}{2s^2}\) %C
\(\ds \frac{s+2}{s^2 + 9}\) %forms D and E
\(\displaystyle \ds \frac{1}{s}\)
\(\displaystyle \ds \frac{1}{s-a}\)
\(\displaystyle \ds \frac{n!}{s^{n+1}}\)
\(\displaystyle \ds \frac{b}{s^2 + b^2}\)
\(\displaystyle \ds \frac{s}{s^2 + b^2}\)
\(\displaystyle \ds \frac{n!}{(s-a)^{n+1}}\)
\(\displaystyle \ds \frac{b}{(s-a)^2 + b^2}\)
\(\displaystyle \ds \frac{s-a}{(s-a)^2 + b^2}\)
Solution.Solution
This best matches form F.
This best matches form D.
This best matches form B.
This best matches form A.
This best matches form forms G and H.
This best matches form C.
This best matches form forms D and E.
If you have a rational function where the denominator is of higher degree, then partial fraction decomposition should be used to break the single fraction into several simpler fractions.
Note that as the quadratic term in the denominator does not factor, the denominator contains an irreducible quadratic factor and a repeated linear factor. We’ll proceed by simplifying this complicated fraction with a Partial Fraction Decomposition of the form
With the partial fraction decomposition in hand, we are prepared to take the inverse Laplace transform, using the same types of algebraic manipulations demonstrated in the previous examples.
In summary, when we want to take the inverse Laplace transform of a rational function with a second-degree polynomial in the denominator, we may complete the square or we may do a partial fraction decomposition. How will we know which is appropriate? Here are a few guidelines for you to consider.
Does the denominator factor in an obvious way? If so, factor the denominator and do a partial fraction decomposition if necessary.
If the denominator does not factor in an obvious way, try completing the square.
If you end up with addition outside of the parentheses, as in \((s - a)^2 + b^2,\) then you should aim to match \(L7\) and/or \(L8\).
If instead you end up with subtraction outside the parentheses, as in \((s - a)^2 - b^2,\) then you should factor and do a partial fraction decomposition. You may consider using the quadratic formula if the factorization is not obvious to you.
If you end up with no terms outside the parentheses, as in \((s - a)^2,\) then use \(L6\).