Hille-Yosida theorem Created 2026-09-28 Updated 2026-11-05
Let be a Banach space, , and . A linear operator generates a C0-semigroup with exactly when is closed, is dense, every real belongs to the resolvent set, and
The same constant must work for every power. When , the first-power bound implies all the power bounds by submultiplicativity. For general , multiplying first-power bounds gives , which is insufficient.[ref]
Necessity follows from the Laplace-transform formula for a semigroup resolvent:
The Bochner integral is bounded by . Sufficiency constructs the semigroup from bounded Yosida approximations, using all the resolvent-power estimates for a common growth bound. For and , this characterizes generators of contraction semigroups, providing a route from an unbounded differential linear operator to a well-posed time evolution.
A strongly continuous semigroup on the complex Banach space is a family with , and as for every . Its semigroup generator is the linear operator
For , boundedness of and the semigroup identity give
Thus semigroup commutation with its unbounded generator means
There is no assertion that is defined on every vector. The orbit is differentiable on this domain, with .
A contraction semigroup additionally satisfies for every . For , define the Bochner integral
Strong continuity gives a continuous integrand, and its norm is bounded by , so the integral exists and
Changing variables in yields
After subtracting and dividing by , the limit is . Consequently
For , integrate the derivative of over . Its limit at infinity is zero by the contraction bound, and its value at zero is . Therefore
Thus this is also the Laplace-transform formula for a semigroup resolvent, with .
To prove that is a closed operator, suppose , and . Fix one with positive real part. The identity just proved and boundedness of give
Its range lies in , and applying shows . Thus the graph is closed. Linearity follows directly from linearity of the defining difference quotient, so is a closed linear operator.
The closedness conclusion also holds without the contraction assumption. For a general strongly continuous semigroup, the Uniform boundedness principle gives a uniform operator bound on each compact time interval. Integrating the generator-orbit identity gives . Under and , pass to the limit to obtain . Divide by and let ; strong continuity makes the right side converge to , so and .
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
The Laplace-transform formula for a semigroup resolvent is locally uniformly convergent in the half-plane , so it may be differentiated under the Bochner integral:
The resolvent identity gives and, by mathematical induction,
Therefore
For real , the integral triangle inequality and the gamma integral give
Consequently
The exponent printed in the question is a typographical error: already at it contradicts the first-resolvent bound.
Let be the underlying Banach space. By the Laplace-transform formula for a semigroup resolvent,
These are Bochner integrals, defined for every and . The contraction semigroup bound and semigroup property give
Interchanging and regrouping these Bochner integrals is justified by the integrable bound , whose integral is . For , set and evaluate the inner scalar integral:
Since was arbitrary, the resolvent identity follows:
For , both sides vanish, so that case holds as well.
Yosida approximation 2026-10-25
For a contraction semigroup with semigroup generator , the bounded operators approximate on its generator domain. The Laplace-transform formula for a semigroup resolvent and strong continuity give for every vector : split into a short interval and an exponentially small tail. For , integration by parts gives , so . No operator norm convergence of is implied.