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 d Solution 2026-09-28
For , the semigroup property givesHence andThe generator domain is therefore an invariant subspace, and the operator norm bound givesThusMoreover, strong continuity applied separately to and givesTherefore the restrictions form the semigroup restricted to its generator domain. Its derivative at zero exists in the graph norm exactly when and , namely when , and then the derivative is . Hence its generator is
Past exam of the mathematics course of the University of Cambridge 2023 iii Paper 319 1 a Solution 2026-09-28
A C0-semigroup on a Banach space is a family such thatfor every . Its infinitesimal generator of a semigroup iswith generator domain