[논문 리뷰] Instability of degenerate solitons for nonlinear Schr\"odinger equations with derivative

Noriyoshi Fukaya, Masayuki Hayashi|arXiv (Cornell University)|2021. 02. 25.

Advanced Mathematical Physics Problems참고 문헌 44인용 수 3

한 줄 요약

이 논문은 비선형 슈뢰딩거 방정식에서 도함수 비선형성과 오차비비선형성을 고려할 때, 변형된 스케일링 생성자와 $L^2$-내적을 바탕으로 한 라플라스 유형 함수를 사용하여 열화된 솔리톤의 불안정성을 규명한다. 주요 결과는 $b > 0$일 경우, 열화된 솔리톤 주변에 위치한 큰 집합의 초기 자료가 유한 시간 내에 폭발함을 보여주며, 이는 일반화된 KdV 방정식의 불안정성 이론을 비적분 가능하고 $L^2$-临계인 슈뢰딩거 모델으로 확장한다.

ABSTRACT

We consider the following nonlinear Schr\"{o}dinger equation with derivative: \begin{equation} iu_t =-u_{xx} -i |u|^{2}u_x -b|u|^4u , \quad (t,x) \in \mathbb{R} imes\mathbb{R}, \ b \in\mathbb{R}. \end{equation} If $b=0$, this equation is a gauge equivalent form of the well-known derivative nonlinear Schr\"{o}dinger (DNLS) equation. The soliton profile of DNLS satisfies a certain double power elliptic equation with cubic-quintic nonlinearities. The quintic nonlinearity in our equation only affects the coefficient in front of the quintic term in the elliptic equation, so in this sense the additional nonlinearity is natural as a perturbation preserving soliton profiles of DNLS. When $b\ge 0$, the equation has degenerate solitons whose momentum and energy are zero, and if $b=0$, they are algebraic solitons. Inspired from the works on instability theory of the $L^2$-critical generalized KdV equation, we study the instability of degenerate solitons in a qualitative way, and when $b>0$, we obtain a large set of initial data yielding the instability. The arguments except one step in our proof work for the case $b=0$ in exactly the same way, which is a small step towards understanding the dynamics around algebraic solitons of the DNLS equation.

연구 동기 및 목표

• . 이 논문은 도함수 비선형성과 오차비선형성을 포함한 $L^2$-临계 비선형 슈뢰딩거 방정식에서 열화된 솔리톤 주변의 동역학을 이해하고자 한다.
• . 이는 도함수 NLS(DNLS) 방정식에서 대수적 솔리톤의 안정성/불안정성 문제를 해결하는 열린 문제를 다룬다.
• . 이 목적은 일반화된 KdV 방정식의 불안정성 이론에 영감을 얻은 정성적 접근을 통해 $b \geq 0$인 경우, 특히 $b > 0$일 경우 열화된 솔리톤의 불안정성을 증명하는 데 있다.
• . 이는 불안정성과 유한 시간 폭발을 유도하는 초기 자료의 큰 집합을 규명하고자 한다.
• . 이 연구는 적분 가능성과 비적분 가능성을 분석함으로써 적분 가능하고 비적분 가능한 $L^2$-临계 동역학 간의 차이를 명확히 한다.

제안 방법

