On Sirakov's equal-frequency uniqueness conjecture

Abstract

Let $N\in\{2,3\}$, $0<\mu _1\leq\mu _2$, and $0<\beta<\mu _1$. We prove that the equal-frequency two-component cubic Schr\"odinger system \[ -\Delta u+u=\mu _1u^3+\beta uv^2, \qquad -\Delta v+v=\mu _2v^3+\beta u^2v \quad\text{in }\mathbb{R}^N \] has exactly one positive solution in $H^1(\mathbb{R}^N)\times H^1(\mathbb{R}^N)$ modulo simultaneous translations. More precisely, every positive solution is a simultaneous translate of the synchronized state constructed from the unique positive radial solution of $-\Delta w+w=w^3$ in $\mathbb{R}^N$. This settles Sirakov's equal-frequency uniqueness conjecture throughout the weak-coupling range. The main difficulty in the proof is to exclude radial solutions for which the ratio of the normalized components is nonconstant. After normalization, the two components satisfy scalar equations with a common potential. We construct a weighted Pohozaev functional for the system together with a correction term and prove that both the corrected functional and the associated weighted functional are strictly positive. Combining these sign properties with a radial flux identity and an auxiliary quotient associated with the component ratio forces synchronization.