pith. sign in

arxiv: 2604.19535 · v1 · submitted 2026-04-21 · 🧮 math.AP

Existence of small semi-vortex solutions for the cubic nonlinear Schr\"{o}dinger system with Rashba type Spin-Orbit coupling on mathbb{R}²

Takahisa Inui This is my paper

Pith reviewed 2026-05-10 02:02 UTC · model grok-4.3

classification 🧮 math.AP
keywords nonlinear Schrödinger systemRashba spin-orbit couplingsemi-vortex solutionsvariational methodsenergy minimizationBose-Einstein condensates
0
0 comments X

The pith

The cubic nonlinear Schrödinger system with Rashba spin-orbit coupling has small semi-vortex solutions on the plane.

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

This paper supplies a mathematical proof that small semi-vortex solutions exist for the cubic nonlinear Schrödinger system with Rashba-type spin-orbit coupling on the plane. The system models spinor Bose-Einstein condensates, and the existence of such solutions for small mass was already noted in physics work. The proof proceeds by showing that the system's energy functional attains its minimum when the total mass is fixed at a sufficiently small positive value. A reader would care because the result turns physical intuition into exact solutions that satisfy the equations without approximation.

Core claim

For every sufficiently small positive mass, the energy functional of the cubic nonlinear Schrödinger system with Rashba spin-orbit coupling possesses a minimizer in the natural function space, and every such minimizer is a small semi-vortex solution.

What carries the argument

Constrained minimization of the energy functional subject to a fixed small L2-mass constraint.

If this is right

  • Small semi-vortex solutions exist as exact solutions to the system.
  • Small ground-state solutions likewise exist by the same minimization argument.
  • The predictions found in the physics literature receive rigorous justification.

Where Pith is reading between the lines

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

  • The same minimization technique may extend to other forms of spin-orbit coupling or to different dimensions.
  • Stability properties of the obtained small solutions could be examined in a follow-up analysis.
  • The work links abstract variational problems in PDEs to concrete models arising in quantum physics.

Load-bearing premise

The energy functional admits minimizers for all sufficiently small positive mass values.

What would settle it

Showing that the infimum of the energy is not attained for some sequence of masses tending to zero would disprove the existence result.

read the original abstract

We consider the cubic nonlinear Schr\"{o}dinger system with Rashba type Spin-Orbit coupling (SOC) on $\mathbb{R}^2$, which is also called the Gross--Pitaevskii equation with SOC. The system describes SO-coupled spinor BEC in physics. In the literature of physics, the existence of small semi-vortex solutions and small ground state is known. In the present paper, we give their mathematical proofs by finding minimizers of the energy under small mass constraint.

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

1 major / 1 minor

Summary. The manuscript proves the existence of small semi-vortex solutions (and small ground states) for the cubic nonlinear Schrödinger system with Rashba-type spin-orbit coupling on R^2 by showing that the energy functional attains its infimum under a small-mass constraint in the appropriate function space.

Significance. If the compactness argument holds, the result supplies the first rigorous mathematical justification for the small semi-vortex solutions previously reported only in the physics literature on spinor BECs. The variational strategy of minimizing energy at fixed small mass is standard and appropriate for this system.

major comments (1)
  1. [Proof of the main existence theorem (likely §3 or §4)] The compactness of minimizing sequences for the energy at small mass is load-bearing for the existence claim, yet the Rashba SOC cross terms (first-order derivative couplings between spinor components) are not shown to be handled by an adapted concentration-compactness argument. Standard Lions lemmas or Sobolev embeddings alone do not automatically rule out vanishing or dichotomy on R^2 for this coupled system; an explicit profile decomposition or strict subadditivity proof adapted to the SOC term is required.
minor comments (1)
  1. [Abstract] The abstract states the result but provides no indication of how the Rashba term is incorporated into the compactness analysis; a single sentence on this point would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive evaluation of the significance of our results and for the constructive comment on the compactness argument. We address the major concern point by point below.

