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, andThe 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]
https://deleo.website/FunctionalAnalysis/section-57.html. Theorem9.7.1; that source uses the opposite sign convention for the resolvent
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.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 8 1 Solution Created 2026-10-03 Updated 2026-10-14
A strongly continuous semigroup on the complex Banach space is a family with , and as for every . Its semigroup generator is the linear operatorFor , boundedness of and the semigroup identity giveThus semigroup commutation with its unbounded generator meansThere 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 integralStrong continuity gives a continuous integrand, and its norm is bounded by , so the integral exists andChanging variables in yieldsAfter subtracting and dividing by , the limit is . ConsequentlyFor , integrate the derivative of over . Its limit at infinity is zero by the contraction bound, and its value at zero is . ThereforeThus 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 giveIts 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 .
Past exam of the mathematics course of the University of Cambridge 2022 iii Paper 319 1 a Solution 2026-09-28
The infinitesimal generator of a semigroup is the linear operatorwith generator domainFor example, the Bochner integralbelongs 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 givesAfter division by , strong continuity makes the right side converge to as . Hence and , so is closed.
For , define the Bochner integralIt converges absolutely becauseIntegrating the semigroup difference quotient shows that and . The same computation for gives . Thus the Laplace-transform formula for a semigroup resolvent proves
Past exam of the mathematics course of the University of Cambridge 2022 iii Paper 319 1 b Solution Created 2026-09-28 Updated 2026-10-20
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,ThereforeFor real , the integral triangle inequality and the gamma integral giveConsequentlyThe 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 giveInterchanging 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.