An evolution equation asks how a state changes with time. In finite dimensions this usually leads to an ordinary differential equation on $\mathbb R^n$; in analysis the state may instead be a function, a distribution, or a vector in an infinite-dimensional space. The abstract Cauchy problem is the language that lets us treat many differential equations, partial differential equations, and operator evolution equations as one problem on a [Banach space](/page/Banach%20Space).

The main shift is conceptual: the time derivative remains a derivative in one real variable, while all spatial structure is placed inside an operator $A$. For the [heat equation](/page/Heat%20Equation), $A$ may be the Laplacian with boundary conditions; for a transport equation, $A$ may be a first-order differential operator; for a system of linear ODEs, $A$ is a matrix. This abstraction separates the evolution mechanism from the specific representation of the state.

A strongly continuous semigroup, also called a $C_0$-semigroup, is a family $(T(t))_{t\ge 0}$ of bounded linear operators on $X$ such that $T(0)=I$, $T(t+s)=T(t)T(s)$ for $s,t\ge 0$, and $\|T(t)x-x\|_X\to 0$ as $t\downarrow 0$ for each $x\in X$. It represents the finite-time evolution associated with an infinitesimal operator.

The concept is central to strongly continuous semigroups, generators, the spectrum of an operator, and well-posedness. It also gives a precise way to distinguish classical solutions, which satisfy the equation pointwise in the Banach space, from mild solutions, which are obtained by integrating the evolution law.

## Definition

The initial-value problem becomes abstract only after the ambient space and the operator are specified. The state space records what kind of objects are evolving, while the operator records the spatial or structural rule that drives the evolution. This first definition isolates the simplest autonomous linear problem, where the future is determined by one fixed operator and one initial state.

### Linear and Inhomogeneous Forms

The linear homogeneous problem is the reference case because it isolates the role of the operator without external forcing. Once this case is fixed, the inhomogeneous version adds a source term without changing the underlying state space.

[definition: Linear Abstract Cauchy Problem] Let $X$ be a Banach space over $\mathbb K$, where $\mathbb K$ is either $\mathbb R$ or $\mathbb C$. Let $A: D(A) \subset X \to X$ be a linear operator with domain $D(A)$, let $u_0 \in X$, and let $u: [0,\infty) \to X$ be the unknown solution curve. The homogeneous linear abstract Cauchy problem associated to $(A,u_0)$ is \begin{align*} \frac{du}{dt}(t) = Au(t), \qquad t > 0. \end{align*} The initial condition is \begin{align*} u(0) = u_0. \end{align*} [/definition]

Here $u$ is not a scalar function in general. It is a curve in the Banach space $X$, so the derivative $du/dt$ is a norm derivative in $X$. When $A$ is unbounded, the condition $Au(t)$ only makes sense when $u(t) \in D(A)$, which is why solution concepts matter.

Before the domain subtleties appear, the bounded-operator case shows the shape of the abstraction. It is the Banach-space analogue of the matrix equation $\dot{x}=Ax$, and it is the model against which the unbounded theory is compared.

### Bounded Operator Model

Here $\mathcal L(X)$ denotes the Banach algebra of bounded linear operators from $X$ to itself, equipped with the operator norm $\|\cdot\|_{\mathcal L(X)}$.

