Manuscript V-B@1 · V-B-v1.tex · section · 3fadc1ad

Three different gauge tests

Domain and debugging audit › Three different gauge tests · lines 2378–2393

For the raw response:

tested descriptors C_{c}^{\infty} ((0, \infty) \times R^{3}) C_{c}^{\infty} (M) □ ξ = 0, ξ spacelike compact condition γ = 0 H = 0 E_{1} H = 0

The first two follow by distributional test separation. The third uses the compact-source Green criterion. These are different statements.

Displayed formulas in this passage

unlabeled · line 2381
$tested descriptors C_{c}^{\infty} ((0, \infty) \times R^{3}) C_{c}^{\infty} (M) □ ξ = 0, ξ spacelike compact condition γ = 0 H = 0 E_{1} H = 0$