[논문 리뷰] Almost global existence for a fractional Schrodinger equation on spheres and tori

Dario Bambusi, Yannick Sire|arXiv (Cornell University)|2013. 01. 10.

Advanced Mathematical Physics Problems참고 문헌 8인용 수 5

한 줄 요약

이 논문은 구면과 토러스에서 $ s > 1/2 $ 인 분수 슈뢰딩거 방정식의 해에 대해 거의 전역 존재성을 확립한다. 빌코프 정규형 이론과 게이지 불변성을 활용하여, 초기 자료 크기의 임의의 고차의 역수만큼의 시간 척도에서 소볼레프 노름을 제어한다. 결과는 거의 모든 $ s > 1/2 $ 에 대해 성립하며, 측도가 0인 집합을 제외하고는, 해가 거의 전역 시간 동안 고정밀도 소볼레프 공간에서 유계롭게 유지됨을 보장한다.

ABSTRACT

We study the time of existence of the solutions of the following Schr\\"odinger equation $$i\\psi_t = (-\\Delta)^s \\psi +f(|\\psi|^2)\\psi, x \\in \\mathbb S^d, or x\\in\\T^d$$ where $(-\\Delta)^s$ stands for the spectrally defined fractional Laplacian with $s>1/2$ and $f$ a smooth function. We prove an almost global existence result for almost all $s>1/2$.

연구 동기 및 목표

• 구면과 토러스와 같은 컴acts 매니폴드에서 분수 슈뢰딩거 방정식의 해에 대해 거의 전역 존재 시간을 확립하는 것.
• 비영역수 모드가 존재하는 상황에서도 분수 라플라스 연산자에 대해 Birkhoff 정규형 이론의 적용 범위를 $ s > 1/2 $ 로 확장하는 것.
• 소볼레프 노름의 제어를 위해 $ L^2 $-노름의 게이지 불변성을 활용하여 정규형에서의 영역수 모드 작용의 비교환성을 해결하는 것.
• 정규형 이론에서 요구하는 비공진 조건이 거의 모든 $ s > 1/2 $ 에 대해 성립함을 증명하여, 측도가 0인 집합을 제외하고는 성립함을 보장하는 것.
• 초기 자료 크기 $ \epsilon $ 에 대해 임의의 $ K \geq 1 $ 에 대해 시간 척도 $ T \sim \epsilon^{-K} $ 동안 소볼레프 노름을 제어할 수 있음을 보장하는 것.

제안 방법

• 구면 조화 다항식 전개를 통해 방정식을 해밀토니안 형태로 재구성하며, 분수 라플라스 연산자는 고유값 $ \omega_j = (j(j+d-1))^{s} $ 를 통해 스펙트럴적으로 정의된다.
• 비선형 역학은 Birkhoff 정규형 이론을 통해 분석되며, 해밀토니안을 순서 $ K+3 $ 까지 정규형 $ H^{(K)} = H_0 + Z^{(K)} + \mathcal{R}^{(K)} $ 으로 변환한다.
• 비공진 조건 $ (K\text{-}NR) $ 는 주파수의 $ s $ 에 대한 도함수 행렬의 행렬식을 추정하여 검증되며, 거의 모든 $ s > 1/2 $ 에서 강한 비공진 조건이 성립함을 보장한다.
• 게이지 불변성을 활용하여 영역수 모드 작용 $ I_0 $ 이 정규형 $ Z^{(K)} $ 와 교환된다는 것을 보여, $ L^2 $-노름의 무한한 증가를 방지한다.
• 소볼레프 노름을 유지하는 변환 $ \mathcal{T}_K $ 가 $ r \geq r_K $ 에 대해 $ H^r $ 에서 정규성을 확립한다.
• 작은 나머지 항 $ \mathcal{R}^{(K)} $ 의 벡터장은 $ \|\psi\|_{H^r}^{K+2} $ 로 유계지며, 이는 해의 장기적 제어를 가능하게 한다.

실험 결과

연구 질문

• RQ1 분수 슈뢰딩거 방정식이 $ \mathbb{S}^d $ 나 $ \mathbb{T}^d $ 에서 $ s > 1/2 $ 인 어떤 값에서 고정밀도 소볼레프 노름에서 거의 전역 존재를 보장하는가?
• RQ2 스펙트럴로 정의된 분수 라플라스 연산자에서 발생하는 영역수 모드를 다루기 위해 Birkhoff 정규형 방법을 어떻게 수정할 수 있는가?
• RQ3 주파수 스펙트럼에 어떤 조건이 있어야 장기 존재에 필요한 강한 비공진 성질이 보장되는가?
• RQ4 게이지 불변성은 정규형 축소에서 영역수 모드 진폭의 무한한 증가를 어떻게 방지하는가?
• RQ5 비선형성이 3차 이상일 경우, 초기 자료 크기 $ \epsilon $ 에 대해 시간 존재 범위를 $ \epsilon^{-K} $ 로 연장할 수 있는가, $ K \geq 1 $ 이다?

주요 결과

• 모든 $ K \geq 1 $ 에 대해, 측도가 0인 집합 $ \mathcal{S} \subset (1/2, \infty) $ 가 존재하여, $ (1/2, \infty) \setminus \mathcal{S} $ 에 속하는 모든 $ s $ 에 대해 비공진 조건 $ (K\text{-}NR) $ 이 성립한다.
• 주파수 $ \omega_j $ 의 $ s $ 에 대한 도함수로 구성된 행렬의 행렬식은 $ C / K^{\kappa^2} $ 이하로 유계지 않으며, 주파수 스펙트럼의 비퇴화성을 보장한다.
• 게이지 불변성과 비선형성의 구조 덕분에 정규형 $ Z^{(K)} $ 는 모든 $ I_j $, 특히 $ I_0 $ 과 교환된다.
• 시간 $ |t| \leq T_{r,K} / \epsilon^K $ 동안 해는 $ H^r $ 노름에서 초기 자료의 $ 2\epsilon $-구내에 머무른다. 여기서 $ \epsilon = \|\psi_0\|_{H^r} $.
• 정준 변환 $ \mathcal{T}_K $ 와 그 역은 $ H^r $ 에서 $ H^r $ 로 해석적이며, 정규성을 유지하고 장기적 추정을 가능하게 한다.
• 결과는 구면 $ \mathbb{S}^d $ 와 토러스 $ \mathbb{T}^d $ 둘 다에 대해 성립하며, 스펙트럼 구조상 약간 더 신경 써야 하는 구면의 경우가 있다.