Skip to content

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 u(x,t)u(x,t) be a real smooth solution of

ut+6uux+uxxx=0,x∈R.u_t+6u u_x+u_{xxx}=0,\qquad x\in\mathbb R.

Assume rapid spatial decay of uu, 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

M=∫Ru dx,P=∫Ru2 dx,E=∫R(u3−12ux2)dx.\begin{aligned} M&=\int_{\mathbb R}u\,dx,\\ P&=\int_{\mathbb R}u^2\,dx,\\ E&=\int_{\mathbb R}\left(u^3-\frac12u_x^2\right)dx. \end{aligned}

The names M,P,EM,P,E are labels for these precise formulas; factors and signs vary across sources. In particular EE 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 w=6uw=6u, his I2(w)=∫(w3/3−wx2)dxI_2(w)=\int(w^3/3-w_x^2)dx equals 72E72E.

Is ∫abuuxxx dx\int_a^b u u_{xxx}\,dx zero for every smooth uu?

Repair. One integration by parts followed by the product rule gives

∫abuuxxx dx=[uuxx−12ux2]ab.\int_a^b u u_{xxx}\,dx =\left[u u_{xx}-\frac12u_x^2\right]_a^b.

The bracket means the value at bb minus the value at aa. 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.

Write the PDE as

ut=−∂x(3u2+uxx).u_t=-\partial_x(3u^2+u_{xx}).

Integrating over [a,b][a,b] gives

ddt∫abu dx=−[3u2+uxx]ab.\frac{d}{dt}\int_a^b u\,dx =-\left[3u^2+u_{xx}\right]_a^b.

Sending both endpoints to infinity under the stated decay assumptions proves M˙=0\dot M=0.

For the quadratic integral, use the entry-check identity:

ddt∫abu2 dx=−12∫abu2ux dx−2∫abuuxxx dx=−[4u3+2uuxx−ux2]ab.\begin{aligned} \frac{d}{dt}\int_a^b u^2\,dx &=-12\int_a^b u^2u_x\,dx-2\int_a^b uu_{xxx}\,dx\\ &=-\left[4u^3+2u u_{xx}-u_x^2\right]_a^b. \end{aligned}

Again the full-line boundary terms vanish, proving P˙=0\dot P=0. 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

G=3u2+uxx.G=3u^2+u_{xx}.

Since ut=−Gxu_t=-G_x, differentiating EE and integrating its derivative term by parts yields

E˙=∫R(3u2ut−uxuxt) dx=∫R(3u2+uxx)ut dx=−∫RGGx dx=−12[G2]−∞∞=0.\begin{aligned} \dot E &=\int_{\mathbb R}(3u^2u_t-u_xu_{xt})\,dx\\ &=\int_{\mathbb R}(3u^2+u_{xx})u_t\,dx\\ &=-\int_{\mathbb R}GG_x\,dx =-\frac12[G^2]_{-\infty}^{\infty}=0. \end{aligned}

At the second equality, the omitted term is −[uxut]−∞∞-[u_xu_t]_{-\infty}^{\infty}, which also vanishes. The argument depends on the whole expression GG; dropping either its nonlinear or derivative term destroys the cancellation.

For u=2κ2sech⁡2zu=2\kappa^2\operatorname{sech}^2 z, where z=κ(x−4κ2t−x0)z=\kappa(x-4\kappa^2t-x_0), use dx=dz/κdx=dz/\kappa and y=tanh⁡zy=\tanh z. Then dy=sech⁡2z dzdy=\operatorname{sech}^2z\,dz, and

∫Rsech⁡2z dz=2,∫Rsech⁡4z dz=∫−11(1−y2) dy=43,∫Rsech⁡6z dz=∫−11(1−y2)2 dy=1615.\begin{aligned} \int_{\mathbb R}\operatorname{sech}^2z\,dz&=2,\\ \int_{\mathbb R}\operatorname{sech}^4z\,dz&=\int_{-1}^{1}(1-y^2)\,dy=\frac43,\\ \int_{\mathbb R}\operatorname{sech}^6z\,dz&=\int_{-1}^{1}(1-y^2)^2\,dy=\frac{16}{15}. \end{aligned}

