Manuscript I-B-VP-2@1 · I-B-VP-2-v1.tex · section · f4bd2b11
Definition and compact-test finiteness
The regular host and the spectral covariance › Definition and compact-test finiteness · lines 398–418
I-B-VP-2@1#eq:bisolution
The spectral construction is quasifree and has nonnegative one-particle Hamiltonian . It is the specified distinguished spectral state, not a uniqueness theorem among all algebraic ground states.
On regular charts,
These equations follow by spectral calculus and integration by parts on compact tests. Their principal symbol is
up to an irrelevant overall sign.
Displayed formulas in this passage
I-B-VP-2@1#eq:bisolution · line 406
unlabeled · line 413