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 .