Manuscript Em03-H@8 · Em03-H-v8.tex · proposition · 91e9e3bd
Proposition: Well-posed evolution
Restricted continuum experiment › Exact one-species evolution · lines 1204–1216 · proof included or linked
For bounded piecewise continuous real , has a unique interaction-picture unitary propagator.
Proof. Relative to , the perturbation is bounded, self-adjoint, and finite rank. Strong continuity on the finitely many packet vectors gives norm continuity of the corresponding rank-one interaction-picture operators on each control segment. The norm-convergent Dyson series gives existence and uniqueness; self-adjointness gives unitarity.