Solution

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

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 norm
This 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.

New to topics? Read the docs here!