Operator Semigroups and Evolution Equations

Motivation: Abstract Solution of Evolution Equations

The heat conduction equation $du/dt = \Delta u$, the Schrödinger equation $i\hbar\partial\psi/\partial t = H\psi$, diffusion equations—all have the form $du/dt = Au$. The solution—“exponential of an operator”: $u(t) = e^{tA}u_0$. Semigroup theory makes this idea rigorous and gives criteria for the existence of $e^{tA}$ for unbounded operators $A$.

C₀-operator semigroups

C₀-semigroup: a family ${T(t)}_{t\geq0}$ of bounded operators $X\rightarrow X$:

$T(0) = I$.
$T(t+s) = T(t)T(s)$ — semigroup property.
$\lim_{t\to0^+} |T(t)x - x| = 0$ for all $x \in X$ — strong continuity.

Infinitesimal generator: $Ax = \lim_{h\to0^+} (T(h)x - x)/h$. $D(A) = {x : \text{limit exists}}$ — domain of the generator.

Examples:

Heat semigroup: $T(t)f = f * G(\cdot, t)$, generator $A = \Delta$.
Shift: $T(t)f(x) = f(x-ct)$, generator $A = -c \frac{d}{dx}$.
Schrödinger equation: $T(t) = e^{-itH/\hbar}$ — unitary group, generator $-iH/\hbar$.

Hille–Yosida Theorem

Theorem: $A$ is the generator of a $C_0$-semigroup with $|T(t)| \leq Me^{\omega t}$ $\iff$:

$A$ is closed, $D(A)$ is dense in $X$.
For $\lambda > \omega$: $(\lambda I - A)^{-1}$ exists and $|(\lambda I - A)^{-n}| \leq M/(\lambda - \omega)^n$.

Special case (contractive semigroups): $|T(t)| \leq 1$ ($M=1$, $\omega=0$) $\iff$ $A$ is a dissipative operator: $\mathrm{Re}\langle Ax, x\rangle \leq 0$.

Application: Heat Equation

Cauchy problem: $\partial u/\partial t = \Delta u$ ($t > 0,\ x\in \mathbb{R}^n$), $u(x,0) = u_0(x)$.

Through Fourier: $\hat{u}(k,t) = e^{-t|k|^2}\hat{u}_0(k)$. Inverse: $u = G(\cdot, t) * u_0$, $G(x, t) = (4\pi t)^{-n/2}e^{-|x|^2/(4t)}$.

As $t \to 0$: $G(\cdot, t) \to \delta$ (Dirac delta function). As $t \to \infty$: $u(x, t) \to 0$ (diffusion smooths out initial data).

Numerical Example

Problem: Solve $\partial u/\partial t = \partial^2 u/\partial x^2$ on $[0, \pi]$ with $u(0, t) = u(\pi, t) = 0$ and $u(x, 0) = \sin(x) + (1/3)\sin(3x)$.

Step 1. Eigenfunctions from the previous article: $\phi_n(x) = \sin(nx)$, $\lambda_n = n^2$. $T(t)\phi_n = e^{-n^2t}\phi_n$.

Step 2. Expand: $u_0 = \phi_1 + (1/3)\phi_3$.

Step 3. Solution: $u(x, t) = e^{-t}\sin(x) + (1/3)e^{-9t}\sin(3x)$.

Step 4. At $t = 0$: $e^0\sin(x) + (1/3)e^0\sin(3x) = \sin(x) + (1/3)\sin(3x)$ ✓. At $t = 0.5$: $e^{-0.5} \approx 0.607$, $(1/3)e^{-4.5} \approx 0.0037$. The third harmonic has almost vanished (attenuation $e^{-9t}$ much stronger than $e^{-t}$).

Step 5. Check: $\partial u/\partial t = -e^{-t}\sin(x) - 3e^{-9t}\sin(3x)$. $\partial^2 u/\partial x^2 = -e^{-t}\sin(x) - (1/3)\cdot 9 \cdot e^{-9t}\sin(3x) = -e^{-t}\sin(x) - 3e^{-9t}\sin(3x)$ ✓.

Step 6. Physical interpretation: high-frequency (large $n$) harmonics decay faster ($e^{-n^2t}$): heat “levels out” more rapidly on small scales.

