Verify KdV conservation laws
What stays fixed while a KdV wave changes shape? Three useful answers are the integral of the field, the integral of its square, and a cubic-gradient combination. You will derive their conservation by integration by parts, evaluate all three on a one-soliton solution, and identify the boundary flux that invalidates a careless finite-interval argument. These checks constrain a solution; they do not uniquely determine it.
Required background. Use the profile and derivative identity from Derive a KdV travelling wave. You need the product rule and integration by parts; the entry check below makes the endpoint term explicit.
Helpful background. The convention reference distinguishes normalized invariants from physical mass, momentum or energy in a particular application.
Three integrals of the decaying line problem
Section titled “Three integrals of the decaying line problem”Let be a real smooth solution of
Assume rapid spatial decay of , the derivatives used below, and sufficient uniform control on a finite time interval to differentiate under the integrals. Schwartz-class spatial profiles with smooth controlled time dependence are a sufficient setting for these calculations. Define
The names are labels for these precise formulas; factors and signs vary across sources. In particular is not a positive norm. The cubic-gradient conserved functional appears in Lax 1968, report pp. 24–26, equations (2.7)–(2.9), PDF. With his field , his equals .
Entry check and repair
Section titled “Entry check and repair”
Is zero for every smooth ?
Repair. One integration by parts followed by the product rule gives
The bracket means the value at minus the value at . It vanishes for the decaying line limit, or matching periodic derivatives over a full period. Smoothness on a finite interval alone does not make it vanish.
Conservation from fluxes
Section titled “Conservation from fluxes”Write the PDE as
Integrating over gives
Sending both endpoints to infinity under the stated decay assumptions proves .
For the quadratic integral, use the entry-check identity:
Again the full-line boundary terms vanish, proving . This derivation also supplies the flux you must retain when a pulse enters or leaves a numerical observation window.
The third integral is shorter if you first calculate its variation. Put
Since , differentiating and integrating its derivative term by parts yields
At the second equality, the omitted term is , which also vanishes. The argument depends on the whole expression ; dropping either its nonlinear or derivative term destroys the cancellation.
Evaluate the invariants on one soliton
Section titled “Evaluate the invariants on one soliton”For , where , use and . Then , and
Consequently
The first integral from the travelling-wave ODE gives . Therefore
For the worked pulse with , these become , and . None depends on or . Their scaling dimensions, respectively , agree with the powers of .
What invariant checks can miss
Section titled “What invariant checks can miss”A translated profile has the same values of every translation-invariant spatial integral for any speed . The preceding lesson showed that the KdV residual is nonzero when . Thus even perfect preservation of these three numbers cannot certify correct dynamics.
For numerical work, compare invariant drift with the error in the field itself, refine the discretization and track boundary effects independently. The convergence laboratory makes these distinctions executable. On a periodic domain the same integrations cancel between matched endpoints, but that is a periodic conservation statement, not evidence that a truncated pulse exactly solves the line problem.
Exercises
Section titled “Exercises”Guided practice: recover the missing gradient integral
Section titled “Guided practice: recover the missing gradient integral”
For the soliton, use and the two stated integrals to derive and . Check the numerical values for .
Hint
Keep a common denominator of . The cubic part of is reduced by half the gradient integral.
Solution
Directly,
Hence . At the gradient integral is and . Both are positive for this pulse; the general functional need not be.
Independent practice: a centroid that sees the speed
Section titled “Independent practice: a centroid that sees the speed”
Assume also enough weighted decay for to exist. Prove . For a pulse with , calculate the speed of its centroid and compare it with the travelling-wave result.
Hint
Integrate by parts. The remaining integral of is another boundary term.
Solution
The weighted boundary term vanishes by assumption, so
Since , . For the soliton this equals
Unlike unweighted invariant drift, this relation detects translating the pulse at an incorrect speed. For a sign-changing field with the centroid quotient is undefined, even though the identity for can remain valid.
Transfer: observe a finite window
Section titled “Transfer: observe a finite window”
The pulse crosses a fixed window . Show from its travelling-wave ODE that
Does a changing window integral demonstrate failure of mass conservation?
Hint
The ODE says . Insert this in the finite-window flux formula.
Solution
The boundary formula gives . If a right-moving pulse is entering through , its entering flux can exceed the flux leaving through , increasing the window integral. Conservation on the entire line is fully compatible with this change. Calling it numerical drift without accounting for flux confuses the observation region with the full system.
From conserved integrals to spectral data
Section titled “From conserved integrals to spectral data”You have proved three conservation laws under explicit decay assumptions and obtained an independent speed check. Next, relate the wave to auxiliary scattering: a linear spectral problem will encode the soliton’s width in a bound-state eigenvalue.
References
Section titled “References”- Lax, Peter D. Integrals of Nonlinear Equations of Evolution and Solitary Waves. Courant Institute report NYO-1480-87, January 1968. Open report PDF. Published version: Communications on Pure and Applied Mathematics 21, 467–490 (1968), DOI. Page and equation locators above refer to the report.