[논문 리뷰] Absolutely continuous and singular spectral shift functions

Nurulla Azamov|arXiv (Cornell University)|2008. 10. 12.

Spectral Theory in Mathematical Physics참고 문헌 45인용 수 16

한 줄 요약

이 논문은 한계 흡수 원리와 프레임된 힐베르트 공간을 사용하여 추상 산산 이론에 대한 구축적 프레임워크를 개발하며, 실수선 전역에서 거의 어디에서나 파동 행렬과 산산 행렬을 명시적으로 정의할 수 있게 한다. 핵심 기여는 자명한 적분형 편미분을 갖는 자기수반 연산자에 대한 추적-클래스 편미분과 버르만-크라인 공식에서 유도된, 특이 부분이 거의 어디에서나 정수값을 갖는다는 새로운 공식을 제시하는 것이다.

ABSTRACT

Given a self-adjoint operator H, a self-adjoint trace class operator V and a fixed Hilbert-Schmidt operator F with trivial kernel and co-kernel, using limiting absorption principle an explicit set of full Lebesgue measure is defined such that for all points of this set the wave and the scattering matrices can be defined and constructed unambiguously. Many well-known properties of the wave and scattering matrices and operators are proved, including the stationary formula for the scattering matrix. This new abstract scattering theory allows to prove that for any trace class perturbations of arbitrary self-adjoint operators the singular part of the spectral shift function is an almost everywhere integer-valued function.

연구 동기 및 목표

• 연속 스펙트럼을 다루는 데 있어 기존 방법의 한계를 극복하는 구축적 접근법을 개발하는 것.
• 한계 흡수 원리와 자명한 핵과 코어널을 갖는 고정된 힐베르트-슈미트 연산자를 사용하여 거의 어디에서나 명확하게 파동 행렬과 산산 행렬을 정의하는 것.
• 기억의 지수를 이용한 산산 행렬의 새로운 공식을 수립하는 것.
• 특이 부분이 거의 어디에서나 정수값을 갖는다는 것을 증명하는 것 — 이는 이 일반성에서 이전에 확립되지 않은 결과이다.
• 산산 행렬의 정적 공식과 카토-로젠블룸 정리에 대한 새로운, 구축적 증명을 제공하는 것.

제안 방법

• 한계 흡수 원리를 통해 거의 전 체적의 르베그 측도를 갖는 집합 $\Lambda(H_0;F) \subset \mathbb{R}$ 를 도입하여, 거의 어디에서나 파동 행렬과 산산 행렬의 존재를 보장한다.
• 절대 연속 스펙트럼 부분공간을 섬유 힐베르트 공간의 직접 적분으로 표현하기 위해 프레임된 힐베르트 공간의 구조를 사용한다.
• 파동 행렬 $w_{\pm}(\lambda;H_r,H_0)$ 과 산산 행렬 $S(\lambda;H_r,H_0)$ 를 연산자 값의 해석적 함수와 스펙트럼 투영을 통해 정의한다.
• 버르만-크라인 공식을 적용하여 스펙트럼 이동 함수를 절대 연속 부분과 특이 부분으로 분해한다.
• 무한소 스펙트럼 유량을 $V E^{(a)}_{H_{0}+rV}(\lambda)$ 의 트레이스를 통해 유도하고, 이로부터 $\xi^{(a)}(\lambda)$ 를 정의한다.
• 기억의 지수를 사용하여 산산 행렬을 $\mathrm{T}\!\exp\left(\frac{1}{i}\int_0^1 A(r)\,dr\right)$ 로 표현함으로써, 산산 과정의 새로운 역학적 해석을 제공한다.

실험 결과

연구 질문

• RQ1 추적-클래스 편미분을 갖는 자기수반 연산자에 대해, 구축적 프레임워크를 사용하여 거의 어디에서나 명확하게 파동 행렬과 산산 행렬을 정의할 수 있는가?
• RQ2 추적-클래스 편미분 하에서 특이 부분이 거의 어디에서나 정수값을 가져야 하는가?
• RQ3 이 새로운 프레임워크에서 산산 행렬의 정적 공식이 성립하는가? 그리고 이를 구축적으로 유도할 수 있는가?
• RQ4 편미분 경로를 따라 적분을 통해 스펙트럼 이동 함수를 절대 연속 부분과 특이 부분으로 분해할 수 있는가?
• RQ5 이 설정에서 푸쉬니츠키 $\mu$-불변량과 특이 스펙트럼 이동 함수 사이의 관계는 무엇인가?

주요 결과

• 자기수반 연산자에 대한 추적-클래스 편미분을 고려할 때 특이 부분 $\xi^{(s)}(\lambda)$ 이 거의 어디에서나 정수값을 갖는다는 것이 입증되었으며, 이는 일반적인 자기수반 연산자에 대해 새로운 결과이다.
• 절대 연속 부분은 $\xi^{(a)}(\lambda) = \frac{d}{d\lambda} \int_0^1 \operatorname{Tr}(V E^{(a)}_{H_{0}+rV}(\lambda))\,dr$ 로 정의되며, 이는 새로운 적분 표현을 제공한다.
• 산산 행렬은 실수선 전역에서 거의 어디에서나 $\det S(\lambda;H_0+V,H_0) = e^{-2\pi i \xi^{(a)}(\lambda)}$ 를 만족하며, 행렬식이 절대 연속 스펙트럼 이동 함수와 연결됨을 보여준다.
• 파동 행렬은 곱셈 성질을 만족하며, 한계 흡수 원리와 연산자 값의 해석적 함수를 통해 구축적으로 존재성이 증명된다.
• 산산 행렬의 기억의 지수 표현이 도출되었으며, 이는 산산 과정에 대한 새로운 역학적 해석을 제공한다.
• 무한소 스펙트럼 유량이 추적-클래스임을 보였으며, 스펙트럼 이동 함수의 특이 부분이 고유진점에서 정수 점프를 갖는 국소적으로 상수임을 증명하였다.