Manuscript XIII-C@1 · XIII-C.tex · proposition · e6556893

Proposition: Primitive parallel-line degrees

C3: scaling degrees and their exact scope › The parallel-line primitive · lines 870–907 · proof included or linked

XIII-C@1#prop:parallel-degree

Back to manuscript

Let

Then

Equality holds when the leading differentiated homogeneous tensor product is nonzero. In particular,

Proof. The leading mass-independent term is homogeneous of degree . Each nonvanishing derivative raises its short-distance degree by its derivative order. The lower-order massive terms do not increase that bound.

For the first example the leading product is nonzero. For the second, evaluate its homogeneous leading coefficient at spacelike with . Each temporal second derivative is a nonzero constant multiple of , and their product is a nonzero multiple of . This proves the lower bounds as well as the stated upper bounds. An identically vanishing tensor contraction, such as a wave-operator combination away from its source, is excluded from the equality assertion.

Displayed formulas in this passage

  • unlabeled · line 873

  • unlabeled · line 880

  • unlabeled · line 885

Nearby in this section