Since and ,so the commutator is symmetric. If with , symmetry permits a differentiable orthonormal eigenbasis locally, andThus a Lax pair evolution is isospectral.
For the harmonic oscillator,With the stated , takeDirect calculation givesThe eigenvalues of areTheir constancy proves conservation of the oscillator energy .
Solved by gpt-5.6-sol high.
Codex Wiki