Skip to content

Explain a KdV soliton through two constructions

Can two very different constructions describe exactly the same wave? In this project you obtain a KdV pulse first from a nonlinear ordinary differential equation and then from a linear integral equation with one exponential kernel. Matching the two identifies what the bound-state eigenvalue determines, what its norming data add, and what a numerical evolution can verify.

Required background. Be able to derive the travelling-wave profile, calculate its conserved integrals, and solve the rank-one reconstruction. The convergence laboratory supplies the executable comparison; you can complete the analytic part without Python.

One positive pulse, two mathematical descriptions

Section titled “One positive pulse, two mathematical descriptions”

Work with real smooth rapidly decaying fields on the line and

ut+6uux+uxxx=0.u_t+6uu_x+u_{xxx}=0.

The target solution has two parameters: inverse width κ>0\kappa\gt0 and initial center x0∈Rx_0\in\mathbb R. Its complete formula is

u(x,t)=2κ2sech⁡2 ⁣[κ(x−4κ2t−x0)].u(x,t)=2\kappa^2\operatorname{sech}^2 \!\left[\kappa(x-4\kappa^2t-x_0)\right].

Your task is to obtain this formula by both routes, identify their common data and explain which parts of the argument apply only to this reflectionless one-bound-state family. The Library derivation gives the differential-expression and scattering calculations behind the construction.

Route one: reduce the nonlinear wave equation

Section titled “Route one: reduce the nonlinear wave equation”

Set u(x,t)=U(ξ)u(x,t)=U(\xi) with ξ=x−vt−x0\xi=x-vt-x_0. Decay of UU and its derivatives makes the integration constant vanish:

−vU′+6UU′+U′′′=0⟹U′′=vU−3U2.-vU'+6UU'+U'''=0 \quad\Longrightarrow\quad U''=vU-3U^2.

Multiplying by 2U′2U' and integrating again gives

(U′)2=vU2−2U3.(U')^2=vU^2-2U^3.

A positive pulse has a nonzero turning point U=v/2U=v/2, so v>0v\gt0. Write v=4κ2v=4\kappa^2. Direct substitution then yields U=2κ2sech⁡2(κξ)U=2\kappa^2\operatorname{sech}^2(\kappa\xi), with the center absorbing the translation constant. This computation fixes amplitude, speed and width together; they cannot be chosen independently.

For a direct PDE check, use

U′′=4κ2U−3U2,U′′′=4κ2U′−6UU′,ut=−4κ2U′.U''=4\kappa^2U-3U^2,\qquad U'''=4\kappa^2U'-6UU',\qquad u_t=-4\kappa^2U'.

Their sum in the KdV equation is zero. This is an exact check of the claimed pulse, not a numerical residual. Decaying travelling waves and their speed–amplitude relation are treated by Lax 1968, report pp. 2–3, equations (1.5)–(1.8), PDF; his field is w=6uw=6u.

Route two: reconstruct from one exponential

Section titled “Route two: reconstruct from one exponential”

Use the Schrödinger operator L=−∂x2−uL=-\partial_x^2-u and reflectionless data with one bound-state eigenvalue −κ2-\kappa^2. For y≥xy\geq x at each fixed time, the right-end reconstruction convention is

K(x,y,t)+F(x+y,t)+∫x∞K(x,z,t)F(z+y,t) dz=0,F(s,t)=c(t)e−κs,c(t)>0,u(x,t)=2ddxK(x,x,t).\begin{aligned} K(x,y,t)+F(x+y,t) &+\int_x^\infty K(x,z,t)F(z+y,t)\,dz=0,\\ F(s,t)&=c(t)e^{-\kappa s},\qquad c(t)\gt0,\\ u(x,t)&=2\frac{d}{dx}K(x,x,t). \end{aligned}

The derivative in the last line is the total derivative along the diagonal. The sign is tied to L=−∂x2−uL=-\partial_x^2-u. In Aktosun 2009, § VIII, equations (8.1)–(8.3), the Schrödinger potential is q=−uq=-u, and its reconstruction has the opposite sign.

Try K(x,y,t)=−A(x,t)e−κyK(x,y,t)=-A(x,t)e^{-\kappa y}. Since the remaining integral is elementary,

