pith. sign in

arxiv: 2606.25090 · v1 · pith:47A6EYZKnew · submitted 2026-06-23 · 🧮 math.AP

Ground states for strongly indefinite Schr\"{o}dinger equations with competing nonlinearities

Bartosz Bieganowski This is my paper

Pith reviewed 2026-06-25 23:12 UTC · model grok-4.3

classification 🧮 math.AP
keywords strongly indefinite Schrödinger equationcompeting nonlinearitiesground statevariational methodslinking theoremcritical pointspure power nonlinearities
0
0 comments X

The pith

For sufficiently small positive λ, the energy functional of a strongly indefinite Schrödinger equation with competing powers has a least-energy nontrivial critical point.

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

The paper surveys variational methods suited to Schrödinger equations whose energy functionals are strongly indefinite because of the linear operator's spectrum. It presents the generalized linking theorem as a tool for locating critical points when the nonlinear contribution can change sign. A new result is proved for the specific case of two competing power nonlinearities with exponents q and p where 2 < q < p < 2*. When the coefficient λ multiplying the lower power is small enough, the functional admits a critical point that achieves the smallest possible energy among all nontrivial critical points. This establishes existence of a ground state solution for the associated elliptic equation on the whole space.

Core claim

For the competing pure-power case with f(u)=|u|^{p-2}u and g(u)=|u|^{q-2}u where 2<q<p<2*, for λ>0 sufficiently small the corresponding strongly indefinite functional possesses a nontrivial critical point of least energy among all nontrivial critical points.

What carries the argument

The energy functional J(u) = 1/2 ||u+||^2 - 1/2 ||u-||^2 - ∫ F(u) dx + λ ∫ G(u) dx, where the splitting X = X+ ⊕ X- is induced by the spectral gap of the linear Schrödinger operator, combined with the generalized linking theorem.

If this is right

  • Ground state solutions exist for the PDE with competing nonlinearities when λ is small.
  • The minimal energy among nontrivial critical points is achieved variationally.
  • The linking geometry persists despite the sign-changing nonlinearity.
  • The abstract multiplicity theory applies in this concrete setting.

Where Pith is reading between the lines

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

  • The result may extend to other sign-changing nonlinearities with similar growth.
  • Similar linking arguments could address systems or magnetic Schrödinger problems.
  • Numerical minimization on the linking set for small λ could locate the ground state profile explicitly.

Load-bearing premise

The linear Schrödinger operator admits a spectral gap inducing the orthogonal splitting of the space into positive and negative parts, and the nonlinearities are pure powers satisfying 2 < q < p < 2*.

What would settle it

A sequence of small positive λ values where the infimum of the functional over the linking set is not attained at any critical point would disprove the existence claim.

read the original abstract

We survey recent variational methods for strongly indefinite Schr\"{o}dinger equations with sign-changing nonlinearities. The main object is an energy functional of the form \[ J(u)=\frac12\|u^+\|^2-\frac12\|u^-\|^2 -\int_{\mathbb{R}^N}F(u)\,dx+\lambda\int_{\mathbb{R}^N}G(u)\,dx, \] where the splitting $X=X^+\oplus X^-$ is induced by a spectral gap of the linear Schr\"{o}dinger operator, and where the nonlinear part \[ I(u)=\int_{\mathbb{R}^N}F(u)\,dx-\lambda\int_{\mathbb{R}^N}G(u)\,dx \] is allowed to change sign. We discuss the generalized linking theorem developed for such functionals, and the abstract multiplicity theory for critical orbits in dislocation spaces. In the final part, we prove a new ground state result for the competing pure-power case \[ f(u)=|u|^{p-2}u,\qquad g(u)=|u|^{q-2}u,\qquad 2<q<p<2^*. \] More precisely, for $\lambda>0$ sufficiently small, the corresponding strongly indefinite functional possesses a nontrivial critical point of least energy among all nontrivial critical points.

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 / 2 minor

Summary. The manuscript surveys variational methods for strongly indefinite Schrödinger equations with sign-changing nonlinearities. The energy functional is J(u) = ½‖u⁺‖² − ½‖u⁻‖² − ∫F(u) dx + λ∫G(u) dx, with the splitting X = X⁺ ⊕ X⁻ induced by a spectral gap of the linear operator. It discusses the generalized linking theorem and abstract multiplicity theory for critical orbits in dislocation spaces. In the final part, for the competing pure-power case f(u) = |u|^{p−2}u, g(u) = |u|^{q−2}u with 2 < q < p < 2*, it proves that for λ > 0 sufficiently small the functional possesses a nontrivial critical point of least energy among all nontrivial critical points.

