Manuscript IX-D-ST@1 · IX-D-ST.tex · assumption · b1dc631a

Assumption: Simultaneous source prescription

Conditional source contacts, subtraction, and order audit · lines 894–907

IX-D-ST@1#ass:source

For this subsection only, let $P_{f}$ be a specified formally self-adjoint field operator and $H_{F}$ a specified fundamental solution with

(P_{f})_{x} H_{F} = c_{F} δ, c_{F} \neq = 0.

The actual source presentation is $j = P_{f} h$ . Differential compatibility requires $H^{TO}_{j h} = (P_{f})_{x} H_{F}$ . The declared test domain detects the diagonal contact.

Displayed formulas in this passage

unlabeled · line 899
$(P_{f})_{x} H_{F} = c_{F} δ, c_{F} \neq = 0.$

Nearby in this section

proposition: Proposition: Conditional source-contact incompatibility
section: Conditional source contacts, subtraction, and order audit
assumption: Assumption: Future time-ordered lift
theorem: Theorem: Conditional unnormalized causal subtraction
section: Conditional source contacts, subtraction, and order audit
lemma: Lemma: One-order loss
section: Conditional source contacts, subtraction, and order audit
proposition: Proposition: The switch witness is a separate gate