Pith. sign in

REVIEW 6 minor 21 references

On Sirakov's equal-frequency uniqueness conjecture

T0 review · 0 major / 6 minor · reviewed 2026-07-31 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Every positive solution of the equal-frequency two-component cubic Schrödinger system in dimensions 2 and 3 is a simultaneous translate of one synchronized state, settling Sirakov’s uniqueness conjecture for the full weak-coupling range.

desk verdict Clean full-range resolution of the remaining weak-coupling half of Sirakov’s equal-frequency uniqueness conjecture in N=2,3 via a common-potential weighted Pohozaev argument. read the letter →

arxiv 2607.28279 v1 pith:IV4N7EDB submitted 2026-07-30 math.AP math-phmath.MP

Hong-Ge Chen , Yong Liu , Juncheng Wei , Wen Yang This is my paper · ORCID
classification math.APmath-phmath.MP MSC 35J4735J5035B4035B65
keywords couplednonlinearSchrödingersystempositivesolutionuniquenesssynchronisationPohozaevidentityequal-frequencyweakcoupling
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Two interacting waves or condensates with the same linear frequency obey a cubic Schrödinger system whose positive standing waves were conjectured, by Sirakov, to be unique up to joint translation once the coupling is positive but weaker than either self-interaction. Earlier work settled the strong-coupling side and only thin slices of the weak-coupling side. This paper closes the remaining intermediate interval in dimensions two and three: after a normalization that puts both components under a single self-consistent potential, a carefully weighted Pohozaev functional (with a correction that cancels potential derivatives) is shown to stay strictly positive; that sign forces the component ratio to be constant, so both profiles collapse to the same scalar ground state. The result classifies all positive finite-energy solutions, not merely ground states, and completes the equal-frequency uniqueness picture outside the interval where no positive solutions exist.

What carries the argument

A weighted system Pohozaev functional J together with the corrected functional K = J − (ε a/4) P²; after the common-potential normalization, K′ reduces to an explicit one-dimensional expression whose sign (using N = 2 or 3) yields K > 0 and J > 0 everywhere, which then locks the signs of the ratio derivative and an auxiliary quotient Z and forces the two components to coincide.

What would settle it

Exhibit a positive radial solution of the normalized common-potential system in dimension 2 or 3 with unequal central values y1(0) ≠ y2(0), or any non-synchronized positive H¹ solution of the original system for some 0 < β < μ1.

Watch

Extended reading notes

Core claim

For N in {2,3}, 0 < μ1 ≤ μ2 and 0 < β < μ1, every positive solution (u,v) in H¹(ℝᴺ)×H¹(ℝᴺ) of the equal-frequency system is, after a simultaneous translation, exactly the synchronized pair built from the unique positive radial solution w of −Δw + w = w³ by the explicit scaling factors √((μ2−β)/D) and √((μ1−β)/D), where D = μ1μ2 − β².

Load-bearing premise

The strict positivity of the corrected Pohozaev functional rests on the dimension being exactly two or three; the sign pattern of its derivative changes outside those dimensions and the later ratio argument would no longer close.

Editorial extensions

If this is right

  • Combined with the known strong-coupling uniqueness, equal-frequency uniqueness holds for every positive coupling outside [μ1, μ2] in dimensions 2 and 3.
  • All positive finite-energy standing waves—not only least-energy ones—are classified; higher-energy positive solutions cannot exist in the weak-coupling range.
  • When β = 0 the components may still be translated independently, and at the upper endpoint β = μ1 = μ2 a continuous family of solutions appears, so both endpoints remain genuinely exceptional.
  • The common-potential reduction plus cancellation-based weighted Pohozaev identity supplies a template that could be tested on other cooperative cubic systems with matched linear frequencies.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same cancellation idea may extend to systems with more than two components if a shared self-consistent potential can still be arranged, though the sign analysis would need a fresh weight choice.
  • Because the argument never uses variational minimization, it suggests that uniqueness of positive solutions can sometimes be obtained by ODE flux identities even when the energy landscape is not fully understood.
  • Dimensions N ≥ 4 remain open; a counter-example or a modified weight there would sharply delineate how much of the result is dimensional versus structural.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 6 minor