Significance. If the result holds, the paper contributes a new ground-state existence theorem for strongly indefinite problems with competing nonlinearities, obtained via the generalized linking theorem. The survey component consolidates recent advances in the area and may serve as a reference for researchers working on indefinite variational problems.

major comments (1)
  1. [Final part] Final part (proof of the ground-state result): the argument invokes the generalized linking theorem on J, but the manuscript should explicitly confirm that the linking geometry holds for the competing powers (in particular, that the mountain-pass geometry on the positive subspace is preserved under the perturbation for small λ) and that the Palais–Smale condition is verified at the linking level; these verifications are load-bearing for the existence claim.
minor comments (2)
  1. [Introduction / Abstract] The abstract states that the paper both surveys methods and proves a new result; the introduction should clarify the proportion of survey versus original material and indicate which sections contain the new proof.
  2. [Abstract] Notation: the functional I(u) is defined after J(u) but is not used in the displayed formula for J; a brief sentence relating I to the perturbation term would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the recommendation for minor revision. We address the single major comment below.

read point-by-point responses

  1. Referee: [Final part] Final part (proof of the ground-state result): the argument invokes the generalized linking theorem on J, but the manuscript should explicitly confirm that the linking geometry holds for the competing powers (in particular, that the mountain-pass geometry on the positive subspace is preserved under the perturbation for small λ) and that the Palais–Smale condition is verified at the linking level; these verifications are load-bearing for the existence claim.

    Authors: We agree that explicit verification of the linking geometry and Palais-Smale condition strengthens the ground-state result. In the revised manuscript we will insert a short dedicated paragraph (or subsection) immediately before the application of the generalized linking theorem. There we will confirm that, for λ sufficiently small, the mountain-pass geometry on X⁺ is preserved: the term λ∫G(u) dx is controlled in C¹-norm on bounded sets of X⁺ by the subcritical growth of g and the continuous embedding X⁺↪L^q, so the unperturbed mountain-pass geometry of the pure p-power functional carries over. We will also record the verification of the Palais-Smale condition at the linking level by combining the spectral-gap decomposition with the standard compactness argument for competing powers (using the fact that any PS sequence is bounded and that the difference of the two power terms yields a compact perturbation). These additions are purely expository and do not change the proof strategy. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper surveys variational methods for strongly indefinite functionals and proves an existence result for a least-energy critical point when λ is small, via the generalized linking theorem applied to a functional with spectral splitting X = X⁺ ⊕ X⁻ and competing powers 2 < q < p < 2*. The central claim is an independent existence theorem resting on the linking geometry and power assumptions stated in the abstract; no step reduces by construction to a fitted input, self-definition, or load-bearing self-citation chain. The linking theorem is invoked as a developed tool rather than derived within the paper, and the result is presented as new without renaming known patterns or smuggling ansatzes.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is available; the ledger is therefore minimal and based solely on statements in the abstract.

axioms (2)
  • domain assumption Existence of a spectral gap for the linear Schrödinger operator that induces the orthogonal splitting X = X⁺ ⊕ X⁻
    Invoked in the abstract to define the energy functional J(u).
  • domain assumption The nonlinearities satisfy 2 < q < p < 2*
    Stated in the abstract for the pure-power case.

pith-pipeline@v0.9.1-grok · 5759 in / 1289 out tokens · 27948 ms · 2026-06-25T23:12:21.982076+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

