[논문 리뷰] Semitrivial vs. fully nontrivial ground states in cooperative cubic Schrödinger systems with $d\ge3$ equations

Simão Correia, Filipe Oliveira외 1명|arXiv (Cornell University)|2015. 08. 07.

Spectral Theory in Mathematical Physics참고 문헌 19인용 수 3

한 줄 요약

이 논문은 $d \geq 3$개의 방정식을 가진 협동적 입자형 슈뢰딩거 시스템에서 완전히 비자명한 기본 상태의 존재에 대한 최적 조건을 확립하며, 문헌에서 오랫동안 남아 있던 격차를 해결한다. 결합 매개변수 $\lambda_i$, $\mu_i$, 및 $b_{ij}$ 간의 상호작용을 분석함으로써, 기본 상태가 완전히 비자명한 경우와 오직 하나의 성분만 비자명한 경우를 구분하는 데 필요한 조건을 증명한다. 이는 이전에 $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$ 또는 대칭 시스템의 소규모 교란에 국한되어 있던 바를 일반적인 비교교란 영역으로 확장하기.
• 기본 상태의 모든 성분이 0이 아닐지 또는 일부 성분이 0이 되는지를 결정하는 데 필요한 $\lambda_i$, $\mu_i$, 및 $b_{ij}$ 매개변수에 대한 정확하고 최적의 조건을 규명하기.
• $d \geq 3$의 경우와 $d=2$의 경우를 비교하여, 기본 상태 해의 더 풍부하고 복잡한 구조를 밝혀내기.

제안 방법

• 기본 상태를 $I_d'(\mathbf{u})[\mathbf{u}] = 0$ 조건 하에서 $I_d$의 최소화자로 특성화하기 위해, 네하리 만델라 $\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}$를 증가시키면 작용 수준이 증가함을 보인다.
• 핵심 단계로, $\mu_i$ 및 $\mu_j$에 비해 $b_{ij}$가 충분히 크면 완전히 비자명한 기본 상태가 반드시 존재함을 보이며, 이 임계값을 명시적으로 유도한다.

실험 결과

연구 질문

• RQ1 협동적 입자형 슈뢰딩거 시스템에서 $d \geq 3$개의 방정식을 가진 경우, $\lambda_i$, $\mu_i$, 및 $b_{ij}$에 어떤 조건이 성립할 때 완전히 비자명한 기본 상태가 존재하는가?
• RQ2 특히 결합 매개변수의 역할을 고려할 때, $d \geq 3$의 경우와 $d=2$의 경우 사이에서 기본 상태의 구조는 어떻게 질적으로 다를까?
• RQ3 일반적인 비대칭 케이스에서 반자명한 상태와 완전히 비자명한 상태를 분리하는 최적의 명시적 임계 조건이 존재하는가?
• 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$에 대한 완전한 특성화를 제공함으로써 $d=2$의 결과를 보완하고 확장한다.