Bifurcating solitonic vortices in a strip

Amandine Aftalion (LMO); Etienne Sandier (LAMA); Philippe Gravejat (AGM - UMR 8088)

arxiv: 2411.16482 · v1 · pith:2JRVVDASnew · submitted 2024-11-25 · 🧮 math.AP · cond-mat.quant-gas

Bifurcating solitonic vortices in a strip

Amandine Aftalion (LMO) , Philippe Gravejat (AGM - UMR 8088) , Etienne Sandier (LAMA) This is my paper

Pith reviewed 2026-05-23 16:41 UTC · model grok-4.3

classification 🧮 math.AP cond-mat.quant-gas

keywords Gross-Pitaevskii equationsolitonic vorticesbifurcationstrip geometrystationary solutionsFourier decompositionlinearized operator

0 comments

The pith

Stationary solutions with k transverse vortices exist and bifurcate from the soliton in the Gross-Pitaevskii equation on a strip of increasing width.

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

The paper proves the existence of stationary solutions to the Gross-Pitaevskii equation in an infinite strip that contain k vortices aligned along a transverse line. These solutions arise by bifurcation from the soliton solution once the strip width surpasses a critical value. The proof proceeds by decomposing the problem into Fourier modes in the transverse direction, solving the linearized equation around the soliton using a fixed-point argument away from the kernel, and applying the inverse function theorem in the kernel direction. A sympathetic reader would care because this links the well-known soliton to more complex vortex structures in confined geometries, illuminating how vortices form in superfluids.

Core claim

We show that there exist stationary solutions to the Gross-Pitaevskii equation with k vortices on a transverse line, which bifurcate from the soliton solution as the width of the strip is increased. After decomposing into Fourier series with respect to the transverse variable, the construction of these solitonic vortices is achieved by relying on a careful analysis of the linearized operator around the soliton solution: we apply a fixed point argument to solve the equation in the directions orthogonal to the kernel of the linearized operator, and then handle the direction corresponding to the kernel by an inverse function theorem.

What carries the argument

The linearized operator around the soliton solution, decomposed via Fourier series in the transverse variable, with its kernel addressed by the inverse function theorem after fixed-point resolution of the orthogonal complement.

If this is right

Such solutions exist for each positive integer k when the strip width is sufficiently large.
The solutions exhibit solitonic behavior in the longitudinal direction with vortices positioned on the transverse line.
The bifurcation is parameterized by the width of the strip.
The Fourier decomposition reduces the problem to a family of one-dimensional equations that can be analyzed separately.

Where Pith is reading between the lines

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

The same linearized analysis might identify stability thresholds for the bifurcated solutions under small perturbations.
The construction could adapt to time-dependent problems to study how these vortex lines evolve or interact.
Similar bifurcations may appear in other nonlinear Schrödinger models with strip-like confinement.

Load-bearing premise

The linearized operator around the soliton solution admits a kernel whose dimension and properties allow the inverse function theorem to be applied after the orthogonal complement is solved by fixed point.

What would settle it

A direct numerical computation of the spectrum of the linearized operator for increasing strip widths that shows the kernel dimension does not permit the inverse function theorem application, or failure to find the bifurcated solutions computationally.

read the original abstract

The specific geometry of a strip provides connections between solitons and solitonic vortices, which are vortices with a solitonic behaviour in the infinite direction of the strip. We show that there exist stationary solutions to the Gross-Pitaevskii equation with k vortices on a transverse line, which bifurcate from the soliton solution as the width of the strip is increased. After decomposing into Fourier series with respect to the transverse variable, the construction of these solitonic vortices is achieved by relying on a careful analysis of the linearized operator around the soliton solution: we apply a fixed point argument to solve the equation in the directions orthogonal to the kernel of the linearized operator, and then handle the direction corresponding to the kernel by an inverse function theorem.

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.

Desk Editor's Note private letter to a colleague

The paper proves existence of k-vortex solitonic solutions bifurcating from the soliton in a strip for the Gross-Pitaevskii equation via Fourier decomposition plus fixed-point reduction followed by IFT on the kernel, but the IFT step at the exact bifurcation point where the kernel emerges needs explicit transversality verification.

read the letter

