Manuscript V-B@1 · V-B-v1.tex · section · 3fadc1ad
Compact representatives on a finite TT plane
Compact representatives on a finite TT plane · lines 830–886
V-B@1#eq:plane-values, V-B@1#eq:curvaturecurrent
Choose independent real waves satisfying
with Schwartz Cauchy data and a common open Fourier gap around zero momentum. Put .
Such waves are obtained by applying the smooth TT projector away from momentum zero to compact smooth Fourier data and then performing wave evolution. A nonzero Fourier-gap datum is not compactly supported in position: compact support would make its Fourier transform entire, and an open gap would force it to vanish.
For a spatially Schwartz descriptor, cannot be a nonzero spatial-TT tensor. Indeed, trace and divergence give and , hence ; the temporal-spatial component and decay then give .
The actual response coefficients are
The surface term (eq:surface) pairs to zero with a spatial-TT tensor, but that observation alone does not prove conservation.
Define the electric curvature
It annihilates , and .
For compact smooth symmetric , define
Then
Displayed formulas in this passage
V-B@1#eq:plane-values · line 854
V-B@1#eq:curvaturecurrent · line 875
unlabeled · line 834
unlabeled · line 863
unlabeled · line 882