[논문 리뷰] Spectral Theory of Elliptic Operators in Exterior Domains

Fritz Gesztesy, M. M. Malamud|ArXiv.org|2008. 10. 10.

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

한 줄 요약

이 논문은 경계 삼중체와 연산자 값 Weyl–Titchmarsh 함수를 사용하여 외부 영역 내의 두 번째 이상의 타입 타원형 연산자에 대한 스펙트럼 이론 프레임워크를 개발한다. 고유값 수를 정확히 계산하는 공식과 해석기저의 차원 차이에 대한 추적 이상 성질을 확립하며, Dirichlet 실현의 스펙트럼 간극 내에서 자기수반 확장의 고유값을 계산한다. 이는 Vis̆ik, Povzner, Birman 및 Grubb의 고전적 결과를 확장한다.

ABSTRACT

We consider various closed (and self-adjoint) extensions of elliptic differential expressions of the type $\cA=\sum_{0\le |α|,|β|\le m}(-1)^αD^αa_{α, β}(x)D^β$, $a_{α, β}(\cdot)\in C^{\infty}({\overlineΩ})$, on smooth (bounded or unbounded) domains in $\bbR^n$ with compact boundary. Using the concept of boundary triples and operator-valued Weyl-Titchmarsh functions, we prove various trace ideal properties of powers of resolvent differences of these closed realizations of $\cA$ and derive estimates on eigenvalues of certain self-adjoint realizations in spectral gaps of the Dirichlet realization. Our results extend classical theorems due to Visik, Povzner, Birman, and Grubb.

연구 동기 및 목표

• 비유계 영역 내 타원형 연산자에 대한 고전적 스펙트럼 이론 결과를 확장 이론의 현대적 도구를 사용하여 확장하기.
• 외부 영역 내 매끄럽고 유계 계수를 가진 타원형 미분 연산자의 닫힘 및 자기수반 확장을 분석하기.
• 동일한 연산자의 서로 다른 실현 간 해석기저 차이의 추적 이상 성질을 도출하기.
• 자기수반 확장의 Dirichlet 실현의 스펙트럼 간극 내 고유값 수를 계산하기.
• 다양한 타원형 실현 간 절대 연속 스펙트럼 간의 유일한 등가성을 확립하여 스펙트럼 안정성 보장하기.

제안 방법

• 최소 연산자의 닫힘 확장을 매개변수화하기 위해 경계 삼중체와 관련된 연산자 값 Weyl–Titchmarsh 함수 개념을 활용하기.
• 정규화된 그린의 공식과 강성 추정을 사용하여 비유계 영역에서 경계값 문제의 잘 정의됨을 보장하기.
• 경계 삼중체를 통한 대칭 및 자기수반 확장 이론을 적용하여 해석기저 차이의 추적 클래스 성질을 특성화하기.
• 스펙트럼 간극 내의 스펙트럼 성질을 분석하기 위해 $ T(z) = \bar{T}_0(z) $ 를 도입하며, 여기서 $ T_0(z) = \tilde{\theta}(z) - \tilde{\theta}(0) $ 이다.
• 스펙트럼 간극 $ (\beta - \nu, \beta) $ 내 고유값 수를 $ \tilde{\theta}(z) $ 와 경계 연산자 $ K $ 를 포함한 변형된 항등원 연산자의 지표를 통해 유도하기.
• 스펙트럼 간극 내 고유값이 간극의 왼쪽 끝점에 모이지 않음을 증명하여 간극의 유계 부분구간 내에서 고유값 수가 유한함을 보장하기.

실험 결과

연구 질문

• RQ1 경계 삼중체와 Weyl–Titchmarsh 함수를 사용하여 외부 영역 내 타원형 연산자의 스펙트럼 성질를 체계적으로 분석할 수 있는 방법은 무엇인가요?
• RQ2 자기수반 확장의 타원형 연산자 간 해석기저 차이에 대한 추적 이상 성질은 무엇인가요?
• RQ3 일반적인 자기수반 확장에 대해 Dirichlet 실현의 스펙트럼 간극 내 고유값 수는 어떻게 계산할 수 있나요?
• RQ4 다른 타원형 실현 간 절대 연속 스펙트럼이 유일한 등가가 되는 조건은 무엇인가요?
• RQ5 스펙트럼 간극 내 고유값이 끝점에 모일 수 있으며, 만약 그렇다면 어떤 조건에서 가능할까요?

주요 결과

• 두 자기수반 확장의 해석기저 차이가 추적 클래스에 속하려면 관련 경계 연산자 $ K $ 가 컴팩트여야 한다.
• 모든 두 타원형 실현 $ A_K $ 와 $ \tilde{A}_B $ 의 절대 연속 부분은 유일한 등가이며, 이는 $ \rho_{\text{ac}}(A_K) = \rho_{\text{ac}}(\tilde{A}_B) $ 를 의미한다.
• Dirichlet 실현 $ \tilde{A}_{\tilde{\theta}} $ 의 유한한 스펙트럼 간극 $ (\beta - \nu, \beta) $ 에 대해, $ A_K $ 가 $ (\beta - \nu, \beta) $ 내에 있는 고유값 수는 유한하며, $ \tilde{\theta}(z) $ 와 $ K $ 를 포함한 스펙트럼 수의 차이로 주어진다.
• 다음과 같은 $ \nu_0 > 0 $ 이 존재하여 $ E_{A_K}((\beta - \nu_0, \beta)) = 0 $ 이다. 즉, 간극의 왼쪽 끝점에 고유값이 모이지 않는다.
• 고유값 수는 $ \nu_{(-\nu, 0)}(I + \theta^{-1/2}(K + T(\beta - \nu))\theta^{-1/2}) - \nu_{(-\nu, 0)}(I + \theta^{-1/2}(K + T(\beta - \nu))\theta^{-1/2}) $ 로 명시적으로 계산되며, $ T(z) $ 는 해석기저 집합 내에서 해석적이다.
• 이 결과들은 Povzner, Birman 및 Grubb의 이전 작업을 일반화하고 강화하며, 특히 $ \text{L}^2(\text{R}^3) $ 내에서 두 번째 차수 연산자와 로빈형 경계 조건에 대해 성립한다.