Bifurcations of solitary waves in a coupled system of long and short waves

This paper characterizes families of solitary waves in a coupled Korteweg--de Vries and linear Schrödinger system by analyzing a sequence of pitchfork bifurcations from uncoupled KdV solitons, proving that the ground state solution is an energy minimizer and connecting these bifurcations to known exact solutions.

The Gist

Imagine a calm ocean where two very different types of waves are traveling together.

• The Long Wave: Think of a massive, slow-moving swell, like a giant rolling hill of water. In physics, this is modeled by the KdV equation. It's the "heavy lifter" of the ocean.
• The Short Wave: Now imagine a tiny, fast, high-frequency ripple riding on top of that swell, like a quick spark or a shiver. This is modeled by the Schrödinger equation. It's the "lightweight" traveler.

Usually, these two waves ignore each other. But in this paper, the authors ask: What happens when they decide to dance together?

The Main Idea: The "Bifurcation" Dance

The paper studies how these two waves can lock into a specific, stable pattern called a solitary wave (or soliton). This is a wave that travels forever without changing shape.

The authors discovered that these waves don't just have one way to dance. They have a whole family of dance moves.

1. The Solo Act (Uncoupled): First, imagine the Long Wave traveling alone. It's a perfect, stable hill. The Short Wave is just a tiny ripple that doesn't really do anything.

2. The First Dance Move (The First Bifurcation): As you tweak the conditions (like the speed or the strength of the interaction), the Long Wave suddenly "invites" the Short Wave to join in. They lock into a new, stable shape.

   • The Metaphor: Imagine a heavy truck (Long Wave) driving down a road. Suddenly, a small motorcycle (Short Wave) hops onto the back. If they find the right speed, they travel together perfectly. The authors proved this specific "coupled" dance is stable. If you nudge them slightly, they wobble but return to their perfect formation. This is the "ground state" or the most natural way they can travel together.

3. The Second Dance Move (The Second Bifurcation): If you tweak the conditions even more, the Long Wave invites the Short Wave to join in a different way.

   • The Metaphor: Now, the motorcycle isn't just sitting on the back; it's doing a wheelie or spinning wildly on top of the truck. This new formation is unstable. It's like a house of cards. If you breathe on it too hard (a small disturbance), the whole structure collapses or changes into something else. The authors call this a "saddle point"—it looks stable from one angle but falls apart from another.

The "Pitchfork" Analogy

The authors use a mathematical concept called a Pitchfork Bifurcation.

Imagine you are holding a pitchfork (a fork with two prongs).

• The Handle: This is the original, lonely Long Wave traveling alone.
• The Split: As you push the pitchfork into the ground (changing a parameter), the single handle suddenly splits into two new paths.
  • One path goes left (a new stable wave).
  • One path goes right (another new wave).

The paper maps out exactly when this split happens and which of the new paths are safe to walk on (stable) and which will make you fall (unstable).

Why Does This Matter?

You might wonder, "Who cares about math waves?"

These equations aren't just about water. They describe real-world phenomena where big, slow things interact with small, fast things:

• Oceanography: How huge internal waves deep in the ocean interact with surface ripples. This helps scientists detect hidden underwater waves just by looking at the surface.
• Plasma Physics: How electrons (fast) interact with sound waves in a plasma (slow).
• Materials Science: How energy moves through crystals.

The Big Takeaway

The authors used advanced math (like a very precise mapmaker) to prove:

1. There is a perfect, stable partnership between the long and short waves (the first bifurcation).
2. There is a risky, unstable partnership (the second bifurcation).
3. They figured out exactly when the waves switch from one dance to the other.

In short, they took a complex, chaotic system and showed us the hidden rules that determine whether two different waves will travel together in harmony or crash into chaos. They found the "sweet spot" where nature allows these waves to coexist peacefully.

Technical Summary

1. Problem Statement

The paper investigates the existence, stability, and bifurcation structure of solitary wave solutions in a coupled system of the Korteweg–de Vries (KdV) equation and the linear Schrödinger (LS) equation. This model describes the interaction between long nonlinear dispersive waves (KdV) and short linear high-frequency wave packets (LS).

The specific system analyzed is the normalized form:
$$\begin{cases} u_t + u u_x + u_{xxx} + s(|\psi|^2)_x = 0, \\ i\psi_t + \psi_{xx} + k u \psi = 0, \end{cases}$$
where $s = \text{sgn}(\alpha\gamma) = \pm 1$ and $k = \sigma\beta / (\alpha\kappa) \in \mathbb{R}$. The authors focus on the case $s = +1$ and $k > 0$.

The primary goal is to characterize families of coupled solitary waves (where $\psi \neq 0$) by analyzing their local bifurcations from the family of uncoupled KdV solitons (where $\psi = 0$). The authors aim to resolve ambiguities in the literature regarding the admissible wave speeds, frequencies, and the variational stability (minimizer vs. saddle point) of these coupled states.

2. Methodology

The authors employ a rigorous mathematical framework combining variational methods, spectral analysis, and bifurcation theory:

