If generates a C0-semigroup satisfying , then for its resolvent operator is
Repeated differentiation gives .
The family
inherits the identity, semigroup property, and strong continuity from , while
Its difference quotient satisfies
for . Conversely, existence of this limit implies existence of the generator limit for , so and
This is the exponentially shifted semigroup construction.
The Hille-Yosida theorem in the uniformly bounded case says that a linear operator on a Banach space generates a C0-semigroup with if and only if:
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 .
Equip with its graph norm. The restrictions form a C0-semigroup on this Banach space; its generator is restricted to .