Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/ii/paper-2/34b/solution

If and , differentiation and the Lax equation give , so after projection onto the normalized eigenfunction for a nondegenerate eigenvalue.
For ,
The compatibility is precisely . If all coefficients are -independent, this becomes , and cyclicity of trace gives .

New to topics? Read the docs here!