9.2 The Inverse Transform and Convolution
In Section 9.1 we went from a function to its transform . When we solve a differential equation, we travel the other way: the algebra hands us , and we need the function it came from. This return trip is the inverse transform.
In practice is almost always a ratio of two polynomials in . So the skill we need is concrete: break a rational function into simple pieces that appear in the table. That technique is partial fractions, and most of this section is about doing it reliably. At the end we meet the convolution, which answers the question "which function has transform ?"
The inverse transform
If , we call an inverse Laplace transform of and write
Can two different functions have the same transform? Strictly speaking, yes, but only in a harmless way. Changing a function at a single point (for instance at a jump) does not change any integral, so it does not change the transform. The next theorem says this is the only freedom, and that for continuous functions there is none at all.
Let and be piecewise continuous on every interval and of exponential order, with for all larger than some . Then at every where both functions are continuous. In particular, if and are continuous on , then .
So when we find one continuous function with transform , we have found the inverse transform. Since is linear, so is :
The working method is therefore: split into a sum of pieces that appear in the right-hand column of Table 9.1.1, then read the table from right to left.
Find .
Solution
- First term. Row 2 with gives . We have , so its inverse is . (Always adjust the constant so that the table entry appears exactly.)
- Second term. Row 3 with : . So the inverse of is .
- Third term: split the numerator. Here , : Rows 5 and 4 give . Note that we wrote to produce the numerator required by row 4.
- Answer. .
Completing the square
A quadratic denominator with no real roots () cannot be factored over the real numbers. Instead we complete the square,
with and . Then we rewrite the numerator in terms of and use rows 9 and 10 of the table (the shifted sine and cosine).
Find .
Solution
- Check for real roots. The discriminant is : no real roots, so complete the square.
- Complete the square. Half of is : So and .
- Rewrite the numerator with . . Hence
- Read rows 10 and 9 with , :
After completing the square, the numerator must be written in terms of the same shifted variable . Writing and reading it as is wrong: row 10 needs on top, not .
These two examples already show something useful. The roots of the denominator (called the poles of ) decide what kind of function comes back. A real pole produces ; a pair of complex poles produces and . A pole in the left half-plane () means decay; a pole in the right half-plane means growth; poles on the imaginary axis mean steady oscillation. Engineers read stability straight off the pole locations.
Partial fractions
Suppose , where and are polynomials with no common factor, and (a proper fraction). Every transform we meet in this chapter has this form; recall that a transform must tend to as , which a rational function does exactly when it is proper.
Algebra guarantees that factors into real linear factors and real irreducible quadratic factors , possibly repeated. Partial fractions rewrites as a sum with one block of terms for each factor:
| Factor of | Terms in the decomposition | Inverse transform |
|---|---|---|
| (simple) | ||
| (repeated) | ||
| (irreducible) | complete the square: | |
| rows 11–13 of Table 9.1.1 (shifted), or convolution |
To find the unknown constants, multiply the decomposition by and compare both sides. Two tools do almost all of the work.
- Substituting good values of . If is a root of , substituting it kills every term that contains the factor .
- Comparing coefficients of equal powers of on both sides. This always works and is the fallback for whatever is left over.
For a simple factor there is a shortcut, known as Heaviside's cover-up rule: equals with the factor covered up (deleted), evaluated at . It is just the substitution trick done in your head.
Find .
Solution
- Form of the decomposition. Three different simple linear factors, so
- Clear denominators.
- kills the and terms: , so and .
- kills the and terms: , so and .
- kills the and terms: , so and .
- Quick check with the coefficients: , matching the on the left. Good.
- Invert term by term.
Find .
Solution
- Form of the decomposition. The factor appears twice, so it needs two terms, one for each power:
- Clear denominators.
- : , so .
- : , so .
- One constant is left. No value of isolates . Compare the coefficients instead: the left has ; on the right only and contain , giving . So and .
- Check with : left ; right . Good.
- Invert. Using row 8 with , :
For a repeated factor you must include both and . With only the second term, the equations for the constants have no solution. In the same way, needs three terms.
Find .
Solution
- Is the quadratic irreducible? Its discriminant is . Yes.
- Form of the decomposition. The quadratic factor gets a linear numerator:
- Clear denominators.
- : , so and .
- Compare coefficients for the rest. Expand the right side: .
- Complete the square in the quadratic term. and :
- Invert.
- Make sure the fraction is proper. Factor the denominator into linear factors and irreducible quadratics (check each quadratic's discriminant).
- Write the decomposition from Table 9.2.1: one term per simple linear factor, terms for a factor repeated times, a linear numerator over each irreducible quadratic.
- Clear denominators. Find the constants of simple factors by substituting their roots (cover-up). Find the rest by comparing coefficients. Check with one extra value of .
- For each quadratic term, complete the square and write the numerator in terms of .
- Read every term from the right-hand column of Table 9.1.1.
Practise with the solver below. Enter a numerator and a denominator (you may give the denominator already factored). It shows the decomposition, every constant, the completed squares and the final inverse transform. The preset is Example 9.2.5; try changing the numerator to and predict which constants change.
Convolution
We know that the transform of a product is not the product of the transforms. But the opposite question is very natural: if and we know and , what is ? The answer is a special "product" of functions defined by an integral.
Let and be piecewise continuous on every interval . Their convolution is the function
How should you picture this integral? Fix a time . Flip around and slide it so that it ends at ; this is as a function of . Multiply by and take the area from to . As increases, the flipped copy of slides to the right, and the area changes: that changing area is (Figure 9.2.2). In physical terms, is an input that arrived at time , and says how much of its effect is still felt seconds later; the convolution adds up the effects of the whole past input.
Convolution behaves like a multiplication in several ways. For piecewise continuous and constants :
- (substitute in the integral);
- and ;
- ;
- .
One familiar rule fails: in general. In fact , the running integral of .
Let and be piecewise continuous on every interval and of exponential order , with and . Then for
Write as a double integral over the quarter plane , . Substitute (so the exponent becomes ) and change the order of integration: for fixed , runs from to . What remains is , the transform of .
A useful special case is , : dividing a transform by integrates the function,
It mirrors the derivative rule, where multiplying by differentiates.
Compute directly, and check the result with the convolution theorem.
Solution
- Set up the integral with , . The factor does not depend on and comes outside:
- Integrate by parts (, ):
- Multiply by .
- Check with the theorem. . Partial fractions: . Cover-up at gives ; at (covering ) gives ; the coefficients give , so . The inverse is , the same function.
Find .
Solution
- Factor as a product. , and the factors are the transforms of and .
- Convolution integral.
- Product-to-sum. Use with , : and . So the integrand is .
- Integrate. The first part does not depend on :
- Answer. . This agrees with row 11 of Table 9.1.1: .
Find the continuous function that satisfies
Solution
- Recognise a convolution. The integral is (with and ; by commutativity the order does not matter).
- Transform. With and ,
- Solve for . Multiply by : , so and
- Invert. .
- Check. (integrate by parts), so the right side is . Correct.
Equations of this kind, where the unknown appears under an integral with a kernel , describe systems with memory (viscoelastic materials, population models, circuits with distributed elements). The convolution theorem turns them into algebra exactly as it does for differential equations.
Use the convolution calculator to compute for your own pairs. It forms , inverts the product and shows the result. The preset is Example 9.2.6.
Exercises
In Exercises 1–9 find .
-
Answer
-
Answer
-
Answer
and : -
Answer
-
Answer
-
Answer
: -
Answer
: -
Answer
: - (use row 13 of Table 9.1.1)
Answer
- Compute directly from the definition, and check with the convolution theorem.
Answer
; indeed . - Solve the integral equation .
Answer
, - Use to find .
Answer