The core result is an existence theorem for stationary solutions with k vortices aligned transversely that branch off the soliton as the strip width increases. The construction splits the problem by Fourier series in the transverse coordinate, solves the complement to the kernel of the linearized operator by contraction mapping, and treats the kernel directions with the inverse function theorem. This organizes the link between the one-dimensional soliton and multi-vortex states in a concrete way that prior work on the strip geometry had not delivered in this form. The functional-analytic outline is standard and the abstract indicates they track the kernel dimension and non-degeneracy conditions with some care. That part of the argument is where the paper earns its keep if the estimates close. The stress-test concern lands: once the kernel appears at the critical width, the reduced map on kernel variables has vanishing derivative with respect to those variables, so the plain inverse function theorem does not apply without an extra condition on the parameter derivative or a switch to a bifurcation theorem such as Crandall-Rabinowitz. The abstract gives no sign that this distinction is handled, which is the main soft spot. Everything else in the setup looks routine and non-circular. The paper is aimed at researchers who already work on vortex dynamics for the Gross-Pitaevskii equation in bounded domains. A reader who needs the precise bifurcation diagram or wants to extend the result to dynamics will get direct value from the existence statement and the kernel analysis. It is coherent on its own terms and deserves a serious referee to check the kernel properties and the precise justification for the inverse function theorem step at the bifurcation value.

Referee Report

1 major / 2 minor

Summary. The paper claims to prove existence of stationary solutions to the Gross-Pitaevskii equation on an infinite strip that consist of k vortices aligned on a transverse line; these solutions bifurcate from the soliton as the strip width increases past a critical value. The argument proceeds by Fourier decomposition in the transverse variable, a fixed-point contraction to solve the equation in the complement of the kernel of the linearized operator around the soliton, and an application of the inverse function theorem in the kernel directions.

Significance. If the construction is complete, the result supplies a rigorous existence theorem connecting solitons to solitonic vortices in strip geometry, which is of interest for the analysis of the Gross-Pitaevskii equation in confined domains. The approach relies on standard functional-analytic tools rather than new parameter-free identities or machine-checked proofs.

major comments (1)

[Abstract / construction] Abstract (construction paragraph): after solving the orthogonal complement by fixed point, the kernel component is treated by the inverse function theorem. At the critical width where the kernel of the linearized operator first appears, the derivative of the reduced map with respect to the kernel variables is identically zero, so the standard inverse function theorem cannot be invoked directly. A transversality condition or a bifurcation theorem (e.g., Crandall–Rabinowitz) is required; the manuscript gives no indication that this distinction is addressed. This step is load-bearing for the bifurcation claim.

minor comments (2)

[Notation] Clarify the precise definition of the strip width parameter and its relation to the critical value at which the kernel dimension changes.
[Abstract] Add a short statement of the non-degeneracy or transversality condition that would justify the inverse-function-theorem step.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying this key technical point in the bifurcation argument. We respond below.

read point-by-point responses

Referee: [Abstract / construction] Abstract (construction paragraph): after solving the orthogonal complement by fixed point, the kernel component is treated by the inverse function theorem. At the critical width where the kernel of the linearized operator first appears, the derivative of the reduced map with respect to the kernel variables is identically zero, so the standard inverse function theorem cannot be invoked directly. A transversality condition or a bifurcation theorem (e.g., Crandall–Rabinowitz) is required; the manuscript gives no indication that this distinction is addressed. This step is load-bearing for the bifurcation claim.

Authors: We agree that the abstract's phrasing is imprecise and that the standard inverse-function theorem cannot be applied directly when the kernel first appears, since the derivative with respect to the kernel variables vanishes at that critical width. The full manuscript performs a Lyapunov–Schmidt reduction after the fixed-point step in the orthogonal complement, but does not explicitly verify a transversality condition or invoke a bifurcation theorem such as Crandall–Rabinowitz. We will revise the paper to replace the reference to the inverse-function theorem in the kernel directions with a precise application of the Crandall–Rabinowitz theorem (or an equivalent local bifurcation result), including the necessary non-degeneracy check on the reduced map. This change will be reflected in both the abstract and the relevant sections of the construction. revision: yes

Circularity Check

0 steps flagged

No circularity; direct existence proof via standard analysis

full rationale

