pith. sign in

arxiv: 2605.13531 · v1 · pith:GVPGVZZPnew · submitted 2026-05-13 · 🧮 math.AP

Infinitely many multi-peaks solutions for a nonlinear Hartree system

Pith reviewed 2026-05-14 18:57 UTC · model grok-4.3

classification 🧮 math.AP
keywords nonlinear Hartree systemLyapunov-Schmidt reductionmulti-peak solutionssynchronization and segregationsign-changing solutionscoupled elliptic systemradial potentials
0
0 comments X

The pith

A three-component nonlinear Hartree system possesses infinitely many multi-peak solutions with mixed synchronization, segregation, and sign patterns.

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

The paper investigates a system of three coupled nonlinear Hartree equations in three dimensions with radial potentials and coupling constants. It applies the Lyapunov-Schmidt reduction method to establish the existence of infinitely many multi-peak solutions. In these solutions certain components synchronize with each other while segregating from the remaining ones, and the profiles include both positive and sign-changing components. The construction shows how the potentials and nonlinear couplings control the solution structure, providing the first such mixed-sign examples obtained by this reduction technique.

Core claim

Applying the Lyapunov-Schmidt reduction method, the existence of infinitely many solutions is proved for the nonlinear Hartree system, where some components are synchronized but segregated from others, and some are positive while others are sign-changing. This is the first construction of solutions with positive and sign-changing components using this method, and the first study of three Hartree equations with mixed couplings.

What carries the argument

The Lyapunov-Schmidt reduction method, which reduces the infinite-dimensional variational problem to locating critical points of a finite-dimensional reduced energy functional whose variables are the peak locations and whose interactions are governed by the potentials V_i(x) and the coupling constants β_ij.

If this is right

  • Infinitely many multi-peak solutions exist for the three-component system under suitable conditions on the radial potentials and couplings.
  • Solutions exist in which some components synchronize while others segregate according to the sign of the couplings.
  • The solutions include both positive components and sign-changing components simultaneously.
  • The Lyapunov-Schmidt method extends to produce mixed-sign patterns that had not previously been obtained for Hartree systems.

Where Pith is reading between the lines

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

  • Similar peak-location reductions may apply to systems with four or more components or with different nonlocal nonlinearities.
  • The synchronized-segregated patterns could be tested for orbital stability by examining the second variation of the energy at these reduced critical points.
  • Relaxing radial symmetry of the potentials while keeping them bounded might still permit infinitely many solutions if the reduced functional retains enough critical points at large separations.

Load-bearing premise

The coupling constants β_ij must be chosen so that the reduced functional possesses the required critical points for the mixed synchronization-segregation patterns and the desired sign configurations.

What would settle it

A direct numerical minimization of the reduced functional that finds no critical points for any configuration of peak locations, under the stated radial bounded potentials and chosen couplings, would disprove the existence of such solutions.

read the original abstract

In this paper, we study the following nonlinear Hartree system: $-\Delta u_i + V_i(x)u_i = \mu_i \phi_{u_i}u_i + \sum_{j\neq i}\beta_{ij}\phi_{u_j}u_i$ for $x\in\mathbb{R}^3$, with $u_i\in H^1(\mathbb{R}^3)$ ($i=1,2,3$), where $\phi_u(x):=\int_{\mathbb{R}^3}\frac{u^2(y)}{|x-y|}dy$ for any $u\in H^1(\mathbb{R}^3)$, $V_i(x)$ ($i=1,2,3$) are continuous bounded radial functions, and $\beta_{ij}$ are coupling constants. We mainly investigate the effects of the potentials and the nonlinear coupling terms on the structure of solutions. Applying the Lyapunov-Schmidt reduction method, we prove the existence of infinitely many solutions to the system. Specifically, the solutions we obtain satisfy that some components are synchronized with each other but segregated from the others, and that some components are positive while others are sign-changing. To the best of our knowledge, it is the first time that solutions possessing some positive components and some sign-changing ones have been constructed using Lyapunov-Schmidt reduction methods. Moreover, it is also the first attempt to investigate systems consisting of three Hartree equations with mixed couplings.

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 paper studies the three-component nonlinear Hartree system −Δu_i + V_i(x)u_i = μ_i φ_{u_i} u_i + ∑_{j≠i} β_{ij} φ_{u_j} u_i in R^3, where V_i are continuous bounded radial functions and β_{ij} are constants. Using Lyapunov-Schmidt reduction on a multi-peak ansatz, the authors claim to prove the existence of infinitely many solutions in which some components are synchronized with each other but segregated from the rest, and in which some components are positive while others are sign-changing.

