inverse Laplace transform
Once you have solved the algebra and hold a function F(s) in the s-domain, you still need to get back to time. The inverse Laplace transform is the operation that recovers the original f(t) from its transform F(s) — the return trip that turns the algebraic answer into a real function of time.
In everyday practice you almost never compute it from its true integral definition. Instead you read the transform table backward, after first breaking F(s) into recognizable pieces. The standard tool is partial-fraction decomposition: a rational F(s) is split into simple fractions like A/(s - a), B/(s^2 + omega^2), and (C s + D)/((s - a)^2 + omega^2), each of which is a known table entry. Linearity then lets you invert term by term. The shifting theorems handle the shifted and exponential-windowed pieces. The inverse is well-defined for continuous functions: two continuous functions with the same transform are equal (Lerch's theorem), so the answer you find is the answer.
Behind the table lies the genuine definition — the Bromwich contour integral, a complex line integral down a vertical line in the region of convergence — and for transforms that are not rational the residue theorem from complex analysis evaluates it directly. But for the constant-coefficient problems that dominate applications, partial fractions plus the table do the entire job, which is why the inverse step rarely feels like complex analysis at all.
To invert (s + 3)/(s^2 + 2 s + 5): complete the square to (s + 1)^2 + 4, write s + 3 = (s + 1) + 2, and read off e^{-t}(cos 2 t + sin 2 t).
Completing the square plus the first shifting theorem turns an opaque rational function into a damped sinusoid.
Uniqueness only holds up to differences on a set of measure zero: two functions agreeing everywhere except at isolated points share a transform, so the inverse is unique among continuous functions, not literally for every function.