4.6.25 · D1Ordinary Differential Equations

Foundations — Laplace transform — definition, region of convergence

2,130 words10 min readBack to topic

Before you can read the parent note (Laplace transform — definition, ROC) with zero confusion, you must own every symbol it fires at you. We build them one at a time, each from the one before.


0. The characters, in order of appearance

Here is the full cast the parent note uses. We meet each below.

Symbol Read as Section
time §1
a function of time §2
"add up over " §3
improper integral §4
, the exponential / kernel §5
the complex frequency knob §6
the real part §6
the transform itself §7
"converges", ROC, abscissa when the sum settles §8
exponential order, growth speed limit §9

1. — time, the input axis

Picture: a horizontal number line pointing right. is "now"; everything to the right is later.

Why the topic needs it: the signals we transform (a voltage, a temperature, a swinging pendulum) are things that change as time passes. is the axis they live on.


2. — a function of time

Picture: a curve drawn above the time line. For each on the floor, the curve's height is . See the figure: three signals — a flat one (), a rising one (), and a wiggling one ().

Figure — Laplace transform — definition, region of convergence

Why the topic needs it: is the raw material — the thing going into the transform machine. Every example in the parent (, , , ) is a specific choice of .


3. — "add up the area"

Picture: the curve with the region beneath it shaded and chopped into rectangles.

  • is a stretched "S" for Sum.
  • is the tiny width of one slice.
  • (bottom) and (top) are the limits — where the adding starts and stops.

Why the topic needs it: the Laplace transform is an integral. It adds up a whole signal into a single number for each . If you can't picture "area = sum of strips," the definition is just squiggles.


4. — the improper integral

Picture: the shaded area keeps extending rightward forever. Two things can happen:

  • the running total settles toward a fixed height (we say it converges), or
  • it runs off to infinity (it diverges).
Figure — Laplace transform — definition, region of convergence

Why the topic needs it: the Laplace integral runs to . Whether it converges is the entire drama of the Region of Convergence. See Improper Integrals for the full machinery.


5. and the kernel

Picture: two curves — one sliding down to the floor (decay), one rocketing up (growth). See the figure.

Figure — Laplace transform — definition, region of convergence

Why the topic needs it: is the heart of the transform — the "fade-out filter." Everything about the ROC comes from a race between fading and growing.


6. and its real part

Picture: a 2D plane (the "-plane"). Horizontal axis , vertical axis . Each choice of is a point on this plane.

The one fact that governs convergence: the size of depends only on , not on : The part only spins (rotates), it never changes magnitude. So decay is controlled by alone.

Why the topic needs it: the ROC is a region in the -plane — specifically a half-plane cut by a vertical line . You cannot picture that region without the -plane.


7. — the transform

Picture: a box labeled . In goes a curve over time; out comes a curve over the -plane. Same information, new language.

Why the topic needs it: this is literally the definition the parent builds. Everything before was scaffolding so this line reads as plain English: "fade with , add it all up over time, and record the total as a function of the fade-speed ." Going back is Inverse Laplace Transform.


8. Convergence, ROC, and the abscissa

Picture: the -plane with a vertical dividing line at . Everything to its right is safe (converges); everything left diverges.

Why: if grows like , the integrand is . This decays only when , i.e. . The faster grows, the further right you must slide .


9. Exponential order — the growth speed limit

Picture: the curve eventually trapped underneath a ceiling . As long as stays below some exponential, it has a Laplace transform.

Why the topic needs it: this is the sufficient condition for the transform to exist. A monster like beats every — it pokes through every ceiling — so it has no Laplace transform at all. See Exponential Order and Growth Rates.


Prerequisite map

time t

function f of t

integral as area sum

improper integral to infinity

exponential e to the x

kernel e to minus s t

complex s equals sigma plus i omega

real part sigma controls decay

Laplace transform F of s

Region of Convergence half plane

exponential order

Read it bottom-out: time and functions give us something to integrate; the exponential builds the kernel; complex supplies the fade-speed and (via its real part) decides decay; together they produce the transform, and the growth-vs-decay race carves out the ROC.


Equipment checklist

Cover the right side; can you answer before revealing?

What does restrict us to?
only the future — signals starting at "now," .
in one phrase?
a rule giving one output value for each moment of time.
What does compute, pictorially?
the area under , as a sum of skinny strips of width .
Why is called improper?
the top limit is infinite; we take of the finite area.
The two outcomes of an improper integral?
it converges (settles to a finite number) or diverges (runs to infinity).
The defining superpower of ?
its derivative equals itself, .
Does (with ) grow or decay?
decay — it slides from down toward .
Two reasons is the kernel?
it tames growth (decays), and turns into .
Write in real/imaginary parts.
, with .
Which part of controls convergence, and why?
, because (the only rotates).
What is in words?
fade by , add it all over time, record the total as .
Shape of every ROC?
a right half-plane .
What is the abscissa of convergence ?
the boundary value; it equals the signal's growth rate.
is of exponential order when...?
for all , some , .
Why does fail?
it outgrows every , so no kernel can tame it — transform never converges.

Connections


#flashcard