[논문 리뷰] Perturbation determinants, the spectral shift function, trace identities, and all that

D. R. Yafaev|ArXiv.org|2007. 01. 10.

Quantum chaos and dynamical systems참고 문헌 15인용 수 8

한 줄 요약

이 논문은 비트레이스클래스 섭동을 가진 다차원 슈뢰딩거 연산자에 대해 M. G. 크레인의 스펙트럼 이동 함수(SSF) 이론을 확장하며, 정수 및 반정수 차수의 추적 항등식과 함께 고에너지 점근 전개를 수립한다. 복소적분과 정규화된 행렬식을 이용하여 고에너지 점근 계수의 명시적 표현을 도출하고, 해석적 성질과 잔여항을 분석함으로써 다차원 산산산란 이론 및 스펙트럼 분석 분야에서 오랫동안 남아있던 과제를 해결한다.

ABSTRACT

We discuss applications of the M. G. Kre\uın theory of the spectral shift function to the multi-dimensional Schrödinger operator as well as specific properties of this function, for example, its high-energy asymptotics. Trace identities for the Schrödinger operator are derived.

연구 동기 및 목표

• 비트레이스클래스 섭동을 가진 다차원 슈뢰딩거 연산자에 대해 표준 트레이스클래스 가정이 실패하는 상황에서 M. G. 크레인의 스펙트럼 이동 함수(SSF) 이론을 확장한다.
• 스펙트럼 함수 $\xi(\lambda)$ 의 고에너지 점근 전개(AE)를 $d$차원 슈뢰딩거 연산자에 대해 $\lambda \to \infty$ 로 갈수록 유도하며, 잠재력 $v(x)$ 에 대한 최소한의 정규성 조건을 가정한다.
• 정규화된 섭동 행렬식과 스펙트럼 이동 함수의 점근 전개를 이용하여 정수 및 반정수 차수의 추적 항등식을 유도한다.
• 열화 상수와 잔여항 전개를 이용하여 SSF 및 연관 함수의 점근 계수에 대한 명시적이고 계산 가능한 표현을 제공한다.

제안 방법

• 스캐터링 행렬과 SSF를 연결하기 위해 Birman-Kreïn 공식 $\operatorname{Det} S(\lambda) = \exp(-2\pi i \xi(\lambda))$ 을 사용한다.
• 고에너지 점근 전개를 스펙트럼 이동 함수 $\xi(\lambda)$ 의 점근적 행동을 유도하기 위해 스펙트럼 이동 함수 $S(\lambda)$ 의 고에너지 점근 전개를 적용한다.
• 해석성과 감쇠 성질을 활용하여 $\ln D_2(z)$ 의 적분을 스펙트럼 자료와 연결하기 위해 핵심 경로 $\Gamma_{R,\varepsilon}$ 에 대해 복소적분을 수행한다.
• 고에너지 점근 전개에서 $\operatorname{Tr}(R^m(z) - R_0^m(z))$ 와 $\ln D_2(z)$ 의 계수를 비교함으로써 추적 항등식을 도출한다. 여기서 $m > d/2 - 1$ 이다.
• 비트레이스클래스 섭동을 다룰 수 있도록 $V \notin \mathfrak{S}_1$ 인 경우에도 $D_2(z)$ 를 정의하기 위해 $A \in \mathfrak{S}_p$ 에 대해 $\operatorname{Det}_p(I + A)$ 를 사용하여 정규화된 행렬식을 사용한다.
• 잔여항 차이 $R(z) - R_0(z)$ 의 고에너지 점근 전개에 기반하여 $\xi(\lambda)$ 와 $\operatorname{Tr}(R^m(z) - R_0^m(z))$ 의 점근 전개를 구성한다.

실험 결과

연구 질문

• RQ1 비트레이스클래스 잠재력을 가진 다차원 슈뢰딩거 연산자에 대해 스펙트럼 이동 함수 $\xi(\lambda)$ 는 어떻게 엄밀하게 정의되고 분석될 수 있는가?
• RQ2 스펙트럼 함수 $\xi(\lambda)$ 의 고에너지 점근 전개는 $d$차원 슈뢰딩거 연산자에서 $\lambda \to \infty$ 로 갈수록 어떻게 유도되는가? 이때 $v(x)$ 에 대한 최소한의 정규성 조건이 성립한다.
• RQ3 스펙트럼 이동 함수와 정규화된 섭동 행렬식의 점근 전개로부터 정수 및 반정수 차수의 추적 항등식을 도출할 수 있는가?
• RQ4 스펙트럼 이동 함수의 점근 계수와 열화 상수 $\mathbf{g}_k$ 사이의 정확한 관계는 무엇인가?
• RQ5 홀수 차원과 짝수 차원에서 $\ln|D_2(\lambda \pm i0)|$ 의 점근 행동은 어떻게 다를 수 있으며, 이는 스펙트럼 추적에 어떤 의미를 갖는가?

주요 결과

• 다차원의 경우, 일반적으로 $L^1_{\text{loc}}$ 이지만 $\lambda > 0$ 에서 스펙트럼 이동 함수 $\xi(\lambda)$ 는 연속적임을 보였으며, 특히 $d > 3$ 인 경우에 증명이 특히 복잡하다.
• 홀수 차원인 경우, 추적 항등식의 $t^n$ 계수는 0이다. 짝수 차원인 경우, $(-1)^n (4\pi)^{-d/2} \mathbf{g}_{d/2+n}$ 와 같다. 이는 항등식이 열화 상수와 연결됨을 의미한다.
• 정규화된 섭동 행렬식 $D_2(z)$ 의 고에너지 점근 전개는 $\ln D_2(z) = \sum_{n=1}^\infty \delta_n (-z)^{d/2-1-n}$ 이며, $\delta_n = -(4\pi)^{-d/2} \Gamma(n+1 - d/2) \mathbf{g}_{n+1}$ 이다.
• 다음과 같이 $d \leq 3$ 인 경우 반정수 차수의 추적 항등식은 $\pi^{-1}(-1)^n \int_0^\infty \ln|D_2(\lambda+i0)| \lambda^{n-1/2} d\lambda - (n+1/2)^{-1} \sum_j |\lambda_j|^{n+1/2} = \delta_{n+1}$ 로 주어지며, 여기서 $\delta_n$ 은 $\mathbf{g}_k$ 를 통해 정의된다.
• 경로 $\Gamma_{R,\varepsilon}$ 에 대한 적분 $\int_{\Gamma_{R,\varepsilon}} \ln D_2(z)(-z)^{n-1/2} dz$ 에서의 발산 항들은 $R \to \infty$ 로 갈수록 점점 상쇄되어 추적 항등식의 수렴을 보장한다.
• 정수 차수의 추적 항등식은 반정수 차수의 경우와 동일한 방법으로 도출되지만, 특히 $v(x)$ 의 감쇠 조건에 더 강한 가정이 필요하다. 이는 정리 7.1보다 더 강한 조건이 필요하다.