Manuscript I-B-VP-0@1 · I-B-VP-0-v1.tex · section · 8a9d0682
Euclidean kernel and analytic remainder
Prescribed geometry, bundle, and spectral state › Euclidean kernel and analytic remainder · lines 448–471
I-B-VP-0@1#eq:localHadamard
The spectral continuation
gives (eq:W). Continuing the analytic remainder in Proposition prop:kernel gives, on a sufficiently small Lorentzian neighbourhood,
with smooth . This is the local Hadamard property proved in I-B-VP-v2 :hadamard CheungIBVP. We use only this local statement. A global microlocal-spectrum characterization and behaviour at are not established here.
Displayed formulas in this passage
I-B-VP-0@1#eq:localHadamard · line 458
unlabeled · line 451