4.6.26 · D5Ordinary Differential Equations

Question bank — Transforms of standard functions — proofs

1,339 words6 min readBack to topic

True or false — justify

True or false: holds for every real .
False — only for . The antiderivative gives , and at infinity only when ; for the area runs off to infinity.
True or false: since , plugging should give .
True and consistent — at the formula gives , which matches . A good sanity check that the formula behaves at the degenerate input.
True or false: at reproduces .
True — , exactly . Because , the cosine formula must collapse to the constant one, and it does.
True or false: the region of convergence for is .
False — it is . contains both and ; we need and simultaneously, and the tighter of the two is .
True or false: is just the result with replaced by .
True — the integral becomes , structurally identical to the constant case but with in place of , hence ROC , i.e. .
True or false: for the boundary term vanishes purely because at .
False — that only kills the lower limit. The upper limit vanishes for a different reason: decays faster than any polynomial grows, and only when .
True or false: replacing in gives .
True — and the numerator over cancels the (since relates to by ), landing on . See Euler's Formula $e^{i\theta}$.
True or false: the Laplace transform is linear, so .
False — linearity is about sums and scalar multiples: . Products do NOT transform to products (that would be convolution in reverse). See Linearity and First Shifting Theorem.

Spot the error

Someone writes by "bumping the power each time". Where's the slip?
The missing . The recursion multiplies by a fresh integer factor at every step, so unrolling gives , not . Correct: .
A student concludes "because it's just like sine". Fix it.
Sign error in the denominator. Hyperbolic functions use , giving real poles at : the denominator is . So .
In deriving a student states the answer with no condition on . What did they drop?
The ROC . Without it the exponential would grow instead of decay and the integral diverges — the condition is part of the answer, not an afterthought.
A worked solution says: ", one integration by parts, done." What's wrong with "one"?
One IBP turns into , not into a number. You need two IBPs to get back and form two linear equations in and , then solve. See Integration by Parts.
Spot the error: ", and the real part of that is ."
You cannot read off the real part before rationalising. Multiply by the conjugate: . Now the real part is , not .
"." Spot the mistake.
Missing the factorial: , so the answer is . Linearity handles the , but the is intrinsic to .

Why questions

Why does the factor appear in every Laplace integral rather than, say, ?
Because is a tunable knob. Making larger increases the decay so that even fast-growing eventually gets crushed to finite area — and it is exactly this multiplication-by- machinery that later turns into "multiply by ".
Why can we transform using linearity but the same trick fails for ?
is a sum of transformable pieces, so linearity applies. But is a product, which linearity cannot split; it needs the derivative-of-transform rule instead.
Why is the complex route () preferred over integration by parts for sine and cosine?
It gets both transforms in one shot: has as its real part and as its imaginary part. IBP would need the two-equation dance twice. See Euler's Formula $e^{i\theta}$.
Why must we always state a region of convergence at all?
Because the defining integral is improper — an infinite upper limit. Such an integral only names a finite number for certain ; outside the ROC the "formula" is a symbol with no value. See Improper Integrals.
Why does need but needs ?
A polynomial doesn't fight the decay — any positive eventually wins, so . But grows, so the decay must out-race it, needing .
Why do oscillating give a denominator (no real roots) while give (real roots at )?
Real roots of the denominator are poles = places where the growth of the time-function would blow up the transform. Hyperbolic functions grow like , so poles sit at ; oscillating functions never grow, so no real poles.

Edge cases

What is , and is it consistent with ?
, and the formula gives since . Fully consistent — this is the base case of the recursion.
At the lower boundary term . Does the case break this?
Yes, gently — for the lower boundary is , which is why is computed directly (no IBP) and serves as the seed the recursion builds on.
What happens to and as ?
Both : . Makes sense — as functions of , so their transforms must vanish.
What is the ROC of when ?
, so it reduces to with ROC . And indeed is — the general condition specialises correctly.
For with (a decaying exponential), what is the ROC?
where is negative, so e.g. gives ROC — the transform even exists for some negative , because a decaying needs less help from the weight.
Is valid for real even though is imaginary?
Yes — the "decay" condition is on the real part: . Since is bounded, suffices for convergence.
Recall One-line summary of the traps

Every proof carries a condition (, , or ), a sign (trig vs hyperbolic ), and a factorial (). Miss any one and the "formula" is wrong or meaningless.

Connections