Manuscript V@1 · V.tex · theorem · e7ddf37d
Theorem: Mixed first retarded coefficient
The one-oscillator mixed insertion › Mixed Wick product and retarded coefficient · lines 2620–2651 · proof included or linked
V@1#thm:mixed, V@1#eq:mixed
For real compact , put
Then on ,
The unsmeared coefficient is
The normalization has no extra diagonal parameter for this insertion pair.
Proof. Apply the contraction calculation of Theorem thm:external separately to and , retaining the commuting oscillator factors. The same normal-block cancellation and the same unique scalar contraction extensions give the result.
Displayed formulas in this passage
V@1#eq:mixed · line 2628
unlabeled · line 2623
unlabeled · line 2636