Theorem · LinearityFor signals f and g and constants c and d, at every s where both transforms exist, ℒ[c·f + d·g] = c·ℒ[f] + d·ℒ[g].
The weighted signal is e^(−st)·(c·f + d·g) = c·e^(−st)·f + d·e^(−st)·g.
The integral from 0 to T of a sum is the sum of the integrals, and a constant factor comes outside, because the integral is a limit of sums of the form rate times step. Let T grow in each term and the right side becomes c·ℒ[f] + d·ℒ[g].
□
The table
ℒ[1] = 1/s
ℒ[tⁿ] = n!/s^(n+1)
ℒ[e^(at)] = 1/(s − a)
ℒ[cos(bt)] = s/(s² + b²)
ℒ[sin(bt)] = b/(s² + b²)
ℒ[t·e^(at)] = 1/(s − a)²
The first lesson derived 1/s and 1/(s − a). The rest of the table is stated here as claims. The lab computes every transform by exactly these rules, so it cannot confirm them; what it offers is evidence, in its status line, where the truncated integrals of the weighted signal close in on the value the fraction gives at one s. The entry for tⁿ has n! on top, the product n·(n − 1)·⋯·1, so ℒ[t] = 1/s², ℒ[t²] = 2/s³ and ℒ[t³] = 6/s⁴.
The last entry is worth a second look. Put a = 0 in ℒ[t·e^(at)] = 1/(s − a)² and it becomes 1/s², which is ℒ[t]. Multiplying the signal by e^(at) has replaced s by s − a. The same replacement turns 1/s into 1/(s − a), the second entry, and that pattern is the reason the table needs only these families.
Example · A sum of two termsTransform f = 3t² − 2e^(−t). By linearity it is 3·ℒ[t²] − 2·ℒ[e^(−t)]. From the table, ℒ[t²] = 2/s³ and ℒ[e^(−t)] = 1/(s + 1), because a = −1.
So the transform is 3·(2/s³) − 2·(1/(s + 1)) = 6/s³ − 2/(s + 1). Over a common denominator s³·(s + 1) the numerator is 6·(s + 1) − 2·s³ = 6s + 6 − 2s³, and the lab prints the single fraction in lowest terms.
Sines and cosines work the same way, with one new feature: their denominator s² + b² has no real zero. For cos(2t) the lab prints s/(s² + 4). The poles of that fraction are the numbers where the denominator vanishes, ±2i, and the lab lists them in its second tile. That frequency 2 in the signal reappears, as the square root of 4, in the transform.
What linearity does not cover
Linearity does not say anything about a product of two signals. Take f = g = 1. The product f·g is 1, and ℒ[1] = 1/s. The product of the transforms is (1/s)·(1/s) = 1/s², a different function. The transform of a product is a different and harder operation, which this course does not need.
Example · t times e^(3t)The signal t·e^(3t) is a product of t and e^(3t). Its transform is the table entry 1/(s − 3)².
The product of the two separate transforms is ℒ[t]·ℒ[e^(3t)] = (1/s²)·(1/(s − 3)) = 1/(s²·(s − 3)), which has a pole at 0 that the real transform does not. The lab's third preset prints the correct one, and a poles tile that agrees: the only pole is at 3.
A table does the work of a computation, so check one entry before trusting it. The lab does that at every keystroke: it transforms what you type by the table and linearity and prints a reduced fraction, so a slip in your own arithmetic shows up as a mismatch.