A=c e−κx1+c2κe−2κx,K(x,x,t)=−c e−2κx1+c2κe−2κx.A=\frac{c\,e^{-\kappa x}} {1+\dfrac{c}{2\kappa}e^{-2\kappa x}}, \qquad K(x,x,t)=\frac{-c\,e^{-2\kappa x}} {1+\dfrac{c}{2\kappa}e^{-2\kappa x}}.

Define the positive scalar r=c e−2κx/(2κ)r=c\,e^{-2\kappa x}/(2\kappa). Differentiating K(x,x,t)=−2κr/(1+r)K(x,x,t)=-2\kappa r/(1+r) gives

u(x,t)=8κ2r(1+r)2.u(x,t)=\frac{8\kappa^2r}{(1+r)^2}.

The norming coefficient evolves as c(t)=c0e8κ3tc(t)=c_0e^{8\kappa^3t} in this convention; see Aktosun 2009, § VII, equation (7.9). Match it to the center by choosing

c0=2κe2κx0.c_0=2\kappa e^{2\kappa x_0}.

Then r=e−2κ(x−4κ2t−x0)r=e^{-2\kappa(x-4\kappa^2t-x_0)}. The identity

sech⁡2z=4e−2z(1+e−2z)2\operatorname{sech}^2 z=\frac{4e^{-2z}}{(1+e^{-2z})^2}

recovers exactly the travelling wave from the first route.

For the computational example, κ=1\kappa=1 and x0=−2x_0=-2. The initial spectral data are the bound-state eigenvalue −1-1, zero reflection coefficient, and c0=2e−4c_0=2e^{-4}. At t=1t=1, c=2e4c=2e^4 and the center is 22.

QuantityTravelling-wave descriptionScattering description
Amplitude and width2κ22\kappa^2 and inverse width κ\kappaBound-state eigenvalue −κ2-\kappa^2
Speed4κ24\kappa^2Exponential growth rate 8κ38\kappa^3 of c(t)c(t)
Initial locationx0x_0c0=2κe2κx0c_0=2\kappa e^{2\kappa x_0}
Radiation in this exampleAbsent from the exact profileReflection coefficient zero

The eigenvalue alone does not record position. Translating the pulse changes c0c_0 while leaving −κ2-\kappa^2 unchanged. Likewise, the three integrals

M=4κ,P=163κ3,E=325κ5M=4\kappa,\qquad P=\frac{16}{3}\kappa^3,\qquad E=\frac{32}{5}\kappa^5

contain no x0x_0. Recover these by substituting z=κ(x−4κ2t−x0)z=\kappa(x-4\kappa^2t-x_0) into their defining integrals. A list of invariants can be correct while missing information needed to reconstruct a particular solution.

Compare exact reasoning and executable evidence

Section titled “Compare exact reasoning and executable evidence”

The Python experiment, with its inputs, saved results, requirements and notes, performs checks that use different representations:

  • It evaluates the hyperbolic and rational reconstruction formulas for κ=0.5,1,1.3\kappa=0.5,1,1.3. Their largest discrepancy, normalized by the pulse height, is 3.94×10−163.94\times10^{-16}.
  • It finite-differences the total diagonal derivative of KK and compares 2dxK(x,x)2d_xK(x,x) with the pulse; the largest normalized discrepancy is 2.26×10−122.26\times10^{-12}.
  • It quadratures the Marchenko integral directly instead of substituting its closed value; the largest residual normalized by ∣F(x+y)∣|F(x+y)| is 1.74×10−131.74\times10^{-13}.
  • It quadratures M,P,EM,P,E on an interval extending twenty widths each side of the center; the largest relative discrepancy is 1.15×10−141.15\times10^{-14}.
  • It evolves the PDE by a separate periodic Fourier method and performs independent time, space and domain refinements. The resolved reference has relative final L2L^2 error 1.80×10−101.80\times10^{-10}.

The laboratory gives the run commands and error definitions. These computations check the implemented formulas and the declared finite-time approximation. Algebra establishes the equality of the two pulse constructions; numerical agreement neither proves a general inverse-scattering theorem nor treats an arbitrary initial profile.