Real-world Application

Financial mathematics: the Black–Scholes formula for option price is derived from the heat equation (after change of variables). Operator semigroup is the conditional expectation operator $E[\cdot|F_t]$ for a Markov process. Markov property: $E[E[\cdot|F_t]|F_s] = E[\cdot|F_s]$ for $s \leq t$ — this is the semigroup property $T(t)T(s) = T(t+s)$.

Additional Aspects

Operator semigroups ${T(t)}{t\geq0}$ with $T(0) = I$ and $T(t+s) = T(t)T(s)$ describe the evolution of autonomous linear systems over time. The generator $A = \lim{t\to0+}(T(t) - I)/t$ is typically an unbounded closed operator; the Cauchy problem $\partial u/\partial t = Au,\ u(0) = u_0$ has solution $u(t) = T(t)u_0$. The Hille–Yosida theorem characterizes which operators generate strongly continuous semigroups ($C_0$-semigroups), via resolvent estimates. This theory is a common language for the heat equation (Gauss–Weierstrass semigroup), Schrödinger equation (unitary semigroup $e^{-itH}$), stochastic processes (Markov semigroups), and numerical methods for their approximation (Crank–Nicolson schemes, exponential integrators).

Connection with Other Areas of Mathematics

The approach via $C_0$-semigroups naturally connects functional analysis and classical differential equation theory. Formulations like “Laplace operator with zero boundary conditions on $L^2$” translate boundary value problems for partial differential equations into operator problems in Hilbert spaces. The Lax–Milgram theorem and spectral theorem for self-adjoint operators provide descriptions of generators for self-adjoint diffusion semigroups.

From an algebraic viewpoint, an operator semigroup is a representation of the topological semigroup $[0, \infty)$ in a Banach space. The notions of ideals, minimal invariant subspaces, primitive idempotents, developed in semigroup theory (Rees, Clifford, Preston), manifest as structures of stable regimes and attractors. For Markov semigroups, this is connected to ergodic theory: the Doeblin and Frobenius–Perron theorems describe stationary measures via spectral properties of the generator.

In probability theory, Markov semigroups and transition generators underlie the analytic description of processes: the Khintchine–Levy theorem links infinitely divisible distributions with convolution semigroups, and the Feller–Dynkin theorem describes the correspondence between Markov semigroups and processes with right-continuous trajectories. The Kolmogorov forward and backward equations arise as abstract evolution equations with generators.

Topology enters via the conceptual apparatus of strong and weak continuity, compactness of orbits, and properties of the spectrum as a compact set in the complex plane. The results of Riesz and Nagy on spectral measures for unitary operators provide the description of evolution in quantum mechanics.

Numerical methods rely on the Chernoff and Trotter–Kato theorems: approximation of semigroups by products of simpler operators, justifying splitting schemes by directions and physical processes (advection/diffusion/reaction). Exponential integrators for ODEs, in the theory of J. Kaufman and Hochstrasser, implement in practice the computation of $e^{tA}$ via rational approximations and Krylov-type expansions.

Historical Note and Development of the Idea

The roots of operator semigroups trace back to the works of F. Riesz and J. von Neumann in the 1920s–1930s on linear operators and spectral theory (von Neumann’s monograph “Mathematische Grundlagen der Quantenmechanik,” 1932). Already then, unitary groups $e^{-itH}$ were used to describe quantum evolution. The actual semigroup approach to evolution equations took shape in the mid-20th century. E. Hille in the book “Functional Analysis and Semi-Groups” (AMS, 1948, together with R. Phillips in the second edition, 1957) systematized the representation of solutions via operator semigroups. Independently, K. Yosida, in a series of articles in Annals of Mathematics and the monograph “Functional Analysis” (first edition 1958), gave the generator criterion now called the Hille–Yosida theorem. Motivating problems were heat conduction, diffusion equation, linear theory of elasticity, and linear hydrodynamics. In the 1950s–1960s, F. Kato developed the theory of evolution equations with time-dependent operator (evolution families instead of semigroups), which enabled the study of non-autonomous processes. In parallel, the stochastic branch developed: works by V.