[논문 리뷰] On the discrete spectrum of non-selfadjoint operators

Michael Demuth, Marcel Hansmann외 1명|ArXiv.org|2009. 08. 15.

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

한 줄 요약

이 논문은 비자기적 연산자의 상대적으로 쇼텐 클래스에 속하는 연산자에 의한 교란에 대해 이산 스펙트럼의 정량적 경계를 설정한다. 복소해석학적 기법을 사용하여 영점이 고유값에 해당하는 해석함수를 구성함으로써, 본질스펙트럼 근처의 고유값 분포를 제어하는 새로운 고유값 부등식을 도출한다. 응용으로는 복소 잠재력이 있는 슈뢰딩거 연산자에 대한 결과를 포함한다.

ABSTRACT

We prove quantitative bounds on the eigenvalues of non-selfadjoint unbounded operators obtained from selfadjoint operators by a perturbation that is relatively-Schatten. These bounds are applied to obtain new results on the distribution of eigenvalues of Schroedinger operators with complex potentials.

연구 동기 및 목표

• 비자기적 비유계 연산자가 자기를 기반으로 하는 연산자에 대해 교란된 경우의 고립 고유값(이산 스펙트럼)의 분포에 대한 정량적 추정을 도출하는 것.
• 고유값이 본질스펙트럼 [0,∞) 또는 무한대에 수렴하는 조건을 설정하고, 명시적인 감쇠 속도를 제공하는 것.
• 추상적 결과를 복소 잠재력이 있는 슈뢰딩거 연산자에 적용하여 고유값 분포에 대한 새로운 경계를 도출하는 것.
• 교란에 대한 가정(성장 제어를 갖는 상대적 p-쇼텐)이 실제 설정에서 자연스럽고 검증 가능함을 보여주는 것.
• 복소해석학적 기법을 사용하여 기존의 리브-티어링 유형의 부등식을 비자기적 연산자에 대해 확장하고 정밀화하는 것.

제안 방법

• 교란된 연산자 H = H₀ + M의 고유값과 일치하는 영점을 갖는 해석함수를 구성하는 것.
• 보리체프, 골린스키, 쿠피의 복소해석학적 결과를 적용하여 이 함수의 영점에 대한 경계를 그 경계 성장 행동에 기반해 설정하는 것.
• 교란 M에 대해 상대적 p-쇼텐 조건 ‖M[λ − H₀]⁻¹‖_{S_p}^p ≤ K₀ |μ + i|^δ / (|Im(μ)|^α |μ|^ν)를 사용하여 해석함수의 성장률을 제어하는 것.
• 고유값이 [0,∞)로부터의 거리, |λ|와 그 실수/허수 부분의 거듭제곱에 의해 가중된 고유값 합 부등식 (4)를 유도하는 것.
• M_V의 해석함수의 쇼텐 노름을 추정함으로써 추상 결과를 복소 잠재력이 있는 슈뢰딩거 연산자에 적용하는 것.
• Sobolev 임베딩과 L^p 공간에서의 쇼텐 노름 추정을 사용하여 교란에 대한 필요 조건 (2)의 성장 조건을 검증하는 것.

실험 결과

연구 질문

• RQ1 상대적 p-쇼텐 교란 하에서 비자기적 연산자의 고유값이 본질스펙트럼 [0,∞)에 얼마나 빠르게 수렴하는가?
• RQ2 교란 조건이 특정 가중 노름에서 이산 스펙트럼의 합산 가능성을 보장하기 위해 어떤 조건을 가져야 하는가?
• RQ3 추상적 고유값 경계를 복소 잠재력이 있는 슈뢰딩거 연산자에 적용하여 새로운 정량적 결과를 도출할 수 있는가?
• RQ4 쇼텐 노름 성장 조건의 매개변수(δ, α, ν)가 본질스펙트럼 근처의 고유값 감쇠 속도에 어떻게 영향을 미치는가?
• RQ5 지수적 경계 성장이 있는 해석함수에 대한 복소해석학적 기법을 어떻게 사용하여 고유값 추정을 도출할 수 있는가?

주요 결과

• 논문은 H = H₀ + M의 고유값 분포를 쇼텐 노름과 매개변수 α, δ, ν에 따라 제어하는 일반적인 고유값 합 부등식 (4)를 설정한다.
• 복소 잠재력 V ∈ L^p(R^d)가 있는 슈뢰딩거 연산자에 대해, 이 방법은 p > d/2일 때 새로운 리브-티어링 유형의 부등식 (9)과 (10)을 도출하며, [0,∞)로부터의 거리에 대한 거듭제곱과 |λ|^{p+τ}의 곱을 제어한다.
• 경계 (5)는 |λ| ≥ ε인 고유값이 dist(λ, [0,∞))^{2η₁} / |λ|^{2η₁−η₃}를 포함하는 합산 조건을 만족함을 보여주며, K₀와 ω₀에 명시적인 의존성을 갖는다.
• 결과는 고유값이 [0,∞)에 너무 빠르게 수렴할 수 없으며, 수렴 속도는 매개변수 p, α, δ, ν, τ에 의해 정량화됨을 시사한다.
• 이 방법은 복소 잠재력이 있는 슈뢰딩거 연산자와 같은 광범위한 연산자 클래스에 적용 가능하며, 이전 방법으로는 도달할 수 없었던 새로운 결과를 도출한다.
• 복소해석학적 기법을 기반으로 하는 증명 기법은 비자기적 스펙트럼 이론에서 고유값 추정에 대해 강력한 프레임워크를 제공한다.