pith. sign in

arxiv: 2604.27455 · v1 · submitted 2026-04-30 · 🧮 math.AP

Existence and Uniqueness of Normalized Multi-peak Solutions for Coupled Nonlinear Schr\"odinger Systems

Wenhao Hu , Benniao Li , Wei Long , Chunhua Wang This is my paper

Pith reviewed 2026-05-07 07:58 UTC · model grok-4.3

classification 🧮 math.AP
keywords coupled nonlinear Schrödinger systemsnormalized multi-peak solutionsLyapunov-Schmidt reductionlocal Pohozaev identitiesmass constraintexistence and uniquenessmulti-component condensates
0
0 comments X

The pith

Normalized multi-peak solutions exist and are locally unique for coupled nonlinear Schrödinger systems with a fixed mass constraint.

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

The paper establishes existence and local uniqueness for multi-peak solutions to a two-component coupled nonlinear Schrödinger system that satisfy the total mass constraint ∫(u² + v²) dx = ρ². The proof combines Lyapunov-Schmidt reduction to build approximate solutions centered at several points with local Pohozaev identities to adjust parameters so the global mass condition holds. In three dimensions the construction works when the total mass parameter ρ is sufficiently small; in two dimensions it requires ρ to approach a critical threshold from one side. The mass constraint creates interactions among all the peaks that must be controlled through sharp error estimates, producing phenomena absent from the single-peak or unconstrained cases. A reader would care because these solutions model physical systems where the total number of particles is fixed, such as multi-component condensates or optical beams.

Core claim

By employing the Lyapunov-Schmidt reduction and local Pohozaev identities, we establish the existence and local uniqueness of normalized multi-peak solutions for the CNLS system with mass constraint ∫(u² + v²) dx = ρ². The result holds for sufficiently small ρ when N=3, and for ρ approaching a critical threshold when N=2. The main difficulty lies in that the mass constraint involves interactions among all concentration points, while a more refined characterization of such normalized solutions further requires sharp order estimates. In this work, we have discovered some new phenomena that differ from those of solutions without mass constraint and single-peak solutions.

What carries the argument

Lyapunov-Schmidt reduction of approximate multi-peak profiles, combined with local Pohozaev identities that enforce the global mass constraint while controlling interactions among the peaks.

If this is right

  • The same reduction works for any finite number of peaks provided ρ satisfies the stated size condition in 3D.
  • Local uniqueness holds in a small neighborhood of each approximate multi-peak configuration in a suitable function space.
  • The energy and L²-mass of the constructed solutions admit precise asymptotic expansions as ρ approaches the allowed range.
  • The interaction terms in the mass constraint force a more delicate choice of the concentration points than in the unconstrained problem.

Where Pith is reading between the lines

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

  • In physical models with conserved particle number the result predicts the existence of stable multi-cluster states whose locations are determined by the potential minima.
  • The critical threshold in two dimensions is likely tied to the best constant in the Sobolev embedding for the limiting single-peak problem.
  • The method suggests that similar normalized multi-peak constructions should be possible for systems with three or more components or with different power nonlinearities.

Load-bearing premise

The potentials P and Q decay at infinity and the interaction parameters allow non-degenerate single-peak limiting problems, with ρ small enough or close enough to the critical value for the error estimates in the reduction to close.

What would settle it

A numerical construction or rigorous counterexample showing that no multi-peak solution with the required mass exists for arbitrarily small ρ in three dimensions would falsify the existence claim.

read the original abstract

We consider the following two-component coupled nonlinear Schr\"odinger (CNLS) system: \[ \begin{cases} -\Delta u +(P(x) + \lambda ) u=\mu_1 u^3+\beta u v^2, & \text{in } \mathbb{R}^N,\\ -\Delta v +(Q(x) + \lambda ) v =\mu_2 v^3+\beta vu^2, & \text{in } \mathbb{R}^N \end{cases} \] with the mass constraint $\int_{\mathbb{R}^N} (u^2+v^2)\,dx = \rho^2$ for $N=2,3$, where $\rho>0$ is a parameter. By employing the Lyapunov-Schmidt reduction and local Pohozaev identities, we establish the existence and local uniqueness of normalized multi-peak solutions: the result holds for sufficiently small $\rho$ when $N=3$, and for $\rho$ approaching a critical threshold when $N=2$. The main difficulty lies in that the mass constraint involves interactions among all concentration points, while a more refined characterization of such normalized solutions further requires sharp order estimates. In this work, we have discovered some new phenomena that differ from those of solutions without mass constraint and single-peak solutions.

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 manuscript proves existence and local uniqueness of normalized multi-peak solutions to the two-component coupled nonlinear Schrödinger system with mass constraint ∫(u²+v²)dx=ρ² in ℝ^N (N=2,3). The construction uses Lyapunov-Schmidt reduction to solve the PDE after placing approximate bumps at multiple points, combined with local Pohozaev identities to adjust the peak locations and the Lagrange multiplier λ. The result is stated for sufficiently small ρ when N=3 and for ρ approaching a critical threshold when N=2, under suitable decay and regularity assumptions on the potentials P and Q together with non-degeneracy conditions on the interaction parameters μ₁, μ₂, β.

