Section 9.6 The Hille-Yosida and Stone Theorems for self-adjoint operators
Remark 9.6.1.
Let \(A\) be self-adjoint with spectral measure \(E\text{,}\) and let
Then
by the functional calculus.
Now fix \(x\in H\text{,}\) and define the scalar measure
for Borel sets \(B\subset \mathbb R\text{.}\) This is a finite positive measure, since
Set
Then
Therefore
To compute this norm, use the basic Hilbert-space functional calculus identity
for bounded Borel functions \(f,g\text{.}\) Taking \(g=f_t\text{,}\) we get
Hence
Since the spectrum of \(A\) is contained in \((-\infty,0]\text{,}\) one may equally write this as
To justify the identity used above, let \(f\) be a bounded Borel function. Then
Hence
By the multiplicative property of the functional calculus,
Therefore
By definition of the scalar spectral measure \(\mu_x\text{,}\)
for every bounded Borel function \(h\text{.}\) Applying this with \(h=|f|^2\) gives
Theorem 9.6.2. Self-adjoint contraction semigroup criterion.
Let \(H\) be a Hilbert space, and let \(A\) be a self-adjoint operator on \(H\text{.}\) Then the following are equivalent:
-
\(A \le 0\text{,}\) equivalently
\begin{equation*} \sigma(A) \subset (-\infty,0]. \end{equation*} \(A\) generates a strongly continuous contraction semigroup \(\{T(t)\}_{t\ge 0}\) on \(H\text{.}\)
In this case,
defined by the spectral theorem, and for every \(\lambda>0\text{,}\)
Proof.
Assume first that \(A\) is self-adjoint and \(A\le 0\text{.}\) By the spectral theorem, there is a projection-valued measure \(E\) on \((-\infty,0]\) such that
For \(t\ge 0\text{,}\) define
Since \(\mu\le 0\text{,}\) we have \(0\le e^{t\mu}\le 1\text{,}\) so
Thus each \(T(t)\) is a contraction.
The functional calculus gives
and clearly \(T(0)=I\text{.}\) Hence \(\{T(t)\}_{t\ge 0}\) is a semigroup.
We next show strong continuity. For \(x\in H\text{,}\) let
Then
As \(t\downarrow 0\text{,}\) we have \(e^{t\mu}\to 1\) pointwise, and \(|e^{t\mu}-1|^2\le 4\text{.}\) Since
dominated convergence implies
Therefore \(\{T(t)\}_{t\ge 0}\) is strongly continuous.
We now identify the generator. Let \(G\) denote the generator of the semigroup. If \(x\in D(A)\text{,}\) then
Also,
Therefore
Pointwise, \(\dfrac{e^{t\mu}-1}{t}\to \mu\) as \(t\downarrow 0\text{.}\) Also, for \(\mu\le 0\text{,}\) the mean value theorem gives
Hence
so the integrand is dominated by \(4\mu^2\text{,}\) which is integrable because \(x\in D(A)\text{.}\) By dominated convergence,
Thus \(x\in D(G)\) and \(Gx=Ax\text{,}\) so \(A\subset G\text{.}\)
To compute the resolvent, fix \(\lambda>0\) and define
Since \(\|T(t)\|\le 1\text{,}\) this integral converges in operator norm and
Using the spectral theorem and Fubini's theorem,
Since \(\mu\le 0\) and \(\lambda>0\text{,}\) we have \(\lambda-\mu>0\text{,}\) so
Therefore
It follows that
This is the Hille--Yosida resolvent estimate in the self-adjoint case.
Since the generator \(G\) has resolvent \((\lambda I-A)^{-1}\) for every \(\lambda>0\text{,}\) we conclude that \(G=A\text{.}\) Thus \(A\) generates the strongly continuous contraction semigroup \(e^{tA}\text{.}\)
Conversely, assume that \(A\) is self-adjoint and satisfies
Because \(A\) is self-adjoint,
If there were some \(\mu_0>0\) in \(\sigma(A)\text{,}\) then taking \(\lambda\) close to \(\mu_0\) from the resolvent set side would force \(\|(\lambda I-A)^{-1}\|\) to be arbitrarily large, contradicting the estimate \(\|(\lambda I-A)^{-1}\|\le 1/\lambda\text{.}\) Hence
so \(A\le 0\text{.}\)
Applying the first part of the proof, \(A\) generates the contraction semigroup \(T(t)=e^{tA}\text{.}\) This proves the equivalence.
Theorem 9.6.3. Self-adjoint operators generate strongly continuous unitary groups.
Let \(H\) be a Hilbert space, and let \(A\) be a self-adjoint operator on \(H\text{.}\) Then the family of operators
is a strongly continuous unitary group on \(H\text{.}\)
Proof.
Since \(A\) is self-adjoint, the spectral theorem gives a projection-valued measure \(E\) on \(\mathbb R\) such that
For each \(t\in\mathbb R\text{,}\) define
Because \(|e^{it\lambda}|=1\) for every \(\lambda\in\mathbb R\text{,}\) the functional calculus implies that \(U(t)\) is bounded and
Also,
Therefore
Similarly, \(U(t)U(t)^*=I\text{,}\) so \(U(t)\) is unitary.
The multiplicative property of the functional calculus gives
Also \(U(0)=I\text{.}\) Hence \(\{U(t)\}_{t\in\mathbb R}\) is a unitary group.
It remains to prove strong continuity. Fix \(x\in H\text{,}\) and define the finite measure
Then
As \(t\to s\text{,}\) the integrand converges pointwise to zero. Moreover,
Since \(\mu_x(\mathbb R)=\|x\|^2<\infty\text{,}\) dominated convergence yields
Thus \(t\mapsto U(t)x\) is continuous for every \(x\in H\text{,}\) and the group is strongly continuous.
Remark 9.6.4.
This argument proves the Hille--Yosida theorem only in the self-adjoint Hilbert-space case. The full Banach-space Hille--Yosida theorem requires different methods, such as Yosida approximants, and does not follow directly from the spectral theorem.
