🔢 mathematics

Momentum-mass normalized dark-bright solitons to one dimensional Gross-Pitaevskii systems

This paper rigorously proves the existence of subsonic, symmetric dark-bright solitons in one-dimensional defocusing Gross-Pitaevskii systems by minimizing an energy functional under mass and momentum constraints, utilizing a concentration-compactness argument supported by novel estimates based on symmetric decreasing rearrangements.

Original authors: Salvador López-Martínez

Published 2026-02-13

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Salvador López-Martínez

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are watching a river. Usually, water flows smoothly, but sometimes, if the conditions are just right, you see a single, perfect wave that travels down the river without changing its shape or slowing down. In physics, this is called a soliton.

Now, imagine a more complex river: a "mixture" of two different types of water flowing together. One type is deep and dark (representing a background flow), and the other is a bright, glowing bubble of water riding on top of it. This paper is about proving that these specific "Dark-Bright" pairs can actually exist and travel stably in a very specific mathematical model of how quantum fluids (like Bose-Einstein Condensates) or light in optical fibers behave.

Here is the breakdown of the paper's story, using simple analogies:

1. The Setting: A Dance of Two Partners

The authors are studying a system with two "partners":

The Dark Partner (Ψ): Think of this as a deep, dark ocean. It doesn't disappear; it has a constant background level (like the sea level), but it has a "dent" or a dip in it.
The Bright Partner (Φ): Think of this as a glowing, bright bubble of light or a splash of water sitting right in that dent.

In the real world, these two partners interact. Sometimes they push each other away (repulsion), and sometimes they pull together. The paper focuses on a scenario where they push each other away, but in a very specific, balanced way.

2. The Problem: Can They Stay Together?

Scientists had seen these "Dark-Bright" pairs in experiments and computer simulations, but no one had mathematically proven that they could exist as stable, traveling waves in this specific type of system. It was like seeing a magic trick and knowing it works, but not having the mathematical proof of how the magician did it.

The authors wanted to answer: "If we set up the right conditions, will these two partners naturally form a stable, traveling wave, or will they fall apart?"

3. The Method: The "Energy Budget" Game

To prove they exist, the authors used a strategy called Variational Calculus. Imagine you are trying to build the most efficient house possible. You have a limited budget (Energy) and specific rules (Constraints).

