On solitary wave solutions with two-frequency parameters to the three-component system of quadratic nonlinear Schrödinger equations

Abstract: In the present paper, we consider the Cauchy problem of a system of three nonlinear Schrödinger equations with quadratic nonlinearity. We first prove the existence of ground states in the form of solitary wave solutions with two frequency parameters. We then show that the conditions on the frequency parameters for the existence of ground states depend on the resonance structure of the system. Next, we give the two results for global solutions. The first is an improvement of global well-posedness for initial data below the ground state threshold. The second is an improvement of global well-posedness for oscillating initial data. We also prove the orbital stability of the ground state sets with small speed parameter.

• The paper introduces a novel two-frequency approach to solitary waves in a three-component quadratic nonlinear Schrödinger system, proving ground state and stability results.
• Under different mass regimes, the authors showcased the system's global well-posedness criteria, often requiring only component-wise smallness in dimensions 4 and 5.
• Ground state stability is proven for speeds below a specific threshold.

Setting and motivation

The paper studies the Cauchy problem for the three-component system of quadratic nonlinear Schrödinger equations

$$\left(i\partial_{t}+\frac{1}{\sigma_j}\Delta\right)u_j=F_j(U),\qquad j=1,2,3,$$

with $F_1(U)=-\overline{u_2}u_3$, $F_2(U)=-\overline{u_1}u_3$, and $F_3(U)=-u_1u_2$, posed on $\mathbb{R}^d$ with real nonzero dispersion coefficients $\sigma_1,\sigma_2,\sigma_3$. The system models three-wave interactions in laser–plasma dynamics and is a special case of the general quadratic Schrödinger systems studied by Noguera and Pastor. It conserves two charges $Q_1,Q_2$, the energy $E=L+N$, and the momentum $P$, is invariant under the scaling $$U_\lambda(t,x)=\lambda^{-2}U(\lambda^{-2}t,\lambda^{-1}x)$$, and has critical Sobolev exponent $F_1(U)=-\overline{u_2}u_3$0; hence it is $F_1(U)=-\overline{u_2}u_3$1-critical in dimension four and $F_1(U)=-\overline{u_2}u_3$2-critical in dimension six.

The central methodological novelty of the paper is that solitary waves are allowed to carry two independent frequency parameters $F_1(U)=-\overline{u_2}u_3$3 rather than the single frequency $F_1(U)=-\overline{u_2}u_3$4 of prior work:

$F_1(U)=-\overline{u_2}u_3$5

where $F_1(U)=-\overline{u_2}u_3$6 solves the elliptic system

$F_1(U)=-\overline{u_2}u_3$7

with $F_1(U)=-\overline{u_2}u_3$8. Critical points are characterized variationally via the action functional $F_1(U)=-\overline{u_2}u_3$9 and its Nehari functional $F_2(U)=-\overline{u_1}u_3$0. After the gauge transformation $F_2(U)=-\overline{u_1}u_3$1, which removes the transport term at the price of shifting the frequencies to $F_2(U)=-\overline{u_1}u_3$2 and introducing oscillatory factors weighted by $F_2(U)=-\overline{u_1}u_3$3, the problem becomes minimization of $F_2(U)=-\overline{u_1}u_3$4 on the constraint manifold $F_2(U)=-\overline{u_1}u_3$5. A crucial structural point is that the sign of $F_2(U)=-\overline{u_1}u_3$6 determines whether the quadratic part of $F_2(U)=-\overline{u_1}u_3$7 is non-negative definite: when $F_2(U)=-\overline{u_1}u_3$8 (no resonance), the admissible frequency region $F_2(U)=-\overline{u_1}u_3$9 acquires an additional slanted boundary segment; when $F_3(U)=-u_1u_2$0 (resonance, including mass resonance $F_3(U)=-u_1u_2$1), $F_3(U)=-u_1u_2$2 is a quadrant-type region.

Existence of ground states

The first main theorem establishes existence of ground states — minimizers of $F_3(U)=-u_1u_2$3 over the Nehari constraint, coinciding with ground-state critical points ($F_3(U)=-u_1u_2$4) — under three regimes:

• (A) interior case: $F_3(U)=-u_1u_2$5, $F_3(U)=-u_1u_2$6;
• (B) zero-mass boundary case: $F_3(U)=-u_1u_2$7, $F_3(U)=-u_1u_2$8, with at most one component at zero mass;
• (C) degenerate zero-mass corner: $F_3(U)=-u_1u_2$9, $\mathbb{R}^d$0, exactly two components at zero mass but not all three simultaneously.

