[논문 리뷰] Strong instability of standing waves for nonlinear Schrödinger equations with a delta potential

Masahito Ohta, Takahiro Yamaguchi|arXiv (Cornell University)|2014. 11. 10.

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

한 줄 요약

이 논문은 1차원 비선형 슈뢰딩거 방정식에 대한 궁극적 델타 포텐셜과 $L^2$-초임계 비선형성을 갖는 정상파 해의 강한 불안정성(유한시간 폭발)을 위한 충분조건을 설정한다. 변분적 접근법과 척도 변환을 사용하여, 정상파 $e^{i heta t}Φ_ω$의 에너지가 양수일 경우, 임의로 작은 $H^1$-편미분이 유한시간 폭발을 유도함을 증명한다. 이는 $ω > ω_1(p,\gamma)$일 때 강한 불안정성을 의미하며, $ω_1$은 비선형 고유값 방정식을 통해 정의된다.

ABSTRACT

We study strong instability (instability by blowup) of standing wave solutions for a nonlinear Schrödinger equation with an attractive delta potential and $L^2$-supercritical power nonlinearity in one space dimension. We also compare our sufficient condition on strong instability with some known results on orbital instability.

연구 동기 및 목표

• 1차원에서 인력 델타 포텐셜을 갖는 비선형 슈뢰딩거 방정식의 정상파 해의 강한 불안정성(폭발)을 분석한다.
• 정상파 프로파일의 에너지 기능 $E(\phi_\omega)$의 부호에 기반한 강한 불안정성에 대한 충분조건을 설정한다.
• 기존 궤도 불안정성 기준(특히 $\partial_\omega \|\phi_\omega\|_{L^2}^2$ 및 $\partial_\lambda^2 E(\phi_\omega^\lambda)$ at $\lambda=1$ 기반)과 새로운 강한 불안정성 기준을 비교한다.
• 다양한 불안정성 임계값 간의 관계를 명확히 한다: 궤도 불안정성의 $\omega_0(p,\gamma)$, 강한 불안정성의 $\omega_1(p,\gamma)$, 그리고 두 번째 도함수 조건에 의한 불안정성의 $\omega_2(p,\gamma)$.

제안 방법

• 저자들은 정상파 해 $e^{i\omega t}\phi_\omega(x)$를 정적 방정식 $-\partial_x^2\phi + \omega\phi - \gamma\delta(x)\phi - |\phi|^{p-1}\phi = 0$의 유일한 양수해로 정의한다.
• 스케일링 변환 $\phi_\omega^\lambda(x) = \lambda^{1/2}\phi_\omega(\lambda x)$를 도입하고, 이 변환 하에서 에너지 $E(\phi_\omega^\lambda)$와 $L^2$-노름의 행동을 분석한다.
• 식 $P(\phi_\omega) = 0$과 $E(\phi_\omega) > 0$의 사실을 이용하여, $\lambda > 1$이 1에 가까울 경우 $E(\phi_\omega^\lambda) < E(\phi_\omega)$ 및 $K_\omega(\phi_\omega^\lambda) < 0$임을 보이고, 이는 $\phi_\omega^\lambda$가 폭발을 유도하는 함수 집합 $\mathcal{B}_\omega$에 속함을 의미한다.
• 기존 문헌에서 알려진 폭발 기준(정리 1.6)을 적용하여 $\mathcal{B}_\omega$에 속하는 초기 자료는 유한시간 폭발을 보임을 보이고, 스케일링에 따른 $H^1$-노름의 연속성을 이용하여 강한 불안정성을 결론짓는다.
• 이 증명은 정상파의 변분적 특성과 $\lambda > 1$에서 에너지의 엄격한 감소에 기반하며, 이는 도함수 $\partial_\lambda K_\omega(\phi_\omega^\lambda)\big|_{\lambda=1} < 0$로부터 유도된다.
• 강한 불안정성의 임계값 $\omega_1(p,\gamma)$를 $\omega_0(p,\gamma)$ 및 $\omega_2(p,\gamma)$와 비교하여 $p > 5$일 때 $\omega_0 < \omega_2 < \omega_1$임을 보이고, 이는 $\omega > \omega_2(p,\gamma)$에 대해 강한 불안정성이 성립할 수 있음을 시사한다.

실험 결과

연구 질문

• RQ1 델타 포텐셜을 갖는 비선형 슈뢰딩거 방정식의 정상파 해 $e^{i\omega t}\phi_\omega$가 강하게 불안정해지는(즉, 임의로 작은 편미분에 의해 유한시간 폭발이 발생하는) 조건은 무엇인가?
• RQ2 강한 불안정성에 대한 새로운 충분조건인 $E(\phi_\omega) > 0$은 $\partial_\omega \|\phi_\omega\|_{L^2}^2 < 0$ 기반으로 알려진 궤도 불안정성 기준과 어떻게 비교되는가?
• RQ3 다양한 불안정성 임계값 $\omega_0(p,\gamma)$, $\omega_1(p,\gamma)$, $\omega_2(p,\gamma)$ 간의 관계는 무엇인가?
• RQ4 두 번째 도함수 기준에 해당하는 $\omega_2(p,\gamma)$에 대해 $\omega > \omega_2(p,\gamma)$일 때 강한 불안정성이 성립할 수 있다는 추측을 할 수 있는가?

주요 결과

• 정상파 해 $e^{i\omega t}\phi_\omega$는 $E(\phi_\omega) > 0$일 경우 강하게 불안정하다. 이는 $\omega > \omega_1(p,\gamma)$일 때 성립하며, $\omega_1(p,\gamma) = \gamma^2 / (4\xi_1(p)^2)$이고, $\xi_1(p)$는 특정 적분 방정식의 해이다.
• $p > 5$일 때, 강한 불안정성의 임계값 $\omega_1(p,\gamma)$는 $\omega_2(p,\gamma) > \omega_0(p,\gamma)$를 만족하며, 이는 궤도 불안정성 기준($\partial_\omega \|\phi_\omega\|_{L^2}^2$ 기반)이 부정적인 경우에도 강한 불안정성이 발생할 수 있음을 시사한다.
• $E(\phi_\omega) > 0$ 조건은 $\lambda \in (1, \lambda_0)$인 초기 자료의 가족 $\phi_\omega^\lambda$가 유한시간 폭발을 유도함을 보장하며, 이는 변분 방법을 통한 강한 불안정성의 존재를 확립한다.
• $p > 5$일 때, 에너지 기반 기준 $E(\phi_\omega) > 0$은 두 번째 도함수 조건 $\partial_\lambda^2 E(\phi_\omega^\lambda)\big|_{\lambda=1} < 0$보다 더 강한 불안정성 임계값을 제공한다. 이는 $\omega > \omega_2(p,\gamma)$에 해당한다.
• 논문 [15]의 수치적 결과($p=6$, $\gamma=1$, $\omega=4$)는 이론적 결과를 지지하며, $\omega_2(6,1) < 4 < \omega_1(6,1)$이므로 $\omega=4$는 궤도 불안정성 기준으로는 제외되지 않지만 강한 불안정성이 예상되는 영역에 속한다.