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

Back to manuscript

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

Nearby in this section