pith. sign in

arxiv: 2402.18316 · v4 · pith:7Z5DARAKnew · submitted 2024-02-28 · 🧮 math.AP

Stability and instability of the quasilinear Gross--Pitaevskii dark solitons

Erwan Le Quiniou This is my paper

Pith reviewed 2026-05-24 03:28 UTC · model grok-4.3

classification 🧮 math.AP
keywords quasilinear Gross-Pitaevskii equationdark solitonstraveling wavesVakhitov-Kolokolov criterionenergy-momentum diagramstability of solitonsnonvanishing boundary conditions
0
0 comments X

The pith

The Vakhitov-Kolokolov criterion continues to govern stability for dark solitons in the quasilinear Gross-Pitaevskii equation.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that the Vakhitov-Kolokolov stability criterion extends from the semilinear Gross-Pitaevskii equation to its quasilinear version with nonzero conditions at infinity. This extension is achieved by generalizing Lin's arguments, which allows the conclusion that the full branch of dark solitons remains stable for weak quasilinear interactions. When the quasilinear strength increases, a cusp forms in the energy-momentum diagram and this cusp marks the change from stable fast waves to unstable slow waves. A reader would care because the result identifies precisely where and why stability is lost as the model moves away from the classical semilinear case.

Core claim

In the quasilinear Gross-Pitaevskii equation with nonzero conditions at infinity, the branch of dark solitons indexed by speed satisfies the Vakhitov-Kolokolov stability criterion, proved by generalizing Lin's arguments for semilinear equations. For weak quasilinear interactions the entire branch is stable. For stronger interactions a cusp appears in the energy-momentum diagram, implying stability of fast waves and instability of slow waves.

What carries the argument

The energy-momentum diagram of the traveling-wave branch, whose cusp location together with the sign of the momentum derivative supplies the Vakhitov-Kolokolov stability threshold.

If this is right

  • The branch of dark solitons is stable for weak quasilinear interactions.
  • A cusp in the energy-momentum diagram separates the stable fast waves from the unstable slow waves when quasilinear interactions are stronger.
  • The sign of the derivative of momentum with respect to speed determines stability or instability along the entire branch.
  • Stability conclusions are obtained directly from the generalized Vakhitov-Kolokolov criterion without additional spectral analysis.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The stability transition at the cusp may occur in other quasilinear wave models that admit a similar energy-momentum relation.
  • Numerical continuation of the momentum curve for varying quasilinear coefficients would locate the critical strength at which the cusp first appears.
  • Time-dependent simulations initialized near slow solitons beyond the cusp could confirm the predicted linear instability growth.
  • If the generalization of Lin's arguments carries over, the same criterion may classify stability in related quasilinear equations with different nonlinearities.

Load-bearing premise

The technical arguments developed by Z. Lin for semilinear equations with nonvanishing conditions at infinity can be generalized to the quasilinear setting without new obstructions that would invalidate the VK criterion.

What would settle it

An explicit computation of the momentum derivative for a fixed quasilinear coefficient that fails to change sign exactly where the energy-momentum curve shows its cusp would falsify the applicability of the criterion.

Figures

Figures reproduced from arXiv: 2402.18316 by Erwan Le Quiniou.

