[論文レビュー] 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=2$ の場合と比較して、$d \geq 3$ の場合に基底状態解がより豊かで複雑な構造を示すことを明らかにすること。

提案手法

• 著者たちは、基底状態を制約 $I_d'(\mathbf{u})[\mathbf{u}] = 0$ の下で $I_d$ の最小化問題として特徴づけるために、Nehari多様体 $\mathcal{N}_d$ と関連する作用関数 $I_d(\mathbf{u})$ を分析した。
• 完全に非自明な解と半自明な解の作用レベルを比較することで、基底状態が完全に非自明であるための必要十分条件を、変分法的および比較的手法を用いて導出した。
• 系の勾配構造に依拠し、$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 協同的立方シュレーディンガー系において $d \geq 3$ 個の非線形項を含む系が完全に非自明な基底状態を有するための $\lambda_i$, $\mu_i$, $b_{ij}$ の条件は何か？
• 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}$ を含むシステム全体の不等式から導出された。
• 完全に非自明な基底状態の存在は、$\mu_i$ の幾何平均に比例する閾値を超える $b_{ij}$ が満たされれば保証され、その境界は成分数 $d$ に依存する。
• $b_{ij}$ が小さすぎる場合には、基底状態は必ず半自明であることが示され、この遷移はすべての結合パラメータと自己相互作用パラメータを含む明確な不等式によって支配される。
• 基底状態レベル $c(\lambda,\mu,B)$ は $\lambda_i$, $\mu_i$, $b_{ij}$ に関して単調であるため、比較議論を用いて完全に非自明な解の存在または非存在を確立できる。
• $d=2$ の場合に既知であった閾値 $\bar{b}(\lambda_2/\lambda_1)$ を一般化し、非対称な一般系において $d \geq 3$ の場合の完全な特徴づけを提供した。