The proof combines several ingredients. Positivity of the least action level follows from Hölder/Sobolev embeddings adapted to the mixed $\mathbb{R}^d$1 structure of each regime, uniformly in $\mathbb{R}^d$2; the Lagrange multiplier argument shows any Nehari minimizer is a genuine critical point (the multiplier vanishes because the derivative of the Nehari functional along dilations is strictly negative); and Lieb's compactness lemma yields strong convergence of minimizing sequences up to translation and phase rotation. Regularity (smoothness via elliptic bootstrapping, including an appendix handling the doubly-zero-mass case $\mathbb{R}^d$3 at $\mathbb{R}^d$4) and exponential decay of weak solutions are established separately, the decay proof using exponential weight functions and density arguments to handle components lacking $\mathbb{R}^d$5 control. Pohozaev identities are derived both in the positive-mass regime and in the one-frequency zero-mass regime with $\mathbb{R}^d$6, giving $\mathbb{R}^d$7.

Several consequences deserve emphasis. First, taking $\mathbb{R}^d$8 recovers the standing-wave existence results of Noguera–Pastor and the traveling-wave existence results of Li as special cases, while independent frequencies yield genuinely new solitary waves; notably, standing waves with $\mathbb{R}^d$9 were previously unavailable and turn out to be essential for the improved global well-posedness below. Second, the shape of the existence region depends on the resonance sign $\sigma_1,\sigma_2,\sigma_3$0: for $\sigma_1,\sigma_2,\sigma_3$1 one must additionally impose $\sigma_1,\sigma_2,\sigma_3$2. This shows concretely that the resonance structure governing the dispersive behavior of the evolution also shapes the variational landscape of the stationary problem. Third, nontrivial solutions cease to exist in the fully resonant corner where all three $\sigma_1,\sigma_2,\sigma_3$3 vanish simultaneously under mass resonance, consistent with Li's non-existence result.

Improved global well-posedness below the threshold

The second group of results sharpens the global well-posedness theory in the energy-critical-adjacent dimensions. For $\sigma_1,\sigma_2,\sigma_3$4 ($\sigma_1,\sigma_2,\sigma_3$5-critical), Noguera–Pastor required $\sigma_1,\sigma_2,\sigma_3$6 with $\sigma_1,\sigma_2,\sigma_3$7 measured against a single-frequency ground state. The paper replaces this with component-wise thresholds: global well-posedness holds if either

$\sigma_1,\sigma_2,\sigma_3$8

so that smallness of only one of the two charge pairings suffices — smallness of neither $\sigma_1,\sigma_2,\sigma_3$9 nor $Q_1,Q_2$0 individually is required in the respective alternative cases. This improvement rests on the observation that the one-frequency ground states in $Q_1,Q_2$1 and $Q_1,Q_2$2 attain the optima of the Gagliardo–Nirenberg type constants

$Q_1,Q_2$3

proved by a scaling argument together with a lemma showing that among configurations with fixed $Q_1,Q_2$4, ground states maximize $Q_1,Q_2$5. In dimension five, the same mechanism combined with Bégout–Pastor's polynomial continuity lemma converts the two conditions $Q_1,Q_2$6 and $Q_1,Q_2$7 into an a priori bound on $Q_1,Q_2$8, again requiring only one of the two alternatives. These refinements rely directly on the existence of ground states at $Q_1,Q_2$9 and vice versa, i.e., on the two-parameter theory.

The paper does not claim sharpness of these thresholds; whether the suprema over $E=L+N$0 or $E=L+N$1 coincide with those obtainable from other variational characterizations remains open within the paper.

Global well-posedness for oscillating initial data

For $E=L+N$2 and initial data of the form $E=L+N$3 with large $E=L+N$4 (oscillating data), the paper improves Li's theorem. Li required smallness of the maximum of two component masses depending on the ordering of the $E=L+N$5; here, smallness of a single component mass suffices:

• if $E=L+N$6, it is enough that $E=L+N$7;
• if $E=L+N$8, it is enough that $E=L+N$9 or $P$0.

The mechanism is to choose the boundary parameter pair $P$1 lying in the zero-mass set $P$2 so that the leading-in-$P$3 contribution to $P$4's action deficit isolates precisely one component's $P$5 mass multiplied by $P$6, while $P$7 by Riemann–Lebesgue as $P$8. Scaling symmetry of the least action level, $P$9, reduces the thresholds to quantities at unit speed. Once $$U_\lambda(t,x)=\lambda^{-2}U(\lambda^{-2}t,\lambda^{-1}x)$$0 and $$U_\lambda(t,x)=\lambda^{-2}U(\lambda^{-2}t,\lambda^{-1}x)$$1 hold initially, the invariant sets $$U_\lambda(t,x)=\lambda^{-2}U(\lambda^{-2}t,\lambda^{-1}x)$$2 (shown equal to the sets $$U_\lambda(t,x)=\lambda^{-2}U(\lambda^{-2}t,\lambda^{-1}x)$$3 defined via $$U_\lambda(t,x)=\lambda^{-2}U(\lambda^{-2}t,\lambda^{-1}x)$$4) propagate under the flow and yield the gradient bound closing the global extension. An implication worth noting is that the choice of which component must be small is dictated entirely by the resonance sign $$U_\lambda(t,x)=\lambda^{-2}U(\lambda^{-2}t,\lambda^{-1}x)$$5, reinforcing the structural role of resonance identified in the existence theory.

