Definition · The Laplace transformFor a function f defined for t ≥ 0, its transform is ℒ[f](s) = ∫₀^∞ e^(−st)·f(t) dt, for every s at which the integral has a finite value.
The integral to infinity means the integrals from 0 to T, as T grows. The result is a function of s, and it is written F(s) when the signal is called f.
The definition is an instruction, and the quickest way to see what it does is to follow it on the simplest signal there is. Take f = 1. The weighted signal is e^(−st), and a function whose rate is −s times itself has the antiderivative −e^(−st)/s, as you can check by taking its derivative. So the integral from 0 to T is (1 − e^(−sT))/s.
∫₀ᵀ e^(−st) dt = (1 − e^(−sT))/s
s = 1: 1 − e^(−T)
T = 1, 2, 5: ≈ 0.632121, ≈ 0.864665, ≈ 0.993262
At s = 1 the lab prints those three integrals in its status line. They are rounded, which is why each carries ≈, and they are closing in on 1. The reason is the term e^(−sT): for positive s it shrinks toward zero as T grows, so the integral approaches 1/s. That is a claim the three numbers support and the next theorem proves for every exponential.
Theorem · The first two entriesFor s > 0, ℒ[1] = 1/s. For every constant a and every s > a, ℒ[e^(at)] = 1/(s − a).
The second statement contains the first, with a = 0. The weighted signal is e^(−st)·e^(at) = e^(−(s − a)t), and its antiderivative is −e^(−(s − a)t)/(s − a), because the derivative of e^(−kt) is −k·e^(−kt) with k = s − a.
So the integral from 0 to T is (1 − e^(−(s − a)T))/(s − a). When s > a the exponent is negative and the term e^(−(s − a)T) shrinks toward zero as T grows, which leaves 1/(s − a).
□
Example · e^(2t) at s = 3The signal grows, and the transform exists anyway, because the weight shrinks faster: at s = 3 the product is e^(−t), and its integrals are the same three numbers as before.
The lab prints 1/(s − 2), and at s = 3 that is 1/(3 − 2) = 1, which is where those integrals are heading. Take s = 1 instead and the formula gives 1/(1 − 2) = −1, an impossible area for a positive function, because the integral has no finite value there.
The ramp
The signal f = t is a straight line, and the lab prints ℒ[t] = 1/s². That one is a claim here and not a computation: finding the antiderivative of t·e^(−st) needs a rule this course does not develop. What the lab can do is show the truncated integrals closing in on the value of 1/s², which at s = 1 is 1: for T = 1, 2, 5 they are ≈ 0.264241, ≈ 0.593994 and ≈ 0.959572, rounded.
Read the three entries together: 1/s, 1/s² and 1/(s − a). Each is a fraction, each has a denominator that vanishes at one value of s, and that value, 0 or a, is exactly the floor under s. The lab's second tile lists these values under the name they carry for the rest of the course: the poles of the fraction, the values of s at which its denominator is zero. The denominators are going to matter more than anything else in this course.
One habit before the lab. When someone writes ℒ[1] = 1/s, the right side is a function: at s = 1 it is 1, at s = 2 it is 1/2 and at s = 4 it is 1/4. The transform of one signal is never a number. The equations of the next lessons are equations between functions of s, and they are solved by algebra only because a function of s can be added, multiplied and divided like a fraction.
The lab keeps its two tiers apart. The transform it prints in the first tile is an exact rational function in lowest terms. The integrals in the status line are floating-point sums, rounded to six figures and marked with ≈; they are evidence for the claim, and they close in on it without ever proving it.