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 2022 iii Paper 319 1 e Solution 2026-09-28
The familyinherits the identity, semigroup property, and strong continuity from , whileIts difference quotient satisfiesfor . Conversely, existence of this limit implies existence of the generator limit for , so andThis is the exponentially shifted semigroup construction.
The Hille-Yosida theorem in the uniformly bounded case says that a linear operator on a Banach space generates a C0-semigroup with if and only if:
- is a closed linear operator whose domain is a dense subset of the Banach space;
- ;
- for every and integer ,
Past exam of the mathematics course of the University of Cambridge 2022 iii Paper 319 1 f Solution 2026-09-28
A solution operator for a nonautonomous evolution equation is an evolution family satisfyingand, on a suitable common domain ,
One applicable nonautonomous generation theorem is the following. Suppose is a dense linear subspace of , each has domain , the family is a stable family of semigroup generators with constants , and is continuously differentiable as a map from to , where carries one of the uniformly equivalent graph norms. Then there is a unique evolution family such that:
- is continuous for every and ;
- , with a uniform bound on as an operator on ;
- for , both displayed differential equations hold in .
For the uniform partition , the frozen-generator product approximation isAs , in the norm of for every , uniformly for in the compact time triangle . This is convergence in the strong operator topology, rather than convergence in the operator norm.
It remains to verify the second differential equation. The evolution family law gives, for ,Divide by . Since ,while strong continuity gives . ThereforeThe left derivative follows in the same way, so is differentiable.
Past exam of the mathematics course of the University of Cambridge 2022 iii Paper 319 1 g Solution 2026-09-28
Under the Fourier transform, the operator is the Fourier multiplier operatorIts symbol is purely imaginary because is real. Consequently is skew-adjoint on with common domain and generates the strongly continuous unitary groupThe Plancherel theorem gives , so every . Products of the frozen groups are also unitary; hence this is a stable family of semigroup generators with constants .
For ,Since , the map is continuously differentiable from to . All hypotheses from part f are satisfied, so an evolution family exists on every finite interval .
In this commuting Fourier multiplier operator example the solution operator can also be written explicitly:Its multiplier has absolute value one, directly confirming strong continuity, the evolution family law, preservation of , and the required derivatives. The equation combines the dispersive Airy equation with a time-dependent linear transport equation.
Past exam of the mathematics course of the University of Cambridge 2022 iii Paper 319 1 h Solution 2026-09-28
Let and define the map suggested by the variation-of-constants formula:The strong continuity of the evolution family and the continuity of imply that maps into itself. Because is unitary and ,
Equip with the exponentially weighted supremum normThis equivalent norm makes a Banach space. Using that is a globally Lipschitz function and that the unitary operator preserves the norm,Choose . Then is a contraction mapping, so the Banach fixed-point theorem gives a unique fixed point . This fixed point is exactly the required mild solution of an abstract Cauchy problem:The weighted-norm argument works on the whole prescribed finite interval, so no subdivision of is needed.