Here a growing signal, , is divided by a test exponential that grows faster and faster, and the area under the ratio is shaded. Before you press play, decide: how fast must the test grow for the area to stop growing? Watch the readout “area”.
Describe this picture
Two plots: and the test exponential on top, and their ratio below, with the area under the ratio shaded. For the first ten seconds rises steadily from 0 to 4, and the readout “area” follows: “grows without limit” while the test is slower than the signal, “grows by 1 every second, no limit” at , and then a number, “1.000” at and “0.500” at . At 10 s the axis “decay rate σ” fades in under the plot, with a mark at saying ” grows at +2” and the region shaded and labelled “tests that grow faster: the area exists”; the clip holds that picture until 12 s. After the clip, σ can be dragged along that axis.
Divide by a faster exponential
Some signals grow, such as . The Fourier integral of From series to transform (8.1) cannot be added up for them, because the area under the winding never settles. The spikes of Transforms of common signals (8.3) rescue signals that hold steady, but not signals that grow.
The Laplace transform repairs this in one step. Divide the signal by a test exponential first, and keep track of which tests make the area exist. The border between the tests that work and the tests that fail turns out to be the signal’s own growth rate.
I need one meaning for the letter , and I will keep it for the whole page. It is the one it had in Complex exponentials & phasors (3.4) and First- and second-order systems (6.3): the rate of an exponential . A positive grows, a negative dies, and the signal grows at rate .
In the picture at the top of the page I divided by a test exponential , with rising from 0 to 4. Divided by a flat test, , the area never stops growing. A test that grows slower than the signal leaves a ratio that still grows, and so does the area. At the ratio is flat at 1, and the area grows by 1 every second, with no limit.
A test that grows faster makes the ratio die out, and then the area is a number: 1.000 at and 0.500 at . The test must grow faster than the signal. The border is the signal’s own rate, +2, marked on the axis “decay rate σ” of 6.3 at the end of the clip. After the clip, drag σ along that axis and watch the readout.
The numbers agree with a one-line integral. The ratio is , and for the exponent is negative, so
At this is , and at it is ; at it would be . For the exponent is zero or positive and the integral has no limit.
The definition
Now I let the test spin as well. A test exponential has the two numbers of 3.4: , with the rate at which it grows or dies and the rate at which it spins. Dividing by is multiplying by . The Laplace transform adds up the result:
For each test exponential , says how much of matches it. At a fixed the integral is 8.1’s Fourier transform of the signal , evaluated at , because . So the new transform is the old one, applied after dividing by a test exponential.
The set of values of where the integral has a value is the region of convergence, written ROC. For our signal it is , and there , the number we computed above with . Here is the real part of .
Slicing the plane gives the Fourier transform
Take a signal that does not grow: , the decaying exponential of 8.1. Its transform is
because the exponent is and it dies out only when . The formula blows up at . A value of where blows up is a pole of the signal’s . It sits at the rate of one of the signal’s own exponentials, as the poles of First- and second-order systems (6.3) sat at the rates of a system’s free motion.
I draw on the same plane of rates as 6.3, decay rate across and spin rate up. At every point I shade the length , as in Complex numbers for signals (3.3): more colour means bigger. I shade only where the integral has a value, which is the ROC, and leave the rest grey. The edge of the ROC is a line at , and the colour is strongest toward the pole on it.
The next instrument adds a vertical line at one . The values of along that line, plotted against , are the profile. They are the Fourier transform of , since a fixed is the situation of the last section. Watch the profile as the line moves from to .
Describe this picture
Two panels. The plane has the axes “decay rate σ” and “spin rate ω”, shaded by with a colour bar labelled “|X(s)|: more colour is bigger” from 0 through 1 to “2 or more”; the part without a value is grey and labelled “no value here”, and the pole is marked “pole −1”. The profile panel, “|X| along the line”, has its spin-rate axis running the same way as the plane’s, with ticks at level with the plane’s; on narrow screens the panels stack, and the profile is drawn with horizontal, joined to the plane by faint lines at the same ticks. The line moves from to in eight seconds. The readouts “peak” and “at ω = 1” follow it: 0.250 and 0.243 at , 0.400 and 0.371 at , 1.000 and 0.707 at , where the caption gives 0.7071. When the clip ends, the line can be dragged.
Far from the bright spot, at , the profile is low: its peak is at , and it is at . Closer to the pole the profile rises, to a peak of at , with at . At the end the line sits on the spin-rate axis, . The peak is , and the value at is .
On the spin-rate axis the slice is 8.1’s curve, with as in 8.1. So the Fourier transform is the slice of the Laplace transform, which is . This holds only when the line is inside the ROC. Here it is, because . When the clip ends, drag the line yourself.
The numbers come from the formula. On a vertical line at ,
At the peak is , and at it is . At the peak is , and at it is . At the value at is .
One formula, two signals: the region decides
Is the formula enough to name the signal? Take the left-sided signal , which is for and zero afterwards. It lives before time 0, and going back in time it grows without limit: at it equals . To tame it, the test exponential must grow even faster going back, which needs .
Its transform is
The integral has a value only if dies out as , which needs . The formula is the same as for . The region is on the other side of the pole.
The next instrument puts the two signals side by side. For each, a line sweeps from to , and a light beside it says whether the integral adds up. Watch which side of each region falls on.
Describe this picture
Each signal has a time plot and a small copy of the plane; the picture has no control. A vertical line sweeps from to in three seconds, and a light beside it says “adds up” or “no value”. Where the integral adds up, the plane gets a plain flat fill, with no map this time, and the rest stays grey. The first signal’s line sweeps from 0.5 s to 3.5 s, and its plane is then shaded from onward. At 5.1 s the second signal fades in with its own plane, and its line sweeps from 5.4 s to 8.4 s; the first plane stays on screen. From 8.4 s both planes are labelled “1/(s+1)”, the second shaded up to , and the clip holds.
The first signal, , starts at 0 and dies out, and it adds up for decay rates to the right of . The second, , lives before 0 and grows going back, so the test must grow even faster going back: it adds up only to the left of . Same formula, opposite regions. The formula alone does not tell you the signal; the region does.
Only the first region contains the spin-rate axis, so only the first signal has a Fourier transform. In both pictures the region stops at the pole, because the integral cannot have a value where the formula blows up.
A signal that extends in both directions needs both conditions at once. For the region is a strip, ; the worked example below computes it.
There is one rule for the general case. A right-sided signal is zero before some time, and a left-sided signal is zero after some time. For a right-sided signal that is a sum of exponentials, the test must outgrow every exponential in it, so its ROC is everything to the right of its rightmost pole. A left-sided signal has the mirror rule. The ROC never contains a pole.
I call the rate of the pole that forms the border: the rightmost pole for a right-sided signal, the leftmost for a left-sided one. In the first example , and in the last two it is .
Where the clock starts
For a signal that starts at time zero, as in Kinds of signals (1.2), the whole integral can start at zero. But what if the signal has an impulse exactly at ? Write the lower limit as , a time just before zero, and the impulse is counted. This is the unilateral transform:
An impulse is an arrow read by its area, as in 8.3, and the arrow at zero has area 1. A hammer blow at the instant the stopwatch starts must count, and the lower limit makes it count. The next lesson, Properties and the inverse Laplace transform (9.2), uses this to put starting values into the algebra.
The next instrument takes the signal at , so the integrand is , and adds it up from a lower edge that slides from to . Press play and watch the readout as the edge passes 0.
Describe this picture
The integrand of at , with the impulse as an arrow labelled “1”, shaded from a lower edge onward. The edge slides from to in eight seconds, and the readout “integral from the edge” reads 1.500 at . With the edge at 0 it gives way to two readouts, “edge just before 0 (0⁻): 1.5” and “just after (0⁺): 0.5”, which stay in quieter type after the edge passes 0. At it reads 0.068. The clip then holds, and the edge can be dragged.
Starting before 0, the impulse (1) plus the rest (0.5) is 1.5. As the edge passes 0 the integral drops from 1.5 to 0.5: the drop is the impulse’s area, 1. Start later, at , and you lose what came before: 0.068 is left. When the clip holds, drag the edge yourself. The three numbers agree with the integrals. The impulse gives , and the exponential part gives . From the exponential part gives .
The maths behind it · eigenvectors of LTI systems
A growing or dying spiral goes through any linear time-invariant system and comes out as the same spiral times one number, just as did in Fourier series and LTI systems (7.4). A vector that a matrix only stretches is an eigenvector. These spirals are the eigenvectors of every such system, and measures how much of each a signal holds. The ROC is where that measurement has a value.
The maths behind it · moment-generating functions
Take a waiting time with density on , a curve of area 1 that says how likely each wait is. Then is the average of over many waits. Statisticians use the same average with the sign of flipped and call it the moment-generating function. For it always has a value; how far it reaches toward negative depends on how fast the density’s tail dies, which is its ROC.
Worked example
- Growing exponential. , . At it is , at it is , and at it is .
- Step. , . At it is .
- Decaying exponential. , . On it is , so . The slices are those of the second instrument: and at , and at .
- Two-sided signal. For split the integral at 0. The part is , giving for . The part is for , giving for . Both must hold at once, so At this is , the area under . At it is .
- Left-sided signal. , . At it is , and at the signal is .
- Unilateral and impulses. . At this is . From it is , and from it is .
- Cosine and sine from two arrows. Write as half the sum of two arrows, . Each has a transform of the form , with , valid for . Here is the frequency of one tone, as in 8.3. Then For the sine, subtract and divide by : At and both are .
Where you’ll meet this
The unilateral transform is the one engineers use to solve circuits that start from a charged state, and 9.2 does exactly that with the capacitor of Differential equations and analog systems (6.2). The poles you saw as marks on a plane are the system’s own rates of motion, and Poles, zeros and the s-plane (9.3) reads a system’s behaviour off their positions.
The same idea, with sums in place of integrals, becomes the z-transform for sampled signals in a later chapter. There the ROC will matter for exactly the reason it did here: the formula alone does not name the signal.
Reference card
| Quantity | Formula | Notes |
|---|---|---|
| Bilateral Laplace transform | , | the Fourier transform of ; needs an ROC; is always the rate of |
| Unilateral | counts an impulse at 0; starting values (9.2) | |
| Relation to Fourier | only if the ROC contains the spin-rate axis | |
| ROC shapes | right-sided: ; left-sided: ; two-sided: a strip | : the rate of the border pole (rightmost for right-sided, leftmost for left-sided); never contains a pole |
| all | ||
| ; worked example 7 | ||
| ; worked example 7 |