 Zero-curvature condition

For ${\Phi }_x+U\Phi =0$ and ${\Phi }_y+V\Phi =0$, compatibility is $V_x-U_y+[U,V]=0$.

For the auxiliary equations ${\psi }_x=U\psi$ and ${\psi }_t=V\psi$, equality of mixed derivatives gives $U_t-V_x+[U,V]=0$. This is the compatibility condition for a Lax pair.