Significance. If the sharp order estimates close the reduction, the result would be a meaningful technical advance in the study of mass-constrained elliptic systems. It extends single-peak and unconstrained multi-bump constructions to the setting where the global L²-mass constraint couples all peaks, and it identifies new phenomena arising from this coupling. The combination of Lyapunov-Schmidt reduction with local Pohozaev identities is standard but requires delicate control of exponentially small interaction terms; successful closure would strengthen the literature on normalized solutions.

major comments (2)
  1. [§4] §4 (Lyapunov-Schmidt reduction procedure): the central claim requires that the mass-interaction cross terms generated by the global constraint ∫(u²+v²)dx=ρ² remain strictly smaller than the remainder produced by the cut-off functions and the linearized operator after the linear solve. The abstract explicitly flags this as the main difficulty and invokes “sharp order estimates,” yet the manuscript must supply an explicit comparison (e.g., showing the interaction mass is o(‖R‖) where R is the projected error) that holds uniformly when the inter-peak distances are large and, in the N=2 case, when ρ approaches the critical threshold. Without this comparison the contraction mapping for the fixed-point argument may fail.
  2. [§5] §5 (local uniqueness via linearized operator): local uniqueness is asserted after adjusting locations and λ by the local Pohozaev identities. Because the single mass constraint couples every pair of peaks, the linearized operator at the approximate multi-bump solution may acquire additional kernel directions beyond the translational modes. The manuscript must verify that the only solutions to the linearized system (subject to the mass constraint) lie in the span of the adjusted translational and scaling modes; otherwise the local uniqueness statement does not follow from the reduction.
minor comments (2)
  1. [Introduction] The precise regularity and decay assumptions on P(x) and Q(x) are described only as “suitable” in the abstract and introduction; they should be stated explicitly (e.g., C² with |∇P|+|∇Q|≤C(1+|x|)^{-α} for some α>0) so that the reader can check they suffice for the exponential decay of the error terms.
  2. [§3] Notation for the approximate multi-bump function (likely denoted U_ε or similar) and the cut-off functions should be introduced once and used consistently; several places appear to switch between different symbols for the same object.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and insightful report. The comments help us improve the clarity of the key technical points. Below we respond to each major comment.

read point-by-point responses

  1. Referee: [§4] §4 (Lyapunov-Schmidt reduction procedure): the central claim requires that the mass-interaction cross terms generated by the global constraint ∫(u²+v²)dx=ρ² remain strictly smaller than the remainder produced by the cut-off functions and the linearized operator after the linear solve. The abstract explicitly flags this as the main difficulty and invokes “sharp order estimates,” yet the manuscript must supply an explicit comparison (e.g., showing the interaction mass is o(‖R‖) where R is the projected error) that holds uniformly when the inter-peak distances are large and, in the N=2 case, when ρ approaches the critical threshold. Without this comparison the contraction mapping for the fixed-point argument may fail.

    Authors: We thank the referee for highlighting this crucial point. The sharp order estimates for the mass interaction terms arising from the global constraint are derived during the Lyapunov-Schmidt reduction procedure. Specifically, after solving the linear problem, the cross terms are bounded using the exponential decay of the approximate solutions, yielding O(exp(-δ d_min)) where d_min is the minimal inter-peak distance, while the projected error R is controlled by the smallness of the cut-off errors and the approximation quality, which is o(1) in the relevant regimes. The large separation of peaks ensures the interaction terms are strictly smaller. In the N=2 case, the approach to the critical threshold is handled uniformly via the local Pohozaev identities. To make this comparison more explicit as requested, we will include a dedicated remark or short lemma in the revised manuscript. revision: yes

  2. Referee: [§5] §5 (local uniqueness via linearized operator): local uniqueness is asserted after adjusting locations and λ by the local Pohozaev identities. Because the single mass constraint couples every pair of peaks, the linearized operator at the approximate multi-bump solution may acquire additional kernel directions beyond the translational modes. The manuscript must verify that the only solutions to the linearized system (subject to the mass constraint) lie in the span of the adjusted translational and scaling modes; otherwise the local uniqueness statement does not follow from the reduction.

    Authors: We agree that careful verification is needed due to the coupling. In the local uniqueness argument, the linearized system is analyzed subject to the mass constraint. We demonstrate that the kernel consists only of the translational modes (adjusted for each peak) and the scaling mode associated with λ by using the non-degeneracy conditions and projecting the equation onto suitable test functions derived from the single-peak profiles. Any purported additional kernel direction would lead to a contradiction with the local uniqueness of the single-peak normalized solutions. We will expand this verification in the revised version to include more details on why no extra modes arise from the global constraint. revision: partial

