In mathematics, Stone's theorem on one-parameter unitary groups is a basic theorem of functional analysis that establishes a one-to-one correspondence between self-adjoint operators on a Hilbert space H {\displaystyle {\mathcal {H}}} and one-parameter families
( U t ) t ∈ R {\displaystyle (U_{t})_{t\in \mathbb {R} }}
of unitary operators that are strongly continuous, i.e.,
∀ t 0 ∈ R , ψ ∈ H : lim t → t 0 U t ( ψ ) = U t 0 ( ψ ) , {\displaystyle \forall t_{0}\in \mathbb {R} ,\psi \in {\mathcal {H}}:\qquad \lim _{t\to t_{0}}U_{t}(\psi )=U_{t_{0}}(\psi ),}
and are homomorphisms, i.e.,
∀ s , t ∈ R : U t + s = U t U s . {\displaystyle \forall s,t\in \mathbb {R} :\qquad U_{t+s}=U_{t}U_{s}.}
Such one-parameter families are ordinarily referred to as strongly continuous one-parameter unitary groups. The theorem was proved by Marshall Stone (1930, 1932), and John von Neumann (1932) showed that the requirement that ( U t ) t ∈ R {\displaystyle (U_{t})_{t\in \mathbb {R} }} be strongly continuous can be relaxed to say that it is merely weakly measurable, at least when the Hilbert space is separable. This is an impressive result, as it allows one to define the derivative of the mapping t ↦ U t , {\displaystyle t\mapsto U_{t},} which is only supposed to be continuous. It is also related to the theory of Lie groups and Lie algebras.
Formal statement The statement of the theorem is as follows.
Theorem. Let ( U t ) t ∈ R {\displaystyle (U_{t})_{t\in \mathbb {R} }} be a strongly continuous one-parameter unitary group. Then there exists a unique (possibly unbounded) operator A : D A → H {\displaystyle A:{\mathcal {D}}_{A}\to {\mathcal {H}}} , that is self-adjoint on D A {\displaystyle {\mathcal {D}}_{A}} and such that
∀ t ∈ R : U t = e i t A . {\displaystyle \forall t\in \mathbb {R} :\qquad U_{t}=e^{itA}.}
The domain of A {\displaystyle A} is defined by
D A = { ψ ∈ H | lim ε → 0 − i ε ( U ε ( ψ ) − ψ ) exists } . {\displaystyle {\mathcal {D}}_{A}=\left\{\psi \in {\mathcal {H}}\left|\lim _{\varepsilon \to 0}{\frac {-i}{\varepsilon }}\left(U_{\varepsilon }(\psi )-\psi \right){\text{ exists}}\right.\right\}.}
… excerpt ends here. Continue reading the full article.
