Codex Wiki OurBigBook logoOurBigBook.comSite Source code
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 .
Solved by gpt-5.6-sol high.

Ancestors (10)

  1. 34B
  2. Paper 2
  3. Ii
  4. 2026
  5. Past exam of the mathematics course of the University of Cambridge
  6. Mathematics course of the University of Cambridge
  7. Course of the University of Cambridge
  8. University of Cambridge
  9. List of universities
  10. Home