[논문 리뷰] Traveling waves for some nonlocal 1D Gross-Pitaevskii equations with nonzero conditions at infinity

André de Laire, Pierre Mennuni|arXiv (Cornell University)|2018. 12. 20.

Nonlinear Photonic Systems참고 문헌 32인용 수 13

한 줄 요약

이 논문은 1차원 고르스-피타에브스키 방정식에서 무한대에서 0이 아닌 조건을 갖는 비국소 상호작용에 대해, 어두운 솔리톤의 존재성과 궤도 안정성을 보장하는 조건을 설정한다. 고정된 운동량에서 에너지 최소화와 농축-콤���턴스 추론을 사용하여, 임계 임계 속도 이하의 속도에서 유한 에너지 해의 분지가 존재함을 증명하며, 국소(디랙 델타) 경우의 결과를 더 넓은 비국소 커널로 일반화한다.

ABSTRACT

We consider a nonlocal family of Gross-Pitaevskii equations with nonzero conditions at infinity in dimension one. We provide conditions on the nonlocal interaction such that there is a branch of traveling waves solutions with nonvanishing conditions at infinity. Moreover, we show that the branch is orbitally stable. In this manner, this result generalizes known properties for the contact interaction given by a Dirac delta function. Our proof relies on the minimization of the energy at fixed momentum. As a by-product of our analysis, we provide a simple condition to ensure that the solution to the Cauchy problem is global in time.

연구 동기 및 목표

• 1D 고르스-피타에브스키 방정식에서 국소(디랙 델타) 상호작용의 경우에 대한 어두운 솔리톤의 존재성과 안정성 결과를 일반 비국소 상호작용으로 확장한다.
• 무한대에서 값이 0이 아닌 조건을 갖는 경우, 유한 에너지 이동파 해의 존재성을 보장하는 비국소 상호작용 커널 $\mathcal{W}$ 에 대한 충분한 조건을 규명한다.
• 방정식의 변분적 구조를 이용하여 유도된 이동파 분지의 궤도 안정성을 증명한다.
• 에너지 최소화 프레임워크를 기반으로 초기값 문제의 해에 대한 전역 존재성에 대한 충분조건을 제공한다.

제안 방법

• 이동파 추측 $\Psi_c(x,t) = u(x - ct)$ 를 설정하여, 편미분방정식을 비국소 상수 미분방정식으로 줄인다.
• 에너지 공간 $\mathcal{E}(\mathbb{R})$ 와 비영 에너지 공간 $\mathcal{N}\mathcal{E}(\mathbb{R})$ 를 정의하여 운동량이 잘 정의됨을 보장한다.
• 고정된 운동량에서의 에너지 최소화 방법을 사용하여, 농축-콤팩턴스 추론을 통해 해를 구성한다.
• 에너지 곡선 $E_{\text{min}}(\mathfrak{q})$ 가 오목임을 증명하고, 직선 $\sqrt{2}\mathfrak{q}$ 가 이 곡선에 접선임을 보여 궤도 안정성을 유도한다.
• 비국소성 처리를 위해 사전 에너지 추정과 콤팩턴스 기법을 적용하여 명시적 미분방정식 해에 의존하지 않는다.
• $\mathcal{W}$ 에 대한 조건(H1)–(H3) 또는 그 변종(H3’)을 확인하여 비자명한 해 분지의 존재를 보장한다.

실험 결과

연구 질문

• RQ1 비국소 상호작용 커널 $\mathcal{W}$ 가 어떤 조건을 만족할 경우, 무한대에서 $|\Psi| \to 1$ 이 되는 1차원 고르스-피타에브스키 방정식에서 유한 에너지 이동파 해의 분지가 존재하는가?
• RQ2 기존의 디랙 덴타 경우에서의 결과를 일반 비국소 상호작용으로 확장하여, 이러한 이동파의 궤도 안정성을 확립할 수 있는가?
• RQ3 에너지-운동량 관계 $E_{\text{min}}(\mathfrak{q})$ 는 어두운 솔리톤의 존재성과 안정성 결정에 어떤 역할을 하는가?
• RQ4 비국소성 $\mathcal{W}$ 는 표준 하이퍼볼릭 탄젠트 형태와 비교해 솔리톤 프로파일의 형태와 성질에 어떤 영향을 미치는가?
• RQ5 에너지 최소화 접근법을 사용하여 초기값 문제의 전역 잘 정의됨에 대한 충분조건을 유도할 수 있는가?

주요 결과

• 속도 $c \in (0, c_*)$ 에서 유한 에너지 이동파 해의 분지가 존재하며, 여기서 $c_* = \sqrt{2}$ 이다. 이는 $\mathcal{W} = \delta_0$ 인 경우의 고전적 어두운 솔리톤 해를 일반화한다.
• 에너지 곡선 $E_{\text{min}}(\mathfrak{q})$ 가 오목이고 직선 $\sqrt{2}\mathfrak{q}$ 가 이 곡선에 접선이 되는 조건 하에서, 이동파 분지의 궤도 안정성이 증명된다.
• 임계 운동량 임계값 $\mathfrak{q}_* \sim 1.55$ 는 비국소 커널의 다양한 유형에서 수치적으로 관측되었으며, 비해석적 또는 지수적으로 증가하는 푸리에 변환을 갖는 커널들에서도 동일하게 관측되었다.
• $\mathcal{W} = \delta_0 + \text{로그 항들}$ 또는 $\mathcal{W}_\sigma = 2\delta_0 - \frac{1}{2}(\delta_\sigma + \delta_{-\sigma})$ 와 같은 비국소 커널들에서도 에너지 곡선이 오목함을 유지함을 확인하여, 안정성 결과의 강건성을 입증한다.
• 커널이 장거리 또는 진동 특성을 갖는 경우, 솔리톤 프로파일은 $\mathbb{R}^+$ 에서 볼록형태의 돌출부를 보일 수 있으며, 이는 표준 하이퍼볼릭 탄젠트 형태와 상당히 다름을 보인다.
• 에너지 최소화 프레임워크를 기반으로 하여, 해가 에너지와 운동량에서 유계임을 보장하는 초기값 문제의 전역 존재성에 대한 충분조건이 도출되었다.