Circularity Check

0 steps flagged

Standard Lyapunov-Schmidt reduction with local Pohozaev identities for mass-constrained multi-peak solutions

full rationale

The paper constructs approximate multi-bump solutions by superposing single-peak profiles centered at chosen points, applies the Lyapunov-Schmidt procedure to solve the linearized system for a small correction, and uses local Pohozaev identities to adjust the peak locations and the multiplier λ so that the mass constraint ∫(u² + v²) dx = ρ² is satisfied exactly. All steps are direct analytic estimates on the PDE system and its linearization; the exponentially small cross-interaction terms arising from the global mass constraint are controlled by the claimed sharp-order estimates rather than being presupposed. No parameter is fitted to data and then relabeled as a prediction, no self-citation supplies a uniqueness theorem that forces the result, and the ansatz is the standard gluing construction rather than an imported rescaling. The derivation therefore remains self-contained against the PDE and constraint.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract provides insufficient detail to list all free parameters or axioms; the result rests on standard assumptions for the functional setting of the Sobolev space H^1, non-degeneracy of the linearized operator at approximate multi-peak profiles, and applicability of Lyapunov-Schmidt reduction which requires the potentials and parameters to satisfy conditions not stated here.

axioms (2)
  • domain assumption Potentials P(x) and Q(x) are smooth and decay sufficiently at infinity to allow localization of solutions.
    Required for the concentration analysis and compactness in the variational setting.
  • domain assumption The parameters μ1, μ2, β are chosen so that the single-peak ground states exist and the interaction allows multi-peak constructions.
    Implicit for the system to admit the claimed solutions.

pith-pipeline@v0.9.0 · 5539 in / 1336 out tokens · 60566 ms · 2026-05-07T07:58:31.690635+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

