[논문 리뷰] On Fractional Schrodinger Equations in sobolev spaces

Younghun Hong, Yannick Sire|arXiv (Cornell University)|2015. 01. 07.

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

한 줄 요약

이 논문은 스트리카르츠 추정과 함수 불등식을 사용하여 소볼레프 공간 $ H^s $ 내에서 분수 비선형 샤롯드어 방정식에 대한 국소 적으로 잘 정의된 문제와 잘 정의되지 않은 문제를 확립한다. 잘 정의된 문제의 조건은 $ s \geq \max(s_c, s_g, 0) $이며, 여기서 $ s_c = \frac{d}{2} - \frac{2\sigma}{p-1} $ 이고 $ s_g = \frac{1-\sigma}{2} $ 이다. 또한 $ s \in (s_c, 0) $ 에서 $ H^s $ 에서의 잘 정의되지 않은 문제를 증명하며, 이는 분수 갈릴레오 대칭성을 새로운 방식으로 활용하여 반례를 구성한 것이다.

ABSTRACT

Let $σ\in(0,1)$ with $σ eq\frac{1}{2}$. We investigate the fractional nonlinear Schrödinger equation in $\mathbb R^d$: $$i\partial_tu+(-Δ)^σu+μ|u|^{p-1}u=0,\, u(0)=u_0\in H^s,$$ where $(-Δ)^σ$ is the Fourier multiplier of symbol $|ξ|^{2σ}$, and $μ=\pm 1$. This model has been introduced by Laskin in quantum physics \cite{laskin}. We establish local well-posedness and ill-posedness in Sobolev spaces for power-type nonlinearities.

연구 동기 및 목표

• 분수 비선형 샤롯드어 방정식에 대한 종합적인 잘 정의된 문제와 잘 정의되지 않은 문제 이론을 $ \mathbb{R}^d $ 에서 $ \sigma \in (0,1) \setminus \{\frac{1}{2}\} $ 인 경우에 개발하기.
• 분수 라플라스 연산자에 대한 스트리카르츠 추정에서의 도함수 손실 문제를 보운 공간을 사용하지 않고 해결하기.
• 부분적 및 임계 케이스에 대해 $ H^s $ 에서 국소 적으로 잘 정의된 문제를 확립하고, 임계 영역에서의 작은 자료 산산각산을 확보하기.
• $ s \in (s_c, 0) $ 에서 $ H^s $ 에서의 잘 정의되지 않은 문제를 증명하여 스케일링 임계 임계점 이하의 연속성 의존성 실패를 확장하기.
• 잘 정의되지 않은 문제에 대한 반례를 구성하기 위해 '분수 갈릴레오 대칭성'을 도입하고 활용하기.

제안 방법

• 보운 공간을 사용하지 않고 $ \mathbb{R}^d $ 에서 표준 스트리카르츠 추정과 함수 불등식을 사용한다.
• 두 가지 임계 지수를 도입한다: $ s_c = \frac{d}{2} - \frac{2\sigma}{p-1} $ (스케일링 임계), $ s_g = \frac{1-\sigma}{2} $ (분수 갈릴레오 임계).
• 비선형항을 적절한 함수 공간에서 제어하기 위한 새로운 방법을 적용하여, [CKS+08]의 추정치를 향상시켜 스트리카르츠 추정에서의 도함수 손실을 보완한다.
• 분수 갈릴레오 변환에 기반한 분리 렘마를 활용하여, $ H^s $-노름이 작지만 시간이 지남에 따라 해의 발산이 큰 초기 자료를 구성한다.
• 오차 항을 $ O(\nu^\delta) $ 로 포함한 $ H^k $ 에서의 변화의 진동을 제어하기 위해 비선형 반복 추론 기법을 사용한다.

실험 결과

연구 질문

• RQ1 분수 NLS가 $ H^s $ 에서 어떤 정규화 지수 $ s $ 에 대해 국소적으로 잘 정의된 문제인가?
• RQ2 잘 정의되지 않은 문제의 날카로운 임계점은 무엇이며, 이는 $ s_c $ 와 $ s_g $ 와 어떻게 관련되는가?
• RQ3 $ \sigma \neq 1 $ 인 경우 정확한 갈릴레오 대칭성이 없을 때 잘 정의된 문제 이론에 어떤 영향을 미치는가?
• RQ4 스케일링 임계 영역에서 작은 자료 산산각산을 확립할 수 있는가? 이는 $ p $ 와 $ d $ 에 어떤 조건에서 가능한가?
• RQ5 스트리카르츠 추정에서의 도함수 손실이 잘 정의된 문제 이론에 어떤 제한을 끼치며, 이를 어떻게 극복할 수 있는가?

주요 결과

• 국소 적으로 잘 정의된 문제는 $ s \geq \max(s_c, s_g, 0) $ 에서 $ H^s $ 에서 성립하며, 여기서 $ s_c = \frac{d}{2} - \frac{2\sigma}{p-1} $ 이고 $ s_g = \frac{1-\sigma}{2} $ 이다.
• 작은 자료 산산각산은 임계 영역에서 성립한다: $ d = 1 $ 인 경우 $ p > 5 $, $ d \geq 2 $ 인 경우 $ p > 3 $ 이며, $ \|u_0\|_{H^{s_c}} < \delta $ 인 어떤 $ \delta > 0 $ 에 대해 성립한다.
• $ s \in (s_c, 0) $ 에서 $ H^s $ 에서의 잘 정의되지 않은 문제는 $ d $, $ \sigma $, $ p $ 에 대한 조건 하에 증명된다. 이는 $ \sigma > \frac{d}{4} $ 와 $ p \geq k+1 $ 이며, $ p $ 가 홀수 정수가 아닐 경우를 포함한다.
• 잘 정의되지 않은 문제의 증명은 분수 갈릴레오 변환을 기반으로 한 분리 렘마에 의존하며, 이는 방정식의 대칭이 아니지만 발산을 유도하는 데에는 충분하다.
• 반례 구성은 임의로 작은 $ H^s $-노름을 가진 해가 유한 시간 내에 발산할 수 있음을 보여주며, 이는 $ s \in (s_c, 0) $ 에서 연속성 의존성의 위반을 의미한다.
• 잘 정의되지 않은 문제 결과는 최적이 아니며, 기대되는 바는 $ s_g = \frac{1-\sigma}{2} $ 까지 잘 정의되지 않은 문제의 실패이지만, 이는 아직 열려 있는 문제이다.