Significance. If the reduction is rigorously justified, the result would be significant: it supplies the first Lyapunov-Schmidt construction of Hartree-system solutions that mix positive and sign-changing components, and it treats a three-equation system with mixed couplings. The work therefore extends the range of patterns obtainable by finite-dimensional reduction in nonlocal elliptic systems and clarifies how potentials and cross-interaction terms shape solution geometry.

major comments (2)
  1. [Assumptions (Section 1)] The assumptions on the coupling constants β_{ij} are stated only as “constants” without explicit inequalities (signs and relative magnitudes) that guarantee the interaction integrals dominate the potential and self-interaction terms in the reduced energy. This is load-bearing: the existence of the required critical points for the mixed synchronization-segregation and sign patterns rests on these inequalities, yet none are supplied.
  2. [Lyapunov-Schmidt reduction (Section 3)] In the Lyapunov-Schmidt reduction (Section 3), the error estimates between the approximate multi-peak ansatz and the true solution, as well as the non-degeneracy of the linearized operator when sign-changing profiles are present, are not detailed. Without these quantitative controls the projection onto the finite-dimensional reduced functional cannot be verified.
minor comments (2)
  1. [Introduction] The notation for the Hartree potential φ_u and the precise definition of the approximate ansatz should be introduced earlier in the introduction for readability.
  2. [Equation (1.1)] A few typographical inconsistencies appear in the indexing of the coupling matrix β_{ij} in the system statement.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address the major comments point by point below and will make the necessary revisions to improve the clarity and completeness of the paper.

read point-by-point responses
  1. Referee: [Assumptions (Section 1)] The assumptions on the coupling constants β_{ij} are stated only as “constants” without explicit inequalities (signs and relative magnitudes) that guarantee the interaction integrals dominate the potential and self-interaction terms in the reduced energy. This is load-bearing: the existence of the required critical points for the mixed synchronization-segregation and sign patterns rests on these inequalities, yet none are supplied.

    Authors: We agree that the assumptions on the coupling constants β_{ij} require explicit statement with the necessary inequalities. Although the manuscript indicates that β_{ij} are constants, the specific conditions ensuring the dominance of interaction terms in the reduced energy were not detailed in Section 1. In the revised version, we will add the explicit inequalities on the signs and magnitudes of β_{ij} (for example, positive for synchronized components and negative for segregated ones) that are used to guarantee the existence of the desired critical points in the reduced functional. revision: yes

  2. Referee: [Lyapunov-Schmidt reduction (Section 3)] In the Lyapunov-Schmidt reduction (Section 3), the error estimates between the approximate multi-peak ansatz and the true solution, as well as the non-degeneracy of the linearized operator when sign-changing profiles are present, are not detailed. Without these quantitative controls the projection onto the finite-dimensional reduced functional cannot be verified.

    Authors: We acknowledge that the error estimates and the non-degeneracy analysis for the linearized operator, particularly with sign-changing profiles, could be presented with more quantitative detail in Section 3. The manuscript outlines the Lyapunov-Schmidt reduction procedure, but to strengthen the justification, we will expand this section in the revision by including the precise error bounds for the approximate ansatz and a detailed verification of the non-degeneracy of the operator, ensuring the projection step is rigorously controlled. revision: yes

Circularity Check

0 steps flagged

No circularity; standard Lyapunov-Schmidt reduction to independent finite-dimensional variational problem

full rationale

