[논문 리뷰] $L^p$-boundedness of wave operators for 2D Schrödinger operators with point interactions

Kenji Yajima|arXiv (Cornell University)|2020. 06. 17.

Advanced Mathematical Physics Problems참고 문헌 22인용 수 4

한 줄 요약

이 논문은 점 상호작용을 가진 이차원 슈뢰딩거 연산자의 파동 연산자의 $L^p$-유계성을 확립한다. 파동 연산자가 $L^p(\mathbb{R}^2)$에서 모든 $1 < p < \infty$에 대해 유계임은 $p$-파동 공명이 존재하지 않을 때이고, 이 경우에만 성립하며, 否론 $1 < p \leq 2$에 대해서만 유계이고 $2 < p < \infty$에 대해서는 무한대가 된다. 이 결과는 상호작용 행렬의 스펙트럼 구조에 의해 결정된다.

ABSTRACT

For two dimensional Schrödinger operator $H$ with point interactions, We prove that wave operators of scattering for the pair $(H,H_0)$, $H_0$ being the free Schrödinger operator, are bounded in the Lebesgue space $L^p(\R^2)$ for $1

연구 동기 및 목표

• 점 상호작용을 가진 이차원 슈뢰딩거 연산자의 파동 연산자의 $L^p$-유계성을 규명하는 것.
• 일반화된 고유함수와 공명—특히 $s$-파동 및 $p$-파동 공명—이 파동 연산자의 $L^p$-유계성에 미치는 역할을 특성화하는 것.
• 파동 연산자의 유계성 행동에 대한 날카운 두 가지로 나뉘는 성질을 $p$-파동 공명의 존재 여부에 따라 확립하는 것.

제안 방법

• 점 상호작용의 행동을 지배하는 그린 함수와 하이켈 함수 $H_0^{(1)}$를 이용한 슈뢰딩거 연산자 $H_{\alpha,Y}$의 해석적 구조를 수립한다.
• 상호작용 강도와 공간적 배치를 캐릭터라이즈하는 $N \times N$ 행렬 $\Gamma_{\alpha,Y}(z)$를 사용하여 연산자 값 해석적 연산자 $R(z^2)$를 정의한다.
• 파동 연산자 $W_{\alpha,Y}^\pm$는 $L^2(\mathbb{R}^2)$에서 강한 극한으로 정의되며, $\lambda \to 0^+$일 때 $\Gamma_{\alpha,Y}(\lambda)$의 점근 전개를 통해 $L^p$-유계성을 분석한다.
• 분석은 그린 함수의 점근적 행동과 세 개의 대칭 행렬 $\tilde{\mathcal{D}}$, $\mathcal{G}_1(Y)$, $\mathcal{G}_2(Y)$의 스펙트럼 성질에 기반하며, 이들은 시스템의 저에너지 행동을 지배한다.
• 마이크로로컬 및 푸리에 분석 기법을 활용하며, $\chi_{\leq 2\varepsilon}$와 같은 컷오프 함수와 $|\xi| + |p|$를 포함한 진동 적분의 추정을 사용한다.
• 핵심 기술적 도구로는 카토-로젠블룸 정리의 수정된 형태와 저에너지 극한에서 스펙트럼 사영과 행렬 역행렬을 통한 좋은 연산자의 구성이 사용된다.

실험 결과

연구 질문

• RQ1 점 상호작용을 가진 2차원 슈뢰딩거 연산자의 파동 연산자가 $1 < p < \infty$에 대해 $L^p(\mathbb{R}^2)$에서 유계가 되는 조건은 무엇인가?
• RQ2 공명의 존재 또는 부재가 파동 연산자의 $L^p$-유계성에 어떤 영향을 미치는가?
• RQ3 $p > 2$일 때 파동 연산자의 정확한 임계 행동은 무엇이며, 왜 이들이 무한대가 되는가?

주요 결과

• 파동 연산자가 모든 $1 < p < \infty$에 대해 $L^p(\mathbb{R}^2)$에서 유계임은 $H_{\alpha,Y}$의 스펙트럼에 $p$-파동 공명이 존재하지 않을 때에만 성립한다.
• 만약 $p$-파동 공명이 존재한다면, 파동 연산자는 $1 < p \leq 2$에서는 여전히 유계이지만 $2 < p < \infty$에서는 무한대가 되며, 이는 $p = 2$에서 날카운 전이를 나타낸다.
• $p$-파동 공명의 부재는 저에너지 전개에서 행렬 $T_e^\perp G_1 T_e^\perp$의 비퇴화성과 동치이며, 이는 파동 연산자 구성에서 관련 연산자의 가역성을 보장한다.
• $s$-파동 공명(비영인 $a$)의 존재는 $1 < p < \infty$에 대한 $L^p$-유계성을 방해하지 않지만, $p$-파동 공명($a=0$, $b \neq 0$)의 존재는 방해한다.
• $2 < p < \infty$에서의 유계성 실패는 $p$-파동 기여와 관련된 일부 푸리에 승수 성분의 비적분 가능성 때문이며, 이는 진동 적분에 대한 $L^p$-노름 추정을 통해 입증된다.
• 기술적 보조정리(Lemma A)는 컷오프가 포함된 이중 푸리에 적분에 대한 점별 감쇠 추정을 제공하며, 이는 $L^p$-유계성 증명에서 연산자 노름을 제어하는 데 필수적이다.