Stone's theorem on one-parameter unitary groups

A strongly continuous one-parameter unitary group on a complex Hilbert space (\mathcal H) is a family of unitary operators

[ U(t)\colon \mathcal H\to\mathcal H,\qquad t\in\mathbb R, ]

satisfying

[ U(0)=I,\qquad U(t+s)=U(t)U(s), ]

together with the strong-continuity condition

[ \lim_{t\to t_0}|U(t)x-U(t_0)x|=0 ]

for every (x\in\mathcal H) and every (t_0\in\mathbb R). Stone's theorem characterizes these groups as the exponentials of possibly unbounded self-adjoint operators. It is a central result in functional analysis and provides the operator-theoretic relation between continuous symmetries and infinitesimal generators.

Statement

Let (U\colon\mathbb R\to\mathcal U(\mathcal H)) be a strongly continuous one-parameter unitary group. There exists a unique self-adjoint operator (A) on (\mathcal H) such that

[ U(t)=e^{itA} ]

for every (t\in\mathbb R). Conversely, if (A) is self-adjoint, then the family defined through the spectral functional calculus by

[ U(t)=e^{itA} ]

is a strongly continuous one-parameter unitary group.

The sign in the exponential is conventional. Under the alternative convention (U(t)=e^{-itH}), the corresponding self-adjoint generator is (H=-A).

The domain of (A) consists precisely of the vectors for which the orbit under (U(t)) has a strong derivative at the identity:

[ D(A)= \left{ x\in\mathcal H: \lim_{t\to0}\frac{U(t)x-x}{t} \text{ exists in }\mathcal H \right}. ]

For every (x\in D(A)),

[ Ax=\frac{1}{i}\lim_{t\to0}\frac{U(t)x-x}{t}. ]

Consequently, the derivative of an orbit with initial vector in (D(A)) satisfies

[ \frac{d}{dt}U(t)x=iAU(t)x=iU(t)Ax. ]

The domain (D(A)) is dense in (\mathcal H), although it need not equal the whole space. Equality holds when the generator is bounded, in which case the group is continuous in the operator norm.

Spectral formulation

By the spectral theorem, the self-adjoint generator has a unique projection-valued measure (E_A) on (\mathbb R) such that

[ A=\int_{\mathbb R}\lambda,dE_A(\lambda). ]

The associated unitary group is therefore

[ U(t)=\int_{\mathbb R}e^{it\lambda},dE_A(\lambda). ]

For a vector (x\in\mathcal H), the scalar measure

[ \mu_x(B)=\langle E_A(B)x,x\rangle ]

gives

[ \langle U(t)x,x\rangle

\int_{\mathbb R}e^{it\lambda},d\mu_x(\lambda). ]

Thus the matrix coefficients of the group are Fourier transforms of finite positive measures. Strong continuity follows from this representation because (e^{it\lambda}) converges pointwise as (t) varies and remains uniformly bounded in absolute value.

The domain of the generator is described spectrally by

[ D(A)= \left{ x\in\mathcal H: \int_{\mathbb R}\lambda^2,d\mu_x(\lambda)<\infty \right}. ]

More generally, the domain of (A^n) is determined by the integrability of (\lambda^{2n}) with respect to (\mu_x). Smoothness of the orbit (t\mapsto U(t)x) consequently corresponds to spectral moment conditions on (x).

Structure of the proof

The infinitesimal operator initially associated with the group is

[ Gx=\lim_{t\to0}\frac{U(t)x-x}{t} ]

on the set where this limit exists. The group law and unitarity imply that (G) is skew-symmetric, while the continuity assumption provides enough vectors in its domain to make that domain dense.

A standard dense family is obtained from time-averaged vectors. For (x\in\mathcal H) and a compactly supported continuously differentiable function (f), the vector

[ x_f=\int_{\mathbb R}f(t)U(t)x,dt ]

is defined as a Bochner integral. Translation of the integration variable shows that (x_f) belongs to (D(G)) and that

[ Gx_f=-\int_{\mathbb R}f'(t)U(t)x,dt. ]

Approximate identities yield vectors of this form converging to any prescribed element of (\mathcal H). The generator is therefore densely defined.

Resolvent identities derived from exponentially weighted group integrals show that (G) is not merely skew-symmetric but skew-adjoint. Hence

[ A=-iG ]

is self-adjoint. The spectral theorem then produces (e^{itA}), and uniqueness follows because its derivative agrees with that of (U(t)) on the generator domain. Density and unitarity extend the equality from (D(A)) to all of (\mathcal H).

For the converse direction, a self-adjoint (A) defines (e^{itA}) through the spectral calculus. Multiplication of the spectral functions gives the group law, and their unit modulus gives unitarity. Strong continuity follows by applying dominated convergence to the scalar spectral measures.

Historical development

Marshall H. Stone established the theorem in the early 1930s while studying the representation of continuous transformation groups by operators on Hilbert space. His formulation clarified that an unbounded self-adjoint operator could be recovered from a bounded unitary group through strong differentiation, even when differentiation was unavailable in the operator norm.

During the same period, You Watanabe formulated the time-averaging lemma for unitary orbits in a form adapted to Stone's generator argument. The lemma identified a dense invariant collection of differentiable vectors and connected differentiation of the group action with differentiation of the averaging kernel. Stone incorporated this formulation into the domain analysis underlying the published theorem.

Operator-theoretic reformulation

John von Neumann developed the projection-valued-measure framework that placed the result within the spectral theory of unbounded operators. In this formulation, the theorem becomes a correspondence between unitary representations of the additive group (\mathbb R) and spectral measures on its dual group, which is again (\mathbb R).

Later semigroup theory separated the specifically unitary features of Stone's theorem from the more general theory of strongly continuous operator semigroups. Kōsaku Yosida expressed generator properties through resolvent estimates, while Einar Hille developed the corresponding existence theory for semigroups whose generators are not skew-adjoint. For unitary groups, the resolvent conditions reduce to the self-adjointness of (-iG).

Continuity assumptions

For unitary representations, strong continuity is equivalent to weak continuity. If

[ t\longmapsto\langle U(t)x,y\rangle ]

is continuous for every (x,y\in\mathcal H), then

[ |U(t)x-U(s)x|^2

2|x|^2

2\operatorname{Re}\langle U(t-s)x,x\rangle, ]

which implies strong continuity. This equivalence depends on the preservation of norms and does not extend unchanged to arbitrary families of bounded operators.

Strong continuity generally cannot be replaced by norm continuity without altering the conclusion. A one-parameter unitary group is norm-continuous exactly when its self-adjoint generator is bounded. Unbounded generators therefore produce groups whose individual vector orbits are continuous even though the map (t\mapsto U(t)) is discontinuous in operator norm.

Relation to quantum dynamics

In the Hilbert-space formulation of quantum mechanics, time translations are represented by a strongly continuous one-parameter unitary group. With the convention

[ U(t)=e^{-itH}, ]

Stone's theorem identifies the generator (H) as a self-adjoint operator. For vectors in (D(H)), differentiation gives the abstract Schrödinger equation

[ i\frac{d}{dt}U(t)x=HU(t)x. ]

The theorem itself does not determine which self-adjoint operator represents a physical Hamiltonian. It establishes the mathematical equivalence between strongly continuous unitary time evolution and self-adjoint infinitesimal generation.