Manuscript I-B-VP-2@1 · I-B-VP-2-v1.tex · section · f4bd2b11
Why a null-set convention cannot control a wavefront
Two checks on the transition argument › Why a null-set convention cannot control a wavefront · lines 1968–2011
At , the geometric image set changes and the diffraction weight has its corresponding angular transition. Choosing a pointwise value on that angular set does not determine a distributional extension: distributions supported there are not ruled out by agreement off the set.
The proof instead uses (eq:Wclosed), already identified with the spectral covariance before taking a boundary value. At , every possible wavefront covector is constrained to
Since
its endpoint components are
Their characteristic equations are
Thus both force . This calculation works when one or two angular transition representatives coincide, and in particular when is an integer. No separate endpoint prescription is needed.
Displayed formulas in this passage
unlabeled · line 1979
unlabeled · line 1983
unlabeled · line 1987
unlabeled · line 1994
unlabeled · line 2002