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.