Summary. The paper proves Sirakov’s equal-frequency uniqueness conjecture in the weak-coupling range: for N∈{2,3}, 0<μ1≤μ2 and 0<β<μ1, every positive H¹ solution of the two-component cubic Schrödinger system is a simultaneous translate of the synchronized state built from the unique positive radial solution w of −Δw+w=w³. After a common-potential normalization (u,v)=(λ1 y1, λ2 y2), the authors construct a weighted system Pohozaev functional J together with a correction K=J−(εa/4)P², prove K>0 and J>0 for all r>0 when m=N−1∈{1,2}, and combine this positivity with a radial flux identity for the ratio η=y2/y1 and an auxiliary quotient Z to rule out unequal central values, forcing y1≡y2. Scalar uniqueness (Kwong) and moving planes (Busca–Sirakov) then yield the full classification.

Significance. The result closes the remaining intermediate interval in the weak-coupling range left open by Ikoma, Wei–Yao, Chen–Zou, Zhou–Wang and Mandel, and together with the known strong-coupling theorem gives equal-frequency uniqueness for every positive coupling outside [μ1,μ2] in dimensions two and three. The argument is a complete classical ODE/PDE proof with an explicit cancellation principle for a common self-consistent potential; the corrected functional K and the quotient Z are new and potentially reusable for other cooperative cubic systems. The dimensional restriction N∈{2,3} is essential and openly stated, matching the range where the scalar ground state is known to be unique.

minor comments (6)
  1. [Section 3] Section 3 heading reads “NEWPOHOZAEV TYPE FUNCTIONS”; insert a space (“NEW POHOZAEV”).
  2. [Section 3] Just before (3.1): “Form∈ {1,2}” should be “For m∈ {1,2}”.
  3. [Section 1] In the introduction, the phrase “a neighbourhood of the upper endpoint” is slightly informal; “a neighborhood of the upper endpoint β=μ1” would be clearer on first occurrence.
  4. [Lemma 2.2] Lemma 2.2 invokes Strauss’s radial lemma for decay; a one-line reminder that the L² radial embedding gives the pointwise decay used for Qi→1 would help non-specialist readers.
  5. [Lemma 3.3] In (3.9) the two displayed expressions for the leading coefficient are equivalent only because m(3−m)=2 for m∈{1,2}; a brief parenthetical would make the reduction immediate.
  6. [Remark 5.2] Remark 5.2 on the endpoint β=μ is useful; cross-referencing it already in the introduction (where the family is mentioned) would tighten the exposition.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: uniqueness is derived from self-contained weighted Pohozaev identities and ratio analysis, not assumed or fitted.

full rationale

The paper proves Sirakov's equal-frequency uniqueness conjecture in the weak-coupling range by an independent analytic argument. After a parameter normalization that puts both components under a common potential V=1−εP, the authors construct weighted functionals J_i, J and a corrected K whose derivative reduces to an explicit one-dimensional expression (Lemma 3.2). Positivity of K and J for all r>0 follows by integrating that expression against the known boundary values at 0 and ∞, using only m=N−1∈{1,2} (Proposition 3.4). Synchronization is then forced by combining J>0 with the flux identity for η=y2/y1 and the auxiliary quotient Z: unequal central values produce contradictory signs for Z (Lemma 4.4, Proposition 4.5). The scalar profile is identified with Kwong's unique positive radial solution of −Δw+w=w³, and nonradial solutions are reduced by the external Busca–Sirakov moving-plane theorem. Background self-citations (Wei–Yao strong coupling, Ikoma/Chen–Zou near-endpoint results) only locate the open interval; none is load-bearing for the weak-coupling identities. There is no fitted parameter renamed as a prediction, no self-definitional loop, and no uniqueness theorem of the present authors imported to forbid alternatives. The derivation is self-contained against external classical benchmarks.

Assumptions & free parameters 0 free parameters · 6 assumptions · 1 invented entities

Load-bearing inputs are standard theorems of elliptic PDE/ODE and the problem’s structural hypotheses (equal frequencies, cubic cooperativity, N∈{2,3}, weak coupling). No fitted constants. The weighted functionals and quotient Z are proof constructions, not new physical entities.

assumptions (6)
  • standard math Kwong’s theorem: unique positive radial H¹ solution of −Δw+w=w³ in ℝᴺ (N=2,3).
    Invoked after synchronization to identify the common profile with w (end of §4 roadmap; Proof of Theorem 1.1).
  • standard math Busca–Sirakov moving-planes symmetry: positive H¹ solutions of the system are radially symmetric about some common point.
    Used to pass from radial uniqueness (Theorem 1.1) to full uniqueness modulo simultaneous translations (Corollary 1.3).
  • domain assumption Equal linear frequencies and cubic structure permit a common-potential normalization V=1−εP with shared V for both components.
    Lemma 2.1; without equal frequencies the common-potential reduction and the cancellation in K′ fail.
  • domain assumption Dimension restriction N∈{2,3} so that m=N−1∈{1,2} yields the sign pattern of K′ needed for K>0.
    Proposition 3.4 case split; stated in the abstract and Theorem 1.1.
  • domain assumption Weak-coupling hypothesis 0<β<μ1 (with μ1≤μ2) so that D>0, 0<δ<1, ε>0, θi>0.
    Lemma 2.1 / (2.2); defines the regime of the conjecture being settled.
  • standard math Strauss radial lemma and standard elliptic regularity for positive H¹ solutions of subcritical cubic systems in N≤3.
    Lemma 2.2 decay and smoothness; classical background.