The derivation decomposes the equation via Fourier series in the transverse variable, solves the orthogonal complement to the kernel of the linearized operator by fixed point, and applies the inverse function theorem to the kernel component. This is a standard functional-analytic construction relying on external theorems (IFT, fixed-point results) applied to the Gross-Pitaevskii linearization around the soliton; no step reduces by definition to its own inputs, renames a fitted quantity as a prediction, or depends on load-bearing self-citations. The abstract and method description exhibit no self-definitional or self-referential structure.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the existence and spectral properties of the soliton solution and its linearized operator in the strip geometry; these are treated as background facts from the theory of the Gross-Pitaevskii equation.

axioms (2)

domain assumption The soliton solution to the Gross-Pitaevskii equation exists in the infinite strip and is a valid base point for bifurcation analysis.
Invoked as the starting point from which the k-vortex solutions bifurcate when width increases.
domain assumption The linearized operator around the soliton has a kernel whose structure permits application of the inverse function theorem after solving the orthogonal complement.
Central to the fixed-point plus inverse-function-theorem construction described in the abstract.

pith-pipeline@v0.9.0 · 5663 in / 1432 out tokens · 48180 ms · 2026-05-23T16:41:52.231433+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

After decomposing into Fourier series with respect to the transverse variable, the construction of these solitonic vortices is achieved by relying on a careful analysis of the linearized operator around the soliton solution: we apply a fixed point argument to solve the equation in the directions orthogonal to the kernel of the linearized operator, and then handle the direction corresponding to the kernel by an inverse function theorem.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the restriction of this operator to the Fourier sector of order k in the transverse variable y has a nontrivial kernel ... which is spanned by the function χ_k(x,y) = i χ_0(x) cos(π k y / d)

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

22 extracted references · 22 canonical work pages

[1]

Aftalion and É

A. Aftalion and É. Sandier. Solitons and solitonic vorti ces in a strip. Nonlinear Anal. , 228:Paper No. 113184, 2023

work page 2023
[2]

snake instability

J. Brand and W.P. Reinhardt. Solitonic vortices and the fu ndamental modes of the “snake instability”: Possibility of observation in the gaseous Bos e-Einstein condensate. Phys. Rev. A, 65(4):043612, 2002

work page 2002
[3]

Bulgac, M.M

A. Bulgac, M.M. Forbes, M.M. Kelley, K.J. Roche, and G. Wla złowski. Quantized superﬂuid vortex rings in the unitary Fermi gas. Phys. Rev. Lett. , 112(2):025301, 2014

work page 2014
[4]

Burger, K

S. Burger, K. Bongs, S. Dettmer, W. Ertmer, K. Sengstock, A. Sanpera, G.V. Shlyap- nikov, and M. Lewenstein. Dark solitons in Bose-Einstein con densates. Phys. Rev. Lett. , 83(25):5198–5201, 1999

work page 1999
[5]

Dauxois and M

T. Dauxois and M. Peyrard. Physics of solitons . Cambridge University Press, Cambridge, 2006

work page 2006
[6]

de Laire, P

A. de Laire, P. Gravejat, and D. Smets. Construction of mi nimizing traveling waves for the Gross-Pitaevskii equation on R × T. Tunisian Journal of Mathematics , 6(1):157–188, 2024. 51

work page 2024
[7]

de Laire, P

A. de Laire, P. Gravejat, and D. Smets. Minimizing travel ling waves for the Gross-Pitaevskii equation on R × T. Ann. Fac. Sci. Toulouse Math. , in press, 2024

work page 2024
[8]

di Menza and C

L. di Menza and C. Gallo. The black solitons of one-dimens ional NLS equations. Nonlin- earity, 20(2):461–496, 2007

work page 2007
[9]

Donadello, S

S. Donadello, S. Seraﬁni, M. Tylutki, L.P. Pitaevskii, F . Dalfovo, G. Lamporesi, and G. Fer- rari. Observation of solitonic vortices in Bose-Einstein co ndensates. Phys. Rev. Lett. , 113(6):065302, 2014

work page 2014
[10]

Frantzeskakis

D.J. Frantzeskakis. Dark solitons in atomic Bose-Einst ein condensates: from theory to experiments. J. Phys. A: Math. Theor. , 43(21):213001, 2010

work page 2010
[11]

