REVIEW 8 minor 12 references
On the Gross-Pitaevskii model with a moving impurity: Cauchy problem and superfluidity criterion
T0 review · 0 major / 8 minor · reviewed 2026-07-09 · glm-5.2
Pith's one-line read Moving impurity in a 1D quantum fluid: global well-posedness and stable superfluid state
desk verdict Solid PDE paper extending well-posedness and stability to the moving-impurity Gross-Pitaevskii model; arguments are correct and well-executed, with no load-bearing gaps. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The self-adjoint operator H_γ = -∂²_x + iv∂_x + γδ(x) is defined via the theory of self-adjoint extensions, yielding an explicit unitary group e^{-itH_γ} that decomposes into a free propagator and a rank-one perturbation. The renormalized momentum P_{u_0}(u) = (1/2) Im ∫ (u-u_0)∂_x(u+u_0) dx is defined on the affine space u_0 + H¹(ℝ) and gives the conserved Hamiltonian K_{u_0} = E_γ - v P_{u_0}. For stability, the functional K(u) = E_γ(u) - vP(u) with P defined via hydrodynamic decomposition u = ρe^{iθ} is minimized under a density constraint, and compactness of minimizing sequences is established via concentration-compactness.
What would settle it
If one could construct initial data in the energy space E for which the L² distance ||u(t) - u_0|| grows faster than exponentially (violating the Grönwall bound), or if the renormalized momentum failed to be conserved for solutions approximated by the smooth dense subclass, the global well-posedness claim would collapse.
Extended reading notes
Core claim
The conserved energy for the traveling-delta Gross-Pitaevskii equation is the sum of the standard Gross-Pitaevskii energy and a delta-potential term, minus the impurity velocity times a renormalized momentum. This renormalized momentum is defined relative to a reference field in the same energy class, circumventing the divergence of the classical momentum integral for non-vanishing boundary conditions. Its conservation, together with a Grönwall inequality for the L² distance between the solution and its initial datum, yields global well-posedness. The stationary state with higher minimal density is a constrained minimizer of this energy among fields whose density stays above a threshold, and
Load-bearing premise
The global well-posedness proof hinges on a Grönwall inequality bounding the growth of the solution's energy in terms of the L² distance to the initial datum, with a constant depending on the initial data's Sobolev norms and the impurity velocity. If this constant were not uniform under the density approximation used to pass from smooth to general initial data, the extension of global existence to the full energy space would not go through.
Editorial extensions
If this is right
- The global well-posedness framework extends the Zhidkov-Gérard theory for the standard Gross-Pitaevskii equation to the case of a moving point defect, providing a rigorous mathematical foundation for numerical simulations of impurity-fluid dynamics.
- The orbital stability of the high-density stationary state confirms that superfluid, dissipationless motion is not an isolated phenomenon but persists under small perturbations of the initial configuration.
- The instability of the low-density stationary state (the companion solution with lower minimal density) is expected but not proved here; its rigorous demonstration would complete the dynamical picture and confirm that only one of the two subcritical states is physically realizable.
- The Grönwall-based global existence proof produces exponential-in-time bounds on the energy, which may be far from sharp; sharper dispersive or scattering estimates could reveal whether solutions remain uniformly bounded or exhibit energy radiation to infinity.
Reading between the lines
- The existence of a critical velocity below the speed of sound, dependent on the impurity strength γ, provides a one-dimensional analogue of the Landau superfluidity criterion and could serve as a testbed for higher-dimensional vortex-nucleation thresholds.
- The renormalized momentum construction is likely portable to other nonlinear Schrödinger equations with non-vanishing boundary conditions and external potentials, including time-dependent or non-local potentials.
- The distinction between stable (high-density) and unstable (low-density) stationary states suggests a saddle-node bifurcation at the critical velocity, where the two branches coalesce and disappear—a structure that may be verifiable through spectral analysis of the linearized operator.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies the one-dimensional Gross-Pitaevskii equation with a traveling delta potential and non-zero boundary conditions at infinity, modeling a moving impurity in a quantum fluid. The authors establish two main results: (1) global well-posedness of the Cauchy problem in the Zhidkov energy space E, which requires defining a conserved energy involving a renormalized momentum, and (2) orbital stability of the stationary state with higher minimal density in the subcritical velocity regime. The analysis combines self-adjoint extension theory for the singularly perturbed operator, Duhamel/fixed-point arguments for local well-posedness, Grönwall-type estimates for global extension, and a variational/concentration-compactness argument for stability.
Significance. The paper makes a solid contribution to the mathematical analysis of Gross-Pitaevskii-type equations with singular perturbations. The global well-posedness result in the energy space E with non-vanishing boundary conditions and a moving delta potential is new and requires a careful treatment of the linear propagator and the conserved energy. The orbital stability result for the higher-density stationary state is physically relevant, as it connects to the superfluidity criterion. The proofs are parameter-free and build transparently on established frameworks (Zhidkov, Gérard, Ianni et al., Mariş, Cazenave-Lions, Bethuel et al.), with proper attribution. The self-adjoint extension construction in Appendix A is clean and the explicit computation of the unitary group is a useful technical contribution.
minor comments (8)
- The paper uses two parallel notations for the energy: |u|_E^2 = E_0(u) in Section 2.1, and E_γ(u) = E_0(u) + (γ/2)|u(0)|^2 in Section 1.1. The relationship is stated but the reader must track both throughout. A brief clarifying remark early in Section 7 would help.
- In the proof of Proposition 8.1, the constant C'(u_0) is described in Remark 8.1 as a linear combination of ||∂_x u_0||^2_{L^2}, ||u_0||_{L^∞}, and 1+|v|. It would help to state explicitly that ||u_0||_{L^∞} is controlled by |u_0|_E via Lemma 2.1, so that the continuity of C'(·) with respect to d_8 used in the density argument for the proof of Theorem 1.1 is evident.
- Section 7.2, Lemma 7.8: the integer k ∈ Z depends on the decomposition u_0 = e^{iφ} + w_0, but Remark 7.1 states that k in Lemma 7.8 does not change if the decomposition changes. A one-sentence justification of this independence would strengthen the argument, since it is used in the proof of Lemma 8.3 to fix k by continuity.
- In Lemma 9.8, the hypothesis K(ψ) < K(u_{a_2}) is used to ensure inf|ψ| > 1+a_2 by the minimization property of u_{a_2}. This step is correct but the logic is slightly compressed; spelling out that K(ψ) < h(a_2) forces inf|ψ| > 1+a_2 (since otherwise ψ would be a better minimizer) would improve readability.
- Figure 2 shows h(a) = K(u_a) for v=1 and γ=0.21, but the caption does not indicate the units or confirm that this parameter choice satisfies γ ∈ (0, φ(v)). Adding a brief note confirming this would make the figure self-contained.
- Typographical: In the abstract and several places in the text, the LaTeX macro for the delta function and partial derivatives appears to have rendering issues (e.g., 'γδpx−vtqu' should read 'γδ(x−vt)u'). This appears to be a source-to-text conversion artifact but should be verified in the final LaTeX source.
- The paper mentions the Gross-Clark-Schrödinger system in the introduction as a related model but does not discuss whether the techniques here might extend to that setting. A brief remark on this would help readers gauge the broader applicability of the contribution.
- In Corollary 1.6, the momentum bound |P(ψ(t)) − P(u_0)| ≤ ε is interpreted as bounding the total exchange of momentum. It would be helpful to explicitly connect this to the physical notion of 'dissipationless' motion mentioned in the introduction, to close the loop between the mathematical result and the physical motivation.
Circularity Check
No circularity found — pure PDE analysis with self-contained proofs and no fitted parameters
full rationale
This is a pure mathematical analysis paper on the Gross-Pitaevskii equation with a delta potential. The two main results (global well-posedness in Theorem 1.1 and orbital stability in Theorem 1.5) are derived through standard PDE techniques: Duhamel formulation, fixed-point arguments, Grönwall estimates, variational characterization, and concentration-compactness. The conserved energy K_{u_0} = E_γ(u) - vP_{u_0}(u) is defined constructively (Eq. 59) and its conservation is proved by direct computation (Proposition 7.4), not by definition. The renormalized momentum P_{u_0} (Eq. 57) is well-defined because Proposition 6.4 independently establishes that solutions remain in u_0 + H¹(ℝ). The stationary solutions are known from Hakim [23] and Mariş [31] (external authors); the paper proves stability of these known solutions. The variational characterization (Proposition 9.6) cites Mariş [31] for the explicit computation of h(a), but the stability argument itself (Lemmas 10.1–10.4) is developed independently using concentration-compactness following Bethuel et al. [10] (external). The one self-citation, Antonelli et al. [6], concerns a different problem (higher-dimensional standard GP without delta) and is not load-bearing for either main theorem. No fitted parameters, no self-definitional constructions, no uniqueness theorems invoked to forbid alternatives, and no ansatz smuggled through self-citation. The derivation chain is self-contained against external mathematical benchmarks.
Assumptions & free parameters
assumptions (5)
- domain assumption The Gross-Pitaevskii equation with a delta potential provides an accurate model for a 1D BEC with a point impurity
- standard math The energy space E = {u ∈ H¹_loc | ∂_x u ∈ L², 1-|u|² ∈ L²} with metric d_∞ is the natural setting
- standard math The theory of self-adjoint extensions applies to define H_γ = -∂²_x + iv∂_x + γδ(x)
- standard math The Cazenave-Lions argument for constrained minima applies to the orbital stability proof
- standard math The concentration-compactness framework of Bethuel et al. [10] applies to minimizing sequences in V_2
Cite this review
Pith. "Pith review of On the Gross-Pitaevskii model with a moving impurity: Cauchy problem and superfluidity criterion." pith.science (2026). https://pith.science/paper/TJ4PZABW
@misc{pith2026260707115,
author = {Pith},
title = {Pith review of: On the Gross-Pitaevskii model with a moving impurity: Cauchy problem and superfluidity criterion},
year = {2026},
howpublished = {\url{https://pith.science/paper/TJ4PZABW}},
note = {Machine review of arXiv:2607.07115}
}
read the original abstract
We study the one-dimensional Gross-Pitaevskii equation with a traveling delta potential and non-zero conditions at infinity. This model describes the effect of a moving impurity in a quantum fluid. Firstly, we show that the associated Cauchy problem is globally well-posed in the energy space. This requires the definition of a conserved energy, which involves the notion of renormalized momentum. Secondly, we study the existence and stability of stationary states in a co-moving reference frame. It is known that there exists an impurity-dependent critical velocity above which no stationary state exists. For velocities below the critical one, two different stationary states appear. We show the orbital stability of the one with higher minimal density.
Figures
Reference graph
Works this paper leans on
-
[1]
[1]M. Abid, C. Huepe, S. Metens, C. Nore, C. T. Pham, L. S. Tuckerman, and M. E. Brachet,Gross–pitaevskii dynamics of bose–einstein condensates and superfluid turbulence, Fluid Dynamics Research, 33 (2003), p
work page 2003
-
[2]
[2]R. Adami and D. Noja,Existence of dynamics for a 1d nls equation perturbed with a generalized point defect, Journal of Physics A: Mathematical and Theoretical, 42 (2009), p. 495302. [3]S. Albeverio, Z. Brze ´zniak, and L. Dabrowski,Fundamental solution of the heat and Schr¨ odinger equations with point interaction, J. Funct. Anal., 130 (1995), pp. 220–...
work page 2009
-
[3]
[6]P. Antonelli, L. E. Hientzsch, and P. Marcati,Finite energy well-posedness for nonlinear schr¨ odinger equations with non-vanishing conditions at infinity, Revista Matem´ atica Iberoamericana, (2025). [7]G. E. Astrakharchik and L. P. Pitaevskii,Motion of a heavy impurity through a bose-einstein condensate, Phys. Rev. A, 70 (2004), p. 013608. [8]I. V. B...
work page 2025
-
[4]
[10]F. Bethuel, P. Gravejat, and J.-C. Saut,Existence and properties of travelling waves for the Gross-Pitaevskii equation, in Stationary and time dependent Gross-Pitaevskii equations, A. Farina and J.-C. Saut, eds., vol. 473 of Contemporary Mathematics, American Mathematical Society, Dec. 2008, pp. 55–104. [11]H. Brezis,Functional Analysis, Sobolev Space...
work page 2008
-
[5]
[12]F. B ´ethuel, P. Gravejat, j.-C. Saut, and D. Smets,Orbital stability of the black soliton for the gross-pitaevskii equation, Indiana University Mathematics Journal, 57 (2008). [13]P. L. Cazenave, T. Lions,Orbital stability of standing waves for some nonlinear schr¨ odinger equations, Commu- nications in Mathematical Physics, (1982). [14]Q. Chauleur a...
work page 2008
-
[6]
44 ON THE GROSS-PITAEVSKII MODEL WITH A MOVING IMPURITY [15]D. Chiron,Stability and instability for subsonic traveling waves of the nonlinear schr¨ odinger equation in dimension one, Analysis & PDE, 6 (2012), pp. 1327–1420. [16]A. de Laire, P. Gravejat, and D. Smets,Minimizing travelling waves for the gross-pitaevskii equation onRˆT, Annales de la Facult´...
work page 2012
-
[7]
G ´erard,The cauchy problem for the gross–pitaevskii equation, Annales de l’I.H.P
[21]P. G ´erard,The cauchy problem for the gross–pitaevskii equation, Annales de l’I.H.P. Analyse non lin´ eaire, 23 (2006), pp. 765–779. [22]P. G ´erard,The gross-pitaevskii equation in the energy space, In: Farina, A., Saut, J.-C. (eds), Stationary and time dependent Gross-Pitaevskii equations, vol. 473, pp.129-148. Contemporary Mathematics AMS, Provide...
work page 2006
-
[8]
[24]I. Ianni, S. Le Coz, and J. Royer,On the Cauchy problem and the black solitons of a singularly perturbed Gross-Pitaevskii equation, SIAM J. Math. Anal., 49 (2017), pp. 1060–1099. [25]S. Inouye, S. Gupta, T. Rosenband, A. P. Chikkatur, A. G ¨orlitz, T. L. Gustavson, A. E. Leanhardt, D. E. Pritchard, and W. Ketterle,Observation of vortex phase singulari...
work page 2017
Show all 12 references
-
[9]
Maris ¸,Stationary solutions to a nonlinear Schr¨ odinger equation with potential in one dimension, Proc
[31]M. Maris ¸,Stationary solutions to a nonlinear Schr¨ odinger equation with potential in one dimension, Proc. Roy. Soc. Edinburgh Sect. A, 133 (2003), pp. 409–437. [32]M. Maris,Global branches of travelling-waves to a gross–pitaevskii–schr¨ odinger system in one dimension, ...
2003
-
[10]
Posilicano,The schr¨ odinger equation with a moving point interaction in three dimensions, Proceedings of the American Mathematical Society, 135 (2007), pp
[40]A. Posilicano,The schr¨ odinger equation with a moving point interaction in three dimensions, Proceedings of the American Mathematical Society, 135 (2007), pp. 1785–1793. [41]C. Raman, M. K ¨ohl, R. Onofrio, D. S. Durfee, C. E. Kuklewicz, Z. Hadzibabic, and W. Ketterle,Evi...
2007
-
[11]
Winiecki, B
[44]T. Winiecki, B. Jackson, J. F. McCann, and C. S. Adams,Vortex shedding and drag in dilute bose-einstein condensates, Journal of Physics B: Atomic, Molecular and Optical Physics, 33 (2000), p
2000
-
[12]
Winiecki, J
[45]T. Winiecki, J. F. McCann, and C. S. Adams,Pressure drag in linear and nonlinear quantum fluids, Phys. Rev. Lett., 82 (1999), pp. 5186–5189. [46]P. E. Zhidkov,The cauchy problem for the nonlinear schr¨ odinger equation, Dubna, (1987)
1999
Reviewed July 9, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.