jeffrey@penn:~/blog$ glow laplace-transform.md

The Laplace transform

The Fourier transform fails for signals that grow, like etu(t)e^{t}u(t). The Laplace transform fixes this by multiplying the signal by a decaying exponential e−σte^{-\sigma t} before transforming it.

Definition

X(s)=L{x(t)}=∫−∞∞x(t) e−st dt,s=σ+jω. X(s) = \mathcal{L}\{x(t)\} = \int_{-\infty}^{\infty} x(t)\, e^{-st}\, dt, \qquad s = \sigma + j\omega .

The complex variable ss carries both a decay rate σ\sigma and a frequency ω\omega. The set of ss where the integral converges is the region of convergence (ROC).

Example: a decaying exponential

For x(t)=e−atu(t)x(t) = e^{-at}u(t),

X(s)=∫0∞e−(s+a)t dt=1s+a,Re⁡(s)>−a. X(s) = \int_{0}^{\infty} e^{-(s+a)t}\, dt = \frac{1}{s+a}, \qquad \operatorname{Re}(s) > -a .

The transform has a pole at s=−as = -a, and the ROC is everything to the right of it.

Relation to the Fourier transform

Setting σ=0\sigma = 0 gives back the Fourier transform:

X(ω)=X(s)∣s=jω, X(\omega) = X(s)\big|_{s = j\omega},

as long as the jωj\omega axis is inside the ROC. For a causal system this is why stability is decided by the poles: the system is stable exactly when every pole is in the left half-plane (Re⁡(s)<0\operatorname{Re}(s) < 0).

Properties

PropertyTime domainss domain
Linearityax1(t)+bx2(t)a x_1(t) + b x_2(t)aX1(s)+bX2(s)a X_1(s) + b X_2(s)
Time shiftx(t−t0)x(t - t_0)e−st0X(s)e^{-s t_0} X(s)
Derivativex˙(t)\dot{x}(t)sX(s)−x(0−)s X(s) - x(0^-)
Integral∫0−tx(τ) dτ\int_{0^-}^{t} x(\tau)\, d\tauX(s)/sX(s)/s
Convolution(x∗h)(t)(x * h)(t)X(s)H(s)X(s) H(s)

The derivative rule turns differential equations into algebra. For example y˙+ay=x\dot{y} + a y = x with y(0−)=0y(0^-) = 0 becomes (s+a)Y(s)=X(s)(s + a) Y(s) = X(s), so the transfer function is H(s)=1s+aH(s) = \frac{1}{s + a}.

For sampled, discrete-time signals the same role is played by the Z transform.

cd ..