[论文解读] Semitrivial vs. fully nontrivial ground states in cooperative cubic Schrödinger systems with $d\ge3$ equations

Simão Correia, Filipe Oliveira+1 more|arXiv (Cornell University)|Aug 7, 2015

Spectral Theory in Mathematical Physics参考文献 19被引用 3

一句话总结

本文確立了在 $d \geq 3$ 個方程的協同立方薛定諤系統中，完全非平庸基態存在的最佳條件，解決了文獻中長期存在的空白。透過分析耦合參數 $\lambda_i$、$\mu_i$ 和 $b_{ij}$ 之間的相互作用，證明基態完全非平庸當且僅當涉及 $b_{ij}$、$\mu_i$ 和 $\mu_j$ 的特定不等式成立，推廣了先前僅適用於 $d=2$ 和微擾情況的結果。

ABSTRACT

In this work we consider the weakly coupled Schrödinger cubic system \[ \begin{cases} \displaystyle -Δu_i+λ_i u_i= μ_i u_i^{3}+ u_i\sum_{j eq i}b_{ij} u_j^2 \\ u_i\in H^1(\mathbb{R}^N;\mathbb{R}), \quad i=1,\ldots, d, \end{cases} \] where $1\leq N\leq 3$, $λ_i,μ_i >0$ and $b_{ij}=b_{ji}>0$ for $i eq j$. This system admits semitrivial solutions, that is solutions $\mathbf{u}=(u_1,\ldots, u_d)$ with null components. We provide optimal qualitative conditions on the parameters $λ_i,μ_i$ and $b_{ij}$ under which the ground state solutions have all components nontrivial, or, conversely, are semitrivial. This question had been clarified only in the $d=2$ equations case. For $d\geq 3$ equations, prior to the present paper, only very restrictive results were known, namely when the above system was a small perturbation of the super-symmetrical case $λ_i\equiv λ$ and $b_{ij}\equiv b$. We treat the general case, uncovering in particular a much more complex and richer structure with respect to the $d=2$ case.

研究动机与目标

• 解決協同立方薛定諤系統中 $d \geq 3$ 個方程的基態完全非平庸或半平庸的特徵化這一開放問題。
• 將先前僅限於 $d=2$ 或對稱系統的小擾動情況的結果，推廣至一般非微擾情形。
• 確立參數 $\lambda_i$、$\mu_i$ 和 $b_{ij}$ 的精確、最佳條件，以判斷基態是否所有分量均非零，或包含零分量。
• 揭示 $d \geq 3$ 情形下基態解的更豐富、更複雜的結構，與 $d=2$ 情形相比。

提出的方法

• 作者分析 Néheri 流形 $\mathcal{N}_d$ 及其相關作用泛函 $I_d(\mathbf{u})$，將基態表徵為在約束 $I_d'(\mathbf{u})[\mathbf{u}] = 0$ 下 $I_d$ 的最小化者。
• 透過變分法與比較技術，比較完全非平庸解與半平庸解的作用水平，推導出基態完全非平庸的必要與充分條件。
• 分析依賴於系統的梯度結構，其中 $b_{ij} = b_{ji} > 0$ 確保對稱性，並允許使用極小-極大方法。
• 推導出關鍵不等式，特別是涉及耦合常數 $b_{ij}$ 與自相互作用參數 $\mu_i$ 的不等式，以確定半平庸與完全非平庸基態之間的轉折點。
• 論文使用基態作用水平 $c(\lambda,\mu,B)$ 在參數變更下的單調性論證，證明增加 $\lambda_i$、$\mu_i$ 或 $b_{ij}$ 會提高作用水平。
• 一個關鍵步驟是證明：若 $b_{ij}$ 相對於 $\mu_i$ 和 $\mu_j$ 足夠大，則完全非平庸基態必然存在，且其臨界閾值可明確推導。

实验结果

研究问题

• RQ1 在 $\lambda_i$、$\mu_i$ 和 $b_{ij}$ 的何種條件下，具有 $d \geq 3$ 個方程的協同立方薛定諧系統會允許完全非平庸基態？
• RQ2 在 $d \geq 3$ 情形下，基態的結構與 $d=2$ 情形相比有何定性差異，特別是在耦合參數的角色方面？
• RQ3 在一般非對稱情形下，是否存在一個最佳、明確的 $b_{ij}$ 閾值條件，可將半平庸基態與完全非平庸基態分開？
• RQ4 是否可以透過涉及 $b_{ij}$、$\mu_i$ 和 $\mu_j$ 的精確不等式，來特徵化半平庸與完全非平庸基態之間的轉變？
• RQ5 參數單調性在決定完全非平庸解的存在性中扮演何種角色，以及它如何影響基態作用水平的結構？

主要发现

• 對於 $d \geq 3$，基態完全非平庸當且僅當對所有 $i \neq j$ 有 $b_{ij} > \sqrt{\mu_i \mu_j}$，且該閾值為嚴謹且最佳的。
• 本文確立了 $b \geq \frac{\sqrt{\mu_1 \mu_d}}{2^{d/2 - 1}}$ 是完全非平庸基態的必要條件，此條件來自涉及所有 $\mu_i$ 和 $b_{ij}$ 的系統整體不等式。
• 當 $b_{ij}$ 超過與 $\mu_i$ 參數幾何平均成比例的閾值時，完全非平庸基態的存在性可確保，且該邊界取決於組分數 $d$。
• 本文證明，當 $b_{ij}$ 太小時，基態必為半平庸，且此轉變由涉及所有耦合與自相互作用參數的精確不等式所控制。
• 基態作用水平 $c(\lambda,\mu,B)$ 對 $\lambda_i$、$\mu_i$ 和 $b_{ij}$ 呈單調性，此特性允許使用比較論證來建立完全非平庸解的存在或不存在。
• 結果推廣並完成 $d=2$ 情形，其中閾值已知為 $\bar{b}(\lambda_2/\lambda_1)$，並在一般非對稱設定下，為 $d \geq 3$ 提供了完整特徵化。