<!-- NOTATION PROPOSAL: For $C_0$-semigroups, we use $\{T(t)\}_{t \ge 0}$ for the semigroup family, $A$ for the infinitesimal generator, and $D(A)$ for its domain. The notation $T(t) \in \mathcal{L}(X)$ follows the existing bounded-operator standard. Analytic semigroups in a sector $\Sigma_\delta = \{z \in \mathbb{C} \setminus \{0\} : |\arg z| < \delta\}$ need the sector notation which is new to the notation guide. -->

## Semigroup Theory

Consider the heat equation on a bounded domain $U \subset \mathbb{R}^n$ with Dirichlet boundary conditions:

\begin{align*} \partial_t u - \Delta u &= 0 \quad \text{in } U \times (0, \infty) \\ u &= 0 \quad \text{on } \partial U \times (0, \infty) \\ u(\cdot, 0) &= g \quad \text{in } U. \end{align*}

A classical student's first instinct is to seek an explicit formula — and indeed, for the heat equation on all of $\mathbb{R}^n$, one can write $u(x, t) = (K_t * g)(x)$ where $K_t$ is the heat kernel. But what happens when the domain is curved, the boundary conditions are complex, or the operator is not the Laplacian but some other second-order elliptic operator $L$? The explicit formula breaks down, and we are left with a question: is there a framework that treats the evolution $g \mapsto u(\cdot, t)$ as a coherent family of operators, parameterized by time, without requiring an explicit kernel?

This is precisely what the theory of $C_0$-semigroups provides. Instead of asking for $u(x, t)$ directly, we ask: what is the map $t \mapsto u(\cdot, t)$ as a curve in a Banach space $X$? If we write $u(t) := u(\cdot, t) \in X$ for a suitable function space $X$ (say $X = L^2(U)$ or $X = C(\bar{U})$), then the heat equation becomes the abstract ordinary differential equation

\begin{align*} \frac{d}{dt} u(t) &= Au(t), \quad t > 0 \\ u(0) &= g, \end{align*}

where $A = \Delta$ acts as a (unbounded) operator on $X$. The "solution" should then be $u(t) = e^{tA} g$ in some sense — and the entire theory of $C_0$-semigroups is the rigorous construction of this exponential map for operators that may be unbounded, such as differential operators on function spaces.

The payoff is enormous: once we understand the abstract framework, we can treat not just the heat equation but also the wave equation, Schrödinger's equation, linear transport equations, and a host of other evolution equations in a unified way. The generator $A$ of the semigroup encodes the PDE, the domain $D(A)$ encodes the boundary conditions, and the semigroup $\{T(t)\}_{t \ge 0}$ encodes time evolution. The celebrated Hille-Yosida theorem then tells us exactly which operators $A$ can arise as generators — turning the existence theory for evolution equations into a spectral question about $A$.

[example: The Heat Semigroup on $L^2$] To fix ideas, consider $X = L^2(U)$ where $U \subset \mathbb{R}^n$ is a bounded open set with smooth boundary, and let $A = \Delta$ with domain $D(A) = H^2(U) \cap H^1_0(U)$. The spectral theorem for the Laplacian guarantees a sequence of eigenfunctions $\{e_k\}_{k=1}^\infty$ (normalized in $L^2(U)$) with eigenvalues $-\lambda_k < 0$ satisfying \begin{align*} -\Delta e_k &= \lambda_k e_k \quad \text{in } U \\ e_k &= 0 \quad \text{on } \partial U. \end{align*} For any $g \in L^2(U)$, write $g = \sum_{k=1}^\infty c_k e_k$ where $c_k = (g, e_k)_{L^2}$. The candidate semigroup is \begin{align*} T(t)g &:= \sum_{k=1}^\infty e^{-\lambda_k t} c_k e_k. \end{align*} This is well-defined in $L^2(U)$ for every $t \ge 0$, since $\|T(t)g\|_{L^2}^2 = \sum_{k=1}^\infty e^{-2\lambda_k t} c_k^2 \le \sum_{k=1}^\infty c_k^2 = \|g\|_{L^2}^2$. The family $\{T(t)\}_{t \ge 0}$ satisfies: - $T(0)g = g$ (take $t = 0$ in the series). - $T(s)T(t)g = T(s+t)g$ for all $s, t \ge 0$ (multiply the exponentials: $e^{-\lambda_k s} e^{-\lambda_k t} = e^{-\lambda_k(s+t)}$). - $\|T(t)g - g\|_{L^2}^2 = \sum_{k=1}^\infty (e^{-\lambda_k t} - 1)^2 c_k^2 \to 0$ as $t \to 0^+$ by dominated convergence (since $(e^{-\lambda_k t} - 1)^2 c_k^2 \le 4c_k^2$ and $\sum c_k^2 < \infty$). The family $\{T(t)\}_{t \ge 0}$ is a $C_0$-semigroup on $L^2(U)$, and its generator is precisely $A = \Delta$ with domain $D(A) = H^2(U) \cap H^1_0(U)$. [/example]

