[논문 리뷰] On smoothness and uniqueness of multi-solitons of the non-linear Schr{\\"o}dinger equations

Raphaël Côte, Xavier Friederich|arXiv (Cornell University)|2020. 06. 19.

Advanced Mathematical Physics Problems참고 문헌 35인용 수 12

한 줄 요약

이 논문은 일반적인 $H^1$-부하위비선형성을 가진 $ℝ^d$에서 비선형 슈뢰딩거 방정식의 다중 솔리톤 해의 미세성과 유일성을 확립한다. 스펙트럼 분석과 농축-콤���트성 추론을 통해 다중 솔리톤이 비선형성이 미세할 경우에도 미세함을 증명하고, 특히 모든 기저 상태가 안정적이거나 질량 임계 케이스일 경우 특정 클래스 내에서의 유일성을 입증한다.

ABSTRACT

In this paper, we study some properties of multi-solitons for the non-linear Schr{\\"o}dinger equations in R^d with general non-linearities. Multi-solitons have already been constructed in H^1, successively by Merle, by Martel and Merle, and by C{\\^o}te, Martel and Merle. We show here that multi-solitons are smooth, depending on the regularity of the non-linearity. We obtain also a result of uniqueness in some class, either when the ground states are all stable, or in the mass-critical case.

연구 동기 및 목표

• 일반적인 $H^1$-부하위비선형성을 가진 $ℝ^d$에서 비선형 슈뢰딩거 방정식의 다중 솔리톤 해의 미세성을 확립하기 위해.
• 기저 상태가 모두 궤도 안정적이거나 질량 임계 영역에 있을 경우 다중 솔리톤의 유일성을 조사하기 위해.
• 비선형성의 미세성에 기반하여 $H^1$-해에서 고차 미세성 결과를 확장하기 위해.
• 고립파 주위의 선형화된 연산자에 대한 스펙트럼 구조를 분석하여 비영이 아닌 $L^2$-수직 방향이 존재하지 않음을 제거하기 위해.
• 선형화된 에너지의 최소화 수열에서의 극한 프로파일이 반드시 0이 되어야 하며, 이는 임계 케이스에서의 유일성을 의미한다.

제안 방법

• 선형화된 연산자 $L_{+,ω}$와 관련된 이차형식의 최소화 수열을 분석하기 위해 농축-콤팩트성 원리를 적용하기 위해.
• 기저 상태 $Q_\omega$의 지수 감쇠 추정과 보간 부등식을 사용하여 도함수의 $L^2$-노름을 제어하기 위해.
• 포호자에 방정식과 척도 불변성을 적용하여 $x \cdot \nabla Q_\omega$와 $Q_\omega$ 사이의 항등식을 유도하기 위해.
• 최소화 수열의 약한 극한 $v^*$에 대한 라그랑주 승수 조건을 유도하여 수직 조건의 시스템을 도출하기 위해.
• 선형화된 연산자 $L_{+,ω}$의 비퇴화성과 핵의 구조를 이용하여 비영이 아닌 해가 존재할 경우 모순이 발생함을 보여주기 위해.
• 수직 조건 하에서 이차형식 $\langle L_{+,ω}v, v\rangle$의 양성으로 비영이 아닌 최소화자를 배제하기 위해.

실험 결과

연구 질문

• RQ1 비선형 슈뢰딩거 방정식의 다중 솔리톤 해가 공간과 시간에서 미세해지는 조건은 무엇인가?
• RQ2 다중 솔리톤 해가 $t \to \infty$로 갈수록 어떤 점근적 행동을 보일 때 그 해가 유일하게 결정되는가?
• RQ3 선형화된 연산자 $L_{+,ω}$의 어떤 스펙트럼적 및 변분적 성질이 다중 솔리톤의 유일성을 보장하는가?
• RQ4 질량 임계 비선형성은 하위임계 케이스와 비교하여 다중 솔리톤의 유일성과 미세성에 어떤 영향을 미치는가?
• RQ5 기저 상태의 대칭성에 대해 비영이 아닌 $L^2$-수직 방향이 존재하지 않는다는 가정을 어떻게 사용하여 유일성을 증명할 수 있는가?

주요 결과

• 비선형 슈뢰딩거 방정식의 다중 솔리톤은 비선형성 $f$가 충분히 미세할 경우, 즉 $f$가 $\mathscr{C}^s$이고 $Q_\omega \in \mathscr{C}^{s+2}$를 보장할 수 있을 정도로 $s$가 충분히 클 경우 $ℝ^d$에서 미세하다.
• 질량 임계 케이스 ($p = 1 + \frac{4}{d}$)에서는 점 渐진적으로 분리된 솔리톤들의 합으로 행동하는 해의 클래스 내에서 다중 솔리톤이 유일하다.
• 모든 기저 상태가 궤도 안정적일 경우, 주어진 점근적 속도와 위상 조건을 가진 해의 클래스 내에서 다중 솔리톤은 유일하다.
• 이차형식 $\langle L_{+,ω}v, v\rangle$는 $Q_\omega$, $\partial_{x_i}Q_\omega$, 그리고 $x \cdot \nabla Q_\omega$에 대해 $L^2$-수직인 함수 공간에서 엄격히 양수이며, 이는 비퇴화성과 유일성을 의미한다.
• $\beta = 0$일 때 $v^* \neq 0$라는 가정이 모순을 일으킴을 보여, 유일한 가능한 최소화자는 자명한 해뿐이므로, 최소값의 양성성을 증명한다.
• 양 $\int_{\mathbb{R}^d} (x \cdot \nabla Q_\omega)^2 dx - \frac{d^2}{4} \int_{\mathbb{R}^d} Q_\omega^2 dx > 0$는 엄격히 양수이며, 이는 라그랑주 승수 시스템에서 비영이 아닌 해의 존재를 배제하는 데 필수적이다.