[논문 리뷰] Resonances for 1D half-line periodic operators: II. Special case

Tuan Phong Trinh|arXiv (Cornell University)|2015. 09. 21.

Spectral Theory in Mathematical Physics참고 문헌 4인용 수 3

한 줄 요약

이 논문은 1차원 반직선 슈뢰딩거 연산자에서 주기적 임계 조건이 잘린 경우의 공명을 다루며, 스펙트럼 매개변수 $ a_k \asymp 1/L $가 밴드 에지 $ E_0 \in \partial\Sigma_{\mathbb{Z}} $ 근처에서 비표준적인 경우에 집중한다. 복소해석적 접근을 통해 변환된 공명 방정식과 경로 변형을 사용하여, $ L \to \infty $ 일 때 $ E_0 $ 근방에 공명이 존재하지 않음을 증명하며, 비표준 영역에서의 날카운 부재 결과를 확립한다.

ABSTRACT

The present paper is devoted to the study of resonances for a $1$D Schrödinger operator with truncated periodic potential. Precisely, we consider the half-line operator $H^{\mathbb N}=-Δ+V$ and $H^{\mathbb N}_{L}= -Δ+ V1_{[0, L]}$ acting on $\ell^{2}(\mathbb N)$ with Dirichlet boundary condition at $0$ with $L \in \mathbb N$. We describe the resonances of $H^{\mathbb N}_{L}$ near the boundary of the essential spectrum of $H^{\mathbb N}$ as $L ightarrow +\infty$ under a special assumption.\\ The present paper is in a series of our research papers on resonances

연구 동기 및 목표

• 조각된 1차원 주기적 슈뢰딩거 연산자 $ H^\mathbb{N}_L $의 본질 스펙트럼의 경계 $ \partial\Sigma_{\mathbb{Z}} $ 근처에서 공명의 분포를 분석하는 것.
• 스펙트럼 매개변수 $ a_k \asymp 1/L $인 비표준 케이스를 다루며, 기존 표준 방법으로는 접근이 어려운 경우이다.
• 이 비표준 조건 하에서 밴드 에지 $ E_0 \in \partial\Sigma_{\mathbb{Z}} $ 근방에 공명이 존재하지 않음을 확립하는 것.
• 표준 방법이 실패하는 스펙트럼 경계 근처에서 공명 방정식을 다룰 수 있는 정교한 복소해석 기법을 개발하는 것.

제안 방법

• 공명 방정식 $ S_L(E) = -e^{-i\theta(E)} $를 변수 치환 $ z = x + iy $, $ y \asymp -1/\varepsilon L $를 통해 새로운 함수 $ f_L(z) $로 변환하여 $ E_0 $ 근처의 행동을 분석한다.
• 고유값과 가중치를 재스케일링하기 위해 스펙트럼 변환 $ \tilde{\lambda}_k = L^2(\lambda_k - E_0) $, $ \tilde{a}_k = L^2 a_k $를 사용한다.
• 경로 변형을 적용하여 $ E_0 $ 주변의 도메인 $ \Omega^i $를 분리하고, $ f_L $ 이 이 영역에서 단사적(일대일)이면서 0에서 일정하게 떨어져 있음을 증명한다.
• $ |f_L'(z)| \gtrsim 1 $ 및 $ \text{Re}f_L(z) \asymp 1 $ 의 하한을 확립하여, $ f_L $ 이 $ \Omega^i $ 를 $ -e^{-i\theta(E_0)}/L $ 를 피하는 영역으로 매핑함을 보장한다.
• 이미지 부분의 복소부를 제어하기 위해 $ \sum \tilde{a}_k / (\tilde{\lambda}_k - x)^2 + y^2 \asymp 1 $ 의 점점 감소하는 추정을 사용하여 $ \Omega^i $ 내부에 극이 존재하지 않음을 보장한다.
• 결론적으로 $ -e^{-i\theta(E_0)}/L \notin f_L(\Omega^i) $ 이므로, 공명 방정식은 $ \Omega^i $ 내에 해를 가지 않으며, 이는 $ E_0 $ 근방에 공명이 존재하지 않음을 의미한다.

실험 결과

연구 질문

• RQ1 스펙트럼 가중치 $ a_k \asymp 1/L $ 일 때, $ H^\mathbb{N}_L $ 의 공명이 밴드 에지 $ E_0 \in \partial\Sigma_{\mathbb{Z}} $ 근처에 존재하는가?
• RQ2 표준 공명 분석 기법은 스펙트럼 경계 근처에서 비표준 케이스 $ a_k \asymp 1/L $ 로 확장 가능한가?
• RQ3 스펙트럼 가중치 $ a_k $ 가 $ E_0 $ 근처에서 지수적으로 작지 않은 경우, $ L \to \infty $ 의 점근적 행동은 어떠한가?
• RQ4 비표준 조건 $ a_k \asymp 1/L $ 하에서 $ E_0 $ 근방에 공명이 존재하지 않음을 증명할 수 있는가?

주요 결과

• 충분히 큰 $ L $ 에 대해 비표준 조건 $ a_k \asymp 1/L $ 하에서 도메인 $ \Omega^i = [E_0, E_0 + \varepsilon_1] - i[0, \varepsilon_2] $ 에서 공명이 존재하지 않는다.
• $ f_L(z) $ 는 $ \Omega^i $ 에서 단사적이며, $ |f_L'(z)| \gtrsim 1 $ 이고 $ \text{Re}f_L(z) \asymp 1 $ 이므로, 이 영역에서 공명 방정식의 해가 존재하지 않는다.
• $ \Omega^i $ 가 $ f_L $ 에 의한 상의 이미지는 0에서 일정하게 떨어져 있으므로, $ -e^{-i\theta(E_0)}/L \notin f_L(\Omega^i) $ 이며, 이는 $ \Omega^i $ 에서 공명이 존재하지 않음을 의미한다.
• $ \sum_{k=0}^L \frac{\tilde{a}_k}{(\tilde{\lambda}_k - x)^2 + y^2} \asymp 1 $ 의 점근 추정이 $ \Omega^i $ 전역에서 균일하게 성립하여 공명 방정식의 행동을 제어한다.
• 조건 $ \varepsilon_1 \asymp \varepsilon^2 $ 가 성립함으로써 도메인이 작아져 균일한 추정이 가능해진다.