read point-by-point responses

  1. Referee: [Proof of the main existence theorem (likely §3 or §4)] The compactness of minimizing sequences for the energy at small mass is load-bearing for the existence claim, yet the Rashba SOC cross terms (first-order derivative couplings between spinor components) are not shown to be handled by an adapted concentration-compactness argument. Standard Lions lemmas or Sobolev embeddings alone do not automatically rule out vanishing or dichotomy on R^2 for this coupled system; an explicit profile decomposition or strict subadditivity proof adapted to the SOC term is required.

    Authors: We agree that the manuscript would benefit from a more explicit treatment of the compactness argument to fully address the Rashba SOC cross terms. While the small-mass regime and the structure of the energy functional (with quadratic SOC terms and cubic nonlinearity) allow us to rule out vanishing and dichotomy via a vector-valued adaptation of Lions' concentration-compactness lemma, the current presentation does not spell out the profile decomposition or the strict subadditivity estimate in sufficient detail. In the revised manuscript we will add a dedicated subsection to the proof of the main existence theorem that provides an explicit profile decomposition for the spinor system, showing how the first-order derivative couplings are controlled and how the small-mass constraint yields the required strict subadditivity of the energy functional. This will be a clarification and expansion of the existing argument rather than a change in the results. revision: yes

Circularity Check

0 steps flagged

Variational minimization for small-mass semi-vortex solutions is self-contained

full rationale

The paper establishes existence of small semi-vortex solutions by proving that the energy functional (kinetic + Rashba SOC cross terms + cubic nonlinearity) attains its infimum under the L2-mass constraint for all sufficiently small m > 0. This is done via the direct method in the calculus of variations on R^2, invoking standard Sobolev embeddings, weak lower semicontinuity, and a compactness argument (likely concentration-compactness or profile decomposition adapted to the spinor system). No step redefines a quantity in terms of the claimed minimizer, renames a known result, or reduces the central claim to a self-citation chain; the argument applies external functional-analytic tools to the given system without circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard functional-analytic assumptions for variational problems on R^2; no free parameters or new entities are introduced.

axioms (2)
  • domain assumption The energy functional is bounded from below and coercive in the appropriate Sobolev space for small mass.
    Required for the direct method to produce a minimizer.
  • standard math Standard Sobolev embeddings and concentration-compactness principles apply to the coupled system.
    Invoked implicitly to extract convergent subsequences from minimizing sequences.

pith-pipeline@v0.9.0 · 5384 in / 1283 out tokens · 81768 ms · 2026-05-10T02:02:30.233903+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