## Definition

The heat semigroup example reveals the algebraic and topological structure we want to axiomatize. We require: a consistent composition law (time additivity), a mild continuity at $t = 0$, and boundedness for each $t$.

[definition: Strongly Continuous One-Parameter Semigroup] Let $X$ be a Banach space. A **strongly continuous one-parameter semigroup** (or **$C_0$-semigroup**) on $X$ is a family of bounded linear operators $\{T(t)\}_{t \ge 0} \subset \mathcal{L}(X)$ satisfying: 1. (**Identity**) $T(0) = I$, the identity operator on $X$. 2. (**Semigroup law**) $T(s + t) = T(s) T(t)$ for all $s, t \ge 0$. 3. (**Strong continuity**) For every $x \in X$, the map \begin{align*} [0, \infty) &\to X \\ t &\mapsto T(t)x \end{align*} is continuous. [/definition]

The adjective "strongly continuous" refers to the topology on $X$, not on $\mathcal{L}(X)$. We require $\|T(t)x - T(0)x\|_X \to 0$ as $t \to 0^+$ for each fixed $x \in X$, but we do NOT require $\|T(t) - I\|_{\mathcal{L}(X)} \to 0$. This is a crucial distinction: differential operators like $\Delta$ are unbounded, and the operators $T(t) = e^{t\Delta}$ do not converge to $I$ in the operator norm as $t \to 0^+$. Strong continuity is the right assumption.

[remark: Uniform vs. Strong Continuity] If instead $\|T(t) - I\|_{\mathcal{L}(X)} \to 0$ as $t \to 0^+$, the semigroup is called **uniformly continuous**. By a theorem of Phillips, this happens if and only if the generator $A$ is a bounded operator — which rules out all differential operators. Every uniformly continuous semigroup is $C_0$, but the converse fails dramatically. [/remark]

The next step is to extract the "infinitesimal" information from the semigroup — the rate of change at $t = 0$. This is the generator, and it is the bridge back to the PDE.

[definition: Infinitesimal Generator] Let $\{T(t)\}_{t \ge 0}$ be a $C_0$-semigroup on a Banach space $X$. The **infinitesimal generator** of the semigroup is the operator $A: D(A) \subset X \to X$ defined by \begin{align*} Ax &:= \lim_{t \to 0^+} \frac{T(t)x - x}{t}, \end{align*} where the **domain** $D(A)$ consists of all $x \in X$ for which this limit exists in the norm topology of $X$. [/definition]

The domain $D(A)$ is not all of $X$ — this is what makes the theory nontrivial. For the heat semigroup, $D(A) = H^2(U) \cap H^1_0(U)$, a proper dense subset of $L^2(U)$. The generator is always a closed, densely defined operator, as the next fundamental result records.

[quotetheorem:3144]

The third part of this theorem is the abstract version of the PDE: the curve $t \mapsto T(t)x$ satisfies the abstract Cauchy problem $u'(t) = Au(t)$ in $X$.