[论文解读] Normalized solutions for a system of coupled cubic Schrödinger equations on $\mathbb{R}^3$

Thomas Bartsch, Louis Jeanjean+1 more|arXiv (Cornell University)|Jun 7, 2015

Advanced Mathematical Physics Problems参考文献 33被引用 11

一句话总结

本文通过在约束流形上的变分方法，建立了在 $ℝ^3$ 中带有 $L^2$-范数约束的耦合三次薛定谔方程组正归一化解的存在性。当质量 $a_1, a_2 > 0$ 固定时，证明了对所有 $β > 0$ 解的存在性，并将结果推广至 $k$-组分系统，通过virial恒等式论证证明了相应驻波的轨道不稳定性。

ABSTRACT

We consider the system of coupled elliptic equations \[ \begin{cases} -Δu - λ_1 u = μ_1 u^3+ βu v^2 \\ -Δv- λ_2 v = μ_2 v^3 +βu^2 v \end{cases} ext{in $\mathbb{R}^3$}, \] and study the existence of positive solutions satisfying the additional condition \[ \int_{\mathbb{R}^3} u^2 = a_1^2 \quad ext{and} \quad \int_{\mathbb{R}^3} v^2 = a_2^2. \] Assuming that $a_1,a_2,μ_1,μ_2$ are positive fixed quantities, we prove existence results for different ranges of the coupling parameter $β>0$. The extension to systems with an arbitrary number of components is discussed, as well as the orbital stability of the corresponding standing waves for the related Schrödinger systems.

研究动机与目标

• 在每个分量的 $L^2$-范数固定条件下，建立 $ℝ^3$ 中耦合三次薛定谔方程组正解的存在性。
• 解决在聚焦情形（$μ_1, μ_2 > 0$）下，任意质量时归一化解结果的缺失问题。
• 将存在性结果推广至任意数量分量的系统，并分析相应驻波的轨道稳定性。
• 通过证明在薛定谔流下邻近解的有限时间爆破，证明归一化解的轨道不稳定性。

提出的方法

• 将问题表述为在 $L^2$-范数水平集的乘积流形 $T_{a_1} \times T_{a_2}$ 上的约束变分问题，其中 $a_1, a_2 > 0$ 为固定值。
• 在约束 $\|u\|_{L^2}^2 = a_1^2$，$\|v\|_{L^2}^2 = a_2^2$ 下最小化能量泛函 $J(u,v) = \int_{\mathbb{R}^3} \left( \frac{1}{2}|\nabla u|^2 - \frac{\mu_1}{4}u^4 \right) + \int_{\mathbb{R}^3} \left( \frac{1}{2}|\nabla v|^2 - \frac{\mu_2}{4}v^4 \right) - \frac{\beta}{2}\int_{\mathbb{R}^3} u^2 v^2$。
• 使用拉格朗日乘子法导出系统 $-\Delta u - \lambda_1 u = \mu_1 u^3 + \beta u v^2$，$-\Delta v - \lambda_2 v = \mu_2 v^3 + \beta u^2 v$，其中 $\lambda_1, \lambda_2$ 为未知量。
• 应用集中紧致性与山路型论证方法，在约束流形上寻找 $J$ 的临界点。
• 通过定义泛函 $J(\mathbf{u})$ 与包含总梯度和耦合项的约束集 $V$，将方法推广至 $k$-组分系统。
• 通过证明virial恒等式导致邻近初值在有限时间内爆破，从而证明轨道不稳定性，论证基于缩放能量泛函的凹性。

实验结果

研究问题

• RQ1 当 $L^2$-质量固定且 $μ_1, μ_2 > 0$ 时，$ℝ^3$ 中耦合三次薛定谔系统是否存在正归一化解？
• RQ2 是否存在性结果可推广至多于两个分量的系统？耦合参数 $β_{ij}$ 需要满足何种条件？
• RQ3 归一化解在关联非线性薛定谔系统的时演化下是否轨道稳定？
• RQ4 耦合参数 $β > 0$ 在决定归一化解的存在性与稳定性方面起何作用？
• RQ5 能量泛函在约束集上缺乏下有界性，如何影响变分方法的适用性？

主要发现

• 本文证明了当 $a_1, a_2 > 0$ 固定时，对所有 $β > 0$ 均存在正归一化解，且无需对质量施加小量假设或对 $μ_1, μ_2$ 额外限制。
• 对于 $k$-组分系统，当所有 $i \neq j$ 满足 $\beta_{ij} \geq \bar{\beta}$ 时，存在性得以确立，其中 $\bar{\beta}$ 为依赖于 $a_i, \mu_i$ 与 $k$ 的阈值。
• 归一化解被证明为轨道不稳定：在薛定谔流下，邻近初值导致有限时间爆破，该结论由virial恒等式证实。
• 能量泛函 $J$ 在约束集 $V$ 上达到其下确界，且该下确界严格为负，表明存在非平凡临界点。
• 不稳定性证明依赖于证明在最大存在区间内所有 $t$ 满足 $G(\Phi^s(t)) \leq -\delta < 0$，并通过virial泛函的凹性导出矛盾。
• 结果可推广至 $H^1(\mathbb{R}^3, \mathbb{C}^k)$ 中的复值函数，且复约束集上 $J$ 的下确界等于实值情况下的下确界。