The Goal: Find the shape of the wave that uses the least amount of "energy" while sticking to the rules.
Rule 1 (The Bright Partner's Mass): The glowing bubble must have a specific amount of "stuff" (mass) in it.
Rule 2 (The Dark Partner's Momentum): The dent in the dark ocean must be moving at a specific speed and have a specific "push."

The authors created a mathematical "scorecard" (an energy function). They asked: "What is the lowest possible score we can get if we force the partners to follow these rules?"

4. The Big Challenge: The "Vanishing Act"

In math, when you try to find the "lowest score," the solution sometimes cheats. It might try to disappear (vanish) or split into two separate pieces (dichotomy) to lower the score.

The Vanishing Act: The bright bubble might shrink until it's invisible.
The Split: The wave might break into two separate waves that drift apart.

The authors had to prove that the "cheating" solutions are actually worse than the real, stable solution. They used a clever mathematical tool called Symmetric Decreasing Rearrangement.

The Analogy: Imagine you have a messy pile of sand. You want to shape it into a perfect, smooth hill. The "rearrangement" tool is like a magical sculptor that takes the sand and reshapes it into the most compact, symmetrical hill possible without changing the total amount of sand. The authors proved that this "perfectly shaped" version always has a lower energy score than the messy version. This forced the solution to stay together and not split or vanish.

5. The Discovery: The "Miscibility" Regime

The paper found that these stable pairs exist only under a specific condition called the "Miscibility Regime."

The Analogy: Think of oil and water. If you mix them, they separate (immiscible). But if you mix them with a special soap, they stay together (miscible).
The Result: The authors proved that if the "repulsive force" between the two partners is balanced correctly (specifically, if the mutual repulsion isn't too strong compared to their internal repulsion), they will form a stable, traveling "Dark-Bright" soliton.

6. The Characteristics of the Solution

The math revealed some beautiful properties of these waves:

They are Symmetric: The wave looks the same on the left and right (like a perfect bell curve).
They are "Subsonic": They travel slower than the "speed of sound" in that medium. If they went too fast, they would break apart.
They are Real: The "bright" partner is essentially a real number (it doesn't have a complex, twisting phase), which simplifies the physics.

Summary

In short, this paper is a rigorous mathematical proof that two interacting quantum waves can lock together to form a stable, traveling "Dark-Bright" soliton, provided they don't push each other apart too hard.

The authors didn't just guess; they built a mathematical "energy trap" that forced the waves to stay together, proving that these exotic structures are not just computer glitches, but fundamental features of the universe's physics. This helps us understand how Bose-Einstein Condensates (super-cold quantum fluids) and light in fiber optics behave when different species or modes interact.

1. Problem Statement

The paper investigates the existence of dark–bright soliton solutions for a one-dimensional coupled Gross–Pitaevskii (GP) system, which models mixtures of Bose–Einstein condensates (BECs) and nonlinear optical systems. The system is given by:
$\begin{cases} i\partial_t \Psi = \partial_{xx} \Psi + (1 - |\Psi|^2 - \alpha|\Phi|^2)\Psi, \\ i\partial_t \Phi = \partial_{xx} \Phi - (\alpha|\Psi|^2 + \beta|\Phi|^2)\Phi, \end{cases}$
where $\Psi$ and $\Phi$ are complex-valued wave functions, and $\alpha, \beta \in \mathbb{R}$ are interaction parameters.

Key Constraints and Regime:

Asymptotic Conditions: The dark component $\Psi$ approaches a non-zero background ( $|\Psi| \to 1$ ) at infinity, while the bright component $\Phi$ vanishes ( $|\Phi| \to 0$ ).
Interaction Regime: The study focuses on the defocusing regime where $\alpha > 0$ (repulsive inter-species interaction) and $\beta > 0$ (self-defocusing).
Miscibility Condition: The analysis is restricted to the miscible regime, defined by $\alpha^2 \leq \beta$ . In this regime, the repulsive forces between species are weaker than the self-repulsion, preventing phase separation.
Goal: To rigorously prove the existence of traveling wave solutions of the form $\Psi(x,t) = u(x-ct)$ and $\Phi(x,t) = e^{i(\dots)}v(x-ct)$ where $u$ is a dark soliton and $v$ is a bright soliton, with $c$ being the subsonic velocity.

2. Methodology

The author employs a variational approach based on minimizing an energy functional subject to two specific constraints.

A. Functional Framework

Energy Space: The problem is set in a specific energy space $E(\mathbb{R})$ for the dark component (allowing for non-vanishing at infinity) and $H^1(\mathbb{R})$ for the bright component.
Renormalized Energy: A renormalized energy functional $\mathcal{E}(u, v)$ is defined to handle the non-zero background of the dark component.
Constraints: The minimization is performed over the set $X_{q,m}$ $X_{q, m}$ defined by:
1. Momentum Constraint ( $q$ ): A modified momentum $p(u)$ for the dark component, defined via a lifting $u = \rho e^{i\theta}$ as $p(u) = \frac{1}{2}\int G(|1-\rho|)\theta' dx$ .
2. Mass Constraint ( $m$ ): The $L^2$ -norm of the bright component, $\|v\|_2^2 = m$ .

B. Concentration-Compactness Principle

To prove the existence of a minimizer, the author uses the Concentration-Compactness Principle (Lions). The main challenge is ruling out the "vanishing" and "dichotomy" scenarios for minimizing sequences.

Symmetric Decreasing Rearrangements: A crucial technical innovation is the use of symmetric decreasing rearrangements ( $f \mapsto f^\star$ $f \mapsto f^{⋆}$ ).
- Since the dark component does not vanish at infinity, standard rearrangement techniques are difficult to apply directly.
- The author introduces a lifting technique and a specific functional form $G(|1-\rho|)$ to allow the application of rearrangement inequalities (Hardy-Littlewood and Pólya-Szegő) to the dark component's phase and modulus.
- A refined Pólya-Szegő inequality (Theorem 3.6) is used to show that splitting the solution into disjoint "bubbles" strictly increases the energy, thereby ruling out dichotomy.

C. Subadditivity Analysis

The core of the compactness proof relies on establishing the strict subadditivity of the minimizing surface $E_{\min}(q, m)$ .

The author proves that $E_{\min}(q_1+q_2, m_1+m_2) < E_{\min}(q_1, m_1) + E_{\min}(q_2, m_2)$ unless one of the components is trivial.
This inequality ensures that the minimizing sequence cannot split into two separate solitons moving apart (dichotomy) or vanish (vanishing), forcing the sequence to converge strongly to a single soliton solution.

3. Key Contributions

Rigorous Existence Proof: Provides the first rigorous analytical proof of the existence of fully non-trivial dark–bright solitons in the coupled Gross–Pitaevskii system for the general miscible regime ( $\alpha^2 \leq \beta$ ), moving beyond previous numerical or formal expansion results.
Novel Rearrangement Technique: Successfully adapts symmetric decreasing rearrangements to a system where one component (dark) has a non-zero background. This involves defining a modified momentum and carefully manipulating the energy functional to utilize rearrangement inequalities.
Characterization of Solutions: Proves that the obtained solutions possess specific qualitative properties:
- Symmetry: The modulus of the dark component ( $1-|u|$ ) and the bright component ( $v$ ) are even and radially non-increasing.
- Real-valuedness: The bright component $v$ is real-valued (up to a constant phase factor).
- Subsonic Speed: The propagation speed $c$ satisfies $0 < c < \sqrt{2}$ .
Conditions for Existence: Establishes existence under two sufficient conditions (H1 and H2) involving the parameters $\alpha, \beta$ and the constraints $q, m$ . These conditions essentially require the energy to be sufficiently low relative to the mass and interaction parameters.

4. Main Results

Theorem 2.3 (Properties of the Minimizing Surface): Establishes that the minimum energy $E_{\min}(q, m)$ is non-decreasing in $q$ , non-increasing in $m$ (for fixed $q$ ), and satisfies a strict subadditivity property. This surface is bounded below by 0 and strictly below the energy of a pure dark soliton when $m > 0$ .
Theorem 2.4 (Existence): Under the assumptions $\alpha, \beta > 0$ , $\alpha^2 \leq \beta$ , and either condition (H1) or (H2), there exists a pair $(u, v) \in X_{q,m}$ that minimizes the energy. This pair solves the traveling wave equations (1.3) with Lagrange multipliers $c$ (velocity) and $\lambda$ (frequency shift).
Qualitative Properties: The solution satisfies $0 < |u| < 1$ and $v > 0$ everywhere. The functions $1-|u|$ and $v$ are symmetric and monotonically decreasing away from the center.

5. Significance

Bridging Physics and Analysis: The paper bridges the gap between the extensive physical literature on dark–bright solitons (which relies on numerical simulations and integrable cases like Manakov) and rigorous mathematical analysis.
Handling Non-Vanishing Backgrounds: The methodological breakthrough of applying symmetric decreasing rearrangements to systems with non-vanishing boundary conditions (dark solitons) opens new avenues for analyzing other coupled systems with similar boundary behaviors.
Stability Implications: While the paper focuses on existence, the compactness of the minimizing sequences is a prerequisite for proving orbital stability. The author notes that while the specific momentum constraint used here is not conserved in time (complicating direct stability proofs), the variational structure suggests that these solitons are likely orbitally stable.
Generalization: The results extend beyond the integrable Manakov case ( $\alpha=\beta=1$ ) to a broader range of physically relevant parameters, confirming the stability of the "symbiotic" relationship where the dark component supports the bright one in repulsive mixtures.

In summary, this work provides a robust mathematical foundation for the existence of dark–bright solitons in defocusing BEC mixtures, utilizing advanced variational techniques to overcome the analytical challenges posed by non-zero boundary conditions and coupled nonlinearities.