Manuscript V@1 · V.tex · theorem · e7ddf37d

Theorem: Newton–wave form and cutoff removal

Contrast: the Newton–wave cubic form › Fully Wick form and joint cutoff limit · lines 3506–3575 · proof included or linked

V@1#thm:cubicform, V@1#eq:cubiclimit

Back to manuscript

The fully Wick-ordered expression defines a continuous sesquilinear form on , with

Its regulated forms satisfy

The limit is joint and independent of the bounded profiles with the stated support properties. For real the form is symmetric. No distribution supported at transfer zero is added.

Proof. For a kernel , write

The majorant in (eq:cubicmajorant) is integrable in this norm. In transverse and six tangential variables , the singular integral is bounded by

Integration in gives a multiple of , which is integrable.

The ultraviolet error is supported where ; take out and use the same integrability with exponent instead of . For transfer removal integrate over ; the resulting bound is . The edge strip has length at most , and the pre-time-integration majorant gives . Hence

In (eq:cubicsector), the two pointwise Schwartz bounds give a factor for every spectator and . The spectator integrals give . Also

The weights in dominate these factors. Applying the weighted-kernel bound and then summing occupied sectors proves both estimates.

Complex conjugation reverses all mode signs, and the classical maps are real. Thus for real . Together with full signed permutation symmetry this interchanges the and blocks and proves symmetry. Ordinary weighted integral convergence gives the locally integrable distribution itself, with no extra zero-supported term.

Displayed formulas in this passage

  • V@1#eq:cubiclimit · line 3514

  • unlabeled · line 3510

  • unlabeled · line 3528

  • unlabeled · line 3534

  • unlabeled · line 3549

  • unlabeled · line 3559

Nearby in this section