[논문 리뷰] Instability of solitary waves for a generalized derivative nonlinear Schrödinger equation in a borderline case

Noriyoshi Fukaya|arXiv (Cornell University)|2016. 04. 27.

Advanced Mathematical Physics Problems참고 문헌 14인용 수 7

한 줄 요약

이 논문은 스펙트럼 분석으로 유도된 임계 임계값과 동일한 파동 속도 매개변수를 가진 일반화된 도함수 비선형 슈뢰딩거 방정식의 경계 사례에서 이중 매개변수 고립파 해의 궤도적 불안정성을 확립한다. 행동 함수의 삼차 전개와 헤시안 행렬의 스펙트럼 분석을 통해, 헤시안 행렬이 비가역일 경우 불안정성을 증명함으로써, 비가역 설정에서 이중 매개변수 가족에 대한 열린 문제를 해결한다.

ABSTRACT

We study the orbital instability of solitary waves for a generalized derivative nonlinear Schrödinger equation. We give sufficient conditions for instability of a two-parameter family of solitary waves in a degenerate case.

연구 동기 및 목표

• 행동 함수의 헤시안 행렬이 특이행렬인 비가역 케이스에서 이중 매개변수 고립파의 안정성에 대한 열린 문제를 해결하기 위해.
• 이전에 비가역 설정에서 연구된 단일 매개변수 가족을 초월하여 고립파의 안정성 이론을 확장하기 위해.
• 파동 속도 매개변수 $\omega_1 = 2z_0\sqrt{\omega_0}$를 만족하는 임계 케이스에서의 불안정성 메커니즘을 분석하기 위해.
• 행동 함수의 고차항 전개와 선형화된 연산자의 스펙트럼 분석을 이용한 불안정성의 엄밀한 증명을 제공하기 위해.

제안 방법

• 일반화된 도함수 NLS 방정식에서 $\sigma \in [3/2, 2)$인 경우, 이중 매개변수 고립파 해 $u_\omega(t,x) = e^{i\omega_0 t} \phi_\omega(x - \omega_1 t)$를 유도한다.
• 행동 함수 $S_\omega(u) = E(u) + \sum_{j=0}^1 \omega_j Q_j(u)$를 도입하며, 이 함수의 임계점은 고립파에 대응한다.
• 행동 함수의 헤시안 행렬 $d''(\omega)$를 고립파에서 평가하며, 특히 $\omega_1 = 2z_0\sqrt{\omega_0}$인 비가역 케이스에 집중한다.
• 행동 함수의 $d(\omega + \lambda \xi)$를 $\lambda = 0$ 근처에서 삼차 테일러 전개하여, 0이 아닌 삼차 도함수의 존재를 탐지함으로써 불안정성을 확인한다.
• 스펙트럼 분석과 항등식 $\partial_{\omega_0}^2 d(\omega) = Q_0(\phi_\omega)$를 사용하여, 헤시안 성분을 $\alpha_{0,\omega}$와 $\alpha_{1,\omega}$로 표현한다.
• 그릴라키스, 샤타흐, 스트라우스의 일반 안정성 프레임워크를 비가역 케이스에 적응시키기 위해 고차항 편미분 분석을 적용한다.

실험 결과

연구 질문

• RQ1 헤시안 행렬 $d''(\omega)$가 비가역일 경우, 이중 매개변수 고립파 가족이 궤도적으로 불안정한가?
• RQ2 비가역 케이스에서 특정 방향 $\xi$에 따라 행동 함수 $d(\omega)$의 삼차 도함수는 어떻게 행동하는가?
• RQ3 헤시안의 표준 이차 스펙트럼 조건이 비가역성으로 인해 실패할 경우, 고립파의 불안정성은 어떻게 확립할 수 있는가?
• RQ4 적분 방정식 $F_\sigma(z_0) = 0$로 정의된 임계 값 $z_0(\sigma)$는 불안정성 임계값에 어떻게 영향을 미치는가?
• RQ5 비가역 케이스에서 $d(\omega + \lambda \xi)$의 삼차항이 사라지는가 아닌가, 그리고 이는 안정성에 어떤 의미를 갖는가?

주요 결과

• 파라미터 $\omega_1 = 2z_0\sqrt{\omega_0}$ 및 $\sigma \in [3/2, 2)$일 때 고립파 $e^{i\omega_0 t}\phi_\omega(x - \omega_1 t)$는 궤도적으로 불안정하며, 이는 열린 문제를 해결한다.
• 삼차 도함수 $\frac{d^3}{d\lambda^3}d(\omega + \lambda\xi)\big|_{\lambda=0}$는 0이 아니며, 이는 헤시안이 비가역이지만 고차항을 통해 불안정성이 탐지될 수 있음을 시사한다.
• 0이 아닌 삼차 도함수의 근원은 비가역 조합 $-4\partial_{\omega_0}\partial_{\omega_1}^2 d(\omega) + 4\omega_0^{1/2}\partial_{\omega_0}^2\partial_{\omega_1} d(\omega) + \partial_{\omega_0}^2 d(\omega) \neq 0$에서 기인한다.
• 조건 $\partial_{\omega_0}\partial_{\omega_1}d(\omega) = \pm \omega_0^{1/2} \partial_{\omega_0}^2 d(\omega)$가 성립할 경우 삼차 도함수가 0이 아니며, 이는 불안정성의 존재를 보장한다.
• 증명은 $\alpha_{0,\omega}$와 $\alpha_{1,\omega}$를 이용한 헤시안 성분의 명시적 계산에 기반하며, 이 식이 $\sigma(\sigma-1)(z_0-1)^2(z_0+1)$ 인자로 인해 0이 아니라는 것을 보여준다.
• 이 연구는 비가역 설정에서 이중 매개변수 고립파 가족의 불안정성을 처음으로 확립한 것으로, 이전 연구가 단일 매개변수 가족에 국한된 것을 초월한다.