Dynamics and Hamiltonians

Hamiltonian dynamics combines three questions: which self-adjoint operator defines the model, which solution concept describes its states, and which topology controls the evolution of its observables. This chapter follows those questions from autonomous unitary groups through time-dependent propagators and energy-form constructions to Heisenberg dynamics.

Enter through the generator theorem

Begin with Hamiltonians as Generators for the meaning of the time parameter, energy origin, and differentiable state domain. Stone’s theorem then joins two prerequisite branches:

1. Self-Adjoint Operators and The Unbounded Spectral Theorem provide the operator and its functional calculus.
2. Strongly Continuous Unitary Groups fixes the continuity requirement, with translations illustrating why operator-norm continuity is too strong for an unbounded generator.
3. Stone’s Theorem proves the exact correspondence between strongly continuous unitary groups and self-adjoint generators, including the derivative domain.

These results let us ask more specific questions about constructing Hamiltonians, differentiating solutions, and identifying conserved quantities.

Separate solution regularity from existence

Schrödinger Equation in Hilbert Space distinguishes strong, weak, and integrated solutions. A Hilbert-space vector may evolve continuously without possessing a Hilbert-space time derivative. Domains of Hamiltonians then proves the Kato–Rellich criterion for preserving an operator domain when adding an interaction.

Existence and Uniqueness of Time Evolution develops Duhamel’s formula, weak-solution uniqueness, and stability under forcing or residual errors. These results put precise content behind a statement that an initial-value problem is well posed.

Treat time dependence with explicit hypotheses

Time-Dependent Hamiltonians gives a complete bounded, norm-continuous propagator theorem and a quantitative frozen-step approximation. Kato Theory extends the discussion to unbounded families with a common operator domain or a common form domain.

The physical organization of driving protocols, pulses, pictures, and energy balance remains in Time-Dependent Hamiltonians in Dynamics. Here the emphasis is on existence, topology, domains, and what each regularity hypothesis actually proves.

Build the Hamiltonian from its energy form

Quadratic Form Methods proves the KLMN perturbation theorem and constructs a point-interaction domain from a weak energy identity. It uses the representation theorem explained in Quadratic Forms.

Semibounded Hamiltonians explains the variational spectral bottom, ground-state attainment, imaginary-time projection, and the separate trace condition for a Gibbs state. Friedrichs Extension closes a symmetric seed’s form to obtain a distinguished self-adjoint extension. Form closure and operator closure need not give the same domain.

Return to observables and conserved events

Conserved Quantities identifies conservation with invariance of spectral probabilities for every preparation. Heisenberg Dynamics then distinguishes strong operator continuity, point-norm continuity, and the different meanings of a commutator derivative.

Finally, Derivations on Operator Algebras proves density of smooth observables and closedness of the generator for a point-norm continuous automorphism group. Its abstract formulation and equilibrium applications connect outward to Dynamics as Automorphisms.

Keep the hypotheses with the conclusion

• A specified self-adjoint autonomous Hamiltonian evolves every Hilbert-space vector, while the strong equation requires its operator domain.
• A family of self-adjoint operators needs time and domain regularity before a nonautonomous propagator theorem applies.
• A finite lower energy bound need not be an attained ground energy or yield a finite partition function.
• Conservation of a distribution in one state does not establish a conserved observable for every state.
• Strong continuity of Hilbert-space unitaries does not make every bounded Heisenberg orbit norm-continuous.

These distinctions also support the generators in the Canonical Commutation Relations and the limiting arguments of Mathematical Scattering.

References

• O. Bratteli and D. W. Robinson, Operator Algebras and Quantum Statistical Mechanics 1, 2nd ed., Springer, 1987, publisher edition — algebraic evolution and derivations.
• G. Teschl, Mathematical Methods in Quantum Mechanics: With Applications to Schrödinger Operators, 2nd ed., Graduate Studies in Mathematics 157, American Mathematical Society, 2014, author’s text — self-adjointness, forms, spectral theory, and quantum dynamics.