[논문 리뷰] Sobolev spaces adapted to the Schrödinger operator with inverse-square potential

Rowan Killip, Cong-rong Miao외 3명|arXiv (Cornell University)|2015. 03. 09.

Spectral Theory in Mathematical Physics인용 수 12

한 줄 요약

이 논문은 $L^p$-기반 소볼레프 공간이 역제곱 포텐셜을 가진 슈뢰딩거 연산자 $\mathcal{L}_a = -\Delta + a|x|^{-2}$를 통해 정의될 때, $0 < s < 2$ 및 $d \geq 3$일 때 표준 라플라스 연산자 $(-\Delta)^{s/2}$를 통해 정의된 것과 일치하는 조건을 규명한다. 주요 결과는 특이 포텐셜에 적응된 열핵 추정과 리틀우드-파일리 이론을 사용하여 관련 리에즈 변환과 승수 정리가 성립하는 $p$의 정확한 범위를 규명하는 것이다.

ABSTRACT

We study the $L^p$-theory for the Schrödinger operator $\mathcal L_a$ with inverse-square potential $a|x|^{-2}$. Our main result describes when $L^p$-based Sobolev spaces defined in terms of the operator $(\mathcal L_a)^{s/2}$ agree with those defined via $(-Δ)^{s/2}$. We consider all regularities $0

연구 동기 및 목표

• 표준 라플라스 연산자 $(-\Delta)^{s/2}$를 통해 정의된 $L^p$-소볼레프 노름과 $\mathcal{L}_a^{s/2}$를 통해 정의된 노름이 동치가 되는 $p$의 범위를 규명하는 것.
• 열핵이 가우시안 추정을 만족하지 못하는 경우, $a \in \left[-(\frac{d-2}{2})^2, 0\right)$일 때 $\mathcal{L}_a$의 스펙트럴 승수의 $L^p$-유계성을 정확히 규명하는 것.
• $\mathcal{L}_a$에 적합한 자체 포함형 조화 분석 프레임워크(리틀우드-파일리 이론 및 하디 유사 부등식 포함)를 개발하여 역제곱 포텐셜에 맞게 조정하는 것.
• 에너지-비판적 NLS와 같은 비선형 포텐셜을 가진 임계 분산 PDE 연구를 위한 기초 도구를 제공하는 것.

제안 방법

• 포텐셜 강도를 매개변수화하고 스펙트럼 행동을 기록하기 위해 $\sigma = \frac{d-2}{2} - \frac{1}{2}\sqrt{(d-2)^2 + 4a}$를 사용하는 것.
• $-(\frac{d-2}{2})^2 \leq a < 0$인 영역에서 $\mathcal{L}_a$에 대한 믹힐린 유형의 승수 정리를 증명하고, $\sigma$와 $d$에 따라 $p$-유계성의 정확한 범위를 도출하는 것.
• 열핵 추정(정리 2.1)을 적용하여 원점 및 무한대에서 $\mathcal{L}_a$의 행동을 제어하는 것.
• 스펙트럼 주파수 프로젝션 $\tilde{P}_N$과 $\tilde{P}_N^a$를 $\mathcal{L}_a$에 맞게 구성하고, 이들의 $L^p$-유계성 간 비교를 수행하는 것.
• 스처의 보조정리와 멱함수 가중치 $|x|^{\pm \alpha}$를 사용하여 $|\tilde{P}_N - \tilde{P}_N^a|$의 $L^p$ 유계성을 제어하는 것.
• 리틀우드-파일리 이론과 최대함수 추정을 적용하여 $\||\nabla|^s f\|_{L^p}$와 $\|\mathcal{L}_a^{s/2} f\|_{L^p}$를 비교하는 것.

실험 결과

연구 질문

• RQ1 어느 $p$ 범위에서 $\mathcal{L}_a^{s/2}$와 $(-\Delta)^{s/2}$를 통해 정의된 $L^p$-소볼레프 노름이 동치인가?
• RQ2 역제곱 포텐셜이 존재할 때 $a < 0$인 경우, $\mathcal{L}_a$의 스펙트럴 승수가 $L^p$에서 유계가 되는 $p$의 정확한 범위는 무엇인가?
• RQ3 역제곱 포텐셜이 유도하는 특이성이 리에즈 변환과 리틀우드-파일리 프로젝션의 행동에 미치는 영향은 무엇인가?
• RQ4 $\mathcal{L}_a$가 척도 불변인 이유는 무엇이며, 이는 관련 소볼레프 공간의 구조에 어떻게 영향을 미치는가?
• RQ5 가우시안 열핵 추정이 실패하는 경우에도 소볼레프 노름의 동치성이 유도될 수 있는가?

주요 결과

• $\mathcal{L}_a^{s/2}$와 $(-\Delta)^{s/2}$를 통해 정의된 $L^p$-소볼레프 노름이 동치가 되는 것은 $\frac{s + \sigma}{d} < \frac{1}{p} < \min\left\{1, \frac{d - \sigma}{d}\right\}$일 때에만 성립하며, 여기서 $\sigma$는 포텐셜 매개변수 $a$에 의해 정의된다.
• $\mathcal{L}_a$에 대한 믹힐린 승수 정리는 $a \geq 0$일 때 $1 < p < \infty$에서, $a < 0$일 때는 $r_0 < p < r_0'$에서 성립하며, 이때 $r_0 = \frac{d}{\sigma}$이며, 이 범위는 정확하다.
• $\mathcal{L}_a$의 열핵은 $a < 0$일 때 원점에서 특이성이 있으며, 가우시안 추정을 만족하지 않아 표준 승수 이론을 적용할 수 없고, 이에 따라 새로운 기법이 필요하다.
• $\tilde{P}_N$과 $\tilde{P}_N^a$ 간의 차이를 가중치 $|x|^{\pm \alpha}$를 사용한 $L^p$ 추정을 통해 제어하며, 이 가중치는 스투어 유사 조건을 만족하도록 선택된다.
• $\mathcal{L}_a$와 관련된 리에즈 변환은 정확히 $\max\left\{\frac{s}{d}, \frac{\sigma}{d}\right\} < \frac{1}{p} < \min\left\{1, \frac{d - \sigma}{d}\right\}$ 범위에서 $L^p$에서 유계이며, 이는 소볼레프 노름의 동치 범위와 일치한다.
• 소볼레프 노름의 동치성은 주파수 프로젝션 차이를 세 영역으로 분해하여 증명한다: $|x| \gg |y|$, $|x| \ll |y|$, $|x| \sim |y|$이며, 각 영역은 별도의 추정과 스투어의 보조정리를 통해 제어된다.