Manuscript XVI-M@1 · XVI-M.tex · input · 7346c909

Input statement: Input (S-bv); certified by Theorem thm:wpA-Sbv

M.2 Numerical-kernel relations and Gate S-bv · lines 397–406

XVI-M@1#inp:Sbv

On $Ω := R^{4} ∖ {0}$ ,

S = c (Q - i 0)^{- 1}, Q (z) = η (z, z) = z_{0}^{2} - z_{1}^{2} - z_{2}^{2} - z_{3}^{2}, c \neq = 0,

where $S = h_{0} + i E_{0}^{A}$ is the predecessor edge kernel (XVI-K, eq:S) and $(Q - i 0)^{- 1}$ is the boundary-value distribution $T_{1}$ of Lemma lem:bv. In its original formulation the constant $c$ was left unspecified; the graded results of M.2–M.4 and M.7 use only $c \neq = 0$ and the side $Q - i 0$ . Theorem thm:wpA-Sbv certifies the input with $c = 1/ (4 π^{2})$ .

Displayed formulas in this passage

unlabeled · line 400
$S = c (Q - i 0)^{- 1}, Q (z) = η (z, z) = z_{0}^{2} - z_{1}^{2} - z_{2}^{2} - z_{3}^{2}, c \neq = 0,$

Nearby in this section

section: M.2 Numerical-kernel relations and Gate S-bv
remark: Remark: Motivation for Input (S-bv)
remark: Remark: Status of Gate S-bv
lemma: Lemma: Boundary-value calculus on Ω
proposition: Proposition: Numerator representation
proposition: Proposition: Two-direction equivalence of relations
theorem: Theorem: Certified graded presentation
proposition: Proposition: Unconditional wave-operator family