• . 저자들은 솔리톤에서의 편차 $\varepsilon$와 스케일링을 생성하는 연산자 $\Lambda$를 고려하여, $L^2$-내적 $ (\varepsilon(s), i\Lambda\varphi)_{L^2} $를 기반으로 한 라플라스 함수를 사용한다.
• . 이 함수에 대한 미분 부등식을 유도하기 위해, 이동 기준에서의 편차의 시간 진화를 분석하고, 방정식의 보존량과 선형화된 연산자의 구조를 활용한다.
• . 증명은 모순에 기반한다: 전역 존재성과 소형성 조건을 가정하면, 라플라스 함수는 유계이지만 시간이 지남에 따라 무한히 증가하므로 모순이 발생한다.
• . 이 방법은 $L^2$-临계 일반화된 KdV 방정식의 불안정성 이론에서 유래된 기법을 응용하며, 특히 $ J(s) = \int \varepsilon(s) \int_{-\infty}^y \Lambda Q \, dy $ 형태의 함수를 슈뢰딩거 설정으로 일반화하였다.
• . 핵심 단계는 초기 자료가 충분히 작고 커널에 수직일 조건 하에, 라플라스 함수의 시간 도함수가 초기 $L^2$-질량 $ (\varepsilon_0, \varphi)_{L^2} $의 양의 배수로 아래에서 유계임을 보이는 것이다.
• . 분석은 시간의 스케일링 $ s $을 통해 동역학을 단순화하고, 편차 매개변수 $ \lambda(s) $와 $ x(s) $의 진화를 제어하는 데 사용된다.

실험 결과

연구 질문

• RQ1 . 도함수 NLS 방정식에 오차비선형성($b > 0$)을 추가한 경우, 열화된 솔리톤이 $H^1$ 노름에서의 소형 편차에 대해 불안정성을 보일까?
• RQ2 . $L^2$-临계 비선형 슈뢰딩거 방정식에서 도함수 비선형성과 오차비선형성을 포함한 경우, 열화된 솔리톤 주변의 큰 집합의 초기 자료가 유한 시간 내에 폭발할 수 있을까?
• RQ3 . 이 비적분 가능하고 $L^2$-临계 슈뢰딩거 방정식의 불안정성 메커니즘은 잘 알려진 $L^2$-临계 일반화된 KdV 방정식의 불안정성과 어떻게 비교될 수 있을까?
• RQ4 . $ (\varepsilon, i\Lambda\varphi)_{L^2} $ 기능은 불안정성 증명에서 어떤 역할을 하는가? 그리고 이는 어떻게 라플라스 함수로 작용하는가?
• RQ5 . $b = 0$인 경우(원래 DNLS의 대수적 솔리톤)에 대해 이 방법을 통해 열화된 솔리톤의 불안정성이 증명될 수 있을까? 폭발에 대한 질량 임계값이 없더라도 말이다?

주요 결과

• . 이 논문은 방정식 $ iu_t = -u_{xx} - i|u|^2 u_x - b|u|^4 u $의 열화된 솔리톤이 $ b \geq 0 $일 경우 불안정하며, 이는 큰 집합의 초기 자료가 유한 시간 내에 폭발함을 증명한다.
• . 불안정성은 전역 존재성 가정 하에 라플라스 함수 $ (\varepsilon(s), i\Lambda\varphi)_{L^2} $가 시간이 지남에 따라 무한히 증가함을 보이는 모순 증명을 통해 확립된다.
• . 초기 자료가 충분히 작고 커널에 수직일 조건 하에, 라플라스 함수의 시간 도함수는 초기 $L^2$-질량 $ (\varepsilon_0, \varphi)_{L^2} $의 양의 배수로 아래에서 유계이다.
• . 이 증명 기법은 $b = 0$인 경우(원래 DNLS)에도 동일한 정성적 방식으로 적용 가능하며, 적분 가능한 경우 대수적 솔리톤의 불안정성 증명에 대한 작은 단계를 제공한다.
• . $ (\varepsilon, i\Lambda\varphi)_{L^2} $ 기능은 $L^2$-临계 일반화된 KdV 방정식의 불안정성 증명에서 사용된 기능과 유사한 핵심 역할을 하며, $L^2$-临계 동역학에서 공통된 메커니즘을 드러낸다.
• . 결과적으로, 두 파rameter 가중 솔리톤 가족과 $L^2$-临계 구조가 존재함으로써 안정적이고 불안정한 솔리톤이 동시에 존재할 수 있음을 보여주며, 이는 표준 NLS나 일반화된 KdV와 같은 다른 $L^2$-临계 방정식에서는 관찰되지 않는 특성이다.