4.6.26 · D4Ordinary Differential Equations

Exercises — Transforms of standard functions — proofs

1,631 words7 min readBack to topic

Two symbols recur, so let us pin them down in words first, before any exercise uses them.

For the mechanics we lean on Linearity and First Shifting Theorem, Integration by Parts, Euler's Formula $e^{i\theta}$, and Improper Integrals. The core table (proved in the parent):

The number line below shows how the smallest allowed — the abscissa of convergence — differs for each function. Keep it beside you.

Figure — Transforms of standard functions — proofs

Level 1 — Recognition

You should read these straight off the table.

Exercise 1.1. Write , , and with conditions.

Exercise 1.2. Write and .

Exercise 1.3. Write and , each with its region of convergence.

Recall Solution 1.1
  • , for .
  • , for .
  • , for .

Why the factorial? The recursion tacks on one new factor each step, so carries , not just .

Recall Solution 1.2

Here , and : The numerator of is (it equals at ); the numerator of is .

Recall Solution 1.3
  • , for (need so decays).
  • , for (i.e. with ; there are real poles at ).

Level 2 — Application

Now combine entries using linearity: .

Exercise 2.1. Find .

Exercise 2.2. Find by expanding first.

Exercise 2.3. Use the identity to find .

Recall Solution 2.1

Term by term (linearity lets us transform each piece and add):

Recall Solution 2.2

Expand so every piece is a table entry: Why expand? has no "product rule" — you cannot transform as a product. Expanding turns it into a sum, where linearity works.

Recall Solution 2.3

. With : Combine over a common denominator if desired: .


Level 3 — Analysis

Here you reverse the machine, or reason about convergence.

Exercise 3.1. Find (undo the transform).

Exercise 3.2. Find .

Exercise 3.3. For which does converge, and what is it? (Watch the abscissa of convergence.)

Recall Solution 3.1

Split the fraction to match table shapes (numerators and constant separately): The first is 's transform, the second is 's (with ): Why rewrite the as ? The sine entry needs a bare on top; we manufacture it and rebalance with .

Recall Solution 3.2

This matches with , but that entry has an on top. We have , so pull out : The minus sign in signals hyperbolic, not trig. (See the Inverse Laplace Transform — Partial Fractions note for the general splitting method.)

Recall Solution 3.3

Use the first shifting theorem: multiplying by shifts . We know for . Therefore Convergence shifts too: the original needed ; after the shift we need , i.e. .


Level 4 — Synthesis

Glue several tools together.

Exercise 4.1. Find using the shifting theorem.

Exercise 4.2. Find two ways: (a) shifting theorem, (b) recognising it as shifted.

Exercise 4.3. Use to compute by taking the real part of .

Recall Solution 4.1

Start with (). Multiplying by means shift : The abscissa moved from to (shift by ).

Recall Solution 4.2

(). Multiply the time function by → shift : Both readings ("shift the transform" and " times ") are the same theorem; they agree.

Recall Solution 4.3

First, : this is multiplied by , so shift by : Rationalise by multiplying top and bottom by : Expand the top: . So Since , the real part gives :


Level 5 — Mastery

Prove something from the raw integral, no table.

Exercise 5.1. From the definition, prove using Integration by Parts, stating exactly where is used.

Exercise 5.2. Derive directly from , and state the exact convergence condition.

Exercise 5.3. Using the two IBP equations and (where , ), solve the linear system to recover both transforms.

Recall Solution 5.1

Take . Choose , , so , : Boundary term. At it is . At , because — the exponential beats the linear factor. (If this blows up: this is where the condition is born.) Remaining integral. .

Recall Solution 5.2

At the exponential iff the exponent is negative, i.e. . Then the upper limit contributes and the lower gives :

Recall Solution 5.3

Substitute the second equation into the first: Collect : , so Back-substitute into :


Recall Self-check summary

Which level am I comfortable with? ::: L1 read table · L2 linearity on sums · L3 invert + track convergence · L4 shifting + complex exponentials · L5 prove from the integral. The one theorem that dominates L3–L4 ::: First shifting: , and the abscissa shifts by too.

Connections