Use the rapidly decaying real-potential normalization . Let , and . Expanding the commutator cancels its derivative terms and gives
Thus the KdV equation is the compatibility condition of the Lax pair , . The operator is skew-adjoint on decaying functions. Its evolution transports normalized eigenfunctions unitarily, so the spectrum of is fixed; alternatively differentiating and using the two equations gives .
At each time solve the KdV Schrodinger spectral problem. For , use the left Jost solution , normalized as at , and write at . The right reflection coefficient is , and transmission is . Because tends to at infinity, maintaining this Jost normalization gives . Substitution of its two asymptotic waves yields and . The negative discrete eigenvalues are , fixed in time. A unit-normalized bound state with right tail obeys . Consequently the Time evolution of KdV scattering data is
These signs follow from the specified right-reflection convention; reversing which infinity defines reflection reverses the continuous-data phase convention.
The inverse scattering transform now solves the nonlinear evolution in three steps. Compute , the discrete eigenvalues and the norming constants from ; evolve this KdV scattering data by the simple formulas above; reconstruct by the Gelfand-Levitan-Marchenko equation. Explicitly set
and solve, for ,
The recovered potential is . Each fixed discrete eigenvalue produces a soliton component, whereas the continuous scattering data encode the dispersive part. The inverse transform, rather than a linear superposition of the potentials, accounts for their nonlinear interaction.
The Korteweg-De Vries equation is the compatibility condition for the Lax pair
For rapidly decaying initial data, first solve the direct KdV Schrodinger spectral problem
Comparing its Jost solutions at the two spatial infinities produces the KdV scattering data: the reflection coefficient on the continuous spectrum, discrete eigenvalues , and norming amplitudes for the bound states.
The Lax evolution is isospectral. More precisely, the Time evolution of KdV scattering data is
This is the simple linear evolution that makes the nonlinear initial-value problem tractable.
To invert the data, form
Solve the Gelfand-Levitan-Marchenko equation
and reconstruct
Direct scattering at , linear evolution of the data, and this inverse step constitute the inverse scattering transform.
The spectral equation is
This is the KdV Schrodinger spectral problem. Differentiating it with respect to gives
For
a direct differentiation, followed by substitution of the two preceding identities, yields
Therefore
Comparison with gives
This is the reusable KdV Schrodinger spectral problem Wronskian identity.
Now take to satisfy the Korteweg-De Vries equation and , where . Both and its derivative decay at infinity, as does , so integration of over the real line gives
The normalization was used in the last equality. Hence
which is the Isospectrality of the KdV discrete spectrum.
With the KdV equation and , the Wronskian identity says
Decay at infinity makes the constant zero. Thus between zeros, and continuation across the isolated zeros gives
Multiplying by and integrating,
The first integral is zero by differentiating the normalization. Integration by parts turns the last integral into , so
To evaluate this, differentiate in and use it to write
Its integral is by decay. Hence
As , rapid decay of and , together with
reduces to
Since is constant,
as stated by the Evolution of a KdV discrete norming constant.