[논문 리뷰] Construction of multi-soliton solutions for the L2-supercritical gKdV and NLS equations

Raphaël Côte, Yvan Martel외 1명|arXiv (Cornell University)|2009. 05. 04.

Advanced Mathematical Physics Problems참고 문헌 22인용 수 4

한 줄 요약

이 논문은 선형화된 연산자의 불안정한 방향을 제어하기 위해 위상적 추론을 사용하여 $L^2$-초임계(gKdV 및 NLS) 일반화된 콜트웨이-데브리스 방정식에 대한 다중 솔리톤 해를 구축한다. 저자들은 $t \to +\infty$일 때 해가 서로 다른 속도를 가진 $N$개의 솔리톤 합으로 점 渐진적으로 수렴하며, $H^1$ 노름에서 지수 수렴을 보임을 증명한다. 이는 이전의 부분임계 및 임계 영역 결과를 $L^2$-초임계 영역으로 확장한 것으로, 이 영역에서는 솔리톤이 본질적으로 불안정하다.

ABSTRACT

Multi-soliton solutions, i.e. solutions behaving as the sum of N given solitons as $t o +\infty$, were constructed in previous works for the L2 critical and subcritical (NLS) and (gKdV) equations. In this paper, we extend the construction of multi-soliton solutions to the L2 supercritical case both for (gKdV) and (NLS) equations, using a topological argument to control the direction of instability.

연구 동기 및 목표

• $L^2$-부분임계 및 임계 영역에서의 다중 솔리톤 해 구축을 $L^2$-초임계 영역으로 확장하여 gKdV 및 NLS 방정식에 적용하는 것.
• gKdV의 경우 $p > 5$, NLS의 경우 $p > 1 + 4/d$인 $L^2$-초임계 영역에서 솔리톤의 불안정성 문제를 다루며, 이는 선형화된 연산자에 존재하는 불안정한 방향으로 인해 기존 방법이 실패하기 때문이다.
• 초임계 설정에서 관련된 불안정한 방향을 제어할 수 있는 위상적 추론을 개발하여 다중 솔리톤의 존재성을 입증하는 것.

제안 방법

• $t \to +\infty$일 때 해가 $N$개의 솔리톤 합으로 점 渐진적으로 유사해지는 것을 보장하기 위해 컴 pact성 추론을 사용하며, 이는 이전의 부분임계 영역 연구에 기반한다.
• 각 솔리톤 주변의 선형화된 연산자의 불안정한 방향을 제어하기 위해 위상적 추론을 도입한다. 이는 $L^2$-초임계 영역에서 존재한다.
• 선형화된 연산자에 대한 $L^2$ 고유함수 $Y^\pm$의 존재에 의존하며, 이는 Pego와 Weinstein에 의해 ODE 기법으로 구성되었으며, 솔리톤 프ofile의 $L^2$ 노름의 음의 도함수와 연결된다.
• 해의 존재성을 보장하기 위해 매개변수 공간 위에 정의된 함수 $\Psi$를 사용하며, 이 함수의 가역성(암시함수정리에 의해)은 원하는 점 渐진적 행동을 만족하는 해의 존재를 보장한다.
• 오차 항을 제어하기 위해 솔리톤 간 상호작용을 신중하게 분석하며, 일관된 추정과 시간에 따른 지수 감쇠를 사용한다.
• 해는 $H^1$ 노름에서 지수 속도 $Ce^{-\sigma_0^{3/2}t}$로 솔리톤의 합으로 수렴하며, 이 결과는 $s \geq 1$인 더 높은 정규성 공간 $H^s$로도 확장된다.

실험 결과

연구 질문

• RQ1 $L^2$-초임계 gKdV 방정식에서 솔리톤이 불안정하다는 것이 알려져 있을 때, 다중 솔리톤 해를 구성할 수 있는가?
• RQ2 초임계 영역에서 각 솔리톤 주변의 선형화된 연산자의 불안정한 방향을 어떻게 제어할 수 있는가? 이는 초임계 영역에서 다중 솔리톤의 존재를 보장하기 위해 필수적이다.
• RQ3 위상적 접근을 사용하여 다중 솔리톤 존재 결과를 $L^2$-부분임계 및 임계 영역을 초월해 $L^2$-초임계 설정으로 확장할 수 있는가?
• RQ4 선형화된 연산자의 $L^2$ 고유함수 $Y^\pm$는 초임계 영역에서 다중 솔리톤의 구조를 안정화시키는 데 어떤 역할을 하는가?
• RQ5 초임계 영역에서 해의 점 渐진적 행동 역시 부분임계 영역과 마찬가지로 지수 수렴을 보이는가?

주요 결과

• 논문은 $p > 5$인 $L^2$-초임계 gKdV 방정식에 대해 임의의 $N \geq 1$ 및 서로 다른 속도 $0 < c_1 < \cdots < c_N$에 대해 다중 솔리톤 해의 존재를 입증한다.
• 구성된 해 $u(t)$는 모든 $t \geq T_0$에 대해 $\left\|u(t) - \sum_{j=1}^N R_{c_j,x_j}(t)\right\|_{H^1} \leq C e^{-\sigma_0^{3/2}t}$를 만족하며, 솔리톤 합으로의 지수 수렴을 증명한다.
• 위상적 추론은 증명에서 필수적이며, 이는 초임계 영역에서 $\frac{d}{dc}\int Q_c^2\big|_{c=c_0} < 0$로 인해 존재하는 선형화된 연산자의 불안정한 방향을 제어하기 때문이다.
• 해는 모든 $s \geq 1$에 대해 $H^s$에 속하며, 수렴은 $H^1$ 뿐 아니라 $H^s$ 노름에서도 성립한다. 이는 [16]의 보조정리 5에 의해 보여진다.
• 이 방법은 Pego와 Weinstein에 의해 구성된 선형화된 연산자에 대한 $L^2$ 고유함수 $Y^\pm$의 존재에 의존하며, 이들이 불안정 조건과 동치임을 보여준다.
• 암시함수정리가 매개변수 $\Psi$의 맵에 적용되며, 이의 가역성은 초기 조건에 의해 매개변수화된 유일한 해의 존재를 보장한다. 자코비안 $d\Psi$는 함수 $Z_j^\pm$의 그람 행렬을 통해 가역임을 보였다.