[논문 리뷰] Fractional Schrödinger-Poisson-Slater system in one dimension

Anna Rita Giammetta|arXiv (Cornell University)|2014. 05. 12.

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

한 줄 요약

이 논문은 1차원 분수 슈뢰딩거-포아송-슬래터 시스템에 대해 포아송 방정식에서 분수 라플라시안을 포함한 국소적이고 전역적인 잘 정의됨을 확립한다. $L^2$ 및 $H^1$ 공간에서의 스트리카르츠 추정과 수축 원리의 조합을 통해 $\gamma \in (1,5)$ 및 $\sigma \in (0,1)$ 일 때 해의 존재성과 유일성을 증명하며, $\gamma=3$ 이고 $\sigma \leq 1/2$ 이면 초기 질량 또는 에너지 조건이 작을 경우 전역 존재성을 확보한다.

ABSTRACT

In this paper we study local and global well-posedness of the following Cauchy problem: $$ \bigg \{ \begin{array}{rl} i\partial_tΨ+\frac{1}{2}Δ_{x}Ψ= A_0Ψ+α|Ψ|^{γ-1}Ψ, & (t,x)\in\R imes\R,\\ (-Δ_{x})^{σ/2}A_0= |Ψ|^2, & \\ Ψ(0,\cdot)=f, & \end{array} $$ with $σ\in(0,1)$, $α=\pm 1$, $1

연구 동기 및 목표

• 비국소적 상호작용을 분수 라플라시안을 통해 포함한 1차원 분수 슈뢰딩거-포아송-슬래터(FSPS) 시스템에 대해 국소적이고 전역적인 잘 정의됨을 확립하기.
• 일반적인 $\gamma \in (1,5]$ 및 $\sigma \in (0,1)$ 조건 하에서 $L^2(\mathbb{R})$ 및 $H^1(\mathbb{R})$ 초기 자료를 가진 코시 문제를 분석하기.
• 무한대에서 $A_0$에 대한 경계 조건이 필요 없도록 분수 라플라시안의 거듭제곱을 사용하여 제거하기.
• 분수 라플라시안 $(-\Delta)^{\sigma/2}$를 통해 장거리 상호작용을 모델링한 경우, 즉 $\sigma < 1$ 이면 분석적 과제가 발생하는 경우에 잘 정의됨 결과를 확장하기.

제안 방법

• 스chrödinger 군 $S(t) = e^{i\Delta t/2}$ 를 사용하여 FSPS 시스템을 적분 방정식 형태로 재작성하기.
• 가능한 쌍 $(q,r)$ 에 대한 스트리카르츠 추정을 적용하여 혼합 노름 공간에서 해를 통제하기.
• 비국소 항 $A_0\Psi$ 를 다루기 위해 커플라션 추정과 하디-리틀우드-소볼레프 부등식을 사용하며, 이는 분수 포아송 방정식에서 유래한다.
• $L^2$ 및 $H^1$ 공간에서의 수축 사상 원리를 적용하여 국소적 존재성과 유일성을 증명하기.
• $L^p-L^q$ 형태의 그론월르 부등식을 적용하여 성장률을 통제하고, $\gamma=3$, $\sigma \leq 1/2$ 일 때 $L^4(0,T;L^\infty)$ 에서의 폭발을 방지하기.
• 가가르도-니레버그 및 에너지 추정을 사용하여 진동 속도 $\theta(t)$ 의 유계성을 확보하며, 유한 에너지 또는 작은 질량 조건 하에서 폭발이 일어나지 않음을 보여주기.

실험 결과

연구 질문

• RQ1 1차원 분수 슈뢰딩거-포아송-슬래터 시스템에 대한 코시 문제는 $\sigma$ 와 $\gamma$ 가 어떤 조건을 만족할 경우 $L^2(\mathbb{R})$ 에서 유일한 국소적 해를 가지는가?
• RQ2 무한대에서 $A_0$에 대한 경계 조건이 없더라도 $\gamma=3$ 이고 $\sigma \leq 1/2$ 일 때 시스템에 대해 전역 존재성을 확보할 수 있는가?
• RQ3 분수 라플라시안 $(-\Delta)^{\sigma/2}$ 는 고전적 $(-\Delta)$ 경우와 비교해 해의 잘 정의됨과 정칙성에 어떤 영향을 미치는가?
• RQ4 비집속성 경우($\alpha = -1$)에서 초기 질량 또는 에너지가 진동 속도 $\theta(t)$ 의 폭발을 방지하는 데 어떤 역할을 하는가?
• RQ5 비국소 항 $A_0\Psi$ 는 국소 비선형성 $|\Psi|^{\gamma-1}\Psi$ 와 동일한 프레임워크에서 스트리카르츠 추정과 커플라션 추정을 통해 통제할 수 있는가?

주요 결과

• 모든 가능한 쌍 $(q,r)$ 에 대해 $f \in L^2(\mathbb{R})$ 이고 $\gamma \neq 5$ 이면, $T = T(\|f\|_{L^2}) > 0$ 이고 $I_\gamma \subseteq (0,1)$ 이 존재하여, $\Psi \in C([0,T];L^2) \cap L^q([0,T];L^r)$ 에 대해 유일한 해가 존재한다.
• $\gamma = 3$ 이면 모든 $\sigma \in (0,1/2]$ 에 대해 결과가 성립하며, 초기 질량이 작거나 유한 에너지 조건이 만족되면 전역 존재성이 확립된다.
• 모든 $t \in (0,T)$ 에 대해 $\|\Psi\|_{L^4(0,t;L^\infty)} < \infty$ 를 만족하며, 이는 $\|f\|_{L^2}$ 와 $\sigma$ 에 의존하는 유계성을 보장하여 이 노름에서의 폭발을 방지한다.
• 만약 $1 < \gamma < 5$ 이고 $\sigma \in I_\gamma$ 이거나, $\gamma = 5$ 이고 $\|f\|_{L^2}$ 가 충분히 작다면, 진동 속도 $\theta(t) = \int_\mathbb{R} |\Psi|^2 \partial_t S \, dx$ 는 모든 $t \in (0,T)$ 에서 유계로 유지된다.
• 비국소 항 $A_0\Psi$ 는 분수 포아송 방정식 $(-\Delta)^{\sigma/2}A_0 = |\Psi|^2$ 를 통해 통제되며, $A_0$ 는 하디-리틀우드-소볼레프 및 보간 부등식을 통해 추정된다.
• $L^p-L^q$ 그론월르 부등식을 적용하여 $\|\Psi\|_{L^4(0,t;L^\infty)}$ 에 대한 명시적 유계를 도출하며, $\sigma < 1/2$ 일 경우 이 유계는 시간에 대해 다항식 성장함을 보여준다.