Figure 1
Figure 1. Figure 1: Left panel depicts in grey the energy-momentum diagram of dark solitons [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Left panel depicts the energy-momentum diagram of the dark soliton [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
read the original abstract

We study a quasilinear Schr\"odinger equation with nonzero conditions at infinity. In previous works, we obtained a continuous branch of traveling waves, given by dark solitons indexed by their speed. Neglecting the quasilinear term, one recovers the Gross--Pitaevskii equation, for which the branch of dark solitons is stable. Moreover, Z.~Lin showed that the Vakhitov--Kolokolov~(VK) stability criterion (in terms of the momentum of solitons) holds for general semilinear equations with nonvanishing conditions at infinity. In the quasilinear case, we prove that the VK stability criterion still applies, by generalizing Lin's arguments. Therefore, we deduce that the branch of dark solitons is stable for weak quasilinear interactions. For stronger quasilinear interactions, a cusp appears in the energy-momentum diagram, implying the stability of fast waves and the instability of slow waves.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper studies traveling waves (dark solitons) for a quasilinear Schrödinger equation with nonzero conditions at infinity. Building on prior existence results for a continuous branch indexed by speed, it generalizes Z. Lin's spectral/variational arguments to show that the Vakhitov-Kolokolov (VK) criterion (sign of dP/dc) continues to govern orbital stability. For weak quasilinear coefficients the entire branch is stable; for stronger coefficients a cusp appears in the energy-momentum diagram, implying stability of fast waves and instability of slow waves.

Significance. If the claimed generalization of Lin's arguments holds, the work supplies a concrete stability criterion for a class of quasilinear models that appear in superfluid and nonlinear-optics contexts. The identification of the cusp and the resulting change in stability is a clear, falsifiable prediction that extends the semilinear theory in a structurally interesting way.

major comments (2)
  1. [Section on spectral analysis / generalization of Lin's method] The central claim rests on the assertion that Lin's arguments for the sign-of-dP/dc criterion extend verbatim to the quasilinear setting. The manuscript must exhibit the precise modifications to the linearized operator, the essential spectrum, and any boundary terms arising from the quasilinear coefficient; without these explicit verifications the applicability of the VK criterion remains unconfirmed.
  2. [Section on energy-momentum diagram] The appearance of the cusp and the consequent stability switch are load-bearing for the strong-interaction regime. The location of the cusp (value of the quasilinear parameter at which dP/dc changes sign) and the numerical or analytic confirmation that the sign change indeed occurs should be stated with a precise statement of the energy-momentum functional.
minor comments (2)
  1. [Abstract and Introduction] Notation for the quasilinear coefficient and the momentum functional P should be introduced once and used consistently; several passages in the abstract and introduction use slightly different symbols.
  2. [Main theorem statement] The statement that the branch is 'stable for weak quasilinear interactions' should be accompanied by an explicit interval for the coefficient (e.g., 0 < ε < ε0) rather than the qualitative phrase.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address the two major points below and will revise the manuscript accordingly to strengthen the exposition of the spectral analysis and the energy-momentum diagram.

read point-by-point responses

  1. Referee: [Section on spectral analysis / generalization of Lin's method] The central claim rests on the assertion that Lin's arguments for the sign-of-dP/dc criterion extend verbatim to the quasilinear setting. The manuscript must exhibit the precise modifications to the linearized operator, the essential spectrum, and any boundary terms arising from the quasilinear coefficient; without these explicit verifications the applicability of the VK criterion remains unconfirmed.

    Authors: We agree that the generalization requires explicit verification. The manuscript already adapts Lin's variational and spectral framework to the quasilinear operator, but we will add a dedicated subsection that computes the precise modifications to the linearized operator (including the quasilinear contributions to the second variation), describes the essential spectrum, and accounts for boundary terms at infinity. This will confirm that the sign-of-dP/dc criterion carries over without additional assumptions. revision: yes

  2. Referee: [Section on energy-momentum diagram] The appearance of the cusp and the consequent stability switch are load-bearing for the strong-interaction regime. The location of the cusp (value of the quasilinear parameter at which dP/dc changes sign) and the numerical or analytic confirmation that the sign change indeed occurs should be stated with a precise statement of the energy-momentum functional.

    Authors: The cusp and resulting stability transition are central to the strong-quasilinear regime. We will revise the relevant section to state the energy-momentum functional explicitly, identify the critical quasilinear coefficient at which the cusp occurs (i.e., where dP/dc changes sign), and supply the analytic or numerical verification of the sign change that supports the fast-stable/slow-unstable dichotomy. revision: yes

Circularity Check

0 steps flagged

Minor self-citation for existence; stability via external generalization

full rationale

The paper cites prior work (by the same author) only for the existence of the dark soliton branch. The central stability claim rests on a claimed generalization of Lin's external semilinear arguments to the quasilinear case, with the VK criterion applied directly to the energy-momentum diagram. No step reduces a prediction to a fitted input by construction, no uniqueness theorem is imported from self-citation, and the cusp analysis is presented as an independent structural observation. This yields at most a minor self-citation score.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on generalizing Lin's semilinear arguments and on the existence of the soliton branch from previous works; no free parameters or new entities are introduced in the abstract description.

axioms (2)
  • domain assumption Existence of a continuous branch of traveling dark solitons indexed by speed (from previous works).
    Invoked explicitly in the abstract as the starting point for the stability analysis.
  • ad hoc to paper Lin's arguments for the VK criterion in semilinear equations with nonvanishing conditions generalize directly to the quasilinear case.
    The paper claims this generalization enables the stability conclusions.

pith-pipeline@v0.9.0 · 5686 in / 1438 out tokens · 39681 ms · 2026-05-24T03:28:49.352352+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages

  1. [1]

    Angulo Pava.Nonlinear dispersive equations, volume 156 ofMathematical Surveys and Monographs

    J. Angulo Pava.Nonlinear dispersive equations, volume 156 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2009. Existence and stability of solitary and periodic travelling wave solutions

    work page 2009

  2. [2]

    C. Audiard. Small energy traveling waves for the Euler-Korteweg system. Nonlinearity, 30(9):3362–3399, 2017

    work page 2017

  3. [3]

    I. V. Barashenkov. Stability criterion for dark solitons.Phys. Rev. Lett., 77:1193–1197, Aug 1996

    work page 1996

  4. [4]

    Benzoni-Gavage, R

    S. Benzoni-Gavage, R. Danchin, and S. Descombes. On the well-posedness for the Euler- Korteweg model in several space dimensions. Indiana Univ. Math. J., 56(4):1499–1579, 2007

    work page 2007

  5. [5]

    Benzoni-Gavage, R

    S. Benzoni-Gavage, R. Danchin, S. Descombes, and D. Jamet. Structure of Korteweg models and stability of diffuse interfaces.Interfaces Free Bound., 7(4):371–414, 2005

    work page 2005

  6. [6]

    Béthuel, P

    F. Béthuel, P. Gravejat, and J.-C. Saut. Existence and properties of travelling waves for the Gross-Pitaevskii equation. InStationary and time dependent Gross-Pitaevskii equations, volume 473 ofContemp. Math., pages 55–103. Amer. Math. Soc., Providence, RI, 2008

    work page 2008

  7. [7]

    Béthuel, P

    F. Béthuel, P. Gravejat, J.-C. Saut, and D. Smets. Orbital stability of the black soliton for the Gross-Pitaevskii equation.Indiana Univ. Math. J., 57(6):2611–2642, 2008

    work page 2008

  8. [8]

    Cheverry and N

    C. Cheverry and N. Raymond. A guide to spectral theory—applications and exercises. Birkhäuser Advanced Texts: Basler Lehrbücher. [Birkhäuser Advanced Texts: Basel Text- books]. Birkhäuser/Springer, Cham, [2021]©2021. With a foreword by Peter D. Hislop

    work page 2021

  9. [9]

    D. Chiron. Travelling waves for the nonlinear Schrödinger equation with general nonlinearity in dimension one.Nonlinearity, 25(3):813–850, 2012

    work page 2012

  10. [10]

    D. Chiron. Stability and instability for subsonic traveling waves of the nonlinear Schrödinger equation in dimension one.Anal. PDE, 6(6):1327–1420, 2013

    work page 2013

  11. [11]

    D. Chiron. Stability and instability for subsonic traveling waves of the nonlinear Schrödinger equation in dimension one.Anal. PDE, 6(6):1327–1420, 2013. 15

    work page 2013

  12. [12]

    Colin, L

    M. Colin, L. Jeanjean, and M. Squassina. Stability and instability results for standing waves of quasi-linear Schrödinger equations.Nonlinearity, 23(6):1353–1385, 2010

    work page 2010

  13. [13]

    de Laire, P

    A. de Laire, P. Gravejat, and D. Smets. Minimizing travelling waves for the Gross-Pitaevskii equation on R × T, 2024. To appear inAnn. Fac. Sci. Toulouse Math

    work page 2024

  14. [14]

    de Laire and P

    A. de Laire and P. Mennuni. Traveling waves for some nonlocal 1D Gross-Pitaevskii equa- tions with nonzero conditions at infinity.Discrete Contin. Dyn. Syst., 40(1):635–682, 2020

    work page 2020

  15. [15]

    de Laire and E

    A. de Laire and E. L. Quiniou. Exotic traveling waves for a quasilinear Schrödinger equation with nonzero background, 2023. Preprint arXiv:2311.08918

    work page arXiv 2023

  16. [16]

    G. Fibich. The nonlinear Schrödinger equation, volume 192 ofApplied Mathematical Sci- ences. Springer, Cham, 2015. Singular solutions and optical collapse

    work page 2015

  17. [17]

    Grillakis, J

    M. Grillakis, J. Shatah, and W. Strauss. Stability theory of solitary waves in the presence of symmetry. I.J. Funct. Anal., 74(1):160–197, 1987

    work page 1987

  18. [18]

    B. L. Guo and Y. P. Wu. Orbital stability of solitary waves for the nonlinear derivative Schrödinger equation. J. Differential Equations, 123(1):35–55, 1995

    work page 1995

  19. [19]

    I. D. Iliev and K. P. Kirchev. Stability and instability of solitary waves for one-dimensional singular Schrödinger equations.Differential Integral Equations, 6(3):685–703, 1993

    work page 1993

  20. [20]

    Kevrekidis, D

    P. Kevrekidis, D. Frantzeskakis, and R. Carretero-González. The defocusing nonlinear Schrödinger equation. From dark solitons to vortices and vortex rings. Society for Industrial and Applied Mathematics, Philadelphia, 2015

    work page 2015

  21. [21]

    Y. S. Kivshar and B. Luther-Davies. Dark optical solitons: physics and applications.Phys. Rep., 298(2-3):81–197, 1998

    work page 1998

  22. [22]

    G. N. Koutsokostas, T. P. Horikis, P. G. Kevrekidis, and D. J. Frantzeskakis. Universal reductionsandsolitarywavesofweaklynonlocaldefocusingnonlinearSchrödingerequations. J. Phys. A, 54(8):Paper No. 085702, 17, 2021

    work page 2021

  23. [23]

    Solitonsinnonlocalnonlinearmedia: Exactsolutions

    W.KrólikowskiandO.Bang. Solitonsinnonlocalnonlinearmedia: Exactsolutions. Physical Review E, 63(1):016610, 2000

    work page 2000

  24. [24]

    Kurihara

    S. Kurihara. Large-amplitude quasi-solitons in superfluid films. Journal of the Physical Society of Japan, 50(10):3262–3267, 1981

    work page 1981

  25. [25]

    Z. Lin. Stability and instability of traveling solitonic bubbles.Adv. Differential Equations, 7(8):897–918, 2002

    work page 2002

  26. [26]

    C. A. Stuart. Lectures on the orbital stability of standing waves and application to the nonlinear Schrödinger equation.Milan J. Math., 76:329–399, 2008

    work page 2008

  27. [27]

    StationarySolutionsoftheWaveEquationinaMedium with Nonlinearity Saturation.Radiophysics and Quantum Electronics, 16(7):783–789, July 1973

    N.G.VakhitovandA.A.Kolokolov. StationarySolutionsoftheWaveEquationinaMedium with Nonlinearity Saturation.Radiophysics and Quantum Electronics, 16(7):783–789, July 1973

    work page 1973

  28. [28]

    Varholm, E

    K. Varholm, E. Wahlén, and S. Walsh. On the stability of solitary water waves with a point vortex. Communications on Pure and Applied Mathematics, 73(12):2634–2684, 2020

    work page 2020

  29. [29]

    M. I. Weinstein. Lyapunov stability of ground states of nonlinear dispersive evolution equa- tions. Comm. Pure Appl. Math., 39(1):51–67, 1986. 16

    work page 1986