The infinitesimal generator of a semigroup is the linear operator
with generator domain
For example, the Bochner integral
belongs to for every and , since .
To prove that is a closed linear operator, suppose , , and . For vectors in the generator domain,
Passing to the limit in the Banach space gives
After division by , strong continuity makes the right side converge to as . Hence and , so is closed.
For , define the Bochner integral
It converges absolutely because
Integrating the semigroup difference quotient shows that and . The same computation for gives . Thus the Laplace-transform formula for a semigroup resolvent proves
For , the semigroup property gives
Hence and
The generator domain is therefore an invariant subspace, and the operator norm bound gives
Thus
Moreover, strong continuity applied separately to and gives
Therefore the restrictions form the semigroup restricted to its generator domain. Its derivative at zero exists in the graph norm exactly when and , namely when , and then the derivative is . Hence its generator is
A C0-semigroup on a Banach space is a family such that
for every . Its infinitesimal generator of a semigroup is
with generator domain
For and , write when generates a -semigroup satisfying . The Hille-Yosida theorem states that this holds exactly when is closed and densely defined,
and, for every real and every integer ,
The estimates for every resolvent power, rather than only , are essential when .