Definition and boundary prescription

The sources in (eq:w)–(eq:v) need not be compactly supported. Their use is legitimate as smooth Cauchy sources; the causal support bound proved later makes the dependence on a compact observation region explicit.