21 extracted references · 1 linked inside Pith

  1. [1]

    Ambrosetti and P

    A. Ambrosetti and P. H. Rabinowitz,Dual variational methods in critical point theory and applications, J. Funct. Anal.14(1973), 349–381

    1973

  2. [2]

    Bernini and B

    F. Bernini and B. Bieganowski,Generalized linking-type theorem with applications to strongly indefinite problems with sign-changing nonlinearities, Calc. Var. Partial Differential Equations61(2022), Art. 182

    2022

  3. [3]

    Bernini, B

    F. Bernini, B. Bieganowski, and D. Strzelecki,Multiplicity of critical orbits to nonlinear, strongly indefinite functionals with sign-changing nonlinear part, Calc. Var. Partial Differential Equations64(2025), Art. 234

    2025

  4. [4]

    Brezis and E

    H. Brezis and E. Lieb,A relation between pointwise convergence of functions and convergence of functionals, Proc. Amer. Math. Soc.88(1983), 486–490

    1983

  5. [5]

    A. V. Buryak, P. Di Trapani, D. V. Skryabin, and S. Trillo,Optical solitons due to quadratic nonlinearities: from basic physics to futuristic applications, Phys. Rep.370(2002), 63–235

    2002

  6. [6]

    S. Chen, C. Wang,An infinite-dimensional linking theorem without upper semi-continuous assumptions and its applications, J. Math. Anal. Appl.420(2014), 1552–1567

    2014

  7. [7]

    F. O. de Paiva, W. Kryszewski, and A. Szulkin,Generalized Nehari manifold and semilinear Schrödinger equation with weak monotonicity condition on the nonlinear term, Proc. Amer. Math. Soc.145(2017), 4783–4794

    2017

  8. [8]

    Jeanjean and K

    L. Jeanjean and K. Tanaka,A positive solution for an asymptotically linear elliptic problem onRN autonomous at infinity, ESAIM Control Optim. Calc. Var.7(2002), 597–614

    2002

  9. [9]

    Kryszewski and A

    W. Kryszewski and A. Szulkin,Generalized linking theorem with an application to a semilinear Schrödinger equation, Adv. Differential Equations3(1998), 441–472

    1998

  10. [10]

    Kuchment,The mathematics of photonic crystals, inMathematical Modeling in Optical Science, Frontiers Appl

    P. Kuchment,The mathematics of photonic crystals, inMathematical Modeling in Optical Science, Frontiers Appl. Math.22, SIAM, Philadelphia, 2001, pp. 207–272

    2001

  11. [11]

    Li, Z.-Q

    Y. Li, Z.-Q. Wang, and J. Zeng,Ground states of nonlinear Schrödinger equations with potentials, Ann. Inst. H. Poincaré Anal. Non Linéaire23(2006), no. 6, 829–837

    2006

  12. [12]

    Lions,The concentration-compactness principle in the calculus of variations

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

    1984

  13. [13]

    Liu,On superlinear Schrödinger equations with periodic potential, Calc

    S. Liu,On superlinear Schrödinger equations with periodic potential, Calc. Var. Partial Differential Equations45 (2012), no. 1–2, 1–9

    2012

  14. [14]

    Mederski,Ground states of a system of nonlinear Schrödinger equations with periodic potentials, Comm

    J. Mederski,Ground states of a system of nonlinear Schrödinger equations with periodic potentials, Comm. Partial Differential Equations41(2016), 1426–1440

    2016

  15. [15]

    Pankov,Periodic nonlinear Schrödinger equation with application to photonic crystals, Milan J

    A. Pankov,Periodic nonlinear Schrödinger equation with application to photonic crystals, Milan J. Math.73 (2005), 259–287

    2005

  16. [16]

    P. H. Rabinowitz,On a class of nonlinear Schrödinger equations, Z. Angew. Math. Phys.43(1992), 270–291

    1992

  17. [17]

    Reed and B

    M. Reed and B. Simon,Methods of Modern Mathematical Physics. IV. Analysis of Operators, Academic Press, New York, 1978

    1978

  18. [18]

    R. E. Slusher and B. J. Eggleton (eds.),Nonlinear Photonic Crystals, Springer, Berlin, 2003

    2003

  19. [19]

    Szulkin and T

    A. Szulkin and T. Weth,Ground state solutions for some indefinite variational problems, J. Funct. Anal.257 (2009), 3802–3822

    2009

  20. [20]

    Tintarev and K.-H

    K. Tintarev and K.-H. Fieseler,Concentration Compactness: Functional-Analytic Grounds and Applications, Imperial College Press, London, 2007

    2007

  21. [21]

    Troestler,Bifurcation into spectral gaps for a noncompact semilinear Schrödinger equation with non-convex potential, arXiv:1207.1052

    C. Troestler,Bifurcation into spectral gaps for a noncompact semilinear Schrödinger equation with non-convex potential, arXiv:1207.1052. (B. Bieganowski) F aculty of Mathematics, Informatics and Mechanics, University of W arsaw, ul. Banacha 2, 02-097 W arsaw, Poland Email address:bartoszb@mimuw.edu.pl

    Pith/arXiv arXiv