The paper applies the classical Lyapunov-Schmidt reduction to a multi-peak ansatz for the three-component Hartree system, projecting onto a finite-dimensional manifold whose reduced energy is then analyzed by standard critical-point theory. The location of critical points for the claimed synchronization-segregation and sign patterns follows from the explicit form of the interaction integrals involving the given β_ij and the radial potentials V_i; this step does not redefine any quantity in terms of itself, rename a known result, or rely on a load-bearing self-citation whose validity is internal to the paper. The assumptions on V_i (continuous, bounded, radial) and β_ij (constants) are stated externally and the reduction is self-contained once those parameters satisfy the (implicit) sign/magnitude conditions needed for the reduced functional to have the required critical points. No step reduces by construction to its own input.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The existence proof rests on standard domain assumptions for the potentials and couplings that enable the Lyapunov-Schmidt reduction; no free parameters are introduced beyond those implicit in the choice of β_ij ranges, and no new entities are postulated.

axioms (2)
  • domain assumption V_i(x) are continuous, bounded, and radial
    Invoked to preserve symmetry for the multi-peak construction and to control the interaction terms in the reduction.
  • domain assumption β_ij lie in ranges that permit synchronization or segregation
    Required for the reduced energy to possess the claimed critical points; exact intervals not stated in abstract.

pith-pipeline@v0.9.0 · 5549 in / 1399 out tokens · 36321 ms · 2026-05-14T18:57:04.959517+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

