[논문 리뷰] On wave operators for Schrödinger operators with threshold singuralities in three dimensions

Kenji Yajima|arXiv (Cornell University)|2016. 06. 11.

Numerical methods in inverse problems참고 문헌 1인용 수 4

한 줄 요약

이 논문은 임계 특이성을 가진 3차원 슈뢰딩거 연산자에 대한 파동 연산자의 $L^1$ 및 $L^∞$ 유계성을 확립한다. 파동 연산자가 $L^1$에서 유계임을 보일 조건은 영에너지 공명이 존재하지 않을 때($\mathcal{N} = \mathcal{E}$)이며, $L^∞$에서 유계임을 보일 조건은 모든 영에너지 고유함수의 $V\phi$에 대한 첫 세 차수의 모멘트가 0이 되는 것이다. 이 결과들은 기존의 $L^p$ 유계성 이론을 $p=1$ 및 $p=\infty$의 끝점 경우로 확장하여 특이한 잠재력에 대한 파동 연산자 이론에서 중요한 격차를 메운다.

ABSTRACT

We show that wave operators for three dimensional Schrödinger operators $H=-Δ+ V$ with threshold singularities are bounded in $L^1({\mathbb R}^3)$ if and only if zero energy resonances are absent from $H$ and the existence of zero energy eigenfunctions does not destroy the $L^1$-boundedness of wave operators for $H$ with the regular threshold behavior. We also show in this case that they are bounded in $L^p({\mathbb R}^3)$ for all $1\leq p \leq \infty$ if all zero energy eigenfunctions $ϕ(x)$ have vanishing first three moments: $\int_{{\mathbb R}^3} x^αV(x)ϕ(x)dx=0$, $|α|=0,1,2$.

연구 동기 및 목표

• 임계 특이성을 가진 3차원 슈뢰딩거 연산자에 대한 파동 연산자의 $L^1$-유계성을 확립하는 것.
• 이러한 연산자에 대해 파동 연산자가 $L^\infty$에서 유계임 조건을 규명하는 것.
• 기존의 $L^p$-유계성 결과를 $p=1$ 및 $p=\infty$의 끝점 경우로 확장하는 것.
• 영에너지 공명과 고유함수의 역할이 파동 연산자의 $L^1$-유계성에 미치는 영향을 명확히 하는 것.
• 기존 접근 방식과 다름 있는, $1<p<3$ 경우에 대한 파동 연산자의 $L^p$-유계성에 대한 새로운 증명 기법을 제공하는 것.

제안 방법

• 한계 흡수 원리와 스펙트럼 이론을 이용해 분석을 저에너지 행동으로 환원한다.
• 파동 연산자는 $H_0 = -\Delta$ 및 $H = -\Delta + V$에 대한 그린 함수 $G_0(\lambda)$와 $G(\lambda)$를 포함하는 적분 커널을 통해 표현된다.
• Schur의 보조정리에 기반하여, $x$ 및 $y$에 대한 $L^1$-노름에 대한 균일한 유계성 조건을 검증함으로써 적분 커널의 $L^p$-유계성을 확립한다.
• 파동 연산자 커널 $Z(x,y)$의 구조를 분석하기 위해, $|x| \pm |y|$의 서로 다른 영역에 대응하는 구성요소 $Z_4^{\leq}$ 및 $Z_4^{>}$로 분해한다.
• 경계항과 적분항은 특히 영에너지 고유함수 $\phi$의 감쇠 특성을 활용하여 로그 및 다항 감쇠 추정을 통해 평가한다.
• 보간 이론을 적용하여 $3/2 < p < 3$에서의 $L^p$-유계성을 $p=1$까지 확장하며, $\log\langle x\rangle \phi(x) \in L^p$ for $p > 3/2$라는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 임계 특이성을 가진 3차원 슈뢰딩거 연산자에 대한 파동 연산자가 $L^1$에서 유계임 조건은 무엇인가?
• RQ2 이러한 연산자에 대해 파동 연산자가 $L^\infty$에서 유계임 조건은 언제인가?
• RQ3 영에너지 고유함수 $\phi$의 모멘트가 파동 연산자의 $L^p$-유계성에 어떤 영향을 미치는가?
• RQ4 영에너지 공명이 파동 연산자의 $L^1$-유계성 실패에 어떤 역할을 하는가?
• RQ5 $1<p<3$ 경우에 대한 $L^p$-유계성 결과를 이전 접근 방식과 다른 방법으로 재증명할 수 있는가?

주요 결과

• 파동 연산자 $W_\pm$는 $\mathcal{N} = \mathcal{E}$이면, 즉 영에너지 공명이 존재하지 않을 때에만 $L^1(\mathbb{R}^3)$에서 유계이다.
• 파동 연산자는 모든 영에너지 고유함수 $\phi$가 $\int_{\mathbb{R}^3} x^\alpha V(x)\phi(x)\,dx = 0$를 만족할 때, $|\alpha| = 0,1,2$일 때에만 $L^\infty(\mathbb{R}^3)$에서 유계이다.
• $\mathcal{N} \setminus \mathcal{E} \neq \{0\}$인 비자명한 영에너지 공명이 존재할 경우, $L^1$-유계성이 실패하며, 이는 고유함수의 천천가 감쇠 $\sim |x|^{-1}$를 초래한다.
• 이 증명 방법은 [11]에서의 접근과 다름 있는, $1<p<3$에 대한 파동 연산자의 $L^p$-유계성 결과를 재정립한다.
• 적분 커널을 구성요소로 분해하고 Schur의 보조정리를 적용하며 철저한 감쇠 추정을 통해, 파동 연산자의 커널이 $1 \leq p < 3$에서 $L^p$로 유계임을 보였다.
• 커널의 적분항 기여는 특히 $\log\langle x\rangle \phi(x) \in L^p$ for $p > 3/2$를 활용하여 로그 및 다항 감쇠 추정을 통해 $L^1$에서 유계임을 보였다.