Manuscript XIV-D@1 · XIV-D.tex · proposition · 1a7f173d

Proposition: Full B 6 leading fiber numerator

D2: the full joint-symbol test › A full fiber-tensor check for B 6 · lines 1112–1177 · proof included or linked

XIV-D@1#prop:B6tensor, XIV-D@1#eq:B6identity

Back to manuscript

The complete density variation satisfies

After the metric propagator fiber and the principal kinetic stress variation are contracted, the corresponding leading differential numerator is a fixed nonzero conventional factor times

It is not identically zero as a fiber-tensor polynomial.

Proof. The principal kinetic variation of the stress tensor has fiber coefficient

In four dimensions , so trace reversal gives

The signs and factors from and the fixed metric line are nonzero. The mass term has lower scalar-line differential order and is not part of this principal differential numerator.

Because , the term makes no contribution after contraction with . Write . The remaining quadratic expression is

For variation ,

Its directional derivative is therefore

proving (eq:B6identity).

The retarded divergence and observation scalar derivative supply the two factors of in (eq:B6identity). The frozen scalar line normalizations and the nonzero kinetic coefficient supply only fixed nonzero factors.

For example, with all other components zero, , and give . The original weights are nonzero at the retained configuration.

Displayed formulas in this passage

  • XIV-D@1#eq:B6identity · line 1115

  • unlabeled · line 1124

  • unlabeled · line 1133

  • unlabeled · line 1140

  • unlabeled · line 1152

  • unlabeled · line 1157

  • unlabeled · line 1162

Nearby in this section