Manuscript XIII-A@1 · XIII-A.tex · section · f56e91c7

A1: the classical evaluation identity

A1: the classical evaluation identity · lines 647–662

XIII-A@1#eq:uniform-plateau

Let $K_{f} = supp f$ . Impose the configuration-independent hypothesis

(UCP_{W}) g = 1 on a neighbourhood of J^{-} (K_{f}) \cap J^{+} (W) \cap M_{T} .

A convenient stronger sufficient version replaces $W$ by $W$ . The stronger set is compact and lies strictly between the slab's temporal endpoints. Its use makes explicit that such support data can be selected without reference to a particular configuration.

Displayed formulas in this passage

XIII-A@1#eq:uniform-plateau · line 651
$(UCP_{W}) g = 1 on a neighbourhood of J^{-} (K_{f}) \cap J^{+} (W) \cap M_{T} .$

Nearby in this section

theorem: Theorem: Cancellation on the fixed subclass
section: A1: the classical evaluation identity