Manuscript XII-F@1 · XII-F.tex · lemma · 54cb3169
Lemma: The completed Einstein response on the witness
F3: cancellation on a subclass and a nonzero shell witness › Evaluation of the Einstein row · lines 972–1031 · proof included or linked
XII-F@1#lem:main-evaluation, XII-F@1#eq:main-e, XII-F@1#eq:main-integrand
On the observation region,
and
Proof. The trace of (eq:main-w) is . Consequently has only its and components nonzero, both equal to . The spatially homogeneous zero-data inverse satisfies , giving (eq:main-e).
This local calculation equals the compact-source calculation: all sources capable of influencing the observation have spatial coordinates in , where . The transitions of are outside that causal past. Nested retarded operations do not enlarge the overall causal dependence region. Finite propagation therefore justifies the homogeneous formulas BGP.
For (eq:main-e), the relevant density coefficients are
The entire response is supported after . Thus the coordinate ramp is one and
On the causal region where contributes, by (eq:witness-diamond). Since and ,
Hence
Subtracting proves (eq:main-integrand).
Displayed formulas in this passage
XII-F@1#eq:main-integrand · line 982
XII-F@1#eq:main-e · line 975
unlabeled · line 1005
unlabeled · line 1012
unlabeled · line 1018
unlabeled · line 1024