Semigroup theory provides an abstract framework for evolution equations by treating u_t = Au as an "ODE in a Banach space," where A is an unbounded operator (like the Laplacian Δ). The solution operator S(t) = e^{tA} forms a strongly continuous semigroup: S(0) = I, S(t+s) = S(t)S(s), and S(t)u₀ → u₀ as t → 0⁺. The Hille-Yosida theorem characterizes which operators A generate such semigroups, providing an abstract existence and uniqueness theory for linear evolution equations. This framework unifies the heat equation, wave equation, Schrodinger equation, and many other evolution problems.
Semigroup theory recasts evolution PDEs as abstract initial value problems in function spaces, leveraging the analogy with finite-dimensional ODEs. The heat equation u_t = Δu on a domain Ω, viewed as an equation in X = L²(Ω), becomes du/dt = Au where A = Δ is an unbounded operator on X. The "solution" S(t) = e^{tA} is an operator-valued function of time that takes initial data u₀ to the solution u(t) = S(t)u₀. The semigroup property S(t+s) = S(t)S(s) reflects the autonomy and well-posedness of the equation.
The Hille-Yosida theorem provides necessary and sufficient conditions for an operator A to generate a C₀ semigroup. In its simplest form: a densely defined, closed operator A on a Banach space X generates a contraction semigroup (||S(t)|| ≤ 1) if and only if for every λ > 0, the resolvent (λI - A)⁻¹ exists, maps X to D(A), and ||(λI - A)⁻¹|| ≤ 1/λ. Verifying these conditions for the Laplacian on a bounded domain is a standard exercise using the Lax-Milgram theorem: the resolvent estimate follows from coercivity of the form a(u,v) + λ(u,v).
Different types of PDEs generate different types of semigroups. The heat equation generates an analytic semigroup—S(t) extends to complex t in a sector, and S(t) maps L² into D(A^k) for any k when t > 0, reflecting instantaneous smoothing. The wave equation generates a group (defined for t ∈ ℝ, not just t ≥ 0), reflecting time-reversibility and energy conservation. The Schrodinger equation generates a unitary group, preserving the L² norm. These different semigroup types correspond to the elliptic, parabolic, and hyperbolic character of the spatial operator.
The abstract framework makes perturbation theory natural. If A generates a semigroup and B is a "small" perturbation (bounded, or relatively bounded with small bound), then A + B also generates a semigroup. This handles variable coefficients and lower-order terms systematically. For nonlinear equations u_t = Au + F(u), the variation of constants formula u(t) = S(t)u₀ + ∫₀ᵗ S(t-s)F(u(s))ds defines mild solutions, and fixed-point arguments (Banach, Schauder) give local existence. Semigroup theory thus provides a unified framework that encompasses the heat equation, Navier-Stokes equations, reaction-diffusion systems, and many other evolution problems within a single coherent theory.
No topics depend on this one yet.