[example: Bounded Operator Model] Let $X$ be a Banach space, let $A \in \mathcal L(X)$, and fix $u_0 \in X$. Since $\|A^n u_0\|_X \le \|A\|_{\mathcal L(X)}^n\|u_0\|_X$, for every $t \ge 0$ we have \begin{align*} \left\|\frac{t^n A^n u_0}{n!}\right\|_X \le \frac{(t\|A\|_{\mathcal L(X)})^n}{n!}\|u_0\|_X. \end{align*} The scalar series $\sum_{n=0}^\infty (t\|A\|_{\mathcal L(X)})^n/n!$ converges, so the series \begin{align*} e^{tA}u_0=\sum_{n=0}^\infty \frac{t^n A^n u_0}{n!} \end{align*} converges absolutely in $X$. On each interval $0 \le t \le T$, the same estimate with $T$ in place of $t$ gives [uniform convergence](/page/Uniform%20Convergence). Define $u(t)=e^{tA}u_0$. Differentiating the partial sums gives \begin{align*} \frac{d}{dt}\sum_{n=0}^N \frac{t^n A^n u_0}{n!}=\sum_{n=1}^N \frac{n t^{n-1}A^n u_0}{n!}. \end{align*} For $n \ge 1$, \begin{align*} \frac{n t^{n-1}A^n u_0}{n!}=\frac{t^{n-1}A^n u_0}{(n-1)!}. \end{align*} Hence the derivative series is \begin{align*} \sum_{n=1}^\infty \frac{t^{n-1}A^n u_0}{(n-1)!}. \end{align*} On $0 \le t \le T$ its terms satisfy \begin{align*} \left\|\frac{t^{n-1}A^n u_0}{(n-1)!}\right\|_X \le \|A\|_{\mathcal L(X)}\frac{(T\|A\|_{\mathcal L(X)})^{n-1}}{(n-1)!}\|u_0\|_X, \end{align*} so this derivative series also converges uniformly on compact time intervals. Therefore termwise differentiation is valid, and \begin{align*} u'(t)=\sum_{n=1}^\infty \frac{t^{n-1}A^n u_0}{(n-1)!}. \end{align*} Reindexing with $m=n-1$ gives \begin{align*} u'(t)=\sum_{m=0}^\infty \frac{t^m A^{m+1}u_0}{m!}. \end{align*} Because $A$ is bounded, it may be passed through the norm-convergent series: \begin{align*} Au(t)=A\sum_{m=0}^\infty \frac{t^m A^m u_0}{m!}=\sum_{m=0}^\infty \frac{t^m A^{m+1}u_0}{m!}. \end{align*} Thus $u'(t)=Au(t)$ for every $t \ge 0$. At $t=0$, \begin{align*} u(0)=\sum_{n=0}^\infty \frac{0^n A^n u_0}{n!}=u_0, \end{align*} where the $n=0$ term is $u_0$ and every term with $n \ge 1$ is $0$. Since $D(A)=X$ for a bounded operator $A \in \mathcal L(X)$, the curve $u(t)=e^{tA}u_0$ is a classical solution of the homogeneous abstract Cauchy problem. This is the Banach-space version of the matrix formula for $\dot{x}=Ax$. [/example]

Many physical and analytic models are not closed systems: heat may be injected, a force may act on a mechanical system, or a PDE may acquire a source term after boundary data are transformed. The abstract framework needs a version that records this external input without changing the role of $A$ as the internal evolution operator.

[definition: Inhomogeneous Abstract Cauchy Problem] Let $X$ be a Banach space over $\mathbb K$, let $A: D(A) \subset X \to X$ be a linear operator, let $u_0 \in X$, let $f: [0,\infty) \to X$ be a function, and let $u: [0,\infty) \to X$ be the unknown solution curve. The inhomogeneous linear abstract Cauchy problem associated to $(A,f,u_0)$ is \begin{align*} \frac{du}{dt}(t) = Au(t) + f(t), \qquad t > 0. \end{align*} The initial condition is \begin{align*} u(0) = u_0. \end{align*} [/definition]

The forcing term may represent heat sources, external forces, boundary data after lifting, or lower-order terms. Its regularity determines which solution concept is appropriate and how much time regularity the solution can have.

The most direct solution concept asks the equation to hold as an equality in $X$ for every positive time. This is the infinite-dimensional analogue of a differentiable solution of a linear ODE, and it is the correct notion when the evolving state stays in the domain of the operator.

### Classical and Mild Solutions

The first distinction is whether the differential equation is imposed pointwise in the Banach-space norm or recovered from an integrated evolution formula. This separates smooth data that remain in the operator domain from rough data that still evolve through a semigroup.