33 extracted references · 33 canonical work pages

  1. [1]

    Normalized solutions for a system of coupled cubic Schr¨odinger equations onR 3.J

    Bartsch, T., Jeanjean, L., and Soave, N. Normalized solutions for a system of coupled cubic Schr¨odinger equations onR 3.J. Math. Pures Appl.106(2016), 583–614

    work page 2016

  2. [2]

    Non-equilibrium Bose–Einstein condensation in photonic systems.Nat

    Bloch, J., Carusotto, I., and Wouters, M. Non-equilibrium Bose–Einstein condensation in photonic systems.Nat. Rev. Phys.4(2022), 470–488. EXISTENCE AND UNIQUENESS OF NORMALIZED SOLUTIONS FOR CNLS SYSTEMS 47

    work page 2022

  3. [3]

    Spatiotemporal mode-locking and dissipative solitons in multimode fiber lasers.Light Sci

    Cao, B., Gao, C., Liu, K., Xiao, X., Yang, C., and Bao, C. Spatiotemporal mode-locking and dissipative solitons in multimode fiber lasers.Light Sci. Appl.12(2023), 260

    work page 2023

  4. [4]

    Segregated solutions for a critical elliptic system with a small interspecies repulsive force.J

    Chen, H., Medina, M., Pistoia, A. Segregated solutions for a critical elliptic system with a small interspecies repulsive force.J. Funct. Anal.284(2023), no. 10, Paper No. 109882, 37 pp

    work page 2023

  5. [5]

    On the prescribed scalar curvature problem in RN, local uniqueness and periodicity.J

    Deng, Y ., Lin, C.-S., and Yan S. On the prescribed scalar curvature problem in RN, local uniqueness and periodicity.J. Math. Pures Appl.(9)104(2015),1013–1044

    work page 2015

  6. [6]

    , and Zhong, X

    Ding, Y . , and Zhong, X. Normalized solution to the Schr ¨odinger equation with potential and general nonlinear term: Mass super-critical case.J. Differ. Equ.334(2022), 194–215

    work page 2022

  7. [7]

    Segregated solutions for a nonlinear Schr ¨odinger system involving mass supercritical exponents.Nonlinearity38(2025), 035009

    Guo, Q., and Hua, Q. Segregated solutions for a nonlinear Schr ¨odinger system involving mass supercritical exponents.Nonlinearity38(2025), 035009

    work page 2025

  8. [8]

    Normalized solutions for nonlinear Schr ¨odinger equa- tions involving mass subcritical and supercritical exponents.J

    Guo, Q., He, R., Li, B., and Yan, S. Normalized solutions for nonlinear Schr ¨odinger equa- tions involving mass subcritical and supercritical exponents.J. Differ. Equ.413(2024), 462–496

    work page 2024

  9. [9]

    Excited states for two-component Bose-Einstein condensates in dimension two.J

    Guo, Q., and Yang, J. Excited states for two-component Bose-Einstein condensates in dimension two.J. Differ. Equ.343(2023), 659–686

    work page 2023

  10. [10]

    Existence and local uniqueness of normalized solutions for two- component Bose–Einstein condensates.Z

    Guo, Q., and Xie, H. Existence and local uniqueness of normalized solutions for two- component Bose–Einstein condensates.Z. Angew. Math. Phys.72(2021), 189

    work page 2021

  11. [11]

    Guo, Y ., Peng, S., and Yan, S., Local uniqueness and periodicity induced by concentration. Proc. Lond. Math. Soc.(3) 114(2017), 1005–1043

    work page 2017

  12. [12]

    Grossi, M., Ianni, I., Luo, P., and Yan, S., Non-degeneracy and local uniqueness of positive solutions to the Lane-Emden problem in dimension two.J. Math. Pures Appl.(9) 157 (2022), 145–210

    work page 2022

  13. [13]

    Han, Q., and Lin, F.Elliptic Partial Differential Equations. 2nd ed. Courant Lecture Notes in Mathematics, V ol. 1. American Mathematical Society, 2011

    work page 2011

  14. [14]

    Normalized vector solutions of nonlinear Schr¨odinger systems.Discrete Contin

    Huang, X., Pistoia, A., Troestler, C., and Wang, C. Normalized vector solutions of nonlinear Schr¨odinger systems.Discrete Contin. Dyn. Syst., doi:10.3934/dcds.2025162

    work page doi:10.3934/dcds.2025162

  15. [15]

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

    work page 1989

  16. [16]

    Normalized solutions for a class of Sobolev critical Schr¨odinger systems.J

    Li, H., Liu, T., and Zou, W. Normalized solutions for a class of Sobolev critical Schr¨odinger systems.J. Differ. Equ.450(2026), 113719

    work page 2026

  17. [17]

    Math.338 (2018), 1141–1188

    Lin, C.-S., and Yan, S., On the mean field type bubbling solutions for Chern-Simons-Higgs equation.Adv. Math.338 (2018), 1141–1188

    work page 2018

  18. [18]

    Infinitely many nonradial positive solutions for multi-species nonlinear Schr¨odinger system inR N.J

    Li, T., Wei, J., and Wu, Y . Infinitely many nonradial positive solutions for multi-species nonlinear Schr¨odinger system inR N.J. Differ. Equ.381(2024), 340–396

    work page 2024

  19. [19]

    Normalized solutions for nonlinear Schr ¨odinger equations with po- tentials and general nonlinearities.Calc

    Liu, Y ., and Zhao, L. Normalized solutions for nonlinear Schr ¨odinger equations with po- tentials and general nonlinearities.Calc. Var. Partial Differ. Equ.63(2024), 99

    work page 2024

  20. [20]

    Multi-bump bound states for a Schr ¨odinger system via Lyapunov- Schmidt reduction.NoDEA Nonlinear Differential Equations Appl.24(2017), no

    Lucia, M., Tang, Z. Multi-bump bound states for a Schr ¨odinger system via Lyapunov- Schmidt reduction.NoDEA Nonlinear Differential Equations Appl.24(2017), no. 6, Paper No. 65, 22 pp

    work page 2017

  21. [21]

    Existence and non-existence of solutions to mixed coupled nonlinear Schr¨odinger system with normalized masses.J

    Luo, X., Wei, J., Yang, X., and Zhen, M. Existence and non-existence of solutions to mixed coupled nonlinear Schr¨odinger system with normalized masses.J. Differ. Equ.314(2022), 56–127. 48 WENHAO HU 1, BENNIAO LI 1, WEI LONG1, CHUNHUA W ANG2,†

    work page 2022

  22. [22]

    N., Karpov, M., Kordts, A., Pfeifle, J., Pfeiffer, M

    Marin-Palomo, P., Kemal, J. N., Karpov, M., Kordts, A., Pfeifle, J., Pfeiffer, M. H. P., Trocha, P., Wolf, S., Brasch, V ., Anderson, M. H., et al. Microresonator-based solitons for massively parallel coherent optical communications.Nature546(2017), 274–279

    work page 2017

  23. [23]

    Dynamics of Bose-Einstein condensates in optical lattices

    Morsch, O., and Oberthaler, M. Dynamics of Bose-Einstein condensates in optical lattices. Rev. Mod. Phys.78(2006), 179–215

    work page 2006

  24. [24]

    Normalized concentrating solutions to nonlinear elliptic problems.J

    Pellacci, B., Pistoia, A., Vaira, G., and Verzini, G. Normalized concentrating solutions to nonlinear elliptic problems.J. Differ. Equ.275(2021), 882–919

    work page 2021

  25. [25]

    Partially concentrating standing waves for weakly coupled Schr¨odinger systems.Math

    Pellacci, B., Pistoia, A., Vaira, G., and Verzini, G. Partially concentrating standing waves for weakly coupled Schr¨odinger systems.Math. Ann.390(2024), 3691–3722

    work page 2024

  26. [26]

    Segregated solutions for nonlinear Schr ¨odinger systems with weak interspecies forces.Comm

    Pistoia, A., Vaira, G. Segregated solutions for nonlinear Schr ¨odinger systems with weak interspecies forces.Comm. Partial Differential Equations47(2022), 2146–2179

    work page 2022

  27. [27]

    Coupled nonlinear Schr ¨odinger systems with potentials.J

    Pomponio, A. Coupled nonlinear Schr ¨odinger systems with potentials.J. Differ. Equ.227 (2006), 258–281

    work page 2006

  28. [28]

    Normalized ground states for the NLS equation with combined nonlinearities.J

    Soave, N. Normalized ground states for the NLS equation with combined nonlinearities.J. Differ. Equ.269(2020), 6941–6987

    work page 2020

  29. [29]

    Cambridge University Press, Cambridge U.K., 2004

    Wall, C.Singular Points of Plane Curves. Cambridge University Press, Cambridge U.K., 2004

    work page 2004

  30. [30]

    Infinitely many solutions with simultaneous synchronized and segre- gated components for nonlinear Schr¨odinger systems.J

    Wang, Q., and Ye, D. Infinitely many solutions with simultaneous synchronized and segre- gated components for nonlinear Schr¨odinger systems.J. Differ. Equ.440(2025), 113438

    work page 2025

  31. [31]

    Normalized solutions and mass concentration for supercritical non- linear Schr¨odinger equations.Sci

    Yang, J., and Yang, J. Normalized solutions and mass concentration for supercritical non- linear Schr¨odinger equations.Sci. China Math.65(2022), 1383–1412

    work page 2022

  32. [32]

    Normalized multi-bump solutions of nonlinear Schr¨odinger equa- tions via variational approach.Calc

    Zhang, C., and Zhang, X. Normalized multi-bump solutions of nonlinear Schr¨odinger equa- tions via variational approach.Calc. Var. Partial Differ. Equ.61(2022), 57

    work page 2022

  33. [33]

    Master’s thesis, Jiangxi Normal University, Nanchang, 2024

    Zheng, L.Spikes Vector Solution for Coupled Nonlinear Schr¨ odinger Equations with Po- tentials. Master’s thesis, Jiangxi Normal University, Nanchang, 2024

    work page 2024