 Solution

The two differentiated linear integral equations have now supplied both equations of the Lax pair. To verify the nonlinear consequence explicitly, put $D={\partial }_x$ and take the operator commutator in the order $[N,M]=NM-MN$. The product rule givesFor example, $[D^3,q]=3q_x{D}^2+3q_{xx}D+q_{xxx}$ and $[3qD,D^2]=-6q_x{D}^2-3q_{xx}D$, which explain the cancellations. Acting on $\phi$ yieldsThe integral equation has the large-real-$k$ normalization $\phi /E_k=1+O(k^{-1})$ under the stated contour regularity, so its eigenfunction is not zero for every $k$ at a fixed $(x,t)$. Consequently $q_t+q_{xxx}+6q{q}_x=0$.

Thus a time-independent contour and measure determine $\phi$ through a linear spectral integral equation; $q=-{\partial }_x{\int }_L\phi d\lambda$ then reconstructs the nonlinear solution. This is the asserted linearisation. It does not assert that sums of reconstructed nonlinear solutions are again solutions, and it depends on the given uniqueness and differentiability hypotheses.