A solution operator for a nonautonomous evolution equation is an evolution family satisfying
and, 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 is
As , 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 . Therefore
The left derivative follows in the same way, so is differentiable.