[논문 리뷰] Spectral shift function for perturbed periodic Schroedinger operators. The large-coupling constant limit case

Mouez Dimassi, Maher Zerzeri|arXiv (Cornell University)|2011. 02. 11.

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

한 줄 요약

이 논문은 대량의 결합 상수 근처에서 페르리오딕 슈뢰딩거 연산자 $P_\mu = P_0 + \mu W(x)$ 의 스펙트럼 이동 함수의 도함수에 대해 $\mu^{-1/\delta}$ 의 거듭제곱에 대한 완전한 점근 전개를 수립한다 ($\mu \to \infty$). 반사학적 분석과 추적-클래스 섭동 이론을 사용하여, $W(x) \sim w_0(x/|x|)|x|^{-\delta}$ 이고 $\delta > n$ 일 때 $\xi'_{\mu}(\lambda)$ 는 점별로 점근 전개를 갖는다. 이는 이전의 비페르리오딕 케이스 결과를 페르리오딕 설정으로 일반화한다.

ABSTRACT

In the large coupling constant limit, we obtain an asymptotic expansion in powers of $μ^{-\frac{1}δ}$ of the derivative of the spectral shift function corresponding to the pair $\big(P_μ=P_0+μW(x),P_0=-Δ+V(x)\big),$ where $W(x)$ is positive, $W(x)\sim w_0(\frac{x}{|x|})|x|^{-δ}$ near infinity for some $δ>n$ and $w_0\in {\mathcal C}^\infty(\mathbb S^{n-1};\,\mathbb R_+).$ Here $\mathbb S^{n-1}$ is the unite sphere of the space $\mathbb R^n$ and $μ$ is a large parameter. The potential $V$ is real-valued, smooth and periodic with respect to a lattice $Γ$ in ${\mathbb R}^n$.

연구 동기 및 목표

• 비페르리오딕 케이스에서 알려진 스펙트럼 이동 함수(SSF)의 점근 결과를 대량의 결합 상수 근처에서 페르리오딕 슈뢰딩거 연산자로 확장하기.
• 스펙트럼 이동 함수 도함수 $\xi'_{\mu}(\lambda)$ 에 대해 $\mu^{-1/\delta}$ 의 거듭제곱에 대한 완전한 점근 전개를, 섭동 $W(x)$ 의 감쇠성과 미분 가능성 조건 하에서 수립하기.
• 배경 전위 $V(x)$ 가 매끄럽고 페르리오딕이며, $W(x)$ 가 양이며 무한대에서 $|x|^{-\delta}$ 와 같이 감쇠하는 조건에서 $P_\mu = P_0 + \mu W(x)$ 의 스펙트럼 이동 함수 분석하기.
• 추적-클래스 및 해석적 추정을 효과적으로 적용할 수 있는 영역으로 문제를 축소하기 위해 반사학적 기준 연산자 $Q = H(\mu^{-1/\delta})$ 를 개발하기.

제안 방법

• 대량의 $\mu$ 행동을 모델링하기 위해 반사학적 기준 연산자 $Q = H(\mu^{-1/\delta})$ 를 구성하기.
• 한계 흡수 원리와 해석적 항등식을 사용하여 추적-클래스 섭동 이론을 통해 스펙트럼 이동 함수 제어하기.
• 편미분 연산자 계산과 $\langle hx \rangle$ 가중치를 사용한 가중치 추정을 통해 연산자 노름과 추적-클래스 행동 제어하기.
• 해석적 차분의 추적을 두 부분($I_1, I_2$)으로 분해하고, 연산자 간 거리 조건과 $\widetilde{W}$ 의 지지 집합 성질을 이용해 각각 추정하기.
• 추적의 순환성과 이진 분해 기법을 활용하여 스펙트럼 매개변수 $z$ 에 대해 일관된 추적 노름 유계성 확보하기.
• 추적 항에 대해 $\mathcal{O}(h^\infty)$ 오차 추정을 수립하여, $\xi'_{\mu}(\lambda)$ 에 대한 약한 그리고 점별 점근 전개를 도출하기.

실험 결과

연구 질문

• RQ1 대량의 결합 상수 근처에서 페르리오딕 슈뢰딩거 연산자에 대해 $\mu^{-1/\delta}$ 의 거듭제곱에 대한 스펙트럼 이동 함수 도함수 $\xi'_{\mu}(\lambda)$ 의 완전한 점근 전개를 수립할 수 있는가?
• RQ2 배경 전위 $V(x)$ 의 페르리오디시티가 비페르리오딕 케이스와 비교해 스펙트럼 이동 함수의 점근적 구조에 어떤 영향을 미치는가?
• RQ3 섭동 $W(x)$ 의 감쇠율 $\delta > n$ 이 SSF 도함수의 점근적 스케일링을 결정하는 데 어떤 역할을 하는가?
• RQ4 반사학적 방법과 추적-클래스 섭동 이론이 대량의 $\mu$ 영역에서 $\xi'_{\mu}(\lambda)$ 의 점별 점근적 행동을 유도하는 데 적응 가능한가?

주요 결과

• 스펙트럼 이동 함수 도함수 $\xi'_{\mu}(\lambda)$ 는 $\mu \to \infty$ 일 때 $\mu^{-1/\delta}$ 의 거듭제곱에 대한 완전한 점근 전개를 갖는다.
• 전개의 주요 항은 무한대에서 $W(x)$ 의 각도적 행동을 담고 있는 $w_0(\frac{x}{|x|})$ 에 의해 결정된다.
• 점근 전개의 오차는 임의의 $k \geq 0$ 에 대해 $\mathcal{O}(\mu^{-(k+1)/\delta})$ 의 주기이며, 컴acts 구간에서 $\lambda$ 에 대해 일관되게 유지된다.
• 이 증명은 반사학적 기준 연산자 $Q = H(\mu^{-1/\delta})$ 를 구성하고, $\xi'_{\mu}(\lambda) = \xi'_h(\lambda) + \mathcal{O}(h^\infty)$ 가 임의의 $\lambda \in [a,b]$ 에 대해 일관되게 성립함을 보여 이끌어낸다.
• 해석적 차분의 추적 추정은 가중치 노름과 편미분 연산자 계산을 통해 제어되며, 스펙트럼 매개변수에 대해 일관된 유계성을 보장한다.
• 이 방법은 이전의 비페르리오딕 슈뢰딩거 연산자 결과를 확장하여, $V(x)$ 가 격자 $\Gamma \subset \mathbb{R}^n$ 에 대해 매끄럽고 페르리오딕인 경우에 적용 가능하다.