P. Gérard. The Gross-Pitaevskii equation in the energy space. In A. Farina and J.-C. Saut, editors, Stationary and time dependent Gross-Pitaevskii equations , volume 473 of Contemp. Math., pages 129–148. Amer. Math. Soc., Providence, RI, 2008

work page 2008
[12]

Gravejat

P. Gravejat. Asymptotics for the travelling waves in th e Gross-Pitaevskii equation. Asymp- tot. Anal. , 45(3-4):227–299, 2005

work page 2005
[13]

Gravejat

P. Gravejat. First order asymptotics for the travellin g waves in the Gross-Pitaevskii equation. Adv. Diﬀerential Equations , 11(3):259–280, 2006

work page 2006
[14]

Gravejat and D

P. Gravejat and D. Smets. Asymptotic stability of the bl ack soliton for the Gross-Pitaevskii equation. Proc. London Math. Soc. , 111(2):305–353, 2015

work page 2015
[15]

Komineas

S. Komineas. Vortex rings and solitary waves in trapped Bose-Einstein condensates. Eur. Phys. J. Spec. Topics , 147(1):133–152, 2007

work page 2007
[16]

Komineas and N

S. Komineas and N. Papanicolaou. Vortex rings and Lieb m odes in a cylindrical Bose- Einstein condensate. Phys. Rev. Lett. , 89(7):070402, 2002

work page 2002
[17]

Komineas and N

S. Komineas and N. Papanicolaou. Nonlinear waves in a cy lindrical Bose-Einstein conden- sate. Phys. Rev. A , 67(2):023615, 2003

work page 2003
[18]

M.J.H. Ku, W. Ji, B. Mukherjee, E. Guardado-Sanchez, L.W . Cheuk, T. Yefsah, and M.W. Zwierlein. Motion of a solitonic vortex in the BEC-BCS cro ssover. Phys. Rev. Lett. , 113(6):065301, 2014

work page 2014
[19]

Lamporesi, S

G. Lamporesi, S. Donadello, S. Seraﬁni, F. Dalfovo, and G. Ferrari. Spontaneous creation of Kibble-Zurek solitons in a Bose-Einstein condensate. Nature Phys. , 9(10):656–660, 2013

work page 2013
[20]

Mironescu

P. Mironescu. Les minimiseurs locaux pour l’équation d e Ginzburg-Landau sont à symétrie radiale. C. R. Acad. Sci. Paris Sér. I Math. , 323(6):593–598, 1996

work page 1996
[21]

Rousset and N

F. Rousset and N. Tzvetkov. A simple criterion of transv erse linear instability for solitary waves. Math. Res. Lett. , 17(1):157–169, 2010

work page 2010
[22]

Yefsah, A.T

T. Yefsah, A.T. Sommer, M.J.H. Ku, L.W. Cheuk, W. Ji, W.S . Bakr, and M.W. Zwierlein. Heavy solitons in a fermionic superﬂuid. Nature, 499(7459):426–430, 2013. 52

work page 2013

[1] [1]

Aftalion and É

A. Aftalion and É. Sandier. Solitons and solitonic vorti ces in a strip. Nonlinear Anal. , 228:Paper No. 113184, 2023

work page 2023

[2] [2]

snake instability

J. Brand and W.P. Reinhardt. Solitonic vortices and the fu ndamental modes of the “snake instability”: Possibility of observation in the gaseous Bos e-Einstein condensate. Phys. Rev. A, 65(4):043612, 2002

work page 2002

[3] [3]

Bulgac, M.M

A. Bulgac, M.M. Forbes, M.M. Kelley, K.J. Roche, and G. Wla złowski. Quantized superﬂuid vortex rings in the unitary Fermi gas. Phys. Rev. Lett. , 112(2):025301, 2014

work page 2014

[4] [4]

Burger, K

S. Burger, K. Bongs, S. Dettmer, W. Ertmer, K. Sengstock, A. Sanpera, G.V. Shlyap- nikov, and M. Lewenstein. Dark solitons in Bose-Einstein con densates. Phys. Rev. Lett. , 83(25):5198–5201, 1999

work page 1999

[5] [5]

Dauxois and M

T. Dauxois and M. Peyrard. Physics of solitons . Cambridge University Press, Cambridge, 2006

work page 2006

[6] [6]

de Laire, P

