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
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 .