[논문 리뷰] Instabilities for supercritical Schrödinger equations in analytic manifolds

Laurent Thomann|ArXiv.org|2007. 07. 12.

Advanced Mathematical Physics Problems참고 문헌 6인용 수 6

한 줄 요약

이 논문은 초임계 비선형 슈뢰딩거 방정식에 대해 해석적 리만다이만 다양체 위에서 반고전적 해석적 WKB 방법을 사용하여 불안정성과 부적절한 문제의 성격을 규명한다. 근사해를 구성함으로써 두 가지 유형의 부적절한 문제 성격을 드러내며, 에너지 공간에서의 연속성 상실과, $ H^\sigma $에서 임의로 작은 초기 자료를 가질 경우에도 높은 소볼레프 노름에서 즉각적인 정규성 상실이 발생함을 보여, $ \sigma < d/2 - 2/(p-1) $ 일 때 $ H^\rho $에서 모든 $ \rho > \sigma $에 대해 문제의 부적절성을 입증한다.

ABSTRACT

In this paper we consider supercritical nonlinear Schrödinger equations in an analytic Riemannian manifold $(M^d,g)$, where the metric $g$ is analytic. Using an analytic WKB method, we are able to construct an Ansatz for the semiclassical equation for times independent of the small parameter. These approximate solutions will help to show two different types of instabilities. The first is in the energy space, and the second is an immediate loss of regularity in higher Sobolev norms.

연구 동기 및 목표

• 초임계 비선형 슈뢰딩거 방정식의 잘 정의된 문제 성격을 해석적 리만다이만 다양체에서 조사한다.
• 비선형성의 지수 $ p > (d+2)/(d-2) $일 때, 에너지 공간에서의 초기값 문제(Cauchy problem)가 균일하게 잘 정의되어 있는지 여부를 규명한다.
• 초기 자료가 $ H^\sigma $에서 임의로 작을 경우, 높은 소볼레프 노름에서의 정규성 상실을 분석한다. 여기서 $ \sigma < d/2 - 2/(p-1) $이다.
• 유동 맵이 에너지 공간에서 균일하게 연속적이지 않으며, 임의로 작은 시간 내에 해가 무한대의 $ H^\rho $ 노름을 갖는다는 것을 입증한다.

제안 방법

• 초임계 비선형 슈뢰딩거 방정식에 반고전적 변환을 적용한다.
• 시간에 따라 작은 매개변수 $ h $에 의존하지 않는 유효한 근사해를 구하기 위해 해석적 WKB 근사법을 사용한다.
• 점 $ m \in M^d $ 근처의 수축하는 이웃 영역에 지지된 초기 자료의 수열을 구성하며, 에너지와 $ H^{1+\nu} \cap L^q $ 거리가 제어 가능하도록 한다.
• 가중 소볼레프 노름에서 근사해와 진짜 해 사이의 오차를 제어하기 위해 복소해석적 프레임워크 내에서 고정점 정리를 적용한다.
• 스케일 불변성과 임계 소볼레프 지수 $ \sigma_c = d/2 - 2/(p-1) $를 이용해 부적절성의 임계값을 규명한다.
• 복소해석적 영역에서 진짜 해와 WKB 근사해 사이의 차이에 대해 $ h $에 대한 지수 오차 한계를 확립한다.

실험 결과

연구 질문

• RQ1 비선형 지수 $ p > (d+2)/(d-2) $일 때, 초임계 비선형 슈뢰딩거 방정식의 초기값 문제는 에너지 공간 $ H^1 $에서 균일하게 잘 정의되어 있는가?
• RQ2 임의로 작은 초기 자료가 $ H^\sigma $에 속할 경우, $ \sigma < \sigma_c $일 때, 임의로 작은 시간 내에 해가 무한대의 $ H^\rho $ 노름을 갖는가?
• RQ3 초임계 비선형성에 대해, 에너지 공간에서의 유동 맵이 균일하게 연속적이지 않은가?
• RQ4 부드럽고 컴actsupport된 초기 자료를 갖는 해가 $ H^1 $ 노름이 작을 경우, 높은 소볼레프 노름에서 즉각적인 정규성 상실이 발생하는가?
• RQ5 해석적 WKB 방법을 사용하여 해석적 다양체에서 이러한 불안정성을 보이는 해를 구성할 수 있는가?

주요 결과

• 홀수 정수 $ p > (d+2)/(d-2) $에 대해, 두 개의 초기 자료 수열이 $ H^1 $-거리가 임의로 작지만, 시간 $ t_n \to 0 $에서 $ L^{p+1} $ 노름에서 해의 차이가 0으로부터 멀리 떨어져 있음을 보여, 초기값 문제의 균일한 잘 정의됨이 성립하지 않음을 입증한다.
• 초기 자료 수열이 $ \|u_0^n - \tilde{u}_0^n\|_{H^{1+\nu} \cap L^q} \to 0 $을 만족하며, $ \nu < \nu_0 $, $ q < q_0 $일 때, $ H^{1+\nu} $-거리가 작음에도 불구하고 불안정성이 발생함을 확인한다.
• $ \sigma < d/2 - 2/(p-1) $일 때, $ \check{u}_0^n \to 0 $ 이며, $ \|\check{u}^n(\tau_n)\|_{H^\rho} \to \infty $를 만족하는 초기 자료 $ \check{u}_0^n $이 존재하며, 모든 $ \rho > \sigma $에 대해 $ H^\rho $에서의 부적절성을 입증한다.
• 해석적 WKB 방법을 통해 구성된 해는 지수 오차 추정을 만족한다: 복소 스크린 내에서 $ \|(1 - h^2\Delta)^{k/2}(v - v_{\text{app}})\|_{L^2} \leq C_k e^{-\delta_2/h} $이며, 이는 고정밀 근사해를 보장한다.
• 반고전적 설정에서 유한한 전파 속도 원리를 확립함으로써, 이러한 불안정성의 존재를 뒷받침한다.
• 복소해석적 프레임워크 내에서의 고정점 정리는 해 $ v $가 스트립 영역에서 해석적이며, WKB 근사해와 지수적으로 가까운 해가 존재함을 보장한다.