54 extracted references · 54 canonical work pages

  1. [1]

    Ackermann, On a periodic Schr¨ odinger equation with nonlocal superlinear part, Math

    N. Ackermann, On a periodic Schr¨ odinger equation with nonlocal superlinear part, Math. Z., 248 (2004), 423–443

  2. [2]

    Alves, A

    C. Alves, A. N´ obrega, M. Yang, Multi-bump solutions for Choquard equation with deepening potential well. Calc. Var. Partial Differ. Equ., 55 (2016), 28pp

  3. [3]

    Ambrosetti, G

    A. Ambrosetti, G. Cerami, D. Ruiz, Solitons of linearly coupled systems of semilinear non-autonomous equations onR n, J. Funct. Anal., 254 (2008), 2816–2845

  4. [4]

    Ambrosetti, E

    A. Ambrosetti, E. Colorado, Standing waves of some coupled nonlinear Schr¨ odinger equations. J. Lond. Math. Soc. (2), 75 (2007), 67–82

  5. [5]

    Ambrosetti, V

    A. Ambrosetti, V. Fell, A. Malchiodi, Ground states of nonlinear Schr¨ odinger equa- tions with potentials vanishing at infinity. J. Eur. Math. Soc., 7 (2005), 117–144

  6. [6]

    Chang, C

    S. Chang, C. Lin, T. Lin, W. Lin, Segregated nodal domains of two-dimensional multispecies Bose-Einstein condensates. Phys. D, 196 (2004), 341-361

  7. [7]

    Chen, Nondegeneracy of ground states and multiple semiclassical solutions of the Hartree equation for general dimensions

    G. Chen, Nondegeneracy of ground states and multiple semiclassical solutions of the Hartree equation for general dimensions. Results Math., 76 (2021), 34

  8. [8]

    Z. Chen, W. Zou, An optimal constant for the existence of least energy solutions of a coupled Schr¨ odinger system. Calc. Var. Partial Differ. Equ., 48 (2013), 695–711

  9. [9]

    Dalfovo, S

    F. Dalfovo, S. Giorgini, L. Pitaevskii and S. Stringari, Theory of Bose-Einstein con- densation in trapped gases. Rev. Mod. Phys., 71 (1999), 463-512

  10. [10]

    Elgart, B

    A. Elgart, B. Schlein, Mean field dynamics of boson stars. Comm. Pure Appl. Math., 60 (2007), 500–545

  11. [11]

    B. Esry, C. Greene, Jr. Burke and J. Bohn, Hartree-Fock theory for double conden- sates. Phys. Rev. Lett., 78 (1997), 3594-7

  12. [12]

    F. Gao, V. Moroz, M. Yang, S. Zhao, Construction of infinitely many solutions for a critical Choquard equation via local Pohozaev identities. Calc. Var. Partial Differ. Equ., 61 (2022), 47 pp

  13. [13]

    F. Gao, M. Yang, S. Zhao, Synchronized vector solutions for the nonlinear Hartree system with nonlocal interaction, Adv. Nonlinear Stud., 25 (2025), 86–105

  14. [14]

    F. Gao, M. Yang, S. Zhao, Non-radial segregated solutions for a coupled Hartree system with weak interspecies forces, Nonlinearity, 39 (2026), 19 pp

  15. [15]

    Q. Geng, Y. Dong, J. Wang, Existence and multiplicity of nontrivial solutions of weakly coupled nonlinear Hartree type elliptic system. Z. Angew. Math. Phys., 73 (2022), 25PP

  16. [16]

    Q. Guo, P. Luo, C. Wang, J. Yang, Existence and local uniqueness of normalized peak solutions for a Schr¨ odinger-Newton system. Ann. Sc. Norm. Super. Pisa Cl. Sci., 24 (2023), 879–925

  17. [17]

    Q. He, X. Luo, A positive solution of a nonlinear Schr¨ odinger system with noncon- stant potentials. Sci. China Math., 60 (2017), 2407–2420

  18. [18]

    Q. He, S. Peng, C. Wang and X. Zhong, Infinitely many synchronized and segregated vector solutions for a nonlinear Hartree system, Calc. Var. Partial Differ Equ., 65 (2026), No. 157. 27

  19. [19]

    Q. He, S. Peng, Synchronized vector solutions to an elliptic system. Proc. Amer. Math. Soc., 144 (2016), 4055–4063

  20. [20]

    Y. Hu, A. Jevnikar, W. Xie, Infinitely many solutions for Schr¨ odinger-Newton equa- tions. Comm. Contemp. Math., 25 (2023), 19 pp

  21. [21]

    Lenzmann, Uniqueness of ground states for pseudorelativistic Hartree equations

    E. Lenzmann, Uniqueness of ground states for pseudorelativistic Hartree equations. Anal. PDE, 2 (2009), 1–27

  22. [22]

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

  23. [23]

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

  24. [24]

    Lieb, Existence and uniqueness of the minimizing solution of Choquard’s nonlinear equation

    E. Lieb, Existence and uniqueness of the minimizing solution of Choquard’s nonlinear equation. Studies Appl. Math., 77 (1976), 93–105

  25. [25]

    T. Lin , J. Wei, Ground state ofN-coupled nonlinear Schr¨ odinger equations in Rn, n≤3. Comm. Math. Phys., 255 (2005), 629–653

  26. [26]

    Lions, The Choquard equation and related questions

    P. Lions, The Choquard equation and related questions. Nonlinear Anal., 4 (1980), 1063–1072

  27. [27]

    P. L. Lions, The concentration-compactness principle in the calculus of variations. The limit case, Part 1. Rev. Mat. Iberoam. 1 (1985), 145–201

  28. [28]

    P. L. Lions, The concentration-compactness principle in the calculus of variations. The limit case, Part 2. Rev. Mat. Iberoam. 1 (1985), 45–121

  29. [29]

    H. Liu, Z. Liu, Ground states of a nonlinear Schr¨ odinger system with nonconstant potentials. Sci. China. Math., 58 (2015), 257–278

  30. [30]

    H. Liu, Z. Liu, Positive solutions of a nonlinear Schr¨ odinger system with nonconstant potentials. Disc. Contin. Dyn. Syst., 36 (2016), 1431–1464

  31. [31]

    S. Liu, C. Wang, Q. Wang On vector solutions of nonlinear Schr¨ odinger systems with mixed potentials J. Diff. Equ., 411 (2024), 506–530

  32. [32]

    W. Long, Z. Tang, S. Yang, Many synchronized vector solutions for a Bose-Einstein system. Proc. Roy. Soc. Edinburgh Sect A 150 (2020), 3293–3320

  33. [33]

    P. Luo, S. Peng, C. Wang, Uniqueness of positive solutions with concentration for the Schr¨ odinger-Newton problem. Calc. Var. Partial Differ. Equ., 59 (2020), 41pp

  34. [34]

    L. Ma, L. Zhao, Classification of positive solitary solutions of the nonlinear Choquard equation. Arch. Ration. Mech. Anal., 195 (2010), 455–67

  35. [35]

    Mitchell, M

    M. Mitchell, M. Segev, Self-trapping of inconherent white light. Nature, 387 (1997), 880–882

  36. [36]

    Moroz, P

    I. Moroz, P. Tod, An analytical approach to the Schr¨ odinger-Newton equations. Non- linearity, 12 (1999), 201–216

  37. [37]

    Moroz, J

    V. Moroz, J. Van Schaftingen, Groundstates of nonlinear Choquard equations: ex- istence, qualitative properties and decay asymptotics. J. Funct. Anal., 265 (2013), 153–184

  38. [38]

    Moroz, J

    V. Moroz, J. Van Schaftingen, Existence of groundstates for a class of nonlinear Choquard equations. Trans. Amer. Math. Soc., 367 (2015), 6557–6579

  39. [39]

    Pekar, Untersuchung ¨ uber die Elektronentheorie der Kristalle (Akademie Verlag), 1954

    S. Pekar, Untersuchung ¨ uber die Elektronentheorie der Kristalle (Akademie Verlag), 1954. 28 QIHAN HE AND QINGF ANG W ANG

  40. [40]

    S. Peng, Q. Wang, Z.-Q. Wang, On coupled nonlinear Schr¨ odinger systems with mixed couplins. Trans. Amer. Math. Soc., 371(2019), 7559–7583

  41. [41]

    S. Peng, Z. Wang, Segregated and synchronized vector solutions for nonlinear Schr¨ odinger systems. Arch. Ration. Mech. Anal., 208 (2013), 305–339

  42. [42]

    Pistoia, G

    A. Pistoia, G. Vaira, Segregated solutions for nonlinear Schr¨ odinger systems with weak interspecies force. Comm. PDEs, 47 (2022), 2146–2179

  43. [43]

    R¨ uegg, ect., Bose-Einstein condensation of the triple states in the magnetic insulator TlCuCl3

    Ch. R¨ uegg, ect., Bose-Einstein condensation of the triple states in the magnetic insulator TlCuCl3. Nature, 423 (2003), 62–65

  44. [44]

    D. Ruiz, J. Van Schaftingen, Odd symmetry of least energy nodal solutions for the Choquard equation. J. Differ. Equ., 264 (2018), 1231–1262

  45. [45]

    C. Wang, J. Zhou, Infinitely many synchronized solutions to a nonlinearly cou- pled Schr¨ odinger equations with non symmetric potentials. Methods Appl. Anal., 27 (2020), 243–73

  46. [46]

    Wang, Classification and qualitative analysis of positive solutions of the nonlinear Hartree type system

    J. Wang, Classification and qualitative analysis of positive solutions of the nonlinear Hartree type system. Math. Z., 306 (2024),

  47. [47]

    J. Wang, J. Shi, Standing waves for a coupled nonlinear Hartree equations with nonlocal interaction. Calc. Var. Partial Differ. Equ., 56 (2017),36 pp

  48. [48]

    J. Wang, W. Yang, Normalized solutions and asymptotical behavior of minimizer for the coupled Hartree equations. J. Differ. Equ., 265 (2018), 501–544

  49. [49]

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

  50. [50]

    J. Wei, M. Winter, Strongly interacting bumps for the Schr¨ odinger-Newton equations. J. Math. Phys., 50 (2009), 012905

  51. [51]

    J. Wei, Y. Wu, Ground states of nonlinear Schr¨ odinger systems with mixed couplings. J. Math. Pures Appl., 141 (2020), 50–88

  52. [52]

    J. Wei, W. Yao, Uniqueness of positive solutions to some coupled nonlinear Schr¨ odinger equations. Comm. Pure Appl. Anal. 11 (2012), 1003–1011

  53. [53]

    M. Yang, Y. Wei, Y. Ding, Existence of semiclassical states for a coupled Schr¨ odinger system with potentials and nonlocal nonlinearities. Z. Angew. Math. Phys., 65 (2014), 41–68

  54. [54]

    W. Ye, F. Gao, V. D. R˘ adulescu, M. Yang, Construction of infinitely many solutions for two-component Bose-Einstein condensates with nonlocal critical interaction. J. Differ. Equ., 375 (2023), 415–474. (Qihan He)College of Mathematics and Information Sciences & Center for Applied Mathematics of Guangxi (Guangxi University), Guangxi University, Guangxi 53...