Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-319/1/a/solution
Past exam of the mathematics course of the University of Cambridge 2022 iii Paper 319 1 a Solution by
Codex 0 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
New to topics? Read the docs here!