For a useful contrast, translate the same pulse at the wrong speed. Its three line integrals remain correct, while its PDE residual and profile error are large. Include this failed example when explaining why a conservation plot alone cannot validate an evolution.

Guided: recover location from norming data

Section titled “Guided: recover location from norming data”

Let κ=1/2\kappa=1/2 and c0=e3c_0=e^3. Find the initial center, amplitude, speed and center at t=2t=2. Obtain the same final center from c(2)c(2).

Hint

Solve c0=2κe2κx0c_0=2\kappa e^{2\kappa x_0} for x0x_0. The center at any time is (2κ)−1log⁡[c(t)/(2κ)](2\kappa)^{-1}\log[c(t)/(2\kappa)].

Solution

Since 2κ=12\kappa=1, x0=3x_0=3. The amplitude is 1/21/2, the speed is 11, and the center at t=2t=2 is 55. The growth rate is 8κ3=18\kappa^3=1, so c(2)=e5c(2)=e^5; its logarithm again gives center 55. The eigenvalue remains −1/4-1/4 throughout.

A calculation uses 2∂xK(x,y)∣y=x2\partial_xK(x,y)|_{y=x} instead of 2dxK(x,x)2d_xK(x,x) to reconstruct the field. Show that the two operations differ, and calculate what the incorrect formula gives at the pulse center.

Hint

Use dxK(x,x)=Kx(x,x)+Ky(x,x)d_xK(x,x)=K_x(x,x)+K_y(x,x). At the center, r=1r=1 and K(x,x)=−κK(x,x)=-\kappa.

Solution

The kernel has Ky=−κKK_y=-\kappa K, so at the center Ky=κ2K_y=\kappa^2. The correct diagonal derivative is u/2=κ2u/2=\kappa^2, hence Kx=0K_x=0 there. The incorrect reconstruction gives zero where the true pulse reaches 2κ22\kappa^2. Both derivative labels can look plausible; specifying the diagonal path prevents the error.

Keep the same eigenvalue and positive c0c_0, but set c(t)=c0eαtc(t)=c_0e^{\alpha t} with arbitrary real α\alpha. Determine the reconstructed pulse speed and its KdV residual. Which value of α\alpha makes it a KdV solution, and why can the three conserved integrals not detect a wrong choice?

Hint

Read the center from rr, then substitute a travelling profile with speed v=α/(2κ)v=\alpha/(2\kappa) into the differential equation.

Solution

The reconstructed profile remains 2κ2sech⁡2[κ(x−vt−x0)]2\kappa^2\operatorname{sech}^2[\kappa(x-vt-x_0)], with v=α/(2κ)v=\alpha/(2\kappa). Its residual is (4κ2−v)ux(4\kappa^2-v)u_x. Thus α=8κ3\alpha=8\kappa^3 is required. Every other choice merely translates the same shape at a wrong speed, so integrals depending only on that shape still remain constant. Spectral data at one time must be paired with the correct time evolution.

Explain the result in your own calculation

Section titled “Explain the result in your own calculation”

Produce a short derivation containing both constructions, the mapping (κ,x0)↔(−κ2,c0)(\kappa,x_0)\leftrightarrow(-\kappa^2,c_0), one direct PDE check, and an interpretation of the independent refinements. Your explanation should identify the role of decay, the diagonal derivative, zero reflection and the finite periodic approximation. Then solve the transfer task without looking at its solution. That changed-setting calculation tests whether you understand the relation between reconstruction and evolution.

Continue with the two-soliton collision when you can match both one-pulse constructions. Its interaction term shows why adding two separately translated solutions does not solve the nonlinear equation.

  • Aktosun, Tuncay. “Inverse Scattering Transform and the Theory of Solitons.” In Encyclopedia of Complexity and Systems Science, Springer, 2009, pp. 4960–4971. DOI. Author version arXiv:0905.4746v1, HTML. Section and equation locators refer to that version.
  • Lax, Peter D. “Integrals of Nonlinear Equations of Evolution and Solitary Waves.” Communications on Pure and Applied Mathematics 21(5), 467–490 (1968). DOI. Open report PDF. The cited page numbers are the report’s printed labels.