• Traveling Wave Reduction: The system is reduced to a set of ordinary differential equations (ODEs) for the profiles $U(\xi)$ and $A(\xi)$ (where $\psi = A e^{i(c\xi/2 - \omega t)}$).
• Variational Characterization: Solitary waves are identified as critical points of an augmented energy functional $\Lambda = H + cP - \omega Q$, where $H$, $P$, and $Q$ are the conserved energy, momentum, and mass, respectively.
• Hessian Operator Analysis: The stability is determined by analyzing the Hessian operator ($L$) associated with the second variation of the action functional. The authors compute the Morse index (number of negative eigenvalues) and the nullity index (multiplicity of zero eigenvalues) of this operator.
• Lyapunov–Schmidt Reduction: To prove the existence of bifurcating branches near critical parameter values, the authors use the Lyapunov–Schmidt reduction method. This reduces the infinite-dimensional problem to a finite-dimensional algebraic equation, allowing for the derivation of local bifurcation conditions.
• Spectral Stability Analysis: The paper examines the spectral stability problem (linearization around the solitary wave) to identify embedded eigenvalues and their Krein signatures, which indicate potential orbital instability.
• Numerical Verification: Key integrals determining the type of bifurcation (supercritical vs. subcritical) are computed numerically to support analytical findings.

3. Key Contributions and Results

A. Bifurcation Sequence from Uncoupled Solitons

The uncoupled KdV soliton ($U = 3c \text{sech}^2(\frac{\sqrt{c}}{2}\xi), A=0$) serves as the primary branch. The authors prove that as the frequency parameter $\Omega$ (related to wave speed and coupling) varies, a sequence of pitchfork bifurcations occurs.

• First Bifurcation ($\Omega = \Omega_c^{(1)}$):

  • Occurs when the first excited state of the LS operator becomes unstable.
  • Nature: Can be either supercritical or subcritical depending on the parameter $k$.
  • Stability: The bifurcating branch (coupled soliton) is proven to be a local minimizer of the constrained energy (orbitally stable) for both supercritical and subcritical cases. This branch corresponds to the exact solution found in the literature for $k=1/6$ (Melnikov system).
  • Symmetry: The bifurcating solution has an even parity profile for both $U$ and $A$.

• Second Bifurcation ($\Omega = \Omega_c^{(2)}$):

  • Occurs at a lower frequency threshold involving the second excited state.
  • Nature: Proven to be a subcritical pitchfork bifurcation for the relevant parameter range.
  • Stability: The bifurcating branch is a saddle point of the constrained energy with a Morse index of 2 (two negative eigendirections). This implies orbital instability.
  • Symmetry: The bifurcating solution has an even parity for $U$ but an odd parity for $A$.
  • Connection: This branch connects to the exact solution (2.12) derived in previous literature for specific parameter values.

B. Variational Characterization

The paper provides a complete variational classification:

1. Uncoupled Solitons: Are local minimizers for $\Omega < \Omega_c^{(1)}$ but become saddle points for $\Omega > \Omega_c^{(1)}$.
2. First Coupled Branch: Is a constrained energy minimizer (stable) immediately after bifurcation, regardless of whether the bifurcation is supercritical or subcritical.
3. Second Coupled Branch: Is a constrained energy saddle point (unstable).

C. Spectral Instability

For the second bifurcation branch, the authors demonstrate the existence of a pair of purely imaginary eigenvalues with negative Krein signature embedded in the continuous spectrum. According to general spectral theory, these embedded eigenvalues are expected to split into unstable eigenvalues (with non-zero real parts) under perturbation, confirming the orbital instability of the second branch.

D. Exact Solutions and Integrability

The authors show that the local bifurcation analysis recovers known exact solutions:

• For $k=1/6$, the first bifurcation connects to the integrable Melnikov system solution.
• For $k=1/2$, the second bifurcation connects to another known exact solution.
• The analysis extends these exact solutions to a broader range of parameters via local bifurcation theory.

4. Significance

• Resolution of Stability Ambiguities: The paper clarifies the stability properties of coupled solitary waves, which were previously difficult to determine using purely variational methods due to the complexity of the admissible parameter space.
• Unified Framework: It unifies the study of various exact solutions found in the literature (for specific $k$ values) into a general bifurcation sequence for arbitrary $k > 0$.
• Mechanism of Instability: It provides a rigorous mechanism for the instability of higher-order coupled modes (excited states), showing they are inherently saddle points of the energy functional.
• Bifurcation Types: The work highlights that in systems with symmetries (like the KdV-LS system), both supercritical and subcritical pitchfork bifurcations can yield stable (minimizer) branches, a nuance often overlooked in standard bifurcation theory where subcritical branches are typically unstable.

Conclusion

Hornick and Pelinovsky successfully characterize the families of solitary waves in the KdV-LS system. They prove that the ground-state coupled soliton is stable (a constrained minimizer), while excited-state coupled solitons are unstable (saddle points). The study bridges the gap between variational existence proofs and local bifurcation analysis, providing a comprehensive map of the solution landscape for this physically relevant model of long-short wave interactions.