[논문 리뷰] Strong instability of standing waves for nonlinear Schr\\"odinger equations with double power nonlinearity

Masahito Ohta, Takahiro Yamaguchi|arXiv (Cornell University)|2014. 07. 03.

Advanced Mathematical Physics Problems참고 문헌 17인용 수 13

한 줄 요약

이 논문은 비선형 슈뢰딩거 방정식의 이중 거듭제곱 비선형성에 대해 $ i\partial_t u = -\Delta u - a|u|^{p-1}u - b|u|^{q-1}u $ 를 $ \mathbb{R}^N $ 에서 다루며, $ 1 < p < 1+4/N < q < 2^*-1 $ 인 경우에 정적 파동 해의 강한 불안정성(유한 시간 폭발)을 확립한다. 스케일링 추론과 비르발 항등식을 사용하여, 충분히 큰 주파수 $ \omega $ 에서 기저 상태 $ \phi_\omega $ 의 소규모 편미분이 유한 시간 내에 폭발함을 증명한다. 이는 안정성이 예상되는 임계 영역에서 강한 불안정성을 확인한다.

ABSTRACT

We prove strong instability (instability by blowup) of standing waves for some nonlinear Schr\\"odinger equations with double power nonlinearity.

연구 동기 및 목표

• 이중 거듭제곱 비선형성에서 $ 1 < p < 1+4/N < q < 2^*-1 $ 이고 $ \omega $ 가 크기 때문에 정적 파동 해가 강하게 불안정한지 여부라는 열린 문제를 해결하는 것.
• 이중 거듭제곱 비선형성의 경우 기저 상태 $ \phi_\omega $ 근처의 초기 자료에 대해 유한 시간 폭발을 확립하는 것.
• 기존의 단일 거듭제곱 비선형성에서의 불안정성 결과를 임계 영역에서 이중 거듭제곱 비선형성으로 확장하는 것.
• 에너지 및 네하리 함수 추정을 통해 불안정성의 임계 조건을 규명하는 것.

제안 방법

• 에너지 함수 $ E(v) = \frac{1}{2}\|\nabla v\|_{L^2}^2 - \frac{a}{p+1}\|v\|_{L^{p+1}}^{p+1} - \frac{b}{q+1}\|v\|_{L^{q+1}}^{q+1} $ 과 네하리 함수 $ K_\omega(v) = \|\nabla v\|_{L^2}^2 + \omega\|v\|_{L^2}^2 - a\|v\|_{L^{p+1}}^{p+1} - b\|v\|_{L^{q+1}}^{q+1} $ 를 정의한다.
• 비르발 항등식 $ \frac{d^2}{dt^2}\|xu(t)\|_{L^2}^2 = 8P(u(t)) $ 를 사용하며, 여기서 $ P(v) = \|\nabla v\|_{L^2}^2 - \frac{a\alpha}{p+1}\|v\|_{L^{p+1}}^{p+1} - \frac{b\beta}{q+1}\|v\|_{L^{q+1}}^{q+1} $ 이고, $ \alpha = \frac{N}{2}(p-1) $, $ \beta = \frac{N}{2}(q-1) $ 이다.
• 스케일링 함수의 가족 $ \phi_\omega^\lambda(x) = \lambda^{N/2}\phi_\omega(\lambda x) $ 을 구성하고, $ \lambda > 1 $ 에서 $ \phi_\omega^\lambda \in \mathcal{B}_\omega $, 즉 $ K_\omega(\phi_\omega^\lambda) < 0 $ 과 $ E(\phi_\omega^\lambda) < E(\phi_\omega) $ 임을 보인다.
• $ \lambda \in (1, \lambda_0) $ 에서 $ P(\phi_\omega^\lambda) < 0 $ 임을 증명하여 비르발 항등식이 폭발을 이끌어냄을 보인다.
• 스케일링에 따른 $ H^1 $-노름의 연속성을 이용하여 $ \|\phi_\omega^\lambda - \phi_\omega\|_{H^1} \to 0 $ 가 $ \lambda \to 1^+ $ 일 때 성립함을 보이며, 이는 소규모 편미분이 폭발을 유도함을 보장한다.
• $ E(\phi_\omega) > 0 $ 이 큰 $ \omega $ 에서 성립한다는 사실을 활용하여, 폭발 증명에서 에너지 비교에 필수적인 조건임을 밝힌다.

실험 결과

연구 질문

• RQ1 이중 거듭제곱 비선형성에서 $ 1 < p < 1+4/N < q < 2^*-1 $ 이고 $ \omega $ 가 충분히 크면 정적 파동 해 $ e^{i\omega t}\phi_\omega $ 는 강하게 불안정한가?
• RQ2 비르발 항등식은 이중 거듭제곱 비선형성의 경우 기저 상태 근처의 초기 자료에 대해 유한 시간 폭발을 증명하는 데 사용될 수 있는가?
• RQ3 큰 $ \omega $ 에서 스케일링 하에서 에너지 함수가 아래로 유계이고 음의 정의를 가지는가? 이는 비르발 방법을 통한 폭발 가능성을 보장하는가?
• RQ4 네하리 함수 $ K_\omega $ 는 불안정성의 임계 조건을 규명하는 데 어떤 역할을 하는가?
• RQ5 $ \omega \to \infty $ 일 때 $ \|\phi_\omega\|_{L^{p+1}}^{p+1}/\|\phi_\omega\|_{L^{q+1}}^{q+1} $ 의 점근적 행동은 불안정성 조건에 어떻게 영향을 미치는가?

주요 결과

• 이중 거듭제곱 비선형성에서 $ 1 < p < 1+4/N < q < 2^*-1 $ 이면, $ \omega_1 > 0 $ 이 존재하여 모든 $ \omega > \omega_1 $ 에서 정적 파동 $ e^{i\omega t}\phi_\omega $ 는 강하게 불안정하다.
• 모든 $ \omega > \omega_1 $ 에서 $ E(\phi_\omega) > 0 $ 이며, 이는 폭발 증명에 필수적인 조건이다.
• $ \lambda \in (1, \lambda_0) $ 에서 스케일링된 함수 $ \phi_\omega^\lambda $ 는 $ K_\omega(\phi_\omega^\lambda) < 0 $ 과 $ P(\phi_\omega^\lambda) < 0 $ 를 만족하여 비르발 폭발이 보장된다.
• 초기 자료 $ u(0) = \phi_\omega^\lambda $ 를 가진 해는 모든 $ \lambda \in (1, \lambda_0) $ 에 대해 유한 시간 내에 폭발한다. 이는 음의 비르발 항목 때문이다.
• $ \lambda \to 1^+ $ 일 때 $ \|\phi_\omega^\lambda - \phi_\omega\|_{H^1} \to 0 $ 이므로, 불안정성은 강하다: 임의로 작은 편미분이 폭발을 유도한다.
• 증명은 $ \omega \to \infty $ 일 때 $ \|\phi_\omega\|_{L^{p+1}}^{p+1}/\|\phi_\omega\|_{L^{q+1}}^{q+1} \to 0 $ 이 되는 점근적 감쇠에 의존하며, 이는 $ q $-비선형성의 에너지 우세성을 보장한다.