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

Back to manuscript

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

Nearby in this section