Consequently

M=4κ,P=163κ3.M=4\kappa,\qquad P=\frac{16}{3}\kappa^3.

The first integral from the travelling-wave ODE gives ux2=4κ2u2−2u3u_x^2=4\kappa^2u^2-2u^3. Therefore

∫Ru3dx=12815κ5,∫Rux2dx=6415κ5,E=325κ5.\begin{aligned} \int_{\mathbb R}u^3dx&=\frac{128}{15}\kappa^5,\\ \int_{\mathbb R}u_x^2dx&=\frac{64}{15}\kappa^5,\\ E&=\frac{32}{5}\kappa^5. \end{aligned}

For the worked pulse with κ=1/2\kappa=1/2, these become M=2M=2, P=2/3P=2/3 and E=1/5E=1/5. None depends on tt or x0x_0. Their scaling dimensions, respectively ℓ−1,ℓ−3,ℓ−5\ell^{-1},\ell^{-3},\ell^{-5}, agree with the powers of κ\kappa.

A translated profile U(x−wt)U(x-wt) has the same values of every translation-invariant spatial integral for any speed ww. The preceding lesson showed that the KdV residual is nonzero when w≠4κ2w\ne4\kappa^2. 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.

Guided practice: recover the missing gradient integral

Section titled “Guided practice: recover the missing gradient integral”

For the soliton, use ux2=4κ2u2−2u3u_x^2=4\kappa^2u^2-2u^3 and the two stated integrals to derive ∫ux2dx\int u_x^2dx and EE. Check the numerical values for κ=1\kappa=1.

Hint

Keep a common denominator of 1515. The cubic part of EE is reduced by half the gradient integral.

Solution

Directly,

∫ux2dx=4κ2163κ3−212815κ5=6415κ5.\int u_x^2dx =4\kappa^2\frac{16}{3}\kappa^3 -2\frac{128}{15}\kappa^5 =\frac{64}{15}\kappa^5.

Hence E=(128/15−32/15)κ5=32κ5/5E=(128/15-32/15)\kappa^5=32\kappa^5/5. At κ=1\kappa=1 the gradient integral is 64/1564/15 and E=32/5E=32/5. Both are positive for this pulse; the general functional EE 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 Q(t)=∫Rxu(x,t)dxQ(t)=\int_{\mathbb R}xu(x,t)dx to exist. Prove Q˙=3P\dot Q=3P. For a pulse with M≠0M\ne0, calculate the speed of its centroid X=Q/MX=Q/M and compare it with the travelling-wave result.

Hint

Integrate −∫x∂x(3u2+uxx)dx-\int x\partial_x(3u^2+u_{xx})dx by parts. The remaining integral of uxxu_{xx} is another boundary term.

Solution

The weighted boundary term vanishes by assumption, so

Q˙=∫R(3u2+uxx)dx=3P.\dot Q=\int_{\mathbb R}(3u^2+u_{xx})dx=3P.

Since M˙=0\dot M=0, X˙=3P/M\dot X=3P/M. For the soliton this equals

X˙=3(16κ3/3)4κ=4κ2.\dot X=\frac{3(16\kappa^3/3)}{4\kappa}=4\kappa^2.

Unlike unweighted invariant drift, this relation detects translating the pulse at an incorrect speed. For a sign-changing field with M=0M=0 the centroid quotient is undefined, even though the identity for QQ can remain valid.

The pulse U(x−vt)U(x-vt) crosses a fixed window [a,b][a,b]. Show from its travelling-wave ODE that

ddt∫abu dx=v[u(a,t)−u(b,t)].\frac{d}{dt}\int_a^b u\,dx=v[u(a,t)-u(b,t)].

Does a changing window integral demonstrate failure of mass conservation?

Hint

The ODE says 3u2+uxx=vu3u^2+u_{xx}=vu. Insert this in the finite-window flux formula.

Solution

The boundary formula gives M˙[a,b]=−[vu]ab=v(u(a,t)−u(b,t))\dot M_{[a,b]}=-[vu]_a^b=v(u(a,t)-u(b,t)). If a right-moving pulse is entering through aa, its entering flux can exceed the flux leaving through bb, 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.

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.

  • 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.