Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-319/1/a/solution

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

New to topics? Read the docs here!