invented entities (1)
  • Corrected weighted system Pohozaev functional K=J−(εa/4)P² and auxiliary ratio quotient Z=X/D
    purpose: Produce a strictly positive quantity whose sign locks the component-ratio derivative, forcing synchronization.
    Defined in (3.6) and (4.6); pure proof devices with no independent ontological claim beyond the identities proved for them.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On Sirakov's equal-frequency uniqueness conjecture." pith.science (2026). https://pith.science/paper/IV4N7EDB

@misc{pith2026260728279,
  author       = {Pith},
  title        = {Pith review of: On Sirakov's equal-frequency uniqueness conjecture},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IV4N7EDB}},
  note         = {Machine review of arXiv:2607.28279}
}
abstract

Let $N\in\{2,3\}$, $0<\mu _1\leq\mu _2$, and $0<\beta<\mu _1$. We prove that the equal-frequency two-component cubic Schr\"odinger system \[ -\Delta u+u=\mu _1u^3+\beta uv^2, \qquad -\Delta v+v=\mu _2v^3+\beta u^2v \quad\text{in }\mathbb{R}^N \] has exactly one positive solution in $H^1(\mathbb{R}^N)\times H^1(\mathbb{R}^N)$ modulo simultaneous translations. More precisely, every positive solution is a simultaneous translate of the synchronized state constructed from the unique positive radial solution of $-\Delta w+w=w^3$ in $\mathbb{R}^N$. This settles Sirakov's equal-frequency uniqueness conjecture throughout the weak-coupling range. The main difficulty in the proof is to exclude radial solutions for which the ratio of the normalized components is nonconstant. After normalization, the two components satisfy scalar equations with a common potential. We construct a weighted Pohozaev functional for the system together with a correction term and prove that both the corrected functional and the associated weighted functional are strictly positive. Combining these sign properties with a radial flux identity and an auxiliary quotient associated with the component ratio forces synchronization.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 17 canonical work pages

  1. [1]

    Bartsch, Z.Q

    T. Bartsch, Z.Q. Wang, and J. Wei,Bound states for a coupled Schr ¨odinger system, J. Fixed Point Theory Appl. 2 (2007), 353–367. doi:10.1007/s11784-007-0033-6

    work page doi:10.1007/s11784-007-0033-6 2007

  2. [2]

    Bartsch, X

    T. Bartsch, X. Zhong, and W. Zou,Normalized solutions for a coupled Schr ¨odinger system, Math. Ann.380(2021), 1713–1740. doi:10.1007/s00208-020-02000-w

    work page doi:10.1007/s00208-020-02000-w 2021

  3. [3]

    Berestycki, P.-L

    H. Berestycki, P.-L. Lions, and L. A. Peletier,An ODE approach to the existence of posi- tive solutions for semilinear problems in RN , Indiana Univ. Math. J.30(1981), 141–157. doi:10.1512/iumj.1981.30.30012

    work page doi:10.1512/iumj.1981.30.30012 1981

  4. [4]

    Busca and B

    J. Busca and B. Sirakov,Symmetry results for semilinear elliptic systems in the whole space, J. Differential Equations163(2000), 41–56. doi:10.1006/jdeq.1999.3701

    arXiv 2000

  5. [5]

    Chen and W

    Z. Chen and W. Zou,An optimal constant for the existence of least energy solutions of a coupled Schr ¨odinger system, Calc. Var. Partial Differential Equations48(2013), 695–711. doi:10.1007/s00526-012-0568-2

    work page doi:10.1007/s00526-012-0568-2 2013

  6. [6]

    Ikoma,Uniqueness of positive solutions for a nonlinear elliptic system, Nonlinear Differential Equations Appl.16(2009), 555–567

    N. Ikoma,Uniqueness of positive solutions for a nonlinear elliptic system, Nonlinear Differential Equations Appl.16(2009), 555–567. doi:10.1007/s00030-009-0017-x

    work page doi:10.1007/s00030-009-0017-x 2009

  7. [7]

    Kawano, W.-M

    N. Kawano, W.-M. Ni, and S. Yotsutani,A generalized Pohozaev identity and its applications, J. Math. Soc. Japan42(1990), 541–564. doi:10.2969/jmsj/04230541

    arXiv 1990

  8. [8]

    M. K. Kwong,Uniqueness of positive solutions of ∆u−u+u p = 0 in Rn, Arch. Rational Mech. Anal.105(1989), 243–266. doi:10.1007/BF00251502

    work page doi:10.1007/bf00251502 1989

Show all 21 references
  1. [9]

    Lin and J

    T.-C. Lin and J. Wei,Ground state of N coupled nonlinear Schr¨odinger equations in Rn, n≤3 , Comm. Math. Phys.255(2005), 629–653. doi:10.1007/s00220-005-1313-x

    2005 doi

  2. [10]

    Lin and J

    T.-C. Lin and J. Wei,Erratum: Ground state of N coupled nonlinear Schr¨odinger equations in Rn,n≤3, Comm. Math. Phys.277(2008), 573–576. doi:10.1007/s00220-007-0365-5

    2008 doi

  3. [11]

    Lin and J

    T.-C. Lin and J. Wei,Spikes in two coupled nonlinear Schr ¨odinger equations, Ann. Inst. H. Poincar´e Anal. Non Lin´eaire22(2005), 403–439. doi:10.1016/j.anihpc.2004.03.004

    2005 doi

  4. [12]

    Lin and J

    T.-C. Lin and J. Wei,Spikes in two-component systems of nonlinear Schr ¨odinger equations with trapping potentials, J. Differential Equations229(2006), 538–569. doi:10.1016/j.jde.2005.12.011

    2006 doi

  5. [13]

    Lin and J

    T.-C. Lin and J. Wei,Solitary and self-similar solutions of two-component system of nonlinear Schr¨odinger equations, Phys. D220(2006), 99–115. doi:10.1016/j.physd.2006.07.009

    2006 doi

  6. [14]

    Lin and J

    T.-C. Lin and J. Wei,Symbiotic bright solitary wave solutions of coupled nonlinear Schr ¨odinger equations, Nonlinearity19(2006), 2755–2773. doi:10.1088/0951-7715/19/12/002

    2006 doi

  7. [15]

    Mandel,Uniqueness results for semilinear elliptic systems onR n, Math

    R. Mandel,Uniqueness results for semilinear elliptic systems onR n, Math. Nachr.287(2014), 1828–1836. doi:10.1002/mana.201300130

    2014 doi

  8. [16]

    Shioji and K

    N. Shioji and K. Watanabe,A generalized Pohoˇzaev identity and uniqueness of positive radial solutions of ∆u+g(r)u+h(r)u p = 0 , J. Differential Equations255(2013), 4448–4475. doi:10.1016/j.jde.2013.08.017. 22 H.G. CHEN, Y . LIU, J.C. WEI, AND W. Y ANG

    2013 doi

  9. [17]

    Sirakov,Least energy solitary waves for a system of nonlinear Schr ¨odinger equations in Rn, Comm

    B. Sirakov,Least energy solitary waves for a system of nonlinear Schr ¨odinger equations in Rn, Comm. Math. Phys.271(2007), 199–221. doi:10.1007/s00220-006-0179-x

    2007 doi

  10. [18]

    W. A. Strauss,Existence of solitary waves in higher dimensions, Comm. Math. Phys.55(1977), 149–162. doi:10.1007/BF01626517

    1977 doi

  11. [19]

    Wei and W

    J. Wei and W. Yao,Uniqueness of positive solutions to some coupled nonlinear Schr ¨odinger equations, Commun. Pure Appl. Anal.11(2012), 1003–1011. doi:10.3934/cpaa.2012.11.1003

    2012 doi

  12. [20]

    J. Wei, X. Zhong, and W. Zou,On Sirakov’s open problem and related topics, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5)23(2022), 959–992. doi:10.2422/2036-2145.202010 010

    2022

  13. [21]

    Zhou and Z.-Q

    L. Zhou and Z.-Q. Wang,Uniqueness of positive solutions to some Schr ¨odinger systems, Nonlin- ear Anal.195(2020), 111750. doi:10.1016/j.na.2020.111750. HONG-GECHEN, SCHOOL OFMATHEMATICS ANDSTATISTICS, KEYLABORATORY OFNON- LINEARANALYSIS& APPLICATIONS(MINISTRY OFEDUCATION), CE...

    2020

Pith tools

Reviewed July 31, 2026 · model on record in the stance chip above.