A. de Laire, P. Gravejat, and D. Smets. Construction of mi nimizing traveling waves for the Gross-Pitaevskii equation on R × T. Tunisian Journal of Mathematics , 6(1):157–188, 2024. 51

work page 2024

[7] [7]

de Laire, P

A. de Laire, P. Gravejat, and D. Smets. Minimizing travel ling waves for the Gross-Pitaevskii equation on R × T. Ann. Fac. Sci. Toulouse Math. , in press, 2024

work page 2024

[8] [8]

di Menza and C

L. di Menza and C. Gallo. The black solitons of one-dimens ional NLS equations. Nonlin- earity, 20(2):461–496, 2007

work page 2007

[9] [9]

Donadello, S

S. Donadello, S. Seraﬁni, M. Tylutki, L.P. Pitaevskii, F . Dalfovo, G. Lamporesi, and G. Fer- rari. Observation of solitonic vortices in Bose-Einstein co ndensates. Phys. Rev. Lett. , 113(6):065302, 2014

work page 2014

[10] [10]

Frantzeskakis

D.J. Frantzeskakis. Dark solitons in atomic Bose-Einst ein condensates: from theory to experiments. J. Phys. A: Math. Theor. , 43(21):213001, 2010

work page 2010

[11] [11]

P. Gérard. The Gross-Pitaevskii equation in the energy space. In A. Farina and J.-C. Saut, editors, Stationary and time dependent Gross-Pitaevskii equations , volume 473 of Contemp. Math., pages 129–148. Amer. Math. Soc., Providence, RI, 2008

work page 2008

[12] [12]

Gravejat

P. Gravejat. Asymptotics for the travelling waves in th e Gross-Pitaevskii equation. Asymp- tot. Anal. , 45(3-4):227–299, 2005

work page 2005

[13] [13]

Gravejat

P. Gravejat. First order asymptotics for the travellin g waves in the Gross-Pitaevskii equation. Adv. Diﬀerential Equations , 11(3):259–280, 2006

work page 2006

[14] [14]

Gravejat and D

P. Gravejat and D. Smets. Asymptotic stability of the bl ack soliton for the Gross-Pitaevskii equation. Proc. London Math. Soc. , 111(2):305–353, 2015

work page 2015

[15] [15]

Komineas

S. Komineas. Vortex rings and solitary waves in trapped Bose-Einstein condensates. Eur. Phys. J. Spec. Topics , 147(1):133–152, 2007

work page 2007

[16] [16]

Komineas and N

S. Komineas and N. Papanicolaou. Vortex rings and Lieb m odes in a cylindrical Bose- Einstein condensate. Phys. Rev. Lett. , 89(7):070402, 2002

work page 2002

[17] [17]

Komineas and N

S. Komineas and N. Papanicolaou. Nonlinear waves in a cy lindrical Bose-Einstein conden- sate. Phys. Rev. A , 67(2):023615, 2003

work page 2003

[18] [18]

M.J.H. Ku, W. Ji, B. Mukherjee, E. Guardado-Sanchez, L.W . Cheuk, T. Yefsah, and M.W. Zwierlein. Motion of a solitonic vortex in the BEC-BCS cro ssover. Phys. Rev. Lett. , 113(6):065301, 2014

work page 2014

[19] [19]

Lamporesi, S

G. Lamporesi, S. Donadello, S. Seraﬁni, F. Dalfovo, and G. Ferrari. Spontaneous creation of Kibble-Zurek solitons in a Bose-Einstein condensate. Nature Phys. , 9(10):656–660, 2013

work page 2013

[20] [20]

Mironescu

P. Mironescu. Les minimiseurs locaux pour l’équation d e Ginzburg-Landau sont à symétrie radiale. C. R. Acad. Sci. Paris Sér. I Math. , 323(6):593–598, 1996

work page 1996

[21] [21]

Rousset and N

F. Rousset and N. Tzvetkov. A simple criterion of transv erse linear instability for solitary waves. Math. Res. Lett. , 17(1):157–169, 2010

work page 2010

[22] [22]

Yefsah, A.T

T. Yefsah, A.T. Sommer, M.J.H. Ku, L.W. Cheuk, W. Ji, W.S . Bakr, and M.W. Zwierlein. Heavy solitons in a fermionic superﬂuid. Nature, 499(7459):426–430, 2013. 52

work page 2013