Strongly Continuous Semigroups of Operators — Mathematics Knowledge System

Overview

A strongly continuous (C0) semigroup is a family of bounded operators {T(t)}_{t>=0} on a Banach space X satisfying T(0)=I, T(s+t)=T(s)T(t), and strong continuity at zero: ||T(t)x - x|| -> 0 as t -> 0 for each x. Semigroup theory provides the abstract framework for solving linear evolution equations du/dt = Au, where A is the infinitesimal generator of the semigroup. The Hille-Yosida theorem gives a complete characterisation of which operators A generate C0-semigroups.

Intuition

Think of heat diffusion: the temperature at time t is T(t)f_0 where f_0 is the initial temperature and T(t) is the heat semigroup. As t increases, the heat spreads and smooths. The semigroup property T(s+t) = T(s)T(t) says evolving for s hours then t hours gives the same result as evolving for s+t hours. The generator A = lim_{t->0} (T(t)-I)/t captures the instantaneous rate of change -- for the heat equation, A is the Laplacian.

Formal Definition

Definition

A C0-semigroup on a Banach space X is a map T: [0,infty) -> B(X) satisfying: (i) T(0) = I; (ii) T(s+t) = T(s)T(t) for all s,t >= 0; (iii) lim_{t->0^+} T(t)x = x for all x in X. The infinitesimal generator is the operator A with domain D(A) = {x in X : lim_{t->0} (T(t)x-x)/t exists} and Ax = lim_{t->0} (T(t)x-x)/t. The Hille-Yosida theorem characterises generators: A generates a C0-semigroup of contractions iff A is closed, densely defined, and (0,infty) subset rho(A) with ||(lambda I - A)^{-1}|| <= 1/lambda for lambda > 0.

T(s+t) = T(s)T(t), \quad T(0) = I

Semigroup property

Ax = \lim_{t \to 0^+} \frac{T(t)x - x}{t}, \quad x \in D(A)

Infinitesimal generator

\|T(t)\| \le M e^{\omega t}, \quad t \ge 0

Growth bound

\|(\lambda I - A)^{-1}\| \le \frac{M}{\lambda - \omega}, \quad \lambda > \omega

Hille-Yosida resolvent estimate

Notation

Notation	Meaning
$\{T(t)\}_{t \ge 0}$	C0-semigroup of operators
$A$	Infinitesimal generator of the semigroup
$D(A)$	Domain of the generator A
$\omega_0$	Growth bound: inf{omega : \|\|T(t)\|\| <= M exp(omega t)}

Theorems

Theorem 11.1: Hille-Yosida Generation Theorem

A linear operator A: D(A) -> X is the generator of a C0-semigroup {T(t)} satisfying ||T(t)|| <= M exp(omega t) if and only if: (i) A is closed and D(A) is dense in X; (ii) every lambda > omega belongs to the resolvent set rho(A); (iii) ||(lambda I - A)^{-n}|| <= M / (lambda - omega)^n for all n >= 1 and lambda > omega.

Theorem 11.2: Contraction Semigroup Characterisation

A densely defined closed operator A generates a C0-semigroup of contractions (||T(t)|| <= 1 for all t >= 0) if and only if (0, infty) subset rho(A) and ||(lambda I - A)^{-1}|| <= 1/lambda for all lambda > 0.

Theorem 11.3: Abstract Cauchy Problem

Let A be the generator of a C0-semigroup {T(t)}. For any x_0 in D(A), the function u(t) = T(t)x_0 is the unique classical solution of du/dt = Au(t), u(0) = x_0, and u is continuously differentiable with u(t) in D(A) for all t >= 0.

Theorem 11.4: Lumer-Phillips Theorem

A densely defined operator A on a Hilbert space H generates a C0-semigroup of contractions if and only if A is dissipative (Re<Ax,x> <= 0 for all x in D(A)) and (I - A) has dense range.

Worked Examples

