Solitons and orbital stability
Construct a focusing cubic standing wave, identify its phase-and-translation orbit, and state the exact one-dimensional energy-space stability setting.
On this page
The question for today
What you’ll understand
- Verify the sech standing-wave family for focusing cubic NLS on R.
- Define orbital stability in H¹ modulo phase and translation.
- Explain constrained energy minimization and why stationarity alone is insufficient for stability.
A soliton is a localized coherent structure whose nonlinear self-interaction balances dispersion. Its position and phase can change without changing the shape or conserved quantities. Stability must therefore compare a perturbed solution with a symmetry orbit rather than with one fixed complex-valued function. The one-dimensional focusing cubic equation provides an explicit model where the profile, its mass, and its constrained energy can all be computed, while the stability theorem still requires a compactness argument beyond solving the profile equation.
A standing wave solves a nonlinear profile equation
Fix the whole-line focusing cubic convention i u_t plus u_xx plus |u|²u equals zero. Substitute u(t,x)=exp(i omega t)Q(x), with omega positive and Q real and decaying. The profile equation is minus Q double prime plus omega Q minus Q cubed equals zero. The positive localized solution is square root of twice omega times sech of square root of omega times x. Phase multiplication and spatial translation give further profiles, and Galilean symmetry generates traveling waves with an additional spatial phase factor.
Direct differentiation verifies the profile without implying anything about perturbations. Its height is square root of twice omega and its width scale is one over square root of omega. Integrating sech squared gives mass four times square root of omega. Thus changing omega changes the mass and width; it is not merely a translation or phase change within the fixed-frequency orbit. This distinction matters because the variational argument minimizes energy at a prescribed mass rather than comparing arbitrary frequencies as if the constraint stayed fixed.
Measure distance to the symmetry orbit
For fixed omega, the orbit consists of exp(i theta)Q_omega(x−y), with arbitrary real phase and translation. Orbital H¹ stability means that for every positive error tolerance there is an initial-distance tolerance such that any H¹ datum within that distance of the orbit generates a global solution remaining within the error tolerance of the orbit for all times. The optimizing phase and center may depend on time. This is the standard stable ground-state setting for one-dimensional focusing cubic NLS, with perturbations on the same whole line.
The conclusion is weaker than asymptotic stability, which would require a specified long-time convergence or radiation decomposition. It also does not assert that a fixed absolute phase or fixed center is stable without adjustment. Nearby solutions can carry small velocity and drift. Higher-dimensional perturbations of a one-dimensional wave introduce a different transverse-stability problem, and other powers may lie in mass-critical or supercritical regimes with instability. The theorem stated here should not be transferred to those settings merely because they also have a sech-like or localized profile.
A minimizer needs compactness modulo translation
The variational route fixes positive mass m and minimizes the focusing cubic energy over H¹ profiles of that mass. A sharp Gagliardo–Nirenberg inequality bounds the negative quartic term by a fixed mass factor times the gradient norm, so energy is bounded below on the constraint. The minimizers are the translated, phase-rotated Q family with matching mass. Their energy is minus m cubed over ninety-six under the current normalization. This is a constrained minimum; the unconstrained energy is not being claimed globally positive.
To turn minimization into orbital stability, a near-minimizing sequence must be compact after translations and phases. On the unbounded line, ordinary compactness fails because a profile can drift to infinity. Concentration-compactness rules out the incompatible vanishing and splitting scenarios in this subcritical ground-state problem. Conservation of mass and energy then prevents a nearby evolving solution from leaving the minimizing orbit by a fixed amount. This paragraph describes the proof mechanism, not a full compactness proof. A critical point of the energy under a constraint can also be a saddle, so the profile equation alone cannot replace minimization and compactness.
Work it through
Calculate one profile and its constraint
For omega=4, compute the height, width scale, mass, and energy of Q_omega. Compare its mass with the omega=1 profile and check the constrained-minimum value.
The profile is sqrt(8) sech(2x), giving height 2sqrt(2) and width scale one half. Its mass is 4sqrt(4)=8, compared with mass four at omega one.
The gradient integral is (4/3)omega^(3/2) and the quartic integral is (16/3)omega^(3/2). At omega four these are 32/3 and 128/3 respectively, so energy is 16/3−32/3=−16/3.
At mass eight, the constrained minimum formula gives −8³/96=−16/3, agreeing with the direct integrals. Phase rotation or translation leaves both values unchanged, whereas changing omega changes the mass constraint.
The omega-four wave belongs to the mass-eight minimizing orbit. Its negative energy is compatible with orbital stability because the relevant comparison is at fixed mass.
The living notebook
Explore the model
Interactive lab · function
Stationarity alone does not identify a minimum
Pause and reset, then set both controls to coefficient a = 1 and position x = 0.5. Predict value 0.25 and slope 1, and inspect the upward-curving graph with stationary point at zero. For a fresh comparison, pause and reset, then set a = −1 and x = 0.5; predict value −0.25 and slope −1, with a stationary maximum at zero. Both graphs have zero first derivative at the origin. This quadratic instrument does not represent the constrained NLS energy, a soliton profile, or concentration-compactness; it isolates the logical gap between a stationary equation and a stability-producing minimum.
- y at chosen x
- 0.608
- Tangent slope · 2ax
- 1.35
- Signed area · ax³/3
- 0.182
This lab uses only y = ax². Playback traces the curve within the fixed integration interval from 0 to x; it does not estimate numerical error or change the chosen point. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.
Look forA profile's first-variation equation is only the start; stability needs the correct constrained energy geometry and compactness.
Pause & reason
Check your understanding
Your turn
Try it yourself
A member of the cubic ground-state family has mass twelve. Find omega, height, width scale, and energy. Does multiplying it by i and translating its center to x=3 change these conserved values?
Take a moment to make a prediction or work it out on paper. Open a hint when you need one.
Give me a hint
Solve 4sqrt(omega)=12 before inserting the frequency into the remaining formulas.
Compare with the solution
The frequency is omega=9. Height is sqrt(18)=3sqrt(2), width scale is one third, and energy is −(2/3)·9^(3/2)=−18. Multiplication by i is a constant phase rotation and translation merely changes the integration variable, so mass and energy stay twelve and minus eighteen. Those changes remain within the same orbital family. This calculation does not establish asymptotic stability or identify a perturbation's eventual center and phase.
Keep the idea
Take it with you
- The focusing cubic ground-state profile and its invariants depend on an explicit normalization and frequency.
- Orbital stability measures distance modulo symmetry in a specified dimension and function space.
- Constrained minimization plus compactness supports stability; stationarity by itself does not.
Read further
Original sources and deeper explanations to follow at your own pace.
Optional progress, saved in this browser when available. Revisit any lesson at any time.
Lesson not marked complete.