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
The target solution has two parameters: inverse width and initial center . Its complete formula is
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 with . Decay of and its derivatives makes the integration constant vanish:
Multiplying by and integrating again gives
A positive pulse has a nonzero turning point , so . Write . Direct substitution then yields , 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
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 .
Route two: reconstruct from one exponential
Section titled “Route two: reconstruct from one exponential”Use the Schrödinger operator and reflectionless data with one bound-state eigenvalue . For at each fixed time, the right-end reconstruction convention is
The derivative in the last line is the total derivative along the diagonal. The sign is tied to . In Aktosun 2009, § VIII, equations (8.1)–(8.3), the Schrödinger potential is , and its reconstruction has the opposite sign.
Try . Since the remaining integral is elementary,
Define the positive scalar . Differentiating gives
The norming coefficient evolves as in this convention; see Aktosun 2009, § VII, equation (7.9). Match it to the center by choosing
Then . The identity
recovers exactly the travelling wave from the first route.
Match the parameters and the information
Section titled “Match the parameters and the information”For the computational example, and . The initial spectral data are the bound-state eigenvalue , zero reflection coefficient, and . At , and the center is .
| Quantity | Travelling-wave description | Scattering description |
|---|---|---|
| Amplitude and width | and inverse width | Bound-state eigenvalue |
| Speed | Exponential growth rate of | |
| Initial location | ||
| Radiation in this example | Absent from the exact profile | Reflection coefficient zero |
The eigenvalue alone does not record position. Translating the pulse changes while leaving unchanged. Likewise, the three integrals
contain no . Recover these by substituting 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 . Their largest discrepancy, normalized by the pulse height, is .
- It finite-differences the total diagonal derivative of and compares with the pulse; the largest normalized discrepancy is .
- It quadratures the Marchenko integral directly instead of substituting its closed value; the largest residual normalized by is .
- It quadratures on an interval extending twenty widths each side of the center; the largest relative discrepancy is .
- It evolves the PDE by a separate periodic Fourier method and performs independent time, space and domain refinements. The resolved reference has relative final error .
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.
Exercises
Section titled “Exercises”Guided: recover location from norming data
Section titled “Guided: recover location from norming data”
Let and . Find the initial center, amplitude, speed and center at . Obtain the same final center from .
Hint
Solve for . The center at any time is .
Solution
Since , . The amplitude is , the speed is , and the center at is . The growth rate is , so ; its logarithm again gives center . The eigenvalue remains throughout.
Independent: find the missing derivative
Section titled “Independent: find the missing derivative”
A calculation uses instead of to reconstruct the field. Show that the two operations differ, and calculate what the incorrect formula gives at the pulse center.
Hint
Use . At the center, and .
Solution
The kernel has , so at the center . The correct diagonal derivative is , hence there. The incorrect reconstruction gives zero where the true pulse reaches . Both derivative labels can look plausible; specifying the diagonal path prevents the error.
Transfer: change the norming evolution
Section titled “Transfer: change the norming evolution”
Keep the same eigenvalue and positive , but set with arbitrary real . Determine the reconstructed pulse speed and its KdV residual. Which value of makes it a KdV solution, and why can the three conserved integrals not detect a wrong choice?
Hint
Read the center from , then substitute a travelling profile with speed into the differential equation.
Solution
The reconstructed profile remains , with . Its residual is . Thus 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 , 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.
References
Section titled “References”- 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.