1
The semigroup property follows from the convolution structure and the fact that convolving Gaussians gives Gaussians:
$T(s) * T(t) = T(s+t) \text{ via Gaussian convolution identity}$
2
Strong continuity at 0: by Young's inequality and dominated convergence, ||T(t)f - f||_{L^2} -> 0 for f in L^2.
3
The generator is the Laplacian:
$Af = \Delta f, \quad D(A) = H^2(\mathbb{R}^d)$
4
This follows from computing the Fourier transform: T(t) corresponds to multiplication by exp(-4 pi^2 |xi|^2 t), whose derivative at t=0 is -4 pi^2 |xi|^2, corresponding to Delta.

✓ Answer

The heat semigroup is a C0-semigroup on L^2(R^d) with generator equal to the Laplacian on H^2(R^d).

Practice Problems

Hardproof writing

Prove that the infinitesimal generator A of a C0-semigroup is always a closed operator.

Mediumfree response

Explain the difference between a C0-semigroup and a uniformly continuous semigroup. When is a C0-semigroup uniformly continuous?

MediumMultiple choice

Which condition is NOT required by the Hille-Yosida theorem for A to generate a contraction C0-semigroup?

A is closedD(A) is dense in X||(lambda I - A)^{-1}|| <= 1/lambda for all lambda > 0A is self-adjoint

Common Mistakes

Common Mistake

Assuming the generator of a C0-semigroup is always bounded.

The generator is bounded if and only if the semigroup is uniformly continuous. For most PDEs (heat, wave, Schrodinger), the generator is an unbounded differential operator.

Common Mistake

Confusing the semigroup growth bound with the spectral bound of the generator.

The growth bound omega_0 and the spectral bound s(A) = sup{Re lambda : lambda in sigma(A)} satisfy s(A) <= omega_0 but equality need not hold for C0-semigroups. This spectral determined growth assumption fails in general.

Quiz

The infinitesimal generator of a C0-semigroup {T(t)} is defined as:

A = T(1)Ax = lim_{t->0} (T(t)x - x)/tA = integral_0^1 T(t) dtA = T'(0) in operator norm

The abstract Cauchy problem du/dt = Au with generator A has solution:

u(t) = exp(t) A x_0u(t) = T(t) x_0u(t) = A^t x_0u(t) = integral_0^t T(s) x_0 ds

Historical Background

The theory of operator semigroups was developed primarily in the 1940s and 1950s. Einar Hille and Kosaku Yosida independently proved the fundamental generation theorem in 1948, which now bears both their names. Nathan Dunford and Jacob Schwartz systematised the theory in their monumental treatise. The connection to partial differential equations and quantum mechanics drove rapid development through the 1960s and 1970s, with Tosio Kato making major contributions to perturbation theory.

1948
Hille and Yosida independently prove the generation theorem for C0-semigroups
Einar Hille, Kosaku Yosida
1957
Phillips extends the theory and studies adjoint semigroups
Ralph Phillips
1966
Kato's book on perturbation theory for linear operators unifies the field
Tosio Kato
1980s
Van Neerven, Nagel, and others develop the qualitative theory of semigroups
Rainer Nagel

Summary

A C0-semigroup satisfies the semigroup law T(s+t)=T(s)T(t), T(0)=I, and strong continuity at zero.
The infinitesimal generator A is Ax = lim_{t->0} (T(t)x - x)/t with domain D(A).
The abstract Cauchy problem du/dt = Au is solved by u(t) = T(t)x_0 for x_0 in D(A).
Hille-Yosida characterises generators: A must be closed, densely defined, with resolvent bounds ||(lambda-A)^{-n}|| <= M/(lambda-omega)^n.
The Lumer-Phillips theorem provides a convenient criterion via dissipativity for contraction semigroups on Hilbert spaces.

References

BookPazy, A. — Semigroups of Linear Operators and Applications to Partial Differential Equations, Springer, 1983
BookEngel, K.-J. & Nagel, R. — One-Parameter Semigroups for Linear Evolution Equations, Springer, 2000
WebsiteWikipedia: C0-semigroup