34 extracted references · 34 canonical work pages

  1. [1]

    W. Bao, Y. Cai,Ground States and Dynamics of Spin-Orbit-Coupled Bose–Einstein Con- densates, SIAM Journal on Applied Mathematics75(2015), no.2, 492–517

    work page 2015

  2. [2]

    Bellazzini, V

    J. Bellazzini, V. Georgiev,E. Lenzmann, N. Visciglia,On traveling solitary waves and absence of small data scattering for nonlinear half-wave equations,Comm. Math. Phys.372(2019), no. 2, 713–732

    work page 2019

  3. [3]

    Bellazzini, V

    J. Bellazzini, V. Georgiev,E. Lenzmann, N. Visciglia,Correction to: On traveling solitary waves and absence of small data scattering for nonlinear half-wave equations, Comm. Math. Phys.383(2021), no. 2, 1291–1294

    work page 2021

  4. [4]

    Berestycki, P.-L

    H. Berestycki, P.-L. Lions,Nonlinear scalar field equations. I. Existence of a ground state, Arch. Rational Mech. Anal.82(1983), no. 4, 313–345. SEMI-VORTEX SOLUTIONS FOR NLS WITH SOC 21

    work page 1983

  5. [5]

    Berestycki, P.-L

    H. Berestycki, P.-L. Lions,Nonlinear scalar field equations. II. Existence of infinitely many solutions, Arch. Rational Mech. Anal.82(1983), no. 4, 347–375

    work page 1983

  6. [6]

    Borrelli,Stationary solutions for the 2D critical Dirac equation with Kerr nonlinearity, J

    W. Borrelli,Stationary solutions for the 2D critical Dirac equation with Kerr nonlinearity, J. Differential Equations263(2017), no. 11, 7941–7964

    work page 2017

  7. [7]

    Brezis, E

    H. Brezis, E. H. Lieb,Minimum action solutions of some vector field equations, Comm. Math. Phys.96(1984), no. 1, 97–113

    work page 1984

  8. [8]

    Cazenave, Semilinear Schr¨ odinger equations, Courant Lect

    T. Cazenave, Semilinear Schr¨ odinger equations, Courant Lect. Notes Math., 10 New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 2003. xiv+323 pp

    work page 2003

  9. [9]

    H. Deng, J. Li, Z. Chen, Y. Liu, D. Liu,C. Jiang, C. Kong, B. A. Malomed,Semivortex solitons and their excited states in spin-orbit-coupled binary bosonic condensates, Phys. Rev. E.109(2024), 064201

    work page 2024

  10. [10]

    Dodson,Global well-posedness and scattering for the mass critical nonlinear Schr¨ odinger equation with mass below the mass of the ground state, Adv

    B. Dodson,Global well-posedness and scattering for the mass critical nonlinear Schr¨ odinger equation with mass below the mass of the ground state, Adv. Math.285(2015), 1589–1618

    work page 2015

  11. [11]

    Dodson,Global well-posedness and scattering for the defocusing,L 2-critical, nonlinear Schr¨ odinger equation whend= 1, Amer

    B. Dodson,Global well-posedness and scattering for the defocusing,L 2-critical, nonlinear Schr¨ odinger equation whend= 1, Amer. J. Math.138(2016), no. 2, 531–569

    work page 2016

  12. [12]

    Dodson,Global well-posedness and scattering for the defocusing,L 2-critical, nonlinear Schr¨ odinger equation whend= 2, Duke Math

    B. Dodson,Global well-posedness and scattering for the defocusing,L 2-critical, nonlinear Schr¨ odinger equation whend= 2, Duke Math. J.165(2016), no. 18, 3435–3516

    work page 2016

  13. [13]

    Fibich, The nonlinear Schr¨ odinger equation

    G. Fibich, The nonlinear Schr¨ odinger equation. Singular solutions and optical collapse Appl. Math. Sci., 192 Springer, Cham, 2015. xxxii+862 pp

    work page 2015

  14. [14]

    Fr¨ ohlich, B

    J. Fr¨ ohlich, B. L. G. Jonsson, E. Lenzmann,Boson stars as solitary waves, Comm. Math. Phys.274(2007), no. 1, 1–30

    work page 2007

  15. [15]

    Fukaya, M

    N. Fukaya, M. Hayashi, T. Inui,Traveling waves for a nonlinear Schr¨ odinger system with quadratic interaction, Math. Ann.388(2024), no. 2, 1357–1378

    work page 2024

  16. [16]

    Fukuizumi, M

    R. Fukuizumi, M. Ohta, T. Ozawa,Nonlinear Schr¨ odinger equation with a point defect, Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire25(2008), no. 5, 837–845

    work page 2008

  17. [17]

    Grillakis, J

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

    work page 1987

  18. [18]

    J. Iaia, H. Warchall,Nonradial solutions of semilinear elliptic equation in two dimensions, J. Differential Equations119(1995), no. 2, 533–558

    work page 1995

  19. [19]

    Hajaiej, X

    H. Hajaiej, X. Luo, T. Yang,Static states for rotating two-component Bose-Einstein conden- sates, Stud. Appl. Math.154(2025), no. 1, Paper No. e70013, 20 pp

    work page 2025

  20. [20]

    M. K. Kwong,Uniqueness of positive solutions of∆u−u+u p = 0inR n, Arch. Rational Mech. Anal.105(1989), no. 3, 243–266

    work page 1989

  21. [21]

    X. Li, J. Zhao,Orbital stability of standing waves for Schr¨ odinger type equations with slowly decaying linear potential, Comput. Math. Appl.79(2020), no. 2, 303–316

    work page 2020

  22. [22]

    E. H. Lieb,On the lowest eigenvalue of the Laplacian for the intersection of two domains, Invent. Math.74(1983), no. 3, 441–448

    work page 1983

  23. [23]

    E. H. Lieb, M. Loss, Michael, Analysis. Second edition, Grad. Stud. Math., 14 American Mathematical Society, Providence, RI, 2001. xxii+346 pp

    work page 2001

  24. [24]

    T.-C. Lin, J. Wei,Ground state ofNcoupled nonlinear Schr¨ odinger equations inR n,n≤3, Comm. Math. Phys.255(2005), no. 3, 629–653

    work page 2005

  25. [25]

    P. L. Lions,The concentration-compactness principle in the calculus of variations. The locally compact case. I., Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire1(1984), no. 2, 109–145

    work page 1984

  26. [26]

    Medina,Existence of coupled optical vortex solitons propagating in a quadratic nonlinear medium, Math

    L. Medina,Existence of coupled optical vortex solitons propagating in a quadratic nonlinear medium, Math. Methods Appl. Sci.46(2023), no. 18, 18547–18559

    work page 2023

  27. [27]

    Mizumachi,Instability of vortex solitons for 2D focusing NLS, Adv

    T. Mizumachi,Instability of vortex solitons for 2D focusing NLS, Adv. Differential Equations 12(2007), no. 3, 241–264

    work page 2007

  28. [28]

    Ogawa,A proof of Trudinger’s inequality and its application to nonlinear Schr¨ odinger equations, Nonlinear Anal.14(1990), no

    T. Ogawa,A proof of Trudinger’s inequality and its application to nonlinear Schr¨ odinger equations, Nonlinear Anal.14(1990), no. 9, 765–769

    work page 1990

  29. [29]

    Okazawa, T

    N. Okazawa, T. Suzuki, T. Yokota,Energy methods for abstract nonlinear Schr¨ odinger equa- tions, Evol. Equ. Control Theory1(2012), no. 2, 337–354

    work page 2012

  30. [30]

    Sakaguchi, B

    H. Sakaguchi, B. Li, B. A. Malomed,Creation of two-dimensional composite solitons in spin-orbit-coupled self-attractive Bose-Einstein condensates in free space, Phys. Rev. E.89 (2014), 032920

    work page 2014

  31. [31]

    Strauss,Existence of Solitary Waves in Higher Dimensions, Commun

    Walter A. Strauss,Existence of Solitary Waves in Higher Dimensions, Commun. math. Phys. 55, (1977) 149–162. 22 T. INUI

    work page 1977

  32. [32]

    C. A. Stuart,Bifurcation from the essential spectrum, Topological Nonlinear Analysis II (Boston, MA) (Michele Matzeu and Alfonso Vignoli, eds.), Birkh¨ auser Boston, 1997, pp. 397–443

    work page 1997

  33. [33]

    G. N. Watson, A treatise on the theory of Bessel functions, Reprint of the second (1944) edition, Cambridge Math. Lib., Cambridge University Press, Cambridge, 1995. viii+804 pp

    work page 1944

  34. [34]

    Zhang, N

    R. Zhang, N. Liu,Existence of the positive composite optical vortices, Math. Methods Appl. Sci.40(2017), no. 14, 5068–5078. (T. Inui)Department of Mathematics, Graduate School of Science, the University of Osaka, Toyonaka, Osaka, Japan 560-0043. Email address:inui@math.sci.osaka-u.ac.jp

    work page 2017