Orbital stability of ground state sets

The final result concerns stability of the full minimizer sets. For $$U_\lambda(t,x)=\lambda^{-2}U(\lambda^{-2}t,\lambda^{-1}x)$$6, there exists $$U_\lambda(t,x)=\lambda^{-2}U(\lambda^{-2}t,\lambda^{-1}x)$$7 bounded above by $$U_\lambda(t,x)=\lambda^{-2}U(\lambda^{-2}t,\lambda^{-1}x)$$8 such that $$U_\lambda(t,x)=\lambda^{-2}U(\lambda^{-2}t,\lambda^{-1}x)$$9 is orbitally stable whenever $F_1(U)=-\overline{u_2}u_3$00. Additionally, at $F_1(U)=-\overline{u_2}u_3$01 the one-frequency sets $F_1(U)=-\overline{u_2}u_3$02 and $F_1(U)=-\overline{u_2}u_3$03 are orbitally stable.

The proof adapts the concentration-compactness stability scheme of Hirayama–Ikeda for derivative nonlinearities: one first proves stability of the truncated sets

$F_1(U)=-\overline{u_2}u_3$04

by perturbing parameters along a curve whose action level $F_1(U)=-\overline{u_2}u_3$05 has controlled derivatives, placing near-ground-state initial data inside invariant sets at neighboring parameter values, then running the contradiction argument through the compactness of minimizing sequences. Stability of the full set follows because for small $F_1(U)=-\overline{u_2}u_3$06 one can find $F_1(U)=-\overline{u_2}u_3$07 with $F_1(U)=-\overline{u_2}u_3$08: uniform bounds on $F_1(U)=-\overline{u_2}u_3$09 come from comparing $F_1(U)=-\overline{u_2}u_3$10 against a rescaled $F_1(U)=-\overline{u_2}u_3$11 ground state, while a lower bound on $F_1(U)=-\overline{u_2}u_3$12 comes from the Nehari identity plus Pohozaev (in $F_1(U)=-\overline{u_2}u_3$13 via the momentum term, in $F_1(U)=-\overline{u_2}u_3$14 via the exact relation $F_1(U)=-\overline{u_2}u_3$15).

The paper explicitly records why the restriction $F_1(U)=-\overline{u_2}u_3$16 appears: the defining inequality of $F_1(U)=-\overline{u_2}u_3$17 degenerates at $F_1(U)=-\overline{u_2}u_3$18 (since $F_1(U)=-\overline{u_2}u_3$19 for all ground states when $F_1(U)=-\overline{u_2}u_3$20, forcing $F_1(U)=-\overline{u_2}u_3$21) and at $F_1(U)=-\overline{u_2}u_3$22 outright, so the truncation device provides no purchase in the critical dimensions. Stability for $F_1(U)=-\overline{u_2}u_3$23 therefore remains unresolved by this method.

Limitations and open questions

Several restrictions are acknowledged or implicit in the results. All existence and well-posedness statements require $F_1(U)=-\overline{u_2}u_3$24; the defocusing-sign assumption enters through non-negativity of the quadratic form of $F_1(U)=-\overline{u_2}u_3$25 and is not relaxed anywhere in the paper. Zero-mass regimes are covered only for $F_1(U)=-\overline{u_2}u_3$26, since the needed Sobolev embeddings $F_1(U)=-\overline{u_2}u_3$27 fail for $F_1(U)=-\overline{u_2}u_3$28, and condition (C) excludes $F_1(U)=-\overline{u_2}u_3$29 because the embedding used to apply Lieb compactness requires $F_1(U)=-\overline{u_2}u_3$30. The fully simultaneous zero-mass point under mass resonance admits no nontrivial solution, so the ground state theory cannot be extended there. Orbital stability is limited to subcritical dimensions $F_1(U)=-\overline{u_2}u_3$31 and small speeds, and no scattering or blow-up dichotomy below the new component-wise thresholds is provided. Finally, whether the component-wise thresholds in the $F_1(U)=-\overline{u_2}u_3$32 result are optimal, and whether stability extends to $F_1(U)=-\overline{u_2}u_3$33 by a different argument, are questions the paper leaves open.

Conclusion

This paper develops a two-parameter variational theory for solitary waves of the three-component quadratic Schrödinger system, proving existence of ground states across positive-mass and zero-mass regimes whose boundaries are shaped by the resonance sign $F_1(U)=-\overline{u_2}u_3$34, and exploiting the resulting one-frequency ground states to strengthen global well-posedness criteria — replacing joint smallness conditions by single-component ones, both below the ground state threshold and for highly oscillatory data — and to prove orbital stability of minimizer sets at small speed in low dimensions. The work demonstrates that the resonance structure governs not only the dispersive estimates for the evolution but also the geometry of the constrained minimization problems underlying stationary solutions.