Manuscript Oai282-A@1 · Oai282-A.tex · proposition · 5b6134ec
Proposition: Infinitesimal algebra alone need not exponentiate
Stage 1: local currents, global actions, and bounded locality › Three statements with different mathematical types · lines 398–423 · proof included or linked
Oai282-A@1#prop:nonintegrable
There is a densely defined symmetric infinitesimal generator satisfying the one-dimensional Lie-algebra relations that has no self-adjoint extension and hence no unitary one-parameter implementation extending it.
Proof. On , let
Integration by parts proves symmetry. Its adjoint deficiency equations are
The first has the square-integrable solutions , while the second has no nonzero square-integrable solution. The deficiency indices are , so no self-adjoint extension exists. Stone's theorem rules out the claimed unitary group.
The Lie algebra has one generator and its only bracket is zero, so the formal bracket condition is satisfied.
Displayed formulas in this passage
unlabeled · line 408
unlabeled · line 413