[논문 리뷰] Multi-vortex traveling waves for the Gross-Pitaevskii equation and the Adler-Moser polynomials

Yong Liu, Juncheng Wei|arXiv (Cornell University)|2018. 04. 26.

Nonlinear Waves and Solitons참고 문헌 21인용 수 10

한 줄 요약

이 논문은 작은 속도 ε을 가진 고르스-피타에브스키 방정식에 대해 N(N+1)/2개의 ±1도수 비틀림을 접합하여 다중 비틀림 진행파 해를 구축한다. 이 비틀림의 위치는 아드러-모저 다항식의 근에 의해 결정되며, 이는 캘로저-모저 체계와 유리적 KdV 해에서 유래된다. 이 구성은 N ≤ 34에 대해 유효하며(단순 근으로 수치적으로 검증됨), 반복 근이 없는 것으로 가정할 경우 N > 34로도 확장 가능하며, 이는 모든 N에 대해 성립할 것으로 추측된다.

ABSTRACT

For $N\leq34,$ we construct traveling waves with small speed for the Gross-Pitaevskii equation, by gluing $N(N+1)/2$ pairs of degree $\pm1$ vortices of the Ginzburg-Landau equation. The location of these vortices is symmetric in the plane and determined by the Adler-Moser polynomials, which has its origin in the study of Calogero-Moser system and rational solutions of the KdV equation. The construction still works for $N>34$, under the additional assumption that the corresponding Adler-Moser polynomial has no repeated root. It is expected that this assumption holds for any $N\in\mathbb{N}$.

연구 동기 및 목표

• 작은 속도 ε을 가진 고르스-피타에브스키 방정식에 대한 다중 비틀림 진행파 해를 구축하는 것.
• N(N+1)/2개의 ±1도수 비틀림 쌍을 접합하여 이러한 해의 존재를 확립하는 것.
• 비틀림 위치가 캘로저-모저 체계와 유리적 KdV 해에서 유래되는 아드러-모저 다항식의 근에 의해 결정됨을 보여주는 것.
• 아드러-모저 다항식의 반복 근이 없음을 가정할 경우, N = 34를 초월한 구성의 확장을 다루는 것.
• 다르부 변환과 대칭 구조를 이용하여 비틀림 구성의 비퇴화성(Non-degeneracy)을 증명하는 것.

제안 방법

• 유한차원 리아푸노프-슈미트 축소를 사용하여 존재 문제를 대칭 비틀림 구성의 비퇴화성으로 환원한다.
• 아드러-모저 다항식 An을 사용하여 비틀림의 위치 pk와 qk = −p̄k를 결정한다.
• 무게 함수(norm) ∥⋅∥∗ 및 ∥⋅∥∗∗를 적용하여 무한대에서 오차와 해의 감쇠를 제어한다.
• 편미분 η에 대해 대칭성과 수직 조건을 도입하여 ∂xu 및 ∂yu에서 기저 방향을 제거한다.
• 리프시츠 연속성과 작은 오차 항목에 기반하여 비선형 시스템의 해를 수축 사상 원리로 푸는 방법을 사용한다.
• 아드러-모저 다항식의 근의 비퇴화성과 다르부 변환을 이용하여 해의 존재성을 보장한다.

실험 결과

연구 질문

• RQ1 작은 속도 ε > 0을 가진 고르스-피타에브스키 방정식에 대해 비틀림 접합을 통해 다중 비틀림 진행파 해를 구성할 수 있는가?
• RQ2 아드러-모저 다항식의 근은 대칭적이고 고리 형태의 배열을 제공하여 GP 방정식에서 안정적인 비틀림 배열을 지원하는가?
• RQ3 구성은 N = 34를 초월하여 유효한가? 그 확장을 위해 어떤 가정이 필요한가?
• RQ4 비틀림 구성의 비퇴화성은 아드러-모저 다항식의 대수적 성질과 어떻게 관련이 있는가?
• RQ5 리아푸노프-슈미트 축소 방법은 작은 ε을 가진 비틀림 문제의 비콤팩트성과 특이성을 다룰 수 있는가?

주요 결과

• 모든 N ≤ 34에 대해, ε₀ > 0이 존재하여 모든 ε ∈ (0, ε₀)에 대해 진행파 방정식의 해 Uε가 존재하며, N(N+1)/2개의 ±1도수 비틀림 쌍을 포함한다.
• 비틀림 위치 pk는 n = N(N+1)/2인 아드러-모저 다항식 An의 근이며, qk = −p̄k로 주어져 대칭적이고 고리 형태의 배열을 이룬다.
• 아드러-모저 다항식 An이 반복 근을 가지지 않는 한 구성은 N > 34에 대해서도 유효하며, 이 조건은 모든 N ∈ ℕ에 대해 성립할 것으로 추측된다.
• 근사 해의 오차는 O(ε¹⁻σ)로 유계이며, 커널 모드를 투영한 후 수축 사상 원리에 의해 해가 얻어진다.
• 비틀림 구성의 비퇴화성은 아드러-모저 다항식의 대수적 구조와 다르부 변환 방법에 의해 보장된다.
• 해는 ∥η∥∗ ≤ C|ln ε|∥h∥∗∗를 만족하여, 무게 함수 프레임워크에서 투영된 선형 문제의 해 존재성을 확인한다.